0.00/0.00	c 2016-06-16T23:30:25+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-4096190-1466112624.opb"]
0.00/0.01	c use --random-gen="585821505 3143428771 3294454438 2482212033 3659153430 770286731 2184578471 1955123002 2443140997 2978208283 2845568711 176845421 3950226427 3577088600 1641932683 3088571023 2826245872 279797537 482641482 2597724454 3176434447 3292402108 330852603 2294302274 2201881102 1457449953 250424851 1941275333 4199772808 4197810791 1659003345 4254465152 848043337 1965297511 601096334 3628084820 2100626270 1594411096 902601216 499102145 3182619305 1576731041 543992717 2810782582 465581743 2049160978 3569617416 2209166513 3610267605 3014199586 3156299194 2818247186 2702712027 3608428636 902902736 3327805481 3143491928 4187737069 2558656643 1151197627 2184185201 1852072342 166220366 1401819379 2601076662 2929072364 1651175492 1505198285 1966103691 3463421239 3933064472 275617211 1743697983 2715260042 323907752 1373952544 3547350417 1948272101 3242248564 2868187159 1640613367 2980340333 2675775990 183613905 400333878 181435286 3248260557 3802633328 1229940900 1308870417 2926930720 3285783687 681613288 1274824438 1984496351 3812281372 495154043 2721141959 690055003 500320845 2228253768 1429475643 3043660616 2127547450 327668175 207548338 1268908497 1970448083 793547572 1677239722 1379038412 943367325 1583663361 1477256831 4005918220 1980665350 3425966508 2550790909 329603743 3579296511 2988567990 2465365466 1251084 3411825380 2963575966 3106172566 3220333922 3021739902 1570389288 1601000327 4045682897 2341025004 99090685 2416479802 1101018224 303079673 285703143 1179528423 3518097531 212634702 354226924 2098804962 2977872455 2185378286 1153227789 1436912655 1804801651 2425390713 857949771 779655098 4184676869 3513684214 2515172537 3311670902 845032946 2042109404 3224489291 3024716697 792456838 607224175 2912810507 1492282852 557660400 1960997133 3243193670 3080243175 3500708011 3680949786 710997649 158261559 3221347161 3227862576 2059466451 4202652946 2799926340 3626990851 1172642638 969722189 315391412 204849177 3889783686 911591493 1255355579 3279506706 4089603343 861028357 3808294487 1720564630 1622499834 1615963885 1364656352 200837695 752529342 2247182426 1952202686 2760936276 3454749657 2295988046 2861305723 1829229772 1771634200 1284738470 3673347708 2844705556 94233782 3716685276 225220496 1652290609 3868007981 3982731804 2608098881 4167019887 2213043192 1290839629 1278658294 2927590249 3897976601 725907107 3622671537 1164533384 73456167 3375626954 2740170266 2937076160 4049616167 3152324182 1185712137 4186532379 1319158982 877156997 2522029635 1731022478 3169240378 1438872797 742384173 1592875280 1282318467 971479029 3615320707 493910462 3875206339 1879608784 3496351093 1858436253 804503607 1253456622 4092372923 1284853620 3913933027 147799810 3977660965 1945520007 1665100454 1414731255 1412761483 53933420 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1056
0.00/0.06	c #constraints 4997
0.08/0.11	c Solving starts ...
0.08/0.11	c ============================[ Search Statistics ]============================
0.08/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.11	c =============================================================================
0.08/0.11	c  0.0s |       0 |        0 |        0 |     2016      0 |        5 |        0
0.08/0.15	c  0.0s |       1 |      122 |      100 |     2016      0 |        5 |      254
0.19/0.20	c  0.1s |       2 |      307 |      250 |     2218      0 |        5 |      254
0.19/0.29	c  0.2s |       3 |      566 |      475 |     2440      0 |        5 |      254
0.38/0.43	c  0.3s |       4 |      947 |      813 |     2684      0 |        5 |      254
0.59/0.65	c  0.5s |       5 |     1527 |     1320 |     2953      0 |        5 |      254
0.88/0.99	c  0.9s |       6 |     2399 |     2081 |     3574      0 |        5 |      254
1.39/1.48	c  1.4s |       7 |     3816 |     3223 |     3932      0 |        5 |      254
2.09/2.16	c  2.1s |       8 |     5829 |     4936 |     4326      1 |        5 |      254
3.09/3.11	c  3.0s |       9 |     8954 |     7506 |     4759      2 |        5 |      254
4.59/4.68	c  4.6s |      10 |    13690 |    11361 |     5235      3 |        5 |      254
6.59/6.69	c  6.6s |      10 |    19359 |    16061 |     5235      5 |        5 |      254
7.19/7.21	c  7.1s |      11 |    20639 |    17144 |     5759      5 |        5 |      254
9.19/9.22	c  9.1s |      11 |    26111 |    21944 |     5759      7 |        5 |      254
10.89/10.93	c 10.8s |      12 |    30687 |    25819 |     6335      8 |        5 |      254
12.89/12.96	c 12.8s |      12 |    36056 |    30519 |     6335      9 |        5 |      254
14.99/15.00	c 14.9s |      12 |    40808 |    34719 |     6335     11 |        5 |      254
16.89/16.96	c 16.9s |      13 |    45554 |    38832 |     6969     12 |        5 |      254
18.89/18.97	c 18.9s |      13 |    50252 |    42732 |     6969     13 |        5 |      254
20.89/21.00	c 20.9s |      13 |    54890 |    46732 |     6969     14 |        5 |      254
22.99/23.00	c 22.9s |      13 |    59707 |    50832 |     6969     15 |        5 |      254
24.99/25.05	c 24.9s |      13 |    64778 |    55232 |     6969     16 |        5 |      254
26.69/26.75	c 26.6s |      14 |    68419 |    58352 |     7666     17 |        5 |      254
28.69/28.77	c 28.7s |      14 |    72941 |    62252 |     7666     18 |        5 |      254
30.68/30.79	c 30.7s |      14 |    76998 |    65852 |     7666     19 |        5 |      254
32.78/32.83	c 32.7s |      14 |    81406 |    69752 |     7666     20 |        5 |      254
34.78/34.85	c 34.7s |      14 |    85753 |    73452 |     7666     21 |        5 |      254
36.78/36.89	c 36.8s |      14 |    90391 |    77352 |     7666     22 |        5 |      254
38.88/38.91	c 38.8s |      14 |    94755 |    81152 |     7666     23 |        5 |      254
40.88/40.94	c 40.8s |      14 |    99202 |    84952 |     7666     24 |        5 |      254
42.28/42.38	c 42.3s |      15 |   102392 |    87632 |     8433     24 |        5 |      254
44.38/44.40	c 44.3s |      15 |   106686 |    91232 |     8433     25 |        5 |      254
46.38/46.42	c 46.3s |      15 |   110785 |    94532 |     8433     26 |        5 |      254
48.38/48.46	c 48.4s |      15 |   114574 |    97632 |     8433     27 |        5 |      254
50.48/50.50	c 50.4s |      15 |   118279 |   101032 |     8433     27 |        5 |      254
52.48/52.55	c 52.4s |      15 |   122006 |   104532 |     8433     28 |        5 |      254
54.57/54.60	c 54.5s |      15 |   125617 |   107832 |     8433     29 |        5 |      254
56.57/56.63	c 56.5s |      15 |   129428 |   111332 |     8433     30 |        5 |      254
58.57/58.64	c 58.5s |      15 |   134016 |   115132 |     8433     31 |        5 |      254
60.58/60.67	c 60.6s |      15 |   137892 |   118532 |     8433     31 |        5 |      254
62.68/62.72	c 62.6s |      15 |   142517 |   122232 |     8433     32 |        5 |      254
64.67/64.72	c 64.6s |      15 |   146587 |   125632 |     8433     33 |        5 |      254
66.67/66.72	c 66.6s |      15 |   150433 |   128832 |     8433     34 |        5 |      254
68.67/68.78	c 68.7s |      15 |   153629 |   131532 |     9277     34 |        5 |      254
68.77/68.80	c 68.7s |      16 |   153666 |   131552 |     9277     34 |        5 |      254
70.77/70.80	c 70.7s |      16 |   157657 |   134852 |     9277     35 |        5 |      254
72.76/72.82	c 72.7s |      16 |   162151 |   138752 |     9277     36 |        5 |      254
74.77/74.84	c 74.7s |      16 |   166023 |   141952 |     9277     36 |        5 |      254
76.76/76.88	c 76.8s |      16 |   170470 |   145552 |     9277     37 |        5 |      254
78.76/78.89	c 78.8s |      16 |   174906 |   149152 |     9277     38 |        5 |      254
80.86/80.92	c 80.8s |      16 |   178673 |   152152 |     9277     39 |        5 |      254
82.86/82.94	c 82.8s |      16 |   182550 |   155352 |     9277     39 |        5 |      254
84.86/84.97	c 84.9s |      16 |   186549 |   158752 |     9277     40 |        5 |      254
86.97/87.02	c 86.9s |      16 |   190276 |   161952 |     9277     41 |        5 |      254
88.96/89.02	c 88.9s |      16 |   193602 |   164952 |     9277     41 |        5 |      254
91.06/91.17	c 91.1s |      16 |   196790 |   167852 |     9277     42 |        5 |      254
93.06/93.19	c 93.1s |      16 |   201146 |   171352 |     9277     43 |        5 |      254
95.15/95.26	c 95.2s |      16 |   205101 |   174652 |     9277     43 |        5 |      254
97.15/97.29	c 97.2s |      16 |   208916 |   177752 |     9277     44 |        5 |      254
99.15/99.29	c 99.2s |      16 |   212229 |   180652 |     9277     45 |        5 |      254
101.26/101.33	c  101s |      16 |   216651 |   184552 |     9277     45 |        5 |      254
103.25/103.34	c  103s |      16 |   220621 |   187952 |     9277     46 |        5 |      254
105.25/105.38	c  105s |      16 |   224588 |   191352 |     9277     47 |        5 |      254
107.25/107.39	c  107s |      16 |   228955 |   194952 |     9277     48 |        5 |      254
108.65/108.76	c  108s |      17 |   232004 |   197432 |    10205     48 |        5 |      254
110.75/110.82	c  110s |      17 |   236163 |   200932 |    10205     49 |        5 |      254
112.75/112.85	c  112s |      17 |   240172 |   204232 |    10205     49 |        5 |      254
114.85/114.91	c  114s |      17 |   244003 |   207532 |    10205     50 |        5 |      254
116.85/116.93	c  116s |      17 |   247383 |   210532 |    10205     51 |        5 |      254
118.95/119.00	c  118s |      17 |   251189 |   213732 |    10205     51 |        5 |      254
120.96/121.03	c  120s |      17 |   255172 |   217032 |    10205     52 |        5 |      254
122.95/123.08	c  122s |      17 |   259190 |   220432 |    10205     52 |        5 |      254
125.04/125.12	c  125s |      17 |   263829 |   224332 |    10205     53 |        5 |      254
127.04/127.16	c  127s |      17 |   268199 |   227832 |    10205     54 |        5 |      254
129.04/129.18	c  129s |      17 |   272151 |   231332 |    10205     55 |        5 |      254
131.14/131.22	c  131s |      17 |   276312 |   234832 |    10205     55 |        5 |      254
133.15/133.26	c  133s |      17 |   279809 |   237932 |    10205     56 |        5 |      254
135.24/135.33	c  135s |      17 |   283442 |   241032 |    10205     56 |        5 |      254
137.34/137.41	c  137s |      17 |   287113 |   244232 |    10205     57 |        5 |      254
139.34/139.44	c  139s |      17 |   291098 |   247632 |    10205     58 |        5 |      254
141.44/141.56	c  141s |      17 |   294908 |   250932 |    10205     58 |        5 |      254
143.44/143.59	c  143s |      17 |   299256 |   254632 |    10205     59 |        5 |      254
145.53/145.60	c  145s |      17 |   302631 |   257332 |    10205     60 |        5 |      254
147.53/147.62	c  147s |      17 |   306387 |   260632 |    10205     60 |        5 |      254
149.54/149.63	c  149s |      17 |   310197 |   263832 |    10205     61 |        5 |      254
151.63/151.70	c  151s |      17 |   314216 |   267332 |    10205     61 |        5 |      254
153.63/153.73	c  153s |      17 |   318241 |   270732 |    10205     62 |        5 |      254
155.62/155.74	c  155s |      17 |   322052 |   273932 |    10205     63 |        5 |      254
157.62/157.76	c  157s |      17 |   325679 |   277132 |    10205     63 |        5 |      254
159.62/159.79	c  159s |      17 |   330040 |   280932 |    10205     64 |        5 |      254
161.73/161.82	c  161s |      17 |   334056 |   284432 |    10205     65 |        5 |      254
163.72/163.84	c  163s |      17 |   338275 |   287932 |    10205     65 |        5 |      254
165.72/165.87	c  165s |      17 |   342376 |   291332 |    10205     66 |        5 |      254
167.72/167.88	c  167s |      17 |   345986 |   294332 |    11226     67 |        5 |      254
168.82/168.98	c  168s |      18 |   348322 |   296252 |    11226     67 |        5 |      254
170.82/170.99	c  170s |      18 |   353181 |   300152 |    11226     68 |        5 |      254
172.92/173.04	c  172s |      18 |   357691 |   303852 |    11226     68 |        5 |      254
174.92/175.07	c  174s |      18 |   361281 |   307052 |    11226     69 |        5 |      254
176.91/177.09	c  176s |      18 |   364602 |   309952 |    11226     69 |        5 |      254
179.01/179.10	c  178s |      18 |   367933 |   312752 |    11226     70 |        5 |      254
181.01/181.17	c  181s |      18 |   371309 |   315652 |    11226     70 |        5 |      254
183.01/183.17	c  183s |      18 |   374611 |   318252 |    11226     71 |        5 |      254
185.01/185.19	c  185s |      18 |   378862 |   321552 |    11226     71 |        5 |      254
187.11/187.24	c  187s |      18 |   383232 |   325252 |    11226     72 |        5 |      254
189.21/189.32	c  189s |      18 |   386783 |   328252 |    11226     73 |        5 |      254
191.21/191.38	c  191s |      18 |   391306 |   331952 |    11226     73 |        5 |      254
193.31/193.41	c  193s |      18 |   395152 |   335252 |    11226     74 |        5 |      254
195.31/195.47	c  195s |      18 |   399667 |   338852 |    11226     74 |        5 |      254
197.41/197.53	c  197s |      18 |   403213 |   341652 |    11226     75 |        5 |      254
199.41/199.57	c  199s |      18 |   406967 |   344752 |    11226     75 |        5 |      254
201.51/201.63	c  201s |      18 |   410974 |   348052 |    11226     76 |        5 |      254
203.61/203.70	c  203s |      18 |   414451 |   350952 |    11226     76 |        5 |      254
205.62/205.77	c  205s |      18 |   417964 |   353852 |    11226     77 |        5 |      254
207.61/207.79	c  207s |      18 |   421282 |   356552 |    11226     77 |        5 |      254
209.71/209.86	c  209s |      18 |   424896 |   359552 |    11226     78 |        5 |      254
211.81/211.90	c  211s |      18 |   428297 |   362452 |    11226     79 |        5 |      254
213.81/213.92	c  213s |      18 |   431887 |   365652 |    11226     79 |        5 |      254
215.80/216.00	c  215s |      18 |   434826 |   368152 |    11226     80 |        5 |      254
217.90/218.01	c  217s |      18 |   438698 |   371452 |    11226     80 |        5 |      254
219.91/220.03	c  219s |      18 |   442196 |   374352 |    11226     81 |        5 |      254
221.90/222.05	c  221s |      18 |   445961 |   377552 |    11226     81 |        5 |      254
224.00/224.10	c  223s |      18 |   449300 |   380252 |    11226     82 |        5 |      254
226.00/226.10	c  225s |      18 |   453120 |   383252 |    11226     82 |        5 |      254
228.00/228.13	c  228s |      18 |   456835 |   386352 |    11226     83 |        5 |      254
230.00/230.15	c  230s |      18 |   460550 |   389552 |    11226     83 |        5 |      254
232.11/232.21	c  232s |      18 |   464014 |   392452 |    11226     84 |        5 |      254
234.10/234.29	c  234s |      18 |   467804 |   395652 |    11226     84 |        5 |      254
236.20/236.32	c  236s |      18 |   471801 |   398952 |    11226     85 |        5 |      254
238.20/238.34	c  238s |      18 |   475491 |   401952 |    11226     85 |        5 |      254
240.20/240.35	c  240s |      18 |   479669 |   405452 |    11226     86 |        5 |      254
242.19/242.39	c  242s |      18 |   482936 |   408252 |    11226     87 |        5 |      254
244.29/244.43	c  244s |      18 |   487090 |   411552 |    11226     87 |        5 |      254
246.30/246.50	c  246s |      18 |   490409 |   414052 |    11226     88 |        5 |      254
248.39/248.55	c  248s |      18 |   494350 |   417152 |    11226     88 |        5 |      254
250.39/250.57	c  250s |      18 |   498476 |   420652 |    11226     89 |        5 |      254
252.49/252.65	c  252s |      18 |   502339 |   423752 |    11226     89 |        5 |      254
254.48/254.65	c  254s |      18 |   505943 |   426552 |    11226     90 |        5 |      254
256.48/256.66	c  256s |      18 |   509864 |   429852 |    11226     90 |        5 |      254
258.58/258.71	c  258s |      18 |   513212 |   432652 |    11226     91 |        5 |      254
260.59/260.75	c  260s |      18 |   516931 |   435752 |    11226     91 |        5 |      254
262.58/262.75	c  262s |      18 |   519968 |   438452 |    11226     92 |        5 |      254
264.68/264.81	c  264s |      18 |   524408 |   441952 |    12349     92 |        5 |      254
266.39/266.55	c  266s |      19 |   527405 |   444482 |    12349     93 |        5 |      254
268.49/268.60	c  268s |      19 |   531701 |   447982 |    12349     93 |        5 |      254
270.49/270.64	c  270s |      19 |   535479 |   451182 |    12349     94 |        5 |      254
272.49/272.69	c  272s |      19 |   539700 |   454682 |    12349     94 |        5 |      254
274.59/274.70	c  274s |      19 |   543813 |   457882 |    12349     95 |        5 |      254
276.59/276.72	c  276s |      19 |   547324 |   460682 |    12349     95 |        5 |      254
278.58/278.77	c  278s |      19 |   550642 |   463382 |    12349     96 |        5 |      254
280.58/280.78	c  280s |      19 |   553893 |   466182 |    12349     96 |        5 |      254
282.69/282.83	c  282s |      19 |   557008 |   468782 |    12349     97 |        5 |      254
284.68/284.83	c  284s |      19 |   560777 |   471682 |    12349     97 |        5 |      254
286.68/286.85	c  286s |      19 |   563939 |   474282 |    12349     97 |        5 |      254
288.68/288.87	c  288s |      19 |   567444 |   477082 |    12349     98 |        5 |      254
290.98/291.10	c  290s |      19 |   571264 |   480182 |    12349     98 |        5 |      254
292.98/293.14	c  293s |      19 |   575134 |   483282 |    12349     99 |        5 |      254
294.98/295.19	c  295s |      19 |   578868 |   486382 |    12349     99 |        5 |      254
297.08/297.21	c  297s |      19 |   582188 |   489082 |    12349    100 |        5 |      254
299.08/299.22	c  299s |      19 |   585965 |   492182 |    12349    100 |        5 |      254
301.07/301.22	c  301s |      19 |   588922 |   494682 |    12349    101 |        5 |      254
303.07/303.28	c  303s |      19 |   592512 |   497882 |    12349    101 |        5 |      254
305.07/305.29	c  305s |      19 |   595898 |   500682 |    12349    102 |        5 |      254
307.17/307.30	c  307s |      19 |   599811 |   503782 |    12349    102 |        5 |      254
309.17/309.33	c  309s |      19 |   602923 |   506282 |    12349    102 |        5 |      254
311.18/311.37	c  311s |      19 |   606380 |   509082 |    12349    103 |        5 |      254
313.27/313.43	c  313s |      19 |   609500 |   511582 |    12349    103 |        5 |      254
315.26/315.45	c  315s |      19 |   612379 |   513982 |    12349    104 |        5 |      254
317.26/317.46	c  317s |      19 |   615838 |   516782 |    12349    104 |        5 |      254
319.46/319.62	c  319s |      19 |   618757 |   519282 |    12349    105 |        5 |      254
321.46/321.69	c  321s |      19 |   621781 |   521782 |    12349    105 |        5 |      254
323.56/323.71	c  323s |      19 |   624836 |   524282 |    12349    105 |        5 |      254
325.56/325.74	c  325s |      19 |   628272 |   527282 |    12349    106 |        5 |      254
327.56/327.78	c  327s |      19 |   631835 |   530182 |    12349    106 |        5 |      254
329.56/329.79	c  329s |      19 |   635035 |   532682 |    12349    107 |        5 |      254
331.66/331.80	c  331s |      19 |   638484 |   535582 |    12349    107 |        5 |      254
333.66/333.85	c  333s |      19 |   641328 |   537982 |    12349    107 |        5 |      254
335.66/335.88	c  335s |      19 |   645114 |   540982 |    12349    108 |        5 |      254
337.66/337.89	c  337s |      19 |   648156 |   543482 |    12349    108 |        5 |      254
339.76/339.92	c  339s |      19 |   651313 |   546182 |    12349    109 |        5 |      254
341.85/342.01	c  341s |      19 |   654595 |   548882 |    12349    109 |        5 |      254
343.85/344.06	c  343s |      19 |   657778 |   551382 |    12349    110 |        5 |      254
345.96/346.12	c  346s |      19 |   661350 |   554382 |    12349    110 |        5 |      254
348.06/348.25	c  348s |      19 |   664694 |   557182 |    12349    111 |        5 |      254
350.16/350.31	c  350s |      19 |   668806 |   560682 |    12349    111 |        5 |      254
352.16/352.38	c  352s |      19 |   671990 |   563282 |    12349    112 |        5 |      254
354.26/354.43	c  354s |      19 |   675986 |   566482 |    12349    112 |        5 |      254
356.26/356.48	c  356s |      19 |   679188 |   569182 |    12349    112 |        5 |      254
358.35/358.55	c  358s |      19 |   682874 |   572282 |    12349    113 |        5 |      254
360.35/360.58	c  360s |      19 |   685759 |   574682 |    12349    113 |        5 |      254
362.45/362.62	c  362s |      19 |   689132 |   577482 |    12349    114 |        5 |      254
364.45/364.64	c  364s |      19 |   693139 |   580882 |    12349    114 |        5 |      254
366.45/366.68	c  366s |      19 |   696288 |   583682 |    12349    115 |        5 |      254
368.46/368.68	c  368s |      19 |   699277 |   586282 |    12349    115 |        5 |      254
370.45/370.68	c  370s |      19 |   702468 |   588982 |    12349    116 |        5 |      254
372.45/372.69	c  372s |      19 |   705937 |   591882 |    12349    116 |        5 |      254
374.54/374.71	c  374s |      19 |   709015 |   594582 |    12349    116 |        5 |      254
376.54/376.78	c  376s |      19 |   712527 |   597582 |    12349    117 |        5 |      254
378.64/378.81	c  378s |      19 |   715125 |   599882 |    12349    117 |        5 |      254
380.74/380.96	c  380s |      19 |   718013 |   602382 |    12349    118 |        5 |      254
382.75/382.98	c  382s |      19 |   722250 |   605682 |    12349    118 |        5 |      254
384.74/385.00	c  384s |      19 |   726063 |   608782 |    12349    119 |        5 |      254
386.84/387.02	c  386s |      19 |   729352 |   611582 |    12349    119 |        5 |      254
388.94/389.10	c  388s |      19 |   732280 |   614082 |    12349    120 |        5 |      254
390.94/391.12	c  391s |      19 |   735952 |   617282 |    12349    120 |        5 |      254
393.04/393.28	c  393s |      19 |   738918 |   619782 |    12349    121 |        5 |      254
395.13/395.34	c  395s |      19 |   742750 |   623082 |    12349    121 |        5 |      254
397.13/397.35	c  397s |      19 |   746071 |   625882 |    12349    121 |        5 |      254
399.14/399.38	c  399s |      19 |   749549 |   628982 |    12349    122 |        5 |      254
401.34/401.52	c  401s |      19 |   752786 |   631682 |    12349    122 |        5 |      254
403.33/403.53	c  403s |      19 |   756192 |   634582 |    12349    123 |        5 |      254
405.33/405.54	c  405s |      19 |   759461 |   637482 |    12349    123 |        5 |      254
407.33/407.58	c  407s |      19 |   763261 |   640882 |    12349    124 |        5 |      254
409.43/409.60	c  409s |      19 |   766986 |   643982 |    12349    124 |        5 |      254
411.43/411.62	c  411s |      19 |   770733 |   647182 |    12349    125 |        5 |      254
413.43/413.66	c  413s |      19 |   773699 |   649782 |    12349    125 |        5 |      254
415.52/415.70	c  415s |      19 |   777012 |   652582 |    12349    126 |        5 |      254
417.52/417.75	c  417s |      19 |   781127 |   655982 |    12349    126 |        5 |      254
419.52/419.77	c  419s |      19 |   784214 |   658382 |    12349    127 |        5 |      254
421.62/421.81	c  421s |      19 |   788203 |   661682 |    12349    127 |        5 |      254
423.62/423.89	c  423s |      19 |   791724 |   664382 |    13584    127 |        5 |      254
425.42/425.63	c  425s |      20 |   794607 |   666827 |    13584    128 |        5 |      254
427.42/427.64	c  427s |      20 |   798706 |   670227 |    13584    128 |        5 |      254
429.42/429.66	c  429s |      20 |   802914 |   673727 |    13584    129 |        5 |      254
431.52/431.71	c  431s |      20 |   807151 |   677327 |    13584    129 |        5 |      254
433.52/433.75	c  433s |      20 |   811319 |   680827 |    13584    130 |        5 |      254
435.52/435.76	c  435s |      20 |   815495 |   684427 |    13584    130 |        5 |      254
437.52/437.80	c  437s |      20 |   819355 |   687827 |    13584    131 |        5 |      254
439.62/439.85	c  439s |      20 |   823408 |   691327 |    13584    131 |        5 |      254
441.62/441.86	c  441s |      20 |   827452 |   694927 |    13584    132 |        5 |      254
443.62/443.89	c  443s |      20 |   831358 |   698427 |    13584    132 |        5 |      254
446.11/446.38	c  446s |      20 |   832243 |   699227 |    13584    133 |        5 |      254
448.21/448.43	c  448s |      20 |   836971 |   703227 |    13584    133 |        5 |      254
450.21/450.49	c  450s |      20 |   840851 |   706627 |    13584    134 |        5 |      254
452.21/452.49	c  452s |      20 |   845307 |   710427 |    13584    134 |        5 |      254
454.31/454.52	c  454s |      20 |   848977 |   713627 |    13584    135 |        5 |      254
456.32/456.52	c  456s |      20 |   852940 |   717127 |    13584    135 |        5 |      254
458.31/458.54	c  458s |      20 |   855354 |   719327 |    13584    135 |        5 |      254
460.32/460.54	c  460s |      20 |   858970 |   722527 |    13584    136 |        5 |      254
462.32/462.58	c  462s |      20 |   862613 |   725727 |    13584    136 |        5 |      254
464.32/464.58	c  464s |      20 |   866317 |   728927 |    13584    137 |        5 |      254
466.41/466.60	c  466s |      20 |   870095 |   732227 |    13584    137 |        5 |      254
468.42/468.64	c  468s |      20 |   873844 |   735527 |    13584    138 |        5 |      254
470.41/470.66	c  470s |      20 |   877540 |   738827 |    13584    138 |        5 |      254
472.41/472.68	c  472s |      20 |   881383 |   742227 |    13584    139 |        5 |      254
474.50/474.71	c  474s |      20 |   884810 |   745327 |    13584    139 |        5 |      254
476.50/476.72	c  476s |      20 |   885799 |   746127 |    13584    139 |        5 |      254
478.50/478.74	c  478s |      20 |   890159 |   749827 |    13584    140 |        5 |      254
480.51/480.76	c  480s |      20 |   894043 |   753227 |    13584    140 |        5 |      254
482.60/482.84	c  482s |      20 |   897636 |   756427 |    13584    141 |        5 |      254
484.60/484.88	c  484s |      20 |   901592 |   759927 |    13584    141 |        5 |      254
486.70/486.90	c  486s |      20 |   905318 |   763127 |    13584    142 |        5 |      254
489.09/489.33	c  489s |      20 |   909008 |   766427 |    13584    142 |        5 |      254
491.09/491.35	c  491s |      20 |   912984 |   769927 |    13584    143 |        5 |      254
493.19/493.40	c  493s |      20 |   916752 |   773327 |    13584    143 |        5 |      254
495.19/495.45	c  495s |      20 |   920176 |   776327 |    13584    144 |        5 |      254
497.19/497.48	c  497s |      20 |   924081 |   779727 |    13584    144 |        5 |      254
499.20/499.49	c  499s |      20 |   927338 |   782627 |    13584    145 |        5 |      254
501.29/501.54	c  501s |      20 |   931031 |   785927 |    13584    145 |        5 |      254
503.29/503.58	c  503s |      20 |   934617 |   789227 |    13584    146 |        5 |      254
505.38/505.60	c  505s |      20 |   938016 |   792227 |    13584    146 |        5 |      254
507.38/507.65	c  507s |      20 |   941277 |   795127 |    13584    146 |        5 |      254
509.38/509.66	c  509s |      20 |   944887 |   798327 |    13584    147 |        5 |      254
511.68/511.95	c  511s |      20 |   947948 |   801027 |    13584    147 |        5 |      254
513.78/514.00	c  513s |      20 |   952024 |   804527 |    13584    148 |        5 |      254
515.79/516.02	c  515s |      20 |   955953 |   808027 |    13584    148 |        5 |      254
517.78/518.04	c  517s |      20 |   959196 |   810927 |    13584    149 |        5 |      254
519.88/520.10	c  519s |      20 |   962563 |   813927 |    13584    149 |        5 |      254
521.88/522.15	c  522s |      20 |   965630 |   816627 |    13584    150 |        5 |      254
523.88/524.18	c  524s |      20 |   969523 |   819727 |    13584    150 |        5 |      254
525.97/526.22	c  526s |      20 |   972490 |   822227 |    13584    150 |        5 |      254
527.97/528.28	c  528s |      20 |   975479 |   824827 |    13584    151 |        5 |      254
530.08/530.31	c  530s |      20 |   978383 |   827427 |    13584    151 |        5 |      254
532.28/532.53	c  532s |      20 |   980842 |   829527 |    13584    151 |        5 |      254
534.27/534.57	c  534s |      20 |   982928 |   831427 |    13584    152 |        5 |      254
536.36/536.62	c  536s |      20 |   986363 |   834027 |    13584    152 |        5 |      254
538.36/538.63	c  538s |      20 |   989345 |   836427 |    13584    152 |        5 |      254
540.36/540.64	c  540s |      20 |   992159 |   838927 |    13584    153 |        5 |      254
542.36/542.67	c  542s |      20 |   994921 |   841527 |    13584    153 |        5 |      254
544.46/544.73	c  544s |      20 |   997858 |   844227 |    13584    154 |        5 |      254
546.47/546.78	c  546s |      20 |  1001113 |   847127 |    13584    154 |        5 |      254
548.46/548.79	c  548s |      20 |  1003803 |   849627 |    13584    154 |        5 |      254
550.46/550.79	c  550s |      20 |  1006704 |   852327 |    13584    155 |        5 |      254
552.56/552.81	c  552s |      20 |  1009596 |   855027 |    13584    155 |        5 |      254
554.56/554.88	c  554s |      20 |  1012093 |   857327 |    13584    156 |        5 |      254
556.66/556.93	c  556s |      20 |  1015059 |   860127 |    13584    156 |        5 |      254
558.66/558.93	c  558s |      20 |  1017389 |   862227 |    13584    156 |        5 |      254
560.65/560.96	c  560s |      20 |  1021094 |   865327 |    13584    157 |        5 |      254
562.75/563.01	c  562s |      20 |  1025069 |   868827 |    13584    157 |        5 |      254
564.76/565.05	c  564s |      20 |  1028655 |   872027 |    13584    158 |        5 |      254
566.86/567.11	c  567s |      20 |  1032027 |   875027 |    13584    158 |        5 |      254
568.86/569.19	c  569s |      20 |  1035242 |   877927 |    13584    159 |        5 |      254
570.96/571.23	c  571s |      20 |  1038767 |   881127 |    13584    159 |        5 |      254
572.96/573.23	c  573s |      20 |  1041475 |   883627 |    13584    159 |        5 |      254
574.95/575.24	c  575s |      20 |  1044249 |   886227 |    13584    160 |        5 |      254
576.95/577.29	c  577s |      20 |  1046860 |   888627 |    13584    160 |        5 |      254
579.05/579.36	c  579s |      20 |  1050010 |   891427 |    13584    160 |        5 |      254
581.34/581.61	c  581s |      20 |  1052538 |   893627 |    13584    161 |        5 |      254
583.34/583.64	c  583s |      20 |  1055926 |   896527 |    13584    161 |        5 |      254
585.34/585.65	c  585s |      20 |  1059726 |   899827 |    13584    162 |        5 |      254
587.34/587.66	c  587s |      20 |  1064102 |   903527 |    13584    162 |        5 |      254
589.35/589.67	c  589s |      20 |  1067970 |   906927 |    13584    163 |        5 |      254
591.34/591.68	c  591s |      20 |  1071833 |   910327 |    13584    163 |        5 |      254
593.44/593.71	c  593s |      20 |  1075149 |   913127 |    13584    164 |        5 |      254
595.44/595.75	c  595s |      20 |  1078943 |   916527 |    13584    164 |        5 |      254
597.44/597.77	c  597s |      20 |  1082127 |   919427 |    13584    165 |        5 |      254
599.54/599.83	c  599s |      20 |  1085995 |   922927 |    13584    165 |        5 |      254
601.54/601.84	c  601s |      20 |  1089089 |   925627 |    13584    165 |        5 |      254
603.54/603.87	c  603s |      20 |  1092686 |   928827 |    13584    166 |        5 |      254
605.63/605.90	c  605s |      20 |  1096485 |   932227 |    13584    166 |        5 |      254
607.63/607.94	c  607s |      20 |  1099632 |   935027 |    13584    167 |        5 |      254
609.63/609.96	c  609s |      20 |  1103089 |   938227 |    13584    167 |        5 |      254
611.63/611.97	c  611s |      20 |  1106217 |   941127 |    13584    168 |        5 |      254
613.73/614.01	c  613s |      20 |  1109641 |   944327 |    13584    168 |        5 |      254
615.83/616.12	c  616s |      20 |  1111232 |   945827 |    13584    168 |        5 |      254
617.93/618.22	c  618s |      20 |  1115038 |   949127 |    13584    169 |        5 |      254
619.92/620.25	c  620s |      20 |  1118853 |   952527 |    13584    169 |        5 |      254
622.02/622.31	c  622s |      20 |  1122497 |   955827 |    13584    170 |        5 |      254
624.02/624.36	c  624s |      20 |  1126153 |   959027 |    13584    170 |        5 |      254
626.02/626.37	c  626s |      20 |  1129352 |   961827 |    13584    171 |        5 |      254
628.02/628.37	c  628s |      20 |  1133237 |   965327 |    13584    171 |        5 |      254
630.13/630.41	c  630s |      20 |  1136937 |   968627 |    13584    172 |        5 |      254
632.12/632.48	c  632s |      20 |  1140468 |   971827 |    13584    172 |        5 |      254
634.22/634.50	c  634s |      20 |  1143945 |   974927 |    13584    173 |        5 |      254
636.21/636.53	c  636s |      20 |  1147644 |   978327 |    13584    173 |        5 |      254
638.21/638.58	c  638s |      20 |  1150731 |   981127 |    13584    174 |        5 |      254
640.91/641.29	c  641s |      20 |  1153975 |   984127 |    13584    174 |        5 |      254
643.02/643.32	c  643s |      20 |  1157095 |   986827 |    13584    174 |        5 |      254
645.02/645.36	c  645s |      20 |  1160908 |   990227 |    13584    175 |        5 |      254
647.12/647.42	c  647s |      20 |  1164625 |   993527 |    14943    175 |        5 |      254
649.12/649.47	c  649s |      20 |  1167459 |   996127 |    14943    176 |        5 |      254
651.12/651.48	c  651s |      20 |  1170863 |   999227 |    14943    176 |        5 |      254
652.32/652.68	c  652s |      21 |  1172122 |  1000345 |    14943    176 |        5 |      254
654.42/654.70	c  654s |      21 |  1174287 |  1002245 |    14943    176 |        5 |      254
656.42/656.74	c  656s |      21 |  1178009 |  1005345 |    14943    177 |        5 |      254
658.41/658.74	c  658s |      21 |  1181667 |  1008545 |    14943    177 |        5 |      254
660.41/660.76	c  660s |      21 |  1185189 |  1011645 |    14943    178 |        5 |      254
662.41/662.80	c  662s |      21 |  1189216 |  1015245 |    14943    178 |        5 |      254
664.50/664.85	c  664s |      21 |  1192410 |  1017945 |    14943    178 |        5 |      254
666.50/666.86	c  666s |      21 |  1195830 |  1020945 |    14943    179 |        5 |      254
668.51/668.89	c  668s |      21 |  1199379 |  1023945 |    14943    179 |        5 |      254
670.60/670.92	c  670s |      21 |  1202433 |  1026445 |    14943    180 |        5 |      254
672.60/672.98	c  672s |      21 |  1205817 |  1029445 |    14943    180 |        5 |      254
674.60/674.98	c  674s |      21 |  1208476 |  1031745 |    14943    180 |        5 |      254
676.80/677.15	c  677s |      21 |  1210899 |  1033845 |    14943    181 |        5 |      254
678.80/679.18	c  679s |      21 |  1214683 |  1037145 |    14943    181 |        5 |      254
680.90/681.27	c  681s |      21 |  1217367 |  1039545 |    14943    181 |        5 |      254
683.00/683.36	c  683s |      21 |  1218748 |  1040745 |    14943    181 |        5 |      254
685.10/685.41	c  685s |      21 |  1221986 |  1043445 |    14943    182 |        5 |      254
687.09/687.42	c  687s |      21 |  1225112 |  1045845 |    14943    182 |        5 |      254
689.19/689.50	c  689s |      21 |  1227701 |  1048045 |    14943    182 |        5 |      254
691.19/691.57	c  691s |      21 |  1230363 |  1050345 |    14943    183 |        5 |      254
693.29/693.63	c  693s |      21 |  1233153 |  1052645 |    14943    183 |        5 |      254
695.29/695.69	c  695s |      21 |  1235677 |  1054545 |    14943    183 |        5 |      254
697.49/697.83	c  697s |      21 |  1237949 |  1056445 |    14943    183 |        5 |      254
699.59/699.92	c  699s |      21 |  1241076 |  1059145 |    14943    184 |        5 |      254
701.60/701.95	c  701s |      21 |  1243959 |  1061645 |    14943    184 |        5 |      254
703.70/704.07	c  703s |      21 |  1245950 |  1063445 |    14943    184 |        5 |      254
705.79/706.13	c  706s |      21 |  1248924 |  1066145 |    14943    185 |        5 |      254
707.79/708.18	c  708s |      21 |  1252173 |  1068745 |    14943    185 |        5 |      254
709.89/710.27	c  710s |      21 |  1254760 |  1070845 |    14943    185 |        5 |      254
711.99/712.33	c  712s |      21 |  1257638 |  1073245 |    14943    186 |        5 |      254
713.99/714.39	c  714s |      21 |  1260297 |  1075645 |    14943    186 |        5 |      254
716.09/716.40	c  716s |      21 |  1262837 |  1077645 |    14943    186 |        5 |      254
718.09/718.49	c  718s |      21 |  1265081 |  1079445 |    14943    187 |        5 |      254
720.19/720.53	c  720s |      21 |  1268689 |  1082345 |    14943    187 |        5 |      254
722.29/722.64	c  722s |      21 |  1271423 |  1084645 |    14943    187 |        5 |      254
724.28/724.65	c  724s |      21 |  1273697 |  1086645 |    14943    187 |        5 |      254
726.28/726.68	c  726s |      21 |  1276484 |  1089045 |    14943    188 |        5 |      254
728.38/728.72	c  728s |      21 |  1279422 |  1091645 |    14943    188 |        5 |      254
730.38/730.75	c  730s |      21 |  1281883 |  1093845 |    14943    188 |        5 |      254
732.48/732.80	c  732s |      21 |  1285231 |  1096845 |    14943    189 |        5 |      254
734.49/734.83	c  734s |      21 |  1288132 |  1099445 |    14943    189 |        5 |      254
736.48/736.89	c  736s |      21 |  1291141 |  1102045 |    14943    190 |        5 |      254
738.58/738.93	c  738s |      21 |  1295004 |  1105445 |    14943    190 |        5 |      254
740.58/740.94	c  740s |      21 |  1298025 |  1108145 |    14943    190 |        5 |      254
742.78/743.14	c  743s |      21 |  1300090 |  1109845 |    14943    191 |        5 |      254
744.78/745.18	c  745s |      21 |  1304095 |  1113045 |    14943    191 |        5 |      254
746.88/747.21	c  747s |      21 |  1306920 |  1115645 |    14943    191 |        5 |      254
748.89/749.25	c  749s |      21 |  1309467 |  1118045 |    14943    192 |        5 |      254
750.99/751.33	c  751s |      21 |  1312152 |  1120545 |    14943    192 |        5 |      254
752.98/753.36	c  753s |      21 |  1314636 |  1122845 |    14943    192 |        5 |      254
755.08/755.44	c  755s |      21 |  1316788 |  1124845 |    14943    193 |        5 |      254
757.08/757.49	c  757s |      21 |  1319571 |  1127245 |    14943    193 |        5 |      254
759.18/759.51	c  759s |      21 |  1323072 |  1130145 |    14943    193 |        5 |      254
761.18/761.57	c  761s |      21 |  1325730 |  1132345 |    14943    194 |        5 |      254
763.18/763.59	c  763s |      21 |  1328700 |  1134845 |    14943    194 |        5 |      254
765.28/765.62	c  765s |      21 |  1331337 |  1137045 |    14943    194 |        5 |      254
767.28/767.62	c  767s |      21 |  1333637 |  1138945 |    14943    194 |        5 |      254
769.38/769.73	c  769s |      21 |  1336414 |  1141245 |    14943    195 |        5 |      254
771.37/771.73	c  771s |      21 |  1339155 |  1143645 |    14943    195 |        5 |      254
773.37/773.79	c  773s |      21 |  1341333 |  1145645 |    14943    195 |        5 |      254
775.47/775.81	c  775s |      21 |  1343720 |  1147645 |    14943    196 |        5 |      254
777.48/777.83	c  777s |      21 |  1347014 |  1150545 |    14943    196 |        5 |      254
779.58/779.92	c  779s |      21 |  1349823 |  1153145 |    14943    196 |        5 |      254
781.57/781.97	c  781s |      21 |  1351878 |  1154945 |    14943    197 |        5 |      254
783.67/784.02	c  783s |      21 |  1355288 |  1157845 |    14943    197 |        5 |      254
785.67/786.06	c  785s |      21 |  1358230 |  1160345 |    14943    197 |        5 |      254
787.77/788.15	c  788s |      21 |  1360729 |  1162445 |    14943    197 |        5 |      254
789.77/790.16	c  790s |      21 |  1363734 |  1165045 |    14943    198 |        5 |      254
791.87/792.21	c  792s |      21 |  1366652 |  1167545 |    14943    198 |        5 |      254
793.88/794.26	c  794s |      21 |  1369283 |  1169745 |    14943    198 |        5 |      254
795.97/796.36	c  796s |      21 |  1372345 |  1172245 |    14943    199 |        5 |      254
798.08/798.41	c  798s |      21 |  1374938 |  1174345 |    14943    199 |        5 |      254
800.08/800.43	c  800s |      21 |  1377700 |  1176745 |    14943    199 |        5 |      254
802.08/802.48	c  802s |      21 |  1379964 |  1178745 |    14943    200 |        5 |      254
804.18/804.53	c  804s |      21 |  1383321 |  1181645 |    14943    200 |        5 |      254
806.18/806.53	c  806s |      21 |  1385945 |  1184045 |    14943    200 |        5 |      254
808.18/808.55	c  808s |      21 |  1388640 |  1186245 |    14943    201 |        5 |      254
810.18/810.56	c  810s |      21 |  1391588 |  1188645 |    14943    201 |        5 |      254
812.28/812.65	c  812s |      21 |  1394472 |  1191145 |    14943    201 |        5 |      254
814.28/814.66	c  814s |      21 |  1396978 |  1193345 |    14943    202 |        5 |      254
816.27/816.69	c  816s |      21 |  1400051 |  1196045 |    14943    202 |        5 |      254
818.37/818.75	c  818s |      21 |  1402825 |  1198445 |    14943    202 |        5 |      254
820.47/820.85	c  820s |      21 |  1404925 |  1200345 |    14943    203 |        5 |      254
822.48/822.86	c  822s |      21 |  1407931 |  1202945 |    14943    203 |        5 |      254
824.57/824.94	c  824s |      21 |  1410838 |  1205445 |    14943    203 |        5 |      254
826.67/827.06	c  826s |      21 |  1413029 |  1207345 |    14943    203 |        5 |      254
828.77/829.10	c  828s |      21 |  1415861 |  1209845 |    14943    204 |        5 |      254
830.77/831.14	c  831s |      21 |  1418538 |  1212145 |    14943    204 |        5 |      254
832.77/833.18	c  833s |      21 |  1421575 |  1214745 |    14943    204 |        5 |      254
834.77/835.18	c  835s |      21 |  1424241 |  1217145 |    14943    205 |        5 |      254
836.78/837.19	c  837s |      21 |  1426972 |  1219645 |    14943    205 |        5 |      254
838.87/839.26	c  839s |      21 |  1429703 |  1222145 |    14943    205 |        5 |      254
840.97/841.31	c  841s |      21 |  1432789 |  1224745 |    14943    206 |        5 |      254
842.97/843.38	c  843s |      21 |  1435706 |  1227245 |    14943    206 |        5 |      254
845.07/845.46	c  845s |      21 |  1438282 |  1229545 |    14943    206 |        5 |      254
847.07/847.47	c  847s |      21 |  1440557 |  1231645 |    14943    207 |        5 |      254
849.17/849.51	c  849s |      21 |  1443067 |  1233945 |    14943    207 |        5 |      254
851.27/851.61	c  851s |      21 |  1445482 |  1236145 |    14943    207 |        5 |      254
853.27/853.62	c  853s |      21 |  1447338 |  1237845 |    14943    207 |        5 |      254
855.26/855.66	c  855s |      21 |  1450339 |  1240545 |    14943    208 |        5 |      254
857.36/857.73	c  857s |      21 |  1453722 |  1243245 |    14943    208 |        5 |      254
859.46/859.80	c  859s |      21 |  1456271 |  1245445 |    14943    208 |        5 |      254
861.46/861.84	c  861s |      21 |  1459415 |  1248345 |    14943    209 |        5 |      254
863.56/863.91	c  863s |      21 |  1462514 |  1251245 |    14943    209 |        5 |      254
865.66/866.00	c  865s |      21 |  1464789 |  1253345 |    14943    210 |        5 |      254
867.67/868.04	c  867s |      21 |  1468592 |  1256645 |    14943    210 |        5 |      254
869.66/870.04	c  869s |      21 |  1471945 |  1259545 |    14943    210 |        5 |      254
871.66/872.09	c  871s |      21 |  1475236 |  1262545 |    14943    211 |        5 |      254
873.76/874.11	c  874s |      21 |  1478743 |  1265545 |    14943    211 |        5 |      254
875.86/876.25	c  876s |      21 |  1482038 |  1268445 |    14943    212 |        5 |      254
877.86/878.28	c  878s |      21 |  1485823 |  1271745 |    14943    212 |        5 |      254
879.96/880.33	c  880s |      21 |  1489007 |  1274445 |    14943    212 |        5 |      254
881.97/882.34	c  882s |      21 |  1491249 |  1276445 |    14943    213 |        5 |      254
883.96/884.39	c  884s |      21 |  1494910 |  1279445 |    14943    213 |        5 |      254
886.06/886.40	c  886s |      21 |  1497575 |  1281845 |    14943    213 |        5 |      254
888.06/888.47	c  888s |      21 |  1499679 |  1283745 |    14943    214 |        5 |      254
890.16/890.52	c  890s |      21 |  1502677 |  1286445 |    14943    214 |        5 |      254
892.16/892.59	c  892s |      21 |  1505583 |  1289045 |    14943    214 |        5 |      254
894.26/894.62	c  894s |      21 |  1508029 |  1291145 |    14943    214 |        5 |      254
896.26/896.63	c  896s |      21 |  1510709 |  1293545 |    14943    215 |        5 |      254
898.36/898.74	c  898s |      21 |  1512137 |  1294845 |    14943    215 |        5 |      254
900.35/900.77	c  900s |      21 |  1515629 |  1297745 |    14943    215 |        5 |      254
902.45/902.82	c  902s |      21 |  1518933 |  1300445 |    14943    216 |        5 |      254
904.56/904.96	c  904s |      21 |  1521711 |  1302745 |    14943    216 |        5 |      254
906.66/907.04	c  906s |      21 |  1525107 |  1305645 |    14943    216 |        5 |      254
908.66/909.04	c  908s |      21 |  1527778 |  1307845 |    14943    217 |        5 |      254
910.76/911.12	c  911s |      21 |  1530698 |  1310445 |    14943    217 |        5 |      254
912.77/913.18	c  913s |      21 |  1533232 |  1312745 |    14943    217 |        5 |      254
914.76/915.20	c  915s |      21 |  1535771 |  1315045 |    14943    218 |        5 |      254
916.86/917.24	c  917s |      21 |  1538710 |  1317745 |    14943    218 |        5 |      254
918.86/919.29	c  919s |      21 |  1541311 |  1320045 |    14943    218 |        5 |      254
920.96/921.33	c  921s |      21 |  1543733 |  1322145 |    14943    219 |        5 |      254
922.96/923.38	c  923s |      21 |  1547067 |  1325145 |    14943    219 |        5 |      254
925.06/925.43	c  925s |      21 |  1549717 |  1327545 |    14943    219 |        5 |      254
927.06/927.45	c  927s |      21 |  1552641 |  1329845 |    14943    220 |        5 |      254
929.16/929.52	c  929s |      21 |  1555496 |  1332345 |    14943    220 |        5 |      254
931.16/931.54	c  931s |      21 |  1558354 |  1334945 |    14943    220 |        5 |      254
933.16/933.58	c  933s |      21 |  1561157 |  1337445 |    14943    221 |        5 |      254
935.35/935.71	c  935s |      21 |  1563939 |  1339945 |    14943    221 |        5 |      254
937.35/937.75	c  937s |      21 |  1567204 |  1342545 |    14943    221 |        5 |      254
939.35/939.79	c  939s |      21 |  1569792 |  1344645 |    14943    222 |        5 |      254
941.36/941.79	c  941s |      21 |  1573151 |  1347645 |    14943    222 |        5 |      254
943.56/943.96	c  943s |      21 |  1574553 |  1348745 |    14943    222 |        8 |      319
945.55/945.96	c  945s |      21 |  1579556 |  1352445 |    14943    222 |        8 |      319
947.65/948.00	c  947s |      21 |  1583288 |  1355245 |    14943    222 |        8 |      319
949.65/950.06	c  949s |      21 |  1586444 |  1357645 |    14943    222 |        8 |      319
951.65/952.06	c  951s |      21 |  1589210 |  1359845 |    14943    222 |        8 |      319
953.75/954.12	c  954s |      21 |  1592027 |  1362145 |    14943    223 |        8 |      319
955.75/956.16	c  956s |      21 |  1595127 |  1364645 |    14943    223 |        8 |      319
957.86/958.24	c  958s |      21 |  1597784 |  1366845 |    14943    223 |        8 |      319
959.85/960.27	c  960s |      21 |  1600389 |  1368945 |    14943    224 |        8 |      319
961.85/962.29	c  962s |      21 |  1603546 |  1371545 |    14943    224 |        8 |      319
963.95/964.37	c  964s |      21 |  1606073 |  1373545 |    14943    224 |        8 |      319
966.05/966.45	c  966s |      21 |  1608559 |  1375545 |    14943    224 |        8 |      319
968.05/968.48	c  968s |      21 |  1611315 |  1377645 |    14943    225 |        8 |      319
970.15/970.55	c  970s |      21 |  1614355 |  1380045 |    14943    225 |        8 |      319
972.15/972.58	c  972s |      21 |  1617061 |  1382245 |    14943    225 |        8 |      319
974.25/974.63	c  974s |      21 |  1619647 |  1384445 |    14943    226 |        8 |      319
976.25/976.69	c  976s |      21 |  1622527 |  1386945 |    14943    226 |        8 |      319
978.35/978.76	c  978s |      21 |  1625437 |  1389445 |    14943    226 |        8 |      319
980.45/980.85	c  980s |      21 |  1627925 |  1391545 |    14943    227 |        8 |      319
982.44/982.89	c  982s |      21 |  1631214 |  1394345 |    14943    227 |        8 |      319
984.54/984.98	c  984s |      21 |  1633980 |  1396745 |    14943    227 |        8 |      319
986.64/987.00	c  986s |      21 |  1636405 |  1398845 |    14943    227 |        8 |      319
988.65/989.02	c  988s |      21 |  1639660 |  1401545 |    14943    228 |        8 |      319
990.64/991.06	c  990s |      21 |  1642674 |  1404045 |    14943    228 |        8 |      319
992.74/993.14	c  993s |      21 |  1645586 |  1406545 |    14943    228 |        8 |      319
994.74/995.19	c  995s |      21 |  1648635 |  1409145 |    14943    229 |        8 |      319
996.84/997.26	c  997s |      21 |  1651743 |  1411745 |    14943    229 |        8 |      319
998.94/999.34	c  999s |      21 |  1654507 |  1414045 |    14943    229 |        8 |      319
1001.04/1001.40	c 1001s |      21 |  1657768 |  1416745 |    14943    230 |        8 |      319
1003.04/1003.42	c 1003s |      21 |  1660612 |  1419145 |    14943    230 |        8 |      319
1005.05/1005.46	c 1005s |      21 |  1662722 |  1420845 |    14943    230 |        8 |      319
1007.14/1007.52	c 1007s |      21 |  1665005 |  1422845 |    14943    231 |        8 |      319
1009.14/1009.54	c 1009s |      21 |  1667586 |  1425145 |    14943    231 |        8 |      319
1011.14/1011.58	c 1011s |      21 |  1670139 |  1427445 |    14943    231 |        8 |      319
1013.24/1013.66	c 1013s |      21 |  1672701 |  1429645 |    14943    232 |        8 |      319
1015.34/1015.70	c 1015s |      21 |  1675981 |  1432445 |    14943    232 |        8 |      319
1017.34/1017.73	c 1017s |      21 |  1678554 |  1434745 |    14943    232 |        8 |      319
1019.44/1019.86	c 1019s |      21 |  1681078 |  1436945 |    14943    233 |        8 |      319
1021.54/1021.91	c 1021s |      21 |  1683530 |  1438945 |    14943    233 |        8 |      319
1023.53/1023.95	c 1023s |      21 |  1686501 |  1441545 |    14943    233 |        8 |      319
1025.63/1026.00	c 1025s |      21 |  1689435 |  1444045 |    14943    233 |        8 |      319
1027.64/1028.05	c 1027s |      21 |  1692532 |  1446545 |    14943    234 |        8 |      319
1029.64/1030.09	c 1029s |      21 |  1695567 |  1449145 |    14943    234 |        8 |      319
1031.74/1032.15	c 1032s |      21 |  1698174 |  1451345 |    14943    234 |        8 |      319
1033.75/1034.17	c 1034s |      21 |  1700841 |  1453545 |    14943    235 |        8 |      319
1035.85/1036.25	c 1036s |      21 |  1704349 |  1456745 |    14943    235 |        8 |      319
1037.94/1038.32	c 1038s |      21 |  1707053 |  1459045 |    14943    235 |        8 |      319
1039.94/1040.35	c 1040s |      21 |  1710083 |  1461645 |    14943    236 |        8 |      319
1041.94/1042.36	c 1042s |      21 |  1713221 |  1464245 |    14943    236 |        8 |      319
1043.94/1044.38	c 1044s |      21 |  1716124 |  1466545 |    14943    236 |        8 |      319
1046.04/1046.46	c 1046s |      21 |  1719007 |  1469045 |    14943    237 |        8 |      319
1048.05/1048.47	c 1048s |      21 |  1721733 |  1471345 |    14943    237 |        8 |      319
1050.04/1050.50	c 1050s |      21 |  1723517 |  1472945 |    14943    237 |        8 |      319
1052.14/1052.53	c 1052s |      21 |  1725552 |  1474545 |    14943    237 |        8 |      319
1054.14/1054.59	c 1054s |      21 |  1728374 |  1476845 |    14943    238 |        8 |      319
1056.24/1056.61	c 1056s |      21 |  1731271 |  1479245 |    14943    238 |        8 |      319
1058.24/1058.66	c 1058s |      21 |  1733817 |  1481445 |    14943    238 |        8 |      319
1060.24/1060.67	c 1060s |      21 |  1736321 |  1483545 |    14943    239 |        8 |      319
1062.24/1062.70	c 1062s |      21 |  1739091 |  1485845 |    14943    239 |        8 |      319
1064.34/1064.75	c 1064s |      21 |  1741634 |  1488045 |    14943    239 |        8 |      319
1066.34/1066.79	c 1066s |      21 |  1743952 |  1490045 |    16438    239 |        8 |      319
1068.44/1068.83	c 1068s |      21 |  1746159 |  1491945 |    16438    240 |        8 |      319
1070.44/1070.84	c 1070s |      21 |  1748699 |  1494145 |    16438    240 |        8 |      319
1072.54/1072.92	c 1072s |      21 |  1751210 |  1496145 |    16438    240 |        8 |      319
1074.63/1075.02	c 1074s |      21 |  1753567 |  1498145 |    16438    240 |        8 |      319
1076.83/1077.23	c 1077s |      21 |  1755492 |  1499845 |    16438    241 |        8 |      319
1077.43/1077.81	c 1077s |      22 |  1756413 |  1500622 |    16438    241 |        8 |      319
1079.43/1079.83	c 1079s |      22 |  1759419 |  1503122 |    16438    241 |        8 |      319
1081.43/1081.86	c 1081s |      22 |  1762548 |  1505622 |    16438    241 |        8 |      319
1083.53/1083.91	c 1083s |      22 |  1765035 |  1507722 |    16438    241 |        8 |      319
1085.53/1085.94	c 1085s |      22 |  1767540 |  1509722 |    16438    242 |        8 |      319
1087.54/1088.00	c 1087s |      22 |  1770731 |  1512222 |    16438    242 |        8 |      319
1089.63/1090.05	c 1089s |      22 |  1773481 |  1514522 |    16438    242 |        8 |      319
1091.63/1092.08	c 1091s |      22 |  1775860 |  1516522 |    16438    242 |        8 |      319
1093.73/1094.16	c 1094s |      22 |  1778488 |  1518722 |    16438    243 |        8 |      319
1095.73/1096.18	c 1096s |      22 |  1781197 |  1520822 |    16438    243 |        8 |      319
1097.83/1098.24	c 1098s |      22 |  1784062 |  1523122 |    16438    243 |        8 |      319
1099.93/1100.39	c 1100s |      22 |  1786187 |  1524922 |    16438    244 |        8 |      319
1102.03/1102.45	c 1102s |      22 |  1789472 |  1527222 |    16438    244 |        8 |      319
1104.04/1104.48	c 1104s |      22 |  1792282 |  1529422 |    16438    244 |        8 |      319
1106.03/1106.49	c 1106s |      22 |  1794997 |  1531722 |    16438    244 |        8 |      319
1108.13/1108.52	c 1108s |      22 |  1797510 |  1533822 |    16438    245 |        8 |      319
1110.13/1110.54	c 1110s |      22 |  1800373 |  1536222 |    16438    245 |        8 |      319
1112.23/1112.61	c 1112s |      22 |  1802824 |  1538322 |    16438    245 |        8 |      319
1114.23/1114.62	c 1114s |      22 |  1805155 |  1540422 |    16438    245 |        8 |      319
1116.33/1116.70	c 1116s |      22 |  1807398 |  1542222 |    16438    246 |        8 |      319
1118.33/1118.76	c 1118s |      22 |  1809870 |  1544422 |    16438    246 |        8 |      319
1120.32/1120.80	c 1120s |      22 |  1812432 |  1546522 |    16438    246 |        8 |      319
1122.52/1122.91	c 1122s |      22 |  1814909 |  1548622 |    16438    246 |        8 |      319
1124.52/1124.92	c 1124s |      22 |  1816909 |  1550322 |    16438    247 |        8 |      319
1126.52/1126.93	c 1126s |      22 |  1819318 |  1552422 |    16438    247 |        8 |      319
1128.72/1129.12	c 1129s |      22 |  1821793 |  1554522 |    16438    247 |        8 |      319
1130.82/1131.21	c 1131s |      22 |  1824163 |  1556722 |    16438    247 |        8 |      319
1132.82/1133.21	c 1133s |      22 |  1826082 |  1558522 |    16438    248 |        8 |      319
1134.83/1135.29	c 1135s |      22 |  1828574 |  1560822 |    16438    248 |        8 |      319
1136.92/1137.34	c 1137s |      22 |  1830903 |  1563022 |    16438    248 |        8 |      319
1139.02/1139.41	c 1139s |      22 |  1833465 |  1565322 |    16438    248 |        9 |      382
1141.02/1141.42	c 1141s |      22 |  1836521 |  1567922 |    16438    249 |        9 |      382
1143.02/1143.49	c 1143s |      22 |  1840177 |  1571122 |    16438    249 |        9 |      382
1145.12/1145.56	c 1145s |      22 |  1843442 |  1574022 |    16438    249 |        9 |      382
1147.12/1147.56	c 1147s |      22 |  1846578 |  1576822 |    16438    250 |        9 |      382
1149.22/1149.64	c 1149s |      22 |  1849636 |  1579622 |    16438    250 |        9 |      382
1151.22/1151.65	c 1151s |      22 |  1852455 |  1582122 |    16438    250 |        9 |      382
1153.32/1153.71	c 1153s |      22 |  1855231 |  1584622 |    16438    251 |        9 |      382
1155.32/1155.74	c 1155s |      22 |  1858241 |  1587322 |    16438    251 |        9 |      382
1157.32/1157.79	c 1157s |      22 |  1860949 |  1589822 |    16438    251 |        9 |      382
1159.42/1159.87	c 1159s |      22 |  1863341 |  1592022 |    16438    252 |        9 |      382
1161.42/1161.88	c 1161s |      22 |  1866771 |  1595022 |    16438    252 |        9 |      382
1163.43/1163.89	c 1163s |      22 |  1869899 |  1597822 |    16438    252 |        9 |      382
1165.52/1165.90	c 1165s |      22 |  1872495 |  1600222 |    16438    252 |        9 |      382
1167.52/1167.90	c 1167s |      22 |  1873161 |  1600822 |    16438    253 |        9 |      382
1169.52/1169.93	c 1169s |      22 |  1877030 |  1604222 |    16438    253 |        9 |      382
1171.52/1172.00	c 1171s |      22 |  1880301 |  1607122 |    16438    253 |        9 |      382
1173.82/1174.20	c 1174s |      22 |  1883214 |  1609722 |    16438    254 |        9 |      382
1175.82/1176.23	c 1176s |      22 |  1886695 |  1612822 |    16438    254 |        9 |      382
1177.82/1178.24	c 1178s |      22 |  1889527 |  1615422 |    16438    254 |        9 |      382
1179.82/1180.27	c 1180s |      22 |  1892292 |  1617922 |    16438    255 |        9 |      382
1181.92/1182.36	c 1182s |      22 |  1895535 |  1620922 |    16438    255 |        9 |      382
1184.72/1185.17	c 1185s |      22 |  1898362 |  1623422 |    16438    255 |        9 |      382
1186.72/1187.19	c 1187s |      22 |  1900731 |  1625522 |    16438    256 |        9 |      382
1188.72/1189.19	c 1189s |      22 |  1904017 |  1628522 |    16438    256 |        9 |      382
1190.82/1191.23	c 1191s |      22 |  1906983 |  1631222 |    16438    256 |        9 |      382
1192.81/1193.25	c 1193s |      22 |  1909438 |  1633522 |    16438    256 |        9 |      382
1194.81/1195.29	c 1195s |      22 |  1912716 |  1636522 |    16438    257 |        9 |      382
1196.91/1197.31	c 1197s |      22 |  1915713 |  1639022 |    16438    257 |        9 |      382
1198.91/1199.37	c 1199s |      22 |  1918227 |  1641322 |    16438    257 |        9 |      382
1201.01/1201.46	c 1201s |      22 |  1920784 |  1643722 |    16438    258 |        9 |      382
1203.02/1203.48	c 1203s |      22 |  1923410 |  1646122 |    16438    258 |        9 |      382
1205.11/1205.50	c 1205s |      22 |  1925976 |  1648322 |    16438    258 |        9 |      382
1207.11/1207.51	c 1207s |      22 |  1928197 |  1650322 |    16438    259 |        9 |      382
1209.11/1209.57	c 1209s |      22 |  1930922 |  1652722 |    16438    259 |        9 |      382
1211.31/1211.76	c 1211s |      22 |  1932576 |  1654222 |    16438    259 |        9 |      382
1213.41/1213.81	c 1213s |      22 |  1935386 |  1656522 |    16438    259 |        9 |      382
1215.41/1215.83	c 1215s |      22 |  1938278 |  1659022 |    16438    260 |        9 |      382
1217.42/1217.88	c 1217s |      22 |  1941678 |  1662022 |    16438    260 |        9 |      382
1219.52/1219.94	c 1219s |      22 |  1944528 |  1664622 |    16438    260 |        9 |      382
1221.61/1222.09	c 1221s |      22 |  1946981 |  1666822 |    16438    261 |        9 |      382
1223.71/1224.15	c 1224s |      22 |  1950404 |  1669922 |    16438    261 |        9 |      382
1225.71/1226.17	c 1226s |      22 |  1953161 |  1672422 |    16438    261 |        9 |      382
1227.81/1228.24	c 1228s |      22 |  1955654 |  1674722 |    16438    261 |        9 |      382
1229.91/1230.30	c 1230s |      22 |  1958724 |  1677522 |    16438    262 |        9 |      382
1231.91/1232.31	c 1232s |      22 |  1961114 |  1679422 |    16438    262 |        9 |      382
1233.92/1234.32	c 1234s |      22 |  1963894 |  1681922 |    16438    262 |        9 |      382
1235.91/1236.33	c 1236s |      22 |  1966604 |  1684422 |    16438    263 |        9 |      382
1237.91/1238.38	c 1238s |      22 |  1969538 |  1686922 |    16438    263 |        9 |      382
1240.01/1240.40	c 1240s |      22 |  1972388 |  1689322 |    16438    263 |        9 |      382
1242.01/1242.47	c 1242s |      22 |  1974671 |  1691322 |    16438    263 |        9 |      382
1244.11/1244.51	c 1244s |      22 |  1977299 |  1693622 |    16438    264 |        9 |      382
1246.11/1246.54	c 1246s |      22 |  1979954 |  1696022 |    16438    264 |        9 |      382
1248.21/1248.61	c 1248s |      22 |  1982641 |  1698422 |    16438    264 |        9 |      382
1250.21/1250.63	c 1250s |      22 |  1984671 |  1700122 |    16438    265 |        9 |      382
1252.20/1252.68	c 1252s |      22 |  1987706 |  1702922 |    16438    265 |        9 |      382
1254.30/1254.72	c 1254s |      22 |  1990374 |  1705322 |    16438    265 |        9 |      382
1256.30/1256.78	c 1256s |      22 |  1993275 |  1707722 |    16438    265 |        9 |      382
1258.30/1258.79	c 1258s |      22 |  1996229 |  1710222 |    16438    266 |        9 |      382
1260.40/1260.86	c 1260s |      22 |  1999167 |  1712722 |    16438    266 |        9 |      382
1262.41/1262.89	c 1262s |      22 |  2001633 |  1714822 |    16438    266 |        9 |      382
1264.50/1264.94	c 1264s |      22 |  2003765 |  1716722 |    16438    267 |        9 |      382
1266.60/1267.01	c 1266s |      22 |  2006811 |  1719222 |    16438    267 |        9 |      382
1268.60/1269.03	c 1268s |      22 |  2009644 |  1721422 |    16438    267 |        9 |      382
1270.60/1271.04	c 1270s |      22 |  2011809 |  1723222 |    16438    267 |        9 |      382
1272.70/1273.18	c 1273s |      22 |  2014018 |  1725022 |    16438    268 |        9 |      382
1274.80/1275.23	c 1275s |      22 |  2016400 |  1726922 |    16438    268 |        9 |      382
1276.81/1277.25	c 1277s |      22 |  2019173 |  1729222 |    16438    268 |        9 |      382
1278.91/1279.32	c 1279s |      22 |  2021474 |  1731222 |    16438    268 |        9 |      382
1280.90/1281.36	c 1281s |      22 |  2023442 |  1733022 |    16438    268 |        9 |      382
1282.90/1283.38	c 1283s |      22 |  2025784 |  1735122 |    16438    269 |        9 |      382
1285.00/1285.42	c 1285s |      22 |  2028468 |  1737522 |    16438    269 |        9 |      382
1287.00/1287.42	c 1287s |      22 |  2030409 |  1739222 |    16438    269 |        9 |      382
1289.00/1289.47	c 1289s |      22 |  2033416 |  1741422 |    16438    269 |        9 |      382
1291.20/1291.66	c 1291s |      22 |  2036404 |  1743922 |    16438    270 |        9 |      382
1293.30/1293.70	c 1293s |      22 |  2039566 |  1746622 |    16438    270 |        9 |      382
1295.30/1295.74	c 1295s |      22 |  2042233 |  1748822 |    16438    270 |        9 |      382
1297.30/1297.77	c 1297s |      22 |  2044797 |  1750922 |    16438    271 |        9 |      382
1299.30/1299.79	c 1299s |      22 |  2047658 |  1753122 |    16438    271 |        9 |      382
1301.40/1301.87	c 1301s |      22 |  2050281 |  1755222 |    16438    271 |        9 |      382
1303.39/1303.89	c 1303s |      22 |  2052565 |  1756922 |    16438    271 |        9 |      382
1305.49/1305.97	c 1305s |      22 |  2054587 |  1758522 |    16438    272 |        9 |      382
1307.60/1308.05	c 1307s |      22 |  2057464 |  1760722 |    16438    272 |        9 |      382
1309.59/1310.07	c 1309s |      22 |  2060629 |  1762922 |    16438    272 |        9 |      382
1311.69/1312.15	c 1312s |      22 |  2063337 |  1764922 |    16438    272 |        9 |      382
1313.89/1314.33	c 1314s |      22 |  2065776 |  1766822 |    16438    273 |        9 |      382
1315.89/1316.37	c 1316s |      22 |  2068825 |  1769322 |    16438    273 |        9 |      382
1317.99/1318.47	c 1318s |      22 |  2071506 |  1771522 |    16438    273 |        9 |      382
1320.09/1320.58	c 1320s |      22 |  2073967 |  1773522 |    16438    273 |        9 |      382
1322.39/1322.83	c 1322s |      22 |  2076038 |  1775222 |    16438    274 |        9 |      382
1324.39/1324.84	c 1324s |      22 |  2078239 |  1777122 |    16438    274 |        9 |      382
1326.49/1326.90	c 1326s |      22 |  2080466 |  1779022 |    16438    274 |        9 |      382
1328.59/1329.01	c 1328s |      22 |  2083229 |  1781322 |    16438    274 |        9 |      382
1330.59/1331.04	c 1330s |      22 |  2085416 |  1783222 |    16438    274 |        9 |      382
1332.59/1333.07	c 1332s |      22 |  2087961 |  1785422 |    16438    275 |        9 |      382
1334.90/1335.36	c 1335s |      22 |  2090603 |  1787722 |    16438    275 |        9 |      382
1337.00/1337.44	c 1337s |      22 |  2092989 |  1789822 |    16438    275 |        9 |      382
1339.00/1339.44	c 1339s |      22 |  2095000 |  1791622 |    16438    275 |        9 |      382
1341.10/1341.50	c 1341s |      22 |  2097512 |  1793822 |    16438    276 |        9 |      382
1343.09/1343.52	c 1343s |      22 |  2100150 |  1796222 |    16438    276 |        9 |      382
1345.09/1345.55	c 1345s |      22 |  2102478 |  1798322 |    16438    276 |        9 |      382
1347.10/1347.59	c 1347s |      22 |  2104442 |  1800122 |    16438    277 |        9 |      382
1349.19/1349.61	c 1349s |      22 |  2107344 |  1802622 |    16438    277 |        9 |      382
1351.19/1351.67	c 1351s |      22 |  2109749 |  1804822 |    16438    277 |        9 |      382
1353.29/1353.71	c 1353s |      22 |  2112112 |  1807022 |    16438    277 |        9 |      382
1355.29/1355.72	c 1355s |      22 |  2114449 |  1809122 |    16438    278 |        9 |      382
1357.29/1357.79	c 1357s |      22 |  2117394 |  1811722 |    16438    278 |        9 |      382
1359.39/1359.82	c 1359s |      22 |  2119719 |  1813822 |    16438    278 |        9 |      382
1361.39/1361.90	c 1361s |      22 |  2122472 |  1816222 |    16438    278 |        9 |      382
1363.49/1363.94	c 1363s |      22 |  2125321 |  1818622 |    16438    279 |        9 |      382
1365.59/1366.01	c 1365s |      22 |  2128172 |  1821122 |    16438    279 |        9 |      382
1367.59/1368.07	c 1367s |      22 |  2130498 |  1823222 |    16438    279 |        9 |      382
1369.79/1370.24	c 1370s |      22 |  2132617 |  1825122 |    16438    280 |        9 |      382
1371.79/1372.29	c 1372s |      22 |  2135317 |  1827522 |    16438    280 |        9 |      382
1373.89/1374.35	c 1374s |      22 |  2138200 |  1830022 |    16438    280 |        9 |      382
1375.88/1376.36	c 1376s |      22 |  2140437 |  1832022 |    16438    280 |        9 |      382
1377.89/1378.36	c 1378s |      22 |  2142565 |  1833922 |    16438    281 |        9 |      382
1379.98/1380.40	c 1380s |      22 |  2144647 |  1835722 |    16438    281 |        9 |      382
1381.98/1382.46	c 1382s |      22 |  2147427 |  1838222 |    16438    281 |        9 |      382
1384.08/1384.51	c 1384s |      22 |  2150095 |  1840422 |    16438    281 |        9 |      382
1386.08/1386.56	c 1386s |      22 |  2152437 |  1842222 |    16438    282 |        9 |      382
1388.18/1388.62	c 1388s |      22 |  2154801 |  1844322 |    16438    282 |        9 |      382
1390.18/1390.66	c 1390s |      22 |  2157055 |  1846222 |    16438    282 |        9 |      382
1392.29/1392.71	c 1392s |      22 |  2159043 |  1847922 |    16438    282 |        9 |      382
1394.28/1394.78	c 1394s |      22 |  2160833 |  1849422 |    16438    282 |        9 |      382
1396.38/1396.83	c 1396s |      22 |  2162898 |  1851222 |    16438    283 |        9 |      382
1398.48/1398.94	c 1398s |      22 |  2165377 |  1853322 |    16438    283 |        9 |      382
1400.48/1400.98	c 1400s |      22 |  2167325 |  1855022 |    16438    283 |        9 |      382
1402.48/1402.99	c 1402s |      22 |  2169133 |  1856622 |    16438    283 |        9 |      382
1404.58/1405.08	c 1404s |      22 |  2171058 |  1858222 |    16438    283 |        9 |      382
1406.68/1407.14	c 1407s |      22 |  2173156 |  1860022 |    16438    284 |        9 |      382
1408.68/1409.20	c 1409s |      22 |  2175163 |  1861822 |    16438    284 |        9 |      382
1410.78/1411.28	c 1411s |      22 |  2177077 |  1863422 |    16438    284 |        9 |      382
1412.88/1413.36	c 1413s |      22 |  2178866 |  1864922 |    16438    284 |        9 |      382
1414.98/1415.42	c 1415s |      22 |  2180908 |  1866622 |    16438    284 |        9 |      382
1416.97/1417.46	c 1417s |      22 |  2183756 |  1868922 |    16438    285 |        9 |      382
1418.97/1419.48	c 1419s |      22 |  2185861 |  1870622 |    16438    285 |        9 |      382
1421.07/1421.53	c 1421s |      22 |  2188014 |  1872322 |    16438    285 |        9 |      382
1423.58/1424.00	c 1423s |      22 |  2189688 |  1873722 |    16438    285 |        9 |      382
1425.58/1426.02	c 1425s |      22 |  2191392 |  1875122 |    16438    286 |        9 |      382
1427.58/1428.06	c 1427s |      22 |  2193116 |  1876622 |    16438    286 |        9 |      382
1429.69/1430.13	c 1430s |      22 |  2196853 |  1879822 |    16438    286 |        9 |      382
1431.68/1432.15	c 1432s |      22 |  2199789 |  1882222 |    16438    286 |        9 |      382
1433.68/1434.19	c 1434s |      22 |  2202463 |  1884522 |    16438    287 |        9 |      382
1435.78/1436.22	c 1436s |      22 |  2205113 |  1886922 |    16438    287 |        9 |      382
1437.78/1438.28	c 1438s |      22 |  2207652 |  1889122 |    16438    287 |        9 |      382
1439.88/1440.36	c 1440s |      22 |  2210052 |  1891222 |    16438    287 |        9 |      382
1441.88/1442.37	c 1442s |      22 |  2212455 |  1893322 |    16438    288 |        9 |      382
1443.99/1444.43	c 1444s |      22 |  2215200 |  1895722 |    16438    288 |        9 |      382
1445.98/1446.50	c 1446s |      22 |  2217728 |  1897822 |    16438    288 |        9 |      382
1448.08/1448.55	c 1448s |      22 |  2220345 |  1899922 |    16438    288 |        9 |      382
1450.18/1450.61	c 1450s |      22 |  2221913 |  1901322 |    16438    289 |        9 |      382
1452.18/1452.66	c 1452s |      22 |  2224753 |  1903822 |    16438    289 |        9 |      382
1454.18/1454.69	c 1454s |      22 |  2227233 |  1906022 |    16438    289 |        9 |      382
1456.28/1456.72	c 1456s |      22 |  2229468 |  1908022 |    16438    289 |        9 |      382
1458.28/1458.75	c 1458s |      22 |  2231990 |  1910322 |    16438    290 |        9 |      382
1460.38/1460.80	c 1460s |      22 |  2234762 |  1912722 |    16438    290 |        9 |      382
1462.37/1462.85	c 1462s |      22 |  2237191 |  1914922 |    16438    290 |        9 |      382
1464.37/1464.85	c 1464s |      22 |  2239409 |  1916722 |    16438    291 |        9 |      382
1466.37/1466.86	c 1466s |      22 |  2241898 |  1918722 |    16438    291 |        9 |      382
1468.47/1468.90	c 1468s |      22 |  2244826 |  1921222 |    16438    291 |        9 |      382
1470.47/1470.99	c 1470s |      22 |  2247309 |  1923322 |    16438    291 |        9 |      382
1472.48/1473.00	c 1472s |      22 |  2249362 |  1925122 |    16438    292 |        9 |      382
1474.57/1475.03	c 1474s |      22 |  2252193 |  1927522 |    16438    292 |        9 |      382
1476.67/1477.12	c 1477s |      22 |  2254818 |  1929822 |    16438    292 |        9 |      382
1478.77/1479.23	c 1479s |      22 |  2257075 |  1931822 |    16438    292 |        9 |      382
1480.77/1481.26	c 1481s |      22 |  2259250 |  1933722 |    16438    293 |        9 |      382
1482.87/1483.33	c 1483s |      22 |  2262092 |  1936322 |    16438    293 |        9 |      382
1484.87/1485.34	c 1485s |      22 |  2264796 |  1938722 |    16438    293 |        9 |      382
1486.97/1487.42	c 1487s |      22 |  2267166 |  1940922 |    16438    293 |        9 |      382
1489.17/1489.61	c 1489s |      22 |  2269152 |  1942722 |    16438    294 |        9 |      382
1491.18/1491.65	c 1491s |      22 |  2272549 |  1945522 |    16438    294 |        9 |      382
1493.27/1493.73	c 1493s |      22 |  2275400 |  1948022 |    16438    294 |        9 |      382
1495.37/1495.85	c 1495s |      22 |  2277872 |  1950122 |    16438    295 |        9 |      382
1497.47/1497.95	c 1497s |      22 |  2280250 |  1952122 |    16438    295 |        9 |      382
1499.47/1499.95	c 1499s |      22 |  2282500 |  1954022 |    16438    295 |        9 |      382
1501.47/1501.96	c 1501s |      22 |  2285011 |  1956122 |    16438    295 |        9 |      382
1503.47/1503.96	c 1503s |      22 |  2287379 |  1958122 |    16438    295 |        9 |      382
1505.47/1505.99	c 1505s |      22 |  2290022 |  1960322 |    16438    296 |        9 |      382
1507.57/1508.06	c 1507s |      22 |  2292435 |  1962422 |    16438    296 |        9 |      382
1509.67/1510.12	c 1510s |      22 |  2294834 |  1964522 |    16438    296 |        9 |      382
1511.67/1512.17	c 1512s |      22 |  2296916 |  1966322 |    16438    296 |        9 |      382
1513.76/1514.24	c 1514s |      22 |  2299125 |  1968322 |    16438    297 |        9 |      382
1515.76/1516.27	c 1516s |      22 |  2301551 |  1970522 |    16438    297 |        9 |      382
1517.76/1518.27	c 1518s |      22 |  2304134 |  1972722 |    16438    297 |        9 |      382
1519.87/1520.32	c 1520s |      22 |  2306497 |  1974822 |    16438    297 |        9 |      382
1521.86/1522.35	c 1522s |      22 |  2308913 |  1976922 |    16438    298 |        9 |      382
1523.96/1524.41	c 1524s |      22 |  2311947 |  1979622 |    16438    298 |        9 |      382
1525.96/1526.48	c 1526s |      22 |  2314586 |  1981922 |    16438    298 |        9 |      382
1528.06/1528.54	c 1528s |      22 |  2316894 |  1983922 |    16438    299 |        9 |      382
1530.16/1530.61	c 1530s |      22 |  2319901 |  1986522 |    16438    299 |        9 |      382
1532.16/1532.63	c 1532s |      22 |  2322417 |  1988822 |    16438    299 |        9 |      382
1534.16/1534.65	c 1534s |      22 |  2324506 |  1990522 |    16438    299 |        9 |      382
1536.26/1536.73	c 1536s |      22 |  2326971 |  1992522 |    16438    300 |        9 |      382
1538.26/1538.77	c 1538s |      22 |  2329334 |  1994422 |    16438    300 |        9 |      382
1540.36/1540.86	c 1540s |      22 |  2332208 |  1996822 |    16438    300 |        9 |      382
1542.46/1542.96	c 1542s |      22 |  2334915 |  1998922 |    16438    300 |        9 |      382
1544.46/1544.99	c 1544s |      22 |  2337471 |  2001022 |    16438    301 |        9 |      382
1546.55/1547.01	c 1546s |      22 |  2340588 |  2003722 |    16438    301 |        9 |      382
1548.55/1549.08	c 1548s |      22 |  2343485 |  2006222 |    16438    301 |        9 |      382
1550.66/1551.17	c 1551s |      22 |  2345948 |  2008222 |    16438    301 |        9 |      382
1552.76/1553.24	c 1553s |      22 |  2348970 |  2010722 |    16438    302 |        9 |      382
1554.76/1555.27	c 1555s |      22 |  2351887 |  2013122 |    16438    302 |        9 |      382
1556.86/1557.30	c 1557s |      22 |  2353918 |  2014722 |    16438    302 |        9 |      382
1558.86/1559.34	c 1559s |      22 |  2356669 |  2016922 |    16438    303 |        9 |      382
1560.96/1561.41	c 1561s |      22 |  2359888 |  2019722 |    16438    303 |        9 |      382
1562.96/1563.44	c 1563s |      22 |  2362551 |  2021922 |    16438    303 |        9 |      382
1565.06/1565.54	c 1565s |      22 |  2364983 |  2023922 |    16438    303 |        9 |      382
1567.17/1567.61	c 1567s |      22 |  2367230 |  2025822 |    16438    304 |        9 |      382
1569.16/1569.67	c 1569s |      22 |  2370351 |  2028222 |    16438    304 |        9 |      382
1571.26/1571.72	c 1571s |      22 |  2372831 |  2030322 |    16438    304 |        9 |      382
1573.36/1573.82	c 1573s |      22 |  2374889 |  2032122 |    16438    304 |        9 |      382
1575.56/1576.08	c 1575s |      22 |  2376683 |  2033622 |    16438    305 |        9 |      382
1577.66/1578.14	c 1578s |      22 |  2377978 |  2034722 |    16438    305 |        9 |      382
1579.76/1580.23	c 1580s |      22 |  2381163 |  2037422 |    16438    305 |        9 |      382
1581.76/1582.25	c 1582s |      22 |  2383749 |  2039622 |    16438    305 |        9 |      382
1583.86/1584.35	c 1584s |      22 |  2386156 |  2041722 |    16438    306 |        9 |      382
1585.96/1586.42	c 1586s |      22 |  2389285 |  2044522 |    16438    306 |        9 |      382
1587.96/1588.45	c 1588s |      22 |  2392102 |  2047122 |    16438    306 |        9 |      382
1589.96/1590.47	c 1590s |      22 |  2394420 |  2049222 |    16438    306 |        9 |      382
1592.06/1592.51	c 1592s |      22 |  2396917 |  2051522 |    16438    307 |        9 |      382
1594.05/1594.55	c 1594s |      22 |  2399702 |  2053722 |    16438    307 |        9 |      382
1596.05/1596.56	c 1596s |      22 |  2402475 |  2055822 |    16438    307 |        9 |      382
1598.15/1598.63	c 1598s |      22 |  2404845 |  2057722 |    16438    307 |        9 |      382
1600.25/1600.73	c 1600s |      22 |  2407766 |  2060222 |    16438    308 |        9 |      382
1602.26/1602.75	c 1602s |      22 |  2410727 |  2062822 |    16438    308 |        9 |      382
1604.25/1604.77	c 1604s |      22 |  2413058 |  2064822 |    16438    308 |        9 |      382
1606.35/1606.81	c 1606s |      22 |  2415690 |  2066922 |    16438    309 |        9 |      382
1608.35/1608.85	c 1608s |      22 |  2418906 |  2069622 |    16438    309 |        9 |      382
1610.45/1610.90	c 1610s |      22 |  2421833 |  2072122 |    16438    309 |        9 |      382
1612.45/1612.94	c 1612s |      22 |  2424356 |  2074222 |    16438    309 |        9 |      382
1614.46/1614.98	c 1614s |      22 |  2427130 |  2076522 |    16438    310 |        9 |      382
1616.56/1617.03	c 1616s |      22 |  2430260 |  2079222 |    16438    310 |        9 |      382
1618.55/1619.08	c 1618s |      22 |  2432421 |  2081222 |    16438    310 |        9 |      382
1620.65/1621.13	c 1621s |      22 |  2434940 |  2083522 |    16438    311 |        9 |      382
1622.65/1623.20	c 1623s |      22 |  2438001 |  2086122 |    16438    311 |        9 |      382
1624.75/1625.22	c 1625s |      22 |  2440964 |  2088622 |    16438    311 |        9 |      382
1626.75/1627.26	c 1627s |      22 |  2443815 |  2090922 |    16438    311 |        9 |      382
1628.85/1629.32	c 1629s |      22 |  2445971 |  2092822 |    16438    312 |        9 |      382
1630.85/1631.36	c 1631s |      22 |  2449161 |  2095622 |    16438    312 |        9 |      382
1632.85/1633.37	c 1633s |      22 |  2451818 |  2097922 |    16438    312 |        9 |      382
1634.95/1635.48	c 1635s |      22 |  2454184 |  2100022 |    16438    313 |        9 |      382
1636.95/1637.48	c 1637s |      22 |  2457113 |  2102622 |    16438    313 |        9 |      382
1638.94/1639.49	c 1639s |      22 |  2459746 |  2104922 |    16438    313 |        9 |      382
1641.04/1641.57	c 1641s |      22 |  2462282 |  2107222 |    16438    313 |        9 |      382
1643.94/1644.50	c 1644s |      22 |  2463584 |  2108322 |    16438    314 |        9 |      382
1646.04/1646.57	c 1646s |      22 |  2467211 |  2111122 |    16438    314 |        9 |      382
1648.14/1648.64	c 1648s |      22 |  2470320 |  2113522 |    16438    314 |        9 |      382
1650.14/1650.66	c 1650s |      22 |  2472561 |  2115622 |    16438    314 |        9 |      382
1652.14/1652.68	c 1652s |      22 |  2475679 |  2118322 |    16438    315 |        9 |      382
1654.24/1654.74	c 1654s |      22 |  2478797 |  2120922 |    16438    315 |        9 |      382
1656.25/1656.78	c 1656s |      22 |  2481652 |  2123322 |    16438    315 |        9 |      382
1658.24/1658.80	c 1658s |      22 |  2483939 |  2125322 |    16438    316 |        9 |      382
1660.34/1660.82	c 1660s |      22 |  2486997 |  2127922 |    16438    316 |        9 |      382
1662.44/1662.91	c 1662s |      22 |  2489798 |  2130322 |    16438    316 |        9 |      382
1664.44/1664.98	c 1664s |      22 |  2492016 |  2132322 |    16438    316 |        9 |      382
1666.54/1667.01	c 1666s |      22 |  2494134 |  2134222 |    16438    317 |        9 |      382
1668.54/1669.06	c 1668s |      22 |  2497223 |  2136822 |    16438    317 |        9 |      382
1670.64/1671.14	c 1671s |      22 |  2500043 |  2139322 |    16438    317 |        9 |      382
1672.74/1673.21	c 1673s |      22 |  2502511 |  2141322 |    16438    317 |        9 |      382
1674.74/1675.26	c 1675s |      22 |  2505594 |  2143922 |    16438    318 |        9 |      382
1676.74/1677.28	c 1677s |      22 |  2508205 |  2146222 |    16438    318 |        9 |      382
1678.84/1679.33	c 1679s |      22 |  2510773 |  2148522 |    16438    318 |        9 |      382
1680.84/1681.34	c 1681s |      22 |  2512851 |  2150422 |    16438    319 |        9 |      382
1682.94/1683.41	c 1683s |      22 |  2515884 |  2153022 |    16438    319 |        9 |      382
1684.93/1685.49	c 1685s |      22 |  2518179 |  2155022 |    16438    319 |        9 |      382
1687.04/1687.53	c 1687s |      22 |  2520991 |  2157422 |    16438    319 |        9 |      382
1689.03/1689.57	c 1689s |      22 |  2523759 |  2159922 |    16438    320 |        9 |      382
1691.13/1691.63	c 1691s |      22 |  2527010 |  2162622 |    16438    320 |        9 |      382
1693.23/1693.70	c 1693s |      22 |  2529716 |  2165022 |    16438    320 |        9 |      382
1695.23/1695.77	c 1695s |      22 |  2532002 |  2167122 |    16438    321 |        9 |      382
1697.33/1697.80	c 1697s |      22 |  2534902 |  2169722 |    16438    321 |        9 |      382
1699.33/1699.83	c 1699s |      22 |  2537793 |  2172322 |    16438    321 |        9 |      382
1701.34/1701.89	c 1701s |      22 |  2540120 |  2174422 |    16438    321 |        9 |      382
1703.33/1703.89	c 1703s |      22 |  2543072 |  2176822 |    16438    322 |        9 |      382
1705.43/1705.95	c 1705s |      22 |  2545934 |  2179122 |    16438    322 |        9 |      382
1707.43/1707.98	c 1707s |      22 |  2549098 |  2181522 |    16438    322 |        9 |      382
1709.53/1710.02	c 1709s |      22 |  2551579 |  2183522 |    16438    323 |        9 |      382
1711.53/1712.03	c 1711s |      22 |  2554331 |  2185922 |    16438    323 |        9 |      382
1713.53/1714.07	c 1713s |      22 |  2556840 |  2188022 |    16438    323 |        9 |      382
1715.64/1716.16	c 1716s |      22 |  2559387 |  2190122 |    16438    323 |        9 |      382
1717.63/1718.19	c 1718s |      22 |  2561653 |  2192022 |    16438    324 |        9 |      382
1719.73/1720.20	c 1720s |      22 |  2564384 |  2194422 |    16438    324 |        9 |      382
1722.03/1722.58	c 1722s |      22 |  2566649 |  2196422 |    16438    324 |        9 |      382
1724.13/1724.66	c 1724s |      22 |  2569445 |  2198722 |    16438    324 |        9 |      382
1726.13/1726.67	c 1726s |      22 |  2571583 |  2200422 |    16438    325 |        9 |      382
1728.13/1728.67	c 1728s |      22 |  2574267 |  2202722 |    16438    325 |        9 |      382
1730.14/1730.68	c 1730s |      22 |  2577040 |  2204922 |    16438    325 |        9 |      382
1732.23/1732.71	c 1732s |      22 |  2579507 |  2207122 |    16438    325 |        9 |      382
1734.24/1734.73	c 1734s |      22 |  2582238 |  2209522 |    16438    326 |        9 |      382
1736.23/1736.75	c 1736s |      22 |  2584863 |  2211822 |    16438    326 |        9 |      382
1738.23/1738.76	c 1738s |      22 |  2587260 |  2213922 |    16438    326 |        9 |      382
1740.33/1740.82	c 1740s |      22 |  2589728 |  2216022 |    16438    326 |        9 |      382
1742.33/1742.88	c 1742s |      22 |  2592529 |  2218422 |    16438    327 |        9 |      382
1744.43/1744.90	c 1744s |      22 |  2595147 |  2220722 |    16438    327 |        9 |      382
1746.44/1746.93	c 1746s |      22 |  2597481 |  2222822 |    16438    327 |        9 |      382
1748.64/1749.13	c 1749s |      22 |  2599806 |  2224922 |    16438    328 |        9 |      382
1750.63/1751.14	c 1751s |      22 |  2602514 |  2227222 |    16438    328 |        9 |      382
1752.63/1753.15	c 1753s |      22 |  2605235 |  2229722 |    16438    328 |        9 |      382
1754.63/1755.16	c 1755s |      22 |  2607778 |  2232022 |    16438    328 |        9 |      382
1757.03/1757.58	c 1757s |      22 |  2610390 |  2234322 |    16438    329 |        9 |      382
1759.13/1759.65	c 1759s |      22 |  2613811 |  2237122 |    18082    329 |        9 |      382
1761.13/1761.69	c 1761s |      22 |  2616489 |  2239422 |    18082    329 |        9 |      382
1763.23/1763.73	c 1763s |      22 |  2619170 |  2241722 |    18082    329 |        9 |      382
1765.23/1765.78	c 1765s |      22 |  2621695 |  2243922 |    18082    330 |        9 |      382
1767.33/1767.82	c 1767s |      22 |  2624890 |  2246722 |    18082    330 |        9 |      382
1769.33/1769.83	c 1769s |      22 |  2627753 |  2249222 |    18082    330 |        9 |      382
1771.03/1771.51	c 1771s |      23 |  2629771 |  2251038 |    18082    330 |        9 |      382
1773.22/1773.76	c 1773s |      23 |  2631292 |  2252338 |    18082    331 |        9 |      382
1775.22/1775.76	c 1775s |      23 |  2634278 |  2254938 |    18082    331 |        9 |      382
1777.23/1777.78	c 1777s |      23 |  2636917 |  2257238 |    18082    331 |        9 |      382
1779.33/1779.87	c 1779s |      23 |  2639258 |  2259238 |    18082    331 |        9 |      382
1781.42/1781.91	c 1781s |      23 |  2641624 |  2261238 |    18082    331 |        9 |      382
1783.42/1783.94	c 1783s |      23 |  2644155 |  2263538 |    18082    332 |        9 |      382
1785.52/1786.01	c 1785s |      23 |  2646983 |  2265938 |    18082    332 |        9 |      382
1787.52/1788.03	c 1787s |      23 |  2649482 |  2267938 |    18082    332 |        9 |      382
1789.62/1790.10	c 1789s |      23 |  2652141 |  2269838 |    18082    332 |        9 |      382
1791.72/1792.21	c 1792s |      23 |  2654606 |  2271638 |    18082    333 |        9 |      382
1793.72/1794.24	c 1794s |      23 |  2657747 |  2274038 |    18082    333 |        9 |      382
1795.72/1796.28	c 1796s |      23 |  2660301 |  2276238 |    18082    333 |        9 |      382
1797.82/1798.38	c 1798s |      23 |  2662331 |  2278138 |    18082    333 |        9 |      382

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/173 31897
/proc/meminfo: memFree=31875912/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=781756 CPUtime=0 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 2926 0 0 0 0 0 0 0 20 0 4 0 13307276 800518144 3286 33554432000 4194304 16246674 140735703293712 140735703293136 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 196207 3295 441 2943 0 193101 0
[pid=31897/tid=31901] ppid=31893 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 819392512 3357 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=804284 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 823586816 3374 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=808380 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13307276 827781120 3388 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.00 2.00 1.93 3/173 31897
/proc/meminfo: memFree=31875912/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 22333 0 0 0 6 2 0 0 20 0 4 0 13307276 1250496512 22631 33554432000 4194304 16246674 140735703293712 140735703293024 5563592 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 305297 22631 833 2943 0 302191 0
[pid=31897/tid=31901] ppid=31893 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 22631 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 22631 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 22631 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200527 s]
/proc/loadavg: 2.00 2.00 1.93 3/173 31897
/proc/meminfo: memFree=31875912/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 40912 0 0 0 14 5 0 0 20 0 4 0 13307276 1250496512 41210 33554432000 4194304 16246674 140735703293712 140735703293024 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 305297 41219 875 2943 0 302191 0
[pid=31897/tid=31901] ppid=31893 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 41226 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 41233 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 41240 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300469 s]
/proc/loadavg: 2.00 2.00 1.93 3/173 31897
/proc/meminfo: memFree=31875912/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 62156 0 0 0 21 8 0 0 20 0 4 0 13307276 1250496512 62455 33554432000 4194304 16246674 140735703293712 140735703293024 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 305297 62462 875 2943 0 302191 0
[pid=31897/tid=31901] ppid=31893 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 62468 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 62477 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 62486 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700398 s]
/proc/loadavg: 2.00 2.00 1.93 3/173 31897
/proc/meminfo: memFree=31875912/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 144750 0 0 0 49 20 0 0 20 0 4 0 13307276 1250496512 145048 33554432000 4194304 16246674 140735703293712 140735703293024 12875570 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 305297 145059 875 2943 0 302191 0
[pid=31897/tid=31901] ppid=31893 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 145066 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 145073 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1250496512 145079 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50042 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 31908
/proc/meminfo: memFree=30064048/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 266434 0 0 0 113 36 0 0 20 0 4 0 13307276 1332285440 266732 33554432000 4194304 16246674 140735703293712 140735703293024 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 325265 266732 878 2943 0 322159 0
[pid=31897/tid=31901] ppid=31893 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1332285440 266732 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1332285440 266732 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1332285440 266732 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 31908
/proc/meminfo: memFree=29738052/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 268141 0 0 0 273 36 0 0 20 0 4 0 13307276 1339625472 268439 33554432000 4194304 16246674 140735703293712 140735703275584 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 327057 268439 884 2943 0 323951 0
[pid=31897/tid=31901] ppid=31893 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1339625472 268439 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1339625472 268439 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1339625472 268439 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 31908
/proc/meminfo: memFree=29730932/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 268239 0 0 0 593 36 0 0 20 0 4 0 13307276 1339625472 268537 33554432000 4194304 16246674 140735703293712 140735703275584 5672209 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 327057 268537 884 2943 0 323951 0
[pid=31897/tid=31901] ppid=31893 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1339625472 268537 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1339625472 268537 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1339625472 268537 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1308228

[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 31908
/proc/meminfo: memFree=29716164/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1319492 CPUtime=12.69 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 271056 0 0 0 1232 37 0 0 20 0 4 0 13307276 1351159808 271354 33554432000 4194304 16246674 140735703293712 140735703275584 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 329873 271354 885 2943 0 326767 0
[pid=31897/tid=31901] ppid=31893 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1351159808 271354 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1351159808 271354 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1351159808 271354 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1319492

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.93 3/184 31909
/proc/meminfo: memFree=29704612/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1319492 CPUtime=25.49 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 271056 0 0 0 2512 37 0 0 20 0 4 0 13307276 1351159808 271354 33554432000 4194304 16246674 140735703293712 140735703275584 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 329873 271354 885 2943 0 326767 0
[pid=31897/tid=31901] ppid=31893 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1351159808 271354 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1351159808 271354 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1351159808 271354 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1319492

[startup+51.1005 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 31909
/proc/meminfo: memFree=29695860/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1319492 CPUtime=51.08 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 271063 0 0 0 5071 37 0 0 20 0 4 0 13307276 1351159808 271610 33554432000 4194304 16246674 140735703293712 140735703275584 5822472 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 329873 271610 885 2943 0 326767 0
[pid=31897/tid=31901] ppid=31893 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1351159808 271610 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1351159808 271610 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1351159808 271610 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1319492

[startup+102.3 s]
/proc/loadavg: 2.04 2.01 1.93 3/183 31910
/proc/meminfo: memFree=29694472/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1320516 CPUtime=102.26 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 271348 0 0 0 10189 37 0 0 20 0 4 0 13307276 1352208384 271866 33554432000 4194304 16246674 140735703293712 140735703275584 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 330129 271866 885 2943 0 327023 0
[pid=31897/tid=31901] ppid=31893 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1352208384 271866 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1352208384 271866 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1352208384 271866 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1320516


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

/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1377374208 278011 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1345092

[startup+1362.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/184 31952
/proc/meminfo: memFree=29627508/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1345092 CPUtime=1361.89 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 277818 0 0 0 136139 50 0 0 20 0 4 0 13307276 1377374208 278011 33554432000 4194304 16246674 140735703293712 140735703275584 5823709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 336273 278011 886 2943 0 333167 0
[pid=31897/tid=31901] ppid=31893 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1377374208 278011 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1377374208 278011 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1377374208 278011 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1345092

[startup+1422.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 31953
/proc/meminfo: memFree=29624024/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1349188 CPUtime=1421.88 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 278842 0 0 0 142138 50 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140735703276712 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 337297 279035 886 2943 0 334191 0
[pid=31897/tid=31901] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1349188

[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 31954
/proc/meminfo: memFree=29621920/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1349188 CPUtime=1481.87 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 278842 0 0 0 148136 51 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140735703275584 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 337297 279035 886 2943 0 334191 0
[pid=31897/tid=31901] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1349188

[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 31955
/proc/meminfo: memFree=29622284/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1349188 CPUtime=1541.86 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 278842 0 0 0 154135 51 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140735703276712 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 337297 279035 886 2943 0 334191 0
[pid=31897/tid=31901] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1349188

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 31957
/proc/meminfo: memFree=29622536/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1349188 CPUtime=1601.85 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 278842 0 0 0 160133 52 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140735703275584 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 337297 279035 886 2943 0 334191 0
[pid=31897/tid=31901] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1349188

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31958
/proc/meminfo: memFree=29622164/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1349188 CPUtime=1661.84 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 278842 0 0 0 166132 52 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140735703275584 5829136 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 337297 279035 886 2943 0 334191 0
[pid=31897/tid=31901] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1349188

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31959
/proc/meminfo: memFree=29622404/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1349188 CPUtime=1721.83 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 278842 0 0 0 172131 52 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140735703292888 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 337297 279035 886 2943 0 334191 0
[pid=31897/tid=31901] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1349188

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/184 31963
/proc/meminfo: memFree=29621144/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1349188 CPUtime=1781.82 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 278842 0 0 0 178129 53 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140735703275584 13820864 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 337297 279035 886 2943 0 334191 0
[pid=31897/tid=31901] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1349188



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 31963
/proc/meminfo: memFree=29622424/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1349188 CPUtime=1800.02 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 278842 0 0 0 179949 53 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140735703275584 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 337297 279035 886 2943 0 334191 0
[pid=31897/tid=31901] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1349188

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

[startup+1800.5 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 31963
/proc/meminfo: memFree=29622424/32872528 swapFree=7268/7268
[pid=31897] ppid=31893 vsize=1349188 CPUtime=1800.02 cores=0,2,4,6
/proc/31897/stat : 31897 (toysat) R 31893 31897 29295 0 -1 4202496 278842 0 0 0 179949 53 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140735703275584 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/31897/statm: 337297 279035 886 2943 0 334191 0
[pid=31897/tid=31901] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31901/stat : 31901 (toysat) S 31893 31897 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263845506288 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=31897/tid=31902] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31902/stat : 31902 (toysat) S 31893 31897 29295 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263766863088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=31897/tid=31903] ppid=31893 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/31897/task/31903/stat : 31903 (toysat) S 31893 31897 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13307276 1381568512 279035 33554432000 4194304 16246674 140735703293712 140263756389552 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1349188

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.5
CPU system time (s): 0.538918
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1349188

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.538918
maximum resident set size= 1116140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278842
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= 377
involuntary context switches= 1949

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.9152 second user time and 7.85181 second system time

The end

Begin job on node151 at 2016-06-16 23:30:24
IDJOB=4096190
IDBENCH=107579
IDSOLVER=2542
FILE ID=node151/4096190-1466112624
RUNJOBID= node151-1466112624-31871
PBS_JOBID= 19904038
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= c39bf3a9aff66f623061ec43b93aab60
RANDOM SEED=1695339686

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31877448 kB
Buffers:           59264 kB
Cached:           161016 kB
SwapCached:        61592 kB
Active:           116208 kB
Inactive:         166224 kB
Active(anon):       3552 kB
Inactive(anon):    61036 kB
Active(file):     112656 kB
Inactive(file):   105188 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             33124 kB
Writeback:             0 kB
AnonPages:          9148 kB
Mapped:             7212 kB
Shmem:                 0 kB
Slab:             572668 kB
SReclaimable:      15656 kB
SUnreclaim:       557012 kB
KernelStack:        1464 kB
PageTables:         4232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     104080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71716 MiB
End job on node151 at 2016-06-17 00:00:25