0.00/0.00	c 2016-06-18T05:01:30+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4100929-1466218890.opb"]
0.00/0.01	c use --random-gen="365284422 555922440 4073500780 3570139466 1636664849 1899697122 691586581 2394624727 968195984 18405280 3437756787 2424126774 590536097 1945524541 2382801497 2829805486 909720750 161825711 388771796 2672877370 4284155382 961218379 935151004 248096716 1788271245 4026253532 2942078757 4071428175 1022567095 3004578681 2461010998 4098013974 1101229149 3544496530 1652890561 526158204 1047377954 682022462 3457311265 407577919 2442462824 2044570210 415679182 3022569924 3117451337 1428809003 3757136875 1840912920 1517844763 2220983944 3848989566 1539428376 1320729307 2400670821 3834009342 264137682 1692028966 4011639523 1173561907 3331334280 1155047085 825516016 2604597373 1334448087 665573849 2960482729 3235910665 169860604 2963899289 3310524607 4022980439 3488200342 1390352544 1907780594 1140130034 3242915214 1533097506 3211389135 282765042 3791322282 4155030408 1973448198 3091464946 1039040971 1617913983 812002673 4151490580 1460967389 1358881680 749423487 1855824139 955767193 3460252721 1729682147 1465215061 4136718694 4165033785 381498157 457318166 760725664 3439767606 3239390670 3509968680 2291088117 1086468349 2062668049 1154001859 1712755836 3183808023 442559146 2817342592 75824981 2311260882 1107661795 1960468597 3182004995 2702982661 3171729444 1993854666 3776833942 2498391422 1817783426 4275757312 947315266 3172912202 1414861217 3364975846 947972756 4028261799 4133510628 1902881941 459628613 3495303613 4252371766 4151522311 3946033809 1033698636 1615855628 3816248888 297739054 772346019 1201380128 1458159048 630640842 1450087429 2770501386 3931658679 2493701859 2824720481 2031611569 2978740616 3949646641 2894383403 2930247425 747197490 2578435055 1923018026 4117687959 2990421224 466345206 3165595391 3943169367 1927427778 1046184703 4128971807 469217489 668384146 1156997744 1931373797 3843846869 418633902 3621856704 3241297455 1075615153 822856914 3981721152 2631282189 3827744332 3211631777 4151276718 2645700985 4029592450 2377918426 4261435801 2415307996 1447304693 2399805882 3066364664 2355984248 1275370804 2877846032 4204349905 4071408974 1087549865 756462280 1011833097 3477003753 3290193729 3803697039 3297140160 2259520637 2447446694 2106817032 3490314078 1350036517 2970651977 1472618573 1997863437 1201376546 3882689330 3373714531 2100802599 3166930032 8214611 1872926776 1672964981 3634757448 1825066778 2162062308 1514181855 1035822604 3436484365 3338904158 1054455581 1751802398 2110262346 3930859939 723280903 3769795869 162650887 760090259 4088927299 2870848157 4258878136 2939032357 2087850159 1282441606 1537531596 3235467842 1810720167 3438345317 3161803476 532705621 3237274703 1408508858 1184450445 957635630 2387869361 3663237755 2869933170 374506571 2926296539 866680238 3697704602 659914600 996792493 255 362436" option to reproduce the execution
0.00/0.08	c #vars 6750
0.00/0.08	c #constraints 117
0.29/0.33	c BCD2: Hardening is enabled.
0.29/0.33	c BCD2: BiasedSearch is enabled.
0.29/0.33	c Solving starts ...
0.29/0.33	c ============================[ Search Statistics ]============================
0.29/0.33	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.33	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.33	c =============================================================================
0.29/0.33	c  0.0s |       0 |        0 |        0 |     2318      0 |     1723 |        0
0.29/0.38	c  0.1s |       1 |      414 |      100 |     2318      0 |     1724 |        0
0.39/0.45	c  0.1s |       2 |      589 |      250 |     2550      0 |     1724 |        0
0.49/0.54	c  0.2s |       3 |      845 |      475 |     2805      0 |     1724 |        0
0.69/0.71	c  0.4s |       4 |     1214 |      813 |     3086      0 |     1724 |        0
0.89/0.97	c  0.6s |       5 |     1754 |     1320 |     3395      0 |     1724 |        0
1.29/1.37	c  1.0s |       6 |     2623 |     2081 |     4109      0 |     1724 |        0
1.99/2.06	c  1.7s |       7 |     3866 |     3223 |     4520      0 |     1724 |        0
3.09/3.17	c  2.8s |       8 |     5703 |     4936 |     4972      0 |     1724 |        0
4.19/4.27	c  3.9s |       9 |     8510 |     7506 |     5470      1 |     1724 |        0
6.09/6.13	c  5.8s |      10 |    12574 |    11361 |     6018      2 |     1724 |        0
8.09/8.16	c  7.8s |      10 |    17023 |    15361 |     6018      3 |     1724 |        0
9.09/9.10	c  8.8s |      11 |    18904 |    17144 |     6620      3 |     1724 |        0
11.10/11.16	c 10.8s |      11 |    23019 |    20944 |     6620      4 |     1724 |        0
13.09/13.17	c 12.8s |      11 |    26753 |    24444 |     6620      5 |     1724 |        0
13.99/14.00	c 13.7s |      12 |    28232 |    25819 |     7283      5 |     1724 |        0
15.99/16.01	c 15.7s |      12 |    31448 |    28819 |     7283      6 |     1724 |        0
17.99/18.07	c 17.7s |      12 |    34724 |    31919 |     7283      6 |     1724 |        0
19.99/20.08	c 19.8s |      12 |    38093 |    35119 |     7283      7 |     1724 |        0
22.09/22.11	c 21.8s |      12 |    41460 |    38219 |     7283      8 |     1724 |        0
22.39/22.46	c 22.1s |      13 |    42120 |    38832 |     8012      8 |     1724 |        0
24.49/24.55	c 24.2s |      13 |    44767 |    41332 |     8012      8 |     1724 |        0
26.59/26.62	c 26.3s |      13 |    48097 |    44532 |     8012      9 |     1724 |        0
28.59/28.67	c 28.3s |      13 |    51849 |    48132 |     8012     10 |     1724 |        0
30.59/30.68	c 30.3s |      13 |    55561 |    51732 |     8012     10 |     1724 |        0
32.78/32.90	c 32.6s |      13 |    58848 |    54832 |     8012     11 |     1724 |        0
34.68/34.71	c 34.4s |      14 |    62616 |    58352 |     8814     12 |     1724 |        0
36.68/36.72	c 36.4s |      14 |    67070 |    62452 |     8814     12 |     1724 |        0
38.68/38.75	c 38.4s |      14 |    70999 |    66152 |     8814     13 |     1724 |        0
40.69/40.80	c 40.5s |      14 |    74797 |    69752 |     8814     14 |     1724 |        0
42.78/42.84	c 42.5s |      14 |    78621 |    73352 |     8814     14 |     1724 |        0
44.88/44.90	c 44.6s |      14 |    82530 |    77152 |     8814     15 |     1724 |        0
46.88/46.95	c 46.6s |      14 |    86206 |    80752 |     8814     16 |     1724 |        0
48.88/48.96	c 48.6s |      14 |    88481 |    82952 |     8814     16 |     1724 |        0
50.98/51.01	c 50.7s |      14 |    91668 |    86052 |     8814     17 |     1724 |        0
51.88/51.91	c 51.6s |      15 |    93356 |    87632 |     9696     17 |     1724 |        0
53.88/53.91	c 53.6s |      15 |    96678 |    90832 |     9696     17 |     1724 |        0
55.88/55.97	c 55.6s |      15 |   100595 |    94632 |     9696     18 |     1724 |        0
57.98/58.01	c 57.7s |      15 |   103968 |    97832 |     9696     19 |     1724 |        0
59.98/60.06	c 59.7s |      15 |   107446 |   101232 |     9696     19 |     1724 |        0
61.99/62.07	c 61.7s |      15 |   110556 |   104232 |     9696     20 |     1724 |        0
63.99/64.08	c 63.7s |      15 |   113629 |   107232 |     9696     20 |     1724 |        0
65.99/66.08	c 65.8s |      15 |   116590 |   110132 |     9696     21 |     1724 |        0
68.08/68.14	c 67.8s |      15 |   119187 |   112632 |     9696     21 |     1724 |        0
70.08/70.15	c 69.8s |      15 |   122254 |   115632 |     9696     22 |     1724 |        0
72.08/72.19	c 71.9s |      15 |   125050 |   118332 |     9696     22 |     1724 |        0
74.18/74.21	c 73.9s |      15 |   128604 |   121732 |     9696     23 |     1724 |        0
76.18/76.27	c 75.9s |      15 |   131843 |   124832 |     9696     23 |     1724 |        0
78.19/78.30	c 78.0s |      15 |   133986 |   126932 |     9696     24 |     1724 |        0
80.29/80.32	c 80.0s |      15 |   136847 |   129732 |     9696     24 |     1724 |        0
81.39/81.50	c 81.2s |      16 |   138688 |   131552 |    10666     24 |     1724 |        0
83.48/83.54	c 83.2s |      16 |   141447 |   134252 |    10666     25 |     1724 |        0
85.48/85.57	c 85.2s |      16 |   144516 |   137252 |    10666     25 |     1724 |        0
87.58/87.62	c 87.3s |      16 |   147591 |   140252 |    10666     26 |     1724 |        0
89.58/89.68	c 89.4s |      16 |   150892 |   143452 |    10666     26 |     1724 |        0
91.67/91.74	c 91.4s |      16 |   152585 |   145052 |    10666     27 |     1724 |        0
93.67/93.76	c 93.4s |      16 |   155768 |   148152 |    10666     27 |     1724 |        0
95.68/95.77	c 95.4s |      16 |   158870 |   151152 |    10666     27 |     1724 |        0
97.67/97.78	c 97.5s |      16 |   161726 |   153952 |    10666     28 |     1724 |        0
99.77/99.85	c 99.5s |      16 |   164700 |   156852 |    10666     28 |     1724 |        0
101.88/101.91	c  101s |      16 |   167570 |   159652 |    10666     29 |     1724 |        0
103.88/103.96	c  103s |      16 |   170463 |   162452 |    10666     29 |     1724 |        0
105.98/106.01	c  105s |      16 |   172945 |   164852 |    10666     30 |     1724 |        0
107.98/108.08	c  107s |      16 |   175703 |   167552 |    10666     30 |     1724 |        0
109.98/110.08	c  109s |      16 |   178401 |   170152 |    10666     31 |     1724 |        0
112.07/112.12	c  111s |      16 |   181387 |   173052 |    10666     31 |     1724 |        0
114.07/114.16	c  113s |      16 |   184451 |   176052 |    10666     31 |     1724 |        0
116.17/116.22	c  115s |      16 |   187720 |   179252 |    10666     32 |     1724 |        0
118.17/118.28	c  117s |      16 |   190591 |   182052 |    10666     32 |     1724 |        0
120.27/120.34	c  120s |      16 |   193891 |   185152 |    10666     33 |     1724 |        0
122.67/122.77	c  122s |      16 |   196498 |   187652 |    10666     33 |     1724 |        0
124.77/124.80	c  124s |      16 |   199374 |   190452 |    10666     34 |     1724 |        0
126.77/126.84	c  126s |      16 |   202023 |   193052 |    10666     34 |     1724 |        0
128.78/128.85	c  128s |      16 |   205063 |   196052 |    10666     35 |     1724 |        0
129.67/129.72	c  129s |      17 |   206470 |   197432 |    11733     35 |     1724 |        0
131.67/131.78	c  131s |      17 |   209471 |   200332 |    11733     35 |     1724 |        0
133.77/133.80	c  133s |      17 |   212015 |   202732 |    11733     36 |     1724 |        0
135.77/135.84	c  135s |      17 |   215236 |   205932 |    11733     36 |     1724 |        0
137.87/137.90	c  137s |      17 |   218080 |   208732 |    11733     36 |     1724 |        0
139.87/139.92	c  139s |      17 |   220632 |   211232 |    11733     37 |     1724 |        0
141.88/141.97	c  141s |      17 |   224236 |   214532 |    11733     37 |     1724 |        0
143.97/144.00	c  143s |      17 |   226723 |   216932 |    11733     38 |     1724 |        0
145.97/146.04	c  145s |      17 |   229123 |   219132 |    11733     38 |     1724 |        0
147.97/148.09	c  147s |      17 |   232566 |   222432 |    11733     38 |     1724 |        0
150.07/150.14	c  149s |      17 |   236284 |   225832 |    11733     39 |     1724 |        0
152.17/152.21	c  151s |      17 |   239191 |   228632 |    11733     39 |     1724 |        0
154.17/154.27	c  153s |      17 |   242027 |   231332 |    11733     40 |     1724 |        0
156.17/156.29	c  155s |      17 |   245148 |   234232 |    11733     40 |     1724 |        0
158.27/158.31	c  157s |      17 |   248332 |   237332 |    11733     41 |     1724 |        0
160.27/160.32	c  159s |      17 |   251655 |   240532 |    11733     41 |     1724 |        0
162.27/162.35	c  162s |      17 |   255370 |   244132 |    11733     42 |     1724 |        0
164.26/164.36	c  164s |      17 |   258270 |   246932 |    11733     42 |     1724 |        0
166.26/166.38	c  166s |      17 |   262007 |   250532 |    11733     43 |     1724 |        0
168.37/168.41	c  168s |      17 |   265038 |   253432 |    11733     43 |     1724 |        0
170.36/170.44	c  170s |      17 |   268483 |   256732 |    11733     43 |     1724 |        0
172.36/172.48	c  172s |      17 |   271808 |   259932 |    11733     44 |     1724 |        0
174.46/174.54	c  174s |      17 |   274685 |   262732 |    11733     44 |     1724 |        0
176.46/176.55	c  176s |      17 |   277085 |   264932 |    11733     45 |     1724 |        0
178.46/178.57	c  178s |      17 |   281264 |   269032 |    11733     45 |     1724 |        0
180.57/180.60	c  180s |      17 |   284571 |   272232 |    11733     46 |     1724 |        0
182.57/182.61	c  182s |      17 |   288046 |   275532 |    11733     46 |     1724 |        0
184.57/184.66	c  184s |      17 |   291039 |   278432 |    11733     47 |     1724 |        0
186.56/186.66	c  186s |      17 |   294182 |   281432 |    11733     47 |     1724 |        0
188.66/188.71	c  188s |      17 |   297217 |   284332 |    11733     48 |     1724 |        0
190.66/190.73	c  190s |      17 |   300191 |   287132 |    11733     48 |     1724 |        0
192.66/192.79	c  192s |      17 |   302182 |   289032 |    11733     48 |     1724 |        0
194.86/194.90	c  194s |      17 |   304877 |   291632 |    11733     49 |     1724 |        0
196.87/196.93	c  196s |      17 |   308131 |   294632 |    12907     49 |     1724 |        0
197.97/198.04	c  197s |      18 |   309806 |   296252 |    12907     49 |     1724 |        0
200.66/200.75	c  200s |      18 |   312514 |   298652 |    12907     49 |     1724 |        0
202.76/202.82	c  202s |      18 |   315137 |   301052 |    12907     50 |     1724 |        0
204.86/204.90	c  204s |      18 |   318213 |   303952 |    12907     50 |     1724 |        0
206.86/206.93	c  206s |      18 |   321005 |   306652 |    12907     51 |     1724 |        0
208.86/208.97	c  208s |      18 |   324342 |   309852 |    12907     51 |     1724 |        0
210.96/211.02	c  210s |      18 |   327333 |   312652 |    12907     51 |     1724 |        0
213.56/213.63	c  213s |      18 |   330187 |   315252 |    12907     52 |     1724 |        0
215.57/215.68	c  215s |      18 |   333187 |   318152 |    12907     52 |     1724 |        0
217.56/217.68	c  217s |      18 |   336123 |   320952 |    12907     52 |     1724 |        0
219.66/219.71	c  219s |      18 |   339034 |   323652 |    12907     53 |     1724 |        0
221.66/221.78	c  221s |      18 |   341924 |   326252 |    12907     53 |     1724 |        0
223.76/223.81	c  223s |      18 |   345244 |   329452 |    12907     54 |     1724 |        0
225.76/225.87	c  225s |      18 |   348502 |   332452 |    12907     54 |     1724 |        0
227.76/227.88	c  227s |      18 |   351428 |   335352 |    12907     54 |     1724 |        0
229.75/229.89	c  229s |      18 |   352671 |   336452 |    12907     55 |     1724 |        0
231.85/231.95	c  231s |      18 |   355944 |   339652 |    12907     55 |     1724 |        0
233.95/234.00	c  233s |      18 |   358739 |   342352 |    12907     55 |     1724 |        0
235.95/236.05	c  235s |      18 |   362076 |   345552 |    12907     56 |     1724 |        0
238.05/238.14	c  237s |      18 |   364593 |   347952 |    12907     56 |     1724 |        0
240.05/240.19	c  239s |      18 |   367746 |   350952 |    12907     57 |     1724 |        0
242.15/242.25	c  241s |      18 |   370945 |   354052 |    12907     57 |     1724 |        0
244.26/244.31	c  243s |      18 |   374088 |   357052 |    12907     57 |     1724 |        0
246.25/246.33	c  246s |      18 |   377029 |   359852 |    12907     58 |     1724 |        0
248.25/248.36	c  248s |      18 |   379772 |   362452 |    12907     58 |     1724 |        0
250.55/250.69	c  250s |      18 |   382896 |   365352 |    12907     59 |     1724 |        0
252.65/252.75	c  252s |      18 |   386177 |   368452 |    12907     59 |     1724 |        0
254.75/254.80	c  254s |      18 |   389336 |   371452 |    12907     59 |     1724 |        0
258.75/258.84	c  258s |      18 |   391531 |   373552 |    12907     60 |     1724 |        0
260.76/260.86	c  260s |      18 |   393193 |   375152 |    12907     60 |     1724 |        0
262.75/262.86	c  262s |      18 |   396728 |   378452 |    12907     60 |     1724 |        0
264.85/264.91	c  264s |      18 |   400423 |   381552 |    12907     61 |     1724 |        0
266.85/266.93	c  266s |      18 |   403032 |   383952 |    12907     61 |     1724 |        0
268.85/268.96	c  268s |      18 |   406063 |   386852 |    12907     61 |     1724 |        0
270.95/271.02	c  270s |      18 |   408856 |   389352 |    12907     62 |     1724 |        0
272.95/273.08	c  272s |      18 |   412406 |   392652 |    12907     62 |     1724 |        0
275.06/275.12	c  274s |      18 |   413452 |   393652 |    12907     62 |     1724 |        0
277.05/277.16	c  276s |      18 |   416262 |   396352 |    12907     63 |     1724 |        0
279.15/279.22	c  278s |      18 |   419666 |   399652 |    12907     63 |     1724 |        0
281.15/281.23	c  280s |      18 |   422524 |   402352 |    12907     64 |     1724 |        0
283.15/283.29	c  282s |      18 |   426181 |   405652 |    12907     64 |     1724 |        0
285.25/285.33	c  284s |      18 |   429410 |   408752 |    12907     64 |     1724 |        0
287.25/287.37	c  287s |      18 |   432656 |   411752 |    12907     65 |     1724 |        0
289.35/289.41	c  289s |      18 |   436107 |   415052 |    12907     65 |     1724 |        0
291.34/291.43	c  291s |      18 |   437511 |   416352 |    12907     65 |     1724 |        0
293.34/293.47	c  293s |      18 |   440747 |   419452 |    12907     66 |     1724 |        0
295.44/295.51	c  295s |      18 |   444130 |   422652 |    12907     66 |     1724 |        0
297.44/297.57	c  297s |      18 |   447291 |   425652 |    12907     67 |     1724 |        0
299.55/299.60	c  299s |      18 |   450306 |   428552 |    12907     67 |     1724 |        0
301.55/301.68	c  301s |      18 |   453325 |   431452 |    12907     67 |     1724 |        0
303.66/303.76	c  303s |      18 |   456399 |   434352 |    12907     68 |     1724 |        0
305.65/305.80	c  305s |      18 |   459581 |   437352 |    12907     68 |     1724 |        0
307.75/307.81	c  307s |      18 |   462612 |   440152 |    12907     69 |     1724 |        0
309.75/309.83	c  309s |      18 |   464117 |   441552 |    14198     69 |     1724 |        0
311.75/311.88	c  311s |      18 |   467159 |   444452 |    14198     69 |     1724 |        0
311.85/311.90	c  311s |      19 |   467187 |   444482 |    14198     69 |     1724 |        0
313.85/313.97	c  313s |      19 |   469883 |   446982 |    14198     69 |     1724 |        0
315.95/316.02	c  315s |      19 |   472153 |   449182 |    14198     70 |     1724 |        0
318.04/318.16	c  317s |      19 |   475655 |   452482 |    14198     70 |     1724 |        0
320.15/320.23	c  319s |      19 |   478295 |   455082 |    14198     70 |     1724 |        0
322.14/322.30	c  321s |      19 |   481034 |   457682 |    14198     71 |     1724 |        0
324.24/324.33	c  323s |      19 |   483625 |   460182 |    14198     71 |     1724 |        0
326.34/326.41	c  326s |      19 |   486293 |   462682 |    14198     71 |     1724 |        0
328.34/328.42	c  328s |      19 |   489827 |   466082 |    14198     72 |     1724 |        0
330.34/330.47	c  330s |      19 |   493459 |   469582 |    14198     72 |     1724 |        0
333.25/333.35	c  333s |      19 |   495294 |   471282 |    14198     72 |     1724 |        0
335.24/335.37	c  335s |      19 |   497852 |   473682 |    14198     73 |     1724 |        0
337.34/337.42	c  337s |      19 |   500960 |   476682 |    14198     73 |     1724 |        0
339.44/339.52	c  339s |      19 |   504136 |   479782 |    14198     73 |     1724 |        0
341.44/341.57	c  341s |      19 |   506975 |   482582 |    14198     74 |     1724 |        0
343.54/343.63	c  343s |      19 |   510527 |   486082 |    14198     74 |     1724 |        0
345.54/345.67	c  345s |      19 |   513846 |   489082 |    14198     75 |     1724 |        0
347.64/347.71	c  347s |      19 |   516850 |   491982 |    14198     75 |     1724 |        0
349.63/349.79	c  349s |      19 |   519573 |   494682 |    14198     75 |     1724 |        0
351.73/351.88	c  351s |      19 |   522105 |   497182 |    14198     76 |     1724 |        0
353.83/353.94	c  353s |      19 |   524723 |   499782 |    14198     76 |     1724 |        0
355.83/355.98	c  355s |      19 |   527248 |   502282 |    14198     76 |     1724 |        0
357.83/357.98	c  357s |      19 |   529575 |   504582 |    14198     77 |     1724 |        0
359.93/360.03	c  359s |      19 |   532137 |   507082 |    14198     77 |     1724 |        0
361.94/362.07	c  361s |      19 |   534959 |   509682 |    14198     77 |     1724 |        0
364.04/364.11	c  363s |      19 |   537387 |   511982 |    14198     77 |     1724 |        0
366.03/366.14	c  365s |      19 |   541169 |   515582 |    14198     78 |     1724 |        0
368.03/368.20	c  367s |      19 |   544209 |   518582 |    14198     78 |     1724 |        0
370.13/370.25	c  369s |      19 |   547150 |   521382 |    14198     79 |     1724 |        0
372.13/372.29	c  371s |      19 |   550658 |   524682 |    14198     79 |     1724 |        0
374.23/374.34	c  374s |      19 |   553301 |   527282 |    14198     79 |     1724 |        0
376.24/376.38	c  376s |      19 |   556024 |   529782 |    14198     80 |     1724 |        0
378.23/378.39	c  378s |      19 |   559035 |   532682 |    14198     80 |     1724 |        0
383.33/383.42	c  383s |      19 |   562209 |   535682 |    14198     80 |     1724 |        0
385.33/385.43	c  385s |      19 |   565168 |   538582 |    14198     81 |     1724 |        0
387.33/387.46	c  387s |      19 |   568462 |   541782 |    14198     81 |     1724 |        0
389.34/389.50	c  389s |      19 |   571410 |   544582 |    14198     82 |     1724 |        0
391.43/391.56	c  391s |      19 |   574272 |   547382 |    14198     82 |     1725 |        0
393.53/393.60	c  393s |      19 |   577466 |   550482 |    14198     82 |     1725 |        0
395.93/396.10	c  395s |      19 |   579861 |   552782 |    14198     83 |     1725 |        0
398.03/398.11	c  397s |      19 |   582849 |   555682 |    14198     83 |     1725 |        0
400.03/400.13	c  399s |      19 |   585920 |   558582 |    14198     83 |     1725 |        0
402.03/402.13	c  401s |      19 |   588486 |   561082 |    14198     84 |     1725 |        0
404.03/404.20	c  403s |      19 |   591665 |   564082 |    14198     84 |     1725 |        0
406.13/406.23	c  405s |      19 |   594679 |   566982 |    14198     84 |     1725 |        0
408.13/408.26	c  407s |      19 |   597503 |   569682 |    14198     85 |     1725 |        0
410.12/410.28	c  409s |      19 |   600288 |   572282 |    14198     85 |     1725 |        0
412.22/412.31	c  411s |      19 |   603391 |   575182 |    14198     85 |     1725 |        0
415.43/415.52	c  415s |      19 |   604971 |   576682 |    14198     86 |     1725 |        0
417.43/417.55	c  417s |      19 |   607334 |   578982 |    14198     86 |     1725 |        0
419.43/419.58	c  419s |      19 |   610965 |   582482 |    14198     86 |     1725 |        0
421.52/421.62	c  421s |      19 |   614287 |   585682 |    14198     87 |     1725 |        0
424.12/424.24	c  423s |      19 |   616913 |   588182 |    14198     87 |     1725 |        0
426.12/426.24	c  425s |      19 |   619528 |   590782 |    14198     87 |     1725 |        0
428.12/428.26	c  427s |      19 |   622711 |   593782 |    14198     88 |     1725 |        0
430.13/430.27	c  429s |      19 |   625537 |   596482 |    14198     88 |     1725 |        0
432.23/432.34	c  432s |      19 |   627845 |   598782 |    14198     88 |     1725 |        0
434.22/434.37	c  434s |      19 |   629900 |   600782 |    14198     89 |     1725 |        0
436.32/436.40	c  436s |      19 |   632442 |   603282 |    14198     89 |     1725 |        0
438.32/438.44	c  438s |      19 |   634851 |   605682 |    14198     89 |     1725 |        0
440.32/440.47	c  440s |      19 |   637081 |   607882 |    14198     89 |     1725 |        0
442.43/442.52	c  442s |      19 |   637897 |   608682 |    14198     90 |     1725 |        0
444.43/444.55	c  444s |      19 |   640702 |   611482 |    14198     90 |     1725 |        0
446.43/446.56	c  446s |      19 |   644183 |   614482 |    14198     90 |     1725 |        0
448.53/448.67	c  448s |      19 |   646291 |   616482 |    14198     90 |     1725 |        0
450.53/450.69	c  450s |      19 |   647898 |   618082 |    14198     91 |     1725 |        0
452.63/452.73	c  452s |      19 |   650630 |   620782 |    14198     91 |     1725 |        0
454.82/454.98	c  454s |      19 |   652186 |   622282 |    14198     91 |     1725 |        0
456.92/457.07	c  456s |      19 |   654393 |   624382 |    14198     91 |     1725 |        0
459.02/459.16	c  458s |      19 |   656301 |   626282 |    14198     92 |     1725 |        0
461.12/461.20	c  460s |      19 |   658838 |   628782 |    14198     92 |     1725 |        0
463.13/463.25	c  462s |      19 |   661462 |   631282 |    14198     92 |     1725 |        0
465.23/465.32	c  464s |      19 |   663578 |   633282 |    14198     93 |     1725 |        0
467.22/467.35	c  467s |      19 |   665799 |   635382 |    14198     93 |     1725 |        0
469.22/469.38	c  469s |      19 |   668504 |   637882 |    14198     93 |     1725 |        0
471.32/471.49	c  471s |      19 |   671239 |   640582 |    14198     93 |     1725 |        0
473.42/473.54	c  473s |      19 |   673729 |   642882 |    14198     94 |     1725 |        0
475.42/475.57	c  475s |      19 |   676781 |   645682 |    14198     94 |     1725 |        0
477.52/477.64	c  477s |      19 |   679370 |   648182 |    14198     94 |     1725 |        0
479.62/479.75	c  479s |      19 |   680934 |   649682 |    14198     95 |     1725 |        0
481.62/481.78	c  481s |      19 |   683995 |   652682 |    14198     95 |     1725 |        0
483.72/483.80	c  483s |      19 |   686631 |   655182 |    14198     95 |     1725 |        0
485.72/485.83	c  485s |      19 |   689229 |   657682 |    14198     96 |     1725 |        0
487.71/487.86	c  487s |      19 |   691677 |   659982 |    14198     96 |     1725 |        0
489.71/489.88	c  489s |      19 |   694298 |   662582 |    15618     96 |     1725 |        0
491.81/491.90	c  491s |      19 |   696574 |   664782 |    15618     96 |     1725 |        0
494.11/494.25	c  493s |      19 |   698144 |   666282 |    15618     97 |     1725 |        0
494.61/494.76	c  494s |      20 |   698729 |   666827 |    15618     97 |     1725 |        0
496.61/496.76	c  496s |      20 |   702194 |   670027 |    15618     97 |     1725 |        0
498.71/498.84	c  498s |      20 |   705573 |   673127 |    15618     97 |     1725 |        0
500.71/500.86	c  500s |      20 |   708901 |   676027 |    15618     98 |     1725 |        0
502.81/502.90	c  502s |      20 |   712038 |   678927 |    15618     98 |     1725 |        0
504.82/504.91	c  504s |      20 |   715053 |   681727 |    15618     98 |     1725 |        0
507.31/507.48	c  507s |      20 |   717481 |   683927 |    15618     99 |     1725 |        0
509.41/509.51	c  509s |      20 |   720432 |   686727 |    15618     99 |     1725 |        0
511.42/511.52	c  511s |      20 |   723231 |   689327 |    15618     99 |     1725 |        0
513.41/513.58	c  513s |      20 |   725382 |   691427 |    15618     99 |     1725 |        0
515.51/515.65	c  515s |      20 |   727796 |   693727 |    15618    100 |     1725 |        0
517.61/517.71	c  517s |      20 |   730348 |   696227 |    15618    100 |     1725 |        0
519.61/519.79	c  519s |      20 |   732597 |   698427 |    15618    100 |     1725 |        0
521.71/521.81	c  521s |      20 |   734850 |   700627 |    15618    100 |     1725 |        0
523.71/523.87	c  523s |      20 |   737491 |   703127 |    15618    101 |     1725 |        0
525.72/525.88	c  525s |      20 |   739856 |   705427 |    15618    101 |     1725 |        0
527.81/527.98	c  527s |      20 |   741903 |   707427 |    15618    101 |     1725 |        0
529.91/530.09	c  529s |      20 |   744598 |   709927 |    15618    102 |     1725 |        0
532.01/532.10	c  531s |      20 |   747428 |   712627 |    15618    102 |     1725 |        0
534.01/534.13	c  533s |      20 |   749962 |   715027 |    15618    102 |     1725 |        0
536.11/536.21	c  535s |      20 |   752343 |   717327 |    15618    102 |     1725 |        0
538.11/538.23	c  537s |      20 |   754506 |   719427 |    15618    103 |     1725 |        0
540.61/540.75	c  540s |      20 |   756130 |   721027 |    15618    103 |     1725 |        0
542.70/542.87	c  542s |      20 |   756869 |   721727 |    15618    103 |     1725 |        0
544.80/544.91	c  544s |      20 |   759599 |   724327 |    15618    103 |     1725 |        0
546.80/546.97	c  546s |      20 |   762310 |   726927 |    15618    103 |     1725 |        0
548.91/549.03	c  548s |      20 |   764742 |   729127 |    15618    104 |     1725 |        0
550.90/551.03	c  550s |      20 |   767465 |   731627 |    15618    104 |     1725 |        0
552.90/553.04	c  552s |      20 |   770652 |   734227 |    15618    104 |     1725 |        0
555.10/555.20	c  554s |      20 |   773202 |   736527 |    15618    105 |     1725 |        0
557.11/557.20	c  556s |      20 |   774993 |   738227 |    15618    105 |     1725 |        0
559.11/559.22	c  558s |      20 |   777634 |   740727 |    15618    105 |     1725 |        0
561.21/561.32	c  560s |      20 |   780026 |   743027 |    15618    105 |     1725 |        0
563.22/563.38	c  563s |      20 |   781531 |   744527 |    15618    105 |     1725 |        0
565.32/565.44	c  565s |      20 |   783357 |   746327 |    15618    106 |     1725 |        0
567.41/567.50	c  567s |      20 |   786585 |   749327 |    15618    106 |     1725 |        0
569.41/569.51	c  569s |      20 |   790011 |   752427 |    15618    106 |     1725 |        0
571.41/571.56	c  571s |      20 |   793311 |   755427 |    15618    107 |     1725 |        0
573.51/573.60	c  573s |      20 |   796545 |   758427 |    15618    107 |     1725 |        0
575.51/575.64	c  575s |      20 |   799435 |   761027 |    15618    107 |     1725 |        0
577.51/577.67	c  577s |      20 |   801781 |   763227 |    15618    108 |     1725 |        0
579.61/579.71	c  579s |      20 |   804680 |   765927 |    15618    108 |     1725 |        0
581.60/581.75	c  581s |      20 |   807369 |   768327 |    15618    108 |     1725 |        0
583.70/583.80	c  583s |      20 |   809801 |   770627 |    15618    108 |     1725 |        0
585.70/585.83	c  585s |      20 |   812256 |   773027 |    15618    109 |     1725 |        0
587.70/587.89	c  587s |      20 |   814836 |   775527 |    15618    109 |     1725 |        0
589.80/589.95	c  589s |      20 |   817028 |   777627 |    15618    109 |     1725 |        0
591.90/592.08	c  591s |      20 |   819287 |   779827 |    15618    110 |     1725 |        0
594.01/594.14	c  593s |      20 |   821543 |   782027 |    15618    110 |     1725 |        0
597.21/597.33	c  596s |      20 |   823842 |   784227 |    15618    110 |     1725 |        0
599.30/599.42	c  599s |      20 |   826397 |   786527 |    15618    110 |     1725 |        0
601.50/601.65	c  601s |      20 |   828985 |   788927 |    15618    111 |     1725 |        0
603.50/603.66	c  603s |      20 |   832165 |   792027 |    15618    111 |     1725 |        0
605.60/605.71	c  605s |      20 |   834749 |   794527 |    15618    111 |     1725 |        0
607.60/607.75	c  607s |      20 |   837189 |   796927 |    15618    111 |     1725 |        0
609.69/609.80	c  609s |      20 |   839810 |   799427 |    15618    112 |     1725 |        0
611.69/611.89	c  611s |      20 |   842355 |   801927 |    15618    112 |     1725 |        0
613.70/613.90	c  613s |      20 |   844429 |   803927 |    15618    112 |     1725 |        0
615.79/615.91	c  615s |      20 |   846358 |   805727 |    15618    112 |     1725 |        0
617.99/618.14	c  617s |      20 |   847294 |   806527 |    15618    113 |     1725 |        0
619.99/620.17	c  619s |      20 |   850017 |   809127 |    15618    113 |     1725 |        0
621.99/622.19	c  621s |      20 |   852461 |   811527 |    15618    113 |     1725 |        0
624.09/624.23	c  623s |      20 |   855024 |   813927 |    15618    113 |     1725 |        0
626.09/626.27	c  625s |      20 |   857356 |   816227 |    15618    114 |     1725 |        0
628.10/628.27	c  627s |      20 |   859804 |   818627 |    15618    114 |     1725 |        0
630.09/630.29	c  629s |      20 |   862139 |   820927 |    15618    114 |     1725 |        0
632.29/632.46	c  632s |      20 |   864304 |   823027 |    15618    114 |     1725 |        0
634.29/634.46	c  634s |      20 |   866971 |   825527 |    15618    115 |     1725 |        0
636.39/636.53	c  636s |      20 |   869674 |   828227 |    15618    115 |     1725 |        0
638.39/638.59	c  638s |      20 |   872314 |   830827 |    15618    115 |     1725 |        0
640.80/640.94	c  640s |      20 |   874386 |   832827 |    15618    116 |     1725 |        0
642.90/643.00	c  642s |      20 |   876818 |   835227 |    15618    116 |     1725 |        0
644.90/645.04	c  644s |      20 |   879236 |   837627 |    15618    116 |     1725 |        0
646.90/647.07	c  646s |      20 |   881652 |   840027 |    15618    116 |     1725 |        0
649.00/649.11	c  648s |      20 |   883977 |   842327 |    15618    117 |     1725 |        0
651.00/651.17	c  650s |      20 |   886338 |   844527 |    15618    117 |     1725 |        0
653.09/653.20	c  652s |      20 |   888598 |   846727 |    15618    117 |     1725 |        0
655.09/655.28	c  654s |      20 |   890753 |   848827 |    15618    117 |     1725 |        0
657.09/657.28	c  656s |      20 |   892173 |   850227 |    15618    118 |     1725 |        0
659.39/659.55	c  659s |      20 |   892411 |   850427 |    15618    118 |     1725 |        0
664.79/664.91	c  664s |      20 |   894422 |   852327 |    15618    118 |     1725 |        0
666.79/666.96	c  666s |      20 |   897197 |   855027 |    15618    118 |     1725 |        0
668.79/668.98	c  668s |      20 |   900684 |   858327 |    15618    118 |     1725 |        0
670.79/670.98	c  670s |      20 |   903750 |   861327 |    15618    119 |     1725 |        0
672.89/673.04	c  672s |      20 |   906408 |   863927 |    15618    119 |     1725 |        0
674.89/675.05	c  674s |      20 |   908975 |   866327 |    15618    119 |     1725 |        0
676.99/677.12	c  676s |      20 |   911699 |   868927 |    15618    120 |     1725 |        0
678.98/679.17	c  678s |      20 |   913223 |   870427 |    15618    120 |     1725 |        0
680.98/681.19	c  680s |      20 |   916013 |   873127 |    15618    120 |     1725 |        0
682.99/683.20	c  682s |      20 |   918769 |   875727 |    15618    120 |     1725 |        0
685.08/685.22	c  684s |      20 |   921683 |   878527 |    15618    121 |     1725 |        0
687.08/687.25	c  686s |      20 |   924641 |   881327 |    15618    121 |     1725 |        0
689.18/689.32	c  688s |      20 |   927268 |   883827 |    15618    121 |     1725 |        0
691.18/691.32	c  690s |      20 |   929783 |   886227 |    15618    122 |     1725 |        0
693.18/693.37	c  693s |      20 |   933055 |   889327 |    15618    122 |     1725 |        0
695.28/695.42	c  695s |      20 |   935768 |   891927 |    15618    122 |     1725 |        0
697.30/697.49	c  697s |      20 |   938306 |   894327 |    15618    123 |     1725 |        0
699.39/699.54	c  699s |      20 |   940609 |   896527 |    15618    123 |     1725 |        0
701.49/701.60	c  701s |      20 |   943014 |   898827 |    15618    123 |     1725 |        0
703.49/703.67	c  703s |      20 |   945215 |   900927 |    15618    123 |     1725 |        0
705.49/705.67	c  705s |      20 |   947118 |   902727 |    15618    124 |     1725 |        0
707.59/707.71	c  707s |      20 |   949565 |   905027 |    15618    124 |     1725 |        0
709.69/709.80	c  709s |      20 |   951359 |   906727 |    15618    124 |     1725 |        0
711.69/711.83	c  711s |      20 |   953287 |   908527 |    15618    124 |     1725 |        0
713.79/713.94	c  713s |      20 |   956088 |   911227 |    15618    125 |     1725 |        0
715.78/715.98	c  715s |      20 |   958728 |   913827 |    15618    125 |     1725 |        0
717.88/718.02	c  717s |      20 |   962024 |   917027 |    15618    125 |     1725 |        0
719.88/720.06	c  719s |      20 |   964776 |   919727 |    15618    126 |     1725 |        0
721.98/722.12	c  721s |      20 |   967204 |   922127 |    15618    126 |     1725 |        0
723.98/724.12	c  723s |      20 |   969650 |   924527 |    15618    126 |     1725 |        0
725.98/726.14	c  725s |      20 |   972202 |   927027 |    15618    126 |     1725 |        0
727.98/728.17	c  727s |      20 |   974591 |   929327 |    15618    127 |     1725 |        0
729.97/730.18	c  729s |      20 |   976344 |   931027 |    15618    127 |     1725 |        0
732.07/732.20	c  731s |      20 |   979400 |   933927 |    15618    127 |     1725 |        0
734.07/734.21	c  733s |      20 |   982045 |   936527 |    15618    127 |     1725 |        0
736.07/736.22	c  735s |      20 |   984449 |   938827 |    15618    128 |     1725 |        0
738.07/738.23	c  737s |      20 |   986913 |   941227 |    15618    128 |     1725 |        0
740.18/740.34	c  740s |      20 |   987953 |   942227 |    15618    128 |     1725 |        0
742.17/742.35	c  742s |      20 |   989969 |   944227 |    15618    128 |     1725 |        0
744.97/745.19	c  744s |      20 |   991131 |   945327 |    15618    128 |     1725 |        0
747.07/747.23	c  746s |      20 |   993301 |   947427 |    15618    129 |     1725 |        0
749.07/749.29	c  748s |      20 |   996231 |   950227 |    15618    129 |     1725 |        0
751.17/751.31	c  750s |      20 |   998997 |   952927 |    15618    129 |     1725 |        0
753.26/753.46	c  753s |      20 |  1000083 |   953927 |    15618    129 |     1725 |        0
755.26/755.48	c  755s |      20 |  1002590 |   956327 |    15618    130 |     1725 |        0
757.36/757.53	c  757s |      20 |  1005461 |   959027 |    15618    130 |     1725 |        0
759.36/759.53	c  759s |      20 |  1008432 |   961827 |    15618    130 |     1725 |        0
761.36/761.57	c  761s |      20 |  1011479 |   964727 |    15618    131 |     1725 |        0
763.37/763.58	c  763s |      20 |  1014744 |   967827 |    15618    131 |     1725 |        0
765.36/765.60	c  765s |      20 |  1017589 |   970527 |    15618    131 |     1725 |        0
767.46/767.67	c  767s |      20 |  1019845 |   972727 |    15618    132 |     1725 |        0
769.55/769.73	c  769s |      20 |  1022726 |   975327 |    15618    132 |     1725 |        0
771.55/771.76	c  771s |      20 |  1025356 |   977827 |    15618    132 |     1725 |        0
773.65/773.86	c  773s |      20 |  1027653 |   980027 |    15618    132 |     1725 |        0
775.76/775.91	c  775s |      20 |  1029853 |   982127 |    15618    133 |     1725 |        0
777.76/777.92	c  777s |      20 |  1032656 |   984727 |    15618    133 |     1725 |        0
779.77/779.98	c  779s |      20 |  1035021 |   986927 |    15618    133 |     1725 |        0
781.86/782.00	c  781s |      20 |  1037328 |   989027 |    15618    133 |     1725 |        0
783.86/784.01	c  783s |      20 |  1039728 |   991227 |    15618    134 |     1725 |        0
785.86/786.06	c  785s |      20 |  1042490 |   993727 |    17180    134 |     1725 |        0
788.15/788.36	c  788s |      20 |  1042665 |   993827 |    17180    134 |     1725 |        0
790.25/790.41	c  790s |      20 |  1045433 |   996427 |    17180    134 |     1725 |        0
792.25/792.46	c  792s |      20 |  1047990 |   998827 |    17180    134 |     1725 |        0
794.16/794.32	c  793s |      21 |  1049642 |  1000345 |    17180    135 |     1725 |        0
796.15/796.32	c  795s |      21 |  1052234 |  1002845 |    17180    135 |     1725 |        0
799.85/800.08	c  799s |      21 |  1054935 |  1005245 |    17180    135 |     1725 |        0
801.95/802.12	c  801s |      21 |  1057510 |  1007745 |    17180    135 |     1725 |        0
803.96/804.13	c  803s |      21 |  1060085 |  1010045 |    17180    136 |     1725 |        0
805.95/806.18	c  805s |      21 |  1061885 |  1011745 |    17180    136 |     1725 |        0
808.05/808.21	c  807s |      21 |  1063936 |  1013645 |    17180    136 |     1725 |        0
810.15/810.32	c  809s |      21 |  1065812 |  1015445 |    17180    136 |     1725 |        0
812.15/812.34	c  812s |      21 |  1067451 |  1017045 |    17180    136 |     1725 |        0
814.15/814.36	c  814s |      21 |  1069115 |  1018645 |    17180    136 |     1725 |        0
816.25/816.42	c  816s |      21 |  1071156 |  1020645 |    17180    137 |     1725 |        0
818.25/818.44	c  818s |      21 |  1073211 |  1022645 |    17180    137 |     1725 |        0
820.35/820.50	c  820s |      21 |  1075242 |  1024645 |    17180    137 |     1725 |        0
822.35/822.54	c  822s |      21 |  1077165 |  1026545 |    17180    137 |     1725 |        0
824.35/824.54	c  824s |      21 |  1078957 |  1028245 |    17180    137 |     1725 |        0
827.64/827.81	c  827s |      21 |  1080091 |  1029345 |    17180    138 |     1725 |        0
829.64/829.85	c  829s |      21 |  1082750 |  1031945 |    17180    138 |     1725 |        0
831.74/831.94	c  831s |      21 |  1085503 |  1034645 |    17180    138 |     1725 |        0
833.75/833.96	c  833s |      21 |  1087941 |  1037045 |    17180    138 |     1725 |        0
835.85/836.01	c  835s |      21 |  1090069 |  1039145 |    17180    139 |     1725 |        0
837.84/838.09	c  837s |      21 |  1092224 |  1041245 |    17180    139 |     1725 |        0
839.93/840.10	c  839s |      21 |  1094840 |  1043745 |    17180    139 |     1725 |        0
841.93/842.13	c  841s |      21 |  1097289 |  1046145 |    17180    139 |     1725 |        0
843.93/844.13	c  843s |      21 |  1099850 |  1048645 |    17180    140 |     1725 |        0
845.93/846.19	c  845s |      21 |  1102181 |  1050845 |    17180    140 |     1725 |        0
847.94/848.20	c  847s |      21 |  1104789 |  1053345 |    17180    140 |     1725 |        0
850.02/850.27	c  849s |      21 |  1107566 |  1056045 |    17180    140 |     1725 |        0
852.02/852.27	c  851s |      21 |  1109848 |  1058245 |    17180    141 |     1725 |        0
854.12/854.35	c  854s |      21 |  1110760 |  1059145 |    17180    141 |     1725 |        0
856.12/856.35	c  856s |      21 |  1113432 |  1061745 |    17180    141 |     1725 |        0
858.22/858.42	c  858s |      21 |  1115984 |  1064245 |    17180    141 |     1725 |        0
860.22/860.43	c  860s |      21 |  1118124 |  1066345 |    17180    141 |     1725 |        0
862.22/862.44	c  862s |      21 |  1119961 |  1068145 |    17180    142 |     1725 |        0
864.22/864.49	c  864s |      21 |  1123037 |  1071045 |    17180    142 |     1725 |        0
866.32/866.52	c  866s |      21 |  1125781 |  1073645 |    17180    142 |     1725 |        0
868.31/868.57	c  868s |      21 |  1127944 |  1075745 |    17180    142 |     1725 |        0
870.31/870.58	c  870s |      21 |  1129886 |  1077645 |    17180    143 |     1725 |        0
872.51/872.70	c  872s |      21 |  1132414 |  1080045 |    17180    143 |     1725 |        0
874.51/874.78	c  874s |      21 |  1135154 |  1082645 |    17180    143 |     1725 |        0
876.62/876.83	c  876s |      21 |  1138003 |  1085245 |    17180    143 |     1725 |        0
878.61/878.88	c  878s |      21 |  1140692 |  1087745 |    17180    144 |     1725 |        0
880.71/880.95	c  880s |      21 |  1143187 |  1090145 |    17180    144 |     1725 |        0
883.61/883.82	c  883s |      21 |  1144818 |  1091745 |    17180    144 |     1725 |        0
885.61/885.88	c  885s |      21 |  1147034 |  1093945 |    17180    144 |     1725 |        0
887.71/887.92	c  887s |      21 |  1149358 |  1096245 |    17180    145 |     1725 |        0
889.72/889.93	c  889s |      21 |  1151800 |  1098645 |    17180    145 |     1725 |        0
891.81/892.09	c  891s |      21 |  1154343 |  1101045 |    17180    145 |     1725 |        0
893.91/894.19	c  893s |      21 |  1156266 |  1102945 |    17180    145 |     1725 |        0
896.11/896.39	c  896s |      21 |  1158080 |  1104745 |    17180    146 |     1725 |        0
898.20/898.46	c  898s |      21 |  1160289 |  1106945 |    17180    146 |     1725 |        0
900.30/900.50	c  900s |      21 |  1163019 |  1109645 |    17180    146 |     1725 |        0
902.30/902.53	c  902s |      21 |  1165685 |  1112245 |    17180    146 |     1725 |        0
904.30/904.53	c  904s |      21 |  1168142 |  1114645 |    17180    147 |     1725 |        0
906.31/906.59	c  906s |      21 |  1170859 |  1117245 |    17180    147 |     1725 |        0
908.30/908.60	c  908s |      21 |  1173375 |  1119645 |    17180    147 |     1725 |        0
910.40/910.63	c  910s |      21 |  1175937 |  1122145 |    17180    147 |     1725 |        0
912.60/912.81	c  912s |      21 |  1178288 |  1124445 |    17180    148 |     1725 |        0
914.70/914.97	c  914s |      21 |  1180721 |  1126745 |    17180    148 |     1725 |        0
916.70/916.98	c  916s |      21 |  1182930 |  1128945 |    17180    148 |     1725 |        0
918.79/919.06	c  918s |      21 |  1185386 |  1131345 |    17180    148 |     1725 |        0
920.79/921.09	c  920s |      21 |  1187556 |  1133445 |    17180    149 |     1725 |        0
922.99/923.28	c  922s |      21 |  1190367 |  1136145 |    17180    149 |     1725 |        0
925.09/925.37	c  925s |      21 |  1192853 |  1138545 |    17180    149 |     1725 |        0
927.20/927.45	c  927s |      21 |  1195255 |  1140845 |    17180    149 |     1725 |        0
929.19/929.48	c  929s |      21 |  1197386 |  1142845 |    17180    150 |     1725 |        0
936.59/936.88	c  936s |      21 |  1197708 |  1143145 |    17180    150 |     1725 |        0
938.69/938.95	c  938s |      21 |  1200380 |  1145745 |    17180    150 |     1725 |        0
940.69/940.98	c  940s |      21 |  1202591 |  1147845 |    17180    150 |     1725 |        0
942.79/943.01	c  942s |      21 |  1204958 |  1150045 |    17180    150 |     1725 |        0
944.89/945.11	c  944s |      21 |  1207239 |  1152245 |    17180    150 |     1725 |        0
946.99/947.23	c  946s |      21 |  1208192 |  1153145 |    17180    151 |     1725 |        0
949.09/949.31	c  948s |      21 |  1210929 |  1155845 |    17180    151 |     1725 |        0
951.08/951.33	c  951s |      21 |  1213509 |  1158345 |    17180    151 |     1725 |        0
953.08/953.34	c  953s |      21 |  1216215 |  1160945 |    17180    151 |     1725 |        0
955.08/955.39	c  955s |      21 |  1218584 |  1163245 |    17180    152 |     1725 |        0
957.18/957.43	c  957s |      21 |  1220932 |  1165545 |    17180    152 |     1725 |        0
959.17/959.47	c  959s |      21 |  1223911 |  1168445 |    17180    152 |     1725 |        0
961.18/961.47	c  961s |      21 |  1226556 |  1171045 |    17180    152 |     1725 |        0
963.17/963.48	c  963s |      21 |  1229142 |  1173545 |    17180    153 |     1725 |        0
965.27/965.53	c  965s |      21 |  1231869 |  1176145 |    17180    153 |     1725 |        0
967.27/967.59	c  967s |      21 |  1234427 |  1178645 |    17180    153 |     1725 |        0
969.27/969.59	c  969s |      21 |  1236676 |  1180845 |    17180    153 |     1725 |        0
971.37/971.66	c  971s |      21 |  1239126 |  1183245 |    17180    154 |     1725 |        0
973.46/973.71	c  973s |      21 |  1241552 |  1185645 |    17180    154 |     1725 |        0
975.48/975.74	c  975s |      21 |  1243463 |  1187445 |    17180    154 |     1725 |        0
977.57/977.83	c  977s |      21 |  1245494 |  1189445 |    17180    154 |     1725 |        0
979.57/979.88	c  979s |      21 |  1247506 |  1191345 |    17180    155 |     1725 |        0
981.67/981.95	c  981s |      21 |  1250295 |  1194045 |    17180    155 |     1725 |        0
983.76/984.01	c  983s |      21 |  1252678 |  1196345 |    17180    155 |     1725 |        0
985.76/986.07	c  985s |      21 |  1254938 |  1198545 |    17180    155 |     1725 |        0
987.86/988.14	c  987s |      21 |  1256886 |  1200445 |    17180    156 |     1725 |        0
989.96/990.21	c  989s |      21 |  1259451 |  1202945 |    17180    156 |     1725 |        0
991.96/992.22	c  991s |      21 |  1262344 |  1205545 |    17180    156 |     1725 |        0
993.95/994.29	c  993s |      21 |  1264647 |  1207745 |    17180    156 |     1725 |        0
996.15/996.42	c  996s |      21 |  1266477 |  1209545 |    17180    157 |     1725 |        0
998.15/998.43	c  998s |      21 |  1268924 |  1211945 |    17180    157 |     1725 |        0
1000.15/1000.43	c 1000s |      21 |  1271262 |  1214245 |    17180    157 |     1725 |        0
1002.55/1002.88	c 1002s |      21 |  1272485 |  1215445 |    17180    157 |     1725 |        0
1004.65/1004.94	c 1004s |      21 |  1274754 |  1217645 |    17180    157 |     1725 |        0
1009.45/1009.80	c 1009s |      21 |  1276819 |  1219545 |    17180    158 |     1725 |        0
1011.55/1011.84	c 1011s |      21 |  1279308 |  1221945 |    17180    158 |     1725 |        0
1013.65/1013.90	c 1013s |      21 |  1281956 |  1224545 |    17180    158 |     1725 |        0
1015.65/1015.94	c 1015s |      21 |  1284538 |  1227045 |    17180    158 |     1725 |        0
1017.65/1017.96	c 1017s |      21 |  1286669 |  1229145 |    17180    159 |     1725 |        0
1019.65/1019.98	c 1019s |      21 |  1289126 |  1231545 |    17180    159 |     1725 |        0
1021.75/1022.07	c 1021s |      21 |  1291655 |  1234045 |    17180    159 |     1725 |        0
1023.85/1024.16	c 1023s |      21 |  1292264 |  1234645 |    17180    159 |     1725 |        0
1025.85/1026.17	c 1025s |      21 |  1294277 |  1236645 |    17180    159 |     1725 |        0
1027.94/1028.27	c 1027s |      21 |  1295727 |  1238045 |    17180    159 |     1725 |        0
1029.94/1030.29	c 1029s |      21 |  1298200 |  1240445 |    17180    160 |     1725 |        0
1032.04/1032.35	c 1032s |      21 |  1300775 |  1242945 |    17180    160 |     1725 |        0
1034.04/1034.35	c 1034s |      21 |  1303376 |  1245445 |    17180    160 |     1725 |        0
1036.05/1036.36	c 1036s |      21 |  1305746 |  1247745 |    17180    161 |     1725 |        0
1038.04/1038.38	c 1038s |      21 |  1308021 |  1249945 |    17180    161 |     1725 |        0
1040.03/1040.39	c 1040s |      21 |  1310662 |  1252445 |    17180    161 |     1725 |        0
1042.13/1042.45	c 1042s |      21 |  1313096 |  1254745 |    17180    161 |     1725 |        0
1044.13/1044.45	c 1044s |      21 |  1315454 |  1257045 |    17180    161 |     1725 |        0
1046.23/1046.53	c 1046s |      21 |  1317805 |  1259345 |    17180    162 |     1725 |        0
1048.23/1048.59	c 1048s |      21 |  1319850 |  1261345 |    17180    162 |     1725 |        0
1050.24/1050.59	c 1050s |      21 |  1321805 |  1263245 |    17180    162 |     1725 |        0
1052.33/1052.62	c 1052s |      21 |  1324583 |  1265845 |    17180    162 |     1725 |        0
1054.43/1054.72	c 1054s |      21 |  1326782 |  1267845 |    17180    163 |     1725 |        0
1056.43/1056.75	c 1056s |      21 |  1329559 |  1270545 |    17180    163 |     1725 |        0
1058.42/1058.77	c 1058s |      21 |  1332516 |  1273245 |    17180    163 |     1725 |        0
1060.42/1060.78	c 1060s |      21 |  1335252 |  1275745 |    17180    163 |     1725 |        0
1062.52/1062.80	c 1062s |      21 |  1337748 |  1278045 |    17180    164 |     1725 |        0
1064.53/1064.89	c 1064s |      21 |  1340316 |  1280345 |    17180    164 |     1725 |        0
1066.62/1066.97	c 1066s |      21 |  1342035 |  1282045 |    17180    164 |     1725 |        0
1068.61/1069.00	c 1068s |      21 |  1343953 |  1283945 |    17180    164 |     1725 |        0
1070.71/1071.02	c 1070s |      21 |  1345817 |  1285745 |    17180    165 |     1725 |        0
1072.71/1073.03	c 1072s |      21 |  1348308 |  1288145 |    17180    165 |     1725 |        0
1074.81/1075.11	c 1074s |      21 |  1350842 |  1290645 |    17180    165 |     1725 |        0
1077.92/1078.26	c 1077s |      21 |  1352080 |  1291845 |    17180    165 |     1725 |        0
1080.02/1080.32	c 1079s |      21 |  1353805 |  1293545 |    17180    165 |     1725 |        0
1082.21/1082.58	c 1082s |      21 |  1354111 |  1293845 |    17180    165 |     1725 |        0
1084.31/1084.65	c 1084s |      21 |  1355759 |  1295445 |    17180    166 |     1725 |        0
1086.31/1086.66	c 1086s |      21 |  1358379 |  1297845 |    17180    166 |     1725 |        0
1088.31/1088.68	c 1088s |      21 |  1360558 |  1299945 |    17180    166 |     1725 |        0
1090.91/1091.23	c 1090s |      21 |  1360872 |  1300245 |    17180    166 |     1725 |        0
1092.90/1093.27	c 1092s |      21 |  1363422 |  1302745 |    17180    166 |     1725 |        0
1095.00/1095.30	c 1094s |      21 |  1365873 |  1305045 |    17180    167 |     1725 |        0
1097.00/1097.36	c 1097s |      21 |  1368078 |  1307245 |    17180    167 |     1725 |        0
1099.00/1099.39	c 1099s |      21 |  1370451 |  1309545 |    17180    167 |     1725 |        0
1101.10/1101.45	c 1101s |      21 |  1372996 |  1311945 |    17180    167 |     1725 |        0
1103.40/1103.72	c 1103s |      21 |  1375480 |  1314345 |    17180    168 |     1725 |        0
1105.40/1105.74	c 1105s |      21 |  1378183 |  1316945 |    17180    168 |     1725 |        0
1107.40/1107.75	c 1107s |      21 |  1381063 |  1319745 |    17180    168 |     1725 |        0
1109.39/1109.76	c 1109s |      21 |  1383618 |  1322245 |    17180    168 |     1725 |        0
1111.39/1111.76	c 1111s |      21 |  1385846 |  1324445 |    17180    169 |     1725 |        0
1113.49/1113.89	c 1113s |      21 |  1388438 |  1326945 |    17180    169 |     1725 |        0
1115.59/1115.94	c 1115s |      21 |  1390905 |  1329345 |    17180    169 |     1725 |        0
1117.69/1118.00	c 1117s |      21 |  1393202 |  1331545 |    17180    169 |     1725 |        0
1119.69/1120.01	c 1119s |      21 |  1395117 |  1333445 |    17180    170 |     1725 |        0
1122.29/1122.64	c 1122s |      21 |  1396781 |  1335045 |    17180    170 |     1725 |        0
1124.39/1124.79	c 1124s |      21 |  1398736 |  1336945 |    17180    170 |     1725 |        0
1126.49/1126.88	c 1126s |      21 |  1401078 |  1339245 |    17180    170 |     1725 |        0
1128.58/1128.98	c 1128s |      21 |  1403131 |  1341245 |    17180    170 |     1725 |        0
1130.68/1131.02	c 1130s |      21 |  1405550 |  1343545 |    17180    171 |     1725 |        0
1132.69/1133.09	c 1132s |      21 |  1408249 |  1346145 |    17180    171 |     1725 |        0
1134.78/1135.11	c 1134s |      21 |  1411036 |  1348845 |    17180    171 |     1725 |        0
1136.78/1137.13	c 1136s |      21 |  1413204 |  1350945 |    17180    171 |     1725 |        0
1138.78/1139.16	c 1138s |      21 |  1414819 |  1352545 |    17180    172 |     1725 |        0
1140.88/1141.24	c 1140s |      21 |  1416631 |  1354345 |    17180    172 |     1725 |        0
1142.88/1143.29	c 1142s |      21 |  1419165 |  1356845 |    17180    172 |     1725 |        0
1144.98/1145.36	c 1145s |      21 |  1421610 |  1359245 |    17180    172 |     1725 |        0
1146.98/1147.39	c 1147s |      21 |  1423875 |  1361445 |    17180    172 |     1725 |        0
1149.07/1149.41	c 1149s |      21 |  1425783 |  1363345 |    17180    173 |     1725 |        0
1151.57/1151.98	c 1151s |      21 |  1426509 |  1364045 |    17180    173 |     1725 |        0
1153.58/1153.98	c 1153s |      21 |  1429015 |  1366445 |    17180    173 |     1725 |        0
1155.67/1156.02	c 1155s |      21 |  1431919 |  1369245 |    17180    173 |     1725 |        0
1157.67/1158.07	c 1157s |      21 |  1434393 |  1371645 |    17180    174 |     1725 |        0
1159.67/1160.07	c 1159s |      21 |  1437046 |  1374245 |    17180    174 |     1725 |        0
1161.77/1162.10	c 1161s |      21 |  1439614 |  1376745 |    17180    174 |     1725 |        0
1163.77/1164.11	c 1163s |      21 |  1441890 |  1378945 |    17180    174 |     1725 |        0
1165.78/1166.15	c 1165s |      21 |  1444062 |  1381045 |    17180    175 |     1725 |        0
1167.88/1168.22	c 1167s |      21 |  1446587 |  1383545 |    17180    175 |     1725 |        0
1169.87/1170.23	c 1169s |      21 |  1448940 |  1385845 |    17180    175 |     1725 |        0
1171.86/1172.27	c 1171s |      21 |  1450974 |  1387845 |    17180    175 |     1725 |        0
1173.96/1174.34	c 1174s |      21 |  1453421 |  1390145 |    17180    175 |     1725 |        0
1175.96/1176.39	c 1176s |      21 |  1455343 |  1392045 |    17180    176 |     1725 |        0
1178.06/1178.41	c 1178s |      21 |  1457549 |  1394245 |    17180    176 |     1725 |        0
1180.07/1180.47	c 1180s |      21 |  1459356 |  1396045 |    17180    176 |     1725 |        0
1182.16/1182.52	c 1182s |      21 |  1460166 |  1396845 |    17180    176 |     1725 |        0
1184.25/1184.60	c 1184s |      21 |  1462456 |  1399045 |    17180    176 |     1725 |        0
1186.25/1186.61	c 1186s |      21 |  1464397 |  1400945 |    17180    177 |     1725 |        0
1188.25/1188.67	c 1188s |      21 |  1466924 |  1403445 |    17180    177 |     1725 |        0
1190.35/1190.73	c 1190s |      21 |  1469331 |  1405745 |    17180    177 |     1725 |        0
1192.45/1192.83	c 1192s |      21 |  1471594 |  1407945 |    17180    177 |     1725 |        0
1194.45/1194.85	c 1194s |      21 |  1474015 |  1410145 |    17180    178 |     1725 |        0
1196.56/1196.92	c 1196s |      21 |  1476407 |  1412345 |    17180    178 |     1725 |        0
1198.54/1198.97	c 1198s |      21 |  1478770 |  1414645 |    17180    178 |     1725 |        0
1200.64/1201.02	c 1200s |      21 |  1481297 |  1417045 |    17180    178 |     1725 |        0
1202.64/1203.07	c 1202s |      21 |  1483945 |  1419545 |    17180    179 |     1725 |        0
1204.74/1205.16	c 1204s |      21 |  1485301 |  1420845 |    17180    179 |     1725 |        0
1206.74/1207.16	c 1206s |      21 |  1487945 |  1423345 |    17180    179 |     1725 |        0
1208.74/1209.19	c 1208s |      21 |  1490374 |  1425745 |    17180    179 |     1725 |        0
1210.74/1211.20	c 1210s |      21 |  1492628 |  1427945 |    17180    179 |     1725 |        0
1212.84/1213.24	c 1212s |      21 |  1495068 |  1430345 |    17180    180 |     1725 |        0
1214.84/1215.26	c 1214s |      21 |  1497379 |  1432545 |    17180    180 |     1725 |        0
1216.94/1217.35	c 1217s |      21 |  1500059 |  1435045 |    17180    180 |     1725 |        0
1218.93/1219.36	c 1219s |      21 |  1502532 |  1437445 |    17180    180 |     1725 |        0
1221.03/1221.40	c 1221s |      21 |  1504983 |  1439845 |    17180    181 |     1725 |        0
1223.03/1223.47	c 1223s |      21 |  1507968 |  1442245 |    17180    181 |     1725 |        0
1225.14/1225.55	c 1225s |      21 |  1510568 |  1444745 |    17180    181 |     1725 |        0
1227.13/1227.55	c 1227s |      21 |  1513008 |  1447145 |    17180    181 |     1725 |        0
1229.72/1230.11	c 1229s |      21 |  1514313 |  1448345 |    17180    182 |     1725 |        0
1231.73/1232.15	c 1231s |      21 |  1516714 |  1450745 |    17180    182 |     1725 |        0
1233.72/1234.17	c 1233s |      21 |  1518908 |  1452945 |    17180    182 |     1725 |        0
1235.82/1236.20	c 1235s |      21 |  1521175 |  1455145 |    17180    182 |     1725 |        0
1238.73/1239.11	c 1238s |      21 |  1523383 |  1457245 |    17180    183 |     1725 |        0
1240.73/1241.12	c 1240s |      21 |  1525780 |  1459545 |    17180    183 |     1725 |        0
1242.73/1243.13	c 1242s |      21 |  1528113 |  1461845 |    17180    183 |     1725 |        0
1244.72/1245.17	c 1244s |      21 |  1530077 |  1463745 |    17180    183 |     1725 |        0
1249.51/1249.94	c 1249s |      21 |  1530182 |  1463845 |    17180    183 |     1725 |        0
1253.22/1253.63	c 1253s |      21 |  1530590 |  1464245 |    17180    183 |     1725 |        0
1255.22/1255.67	c 1255s |      21 |  1532737 |  1466345 |    17180    183 |     1725 |        0
1257.32/1257.74	c 1257s |      21 |  1534866 |  1468445 |    17180    184 |     1725 |        0
1259.41/1259.86	c 1259s |      21 |  1535079 |  1468645 |    17180    184 |     1725 |        0
1261.42/1261.87	c 1261s |      21 |  1537627 |  1471145 |    17180    184 |     1725 |        0
1263.52/1263.93	c 1263s |      21 |  1540362 |  1473745 |    17180    184 |     1725 |        0
1265.51/1265.99	c 1265s |      21 |  1542834 |  1476145 |    17180    184 |     1725 |        0
1267.61/1268.06	c 1267s |      21 |  1545234 |  1478445 |    17180    185 |     1725 |        0
1269.71/1270.10	c 1269s |      21 |  1547633 |  1480745 |    17180    185 |     1725 |        0
1271.70/1272.13	c 1271s |      21 |  1550175 |  1483145 |    17180    185 |     1725 |        0
1273.80/1274.20	c 1273s |      21 |  1552625 |  1485545 |    17180    185 |     1725 |        0
1275.80/1276.23	c 1275s |      21 |  1554989 |  1487845 |    17180    186 |     1725 |        0
1277.81/1278.23	c 1277s |      21 |  1557442 |  1490245 |    18898    186 |     1725 |        0
1279.91/1280.30	c 1279s |      21 |  1559100 |  1491845 |    18898    186 |     1725 |        0
1281.91/1282.38	c 1282s |      21 |  1561403 |  1494045 |    18898    186 |     1725 |        0
1284.01/1284.44	c 1284s |      21 |  1563734 |  1496245 |    18898    186 |     1725 |        0
1286.01/1286.44	c 1286s |      21 |  1565302 |  1497745 |    18898    187 |     1725 |        0
1288.01/1288.45	c 1288s |      21 |  1568137 |  1500445 |    18898    187 |     1725 |        0
1288.11/1288.58	c 1288s |      22 |  1568329 |  1500622 |    18898    187 |     1725 |        0
1290.20/1290.66	c 1290s |      22 |  1569072 |  1501322 |    18898    187 |     1725 |        0
1292.30/1292.70	c 1292s |      22 |  1570559 |  1502722 |    18898    187 |     1725 |        0
1294.31/1294.71	c 1294s |      22 |  1572829 |  1504922 |    18898    187 |     1725 |        0
1296.30/1296.73	c 1296s |      22 |  1574971 |  1507022 |    18898    187 |     1725 |        0
1298.29/1298.75	c 1298s |      22 |  1576432 |  1508422 |    18898    188 |     1725 |        0
1300.39/1300.80	c 1300s |      22 |  1578684 |  1510622 |    18898    188 |     1725 |        0
1302.39/1302.83	c 1302s |      22 |  1580751 |  1512622 |    18898    188 |     1725 |        0
1304.49/1304.95	c 1304s |      22 |  1583253 |  1515022 |    18898    188 |     1725 |        0
1306.50/1306.96	c 1306s |      22 |  1585519 |  1517222 |    18898    188 |     1725 |        0
1308.49/1309.00	c 1308s |      22 |  1587361 |  1519022 |    18898    189 |     1725 |        0
1310.59/1311.04	c 1310s |      22 |  1589958 |  1521522 |    18898    189 |     1725 |        0
1312.69/1313.12	c 1312s |      22 |  1592673 |  1524122 |    18898    189 |     1725 |        0
1314.69/1315.18	c 1314s |      22 |  1594915 |  1526322 |    18898    189 |     1725 |        0
1316.79/1317.25	c 1316s |      22 |  1596975 |  1528322 |    18898    190 |     1725 |        0
1318.79/1319.28	c 1318s |      22 |  1599393 |  1530622 |    18898    190 |     1725 |        0
1320.89/1321.30	c 1320s |      22 |  1601449 |  1532622 |    18898    190 |     1725 |        0
1322.89/1323.39	c 1323s |      22 |  1603894 |  1534922 |    18898    190 |     1725 |        0
1324.99/1325.46	c 1325s |      22 |  1606192 |  1537122 |    18898    190 |     1725 |        0
1326.99/1327.49	c 1327s |      22 |  1608402 |  1539222 |    18898    191 |     1725 |        0
1329.00/1329.49	c 1329s |      22 |  1610155 |  1540922 |    18898    191 |     1725 |        0
1331.09/1331.50	c 1331s |      22 |  1612609 |  1543322 |    18898    191 |     1725 |        0
1333.09/1333.56	c 1333s |      22 |  1614980 |  1545622 |    18898    191 |     1725 |        0
1336.89/1337.34	c 1337s |      22 |  1616223 |  1546822 |    18898    191 |     1725 |        0
1338.88/1339.38	c 1339s |      22 |  1617283 |  1547822 |    18898    191 |     1725 |        0
1340.88/1341.39	c 1341s |      22 |  1619135 |  1549622 |    18898    192 |     1725 |        0
1342.98/1343.40	c 1343s |      22 |  1621355 |  1551722 |    18898    192 |     1725 |        0
1344.99/1345.43	c 1345s |      22 |  1623429 |  1553722 |    18898    192 |     1725 |        0
1346.98/1347.48	c 1347s |      22 |  1625736 |  1555922 |    18898    192 |     1725 |        0
1349.08/1349.56	c 1349s |      22 |  1627936 |  1558022 |    18898    192 |     1725 |        0
1351.07/1351.59	c 1351s |      22 |  1629914 |  1559922 |    18898    193 |     1725 |        0
1353.17/1353.68	c 1353s |      22 |  1632213 |  1562122 |    18898    193 |     1725 |        0
1355.17/1355.68	c 1355s |      22 |  1634643 |  1564422 |    18898    193 |     1725 |        0
1357.27/1357.76	c 1357s |      22 |  1636895 |  1566622 |    18898    193 |     1725 |        0
1359.28/1359.77	c 1359s |      22 |  1638311 |  1568022 |    18898    193 |     1725 |        0
1361.48/1361.94	c 1361s |      22 |  1640202 |  1569822 |    18898    194 |     1725 |        0
1363.48/1363.94	c 1363s |      22 |  1642905 |  1572422 |    18898    194 |     1725 |        0
1365.48/1365.95	c 1365s |      22 |  1645646 |  1575022 |    18898    194 |     1725 |        0
1367.48/1367.96	c 1367s |      22 |  1648180 |  1577422 |    18898    194 |     1725 |        0
1369.57/1370.06	c 1369s |      22 |  1650706 |  1579822 |    18898    194 |     1725 |        0
1372.17/1372.63	c 1372s |      22 |  1651319 |  1580422 |    18898    195 |     1725 |        0
1374.17/1374.68	c 1374s |      22 |  1654231 |  1583222 |    18898    195 |     1725 |        0
1376.27/1376.70	c 1376s |      22 |  1657172 |  1585822 |    18898    195 |     1725 |        0
1378.27/1378.72	c 1378s |      22 |  1659591 |  1588122 |    18898    195 |     1725 |        0
1380.27/1380.75	c 1380s |      22 |  1662496 |  1590822 |    18898    196 |     1725 |        0
1382.27/1382.76	c 1382s |      22 |  1664127 |  1592422 |    18898    196 |     1725 |        0
1384.26/1384.77	c 1384s |      22 |  1666569 |  1594822 |    18898    196 |     1725 |        0
1386.36/1386.85	c 1386s |      22 |  1668813 |  1597022 |    18898    196 |     1725 |        0
1388.46/1388.91	c 1388s |      22 |  1670947 |  1599122 |    18898    196 |     1725 |        0
1390.46/1390.94	c 1390s |      22 |  1672772 |  1600922 |    18898    197 |     1725 |        0
1392.46/1392.98	c 1392s |      22 |  1675088 |  1603222 |    18898    197 |     1725 |        0
1394.66/1395.10	c 1394s |      22 |  1677233 |  1605322 |    18898    197 |     1725 |        0
1396.67/1397.15	c 1396s |      22 |  1679425 |  1607422 |    18898    197 |     1725 |        0
1398.65/1399.16	c 1398s |      22 |  1681367 |  1609322 |    18898    197 |     1725 |        0
1400.85/1401.33	c 1400s |      22 |  1683237 |  1611122 |    18898    197 |     1725 |        0
1403.45/1403.99	c 1403s |      22 |  1684281 |  1612122 |    18898    198 |     1725 |        0
1405.96/1406.43	c 1406s |      22 |  1685023 |  1612822 |    18898    198 |     1725 |        0
1407.96/1408.45	c 1408s |      22 |  1686007 |  1613622 |    18898    198 |     1725 |        0
1410.06/1410.51	c 1410s |      22 |  1688515 |  1616022 |    18898    198 |     1725 |        0
1412.07/1412.59	c 1412s |      22 |  1691143 |  1618522 |    18898    198 |     1725 |        0
1414.17/1414.62	c 1414s |      22 |  1693101 |  1620422 |    18898    198 |     1725 |        0
1416.26/1416.78	c 1416s |      22 |  1694842 |  1622122 |    18898    199 |     1725 |        0
1418.36/1418.82	c 1418s |      22 |  1697429 |  1624622 |    18898    199 |     1725 |        0
1420.36/1420.89	c 1420s |      22 |  1699994 |  1627022 |    18898    199 |     1725 |        0
1422.36/1422.89	c 1422s |      22 |  1702281 |  1629222 |    18898    199 |     1725 |        0
1424.46/1424.90	c 1424s |      22 |  1704434 |  1631322 |    18898    199 |     1725 |        0
1426.46/1426.92	c 1426s |      22 |  1706367 |  1633222 |    18898    200 |     1725 |        0
1428.56/1429.01	c 1428s |      22 |  1709019 |  1635822 |    18898    200 |     1725 |        0
1430.56/1431.10	c 1430s |      22 |  1711462 |  1638122 |    18898    200 |     1725 |        0
1432.66/1433.18	c 1432s |      22 |  1713867 |  1640422 |    18898    200 |     1725 |        0
1434.85/1435.31	c 1434s |      22 |  1716027 |  1642422 |    18898    201 |     1725 |        0
1436.95/1437.41	c 1437s |      22 |  1717501 |  1643822 |    18898    201 |     1725 |        0
1438.95/1439.49	c 1439s |      22 |  1719220 |  1645522 |    18898    201 |     1725 |        0
1441.05/1441.51	c 1441s |      22 |  1721310 |  1647522 |    18898    201 |     1725 |        0
1443.25/1443.72	c 1443s |      22 |  1723080 |  1649222 |    18898    201 |     1725 |        0
1445.25/1445.77	c 1445s |      22 |  1725566 |  1651622 |    18898    201 |     1725 |        0
1447.35/1447.85	c 1447s |      22 |  1727850 |  1653822 |    18898    202 |     1725 |        0
1449.46/1449.91	c 1449s |      22 |  1730650 |  1656522 |    18898    202 |     1725 |        0
1451.45/1451.92	c 1451s |      22 |  1732983 |  1658722 |    18898    202 |     1725 |        0
1453.55/1454.00	c 1453s |      22 |  1735452 |  1661122 |    18898    202 |     1725 |        0
1455.55/1456.05	c 1455s |      22 |  1737882 |  1663422 |    18898    203 |     1725 |        0
1457.55/1458.08	c 1457s |      22 |  1740559 |  1665922 |    18898    203 |     1725 |        0
1459.65/1460.16	c 1459s |      22 |  1742845 |  1668122 |    18898    203 |     1725 |        0
1462.14/1462.64	c 1462s |      22 |  1744506 |  1669722 |    18898    203 |     1725 |        0
1464.14/1464.65	c 1464s |      22 |  1746666 |  1671822 |    18898    203 |     1725 |        0
1466.24/1466.70	c 1466s |      22 |  1748629 |  1673722 |    18898    204 |     1725 |        0
1468.24/1468.75	c 1468s |      22 |  1751203 |  1676222 |    18898    204 |     1725 |        0
1470.35/1470.81	c 1470s |      22 |  1753681 |  1678622 |    18898    204 |     1725 |        0
1472.34/1472.83	c 1472s |      22 |  1755945 |  1680822 |    18898    204 |     1725 |        0
1474.34/1474.84	c 1474s |      22 |  1758150 |  1682922 |    18898    204 |     1725 |        0
1476.54/1477.04	c 1476s |      22 |  1760430 |  1685122 |    18898    205 |     1725 |        0
1478.54/1479.06	c 1478s |      22 |  1762746 |  1687322 |    18898    205 |     1725 |        0
1480.64/1481.12	c 1480s |      22 |  1765336 |  1689822 |    18898    205 |     1725 |        0
1482.64/1483.16	c 1482s |      22 |  1767731 |  1692122 |    18898    205 |     1725 |        0
1484.65/1485.18	c 1484s |      22 |  1769905 |  1694222 |    18898    205 |     1725 |        0
1486.75/1487.25	c 1486s |      22 |  1772242 |  1696522 |    18898    206 |     1725 |        0
1488.84/1489.31	c 1488s |      22 |  1774336 |  1698322 |    18898    206 |     1725 |        0
1490.84/1491.35	c 1491s |      22 |  1776382 |  1700322 |    18898    206 |     1725 |        0
1498.95/1499.46	c 1499s |      22 |  1778214 |  1702122 |    18898    206 |     1725 |        0
1501.05/1501.52	c 1501s |      22 |  1779637 |  1703522 |    18898    206 |     1725 |        0
1503.04/1503.53	c 1503s |      22 |  1781060 |  1704922 |    18898    207 |     1725 |        0
1505.04/1505.53	c 1505s |      22 |  1783200 |  1707022 |    18898    207 |     1725 |        0
1507.04/1507.60	c 1507s |      22 |  1785336 |  1709122 |    18898    207 |     1725 |        0
1509.14/1509.67	c 1509s |      22 |  1787474 |  1711222 |    18898    207 |     1725 |        0
1511.24/1511.70	c 1511s |      22 |  1789624 |  1713322 |    18898    207 |     1725 |        0
1513.24/1513.72	c 1513s |      22 |  1791474 |  1715122 |    18898    208 |     1725 |        0
1515.24/1515.78	c 1515s |      22 |  1794357 |  1717922 |    18898    208 |     1725 |        0
1517.34/1517.82	c 1517s |      22 |  1797353 |  1720822 |    18898    208 |     1725 |        0
1519.34/1519.86	c 1519s |      22 |  1799937 |  1723322 |    18898    208 |     1725 |        0
1521.44/1521.93	c 1521s |      22 |  1801654 |  1724922 |    18898    208 |     1725 |        0
1523.44/1523.96	c 1523s |      22 |  1803726 |  1726822 |    18898    209 |     1725 |        0
1525.44/1525.98	c 1525s |      22 |  1805967 |  1728922 |    18898    209 |     1725 |        0
1527.45/1528.00	c 1527s |      22 |  1808479 |  1731322 |    18898    209 |     1725 |        0
1529.54/1530.05	c 1529s |      22 |  1810946 |  1733722 |    18898    209 |     1725 |        0
1531.54/1532.07	c 1531s |      22 |  1813243 |  1735922 |    18898    210 |     1725 |        0
1533.64/1534.10	c 1533s |      22 |  1816130 |  1738622 |    18898    210 |     1725 |        0
1535.64/1536.15	c 1535s |      22 |  1818254 |  1740622 |    18898    210 |     1725 |        0
1537.74/1538.20	c 1537s |      22 |  1821084 |  1743222 |    18898    210 |     1725 |        0
1539.74/1540.24	c 1539s |      22 |  1823407 |  1745422 |    18898    210 |     1725 |        0
1541.74/1542.28	c 1541s |      22 |  1825898 |  1747722 |    18898    211 |     1725 |        0
1543.84/1544.34	c 1544s |      22 |  1828865 |  1750422 |    18898    211 |     1725 |        0
1545.84/1546.34	c 1546s |      22 |  1830526 |  1752022 |    18898    211 |     1725 |        0
1547.84/1548.35	c 1548s |      22 |  1832858 |  1754222 |    18898    211 |     1725 |        0
1549.94/1550.40	c 1550s |      22 |  1835430 |  1756622 |    18898    212 |     1725 |        0
1551.94/1552.45	c 1552s |      22 |  1838101 |  1759222 |    18898    212 |     1725 |        0
1553.94/1554.47	c 1554s |      22 |  1840338 |  1761422 |    18898    212 |     1725 |        0
1555.93/1556.48	c 1556s |      22 |  1842756 |  1763722 |    18898    212 |     1725 |        0
1558.03/1558.51	c 1558s |      22 |  1845041 |  1765922 |    18898    212 |     1725 |        0
1560.03/1560.53	c 1560s |      22 |  1847188 |  1768022 |    18898    213 |     1725 |        0
1562.03/1562.54	c 1562s |      22 |  1849587 |  1770322 |    18898    213 |     1725 |        0
1564.03/1564.58	c 1564s |      22 |  1850922 |  1771622 |    18898    213 |     1725 |        0
1567.53/1568.08	c 1567s |      22 |  1851927 |  1772622 |    18898    213 |     1725 |        0
1569.63/1570.17	c 1569s |      22 |  1852944 |  1773622 |    18898    213 |     1725 |        0
1571.73/1572.22	c 1571s |      22 |  1855210 |  1775822 |    18898    213 |     1725 |        0
1573.73/1574.26	c 1573s |      22 |  1857353 |  1777922 |    18898    214 |     1725 |        0
1575.73/1576.28	c 1575s |      22 |  1859507 |  1779922 |    18898    214 |     1725 |        0
1577.83/1578.32	c 1577s |      22 |  1862205 |  1782522 |    18898    214 |     1725 |        0
1579.82/1580.38	c 1580s |      22 |  1864684 |  1784922 |    18898    214 |     1725 |        0
1581.92/1582.47	c 1582s |      22 |  1867023 |  1787122 |    18898    214 |     1725 |        0
1584.02/1584.51	c 1584s |      22 |  1869125 |  1789122 |    18898    215 |     1725 |        0
1586.02/1586.51	c 1586s |      22 |  1871677 |  1791522 |    18898    215 |     1725 |        0
1588.03/1588.56	c 1588s |      22 |  1873718 |  1793522 |    18898    215 |     1725 |        0
1590.13/1590.64	c 1590s |      22 |  1875754 |  1795522 |    18898    215 |     1725 |        0
1592.12/1592.64	c 1592s |      22 |  1877487 |  1797222 |    18898    215 |     1725 |        0
1594.22/1594.73	c 1594s |      22 |  1879203 |  1798922 |    18898    216 |     1725 |        0
1596.32/1596.81	c 1596s |      22 |  1881235 |  1800922 |    18898    216 |     1725 |        0
1598.32/1598.83	c 1598s |      22 |  1883264 |  1802922 |    18898    216 |     1725 |        0
1600.33/1600.88	c 1600s |      22 |  1885295 |  1804922 |    18898    216 |     1725 |        0
1602.43/1602.95	c 1602s |      22 |  1887326 |  1806922 |    18898    216 |     1725 |        0
1604.54/1605.05	c 1604s |      22 |  1888758 |  1808322 |    18898    216 |     1725 |        0
1606.53/1607.10	c 1606s |      22 |  1890476 |  1810022 |    18898    217 |     1725 |        0
1608.63/1609.14	c 1608s |      22 |  1892737 |  1812222 |    18898    217 |     1725 |        0
1610.73/1611.20	c 1610s |      22 |  1895212 |  1814622 |    18898    217 |     1725 |        0
1612.73/1613.28	c 1612s |      22 |  1897137 |  1816522 |    18898    217 |     1725 |        0
1614.83/1615.39	c 1615s |      22 |  1898964 |  1818322 |    18898    217 |     1725 |        0
1617.03/1617.59	c 1617s |      22 |  1900499 |  1819822 |    18898    218 |     1725 |        0
1619.23/1619.74	c 1619s |      22 |  1902736 |  1822022 |    18898    218 |     1725 |        0
1621.23/1621.76	c 1621s |      22 |  1904649 |  1823922 |    18898    218 |     1725 |        0
1623.43/1623.90	c 1623s |      22 |  1906485 |  1825722 |    18898    218 |     1725 |        0
1628.22/1628.76	c 1628s |      22 |  1906598 |  1825822 |    18898    218 |     1725 |        0
1630.32/1630.84	c 1630s |      22 |  1908519 |  1827722 |    18898    218 |     1725 |        0
1632.52/1633.06	c 1632s |      22 |  1910146 |  1829322 |    18898    219 |     1725 |        0
1634.62/1635.14	c 1634s |      22 |  1912074 |  1831222 |    18898    219 |     1725 |        0
1636.72/1637.20	c 1636s |      22 |  1914760 |  1833822 |    18898    219 |     1725 |        0
1638.72/1639.21	c 1638s |      22 |  1917463 |  1836422 |    18898    219 |     1725 |        0
1640.72/1641.28	c 1640s |      22 |  1919899 |  1838822 |    18898    219 |     1725 |        0
1642.82/1643.32	c 1642s |      22 |  1922380 |  1841222 |    18898    220 |     1725 |        0
1644.82/1645.34	c 1645s |      22 |  1924507 |  1843322 |    18898    220 |     1725 |        0
1646.81/1647.37	c 1647s |      22 |  1927010 |  1845722 |    18898    220 |     1725 |        0
1648.91/1649.41	c 1649s |      22 |  1929532 |  1848122 |    18898    220 |     1725 |        0
1651.01/1651.55	c 1651s |      22 |  1931692 |  1850122 |    18898    221 |     1725 |        0
1653.01/1653.57	c 1653s |      22 |  1934065 |  1852422 |    18898    221 |     1725 |        0
1655.12/1655.62	c 1655s |      22 |  1936560 |  1854722 |    18898    221 |     1725 |        0
1657.11/1657.65	c 1657s |      22 |  1939354 |  1857322 |    18898    221 |     1725 |        0
1659.21/1659.71	c 1659s |      22 |  1941319 |  1859222 |    18898    221 |     1725 |        0
1661.22/1661.76	c 1661s |      22 |  1943196 |  1861022 |    18898    222 |     1725 |        0
1663.62/1664.14	c 1663s |      22 |  1945119 |  1862922 |    18898    222 |     1725 |        0
1666.82/1667.36	c 1667s |      22 |  1945632 |  1863422 |    18898    222 |     1725 |        0
1668.82/1669.39	c 1669s |      22 |  1947684 |  1865422 |    18898    222 |     1725 |        0
1671.02/1671.50	c 1671s |      22 |  1949704 |  1867422 |    18898    222 |     1725 |        0
1673.12/1673.60	c 1673s |      22 |  1951538 |  1869222 |    18898    222 |     1725 |        0
1675.12/1675.66	c 1675s |      22 |  1953630 |  1871222 |    18898    223 |     1725 |        0
1677.12/1677.67	c 1677s |      22 |  1956202 |  1873722 |    18898    223 |     1725 |        0
1679.22/1679.74	c 1679s |      22 |  1958872 |  1876322 |    18898    223 |     1725 |        0
1681.22/1681.77	c 1681s |      22 |  1961322 |  1878722 |    18898    223 |     1725 |        0
1683.32/1683.83	c 1683s |      22 |  1963687 |  1881022 |    18898    223 |     1725 |        0
1685.31/1685.86	c 1685s |      22 |  1965689 |  1882922 |    18898    224 |     1725 |        0
1687.41/1687.90	c 1687s |      22 |  1968237 |  1885422 |    18898    224 |     1725 |        0
1689.41/1689.95	c 1689s |      22 |  1970482 |  1887622 |    18898    224 |     1725 |        0
1691.42/1691.97	c 1691s |      22 |  1972919 |  1889922 |    18898    224 |     1725 |        0
1693.52/1694.06	c 1693s |      22 |  1974649 |  1891622 |    18898    225 |     1725 |        0
1695.61/1696.11	c 1695s |      22 |  1977133 |  1894022 |    18898    225 |     1725 |        0
1697.61/1698.15	c 1697s |      22 |  1979396 |  1896222 |    18898    225 |     1725 |        0
1699.61/1700.16	c 1699s |      22 |  1981525 |  1898322 |    18898    225 |     1725 |        0
1701.61/1702.17	c 1701s |      22 |  1983505 |  1900222 |    18898    225 |     1725 |        0
1703.71/1704.28	c 1703s |      22 |  1985208 |  1901922 |    18898    225 |     1725 |        0
1705.81/1706.31	c 1705s |      22 |  1987374 |  1904022 |    18898    226 |     1725 |        0
1707.82/1708.34	c 1708s |      22 |  1989737 |  1906322 |    18898    226 |     1725 |        0
1709.81/1710.37	c 1710s |      22 |  1991922 |  1908422 |    18898    226 |     1725 |        0
1711.91/1712.42	c 1712s |      22 |  1993549 |  1910022 |    18898    226 |     1725 |        0
1713.91/1714.48	c 1714s |      22 |  1995374 |  1911822 |    18898    226 |     1725 |        0
1716.01/1716.53	c 1716s |      22 |  1997504 |  1913922 |    18898    227 |     1725 |        0
1718.21/1718.79	c 1718s |      22 |  1999041 |  1915422 |    18898    227 |     1725 |        0
1725.11/1725.62	c 1725s |      22 |  1999752 |  1916122 |    18898    227 |     1725 |        0
1727.21/1727.70	c 1727s |      22 |  2001763 |  1918122 |    18898    227 |     1725 |        0
1729.21/1729.70	c 1729s |      22 |  2002673 |  1919022 |    18898    227 |     1725 |        0
1731.21/1731.71	c 1731s |      22 |  2005020 |  1921322 |    18898    227 |     1725 |        0
1733.41/1733.98	c 1733s |      22 |  2006857 |  1923122 |    18898    228 |     1725 |        0
1735.51/1736.04	c 1735s |      22 |  2009213 |  1925422 |    18898    228 |     1725 |        0
1737.51/1738.09	c 1737s |      22 |  2011545 |  1927722 |    18898    228 |     1725 |        0
1739.61/1740.18	c 1739s |      22 |  2013690 |  1929822 |    18898    228 |     1725 |        0
1741.71/1742.23	c 1741s |      22 |  2016181 |  1932222 |    18898    228 |     1725 |        0
1743.71/1744.25	c 1743s |      22 |  2017904 |  1933922 |    18898    229 |     1725 |        0
1745.80/1746.35	c 1746s |      22 |  2020046 |  1936022 |    18898    229 |     1725 |        0
1747.90/1748.42	c 1748s |      22 |  2022077 |  1938022 |    18898    229 |     1725 |        0
1750.00/1750.50	c 1750s |      22 |  2023892 |  1939822 |    18898    229 |     1725 |        0
1752.20/1752.71	c 1752s |      22 |  2025310 |  1941222 |    18898    229 |     1725 |        0
1754.20/1754.75	c 1754s |      22 |  2027039 |  1942922 |    18898    229 |     1725 |        0
1756.21/1756.80	c 1756s |      22 |  2028751 |  1944622 |    18898    230 |     1725 |        0
1758.41/1758.93	c 1758s |      22 |  2030795 |  1946622 |    18898    230 |     1725 |        0
1760.50/1761.02	c 1760s |      22 |  2033266 |  1949022 |    18898    230 |     1725 |        0
1762.60/1763.11	c 1762s |      22 |  2035182 |  1950922 |    18898    230 |     1725 |        0
1764.60/1765.18	c 1764s |      22 |  2037002 |  1952722 |    18898    230 |     1725 |        0
1766.70/1767.27	c 1766s |      22 |  2038230 |  1953922 |    18898    231 |     1725 |        0
1768.80/1769.31	c 1768s |      22 |  2040253 |  1955922 |    18898    231 |     1725 |        0
1770.80/1771.39	c 1771s |      22 |  2042373 |  1958022 |    18898    231 |     1725 |        0
1772.90/1773.44	c 1773s |      22 |  2044196 |  1959822 |    18898    231 |     1725 |        0
1774.91/1775.50	c 1775s |      22 |  2046012 |  1961622 |    18898    231 |     1725 |        0
1779.90/1780.46	c 1780s |      22 |  2046222 |  1961822 |    18898    231 |     1725 |        0
1782.00/1782.51	c 1782s |      22 |  2048367 |  1963922 |    18898    231 |     1725 |        0
1784.00/1784.51	c 1784s |      22 |  2051320 |  1966722 |    18898    232 |     1725 |        0
1786.00/1786.56	c 1786s |      22 |  2054108 |  1969422 |    18898    232 |     1725 |        0
1787.99/1788.58	c 1788s |      22 |  2055960 |  1971222 |    18898    232 |     1725 |        0
1790.09/1790.61	c 1790s |      22 |  2057915 |  1973122 |    18898    232 |     1725 |        0
1792.09/1792.66	c 1792s |      22 |  2060107 |  1975222 |    18898    233 |     1725 |        0
1794.10/1794.68	c 1794s |      22 |  2062178 |  1977222 |    18898    233 |     1725 |        0
1796.20/1796.75	c 1796s |      22 |  2064706 |  1979622 |    18898    233 |     1725 |        0
1798.30/1798.80	c 1798s |      22 |  2067133 |  1981922 |    18898    233 |     1725 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4100929-1466218890/watcher-4100929-1466218890 -o /tmp/evaluation-result-4100929-1466218890/solver-4100929-1466218890 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100929-1466218890.opb 

pid=3451
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.17 2.14 2.10 3/180 3454
/proc/meminfo: memFree=30086452/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 2695 0 0 0 0 0 0 0 20 0 4 0 23938269 739700736 3056 33554432000 4194304 16246674 140736540825280 140736540824704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 181103 3066 441 2943 0 177997 0
[pid=3454/tid=3455] ppid=3451 vsize=739772 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 757526528 3126 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 762769408 3143 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=748988 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 766963712 3160 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.17 2.14 2.10 3/180 3454
/proc/meminfo: memFree=30086452/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 26981 0 0 0 5 4 0 0 20 0 4 0 23938269 1333334016 27279 33554432000 4194304 16246674 140736540825280 140736540824592 12657333 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 325521 27290 832 2943 0 322415 0
[pid=3454/tid=3455] ppid=3451 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1333334016 27298 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1333334016 27305 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1333334016 27313 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200525 s]
/proc/loadavg: 2.17 2.14 2.10 3/180 3454
/proc/meminfo: memFree=30086452/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 43944 0 0 0 13 6 0 0 20 0 4 0 23938269 1343819776 44242 33554432000 4194304 16246674 140736540825280 140736540824592 12654448 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 328081 44242 835 2943 0 324975 0
[pid=3454/tid=3455] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 44242 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 44242 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 44242 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300496 s]
/proc/loadavg: 2.17 2.14 2.10 3/180 3454
/proc/meminfo: memFree=30086452/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 43963 0 0 0 23 6 0 0 20 0 4 0 23938269 1343819776 44261 33554432000 4194304 16246674 140736540825280 140736540824592 6970686 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 328081 44261 835 2943 0 324975 0
[pid=3454/tid=3455] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 44261 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 44261 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 44261 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700398 s]
/proc/loadavg: 2.17 2.14 2.10 3/180 3454
/proc/meminfo: memFree=30086452/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 57084 0 0 0 62 7 0 0 20 0 4 0 23938269 1343819776 57382 33554432000 4194304 16246674 140736540825280 140736540824592 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 328081 57388 885 2943 0 324975 0
[pid=3454/tid=3455] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 57393 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 57397 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 57402 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50036 s]
/proc/loadavg: 2.08 2.12 2.09 3/184 3458
/proc/meminfo: memFree=29703080/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 136224 0 0 0 131 18 0 0 20 0 4 0 23938269 1343819776 136522 33554432000 4194304 16246674 140736540825280 140736540807168 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 328081 136526 885 2943 0 324975 0
[pid=3454/tid=3455] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 136529 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 136531 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 136534 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10036 s]
/proc/loadavg: 2.08 2.12 2.09 4/184 3458
/proc/meminfo: memFree=29283464/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1312324 CPUtime=3.09 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 269269 0 0 0 272 37 0 0 20 0 4 0 23938269 1343819776 269567 33554432000 4194304 16246674 140736540825280 140736540823104 5600014 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 328081 269567 888 2943 0 324975 0
[pid=3454/tid=3455] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 269567 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 269567 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 269567 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30042 s]
/proc/loadavg: 2.07 2.12 2.09 3/184 3458
/proc/meminfo: memFree=29011208/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 269275 0 0 0 592 37 0 0 20 0 4 0 23938269 1343819776 269573 33554432000 4194304 16246674 140736540825280 140736540808280 5823600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 328081 269573 894 2943 0 324975 0
[pid=3454/tid=3455] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 269573 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 269573 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1343819776 269573 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.14 2.14 2.09 4/184 3458
/proc/meminfo: memFree=29008000/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1315396 CPUtime=12.69 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 270047 0 0 0 1232 37 0 0 20 0 4 0 23938269 1346965504 270345 33554432000 4194304 16246674 140736540825280 140736540808280 13943600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 328849 270345 898 2943 0 325743 0
[pid=3454/tid=3455] ppid=3451 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1346965504 270345 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1346965504 270345 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1346965504 270345 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1315396

[startup+25.5005 s]
/proc/loadavg: 2.11 2.13 2.09 3/184 3459
/proc/meminfo: memFree=29008892/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1315396 CPUtime=25.49 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 270047 0 0 0 2512 37 0 0 20 0 4 0 23938269 1346965504 270345 33554432000 4194304 16246674 140736540825280 140736540807168 5709870 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 328849 270345 898 2943 0 325743 0
[pid=3454/tid=3455] ppid=3451 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1346965504 270345 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1346965504 270345 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1346965504 270345 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1315396

[startup+51.1005 s]
/proc/loadavg: 2.14 2.13 2.09 3/183 3459
/proc/meminfo: memFree=28999636/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1323588 CPUtime=51.08 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 272095 0 0 0 5071 37 0 0 20 0 4 0 23938269 1355354112 272393 33554432000 4194304 16246674 140736540825280 140736540807168 12477766 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 330897 272393 898 2943 0 327791 0
[pid=3454/tid=3455] ppid=3451 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1355354112 272393 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1355354112 272393 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1355354112 272393 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1323588

[startup+102.3 s]
/proc/loadavg: 2.25 2.16 2.10 3/183 3460
/proc/meminfo: memFree=28982924/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1339972 CPUtime=102.28 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 276137 0 0 0 10189 39 0 0 20 0 4 0 23938269 1372131328 276435 33554432000 4194304 16246674 140736540825280 140736540807168 13950188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 334993 276435 898 2943 0 331887 0
[pid=3454/tid=3455] ppid=3451 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1372131328 276435 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1372131328 276435 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1339972 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1372131328 276435 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1339972


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

/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1366596

[startup+1362.3 s]
/proc/loadavg: 2.13 2.06 2.05 3/183 3491
/proc/meminfo: memFree=28471580/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1366596 CPUtime=1361.88 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 283170 0 0 0 136118 70 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 140736540807168 5722908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 341649 283402 899 2943 0 338543 0
[pid=3454/tid=3455] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1366596

[startup+1422.3 s]
/proc/loadavg: 2.15 2.07 2.05 4/183 3492
/proc/meminfo: memFree=28415304/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1366596 CPUtime=1421.86 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 283190 0 0 0 142115 71 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 140736540807168 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 341649 283402 899 2943 0 338543 0
[pid=3454/tid=3455] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1366596

[startup+1482.3 s]
/proc/loadavg: 2.12 2.07 2.05 3/183 3493
/proc/meminfo: memFree=28373368/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1366596 CPUtime=1481.84 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 283190 0 0 0 148113 71 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 140736540807168 13943604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 341649 283402 899 2943 0 338543 0
[pid=3454/tid=3455] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1366596

[startup+1542.31 s]
/proc/loadavg: 2.04 2.06 2.05 4/183 3494
/proc/meminfo: memFree=28327120/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1366596 CPUtime=1541.84 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 283190 0 0 0 154111 73 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 140736540807168 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 341649 283402 899 2943 0 338543 0
[pid=3454/tid=3455] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1366596

[startup+1602.3 s]
/proc/loadavg: 2.09 2.06 2.05 3/183 3496
/proc/meminfo: memFree=28281724/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1366596 CPUtime=1601.83 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 283190 0 0 0 160109 74 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 140736540807168 6020448 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 341649 283402 899 2943 0 338543 0
[pid=3454/tid=3455] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1366596

[startup+1662.3 s]
/proc/loadavg: 2.03 2.05 2.04 3/183 3546
/proc/meminfo: memFree=29697452/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1366596 CPUtime=1661.82 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 283190 0 0 0 166107 75 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 140736540807168 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 341649 283402 899 2943 0 338543 0
[pid=3454/tid=3455] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1366596

[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.04 3/184 3550
/proc/meminfo: memFree=28931776/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1366596 CPUtime=1721.8 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 283190 0 0 0 172105 75 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 140736540824456 15015658 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 341649 283402 899 2943 0 338543 0
[pid=3454/tid=3455] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1366596

[startup+1782.3 s]
/proc/loadavg: 2.13 2.07 2.05 3/183 3551
/proc/meminfo: memFree=28912200/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1366596 CPUtime=1781.8 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 283190 0 0 0 178104 76 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 140736540807168 5523188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 341649 283402 899 2943 0 338543 0
[pid=3454/tid=3455] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1366596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.10 2.07 2.04 3/183 3551
/proc/meminfo: memFree=28912828/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1366596 CPUtime=1800 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 283190 0 0 0 179923 77 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 140736540807168 5672201 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 341649 283402 899 2943 0 338543 0
[pid=3454/tid=3455] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1366596

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

[startup+1800.5 s]
/proc/loadavg: 2.10 2.07 2.04 3/183 3551
/proc/meminfo: memFree=28912828/32872528 swapFree=681964/737152
[pid=3454] ppid=3451 vsize=1366596 CPUtime=1800 cores=1,3,5,7
/proc/3454/stat : 3454 (toysat) R 3451 3454 1377 0 -1 4202496 283190 0 0 0 179923 77 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 140736540807168 5672201 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3454/statm: 341649 283402 899 2943 0 338543 0
[pid=3454/tid=3455] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3455/stat : 3455 (toysat) S 3451 3454 1377 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734272683248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=3454/tid=3456] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3456/stat : 3456 (toysat) S 3451 3454 1377 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734262193392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=3454/tid=3457] ppid=3451 vsize=1366596 CPUtime=0 cores=1,3,5,7
/proc/3454/task/3457/stat : 3457 (toysat) S 3451 3454 1377 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23938269 1399394304 283402 33554432000 4194304 16246674 140736540825280 139734143724720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1366596

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.24
CPU system time (s): 0.770882
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1366596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.24
system time used= 0.770882
maximum resident set size= 1133608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283190
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= 357
involuntary context switches= 1833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39433 second user time and 7.11792 second system time

The end

Begin job on node112 at 2016-06-18 05:01:30
IDJOB=4100929
IDBENCH=1679
IDSOLVER=2542
FILE ID=node112/4100929-1466218890
RUNJOBID= node112-1466206100-1395
PBS_JOBID= 19918164
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-share1b.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100929-1466218890/watcher-4100929-1466218890 -o /tmp/evaluation-result-4100929-1466218890/solver-4100929-1466218890 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1466206100-1395 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100929-1466218890.opb

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

MD5SUM BENCH= bba1c13067ee4807fb3278415b1e1268
RANDOM SEED=1651300549

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30086344 kB
Buffers:           93944 kB
Cached:           117496 kB
SwapCached:         1916 kB
Active:          1194724 kB
Inactive:         117648 kB
Active(anon):    1101488 kB
Inactive(anon):     1576 kB
Active(file):      93236 kB
Inactive(file):   116072 kB
Unevictable:      737152 kB
Mlocked:          681964 kB
SwapTotal:      67108856 kB
SwapFree:       67096992 kB
Dirty:             16764 kB
Writeback:             0 kB
AnonPages:       1927368 kB
Mapped:            10836 kB
Shmem:                 0 kB
Slab:             600296 kB
SReclaimable:      44324 kB
SUnreclaim:       555972 kB
KernelStack:        1528 kB
PageTables:         7720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1981016 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71680 MiB
End job on node112 at 2016-06-18 05:31:31