0.00/0.00	c 2016-06-16T23:31:34+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-4096218-1466112694.opb"]
0.00/0.01	c use --random-gen="3975103095 3038235797 578031468 3749088593 617780531 738207250 2567532238 2334802531 2249930408 1217817291 4121242082 556535148 3620376816 96726899 1011743902 3048402019 237670305 4213309068 2481429684 390678389 766173708 3573830199 1724036975 2664353067 3864243948 3675939874 708223523 2761565232 3838189321 3602873208 3205371129 4073116841 3896574451 3610674012 1381389660 977329798 3125463643 55044534 2402434959 425900843 1449062087 2994603098 2967948732 2020976667 300062000 697597430 2889887702 1636434705 2249343218 3745561159 2851796670 1410548826 2249737976 2886125384 955571319 1136173325 1473498463 1308660742 1766206427 578879096 484867823 3605196620 608061201 3781599358 3355912355 3667993996 1228327679 2692128604 895847711 3508949936 2957898238 432251995 1272796661 1216036743 998799040 1613935948 739767941 931767330 3289705161 3586009316 3622017239 2936279212 2709429714 3618236059 737582307 865923169 2173542260 4047273394 2109542342 4112874460 1733249506 232109040 16146589 4159411440 4118227845 3194634148 1460030629 3691911425 1926883818 263847013 1829602248 3809524569 2512771170 4108220721 1245898668 1576693730 2984687831 2602451106 127506461 2146485716 2639922104 711959845 1288363709 4276020719 3934241040 1277200812 1739852169 3633327416 1223782213 135264258 2547266494 143383729 2825579809 675422329 4027967676 881581590 2567860249 4241150218 1849213590 774001656 2021236422 3385940442 1074039422 1041642510 1326059502 3096520230 3667988210 1581141919 1168097408 2607085232 1189679133 2551689475 3238394132 2494734470 2720852276 2090712987 182047354 1570586595 2477940942 45419698 501338051 4040808504 909078079 678564547 424908523 2896851647 3662294318 889731068 2481601195 2288524175 321831766 597072675 2644946259 3133436878 1224981193 4185725415 2358435539 2268454238 231334465 3910614339 2238148719 1996739058 2011623640 3753590935 1612525112 120777797 2994579497 252367289 3202735615 723439321 4183824611 1467863750 13103439 1809274758 961128396 2743874512 3457545747 4203022944 19710510 2330296102 2696496592 2531478712 3388430726 2943659422 3026891411 3292087151 2913077652 2299125741 3079600318 430425152 2968703561 3775732853 3407972212 3755785598 1727031944 423744 3352848815 2648320739 2493042152 233556147 3053053633 3985014473 172196291 2300717942 3279635100 983239639 1872818342 1614097416 3823900935 3094176543 1394632279 3539681374 4105510879 1218568995 3511012738 2403001843 3389417848 2134013180 1963085142 1407874205 2802251191 701920291 1735553463 3791845361 286627215 1824934575 3935701451 4017278448 2331264239 1907054091 1533208823 3731476859 741470623 796450297 3888390671 653595725 2761778607 731622739 2309832328 2126889053 2678741759 3671853130 2104350332 1918884887 2919589899 4217588670 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1056
0.00/0.06	c #constraints 4997
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |     2016      0 |        5 |        0
0.09/0.15	c  0.0s |       1 |      131 |      100 |     2016      0 |        5 |      254
0.19/0.20	c  0.1s |       2 |      318 |      250 |     2218      0 |        5 |      254
0.29/0.32	c  0.2s |       3 |      640 |      475 |     2440      0 |        5 |      254
0.39/0.46	c  0.4s |       4 |     1022 |      813 |     2684      0 |        5 |      254
0.59/0.66	c  0.5s |       5 |     1683 |     1320 |     2953      0 |        5 |      254
0.89/0.99	c  0.9s |       6 |     2630 |     2081 |     3574      0 |        5 |      254
1.49/1.50	c  1.4s |       7 |     3981 |     3223 |     3932      0 |        5 |      254
2.09/2.16	c  2.0s |       8 |     5991 |     4936 |     4326      1 |        5 |      254
3.09/3.20	c  3.1s |       9 |     9080 |     7506 |     4759      2 |        5 |      254
4.69/4.73	c  4.6s |      10 |    13641 |    11361 |     5235      3 |        5 |      254
6.68/6.75	c  6.6s |      10 |    19447 |    16261 |     5235      5 |        5 |      254
6.98/7.10	c  7.0s |      11 |    20422 |    17144 |     5759      5 |        5 |      254
9.08/9.12	c  9.0s |      11 |    25174 |    21444 |     5759      7 |        5 |      254
10.98/11.06	c 11.0s |      12 |    30122 |    25819 |     6335      8 |        5 |      254
13.08/13.10	c 13.0s |      12 |    35594 |    30419 |     6335      9 |        5 |      254
15.08/15.11	c 15.0s |      12 |    41371 |    35419 |     6335     11 |        5 |      254
16.58/16.61	c 16.5s |      13 |    45308 |    38832 |     6969     12 |        5 |      254
18.59/18.64	c 18.5s |      13 |    50255 |    43132 |     6969     13 |        5 |      254
20.58/20.64	c 20.5s |      13 |    55528 |    47732 |     6969     14 |        5 |      254
22.59/22.68	c 22.6s |      13 |    60363 |    52032 |     6969     16 |        5 |      254
24.58/24.69	c 24.6s |      13 |    64926 |    56132 |     6969     17 |        5 |      254
25.68/25.71	c 25.6s |      14 |    67412 |    58352 |     7666     17 |        5 |      254
27.69/27.74	c 27.6s |      14 |    72659 |    62752 |     7666     18 |        5 |      254
29.69/29.78	c 29.7s |      14 |    77924 |    67352 |     7666     19 |        5 |      254
31.79/31.82	c 31.7s |      14 |    83117 |    71852 |     7666     21 |        5 |      254
33.79/33.85	c 33.7s |      14 |    88333 |    76352 |     7666     22 |        5 |      254
35.79/35.89	c 35.8s |      14 |    93622 |    80952 |     7666     23 |        5 |      254
37.89/37.91	c 37.8s |      14 |    98340 |    85252 |     7666     24 |        5 |      254
38.99/39.03	c 38.9s |      15 |   100963 |    87632 |     8433     24 |        5 |      254
40.98/41.05	c 40.9s |      15 |   104795 |    91032 |     8433     25 |        5 |      254
42.98/43.06	c 43.0s |      15 |   109168 |    94932 |     8433     26 |        5 |      254
45.08/45.10	c 45.0s |      15 |   113009 |    98432 |     8433     27 |        5 |      254
47.08/47.12	c 47.0s |      15 |   117178 |   102032 |     8433     28 |        5 |      254
49.08/49.18	c 49.1s |      15 |   121674 |   106032 |     8433     29 |        5 |      254
51.08/51.18	c 51.1s |      15 |   126189 |   110032 |     8433     30 |        5 |      254
53.18/53.20	c 53.1s |      15 |   130668 |   114032 |     8433     31 |        5 |      254
55.18/55.26	c 55.2s |      15 |   135116 |   118032 |     8433     32 |        5 |      254
57.18/57.27	c 57.2s |      15 |   139438 |   121832 |     8433     32 |        5 |      254
59.18/59.29	c 59.2s |      15 |   143837 |   125732 |     8433     33 |        5 |      254
61.27/61.31	c 61.2s |      15 |   148241 |   129632 |     8433     34 |        5 |      254
62.37/62.42	c 62.3s |      16 |   150337 |   131552 |     9277     34 |        5 |      254
64.38/64.43	c 64.3s |      16 |   154552 |   135052 |     9277     35 |        5 |      254
66.37/66.46	c 66.3s |      16 |   159520 |   139252 |     9277     36 |        5 |      254
68.37/68.47	c 68.4s |      16 |   163854 |   142952 |     9277     37 |        5 |      254
70.47/70.55	c 70.4s |      16 |   169226 |   147552 |     9277     38 |        5 |      254
72.47/72.56	c 72.4s |      16 |   173749 |   151552 |     9277     39 |        5 |      254
74.47/74.56	c 74.5s |      16 |   178047 |   155452 |     9277     40 |        5 |      254
76.68/76.78	c 76.7s |      16 |   182072 |   159052 |     9277     40 |        5 |      254
78.78/78.83	c 78.7s |      16 |   186609 |   163052 |     9277     41 |        5 |      254
80.78/80.87	c 80.8s |      16 |   191035 |   166952 |     9277     42 |        5 |      254
82.88/83.00	c 82.9s |      16 |   195093 |   170652 |     9277     43 |        5 |      254
84.98/85.00	c 84.9s |      16 |   200128 |   174952 |     9277     44 |        5 |      254
86.98/87.08	c 87.0s |      16 |   204658 |   179052 |     9277     45 |        5 |      254
88.98/89.09	c 89.0s |      16 |   208798 |   182852 |     9277     45 |        5 |      254
91.08/91.17	c 91.1s |      16 |   212631 |   186352 |     9277     46 |        5 |      254
93.08/93.18	c 93.1s |      16 |   216639 |   189952 |     9277     47 |        5 |      254
95.08/95.19	c 95.1s |      16 |   220337 |   193252 |     9277     48 |        5 |      254
97.08/97.19	c 97.1s |      17 |   225088 |   197432 |    10205     48 |        5 |      254
99.18/99.22	c 99.1s |      17 |   228981 |   200732 |    10205     49 |        5 |      254
101.17/101.23	c  101s |      17 |   233271 |   204432 |    10205     50 |        5 |      254
103.17/103.26	c  103s |      17 |   237730 |   208432 |    10205     50 |        5 |      254
105.17/105.29	c  105s |      17 |   242217 |   212432 |    10205     51 |        5 |      254
107.28/107.31	c  107s |      17 |   245873 |   215632 |    10205     52 |        5 |      254
109.27/109.36	c  109s |      17 |   250078 |   219432 |    10205     52 |        5 |      254
111.27/111.38	c  111s |      17 |   254206 |   223132 |    10205     53 |        5 |      254
113.37/113.40	c  113s |      17 |   258319 |   226832 |    10205     54 |        5 |      254
115.37/115.43	c  115s |      17 |   262009 |   230232 |    10205     55 |        5 |      254
117.67/117.70	c  117s |      17 |   265898 |   233832 |    10205     55 |        5 |      254
119.67/119.78	c  119s |      17 |   270272 |   237632 |    10205     56 |        5 |      254
121.67/121.78	c  121s |      17 |   274513 |   241332 |    10205     57 |        5 |      254
123.67/123.80	c  123s |      17 |   278488 |   244932 |    10205     57 |        5 |      254
125.77/125.83	c  125s |      17 |   282380 |   248232 |    10205     58 |        5 |      254
127.77/127.87	c  127s |      17 |   287074 |   252232 |    10205     59 |        5 |      254
129.77/129.89	c  129s |      17 |   290961 |   255732 |    10205     59 |        5 |      254
131.87/131.91	c  131s |      17 |   295138 |   259532 |    10205     60 |        5 |      254
133.87/133.93	c  133s |      17 |   299247 |   263132 |    10205     61 |        5 |      254
135.87/135.98	c  135s |      17 |   302680 |   266132 |    10205     61 |        5 |      254
137.86/137.98	c  137s |      17 |   307110 |   269932 |    10205     62 |        5 |      254
139.96/140.01	c  139s |      17 |   311166 |   273532 |    10205     63 |        5 |      254
141.96/142.05	c  141s |      17 |   315248 |   277132 |    10205     64 |        5 |      254
144.06/144.10	c  143s |      17 |   319293 |   280832 |    10205     64 |        5 |      254
146.06/146.12	c  146s |      17 |   323002 |   284132 |    10205     65 |        5 |      254
148.06/148.13	c  148s |      17 |   326862 |   287632 |    10205     66 |        5 |      254
150.07/150.13	c  150s |      17 |   330757 |   291232 |    10205     66 |        5 |      254
152.06/152.18	c  152s |      17 |   334921 |   295032 |    11226     67 |        5 |      254
152.76/152.86	c  152s |      18 |   336220 |   296252 |    11226     67 |        5 |      254
154.76/154.87	c  154s |      18 |   339633 |   299152 |    11226     68 |        5 |      254
156.86/156.92	c  156s |      18 |   343946 |   302952 |    11226     68 |        5 |      254
158.86/158.94	c  158s |      18 |   347633 |   306252 |    11226     69 |        5 |      254
160.96/161.00	c  160s |      18 |   351712 |   309652 |    11226     69 |        5 |      254
162.96/163.02	c  162s |      18 |   355987 |   313252 |    11226     70 |        5 |      254
164.97/165.06	c  164s |      18 |   360172 |   316952 |    11226     71 |        5 |      254
167.07/167.11	c  166s |      18 |   364656 |   320852 |    11226     71 |        5 |      254
169.07/169.14	c  169s |      18 |   369004 |   324752 |    11226     72 |        5 |      254
171.07/171.18	c  171s |      18 |   373283 |   328552 |    11226     73 |        5 |      254
173.07/173.18	c  173s |      18 |   377267 |   332152 |    11226     73 |        5 |      254
175.66/175.73	c  175s |      18 |   381262 |   335852 |    11226     74 |        5 |      254
177.67/177.73	c  177s |      18 |   384644 |   338852 |    11226     75 |        5 |      254
179.66/179.76	c  179s |      18 |   389027 |   342652 |    11226     75 |        5 |      254
181.76/181.82	c  181s |      18 |   393182 |   346352 |    11226     76 |        5 |      254
183.76/183.82	c  183s |      18 |   396851 |   349752 |    11226     77 |        5 |      254
185.76/185.84	c  185s |      18 |   400354 |   352852 |    11226     77 |        5 |      254
187.76/187.88	c  187s |      18 |   404276 |   356352 |    11226     78 |        5 |      254
189.86/189.93	c  189s |      18 |   408348 |   360052 |    11226     78 |        5 |      254
191.86/191.96	c  191s |      18 |   411609 |   363052 |    11226     79 |        5 |      254
193.96/194.00	c  193s |      18 |   415154 |   366352 |    11226     79 |        5 |      254
195.96/196.06	c  195s |      18 |   418665 |   369652 |    11226     80 |        5 |      254
197.96/198.07	c  197s |      18 |   421798 |   372552 |    11226     81 |        5 |      254
199.96/200.09	c  199s |      18 |   425362 |   375852 |    11226     81 |        5 |      254
202.06/202.10	c  201s |      18 |   427564 |   377752 |    11226     81 |        5 |      254
204.06/204.11	c  204s |      18 |   432080 |   381652 |    11226     82 |        5 |      254
206.05/206.13	c  206s |      18 |   436241 |   385352 |    11226     83 |        5 |      254
208.05/208.14	c  208s |      18 |   440285 |   389052 |    11226     83 |        5 |      254
210.05/210.17	c  210s |      18 |   443761 |   392152 |    11226     84 |        5 |      254
212.15/212.21	c  212s |      18 |   447525 |   395552 |    11226     85 |        5 |      254
214.15/214.25	c  214s |      18 |   451438 |   399152 |    11226     85 |        5 |      254
216.25/216.30	c  216s |      18 |   454848 |   402352 |    11226     86 |        5 |      254
218.26/218.33	c  218s |      18 |   458408 |   405652 |    11226     86 |        5 |      254
220.25/220.35	c  220s |      18 |   461796 |   408552 |    11226     87 |        5 |      254
222.35/222.42	c  222s |      18 |   465626 |   411952 |    11226     87 |        5 |      254
224.35/224.43	c  224s |      18 |   469259 |   415152 |    11226     88 |        5 |      254
226.35/226.45	c  226s |      18 |   472942 |   418452 |    11226     89 |        5 |      254
228.36/228.49	c  228s |      18 |   476412 |   421652 |    11226     89 |        5 |      254
230.46/230.53	c  230s |      18 |   479785 |   424652 |    11226     90 |        5 |      254
232.46/232.53	c  232s |      18 |   483485 |   428052 |    11226     90 |        5 |      254
234.46/234.53	c  234s |      18 |   486726 |   431052 |    11226     91 |        5 |      254
236.46/236.56	c  236s |      18 |   490012 |   434152 |    11226     91 |        5 |      254
238.75/238.81	c  238s |      18 |   493160 |   437052 |    11226     92 |        5 |      254
240.75/240.83	c  240s |      18 |   497150 |   440652 |    11226     92 |        5 |      254
242.75/242.84	c  242s |      18 |   500874 |   444052 |    12349     93 |        5 |      254
242.95/243.08	c  242s |      19 |   501329 |   444482 |    12349     93 |        5 |      254
245.05/245.11	c  244s |      19 |   504814 |   447382 |    12349     93 |        5 |      254
247.05/247.14	c  247s |      19 |   509130 |   451182 |    12349     94 |        5 |      254
249.06/249.19	c  249s |      19 |   512678 |   454182 |    12349     95 |        5 |      254
251.05/251.20	c  251s |      19 |   516966 |   457982 |    12349     95 |        5 |      254
253.15/253.24	c  253s |      19 |   520776 |   461382 |    12349     96 |        5 |      254
255.35/255.42	c  255s |      19 |   523795 |   464082 |    12349     96 |        5 |      254
257.35/257.46	c  257s |      19 |   527398 |   467282 |    12349     97 |        5 |      254
259.35/259.49	c  259s |      19 |   531743 |   470982 |    12349     97 |        5 |      254
261.45/261.53	c  261s |      19 |   535504 |   474282 |    12349     98 |        5 |      254
263.46/263.59	c  263s |      19 |   539645 |   477882 |    12349     98 |        5 |      254
265.55/265.64	c  265s |      19 |   543615 |   481382 |    12349     99 |        5 |      254
267.65/267.70	c  267s |      19 |   547116 |   484582 |    12349     99 |        5 |      254
269.65/269.72	c  269s |      19 |   550893 |   487882 |    12349    100 |        5 |      254
271.65/271.78	c  271s |      19 |   554933 |   491382 |    12349    100 |        5 |      254
273.75/273.81	c  273s |      19 |   559376 |   495382 |    12349    101 |        5 |      254
275.75/275.86	c  275s |      19 |   562354 |   498082 |    12349    102 |        5 |      254
277.75/277.89	c  277s |      19 |   566011 |   501482 |    12349    102 |        5 |      254
279.74/279.90	c  279s |      19 |   569149 |   504282 |    12349    103 |        5 |      254
281.84/281.94	c  281s |      19 |   572850 |   507682 |    12349    103 |        5 |      254
283.84/283.98	c  283s |      19 |   576099 |   510582 |    12349    104 |        5 |      254
285.94/286.00	c  285s |      19 |   579709 |   513882 |    12349    104 |        5 |      254
288.35/288.47	c  288s |      19 |   582183 |   516082 |    12349    104 |        5 |      254
290.35/290.49	c  290s |      19 |   586467 |   519682 |    12349    105 |        5 |      254
292.35/292.49	c  292s |      19 |   590466 |   523182 |    12349    106 |        5 |      254
294.45/294.53	c  294s |      19 |   594999 |   527082 |    12349    106 |        5 |      254
296.45/296.54	c  296s |      19 |   598903 |   530482 |    12349    107 |        5 |      254
298.45/298.58	c  298s |      19 |   603134 |   534282 |    12349    107 |        5 |      254
300.55/300.60	c  300s |      19 |   605517 |   536382 |    12349    108 |        5 |      254
302.55/302.63	c  302s |      19 |   610273 |   540482 |    12349    108 |        5 |      254
304.55/304.65	c  304s |      19 |   614649 |   544382 |    12349    109 |        5 |      254
306.65/306.79	c  306s |      19 |   618764 |   548082 |    12349    110 |        5 |      254
308.75/308.81	c  308s |      19 |   623144 |   552082 |    12349    110 |        5 |      254
310.75/310.84	c  310s |      19 |   626846 |   555482 |    12349    111 |        5 |      254
312.75/312.84	c  312s |      19 |   630483 |   558782 |    12349    111 |        5 |      254
314.75/314.86	c  314s |      19 |   633679 |   561682 |    12349    112 |        5 |      254
316.74/316.88	c  316s |      19 |   637159 |   564782 |    12349    112 |        5 |      254
318.74/318.90	c  318s |      19 |   639296 |   566682 |    12349    112 |        5 |      254
320.84/320.92	c  320s |      19 |   643414 |   570382 |    12349    113 |        5 |      254
322.85/322.97	c  322s |      19 |   646817 |   573382 |    12349    114 |        5 |      254
324.84/324.97	c  324s |      19 |   650621 |   576682 |    12349    114 |        5 |      254
326.84/326.99	c  326s |      19 |   654092 |   579682 |    12349    115 |        5 |      254
328.84/328.99	c  328s |      19 |   658288 |   583382 |    12349    115 |        5 |      254
330.94/331.03	c  330s |      19 |   662375 |   587082 |    12349    116 |        5 |      254
332.94/333.09	c  332s |      19 |   666033 |   590382 |    12349    116 |        5 |      254
335.04/335.10	c  334s |      19 |   669745 |   593782 |    12349    117 |        5 |      254
337.04/337.11	c  337s |      19 |   673086 |   596882 |    12349    117 |        5 |      254
339.04/339.18	c  339s |      19 |   676303 |   599882 |    12349    118 |        5 |      254
341.93/342.06	c  341s |      19 |   679282 |   602582 |    12349    118 |        5 |      254
344.03/344.10	c  343s |      19 |   683016 |   605982 |    12349    119 |        5 |      254
346.03/346.17	c  346s |      19 |   686596 |   609282 |    12349    119 |        5 |      254
348.04/348.20	c  348s |      19 |   689735 |   612182 |    12349    120 |        5 |      254
350.13/350.25	c  350s |      19 |   692943 |   615182 |    12349    120 |        5 |      254
352.13/352.27	c  352s |      19 |   696064 |   618082 |    12349    121 |        5 |      254
354.13/354.27	c  354s |      19 |   698847 |   620682 |    12349    121 |        5 |      254
356.13/356.29	c  356s |      19 |   702009 |   623582 |    12349    122 |        5 |      254
358.23/358.36	c  358s |      19 |   705540 |   626782 |    12349    122 |        5 |      254
360.23/360.38	c  360s |      19 |   708656 |   629582 |    12349    123 |        5 |      254
362.33/362.43	c  362s |      19 |   712509 |   633082 |    12349    123 |        5 |      254
364.42/364.51	c  364s |      19 |   715514 |   635782 |    12349    124 |        5 |      254
366.42/366.55	c  366s |      19 |   719271 |   639182 |    12349    124 |        5 |      254
368.52/368.62	c  368s |      19 |   722687 |   642282 |    12349    125 |        5 |      254
370.52/370.67	c  370s |      19 |   726310 |   645682 |    12349    125 |        5 |      254
372.62/372.70	c  372s |      19 |   729107 |   648182 |    12349    125 |        5 |      254
374.63/374.70	c  374s |      19 |   732817 |   651482 |    12349    126 |        5 |      254
376.63/376.74	c  376s |      19 |   736324 |   654682 |    12349    127 |        5 |      254
378.63/378.77	c  378s |      19 |   739201 |   657182 |    12349    127 |        5 |      254
380.72/380.81	c  380s |      19 |   743449 |   660882 |    12349    128 |        5 |      254
382.72/382.85	c  382s |      19 |   747590 |   664482 |    13584    128 |        5 |      254
384.12/384.23	c  384s |      20 |   750233 |   666827 |    13584    128 |        5 |      254
386.12/386.25	c  386s |      20 |   753534 |   669627 |    13584    129 |        5 |      254
388.22/388.30	c  388s |      20 |   757533 |   673027 |    13584    129 |        5 |      254
390.22/390.33	c  390s |      20 |   761743 |   676727 |    13584    130 |        5 |      254
392.22/392.39	c  392s |      20 |   765884 |   680427 |    13584    130 |        5 |      254
394.82/394.95	c  394s |      20 |   769835 |   684027 |    13584    131 |        5 |      254
396.82/396.99	c  396s |      20 |   773004 |   686727 |    13584    131 |        5 |      254
398.92/399.00	c  398s |      20 |   777076 |   690327 |    13584    132 |        5 |      254
400.92/401.03	c  400s |      20 |   781141 |   693827 |    13584    132 |        5 |      254
402.92/403.08	c  402s |      20 |   784963 |   697227 |    13584    133 |        5 |      254
405.02/405.10	c  404s |      20 |   789009 |   700827 |    13584    133 |        5 |      254
407.02/407.12	c  407s |      20 |   792794 |   704227 |    13584    134 |        5 |      254
409.01/409.16	c  409s |      20 |   796475 |   707627 |    13584    134 |        5 |      254
411.01/411.19	c  411s |      20 |   799698 |   710427 |    13584    135 |        5 |      254
413.11/413.23	c  413s |      20 |   802872 |   713227 |    13584    135 |        5 |      254
415.11/415.26	c  415s |      20 |   806679 |   716527 |    13584    136 |        5 |      254
417.11/417.29	c  417s |      20 |   811282 |   720627 |    13584    136 |        5 |      254
419.11/419.30	c  419s |      20 |   814863 |   723927 |    13584    137 |        5 |      254
421.20/421.34	c  421s |      20 |   818832 |   727527 |    13584    137 |        5 |      254
423.30/423.44	c  423s |      20 |   821924 |   730227 |    13584    138 |        5 |      254
425.30/425.48	c  425s |      20 |   826370 |   734227 |    13584    138 |        5 |      254
427.40/427.51	c  427s |      20 |   830080 |   737627 |    13584    139 |        5 |      254
429.41/429.52	c  429s |      20 |   833556 |   740827 |    13584    139 |        5 |      254
431.40/431.55	c  431s |      20 |   836919 |   743927 |    13584    139 |        5 |      254
433.40/433.57	c  433s |      20 |   840504 |   747227 |    13584    140 |        5 |      254
435.50/435.61	c  435s |      20 |   844038 |   750427 |    13584    140 |        5 |      254
438.50/438.63	c  438s |      20 |   844724 |   751027 |    13584    141 |        5 |      254
440.51/440.65	c  440s |      20 |   849171 |   754927 |    13584    141 |        5 |      254
442.50/442.69	c  442s |      20 |   852803 |   758227 |    13584    142 |        5 |      254
444.60/444.75	c  444s |      20 |   856625 |   761527 |    13584    142 |        5 |      254
446.70/446.86	c  446s |      20 |   860128 |   764627 |    13584    143 |        5 |      254
448.79/448.92	c  448s |      20 |   863825 |   767927 |    13584    143 |        5 |      254
450.79/450.96	c  450s |      20 |   867443 |   771227 |    13584    143 |        5 |      254
452.79/452.98	c  452s |      20 |   870665 |   774227 |    13584    144 |        5 |      254
454.89/455.01	c  454s |      20 |   873810 |   777127 |    13584    144 |        5 |      254
457.19/457.35	c  457s |      20 |   876277 |   779427 |    13584    145 |        5 |      254
459.20/459.36	c  459s |      20 |   880308 |   783027 |    13584    145 |        5 |      254
461.19/461.37	c  461s |      20 |   883233 |   785727 |    13584    146 |        5 |      254
463.29/463.42	c  463s |      20 |   887302 |   789327 |    13584    146 |        5 |      254
465.29/465.48	c  465s |      20 |   890235 |   791927 |    13584    146 |        5 |      254
467.29/467.49	c  467s |      20 |   894225 |   795527 |    13584    147 |        5 |      254
469.39/469.50	c  469s |      20 |   897401 |   798427 |    13584    147 |        5 |      254
471.38/471.50	c  471s |      20 |   901034 |   801727 |    13584    148 |        5 |      254
473.39/473.51	c  473s |      20 |   904440 |   804827 |    13584    148 |        5 |      254
475.38/475.57	c  475s |      20 |   907588 |   807727 |    13584    149 |        5 |      254
477.49/477.61	c  477s |      20 |   910074 |   810027 |    13584    149 |        5 |      254
479.49/479.63	c  479s |      20 |   913013 |   812727 |    13584    149 |        5 |      254
481.59/481.70	c  481s |      20 |   916488 |   815927 |    13584    150 |        5 |      254
483.59/483.76	c  483s |      20 |   919925 |   819027 |    13584    150 |        5 |      254
485.60/485.78	c  485s |      20 |   923248 |   822127 |    13584    151 |        5 |      254
487.69/487.81	c  487s |      20 |   926435 |   825127 |    13584    151 |        5 |      254
489.69/489.82	c  489s |      20 |   929461 |   827927 |    13584    152 |        5 |      254
491.69/491.85	c  491s |      20 |   932453 |   830727 |    13584    152 |        5 |      254
493.69/493.88	c  493s |      20 |   934793 |   832727 |    13584    152 |        5 |      254
495.68/495.89	c  495s |      20 |   938504 |   836027 |    13584    153 |        5 |      254
497.78/497.91	c  497s |      20 |   942151 |   839327 |    13584    153 |        5 |      254
499.79/499.91	c  499s |      20 |   945373 |   842227 |    13584    154 |        5 |      254
501.78/501.96	c  501s |      20 |   949218 |   845727 |    13584    154 |        5 |      254
503.78/503.96	c  503s |      20 |   952869 |   849027 |    13584    155 |        5 |      254
505.78/505.99	c  505s |      20 |   956476 |   852327 |    13584    155 |        5 |      254
507.88/508.00	c  507s |      20 |   959720 |   855327 |    13584    156 |        5 |      254
510.08/510.25	c  510s |      20 |   961942 |   857427 |    13584    156 |        5 |      254
512.18/512.30	c  512s |      20 |   965955 |   860827 |    13584    156 |        5 |      254
514.18/514.30	c  514s |      20 |   969825 |   864127 |    13584    157 |        5 |      254
516.18/516.38	c  516s |      20 |   973587 |   867527 |    13584    157 |        5 |      254
518.18/518.39	c  518s |      20 |   977657 |   871027 |    13584    158 |        5 |      254
520.58/520.74	c  520s |      20 |   981419 |   874327 |    13584    158 |        5 |      254
522.58/522.78	c  522s |      20 |   985314 |   877627 |    13584    159 |        5 |      254
524.68/524.82	c  524s |      20 |   989523 |   881327 |    13584    159 |        5 |      254
526.68/526.84	c  526s |      20 |   993208 |   884627 |    13584    160 |        5 |      254
528.67/528.89	c  528s |      20 |   996827 |   887827 |    13584    160 |        5 |      254
530.77/530.93	c  530s |      20 |  1000691 |   891227 |    13584    161 |        5 |      254
532.78/532.99	c  532s |      20 |  1004286 |   894427 |    13584    161 |        5 |      254
534.87/535.04	c  534s |      20 |  1007955 |   897827 |    13584    162 |        5 |      254
536.87/537.06	c  536s |      20 |  1009673 |   899427 |    13584    162 |        5 |      254
538.97/539.15	c  539s |      20 |  1012778 |   902327 |    13584    163 |        5 |      254
540.96/541.17	c  541s |      20 |  1016243 |   905527 |    13584    163 |        5 |      254
543.06/543.24	c  543s |      20 |  1019275 |   908327 |    13584    163 |        5 |      254
545.06/545.29	c  545s |      20 |  1022554 |   911227 |    13584    164 |        5 |      254
547.17/547.32	c  547s |      20 |  1025679 |   914127 |    13584    164 |        5 |      254
549.16/549.35	c  549s |      20 |  1028738 |   916827 |    13584    165 |        5 |      254
551.16/551.38	c  551s |      20 |  1032672 |   920327 |    13584    165 |        5 |      254
553.27/553.41	c  553s |      20 |  1035930 |   923327 |    13584    166 |        5 |      254
555.37/555.56	c  555s |      20 |  1039003 |   926127 |    13584    166 |        5 |      254
557.47/557.62	c  557s |      20 |  1042579 |   929227 |    13584    166 |        5 |      254
559.47/559.65	c  559s |      20 |  1046376 |   932627 |    13584    167 |        5 |      254
561.47/561.69	c  561s |      20 |  1050215 |   936027 |    13584    167 |        5 |      254
563.57/563.74	c  563s |      20 |  1054010 |   939527 |    13584    168 |        5 |      254
565.56/565.77	c  565s |      20 |  1056173 |   941427 |    13584    168 |        5 |      254
567.56/567.79	c  567s |      20 |  1060228 |   944927 |    13584    169 |        5 |      254
569.66/569.81	c  569s |      20 |  1064584 |   948727 |    13584    169 |        5 |      254
571.66/571.81	c  571s |      20 |  1068437 |   952127 |    13584    170 |        5 |      254
573.66/573.82	c  573s |      20 |  1071794 |   955227 |    13584    170 |        5 |      254
575.66/575.84	c  575s |      20 |  1075200 |   958327 |    13584    171 |        5 |      254
577.76/577.90	c  577s |      20 |  1078924 |   961627 |    13584    171 |        5 |      254
579.76/579.91	c  579s |      20 |  1081922 |   964427 |    13584    172 |        5 |      254
581.75/581.93	c  581s |      20 |  1085596 |   967727 |    13584    172 |        5 |      254
583.75/583.94	c  583s |      20 |  1088965 |   970727 |    13584    172 |        5 |      254
585.75/585.96	c  585s |      20 |  1092863 |   974227 |    13584    173 |        5 |      254
587.75/587.99	c  587s |      20 |  1095611 |   976727 |    13584    173 |        5 |      254
589.85/590.02	c  589s |      20 |  1098938 |   979827 |    13584    174 |        5 |      254
591.85/592.03	c  591s |      20 |  1102042 |   982727 |    13584    174 |        5 |      254
593.95/594.10	c  593s |      20 |  1104274 |   984827 |    13584    175 |        5 |      254
595.95/596.12	c  596s |      20 |  1107454 |   987827 |    13584    175 |        5 |      254
597.95/598.14	c  598s |      20 |  1110193 |   990427 |    13584    175 |        5 |      254
600.24/600.49	c  600s |      20 |  1113014 |   993027 |    13584    176 |        5 |      254
602.34/602.52	c  602s |      20 |  1116685 |   996327 |    14943    176 |        5 |      254
604.35/604.53	c  604s |      20 |  1119717 |   999127 |    14943    176 |        5 |      254
605.45/605.68	c  605s |      21 |  1121026 |  1000345 |    14943    177 |        5 |      254
607.55/607.76	c  607s |      21 |  1123110 |  1002145 |    14943    177 |        5 |      254
609.64/609.81	c  609s |      21 |  1127232 |  1005645 |    14943    177 |        5 |      254
611.64/611.84	c  611s |      21 |  1130998 |  1008945 |    14943    178 |        5 |      254
613.64/613.87	c  613s |      21 |  1135070 |  1012445 |    14943    178 |        5 |      254
615.64/615.88	c  615s |      21 |  1138508 |  1015445 |    14943    179 |        5 |      254
617.64/617.88	c  617s |      21 |  1142579 |  1019045 |    14943    179 |        5 |      254
619.74/619.94	c  619s |      21 |  1146008 |  1022145 |    14943    179 |        5 |      254
622.44/622.62	c  622s |      21 |  1148713 |  1024645 |    14943    180 |        5 |      254
624.44/624.65	c  624s |      21 |  1152840 |  1028245 |    14943    180 |        5 |      254
626.54/626.70	c  626s |      21 |  1156218 |  1031145 |    14943    181 |        5 |      254
628.55/628.76	c  628s |      21 |  1159956 |  1034445 |    14943    181 |        5 |      254
630.54/630.77	c  630s |      21 |  1163217 |  1037345 |    14943    181 |        5 |      254
632.53/632.78	c  632s |      21 |  1166785 |  1040645 |    14943    182 |        5 |      254
634.53/634.79	c  634s |      21 |  1170013 |  1043445 |    14943    182 |        5 |      254
636.53/636.80	c  636s |      21 |  1173281 |  1046345 |    14943    183 |        5 |      254
638.63/638.85	c  638s |      21 |  1176057 |  1048845 |    14943    183 |        5 |      254
640.73/640.90	c  640s |      21 |  1179585 |  1052045 |    14943    183 |        5 |      254
642.74/642.94	c  642s |      21 |  1183123 |  1055245 |    14943    184 |        5 |      254
644.73/644.99	c  644s |      21 |  1186631 |  1058345 |    14943    184 |        5 |      254
646.83/647.03	c  646s |      21 |  1190167 |  1061445 |    14943    185 |        5 |      254
648.83/649.06	c  648s |      21 |  1193906 |  1064845 |    14943    185 |        5 |      254
650.82/651.08	c  650s |      21 |  1197015 |  1067745 |    14943    185 |        5 |      254
652.82/653.09	c  652s |      21 |  1200756 |  1071045 |    14943    186 |        5 |      254
654.83/655.10	c  654s |      21 |  1203461 |  1073545 |    14943    186 |        5 |      254
656.92/657.13	c  657s |      21 |  1206413 |  1076245 |    14943    187 |        5 |      254
658.92/659.17	c  659s |      21 |  1210099 |  1079645 |    14943    187 |        5 |      254
661.02/661.22	c  661s |      21 |  1213221 |  1082545 |    14943    187 |        5 |      254
663.02/663.25	c  663s |      21 |  1216753 |  1085745 |    14943    188 |        5 |      254
665.22/665.42	c  665s |      21 |  1218178 |  1087045 |    14943    188 |        5 |      254
667.22/667.44	c  667s |      21 |  1221950 |  1090345 |    14943    188 |        5 |      254
669.22/669.44	c  669s |      21 |  1225966 |  1093945 |    14943    189 |        5 |      254
671.33/671.51	c  671s |      21 |  1229301 |  1096945 |    14943    189 |        5 |      254
673.32/673.54	c  673s |      21 |  1233163 |  1100345 |    14943    190 |        5 |      254
675.32/675.59	c  675s |      21 |  1236528 |  1103245 |    14943    190 |        5 |      254
677.32/677.59	c  677s |      21 |  1239696 |  1106045 |    14943    191 |        5 |      254
679.42/679.65	c  679s |      21 |  1243847 |  1109645 |    14943    191 |        5 |      254
681.41/681.67	c  681s |      21 |  1247212 |  1112645 |    14943    191 |        5 |      254
683.42/683.69	c  683s |      21 |  1251261 |  1116345 |    14943    192 |        5 |      254
685.51/685.74	c  685s |      21 |  1254866 |  1119645 |    14943    192 |        5 |      254
687.51/687.75	c  687s |      21 |  1258248 |  1122645 |    14943    193 |        5 |      254
689.51/689.78	c  689s |      21 |  1261865 |  1125745 |    14943    193 |        5 |      254
691.61/691.85	c  691s |      21 |  1264933 |  1128545 |    14943    194 |        5 |      254
693.61/693.87	c  693s |      21 |  1268238 |  1131545 |    14943    194 |        5 |      254
695.71/695.93	c  695s |      21 |  1271782 |  1134745 |    14943    194 |        5 |      254
697.71/697.97	c  697s |      21 |  1275242 |  1137945 |    14943    195 |        5 |      254
699.81/700.00	c  699s |      21 |  1278459 |  1140945 |    14943    195 |        5 |      254
702.00/702.27	c  702s |      21 |  1279870 |  1142245 |    14943    195 |        5 |      254
704.00/704.27	c  704s |      21 |  1283350 |  1145245 |    14943    196 |        5 |      254
706.00/706.27	c  706s |      21 |  1287058 |  1148545 |    14943    196 |        5 |      254
708.20/708.41	c  708s |      21 |  1290166 |  1151345 |    14943    197 |        5 |      254
710.19/710.44	c  710s |      21 |  1293926 |  1154745 |    14943    197 |        5 |      254
712.19/712.50	c  712s |      21 |  1297343 |  1157845 |    14943    197 |        5 |      254
714.30/714.53	c  714s |      21 |  1300722 |  1160945 |    14943    198 |        5 |      254
716.30/716.59	c  716s |      21 |  1302982 |  1163045 |    14943    198 |        5 |      254
718.40/718.61	c  718s |      21 |  1306375 |  1166145 |    14943    198 |        5 |      254
720.39/720.65	c  720s |      21 |  1309933 |  1169445 |    14943    199 |        5 |      254
722.39/722.69	c  722s |      21 |  1312882 |  1172145 |    14943    199 |        5 |      254
724.49/724.73	c  724s |      21 |  1315648 |  1174745 |    14943    200 |        5 |      254
726.49/726.75	c  726s |      21 |  1318208 |  1177045 |    14943    200 |        5 |      254
728.50/728.76	c  728s |      21 |  1321436 |  1179945 |    14943    200 |        5 |      254
730.49/730.79	c  730s |      21 |  1324422 |  1182645 |    14943    201 |        5 |      254
732.59/732.81	c  732s |      21 |  1327805 |  1185745 |    14943    201 |        5 |      254
734.59/734.86	c  734s |      21 |  1330700 |  1188445 |    14943    201 |        5 |      254
736.68/736.91	c  736s |      21 |  1332545 |  1190145 |    14943    202 |        5 |      254
738.68/738.98	c  738s |      21 |  1336520 |  1193745 |    14943    202 |        5 |      254
740.78/741.07	c  740s |      21 |  1339585 |  1196545 |    14943    203 |        5 |      254
742.89/743.11	c  743s |      21 |  1343469 |  1199945 |    14943    203 |        5 |      254
744.88/745.12	c  745s |      21 |  1346870 |  1202845 |    14943    203 |        5 |      254
746.88/747.15	c  747s |      21 |  1349335 |  1205045 |    14943    204 |        5 |      254
748.88/749.19	c  749s |      21 |  1353574 |  1208745 |    14943    204 |        5 |      254
750.98/751.21	c  751s |      21 |  1357064 |  1211845 |    14943    205 |        5 |      254
752.98/753.23	c  753s |      21 |  1361107 |  1215445 |    14943    205 |        5 |      254
754.99/755.25	c  755s |      21 |  1364716 |  1218745 |    14943    205 |        5 |      254
756.98/757.27	c  757s |      21 |  1368559 |  1222245 |    14943    206 |        5 |      254
759.88/760.18	c  760s |      21 |  1369988 |  1223545 |    14943    206 |        5 |      254
761.98/762.21	c  762s |      21 |  1373905 |  1226845 |    14943    207 |        5 |      254
763.98/764.25	c  764s |      21 |  1378686 |  1231045 |    14943    207 |        5 |      254
766.08/766.30	c  766s |      21 |  1382330 |  1234245 |    14943    207 |        5 |      254
768.08/768.35	c  768s |      21 |  1386495 |  1237845 |    14943    208 |        5 |      254
770.07/770.37	c  770s |      21 |  1390253 |  1241245 |    14943    208 |        5 |      254
772.17/772.41	c  772s |      21 |  1394163 |  1244745 |    14943    209 |        5 |      254
774.47/774.73	c  774s |      21 |  1396871 |  1247245 |    14943    209 |        5 |      254
776.47/776.76	c  776s |      21 |  1399983 |  1249945 |    14943    210 |        5 |      254
778.57/778.81	c  778s |      21 |  1404119 |  1253645 |    14943    210 |        5 |      254
780.56/780.86	c  780s |      21 |  1407412 |  1256645 |    14943    210 |        5 |      254
782.56/782.86	c  782s |      21 |  1411348 |  1260145 |    14943    211 |        5 |      254
784.67/784.93	c  784s |      21 |  1414718 |  1263245 |    14943    211 |        5 |      254
786.66/786.97	c  786s |      21 |  1417316 |  1265645 |    14943    212 |        5 |      254
788.76/789.02	c  788s |      21 |  1421134 |  1269045 |    14943    212 |        5 |      254
790.76/791.04	c  790s |      21 |  1424317 |  1271945 |    14943    212 |        5 |      254
792.75/793.09	c  792s |      21 |  1427762 |  1275145 |    14943    213 |        5 |      254
794.85/795.14	c  795s |      21 |  1430850 |  1277945 |    14943    213 |        5 |      254
796.85/797.17	c  797s |      21 |  1433775 |  1280545 |    14943    214 |        5 |      254
798.86/799.19	c  799s |      21 |  1437558 |  1283945 |    14943    214 |        5 |      254
800.95/801.24	c  801s |      21 |  1439050 |  1285345 |    14943    214 |        5 |      254
803.06/803.35	c  803s |      21 |  1441309 |  1287245 |    14943    215 |        5 |      254
805.06/805.37	c  805s |      21 |  1445987 |  1291345 |    14943    215 |        5 |      254
807.06/807.39	c  807s |      21 |  1449718 |  1294645 |    14943    215 |        5 |      254
809.15/809.43	c  809s |      21 |  1453535 |  1298045 |    14943    216 |        5 |      254
811.15/811.47	c  811s |      21 |  1457072 |  1301245 |    14943    216 |        5 |      254
813.16/813.49	c  813s |      21 |  1460446 |  1304345 |    14943    217 |        5 |      254
815.25/815.52	c  815s |      21 |  1463844 |  1307345 |    14943    217 |        5 |      254
817.35/817.60	c  817s |      21 |  1466734 |  1309945 |    14943    218 |        5 |      254
819.85/820.19	c  820s |      21 |  1470519 |  1313345 |    14943    218 |        5 |      254
821.95/822.24	c  822s |      21 |  1474271 |  1316645 |    14943    218 |        5 |      254
823.94/824.27	c  824s |      21 |  1477902 |  1319945 |    14943    219 |        5 |      254
826.04/826.30	c  826s |      21 |  1480936 |  1322645 |    14943    219 |        5 |      254
828.04/828.31	c  828s |      21 |  1484221 |  1325645 |    14943    220 |        5 |      254
830.05/830.36	c  830s |      21 |  1487760 |  1328845 |    14943    220 |        5 |      254
832.04/832.38	c  832s |      21 |  1491313 |  1332045 |    14943    220 |        5 |      254
834.24/834.55	c  834s |      21 |  1494580 |  1335045 |    14943    221 |        5 |      254
836.35/836.62	c  836s |      21 |  1498280 |  1338445 |    14943    221 |        5 |      254
838.34/838.64	c  838s |      21 |  1501618 |  1341545 |    14943    222 |        5 |      254
840.34/840.67	c  840s |      21 |  1504977 |  1344645 |    14943    222 |        5 |      254
842.34/842.69	c  842s |      21 |  1508204 |  1347545 |    14943    222 |        5 |      254
844.44/844.72	c  844s |      21 |  1511262 |  1350345 |    14943    223 |        5 |      254
846.44/846.77	c  846s |      21 |  1514576 |  1353445 |    14943    223 |        5 |      254
848.54/848.81	c  848s |      21 |  1517345 |  1356045 |    14943    224 |        5 |      254
850.54/850.81	c  850s |      21 |  1520465 |  1358945 |    14943    224 |        5 |      254
852.54/852.88	c  852s |      21 |  1523632 |  1361845 |    14943    224 |        5 |      254
855.43/855.78	c  855s |      21 |  1526506 |  1364445 |    14943    225 |        5 |      254
857.43/857.79	c  857s |      21 |  1529631 |  1367145 |    14943    225 |        5 |      254
859.53/859.87	c  859s |      21 |  1533342 |  1370345 |    14943    226 |        5 |      254
861.53/861.90	c  861s |      21 |  1537525 |  1374045 |    14943    226 |        5 |      254
863.63/863.92	c  863s |      21 |  1540872 |  1377045 |    14943    226 |        5 |      254
865.82/866.15	c  866s |      21 |  1544283 |  1380145 |    14943    227 |        5 |      254
867.92/868.20	c  868s |      21 |  1548023 |  1383545 |    14943    227 |        5 |      254
869.92/870.22	c  870s |      21 |  1551211 |  1386445 |    14943    228 |        5 |      254
871.92/872.29	c  872s |      21 |  1554850 |  1389745 |    14943    228 |        5 |      254
874.02/874.34	c  874s |      21 |  1558017 |  1392645 |    14943    228 |        5 |      254
876.02/876.34	c  876s |      21 |  1561636 |  1395945 |    14943    229 |        5 |      254
878.03/878.36	c  878s |      21 |  1565110 |  1399145 |    14943    229 |        5 |      254
881.43/881.74	c  881s |      21 |  1567598 |  1401445 |    14943    230 |        5 |      254
883.42/883.79	c  883s |      21 |  1571722 |  1405145 |    14943    230 |        5 |      254
885.62/885.91	c  885s |      21 |  1575127 |  1408245 |    14943    231 |        5 |      254
887.62/887.96	c  887s |      21 |  1579186 |  1411845 |    14943    231 |        5 |      254
889.62/890.00	c  889s |      21 |  1582435 |  1414845 |    14943    231 |        5 |      254
891.71/892.04	c  891s |      21 |  1586080 |  1418145 |    14943    232 |        5 |      254
893.71/894.06	c  893s |      21 |  1589449 |  1421245 |    14943    232 |        5 |      254
895.72/896.09	c  895s |      21 |  1592928 |  1424445 |    14943    233 |        5 |      254
897.82/898.13	c  898s |      21 |  1594909 |  1426245 |    14943    233 |        5 |      254
899.82/900.16	c  900s |      21 |  1598393 |  1429445 |    14943    233 |        5 |      254
901.82/902.16	c  902s |      21 |  1601912 |  1432645 |    14943    234 |        5 |      254
903.82/904.19	c  904s |      21 |  1605334 |  1435845 |    14943    234 |        5 |      254
905.92/906.20	c  906s |      21 |  1608170 |  1438445 |    14943    235 |        5 |      254
907.92/908.22	c  908s |      21 |  1611496 |  1441545 |    14943    235 |        5 |      254
909.92/910.27	c  910s |      21 |  1614411 |  1444245 |    14943    235 |        5 |      254
911.91/912.28	c  912s |      21 |  1617110 |  1446745 |    14943    236 |        5 |      254
914.01/914.32	c  914s |      21 |  1620289 |  1449645 |    14943    236 |        5 |      254
916.01/916.35	c  916s |      21 |  1622970 |  1452145 |    14943    236 |        5 |      254
918.61/918.95	c  918s |      21 |  1624167 |  1453245 |    14943    236 |        5 |      254
920.60/920.97	c  920s |      21 |  1628044 |  1456745 |    14943    237 |        5 |      254
922.70/923.03	c  922s |      21 |  1631500 |  1459845 |    14943    237 |        5 |      254
924.70/925.04	c  924s |      21 |  1634648 |  1462745 |    14943    238 |        5 |      254
926.70/927.09	c  926s |      21 |  1637813 |  1465645 |    14943    238 |        5 |      254
928.80/929.11	c  929s |      21 |  1641081 |  1468545 |    14943    238 |        5 |      254
930.81/931.15	c  931s |      21 |  1644266 |  1471445 |    14943    239 |        5 |      254
932.90/933.20	c  933s |      21 |  1647635 |  1474545 |    14943    239 |        5 |      254
934.90/935.24	c  935s |      21 |  1650994 |  1477645 |    14943    240 |        5 |      254
936.90/937.25	c  937s |      21 |  1654650 |  1481045 |    14943    240 |        5 |      254
939.00/939.32	c  939s |      21 |  1657211 |  1483445 |    14943    240 |        5 |      254
941.00/941.32	c  941s |      21 |  1660299 |  1486345 |    14943    241 |        5 |      254
943.00/943.36	c  943s |      21 |  1663295 |  1489145 |    14943    241 |        5 |      254
945.10/945.42	c  945s |      21 |  1665794 |  1491445 |    16438    241 |        5 |      254
947.10/947.46	c  947s |      21 |  1668619 |  1494045 |    16438    242 |        5 |      254
949.20/949.52	c  949s |      21 |  1671855 |  1497045 |    16438    242 |        5 |      254
951.19/951.56	c  951s |      21 |  1674457 |  1499445 |    16438    242 |        5 |      254
952.19/952.52	c  952s |      22 |  1675727 |  1500622 |    16438    242 |        5 |      254
954.29/954.63	c  954s |      22 |  1677014 |  1501722 |    16438    243 |        5 |      254
956.29/956.65	c  956s |      22 |  1681390 |  1505422 |    16438    243 |        5 |      254
958.30/958.66	c  958s |      22 |  1685143 |  1508722 |    16438    243 |        5 |      254
960.39/960.71	c  960s |      22 |  1688130 |  1511322 |    16438    244 |        5 |      254
962.39/962.74	c  962s |      22 |  1691809 |  1514622 |    16438    244 |        5 |      254
964.39/964.77	c  964s |      22 |  1694959 |  1517522 |    16438    244 |        5 |      254
966.49/966.82	c  966s |      22 |  1698487 |  1520622 |    16438    245 |        5 |      254
968.49/968.88	c  968s |      22 |  1702009 |  1523722 |    16438    245 |        5 |      254
970.89/971.25	c  971s |      22 |  1704394 |  1525822 |    16438    245 |        5 |      254
972.89/973.29	c  973s |      22 |  1707828 |  1528822 |    16438    246 |        5 |      254
974.98/975.36	c  975s |      22 |  1711476 |  1532122 |    16438    246 |        5 |      254
977.09/977.41	c  977s |      22 |  1714622 |  1534922 |    16438    247 |        5 |      254
979.08/979.47	c  979s |      22 |  1718491 |  1538422 |    16438    247 |        5 |      254
981.08/981.49	c  981s |      22 |  1721566 |  1541222 |    16438    247 |        5 |      254
983.18/983.50	c  983s |      22 |  1724576 |  1544022 |    16438    248 |        5 |      254
985.90/986.29	c  986s |      22 |  1727858 |  1547022 |    16438    248 |        5 |      254
987.99/988.31	c  988s |      22 |  1731299 |  1550022 |    16438    248 |        5 |      254
989.99/990.37	c  990s |      22 |  1734292 |  1552722 |    16438    249 |        5 |      254
991.99/992.39	c  992s |      22 |  1737682 |  1555822 |    16438    249 |        5 |      254
994.09/994.42	c  994s |      22 |  1741039 |  1558822 |    16438    249 |        5 |      254
996.18/996.55	c  996s |      22 |  1742988 |  1560622 |    16438    250 |        5 |      254
998.18/998.59	c  998s |      22 |  1746784 |  1563922 |    16438    250 |        5 |      254
1000.28/1000.64	c 1000s |      22 |  1750416 |  1567122 |    16438    250 |        5 |      254
1002.29/1002.69	c 1002s |      22 |  1754302 |  1570622 |    16438    251 |        5 |      254
1004.38/1004.76	c 1004s |      22 |  1757800 |  1573822 |    16438    251 |        5 |      254
1006.48/1006.88	c 1006s |      22 |  1760722 |  1576422 |    16438    252 |        5 |      254
1008.58/1008.91	c 1008s |      22 |  1764630 |  1579822 |    16438    252 |        5 |      254
1010.58/1010.92	c 1010s |      22 |  1767961 |  1582922 |    16438    252 |        5 |      254
1012.58/1012.96	c 1012s |      22 |  1771021 |  1585722 |    16438    253 |        5 |      254
1014.68/1015.01	c 1014s |      22 |  1774718 |  1589022 |    16438    253 |        5 |      254
1016.78/1017.10	c 1016s |      22 |  1778070 |  1592122 |    16438    253 |        5 |      254
1018.78/1019.11	c 1018s |      22 |  1781634 |  1595422 |    16438    254 |        5 |      254
1022.27/1022.64	c 1022s |      22 |  1784220 |  1597822 |    16438    254 |        5 |      254
1024.38/1024.71	c 1024s |      22 |  1787555 |  1600822 |    16438    254 |        5 |      254
1026.37/1026.73	c 1026s |      22 |  1790847 |  1603822 |    16438    255 |        5 |      254
1028.37/1028.76	c 1028s |      22 |  1794403 |  1606922 |    16438    255 |        5 |      254
1030.47/1030.82	c 1030s |      22 |  1797520 |  1609722 |    16438    256 |        5 |      254
1032.47/1032.85	c 1032s |      22 |  1801518 |  1613322 |    16438    256 |        5 |      254
1034.57/1034.90	c 1034s |      22 |  1804892 |  1616422 |    16438    256 |        5 |      254
1036.97/1037.38	c 1037s |      22 |  1807290 |  1618622 |    16438    257 |        5 |      254
1039.07/1039.42	c 1039s |      22 |  1811208 |  1622222 |    16438    257 |        5 |      254
1041.07/1041.42	c 1041s |      22 |  1814216 |  1625022 |    16438    257 |        5 |      254
1043.17/1043.51	c 1043s |      22 |  1817134 |  1627722 |    16438    258 |        5 |      254
1045.17/1045.53	c 1045s |      22 |  1820340 |  1630722 |    16438    258 |        5 |      254
1047.17/1047.56	c 1047s |      22 |  1823087 |  1633322 |    16438    258 |        5 |      254
1049.27/1049.61	c 1049s |      22 |  1825565 |  1635522 |    16438    259 |        5 |      254
1051.28/1051.66	c 1051s |      22 |  1829187 |  1638822 |    16438    259 |        5 |      254
1053.37/1053.73	c 1053s |      22 |  1832365 |  1641722 |    16438    259 |        5 |      254
1055.37/1055.77	c 1055s |      22 |  1835659 |  1644722 |    16438    260 |        5 |      254
1058.67/1059.03	c 1058s |      22 |  1838229 |  1647122 |    16438    260 |        5 |      254
1060.68/1061.03	c 1060s |      22 |  1841267 |  1649722 |    16438    260 |        5 |      254
1062.67/1063.04	c 1062s |      22 |  1844892 |  1652922 |    16438    261 |        5 |      254
1064.67/1065.08	c 1064s |      22 |  1848845 |  1656322 |    16438    261 |        5 |      254
1066.77/1067.11	c 1067s |      22 |  1852386 |  1659422 |    16438    262 |        5 |      254
1068.77/1069.13	c 1069s |      22 |  1856771 |  1663222 |    16438    262 |        5 |      254
1070.87/1071.20	c 1071s |      22 |  1860658 |  1666722 |    16438    262 |        5 |      254
1072.96/1073.33	c 1073s |      22 |  1862578 |  1668522 |    16438    263 |        5 |      254
1074.97/1075.37	c 1075s |      22 |  1866939 |  1672322 |    16438    263 |        5 |      254
1077.07/1077.43	c 1077s |      22 |  1870475 |  1675522 |    16438    263 |        5 |      254
1079.06/1079.46	c 1079s |      22 |  1873876 |  1678622 |    16438    264 |        5 |      254
1081.16/1081.52	c 1081s |      22 |  1877263 |  1681622 |    16438    264 |        5 |      254
1083.16/1083.56	c 1083s |      22 |  1880455 |  1684422 |    16438    265 |        5 |      254
1085.16/1085.58	c 1085s |      22 |  1883639 |  1687222 |    16438    265 |        5 |      254
1087.26/1087.63	c 1087s |      22 |  1887310 |  1690522 |    16438    265 |        5 |      254
1089.27/1089.69	c 1089s |      22 |  1891024 |  1693822 |    16438    266 |        5 |      254
1091.26/1091.70	c 1091s |      22 |  1894889 |  1697322 |    16438    266 |        5 |      254
1093.36/1093.72	c 1093s |      22 |  1898273 |  1700422 |    16438    266 |        5 |      254
1095.36/1095.77	c 1095s |      22 |  1901926 |  1703822 |    16438    267 |        5 |      254
1099.27/1099.62	c 1099s |      22 |  1904163 |  1705922 |    16438    267 |        5 |      254
1101.37/1101.75	c 1101s |      22 |  1907540 |  1709022 |    16438    268 |        5 |      254
1103.37/1103.79	c 1103s |      22 |  1911091 |  1712322 |    16438    268 |        5 |      254
1105.47/1105.82	c 1105s |      22 |  1913976 |  1715022 |    16438    268 |        5 |      254
1107.56/1107.94	c 1107s |      22 |  1916565 |  1717422 |    16438    269 |        5 |      254
1109.56/1109.95	c 1109s |      22 |  1919269 |  1719922 |    16438    269 |        5 |      254
1111.56/1111.98	c 1111s |      22 |  1922156 |  1722522 |    16438    269 |        5 |      254
1113.66/1114.01	c 1113s |      22 |  1924734 |  1724922 |    16438    269 |        5 |      254
1115.67/1116.08	c 1115s |      22 |  1927244 |  1727222 |    16438    270 |        5 |      254
1117.66/1118.08	c 1117s |      22 |  1930218 |  1730022 |    16438    270 |        5 |      254
1119.76/1120.15	c 1120s |      22 |  1932923 |  1732522 |    16438    270 |        5 |      254
1121.76/1122.19	c 1122s |      22 |  1935682 |  1735022 |    16438    271 |        5 |      254
1123.86/1124.23	c 1124s |      22 |  1938925 |  1737922 |    16438    271 |        5 |      254
1125.86/1126.24	c 1126s |      22 |  1942038 |  1740722 |    16438    271 |        5 |      254
1127.96/1128.30	c 1128s |      22 |  1944858 |  1743322 |    16438    272 |        5 |      254
1129.97/1130.33	c 1130s |      22 |  1948011 |  1746222 |    16438    272 |        5 |      254
1131.96/1132.35	c 1132s |      22 |  1950847 |  1748822 |    16438    272 |        5 |      254
1134.06/1134.41	c 1134s |      22 |  1953625 |  1751322 |    16438    273 |        5 |      254
1136.06/1136.49	c 1136s |      22 |  1956214 |  1753722 |    16438    273 |        5 |      254
1138.16/1138.50	c 1138s |      22 |  1959447 |  1756622 |    16438    273 |        5 |      254
1140.16/1140.51	c 1140s |      22 |  1962169 |  1759122 |    16438    274 |        5 |      254
1142.16/1142.57	c 1142s |      22 |  1965291 |  1762022 |    16438    274 |        5 |      254
1144.16/1144.60	c 1144s |      22 |  1968592 |  1765022 |    16438    274 |        5 |      254
1146.26/1146.64	c 1146s |      22 |  1971602 |  1767722 |    16438    275 |        5 |      254
1148.26/1148.68	c 1148s |      22 |  1975076 |  1770922 |    16438    275 |        5 |      254
1150.36/1150.73	c 1150s |      22 |  1978204 |  1773822 |    16438    275 |        5 |      254
1152.56/1152.95	c 1152s |      22 |  1980166 |  1775522 |    16438    276 |        5 |      254
1154.56/1154.97	c 1154s |      22 |  1984023 |  1778922 |    16438    276 |        5 |      254
1156.66/1157.02	c 1156s |      22 |  1987691 |  1782222 |    16438    276 |        5 |      254
1158.65/1159.06	c 1158s |      22 |  1990917 |  1785122 |    16438    277 |        5 |      254
1160.66/1161.07	c 1160s |      22 |  1994623 |  1788422 |    16438    277 |        5 |      254
1162.65/1163.07	c 1162s |      22 |  1997867 |  1791422 |    16438    277 |        5 |      254
1164.75/1165.15	c 1165s |      22 |  2000928 |  1794222 |    16438    278 |        5 |      254
1166.75/1167.16	c 1167s |      22 |  2004231 |  1797222 |    16438    278 |        5 |      254
1168.75/1169.18	c 1169s |      22 |  2007047 |  1799822 |    16438    278 |        5 |      254
1170.85/1171.20	c 1171s |      22 |  2010544 |  1803022 |    16438    279 |        5 |      254
1172.86/1173.27	c 1173s |      22 |  2013919 |  1806022 |    16438    279 |        5 |      254
1174.85/1175.30	c 1175s |      22 |  2016941 |  1808722 |    16438    279 |        5 |      254
1176.95/1177.31	c 1177s |      22 |  2018732 |  1810322 |    16438    280 |        5 |      254
1178.95/1179.37	c 1179s |      22 |  2022328 |  1813422 |    16438    280 |        5 |      254
1181.05/1181.41	c 1181s |      22 |  2026064 |  1816722 |    16438    280 |        5 |      254
1183.05/1183.45	c 1183s |      22 |  2029959 |  1820222 |    16438    281 |        5 |      254
1185.05/1185.45	c 1185s |      22 |  2033604 |  1823522 |    16438    281 |        5 |      254
1187.06/1187.46	c 1187s |      22 |  2036343 |  1825822 |    16438    282 |        5 |      254
1189.05/1189.49	c 1189s |      22 |  2040928 |  1829822 |    16438    282 |        5 |      254
1191.15/1191.55	c 1191s |      22 |  2044531 |  1833022 |    16438    282 |        5 |      254
1193.15/1193.57	c 1193s |      22 |  2048114 |  1836322 |    16438    283 |        5 |      254
1195.25/1195.61	c 1195s |      22 |  2051710 |  1839622 |    16438    283 |        5 |      254
1197.74/1198.19	c 1198s |      22 |  2054261 |  1841922 |    16438    284 |        5 |      254
1199.85/1200.24	c 1200s |      22 |  2056456 |  1843922 |    16438    284 |        5 |      254
1201.85/1202.29	c 1202s |      22 |  2060211 |  1847422 |    16438    284 |        5 |      254
1203.95/1204.33	c 1204s |      22 |  2063167 |  1850222 |    16438    284 |        5 |      254
1205.95/1206.36	c 1206s |      22 |  2066287 |  1853122 |    16438    285 |        5 |      254
1208.06/1208.42	c 1208s |      22 |  2069153 |  1855822 |    16438    285 |        5 |      254
1210.05/1210.45	c 1210s |      22 |  2071625 |  1858122 |    16438    285 |        5 |      254
1212.15/1212.51	c 1212s |      22 |  2074474 |  1860722 |    16438    286 |        5 |      254
1214.15/1214.56	c 1214s |      22 |  2077739 |  1863722 |    16438    286 |        5 |      254
1216.25/1216.62	c 1216s |      22 |  2080810 |  1866522 |    16438    286 |        5 |      254
1218.25/1218.68	c 1218s |      22 |  2084082 |  1869522 |    16438    287 |        5 |      254
1220.35/1220.72	c 1220s |      22 |  2086616 |  1871822 |    16438    287 |        5 |      254
1222.35/1222.72	c 1222s |      22 |  2090079 |  1874922 |    16438    287 |        5 |      254
1224.35/1224.78	c 1224s |      22 |  2093529 |  1878022 |    16438    288 |        5 |      254
1226.35/1226.79	c 1226s |      22 |  2096806 |  1881022 |    16438    288 |        5 |      254
1228.45/1228.82	c 1228s |      22 |  2099813 |  1883722 |    16438    289 |        5 |      254
1230.45/1230.84	c 1230s |      22 |  2103269 |  1886922 |    16438    289 |        5 |      254
1232.84/1233.24	c 1233s |      22 |  2106399 |  1889822 |    16438    289 |        5 |      254
1234.84/1235.27	c 1235s |      22 |  2108120 |  1891422 |    16438    289 |        5 |      254
1236.94/1237.32	c 1237s |      22 |  2111478 |  1894522 |    16438    290 |        5 |      254
1238.94/1239.33	c 1239s |      22 |  2114598 |  1897422 |    16438    290 |        5 |      254
1240.95/1241.35	c 1241s |      22 |  2117376 |  1899922 |    16438    290 |        5 |      254
1243.04/1243.40	c 1243s |      22 |  2120723 |  1902922 |    16438    291 |        5 |      254
1245.04/1245.45	c 1245s |      22 |  2123768 |  1905722 |    16438    291 |        5 |      254
1247.04/1247.47	c 1247s |      22 |  2126343 |  1908122 |    16438    291 |        5 |      254
1249.14/1249.52	c 1249s |      22 |  2129211 |  1910822 |    16438    292 |        5 |      254
1251.14/1251.55	c 1251s |      22 |  2132137 |  1913622 |    16438    292 |        5 |      254
1253.15/1253.55	c 1253s |      22 |  2134887 |  1916222 |    16438    292 |        5 |      254
1255.14/1255.57	c 1255s |      22 |  2137896 |  1919022 |    16438    293 |        5 |      254
1257.14/1257.59	c 1257s |      22 |  2140057 |  1921022 |    16438    293 |        5 |      254
1259.24/1259.62	c 1259s |      22 |  2143075 |  1923722 |    16438    293 |        5 |      254
1261.24/1261.66	c 1261s |      22 |  2146431 |  1926622 |    16438    294 |        5 |      254
1263.24/1263.66	c 1263s |      22 |  2149808 |  1929722 |    16438    294 |        5 |      254
1265.24/1265.67	c 1265s |      22 |  2152517 |  1932222 |    16438    294 |        5 |      254
1267.24/1267.69	c 1267s |      22 |  2155269 |  1934722 |    16438    295 |        5 |      254
1269.34/1269.73	c 1269s |      22 |  2158736 |  1937822 |    16438    295 |        5 |      254
1271.33/1271.79	c 1271s |      22 |  2161861 |  1940722 |    16438    295 |        5 |      254
1274.43/1274.83	c 1274s |      22 |  2164123 |  1942822 |    16438    296 |        5 |      254
1276.43/1276.86	c 1276s |      22 |  2168269 |  1946622 |    16438    296 |        5 |      254
1278.44/1278.87	c 1278s |      22 |  2171509 |  1949622 |    16438    296 |        5 |      254
1280.54/1280.91	c 1280s |      22 |  2174840 |  1952722 |    16438    297 |        5 |      254
1282.53/1282.91	c 1282s |      22 |  2177870 |  1955522 |    16438    297 |        5 |      254
1284.53/1284.99	c 1284s |      22 |  2180621 |  1958122 |    16438    297 |        5 |      254
1286.63/1287.06	c 1286s |      22 |  2182217 |  1959622 |    16438    298 |        5 |      254
1288.64/1289.09	c 1288s |      22 |  2185355 |  1962522 |    16438    298 |        5 |      254
1290.74/1291.12	c 1291s |      22 |  2188005 |  1965022 |    16438    298 |        5 |      254
1292.75/1293.15	c 1293s |      22 |  2190684 |  1967522 |    16438    299 |        5 |      254
1294.74/1295.20	c 1295s |      22 |  2193906 |  1970522 |    16438    299 |        5 |      254
1296.84/1297.20	c 1297s |      22 |  2196167 |  1972522 |    16438    299 |        5 |      254
1298.84/1299.25	c 1299s |      22 |  2199056 |  1975122 |    16438    300 |        5 |      254
1300.84/1301.27	c 1301s |      22 |  2202638 |  1978422 |    16438    300 |        5 |      254
1302.94/1303.31	c 1303s |      22 |  2206037 |  1981522 |    16438    300 |        5 |      254
1304.94/1305.33	c 1305s |      22 |  2208697 |  1983922 |    16438    301 |        5 |      254
1306.94/1307.35	c 1307s |      22 |  2212150 |  1987122 |    16438    301 |        5 |      254
1308.94/1309.37	c 1309s |      22 |  2215289 |  1990022 |    16438    301 |        5 |      254
1311.04/1311.42	c 1311s |      22 |  2218067 |  1992622 |    16438    302 |        5 |      254
1313.04/1313.47	c 1313s |      22 |  2221185 |  1995522 |    16438    302 |        5 |      254
1315.84/1316.27	c 1316s |      22 |  2222271 |  1996522 |    16438    302 |        5 |      254
1317.83/1318.28	c 1318s |      22 |  2226046 |  1999822 |    16438    302 |        5 |      254
1319.83/1320.29	c 1320s |      22 |  2229913 |  2003122 |    16438    303 |        5 |      254
1321.93/1322.32	c 1322s |      22 |  2233701 |  2006522 |    16438    303 |        5 |      254
1323.93/1324.33	c 1324s |      22 |  2236761 |  2009322 |    16438    304 |        5 |      254
1325.93/1326.33	c 1326s |      22 |  2240643 |  2012822 |    16438    304 |        5 |      254
1327.94/1328.36	c 1328s |      22 |  2244016 |  2015822 |    16438    304 |        5 |      254
1329.93/1330.37	c 1330s |      22 |  2247533 |  2018922 |    16438    305 |        5 |      254
1332.03/1332.40	c 1332s |      22 |  2250889 |  2022022 |    16438    305 |        5 |      254
1334.13/1334.53	c 1334s |      22 |  2253951 |  2024822 |    16438    306 |        5 |      254
1336.12/1336.56	c 1336s |      22 |  2255905 |  2026522 |    16438    306 |        5 |      254
1338.22/1338.62	c 1338s |      22 |  2260005 |  2030122 |    16438    306 |        5 |      254
1340.32/1340.75	c 1340s |      22 |  2263450 |  2033122 |    16438    307 |        5 |      254
1342.32/1342.78	c 1342s |      22 |  2267326 |  2036522 |    16438    307 |        5 |      254
1344.43/1344.82	c 1344s |      22 |  2270455 |  2039322 |    16438    307 |        5 |      254
1346.43/1346.88	c 1346s |      22 |  2273395 |  2041922 |    16438    308 |        5 |      254
1348.53/1348.91	c 1348s |      22 |  2277557 |  2045522 |    16438    308 |        5 |      254
1350.53/1350.95	c 1350s |      22 |  2281025 |  2048522 |    16438    308 |        5 |      254
1352.53/1352.95	c 1352s |      22 |  2284140 |  2051322 |    16438    309 |        5 |      254
1354.53/1354.99	c 1354s |      22 |  2288093 |  2054822 |    16438    309 |        5 |      254
1356.63/1357.02	c 1356s |      22 |  2291461 |  2057822 |    16438    309 |        5 |      254
1358.63/1359.07	c 1358s |      22 |  2294142 |  2060222 |    16438    310 |        5 |      254
1360.73/1361.13	c 1361s |      22 |  2297899 |  2063622 |    16438    310 |        5 |      254
1362.73/1363.16	c 1363s |      22 |  2301287 |  2066622 |    16438    311 |        5 |      254
1364.83/1365.20	c 1365s |      22 |  2305404 |  2070322 |    16438    311 |        5 |      254
1366.82/1367.20	c 1367s |      22 |  2308670 |  2073322 |    16438    311 |        5 |      254
1368.82/1369.23	c 1369s |      22 |  2312071 |  2076522 |    16438    312 |        5 |      254
1370.92/1371.30	c 1371s |      22 |  2312198 |  2076622 |    16438    312 |        5 |      254
1372.93/1373.32	c 1373s |      22 |  2316174 |  2080222 |    16438    312 |        5 |      254
1374.92/1375.38	c 1375s |      22 |  2319305 |  2083122 |    16438    313 |        5 |      254
1377.02/1377.44	c 1377s |      22 |  2322866 |  2086422 |    16438    313 |        5 |      254
1379.02/1379.49	c 1379s |      22 |  2325902 |  2089122 |    16438    313 |        5 |      254
1381.12/1381.50	c 1381s |      22 |  2328675 |  2091622 |    16438    314 |        5 |      254
1383.12/1383.52	c 1383s |      22 |  2332465 |  2095022 |    16438    314 |        5 |      254
1385.12/1385.58	c 1385s |      22 |  2335485 |  2097722 |    16438    314 |        5 |      254
1387.12/1387.60	c 1387s |      22 |  2338527 |  2100522 |    16438    315 |        5 |      254
1389.22/1389.64	c 1389s |      22 |  2341862 |  2103622 |    16438    315 |        5 |      254
1391.32/1391.70	c 1391s |      22 |  2344887 |  2106422 |    16438    315 |        5 |      254
1393.32/1393.71	c 1393s |      22 |  2347752 |  2109022 |    16438    316 |        5 |      254
1395.32/1395.77	c 1395s |      22 |  2351032 |  2112022 |    16438    316 |        5 |      254
1397.42/1397.82	c 1397s |      22 |  2353804 |  2114622 |    16438    316 |        5 |      254
1399.42/1399.82	c 1399s |      22 |  2356262 |  2116922 |    16438    317 |        5 |      254
1401.71/1402.15	c 1402s |      22 |  2357346 |  2117922 |    16438    317 |        5 |      254
1403.83/1404.20	c 1404s |      22 |  2358492 |  2118922 |    16438    317 |        5 |      254
1405.82/1406.21	c 1406s |      22 |  2362513 |  2122522 |    16438    317 |        5 |      254
1407.82/1408.24	c 1408s |      22 |  2365751 |  2125422 |    16438    318 |        5 |      254
1409.92/1410.31	c 1410s |      22 |  2369443 |  2128822 |    16438    318 |        5 |      254
1411.92/1412.32	c 1412s |      22 |  2372247 |  2131422 |    16438    318 |        5 |      254
1413.92/1414.34	c 1414s |      22 |  2374989 |  2133922 |    16438    319 |        5 |      254
1416.02/1416.40	c 1416s |      22 |  2378472 |  2137122 |    16438    319 |        5 |      254
1418.02/1418.41	c 1418s |      22 |  2381344 |  2139822 |    16438    319 |        5 |      254
1420.02/1420.44	c 1420s |      22 |  2384219 |  2142522 |    16438    320 |        5 |      254
1422.02/1422.49	c 1422s |      22 |  2387303 |  2145422 |    16438    320 |        5 |      254
1424.12/1424.53	c 1424s |      22 |  2389966 |  2147922 |    16438    320 |        5 |      254
1426.42/1426.82	c 1426s |      22 |  2391689 |  2149522 |    16438    321 |        5 |      254
1428.42/1428.85	c 1428s |      22 |  2394768 |  2152422 |    16438    321 |        5 |      254
1430.52/1430.92	c 1430s |      22 |  2397642 |  2155122 |    16438    321 |        5 |      254
1432.52/1432.93	c 1432s |      22 |  2400004 |  2157322 |    16438    321 |        5 |      254
1434.52/1434.99	c 1434s |      22 |  2403003 |  2160122 |    16438    322 |        5 |      254
1436.62/1437.00	c 1436s |      22 |  2405922 |  2162822 |    16438    322 |        5 |      254
1438.62/1439.06	c 1438s |      22 |  2408490 |  2165222 |    16438    322 |        5 |      254
1440.72/1441.11	c 1441s |      22 |  2410940 |  2167422 |    16438    323 |        5 |      254
1442.71/1443.15	c 1443s |      22 |  2414541 |  2170722 |    16438    323 |        5 |      254
1444.81/1445.20	c 1445s |      22 |  2417196 |  2173222 |    16438    323 |        5 |      254
1446.81/1447.24	c 1447s |      22 |  2419211 |  2175122 |    16438    324 |        5 |      254
1448.82/1449.29	c 1449s |      22 |  2422425 |  2178122 |    16438    324 |        5 |      254
1450.91/1451.35	c 1451s |      22 |  2425317 |  2180822 |    16438    324 |        5 |      254
1453.01/1453.40	c 1453s |      22 |  2427786 |  2183122 |    16438    325 |        5 |      254
1455.01/1455.40	c 1455s |      22 |  2429304 |  2184522 |    16438    325 |        5 |      254
1457.01/1457.43	c 1457s |      22 |  2432827 |  2187722 |    16438    325 |        5 |      254
1459.01/1459.46	c 1459s |      22 |  2435735 |  2190422 |    16438    325 |        5 |      254
1461.11/1461.51	c 1461s |      22 |  2439038 |  2193422 |    16438    326 |        5 |      254
1463.11/1463.54	c 1463s |      22 |  2442288 |  2196422 |    16438    326 |        5 |      254
1465.21/1465.61	c 1465s |      22 |  2445152 |  2199022 |    16438    326 |        5 |      254
1467.21/1467.61	c 1467s |      22 |  2448323 |  2201922 |    16438    327 |        5 |      254
1469.20/1469.63	c 1469s |      22 |  2451331 |  2204722 |    16438    327 |        5 |      254
1471.20/1471.64	c 1471s |      22 |  2454202 |  2207422 |    16438    327 |        5 |      254
1473.20/1473.65	c 1473s |      22 |  2457283 |  2210322 |    16438    328 |        5 |      254
1475.21/1475.67	c 1475s |      22 |  2460265 |  2213122 |    16438    328 |        5 |      254
1477.20/1477.69	c 1477s |      22 |  2462174 |  2214822 |    16438    328 |        5 |      254
1479.31/1479.73	c 1479s |      22 |  2464771 |  2217222 |    16438    329 |        5 |      254
1481.31/1481.74	c 1481s |      22 |  2468060 |  2220222 |    16438    329 |        5 |      254
1483.41/1483.80	c 1483s |      22 |  2471005 |  2222922 |    16438    329 |        5 |      254
1485.41/1485.85	c 1485s |      22 |  2473851 |  2225422 |    16438    330 |        5 |      254
1487.51/1487.92	c 1487s |      22 |  2477526 |  2228722 |    16438    330 |        5 |      254
1489.51/1489.95	c 1489s |      22 |  2480580 |  2231522 |    16438    330 |        5 |      254
1491.51/1491.97	c 1491s |      22 |  2483527 |  2234122 |    16438    331 |        5 |      254
1493.51/1493.99	c 1493s |      22 |  2486697 |  2237022 |    18082    331 |        5 |      254
1495.61/1496.00	c 1495s |      22 |  2489796 |  2239822 |    18082    331 |        5 |      254
1497.61/1498.03	c 1497s |      22 |  2492618 |  2242422 |    18082    331 |        5 |      254
1499.60/1500.08	c 1499s |      22 |  2495059 |  2244622 |    18082    332 |        5 |      254
1501.61/1502.10	c 1501s |      22 |  2498477 |  2247722 |    18082    332 |        5 |      254
1503.70/1504.17	c 1504s |      22 |  2501527 |  2250422 |    18082    332 |        5 |      254
1504.30/1504.70	c 1504s |      23 |  2502226 |  2251038 |    18082    332 |        5 |      254
1506.30/1506.73	c 1506s |      23 |  2504736 |  2253238 |    18082    333 |        5 |      254
1508.80/1509.22	c 1509s |      23 |  2508494 |  2256538 |    18082    333 |        5 |      254
1510.80/1511.25	c 1511s |      23 |  2511844 |  2259538 |    18082    333 |        5 |      254
1512.80/1513.27	c 1513s |      23 |  2515277 |  2262638 |    18082    334 |        5 |      254
1514.91/1515.31	c 1515s |      23 |  2518908 |  2265938 |    18082    334 |        5 |      254
1516.90/1517.31	c 1517s |      23 |  2522046 |  2268738 |    18082    334 |        5 |      254
1518.90/1519.37	c 1519s |      23 |  2524897 |  2271338 |    18082    335 |        5 |      254
1520.90/1521.39	c 1521s |      23 |  2528078 |  2274238 |    18082    335 |        5 |      254
1522.90/1523.39	c 1523s |      23 |  2530905 |  2276838 |    18082    335 |        5 |      254
1525.10/1525.51	c 1525s |      23 |  2533371 |  2279138 |    18082    336 |        5 |      254
1527.20/1527.62	c 1527s |      23 |  2536036 |  2281638 |    18082    336 |        5 |      254
1529.21/1529.66	c 1529s |      23 |  2538080 |  2283438 |    18082    336 |        5 |      254
1531.20/1531.69	c 1531s |      23 |  2541067 |  2286138 |    18082    336 |        5 |      254
1533.30/1533.70	c 1533s |      23 |  2543566 |  2288438 |    18082    337 |        5 |      254
1535.30/1535.73	c 1535s |      23 |  2546666 |  2291338 |    18082    337 |        5 |      254
1537.30/1537.76	c 1537s |      23 |  2549328 |  2293838 |    18082    337 |        5 |      254
1539.40/1539.82	c 1539s |      23 |  2551955 |  2296238 |    18082    337 |        5 |      254
1541.40/1541.86	c 1541s |      23 |  2554505 |  2298538 |    18082    338 |        5 |      254
1543.41/1543.90	c 1543s |      23 |  2557682 |  2301438 |    18082    338 |        5 |      254
1545.50/1545.98	c 1545s |      23 |  2560479 |  2304038 |    18082    338 |        5 |      254
1547.60/1548.00	c 1547s |      23 |  2562660 |  2306138 |    18082    338 |        5 |      254
1549.60/1550.02	c 1549s |      23 |  2565168 |  2308538 |    18082    339 |        5 |      254
1551.60/1552.06	c 1551s |      23 |  2568068 |  2311238 |    18082    339 |        5 |      254
1553.90/1554.36	c 1554s |      23 |  2570142 |  2313138 |    18082    339 |        5 |      254
1555.89/1556.37	c 1556s |      23 |  2572286 |  2315038 |    18082    339 |        5 |      254
1557.99/1558.40	c 1558s |      23 |  2575481 |  2317938 |    18082    340 |        5 |      254
1560.00/1560.47	c 1560s |      23 |  2578692 |  2320838 |    18082    340 |        5 |      254
1562.10/1562.54	c 1562s |      23 |  2581616 |  2323538 |    18082    340 |        5 |      254
1564.30/1564.74	c 1564s |      23 |  2583859 |  2325638 |    18082    341 |        5 |      254
1566.29/1566.78	c 1566s |      23 |  2587617 |  2328938 |    18082    341 |        5 |      254
1568.39/1568.83	c 1568s |      23 |  2590810 |  2331838 |    18082    341 |        5 |      254
1570.39/1570.86	c 1570s |      23 |  2593330 |  2334138 |    18082    342 |        5 |      254
1572.39/1572.87	c 1572s |      23 |  2596106 |  2336538 |    18082    342 |        5 |      254
1574.49/1574.92	c 1574s |      23 |  2599515 |  2339538 |    18082    342 |        5 |      254
1576.49/1576.95	c 1576s |      23 |  2602645 |  2342338 |    18082    342 |        5 |      254
1578.49/1578.98	c 1578s |      23 |  2605755 |  2345138 |    18082    343 |        5 |      254
1580.59/1581.00	c 1580s |      23 |  2609459 |  2348438 |    18082    343 |        5 |      254
1582.59/1583.00	c 1582s |      23 |  2611743 |  2350438 |    18082    343 |        5 |      254
1584.59/1585.06	c 1584s |      23 |  2614431 |  2352638 |    18082    344 |        5 |      254
1586.59/1587.09	c 1586s |      23 |  2618780 |  2356438 |    18082    344 |        5 |      254
1588.69/1589.14	c 1589s |      23 |  2622315 |  2359538 |    18082    344 |        5 |      254
1590.70/1591.18	c 1591s |      23 |  2625683 |  2362538 |    18082    345 |        5 |      254
1592.69/1593.19	c 1593s |      23 |  2629558 |  2365838 |    18082    345 |        5 |      254
1594.79/1595.23	c 1595s |      23 |  2633072 |  2368938 |    18082    345 |        5 |      254
1596.79/1597.23	c 1597s |      23 |  2636173 |  2371738 |    18082    346 |        5 |      254
1598.89/1599.36	c 1599s |      23 |  2637164 |  2372638 |    18082    346 |        5 |      254
1600.89/1601.37	c 1601s |      23 |  2640898 |  2375938 |    18082    346 |        5 |      254
1602.89/1603.37	c 1603s |      23 |  2643998 |  2378738 |    18082    346 |        5 |      254
1604.89/1605.39	c 1605s |      23 |  2647246 |  2381738 |    18082    347 |        5 |      254
1606.98/1607.45	c 1607s |      23 |  2650530 |  2384638 |    18082    347 |        5 |      254
1608.98/1609.50	c 1609s |      23 |  2653417 |  2387238 |    18082    347 |        5 |      254
1611.08/1611.50	c 1611s |      23 |  2656534 |  2390038 |    18082    348 |        5 |      254
1613.08/1613.52	c 1613s |      23 |  2660028 |  2393138 |    18082    348 |        5 |      254
1615.09/1615.54	c 1615s |      23 |  2663204 |  2396038 |    18082    348 |        5 |      254
1617.59/1618.08	c 1617s |      23 |  2666121 |  2398738 |    18082    349 |        5 |      254
1619.69/1620.10	c 1619s |      23 |  2669541 |  2401838 |    18082    349 |        5 |      254
1621.69/1622.15	c 1622s |      23 |  2672461 |  2404538 |    18082    349 |        5 |      254
1623.79/1624.21	c 1624s |      23 |  2675232 |  2407138 |    18082    350 |        5 |      254
1625.79/1626.23	c 1626s |      23 |  2678187 |  2409838 |    18082    350 |        5 |      254
1627.78/1628.24	c 1628s |      23 |  2681092 |  2412438 |    18082    350 |        5 |      254
1629.78/1630.28	c 1630s |      23 |  2683709 |  2414838 |    18082    350 |        5 |      254
1632.38/1632.90	c 1632s |      23 |  2684316 |  2415338 |    18082    350 |        5 |      254
1634.69/1635.11	c 1634s |      23 |  2687521 |  2418038 |    18082    351 |        5 |      254
1636.68/1637.13	c 1637s |      23 |  2691373 |  2421438 |    18082    351 |        5 |      254
1638.68/1639.14	c 1639s |      23 |  2694725 |  2424338 |    18082    351 |        5 |      254
1640.68/1641.16	c 1641s |      23 |  2698436 |  2427638 |    18082    352 |        5 |      254
1642.78/1643.23	c 1643s |      23 |  2702301 |  2431038 |    18082    352 |        5 |      254
1644.78/1645.27	c 1645s |      23 |  2705461 |  2433938 |    18082    352 |        5 |      254
1647.99/1648.40	c 1648s |      23 |  2708249 |  2436438 |    18082    353 |        5 |      254
1649.98/1650.42	c 1650s |      23 |  2711737 |  2439538 |    18082    353 |        5 |      254
1651.98/1652.45	c 1652s |      23 |  2714704 |  2442238 |    18082    353 |        5 |      254
1653.98/1654.48	c 1654s |      23 |  2717673 |  2444938 |    18082    354 |        5 |      254
1656.08/1656.52	c 1656s |      23 |  2720926 |  2447938 |    18082    354 |        5 |      254
1658.08/1658.56	c 1658s |      23 |  2723845 |  2450638 |    18082    354 |        5 |      254
1660.18/1660.62	c 1660s |      23 |  2726558 |  2453138 |    18082    355 |        5 |      254
1662.28/1662.79	c 1662s |      23 |  2728645 |  2455038 |    18082    355 |        5 |      254
1664.38/1664.81	c 1664s |      23 |  2732035 |  2458038 |    18082    355 |        5 |      254
1666.38/1666.87	c 1666s |      23 |  2735031 |  2460738 |    18082    355 |        5 |      254
1668.38/1668.88	c 1668s |      23 |  2737203 |  2462738 |    18082    356 |        5 |      254
1670.48/1670.92	c 1670s |      23 |  2740811 |  2465938 |    18082    356 |        5 |      254
1673.18/1673.63	c 1673s |      23 |  2743595 |  2468338 |    18082    356 |        5 |      254
1675.27/1675.76	c 1675s |      23 |  2746429 |  2470738 |    18082    357 |        5 |      254
1677.47/1677.91	c 1677s |      23 |  2749550 |  2473538 |    18082    357 |        5 |      254
1679.47/1679.94	c 1679s |      23 |  2753154 |  2476738 |    18082    357 |        5 |      254
1681.57/1682.02	c 1681s |      23 |  2756441 |  2479638 |    18082    357 |        5 |      254
1683.57/1684.05	c 1683s |      23 |  2759305 |  2482238 |    18082    358 |        5 |      254
1685.67/1686.10	c 1685s |      23 |  2762607 |  2485338 |    18082    358 |        5 |      254
1687.67/1688.12	c 1688s |      23 |  2765796 |  2488238 |    18082    358 |        5 |      254
1689.68/1690.16	c 1690s |      23 |  2768761 |  2490938 |    18082    359 |        5 |      254
1691.67/1692.17	c 1692s |      23 |  2772127 |  2493938 |    18082    359 |        5 |      254
1693.77/1694.20	c 1694s |      23 |  2774994 |  2496538 |    18082    359 |        5 |      254
1695.77/1696.24	c 1696s |      23 |  2775955 |  2497438 |    18082    359 |        5 |      254
1697.77/1698.29	c 1698s |      23 |  2778780 |  2500038 |    18082    360 |        5 |      254
1699.77/1700.29	c 1700s |      23 |  2782182 |  2503138 |    18082    360 |        5 |      254
1701.87/1702.36	c 1702s |      23 |  2785073 |  2505838 |    18082    360 |        5 |      254
1703.88/1704.37	c 1704s |      23 |  2787805 |  2508338 |    18082    361 |        5 |      254
1705.88/1706.39	c 1706s |      23 |  2790775 |  2511138 |    18082    361 |        5 |      254
1707.98/1708.47	c 1708s |      23 |  2793698 |  2513738 |    18082    361 |        5 |      254
1710.08/1710.52	c 1710s |      23 |  2796008 |  2515938 |    18082    361 |        5 |      254
1712.97/1713.44	c 1713s |      23 |  2798140 |  2517938 |    18082    362 |        5 |      254
1714.98/1715.50	c 1715s |      23 |  2801692 |  2521138 |    18082    362 |        5 |      254
1717.07/1717.52	c 1717s |      23 |  2804631 |  2523838 |    18082    362 |        5 |      254
1719.07/1719.52	c 1719s |      23 |  2807356 |  2526338 |    18082    363 |        5 |      254
1721.17/1721.68	c 1721s |      23 |  2810124 |  2528938 |    18082    363 |        5 |      254
1723.27/1723.70	c 1723s |      23 |  2813317 |  2531838 |    18082    363 |        5 |      254
1725.27/1725.76	c 1725s |      23 |  2816145 |  2534438 |    18082    363 |        5 |      254
1727.87/1728.39	c 1728s |      23 |  2818426 |  2536438 |    18082    364 |        5 |      254
1729.97/1730.44	c 1730s |      23 |  2822180 |  2539738 |    18082    364 |        5 |      254
1731.97/1732.49	c 1732s |      23 |  2825338 |  2542638 |    18082    364 |        5 |      254
1734.07/1734.52	c 1734s |      23 |  2828657 |  2545538 |    18082    365 |        5 |      254
1736.06/1736.57	c 1736s |      23 |  2832027 |  2548538 |    18082    365 |        5 |      254
1738.07/1738.59	c 1738s |      23 |  2835491 |  2551638 |    18082    365 |        5 |      254
1740.16/1740.62	c 1740s |      23 |  2838755 |  2554638 |    18082    366 |        5 |      254
1742.16/1742.68	c 1742s |      23 |  2842247 |  2557838 |    18082    366 |        5 |      254
1744.26/1744.71	c 1744s |      23 |  2845369 |  2560738 |    18082    366 |        5 |      254
1747.37/1747.83	c 1747s |      23 |  2847343 |  2562538 |    18082    367 |        5 |      254
1749.37/1749.87	c 1749s |      23 |  2851503 |  2566238 |    18082    367 |        5 |      254
1751.47/1751.95	c 1751s |      23 |  2854929 |  2569338 |    18082    367 |        5 |      254
1753.47/1753.99	c 1753s |      23 |  2858164 |  2572338 |    18082    368 |        5 |      254
1755.57/1756.01	c 1755s |      23 |  2861516 |  2575438 |    18082    368 |        5 |      254
1757.56/1758.08	c 1757s |      23 |  2864481 |  2578138 |    18082    368 |        5 |      254
1759.66/1760.17	c 1760s |      23 |  2866941 |  2580338 |    18082    369 |        5 |      254
1761.66/1762.18	c 1762s |      23 |  2870153 |  2583238 |    18082    369 |        5 |      254
1763.66/1764.19	c 1764s |      23 |  2873167 |  2586038 |    18082    369 |        5 |      254
1765.76/1766.20	c 1766s |      23 |  2875961 |  2588638 |    18082    369 |        5 |      254
1767.77/1768.22	c 1768s |      23 |  2878897 |  2591338 |    18082    370 |        5 |      254
1769.76/1770.25	c 1770s |      23 |  2881852 |  2594138 |    18082    370 |        5 |      254
1771.76/1772.25	c 1772s |      23 |  2884620 |  2596738 |    18082    370 |        5 |      254
1774.66/1775.15	c 1775s |      23 |  2885617 |  2597638 |    18082    370 |        5 |      254
1776.66/1777.18	c 1777s |      23 |  2888814 |  2600438 |    18082    371 |        5 |      254
1778.66/1779.20	c 1779s |      23 |  2892500 |  2603738 |    18082    371 |        5 |      254
1780.76/1781.26	c 1781s |      23 |  2895740 |  2606638 |    18082    371 |        5 |      254
1782.86/1783.30	c 1783s |      23 |  2899155 |  2609738 |    18082    372 |        5 |      254
1784.86/1785.35	c 1785s |      23 |  2902571 |  2612838 |    18082    372 |        5 |      254
1786.96/1787.42	c 1787s |      23 |  2905169 |  2615238 |    18082    372 |        5 |      254
1788.96/1789.44	c 1789s |      23 |  2908039 |  2617938 |    18082    373 |        5 |      254
1791.06/1791.51	c 1791s |      23 |  2911127 |  2620838 |    18082    373 |        5 |      254
1793.06/1793.57	c 1793s |      23 |  2914049 |  2623538 |    18082    373 |        5 |      254
1795.16/1795.62	c 1795s |      23 |  2916657 |  2625938 |    18082    374 |        5 |      254
1797.16/1797.65	c 1797s |      23 |  2919267 |  2628338 |    18082    374 |        5 |      254
1799.26/1799.70	c 1799s |      23 |  2922164 |  2631038 |    18082    374 |        5 |      254

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

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

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


[startup+0 s]
/proc/loadavg: 2.25 2.28 2.22 4/179 1182
/proc/meminfo: memFree=29849456/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=548284 CPUtime=0 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 2017 0 0 0 0 0 0 0 20 0 4 0 13316059 561442816 1867 33554432000 4194304 16246674 140734461717664 140734461717088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1182/statm: 137839 1876 441 2943 0 134733 0
[pid=1182/tid=1183] ppid=1179 vsize=819780 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 839454720 2929 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=824900 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 844697600 2946 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=828996 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13316059 848891904 2963 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.25 2.28 2.22 4/179 1182
/proc/meminfo: memFree=29849456/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 22336 0 0 0 6 3 0 0 20 0 4 0 13316059 1250496512 22124 33554432000 4194304 16246674 140734461717664 140734461699584 13752848 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 305297 22124 834 2943 0 302191 0
[pid=1182/tid=1183] ppid=1179 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1250496512 22124 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1250496512 22124 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13316059 1250496512 22124 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200502 s]
/proc/loadavg: 2.25 2.28 2.22 4/179 1182
/proc/meminfo: memFree=29849456/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 41121 0 0 0 14 5 0 0 20 0 4 0 13316059 1250496512 40909 33554432000 4194304 16246674 140734461717664 140734461699584 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 305297 40917 876 2943 0 302191 0
[pid=1182/tid=1183] ppid=1179 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1250496512 40923 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1250496512 40927 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13316059 1250496512 40936 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300456 s]
/proc/loadavg: 2.25 2.28 2.22 4/179 1182
/proc/meminfo: memFree=29849456/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 62392 0 0 0 21 8 0 0 20 0 4 0 13316059 1250496512 62181 33554432000 4194304 16246674 140734461717664 140734461699584 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 305297 62192 876 2943 0 302191 0
[pid=1182/tid=1183] ppid=1179 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1250496512 62196 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1250496512 62199 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13316059 1250496512 62204 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700368 s]
/proc/loadavg: 2.25 2.28 2.22 4/179 1182
/proc/meminfo: memFree=29849456/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 145052 0 0 0 48 21 0 0 20 0 4 0 13316059 1250496512 144840 33554432000 4194304 16246674 140734461717664 140734461699584 5523634 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 305297 144848 876 2943 0 302191 0
[pid=1182/tid=1183] ppid=1179 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1250496512 144853 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1250496512 144856 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13316059 1250496512 144860 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50043 s]
/proc/loadavg: 2.31 2.29 2.23 4/183 1186
/proc/meminfo: memFree=28374280/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 266471 0 0 0 111 38 0 0 20 0 4 0 13316059 1333334016 266259 33554432000 4194304 16246674 140734461717664 140734461716880 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 325521 266259 879 2943 0 322415 0
[pid=1182/tid=1183] ppid=1179 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1333334016 266259 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1333334016 266259 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1333334016 266259 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10037 s]
/proc/loadavg: 2.31 2.29 2.23 4/183 1186
/proc/meminfo: memFree=28111896/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1309252 CPUtime=3.09 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 268286 0 0 0 271 38 0 0 20 0 4 0 13316059 1340674048 268074 33554432000 4194304 16246674 140734461717664 140734461699584 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 327313 268074 885 2943 0 324207 0
[pid=1182/tid=1183] ppid=1179 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1340674048 268074 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1340674048 268074 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1340674048 268074 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1309252

[startup+6.30045 s]
/proc/loadavg: 2.31 2.29 2.23 3/183 1186
/proc/meminfo: memFree=28099416/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1312324 CPUtime=6.28 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 269185 0 0 0 590 38 0 0 20 0 4 0 13316059 1343819776 268973 33554432000 4194304 16246674 140734461717664 140734461699584 6023137 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 328081 268973 885 2943 0 324975 0
[pid=1182/tid=1183] ppid=1179 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1343819776 268973 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1343819776 268973 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1343819776 268973 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1312324

[startup+12.7073 s]
/proc/loadavg: 2.26 2.28 2.22 3/183 1186
/proc/meminfo: memFree=28099196/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 269267 0 0 0 1231 38 0 0 20 0 4 0 13316059 1343819776 269055 33554432000 4194304 16246674 140734461717664 140734461699584 12477752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 328081 269055 885 2943 0 324975 0
[pid=1182/tid=1183] ppid=1179 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1343819776 269055 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1343819776 269055 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1343819776 269055 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.22 2.27 2.22 3/183 1186
/proc/meminfo: memFree=28087372/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1317444 CPUtime=25.48 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 270547 0 0 0 2509 39 0 0 20 0 4 0 13316059 1349062656 270335 33554432000 4194304 16246674 140734461717664 140734461699584 5523513 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 329361 270335 885 2943 0 326255 0
[pid=1182/tid=1183] ppid=1179 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1349062656 270335 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1349062656 270335 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1349062656 270335 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1317444

[startup+51.1004 s]
/proc/loadavg: 2.33 2.29 2.23 3/183 1186
/proc/meminfo: memFree=28073776/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1325636 CPUtime=51.08 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 272595 0 0 0 5068 40 0 0 20 0 4 0 13316059 1357451264 272383 33554432000 4194304 16246674 140734461717664 140734461699584 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 331409 272383 885 2943 0 328303 0
[pid=1182/tid=1183] ppid=1179 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1357451264 272383 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1357451264 272383 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1357451264 272383 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1325636

[startup+102.3 s]
/proc/loadavg: 2.26 2.27 2.23 3/183 1187
/proc/meminfo: memFree=28050892/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1339972 CPUtime=102.27 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 276180 0 0 0 10186 41 0 0 20 0 4 0 13316059 1372131328 275968 33554432000 4194304 16246674 140734461717664 140734461699584 13906976 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 334993 275968 886 2943 0 331887 0
[pid=1182/tid=1183] ppid=1179 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1372131328 275968 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1372131328 275968 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1372131328 275968 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1339972


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

/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 1354308

[startup+1302.3 s]
/proc/loadavg: 2.26 2.23 2.24 3/184 1326
/proc/meminfo: memFree=27983956/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1354308 CPUtime=1301.94 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 280064 0 0 0 130132 62 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140734461699584 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 338577 279809 887 2943 0 335471 0
[pid=1182/tid=1183] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1354308

[startup+1362.3 s]
/proc/loadavg: 2.20 2.21 2.24 3/183 1327
/proc/meminfo: memFree=27984344/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1354308 CPUtime=1361.93 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 280064 0 0 0 136130 63 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140734461699584 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 338577 279809 887 2943 0 335471 0
[pid=1182/tid=1183] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1354308

[startup+1422.3 s]
/proc/loadavg: 2.13 2.19 2.22 3/182 1328
/proc/meminfo: memFree=27984856/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1354308 CPUtime=1421.92 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 280064 0 0 0 142128 64 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140734461700664 5822488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 338577 279809 887 2943 0 335471 0
[pid=1182/tid=1183] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 1354308

[startup+1482.31 s]
/proc/loadavg: 2.19 2.20 2.22 3/183 1330
/proc/meminfo: memFree=27984672/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1354308 CPUtime=1481.92 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 280064 0 0 0 148127 65 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140734461699584 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 338577 279809 887 2943 0 335471 0
[pid=1182/tid=1183] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 1354308

[startup+1542.3 s]
/proc/loadavg: 2.21 2.20 2.22 3/183 1331
/proc/meminfo: memFree=27984756/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1354308 CPUtime=1541.9 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 280064 0 0 0 154124 66 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140734461699584 5822740 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 338577 279809 887 2943 0 335471 0
[pid=1182/tid=1183] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1354308 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1386811392 279809 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1354308

[startup+1602.3 s]
/proc/loadavg: 2.19 2.19 2.21 3/183 1332
/proc/meminfo: memFree=27975584/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1363524 CPUtime=1601.89 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 282368 0 0 0 160122 67 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140734461699584 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 340881 282113 887 2943 0 337775 0
[pid=1182/tid=1183] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1363524

[startup+1662.3 s]
/proc/loadavg: 2.17 2.19 2.21 3/183 1333
/proc/meminfo: memFree=27973500/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1363524 CPUtime=1661.88 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 282368 0 0 0 166119 69 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140734461715456 4220507 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 340881 282113 887 2943 0 337775 0
[pid=1182/tid=1183] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1363524

[startup+1722.3 s]
/proc/loadavg: 2.23 2.20 2.21 3/184 1337
/proc/meminfo: memFree=27972872/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1363524 CPUtime=1721.87 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 282368 0 0 0 172117 70 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140734461699584 5676105 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 340881 282113 887 2943 0 337775 0
[pid=1182/tid=1183] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1363524

[startup+1782.3 s]
/proc/loadavg: 2.19 2.19 2.20 3/184 1368
/proc/meminfo: memFree=27972280/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1363524 CPUtime=1781.86 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 282368 0 0 0 178115 71 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140734461699584 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 340881 282113 887 2943 0 337775 0
[pid=1182/tid=1183] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1363524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.15 2.18 2.19 3/184 1368
/proc/meminfo: memFree=27973252/32872528 swapFree=1541688/1694988
[pid=1182] ppid=1179 vsize=1363524 CPUtime=1800.06 cores=1,3,5,7
/proc/1182/stat : 1182 (toysat) R 1179 1182 31715 0 -1 4202496 282368 0 0 0 179934 72 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140734461699584 5677884 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1182/statm: 340881 282113 887 2943 0 337775 0
[pid=1182/tid=1183] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1183/stat : 1183 (toysat) S 1179 1182 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204382858480 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1182/tid=1184] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1184/stat : 1184 (toysat) S 1179 1182 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204372368624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1182/tid=1185] ppid=1179 vsize=1363524 CPUtime=0 cores=1,3,5,7
/proc/1182/task/1185/stat : 1185 (toysat) S 1179 1182 31715 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13316059 1396248576 282113 33554432000 4194304 16246674 140734461717664 140204361895088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1363524

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1799.35
CPU system time (s): 0.724889
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 1363524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.35
system time used= 0.724889
maximum resident set size= 1128452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282368
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= 319
involuntary context switches= 1847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.08823 second user time and 8.45871 second system time

The end

Begin job on node125 at 2016-06-16 23:31:34
IDJOB=4096218
IDBENCH=107583
IDSOLVER=2542
FILE ID=node125/4096218-1466112694
RUNJOBID= node125-1466112694-1101
PBS_JOBID= 19904034
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 6bf17595778ecd6f40d80a634d3566ba
RANDOM SEED=952762316

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29863856 kB
Buffers:           58536 kB
Cached:           159148 kB
SwapCached:         2680 kB
Active:           499392 kB
Inactive:         103336 kB
Active(anon):     386008 kB
Inactive(anon):     2304 kB
Active(file):     113384 kB
Inactive(file):   101032 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097012 kB
Dirty:             32644 kB
Writeback:             0 kB
AnonPages:       2079216 kB
Mapped:             9636 kB
Shmem:                 0 kB
Slab:             572288 kB
SReclaimable:      15860 kB
SUnreclaim:       556428 kB
KernelStack:        1384 kB
PageTables:         9436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2823412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    153600 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= 71712 MiB
End job on node125 at 2016-06-17 00:01:35