0.00/0.00	c 2016-06-17T00:26:03+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-4096827-1466115962.opb"]
0.00/0.01	c use --random-gen="3410146797 2286431967 144723522 1082860319 35031033 2036646338 1948090511 3846674663 1776275246 414132533 2236014248 1942173719 830267437 3732308797 614572031 3153252725 432039123 1011048247 2059456338 2894421534 992487275 2817034904 2611531042 983562830 868303089 344838472 4008111788 3898574871 983516030 407171010 1411735631 803935209 3428557699 2057865142 715029122 3865124746 757347284 3253684780 2740374710 4190994318 647882698 1314197959 2508034959 1462620319 2587081571 2424296332 3163395697 3305436984 3254843495 4058798271 3952653492 371299191 3552475501 666216979 3099302933 2606811061 2423684294 1620698917 3229939053 342142746 318368532 4215918403 3095547255 2936184169 1933880683 4080086267 1460200873 1944643040 2414982194 1042557797 3253617991 674659216 1732288324 2065665916 3194264364 4065802743 2262095449 4028632421 1479213770 164816383 1251939980 1275399409 434144330 2970412331 334492261 961090924 1546408011 2976955614 1705109051 2105638859 791528269 1375510217 235739925 4113454815 361311219 1026805069 532854682 1697012127 2127322361 3170719619 3169787625 3708701180 2805940758 3943958620 1676981598 4103074092 3802812751 491598755 2278854869 3277875105 3828935376 1420809021 3193675568 1606816013 1880721427 1928272814 3333543659 633714892 2984638166 4286519472 1119335479 1709039706 2016431836 2616254568 4045519353 2383404864 278326379 812555904 3787103265 2828989685 4042541038 634255790 80508799 852149490 264263911 992606729 4216943893 426843800 3195683048 721118580 313473821 3090879242 1048188275 868308998 1296211826 941520258 1035684979 4127312958 1014380738 3640887200 1668140558 2068035550 390809137 4031580560 92712550 3484226771 3393657368 2355926807 880315663 897996136 144682416 2076845661 835825848 2764057233 1542335787 1535479108 2102897118 2521661172 2491322727 1192920366 109750315 3335692979 2530230024 2992529799 2179410359 2660769448 883545040 1530889105 524350897 1689074396 1247152657 2574681671 177588533 3881149311 247873241 793683788 3894071376 1073214423 1672621335 3838463914 1293069015 1243109542 2745960715 1013742031 2443616786 1954281080 1508881453 1766833707 3071710816 2935559576 1934124700 649811332 124565337 4049285866 1661441866 553479102 683113584 4227166367 347285476 3538738097 3549894321 93835788 977647963 14087120 3598610967 3098717837 4187816766 3622472281 3026089074 3181434201 3304577546 214003057 3551497300 2693890267 2350067427 2887222550 2205009512 3654759975 365675308 3431753115 168594898 2619549088 3626776640 3169107354 1839894351 1326974290 171312689 2042906654 2876179740 1626669311 1332037965 3088165020 2265879163 3220589452 3210696738 1477331083 1061170529 394172492 659671149 1556513219 1636525323 392825961 2516010911 1296066442 3952665597 1430139000 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1190
0.00/0.06	c #constraints 5649
0.09/0.12	c Solving starts ...
0.09/0.12	c ============================[ Search Statistics ]============================
0.09/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.12	c =============================================================================
0.09/0.13	c  0.0s |       0 |        0 |        0 |     2278      0 |        5 |        0
0.09/0.17	c  0.0s |       1 |      156 |      100 |     2278      0 |        5 |      270
0.19/0.22	c  0.1s |       2 |      351 |      250 |     2506      0 |        5 |      270
0.29/0.34	c  0.2s |       3 |      724 |      475 |     2757      0 |        5 |      270
0.39/0.49	c  0.4s |       4 |     1151 |      813 |     3033      0 |        5 |      270
0.69/0.71	c  0.6s |       5 |     1812 |     1320 |     3337      0 |        5 |      270
0.99/1.05	c  0.9s |       6 |     2746 |     2081 |     4039      0 |        5 |      270
1.49/1.54	c  1.4s |       7 |     4157 |     3223 |     4443      0 |        5 |      270
2.19/2.25	c  2.1s |       8 |     6224 |     4936 |     4888      1 |        5 |      270
3.18/3.28	c  3.2s |       9 |     9351 |     7506 |     5377      2 |        5 |      270
4.69/4.78	c  4.7s |      10 |    14043 |    11361 |     5915      3 |        5 |      270
6.70/6.79	c  6.7s |      10 |    20199 |    16361 |     5915      4 |        5 |      270
7.09/7.13	c  7.0s |      11 |    21126 |    17144 |     6507      5 |        5 |      270
9.09/9.16	c  9.0s |      11 |    26709 |    21844 |     6507      6 |        5 |      270
10.79/10.83	c 10.7s |      12 |    31260 |    25819 |     7158      7 |        5 |      270
12.79/12.83	c 12.7s |      12 |    36314 |    30019 |     7158      8 |        5 |      270
14.79/14.86	c 14.7s |      12 |    41488 |    34519 |     7158      9 |        5 |      270
16.89/16.90	c 16.8s |      12 |    46268 |    38819 |     7874     10 |        5 |      270
16.89/16.91	c 16.8s |      13 |    46284 |    38832 |     7874     10 |        5 |      270
18.89/18.92	c 18.8s |      13 |    50770 |    42532 |     7874     11 |        5 |      270
20.89/20.92	c 20.8s |      13 |    56090 |    47132 |     7874     12 |        5 |      270
22.89/22.93	c 22.8s |      13 |    61443 |    51632 |     7874     13 |        5 |      270
24.89/24.97	c 24.8s |      13 |    66252 |    55832 |     7874     15 |        5 |      270
25.99/26.10	c 26.0s |      14 |    69099 |    58352 |     8662     15 |        5 |      270
28.09/28.13	c 28.0s |      14 |    73077 |    61752 |     8662     16 |        5 |      270
30.09/30.13	c 30.0s |      14 |    77590 |    65552 |     8662     17 |        5 |      270
32.09/32.18	c 32.1s |      14 |    82136 |    69452 |     8662     18 |        5 |      270
34.19/34.20	c 34.1s |      14 |    86835 |    73552 |     8662     18 |        5 |      270
36.18/36.23	c 36.1s |      14 |    91549 |    77652 |     8662     19 |        5 |      270
38.18/38.26	c 38.1s |      14 |    96139 |    81752 |     8662     20 |        5 |      270
40.18/40.29	c 40.2s |      14 |    99578 |    84752 |     8662     21 |        5 |      270
41.68/41.71	c 41.6s |      15 |   102999 |    87632 |     9529     21 |        5 |      270
43.69/43.72	c 43.6s |      15 |   107721 |    91532 |     9529     22 |        5 |      270
45.69/45.72	c 45.6s |      15 |   112530 |    95632 |     9529     23 |        5 |      270
47.69/47.74	c 47.6s |      15 |   116641 |    99232 |     9529     24 |        5 |      270
49.69/49.75	c 49.6s |      15 |   120979 |   102932 |     9529     25 |        5 |      270
51.69/51.79	c 51.7s |      15 |   125483 |   106832 |     9529     25 |        5 |      270
53.79/53.82	c 53.7s |      15 |   129851 |   110732 |     9529     26 |        5 |      270
55.79/55.84	c 55.7s |      15 |   133826 |   114132 |     9529     27 |        5 |      270
57.99/58.07	c 57.9s |      15 |   138355 |   118032 |     9529     28 |        5 |      270
59.98/60.08	c 60.0s |      15 |   143118 |   122132 |     9529     29 |        5 |      270
62.08/62.10	c 62.0s |      15 |   147332 |   125932 |     9529     29 |        5 |      270
64.08/64.13	c 64.0s |      15 |   151544 |   129632 |     9529     30 |        5 |      270
65.18/65.22	c 65.1s |      16 |   153748 |   131552 |    10482     30 |        5 |      270
67.19/67.23	c 67.1s |      16 |   157534 |   134652 |    10482     31 |        5 |      270
69.18/69.28	c 69.2s |      16 |   161679 |   138252 |    10482     32 |        5 |      270
71.18/71.29	c 71.2s |      16 |   166548 |   142452 |    10482     32 |        5 |      270
73.28/73.34	c 73.2s |      16 |   170980 |   146352 |    10482     33 |        5 |      270
75.28/75.39	c 75.3s |      16 |   175011 |   149952 |    10482     34 |        5 |      270
77.38/77.41	c 77.3s |      16 |   178495 |   153052 |    10482     34 |        5 |      270
79.37/79.46	c 79.3s |      16 |   182869 |   156852 |    10482     35 |        5 |      270
81.38/81.47	c 81.3s |      16 |   186534 |   159952 |    10482     36 |        5 |      270
83.37/83.49	c 83.4s |      16 |   191181 |   163952 |    10482     36 |        5 |      270
85.47/85.52	c 85.4s |      16 |   195261 |   167552 |    10482     37 |        5 |      270
87.47/87.57	c 87.4s |      16 |   199198 |   171052 |    10482     38 |        5 |      270
89.57/89.61	c 89.5s |      16 |   203660 |   174852 |    10482     38 |        5 |      270
91.57/91.66	c 91.5s |      16 |   208052 |   178752 |    10482     39 |        5 |      270
93.77/93.84	c 93.7s |      16 |   211165 |   181552 |    10482     40 |        5 |      270
95.78/95.88	c 95.8s |      16 |   215994 |   185752 |    10482     40 |        5 |      270
97.77/97.89	c 97.8s |      16 |   220337 |   189552 |    10482     41 |        5 |      270
99.87/99.92	c 99.8s |      16 |   224198 |   193052 |    10482     42 |        5 |      270
101.87/101.97	c  101s |      16 |   228060 |   196352 |    11531     42 |        5 |      270
102.57/102.62	c  102s |      17 |   229289 |   197432 |    11531     42 |        5 |      270
104.58/104.63	c  104s |      17 |   233280 |   201032 |    11531     43 |        5 |      270
106.57/106.67	c  106s |      17 |   236735 |   204232 |    11531     44 |        5 |      270
108.58/108.68	c  108s |      17 |   239658 |   206732 |    11531     44 |        5 |      270
110.58/110.70	c  110s |      17 |   243423 |   210032 |    11531     45 |        5 |      270
112.68/112.70	c  112s |      17 |   247812 |   213832 |    11531     45 |        5 |      270
114.68/114.73	c  114s |      17 |   251742 |   217432 |    11531     46 |        5 |      270
116.68/116.75	c  116s |      17 |   255381 |   220632 |    11531     46 |        5 |      270
118.68/118.75	c  118s |      17 |   259130 |   223932 |    11531     47 |        5 |      270
120.78/120.80	c  120s |      17 |   262836 |   227232 |    11531     48 |        5 |      270
122.78/122.84	c  122s |      17 |   266612 |   230732 |    11531     48 |        5 |      270
124.78/124.86	c  124s |      17 |   270377 |   234032 |    11531     49 |        5 |      270
126.77/126.88	c  126s |      17 |   273934 |   237232 |    11531     49 |        5 |      270
128.87/128.90	c  128s |      17 |   277467 |   240432 |    11531     50 |        5 |      270
130.88/130.95	c  130s |      17 |   281023 |   243632 |    11531     50 |        5 |      270
132.97/133.01	c  132s |      17 |   283354 |   245732 |    11531     51 |        5 |      270
134.97/135.02	c  134s |      17 |   287220 |   249032 |    11531     51 |        5 |      270
136.97/137.03	c  136s |      17 |   291177 |   252532 |    11531     52 |        5 |      270
138.97/139.06	c  138s |      17 |   294968 |   255932 |    11531     52 |        5 |      270
140.97/141.09	c  140s |      17 |   298630 |   259232 |    11531     53 |        5 |      270
143.08/143.14	c  143s |      17 |   302132 |   262232 |    11531     53 |        5 |      270
145.07/145.17	c  145s |      17 |   306546 |   265932 |    11531     54 |        5 |      270
147.17/147.20	c  147s |      17 |   310525 |   269332 |    11531     55 |        5 |      270
149.17/149.26	c  149s |      17 |   314997 |   273132 |    11531     55 |        5 |      270
151.17/151.28	c  151s |      17 |   319060 |   276732 |    11531     56 |        5 |      270
153.27/153.32	c  153s |      17 |   322933 |   280132 |    11531     57 |        5 |      270
155.27/155.34	c  155s |      17 |   326793 |   283632 |    11531     57 |        5 |      270
157.57/157.68	c  157s |      17 |   330269 |   286632 |    11531     58 |        5 |      270
159.57/159.69	c  159s |      17 |   334293 |   290132 |    11531     58 |        5 |      270
161.67/161.71	c  161s |      17 |   338406 |   293632 |    11531     59 |        5 |      270
163.16/163.21	c  163s |      18 |   341387 |   296252 |    12685     59 |        5 |      270
165.16/165.23	c  165s |      18 |   344328 |   298852 |    12685     60 |        5 |      270
167.17/167.25	c  167s |      18 |   348464 |   302452 |    12685     60 |        5 |      270
169.26/169.30	c  169s |      18 |   352302 |   305852 |    12685     61 |        5 |      270
171.26/171.36	c  171s |      18 |   356306 |   309452 |    12685     61 |        5 |      270
173.26/173.37	c  173s |      18 |   359068 |   311852 |    12685     62 |        5 |      270
175.26/175.38	c  175s |      18 |   363151 |   315352 |    12685     62 |        5 |      270
177.36/177.41	c  177s |      18 |   366827 |   318552 |    12685     63 |        5 |      270
179.37/179.43	c  179s |      18 |   370559 |   321952 |    12685     63 |        5 |      270
181.86/181.91	c  181s |      18 |   373909 |   324952 |    12685     64 |        5 |      270
183.86/183.95	c  183s |      18 |   378104 |   328652 |    12685     64 |        5 |      270
185.86/185.98	c  185s |      18 |   381664 |   331852 |    12685     65 |        5 |      270
187.96/188.04	c  187s |      18 |   385278 |   335052 |    12685     65 |        5 |      270
189.96/190.07	c  189s |      18 |   388413 |   337852 |    12685     66 |        5 |      270
192.06/192.13	c  192s |      18 |   392423 |   341452 |    12685     66 |        5 |      270
194.16/194.26	c  194s |      18 |   395333 |   343852 |    12685     67 |        5 |      270
196.16/196.28	c  196s |      18 |   399743 |   347552 |    12685     67 |        5 |      270
198.26/198.33	c  198s |      18 |   403521 |   350852 |    12685     68 |        5 |      270
200.27/200.34	c  200s |      18 |   407231 |   353952 |    12685     68 |        5 |      270
202.26/202.37	c  202s |      18 |   411295 |   357352 |    12685     69 |        5 |      270
204.26/204.38	c  204s |      18 |   415665 |   361152 |    12685     69 |        5 |      270
206.36/206.42	c  206s |      18 |   419592 |   364652 |    12685     70 |        5 |      270
208.36/208.47	c  208s |      18 |   423586 |   368052 |    12685     70 |        5 |      270
210.46/210.51	c  210s |      18 |   427646 |   371552 |    12685     71 |        5 |      270
212.46/212.52	c  212s |      18 |   429858 |   373452 |    12685     71 |        5 |      270
214.47/214.52	c  214s |      18 |   433650 |   376752 |    12685     72 |        5 |      270
216.46/216.52	c  216s |      18 |   437426 |   379952 |    12685     72 |        5 |      270
218.46/218.58	c  218s |      18 |   441172 |   383252 |    12685     73 |        5 |      270
220.46/220.60	c  220s |      18 |   444889 |   386652 |    12685     73 |        5 |      270
222.56/222.63	c  222s |      18 |   448419 |   389752 |    12685     74 |        5 |      270
224.56/224.63	c  224s |      18 |   451267 |   392152 |    12685     74 |        5 |      270
226.56/226.65	c  226s |      18 |   454966 |   395352 |    12685     75 |        5 |      270
228.56/228.68	c  228s |      18 |   458979 |   398952 |    12685     75 |        5 |      270
230.65/230.70	c  230s |      18 |   462152 |   401752 |    12685     75 |        5 |      270
232.65/232.70	c  232s |      18 |   465862 |   405052 |    12685     76 |        5 |      270
234.65/234.74	c  234s |      18 |   469299 |   408152 |    12685     76 |        5 |      270
236.66/236.78	c  236s |      18 |   472885 |   411452 |    12685     77 |        5 |      270
238.95/239.06	c  238s |      18 |   475245 |   413652 |    12685     77 |        5 |      270
240.96/241.09	c  240s |      18 |   479228 |   417052 |    12685     78 |        5 |      270
243.06/243.14	c  243s |      18 |   482790 |   420252 |    12685     78 |        5 |      270
245.05/245.17	c  245s |      18 |   486212 |   423352 |    12685     79 |        5 |      270
247.15/247.20	c  247s |      18 |   489407 |   426252 |    12685     79 |        5 |      270
249.15/249.24	c  249s |      18 |   492329 |   428852 |    12685     80 |        5 |      270
251.15/251.26	c  251s |      18 |   496177 |   432252 |    12685     80 |        5 |      270
253.25/253.33	c  253s |      18 |   499545 |   435352 |    12685     81 |        5 |      270
255.26/255.39	c  255s |      18 |   503240 |   438652 |    12685     81 |        5 |      270
257.36/257.42	c  257s |      18 |   506638 |   441752 |    13954     82 |        5 |      270
259.15/259.25	c  259s |      19 |   509629 |   444482 |    13954     82 |        5 |      270
261.25/261.30	c  261s |      19 |   512510 |   446782 |    13954     82 |        5 |      270
263.25/263.31	c  263s |      19 |   515880 |   449682 |    13954     83 |        5 |      270
265.25/265.31	c  265s |      19 |   519815 |   453082 |    13954     83 |        5 |      270
267.25/267.34	c  267s |      19 |   523336 |   456082 |    13954     84 |        5 |      270
269.35/269.40	c  269s |      19 |   527223 |   459482 |    13954     84 |        5 |      270
271.35/271.43	c  271s |      19 |   530756 |   462582 |    13954     85 |        5 |      270
273.35/273.48	c  273s |      19 |   534959 |   466282 |    13954     85 |        5 |      270
275.45/275.50	c  275s |      19 |   538448 |   469382 |    13954     86 |        5 |      270
278.54/278.68	c  278s |      19 |   541934 |   472482 |    13954     86 |        5 |      270
280.65/280.73	c  280s |      19 |   545998 |   475982 |    13954     86 |        5 |      270
282.66/282.74	c  282s |      19 |   549682 |   479182 |    13954     87 |        5 |      270
284.75/284.80	c  284s |      19 |   553556 |   482582 |    13954     87 |        5 |      270
286.75/286.82	c  286s |      19 |   557056 |   485682 |    13954     88 |        5 |      270
288.75/288.86	c  288s |      19 |   560479 |   488682 |    13954     88 |        5 |      270
290.75/290.89	c  290s |      19 |   564107 |   491882 |    13954     89 |        5 |      270
292.84/292.91	c  292s |      19 |   567708 |   495082 |    13954     89 |        5 |      270
294.85/294.92	c  294s |      19 |   570789 |   497882 |    13954     90 |        5 |      270
296.84/296.98	c  296s |      19 |   574373 |   501082 |    13954     90 |        5 |      270
298.94/299.00	c  298s |      19 |   577474 |   503882 |    13954     90 |        5 |      270
301.04/301.17	c  301s |      19 |   579235 |   505482 |    13954     91 |        5 |      270
303.14/303.23	c  303s |      19 |   583386 |   509082 |    13954     91 |        5 |      270
305.14/305.25	c  305s |      19 |   586624 |   511982 |    13954     92 |        5 |      270
307.15/307.29	c  307s |      19 |   590348 |   515282 |    13954     92 |        5 |      270
309.25/309.36	c  309s |      19 |   593698 |   518282 |    13954     92 |        5 |      270
311.25/311.38	c  311s |      19 |   597215 |   521482 |    13954     93 |        5 |      270
313.35/313.44	c  313s |      19 |   599636 |   523682 |    13954     93 |        5 |      270
315.35/315.49	c  315s |      19 |   602782 |   526482 |    13954     94 |        5 |      270
317.44/317.51	c  317s |      19 |   606343 |   529682 |    13954     94 |        5 |      270
319.45/319.54	c  319s |      19 |   609666 |   532682 |    13954     94 |        5 |      270
321.44/321.59	c  321s |      19 |   612636 |   535382 |    13954     95 |        5 |      270
323.54/323.62	c  323s |      19 |   615872 |   538282 |    13954     95 |        5 |      270
325.55/325.65	c  325s |      19 |   618811 |   540982 |    13954     96 |        5 |      270
327.64/327.70	c  327s |      19 |   622117 |   543982 |    13954     96 |        5 |      270
329.64/329.75	c  329s |      19 |   624927 |   546582 |    13954     96 |        5 |      270
331.94/332.02	c  331s |      19 |   626577 |   548082 |    13954     97 |        5 |      270
334.04/334.12	c  333s |      19 |   629115 |   550182 |    13954     97 |        5 |      270
336.04/336.17	c  336s |      19 |   633043 |   553482 |    13954     97 |        5 |      270
338.14/338.23	c  338s |      19 |   636669 |   556682 |    13954     98 |        5 |      270
340.14/340.29	c  340s |      19 |   640309 |   559982 |    13954     98 |        5 |      270
342.24/342.32	c  342s |      19 |   643784 |   562982 |    13954     99 |        5 |      270
344.25/344.36	c  344s |      19 |   647295 |   565982 |    13954     99 |        5 |      270
346.34/346.49	c  346s |      19 |   649965 |   568282 |    13954    100 |        5 |      270
348.44/348.52	c  348s |      19 |   654040 |   571782 |    13954    100 |        5 |      270
350.44/350.55	c  350s |      19 |   657649 |   574982 |    13954    100 |        5 |      270
352.44/352.57	c  352s |      19 |   661993 |   578782 |    13954    101 |        5 |      270
354.44/354.59	c  354s |      19 |   665704 |   582082 |    13954    101 |        5 |      270
356.53/356.65	c  356s |      19 |   668314 |   584382 |    13954    102 |        5 |      270
358.64/358.71	c  358s |      19 |   672064 |   587682 |    13954    102 |        5 |      270
360.63/360.75	c  360s |      19 |   675690 |   590882 |    13954    103 |        5 |      270
362.63/362.75	c  362s |      19 |   679197 |   594082 |    13954    103 |        5 |      270
364.63/364.77	c  364s |      19 |   682006 |   596582 |    13954    104 |        5 |      270
366.73/366.80	c  366s |      19 |   686171 |   600282 |    13954    104 |        5 |      270
368.73/368.83	c  368s |      19 |   687749 |   601682 |    13954    104 |        5 |      270
370.74/370.83	c  370s |      19 |   691389 |   604882 |    13954    105 |        5 |      270
372.73/372.89	c  372s |      19 |   695037 |   608182 |    13954    105 |        5 |      270
374.83/374.93	c  374s |      19 |   698253 |   611082 |    13954    106 |        5 |      270
376.83/376.95	c  376s |      19 |   701911 |   614482 |    13954    106 |        5 |      270
378.83/378.97	c  378s |      19 |   704676 |   617082 |    13954    106 |        5 |      270
380.83/380.98	c  380s |      19 |   707734 |   619882 |    13954    107 |        5 |      270
382.93/383.06	c  382s |      19 |   710312 |   622182 |    13954    107 |        5 |      270
384.94/385.07	c  384s |      19 |   713362 |   624882 |    13954    108 |        5 |      270
387.03/387.12	c  386s |      19 |   717193 |   628282 |    13954    108 |        5 |      270
389.03/389.15	c  389s |      19 |   720458 |   631182 |    13954    108 |        5 |      270
391.03/391.16	c  391s |      19 |   723104 |   633582 |    13954    109 |        5 |      270
393.13/393.20	c  393s |      19 |   726645 |   636782 |    13954    109 |        5 |      270
395.13/395.24	c  395s |      19 |   729388 |   639282 |    13954    110 |        5 |      270
397.14/397.27	c  397s |      19 |   732999 |   642582 |    13954    110 |        5 |      270
399.24/399.33	c  399s |      19 |   736047 |   645382 |    13954    110 |        5 |      270
401.23/401.35	c  401s |      19 |   737787 |   646882 |    13954    111 |        5 |      270
403.23/403.36	c  403s |      19 |   741402 |   650082 |    13954    111 |        5 |      270
405.33/405.40	c  405s |      19 |   744863 |   653182 |    13954    112 |        5 |      270
407.33/407.40	c  407s |      19 |   748615 |   656582 |    13954    112 |        5 |      270
409.33/409.46	c  409s |      19 |   751870 |   659382 |    13954    112 |        5 |      270
411.33/411.48	c  411s |      19 |   755362 |   662482 |    15350    113 |        5 |      270
413.33/413.48	c  413s |      19 |   758925 |   665682 |    15350    113 |        5 |      270
414.13/414.24	c  414s |      20 |   760178 |   666827 |    15350    113 |        5 |      270
416.33/416.40	c  416s |      20 |   762701 |   668827 |    15350    114 |        5 |      270
418.33/418.43	c  418s |      20 |   767116 |   672527 |    15350    114 |        5 |      270
420.33/420.43	c  420s |      20 |   770640 |   675527 |    15350    114 |        5 |      270
422.33/422.48	c  422s |      20 |   774025 |   678527 |    15350    115 |        5 |      270
424.43/424.54	c  424s |      20 |   777555 |   681727 |    15350    115 |        5 |      270
426.52/426.60	c  426s |      20 |   780397 |   684327 |    15350    116 |        5 |      270
428.52/428.65	c  428s |      20 |   783752 |   687327 |    15350    116 |        5 |      270
430.62/430.72	c  430s |      20 |   787016 |   690227 |    15350    116 |        5 |      270
432.62/432.75	c  432s |      20 |   789603 |   692527 |    15350    117 |        5 |      270
434.62/434.79	c  434s |      20 |   793050 |   695527 |    15350    117 |        5 |      270
436.73/436.82	c  436s |      20 |   795952 |   698027 |    15350    117 |        5 |      270
438.72/438.83	c  438s |      20 |   799011 |   700727 |    15350    118 |        5 |      270
440.72/440.87	c  440s |      20 |   802193 |   703527 |    15350    118 |        5 |      270
442.72/442.87	c  442s |      20 |   805680 |   706427 |    15350    118 |        5 |      270
444.82/444.90	c  444s |      20 |   809001 |   709327 |    15350    119 |        5 |      270
446.82/446.92	c  446s |      20 |   813032 |   712727 |    15350    119 |        5 |      270
448.83/448.96	c  448s |      20 |   816437 |   715727 |    15350    120 |        5 |      270
450.82/450.97	c  450s |      20 |   820662 |   719427 |    15350    120 |        5 |      270
452.92/453.03	c  452s |      20 |   824252 |   722727 |    15350    120 |        5 |      270
455.22/455.35	c  455s |      20 |   825958 |   724227 |    15350    121 |        5 |      270
457.22/457.35	c  457s |      20 |   829867 |   727527 |    15350    121 |        5 |      270
459.32/459.42	c  459s |      20 |   833621 |   730827 |    15350    121 |        5 |      270
461.32/461.42	c  461s |      20 |   837259 |   733927 |    15350    122 |        5 |      270
463.32/463.45	c  463s |      20 |   840605 |   736927 |    15350    122 |        5 |      270
465.32/465.48	c  465s |      20 |   843945 |   739827 |    15350    123 |        5 |      270
467.42/467.53	c  467s |      20 |   847780 |   743227 |    15350    123 |        5 |      270
469.41/469.58	c  469s |      20 |   851214 |   746327 |    15350    123 |        5 |      270
472.02/472.11	c  471s |      20 |   853795 |   748627 |    15350    124 |        5 |      270
474.03/474.14	c  474s |      20 |   857362 |   751827 |    15350    124 |        5 |      270
476.02/476.15	c  476s |      20 |   860082 |   754327 |    15350    125 |        5 |      270
478.12/478.29	c  478s |      20 |   863218 |   757227 |    15350    125 |        5 |      270
480.22/480.33	c  480s |      20 |   866470 |   760127 |    15350    125 |        5 |      270
482.22/482.37	c  482s |      20 |   869247 |   762627 |    15350    126 |        5 |      270
484.32/484.40	c  484s |      20 |   872700 |   765627 |    15350    126 |        5 |      270
486.32/486.44	c  486s |      20 |   875844 |   768427 |    15350    126 |        5 |      270
488.32/488.48	c  488s |      20 |   878899 |   771227 |    15350    127 |        5 |      270
490.31/490.49	c  490s |      20 |   881926 |   773927 |    15350    127 |        5 |      270
492.41/492.52	c  492s |      20 |   885327 |   776827 |    15350    127 |        5 |      270
494.41/494.54	c  494s |      20 |   888730 |   779827 |    15350    128 |        5 |      270
496.41/496.59	c  496s |      20 |   892126 |   782827 |    15350    128 |        5 |      270
498.51/498.61	c  498s |      20 |   895281 |   785627 |    15350    129 |        5 |      270
500.52/500.64	c  500s |      20 |   899026 |   789027 |    15350    129 |        5 |      270
502.51/502.66	c  502s |      20 |   900388 |   790227 |    15350    129 |        5 |      270
504.61/504.74	c  504s |      20 |   903747 |   793127 |    15350    130 |        5 |      270
507.02/507.20	c  507s |      20 |   907516 |   796527 |    15350    130 |        5 |      270
509.11/509.23	c  509s |      20 |   910545 |   799327 |    15350    130 |        5 |      270
511.11/511.26	c  511s |      20 |   913538 |   802027 |    15350    131 |        5 |      270
513.21/513.31	c  513s |      20 |   916740 |   804827 |    15350    131 |        5 |      270
515.31/515.42	c  515s |      20 |   919393 |   807227 |    15350    131 |        5 |      270
517.31/517.43	c  517s |      20 |   922458 |   809927 |    15350    132 |        5 |      270
519.32/519.49	c  519s |      20 |   926199 |   813327 |    15350    132 |        5 |      270
521.42/521.55	c  521s |      20 |   929408 |   816127 |    15350    132 |        5 |      270
523.41/523.60	c  523s |      20 |   932678 |   818927 |    15350    133 |        5 |      270
525.51/525.65	c  525s |      20 |   936319 |   822127 |    15350    133 |        5 |      270
527.51/527.69	c  527s |      20 |   939745 |   825127 |    15350    134 |        5 |      270
529.61/529.71	c  529s |      20 |   943637 |   828627 |    15350    134 |        5 |      270
531.61/531.77	c  531s |      20 |   947000 |   831627 |    15350    134 |        5 |      270
533.61/533.77	c  533s |      20 |   950278 |   834527 |    15350    135 |        5 |      270
535.72/535.84	c  535s |      20 |   953562 |   837527 |    15350    135 |        5 |      270
537.71/537.85	c  537s |      20 |   955755 |   839527 |    15350    135 |        5 |      270
539.81/539.91	c  539s |      20 |   959249 |   842627 |    15350    136 |        5 |      270
541.81/541.96	c  541s |      20 |   962608 |   845727 |    15350    136 |        5 |      270
543.81/543.96	c  543s |      20 |   965509 |   848327 |    15350    137 |        5 |      270
545.91/546.02	c  545s |      20 |   969375 |   851827 |    15350    137 |        5 |      270
547.91/548.04	c  547s |      20 |   972496 |   854727 |    15350    137 |        5 |      270
549.91/550.09	c  549s |      20 |   975696 |   857727 |    15350    138 |        5 |      270
552.01/552.13	c  552s |      20 |   978786 |   860627 |    15350    138 |        5 |      270
554.10/554.20	c  554s |      20 |   981488 |   863127 |    15350    139 |        5 |      270
557.40/557.59	c  557s |      20 |   982136 |   863727 |    15350    139 |        5 |      270
559.50/559.63	c  559s |      20 |   984467 |   865627 |    15350    139 |        5 |      270
561.50/561.69	c  561s |      20 |   988556 |   869127 |    15350    139 |        5 |      270
563.61/563.72	c  563s |      20 |   992155 |   872127 |    15350    140 |        5 |      270
565.61/565.72	c  565s |      20 |   996277 |   875727 |    15350    140 |        5 |      270
567.62/567.75	c  567s |      20 |   999741 |   878827 |    15350    141 |        5 |      270
569.61/569.79	c  569s |      20 |  1003919 |   882527 |    15350    141 |        5 |      270
571.71/571.85	c  571s |      20 |  1006209 |   884527 |    15350    141 |        5 |      270
573.71/573.86	c  573s |      20 |  1009433 |   887327 |    15350    142 |        5 |      270
575.71/575.88	c  575s |      20 |  1013452 |   890827 |    15350    142 |        5 |      270
577.81/577.93	c  577s |      20 |  1017217 |   894127 |    15350    142 |        5 |      270
579.90/580.08	c  579s |      20 |  1020898 |   897427 |    15350    143 |        5 |      270
582.00/582.12	c  581s |      20 |  1024435 |   900627 |    15350    143 |        5 |      270
584.01/584.16	c  584s |      20 |  1027725 |   903627 |    15350    144 |        5 |      270
586.10/586.22	c  586s |      20 |  1030844 |   906527 |    15350    144 |        5 |      270
588.10/588.27	c  588s |      20 |  1033817 |   909127 |    15350    144 |        5 |      270
590.10/590.29	c  590s |      20 |  1036567 |   911627 |    15350    145 |        5 |      270
592.20/592.34	c  592s |      20 |  1039914 |   914627 |    15350    145 |        5 |      270
594.30/594.41	c  594s |      20 |  1042772 |   917227 |    15350    145 |        5 |      270
597.60/597.77	c  597s |      20 |  1046266 |   920327 |    15350    146 |        5 |      270
599.60/599.79	c  599s |      20 |  1050177 |   923627 |    15350    146 |        5 |      270
601.70/601.84	c  601s |      20 |  1053822 |   926827 |    15350    147 |        5 |      270
603.69/603.87	c  603s |      20 |  1057461 |   930027 |    15350    147 |        5 |      270
605.69/605.89	c  605s |      20 |  1060748 |   932927 |    15350    147 |        5 |      270
607.79/607.94	c  607s |      20 |  1064483 |   936227 |    15350    148 |        5 |      270
609.79/609.97	c  609s |      20 |  1066933 |   938427 |    15350    148 |        5 |      270
611.79/611.99	c  611s |      20 |  1069570 |   940727 |    15350    149 |        5 |      270
613.89/614.04	c  613s |      20 |  1073269 |   944027 |    15350    149 |        5 |      270
615.90/616.10	c  615s |      20 |  1076548 |   946927 |    15350    149 |        5 |      270
617.99/618.14	c  618s |      20 |  1079637 |   949727 |    15350    150 |        5 |      270
619.99/620.19	c  620s |      20 |  1083074 |   952927 |    15350    150 |        5 |      270
622.10/622.23	c  622s |      20 |  1086314 |   955827 |    15350    150 |        5 |      270
624.40/624.54	c  624s |      20 |  1086991 |   956427 |    15350    151 |        5 |      270
626.40/626.59	c  626s |      20 |  1090783 |   959927 |    15350    151 |        5 |      270
628.50/628.64	c  628s |      20 |  1094148 |   962927 |    15350    151 |        5 |      270
630.50/630.64	c  630s |      20 |  1097340 |   965827 |    15350    152 |        5 |      270
632.50/632.67	c  632s |      20 |  1100438 |   968727 |    15350    152 |        5 |      270
634.49/634.68	c  634s |      20 |  1103222 |   971327 |    15350    152 |        5 |      270
636.59/636.72	c  636s |      20 |  1105860 |   973627 |    15350    153 |        5 |      270
638.59/638.78	c  638s |      20 |  1109297 |   976727 |    15350    153 |        5 |      270
640.69/640.88	c  640s |      20 |  1112325 |   979427 |    15350    153 |        5 |      270
642.79/642.92	c  642s |      20 |  1115542 |   982327 |    15350    154 |        5 |      270
644.89/645.00	c  644s |      20 |  1118794 |   985227 |    15350    154 |        5 |      270
647.09/647.20	c  647s |      20 |  1121378 |   987527 |    15350    155 |        5 |      270
649.10/649.24	c  649s |      20 |  1124778 |   990527 |    15350    155 |        5 |      270
651.20/651.30	c  651s |      20 |  1127991 |   993427 |    16885    155 |        5 |      270
653.19/653.34	c  653s |      20 |  1130860 |   996027 |    16885    155 |        5 |      270
655.39/655.55	c  655s |      20 |  1133605 |   998527 |    16885    156 |        5 |      270
656.60/656.76	c  656s |      21 |  1135619 |  1000345 |    16885    156 |        5 |      270
658.59/658.78	c  658s |      21 |  1137521 |  1001945 |    16885    156 |        5 |      270
660.69/660.83	c  660s |      21 |  1141083 |  1004945 |    16885    156 |        5 |      270
662.69/662.87	c  662s |      21 |  1144816 |  1008245 |    16885    157 |        5 |      270
664.79/664.90	c  664s |      21 |  1148165 |  1011245 |    16885    157 |        5 |      270
666.79/666.95	c  666s |      21 |  1151104 |  1013845 |    16885    158 |        5 |      270
668.80/668.98	c  668s |      21 |  1153977 |  1016445 |    16885    158 |        5 |      270
670.90/671.02	c  670s |      21 |  1157027 |  1019245 |    16885    158 |        5 |      270
672.89/673.07	c  672s |      21 |  1159981 |  1021945 |    16885    158 |        5 |      270
674.99/675.12	c  674s |      21 |  1162783 |  1024445 |    16885    159 |        5 |      270
676.99/677.12	c  676s |      21 |  1165627 |  1027045 |    16885    159 |        5 |      270
678.99/679.19	c  679s |      21 |  1168427 |  1029545 |    16885    159 |        5 |      270
681.09/681.24	c  681s |      21 |  1170900 |  1031745 |    16885    160 |        5 |      270
683.09/683.29	c  683s |      21 |  1173939 |  1034545 |    16885    160 |        5 |      270
685.19/685.38	c  685s |      21 |  1176993 |  1037245 |    16885    160 |        5 |      270
687.29/687.46	c  687s |      21 |  1179035 |  1039045 |    16885    160 |        5 |      270
689.29/689.49	c  689s |      21 |  1182403 |  1041945 |    16885    161 |        5 |      270
691.38/691.50	c  691s |      21 |  1185718 |  1044845 |    16885    161 |        5 |      270
693.38/693.54	c  693s |      21 |  1188507 |  1047345 |    16885    161 |        5 |      270
695.38/695.56	c  695s |      21 |  1191428 |  1049945 |    16885    162 |        5 |      270
697.48/697.61	c  697s |      21 |  1194774 |  1052945 |    16885    162 |        5 |      270
699.49/699.65	c  699s |      21 |  1197910 |  1055745 |    16885    162 |        5 |      270
701.58/701.74	c  701s |      21 |  1200960 |  1058545 |    16885    163 |        5 |      270
703.58/703.79	c  703s |      21 |  1203878 |  1061245 |    16885    163 |        5 |      270
705.58/705.79	c  705s |      21 |  1206493 |  1063645 |    16885    163 |        5 |      270
707.68/707.82	c  707s |      21 |  1208929 |  1065745 |    16885    164 |        5 |      270
709.68/709.85	c  709s |      21 |  1212023 |  1068545 |    16885    164 |        5 |      270
712.08/712.20	c  712s |      21 |  1214375 |  1070645 |    16885    164 |        5 |      270
714.08/714.24	c  714s |      21 |  1217465 |  1073345 |    16885    164 |        5 |      270
716.08/716.25	c  716s |      21 |  1220477 |  1076045 |    16885    165 |        5 |      270
718.18/718.31	c  718s |      21 |  1223745 |  1079045 |    16885    165 |        5 |      270
720.18/720.32	c  720s |      21 |  1226421 |  1081445 |    16885    165 |        5 |      270
722.18/722.38	c  722s |      21 |  1229463 |  1084145 |    16885    166 |        5 |      270
724.18/724.39	c  724s |      21 |  1232680 |  1087045 |    16885    166 |        5 |      270
726.28/726.43	c  726s |      21 |  1235705 |  1089745 |    16885    166 |        5 |      270
728.28/728.46	c  728s |      21 |  1237820 |  1091545 |    16885    167 |        5 |      270
730.28/730.50	c  730s |      21 |  1241166 |  1094545 |    16885    167 |        5 |      270
732.37/732.54	c  732s |      21 |  1244280 |  1097345 |    16885    167 |        5 |      270
734.37/734.58	c  734s |      21 |  1247201 |  1099945 |    16885    168 |        5 |      270
736.47/736.62	c  736s |      21 |  1250361 |  1102845 |    16885    168 |        5 |      270
738.47/738.69	c  738s |      21 |  1253227 |  1105445 |    16885    168 |        5 |      270
740.57/740.70	c  740s |      21 |  1255871 |  1107845 |    16885    169 |        5 |      270
742.57/742.73	c  742s |      21 |  1258781 |  1110445 |    16885    169 |        5 |      270
744.58/744.76	c  744s |      21 |  1261781 |  1113145 |    16885    169 |        5 |      270
746.58/746.77	c  746s |      21 |  1263335 |  1114445 |    16885    169 |        5 |      270
748.58/748.77	c  748s |      21 |  1266285 |  1117045 |    16885    170 |        5 |      270
750.58/750.78	c  750s |      21 |  1269726 |  1120145 |    16885    170 |        5 |      270
752.68/752.85	c  752s |      21 |  1272953 |  1123045 |    16885    170 |        5 |      270
754.68/754.88	c  754s |      21 |  1275573 |  1125445 |    16885    171 |        5 |      270
756.78/756.93	c  756s |      21 |  1278982 |  1128445 |    16885    171 |        5 |      270
758.77/758.93	c  758s |      21 |  1281962 |  1131045 |    16885    171 |        5 |      270
760.77/760.97	c  760s |      21 |  1284512 |  1133345 |    16885    172 |        5 |      270
762.77/762.99	c  762s |      21 |  1287233 |  1135845 |    16885    172 |        5 |      270
764.87/765.08	c  764s |      21 |  1290172 |  1138445 |    16885    172 |        5 |      270
766.97/767.11	c  766s |      21 |  1292688 |  1140745 |    16885    172 |        5 |      270
768.97/769.12	c  768s |      21 |  1294588 |  1142445 |    16885    173 |        5 |      270
770.97/771.16	c  771s |      21 |  1297665 |  1145245 |    16885    173 |        5 |      270
772.96/773.18	c  773s |      21 |  1300494 |  1147845 |    16885    173 |        5 |      270
775.06/775.23	c  775s |      21 |  1302956 |  1150145 |    16885    173 |        5 |      270
777.16/777.30	c  777s |      21 |  1305891 |  1152845 |    16885    174 |        5 |      270
779.16/779.31	c  779s |      21 |  1308585 |  1155345 |    16885    174 |        5 |      270
781.16/781.34	c  781s |      21 |  1310363 |  1156945 |    16885    174 |        5 |      270
784.27/784.45	c  784s |      21 |  1312670 |  1159045 |    16885    175 |        5 |      270
786.26/786.49	c  786s |      21 |  1316187 |  1162145 |    16885    175 |        5 |      270
788.36/788.53	c  788s |      21 |  1319126 |  1164745 |    16885    175 |        5 |      270
790.45/790.61	c  790s |      21 |  1321785 |  1167145 |    16885    175 |        5 |      270
792.45/792.61	c  792s |      21 |  1324927 |  1169845 |    16885    176 |        5 |      270
794.45/794.62	c  794s |      21 |  1328025 |  1172545 |    16885    176 |        5 |      270
796.45/796.63	c  796s |      21 |  1331002 |  1175145 |    16885    176 |        5 |      270
798.46/798.65	c  798s |      21 |  1333899 |  1177645 |    16885    177 |        5 |      270
800.45/800.69	c  800s |      21 |  1337434 |  1180745 |    16885    177 |        5 |      270
802.55/802.73	c  802s |      21 |  1340415 |  1183445 |    16885    177 |        5 |      270
804.55/804.78	c  804s |      21 |  1343199 |  1186045 |    16885    178 |        5 |      270
806.55/806.79	c  806s |      21 |  1346009 |  1188645 |    16885    178 |        5 |      270
808.74/808.90	c  808s |      21 |  1348448 |  1190845 |    16885    178 |        5 |      270
810.74/810.97	c  810s |      21 |  1350988 |  1193145 |    16885    178 |        5 |      270
812.75/812.99	c  812s |      21 |  1353693 |  1195645 |    16885    179 |        5 |      270
814.84/815.03	c  814s |      21 |  1356713 |  1198445 |    16885    179 |        5 |      270
816.94/817.10	c  816s |      21 |  1359414 |  1200945 |    16885    179 |        5 |      270
818.94/819.16	c  819s |      21 |  1362320 |  1203645 |    16885    180 |        5 |      270
820.94/821.17	c  821s |      21 |  1365089 |  1206245 |    16885    180 |        5 |      270
822.94/823.18	c  823s |      21 |  1367490 |  1208445 |    16885    180 |        5 |      270
825.24/825.40	c  825s |      21 |  1369936 |  1210645 |    16885    181 |        5 |      270
827.24/827.47	c  827s |      21 |  1373289 |  1213645 |    16885    181 |        5 |      270
829.24/829.49	c  829s |      21 |  1376271 |  1216345 |    16885    181 |        5 |      270
831.54/831.79	c  831s |      21 |  1378194 |  1218145 |    16885    181 |        5 |      270
833.64/833.82	c  833s |      21 |  1381511 |  1221145 |    16885    182 |        5 |      270
835.63/835.84	c  835s |      21 |  1384291 |  1223645 |    16885    182 |        5 |      270
837.73/837.90	c  837s |      21 |  1387065 |  1226245 |    16885    182 |        5 |      270
839.73/839.90	c  839s |      21 |  1389266 |  1228245 |    16885    183 |        5 |      270
841.73/841.96	c  841s |      21 |  1392459 |  1231145 |    16885    183 |        5 |      270
843.83/844.01	c  843s |      21 |  1395054 |  1233445 |    16885    183 |        5 |      270
845.84/846.01	c  845s |      21 |  1397311 |  1235545 |    16885    183 |        5 |      270
847.83/848.06	c  847s |      21 |  1400010 |  1238045 |    16885    184 |        5 |      270
849.93/850.12	c  850s |      21 |  1402839 |  1240645 |    16885    184 |        5 |      270
852.03/852.22	c  852s |      21 |  1405336 |  1242945 |    16885    184 |        5 |      270
854.03/854.27	c  854s |      21 |  1407835 |  1245245 |    16885    185 |        5 |      270
856.02/856.27	c  856s |      21 |  1410972 |  1248145 |    16885    185 |        5 |      270
858.12/858.33	c  858s |      21 |  1413644 |  1250645 |    16885    185 |        5 |      270
860.12/860.36	c  860s |      21 |  1415389 |  1252245 |    16885    185 |        5 |      270
862.12/862.39	c  862s |      21 |  1417929 |  1254545 |    16885    186 |        5 |      270
864.22/864.44	c  864s |      21 |  1420854 |  1257245 |    16885    186 |        5 |      270
866.32/866.52	c  866s |      21 |  1423626 |  1259745 |    16885    186 |        5 |      270
868.32/868.52	c  868s |      21 |  1426086 |  1261945 |    16885    187 |        5 |      270
870.32/870.58	c  870s |      21 |  1429312 |  1264845 |    16885    187 |        5 |      270
872.42/872.65	c  872s |      21 |  1432060 |  1267345 |    16885    187 |        5 |      270
874.42/874.69	c  874s |      21 |  1434742 |  1269645 |    16885    187 |        5 |      270
876.52/876.77	c  876s |      21 |  1438138 |  1272645 |    16885    188 |        5 |      270
878.52/878.78	c  878s |      21 |  1441084 |  1275345 |    16885    188 |        5 |      270
880.61/880.86	c  880s |      21 |  1443753 |  1277745 |    16885    188 |        5 |      270
882.61/882.88	c  882s |      21 |  1446691 |  1280445 |    16885    189 |        5 |      270
884.71/884.94	c  884s |      21 |  1449832 |  1283345 |    16885    189 |        5 |      270
886.71/886.98	c  886s |      21 |  1452530 |  1285845 |    16885    189 |        5 |      270
888.81/889.02	c  888s |      21 |  1454885 |  1288045 |    16885    190 |        5 |      270
890.82/891.05	c  890s |      21 |  1457710 |  1290645 |    16885    190 |        5 |      270
892.81/893.05	c  892s |      21 |  1460400 |  1293145 |    16885    190 |        5 |      270
894.91/895.15	c  895s |      21 |  1462536 |  1295145 |    16885    190 |        5 |      270
897.11/897.30	c  897s |      21 |  1465105 |  1297445 |    16885    191 |        5 |      270
899.11/899.35	c  899s |      21 |  1467906 |  1300045 |    16885    191 |        5 |      270
901.10/901.36	c  901s |      21 |  1470253 |  1302245 |    16885    191 |        5 |      270
903.20/903.48	c  903s |      21 |  1472661 |  1304445 |    16885    192 |        5 |      270
905.30/905.54	c  905s |      21 |  1475667 |  1307245 |    16885    192 |        5 |      270
907.31/907.57	c  907s |      21 |  1478233 |  1309645 |    16885    192 |        5 |      270
909.40/909.63	c  909s |      21 |  1480063 |  1311345 |    16885    192 |        5 |      270
911.60/911.89	c  911s |      21 |  1482551 |  1313545 |    16885    193 |        5 |      270
913.60/913.89	c  913s |      21 |  1485659 |  1316345 |    16885    193 |        5 |      270
915.69/915.95	c  915s |      21 |  1488731 |  1319145 |    16885    193 |        5 |      270
917.89/918.11	c  917s |      21 |  1491327 |  1321545 |    16885    194 |        5 |      270
919.89/920.16	c  920s |      21 |  1494755 |  1324545 |    16885    194 |        5 |      270
921.99/922.20	c  922s |      21 |  1497218 |  1326745 |    16885    194 |        5 |      270
923.99/924.26	c  924s |      21 |  1499709 |  1329045 |    16885    194 |        5 |      270
926.00/926.29	c  926s |      21 |  1501833 |  1330945 |    16885    195 |        5 |      270
928.09/928.36	c  928s |      21 |  1505009 |  1333845 |    16885    195 |        5 |      270
930.18/930.40	c  930s |      21 |  1507767 |  1336345 |    16885    195 |        5 |      270
932.28/932.51	c  932s |      21 |  1510175 |  1338545 |    16885    196 |        5 |      270
934.28/934.56	c  934s |      21 |  1513409 |  1341545 |    16885    196 |        5 |      270
936.68/936.97	c  936s |      21 |  1515181 |  1343145 |    16885    196 |        5 |      270
938.78/939.01	c  938s |      21 |  1517505 |  1345145 |    16885    196 |        5 |      270
940.78/941.02	c  940s |      21 |  1520787 |  1347945 |    16885    197 |        5 |      270
942.78/943.03	c  942s |      21 |  1524593 |  1351245 |    16885    197 |        5 |      270
944.79/945.07	c  944s |      21 |  1527838 |  1354045 |    16885    197 |        5 |      270
946.78/947.10	c  946s |      21 |  1530975 |  1356845 |    16885    198 |        5 |      270
948.88/949.16	c  949s |      21 |  1534370 |  1359845 |    16885    198 |        5 |      270
950.97/951.23	c  951s |      21 |  1537608 |  1362745 |    16885    198 |        5 |      270
953.07/953.33	c  953s |      21 |  1539671 |  1364545 |    16885    199 |        5 |      270
955.07/955.35	c  955s |      21 |  1543574 |  1367945 |    16885    199 |        5 |      270
957.17/957.40	c  957s |      21 |  1546710 |  1370745 |    16885    199 |        5 |      270
959.17/959.45	c  959s |      21 |  1549610 |  1373345 |    16885    200 |        5 |      270
961.18/961.49	c  961s |      21 |  1553216 |  1376545 |    16885    200 |        5 |      270
963.28/963.50	c  963s |      21 |  1556009 |  1379045 |    16885    200 |        5 |      270
965.28/965.52	c  965s |      21 |  1558761 |  1381545 |    16885    201 |        5 |      270
967.28/967.57	c  967s |      21 |  1562029 |  1384445 |    16885    201 |        5 |      270
969.47/969.75	c  969s |      21 |  1565065 |  1387245 |    16885    201 |        5 |      270
971.57/971.80	c  971s |      21 |  1567875 |  1389645 |    16885    202 |        5 |      270
973.57/973.82	c  973s |      21 |  1571235 |  1392645 |    16885    202 |        5 |      270
975.58/975.86	c  975s |      21 |  1573144 |  1394245 |    16885    202 |        5 |      270
977.68/977.93	c  977s |      21 |  1576648 |  1397045 |    16885    202 |        5 |      270
979.67/979.97	c  979s |      21 |  1580281 |  1400045 |    16885    203 |        5 |      270
981.77/982.02	c  981s |      21 |  1583981 |  1403245 |    16885    203 |        5 |      270
983.77/984.04	c  983s |      21 |  1587406 |  1406245 |    16885    203 |        5 |      270
985.77/986.04	c  985s |      21 |  1591055 |  1409445 |    16885    204 |        5 |      270
987.76/988.05	c  987s |      21 |  1594564 |  1412545 |    16885    204 |        5 |      270
989.87/990.11	c  989s |      21 |  1597645 |  1415345 |    16885    205 |        5 |      270
991.86/992.12	c  992s |      21 |  1601935 |  1419045 |    16885    205 |        5 |      270
994.16/994.46	c  994s |      21 |  1603684 |  1420645 |    16885    205 |        5 |      270
996.26/996.52	c  996s |      21 |  1607053 |  1423445 |    16885    205 |        5 |      270
998.26/998.58	c  998s |      21 |  1610825 |  1426745 |    16885    206 |        5 |      270
1000.25/1000.59	c 1000s |      21 |  1614183 |  1429745 |    16885    206 |        5 |      270
1002.35/1002.64	c 1002s |      21 |  1617437 |  1432545 |    16885    207 |        5 |      270
1004.35/1004.69	c 1004s |      21 |  1620942 |  1435745 |    16885    207 |        5 |      270
1006.45/1006.76	c 1006s |      21 |  1623642 |  1438245 |    16885    207 |        5 |      270
1008.56/1008.81	c 1008s |      21 |  1626495 |  1440845 |    16885    207 |        5 |      270
1010.55/1010.85	c 1010s |      21 |  1629721 |  1443845 |    16885    208 |        5 |      270
1012.55/1012.86	c 1012s |      21 |  1632729 |  1446545 |    16885    208 |        5 |      270
1014.65/1014.92	c 1014s |      21 |  1635518 |  1449045 |    16885    208 |        5 |      270
1016.65/1016.94	c 1016s |      21 |  1637939 |  1451245 |    16885    209 |        5 |      270
1018.65/1018.96	c 1018s |      21 |  1641067 |  1453945 |    16885    209 |        5 |      270
1020.65/1020.97	c 1020s |      21 |  1643677 |  1456345 |    16885    209 |        5 |      270
1022.75/1023.03	c 1022s |      21 |  1645923 |  1458345 |    16885    210 |        5 |      270
1024.96/1025.21	c 1025s |      21 |  1648214 |  1460445 |    16885    210 |        5 |      270
1027.05/1027.39	c 1027s |      21 |  1651492 |  1463345 |    16885    210 |        5 |      270
1029.15/1029.40	c 1029s |      21 |  1654657 |  1466145 |    16885    210 |        5 |      270
1031.15/1031.43	c 1031s |      21 |  1657780 |  1468945 |    16885    211 |        5 |      270
1033.15/1033.46	c 1033s |      21 |  1661019 |  1471745 |    16885    211 |        5 |      270
1035.15/1035.49	c 1035s |      21 |  1663969 |  1474345 |    16885    211 |        5 |      270
1037.15/1037.49	c 1037s |      21 |  1667153 |  1477145 |    16885    212 |        5 |      270
1039.25/1039.53	c 1039s |      21 |  1670326 |  1480045 |    16885    212 |        5 |      270
1041.24/1041.57	c 1041s |      21 |  1673051 |  1482545 |    16885    212 |        5 |      270
1043.24/1043.59	c 1043s |      21 |  1675536 |  1484845 |    16885    213 |        5 |      270
1045.73/1046.02	c 1045s |      21 |  1677656 |  1486745 |    16885    213 |        5 |      270
1047.73/1048.02	c 1047s |      21 |  1680796 |  1489545 |    16885    213 |        5 |      270
1049.73/1050.06	c 1049s |      21 |  1683245 |  1491845 |    18574    213 |        5 |      270
1051.83/1052.11	c 1051s |      21 |  1685650 |  1494045 |    18574    214 |        5 |      270
1053.83/1054.15	c 1054s |      21 |  1688453 |  1496545 |    18574    214 |        5 |      270
1055.84/1056.18	c 1056s |      21 |  1691402 |  1499245 |    18574    214 |        5 |      270
1056.94/1057.28	c 1057s |      22 |  1692890 |  1500622 |    18574    214 |        5 |      270
1059.04/1059.36	c 1059s |      22 |  1694910 |  1502322 |    18574    214 |        5 |      270
1061.03/1061.38	c 1061s |      22 |  1697472 |  1504522 |    18574    215 |        5 |      270
1063.13/1063.40	c 1063s |      22 |  1701070 |  1507622 |    18574    215 |        5 |      270
1065.13/1065.48	c 1065s |      22 |  1704309 |  1510522 |    18574    215 |        5 |      270
1067.23/1067.50	c 1067s |      22 |  1706724 |  1512622 |    18574    216 |        5 |      270
1069.23/1069.54	c 1069s |      22 |  1710335 |  1515722 |    18574    216 |        5 |      270
1071.23/1071.58	c 1071s |      22 |  1713821 |  1518822 |    18574    216 |        5 |      270
1073.33/1073.65	c 1073s |      22 |  1716918 |  1521622 |    18574    216 |        5 |      270
1075.42/1075.70	c 1075s |      22 |  1720344 |  1524622 |    18574    217 |        5 |      270
1077.42/1077.75	c 1077s |      22 |  1723667 |  1527622 |    18574    217 |        5 |      270
1079.42/1079.77	c 1079s |      22 |  1726462 |  1530222 |    18574    217 |        5 |      270
1083.61/1083.97	c 1083s |      22 |  1727860 |  1531522 |    18574    218 |        5 |      270
1085.71/1086.01	c 1085s |      22 |  1731833 |  1535022 |    18574    218 |        5 |      270
1087.72/1088.04	c 1087s |      22 |  1735070 |  1537922 |    18574    218 |        5 |      270
1089.71/1090.07	c 1089s |      22 |  1738054 |  1540522 |    18574    218 |        5 |      270
1091.71/1092.09	c 1091s |      22 |  1741242 |  1543322 |    18574    219 |        5 |      270
1093.81/1094.18	c 1094s |      22 |  1744406 |  1546222 |    18574    219 |        5 |      270
1095.91/1096.26	c 1096s |      22 |  1747281 |  1548822 |    18574    219 |        5 |      270
1097.91/1098.29	c 1098s |      22 |  1749990 |  1551222 |    18574    220 |        5 |      270
1100.20/1100.52	c 1100s |      22 |  1752093 |  1553122 |    18574    220 |        5 |      270
1102.21/1102.59	c 1102s |      22 |  1755298 |  1555922 |    18574    220 |        5 |      270
1104.31/1104.65	c 1104s |      22 |  1758597 |  1558822 |    18574    220 |        5 |      270
1106.32/1106.70	c 1106s |      22 |  1761666 |  1561622 |    18574    221 |        5 |      270
1108.41/1108.73	c 1108s |      22 |  1764534 |  1564222 |    18574    221 |        5 |      270
1110.41/1110.73	c 1110s |      22 |  1767382 |  1566722 |    18574    221 |        5 |      270
1112.40/1112.77	c 1112s |      22 |  1770036 |  1569122 |    18574    222 |        5 |      270
1114.40/1114.78	c 1114s |      22 |  1772815 |  1571722 |    18574    222 |        5 |      270
1116.40/1116.79	c 1116s |      22 |  1775706 |  1574322 |    18574    222 |        5 |      270
1118.51/1118.84	c 1118s |      22 |  1778581 |  1576922 |    18574    222 |        5 |      270
1120.50/1120.89	c 1120s |      22 |  1780975 |  1579122 |    18574    223 |        5 |      270
1122.50/1122.89	c 1122s |      22 |  1782687 |  1580622 |    18574    223 |        5 |      270
1124.60/1124.94	c 1124s |      22 |  1785652 |  1583322 |    18574    223 |        5 |      270
1126.59/1126.94	c 1126s |      22 |  1788353 |  1585822 |    18574    223 |        5 |      270
1128.69/1129.00	c 1128s |      22 |  1790918 |  1588222 |    18574    224 |        5 |      270
1130.69/1131.01	c 1130s |      22 |  1793701 |  1590822 |    18574    224 |        5 |      270
1132.80/1133.11	c 1132s |      22 |  1796134 |  1593122 |    18574    224 |        5 |      270
1134.90/1135.21	c 1135s |      22 |  1798694 |  1595522 |    18574    224 |        5 |      270
1136.89/1137.25	c 1137s |      22 |  1801107 |  1597722 |    18574    225 |        5 |      270
1138.89/1139.25	c 1139s |      22 |  1804028 |  1600422 |    18574    225 |        5 |      270
1142.98/1143.31	c 1143s |      22 |  1804250 |  1600622 |    18574    225 |        5 |      270
1144.98/1145.36	c 1145s |      22 |  1805198 |  1601422 |    18574    225 |        5 |      270
1146.99/1147.39	c 1147s |      22 |  1809234 |  1604822 |    18574    225 |        5 |      270
1149.08/1149.45	c 1149s |      22 |  1812376 |  1607622 |    18574    226 |        5 |      270
1151.18/1151.50	c 1151s |      22 |  1815698 |  1610622 |    18574    226 |        5 |      270
1153.18/1153.52	c 1153s |      22 |  1818822 |  1613422 |    18574    226 |        5 |      270
1155.18/1155.56	c 1155s |      22 |  1821673 |  1615922 |    18574    226 |        5 |      270
1157.18/1157.57	c 1157s |      22 |  1823764 |  1617722 |    18574    227 |        5 |      270
1159.28/1159.62	c 1159s |      22 |  1826716 |  1620322 |    18574    227 |        5 |      270
1161.28/1161.65	c 1161s |      22 |  1829526 |  1622822 |    18574    227 |        5 |      270
1163.38/1163.73	c 1163s |      22 |  1832275 |  1625222 |    18574    227 |        5 |      270
1165.48/1165.83	c 1165s |      22 |  1835380 |  1628022 |    18574    228 |        5 |      270
1167.48/1167.88	c 1167s |      22 |  1838538 |  1630822 |    18574    228 |        5 |      270
1169.57/1169.96	c 1169s |      22 |  1841167 |  1633222 |    18574    228 |        5 |      270
1173.17/1173.55	c 1173s |      22 |  1843481 |  1635322 |    18574    229 |        5 |      270
1175.17/1175.59	c 1175s |      22 |  1847095 |  1638522 |    18574    229 |        5 |      270
1177.27/1177.65	c 1177s |      22 |  1850148 |  1641222 |    18574    229 |        5 |      270
1179.37/1179.72	c 1179s |      22 |  1852708 |  1643522 |    18574    229 |        5 |      270
1181.46/1181.83	c 1181s |      22 |  1855541 |  1646022 |    18574    230 |        5 |      270
1183.46/1183.89	c 1183s |      22 |  1858610 |  1648822 |    18574    230 |        5 |      270
1185.47/1185.90	c 1185s |      22 |  1861351 |  1651322 |    18574    230 |        5 |      270
1187.56/1187.97	c 1187s |      22 |  1863729 |  1653522 |    18574    231 |        5 |      270
1189.56/1189.98	c 1189s |      22 |  1866509 |  1656122 |    18574    231 |        5 |      270
1191.66/1192.09	c 1191s |      22 |  1868137 |  1657622 |    18574    231 |        5 |      270
1193.76/1194.12	c 1193s |      22 |  1870997 |  1660222 |    18574    231 |        5 |      270
1195.86/1196.21	c 1196s |      22 |  1873385 |  1662422 |    18574    231 |        5 |      270
1197.86/1198.22	c 1198s |      22 |  1875945 |  1664722 |    18574    232 |        5 |      270
1199.95/1200.30	c 1200s |      22 |  1878415 |  1667022 |    18574    232 |        5 |      270
1201.96/1202.36	c 1202s |      22 |  1880672 |  1669122 |    18574    232 |        5 |      270
1203.95/1204.36	c 1204s |      22 |  1882688 |  1671022 |    18574    232 |        5 |      270
1205.95/1206.38	c 1206s |      22 |  1884613 |  1672822 |    18574    233 |        5 |      270
1207.95/1208.39	c 1208s |      22 |  1886872 |  1674822 |    18574    233 |        5 |      270
1210.05/1210.42	c 1210s |      22 |  1889779 |  1677422 |    18574    233 |        5 |      270
1212.05/1212.43	c 1212s |      22 |  1892304 |  1679722 |    18574    233 |        5 |      270
1214.16/1214.52	c 1214s |      22 |  1894510 |  1681722 |    18574    234 |        5 |      270
1216.15/1216.55	c 1216s |      22 |  1897386 |  1684322 |    18574    234 |        5 |      270
1218.46/1218.84	c 1218s |      22 |  1900127 |  1686822 |    18574    234 |        5 |      270
1220.45/1220.89	c 1220s |      22 |  1902270 |  1688722 |    18574    234 |        5 |      270
1222.55/1222.90	c 1222s |      22 |  1904856 |  1691022 |    18574    235 |        5 |      270
1224.55/1224.97	c 1224s |      22 |  1908194 |  1694022 |    18574    235 |        5 |      270
1226.65/1227.04	c 1226s |      22 |  1911057 |  1696622 |    18574    235 |        5 |      270
1228.65/1229.05	c 1228s |      22 |  1913573 |  1698922 |    18574    235 |        5 |      270
1230.74/1231.10	c 1230s |      22 |  1915986 |  1701122 |    18574    236 |        5 |      270
1232.64/1233.10	c 1232s |      22 |  1919161 |  1704022 |    18574    236 |        5 |      270
1234.74/1235.15	c 1235s |      22 |  1921799 |  1706422 |    18574    236 |        5 |      270
1236.74/1237.16	c 1237s |      22 |  1924289 |  1708622 |    18574    236 |        5 |      270
1238.74/1239.18	c 1239s |      22 |  1926478 |  1710622 |    18574    237 |        5 |      270
1240.84/1241.23	c 1241s |      22 |  1928959 |  1712922 |    18574    237 |        5 |      270
1242.84/1243.27	c 1243s |      22 |  1930378 |  1714122 |    18574    237 |        5 |      270
1244.95/1245.34	c 1245s |      22 |  1932997 |  1716422 |    18574    237 |        5 |      270
1247.05/1247.42	c 1247s |      22 |  1935334 |  1718522 |    18574    237 |        5 |      270
1249.04/1249.46	c 1249s |      22 |  1938059 |  1720922 |    18574    238 |        5 |      270
1251.14/1251.51	c 1251s |      22 |  1940903 |  1723522 |    18574    238 |        5 |      270
1253.14/1253.53	c 1253s |      22 |  1943100 |  1725422 |    18574    238 |        5 |      270
1255.14/1255.54	c 1255s |      22 |  1945329 |  1727422 |    18574    238 |        5 |      270
1257.24/1257.60	c 1257s |      22 |  1947471 |  1729322 |    18574    239 |        5 |      270
1259.24/1259.66	c 1259s |      22 |  1950678 |  1732222 |    18574    239 |        5 |      270
1261.34/1261.71	c 1261s |      22 |  1953436 |  1734722 |    18574    239 |        5 |      270
1263.43/1263.88	c 1263s |      22 |  1955058 |  1736222 |    18574    239 |        5 |      270
1265.53/1265.92	c 1265s |      22 |  1957243 |  1738222 |    18574    240 |        5 |      270
1267.53/1267.95	c 1267s |      22 |  1960119 |  1740822 |    18574    240 |        5 |      270
1269.53/1269.97	c 1269s |      22 |  1962775 |  1743222 |    18574    240 |        5 |      270
1271.62/1272.01	c 1271s |      22 |  1965139 |  1745422 |    18574    240 |        5 |      270
1273.62/1274.07	c 1273s |      22 |  1967267 |  1747422 |    18574    241 |        5 |      270
1275.63/1276.10	c 1275s |      22 |  1970289 |  1750122 |    18574    241 |        5 |      270
1277.72/1278.17	c 1278s |      22 |  1972916 |  1752522 |    18574    241 |        5 |      270
1279.82/1280.21	c 1280s |      22 |  1975508 |  1754922 |    18574    241 |        5 |      270
1281.82/1282.26	c 1282s |      22 |  1977644 |  1756922 |    18574    242 |        5 |      270
1283.92/1284.30	c 1284s |      22 |  1980143 |  1759122 |    18574    242 |        5 |      270
1285.92/1286.30	c 1286s |      22 |  1982956 |  1761722 |    18574    242 |        5 |      270
1287.92/1288.40	c 1288s |      22 |  1985110 |  1763722 |    18574    242 |        5 |      270
1290.11/1290.51	c 1290s |      22 |  1987101 |  1765522 |    18574    242 |        5 |      270
1292.91/1293.36	c 1293s |      22 |  1989295 |  1767522 |    18574    243 |        5 |      270
1295.01/1295.44	c 1295s |      22 |  1991960 |  1769922 |    18574    243 |        5 |      270
1297.21/1297.63	c 1297s |      22 |  1994360 |  1772122 |    18574    243 |        5 |      270
1299.21/1299.64	c 1299s |      22 |  1996785 |  1774322 |    18574    243 |        5 |      270
1301.20/1301.67	c 1301s |      22 |  1998889 |  1776222 |    18574    244 |        5 |      270
1303.21/1303.69	c 1303s |      22 |  2002055 |  1779122 |    18574    244 |        5 |      270
1305.31/1305.74	c 1305s |      22 |  2004860 |  1781722 |    18574    244 |        5 |      270
1307.40/1307.83	c 1307s |      22 |  2007214 |  1783922 |    18574    244 |        5 |      270
1309.40/1309.84	c 1309s |      22 |  2009425 |  1785922 |    18574    245 |        5 |      270
1311.40/1311.89	c 1311s |      22 |  2012234 |  1788522 |    18574    245 |        5 |      270
1313.49/1313.91	c 1313s |      22 |  2014831 |  1790922 |    18574    245 |        5 |      270
1315.49/1315.97	c 1315s |      22 |  2017328 |  1793222 |    18574    245 |        5 |      270
1317.59/1318.01	c 1317s |      22 |  2019801 |  1795522 |    18574    246 |        5 |      270
1320.71/1321.15	c 1321s |      22 |  2021621 |  1797222 |    18574    246 |        5 |      270
1322.70/1323.16	c 1323s |      22 |  2023772 |  1799122 |    18574    246 |        5 |      270
1324.70/1325.18	c 1325s |      22 |  2026765 |  1801722 |    18574    246 |        5 |      270
1327.00/1327.49	c 1327s |      22 |  2029084 |  1803822 |    18574    247 |        5 |      270
1329.10/1329.55	c 1329s |      22 |  2032536 |  1806922 |    18574    247 |        5 |      270
1331.19/1331.61	c 1331s |      22 |  2035509 |  1809622 |    18574    247 |        5 |      270
1333.19/1333.67	c 1333s |      22 |  2038154 |  1812022 |    18574    247 |        5 |      270
1335.29/1335.79	c 1335s |      22 |  2039667 |  1813422 |    18574    248 |        5 |      270
1337.39/1337.86	c 1337s |      22 |  2042966 |  1816422 |    18574    248 |        5 |      270
1339.50/1339.91	c 1339s |      22 |  2045951 |  1819122 |    18574    248 |        5 |      270
1341.49/1341.92	c 1341s |      22 |  2048497 |  1821422 |    18574    248 |        5 |      270
1343.49/1343.93	c 1343s |      22 |  2051056 |  1823722 |    18574    249 |        5 |      270
1345.49/1345.96	c 1345s |      22 |  2053477 |  1825922 |    18574    249 |        5 |      270
1347.59/1348.01	c 1347s |      22 |  2056012 |  1828222 |    18574    249 |        5 |      270
1349.58/1350.05	c 1349s |      22 |  2058420 |  1830322 |    18574    249 |        5 |      270
1351.68/1352.15	c 1352s |      22 |  2060188 |  1831922 |    18574    250 |        5 |      270
1353.69/1354.16	c 1354s |      22 |  2062982 |  1834422 |    18574    250 |        5 |      270
1356.28/1356.70	c 1356s |      22 |  2065621 |  1836822 |    18574    250 |        5 |      270
1358.28/1358.73	c 1358s |      22 |  2068356 |  1839322 |    18574    250 |        5 |      270
1360.29/1360.80	c 1360s |      22 |  2070520 |  1841322 |    18574    251 |        5 |      270
1362.38/1362.85	c 1362s |      22 |  2073458 |  1844022 |    18574    251 |        5 |      270
1364.48/1364.90	c 1364s |      22 |  2076053 |  1846422 |    18574    251 |        5 |      270
1366.48/1366.97	c 1366s |      22 |  2078311 |  1848522 |    18574    251 |        5 |      270
1368.58/1369.08	c 1368s |      22 |  2080340 |  1850422 |    18574    251 |        5 |      270
1370.67/1371.12	c 1370s |      22 |  2081688 |  1851622 |    18574    252 |        5 |      270
1372.77/1373.20	c 1373s |      22 |  2084832 |  1854422 |    18574    252 |        5 |      270
1374.77/1375.22	c 1375s |      22 |  2087618 |  1856922 |    18574    252 |        5 |      270
1376.78/1377.25	c 1377s |      22 |  2089918 |  1859022 |    18574    252 |        5 |      270
1378.77/1379.28	c 1379s |      22 |  2092107 |  1861022 |    18574    253 |        5 |      270
1380.77/1381.29	c 1381s |      22 |  2094840 |  1863522 |    18574    253 |        5 |      270
1382.87/1383.36	c 1383s |      22 |  2096721 |  1865222 |    18574    253 |        5 |      270
1384.87/1385.37	c 1385s |      22 |  2099256 |  1867522 |    18574    253 |        5 |      270
1386.97/1387.42	c 1387s |      22 |  2101483 |  1869522 |    18574    254 |        5 |      270
1388.98/1389.45	c 1389s |      22 |  2104218 |  1872022 |    18574    254 |        5 |      270
1390.97/1391.47	c 1391s |      22 |  2106708 |  1874322 |    18574    254 |        5 |      270
1393.07/1393.54	c 1393s |      22 |  2109201 |  1876622 |    18574    254 |        5 |      270
1395.07/1395.54	c 1395s |      22 |  2111428 |  1878722 |    18574    254 |        5 |      270
1397.08/1397.57	c 1397s |      22 |  2112943 |  1880122 |    18574    255 |        5 |      270
1399.08/1399.59	c 1399s |      22 |  2115543 |  1882522 |    18574    255 |        5 |      270
1401.18/1401.63	c 1401s |      22 |  2118115 |  1884922 |    18574    255 |        5 |      270
1403.18/1403.69	c 1403s |      22 |  2120360 |  1887022 |    18574    255 |        5 |      270
1405.28/1405.73	c 1405s |      22 |  2122611 |  1889122 |    18574    256 |        5 |      270
1407.28/1407.76	c 1407s |      22 |  2125144 |  1891422 |    18574    256 |        5 |      270
1410.17/1410.67	c 1410s |      22 |  2126637 |  1892822 |    18574    256 |        5 |      270
1412.27/1412.73	c 1412s |      22 |  2128244 |  1894222 |    18574    256 |        5 |      270
1414.28/1414.74	c 1414s |      22 |  2130979 |  1896722 |    18574    256 |        5 |      270
1416.27/1416.80	c 1416s |      22 |  2133777 |  1899222 |    18574    257 |        5 |      270
1418.37/1418.86	c 1418s |      22 |  2136562 |  1901722 |    18574    257 |        5 |      270
1420.47/1420.92	c 1420s |      22 |  2139069 |  1904022 |    18574    257 |        5 |      270
1422.46/1422.92	c 1422s |      22 |  2141321 |  1906122 |    18574    257 |        5 |      270
1424.46/1424.95	c 1424s |      22 |  2143807 |  1908422 |    18574    258 |        5 |      270
1426.46/1426.98	c 1426s |      22 |  2145777 |  1910222 |    18574    258 |        5 |      270
1428.57/1429.04	c 1428s |      22 |  2148260 |  1912522 |    18574    258 |        5 |      270
1430.56/1431.07	c 1430s |      22 |  2150432 |  1914522 |    18574    258 |        5 |      270
1432.87/1433.30	c 1433s |      22 |  2152480 |  1916422 |    18574    259 |        5 |      270
1434.86/1435.31	c 1435s |      22 |  2154863 |  1918622 |    18574    259 |        5 |      270
1436.96/1437.40	c 1437s |      22 |  2157038 |  1920622 |    18574    259 |        5 |      270
1438.96/1439.46	c 1439s |      22 |  2158963 |  1922422 |    18574    259 |        5 |      270
1441.06/1441.50	c 1441s |      22 |  2161009 |  1924322 |    18574    259 |        5 |      270
1443.06/1443.59	c 1443s |      22 |  2162834 |  1926022 |    18574    260 |        5 |      270
1445.45/1445.98	c 1445s |      22 |  2165378 |  1928422 |    18574    260 |        5 |      270
1447.56/1448.03	c 1447s |      22 |  2166293 |  1929222 |    18574    260 |        5 |      270
1449.56/1450.08	c 1449s |      22 |  2168726 |  1931422 |    18574    260 |        5 |      270
1451.67/1452.16	c 1452s |      22 |  2171194 |  1933622 |    18574    260 |        5 |      270
1453.77/1454.21	c 1454s |      22 |  2173044 |  1935322 |    18574    261 |        5 |      270
1455.76/1456.28	c 1456s |      22 |  2176009 |  1938022 |    18574    261 |        5 |      270
1457.86/1458.35	c 1458s |      22 |  2178427 |  1940222 |    18574    261 |        5 |      270
1459.96/1460.44	c 1460s |      22 |  2180921 |  1942522 |    18574    261 |        5 |      270
1462.16/1462.68	c 1462s |      22 |  2183198 |  1944622 |    18574    262 |        5 |      270
1464.26/1464.75	c 1464s |      22 |  2185762 |  1947022 |    18574    262 |        5 |      270
1466.26/1466.79	c 1466s |      22 |  2187988 |  1949122 |    18574    262 |        5 |      270
1468.26/1468.79	c 1468s |      22 |  2189921 |  1950922 |    18574    262 |        5 |      270
1470.37/1470.83	c 1470s |      22 |  2192185 |  1953022 |    18574    262 |        5 |      270
1472.36/1472.86	c 1472s |      22 |  2194343 |  1955022 |    18574    263 |        5 |      270
1474.36/1474.88	c 1474s |      22 |  2196903 |  1957422 |    18574    263 |        5 |      270
1476.46/1476.94	c 1476s |      22 |  2198018 |  1958422 |    18574    263 |        5 |      270
1478.56/1479.01	c 1478s |      22 |  2200533 |  1960722 |    18574    263 |        5 |      270
1480.66/1481.11	c 1480s |      22 |  2202785 |  1962822 |    18574    263 |        5 |      270
1482.65/1483.15	c 1483s |      22 |  2205119 |  1965022 |    18574    264 |        5 |      270
1484.85/1485.34	c 1485s |      22 |  2207384 |  1967122 |    18574    264 |        5 |      270
1486.95/1487.43	c 1487s |      22 |  2209750 |  1969322 |    18574    264 |        5 |      270
1488.96/1489.45	c 1489s |      22 |  2211777 |  1971222 |    18574    264 |        5 |      270
1490.95/1491.46	c 1491s |      22 |  2213471 |  1972822 |    18574    265 |        5 |      270
1492.95/1493.47	c 1493s |      22 |  2215191 |  1974422 |    18574    265 |        5 |      270
1495.05/1495.56	c 1495s |      22 |  2217535 |  1976622 |    18574    265 |        5 |      270
1497.15/1497.62	c 1497s |      22 |  2219559 |  1978522 |    18574    265 |        5 |      270
1499.15/1499.68	c 1499s |      22 |  2221366 |  1980222 |    18574    265 |        5 |      270
1501.25/1501.74	c 1501s |      22 |  2223138 |  1981822 |    18574    265 |        5 |      270
1503.26/1503.77	c 1503s |      22 |  2225014 |  1983522 |    18574    266 |        5 |      270
1505.35/1505.82	c 1505s |      22 |  2227172 |  1985522 |    18574    266 |        5 |      270
1507.45/1507.94	c 1507s |      22 |  2229461 |  1987622 |    18574    266 |        5 |      270
1510.15/1510.60	c 1510s |      22 |  2231386 |  1989422 |    18574    266 |        5 |      270
1512.16/1512.68	c 1512s |      22 |  2233446 |  1991322 |    18574    266 |        5 |      270
1514.26/1514.76	c 1514s |      22 |  2235707 |  1993422 |    18574    267 |        5 |      270
1516.35/1516.82	c 1516s |      22 |  2238272 |  1995822 |    18574    267 |        5 |      270
1518.35/1518.83	c 1518s |      22 |  2240372 |  1997722 |    18574    267 |        5 |      270
1520.35/1520.86	c 1520s |      22 |  2242515 |  1999722 |    18574    267 |        5 |      270
1522.35/1522.88	c 1522s |      22 |  2244236 |  2001322 |    18574    268 |        5 |      270
1524.55/1525.04	c 1524s |      22 |  2246802 |  2003722 |    18574    268 |        5 |      270
1526.55/1527.06	c 1526s |      22 |  2249049 |  2005822 |    18574    268 |        5 |      270
1528.65/1529.13	c 1529s |      22 |  2251206 |  2007722 |    18574    268 |        5 |      270
1530.75/1531.21	c 1531s |      22 |  2253022 |  2009422 |    18574    268 |        5 |      270
1532.75/1533.29	c 1533s |      22 |  2254750 |  2011022 |    18574    269 |        5 |      270
1535.15/1535.67	c 1535s |      22 |  2256017 |  2012222 |    18574    269 |        5 |      270
1537.24/1537.73	c 1537s |      22 |  2258742 |  2014622 |    18574    269 |        5 |      270
1539.24/1539.77	c 1539s |      22 |  2260934 |  2016622 |    18574    269 |        5 |      270
1541.24/1541.77	c 1541s |      22 |  2263017 |  2018522 |    18574    269 |        5 |      270
1543.34/1543.80	c 1543s |      22 |  2264660 |  2020022 |    18574    270 |        5 |      270
1545.34/1545.81	c 1545s |      22 |  2267329 |  2022522 |    18574    270 |        5 |      270
1547.35/1547.85	c 1547s |      22 |  2269601 |  2024622 |    18574    270 |        5 |      270
1549.34/1549.86	c 1549s |      22 |  2271611 |  2026522 |    18574    270 |        5 |      270
1552.34/1552.81	c 1552s |      22 |  2273663 |  2028422 |    18574    270 |        5 |      270
1554.34/1554.82	c 1554s |      22 |  2275734 |  2030122 |    18574    271 |        5 |      270
1556.34/1556.82	c 1556s |      22 |  2279157 |  2033022 |    18574    271 |        5 |      270
1558.35/1558.84	c 1558s |      22 |  2282045 |  2035522 |    18574    271 |        5 |      270
1560.44/1560.92	c 1560s |      22 |  2284176 |  2037422 |    18574    271 |        5 |      270
1562.44/1562.96	c 1562s |      22 |  2286519 |  2039422 |    18574    272 |        5 |      270
1564.54/1565.01	c 1564s |      22 |  2289266 |  2041922 |    18574    272 |        5 |      270
1566.53/1567.01	c 1566s |      22 |  2291953 |  2044322 |    18574    272 |        5 |      270
1568.53/1569.05	c 1568s |      22 |  2294673 |  2046722 |    18574    272 |        5 |      270
1570.53/1571.08	c 1570s |      22 |  2297346 |  2049122 |    18574    273 |        5 |      270
1572.65/1573.17	c 1573s |      22 |  2299118 |  2050722 |    18574    273 |        5 |      270
1574.75/1575.21	c 1575s |      22 |  2302217 |  2053422 |    18574    273 |        5 |      270
1576.74/1577.29	c 1577s |      22 |  2304951 |  2055822 |    18574    273 |        5 |      270
1578.84/1579.35	c 1579s |      22 |  2307420 |  2058022 |    18574    274 |        5 |      270
1580.94/1581.41	c 1581s |      22 |  2310160 |  2060522 |    18574    274 |        5 |      270
1582.94/1583.42	c 1583s |      22 |  2312536 |  2062622 |    18574    274 |        5 |      270
1584.94/1585.43	c 1585s |      22 |  2314847 |  2064722 |    18574    274 |        5 |      270
1586.95/1587.49	c 1587s |      22 |  2316904 |  2066622 |    18574    275 |        5 |      270
1589.05/1589.57	c 1589s |      22 |  2319726 |  2069222 |    18574    275 |        5 |      270
1591.14/1591.61	c 1591s |      22 |  2322083 |  2071422 |    18574    275 |        5 |      270
1593.14/1593.62	c 1593s |      22 |  2324400 |  2073522 |    18574    275 |        5 |      270
1595.14/1595.63	c 1595s |      22 |  2325846 |  2074822 |    18574    275 |        5 |      270
1597.14/1597.65	c 1597s |      22 |  2327971 |  2076622 |    18574    276 |        5 |      270
1599.13/1599.65	c 1599s |      22 |  2331136 |  2079422 |    18574    276 |        5 |      270
1601.24/1601.72	c 1601s |      22 |  2333756 |  2081722 |    18574    276 |        5 |      270
1603.23/1603.75	c 1603s |      22 |  2336351 |  2084022 |    18574    276 |        5 |      270
1605.23/1605.75	c 1605s |      22 |  2338772 |  2086222 |    18574    277 |        5 |      270
1607.93/1608.40	c 1608s |      22 |  2341902 |  2089122 |    18574    277 |        5 |      270
1609.94/1610.46	c 1610s |      22 |  2344570 |  2091422 |    18574    277 |        5 |      270
1611.93/1612.47	c 1612s |      22 |  2347375 |  2093922 |    18574    277 |        5 |      270
1614.03/1614.52	c 1614s |      22 |  2349521 |  2095722 |    18574    278 |        5 |      270
1616.03/1616.56	c 1616s |      22 |  2352948 |  2098622 |    18574    278 |        5 |      270
1618.13/1618.60	c 1618s |      22 |  2356109 |  2101322 |    18574    278 |        5 |      270
1620.13/1620.70	c 1620s |      22 |  2359121 |  2104022 |    18574    278 |        5 |      270
1622.23/1622.71	c 1622s |      22 |  2362509 |  2107022 |    18574    279 |        5 |      270
1624.33/1624.88	c 1624s |      22 |  2365436 |  2109722 |    18574    279 |        5 |      270
1626.43/1626.96	c 1626s |      22 |  2368152 |  2112122 |    18574    279 |        5 |      270
1628.53/1629.00	c 1628s |      22 |  2370994 |  2114622 |    18574    280 |        5 |      270
1630.53/1631.05	c 1630s |      22 |  2374860 |  2118022 |    18574    280 |        5 |      270
1633.03/1633.58	c 1633s |      22 |  2376717 |  2119722 |    18574    280 |        5 |      270
1635.13/1635.63	c 1635s |      22 |  2379336 |  2122022 |    18574    280 |        5 |      270
1637.13/1637.64	c 1637s |      22 |  2381874 |  2124322 |    18574    281 |        5 |      270
1639.13/1639.66	c 1639s |      22 |  2384825 |  2127022 |    18574    281 |        5 |      270
1641.23/1641.70	c 1641s |      22 |  2387447 |  2129422 |    18574    281 |        5 |      270
1643.23/1643.73	c 1643s |      22 |  2389976 |  2131722 |    18574    281 |        5 |      270
1645.24/1645.79	c 1645s |      22 |  2392768 |  2134222 |    18574    282 |        5 |      270
1647.23/1647.80	c 1647s |      22 |  2395097 |  2136322 |    18574    282 |        5 |      270
1649.33/1649.82	c 1649s |      22 |  2397572 |  2138522 |    18574    282 |        5 |      270
1651.33/1651.86	c 1651s |      22 |  2399979 |  2140722 |    18574    282 |        5 |      270
1653.43/1653.91	c 1653s |      22 |  2402069 |  2142522 |    18574    283 |        5 |      270
1655.43/1655.98	c 1655s |      22 |  2404872 |  2145022 |    18574    283 |        5 |      270
1657.53/1658.01	c 1657s |      22 |  2407338 |  2147122 |    18574    283 |        5 |      270
1659.53/1660.06	c 1659s |      22 |  2410137 |  2149522 |    18574    283 |        5 |      270
1661.53/1662.07	c 1661s |      22 |  2412957 |  2152022 |    18574    284 |        5 |      270
1663.62/1664.12	c 1664s |      22 |  2415761 |  2154522 |    18574    284 |        5 |      270
1665.62/1666.13	c 1666s |      22 |  2418856 |  2157322 |    18574    284 |        5 |      270
1667.72/1668.24	c 1668s |      22 |  2421586 |  2159822 |    18574    284 |        5 |      270
1670.02/1670.54	c 1670s |      22 |  2423740 |  2161822 |    18574    285 |        5 |      270
1672.02/1672.59	c 1672s |      22 |  2426795 |  2164622 |    18574    285 |        5 |      270
1674.12/1674.67	c 1674s |      22 |  2429472 |  2167022 |    18574    285 |        5 |      270
1676.12/1676.68	c 1676s |      22 |  2431836 |  2169222 |    18574    285 |        5 |      270
1678.13/1678.69	c 1678s |      22 |  2434432 |  2171622 |    18574    286 |        5 |      270
1680.22/1680.72	c 1680s |      22 |  2437011 |  2174022 |    18574    286 |        5 |      270
1682.22/1682.76	c 1682s |      22 |  2439310 |  2176122 |    18574    286 |        5 |      270
1684.22/1684.78	c 1684s |      22 |  2441487 |  2178122 |    18574    286 |        5 |      270
1686.22/1686.78	c 1686s |      22 |  2443214 |  2179722 |    18574    287 |        5 |      270
1688.22/1688.79	c 1688s |      22 |  2446244 |  2182422 |    18574    287 |        5 |      270
1690.33/1690.81	c 1690s |      22 |  2448581 |  2184522 |    18574    287 |        5 |      270
1692.32/1692.84	c 1692s |      22 |  2451021 |  2186722 |    18574    287 |        5 |      270
1694.32/1694.84	c 1694s |      22 |  2452970 |  2188422 |    18574    287 |        5 |      270
1696.42/1696.90	c 1696s |      22 |  2455400 |  2190522 |    18574    288 |        5 |      270
1698.42/1698.93	c 1698s |      22 |  2458483 |  2193322 |    18574    288 |        5 |      270
1700.42/1700.98	c 1700s |      22 |  2461174 |  2195822 |    18574    288 |        5 |      270
1702.52/1703.02	c 1702s |      22 |  2463299 |  2197722 |    18574    288 |        5 |      270
1704.53/1705.06	c 1704s |      22 |  2465999 |  2200222 |    18574    289 |        5 |      270
1706.62/1707.11	c 1706s |      22 |  2468543 |  2202622 |    18574    289 |        5 |      270
1708.62/1709.15	c 1709s |      22 |  2471034 |  2204922 |    18574    289 |        5 |      270
1710.62/1711.17	c 1711s |      22 |  2473098 |  2206822 |    18574    289 |        5 |      270
1712.72/1713.23	c 1713s |      22 |  2475414 |  2208922 |    18574    290 |        5 |      270
1714.72/1715.26	c 1715s |      22 |  2478046 |  2211322 |    18574    290 |        5 |      270
1717.92/1718.46	c 1718s |      22 |  2479051 |  2212222 |    18574    290 |        5 |      270
1720.02/1720.52	c 1720s |      22 |  2481834 |  2214622 |    18574    290 |        5 |      270
1722.02/1722.57	c 1722s |      22 |  2484244 |  2216722 |    18574    291 |        5 |      270
1724.11/1724.60	c 1724s |      22 |  2487515 |  2219622 |    18574    291 |        5 |      270
1726.11/1726.68	c 1726s |      22 |  2490447 |  2222222 |    18574    291 |        5 |      270
1728.11/1728.68	c 1728s |      22 |  2493097 |  2224622 |    18574    291 |        5 |      270
1730.21/1730.73	c 1730s |      22 |  2495539 |  2226822 |    18574    292 |        5 |      270
1732.21/1732.78	c 1732s |      22 |  2498598 |  2229622 |    18574    292 |        5 |      270
1734.32/1734.86	c 1734s |      22 |  2501259 |  2232022 |    18574    292 |        5 |      270
1736.31/1736.87	c 1736s |      22 |  2503521 |  2234122 |    18574    292 |        5 |      270
1738.41/1738.95	c 1738s |      22 |  2505912 |  2236322 |    20432    292 |        5 |      270
1741.81/1742.32	c 1742s |      22 |  2507651 |  2237922 |    20432    293 |        5 |      270
1743.81/1744.36	c 1744s |      22 |  2510754 |  2240522 |    20432    293 |        5 |      270
1745.81/1746.39	c 1746s |      22 |  2513436 |  2242922 |    20432    293 |        5 |      270
1747.91/1748.42	c 1748s |      22 |  2515962 |  2245122 |    20432    293 |        5 |      270
1749.91/1750.49	c 1750s |      22 |  2518445 |  2247322 |    20432    293 |        5 |      270
1752.01/1752.58	c 1752s |      22 |  2521247 |  2249822 |    20432    294 |        5 |      270
1752.92/1753.45	c 1753s |      23 |  2522570 |  2251038 |    20432    294 |        5 |      270
1754.91/1755.47	c 1755s |      23 |  2524705 |  2252938 |    20432    294 |        5 |      270
1757.01/1757.51	c 1757s |      23 |  2527204 |  2255238 |    20432    294 |        5 |      270
1759.01/1759.53	c 1759s |      23 |  2529429 |  2257338 |    20432    294 |        5 |      270
1761.01/1761.55	c 1761s |      23 |  2531829 |  2259538 |    20432    295 |        5 |      270
1763.11/1763.62	c 1763s |      23 |  2534504 |  2262038 |    20432    295 |        5 |      270
1765.11/1765.67	c 1765s |      23 |  2536669 |  2264038 |    20432    295 |        5 |      270
1767.21/1767.76	c 1767s |      23 |  2538958 |  2266038 |    20432    295 |        5 |      270
1769.21/1769.79	c 1769s |      23 |  2541061 |  2267938 |    20432    295 |        5 |      270
1771.41/1771.98	c 1771s |      23 |  2543260 |  2269938 |    20432    296 |        5 |      270
1773.51/1774.04	c 1773s |      23 |  2545872 |  2272238 |    20432    296 |        5 |      270
1775.51/1776.05	c 1775s |      23 |  2548634 |  2274638 |    20432    296 |        5 |      270
1777.60/1778.11	c 1777s |      23 |  2551042 |  2276738 |    20432    296 |        5 |      270
1779.60/1780.17	c 1780s |      23 |  2553272 |  2278738 |    20432    297 |        5 |      270
1781.70/1782.20	c 1782s |      23 |  2553956 |  2279338 |    20432    297 |        5 |      270
1783.71/1784.27	c 1784s |      23 |  2557424 |  2282438 |    20432    297 |        5 |      270
1785.80/1786.31	c 1786s |      23 |  2560205 |  2284938 |    20432    297 |        5 |      270
1787.90/1788.40	c 1788s |      23 |  2562771 |  2287338 |    20432    297 |        5 |      270
1789.90/1790.48	c 1790s |      23 |  2565026 |  2289438 |    20432    298 |        5 |      270
1792.00/1792.55	c 1792s |      23 |  2567739 |  2292038 |    20432    298 |        5 |      270
1794.11/1794.62	c 1794s |      23 |  2570178 |  2294338 |    20432    298 |        5 |      270
1796.11/1796.69	c 1796s |      23 |  2572575 |  2296538 |    20432    298 |        5 |      270
1798.21/1798.77	c 1798s |      23 |  2574469 |  2298238 |    20432    298 |        5 |      270

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

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

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


[startup+0 s]
/proc/loadavg: 2.09 3.03 3.58 3/179 20466
/proc/meminfo: memFree=30694612/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 2672 0 0 0 0 0 0 0 20 0 4 0 13646772 733409280 3033 33554432000 4194304 16246674 140734571250608 140734571250032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 179567 3042 441 2943 0 176461 0
[pid=20466/tid=20467] ppid=20463 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 751235072 3101 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=737724 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 755429376 3118 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=741820 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 759623680 3134 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.09 3.03 3.58 3/179 20466
/proc/meminfo: memFree=30694612/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 22834 0 0 0 6 3 0 0 20 0 4 0 13646772 1250496512 23132 33554432000 4194304 16246674 140734571250608 140734571249920 5893464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 305297 23132 833 2943 0 302191 0
[pid=20466/tid=20467] ppid=20463 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1250496512 23132 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1250496512 23132 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1250496512 23132 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200581 s]
/proc/loadavg: 2.09 3.03 3.58 3/179 20466
/proc/meminfo: memFree=30694612/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 41001 0 0 0 14 5 0 0 20 0 4 0 13646772 1250496512 41300 33554432000 4194304 16246674 140734571250608 140734571249920 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 305297 41312 875 2943 0 302191 0
[pid=20466/tid=20467] ppid=20463 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1250496512 41319 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1250496512 41326 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1250496512 41333 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300489 s]
/proc/loadavg: 2.09 3.03 3.58 3/179 20466
/proc/meminfo: memFree=30694612/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 62329 0 0 0 23 6 0 0 20 0 4 0 13646772 1250496512 62628 33554432000 4194304 16246674 140734571250608 140734571249920 5829366 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 305297 62638 875 2943 0 302191 0
[pid=20466/tid=20467] ppid=20463 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1250496512 62647 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1250496512 62655 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1250496512 62662 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700419 s]
/proc/loadavg: 2.09 3.03 3.58 3/179 20466
/proc/meminfo: memFree=30694612/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 145450 0 0 0 51 18 0 0 20 0 4 0 13646772 1250496512 145749 33554432000 4194304 16246674 140734571250608 140734571249920 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 305297 145760 875 2943 0 302191 0
[pid=20466/tid=20467] ppid=20463 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1250496512 145766 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1250496512 145772 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1250496512 145780 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50043 s]
/proc/loadavg: 2.09 3.03 3.58 3/183 20470
/proc/meminfo: memFree=29794528/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 266382 0 0 0 114 35 0 0 20 0 4 0 13646772 1332285440 266680 33554432000 4194304 16246674 140734571250608 140734571249920 13820120 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 325265 266680 878 2943 0 322159 0
[pid=20466/tid=20467] ppid=20463 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1332285440 266680 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1332285440 266680 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1332285440 266680 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10046 s]
/proc/loadavg: 2.09 3.03 3.58 3/183 20470
/proc/meminfo: memFree=29621920/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 267985 0 0 0 273 35 0 0 20 0 4 0 13646772 1338576896 268283 33554432000 4194304 16246674 140734571250608 140734571232512 5823600 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 326801 268283 884 2943 0 323695 0
[pid=20466/tid=20467] ppid=20463 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1338576896 268283 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1338576896 268283 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1338576896 268283 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.08 3.02 3.57 3/182 20470
/proc/meminfo: memFree=29611768/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1317444 CPUtime=6.29 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 270545 0 0 0 593 36 0 0 20 0 4 0 13646772 1349062656 270843 33554432000 4194304 16246674 140734571250608 140734571232512 5523032 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 329361 270843 884 2943 0 326255 0
[pid=20466/tid=20467] ppid=20463 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1349062656 270843 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1349062656 270843 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1349062656 270843 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1317444

[startup+12.7004 s]
/proc/loadavg: 2.08 3.00 3.56 3/183 20471
/proc/meminfo: memFree=29607760/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1317444 CPUtime=12.69 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 270545 0 0 0 1233 36 0 0 20 0 4 0 13646772 1349062656 270843 33554432000 4194304 16246674 140734571250608 140734571232512 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 329361 270843 884 2943 0 326255 0
[pid=20466/tid=20467] ppid=20463 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1349062656 270843 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1349062656 270843 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1349062656 270843 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1317444

[startup+25.5005 s]
/proc/loadavg: 2.13 2.97 3.54 3/183 20471
/proc/meminfo: memFree=29606904/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1317444 CPUtime=25.49 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 270545 0 0 0 2513 36 0 0 20 0 4 0 13646772 1349062656 270843 33554432000 4194304 16246674 140734571250608 140734571249784 13950192 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 329361 270843 884 2943 0 326255 0
[pid=20466/tid=20467] ppid=20463 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1349062656 270843 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1349062656 270843 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1349062656 270843 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1317444

[startup+51.1006 s]
/proc/loadavg: 2.16 2.90 3.51 3/183 20471
/proc/meminfo: memFree=29593640/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1326660 CPUtime=51.09 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 272850 0 0 0 5072 37 0 0 20 0 4 0 13646772 1358499840 273148 33554432000 4194304 16246674 140734571250608 140734571232512 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 331665 273148 885 2943 0 328559 0
[pid=20466/tid=20467] ppid=20463 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1358499840 273148 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1358499840 273148 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1358499840 273148 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1326660

[startup+102.301 s]
/proc/loadavg: 2.07 2.76 3.43 3/183 20472
/proc/meminfo: memFree=29578272/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1330756 CPUtime=102.28 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 273874 0 0 0 10191 37 0 0 20 0 4 0 13646772 1362694144 274172 33554432000 4194304 16246674 140734571250608 140734571232512 5675216 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 332689 274172 885 2943 0 329583 0
[pid=20466/tid=20467] ppid=20463 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1362694144 274172 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1362694144 274172 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1362694144 274172 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1330756


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

/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1369668

[startup+1362.3 s]
/proc/loadavg: 2.00 2.04 2.36 3/183 20504
/proc/meminfo: memFree=29481464/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1369668 CPUtime=1361.88 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 283929 0 0 0 136131 57 0 0 20 0 4 0 13646772 1402540032 284156 33554432000 4194304 16246674 140734571250608 140734571232512 13820888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 342417 284156 885 2943 0 339311 0
[pid=20466/tid=20467] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1369668

[startup+1422.3 s]
/proc/loadavg: 2.05 2.04 2.34 3/183 20505
/proc/meminfo: memFree=29481256/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1369668 CPUtime=1421.87 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 283941 0 0 0 142129 58 0 0 20 0 4 0 13646772 1402540032 284156 33554432000 4194304 16246674 140734571250608 140734571232512 5523208 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 342417 284156 885 2943 0 339311 0
[pid=20466/tid=20467] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1369668

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.32 3/184 20509
/proc/meminfo: memFree=29482052/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1369668 CPUtime=1481.85 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 283946 0 0 0 148126 59 0 0 20 0 4 0 13646772 1402540032 284156 33554432000 4194304 16246674 140734571250608 140734571232512 6012036 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 342417 284156 885 2943 0 339311 0
[pid=20466/tid=20467] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1369668

[startup+1542.31 s]
/proc/loadavg: 2.12 2.05 2.31 3/182 20510
/proc/meminfo: memFree=29482436/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1369668 CPUtime=1541.85 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 283946 0 0 0 154126 59 0 0 20 0 4 0 13646772 1402540032 284156 33554432000 4194304 16246674 140734571250608 140734571232512 5522977 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 342417 284156 885 2943 0 339311 0
[pid=20466/tid=20467] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1369668

[startup+1602.3 s]
/proc/loadavg: 2.14 2.07 2.30 3/183 20512
/proc/meminfo: memFree=29480756/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1369668 CPUtime=1601.83 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 283946 0 0 0 160123 60 0 0 20 0 4 0 13646772 1402540032 284156 33554432000 4194304 16246674 140734571250608 140734571232512 5674030 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 342417 284156 885 2943 0 339311 0
[pid=20466/tid=20467] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1369668

[startup+1662.3 s]
/proc/loadavg: 2.10 2.07 2.28 3/183 20513
/proc/meminfo: memFree=29481000/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1369668 CPUtime=1661.83 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 283946 0 0 0 166122 61 0 0 20 0 4 0 13646772 1402540032 284156 33554432000 4194304 16246674 140734571250608 140734571232512 5673822 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 342417 284156 885 2943 0 339311 0
[pid=20466/tid=20467] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1369668

[startup+1722.3 s]
/proc/loadavg: 2.03 2.05 2.26 3/183 20514
/proc/meminfo: memFree=29480500/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1369668 CPUtime=1721.82 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 283946 0 0 0 172120 62 0 0 20 0 4 0 13646772 1402540032 284156 33554432000 4194304 16246674 140734571250608 140734571232512 5523371 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 342417 284156 885 2943 0 339311 0
[pid=20466/tid=20467] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1369668

[startup+1782.3 s]
/proc/loadavg: 2.01 2.04 2.24 3/183 20515
/proc/meminfo: memFree=29479848/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1369668 CPUtime=1781.8 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 283946 0 0 0 178118 62 0 0 20 0 4 0 13646772 1402540032 284156 33554432000 4194304 16246674 140734571250608 140734571249704 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 342417 284156 885 2943 0 339311 0
[pid=20466/tid=20467] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1369668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.01 2.04 2.24 3/183 20564
/proc/meminfo: memFree=29832032/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1369668 CPUtime=1800.01 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 283946 0 0 0 179938 63 0 0 20 0 4 0 13646772 1402540032 284156 33554432000 4194304 16246674 140734571250608 140734571249704 5824045 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 342417 284156 885 2943 0 339311 0
[pid=20466/tid=20467] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1369668

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

[startup+1800.5 s]
/proc/loadavg: 2.01 2.04 2.24 3/183 20564
/proc/meminfo: memFree=29832032/32872528 swapFree=188940/188940
[pid=20466] ppid=20463 vsize=1369668 CPUtime=1800.01 cores=1,3,5,7
/proc/20466/stat : 20466 (toysat) R 20463 20466 17164 0 -1 4202496 283946 0 0 0 179938 63 0 0 20 0 4 0 13646772 1402540032 284156 33554432000 4194304 16246674 140734571250608 140734571249704 5824045 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20466/statm: 342417 284156 885 2943 0 339311 0
[pid=20466/tid=20467] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20467/stat : 20467 (toysat) S 20463 20466 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958747639024 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20466/tid=20468] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20468/stat : 20468 (toysat) S 20463 20466 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958737149168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20466/tid=20469] ppid=20463 vsize=1369668 CPUtime=0 cores=1,3,5,7
/proc/20466/task/20469/stat : 20469 (toysat) S 20463 20466 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646773 1402540032 284156 33554432000 4194304 16246674 140734571250608 139958622874800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1369668

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.39
CPU system time (s): 0.630904
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1369668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.630904
maximum resident set size= 1136624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283946
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= 360
involuntary context switches= 1896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.5989 second user time and 15.6096 second system time

The end

Begin job on node102 at 2016-06-17 00:26:02
IDJOB=4096827
IDBENCH=107670
IDSOLVER=2542
FILE ID=node102/4096827-1466115962
RUNJOBID= node102-1466115959-20140
PBS_JOBID= 19904127
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= e838964e9310312036b7daed376a50d5
RANDOM SEED=951018196

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30694876 kB
Buffers:           46428 kB
Cached:           167092 kB
SwapCached:         1412 kB
Active:          1195236 kB
Inactive:          89360 kB
Active(anon):    1072356 kB
Inactive(anon):     1076 kB
Active(file):     122880 kB
Inactive(file):    88284 kB
Unevictable:      188940 kB
Mlocked:          188940 kB
SwapTotal:      67108856 kB
SwapFree:       67099224 kB
Dirty:             33332 kB
Writeback:             0 kB
AnonPages:       1259384 kB
Mapped:            10612 kB
Shmem:                 0 kB
Slab:             571708 kB
SReclaimable:      14488 kB
SUnreclaim:       557220 kB
KernelStack:        1448 kB
PageTables:         6536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1406844 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= 71696 MiB
End job on node102 at 2016-06-17 00:56:03