0.00/0.00	c 2016-06-17T00:57:49+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-4097513-1466117869.opb"]
0.00/0.01	c use --random-gen="3536946372 3382448274 4189346660 63999524 1227913962 1051754055 3724153679 3700935585 3102681723 684157434 2039886118 3624427217 3613200868 852573687 421854278 2472473957 1188498384 393566100 4152603253 1179634407 1691101510 3004516709 166826149 107976066 515096010 4274719548 3795384617 1650858508 285651138 3450690960 3664469749 1486361751 3027812445 1870337879 3709813958 2645886151 2969742404 315727731 3822626842 2944459433 120667328 3820963218 4097838332 566431659 29757986 283068832 2888698460 1525327083 2846982568 1979854744 3998443967 97117495 3180788188 2807458244 2242382547 1841872173 3443902655 785847987 3380950930 164329005 21478167 714351843 1923913783 3423373918 3282758807 607784795 4205687885 3726069434 1708509501 1801591011 3968449854 84608294 3173728555 3773710009 4156060961 26062867 4113614696 3699354174 3483930214 3710707820 389082552 3525503465 3072894959 3419419064 2463541715 1951795098 1037371109 578672934 4252760414 2461267765 1783394493 752187136 171576987 3452962243 4285683995 2704492449 1914091248 943674849 3854596020 2448073475 3136743659 3164368919 2033886050 899789829 3163381304 2893781826 1109769075 987401341 2637646679 1458271008 3389639407 1222659860 1912148119 2366742557 50475427 3480374425 3086084435 1913597700 1619431793 3508237943 1365234865 2967575800 1192667445 670039842 939149600 3414802977 279421365 1051694117 2248537524 3882518773 2297541369 3758584408 2703908424 4081520208 3098002049 3168616922 142733802 1460930111 3183540021 1950077582 3689514141 2486914559 3481481368 3285662004 1078186218 1028329728 1628231782 2749788380 2333968992 2359967199 4171989329 996078571 2797336436 1730825186 828631872 4175275215 1207055011 61236874 1886257150 304346149 1590644161 4195161876 3665476605 4229783401 509531759 1026344711 2710343198 398880649 3724745830 3190855631 3242171363 2625761928 1894208510 75359244 3002686230 1161990014 1270642037 2573463840 1997729952 688477693 1825353767 3121462985 705283005 1401013943 3466508884 2920407096 809994969 3869944447 3796313663 1363441380 1167433686 4119613589 1400922124 3232125544 1270820626 3490219071 4048308561 921749173 513988567 3238261454 490338104 3358427943 3572087323 2442735300 2569937589 31031811 1836867319 4210966437 3809293409 3978833729 800845986 1574193456 3625790288 1625266946 1806107379 4047509680 3214816193 1116320474 4109299594 2670451908 3806854225 3110577165 2770345196 1937097616 633938367 158440665 922286934 3159075075 3833892832 3944493307 257098055 3746147151 3686564202 1046050429 253365339 2863881346 3497784825 3019719939 67135487 1267662920 69641801 516499372 1522161141 1080627541 508664667 893708793 507972283 406735507 4076807562 1968584742 2258387821 730092119 3927508701 1981350312 1864822694 851618708 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1260
0.00/0.06	c #constraints 5990
0.09/0.13	c Solving starts ...
0.09/0.13	c ============================[ Search Statistics ]============================
0.09/0.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.13	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.13	c =============================================================================
0.09/0.13	c  0.0s |       0 |        0 |        0 |     2415      0 |        5 |        0
0.09/0.17	c  0.0s |       1 |      125 |      100 |     2415      0 |        5 |      278
0.19/0.23	c  0.1s |       2 |      314 |      250 |     2657      0 |        5 |      278
0.29/0.33	c  0.2s |       3 |      597 |      475 |     2923      0 |        5 |      278
0.39/0.50	c  0.4s |       4 |     1016 |      813 |     3216      0 |        5 |      278
0.69/0.75	c  0.6s |       5 |     1624 |     1320 |     3538      0 |        5 |      278
1.09/1.18	c  1.1s |       6 |     2517 |     2081 |     4282      0 |        5 |      278
1.68/1.77	c  1.6s |       7 |     3889 |     3223 |     4711      0 |        5 |      278
2.49/2.50	c  2.4s |       8 |     6180 |     4936 |     5183      1 |        5 |      278
3.49/3.59	c  3.5s |       9 |     9418 |     7506 |     5702      1 |        5 |      278
5.29/5.38	c  5.2s |      10 |    14219 |    11361 |     6273      2 |        5 |      278
7.38/7.40	c  7.3s |      10 |    19901 |    16061 |     6273      4 |        5 |      278
7.79/7.83	c  7.7s |      11 |    21150 |    17144 |     6901      4 |        5 |      278
9.78/9.84	c  9.7s |      11 |    26412 |    21444 |     6901      5 |        5 |      278
11.68/11.72	c 11.6s |      12 |    31547 |    25819 |     7592      6 |        5 |      278
13.68/13.74	c 13.6s |      12 |    35879 |    29519 |     7592      7 |        5 |      278
15.68/15.78	c 15.6s |      12 |    41049 |    33819 |     7592      8 |        5 |      278
17.77/17.82	c 17.7s |      12 |    45986 |    38119 |     7592      9 |        5 |      278
18.07/18.16	c 18.0s |      13 |    46800 |    38832 |     8352     10 |        5 |      278
20.08/20.16	c 20.0s |      13 |    51538 |    42732 |     8352     10 |        5 |      278
22.18/22.21	c 22.1s |      13 |    56362 |    46832 |     8352     11 |        5 |      278
24.18/24.23	c 24.1s |      13 |    60855 |    50632 |     8352     12 |        5 |      278
26.18/26.27	c 26.1s |      13 |    66057 |    55032 |     8352     13 |        5 |      278
27.97/28.04	c 27.9s |      14 |    69920 |    58352 |     9188     14 |        5 |      278
29.97/30.09	c 30.0s |      14 |    74217 |    61852 |     9188     15 |        5 |      278
32.07/32.11	c 32.0s |      14 |    78683 |    65652 |     9188     15 |        5 |      278
34.08/34.11	c 34.0s |      14 |    83112 |    69452 |     9188     16 |        5 |      278
36.07/36.16	c 36.0s |      14 |    87228 |    72852 |     9188     17 |        5 |      278
38.07/38.19	c 38.1s |      14 |    91838 |    76752 |     9188     18 |        5 |      278
40.06/40.19	c 40.1s |      14 |    96056 |    80352 |     9188     19 |        5 |      278
42.16/42.23	c 42.1s |      14 |   100655 |    84352 |     9188     20 |        5 |      278
43.76/43.89	c 43.8s |      15 |   104379 |    87632 |    10107     20 |        5 |      278
45.86/45.95	c 45.8s |      15 |   107977 |    90632 |    10107     21 |        5 |      278
47.86/47.96	c 47.8s |      15 |   112600 |    94632 |    10107     21 |        5 |      278
49.86/49.97	c 49.8s |      15 |   116970 |    98432 |    10107     22 |        5 |      278
51.86/51.99	c 51.9s |      15 |   121351 |   102232 |    10107     23 |        5 |      278
53.97/54.02	c 53.9s |      15 |   125151 |   105632 |    10107     24 |        5 |      278
55.96/56.02	c 55.9s |      15 |   129597 |   109432 |    10107     24 |        5 |      278
57.96/58.05	c 57.9s |      15 |   133439 |   112632 |    10107     25 |        5 |      278
59.97/60.06	c 59.9s |      15 |   137801 |   116332 |    10107     26 |        5 |      278
61.97/62.06	c 61.9s |      15 |   142025 |   119932 |    10107     26 |        5 |      278
63.97/64.07	c 63.9s |      15 |   146069 |   123432 |    10107     27 |        5 |      278
66.07/66.11	c 66.0s |      15 |   150098 |   127032 |    10107     28 |        5 |      278
68.06/68.13	c 68.0s |      15 |   153988 |   130432 |    10107     28 |        5 |      278
68.76/68.89	c 68.8s |      16 |   155243 |   131552 |    11118     28 |        5 |      278
70.86/70.94	c 70.8s |      16 |   158231 |   134052 |    11118     29 |        5 |      278
72.86/72.99	c 72.9s |      16 |   162225 |   137452 |    11118     29 |        5 |      278
74.96/75.01	c 74.9s |      16 |   166463 |   141052 |    11118     30 |        5 |      278
76.97/77.03	c 76.9s |      16 |   170443 |   144452 |    11118     31 |        5 |      278
78.96/79.06	c 78.9s |      16 |   174597 |   148152 |    11118     31 |        5 |      278
81.06/81.10	c 81.0s |      16 |   176935 |   150252 |    11118     32 |        5 |      278
83.06/83.14	c 83.0s |      16 |   181153 |   153952 |    11118     32 |        5 |      278
85.06/85.18	c 85.1s |      16 |   185686 |   157352 |    11118     33 |        5 |      278
87.15/87.28	c 87.1s |      16 |   189514 |   160552 |    11118     34 |        5 |      278
89.25/89.30	c 89.2s |      16 |   193919 |   164252 |    11118     34 |        5 |      278
91.26/91.32	c 91.2s |      16 |   198322 |   168052 |    11118     35 |        5 |      278
93.25/93.32	c 93.2s |      16 |   202470 |   171652 |    11118     35 |        5 |      278
95.25/95.33	c 95.2s |      16 |   206707 |   175352 |    11118     36 |        5 |      278
98.05/98.16	c 98.0s |      16 |   210752 |   178952 |    11118     37 |        5 |      278
100.05/100.20	c  100s |      16 |   215143 |   182752 |    11118     37 |        5 |      278
102.15/102.20	c  102s |      16 |   219003 |   186152 |    11118     38 |        5 |      278
104.14/104.21	c  104s |      16 |   222351 |   189052 |    11118     39 |        5 |      278
106.14/106.23	c  106s |      16 |   226398 |   192652 |    11118     39 |        5 |      278
108.14/108.24	c  108s |      16 |   229824 |   195752 |    11118     40 |        5 |      278
109.24/109.30	c  109s |      17 |   231669 |   197432 |    12230     40 |        5 |      278
111.24/111.35	c  111s |      17 |   234387 |   199632 |    12230     40 |        5 |      278
113.24/113.36	c  113s |      17 |   238831 |   203332 |    12230     41 |        5 |      278
115.34/115.42	c  115s |      17 |   242567 |   206432 |    12230     41 |        5 |      278
117.33/117.42	c  117s |      17 |   246316 |   209732 |    12230     42 |        5 |      278
119.34/119.42	c  119s |      17 |   250189 |   213032 |    12230     42 |        5 |      278
121.34/121.44	c  121s |      17 |   254061 |   216432 |    12230     43 |        5 |      278
123.34/123.47	c  123s |      17 |   257839 |   219832 |    12230     43 |        5 |      278
125.35/125.49	c  125s |      17 |   260642 |   222232 |    12230     44 |        5 |      278
127.44/127.54	c  127s |      17 |   264437 |   225532 |    12230     44 |        5 |      278
129.44/129.57	c  129s |      17 |   268274 |   228932 |    12230     45 |        5 |      278
131.44/131.59	c  131s |      17 |   271787 |   231932 |    12230     45 |        5 |      278
133.53/133.60	c  133s |      17 |   275677 |   235332 |    12230     46 |        5 |      278
135.53/135.67	c  135s |      17 |   279246 |   238532 |    12230     47 |        5 |      278
137.63/137.72	c  137s |      17 |   282723 |   241632 |    12230     47 |        5 |      278
139.74/139.84	c  139s |      17 |   286180 |   244732 |    12230     48 |        5 |      278
141.84/141.98	c  141s |      17 |   288956 |   247232 |    12230     48 |        5 |      278
143.93/144.03	c  143s |      17 |   292824 |   250532 |    12230     48 |        5 |      278
145.93/146.08	c  145s |      17 |   296587 |   253832 |    12230     49 |        5 |      278
147.93/148.08	c  147s |      17 |   300059 |   256932 |    12230     49 |        5 |      278
149.93/150.10	c  149s |      17 |   303486 |   259932 |    12230     50 |        5 |      278
152.03/152.11	c  151s |      17 |   307164 |   263132 |    12230     50 |        5 |      278
154.03/154.15	c  154s |      17 |   310269 |   265932 |    12230     51 |        5 |      278
156.02/156.19	c  156s |      17 |   314103 |   269232 |    12230     51 |        5 |      278
158.12/158.22	c  158s |      17 |   317717 |   272432 |    12230     52 |        5 |      278
160.12/160.24	c  160s |      17 |   320981 |   275332 |    12230     52 |        5 |      278
162.22/162.33	c  162s |      17 |   324298 |   278332 |    12230     53 |        5 |      278
164.22/164.37	c  164s |      17 |   327444 |   281232 |    12230     53 |        5 |      278
166.32/166.42	c  166s |      17 |   330603 |   284132 |    12230     54 |        5 |      278
168.32/168.46	c  168s |      17 |   333097 |   286232 |    12230     54 |        5 |      278
170.32/170.47	c  170s |      17 |   336459 |   289232 |    12230     55 |        5 |      278
172.31/172.49	c  172s |      17 |   340001 |   292432 |    12230     55 |        5 |      278
174.41/174.52	c  174s |      17 |   343535 |   295332 |    13454     55 |        5 |      278
175.11/175.22	c  175s |      18 |   344665 |   296252 |    13454     56 |        5 |      278
177.12/177.24	c  177s |      18 |   347353 |   298652 |    13454     56 |        5 |      278
179.22/179.30	c  179s |      18 |   350262 |   301252 |    13454     56 |        5 |      278
181.21/181.32	c  181s |      18 |   352872 |   303552 |    13454     57 |        5 |      278
183.21/183.33	c  183s |      18 |   355627 |   305952 |    13454     57 |        5 |      278
185.21/185.34	c  185s |      18 |   358057 |   308052 |    13454     57 |        5 |      278
187.21/187.37	c  187s |      18 |   360430 |   310052 |    13454     58 |        5 |      278
189.31/189.45	c  189s |      18 |   363030 |   312252 |    13454     58 |        5 |      278
191.31/191.47	c  191s |      18 |   365760 |   314552 |    13454     58 |        5 |      278
193.40/193.52	c  193s |      18 |   368183 |   316652 |    13454     59 |        5 |      278
195.50/195.61	c  195s |      18 |   371200 |   319252 |    13454     59 |        5 |      278
197.50/197.69	c  197s |      18 |   373705 |   321452 |    13454     59 |        5 |      278
199.60/199.75	c  199s |      18 |   375878 |   323352 |    13454     60 |        5 |      278
201.80/201.96	c  201s |      18 |   378883 |   325952 |    13454     60 |        5 |      278
203.80/203.96	c  203s |      18 |   381813 |   328452 |    13454     60 |        5 |      278
205.81/205.97	c  205s |      18 |   384255 |   330552 |    13454     61 |        5 |      278
207.91/208.01	c  207s |      18 |   386983 |   332852 |    13454     61 |        5 |      278
209.91/210.07	c  209s |      18 |   389620 |   335052 |    13454     61 |        5 |      278
212.01/212.10	c  211s |      18 |   391705 |   336852 |    13454     62 |        5 |      278
214.01/214.11	c  213s |      18 |   394748 |   339452 |    13454     62 |        5 |      278
216.01/216.17	c  216s |      18 |   397642 |   341952 |    13454     62 |        5 |      278
218.00/218.17	c  218s |      18 |   400020 |   343952 |    13454     63 |        5 |      278
220.10/220.20	c  220s |      18 |   402670 |   346152 |    13454     63 |        5 |      278
222.11/222.28	c  222s |      18 |   404922 |   348152 |    13454     63 |        5 |      278
224.20/224.36	c  224s |      18 |   407090 |   350052 |    13454     63 |        5 |      278
226.30/226.47	c  226s |      18 |   409508 |   352152 |    13454     64 |        5 |      278
228.40/228.53	c  228s |      18 |   411928 |   354252 |    13454     64 |        5 |      278
230.50/230.61	c  230s |      18 |   414256 |   356252 |    13454     64 |        5 |      278
232.50/232.64	c  232s |      18 |   416420 |   358152 |    13454     65 |        5 |      278
234.60/234.73	c  234s |      18 |   418890 |   360352 |    13454     65 |        5 |      278
236.69/236.84	c  236s |      18 |   421279 |   362452 |    13454     65 |        5 |      278
238.70/238.88	c  238s |      18 |   423799 |   364552 |    13454     66 |        5 |      278
240.69/240.89	c  240s |      18 |   426669 |   366952 |    13454     66 |        5 |      278
242.79/242.94	c  242s |      18 |   429152 |   369052 |    13454     66 |        5 |      278
244.79/244.99	c  244s |      18 |   431195 |   370852 |    13454     66 |        5 |      278
246.79/246.99	c  246s |      18 |   433603 |   372952 |    13454     67 |        5 |      278
248.89/249.09	c  248s |      18 |   436005 |   375052 |    13454     67 |        5 |      278
250.99/251.11	c  250s |      18 |   438449 |   377052 |    13454     67 |        5 |      278
253.00/253.19	c  253s |      18 |   441007 |   379252 |    13454     68 |        5 |      278
255.10/255.26	c  255s |      18 |   443510 |   381452 |    13454     68 |        5 |      278
257.09/257.28	c  257s |      18 |   445679 |   383352 |    13454     68 |        5 |      278
259.09/259.28	c  259s |      18 |   447598 |   385052 |    13454     69 |        5 |      278
261.19/261.33	c  261s |      18 |   449969 |   387152 |    13454     69 |        5 |      278
263.19/263.39	c  263s |      18 |   452638 |   389452 |    13454     69 |        5 |      278
265.28/265.50	c  265s |      18 |   454840 |   391352 |    13454     69 |        5 |      278
267.38/267.55	c  267s |      18 |   457096 |   393352 |    13454     70 |        5 |      278
269.39/269.58	c  269s |      18 |   459435 |   395452 |    13454     70 |        5 |      278
271.48/271.63	c  271s |      18 |   461485 |   397252 |    13454     70 |        5 |      278
273.48/273.69	c  273s |      18 |   463642 |   399152 |    13454     71 |        5 |      278
275.58/275.76	c  275s |      18 |   466152 |   401352 |    13454     71 |        5 |      278
277.68/277.85	c  277s |      18 |   468304 |   403252 |    13454     71 |        5 |      278
279.78/279.95	c  279s |      18 |   470350 |   405052 |    13454     71 |        5 |      278
281.78/281.97	c  281s |      18 |   472687 |   407052 |    13454     72 |        5 |      278
283.87/284.05	c  283s |      18 |   475756 |   409652 |    13454     72 |        5 |      278
285.88/286.07	c  285s |      18 |   478303 |   411852 |    13454     72 |        5 |      278
287.97/288.15	c  288s |      18 |   481063 |   414152 |    13454     73 |        5 |      278
289.97/290.17	c  290s |      18 |   484068 |   416652 |    13454     73 |        5 |      278
292.17/292.33	c  292s |      18 |   486704 |   418852 |    13454     74 |        5 |      278
294.17/294.36	c  294s |      18 |   489607 |   421352 |    13454     74 |        5 |      278
296.27/296.44	c  296s |      18 |   492612 |   423852 |    13454     74 |        5 |      278
298.37/298.51	c  298s |      18 |   495135 |   426052 |    13454     75 |        5 |      278
300.37/300.56	c  300s |      18 |   497913 |   428452 |    13454     75 |        5 |      278
302.47/302.63	c  302s |      18 |   500904 |   431052 |    13454     75 |        5 |      278
304.47/304.64	c  304s |      18 |   503907 |   433652 |    13454     76 |        5 |      278
306.47/306.69	c  306s |      18 |   507347 |   436552 |    13454     76 |        5 |      278
308.57/308.77	c  308s |      18 |   509733 |   438552 |    13454     76 |        5 |      278
310.57/310.79	c  310s |      18 |   512821 |   441152 |    13454     77 |        5 |      278
312.57/312.79	c  312s |      18 |   515632 |   443552 |    14800     77 |        5 |      278
313.48/313.68	c  313s |      19 |   516676 |   444482 |    14800     77 |        5 |      278
315.47/315.69	c  315s |      19 |   519468 |   446782 |    14800     77 |        5 |      278
317.56/317.75	c  317s |      19 |   522653 |   449282 |    14800     78 |        5 |      278
319.66/319.80	c  319s |      19 |   525665 |   451582 |    14800     78 |        5 |      278
321.66/321.80	c  321s |      19 |   528290 |   453582 |    14800     78 |        5 |      278
323.66/323.84	c  323s |      19 |   530955 |   455582 |    14800     79 |        5 |      278
325.66/325.90	c  325s |      19 |   534028 |   457782 |    14800     79 |        5 |      278
327.77/327.98	c  327s |      19 |   536781 |   459882 |    14800     79 |        5 |      278
329.87/330.02	c  329s |      19 |   539261 |   461782 |    14800     79 |        5 |      278
331.86/332.07	c  331s |      19 |   541642 |   463582 |    14800     80 |        5 |      278
333.86/334.07	c  333s |      19 |   544447 |   465682 |    14800     80 |        5 |      278
335.96/336.15	c  336s |      19 |   547124 |   467782 |    14800     80 |        5 |      278
337.95/338.18	c  338s |      19 |   549536 |   469682 |    14800     80 |        5 |      278
340.05/340.23	c  340s |      19 |   552344 |   471782 |    14800     81 |        5 |      278
342.06/342.28	c  342s |      19 |   555660 |   474082 |    14800     81 |        5 |      278
344.16/344.31	c  344s |      19 |   558167 |   476182 |    14800     81 |        5 |      278
346.25/346.44	c  346s |      19 |   560455 |   478082 |    14800     82 |        5 |      278
348.25/348.48	c  348s |      19 |   563113 |   480282 |    14800     82 |        5 |      278
350.55/350.72	c  350s |      19 |   565431 |   482182 |    14800     82 |        5 |      278
352.55/352.76	c  352s |      19 |   567697 |   483882 |    14800     82 |        5 |      278
354.75/354.90	c  354s |      19 |   569514 |   485282 |    14800     83 |        5 |      278
356.75/356.98	c  356s |      19 |   571914 |   487282 |    14800     83 |        5 |      278
358.85/359.07	c  358s |      19 |   575035 |   489582 |    14800     83 |        5 |      278
360.95/361.13	c  360s |      19 |   577549 |   491382 |    14800     83 |        5 |      278
363.04/363.20	c  363s |      19 |   579796 |   493182 |    14800     84 |        5 |      278
365.05/365.29	c  365s |      19 |   582723 |   495382 |    14800     84 |        5 |      278
367.25/367.41	c  367s |      19 |   585366 |   497482 |    14800     84 |        5 |      278
369.24/369.49	c  369s |      19 |   587606 |   499182 |    14800     84 |        5 |      278
371.34/371.52	c  371s |      19 |   589898 |   500982 |    14800     85 |        5 |      278
373.44/373.62	c  373s |      19 |   592750 |   503082 |    14800     85 |        5 |      278
375.44/375.69	c  375s |      19 |   595620 |   505182 |    14800     85 |        5 |      278
377.54/377.71	c  377s |      19 |   598023 |   506882 |    14800     85 |        5 |      278
379.54/379.77	c  379s |      19 |   600417 |   508782 |    14800     86 |        5 |      278
381.65/381.81	c  381s |      19 |   603260 |   510982 |    14800     86 |        5 |      278
383.64/383.89	c  383s |      19 |   605894 |   512982 |    14800     86 |        5 |      278
385.74/385.97	c  385s |      19 |   608419 |   514982 |    14800     86 |        5 |      278
387.83/388.06	c  387s |      19 |   611273 |   517182 |    14800     87 |        5 |      278
389.83/390.08	c  389s |      19 |   614031 |   519282 |    14800     87 |        5 |      278
391.93/392.12	c  391s |      19 |   616471 |   521082 |    14800     87 |        5 |      278
393.93/394.14	c  394s |      19 |   618620 |   522882 |    14800     88 |        5 |      278
395.94/396.17	c  396s |      19 |   621249 |   525082 |    14800     88 |        5 |      278
397.93/398.17	c  398s |      19 |   623563 |   527082 |    14800     88 |        5 |      278
400.03/400.24	c  400s |      19 |   626104 |   529082 |    14800     88 |        5 |      278
402.03/402.24	c  402s |      19 |   628779 |   531082 |    14800     89 |        5 |      278
404.03/404.25	c  404s |      19 |   631330 |   533182 |    14800     89 |        5 |      278
406.13/406.36	c  406s |      19 |   633627 |   534982 |    14800     89 |        5 |      278
408.13/408.39	c  408s |      19 |   635482 |   536682 |    14800     89 |        5 |      278
410.33/410.52	c  410s |      19 |   637392 |   538382 |    14800     90 |        5 |      278
412.34/412.60	c  412s |      19 |   640277 |   540882 |    14800     90 |        5 |      278
414.43/414.65	c  414s |      19 |   642551 |   542782 |    14800     90 |        5 |      278
416.43/416.66	c  416s |      19 |   644950 |   544682 |    14800     90 |        5 |      278
418.43/418.67	c  418s |      19 |   647162 |   546582 |    14800     91 |        5 |      278
420.53/420.73	c  420s |      19 |   649307 |   548482 |    14800     91 |        5 |      278
422.63/422.81	c  422s |      19 |   651247 |   550182 |    14800     91 |        5 |      278
424.63/424.83	c  424s |      19 |   653000 |   551782 |    14800     91 |        5 |      278
426.63/426.89	c  426s |      19 |   655194 |   553582 |    14800     92 |        5 |      278
428.72/428.93	c  428s |      19 |   657713 |   555782 |    14800     92 |        5 |      278
430.82/431.00	c  430s |      19 |   660111 |   557682 |    14800     92 |        5 |      278
432.92/433.12	c  432s |      19 |   662373 |   559682 |    14800     92 |        5 |      278
434.92/435.18	c  435s |      19 |   664769 |   561782 |    14800     93 |        5 |      278
437.02/437.21	c  437s |      19 |   667218 |   563882 |    14800     93 |        5 |      278
439.02/439.22	c  439s |      19 |   669541 |   565682 |    14800     93 |        5 |      278
441.12/441.32	c  441s |      19 |   671561 |   567382 |    14800     93 |        5 |      278
443.12/443.37	c  443s |      19 |   673738 |   569082 |    14800     94 |        5 |      278
445.22/445.45	c  445s |      19 |   675733 |   570782 |    14800     94 |        5 |      278
447.32/447.54	c  447s |      19 |   677650 |   572482 |    14800     94 |        5 |      278
449.31/449.56	c  449s |      19 |   679667 |   574182 |    14800     94 |        5 |      278
451.31/451.56	c  451s |      19 |   681767 |   575982 |    14800     95 |        5 |      278
453.41/453.64	c  453s |      19 |   684691 |   578582 |    14800     95 |        5 |      278
455.41/455.66	c  455s |      19 |   687388 |   580982 |    14800     95 |        5 |      278
457.42/457.70	c  457s |      19 |   689552 |   582982 |    14800     96 |        5 |      278
459.51/459.73	c  459s |      19 |   692634 |   585682 |    14800     96 |        5 |      278
461.51/461.78	c  461s |      19 |   695136 |   587882 |    14800     96 |        5 |      278
463.61/463.86	c  463s |      19 |   697522 |   589882 |    14800     96 |        5 |      278
465.61/465.89	c  465s |      19 |   699525 |   591682 |    14800     97 |        5 |      278
467.71/467.97	c  467s |      19 |   701852 |   593782 |    14800     97 |        5 |      278
469.71/469.97	c  469s |      19 |   703835 |   595482 |    14800     97 |        5 |      278
471.81/472.03	c  471s |      19 |   705742 |   597182 |    14800     97 |        5 |      278
473.80/474.08	c  473s |      19 |   707998 |   599182 |    14800     98 |        5 |      278
475.90/476.12	c  475s |      19 |   710317 |   601082 |    14800     98 |        5 |      278
477.90/478.16	c  478s |      19 |   712328 |   602882 |    14800     98 |        5 |      278
479.90/480.17	c  480s |      19 |   714375 |   604682 |    14800     98 |        5 |      278
482.00/482.23	c  482s |      19 |   716768 |   606782 |    14800     99 |        5 |      278
484.00/484.23	c  484s |      19 |   719425 |   609082 |    14800     99 |        5 |      278
486.01/486.29	c  486s |      19 |   721715 |   611082 |    14800     99 |        5 |      278
488.11/488.40	c  488s |      19 |   723723 |   612882 |    14800     99 |        5 |      278
490.21/490.48	c  490s |      19 |   726039 |   614882 |    14800    100 |        5 |      278
492.21/492.50	c  492s |      19 |   728200 |   616882 |    14800    100 |        5 |      278
494.30/494.50	c  494s |      19 |   730282 |   618682 |    14800    100 |        5 |      278
496.30/496.56	c  496s |      19 |   732367 |   620482 |    14800    101 |        5 |      278
498.30/498.59	c  498s |      19 |   735494 |   623282 |    14800    101 |        5 |      278
500.41/500.60	c  500s |      19 |   738025 |   625582 |    14800    101 |        5 |      278
502.40/502.66	c  502s |      19 |   740454 |   627782 |    14800    101 |        5 |      278
504.50/504.71	c  504s |      19 |   743210 |   630282 |    14800    102 |        5 |      278
506.60/506.80	c  506s |      19 |   745575 |   632382 |    14800    102 |        5 |      278
508.70/508.90	c  508s |      19 |   747647 |   634282 |    14800    102 |        5 |      278
510.70/510.94	c  510s |      19 |   749391 |   635882 |    14800    103 |        5 |      278
512.70/512.96	c  512s |      19 |   751636 |   637882 |    14800    103 |        5 |      278
514.70/514.99	c  514s |      19 |   753585 |   639682 |    14800    103 |        5 |      278
516.80/517.01	c  516s |      19 |   755417 |   641382 |    14800    103 |        5 |      278
518.89/519.20	c  519s |      19 |   757280 |   643082 |    14800    104 |        5 |      278
520.99/521.22	c  521s |      19 |   759498 |   644982 |    14800    104 |        5 |      278
523.09/523.34	c  523s |      19 |   761430 |   646782 |    14800    104 |        5 |      278
525.09/525.37	c  525s |      19 |   763166 |   648382 |    14800    104 |        5 |      278
527.19/527.41	c  527s |      19 |   765803 |   650682 |    14800    105 |        5 |      278
529.19/529.45	c  529s |      19 |   768720 |   653182 |    14800    105 |        5 |      278
531.19/531.48	c  531s |      19 |   771081 |   655282 |    14800    105 |        5 |      278
533.29/533.58	c  533s |      19 |   773291 |   657182 |    14800    105 |        5 |      278
535.29/535.60	c  535s |      19 |   775503 |   659082 |    14800    106 |        5 |      278
537.48/537.71	c  537s |      19 |   778027 |   661182 |    14800    106 |        5 |      278
539.48/539.77	c  539s |      19 |   780002 |   662982 |    16281    106 |        5 |      278
541.48/541.78	c  541s |      19 |   781850 |   664582 |    16281    106 |        5 |      278
543.58/543.87	c  543s |      19 |   783703 |   666282 |    16281    106 |        5 |      278
544.39/544.61	c  544s |      20 |   784307 |   666827 |    16281    106 |        5 |      278
546.38/546.65	c  546s |      20 |   787580 |   669527 |    16281    107 |        5 |      278
548.38/548.68	c  548s |      20 |   790996 |   672527 |    16281    107 |        5 |      278
550.48/550.74	c  550s |      20 |   793940 |   675127 |    16281    107 |        5 |      278
552.48/552.78	c  552s |      20 |   797405 |   678127 |    16281    108 |        5 |      278
554.58/554.82	c  554s |      20 |   800636 |   681027 |    16281    108 |        5 |      278
556.57/556.85	c  556s |      20 |   803314 |   683427 |    16281    108 |        5 |      278
558.68/558.91	c  558s |      20 |   805925 |   685827 |    16281    109 |        5 |      278
560.67/560.97	c  560s |      20 |   809080 |   688627 |    16281    109 |        5 |      278
562.77/563.01	c  562s |      20 |   811857 |   691127 |    16281    109 |        5 |      278
564.77/565.02	c  564s |      20 |   814392 |   693427 |    16281    110 |        5 |      278
566.77/567.05	c  566s |      20 |   817213 |   696027 |    16281    110 |        5 |      278
568.87/569.11	c  568s |      20 |   820047 |   698627 |    16281    110 |        5 |      278
570.87/571.12	c  570s |      20 |   822269 |   700527 |    16281    111 |        5 |      278
572.88/573.20	c  573s |      20 |   825601 |   703427 |    16281    111 |        5 |      278
574.98/575.27	c  575s |      20 |   828674 |   706127 |    16281    111 |        5 |      278
577.07/577.32	c  577s |      20 |   831502 |   708627 |    16281    112 |        5 |      278
579.07/579.35	c  579s |      20 |   833669 |   710527 |    16281    112 |        5 |      278
581.07/581.39	c  581s |      20 |   837167 |   713427 |    16281    112 |        5 |      278
583.17/583.40	c  583s |      20 |   840405 |   716127 |    16281    112 |        5 |      278
585.17/585.44	c  585s |      20 |   843827 |   719127 |    16281    113 |        5 |      278
587.17/587.48	c  587s |      20 |   846905 |   721827 |    16281    113 |        5 |      278
589.27/589.54	c  589s |      20 |   849725 |   724427 |    16281    113 |        5 |      278
591.27/591.54	c  591s |      20 |   852949 |   727327 |    16281    114 |        5 |      278
593.37/593.61	c  593s |      20 |   856332 |   730227 |    16281    114 |        5 |      278
595.37/595.65	c  595s |      20 |   859385 |   732827 |    16281    114 |        5 |      278
597.46/597.70	c  597s |      20 |   861323 |   734527 |    16281    115 |        5 |      278
599.46/599.74	c  599s |      20 |   864763 |   737427 |    16281    115 |        5 |      278
601.47/601.75	c  601s |      20 |   867946 |   740227 |    16281    115 |        5 |      278
603.56/603.81	c  603s |      20 |   871151 |   743027 |    16281    116 |        5 |      278
605.56/605.88	c  605s |      20 |   874853 |   746227 |    16281    116 |        5 |      278
607.66/607.95	c  607s |      20 |   877895 |   748927 |    16281    116 |        5 |      278
610.15/610.49	c  610s |      20 |   880533 |   751327 |    16281    117 |        5 |      278
612.25/612.53	c  612s |      20 |   883360 |   753827 |    16281    117 |        5 |      278
614.25/614.54	c  614s |      20 |   885842 |   756027 |    16281    117 |        5 |      278
616.25/616.58	c  616s |      20 |   888289 |   758227 |    16281    118 |        5 |      278
618.36/618.64	c  618s |      20 |   891426 |   761027 |    16281    118 |        5 |      278
620.36/620.66	c  620s |      20 |   894070 |   763427 |    16281    118 |        5 |      278
622.37/622.67	c  622s |      20 |   896715 |   765827 |    16281    118 |        5 |      278
624.46/624.74	c  624s |      20 |   899761 |   768627 |    16281    119 |        5 |      278
626.46/626.76	c  626s |      20 |   901935 |   770527 |    16281    119 |        5 |      278
628.56/628.82	c  628s |      20 |   904761 |   773027 |    16281    119 |        5 |      278
630.56/630.85	c  630s |      20 |   907384 |   775327 |    16281    120 |        5 |      278
632.55/632.86	c  632s |      20 |   910667 |   778227 |    16281    120 |        5 |      278
634.85/635.11	c  634s |      20 |   913228 |   780527 |    16281    120 |        5 |      278
636.85/637.13	c  636s |      20 |   915792 |   782727 |    16281    121 |        5 |      278
638.86/639.15	c  639s |      20 |   919228 |   785727 |    16281    121 |        5 |      278
640.85/641.19	c  641s |      20 |   922469 |   788627 |    16281    121 |        5 |      278
642.95/643.22	c  643s |      20 |   925502 |   791327 |    16281    122 |        5 |      278
644.95/645.24	c  645s |      20 |   928356 |   793827 |    16281    122 |        5 |      278
646.94/647.25	c  647s |      20 |   931388 |   796527 |    16281    122 |        5 |      278
649.04/649.32	c  649s |      20 |   933966 |   798927 |    16281    122 |        5 |      278
651.05/651.39	c  651s |      20 |   937325 |   801627 |    16281    123 |        5 |      278
653.15/653.44	c  653s |      20 |   940362 |   804127 |    16281    123 |        5 |      278
655.14/655.46	c  655s |      20 |   942955 |   806227 |    16281    123 |        5 |      278
657.24/657.50	c  657s |      20 |   945521 |   808327 |    16281    124 |        5 |      278
659.24/659.59	c  659s |      20 |   948449 |   810627 |    16281    124 |        5 |      278
661.44/661.70	c  661s |      20 |   951130 |   812727 |    16281    124 |        5 |      278
663.44/663.76	c  663s |      20 |   953571 |   814727 |    16281    124 |        5 |      278
665.44/665.79	c  665s |      20 |   955942 |   816527 |    16281    125 |        5 |      278
667.54/667.85	c  667s |      20 |   958999 |   819227 |    16281    125 |        5 |      278
669.93/670.20	c  670s |      20 |   960352 |   820327 |    16281    125 |        5 |      278
671.94/672.28	c  672s |      20 |   963333 |   822427 |    16281    125 |        5 |      278
674.04/674.34	c  674s |      20 |   965874 |   824527 |    16281    126 |        5 |      278
676.13/676.41	c  676s |      20 |   968830 |   827127 |    16281    126 |        5 |      278
678.13/678.44	c  678s |      20 |   970984 |   829127 |    16281    126 |        5 |      278
680.23/680.54	c  680s |      20 |   972836 |   830827 |    16281    126 |        5 |      278
682.23/682.55	c  682s |      20 |   975382 |   833027 |    16281    127 |        5 |      278
684.23/684.59	c  684s |      20 |   978171 |   835427 |    16281    127 |        5 |      278
686.33/686.66	c  686s |      20 |   981165 |   837627 |    16281    127 |        5 |      278
688.33/688.68	c  688s |      20 |   983684 |   839527 |    16281    127 |        5 |      278
690.43/690.77	c  690s |      20 |   986250 |   841627 |    16281    128 |        5 |      278
692.52/692.82	c  692s |      20 |   988954 |   844027 |    16281    128 |        5 |      278
694.52/694.83	c  694s |      20 |   991345 |   846227 |    16281    128 |        5 |      278
696.52/696.87	c  696s |      20 |   993287 |   848027 |    16281    128 |        5 |      278
698.62/698.92	c  698s |      20 |   996142 |   850527 |    16281    129 |        5 |      278
700.62/700.95	c  700s |      20 |   999236 |   853227 |    16281    129 |        5 |      278
702.63/702.96	c  702s |      20 |  1001942 |   855627 |    16281    129 |        5 |      278
704.62/704.99	c  704s |      20 |  1004728 |   858127 |    16281    130 |        5 |      278
706.72/707.03	c  706s |      20 |  1007907 |   861027 |    16281    130 |        5 |      278
708.72/709.05	c  708s |      20 |  1009774 |   862627 |    16281    130 |        5 |      278
710.82/711.19	c  711s |      20 |  1012594 |   865027 |    16281    131 |        5 |      278
712.92/713.24	c  713s |      20 |  1016270 |   868227 |    16281    131 |        5 |      278
715.01/715.31	c  715s |      20 |  1019544 |   871027 |    16281    131 |        5 |      278
717.02/717.36	c  717s |      20 |  1022409 |   873427 |    16281    132 |        5 |      278
719.12/719.42	c  719s |      20 |  1025851 |   876327 |    16281    132 |        5 |      278
721.12/721.43	c  721s |      20 |  1028876 |   878927 |    16281    132 |        5 |      278
723.12/723.47	c  723s |      20 |  1031759 |   881427 |    16281    132 |        5 |      278
725.21/725.50	c  725s |      20 |  1034798 |   883927 |    16281    133 |        5 |      278
727.21/727.55	c  727s |      20 |  1038173 |   886727 |    16281    133 |        5 |      278
729.21/729.59	c  729s |      20 |  1041171 |   889327 |    16281    133 |        5 |      278
731.32/731.64	c  731s |      20 |  1044514 |   892227 |    16281    134 |        5 |      278
733.31/733.67	c  733s |      20 |  1047881 |   895127 |    16281    134 |        5 |      278
735.31/735.67	c  735s |      20 |  1050931 |   897827 |    16281    134 |        5 |      278
737.40/737.71	c  737s |      20 |  1054151 |   900827 |    16281    135 |        5 |      278
739.40/739.75	c  739s |      20 |  1057425 |   903727 |    16281    135 |        5 |      278
741.40/741.77	c  741s |      20 |  1059401 |   905427 |    16281    135 |        5 |      278
743.50/743.82	c  743s |      20 |  1062218 |   907927 |    16281    136 |        5 |      278
745.50/745.83	c  745s |      20 |  1065679 |   910927 |    16281    136 |        5 |      278
747.49/747.88	c  747s |      20 |  1068729 |   913627 |    16281    136 |        5 |      278
749.59/749.93	c  749s |      20 |  1071770 |   916327 |    16281    137 |        5 |      278
751.59/751.95	c  751s |      20 |  1074730 |   919027 |    16281    137 |        5 |      278
753.59/753.96	c  753s |      20 |  1077250 |   921327 |    16281    137 |        5 |      278
755.59/755.98	c  755s |      20 |  1079876 |   923727 |    16281    138 |        5 |      278
757.98/758.33	c  758s |      20 |  1081875 |   925527 |    16281    138 |        5 |      278
759.98/760.37	c  760s |      20 |  1083363 |   926627 |    16281    138 |        5 |      278
762.08/762.41	c  762s |      20 |  1086848 |   929427 |    16281    138 |        5 |      278
764.07/764.45	c  764s |      20 |  1089956 |   932027 |    16281    139 |        5 |      278
766.07/766.48	c  766s |      20 |  1093771 |   935227 |    16281    139 |        5 |      278
768.16/768.54	c  768s |      20 |  1096901 |   937927 |    16281    139 |        5 |      278
770.16/770.55	c  770s |      20 |  1099616 |   940127 |    16281    140 |        5 |      278
772.16/772.56	c  772s |      20 |  1103032 |   943027 |    16281    140 |        5 |      278
774.17/774.58	c  774s |      20 |  1106420 |   945927 |    16281    140 |        5 |      278
776.27/776.61	c  776s |      20 |  1109366 |   948527 |    16281    141 |        5 |      278
778.24/778.67	c  778s |      20 |  1113353 |   951927 |    16281    141 |        5 |      278
780.34/780.71	c  780s |      20 |  1116812 |   954927 |    16281    141 |        5 |      278
782.34/782.76	c  782s |      20 |  1120537 |   958227 |    16281    142 |        5 |      278
784.43/784.80	c  784s |      20 |  1123912 |   961227 |    16281    142 |        5 |      278
786.43/786.84	c  786s |      20 |  1126894 |   963927 |    16281    143 |        5 |      278
789.23/789.61	c  789s |      20 |  1127869 |   964827 |    16281    143 |        5 |      278
791.23/791.65	c  791s |      20 |  1131875 |   968127 |    16281    143 |        5 |      278
793.33/793.73	c  793s |      20 |  1135172 |   971027 |    16281    143 |        5 |      278
795.32/795.73	c  795s |      20 |  1138303 |   973727 |    16281    144 |        5 |      278
797.32/797.76	c  797s |      20 |  1141693 |   976627 |    16281    144 |        5 |      278
799.32/799.77	c  799s |      20 |  1144824 |   979427 |    16281    144 |        5 |      278
801.42/801.82	c  801s |      20 |  1147874 |   982127 |    16281    145 |        5 |      278
803.42/803.88	c  803s |      20 |  1151325 |   985227 |    16281    145 |        5 |      278
805.51/805.91	c  805s |      20 |  1154163 |   987827 |    16281    145 |        5 |      278
807.52/807.96	c  807s |      20 |  1155716 |   989227 |    16281    146 |        5 |      278
809.62/810.04	c  809s |      20 |  1159386 |   992327 |    16281    146 |        5 |      278
811.62/812.08	c  811s |      20 |  1162776 |   995227 |    17910    146 |        5 |      278
813.72/814.13	c  813s |      20 |  1165871 |   997927 |    17910    146 |        5 |      278
815.41/815.87	c  815s |      21 |  1168579 |  1000345 |    17910    147 |        5 |      278
817.41/817.87	c  817s |      21 |  1171527 |  1002845 |    17910    147 |        5 |      278
819.51/819.92	c  819s |      21 |  1174369 |  1005345 |    17910    147 |        5 |      278
821.60/822.05	c  821s |      21 |  1176807 |  1007545 |    17910    148 |        5 |      278
823.70/824.10	c  823s |      21 |  1180015 |  1010445 |    17910    148 |        5 |      278
826.30/826.79	c  826s |      21 |  1180917 |  1011145 |    17910    148 |        5 |      278
828.40/828.84	c  828s |      21 |  1183961 |  1013845 |    17910    148 |        5 |      278
830.49/830.93	c  830s |      21 |  1186638 |  1016245 |    17910    148 |        5 |      278
832.59/833.04	c  832s |      21 |  1189225 |  1018545 |    17910    149 |        5 |      278
834.59/835.08	c  834s |      21 |  1192199 |  1021145 |    17910    149 |        5 |      278
836.69/837.12	c  836s |      21 |  1194590 |  1023345 |    17910    149 |        5 |      278
838.68/839.16	c  839s |      21 |  1196857 |  1025345 |    17910    149 |        5 |      278
840.68/841.19	c  841s |      21 |  1199359 |  1027545 |    17910    150 |        5 |      278
842.78/843.22	c  843s |      21 |  1202461 |  1030245 |    17910    150 |        5 |      278
844.78/845.23	c  845s |      21 |  1205163 |  1032645 |    17910    150 |        5 |      278
847.08/847.54	c  847s |      21 |  1207402 |  1034645 |    17910    151 |        5 |      278
849.08/849.55	c  849s |      21 |  1210056 |  1036845 |    17910    151 |        5 |      278
851.08/851.59	c  851s |      21 |  1213505 |  1039745 |    17910    151 |        5 |      278
853.18/853.62	c  853s |      21 |  1216117 |  1042045 |    17910    151 |        5 |      278
855.27/855.78	c  855s |      21 |  1218680 |  1044345 |    17910    152 |        5 |      278
857.27/857.79	c  857s |      21 |  1221848 |  1047145 |    17910    152 |        5 |      278
859.37/859.83	c  859s |      21 |  1223941 |  1049045 |    17910    152 |        5 |      278
861.37/861.86	c  861s |      21 |  1226778 |  1051545 |    17910    152 |        5 |      278
863.47/863.90	c  863s |      21 |  1229840 |  1054145 |    17910    153 |        5 |      278
865.46/865.94	c  865s |      21 |  1232803 |  1056645 |    17910    153 |        5 |      278
867.47/867.99	c  867s |      21 |  1235668 |  1059145 |    17910    153 |        5 |      278
869.56/870.06	c  869s |      21 |  1238142 |  1061345 |    17910    153 |        5 |      278
871.66/872.11	c  871s |      21 |  1241600 |  1063845 |    17910    154 |        5 |      278
873.66/874.18	c  874s |      21 |  1244449 |  1066245 |    17910    154 |        5 |      278
875.66/876.19	c  876s |      21 |  1246954 |  1068445 |    17910    154 |        5 |      278
877.75/878.29	c  878s |      21 |  1249535 |  1070445 |    17910    154 |        5 |      278
879.85/880.32	c  880s |      21 |  1252307 |  1072645 |    17910    155 |        5 |      278
882.45/882.99	c  882s |      21 |  1254376 |  1074445 |    17910    155 |        5 |      278
884.55/885.01	c  884s |      21 |  1257420 |  1076945 |    17910    155 |        5 |      278
886.64/887.11	c  886s |      21 |  1260229 |  1079345 |    17910    155 |        5 |      278
888.74/889.22	c  889s |      21 |  1263079 |  1081845 |    17910    156 |        5 |      278
890.74/891.26	c  891s |      21 |  1266481 |  1084845 |    17910    156 |        5 |      278
892.85/893.32	c  893s |      21 |  1269495 |  1087545 |    17910    156 |        5 |      278
894.84/895.33	c  895s |      21 |  1272354 |  1090045 |    17910    157 |        5 |      278
897.73/898.29	c  898s |      21 |  1274636 |  1092045 |    17910    157 |        5 |      278
899.83/900.31	c  900s |      21 |  1278136 |  1095045 |    17910    157 |        5 |      278
901.83/902.31	c  902s |      21 |  1281232 |  1097645 |    17910    157 |        5 |      278
903.84/904.33	c  904s |      21 |  1284207 |  1100245 |    17910    158 |        5 |      278
905.93/906.41	c  906s |      21 |  1287401 |  1103045 |    17910    158 |        5 |      278
907.92/908.48	c  908s |      21 |  1290343 |  1105645 |    17910    158 |        5 |      278
910.02/910.50	c  910s |      21 |  1292844 |  1107945 |    17910    159 |        5 |      278
912.53/913.04	c  912s |      21 |  1295933 |  1110545 |    17910    159 |        5 |      278
914.52/915.04	c  914s |      21 |  1298762 |  1112945 |    17910    159 |        5 |      278
916.52/917.06	c  916s |      21 |  1301529 |  1115345 |    17910    159 |        5 |      278
918.52/919.08	c  918s |      21 |  1303933 |  1117445 |    17910    160 |        5 |      278
920.61/921.10	c  920s |      21 |  1307073 |  1120245 |    17910    160 |        5 |      278
922.61/923.16	c  923s |      21 |  1309874 |  1122745 |    17910    160 |        5 |      278
924.71/925.23	c  925s |      21 |  1312426 |  1125045 |    17910    160 |        5 |      278
926.71/927.23	c  927s |      21 |  1315313 |  1127645 |    17910    161 |        5 |      278
928.70/929.27	c  929s |      21 |  1316208 |  1128445 |    17910    161 |        5 |      278
930.80/931.35	c  931s |      21 |  1319198 |  1131045 |    17910    161 |        5 |      278
932.80/933.38	c  933s |      21 |  1321929 |  1133445 |    17910    161 |        5 |      278
934.90/935.45	c  935s |      21 |  1324476 |  1135745 |    17910    162 |        5 |      278
936.90/937.49	c  937s |      21 |  1327728 |  1138345 |    17910    162 |        5 |      278
939.00/939.57	c  939s |      21 |  1330159 |  1140545 |    17910    162 |        5 |      278
941.10/941.64	c  941s |      21 |  1332444 |  1142645 |    17910    162 |        5 |      278
943.10/943.67	c  943s |      21 |  1334948 |  1144945 |    17910    163 |        5 |      278
945.10/945.69	c  945s |      21 |  1337351 |  1147145 |    17910    163 |        5 |      278
947.19/947.72	c  947s |      21 |  1339825 |  1149445 |    17910    163 |        5 |      278
949.19/949.73	c  949s |      21 |  1342114 |  1151545 |    17910    163 |        5 |      278
951.19/951.75	c  951s |      21 |  1344508 |  1153645 |    17910    164 |        5 |      278
953.20/953.79	c  953s |      21 |  1347428 |  1156045 |    17910    164 |        5 |      278
955.29/955.80	c  955s |      21 |  1349033 |  1157445 |    17910    164 |        5 |      278
957.29/957.80	c  957s |      21 |  1351737 |  1159745 |    17910    164 |        5 |      278
959.29/959.86	c  959s |      21 |  1354023 |  1161745 |    17910    165 |        5 |      278
961.29/961.88	c  961s |      21 |  1356833 |  1164245 |    17910    165 |        5 |      278
963.39/963.95	c  963s |      21 |  1360028 |  1167045 |    17910    165 |        5 |      278
965.39/965.98	c  965s |      21 |  1362675 |  1169445 |    17910    165 |        5 |      278
967.38/968.00	c  967s |      21 |  1365180 |  1171745 |    17910    166 |        5 |      278
969.48/970.07	c  969s |      21 |  1368388 |  1174645 |    17910    166 |        5 |      278
971.59/972.12	c  971s |      21 |  1369942 |  1175945 |    17910    166 |        5 |      278
973.69/974.20	c  974s |      21 |  1373166 |  1178545 |    17910    166 |        5 |      278
975.68/976.21	c  976s |      21 |  1376154 |  1181045 |    17910    167 |        5 |      278
977.67/978.27	c  978s |      21 |  1379166 |  1183645 |    17910    167 |        5 |      278
979.77/980.31	c  980s |      21 |  1382348 |  1186445 |    17910    167 |        5 |      278
981.78/982.34	c  982s |      21 |  1384959 |  1188745 |    17910    168 |        5 |      278
983.77/984.37	c  984s |      21 |  1388085 |  1191445 |    17910    168 |        5 |      278
985.77/986.39	c  986s |      21 |  1391050 |  1193945 |    17910    168 |        5 |      278
987.87/988.47	c  988s |      21 |  1393904 |  1196445 |    17910    168 |        5 |      278
989.97/990.50	c  990s |      21 |  1396054 |  1198345 |    17910    169 |        5 |      278
991.97/992.52	c  992s |      21 |  1399484 |  1201345 |    17910    169 |        5 |      278
993.97/994.57	c  994s |      21 |  1402582 |  1204045 |    17910    169 |        5 |      278
996.07/996.63	c  996s |      21 |  1405698 |  1206645 |    17910    169 |        5 |      278
998.06/998.66	c  998s |      21 |  1408777 |  1209345 |    17910    170 |        5 |      278
1000.16/1000.72	c 1000s |      21 |  1411801 |  1212045 |    17910    170 |        5 |      278
1002.16/1002.77	c 1002s |      21 |  1414445 |  1214445 |    17910    170 |        5 |      278
1004.25/1004.80	c 1004s |      21 |  1417091 |  1216845 |    17910    171 |        5 |      278
1006.25/1006.81	c 1006s |      21 |  1419773 |  1219345 |    17910    171 |        5 |      278
1008.26/1008.87	c 1008s |      21 |  1422618 |  1221845 |    17910    171 |        5 |      278
1010.36/1010.91	c 1010s |      21 |  1425230 |  1224145 |    17910    171 |        5 |      278
1013.55/1014.15	c 1014s |      21 |  1427882 |  1226445 |    17910    172 |        5 |      278
1015.55/1016.15	c 1016s |      21 |  1429116 |  1227445 |    17910    172 |        5 |      278
1017.65/1018.22	c 1018s |      21 |  1433163 |  1230745 |    17910    172 |        5 |      278
1019.65/1020.25	c 1020s |      21 |  1436515 |  1233645 |    17910    172 |        5 |      278
1021.65/1022.26	c 1022s |      21 |  1439864 |  1236445 |    17910    173 |        5 |      278
1023.65/1024.30	c 1024s |      21 |  1443180 |  1239345 |    17910    173 |        5 |      278
1025.75/1026.31	c 1026s |      21 |  1446321 |  1242145 |    17910    173 |        5 |      278
1027.74/1028.36	c 1028s |      21 |  1449181 |  1244745 |    17910    174 |        5 |      278
1029.84/1030.43	c 1030s |      21 |  1452434 |  1247645 |    17910    174 |        5 |      278
1031.84/1032.45	c 1032s |      21 |  1455132 |  1250145 |    17910    174 |        5 |      278
1033.84/1034.48	c 1034s |      21 |  1457568 |  1252245 |    17910    175 |        5 |      278
1036.93/1037.59	c 1037s |      21 |  1459945 |  1254345 |    17910    175 |        5 |      278
1038.93/1039.59	c 1039s |      21 |  1461597 |  1255745 |    17910    175 |        5 |      278
1041.02/1041.60	c 1041s |      21 |  1464688 |  1258445 |    17910    175 |        5 |      278
1043.02/1043.62	c 1043s |      21 |  1467557 |  1260945 |    17910    175 |        5 |      278
1045.02/1045.68	c 1045s |      21 |  1470441 |  1263345 |    17910    176 |        5 |      278
1047.11/1047.79	c 1047s |      21 |  1473615 |  1265745 |    17910    176 |        5 |      278
1049.21/1049.81	c 1049s |      21 |  1476378 |  1267745 |    17910    176 |        5 |      278
1051.21/1051.84	c 1051s |      21 |  1478437 |  1269645 |    17910    176 |        5 |      278
1053.32/1053.94	c 1053s |      21 |  1481108 |  1272045 |    17910    177 |        5 |      278
1055.31/1055.94	c 1055s |      21 |  1483689 |  1274345 |    17910    177 |        5 |      278
1057.40/1058.05	c 1057s |      21 |  1485896 |  1276345 |    17910    177 |        5 |      278
1059.40/1060.09	c 1059s |      21 |  1488135 |  1278345 |    17910    177 |        5 |      278
1061.50/1062.12	c 1061s |      21 |  1490578 |  1280345 |    17910    178 |        5 |      278
1063.50/1064.16	c 1064s |      21 |  1492833 |  1282445 |    17910    178 |        5 |      278
1065.50/1066.18	c 1066s |      21 |  1494840 |  1284345 |    17910    178 |        5 |      278
1067.60/1068.23	c 1068s |      21 |  1496899 |  1286245 |    17910    178 |        5 |      278
1069.59/1070.25	c 1070s |      21 |  1498493 |  1287645 |    17910    178 |        5 |      278
1071.59/1072.27	c 1072s |      21 |  1501295 |  1290045 |    17910    179 |        5 |      278
1073.69/1074.32	c 1074s |      21 |  1504471 |  1292845 |    17910    179 |        5 |      278
1075.69/1076.33	c 1076s |      21 |  1507193 |  1295345 |    17910    179 |        5 |      278
1077.69/1078.35	c 1078s |      21 |  1509878 |  1297645 |    17910    180 |        5 |      278
1079.69/1080.39	c 1080s |      21 |  1512495 |  1299845 |    17910    180 |        5 |      278
1081.79/1082.41	c 1082s |      21 |  1515744 |  1302545 |    17910    180 |        5 |      278
1083.78/1084.42	c 1084s |      21 |  1518474 |  1304945 |    17910    180 |        5 |      278
1085.78/1086.42	c 1086s |      21 |  1521358 |  1307445 |    17910    181 |        5 |      278
1087.78/1088.45	c 1088s |      21 |  1524546 |  1310145 |    17910    181 |        5 |      278
1089.78/1090.48	c 1090s |      21 |  1527902 |  1313045 |    17910    181 |        5 |      278
1091.87/1092.57	c 1092s |      21 |  1530602 |  1315445 |    17910    182 |        5 |      278
1093.98/1094.63	c 1094s |      21 |  1534155 |  1318645 |    17910    182 |        5 |      278
1095.97/1096.67	c 1096s |      21 |  1536287 |  1320545 |    17910    182 |        5 |      278
1097.97/1098.67	c 1098s |      21 |  1538842 |  1322845 |    17910    182 |        5 |      278
1099.97/1100.68	c 1100s |      21 |  1541242 |  1325045 |    17910    183 |        5 |      278
1102.07/1102.70	c 1102s |      21 |  1544218 |  1327645 |    17910    183 |        5 |      278
1104.07/1104.73	c 1104s |      21 |  1546928 |  1330145 |    17910    183 |        5 |      278
1106.26/1106.95	c 1106s |      21 |  1549324 |  1332345 |    17910    183 |        5 |      278
1108.27/1108.95	c 1108s |      21 |  1551708 |  1334445 |    17910    184 |        5 |      278
1110.26/1110.97	c 1110s |      21 |  1554771 |  1337045 |    17910    184 |        5 |      278
1112.36/1113.03	c 1112s |      21 |  1557704 |  1339645 |    17910    184 |        5 |      278
1115.26/1115.97	c 1115s |      21 |  1559858 |  1341545 |    17910    184 |        5 |      278
1117.26/1117.99	c 1117s |      21 |  1562209 |  1343545 |    17910    185 |        5 |      278
1119.35/1120.04	c 1119s |      21 |  1565664 |  1346545 |    17910    185 |        5 |      278
1121.46/1122.12	c 1121s |      21 |  1568672 |  1349245 |    17910    185 |        5 |      278
1123.56/1124.30	c 1124s |      21 |  1571015 |  1351345 |    17910    185 |        5 |      278
1125.65/1126.35	c 1126s |      21 |  1574031 |  1354045 |    17910    186 |        5 |      278
1127.64/1128.36	c 1128s |      21 |  1577048 |  1356745 |    17910    186 |        5 |      278
1129.74/1130.42	c 1130s |      21 |  1579646 |  1359045 |    17910    186 |        5 |      278
1131.74/1132.45	c 1132s |      21 |  1581967 |  1361145 |    17910    187 |        5 |      278
1133.74/1134.49	c 1134s |      21 |  1584892 |  1363845 |    17910    187 |        5 |      278
1136.13/1136.85	c 1136s |      21 |  1586301 |  1365145 |    17910    187 |        5 |      278
1138.23/1138.92	c 1138s |      21 |  1589373 |  1367845 |    17910    187 |        5 |      278
1140.23/1140.96	c 1140s |      21 |  1591831 |  1370045 |    17910    188 |        5 |      278
1142.34/1143.03	c 1142s |      21 |  1595001 |  1372945 |    17910    188 |        5 |      278
1144.33/1145.04	c 1144s |      21 |  1597719 |  1375445 |    17910    188 |        5 |      278
1146.42/1147.13	c 1146s |      21 |  1600372 |  1377845 |    17910    188 |        5 |      278
1148.42/1149.20	c 1149s |      21 |  1603382 |  1380245 |    17910    189 |        5 |      278
1150.52/1151.22	c 1151s |      21 |  1606234 |  1382845 |    17910    189 |        5 |      278
1153.02/1153.78	c 1153s |      21 |  1608356 |  1384845 |    17910    189 |        5 |      278
1155.12/1155.87	c 1155s |      21 |  1610672 |  1386945 |    17910    189 |        5 |      278
1157.21/1157.91	c 1157s |      21 |  1613181 |  1389245 |    17910    190 |        5 |      278
1159.21/1159.92	c 1159s |      21 |  1615743 |  1391645 |    17910    190 |        5 |      278
1161.31/1162.01	c 1161s |      21 |  1618124 |  1393845 |    17910    190 |        5 |      278
1163.31/1164.01	c 1163s |      21 |  1620226 |  1395745 |    17910    190 |        5 |      278
1165.32/1166.05	c 1165s |      21 |  1622458 |  1397745 |    17910    191 |        5 |      278
1167.30/1168.05	c 1167s |      21 |  1625298 |  1400345 |    17910    191 |        5 |      278
1169.40/1170.16	c 1170s |      21 |  1627882 |  1402745 |    17910    191 |        5 |      278
1171.50/1172.24	c 1172s |      21 |  1630205 |  1404845 |    17910    191 |        5 |      278
1173.50/1174.25	c 1174s |      21 |  1632618 |  1407045 |    17910    192 |        5 |      278
1175.71/1176.49	c 1176s |      21 |  1632941 |  1407345 |    17910    192 |        5 |      278
1178.20/1178.99	c 1178s |      21 |  1633061 |  1407445 |    17910    192 |        5 |      278
1180.30/1181.01	c 1180s |      21 |  1636181 |  1410045 |    17910    192 |        5 |      278
1182.30/1183.07	c 1182s |      21 |  1639673 |  1413045 |    17910    192 |        5 |      278
1184.40/1185.11	c 1184s |      21 |  1642804 |  1415645 |    17910    193 |        5 |      278
1186.40/1187.12	c 1186s |      21 |  1646351 |  1418745 |    17910    193 |        5 |      278
1188.40/1189.15	c 1189s |      21 |  1649740 |  1421745 |    17910    193 |        5 |      278
1190.60/1191.34	c 1191s |      21 |  1652282 |  1424045 |    17910    194 |        5 |      278
1192.60/1193.35	c 1193s |      21 |  1655531 |  1426845 |    17910    194 |        5 |      278
1194.69/1195.41	c 1195s |      21 |  1658840 |  1429745 |    17910    194 |        5 |      278
1196.69/1197.48	c 1197s |      21 |  1661754 |  1432445 |    17910    194 |        5 |      278
1198.79/1199.51	c 1199s |      21 |  1664633 |  1435045 |    17910    195 |        5 |      278
1200.79/1201.53	c 1201s |      21 |  1667537 |  1437645 |    17910    195 |        5 |      278
1202.80/1203.59	c 1203s |      21 |  1670377 |  1440145 |    17910    195 |        5 |      278
1204.78/1205.59	c 1205s |      21 |  1672967 |  1442445 |    17910    196 |        5 |      278
1206.88/1207.62	c 1207s |      21 |  1676012 |  1445245 |    17910    196 |        5 |      278
1209.98/1210.77	c 1210s |      21 |  1677247 |  1446345 |    17910    196 |        5 |      278
1212.08/1212.80	c 1212s |      21 |  1680247 |  1448945 |    17910    196 |        5 |      278
1214.28/1215.01	c 1214s |      21 |  1682922 |  1451345 |    17910    197 |        5 |      278
1216.28/1217.08	c 1216s |      21 |  1686208 |  1454345 |    17910    197 |        5 |      278
1218.37/1219.14	c 1219s |      21 |  1689078 |  1456945 |    17910    197 |        5 |      278
1220.38/1221.14	c 1221s |      21 |  1691552 |  1459145 |    17910    197 |        5 |      278
1222.37/1223.18	c 1223s |      21 |  1693530 |  1460945 |    17910    198 |        5 |      278
1224.47/1225.20	c 1225s |      21 |  1696298 |  1463445 |    17910    198 |        5 |      278
1226.46/1227.23	c 1227s |      21 |  1698961 |  1465745 |    17910    198 |        5 |      278
1228.56/1229.31	c 1229s |      21 |  1701594 |  1468045 |    17910    198 |        5 |      278
1230.56/1231.32	c 1231s |      21 |  1703826 |  1469945 |    17910    199 |        5 |      278
1232.56/1233.36	c 1233s |      21 |  1706430 |  1472345 |    17910    199 |        5 |      278
1234.66/1235.44	c 1235s |      21 |  1708937 |  1474645 |    17910    199 |        5 |      278
1237.05/1237.87	c 1237s |      21 |  1710605 |  1476145 |    17910    199 |        5 |      278
1239.15/1239.92	c 1239s |      21 |  1713007 |  1478245 |    17910    199 |        5 |      278
1241.35/1242.12	c 1241s |      21 |  1715438 |  1480445 |    17910    200 |        5 |      278
1243.36/1244.14	c 1244s |      21 |  1718595 |  1483145 |    17910    200 |        5 |      278
1245.35/1246.19	c 1246s |      21 |  1721476 |  1485745 |    17910    200 |        5 |      278
1247.45/1248.22	c 1248s |      21 |  1723899 |  1487945 |    17910    201 |        5 |      278
1249.45/1250.29	c 1250s |      21 |  1727012 |  1490745 |    19701    201 |        5 |      278
1251.55/1252.36	c 1252s |      21 |  1729662 |  1493145 |    19701    201 |        5 |      278
1254.04/1254.89	c 1254s |      21 |  1731770 |  1495045 |    19701    201 |        5 |      278
1256.14/1256.98	c 1256s |      21 |  1734039 |  1497045 |    19701    201 |        5 |      278
1258.24/1259.03	c 1258s |      21 |  1736487 |  1499245 |    19701    202 |        5 |      278
1259.25/1260.03	c 1259s |      22 |  1737977 |  1500622 |    19701    202 |        5 |      278
1261.25/1262.06	c 1261s |      22 |  1740707 |  1502922 |    19701    202 |        5 |      278
1263.25/1264.08	c 1263s |      22 |  1743510 |  1505422 |    19701    202 |        5 |      278
1265.24/1266.09	c 1265s |      22 |  1746174 |  1507722 |    19701    202 |        5 |      278
1267.55/1268.34	c 1268s |      22 |  1748934 |  1510222 |    19701    203 |        5 |      278
1269.54/1270.36	c 1270s |      22 |  1752004 |  1512822 |    19701    203 |        5 |      278
1271.64/1272.44	c 1272s |      22 |  1754913 |  1515022 |    19701    203 |        5 |      278
1273.64/1274.46	c 1274s |      22 |  1757498 |  1517122 |    19701    203 |        5 |      278
1275.74/1276.53	c 1276s |      22 |  1759890 |  1519122 |    19701    204 |        5 |      278
1277.73/1278.55	c 1278s |      22 |  1762506 |  1521122 |    19701    204 |        5 |      278
1279.83/1280.66	c 1280s |      22 |  1764815 |  1522822 |    19701    204 |        5 |      278
1281.94/1282.73	c 1282s |      22 |  1766896 |  1524722 |    19701    204 |        5 |      278
1284.03/1284.85	c 1284s |      22 |  1768615 |  1526322 |    19701    204 |        5 |      278
1286.12/1286.98	c 1286s |      22 |  1770259 |  1527822 |    19701    204 |        5 |      278
1288.22/1289.05	c 1288s |      22 |  1772670 |  1529822 |    19701    205 |        5 |      278
1290.22/1291.07	c 1290s |      22 |  1775272 |  1531922 |    19701    205 |        5 |      278
1292.22/1293.08	c 1292s |      22 |  1777804 |  1534122 |    19701    205 |        5 |      278
1294.31/1295.12	c 1294s |      22 |  1780032 |  1536022 |    19701    205 |        5 |      278
1297.62/1298.49	c 1298s |      22 |  1781933 |  1537622 |    19701    205 |        5 |      278
1299.72/1300.55	c 1300s |      22 |  1783576 |  1539022 |    19701    206 |        5 |      278
1301.72/1302.58	c 1302s |      22 |  1786885 |  1541922 |    19701    206 |        5 |      278
1303.82/1304.66	c 1304s |      22 |  1789882 |  1544522 |    19701    206 |        5 |      278
1305.81/1306.67	c 1306s |      22 |  1792745 |  1546922 |    19701    206 |        5 |      278
1307.91/1308.70	c 1308s |      22 |  1795294 |  1549222 |    19701    207 |        5 |      278
1309.91/1310.78	c 1310s |      22 |  1798022 |  1551622 |    19701    207 |        5 |      278
1311.91/1312.78	c 1312s |      22 |  1800734 |  1554022 |    19701    207 |        5 |      278
1314.01/1314.82	c 1314s |      22 |  1803217 |  1556222 |    19701    207 |        5 |      278
1316.11/1316.90	c 1316s |      22 |  1805207 |  1558022 |    19701    208 |        5 |      278
1318.12/1318.94	c 1318s |      22 |  1808244 |  1560722 |    19701    208 |        5 |      278
1320.11/1320.98	c 1320s |      22 |  1810773 |  1563022 |    19701    208 |        5 |      278
1322.21/1323.05	c 1322s |      22 |  1813297 |  1565322 |    19701    208 |        5 |      278
1324.30/1325.10	c 1324s |      22 |  1815836 |  1567522 |    19701    208 |        5 |      278
1326.30/1327.14	c 1327s |      22 |  1818136 |  1569622 |    19701    209 |        5 |      278
1328.30/1329.16	c 1329s |      22 |  1820487 |  1571722 |    19701    209 |        5 |      278
1330.31/1331.20	c 1331s |      22 |  1823501 |  1574422 |    19701    209 |        5 |      278
1332.41/1333.21	c 1333s |      22 |  1824785 |  1575522 |    19701    209 |        5 |      278
1334.40/1335.28	c 1335s |      22 |  1827242 |  1577622 |    19701    209 |        5 |      278
1336.40/1337.29	c 1337s |      22 |  1829626 |  1579722 |    19701    210 |        5 |      278
1338.50/1339.35	c 1339s |      22 |  1832499 |  1582322 |    19701    210 |        5 |      278
1340.60/1341.45	c 1341s |      22 |  1835281 |  1584722 |    19701    210 |        5 |      278
1342.69/1343.53	c 1343s |      22 |  1837696 |  1586922 |    19701    210 |        5 |      278
1344.69/1345.54	c 1345s |      22 |  1840011 |  1589022 |    19701    211 |        5 |      278
1346.70/1347.56	c 1347s |      22 |  1842424 |  1591222 |    19701    211 |        5 |      278
1348.79/1349.60	c 1349s |      22 |  1844784 |  1593422 |    19701    211 |        5 |      278
1350.79/1351.64	c 1351s |      22 |  1846937 |  1595422 |    19701    211 |        5 |      278
1352.79/1353.66	c 1353s |      22 |  1848571 |  1596922 |    19701    211 |        5 |      278
1354.89/1355.78	c 1355s |      22 |  1850763 |  1598922 |    19701    212 |        5 |      278
1356.99/1357.81	c 1357s |      22 |  1853632 |  1601422 |    19701    212 |        5 |      278
1358.99/1359.84	c 1359s |      22 |  1856196 |  1603622 |    19701    212 |        5 |      278
1361.00/1361.89	c 1361s |      22 |  1858671 |  1605822 |    19701    212 |        5 |      278
1363.20/1364.06	c 1363s |      22 |  1860879 |  1607822 |    19701    213 |        5 |      278
1365.19/1366.08	c 1365s |      22 |  1863103 |  1609822 |    19701    213 |        5 |      278
1367.29/1368.12	c 1367s |      22 |  1865746 |  1612122 |    19701    213 |        5 |      278
1369.29/1370.17	c 1370s |      22 |  1868197 |  1614322 |    19701    213 |        5 |      278
1371.39/1372.22	c 1372s |      22 |  1870328 |  1616222 |    19701    213 |        5 |      278
1373.39/1374.24	c 1374s |      22 |  1872798 |  1618322 |    19701    214 |        5 |      278
1375.39/1376.26	c 1376s |      22 |  1875854 |  1620622 |    19701    214 |        5 |      278
1377.49/1378.35	c 1378s |      22 |  1877842 |  1622322 |    19701    214 |        5 |      278
1379.59/1380.40	c 1380s |      22 |  1879626 |  1623922 |    19701    214 |        5 |      278
1382.78/1383.67	c 1383s |      22 |  1880920 |  1624922 |    19701    214 |        5 |      278
1384.78/1385.67	c 1385s |      22 |  1881883 |  1625822 |    19701    214 |        5 |      278
1386.88/1387.76	c 1387s |      22 |  1884029 |  1627722 |    19701    215 |        5 |      278
1388.98/1389.82	c 1389s |      22 |  1886508 |  1629922 |    19701    215 |        5 |      278
1390.98/1391.82	c 1391s |      22 |  1889382 |  1632422 |    19701    215 |        5 |      278
1392.99/1393.89	c 1393s |      22 |  1891738 |  1634522 |    19701    215 |        5 |      278
1395.09/1395.99	c 1395s |      22 |  1893957 |  1636522 |    19701    215 |        5 |      278
1397.18/1398.06	c 1397s |      22 |  1896613 |  1638722 |    19701    216 |        5 |      278
1399.28/1400.13	c 1399s |      22 |  1899724 |  1641122 |    19701    216 |        5 |      278
1401.28/1402.14	c 1402s |      22 |  1902126 |  1643122 |    19701    216 |        5 |      278
1403.38/1404.21	c 1404s |      22 |  1904485 |  1645122 |    19701    216 |        5 |      278
1405.38/1406.24	c 1406s |      22 |  1906559 |  1646922 |    19701    216 |        5 |      278
1407.48/1408.36	c 1408s |      22 |  1908983 |  1648922 |    19701    217 |        5 |      278
1409.58/1410.41	c 1410s |      22 |  1911862 |  1651322 |    19701    217 |        5 |      278
1411.59/1412.41	c 1412s |      22 |  1914203 |  1653322 |    19701    217 |        5 |      278
1413.68/1414.51	c 1414s |      22 |  1916630 |  1655122 |    19701    217 |        5 |      278
1415.68/1416.52	c 1416s |      22 |  1918338 |  1656622 |    19701    217 |        5 |      278
1417.68/1418.52	c 1418s |      22 |  1919995 |  1658122 |    19701    218 |        5 |      278
1419.68/1420.56	c 1420s |      22 |  1922406 |  1660122 |    19701    218 |        5 |      278
1421.77/1422.61	c 1422s |      22 |  1924813 |  1662022 |    19701    218 |        5 |      278
1423.78/1424.64	c 1424s |      22 |  1926738 |  1663722 |    19701    218 |        5 |      278
1425.77/1426.66	c 1426s |      22 |  1928579 |  1665322 |    19701    218 |        5 |      278
1427.77/1428.69	c 1428s |      22 |  1930417 |  1666922 |    19701    218 |        5 |      278
1429.87/1430.71	c 1430s |      22 |  1932448 |  1668622 |    19701    219 |        5 |      278
1431.87/1432.79	c 1432s |      22 |  1934968 |  1670822 |    19701    219 |        5 |      278
1433.97/1434.86	c 1434s |      22 |  1936681 |  1672322 |    19701    219 |        5 |      278
1436.07/1436.99	c 1436s |      22 |  1939192 |  1674522 |    19701    219 |        5 |      278
1438.27/1439.10	c 1438s |      22 |  1941696 |  1676522 |    19701    219 |        5 |      278
1440.28/1441.11	c 1440s |      22 |  1943466 |  1678022 |    19701    220 |        5 |      278
1442.27/1443.15	c 1443s |      22 |  1945973 |  1680122 |    19701    220 |        5 |      278
1444.27/1445.18	c 1445s |      22 |  1949083 |  1682722 |    19701    220 |        5 |      278
1446.37/1447.26	c 1447s |      22 |  1951891 |  1685122 |    19701    220 |        5 |      278
1448.57/1449.45	c 1449s |      22 |  1954343 |  1687322 |    19701    221 |        5 |      278
1450.57/1451.47	c 1451s |      22 |  1956988 |  1689522 |    19701    221 |        5 |      278
1452.67/1453.55	c 1453s |      22 |  1960289 |  1692422 |    19701    221 |        5 |      278
1454.77/1455.63	c 1455s |      22 |  1963145 |  1694922 |    19701    221 |        5 |      278
1456.78/1457.69	c 1457s |      22 |  1965761 |  1697222 |    19701    221 |        5 |      278
1458.88/1459.77	c 1459s |      22 |  1968753 |  1699922 |    19701    222 |        5 |      278
1460.97/1461.81	c 1461s |      22 |  1971542 |  1702522 |    19701    222 |        5 |      278
1462.97/1463.89	c 1463s |      22 |  1974517 |  1705122 |    19701    222 |        5 |      278
1465.58/1466.44	c 1466s |      22 |  1975311 |  1705822 |    19701    222 |        5 |      278
1467.57/1468.48	c 1468s |      22 |  1977446 |  1707622 |    19701    223 |        5 |      278
1469.67/1470.54	c 1470s |      22 |  1980320 |  1710122 |    19701    223 |        5 |      278
1471.67/1472.54	c 1472s |      22 |  1983225 |  1712722 |    19701    223 |        5 |      278
1473.67/1474.57	c 1474s |      22 |  1986396 |  1715422 |    19701    223 |        5 |      278
1475.77/1476.60	c 1476s |      22 |  1989225 |  1717722 |    19701    224 |        5 |      278
1477.77/1478.67	c 1478s |      22 |  1992256 |  1720222 |    19701    224 |        5 |      278
1479.88/1480.78	c 1480s |      22 |  1994483 |  1722222 |    19701    224 |        5 |      278
1481.98/1482.84	c 1482s |      22 |  1996420 |  1723922 |    19701    224 |        5 |      278
1484.07/1484.94	c 1484s |      22 |  1998471 |  1725722 |    19701    224 |        5 |      278
1486.07/1486.97	c 1486s |      22 |  2000514 |  1727522 |    19701    225 |        5 |      278
1488.07/1488.99	c 1488s |      22 |  2003581 |  1730322 |    19701    225 |        5 |      278
1490.17/1491.07	c 1490s |      22 |  2006176 |  1732622 |    19701    225 |        5 |      278
1492.27/1493.15	c 1493s |      22 |  2008546 |  1734822 |    19701    225 |        5 |      278
1494.37/1495.23	c 1495s |      22 |  2010759 |  1736822 |    19701    225 |        5 |      278
1496.37/1497.28	c 1497s |      22 |  2013280 |  1739122 |    19701    226 |        5 |      278
1498.66/1499.57	c 1499s |      22 |  2015137 |  1740822 |    19701    226 |        5 |      278
1500.67/1501.57	c 1501s |      22 |  2017735 |  1743122 |    19701    226 |        5 |      278
1502.76/1503.64	c 1503s |      22 |  2020124 |  1745322 |    19701    226 |        5 |      278
1504.76/1505.65	c 1505s |      22 |  2022260 |  1747222 |    19701    226 |        5 |      278
1506.76/1507.66	c 1507s |      22 |  2024667 |  1749422 |    19701    227 |        5 |      278
1508.76/1509.69	c 1509s |      22 |  2027256 |  1751822 |    19701    227 |        5 |      278
1510.86/1511.72	c 1511s |      22 |  2029681 |  1754022 |    19701    227 |        5 |      278
1512.87/1513.72	c 1513s |      22 |  2031366 |  1755622 |    19701    227 |        5 |      278
1514.97/1515.82	c 1515s |      22 |  2033566 |  1757322 |    19701    228 |        5 |      278
1516.96/1517.86	c 1517s |      22 |  2036292 |  1759322 |    19701    228 |        5 |      278
1519.16/1520.00	c 1519s |      22 |  2038414 |  1761322 |    19701    228 |        5 |      278
1521.16/1522.04	c 1521s |      22 |  2040495 |  1763222 |    19701    228 |        5 |      278
1523.16/1524.06	c 1523s |      22 |  2042310 |  1764822 |    19701    228 |        5 |      278
1525.26/1526.13	c 1525s |      22 |  2044745 |  1766622 |    19701    228 |        5 |      278
1527.26/1528.19	c 1528s |      22 |  2047266 |  1768522 |    19701    229 |        5 |      278
1529.36/1530.22	c 1530s |      22 |  2049769 |  1770522 |    19701    229 |        5 |      278
1531.36/1532.29	c 1532s |      22 |  2051764 |  1772122 |    19701    229 |        5 |      278
1533.46/1534.36	c 1534s |      22 |  2054062 |  1774022 |    19701    229 |        5 |      278
1535.56/1536.47	c 1536s |      22 |  2055848 |  1775422 |    19701    229 |        5 |      278
1537.76/1538.63	c 1538s |      22 |  2057435 |  1776822 |    19701    229 |        5 |      278
1539.85/1540.73	c 1540s |      22 |  2059448 |  1778422 |    19701    230 |        5 |      278
1541.85/1542.77	c 1542s |      22 |  2061731 |  1780322 |    19701    230 |        5 |      278
1543.95/1544.83	c 1544s |      22 |  2063889 |  1782122 |    19701    230 |        5 |      278
1545.95/1546.84	c 1546s |      22 |  2065862 |  1783822 |    19701    230 |        5 |      278
1547.96/1548.85	c 1548s |      22 |  2067669 |  1785322 |    19701    230 |        5 |      278
1550.05/1550.96	c 1550s |      22 |  2069629 |  1786922 |    19701    230 |        5 |      278
1552.16/1553.03	c 1552s |      22 |  2070664 |  1787722 |    19701    231 |        5 |      278
1554.26/1555.12	c 1554s |      22 |  2073703 |  1790122 |    19701    231 |        5 |      278
1556.26/1557.16	c 1557s |      22 |  2076207 |  1792222 |    19701    231 |        5 |      278
1558.36/1559.22	c 1559s |      22 |  2078234 |  1794022 |    19701    231 |        5 |      278
1560.46/1561.34	c 1561s |      22 |  2080493 |  1795822 |    19701    231 |        5 |      278
1562.66/1563.58	c 1563s |      22 |  2082260 |  1797222 |    19701    232 |        5 |      278
1565.76/1566.61	c 1566s |      22 |  2084586 |  1799122 |    19701    232 |        5 |      278
1567.76/1568.68	c 1568s |      22 |  2087208 |  1800922 |    19701    232 |        5 |      278
1569.86/1570.74	c 1570s |      22 |  2089772 |  1802822 |    19701    232 |        5 |      278
1571.85/1572.76	c 1572s |      22 |  2091900 |  1804522 |    19701    232 |        5 |      278
1573.95/1574.85	c 1574s |      22 |  2093933 |  1806122 |    19701    232 |        5 |      278
1576.05/1576.95	c 1576s |      22 |  2095901 |  1807722 |    19701    233 |        5 |      278
1578.15/1579.03	c 1578s |      22 |  2098372 |  1809722 |    19701    233 |        5 |      278
1580.25/1581.14	c 1581s |      22 |  2100832 |  1811522 |    19701    233 |        5 |      278
1582.35/1583.24	c 1583s |      22 |  2102838 |  1813222 |    19701    233 |        5 |      278
1584.36/1585.29	c 1585s |      22 |  2105162 |  1815022 |    19701    233 |        5 |      278
1586.56/1587.41	c 1587s |      22 |  2107008 |  1816622 |    19701    233 |        5 |      278
1588.55/1589.44	c 1589s |      22 |  2108551 |  1818022 |    19701    234 |        5 |      278
1590.65/1591.50	c 1591s |      22 |  2111120 |  1820022 |    19701    234 |        5 |      278
1592.65/1593.59	c 1593s |      22 |  2113786 |  1822222 |    19701    234 |        5 |      278
1594.75/1595.60	c 1595s |      22 |  2116067 |  1824022 |    19701    234 |        5 |      278
1596.75/1597.66	c 1597s |      22 |  2118491 |  1825822 |    19701    234 |        5 |      278
1598.95/1599.90	c 1599s |      22 |  2120741 |  1827422 |    19701    235 |        5 |      278
1601.04/1601.91	c 1601s |      22 |  2123520 |  1829722 |    19701    235 |        5 |      278
1603.14/1604.02	c 1603s |      22 |  2126083 |  1831822 |    19701    235 |        5 |      278
1605.15/1606.03	c 1605s |      22 |  2128082 |  1833222 |    19701    235 |        5 |      278
1607.24/1608.13	c 1607s |      22 |  2130583 |  1835022 |    19701    235 |        5 |      278
1609.24/1610.16	c 1610s |      22 |  2132594 |  1836822 |    19701    235 |        5 |      278
1611.24/1612.16	c 1612s |      22 |  2134856 |  1838822 |    19701    236 |        5 |      278
1613.24/1614.18	c 1614s |      22 |  2137706 |  1841022 |    19701    236 |        5 |      278
1615.34/1616.29	c 1616s |      22 |  2140131 |  1843022 |    19701    236 |        5 |      278
1617.54/1618.42	c 1618s |      22 |  2142246 |  1844822 |    19701    236 |        5 |      278
1619.64/1620.50	c 1620s |      22 |  2144169 |  1846522 |    19701    236 |        5 |      278
1621.65/1622.58	c 1622s |      22 |  2146277 |  1848322 |    19701    237 |        5 |      278
1623.64/1624.59	c 1624s |      22 |  2148856 |  1850322 |    19701    237 |        5 |      278
1625.74/1626.69	c 1626s |      22 |  2151078 |  1852122 |    19701    237 |        5 |      278
1627.84/1628.79	c 1628s |      22 |  2153079 |  1853722 |    19701    237 |        5 |      278
1629.94/1630.89	c 1630s |      22 |  2155395 |  1855422 |    19701    237 |        5 |      278
1632.04/1632.95	c 1632s |      22 |  2157088 |  1856822 |    19701    237 |        5 |      278
1634.14/1635.01	c 1634s |      22 |  2158852 |  1858322 |    19701    238 |        5 |      278
1636.14/1637.08	c 1636s |      22 |  2161098 |  1860222 |    19701    238 |        5 |      278
1638.14/1639.10	c 1638s |      22 |  2163395 |  1862322 |    19701    238 |        5 |      278
1640.23/1641.16	c 1641s |      22 |  2165743 |  1864122 |    19701    238 |        5 |      278
1642.33/1643.23	c 1643s |      22 |  2167835 |  1865822 |    19701    238 |        5 |      278
1644.33/1645.25	c 1645s |      22 |  2169746 |  1867322 |    19701    239 |        5 |      278
1646.43/1647.31	c 1647s |      22 |  2172348 |  1869422 |    19701    239 |        5 |      278
1648.53/1649.41	c 1649s |      22 |  2174480 |  1871122 |    19701    239 |        5 |      278
1650.63/1651.52	c 1651s |      22 |  2176650 |  1872822 |    19701    239 |        5 |      278
1652.63/1653.54	c 1653s |      22 |  2178286 |  1874222 |    19701    239 |        5 |      278
1654.75/1655.62	c 1655s |      22 |  2180150 |  1875622 |    19701    239 |        5 |      278
1656.85/1657.73	c 1657s |      22 |  2181995 |  1876922 |    19701    240 |        5 |      278
1658.84/1659.78	c 1659s |      22 |  2184811 |  1879122 |    19701    240 |        5 |      278
1660.94/1661.84	c 1661s |      22 |  2187182 |  1881022 |    19701    240 |        5 |      278
1663.04/1663.90	c 1663s |      22 |  2189500 |  1882922 |    19701    240 |        5 |      278
1665.04/1665.92	c 1665s |      22 |  2191540 |  1884622 |    19701    240 |        5 |      278
1667.04/1667.96	c 1667s |      22 |  2193609 |  1886222 |    19701    240 |        5 |      278
1669.14/1670.05	c 1669s |      22 |  2195727 |  1887922 |    19701    241 |        5 |      278
1671.25/1672.13	c 1671s |      22 |  2198156 |  1889422 |    19701    241 |        5 |      278
1673.24/1674.18	c 1674s |      22 |  2200123 |  1891022 |    19701    241 |        5 |      278
1675.34/1676.29	c 1676s |      22 |  2202487 |  1892822 |    19701    241 |        5 |      278
1677.54/1678.41	c 1678s |      22 |  2204628 |  1894622 |    19701    241 |        5 |      278
1679.64/1680.50	c 1680s |      22 |  2206781 |  1896222 |    19701    241 |        5 |      278
1681.74/1682.60	c 1682s |      22 |  2208760 |  1897722 |    19701    242 |        5 |      278
1683.74/1684.64	c 1684s |      22 |  2210884 |  1899422 |    19701    242 |        5 |      278
1685.73/1686.65	c 1686s |      22 |  2212963 |  1901022 |    19701    242 |        5 |      278
1687.83/1688.72	c 1688s |      22 |  2214607 |  1902322 |    19701    242 |        5 |      278
1689.84/1690.75	c 1690s |      22 |  2216231 |  1903622 |    19701    242 |        5 |      278
1691.83/1692.76	c 1692s |      22 |  2218457 |  1905522 |    19701    242 |        5 |      278
1693.93/1694.83	c 1694s |      22 |  2220248 |  1907122 |    19701    243 |        5 |      278
1695.93/1696.88	c 1696s |      22 |  2223520 |  1909822 |    19701    243 |        5 |      278
1698.03/1698.95	c 1698s |      22 |  2226209 |  1911922 |    19701    243 |        5 |      278
1700.13/1701.01	c 1700s |      22 |  2228587 |  1913822 |    19701    243 |        5 |      278
1702.13/1703.06	c 1702s |      22 |  2230397 |  1915422 |    19701    243 |        5 |      278
1704.24/1705.16	c 1705s |      22 |  2232137 |  1916922 |    19701    244 |        5 |      278
1706.23/1707.18	c 1707s |      22 |  2234606 |  1919022 |    19701    244 |        5 |      278
1708.33/1709.23	c 1709s |      22 |  2236735 |  1920722 |    19701    244 |        5 |      278
1710.43/1711.32	c 1711s |      22 |  2238902 |  1922522 |    19701    244 |        5 |      278
1712.53/1713.43	c 1713s |      22 |  2240906 |  1924222 |    19701    244 |        5 |      278
1714.63/1715.51	c 1715s |      22 |  2242663 |  1925722 |    19701    244 |        5 |      278
1716.63/1717.56	c 1717s |      22 |  2244665 |  1927422 |    19701    245 |        5 |      278
1718.63/1719.57	c 1719s |      22 |  2246906 |  1929222 |    19701    245 |        5 |      278
1720.73/1721.64	c 1721s |      22 |  2249079 |  1931022 |    19701    245 |        5 |      278
1722.83/1723.73	c 1723s |      22 |  2251419 |  1932922 |    19701    245 |        5 |      278
1724.93/1725.87	c 1725s |      22 |  2253406 |  1934622 |    19701    245 |        5 |      278
1727.03/1727.95	c 1727s |      22 |  2255257 |  1936222 |    19701    245 |        5 |      278
1729.03/1729.97	c 1729s |      22 |  2257266 |  1937922 |    19701    246 |        5 |      278
1731.12/1732.02	c 1731s |      22 |  2259739 |  1939922 |    19701    246 |        5 |      278
1733.22/1734.11	c 1733s |      22 |  2262227 |  1941822 |    19701    246 |        5 |      278
1735.22/1736.17	c 1736s |      22 |  2264345 |  1943522 |    19701    246 |        5 |      278
1737.42/1738.32	c 1738s |      22 |  2266159 |  1945122 |    19701    246 |        5 |      278
1739.43/1740.39	c 1740s |      22 |  2267493 |  1946322 |    19701    246 |        5 |      278
1741.53/1742.45	c 1742s |      22 |  2268694 |  1947322 |    19701    247 |        5 |      278
1743.62/1744.50	c 1744s |      22 |  2271448 |  1949722 |    19701    247 |        5 |      278
1745.62/1746.56	c 1746s |      22 |  2273915 |  1951822 |    19701    247 |        5 |      278
1747.72/1748.65	c 1748s |      22 |  2276317 |  1953722 |    19701    247 |        5 |      278
1749.82/1750.70	c 1750s |      22 |  2278353 |  1955422 |    19701    247 |        5 |      278
1751.82/1752.76	c 1752s |      22 |  2280237 |  1957022 |    19701    248 |        5 |      278
1753.82/1754.78	c 1754s |      22 |  2282622 |  1959022 |    19701    248 |        5 |      278
1755.82/1756.78	c 1756s |      22 |  2283586 |  1959722 |    19701    248 |        5 |      278
1757.91/1758.81	c 1758s |      22 |  2286182 |  1961922 |    19701    248 |        5 |      278
1759.91/1760.89	c 1760s |      22 |  2289147 |  1964422 |    19701    248 |        5 |      278
1762.01/1762.90	c 1762s |      22 |  2291614 |  1966622 |    19701    248 |        5 |      278
1764.01/1764.95	c 1764s |      22 |  2294906 |  1969522 |    19701    249 |        5 |      278
1766.11/1767.05	c 1766s |      22 |  2297861 |  1972122 |    19701    249 |        5 |      278
1768.11/1769.08	c 1768s |      22 |  2300471 |  1974422 |    19701    249 |        5 |      278
1770.22/1771.15	c 1771s |      22 |  2302887 |  1976522 |    19701    249 |        5 |      278
1772.32/1773.22	c 1773s |      22 |  2305242 |  1978622 |    19701    250 |        5 |      278
1774.32/1775.25	c 1775s |      22 |  2308121 |  1981122 |    19701    250 |        5 |      278
1776.42/1777.31	c 1777s |      22 |  2310701 |  1983422 |    19701    250 |        5 |      278
1778.42/1779.33	c 1779s |      22 |  2313095 |  1985622 |    19701    250 |        5 |      278
1780.42/1781.35	c 1781s |      22 |  2315562 |  1987822 |    19701    251 |        5 |      278
1783.12/1784.09	c 1783s |      22 |  2318275 |  1990322 |    19701    251 |        5 |      278
1785.22/1786.18	c 1786s |      22 |  2321066 |  1992822 |    19701    251 |        5 |      278
1787.32/1788.24	c 1788s |      22 |  2323453 |  1994922 |    19701    251 |        5 |      278
1789.32/1790.27	c 1790s |      22 |  2325390 |  1996622 |    19701    252 |        5 |      278
1791.42/1792.32	c 1792s |      22 |  2328390 |  1999222 |    19701    252 |        5 |      278
1793.42/1794.32	c 1794s |      22 |  2330932 |  2001422 |    19701    252 |        5 |      278
1795.42/1796.35	c 1796s |      22 |  2333434 |  2003622 |    19701    252 |        5 |      278
1797.51/1798.43	c 1798s |      22 |  2335779 |  2005722 |    19701    252 |        5 |      278
1799.51/1800.47	c 1800s |      22 |  2338141 |  2007722 |    19701    253 |        5 |      278

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-4097513-1466117869/watcher-4097513-1466117869 -o /tmp/evaluation-result-4097513-1466117869/solver-4097513-1466117869 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466115959-20139 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097513-1466117869.opb 

pid=21146
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.05 2.04 2.21 3/179 21149
/proc/meminfo: memFree=30668824/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 3012 0 0 0 0 0 0 0 20 0 4 0 13837393 823586816 3373 33554432000 4194304 16246674 140736907271264 140736907270688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21149/statm: 201583 3381 441 2943 0 198477 0
[pid=21149/tid=21150] ppid=21146 vsize=822716 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 842461184 3444 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=826812 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 846655488 3462 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=830908 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13837393 850849792 3479 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100213 s]
/proc/loadavg: 2.05 2.04 2.21 3/179 21149
/proc/meminfo: memFree=30668824/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 22742 0 0 0 6 3 0 0 20 0 4 0 13837393 1250496512 23040 33554432000 4194304 16246674 140736907271264 140736907270576 5913024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21149/statm: 305297 23040 834 2943 0 302191 0
[pid=21149/tid=21150] ppid=21146 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1250496512 23040 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1250496512 23040 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1250496512 23040 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200525 s]
/proc/loadavg: 2.05 2.04 2.21 3/179 21149
/proc/meminfo: memFree=30668824/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 40952 0 0 0 13 6 0 0 20 0 4 0 13837393 1250496512 41250 33554432000 4194304 16246674 140736907271264 140736907270576 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21149/statm: 305297 41262 876 2943 0 302191 0
[pid=21149/tid=21150] ppid=21146 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1250496512 41266 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1250496512 41270 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1250496512 41275 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300481 s]
/proc/loadavg: 2.05 2.04 2.21 3/179 21149
/proc/meminfo: memFree=30668824/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 62343 0 0 0 20 9 0 0 20 0 4 0 13837393 1250496512 62641 33554432000 4194304 16246674 140736907271264 140736907270576 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21149/statm: 305297 62651 876 2943 0 302191 0
[pid=21149/tid=21150] ppid=21146 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1250496512 62656 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1250496512 62664 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1250496512 62670 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.7004 s]
/proc/loadavg: 2.05 2.04 2.21 3/179 21149
/proc/meminfo: memFree=30668824/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 149328 0 0 0 48 21 0 0 20 0 4 0 13837393 1250496512 149627 33554432000 4194304 16246674 140736907271264 140736907270576 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/21149/statm: 305297 149647 876 2943 0 302191 0
[pid=21149/tid=21150] ppid=21146 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1250496512 149651 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1250496512 149661 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1250496512 149675 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50036 s]
/proc/loadavg: 2.05 2.04 2.21 3/183 21153
/proc/meminfo: memFree=29755360/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1301060 CPUtime=1.48 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 266311 0 0 0 115 33 0 0 20 0 4 0 13837393 1332285440 266609 33554432000 4194304 16246674 140736907271264 140736907270480 5822428 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21149/statm: 325265 266609 879 2943 0 322159 0
[pid=21149/tid=21150] ppid=21146 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1332285440 266609 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1332285440 266609 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1332285440 266609 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10036 s]
/proc/loadavg: 2.05 2.04 2.21 3/183 21153
/proc/meminfo: memFree=29604080/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 267834 0 0 0 275 34 0 0 20 0 4 0 13837393 1338576896 268132 33554432000 4194304 16246674 140736907271264 140736907253184 5829313 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21149/statm: 326801 268132 881 2943 0 323695 0
[pid=21149/tid=21150] ppid=21146 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1338576896 268132 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1338576896 268132 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1338576896 268132 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30036 s]
/proc/loadavg: 2.13 2.05 2.21 3/183 21153
/proc/meminfo: memFree=29596872/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 268241 0 0 0 595 34 0 0 20 0 4 0 13837393 1339625472 268539 33554432000 4194304 16246674 140736907271264 140736907254264 5827966 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21149/statm: 327057 268539 886 2943 0 323951 0
[pid=21149/tid=21150] ppid=21146 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1339625472 268539 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1339625472 268539 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1339625472 268539 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.12 2.05 2.21 3/183 21153
/proc/meminfo: memFree=29592996/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1311300 CPUtime=12.68 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 269009 0 0 0 1234 34 0 0 20 0 4 0 13837393 1342771200 269307 33554432000 4194304 16246674 140736907271264 140736907270360 13898404 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21149/statm: 327825 269307 886 2943 0 324719 0
[pid=21149/tid=21150] ppid=21146 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1342771200 269307 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1342771200 269307 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1342771200 269307 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1311300

[startup+25.5004 s]
/proc/loadavg: 2.09 2.05 2.21 3/183 21153
/proc/meminfo: memFree=29590028/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1314372 CPUtime=25.48 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 269777 0 0 0 2513 35 0 0 20 0 4 0 13837393 1345916928 270075 33554432000 4194304 16246674 140736907271264 140736907254264 5672056 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21149/statm: 328593 270075 886 2943 0 325487 0
[pid=21149/tid=21150] ppid=21146 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1345916928 270075 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1345916928 270075 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1345916928 270075 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 2.06 2.04 2.20 3/183 21153
/proc/meminfo: memFree=29571032/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1329732 CPUtime=51.06 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 273617 0 0 0 5071 35 0 0 20 0 4 0 13837393 1361645568 273915 33554432000 4194304 16246674 140736907271264 140736907253184 5523315 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21149/statm: 332433 273915 886 2943 0 329327 0
[pid=21149/tid=21150] ppid=21146 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1361645568 273915 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1361645568 273915 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1361645568 273915 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 1329732

[startup+102.3 s]
/proc/loadavg: 2.09 2.05 2.19 3/183 21154
/proc/meminfo: memFree=29561532/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1333828 CPUtime=102.25 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 274642 0 0 0 10189 36 0 0 20 0 4 0 13837393 1365839872 274940 33554432000 4194304 16246674 140736907271264 140736907253184 5676036 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/21149/statm: 333457 274940 887 2943 0 330351 0
[pid=21149/tid=21150] ppid=21146 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1365839872 274940 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1365839872 274940 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1333828 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1365839872 274940 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1333828


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

/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.52
Current children cumulated vsize (KiB) 1386052

[startup+1362.3 s]
/proc/loadavg: 2.11 2.04 2.06 3/184 21211
/proc/meminfo: memFree=29450968/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1386052 CPUtime=1361.49 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 288076 0 0 0 136096 53 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140736907254256 5523192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21149/statm: 346513 287999 887 2943 0 343407 0
[pid=21149/tid=21150] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.49
Current children cumulated vsize (KiB) 1386052

[startup+1422.3 s]
/proc/loadavg: 2.04 2.03 2.06 3/183 21212
/proc/meminfo: memFree=29450760/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1386052 CPUtime=1421.48 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 288081 0 0 0 142095 53 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140736907253184 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21149/statm: 346513 287999 887 2943 0 343407 0
[pid=21149/tid=21150] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.48
Current children cumulated vsize (KiB) 1386052

[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.06 3/182 21213
/proc/meminfo: memFree=29451148/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1386052 CPUtime=1481.47 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 288081 0 0 0 148093 54 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140736907270440 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21149/statm: 346513 287999 887 2943 0 343407 0
[pid=21149/tid=21150] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.47
Current children cumulated vsize (KiB) 1386052

[startup+1542.31 s]
/proc/loadavg: 2.11 2.06 2.06 3/183 21215
/proc/meminfo: memFree=29451012/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1386052 CPUtime=1541.46 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 288081 0 0 0 154092 54 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140736907253184 5675216 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21149/statm: 346513 287999 887 2943 0 343407 0
[pid=21149/tid=21150] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.46
Current children cumulated vsize (KiB) 1386052

[startup+1602.3 s]
/proc/loadavg: 2.07 2.06 2.06 3/183 21216
/proc/meminfo: memFree=29449592/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1386052 CPUtime=1601.44 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 288081 0 0 0 160089 55 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140736907254256 5545784 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21149/statm: 346513 287999 887 2943 0 343407 0
[pid=21149/tid=21150] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.44
Current children cumulated vsize (KiB) 1386052

[startup+1662.3 s]
/proc/loadavg: 2.02 2.05 2.05 3/183 21217
/proc/meminfo: memFree=29450092/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1386052 CPUtime=1661.44 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 288081 0 0 0 166088 56 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140736907254256 5829939 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21149/statm: 346513 287999 887 2943 0 343407 0
[pid=21149/tid=21150] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.44
Current children cumulated vsize (KiB) 1386052

[startup+1722.3 s]
/proc/loadavg: 2.12 2.07 2.06 3/183 21365
/proc/meminfo: memFree=29508780/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1386052 CPUtime=1721.43 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 288081 0 0 0 172087 56 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140736907253184 5822604 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21149/statm: 346513 287999 887 2943 0 343407 0
[pid=21149/tid=21150] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.43
Current children cumulated vsize (KiB) 1386052

[startup+1782.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/183 21366
/proc/meminfo: memFree=29508492/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1386052 CPUtime=1781.42 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 288081 0 0 0 178085 57 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140736907253184 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21149/statm: 346513 287999 887 2943 0 343407 0
[pid=21149/tid=21150] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.42
Current children cumulated vsize (KiB) 1386052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 2.03 2.05 2.05 3/183 21367
/proc/meminfo: memFree=29508192/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1386052 CPUtime=1800.01 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 288081 0 0 0 179944 57 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140736907253184 5523371 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21149/statm: 346513 287999 887 2943 0 343407 0
[pid=21149/tid=21150] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1386052

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

[startup+1800.9 s]
/proc/loadavg: 2.03 2.05 2.05 3/183 21367
/proc/meminfo: memFree=29508192/32872528 swapFree=188940/188940
[pid=21149] ppid=21146 vsize=1386052 CPUtime=1800.01 cores=0,2,4,6
/proc/21149/stat : 21149 (toysat) R 21146 21149 17164 0 -1 4202496 288081 0 0 0 179944 57 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140736907253184 5523371 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21149/statm: 346513 287999 887 2943 0 343407 0
[pid=21149/tid=21150] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21150/stat : 21150 (toysat) S 21146 21149 17164 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108414037232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21149/tid=21151] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21151/stat : 21151 (toysat) S 21146 21149 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108403547376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=21149/tid=21152] ppid=21146 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/21149/task/21152/stat : 21152 (toysat) S 21146 21149 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13837393 1419317248 287999 33554432000 4194304 16246674 140736907271264 140108393073840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1386052

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.91
CPU time (s): 1800.03
CPU user time (s): 1799.45
CPU system time (s): 0.571913
CPU usage (%): 99.951
Max. virtual memory (cumulated for all children) (KiB): 1386052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.571913
maximum resident set size= 1151996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288081
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= 404
involuntary context switches= 2675

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43033 second user time and 7.08792 second system time

The end

Begin job on node102 at 2016-06-17 00:57:49
IDJOB=4097513
IDBENCH=107768
IDSOLVER=2542
FILE ID=node102/4097513-1466117869
RUNJOBID= node102-1466115959-20139
PBS_JOBID= 19904127
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_6_28.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4097513-1466117869/watcher-4097513-1466117869 -o /tmp/evaluation-result-4097513-1466117869/solver-4097513-1466117869 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1466115959-20139 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097513-1466117869.opb

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

MD5SUM BENCH= 22ea56458a790e2d89c0350616b326b1
RANDOM SEED=1314836949

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30669468 kB
Buffers:           49920 kB
Cached:           167516 kB
SwapCached:         1412 kB
Active:          1217068 kB
Inactive:          92820 kB
Active(anon):    1093356 kB
Inactive(anon):     1076 kB
Active(file):     123712 kB
Inactive(file):    91744 kB
Unevictable:      188940 kB
Mlocked:          188940 kB
SwapTotal:      67108856 kB
SwapFree:       67099224 kB
Dirty:             16500 kB
Writeback:             0 kB
AnonPages:       1280036 kB
Mapped:            10588 kB
Shmem:                 0 kB
Slab:             570768 kB
SReclaimable:      14148 kB
SUnreclaim:       556620 kB
KernelStack:        1496 kB
PageTables:         6732 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1426364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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= 71692 MiB
End job on node102 at 2016-06-17 01:27:50