0.00/0.00	c 2016-06-18T22:06:30+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-4106976-1466280390.opb"]
0.00/0.01	c use --random-gen="3209819941 873680431 273347 3615402663 1534885497 3124075485 2629366564 195713768 1344128753 2273917826 3758399949 2604835985 2509866424 1707392605 2489505530 2762737703 899562440 1803436169 629833073 1940749555 4118367937 114234831 3401045854 1151833652 4272589756 2779201744 564903288 4206379249 3067146492 3457474698 4134769148 3612659631 3973917957 2150240028 3368626962 2612615988 701416768 913425655 2374670191 275483986 557639087 3991114905 3737268984 258034474 602043997 4030582859 593675390 2920508193 2501516671 11642720 1798368078 1202684374 2764154741 3322417071 1156634316 843405657 914076137 1430251694 2737515778 891014044 3892951777 391925946 3687488887 3659341193 4068063793 2165772947 1720464174 194836274 2836801658 3642362106 2236240991 2119314242 1272755747 21748148 3592671536 298040605 2234629999 280691476 1944300708 4181351913 1822149286 3893867736 2057682857 1575733887 580816306 4167230915 1419072282 1889345826 2370399294 4182861305 2633504853 525511429 213066151 1592187689 48561150 384245097 1429305785 863865486 1873894804 459510426 3378263618 1985432760 1515046282 465784875 2026692008 2677021118 1345361070 3783361388 2380506559 1510359525 1913323137 3197547919 3534849180 3469143671 3894259044 2692872042 1009851712 3753844518 1014943201 1324613347 4250323976 2370653088 3070635656 149981553 2109247136 2381078239 51331964 3283727781 2914211607 2268370268 4005747510 195807256 35399870 3837025531 2861440755 279554469 1181414961 3873179731 1030673902 935237824 3606406922 3645984969 324177664 1945770730 3121123597 3238944479 2830170805 3424925200 2759905369 2301305846 4256108222 285349913 1854122120 1990480868 644038883 436588653 3203035858 3105239518 2342544673 1414729404 728859778 1675117554 2742110889 1196238443 1035510102 304130556 896536313 1173285158 1573551735 2681662567 2657535627 3225760221 3855818238 896563506 2939237537 3025622332 2894878631 3853006768 307364377 3873292074 4287674326 3410144715 2975305084 923939656 2337458920 1224601959 109702445 3061681066 2299179296 3307758970 697089181 3180893161 3365177190 2000226604 3138211761 789950959 1095197467 4048969840 2098365181 1277697403 1291743188 3260658054 3563629440 2188070375 2742361733 659564374 1171460653 381766024 3407912797 1155130203 407684418 3263631162 4014087575 1412345276 2572793698 4240989297 3222754143 2634123349 711095273 15012799 1828151587 3233426870 1320216430 2038523556 677263455 3375610701 1166216744 1400021582 3028650994 760489576 3571682320 2389169543 1627128172 3521430427 3731446952 733542653 3925382196 1459548510 134595060 2005429900 1610440503 2477520546 1585263410 1088999693 1997068701 4058450369 3827226117 3978302652 435553100 3934563613 256061312 977198911 695999384 171741645 4236901884 4164512782 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 |     2193      0 |        0 |        0
0.09/0.15	c  0.1s |       1 |      219 |      100 |     2193      0 |        0 |        0
0.09/0.19	c  0.1s |       2 |     3077 |      250 |     2413      0 |        0 |        0
0.28/0.32	c  0.2s |       3 |     5588 |      475 |     2655      0 |        0 |        0
0.48/0.56	c  0.5s |       4 |     7783 |      813 |     2921      0 |        0 |        0
0.79/0.88	c  0.8s |       5 |     8829 |     1320 |     3214      0 |        0 |        0
1.09/1.20	c  1.1s |       6 |    12406 |     2081 |     3890      0 |        0 |        0
1.69/1.72	c  1.6s |       7 |    21310 |     3223 |     4279      0 |        0 |        0
2.69/2.76	c  2.7s |       8 |    36932 |     4936 |     4707      1 |        0 |        0
3.89/3.90	c  3.8s |       9 |    61231 |     7506 |     5178      2 |        0 |        0
5.59/5.66	c  5.6s |      10 |    97485 |    11361 |     5696      3 |        0 |        0
7.58/7.67	c  7.6s |      10 |   133835 |    16361 |     5696      5 |        0 |        0
7.88/7.96	c  7.9s |      11 |   136377 |    17144 |     6266      5 |        0 |        0
9.89/10.00	c  9.9s |      11 |   167265 |    22444 |     6266      6 |        0 |        0
11.18/11.29	c 11.2s |      12 |   183364 |    25819 |     6893      7 |        0 |        0
13.29/13.32	c 13.2s |      12 |   205958 |    31419 |     6893      9 |        0 |        0
15.28/15.35	c 15.3s |      12 |   222835 |    36519 |     6893     10 |        0 |        0
16.18/16.23	c 16.1s |      13 |   234821 |    38832 |     7583     11 |        0 |        0
18.19/18.23	c 18.1s |      13 |   262860 |    43932 |     7583     12 |        0 |        0
20.19/20.26	c 20.2s |      13 |   272815 |    49132 |     7583     13 |        0 |        0
22.19/22.26	c 22.2s |      13 |   280621 |    53532 |     7583     15 |        0 |        0
24.29/24.31	c 24.2s |      13 |   292250 |    57332 |     7583     16 |        0 |        0
24.79/24.85	c 24.8s |      14 |   296862 |    58352 |     8342     16 |        0 |        0
26.89/26.90	c 26.8s |      14 |   320199 |    62552 |     8342     17 |        0 |        0
28.89/28.92	c 28.8s |      14 |   350133 |    66652 |     8342     18 |        0 |        0
30.98/31.06	c 31.0s |      14 |   374355 |    70952 |     8342     19 |        0 |        0
33.09/33.11	c 33.0s |      14 |   390088 |    75052 |     8342     20 |        0 |        0
35.08/35.14	c 35.0s |      14 |   400167 |    78952 |     8342     20 |        0 |        0
37.08/37.16	c 37.1s |      14 |   429588 |    82352 |     8342     21 |        0 |        0
39.18/39.21	c 39.1s |      14 |   452720 |    86352 |     8342     22 |        0 |        0
39.88/39.91	c 39.8s |      15 |   455979 |    87632 |     9177     22 |        0 |        0
41.89/41.95	c 41.9s |      15 |   472043 |    91032 |     9177     23 |        0 |        0
43.88/43.97	c 43.9s |      15 |   484190 |    95032 |     9177     24 |        0 |        0
45.88/45.99	c 45.9s |      15 |   508465 |    98532 |     9177     25 |        0 |        0
47.98/48.05	c 47.9s |      15 |   527755 |   102732 |     9177     26 |        0 |        0
50.08/50.18	c 50.1s |      15 |   552301 |   106832 |     9177     26 |        0 |        0
52.18/52.21	c 52.1s |      15 |   585786 |   111132 |     9177     27 |        0 |        0
54.18/54.22	c 54.1s |      15 |   602783 |   115332 |     9177     28 |        0 |        0
56.18/56.23	c 56.1s |      15 |   617031 |   119232 |     9177     29 |        0 |        0
58.17/58.28	c 58.2s |      15 |   627429 |   123032 |     9177     30 |        0 |        0
60.27/60.30	c 60.2s |      15 |   644626 |   126332 |     9177     31 |        0 |        0
62.27/62.32	c 62.2s |      15 |   662943 |   130632 |     9177     31 |        0 |        0
62.68/62.80	c 62.7s |      16 |   668882 |   131552 |    10095     31 |        0 |        0
64.76/64.84	c 64.7s |      16 |   690005 |   134452 |    10095     32 |        0 |        0
66.76/66.87	c 66.8s |      16 |   717493 |   138452 |    10095     33 |        0 |        0
68.76/68.88	c 68.8s |      16 |   727048 |   141852 |    10095     33 |        0 |        0
70.87/70.91	c 70.8s |      16 |   737602 |   145352 |    10095     34 |        0 |        0
72.87/72.92	c 72.8s |      16 |   746939 |   148052 |    10095     35 |        0 |        0
74.87/74.93	c 74.8s |      16 |   765881 |   151552 |    10095     35 |        0 |        0
76.87/76.97	c 76.9s |      16 |   783373 |   155352 |    10095     36 |        0 |        0
78.97/79.09	c 79.0s |      16 |   806630 |   158852 |    10095     37 |        0 |        0
81.06/81.15	c 81.1s |      16 |   826403 |   162552 |    10095     38 |        0 |        0
83.06/83.18	c 83.1s |      16 |   837497 |   165952 |    10095     38 |        0 |        0
85.16/85.20	c 85.1s |      16 |   848806 |   169352 |    10095     39 |        0 |        0
87.36/87.47	c 87.4s |      16 |   859116 |   172852 |    10095     39 |        0 |        0
89.46/89.51	c 89.4s |      16 |   867834 |   176452 |    10095     40 |        0 |        0
91.46/91.54	c 91.4s |      16 |   889743 |   179752 |    10095     41 |        0 |        0
93.46/93.57	c 93.5s |      16 |   901059 |   183252 |    10095     42 |        0 |        0
95.56/95.61	c 95.5s |      16 |   918379 |   186452 |    10095     42 |        0 |        0
97.56/97.66	c 97.6s |      16 |   933592 |   190252 |    10095     43 |        0 |        0
99.65/99.78	c 99.7s |      16 |   945084 |   193552 |    10095     44 |        0 |        0
101.75/101.80	c  101s |      16 |   954359 |   196352 |    11105     44 |        0 |        0
102.15/102.26	c  102s |      17 |   959853 |   197432 |    11105     44 |        0 |        0
104.25/104.35	c  104s |      17 |   990446 |   200532 |    11105     45 |        0 |        0
106.25/106.39	c  106s |      17 |  1009864 |   204332 |    11105     45 |        0 |        0
108.35/108.42	c  108s |      17 |  1019874 |   207832 |    11105     46 |        0 |        0
110.36/110.45	c  110s |      17 |  1037531 |   211132 |    11105     47 |        0 |        0
112.35/112.45	c  112s |      17 |  1053705 |   213932 |    11105     47 |        0 |        0
114.36/114.48	c  114s |      17 |  1071305 |   217332 |    11105     48 |        0 |        0
116.45/116.51	c  116s |      17 |  1093948 |   221132 |    11105     48 |        0 |        0
118.45/118.53	c  118s |      17 |  1109191 |   224532 |    11105     49 |        0 |        0
120.65/120.74	c  120s |      17 |  1121578 |   227732 |    11105     49 |        0 |        0
122.65/122.77	c  122s |      17 |  1148029 |   230632 |    11105     50 |        0 |        0
124.75/124.83	c  124s |      17 |  1160812 |   233632 |    11105     50 |        0 |        0
126.75/126.88	c  126s |      17 |  1177588 |   236132 |    11105     51 |        0 |        0
128.85/128.98	c  128s |      17 |  1196569 |   239132 |    11105     51 |        0 |        0
130.85/131.00	c  130s |      17 |  1209776 |   241832 |    11105     52 |        0 |        0
132.94/133.05	c  132s |      17 |  1215519 |   244532 |    11105     52 |        0 |        0
134.94/135.07	c  134s |      17 |  1228754 |   247732 |    11105     53 |        0 |        0
137.04/137.14	c  137s |      17 |  1241637 |   250832 |    11105     53 |        0 |        0
139.04/139.18	c  139s |      17 |  1248848 |   253932 |    11105     54 |        0 |        0
141.14/141.23	c  141s |      17 |  1259697 |   256832 |    11105     55 |        0 |        0
143.14/143.27	c  143s |      17 |  1267231 |   259132 |    11105     55 |        0 |        0
145.24/145.31	c  145s |      17 |  1286142 |   262232 |    11105     56 |        0 |        0
147.23/147.35	c  147s |      17 |  1295417 |   265232 |    11105     56 |        0 |        0
149.33/149.41	c  149s |      17 |  1303356 |   268032 |    11105     57 |        0 |        0
151.33/151.45	c  151s |      17 |  1313129 |   270932 |    11105     57 |        0 |        0
153.43/153.50	c  153s |      17 |  1328474 |   273532 |    11105     58 |        0 |        0
155.43/155.55	c  155s |      17 |  1347748 |   276532 |    11105     58 |        0 |        0
157.43/157.59	c  157s |      17 |  1362071 |   279432 |    11105     59 |        0 |        0
159.53/159.69	c  159s |      17 |  1373903 |   282432 |    11105     59 |        0 |        0
161.63/161.71	c  161s |      17 |  1384120 |   285332 |    11105     60 |        0 |        0
163.63/163.74	c  163s |      17 |  1397137 |   288132 |    11105     60 |        0 |        0
165.62/165.78	c  165s |      17 |  1405685 |   290732 |    11105     60 |        0 |        0
167.72/167.84	c  167s |      17 |  1413473 |   293332 |    11105     61 |        0 |        0
169.82/169.90	c  169s |      17 |  1418908 |   295632 |    12216     61 |        0 |        0
170.22/170.34	c  170s |      18 |  1421365 |   296252 |    12216     61 |        0 |        0
172.22/172.35	c  172s |      18 |  1436150 |   298752 |    12216     62 |        0 |        0
174.22/174.38	c  174s |      18 |  1445298 |   302952 |    12216     62 |        0 |        0
176.32/176.41	c  176s |      18 |  1453111 |   306352 |    12216     63 |        0 |        0
178.32/178.49	c  178s |      18 |  1458131 |   309652 |    12216     63 |        0 |        0
180.42/180.55	c  180s |      18 |  1467371 |   312552 |    12216     64 |        0 |        0
182.41/182.57	c  182s |      18 |  1474474 |   315452 |    12216     64 |        0 |        0
184.41/184.59	c  184s |      18 |  1482806 |   317852 |    12216     65 |        0 |        0
186.51/186.63	c  186s |      18 |  1490449 |   320652 |    12216     65 |        0 |        0
188.62/188.78	c  188s |      18 |  1503880 |   322952 |    12216     66 |        0 |        0
190.72/190.83	c  190s |      18 |  1523043 |   326452 |    12216     66 |        0 |        0
192.71/192.87	c  192s |      18 |  1544359 |   329552 |    12216     67 |        0 |        0
194.81/194.93	c  194s |      18 |  1561332 |   332152 |    12216     67 |        0 |        0
196.82/196.98	c  196s |      18 |  1583883 |   335252 |    12216     68 |        0 |        0
198.91/199.02	c  198s |      18 |  1604862 |   338052 |    12216     68 |        0 |        0
201.32/201.41	c  201s |      18 |  1634554 |   341152 |    12216     69 |        0 |        0
203.31/203.43	c  203s |      18 |  1653485 |   343652 |    12216     69 |        0 |        0
205.31/205.47	c  205s |      18 |  1675128 |   346752 |    12216     69 |        0 |        0
207.31/207.47	c  207s |      18 |  1691447 |   350052 |    12216     70 |        0 |        0
209.31/209.48	c  209s |      18 |  1713971 |   353452 |    12216     70 |        0 |        0
211.40/211.50	c  211s |      18 |  1735966 |   356552 |    12216     71 |        0 |        0
213.41/213.58	c  213s |      18 |  1743426 |   359452 |    12216     71 |        0 |        0
215.51/215.65	c  215s |      18 |  1748618 |   361752 |    12216     72 |        0 |        0
217.60/217.71	c  217s |      18 |  1762542 |   364752 |    12216     72 |        0 |        0
220.01/220.14	c  220s |      18 |  1769603 |   367152 |    12216     73 |        0 |        0
222.00/222.20	c  222s |      18 |  1782761 |   370252 |    12216     73 |        0 |        0
224.10/224.24	c  224s |      18 |  1790354 |   372852 |    12216     74 |        0 |        0
226.10/226.24	c  226s |      18 |  1803529 |   375652 |    12216     74 |        0 |        0
228.20/228.30	c  228s |      18 |  1814473 |   378352 |    12216     74 |        0 |        0
230.19/230.32	c  230s |      18 |  1823764 |   380752 |    12216     75 |        0 |        0
232.29/232.41	c  232s |      18 |  1831169 |   383452 |    12216     75 |        0 |        0
234.30/234.42	c  234s |      18 |  1839077 |   385952 |    12216     76 |        0 |        0
236.40/236.51	c  236s |      18 |  1844017 |   388152 |    12216     76 |        0 |        0
238.39/238.59	c  238s |      18 |  1847744 |   390252 |    12216     76 |        0 |        0
240.49/240.67	c  240s |      18 |  1849800 |   392052 |    12216     77 |        0 |        0
242.59/242.74	c  242s |      18 |  1852461 |   394052 |    12216     77 |        0 |        0
244.59/244.76	c  244s |      18 |  1856223 |   395852 |    12216     77 |        0 |        0
246.59/246.77	c  246s |      18 |  1860303 |   397552 |    12216     78 |        0 |        0
249.39/249.57	c  249s |      18 |  1872581 |   399152 |    12216     78 |        0 |        0
251.39/251.60	c  251s |      18 |  1895045 |   402652 |    12216     78 |        0 |        0
253.49/253.65	c  253s |      18 |  1909967 |   406052 |    12216     79 |        0 |        0
255.49/255.66	c  255s |      18 |  1914476 |   408752 |    12216     79 |        0 |        0
257.49/257.68	c  257s |      18 |  1919636 |   411652 |    12216     80 |        0 |        0
259.49/259.70	c  259s |      18 |  1929003 |   413952 |    12216     80 |        0 |        0
261.69/261.81	c  261s |      18 |  1944506 |   416452 |    12216     81 |        0 |        0
263.68/263.85	c  263s |      18 |  1950670 |   419252 |    12216     81 |        0 |        0
265.78/265.94	c  265s |      18 |  1959345 |   421852 |    12216     81 |        0 |        0
267.88/268.02	c  267s |      18 |  1963221 |   424152 |    12216     82 |        0 |        0
269.88/270.07	c  269s |      18 |  1970229 |   426952 |    12216     82 |        0 |        0
272.68/272.82	c  272s |      18 |  1974124 |   429152 |    12216     83 |        0 |        0
274.68/274.87	c  274s |      18 |  1989840 |   431852 |    12216     83 |        0 |        0
276.77/276.90	c  276s |      18 |  1998062 |   434652 |    12216     83 |        0 |        0
278.77/278.93	c  278s |      18 |  2009329 |   437552 |    12216     84 |        0 |        0
280.77/280.96	c  280s |      18 |  2014347 |   440152 |    12216     84 |        0 |        0
282.77/282.99	c  282s |      18 |  2020355 |   442852 |    13438     85 |        0 |        0
283.77/283.96	c  283s |      19 |  2025767 |   444482 |    13438     85 |        0 |        0
285.87/286.01	c  285s |      19 |  2046765 |   447482 |    13438     85 |        0 |        0
287.87/288.02	c  287s |      19 |  2057106 |   450182 |    13438     86 |        0 |        0
289.86/290.03	c  289s |      19 |  2069890 |   453082 |    13438     86 |        0 |        0
292.06/292.21	c  292s |      19 |  2087840 |   455382 |    13438     87 |        0 |        0
294.06/294.28	c  294s |      19 |  2114735 |   458282 |    13438     87 |        0 |        0
296.06/296.29	c  296s |      19 |  2128616 |   461182 |    13438     87 |        0 |        0
298.17/298.30	c  298s |      19 |  2139181 |   464082 |    13438     88 |        0 |        0
300.17/300.31	c  300s |      19 |  2146445 |   467182 |    13438     88 |        0 |        0
302.16/302.32	c  302s |      19 |  2152768 |   469982 |    13438     89 |        0 |        0
304.16/304.38	c  304s |      19 |  2171457 |   472082 |    13438     89 |        0 |        0
306.26/306.43	c  306s |      19 |  2182882 |   474382 |    13438     89 |        0 |        0
308.26/308.47	c  308s |      19 |  2197336 |   476482 |    13438     90 |        0 |        0
310.35/310.55	c  310s |      19 |  2207911 |   479082 |    13438     90 |        0 |        0
312.36/312.59	c  312s |      19 |  2220081 |   481982 |    13438     90 |        0 |        0
314.46/314.65	c  314s |      19 |  2229878 |   484482 |    13438     91 |        0 |        0
316.55/316.74	c  316s |      19 |  2236574 |   486682 |    13438     91 |        0 |        0
318.55/318.75	c  318s |      19 |  2240862 |   488982 |    13438     91 |        0 |        0
320.54/320.79	c  320s |      19 |  2245390 |   490182 |    13438     92 |        0 |        0
322.54/322.79	c  322s |      19 |  2260167 |   492982 |    13438     92 |        0 |        0
324.65/324.83	c  324s |      19 |  2270537 |   495782 |    13438     92 |        0 |        0
326.66/326.88	c  326s |      19 |  2276855 |   498082 |    13438     93 |        0 |        0
328.65/328.89	c  328s |      19 |  2283836 |   500482 |    13438     93 |        0 |        0
330.74/330.93	c  330s |      19 |  2295058 |   502782 |    13438     93 |        0 |        0
332.84/333.02	c  332s |      19 |  2305565 |   505182 |    13438     94 |        0 |        0
334.84/335.06	c  334s |      19 |  2316682 |   507982 |    13438     94 |        0 |        0
336.84/337.07	c  336s |      19 |  2322596 |   510282 |    13438     94 |        0 |        0
338.84/339.08	c  338s |      19 |  2325636 |   511582 |    13438     95 |        0 |        0
340.94/341.12	c  341s |      19 |  2346251 |   514582 |    13438     95 |        0 |        0
342.93/343.16	c  343s |      19 |  2355740 |   517182 |    13438     96 |        0 |        0
345.03/345.21	c  345s |      19 |  2362876 |   520082 |    13438     96 |        0 |        0
347.03/347.25	c  347s |      19 |  2376342 |   522782 |    13438     96 |        0 |        0
349.03/349.29	c  349s |      19 |  2385350 |   524982 |    13438     97 |        0 |        0
351.43/351.62	c  351s |      19 |  2390626 |   527282 |    13438     97 |        0 |        0
353.43/353.69	c  353s |      19 |  2395576 |   529182 |    13438     97 |        0 |        0
355.53/355.71	c  355s |      19 |  2411356 |   531582 |    13438     98 |        0 |        0
357.53/357.72	c  357s |      19 |  2417660 |   533782 |    13438     98 |        0 |        0
359.54/359.77	c  359s |      19 |  2423387 |   536082 |    13438     98 |        0 |        0
361.63/361.81	c  361s |      19 |  2429115 |   538282 |    13438     99 |        0 |        0
363.63/363.85	c  363s |      19 |  2434362 |   540482 |    13438     99 |        0 |        0
365.72/365.92	c  365s |      19 |  2436372 |   541782 |    13438     99 |        0 |        0
367.72/367.97	c  367s |      19 |  2440959 |   544482 |    13438     99 |        0 |        0
369.82/370.00	c  369s |      19 |  2448533 |   547182 |    13438    100 |        0 |        0
371.82/372.01	c  371s |      19 |  2454832 |   549882 |    13438    100 |        0 |        0
373.83/374.03	c  373s |      19 |  2459906 |   552482 |    13438    101 |        0 |        0
376.03/376.23	c  376s |      19 |  2465505 |   554882 |    13438    101 |        0 |        0
378.02/378.26	c  378s |      19 |  2479257 |   557382 |    13438    101 |        0 |        0
380.02/380.29	c  380s |      19 |  2485267 |   559182 |    13438    102 |        0 |        0
382.02/382.29	c  382s |      19 |  2493896 |   561382 |    13438    102 |        0 |        0
384.12/384.30	c  384s |      19 |  2500531 |   563782 |    13438    102 |        0 |        0
386.12/386.31	c  386s |      19 |  2507467 |   565982 |    13438    103 |        0 |        0
388.13/388.35	c  388s |      19 |  2512710 |   568582 |    13438    103 |        0 |        0
390.22/390.41	c  390s |      19 |  2516071 |   570782 |    13438    103 |        0 |        0
392.22/392.45	c  392s |      19 |  2519778 |   572982 |    13438    104 |        0 |        0
394.42/394.66	c  394s |      19 |  2523467 |   575182 |    13438    104 |        0 |        0
396.52/396.74	c  396s |      19 |  2535693 |   578082 |    13438    104 |        0 |        0
398.52/398.75	c  398s |      19 |  2547193 |   580682 |    13438    105 |        0 |        0
400.62/400.81	c  400s |      19 |  2556349 |   583282 |    13438    105 |        0 |        0
402.72/402.97	c  402s |      19 |  2564355 |   585682 |    13438    106 |        0 |        0
404.81/405.02	c  404s |      19 |  2568670 |   587882 |    13438    106 |        0 |        0
406.82/407.02	c  406s |      19 |  2572255 |   589982 |    13438    106 |        0 |        0
408.81/409.10	c  408s |      19 |  2575414 |   592182 |    13438    106 |        0 |        0
411.31/411.52	c  411s |      19 |  2578812 |   593682 |    13438    107 |        0 |        0
413.31/413.56	c  413s |      19 |  2587701 |   596282 |    13438    107 |        0 |        0
415.41/415.61	c  415s |      19 |  2593532 |   598782 |    13438    107 |        0 |        0
417.41/417.64	c  417s |      19 |  2599027 |   601082 |    13438    108 |        0 |        0
419.51/419.73	c  419s |      19 |  2604450 |   603582 |    13438    108 |        0 |        0
421.50/421.74	c  421s |      19 |  2607229 |   605382 |    13438    108 |        0 |        0
423.60/423.80	c  423s |      19 |  2614118 |   607682 |    13438    109 |        0 |        0
425.51/425.80	c  425s |      19 |  2620348 |   610382 |    13438    109 |        0 |        0
427.60/427.81	c  427s |      19 |  2629949 |   612682 |    13438    109 |        0 |        0
429.60/429.82	c  429s |      19 |  2645755 |   615482 |    13438    110 |        0 |        0
431.60/431.82	c  431s |      19 |  2653680 |   618182 |    13438    110 |        0 |        0
433.60/433.87	c  433s |      19 |  2660318 |   620682 |    13438    111 |        0 |        0
435.60/435.88	c  435s |      19 |  2666757 |   622382 |    13438    111 |        0 |        0
437.80/438.00	c  437s |      19 |  2677902 |   624482 |    13438    111 |        0 |        0
439.91/440.12	c  440s |      19 |  2687732 |   627282 |    13438    112 |        0 |        0
441.89/442.14	c  442s |      19 |  2705216 |   630282 |    13438    112 |        0 |        0
443.89/444.18	c  444s |      19 |  2721443 |   633282 |    13438    112 |        0 |        0
445.99/446.22	c  446s |      19 |  2732665 |   636282 |    13438    113 |        0 |        0
447.99/448.25	c  448s |      19 |  2741513 |   638682 |    13438    113 |        0 |        0
449.99/450.27	c  450s |      19 |  2751024 |   641082 |    13438    114 |        0 |        0
452.10/452.30	c  452s |      19 |  2761859 |   643782 |    13438    114 |        0 |        0
454.11/454.34	c  454s |      19 |  2773718 |   646582 |    13438    114 |        0 |        0
456.10/456.39	c  456s |      19 |  2781763 |   648882 |    13438    115 |        0 |        0
458.20/458.44	c  458s |      19 |  2791052 |   650982 |    13438    115 |        0 |        0
460.19/460.49	c  460s |      19 |  2802165 |   653882 |    13438    115 |        0 |        0
462.29/462.55	c  462s |      19 |  2807010 |   656282 |    13438    116 |        0 |        0
464.39/464.62	c  464s |      19 |  2818673 |   658882 |    13438    116 |        0 |        0
466.49/466.70	c  466s |      19 |  2833401 |   661582 |    13438    117 |        0 |        0
468.50/468.75	c  468s |      19 |  2838688 |   664082 |    14782    117 |        0 |        0
470.19/470.47	c  470s |      20 |  2846825 |   666827 |    14782    117 |        0 |        0
472.19/472.49	c  472s |      20 |  2868566 |   668827 |    14782    117 |        0 |        0
474.28/474.58	c  474s |      20 |  2887834 |   671527 |    14782    118 |        0 |        0
476.68/476.98	c  476s |      20 |  2902985 |   673227 |    14782    118 |        0 |        0
478.78/479.01	c  478s |      20 |  2930011 |   676027 |    14782    118 |        0 |        0
480.78/481.02	c  480s |      20 |  2943736 |   678127 |    14782    119 |        0 |        0
482.78/483.05	c  482s |      20 |  2958705 |   680127 |    14782    119 |        0 |        0
484.78/485.10	c  484s |      20 |  2977455 |   683427 |    14782    119 |        0 |        0
486.88/487.12	c  487s |      20 |  3000201 |   686127 |    14782    120 |        0 |        0
488.87/489.18	c  489s |      20 |  3023914 |   688527 |    14782    120 |        0 |        0
490.97/491.22	c  491s |      20 |  3050413 |   690927 |    14782    120 |        0 |        0
492.97/493.29	c  493s |      20 |  3065424 |   693127 |    14782    121 |        0 |        0
495.07/495.30	c  495s |      20 |  3075814 |   695427 |    14782    121 |        0 |        0
497.08/497.36	c  497s |      20 |  3101483 |   697927 |    14782    121 |        0 |        0
499.07/499.36	c  499s |      20 |  3115767 |   700027 |    14782    122 |        0 |        0
501.07/501.39	c  501s |      20 |  3131018 |   702627 |    14782    122 |        0 |        0
503.18/503.41	c  503s |      20 |  3146747 |   705327 |    14782    122 |        0 |        0
505.17/505.45	c  505s |      20 |  3172575 |   707927 |    14782    123 |        0 |        0
507.17/507.49	c  507s |      20 |  3185908 |   710627 |    14782    123 |        0 |        0
509.27/509.52	c  509s |      20 |  3209473 |   713327 |    14782    123 |        0 |        0
511.28/511.59	c  511s |      20 |  3228221 |   716227 |    14782    124 |        0 |        0
513.37/513.64	c  513s |      20 |  3243189 |   718627 |    14782    124 |        0 |        0
515.47/515.71	c  515s |      20 |  3254328 |   720927 |    14782    124 |        0 |        0
517.47/517.77	c  517s |      20 |  3274907 |   723127 |    14782    125 |        0 |        0
519.47/519.77	c  519s |      20 |  3307441 |   725927 |    14782    125 |        0 |        0
521.57/521.86	c  521s |      20 |  3327749 |   728227 |    14782    125 |        0 |        0
523.57/523.86	c  523s |      20 |  3331887 |   729927 |    14782    126 |        0 |        0
525.67/525.92	c  525s |      20 |  3337977 |   731927 |    14782    126 |        0 |        0
527.66/528.00	c  527s |      20 |  3349210 |   734127 |    14782    126 |        0 |        0
529.76/530.06	c  529s |      20 |  3352276 |   736027 |    14782    126 |        0 |        0
531.76/532.07	c  531s |      20 |  3355564 |   737927 |    14782    127 |        0 |        0
535.05/535.37	c  535s |      20 |  3359435 |   739527 |    14782    127 |        0 |        0
537.35/537.62	c  537s |      20 |  3367018 |   740327 |    14782    127 |        0 |        0
539.36/539.67	c  539s |      20 |  3385762 |   742827 |    14782    127 |        0 |        0
541.46/541.71	c  541s |      20 |  3392609 |   745227 |    14782    128 |        0 |        0
543.56/543.82	c  543s |      20 |  3399959 |   747727 |    14782    128 |        0 |        0
545.56/545.87	c  545s |      20 |  3402633 |   749927 |    14782    128 |        0 |        0
547.56/547.88	c  547s |      20 |  3407688 |   752027 |    14782    129 |        0 |        0
549.66/549.94	c  549s |      20 |  3414007 |   754527 |    14782    129 |        0 |        0
551.65/551.97	c  551s |      20 |  3419164 |   756727 |    14782    129 |        0 |        0
553.85/554.12	c  554s |      20 |  3421643 |   758727 |    14782    129 |        0 |        0
555.85/556.19	c  556s |      20 |  3428550 |   760327 |    14782    130 |        0 |        0
557.95/558.22	c  558s |      20 |  3442826 |   762727 |    14782    130 |        0 |        0
559.95/560.29	c  560s |      20 |  3455918 |   765027 |    14782    130 |        0 |        0
562.05/562.33	c  562s |      20 |  3459982 |   766527 |    14782    130 |        0 |        0
564.05/564.35	c  564s |      20 |  3478673 |   768727 |    14782    131 |        0 |        0
566.05/566.38	c  566s |      20 |  3487862 |   770927 |    14782    131 |        0 |        0
568.14/568.42	c  568s |      20 |  3509807 |   773827 |    14782    131 |        0 |        0
570.14/570.47	c  570s |      20 |  3520634 |   776327 |    14782    132 |        0 |        0
572.24/572.51	c  572s |      20 |  3537111 |   779027 |    14782    132 |        0 |        0
574.34/574.68	c  574s |      20 |  3555930 |   781727 |    14782    133 |        0 |        0
576.44/576.78	c  576s |      20 |  3570418 |   784527 |    14782    133 |        0 |        0
578.45/578.80	c  578s |      20 |  3585216 |   787227 |    14782    133 |        0 |        0
580.54/580.87	c  580s |      20 |  3592494 |   789627 |    14782    134 |        0 |        0
582.64/582.93	c  582s |      20 |  3595398 |   791727 |    14782    134 |        0 |        0
584.64/584.97	c  584s |      20 |  3599995 |   793927 |    14782    134 |        0 |        0
586.64/586.99	c  586s |      20 |  3602356 |   795427 |    14782    134 |        0 |        0
588.73/589.04	c  588s |      20 |  3615543 |   798727 |    14782    135 |        0 |        0
590.83/591.11	c  591s |      20 |  3637405 |   802227 |    14782    135 |        0 |        0
592.83/593.12	c  593s |      20 |  3647313 |   804827 |    14782    136 |        0 |        0
594.94/595.22	c  595s |      20 |  3658812 |   807727 |    14782    136 |        0 |        0
596.93/597.28	c  597s |      20 |  3669404 |   809927 |    14782    136 |        0 |        0
599.24/599.56	c  599s |      20 |  3682478 |   811627 |    14782    137 |        0 |        0
601.23/601.59	c  601s |      20 |  3686097 |   813227 |    14782    137 |        0 |        0
603.33/603.61	c  603s |      20 |  3689892 |   815127 |    14782    137 |        0 |        0
605.33/605.65	c  605s |      20 |  3693391 |   817227 |    14782    137 |        0 |        0
607.33/607.67	c  607s |      20 |  3705838 |   819227 |    14782    138 |        0 |        0
609.33/609.67	c  609s |      20 |  3723643 |   822127 |    14782    138 |        0 |        0
611.43/611.74	c  611s |      20 |  3736733 |   824227 |    14782    138 |        0 |        0
613.42/613.79	c  613s |      20 |  3759681 |   827027 |    14782    139 |        0 |        0
615.52/615.82	c  615s |      20 |  3777902 |   829927 |    14782    139 |        0 |        0
617.53/617.88	c  617s |      20 |  3805463 |   832527 |    14782    139 |        0 |        0
619.53/619.88	c  619s |      20 |  3822482 |   835127 |    14782    140 |        0 |        0
621.53/621.88	c  621s |      20 |  3838267 |   837727 |    14782    140 |        0 |        0
623.63/623.90	c  623s |      20 |  3860305 |   840727 |    14782    140 |        0 |        0
625.63/625.94	c  625s |      20 |  3878864 |   843427 |    14782    141 |        0 |        0
627.73/628.02	c  627s |      20 |  3891527 |   846627 |    14782    141 |        0 |        0
629.73/630.09	c  629s |      20 |  3908193 |   848627 |    14782    141 |        0 |        0
631.82/632.11	c  632s |      20 |  3926028 |   851427 |    14782    142 |        0 |        0
633.82/634.14	c  634s |      20 |  3935512 |   853527 |    14782    142 |        0 |        0
635.82/636.16	c  636s |      20 |  3948274 |   856127 |    14782    142 |        0 |        0
637.83/638.18	c  638s |      20 |  3964236 |   858327 |    14782    143 |        0 |        0
639.93/640.25	c  640s |      20 |  3974221 |   860627 |    14782    143 |        0 |        0
641.92/642.27	c  642s |      20 |  3987291 |   862627 |    14782    143 |        0 |        0
644.02/644.31	c  644s |      20 |  3997982 |   864527 |    14782    144 |        0 |        0
646.02/646.32	c  646s |      20 |  4008346 |   866727 |    14782    144 |        0 |        0
648.02/648.33	c  648s |      20 |  4013657 |   868627 |    14782    144 |        0 |        0
650.02/650.36	c  650s |      20 |  4020706 |   870627 |    14782    144 |        0 |        0
652.42/652.76	c  652s |      20 |  4022601 |   872127 |    14782    145 |        0 |        0
654.51/654.81	c  654s |      20 |  4026307 |   873327 |    14782    145 |        0 |        0
656.52/656.82	c  656s |      20 |  4038946 |   876127 |    14782    145 |        0 |        0
658.51/658.86	c  658s |      20 |  4049396 |   878627 |    14782    145 |        0 |        0
660.61/660.92	c  660s |      20 |  4060625 |   881127 |    14782    146 |        0 |        0
662.61/662.98	c  662s |      20 |  4064353 |   883327 |    14782    146 |        0 |        0
664.71/665.02	c  664s |      20 |  4069287 |   885327 |    14782    146 |        0 |        0
666.81/667.12	c  667s |      20 |  4074945 |   887127 |    14782    147 |        0 |        0
668.81/669.12	c  669s |      20 |  4081415 |   888127 |    14782    147 |        0 |        0
670.81/671.13	c  671s |      20 |  4087291 |   889827 |    14782    147 |        0 |        0
672.81/673.17	c  673s |      20 |  4093096 |   892727 |    14782    147 |        0 |        0
674.91/675.25	c  675s |      20 |  4101470 |   895227 |    14782    148 |        0 |        0
677.00/677.31	c  677s |      20 |  4107425 |   897627 |    14782    148 |        0 |        0
679.00/679.34	c  679s |      20 |  4112953 |   899527 |    14782    148 |        0 |        0
681.00/681.38	c  681s |      20 |  4133565 |   901627 |    14782    149 |        0 |        0
683.11/683.44	c  683s |      20 |  4140536 |   903327 |    14782    149 |        0 |        0
685.21/685.54	c  685s |      20 |  4142236 |   905027 |    14782    149 |        0 |        0
687.32/687.62	c  687s |      20 |  4143883 |   906627 |    14782    149 |        0 |        0
689.31/689.65	c  689s |      20 |  4150997 |   908627 |    14782    149 |        0 |        0
691.31/691.69	c  691s |      20 |  4159301 |   910627 |    14782    150 |        0 |        0
693.31/693.69	c  693s |      20 |  4167449 |   912627 |    14782    150 |        0 |        0
695.41/695.73	c  695s |      20 |  4174954 |   914727 |    14782    150 |        0 |        0
697.41/697.78	c  697s |      20 |  4179746 |   916527 |    14782    151 |        0 |        0
699.51/699.85	c  699s |      20 |  4191848 |   918527 |    14782    151 |        0 |        0
701.61/701.94	c  701s |      20 |  4193646 |   920327 |    14782    151 |        0 |        0
703.61/703.99	c  703s |      20 |  4195191 |   921827 |    14782    151 |        0 |        0
705.70/706.05	c  705s |      20 |  4196732 |   923327 |    14782    151 |        0 |        0
707.80/708.14	c  708s |      20 |  4198762 |   924927 |    14782    152 |        0 |        0
709.90/710.26	c  710s |      20 |  4201126 |   926627 |    14782    152 |        0 |        0
712.20/712.54	c  712s |      20 |  4202226 |   927527 |    14782    152 |        0 |        0
714.20/714.57	c  714s |      20 |  4211606 |   929427 |    14782    152 |        0 |        0
716.40/716.72	c  716s |      20 |  4225331 |   931427 |    14782    153 |        0 |        0
718.40/718.79	c  718s |      20 |  4236096 |   933527 |    14782    153 |        0 |        0
720.50/720.83	c  720s |      20 |  4237696 |   935127 |    14782    153 |        0 |        0
722.51/722.89	c  722s |      20 |  4240854 |   936727 |    14782    153 |        0 |        0
724.71/725.04	c  724s |      20 |  4244878 |   938327 |    14782    153 |        0 |        0
726.70/727.06	c  726s |      20 |  4246335 |   939727 |    14782    154 |        0 |        0
728.80/729.10	c  729s |      20 |  4255100 |   942027 |    14782    154 |        0 |        0
730.80/731.16	c  731s |      20 |  4266566 |   944127 |    14782    154 |        0 |        0
732.90/733.23	c  733s |      20 |  4279471 |   946327 |    14782    154 |        0 |        0
735.00/735.34	c  735s |      20 |  4283337 |   948227 |    14782    155 |        0 |        0
737.10/737.45	c  737s |      20 |  4286128 |   950027 |    14782    155 |        0 |        0
739.20/739.50	c  739s |      20 |  4288293 |   951627 |    14782    155 |        0 |        0
741.30/741.65	c  741s |      20 |  4292341 |   953227 |    14782    155 |        0 |        0
743.30/743.69	c  743s |      20 |  4294385 |   954727 |    14782    156 |        0 |        0
745.40/745.78	c  745s |      20 |  4298207 |   956427 |    14782    156 |        0 |        0
747.50/747.85	c  747s |      20 |  4304452 |   958427 |    14782    156 |        0 |        0
749.60/749.95	c  749s |      20 |  4309653 |   960327 |    14782    156 |        0 |        0
751.69/752.06	c  751s |      20 |  4313211 |   961927 |    14782    157 |        0 |        0
753.79/754.20	c  754s |      20 |  4314805 |   963527 |    14782    157 |        0 |        0
755.89/756.29	c  756s |      20 |  4316578 |   965127 |    14782    157 |        0 |        0
757.99/758.31	c  758s |      20 |  4317906 |   965727 |    14782    157 |        0 |        0
759.99/760.34	c  760s |      20 |  4320775 |   967427 |    14782    157 |        0 |        0
762.00/762.39	c  762s |      20 |  4325670 |   969427 |    14782    158 |        0 |        0
764.20/764.54	c  764s |      20 |  4328919 |   971327 |    14782    158 |        0 |        0
766.29/766.61	c  766s |      20 |  4330556 |   972827 |    14782    158 |        0 |        0
768.29/768.64	c  768s |      20 |  4332228 |   974327 |    14782    158 |        0 |        0
770.29/770.69	c  770s |      20 |  4333748 |   975827 |    14782    158 |        0 |        0
772.39/772.79	c  772s |      20 |  4335393 |   977327 |    14782    159 |        0 |        0
774.59/774.91	c  774s |      20 |  4336131 |   978027 |    14782    159 |        0 |        0
776.69/777.01	c  776s |      20 |  4336929 |   978527 |    14782    159 |        0 |        0
778.69/779.03	c  778s |      20 |  4343601 |   980627 |    14782    159 |        0 |        0
780.69/781.10	c  780s |      20 |  4346282 |   982427 |    14782    159 |        0 |        0
782.79/783.15	c  783s |      20 |  4349332 |   984027 |    14782    160 |        0 |        0
784.79/785.15	c  785s |      20 |  4351419 |   985827 |    14782    160 |        0 |        0
786.79/787.16	c  787s |      20 |  4353207 |   987527 |    14782    160 |        0 |        0
788.89/789.21	c  789s |      20 |  4357485 |   988027 |    14782    160 |        0 |        0
790.89/791.24	c  791s |      20 |  4374458 |   990427 |    14782    160 |        0 |        0
792.90/793.29	c  793s |      20 |  4394341 |   993027 |    14782    161 |        0 |        0
795.00/795.34	c  795s |      20 |  4404570 |   995727 |    16261    161 |        0 |        0
796.99/797.36	c  797s |      20 |  4421918 |   998927 |    16261    161 |        0 |        0
798.09/798.45	c  798s |      21 |  4430501 |  1000345 |    16261    162 |        0 |        0
800.39/800.75	c  800s |      21 |  4450598 |  1002945 |    16261    162 |        0 |        0
802.39/802.76	c  802s |      21 |  4468731 |  1005845 |    16261    162 |        0 |        0
804.49/804.82	c  804s |      21 |  4481795 |  1008545 |    16261    163 |        0 |        0
806.49/806.86	c  806s |      21 |  4498306 |  1011445 |    16261    163 |        0 |        0
808.59/808.91	c  808s |      21 |  4505253 |  1014145 |    16261    163 |        0 |        0
810.89/811.27	c  811s |      21 |  4513437 |  1016645 |    16261    163 |        0 |        0
812.89/813.29	c  813s |      21 |  4525350 |  1019045 |    16261    164 |        0 |        0
814.99/815.34	c  815s |      21 |  4543545 |  1021945 |    16261    164 |        0 |        0
817.09/817.43	c  817s |      21 |  4552818 |  1024445 |    16261    164 |        0 |        0
819.08/819.47	c  819s |      21 |  4563565 |  1026845 |    16261    165 |        0 |        0
821.18/821.53	c  821s |      21 |  4569709 |  1029545 |    16261    165 |        0 |        0
823.18/823.59	c  823s |      21 |  4582491 |  1032245 |    16261    165 |        0 |        0
825.28/825.64	c  825s |      21 |  4589269 |  1034645 |    16261    166 |        0 |        0
827.38/827.71	c  827s |      21 |  4593929 |  1037345 |    16261    166 |        0 |        0
829.38/829.76	c  829s |      21 |  4597206 |  1039745 |    16261    166 |        0 |        0
831.39/831.78	c  831s |      21 |  4607200 |  1041745 |    16261    167 |        0 |        0
833.49/833.83	c  833s |      21 |  4621903 |  1044345 |    16261    167 |        0 |        0
835.48/835.88	c  835s |      21 |  4632913 |  1046845 |    16261    167 |        0 |        0
837.48/837.89	c  837s |      21 |  4639671 |  1049145 |    16261    167 |        0 |        0
839.58/839.90	c  839s |      21 |  4647968 |  1051445 |    16261    168 |        0 |        0
841.58/841.93	c  841s |      21 |  4654830 |  1052145 |    16261    168 |        0 |        0
843.58/843.94	c  843s |      21 |  4664282 |  1054845 |    16261    168 |        0 |        0
845.58/845.98	c  845s |      21 |  4675268 |  1057545 |    16261    168 |        0 |        0
847.58/847.99	c  847s |      21 |  4689712 |  1060045 |    16261    169 |        0 |        0
849.68/850.04	c  849s |      21 |  4704906 |  1062845 |    16261    169 |        0 |        0
851.68/852.09	c  851s |      21 |  4713790 |  1065145 |    16261    169 |        0 |        0
853.78/854.12	c  854s |      21 |  4720003 |  1067045 |    16261    170 |        0 |        0
855.78/856.16	c  856s |      21 |  4726743 |  1069445 |    16261    170 |        0 |        0
857.78/858.17	c  858s |      21 |  4734428 |  1072045 |    16261    170 |        0 |        0
859.78/860.20	c  860s |      21 |  4740254 |  1074345 |    16261    170 |        0 |        0
862.77/863.16	c  863s |      21 |  4742303 |  1075945 |    16261    171 |        0 |        0
864.87/865.22	c  865s |      21 |  4758459 |  1077945 |    16261    171 |        0 |        0
866.87/867.23	c  867s |      21 |  4764273 |  1080645 |    16261    171 |        0 |        0
868.97/869.33	c  869s |      21 |  4772037 |  1083245 |    16261    172 |        0 |        0
870.98/871.37	c  871s |      21 |  4780300 |  1086245 |    16261    172 |        0 |        0
872.97/873.37	c  873s |      21 |  4785370 |  1088845 |    16261    172 |        0 |        0
875.17/875.52	c  875s |      21 |  4790585 |  1091345 |    16261    173 |        0 |        0
877.17/877.53	c  877s |      21 |  4795370 |  1093845 |    16261    173 |        0 |        0
879.17/879.57	c  879s |      21 |  4805851 |  1096645 |    16261    173 |        0 |        0
881.58/881.91	c  881s |      21 |  4812434 |  1098645 |    16261    173 |        0 |        0
883.58/883.93	c  883s |      21 |  4829083 |  1100745 |    16261    174 |        0 |        0
885.58/885.96	c  885s |      21 |  4852533 |  1103545 |    16261    174 |        0 |        0
887.58/887.96	c  887s |      21 |  4869006 |  1106145 |    16261    174 |        0 |        0
889.58/889.99	c  889s |      21 |  4895637 |  1108945 |    16261    175 |        0 |        0
891.68/892.04	c  891s |      21 |  4921217 |  1112045 |    16261    175 |        0 |        0
893.68/894.07	c  893s |      21 |  4930315 |  1114445 |    16261    175 |        0 |        0
895.78/896.15	c  896s |      21 |  4937106 |  1116645 |    16261    176 |        0 |        0
897.88/898.21	c  898s |      21 |  4948149 |  1119145 |    16261    176 |        0 |        0
899.88/900.26	c  900s |      21 |  4961678 |  1121845 |    16261    176 |        0 |        0
901.87/902.29	c  902s |      21 |  4968492 |  1124045 |    16261    176 |        0 |        0
903.98/904.32	c  904s |      21 |  4975620 |  1126545 |    16261    177 |        0 |        0
905.97/906.40	c  906s |      21 |  4983103 |  1129045 |    16261    177 |        0 |        0
908.07/908.45	c  908s |      21 |  4987635 |  1131145 |    16261    177 |        0 |        0
910.07/910.48	c  910s |      21 |  4993417 |  1132945 |    16261    178 |        0 |        0
912.17/912.50	c  912s |      21 |  5009884 |  1134345 |    16261    178 |        0 |        0
914.17/914.57	c  914s |      21 |  5029097 |  1137345 |    16261    178 |        0 |        0
916.27/916.65	c  916s |      21 |  5042769 |  1139845 |    16261    178 |        0 |        0
918.28/918.67	c  918s |      21 |  5047898 |  1141845 |    16261    179 |        0 |        0
920.38/920.72	c  920s |      21 |  5063377 |  1144245 |    16261    179 |        0 |        0
922.47/922.84	c  922s |      21 |  5067968 |  1146445 |    16261    179 |        0 |        0
924.47/924.87	c  924s |      21 |  5073566 |  1148445 |    16261    179 |        0 |        0
926.57/926.90	c  926s |      21 |  5075660 |  1150245 |    16261    180 |        0 |        0
928.57/928.95	c  928s |      21 |  5079541 |  1152145 |    16261    180 |        0 |        0
930.67/931.02	c  930s |      21 |  5085922 |  1154945 |    16261    180 |        0 |        0
932.67/933.09	c  932s |      21 |  5091615 |  1157445 |    16261    181 |        0 |        0
934.77/935.11	c  935s |      21 |  5094864 |  1159945 |    16261    181 |        0 |        0
936.76/937.17	c  937s |      21 |  5108234 |  1162645 |    16261    181 |        0 |        0
938.86/939.20	c  939s |      21 |  5112638 |  1164945 |    16261    181 |        0 |        0
940.86/941.21	c  941s |      21 |  5115783 |  1166945 |    16261    182 |        0 |        0
942.86/943.23	c  943s |      21 |  5121340 |  1169145 |    16261    182 |        0 |        0
944.86/945.28	c  945s |      21 |  5130165 |  1171445 |    16261    182 |        0 |        0
946.87/947.29	c  947s |      21 |  5134769 |  1173545 |    16261    182 |        0 |        0
948.97/949.31	c  949s |      21 |  5140724 |  1175245 |    16261    183 |        0 |        0
950.96/951.37	c  951s |      21 |  5145154 |  1177545 |    16261    183 |        0 |        0
953.47/953.88	c  953s |      21 |  5145945 |  1178045 |    16261    183 |        0 |        0
955.46/955.88	c  955s |      21 |  5154734 |  1180745 |    16261    183 |        0 |        0
957.56/957.98	c  957s |      21 |  5164469 |  1183345 |    16261    184 |        0 |        0
959.66/960.04	c  959s |      21 |  5170172 |  1186145 |    16261    184 |        0 |        0
961.66/962.10	c  961s |      21 |  5178464 |  1188845 |    16261    184 |        0 |        0
963.76/964.10	c  963s |      21 |  5181424 |  1190645 |    16261    185 |        0 |        0
965.76/966.14	c  966s |      21 |  5184951 |  1192945 |    16261    185 |        0 |        0
967.77/968.18	c  968s |      21 |  5190480 |  1194845 |    16261    185 |        0 |        0
969.87/970.25	c  970s |      21 |  5200809 |  1197145 |    16261    185 |        0 |        0
971.86/972.29	c  972s |      21 |  5211994 |  1199345 |    16261    186 |        0 |        0
973.96/974.35	c  974s |      21 |  5223789 |  1202145 |    16261    186 |        0 |        0
975.96/976.39	c  976s |      21 |  5228625 |  1204445 |    16261    186 |        0 |        0
978.06/978.47	c  978s |      21 |  5234021 |  1206745 |    16261    186 |        0 |        0
980.06/980.48	c  980s |      21 |  5237753 |  1208845 |    16261    187 |        0 |        0
982.16/982.53	c  982s |      21 |  5243039 |  1211345 |    16261    187 |        0 |        0
984.16/984.58	c  984s |      21 |  5249186 |  1213745 |    16261    187 |        0 |        0
986.26/986.61	c  986s |      21 |  5253051 |  1215745 |    16261    188 |        0 |        0
988.25/988.64	c  988s |      21 |  5258541 |  1218345 |    16261    188 |        0 |        0
990.35/990.71	c  990s |      21 |  5268534 |  1221045 |    16261    188 |        0 |        0
992.35/992.77	c  992s |      21 |  5271912 |  1223145 |    16261    188 |        0 |        0
994.45/994.85	c  994s |      21 |  5276262 |  1225345 |    16261    189 |        0 |        0
996.45/996.89	c  996s |      21 |  5283424 |  1227945 |    16261    189 |        0 |        0
998.56/998.97	c  998s |      21 |  5286903 |  1230045 |    16261    189 |        0 |        0
1000.66/1001.02	c 1000s |      21 |  5289391 |  1231945 |    16261    189 |        0 |        0
1002.76/1003.12	c 1003s |      21 |  5293534 |  1233645 |    16261    190 |        0 |        0
1004.86/1005.20	c 1005s |      21 |  5302713 |  1235345 |    16261    190 |        0 |        0
1006.86/1007.22	c 1007s |      21 |  5311656 |  1237845 |    16261    190 |        0 |        0
1008.86/1009.25	c 1009s |      21 |  5326787 |  1240345 |    16261    191 |        0 |        0
1010.86/1011.26	c 1011s |      21 |  5335743 |  1242845 |    16261    191 |        0 |        0
1012.86/1013.29	c 1013s |      21 |  5343899 |  1245245 |    16261    191 |        0 |        0
1014.86/1015.29	c 1015s |      21 |  5351082 |  1247645 |    16261    191 |        0 |        0
1016.96/1017.39	c 1017s |      21 |  5354994 |  1249745 |    16261    192 |        0 |        0
1019.16/1019.50	c 1019s |      21 |  5358278 |  1251545 |    16261    192 |        0 |        0
1021.15/1021.58	c 1021s |      21 |  5362548 |  1253945 |    16261    192 |        0 |        0
1023.25/1023.68	c 1023s |      21 |  5366035 |  1256245 |    16261    192 |        0 |        0
1025.35/1025.71	c 1025s |      21 |  5370527 |  1258245 |    16261    193 |        0 |        0
1027.35/1027.75	c 1027s |      21 |  5374752 |  1260845 |    16261    193 |        0 |        0
1029.36/1029.75	c 1029s |      21 |  5378681 |  1263245 |    16261    193 |        0 |        0
1031.35/1031.78	c 1031s |      21 |  5382781 |  1265245 |    16261    194 |        0 |        0
1033.76/1034.16	c 1034s |      21 |  5387054 |  1266345 |    16261    194 |        0 |        0
1035.75/1036.20	c 1036s |      21 |  5403292 |  1268945 |    16261    194 |        0 |        0
1037.85/1038.20	c 1038s |      21 |  5414042 |  1271545 |    16261    194 |        0 |        0
1039.85/1040.26	c 1040s |      21 |  5429799 |  1273945 |    16261    195 |        0 |        0
1041.85/1042.28	c 1042s |      21 |  5436231 |  1276345 |    16261    195 |        0 |        0
1043.95/1044.32	c 1044s |      21 |  5443610 |  1278845 |    16261    195 |        0 |        0
1045.95/1046.35	c 1046s |      21 |  5449288 |  1281545 |    16261    195 |        0 |        0
1047.95/1048.38	c 1048s |      21 |  5452170 |  1283345 |    16261    196 |        0 |        0
1050.05/1050.43	c 1050s |      21 |  5458553 |  1285645 |    16261    196 |        0 |        0
1052.05/1052.49	c 1052s |      21 |  5463154 |  1287945 |    16261    196 |        0 |        0
1054.15/1054.55	c 1054s |      21 |  5475323 |  1290245 |    16261    197 |        0 |        0
1056.25/1056.61	c 1056s |      21 |  5483029 |  1292745 |    16261    197 |        0 |        0
1058.25/1058.63	c 1058s |      21 |  5490877 |  1295345 |    16261    197 |        0 |        0
1060.24/1060.63	c 1060s |      21 |  5498935 |  1297645 |    16261    197 |        0 |        0
1062.25/1062.69	c 1062s |      21 |  5502430 |  1299745 |    16261    198 |        0 |        0
1064.34/1064.73	c 1064s |      21 |  5505848 |  1301945 |    16261    198 |        0 |        0
1066.44/1066.80	c 1066s |      21 |  5510380 |  1304245 |    16261    198 |        0 |        0
1068.44/1068.89	c 1068s |      21 |  5514087 |  1306445 |    16261    199 |        0 |        0
1070.55/1070.96	c 1070s |      21 |  5516709 |  1307945 |    16261    199 |        0 |        0
1072.55/1072.97	c 1072s |      21 |  5521210 |  1310245 |    16261    199 |        0 |        0
1074.65/1075.03	c 1074s |      21 |  5523684 |  1312245 |    16261    199 |        0 |        0
1076.66/1077.06	c 1076s |      21 |  5526492 |  1314645 |    16261    199 |        0 |        0
1078.75/1079.12	c 1079s |      21 |  5529811 |  1316845 |    16261    200 |        0 |        0
1080.74/1081.18	c 1081s |      21 |  5538411 |  1319945 |    16261    200 |        0 |        0
1082.84/1083.23	c 1083s |      21 |  5546744 |  1322545 |    16261    200 |        0 |        0
1084.84/1085.27	c 1085s |      21 |  5547411 |  1323045 |    16261    201 |        0 |        0
1086.94/1087.33	c 1087s |      21 |  5554886 |  1325345 |    16261    201 |        0 |        0
1088.94/1089.35	c 1089s |      21 |  5562823 |  1327645 |    16261    201 |        0 |        0
1090.95/1091.39	c 1091s |      21 |  5567356 |  1329945 |    16261    201 |        0 |        0
1093.84/1094.26	c 1094s |      21 |  5571215 |  1331945 |    16261    202 |        0 |        0
1095.84/1096.27	c 1096s |      21 |  5577817 |  1334845 |    16261    202 |        0 |        0
1097.94/1098.31	c 1098s |      21 |  5584497 |  1337745 |    16261    202 |        0 |        0
1099.94/1100.36	c 1100s |      21 |  5588208 |  1340445 |    16261    203 |        0 |        0
1101.94/1102.38	c 1102s |      21 |  5592844 |  1343145 |    16261    203 |        0 |        0
1104.04/1104.41	c 1104s |      21 |  5597427 |  1345645 |    16261    203 |        0 |        0
1106.04/1106.47	c 1106s |      21 |  5603378 |  1348245 |    16261    204 |        0 |        0
1108.14/1108.52	c 1108s |      21 |  5608786 |  1350945 |    16261    204 |        0 |        0
1110.14/1110.53	c 1110s |      21 |  5612868 |  1353445 |    16261    204 |        0 |        0
1112.14/1112.59	c 1112s |      21 |  5616769 |  1355845 |    16261    204 |        0 |        0
1114.24/1114.67	c 1114s |      21 |  5618958 |  1357245 |    16261    205 |        0 |        0
1116.34/1116.74	c 1116s |      21 |  5623421 |  1360045 |    16261    205 |        0 |        0
1118.45/1118.82	c 1118s |      21 |  5627344 |  1362845 |    16261    205 |        0 |        0
1120.65/1121.01	c 1120s |      21 |  5630448 |  1364545 |    16261    206 |        0 |        0
1122.64/1123.02	c 1122s |      21 |  5635141 |  1367345 |    16261    206 |        0 |        0
1124.64/1125.06	c 1124s |      21 |  5637063 |  1368745 |    16261    206 |        0 |        0
1126.64/1127.07	c 1126s |      21 |  5640789 |  1371345 |    16261    206 |        0 |        0
1128.94/1129.35	c 1129s |      21 |  5645689 |  1373545 |    16261    207 |        0 |        0
1130.94/1131.39	c 1131s |      21 |  5656589 |  1376745 |    16261    207 |        0 |        0
1133.04/1133.45	c 1133s |      21 |  5667491 |  1379745 |    16261    207 |        0 |        0
1135.73/1136.13	c 1136s |      21 |  5673828 |  1381945 |    16261    208 |        0 |        0
1137.73/1138.19	c 1138s |      21 |  5681134 |  1385045 |    16261    208 |        0 |        0
1139.83/1140.26	c 1140s |      21 |  5687738 |  1387845 |    16261    208 |        0 |        0
1141.83/1142.28	c 1142s |      21 |  5691086 |  1390145 |    16261    209 |        0 |        0
1144.13/1144.50	c 1144s |      21 |  5697931 |  1392945 |    16261    209 |        0 |        0
1146.13/1146.53	c 1146s |      21 |  5705995 |  1395745 |    16261    209 |        0 |        0
1148.73/1149.16	c 1149s |      21 |  5710443 |  1397745 |    16261    210 |        0 |        0
1150.73/1151.18	c 1151s |      21 |  5720614 |  1400845 |    16261    210 |        0 |        0
1152.83/1153.23	c 1153s |      21 |  5730777 |  1403945 |    16261    210 |        0 |        0
1155.24/1155.61	c 1155s |      21 |  5736209 |  1405845 |    16261    211 |        0 |        0
1157.24/1157.64	c 1157s |      21 |  5748913 |  1408645 |    16261    211 |        0 |        0
1159.34/1159.70	c 1159s |      21 |  5757314 |  1411545 |    16261    211 |        0 |        0
1161.34/1161.77	c 1161s |      21 |  5764762 |  1414545 |    16261    212 |        0 |        0
1163.44/1163.82	c 1163s |      21 |  5773707 |  1417345 |    16261    212 |        0 |        0
1165.43/1165.89	c 1165s |      21 |  5781307 |  1419245 |    16261    212 |        0 |        0
1167.53/1167.91	c 1167s |      21 |  5791366 |  1422145 |    16261    212 |        0 |        0
1169.83/1170.25	c 1170s |      21 |  5797892 |  1423845 |    16261    213 |        0 |        0
1171.83/1172.28	c 1172s |      21 |  5803567 |  1426945 |    16261    213 |        0 |        0
1173.93/1174.32	c 1174s |      21 |  5811939 |  1429745 |    16261    213 |        0 |        0
1175.93/1176.33	c 1176s |      21 |  5817579 |  1432245 |    16261    214 |        0 |        0
1177.93/1178.39	c 1178s |      21 |  5832284 |  1434645 |    16261    214 |        0 |        0
1179.94/1180.40	c 1180s |      21 |  5841673 |  1437145 |    16261    214 |        0 |        0
1182.83/1183.28	c 1183s |      21 |  5848029 |  1439545 |    16261    215 |        0 |        0
1184.93/1185.33	c 1185s |      21 |  5863554 |  1442645 |    16261    215 |        0 |        0
1186.93/1187.37	c 1187s |      21 |  5870714 |  1445445 |    16261    215 |        0 |        0
1189.03/1189.40	c 1189s |      21 |  5882427 |  1447945 |    16261    216 |        0 |        0
1191.03/1191.42	c 1191s |      21 |  5888171 |  1450245 |    16261    216 |        0 |        0
1193.03/1193.50	c 1193s |      21 |  5900201 |  1453145 |    16261    216 |        0 |        0
1195.13/1195.52	c 1195s |      21 |  5905303 |  1455645 |    16261    217 |        0 |        0
1197.13/1197.55	c 1197s |      21 |  5913702 |  1458445 |    16261    217 |        0 |        0
1199.22/1199.64	c 1199s |      21 |  5918523 |  1461145 |    16261    217 |        0 |        0
1201.82/1202.27	c 1202s |      21 |  5923269 |  1463345 |    16261    217 |        0 |        0
1203.92/1204.34	c 1204s |      21 |  5930363 |  1465545 |    16261    218 |        0 |        0
1205.92/1206.38	c 1206s |      21 |  5938576 |  1468545 |    16261    218 |        0 |        0
1208.02/1208.40	c 1208s |      21 |  5947999 |  1470745 |    16261    218 |        0 |        0
1210.02/1210.41	c 1210s |      21 |  5953270 |  1473045 |    16261    219 |        0 |        0
1212.02/1212.44	c 1212s |      21 |  5958815 |  1475845 |    16261    219 |        0 |        0
1214.13/1214.51	c 1214s |      21 |  5965406 |  1478645 |    16261    219 |        0 |        0
1216.12/1216.51	c 1216s |      21 |  5971067 |  1481145 |    16261    220 |        0 |        0
1218.12/1218.56	c 1218s |      21 |  5976263 |  1484045 |    16261    220 |        0 |        0
1220.12/1220.57	c 1220s |      21 |  5979771 |  1486745 |    16261    220 |        0 |        0
1222.22/1222.60	c 1222s |      21 |  5988428 |  1489045 |    16261    221 |        0 |        0
1224.22/1224.65	c 1224s |      21 |  5994041 |  1491545 |    17888    221 |        0 |        0
1226.23/1226.66	c 1226s |      21 |  5998940 |  1493745 |    17888    221 |        0 |        0
1228.53/1228.91	c 1228s |      21 |  6003745 |  1495145 |    17888    221 |        0 |        0
1230.53/1230.93	c 1230s |      21 |  6012391 |  1496745 |    17888    221 |        0 |        0
1232.52/1232.99	c 1232s |      21 |  6026647 |  1499245 |    17888    222 |        0 |        0
1233.93/1234.33	c 1234s |      22 |  6033572 |  1500622 |    17888    222 |        0 |        0
1235.92/1236.39	c 1236s |      22 |  6041900 |  1503222 |    17888    222 |        0 |        0
1238.02/1238.47	c 1238s |      22 |  6047409 |  1505622 |    17888    222 |        0 |        0
1240.32/1240.77	c 1240s |      22 |  6062381 |  1507522 |    17888    223 |        0 |        0
1242.42/1242.81	c 1242s |      22 |  6078506 |  1510322 |    17888    223 |        0 |        0
1244.42/1244.89	c 1244s |      22 |  6094553 |  1513322 |    17888    223 |        0 |        0
1246.52/1246.94	c 1246s |      22 |  6104260 |  1515822 |    17888    223 |        0 |        0
1248.52/1248.96	c 1248s |      22 |  6116614 |  1518222 |    17888    224 |        0 |        0
1250.52/1250.98	c 1250s |      22 |  6123573 |  1520722 |    17888    224 |        0 |        0
1252.63/1253.02	c 1252s |      22 |  6135098 |  1523522 |    17888    224 |        0 |        0
1254.62/1255.07	c 1254s |      22 |  6145804 |  1526122 |    17888    225 |        0 |        0
1257.32/1257.70	c 1257s |      22 |  6153760 |  1527822 |    17888    225 |        0 |        0
1259.32/1259.72	c 1259s |      22 |  6162753 |  1530622 |    17888    225 |        0 |        0
1261.33/1261.74	c 1261s |      22 |  6173193 |  1533722 |    17888    225 |        0 |        0
1263.32/1263.77	c 1263s |      22 |  6183823 |  1536122 |    17888    226 |        0 |        0
1265.42/1265.83	c 1265s |      22 |  6195337 |  1539622 |    17888    226 |        0 |        0
1267.42/1267.89	c 1267s |      22 |  6203654 |  1542622 |    17888    226 |        0 |        0
1269.52/1269.91	c 1269s |      22 |  6213377 |  1545322 |    17888    227 |        0 |        0
1271.52/1271.96	c 1271s |      22 |  6230979 |  1548022 |    17888    227 |        0 |        0
1273.52/1273.99	c 1273s |      22 |  6245837 |  1550722 |    17888    227 |        0 |        0
1275.92/1276.32	c 1276s |      22 |  6252688 |  1552922 |    17888    228 |        0 |        0
1277.92/1278.34	c 1278s |      22 |  6258635 |  1555322 |    17888    228 |        0 |        0
1279.92/1280.35	c 1280s |      22 |  6264640 |  1557622 |    17888    228 |        0 |        0
1282.02/1282.42	c 1282s |      22 |  6277662 |  1560422 |    17888    228 |        0 |        0
1284.01/1284.46	c 1284s |      22 |  6283222 |  1562622 |    17888    229 |        0 |        0
1286.01/1286.47	c 1286s |      22 |  6287846 |  1565122 |    17888    229 |        0 |        0
1288.01/1288.49	c 1288s |      22 |  6289594 |  1565822 |    17888    229 |        0 |        0
1290.51/1290.93	c 1290s |      22 |  6300247 |  1567622 |    17888    229 |        0 |        0
1292.51/1292.95	c 1292s |      22 |  6317119 |  1570422 |    17888    229 |        0 |        0
1294.51/1294.99	c 1294s |      22 |  6324181 |  1572322 |    17888    230 |        0 |        0
1296.62/1297.02	c 1296s |      22 |  6330509 |  1574422 |    17888    230 |        0 |        0
1298.61/1299.03	c 1298s |      22 |  6346421 |  1577222 |    17888    230 |        0 |        0
1300.71/1301.17	c 1301s |      22 |  6355634 |  1580222 |    17888    231 |        0 |        0
1302.71/1303.17	c 1303s |      22 |  6363280 |  1583122 |    17888    231 |        0 |        0
1304.81/1305.25	c 1305s |      22 |  6369671 |  1585722 |    17888    231 |        0 |        0
1306.91/1307.31	c 1307s |      22 |  6382573 |  1588222 |    17888    231 |        0 |        0
1308.91/1309.33	c 1309s |      22 |  6393723 |  1590522 |    17888    232 |        0 |        0
1311.01/1311.42	c 1311s |      22 |  6400572 |  1593022 |    17888    232 |        0 |        0
1313.01/1313.48	c 1313s |      22 |  6403768 |  1595122 |    17888    232 |        0 |        0
1315.11/1315.55	c 1315s |      22 |  6407568 |  1597722 |    17888    232 |        0 |        0
1317.10/1317.57	c 1317s |      22 |  6413147 |  1600122 |    17888    233 |        0 |        0
1319.21/1319.65	c 1319s |      22 |  6418051 |  1602422 |    17888    233 |        0 |        0
1321.31/1321.71	c 1321s |      22 |  6423006 |  1604822 |    17888    233 |        0 |        0
1323.31/1323.73	c 1323s |      22 |  6428316 |  1607122 |    17888    233 |        0 |        0
1325.31/1325.76	c 1325s |      22 |  6431924 |  1609322 |    17888    234 |        0 |        0
1327.32/1327.78	c 1327s |      22 |  6433803 |  1610622 |    17888    234 |        0 |        0
1329.81/1330.21	c 1330s |      22 |  6434639 |  1611022 |    17888    234 |        0 |        0
1331.82/1332.28	c 1332s |      22 |  6443543 |  1614122 |    17888    234 |        0 |        0
1333.92/1334.36	c 1334s |      22 |  6449340 |  1616722 |    17888    235 |        0 |        0
1336.01/1336.43	c 1336s |      22 |  6453186 |  1619322 |    17888    235 |        0 |        0
1338.01/1338.49	c 1338s |      22 |  6457191 |  1621922 |    17888    235 |        0 |        0
1340.21/1340.69	c 1340s |      22 |  6457946 |  1622122 |    17888    235 |        0 |        0
1342.31/1342.75	c 1342s |      22 |  6470855 |  1625022 |    17888    235 |        0 |        0
1344.30/1344.77	c 1344s |      22 |  6484142 |  1627122 |    17888    236 |        0 |        0
1346.30/1346.78	c 1346s |      22 |  6497635 |  1630222 |    17888    236 |        0 |        0
1348.40/1348.80	c 1348s |      22 |  6509485 |  1633022 |    17888    236 |        0 |        0
1351.00/1351.48	c 1351s |      22 |  6516187 |  1634822 |    17888    237 |        0 |        0
1353.00/1353.48	c 1353s |      22 |  6529983 |  1637722 |    17888    237 |        0 |        0
1355.00/1355.49	c 1355s |      22 |  6544105 |  1640622 |    17888    237 |        0 |        0
1357.11/1357.55	c 1357s |      22 |  6554447 |  1643322 |    17888    237 |        0 |        0
1359.41/1359.87	c 1359s |      22 |  6559541 |  1644522 |    17888    238 |        0 |        0
1361.51/1361.93	c 1361s |      22 |  6578992 |  1647622 |    17888    238 |        0 |        0
1363.51/1363.97	c 1363s |      22 |  6593931 |  1650822 |    17888    238 |        0 |        0
1366.11/1366.54	c 1366s |      22 |  6599348 |  1652922 |    17888    239 |        0 |        0
1368.11/1368.59	c 1368s |      22 |  6619888 |  1655722 |    17888    239 |        0 |        0
1370.21/1370.61	c 1370s |      22 |  6640715 |  1658322 |    17888    239 |        0 |        0
1372.20/1372.68	c 1372s |      22 |  6660372 |  1660922 |    17888    239 |        0 |        0
1374.30/1374.71	c 1374s |      22 |  6670480 |  1662922 |    17888    240 |        0 |        0
1376.30/1376.73	c 1376s |      22 |  6678000 |  1665122 |    17888    240 |        0 |        0
1378.40/1378.81	c 1378s |      22 |  6684109 |  1667422 |    17888    240 |        0 |        0
1380.40/1380.85	c 1380s |      22 |  6697760 |  1670122 |    17888    240 |        0 |        0
1382.60/1383.01	c 1382s |      22 |  6703499 |  1672422 |    17888    241 |        0 |        0
1384.61/1385.01	c 1384s |      22 |  6712343 |  1675322 |    17888    241 |        0 |        0
1386.60/1387.04	c 1386s |      22 |  6722059 |  1678122 |    17888    241 |        0 |        0
1388.91/1389.33	c 1389s |      22 |  6727838 |  1680122 |    17888    242 |        0 |        0
1390.90/1391.37	c 1391s |      22 |  6740459 |  1683422 |    17888    242 |        0 |        0
1393.00/1393.40	c 1393s |      22 |  6751740 |  1686222 |    17888    242 |        0 |        0
1395.10/1395.59	c 1395s |      22 |  6758471 |  1689022 |    17888    243 |        0 |        0
1397.20/1397.66	c 1397s |      22 |  6767400 |  1692022 |    17888    243 |        0 |        0
1399.30/1399.72	c 1399s |      22 |  6771935 |  1694422 |    17888    243 |        0 |        0
1401.40/1401.80	c 1401s |      22 |  6775160 |  1696622 |    17888    243 |        0 |        0
1403.40/1403.88	c 1403s |      22 |  6778733 |  1698722 |    17888    244 |        0 |        0
1405.50/1405.96	c 1405s |      22 |  6784688 |  1701122 |    17888    244 |        0 |        0
1407.60/1408.02	c 1407s |      22 |  6790409 |  1703322 |    17888    244 |        0 |        0
1409.59/1410.05	c 1409s |      22 |  6794502 |  1705522 |    17888    244 |        0 |        0
1411.69/1412.12	c 1412s |      22 |  6799557 |  1707522 |    17888    245 |        0 |        0
1413.69/1414.16	c 1414s |      22 |  6804100 |  1710022 |    17888    245 |        0 |        0
1416.70/1417.13	c 1417s |      22 |  6806019 |  1711122 |    17888    245 |        0 |        0
1418.71/1419.17	c 1419s |      22 |  6811955 |  1714422 |    17888    245 |        0 |        0
1420.81/1421.21	c 1421s |      22 |  6820480 |  1717822 |    17888    246 |        0 |        0
1422.80/1423.22	c 1423s |      22 |  6825055 |  1720822 |    17888    246 |        0 |        0
1424.80/1425.27	c 1425s |      22 |  6828734 |  1723622 |    17888    246 |        0 |        0
1426.90/1427.31	c 1427s |      22 |  6833552 |  1726422 |    17888    247 |        0 |        0
1428.90/1429.37	c 1429s |      22 |  6841101 |  1729622 |    17888    247 |        0 |        0
1431.00/1431.44	c 1431s |      22 |  6846266 |  1732222 |    17888    247 |        0 |        0
1433.00/1433.47	c 1433s |      22 |  6853384 |  1734522 |    17888    248 |        0 |        0
1435.10/1435.51	c 1435s |      22 |  6860752 |  1737322 |    17888    248 |        0 |        0
1437.09/1437.58	c 1437s |      22 |  6869757 |  1740622 |    17888    248 |        0 |        0
1439.19/1439.61	c 1439s |      22 |  6879957 |  1743422 |    17888    248 |        0 |        0
1441.19/1441.64	c 1441s |      22 |  6886327 |  1746022 |    17888    249 |        0 |        0
1443.19/1443.65	c 1443s |      22 |  6895938 |  1748622 |    17888    249 |        0 |        0
1445.19/1445.66	c 1445s |      22 |  6911707 |  1751422 |    17888    249 |        0 |        0
1447.20/1447.67	c 1447s |      22 |  6918408 |  1753622 |    17888    250 |        0 |        0
1449.29/1449.73	c 1449s |      22 |  6934634 |  1756822 |    17888    250 |        0 |        0
1451.29/1451.76	c 1451s |      22 |  6946846 |  1759722 |    17888    250 |        0 |        0
1453.29/1453.79	c 1453s |      22 |  6957104 |  1762222 |    17888    251 |        0 |        0
1455.39/1455.81	c 1455s |      22 |  6964072 |  1765122 |    17888    251 |        0 |        0
1457.39/1457.85	c 1457s |      22 |  6972807 |  1767922 |    17888    251 |        0 |        0
1459.59/1460.02	c 1459s |      22 |  6978149 |  1770722 |    17888    252 |        0 |        0
1461.59/1462.06	c 1461s |      22 |  6983797 |  1773522 |    17888    252 |        0 |        0
1463.69/1464.12	c 1464s |      22 |  6990053 |  1776122 |    17888    252 |        0 |        0
1465.68/1466.17	c 1466s |      22 |  6995701 |  1778822 |    17888    252 |        0 |        0
1467.78/1468.21	c 1468s |      22 |  6998303 |  1781222 |    17888    253 |        0 |        0
1469.78/1470.26	c 1470s |      22 |  7001664 |  1783822 |    17888    253 |        0 |        0
1471.78/1472.27	c 1472s |      22 |  7002551 |  1784622 |    17888    253 |        0 |        0
1473.78/1474.28	c 1474s |      22 |  7008919 |  1787422 |    17888    253 |        0 |        0
1475.89/1476.31	c 1476s |      22 |  7014763 |  1789722 |    17888    254 |        0 |        0
1477.88/1478.33	c 1478s |      22 |  7026411 |  1792822 |    17888    254 |        0 |        0
1479.88/1480.34	c 1480s |      22 |  7034836 |  1795622 |    17888    254 |        0 |        0
1481.98/1482.44	c 1482s |      22 |  7042038 |  1797822 |    17888    255 |        0 |        0
1483.98/1484.47	c 1484s |      22 |  7060826 |  1800622 |    17888    255 |        0 |        0
1485.98/1486.47	c 1486s |      22 |  7068867 |  1803322 |    17888    255 |        0 |        0
1488.08/1488.52	c 1488s |      22 |  7073490 |  1806122 |    17888    255 |        0 |        0
1490.09/1490.54	c 1490s |      22 |  7078001 |  1808322 |    17888    256 |        0 |        0
1492.09/1492.60	c 1492s |      22 |  7083068 |  1811122 |    17888    256 |        0 |        0
1494.19/1494.63	c 1494s |      22 |  7087791 |  1813722 |    17888    256 |        0 |        0
1496.18/1496.65	c 1496s |      22 |  7090895 |  1815922 |    17888    257 |        0 |        0
1498.78/1499.30	c 1499s |      22 |  7093282 |  1818222 |    17888    257 |        0 |        0
1500.88/1501.38	c 1501s |      22 |  7097108 |  1820822 |    17888    257 |        0 |        0
1502.98/1503.44	c 1503s |      22 |  7104084 |  1823222 |    17888    257 |        0 |        0
1505.08/1505.51	c 1505s |      22 |  7110823 |  1825722 |    17888    258 |        0 |        0
1507.28/1507.75	c 1507s |      22 |  7114295 |  1828222 |    17888    258 |        0 |        0
1509.38/1509.83	c 1509s |      22 |  7120446 |  1831022 |    17888    258 |        0 |        0
1511.38/1511.89	c 1511s |      22 |  7128501 |  1833722 |    17888    258 |        0 |        0
1513.48/1513.92	c 1513s |      22 |  7132094 |  1836222 |    17888    259 |        0 |        0
1515.48/1515.96	c 1515s |      22 |  7137287 |  1839022 |    17888    259 |        0 |        0
1517.58/1518.01	c 1517s |      22 |  7142485 |  1841722 |    17888    259 |        0 |        0
1519.58/1520.05	c 1519s |      22 |  7146343 |  1844222 |    17888    260 |        0 |        0
1521.67/1522.10	c 1521s |      22 |  7149813 |  1846522 |    17888    260 |        0 |        0
1523.67/1524.17	c 1524s |      22 |  7153796 |  1849222 |    17888    260 |        0 |        0
1525.77/1526.20	c 1526s |      22 |  7156665 |  1851622 |    17888    260 |        0 |        0
1527.77/1528.25	c 1528s |      22 |  7160116 |  1854122 |    17888    261 |        0 |        0
1529.78/1530.29	c 1530s |      22 |  7162903 |  1856822 |    17888    261 |        0 |        0
1531.88/1532.31	c 1532s |      22 |  7165312 |  1859222 |    17888    261 |        0 |        0
1533.97/1534.44	c 1534s |      22 |  7167389 |  1861122 |    17888    262 |        0 |        0
1535.97/1536.46	c 1536s |      22 |  7170764 |  1863522 |    17888    262 |        0 |        0
1537.97/1538.48	c 1538s |      22 |  7173645 |  1866322 |    17888    262 |        0 |        0
1540.07/1540.50	c 1540s |      22 |  7175250 |  1867822 |    17888    262 |        0 |        0
1542.17/1542.64	c 1542s |      22 |  7178005 |  1870022 |    17888    263 |        0 |        0
1544.47/1544.93	c 1544s |      22 |  7181042 |  1871622 |    17888    263 |        0 |        0
1546.47/1546.98	c 1546s |      22 |  7202096 |  1873522 |    17888    263 |        0 |        0
1548.57/1549.01	c 1548s |      22 |  7211527 |  1876322 |    17888    263 |        0 |        0
1550.77/1551.23	c 1551s |      22 |  7220925 |  1878922 |    17888    264 |        0 |        0
1552.78/1553.25	c 1553s |      22 |  7238900 |  1881822 |    17888    264 |        0 |        0
1554.87/1555.30	c 1555s |      22 |  7255004 |  1884722 |    17888    264 |        0 |        0
1556.87/1557.36	c 1557s |      22 |  7259981 |  1887222 |    17888    264 |        0 |        0
1558.98/1559.41	c 1559s |      22 |  7288164 |  1889922 |    17888    265 |        0 |        0
1560.98/1561.45	c 1561s |      22 |  7297330 |  1892422 |    17888    265 |        0 |        0
1563.08/1563.54	c 1563s |      22 |  7302806 |  1894822 |    17888    265 |        0 |        0
1565.18/1565.62	c 1565s |      22 |  7306571 |  1897022 |    17888    265 |        0 |        0
1567.18/1567.65	c 1567s |      22 |  7313903 |  1899222 |    17888    266 |        0 |        0
1569.47/1569.94	c 1569s |      22 |  7316213 |  1900722 |    17888    266 |        0 |        0
1571.48/1571.94	c 1571s |      22 |  7325436 |  1903322 |    17888    266 |        0 |        0
1573.47/1573.95	c 1573s |      22 |  7336490 |  1905922 |    17888    266 |        0 |        0
1575.47/1575.96	c 1575s |      22 |  7341900 |  1908222 |    17888    267 |        0 |        0
1577.67/1578.11	c 1578s |      22 |  7343907 |  1909522 |    17888    267 |        0 |        0
1579.67/1580.19	c 1580s |      22 |  7353349 |  1912022 |    17888    267 |        0 |        0
1581.77/1582.29	c 1582s |      22 |  7364451 |  1914222 |    17888    267 |        0 |        0
1583.87/1584.33	c 1584s |      22 |  7367527 |  1916022 |    17888    268 |        0 |        0
1585.97/1586.44	c 1586s |      22 |  7375003 |  1918222 |    17888    268 |        0 |        0
1587.97/1588.45	c 1588s |      22 |  7381669 |  1920422 |    17888    268 |        0 |        0
1590.07/1590.52	c 1590s |      22 |  7389853 |  1922622 |    17888    268 |        0 |        0
1592.07/1592.60	c 1592s |      22 |  7398348 |  1924722 |    17888    269 |        0 |        0
1594.17/1594.66	c 1594s |      22 |  7402234 |  1926922 |    17888    269 |        0 |        0
1596.27/1596.74	c 1596s |      22 |  7404859 |  1928922 |    17888    269 |        0 |        0
1598.27/1598.79	c 1598s |      22 |  7408876 |  1931122 |    17888    269 |        0 |        0
1600.26/1600.79	c 1600s |      22 |  7412387 |  1932922 |    17888    269 |        0 |        0
1602.37/1602.84	c 1602s |      22 |  7418692 |  1934322 |    17888    270 |        0 |        0
1604.36/1604.85	c 1604s |      22 |  7427112 |  1935922 |    17888    270 |        0 |        0
1606.36/1606.88	c 1606s |      22 |  7440174 |  1938722 |    17888    270 |        0 |        0
1608.46/1608.96	c 1608s |      22 |  7446907 |  1941022 |    17888    270 |        0 |        0
1610.56/1611.01	c 1610s |      22 |  7449823 |  1943022 |    17888    271 |        0 |        0
1612.56/1613.01	c 1612s |      22 |  7453914 |  1945222 |    17888    271 |        0 |        0
1614.56/1615.09	c 1614s |      22 |  7456989 |  1947322 |    17888    271 |        0 |        0
1617.47/1617.92	c 1617s |      22 |  7460610 |  1949122 |    17888    271 |        0 |        0
1619.57/1620.00	c 1619s |      22 |  7467661 |  1951522 |    17888    271 |        0 |        0
1621.57/1622.01	c 1621s |      22 |  7472452 |  1953522 |    17888    272 |        0 |        0
1623.57/1624.02	c 1623s |      22 |  7479634 |  1956122 |    17888    272 |        0 |        0
1625.57/1626.07	c 1625s |      22 |  7485719 |  1958622 |    17888    272 |        0 |        0
1627.67/1628.11	c 1628s |      22 |  7488760 |  1960722 |    17888    273 |        0 |        0
1629.66/1630.16	c 1630s |      22 |  7491489 |  1962922 |    17888    273 |        0 |        0
1631.76/1632.22	c 1632s |      22 |  7494356 |  1965122 |    17888    273 |        0 |        0
1633.76/1634.25	c 1634s |      22 |  7497789 |  1967322 |    17888    273 |        0 |        0
1635.86/1636.31	c 1636s |      22 |  7505603 |  1969522 |    17888    273 |        0 |        0
1637.86/1638.39	c 1638s |      22 |  7509280 |  1971422 |    17888    274 |        0 |        0
1639.96/1640.45	c 1640s |      22 |  7512518 |  1973722 |    17888    274 |        0 |        0
1642.06/1642.53	c 1642s |      22 |  7521216 |  1976122 |    17888    274 |        0 |        0
1644.07/1644.54	c 1644s |      22 |  7527231 |  1978422 |    17888    274 |        0 |        0
1650.36/1650.86	c 1650s |      22 |  7530212 |  1980122 |    17888    275 |        0 |        0
1652.36/1652.90	c 1652s |      22 |  7551534 |  1983122 |    17888    275 |        0 |        0
1654.46/1654.90	c 1654s |      22 |  7562297 |  1985722 |    17888    275 |        0 |        0
1656.46/1656.94	c 1656s |      22 |  7582734 |  1988422 |    17888    276 |        0 |        0
1658.56/1659.00	c 1658s |      22 |  7596207 |  1991522 |    17888    276 |        0 |        0
1660.56/1661.06	c 1660s |      22 |  7602339 |  1993922 |    17888    276 |        0 |        0
1662.66/1663.14	c 1663s |      22 |  7614910 |  1996822 |    17888    276 |        0 |        0
1664.66/1665.19	c 1665s |      22 |  7626078 |  1999322 |    17888    277 |        0 |        0
1666.75/1667.26	c 1667s |      22 |  7633892 |  2001922 |    17888    277 |        0 |        0
1668.85/1669.37	c 1669s |      22 |  7641531 |  2004422 |    17888    277 |        0 |        0
1670.95/1671.44	c 1671s |      22 |  7646609 |  2006522 |    17888    278 |        0 |        0
1673.55/1674.08	c 1673s |      22 |  7652662 |  2008422 |    17888    278 |        0 |        0
1675.65/1676.11	c 1676s |      22 |  7667732 |  2011422 |    17888    278 |        0 |        0
1677.65/1678.15	c 1678s |      22 |  7677399 |  2014122 |    17888    278 |        0 |        0
1679.75/1680.21	c 1680s |      22 |  7684231 |  2016522 |    17888    279 |        0 |        0
1681.75/1682.28	c 1682s |      22 |  7696805 |  2019122 |    17888    279 |        0 |        0
1683.76/1684.29	c 1684s |      22 |  7705238 |  2021522 |    17888    279 |        0 |        0
1685.86/1686.32	c 1686s |      22 |  7710712 |  2023622 |    17888    279 |        0 |        0
1687.85/1688.39	c 1688s |      22 |  7718656 |  2026122 |    17888    280 |        0 |        0
1689.95/1690.46	c 1690s |      22 |  7722450 |  2028422 |    17888    280 |        0 |        0
1691.95/1692.49	c 1692s |      22 |  7725644 |  2030422 |    17888    280 |        0 |        0
1694.25/1694.72	c 1694s |      22 |  7727667 |  2031622 |    17888    280 |        0 |        0
1696.26/1696.74	c 1696s |      22 |  7734832 |  2033622 |    17888    281 |        0 |        0
1698.26/1698.79	c 1698s |      22 |  7741684 |  2036022 |    17888    281 |        0 |        0
1700.36/1700.86	c 1700s |      22 |  7744834 |  2038022 |    17888    281 |        0 |        0
1702.36/1702.88	c 1702s |      22 |  7749428 |  2040222 |    17888    281 |        0 |        0
1704.45/1704.95	c 1704s |      22 |  7756733 |  2042422 |    17888    282 |        0 |        0
1706.45/1706.98	c 1706s |      22 |  7762070 |  2044722 |    17888    282 |        0 |        0
1708.55/1709.09	c 1708s |      22 |  7765785 |  2047022 |    17888    282 |        0 |        0
1710.65/1711.14	c 1711s |      22 |  7768505 |  2049022 |    17888    282 |        0 |        0
1712.75/1713.20	c 1713s |      22 |  7771732 |  2051122 |    17888    282 |        0 |        0
1716.66/1717.16	c 1717s |      22 |  7773202 |  2052322 |    17888    283 |        0 |        0
1719.25/1719.71	c 1719s |      22 |  7776293 |  2053722 |    17888    283 |        0 |        0
1721.24/1721.78	c 1721s |      22 |  7786595 |  2056622 |    17888    283 |        0 |        0
1723.35/1723.84	c 1723s |      22 |  7803864 |  2059422 |    17888    283 |        0 |        0
1725.45/1725.92	c 1725s |      22 |  7812808 |  2061622 |    17888    284 |        0 |        0
1727.44/1727.92	c 1727s |      22 |  7818191 |  2064122 |    17888    284 |        0 |        0
1729.44/1729.99	c 1729s |      22 |  7823094 |  2066722 |    17888    284 |        0 |        0
1731.54/1732.06	c 1731s |      22 |  7829635 |  2068922 |    17888    284 |        0 |        0
1733.64/1734.12	c 1734s |      22 |  7839143 |  2071122 |    17888    285 |        0 |        0
1735.64/1736.16	c 1736s |      22 |  7845540 |  2073422 |    17888    285 |        0 |        0
1737.74/1738.21	c 1738s |      22 |  7849515 |  2075622 |    17888    285 |        0 |        0
1739.75/1740.25	c 1740s |      22 |  7852460 |  2077622 |    17888    285 |        0 |        0
1741.74/1742.25	c 1742s |      22 |  7856044 |  2079422 |    17888    286 |        0 |        0
1744.05/1744.60	c 1744s |      22 |  7857820 |  2080522 |    17888    286 |        0 |        0
1746.15/1746.66	c 1746s |      22 |  7867684 |  2083322 |    17888    286 |        0 |        0
1748.25/1748.72	c 1748s |      22 |  7872127 |  2085822 |    17888    286 |        0 |        0
1750.25/1750.76	c 1750s |      22 |  7874747 |  2087922 |    17888    287 |        0 |        0
1752.35/1752.81	c 1752s |      22 |  7878443 |  2090322 |    17888    287 |        0 |        0
1754.35/1754.86	c 1754s |      22 |  7882536 |  2092722 |    17888    287 |        0 |        0
1756.35/1756.89	c 1756s |      22 |  7884962 |  2094922 |    17888    287 |        0 |        0
1758.64/1759.16	c 1759s |      22 |  7887467 |  2097022 |    17888    288 |        0 |        0
1760.65/1761.19	c 1761s |      22 |  7889164 |  2098522 |    17888    288 |        0 |        0
1762.74/1763.30	c 1763s |      22 |  7895984 |  2100922 |    17888    288 |        0 |        0
1764.84/1765.36	c 1765s |      22 |  7902566 |  2103222 |    17888    288 |        0 |        0
1766.94/1767.45	c 1767s |      22 |  7907472 |  2105322 |    17888    288 |        0 |        0
1769.04/1769.50	c 1769s |      22 |  7912082 |  2107222 |    17888    289 |        0 |        0
1771.04/1771.52	c 1771s |      22 |  7917921 |  2109422 |    17888    289 |        0 |        0
1773.04/1773.58	c 1773s |      22 |  7922563 |  2111722 |    17888    289 |        0 |        0
1775.14/1775.66	c 1775s |      22 |  7927749 |  2114222 |    17888    289 |        0 |        0
1777.15/1777.69	c 1777s |      22 |  7936302 |  2116522 |    17888    290 |        0 |        0
1779.24/1779.77	c 1779s |      22 |  7942210 |  2118222 |    17888    290 |        0 |        0
1781.34/1781.82	c 1781s |      22 |  7948714 |  2120622 |    17888    290 |        0 |        0
1783.34/1783.82	c 1783s |      22 |  7956452 |  2122822 |    17888    290 |        0 |        0
1785.34/1785.83	c 1785s |      22 |  7961932 |  2124522 |    17888    291 |        0 |        0
1787.34/1787.87	c 1787s |      22 |  7967077 |  2125922 |    17888    291 |        0 |        0
1789.43/1789.92	c 1789s |      22 |  7970075 |  2126422 |    17888    291 |        0 |        0
1791.44/1791.95	c 1791s |      22 |  7978421 |  2128822 |    17888    291 |        0 |        0
1793.43/1793.97	c 1793s |      22 |  7987353 |  2131522 |    17888    291 |        0 |        0
1795.53/1796.03	c 1795s |      22 |  7994637 |  2133422 |    17888    292 |        0 |        0
1797.53/1798.05	c 1797s |      22 |  8006228 |  2135722 |    17888    292 |        0 |        0
1799.53/1800.06	c 1799s |      22 |  8016452 |  2138322 |    17888    292 |        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-4106976-1466280390/watcher-4106976-1466280390 -o /tmp/evaluation-result-4106976-1466280390/solver-4106976-1466280390 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24753 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106976-1466280390.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.28 2.22 4/179 25503
/proc/meminfo: memFree=29984072/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=740932 CPUtime=0 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 2769 0 0 0 0 0 0 0 20 0 4 0 30085455 758714368 2620 33554432000 4194304 16246674 140735365411184 140735365410608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 186001 2629 442 2943 0 182895 0
[pid=25503/tid=25504] ppid=25500 vsize=758340 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 776540160 2689 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=763460 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 781783040 2706 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=767556 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30085455 785977344 2724 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.25 2.28 2.22 4/179 25503
/proc/meminfo: memFree=29984072/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1222212 CPUtime=0.09 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 21752 0 0 0 6 3 0 0 20 0 4 0 30085455 1251545088 21549 33554432000 4194304 16246674 140735365411184 140735365410496 6197416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 305553 21549 838 2943 0 302447 0
[pid=25503/tid=25504] ppid=25500 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1251545088 21549 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1251545088 21549 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1251545088 21549 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1222212

[startup+0.200469 s]
/proc/loadavg: 2.25 2.28 2.22 4/179 25503
/proc/meminfo: memFree=29984072/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1222212 CPUtime=0.18 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 40468 0 0 0 13 5 0 0 20 0 4 0 30085455 1251545088 40266 33554432000 4194304 16246674 140735365411184 140735365393088 5667979 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 305553 40269 876 2943 0 302447 0
[pid=25503/tid=25504] ppid=25500 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1251545088 40276 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1251545088 40283 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1251545088 40289 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1222212

[startup+0.300422 s]
/proc/loadavg: 2.25 2.28 2.22 4/179 25503
/proc/meminfo: memFree=29984072/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1222212 CPUtime=0.28 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 66144 0 0 0 20 8 0 0 20 0 4 0 30085455 1251545088 65942 33554432000 4194304 16246674 140735365411184 140735365393088 12479207 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 305553 65958 876 2943 0 302447 0
[pid=25503/tid=25504] ppid=25500 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1251545088 65969 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1251545088 65980 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1251545088 65991 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1222212

[startup+0.700343 s]
/proc/loadavg: 2.25 2.28 2.22 4/179 25503
/proc/meminfo: memFree=29984072/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1222212 CPUtime=0.69 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 173163 0 0 0 46 23 0 0 20 0 4 0 30085455 1251545088 172961 33554432000 4194304 16246674 140735365411184 140735365393088 12478333 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 305553 172977 876 2943 0 302447 0
[pid=25503/tid=25504] ppid=25500 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1251545088 172988 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1251545088 172998 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1251545088 173007 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1222212

[startup+1.50035 s]
/proc/loadavg: 2.31 2.29 2.22 4/175 25543
/proc/meminfo: memFree=29185748/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 266289 0 0 0 113 36 0 0 20 0 4 0 30085455 1332285440 266086 33554432000 4194304 16246674 140735365411184 140735365393088 13907079 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 325265 266086 879 2943 0 322159 0
[pid=25503/tid=25504] ppid=25500 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1332285440 266086 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1332285440 266086 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1332285440 266086 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10035 s]
/proc/loadavg: 2.31 2.29 2.22 4/183 25556
/proc/meminfo: memFree=28182276/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 267974 0 0 0 273 36 0 0 20 0 4 0 30085455 1338576896 267771 33554432000 4194304 16246674 140735365411184 140735365393088 6020469 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 326801 267771 889 2943 0 323695 0
[pid=25503/tid=25504] ppid=25500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1338576896 267771 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1338576896 267771 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1338576896 267771 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.3004 s]
/proc/loadavg: 2.31 2.29 2.22 3/183 25556
/proc/meminfo: memFree=28090648/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 269255 0 0 0 593 36 0 0 20 0 4 0 30085455 1343819776 269052 33554432000 4194304 16246674 140735365411184 140735365393088 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 328081 269052 890 2943 0 324975 0
[pid=25503/tid=25504] ppid=25500 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1343819776 269052 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1343819776 269052 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1343819776 269052 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.26 2.28 2.22 4/183 25556
/proc/meminfo: memFree=28081520/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1312324 CPUtime=12.68 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 269255 0 0 0 1232 36 0 0 20 0 4 0 30085455 1343819776 269052 33554432000 4194304 16246674 140735365411184 140735365393088 5823194 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 328081 269052 890 2943 0 324975 0
[pid=25503/tid=25504] ppid=25500 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1343819776 269052 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1343819776 269052 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1343819776 269052 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.22 2.27 2.22 3/183 25556
/proc/meminfo: memFree=28071392/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1323588 CPUtime=25.49 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 272071 0 0 0 2512 37 0 0 20 0 4 0 30085455 1355354112 271868 33554432000 4194304 16246674 140735365411184 140735365393088 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 330897 271868 890 2943 0 327791 0
[pid=25503/tid=25504] ppid=25500 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1355354112 271868 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1355354112 271868 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1355354112 271868 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1323588

[startup+51.1005 s]
/proc/loadavg: 2.30 2.28 2.22 3/183 25556
/proc/meminfo: memFree=28070680/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1323588 CPUtime=51.08 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 272082 0 0 0 5071 37 0 0 20 0 4 0 30085455 1355354112 271868 33554432000 4194304 16246674 140735365411184 140735365410360 5722908 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 330897 271868 890 2943 0 327791 0
[pid=25503/tid=25504] ppid=25500 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1355354112 271868 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1355354112 271868 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1355354112 271868 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1323588

[startup+102.3 s]
/proc/loadavg: 2.32 2.28 2.22 3/183 25557
/proc/meminfo: memFree=28064304/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1325636 CPUtime=102.26 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 272622 0 0 0 10188 38 0 0 20 0 4 0 30085455 1357451264 272380 33554432000 4194304 16246674 140735365411184 140735365394184 5532227 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 331409 272380 890 2943 0 328303 0
[pid=25503/tid=25504] ppid=25500 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1357451264 272380 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1357451264 272380 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1357451264 272380 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1325636


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

/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1358404

[startup+1362.3 s]
/proc/loadavg: 2.50 2.30 2.21 3/183 25588
/proc/meminfo: memFree=28004200/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1358404 CPUtime=1361.91 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 281142 0 0 0 136133 58 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140735365394184 6012131 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 339601 280574 892 2943 0 336495 0
[pid=25503/tid=25504] ppid=25500 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1358404

[startup+1422.3 s]
/proc/loadavg: 2.37 2.29 2.21 4/184 25593
/proc/meminfo: memFree=28004724/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1358404 CPUtime=1421.9 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 281142 0 0 0 142131 59 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140735365393088 8224703 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 339601 280574 892 2943 0 336495 0
[pid=25503/tid=25504] ppid=25500 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1358404

[startup+1482.3 s]
/proc/loadavg: 2.33 2.30 2.21 3/183 25594
/proc/meminfo: memFree=28005420/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1358404 CPUtime=1481.88 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 281142 0 0 0 148129 59 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140735365393088 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 339601 280574 892 2943 0 336495 0
[pid=25503/tid=25504] ppid=25500 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1358404 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1391005696 280574 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1358404

[startup+1542.31 s]
/proc/loadavg: 2.23 2.27 2.21 3/183 25595
/proc/meminfo: memFree=27999104/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1364548 CPUtime=1541.88 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 282678 0 0 0 154128 60 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140735365393088 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 341137 282110 892 2943 0 338031 0
[pid=25503/tid=25504] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1364548

[startup+1602.3 s]
/proc/loadavg: 2.17 2.25 2.20 3/183 25596
/proc/meminfo: memFree=27999228/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1364548 CPUtime=1601.86 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 282678 0 0 0 160125 61 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140735365410280 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 341137 282110 892 2943 0 338031 0
[pid=25503/tid=25504] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1364548

[startup+1662.3 s]
/proc/loadavg: 2.11 2.21 2.19 3/183 25597
/proc/meminfo: memFree=27999960/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1364548 CPUtime=1661.86 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 282678 0 0 0 166124 62 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140735365393088 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 341137 282110 892 2943 0 338031 0
[pid=25503/tid=25504] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1364548

[startup+1722.3 s]
/proc/loadavg: 2.29 2.25 2.20 4/183 25599
/proc/meminfo: memFree=28000092/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1364548 CPUtime=1721.84 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 282678 0 0 0 172121 63 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140735365393088 5546616 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 341137 282110 892 2943 0 338031 0
[pid=25503/tid=25504] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1364548

[startup+1782.3 s]
/proc/loadavg: 2.17 2.22 2.19 3/183 25600
/proc/meminfo: memFree=27999220/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1364548 CPUtime=1781.84 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 282678 0 0 0 178120 64 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140735365394184 5717462 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 341137 282110 892 2943 0 338031 0
[pid=25503/tid=25504] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1364548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.13 2.20 2.18 3/183 25600
/proc/meminfo: memFree=27999592/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1364548 CPUtime=1800.03 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 282678 0 0 0 179939 64 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140735365393088 12875413 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 341137 282110 892 2943 0 338031 0
[pid=25503/tid=25504] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1364548

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

[startup+1800.5 s]
/proc/loadavg: 2.13 2.20 2.18 3/183 25600
/proc/meminfo: memFree=27999592/32872528 swapFree=1370848/1518016
[pid=25503] ppid=25500 vsize=1364548 CPUtime=1800.03 cores=0,2,4,6
/proc/25503/stat : 25503 (toysat) R 25500 25503 24737 0 -1 4202496 282678 0 0 0 179939 64 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140735365393088 12875413 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25503/statm: 341137 282110 892 2943 0 338031 0
[pid=25503/tid=25504] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25504/stat : 25504 (toysat) S 25500 25503 24737 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535231655152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=25503/tid=25505] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25505/stat : 25505 (toysat) S 25500 25503 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535221165296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=25503/tid=25506] ppid=25500 vsize=1364548 CPUtime=0 cores=0,2,4,6
/proc/25503/task/25506/stat : 25506 (toysat) S 25500 25503 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30085455 1397297152 282110 33554432000 4194304 16246674 140735365411184 140535210691760 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1364548

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.4
CPU system time (s): 0.648901
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (KiB): 1364548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.648901
maximum resident set size= 1128440
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282678
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= 381
involuntary context switches= 1902

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55031 second user time and 6.95694 second system time

The end

Begin job on node129 at 2016-06-18 22:06:30
IDJOB=4106976
IDBENCH=48348
IDSOLVER=2542
FILE ID=node129/4106976-1466280390
RUNJOBID= node129-1466274985-24753
PBS_JOBID= 19918243
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 0df66f3e832b73f1cdf8165c8cc1c11b
RANDOM SEED=1797156103

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29983972 kB
Buffers:          162204 kB
Cached:           214908 kB
SwapCached:         1940 kB
Active:           383420 kB
Inactive:         245608 kB
Active(anon):     253360 kB
Inactive(anon):     1076 kB
Active(file):     130060 kB
Inactive(file):   244532 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             33556 kB
Writeback:             0 kB
AnonPages:       1763640 kB
Mapped:            10280 kB
Shmem:                 0 kB
Slab:             605096 kB
SReclaimable:      48216 kB
SUnreclaim:       556880 kB
KernelStack:        1416 kB
PageTables:         8968 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2741596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-18 22:36:30