0.00/0.00	c 2016-06-17T00:31:01+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-4096988-1466116261.opb"]
0.00/0.01	c use --random-gen="2741058194 4291000446 2677026891 2753193840 4143548832 1019688568 4002354946 1238454410 1315958698 3874811247 2903542406 247483815 2558128336 1086434844 786324986 2449817443 1732256587 2219205588 3557819016 4160586433 712654970 626591800 3425584692 2595873883 42630415 309619471 44793004 122551881 3473930530 1428226177 57178571 2420188198 4187224967 2324571123 281733152 2976027686 3767222171 3738527152 590108659 1233528765 1445277684 3102030930 1768966708 1902448338 4251975045 118135363 3366098787 1672634310 1246612641 376355583 2379225934 825830810 4130049985 3604370867 1379535674 731080609 1387833062 3833409175 2587813743 3035612629 765020127 1829223201 1566869871 3718672074 2052177045 1678725187 2675764721 2291703671 1960284337 2265343612 904301697 1340503917 2119438188 3362621852 3944452579 4120785871 2865655538 444981190 1871749332 187580889 1249474809 2356096276 2651186454 2988498320 2201056242 634163890 1667458057 648460256 3019590806 1960735822 438126492 508529465 1503925315 338996742 83047711 2141923442 3300335208 962231368 1240185501 2431767729 1801082972 3547799556 871723290 393074278 2816523468 942268334 1832648030 788661869 1801998067 1852849536 1079494075 1044337840 2224562442 2922484757 591036866 1183525655 3414181292 1376710224 1686507945 2694002225 1917807308 4023743266 100841211 4216885866 1053316799 3757022286 1992098070 779691593 2291768206 2349192406 2692145099 664427201 3397791817 622763238 2879515638 2818626152 1691511800 3212807163 1755742177 1500137307 1371221340 1602228422 2487164002 184720221 2934456472 1190118545 1226419572 3304518527 3269144930 977049899 2308584488 2957619955 2159516261 411538602 504429872 1962920557 9701017 3103624792 4233662816 50768177 172066536 2842627174 1823171624 1766975577 1645391851 1219605562 666843167 641396382 3260870908 1339057627 289497277 551069196 4153470203 911224579 91673287 1529901958 287809513 428308286 3834349069 1221191229 106461946 3759670487 1436370577 820909251 2641200745 1239939465 3626889201 3270298326 4287054272 3826050384 1196163565 2119720648 102529756 4264028448 1269359156 3813442475 3238299360 2368529034 709034387 2354626163 1805568062 2938694186 442593027 217024573 451909800 2410087123 3420484684 349835566 1554341644 2385014214 3493238214 2150003942 63530765 462634373 1672998666 975278599 3737092392 368340510 2383288937 1614484232 4122380737 1195548482 1541502624 2153952259 1411952656 3043395669 2434460786 2749909821 3082984880 258092056 4174336768 4248776995 2454808345 3580170723 37573056 2715046259 1634909472 3067883827 3280538504 3947821599 3020161391 3998335359 1244935301 568929373 1374320889 2049656520 2592283374 1114373188 607667831 3765934024 3683237403 767983582 630908333 359320834 3485533314 13520577 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1190
0.00/0.06	c #constraints 5649
0.08/0.12	c Solving starts ...
0.08/0.12	c ============================[ Search Statistics ]============================
0.08/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.08/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.08/0.12	c =============================================================================
0.08/0.13	c  0.0s |       0 |        0 |        0 |     2278      0 |        5 |        0
0.08/0.17	c  0.0s |       1 |      125 |      100 |     2278      0 |        5 |      270
0.18/0.23	c  0.1s |       2 |      313 |      250 |     2506      0 |        5 |      270
0.29/0.32	c  0.2s |       3 |      586 |      475 |     2757      0 |        5 |      270
0.39/0.47	c  0.3s |       4 |      977 |      813 |     3033      0 |        5 |      270
0.69/0.72	c  0.6s |       5 |     1547 |     1320 |     3337      0 |        5 |      270
1.09/1.13	c  1.0s |       6 |     2388 |     2081 |     4039      0 |        5 |      270
1.59/1.64	c  1.5s |       7 |     3689 |     3223 |     4443      0 |        5 |      270
2.30/2.38	c  2.3s |       8 |     5620 |     4936 |     4888      1 |        5 |      270
3.40/3.48	c  3.4s |       9 |     8583 |     7506 |     5377      2 |        5 |      270
5.09/5.18	c  5.1s |      10 |    12961 |    11361 |     5915      3 |        5 |      270
7.19/7.21	c  7.1s |      10 |    17941 |    15661 |     5915      4 |        5 |      270
7.99/8.01	c  7.9s |      11 |    19661 |    17144 |     6507      5 |        5 |      270
10.00/10.02	c  9.9s |      11 |    24766 |    21444 |     6507      6 |        5 |      270
11.99/12.05	c 11.9s |      11 |    29690 |    25444 |     6507      7 |        5 |      270
12.20/12.26	c 12.1s |      12 |    30241 |    25819 |     7158      7 |        5 |      270
14.19/14.29	c 14.2s |      12 |    35007 |    29719 |     7158      8 |        5 |      270
16.29/16.32	c 16.2s |      12 |    39570 |    33619 |     7158      9 |        5 |      270
18.29/18.35	c 18.2s |      12 |    44425 |    37519 |     7158     10 |        5 |      270
18.99/19.06	c 18.9s |      13 |    45959 |    38832 |     7874     10 |        5 |      270
20.99/21.08	c 21.0s |      13 |    50402 |    42332 |     7874     11 |        5 |      270
23.08/23.10	c 23.0s |      13 |    54104 |    45532 |     7874     12 |        5 |      270
25.08/25.11	c 25.0s |      13 |    57765 |    48632 |     7874     13 |        5 |      270
27.08/27.13	c 27.0s |      13 |    61812 |    51932 |     7874     13 |        5 |      270
29.08/29.14	c 29.0s |      13 |    66042 |    55332 |     7874     14 |        5 |      270
30.99/31.03	c 30.9s |      14 |    69648 |    58352 |     8662     15 |        5 |      270
32.98/33.06	c 32.9s |      14 |    73592 |    61452 |     8662     16 |        5 |      270
34.98/35.06	c 34.9s |      14 |    77450 |    64852 |     8662     16 |        5 |      270
36.98/37.07	c 36.9s |      14 |    80963 |    67952 |     8662     17 |        5 |      270
38.98/39.09	c 39.0s |      14 |    84556 |    71052 |     8662     18 |        5 |      270
41.08/41.10	c 41.0s |      14 |    88335 |    74452 |     8662     19 |        5 |      270
43.09/43.15	c 43.0s |      14 |    92313 |    77752 |     8662     19 |        5 |      270
45.08/45.19	c 45.1s |      14 |    96254 |    81252 |     8662     20 |        5 |      270
47.18/47.20	c 47.1s |      14 |    99984 |    84652 |     8662     21 |        5 |      270
48.98/49.04	c 48.9s |      15 |   103464 |    87632 |     9529     21 |        5 |      270
51.09/51.11	c 51.0s |      15 |   107341 |    90932 |     9529     22 |        5 |      270
53.08/53.16	c 53.0s |      15 |   110796 |    93832 |     9529     23 |        5 |      270
55.09/55.16	c 55.0s |      15 |   114448 |    96732 |     9529     23 |        5 |      270
57.08/57.17	c 57.0s |      15 |   117952 |    99632 |     9529     24 |        5 |      270
59.18/59.24	c 59.1s |      15 |   121290 |   102432 |     9529     24 |        5 |      270
61.18/61.25	c 61.1s |      15 |   124561 |   105232 |     9529     25 |        5 |      270
63.18/63.27	c 63.1s |      15 |   127285 |   107632 |     9529     25 |        5 |      270
65.18/65.27	c 65.1s |      15 |   130852 |   110732 |     9529     26 |        5 |      270
67.29/67.30	c 67.2s |      15 |   134732 |   113932 |     9529     27 |        5 |      270
69.28/69.38	c 69.3s |      15 |   138316 |   116932 |     9529     27 |        5 |      270
71.38/71.44	c 71.3s |      15 |   142473 |   120232 |     9529     28 |        5 |      270
73.48/73.50	c 73.4s |      15 |   146213 |   123332 |     9529     29 |        5 |      270
75.48/75.50	c 75.4s |      15 |   149814 |   126432 |     9529     29 |        5 |      270
77.48/77.55	c 77.4s |      15 |   153694 |   129732 |     9529     30 |        5 |      270
78.78/78.83	c 78.7s |      16 |   155750 |   131552 |    10482     30 |        5 |      270
80.78/80.84	c 80.7s |      16 |   158941 |   134252 |    10482     31 |        5 |      270
82.78/82.84	c 82.7s |      16 |   162471 |   137252 |    10482     31 |        5 |      270
84.79/84.87	c 84.7s |      16 |   166253 |   140552 |    10482     32 |        5 |      270
86.78/86.88	c 86.8s |      16 |   169932 |   143752 |    10482     32 |        5 |      270
88.88/88.94	c 88.8s |      16 |   173747 |   146952 |    10482     33 |        5 |      270
90.88/90.98	c 90.9s |      16 |   177012 |   149752 |    10482     34 |        5 |      270
92.97/93.03	c 92.9s |      16 |   180363 |   152552 |    10482     34 |        5 |      270
94.97/95.09	c 95.0s |      16 |   184062 |   155652 |    10482     35 |        5 |      270
97.07/97.14	c 97.0s |      16 |   187853 |   158852 |    10482     35 |        5 |      270
99.08/99.15	c 99.0s |      16 |   191561 |   162052 |    10482     36 |        5 |      270
101.17/101.23	c  101s |      16 |   195168 |   165052 |    10482     36 |        5 |      270
103.17/103.26	c  103s |      16 |   198627 |   168052 |    10482     37 |        5 |      270
105.17/105.26	c  105s |      16 |   201999 |   170852 |    10482     38 |        5 |      270
107.17/107.27	c  107s |      16 |   205545 |   173952 |    10482     38 |        5 |      270
109.27/109.33	c  109s |      16 |   208660 |   176652 |    10482     39 |        5 |      270
111.28/111.38	c  111s |      16 |   211865 |   179552 |    10482     39 |        5 |      270
113.38/113.42	c  113s |      16 |   215888 |   182852 |    10482     40 |        5 |      270
115.37/115.43	c  115s |      16 |   219583 |   186052 |    10482     40 |        5 |      270
117.37/117.45	c  117s |      16 |   223696 |   189452 |    10482     41 |        5 |      270
119.47/119.51	c  119s |      16 |   226992 |   192152 |    10482     42 |        5 |      270
121.47/121.57	c  121s |      16 |   230993 |   195552 |    10482     42 |        5 |      270
122.87/122.94	c  122s |      17 |   233323 |   197432 |    11531     42 |        5 |      270
124.87/124.95	c  124s |      17 |   236768 |   200332 |    11531     43 |        5 |      270
126.87/126.97	c  126s |      17 |   240220 |   203232 |    11531     43 |        5 |      270
128.97/129.02	c  128s |      17 |   243773 |   206232 |    11531     44 |        5 |      270
130.97/131.03	c  130s |      17 |   247140 |   209032 |    11531     44 |        5 |      270
132.97/133.08	c  132s |      17 |   250311 |   211632 |    11531     45 |        5 |      270
134.97/135.08	c  134s |      17 |   253457 |   214332 |    11531     45 |        5 |      270
137.07/137.14	c  137s |      17 |   256758 |   217132 |    11531     46 |        5 |      270
139.07/139.15	c  139s |      17 |   260273 |   220132 |    11531     46 |        5 |      270
141.17/141.20	c  141s |      17 |   263326 |   222632 |    11531     47 |        5 |      270
143.17/143.25	c  143s |      17 |   266853 |   225632 |    11531     47 |        5 |      270
145.17/145.30	c  145s |      17 |   269879 |   228232 |    11531     48 |        5 |      270
147.27/147.34	c  147s |      17 |   273900 |   231732 |    11531     48 |        5 |      270
149.27/149.38	c  149s |      17 |   277235 |   234532 |    11531     49 |        5 |      270
151.37/151.43	c  151s |      17 |   280860 |   237632 |    11531     49 |        5 |      270
153.36/153.47	c  153s |      17 |   284126 |   240232 |    11531     50 |        5 |      270
155.36/155.47	c  155s |      17 |   287292 |   242832 |    11531     50 |        5 |      270
157.47/157.51	c  157s |      17 |   290156 |   245132 |    11531     50 |        5 |      270
159.46/159.57	c  159s |      17 |   293544 |   247932 |    11531     51 |        5 |      270
161.56/161.61	c  161s |      17 |   296762 |   250532 |    11531     51 |        5 |      270
163.56/163.62	c  163s |      17 |   299980 |   253232 |    11531     52 |        5 |      270
165.56/165.65	c  165s |      17 |   303240 |   256132 |    11531     52 |        5 |      270
167.66/167.71	c  167s |      17 |   306559 |   258832 |    11531     53 |        5 |      270
169.76/169.80	c  169s |      17 |   309867 |   261532 |    11531     53 |        5 |      270
171.67/171.80	c  171s |      17 |   312813 |   264132 |    11531     54 |        5 |      270
173.76/173.84	c  173s |      17 |   315984 |   266932 |    11531     54 |        5 |      270
175.76/175.85	c  175s |      17 |   318704 |   269432 |    11531     55 |        5 |      270
177.76/177.89	c  177s |      17 |   321663 |   272132 |    11531     55 |        5 |      270
179.86/179.90	c  179s |      17 |   324326 |   274432 |    11531     55 |        5 |      270
181.96/182.07	c  181s |      17 |   327264 |   277032 |    11531     56 |        5 |      270
184.06/184.10	c  183s |      17 |   330462 |   279932 |    11531     56 |        5 |      270
186.06/186.14	c  186s |      17 |   333265 |   282532 |    11531     57 |        5 |      270
188.06/188.17	c  188s |      17 |   335826 |   284932 |    11531     57 |        5 |      270
190.06/190.19	c  190s |      17 |   338102 |   287032 |    11531     58 |        5 |      270
192.16/192.26	c  192s |      17 |   340768 |   289532 |    11531     58 |        5 |      270
194.16/194.29	c  194s |      17 |   343019 |   291632 |    11531     58 |        5 |      270
196.26/196.37	c  196s |      17 |   345406 |   293832 |    11531     59 |        5 |      270
198.26/198.39	c  198s |      17 |   347684 |   295932 |    12685     59 |        5 |      270
198.56/198.67	c  198s |      18 |   348022 |   296252 |    12685     59 |        5 |      270
200.66/200.72	c  200s |      18 |   352113 |   299652 |    12685     60 |        5 |      270
202.66/202.76	c  202s |      18 |   356529 |   303352 |    12685     60 |        5 |      270
204.66/204.76	c  204s |      18 |   360116 |   306452 |    12685     61 |        5 |      270
206.65/206.79	c  206s |      18 |   364408 |   310152 |    12685     61 |        5 |      270
208.75/208.83	c  208s |      18 |   368165 |   313352 |    12685     62 |        5 |      270
210.75/210.87	c  210s |      18 |   372126 |   316852 |    12685     62 |        5 |      270
212.85/212.92	c  212s |      18 |   375727 |   320052 |    12685     63 |        5 |      270
214.85/214.95	c  214s |      18 |   377909 |   322052 |    12685     63 |        5 |      270
216.86/216.97	c  216s |      18 |   381815 |   325352 |    12685     64 |        5 |      270
218.86/219.00	c  218s |      18 |   385906 |   328952 |    12685     64 |        5 |      270
220.96/221.04	c  220s |      18 |   389024 |   331752 |    12685     65 |        5 |      270
222.96/223.08	c  222s |      18 |   392792 |   335052 |    12685     65 |        5 |      270
225.05/225.10	c  224s |      18 |   395796 |   337752 |    12685     65 |        5 |      270
227.05/227.10	c  226s |      18 |   399043 |   340552 |    12685     66 |        5 |      270
229.05/229.10	c  228s |      18 |   402595 |   343352 |    12685     66 |        5 |      270
231.06/231.16	c  231s |      18 |   405723 |   346052 |    12685     67 |        5 |      270
233.05/233.17	c  233s |      18 |   408720 |   348552 |    12685     67 |        5 |      270
235.05/235.19	c  235s |      18 |   411950 |   351352 |    12685     68 |        5 |      270
237.15/237.23	c  237s |      18 |   415827 |   354652 |    12685     68 |        5 |      270
239.15/239.27	c  239s |      18 |   419220 |   357652 |    12685     69 |        5 |      270
241.45/241.50	c  241s |      18 |   422627 |   360652 |    12685     69 |        5 |      270
243.45/243.53	c  243s |      18 |   425963 |   363652 |    12685     69 |        5 |      270
245.46/245.54	c  245s |      18 |   429230 |   366552 |    12685     70 |        5 |      270
247.45/247.58	c  247s |      18 |   432558 |   369552 |    12685     70 |        5 |      270
249.55/249.60	c  249s |      18 |   435986 |   372652 |    12685     71 |        5 |      270
251.55/251.62	c  251s |      18 |   439215 |   375552 |    12685     71 |        5 |      270
253.55/253.66	c  253s |      18 |   442518 |   378552 |    12685     72 |        5 |      270
255.65/255.70	c  255s |      18 |   445557 |   381352 |    12685     72 |        5 |      270
257.65/257.72	c  257s |      18 |   448442 |   383952 |    12685     73 |        5 |      270
259.65/259.74	c  259s |      18 |   451356 |   386652 |    12685     73 |        5 |      270
261.75/261.82	c  261s |      18 |   454190 |   389252 |    12685     73 |        5 |      270
263.75/263.85	c  263s |      18 |   457085 |   391752 |    12685     74 |        5 |      270
265.84/265.90	c  265s |      18 |   460624 |   394852 |    12685     74 |        5 |      270
267.84/267.91	c  267s |      18 |   464027 |   397852 |    12685     75 |        5 |      270
269.84/269.95	c  269s |      18 |   467628 |   400952 |    12685     75 |        5 |      270
271.85/271.99	c  271s |      18 |   471448 |   404352 |    12685     76 |        5 |      270
273.84/273.99	c  273s |      18 |   475083 |   407552 |    12685     76 |        5 |      270
275.94/276.02	c  275s |      18 |   478826 |   410752 |    12685     77 |        5 |      270
277.94/278.04	c  277s |      18 |   481734 |   413152 |    12685     77 |        5 |      270
279.94/280.09	c  279s |      18 |   485277 |   416152 |    12685     78 |        5 |      270
282.04/282.14	c  282s |      18 |   489372 |   419652 |    12685     78 |        5 |      270
284.04/284.17	c  284s |      18 |   493282 |   422952 |    12685     79 |        5 |      270
286.15/286.22	c  286s |      18 |   497635 |   426752 |    12685     79 |        5 |      270
288.14/288.23	c  288s |      18 |   501494 |   430152 |    12685     80 |        5 |      270
290.15/290.24	c  290s |      18 |   504560 |   432852 |    12685     80 |        5 |      270
292.15/292.27	c  292s |      18 |   508454 |   436352 |    12685     81 |        5 |      270
294.15/294.29	c  294s |      18 |   512178 |   439652 |    12685     81 |        5 |      270
296.25/296.33	c  296s |      18 |   515777 |   442752 |    13954     82 |        5 |      270
297.25/297.32	c  297s |      19 |   517777 |   444482 |    13954     82 |        5 |      270
299.25/299.33	c  299s |      19 |   520955 |   447082 |    13954     82 |        5 |      270
301.25/301.34	c  301s |      19 |   524745 |   450282 |    13954     83 |        5 |      270
303.25/303.36	c  303s |      19 |   528687 |   453582 |    13954     83 |        5 |      270
305.25/305.36	c  305s |      19 |   532020 |   456382 |    13954     84 |        5 |      270
307.25/307.39	c  307s |      19 |   536524 |   460182 |    13954     84 |        5 |      270
309.35/309.40	c  309s |      19 |   540757 |   463782 |    13954     85 |        5 |      270
311.35/311.42	c  311s |      19 |   544941 |   467382 |    13954     85 |        5 |      270
313.34/313.46	c  313s |      19 |   548832 |   470782 |    13954     86 |        5 |      270
315.44/315.50	c  315s |      19 |   553039 |   474382 |    13954     86 |        5 |      270
317.44/317.56	c  317s |      19 |   556500 |   477482 |    13954     87 |        5 |      270
319.54/319.61	c  319s |      19 |   560733 |   481182 |    13954     87 |        5 |      270
321.54/321.67	c  321s |      19 |   564104 |   484182 |    13954     88 |        5 |      270
323.55/323.68	c  323s |      19 |   568167 |   487682 |    13954     88 |        5 |      270
325.65/325.72	c  325s |      19 |   571803 |   490982 |    13954     88 |        5 |      270
328.14/328.22	c  328s |      19 |   572355 |   491482 |    13954     89 |        5 |      270
330.14/330.27	c  330s |      19 |   577190 |   495682 |    13954     89 |        5 |      270
332.14/332.29	c  332s |      19 |   580793 |   498982 |    13954     90 |        5 |      270
334.24/334.34	c  334s |      19 |   584786 |   502482 |    13954     90 |        5 |      270
336.24/336.37	c  336s |      19 |   588031 |   505382 |    13954     90 |        5 |      270
338.24/338.38	c  338s |      19 |   591401 |   508482 |    13954     91 |        5 |      270
340.34/340.42	c  340s |      19 |   594873 |   511482 |    13954     91 |        5 |      270
342.34/342.44	c  342s |      19 |   598203 |   514282 |    13954     92 |        5 |      270
344.34/344.48	c  344s |      19 |   601387 |   517082 |    13954     92 |        5 |      270
346.44/346.55	c  346s |      19 |   604100 |   519482 |    13954     92 |        5 |      270
348.44/348.57	c  348s |      19 |   607248 |   522182 |    13954     93 |        5 |      270
350.43/350.59	c  350s |      19 |   609955 |   524582 |    13954     93 |        5 |      270
352.63/352.70	c  352s |      19 |   612471 |   526682 |    13954     93 |        5 |      270
354.63/354.72	c  354s |      19 |   615573 |   529082 |    13954     94 |        5 |      270
356.63/356.73	c  356s |      19 |   618565 |   531682 |    13954     94 |        5 |      270
358.93/359.09	c  358s |      19 |   621166 |   533882 |    13954     95 |        5 |      270
361.03/361.11	c  360s |      19 |   624534 |   536882 |    13954     95 |        5 |      270
363.04/363.18	c  363s |      19 |   627518 |   539482 |    13954     95 |        5 |      270
365.13/365.24	c  365s |      19 |   630644 |   542282 |    13954     96 |        5 |      270
367.23/367.31	c  367s |      19 |   633680 |   544982 |    13954     96 |        5 |      270
369.23/369.37	c  369s |      19 |   636361 |   547182 |    13954     96 |        5 |      270
371.23/371.38	c  371s |      19 |   639404 |   549782 |    13954     97 |        5 |      270
373.23/373.39	c  373s |      19 |   642341 |   552082 |    13954     97 |        5 |      270
375.33/375.41	c  375s |      19 |   645101 |   554582 |    13954     97 |        5 |      270
377.34/377.42	c  377s |      19 |   648633 |   557682 |    13954     98 |        5 |      270
379.33/379.43	c  379s |      19 |   652267 |   560782 |    13954     98 |        5 |      270
381.33/381.44	c  381s |      19 |   655468 |   563682 |    13954     99 |        5 |      270
383.33/383.46	c  383s |      19 |   659198 |   566782 |    13954     99 |        5 |      270
385.63/385.74	c  385s |      19 |   661812 |   569182 |    13954    100 |        5 |      270
387.63/387.79	c  387s |      19 |   665104 |   572182 |    13954    100 |        5 |      270
389.63/389.79	c  389s |      19 |   668440 |   575182 |    13954    100 |        5 |      270
391.73/391.83	c  391s |      19 |   671832 |   578282 |    13954    101 |        5 |      270
393.73/393.89	c  393s |      19 |   674801 |   580982 |    13954    101 |        5 |      270
395.83/395.92	c  395s |      19 |   677721 |   583582 |    13954    102 |        5 |      270
397.82/397.94	c  397s |      19 |   681480 |   586882 |    13954    102 |        5 |      270
399.92/400.00	c  399s |      19 |   684474 |   589582 |    13954    102 |        5 |      270
401.92/402.00	c  401s |      19 |   687703 |   592482 |    13954    103 |        5 |      270
403.92/404.01	c  403s |      19 |   691000 |   595382 |    13954    103 |        5 |      270
405.93/406.06	c  405s |      19 |   694303 |   598182 |    13954    104 |        5 |      270
408.02/408.10	c  407s |      19 |   698292 |   601682 |    13954    104 |        5 |      270
410.02/410.16	c  410s |      19 |   701743 |   604782 |    13954    105 |        5 |      270
412.02/412.16	c  412s |      19 |   705374 |   608082 |    13954    105 |        5 |      270
414.02/414.17	c  414s |      19 |   708508 |   610882 |    13954    105 |        5 |      270
416.12/416.20	c  416s |      19 |   712123 |   613882 |    13954    106 |        5 |      270
418.13/418.22	c  418s |      19 |   715486 |   616582 |    13954    106 |        5 |      270
420.12/420.26	c  420s |      19 |   718367 |   618982 |    13954    107 |        5 |      270
422.22/422.32	c  422s |      19 |   721662 |   621682 |    13954    107 |        5 |      270
424.22/424.34	c  424s |      19 |   724237 |   623882 |    13954    107 |        5 |      270
426.32/426.48	c  426s |      19 |   726693 |   625882 |    13954    108 |        5 |      270
428.32/428.49	c  428s |      19 |   729506 |   628382 |    13954    108 |        5 |      270
430.42/430.51	c  430s |      19 |   732416 |   630882 |    13954    108 |        5 |      270
432.43/432.56	c  432s |      19 |   734877 |   632982 |    13954    108 |        5 |      270
434.42/434.58	c  434s |      19 |   737675 |   635482 |    13954    109 |        5 |      270
436.52/436.62	c  436s |      19 |   740281 |   637482 |    13954    109 |        5 |      270
438.62/438.76	c  438s |      19 |   743387 |   640082 |    13954    110 |        5 |      270
440.73/440.80	c  440s |      19 |   746541 |   642982 |    13954    110 |        5 |      270
442.73/442.85	c  442s |      19 |   749794 |   645882 |    13954    110 |        5 |      270
444.83/444.90	c  444s |      19 |   752817 |   648582 |    13954    111 |        5 |      270
446.82/446.93	c  446s |      19 |   755766 |   651382 |    13954    111 |        5 |      270
448.83/448.97	c  448s |      19 |   758263 |   653682 |    13954    111 |        5 |      270
450.92/451.00	c  450s |      19 |   761363 |   656382 |    13954    112 |        5 |      270
452.92/453.04	c  452s |      19 |   764953 |   659282 |    13954    112 |        5 |      270
455.02/455.10	c  454s |      19 |   767723 |   661682 |    13954    113 |        5 |      270
457.02/457.18	c  457s |      19 |   771110 |   664582 |    15350    113 |        5 |      270
458.92/459.04	c  458s |      20 |   773876 |   666827 |    15350    113 |        5 |      270
460.93/461.09	c  460s |      20 |   776506 |   669127 |    15350    113 |        5 |      270
463.02/463.10	c  462s |      20 |   779281 |   671627 |    15350    114 |        5 |      270
465.02/465.12	c  464s |      20 |   782075 |   674127 |    15350    114 |        5 |      270
467.02/467.14	c  467s |      20 |   784866 |   676627 |    15350    114 |        5 |      270
469.02/469.16	c  469s |      20 |   786895 |   678327 |    15350    115 |        5 |      270
471.02/471.19	c  471s |      20 |   790576 |   681627 |    15350    115 |        5 |      270
473.13/473.21	c  473s |      20 |   793443 |   684227 |    15350    115 |        5 |      270
475.12/475.29	c  475s |      20 |   796437 |   686727 |    15350    116 |        5 |      270
477.22/477.32	c  477s |      20 |   799024 |   689027 |    15350    116 |        5 |      270
479.22/479.38	c  479s |      20 |   801184 |   691027 |    15350    116 |        5 |      270
481.32/481.46	c  481s |      20 |   803411 |   693027 |    15350    116 |        5 |      270
483.32/483.48	c  483s |      20 |   806810 |   696127 |    15350    117 |        5 |      270
485.42/485.52	c  485s |      20 |   809877 |   698827 |    15350    117 |        5 |      270
487.42/487.58	c  487s |      20 |   812561 |   701127 |    15350    118 |        5 |      270
489.52/489.61	c  489s |      20 |   815995 |   704127 |    15350    118 |        5 |      270
491.52/491.65	c  491s |      20 |   819451 |   707027 |    15350    118 |        5 |      270
493.81/493.97	c  493s |      20 |   822973 |   710027 |    15350    119 |        5 |      270
495.91/496.00	c  495s |      20 |   826527 |   713127 |    15350    119 |        5 |      270
497.91/498.05	c  497s |      20 |   829742 |   715927 |    15350    119 |        5 |      270
499.91/500.06	c  499s |      20 |   832987 |   718827 |    15350    120 |        5 |      270
502.01/502.10	c  501s |      20 |   836166 |   721727 |    15350    120 |        5 |      270
504.01/504.14	c  504s |      20 |   838858 |   724127 |    15350    120 |        5 |      270
506.02/506.17	c  506s |      20 |   841838 |   726827 |    15350    121 |        5 |      270
508.01/508.18	c  508s |      20 |   844954 |   729727 |    15350    121 |        5 |      270
510.11/510.23	c  510s |      20 |   847990 |   732327 |    15350    122 |        5 |      270
512.11/512.26	c  512s |      20 |   851362 |   735327 |    15350    122 |        5 |      270
514.11/514.27	c  514s |      20 |   854151 |   737827 |    15350    122 |        5 |      270
516.21/516.31	c  516s |      20 |   855847 |   739327 |    15350    122 |        5 |      270
518.21/518.33	c  518s |      20 |   858895 |   742027 |    15350    123 |        5 |      270
520.21/520.38	c  520s |      20 |   862204 |   745027 |    15350    123 |        5 |      270
522.31/522.42	c  522s |      20 |   865289 |   747727 |    15350    124 |        5 |      270
524.31/524.44	c  524s |      20 |   868715 |   750727 |    15350    124 |        5 |      270
526.31/526.48	c  526s |      20 |   871835 |   753527 |    15350    124 |        5 |      270
528.51/528.65	c  528s |      20 |   874957 |   756327 |    15350    125 |        5 |      270
530.51/530.65	c  530s |      20 |   878743 |   759527 |    15350    125 |        5 |      270
532.61/532.75	c  532s |      20 |   881446 |   762027 |    15350    125 |        5 |      270
534.61/534.76	c  534s |      20 |   884336 |   764527 |    15350    126 |        5 |      270
536.91/537.08	c  536s |      20 |   886974 |   766927 |    15350    126 |        5 |      270
538.90/539.09	c  538s |      20 |   890358 |   769927 |    15350    126 |        5 |      270
540.90/541.09	c  540s |      20 |   893308 |   772527 |    15350    127 |        5 |      270
543.10/543.21	c  543s |      20 |   896258 |   775227 |    15350    127 |        5 |      270
545.10/545.26	c  545s |      20 |   898990 |   777727 |    15350    127 |        5 |      270
547.10/547.28	c  547s |      20 |   901994 |   780327 |    15350    128 |        5 |      270
549.20/549.30	c  549s |      20 |   905575 |   783427 |    15350    128 |        5 |      270
551.21/551.34	c  551s |      20 |   908691 |   786127 |    15350    128 |        5 |      270
553.20/553.37	c  553s |      20 |   911420 |   788427 |    15350    129 |        5 |      270
555.20/555.39	c  555s |      20 |   914369 |   790927 |    15350    129 |        5 |      270
557.30/557.46	c  557s |      20 |   917002 |   793227 |    15350    129 |        5 |      270
559.30/559.46	c  559s |      20 |   919226 |   795227 |    15350    130 |        5 |      270
561.30/561.49	c  561s |      20 |   921750 |   797327 |    15350    130 |        5 |      270
563.40/563.50	c  563s |      20 |   924893 |   799927 |    15350    130 |        5 |      270
565.70/565.84	c  565s |      20 |   927861 |   802427 |    15350    131 |        5 |      270
567.71/567.86	c  567s |      20 |   930945 |   805127 |    15350    131 |        5 |      270
569.81/569.94	c  569s |      20 |   933748 |   807527 |    15350    131 |        5 |      270
571.80/571.97	c  571s |      20 |   936260 |   809727 |    15350    131 |        5 |      270
573.90/574.03	c  573s |      20 |   939177 |   812327 |    15350    132 |        5 |      270
576.00/576.10	c  575s |      20 |   941994 |   814827 |    15350    132 |        5 |      270
578.00/578.11	c  577s |      20 |   944548 |   817127 |    15350    132 |        5 |      270
580.00/580.16	c  580s |      20 |   947294 |   819627 |    15350    133 |        5 |      270
582.01/582.18	c  582s |      20 |   950202 |   822127 |    15350    133 |        5 |      270
584.10/584.21	c  584s |      20 |   952937 |   824627 |    15350    133 |        5 |      270
586.09/586.24	c  586s |      20 |   954834 |   826227 |    15350    134 |        5 |      270
588.09/588.29	c  588s |      20 |   958607 |   829427 |    15350    134 |        5 |      270
590.19/590.34	c  590s |      20 |   961655 |   832127 |    15350    134 |        5 |      270
592.19/592.36	c  592s |      20 |   964033 |   834027 |    15350    135 |        5 |      270
594.19/594.37	c  594s |      20 |   967358 |   836627 |    15350    135 |        5 |      270
596.20/596.38	c  596s |      20 |   969928 |   838827 |    15350    135 |        5 |      270
598.29/598.41	c  598s |      20 |   972932 |   841327 |    15350    136 |        5 |      270
600.29/600.41	c  600s |      20 |   976618 |   844327 |    15350    136 |        5 |      270
602.29/602.46	c  602s |      20 |   979718 |   846827 |    15350    136 |        5 |      270
604.29/604.47	c  604s |      20 |   982085 |   848927 |    15350    137 |        5 |      270
606.29/606.47	c  606s |      20 |   985257 |   851627 |    15350    137 |        5 |      270
608.41/608.51	c  608s |      20 |   987861 |   853827 |    15350    137 |        5 |      270
610.40/610.58	c  610s |      20 |   990762 |   856427 |    15350    137 |        5 |      270
612.50/612.60	c  612s |      20 |   993680 |   859027 |    15350    138 |        5 |      270
614.50/614.67	c  614s |      20 |   997071 |   861727 |    15350    138 |        5 |      270
616.60/616.78	c  616s |      20 |   999792 |   863927 |    15350    138 |        5 |      270
618.70/618.86	c  618s |      20 |  1002682 |   866327 |    15350    139 |        5 |      270
620.70/620.87	c  620s |      20 |  1005476 |   868527 |    15350    139 |        5 |      270
622.80/622.90	c  622s |      20 |  1008553 |   870827 |    15350    139 |        5 |      270
624.80/624.95	c  624s |      20 |  1010800 |   872627 |    15350    140 |        5 |      270
626.80/626.99	c  626s |      20 |  1013515 |   874827 |    15350    140 |        5 |      270
628.90/629.03	c  628s |      20 |  1016317 |   876927 |    15350    140 |        5 |      270
631.00/631.12	c  630s |      20 |  1018856 |   879027 |    15350    140 |        5 |      270
633.00/633.18	c  633s |      20 |  1020994 |   880727 |    15350    141 |        5 |      270
635.10/635.23	c  635s |      20 |  1023795 |   883127 |    15350    141 |        5 |      270
637.10/637.29	c  637s |      20 |  1027196 |   885927 |    15350    141 |        5 |      270
639.20/639.33	c  639s |      20 |  1029792 |   888227 |    15350    142 |        5 |      270
641.30/641.41	c  641s |      20 |  1033163 |   891127 |    15350    142 |        5 |      270
643.30/643.49	c  643s |      20 |  1036016 |   893727 |    15350    142 |        5 |      270
645.39/645.54	c  645s |      20 |  1038322 |   895727 |    15350    143 |        5 |      270
647.39/647.54	c  647s |      20 |  1041216 |   898227 |    15350    143 |        5 |      270
649.39/649.58	c  649s |      20 |  1044392 |   901027 |    15350    143 |        5 |      270
651.49/651.63	c  651s |      20 |  1046805 |   903127 |    15350    143 |        5 |      270
653.50/653.63	c  653s |      20 |  1049543 |   905627 |    15350    144 |        5 |      270
655.49/655.65	c  655s |      20 |  1052645 |   908127 |    15350    144 |        5 |      270
657.49/657.66	c  657s |      20 |  1055627 |   910627 |    15350    144 |        5 |      270
659.49/659.67	c  659s |      20 |  1057957 |   912527 |    15350    145 |        5 |      270
661.49/661.68	c  661s |      20 |  1060725 |   915027 |    15350    145 |        5 |      270
663.59/663.74	c  663s |      20 |  1063497 |   917527 |    15350    145 |        5 |      270
665.59/665.79	c  665s |      20 |  1065857 |   919627 |    15350    146 |        5 |      270
667.69/667.80	c  667s |      20 |  1069027 |   922527 |    15350    146 |        5 |      270
669.68/669.86	c  669s |      20 |  1072029 |   925127 |    15350    146 |        5 |      270
671.68/671.89	c  671s |      20 |  1074969 |   927327 |    15350    147 |        5 |      270
673.98/674.12	c  673s |      20 |  1078311 |   930227 |    15350    147 |        5 |      270
675.98/676.17	c  676s |      20 |  1081280 |   932827 |    15350    147 |        5 |      270
677.98/678.19	c  678s |      20 |  1083523 |   934827 |    15350    148 |        5 |      270
680.08/680.28	c  680s |      20 |  1086977 |   937827 |    15350    148 |        5 |      270
682.18/682.31	c  682s |      20 |  1089649 |   940127 |    15350    148 |        5 |      270
684.29/684.43	c  684s |      20 |  1092170 |   942327 |    15350    149 |        5 |      270
686.28/686.43	c  686s |      20 |  1095866 |   945427 |    15350    149 |        5 |      270
688.28/688.49	c  688s |      20 |  1098808 |   948127 |    15350    149 |        5 |      270
690.38/690.53	c  690s |      20 |  1101466 |   950427 |    15350    150 |        5 |      270
692.38/692.55	c  692s |      20 |  1105032 |   953427 |    15350    150 |        5 |      270
694.38/694.57	c  694s |      20 |  1108389 |   956327 |    15350    150 |        5 |      270
696.39/696.57	c  696s |      20 |  1111019 |   958527 |    15350    151 |        5 |      270
698.38/698.59	c  698s |      20 |  1114541 |   961627 |    15350    151 |        5 |      270
700.48/700.63	c  700s |      20 |  1117773 |   964527 |    15350    151 |        5 |      270
702.48/702.64	c  702s |      20 |  1120990 |   967427 |    15350    152 |        5 |      270
704.48/704.68	c  704s |      20 |  1123572 |   969627 |    15350    152 |        5 |      270
706.48/706.69	c  706s |      20 |  1126747 |   972327 |    15350    152 |        5 |      270
708.58/708.74	c  708s |      20 |  1129977 |   974927 |    15350    153 |        5 |      270
710.58/710.79	c  710s |      20 |  1133282 |   977827 |    15350    153 |        5 |      270
712.68/712.84	c  712s |      20 |  1136370 |   980627 |    15350    153 |        5 |      270
714.68/714.88	c  714s |      20 |  1139223 |   983127 |    15350    154 |        5 |      270
716.78/716.91	c  716s |      20 |  1141988 |   985627 |    15350    154 |        5 |      270
718.97/719.18	c  719s |      20 |  1144552 |   987727 |    15350    154 |        5 |      270
721.07/721.23	c  721s |      20 |  1147574 |   990327 |    15350    155 |        5 |      270
723.07/723.28	c  723s |      20 |  1151020 |   993427 |    16885    155 |        5 |      270
725.17/725.34	c  725s |      20 |  1154025 |   996127 |    16885    155 |        5 |      270
727.27/727.46	c  727s |      20 |  1156667 |   998527 |    16885    156 |        5 |      270
728.47/728.68	c  728s |      21 |  1158748 |  1000345 |    16885    156 |        5 |      270
730.57/730.74	c  730s |      21 |  1162349 |  1003245 |    16885    156 |        5 |      270
732.68/732.83	c  732s |      21 |  1166258 |  1006545 |    16885    156 |        5 |      270
734.67/734.86	c  734s |      21 |  1169673 |  1009445 |    16885    157 |        5 |      270
736.67/736.88	c  736s |      21 |  1173339 |  1012545 |    16885    157 |        5 |      270
738.77/738.94	c  738s |      21 |  1176566 |  1015345 |    16885    158 |        5 |      270
740.78/740.97	c  740s |      21 |  1180000 |  1018345 |    16885    158 |        5 |      270
742.88/743.04	c  742s |      21 |  1183142 |  1021145 |    16885    158 |        5 |      270
746.28/746.47	c  746s |      21 |  1186135 |  1023745 |    16885    159 |        5 |      270
748.38/748.52	c  748s |      21 |  1189833 |  1026945 |    16885    159 |        5 |      270
750.38/750.56	c  750s |      21 |  1193367 |  1030045 |    16885    159 |        5 |      270
752.38/752.60	c  752s |      21 |  1196288 |  1032645 |    16885    160 |        5 |      270
754.48/754.62	c  754s |      21 |  1199968 |  1035945 |    16885    160 |        5 |      270
756.48/756.70	c  756s |      21 |  1203105 |  1038745 |    16885    160 |        5 |      270
758.58/758.71	c  758s |      21 |  1205851 |  1041245 |    16885    161 |        5 |      270
760.88/761.08	c  760s |      21 |  1209183 |  1044245 |    16885    161 |        5 |      270
762.98/763.16	c  763s |      21 |  1212728 |  1047245 |    16885    161 |        5 |      270
764.98/765.16	c  765s |      21 |  1215641 |  1049745 |    16885    162 |        5 |      270
767.08/767.23	c  767s |      21 |  1219166 |  1052945 |    16885    162 |        5 |      270
769.08/769.26	c  769s |      21 |  1222713 |  1056045 |    16885    162 |        5 |      270
771.27/771.41	c  771s |      21 |  1225722 |  1058545 |    16885    163 |        5 |      270
773.28/773.44	c  773s |      21 |  1229489 |  1061845 |    16885    163 |        5 |      270
775.27/775.47	c  775s |      21 |  1232434 |  1064345 |    16885    163 |        5 |      270
777.37/777.51	c  777s |      21 |  1235769 |  1067245 |    16885    164 |        5 |      270
779.37/779.55	c  779s |      21 |  1239660 |  1070645 |    16885    164 |        5 |      270
781.37/781.58	c  781s |      21 |  1243098 |  1073745 |    16885    164 |        5 |      270
783.67/783.87	c  783s |      21 |  1244962 |  1075445 |    16885    165 |        5 |      270
785.67/785.88	c  785s |      21 |  1248149 |  1078145 |    16885    165 |        5 |      270
787.68/787.89	c  787s |      21 |  1251978 |  1081445 |    16885    165 |        5 |      270
789.78/789.92	c  789s |      21 |  1255321 |  1084345 |    16885    166 |        5 |      270
791.77/791.98	c  791s |      21 |  1259130 |  1087645 |    16885    166 |        5 |      270
793.77/793.99	c  793s |      21 |  1262439 |  1090545 |    16885    166 |        5 |      270
795.87/796.04	c  795s |      21 |  1265775 |  1093445 |    16885    167 |        5 |      270
797.87/798.10	c  797s |      21 |  1269441 |  1096745 |    16885    167 |        5 |      270
800.37/800.55	c  800s |      21 |  1271565 |  1098645 |    16885    167 |        5 |      270
802.37/802.57	c  802s |      21 |  1274793 |  1101545 |    16885    168 |        5 |      270
804.47/804.64	c  804s |      21 |  1278379 |  1104645 |    16885    168 |        5 |      270
806.47/806.65	c  806s |      21 |  1281604 |  1107545 |    16885    168 |        5 |      270
808.47/808.65	c  808s |      21 |  1284572 |  1110245 |    16885    169 |        5 |      270
810.56/810.74	c  810s |      21 |  1287760 |  1113045 |    16885    169 |        5 |      270
812.56/812.76	c  812s |      21 |  1290623 |  1115645 |    16885    169 |        5 |      270
814.66/814.82	c  814s |      21 |  1293271 |  1117945 |    16885    170 |        5 |      270
816.66/816.82	c  816s |      21 |  1296648 |  1120945 |    16885    170 |        5 |      270
818.66/818.83	c  818s |      21 |  1300206 |  1123745 |    16885    170 |        5 |      270
820.76/820.93	c  820s |      21 |  1303130 |  1126245 |    16885    171 |        5 |      270
822.77/822.94	c  822s |      21 |  1306181 |  1128945 |    16885    171 |        5 |      270
824.76/824.95	c  824s |      21 |  1308807 |  1131145 |    16885    171 |        5 |      270
826.86/827.02	c  826s |      21 |  1311662 |  1133445 |    16885    171 |        5 |      270
828.86/829.06	c  828s |      21 |  1313663 |  1135145 |    16885    172 |        5 |      270
830.86/831.06	c  830s |      21 |  1317096 |  1137945 |    16885    172 |        5 |      270
832.96/833.12	c  832s |      21 |  1319891 |  1140445 |    16885    172 |        5 |      270
834.97/835.19	c  835s |      21 |  1322330 |  1142445 |    16885    172 |        5 |      270
837.06/837.24	c  837s |      21 |  1324972 |  1144845 |    16885    173 |        5 |      270
839.06/839.26	c  839s |      21 |  1326878 |  1146445 |    16885    173 |        5 |      270
841.16/841.31	c  841s |      21 |  1330399 |  1149545 |    16885    173 |        5 |      270
843.16/843.34	c  843s |      21 |  1333440 |  1152245 |    16885    174 |        5 |      270
845.16/845.37	c  845s |      21 |  1337215 |  1155645 |    16885    174 |        5 |      270
847.26/847.41	c  847s |      21 |  1340647 |  1158745 |    16885    174 |        5 |      270
849.26/849.43	c  849s |      21 |  1343797 |  1161545 |    16885    175 |        5 |      270
852.36/852.58	c  852s |      21 |  1346243 |  1163745 |    16885    175 |        5 |      270
854.36/854.59	c  854s |      21 |  1350154 |  1167045 |    16885    175 |        5 |      270
856.46/856.62	c  856s |      21 |  1353442 |  1169845 |    16885    176 |        5 |      270
858.46/858.67	c  858s |      21 |  1357350 |  1173145 |    16885    176 |        5 |      270
860.46/860.68	c  860s |      21 |  1360941 |  1176345 |    16885    176 |        5 |      270
862.56/862.72	c  862s |      21 |  1364751 |  1179645 |    16885    177 |        5 |      270
864.57/864.74	c  864s |      21 |  1368406 |  1182945 |    16885    177 |        5 |      270
866.56/866.78	c  866s |      21 |  1370975 |  1185245 |    16885    177 |        5 |      270
868.66/868.83	c  868s |      21 |  1374158 |  1188045 |    16885    178 |        5 |      270
870.66/870.88	c  870s |      21 |  1377553 |  1191045 |    16885    178 |        5 |      270
872.76/872.94	c  872s |      21 |  1380687 |  1193845 |    16885    178 |        5 |      270
874.96/875.11	c  874s |      21 |  1383628 |  1196545 |    16885    179 |        5 |      270
876.96/877.14	c  877s |      21 |  1387368 |  1199845 |    16885    179 |        5 |      270
878.96/879.16	c  879s |      21 |  1390615 |  1202745 |    16885    179 |        5 |      270
880.96/881.18	c  881s |      21 |  1394083 |  1205845 |    16885    180 |        5 |      270
883.06/883.20	c  883s |      21 |  1397007 |  1208545 |    16885    180 |        5 |      270
885.06/885.27	c  885s |      21 |  1399940 |  1211145 |    16885    180 |        5 |      270
889.25/889.44	c  889s |      21 |  1401658 |  1212745 |    16885    181 |        5 |      270
891.25/891.47	c  891s |      21 |  1405607 |  1216245 |    16885    181 |        5 |      270
893.35/893.53	c  893s |      21 |  1408837 |  1219145 |    16885    181 |        5 |      270
895.35/895.54	c  895s |      21 |  1412035 |  1222045 |    16885    182 |        5 |      270
897.35/897.56	c  897s |      21 |  1415294 |  1225045 |    16885    182 |        5 |      270
899.45/899.65	c  899s |      21 |  1418321 |  1227745 |    16885    182 |        5 |      270
901.74/901.94	c  901s |      21 |  1421319 |  1230445 |    16885    183 |        5 |      270
903.75/903.96	c  903s |      21 |  1424749 |  1233445 |    16885    183 |        5 |      270
905.75/905.99	c  905s |      21 |  1427425 |  1235845 |    16885    183 |        5 |      270
907.85/908.00	c  907s |      21 |  1430050 |  1238245 |    16885    184 |        5 |      270
909.85/910.03	c  909s |      21 |  1432939 |  1240945 |    16885    184 |        5 |      270
911.85/912.07	c  911s |      21 |  1435630 |  1243445 |    16885    184 |        5 |      270
913.95/914.14	c  914s |      21 |  1438051 |  1245645 |    16885    184 |        5 |      270
915.95/916.20	c  916s |      21 |  1441049 |  1248445 |    16885    185 |        5 |      270
918.05/918.21	c  918s |      21 |  1443992 |  1251145 |    16885    185 |        5 |      270
920.15/920.32	c  920s |      21 |  1446206 |  1253245 |    16885    185 |        5 |      270
922.14/922.37	c  922s |      21 |  1448295 |  1255245 |    16885    186 |        5 |      270
924.24/924.42	c  924s |      21 |  1449784 |  1256545 |    16885    186 |        5 |      270
926.34/926.50	c  926s |      21 |  1453175 |  1259445 |    16885    186 |        5 |      270
928.34/928.58	c  928s |      21 |  1455979 |  1261945 |    16885    186 |        5 |      270
930.44/930.63	c  930s |      21 |  1459126 |  1264745 |    16885    187 |        5 |      270
932.43/932.67	c  932s |      21 |  1461927 |  1267245 |    16885    187 |        5 |      270
934.53/934.72	c  934s |      21 |  1464936 |  1269945 |    16885    187 |        5 |      270
936.53/936.78	c  936s |      21 |  1467905 |  1272545 |    16885    188 |        5 |      270
938.53/938.79	c  938s |      21 |  1470827 |  1275245 |    16885    188 |        5 |      270
940.63/940.87	c  940s |      21 |  1473820 |  1277945 |    16885    188 |        5 |      270
944.03/944.29	c  944s |      21 |  1475707 |  1279645 |    16885    188 |        5 |      270
946.13/946.31	c  946s |      21 |  1479073 |  1282545 |    16885    189 |        5 |      270
948.13/948.34	c  948s |      21 |  1482772 |  1285745 |    16885    189 |        5 |      270
950.23/950.42	c  950s |      21 |  1486198 |  1288745 |    16885    190 |        5 |      270
952.23/952.48	c  952s |      21 |  1490418 |  1292345 |    16885    190 |        5 |      270
954.33/954.50	c  954s |      21 |  1493617 |  1295245 |    16885    190 |        5 |      270
956.33/956.52	c  956s |      21 |  1496178 |  1297445 |    16885    191 |        5 |      270
958.33/958.55	c  958s |      21 |  1500142 |  1300645 |    16885    191 |        5 |      270
960.43/960.60	c  960s |      21 |  1503777 |  1303745 |    16885    191 |        5 |      270
962.43/962.66	c  962s |      21 |  1506929 |  1306345 |    16885    192 |        5 |      270
964.52/964.72	c  964s |      21 |  1509968 |  1309045 |    16885    192 |        5 |      270
966.52/966.77	c  966s |      21 |  1513576 |  1312145 |    16885    192 |        5 |      270
968.62/968.80	c  968s |      21 |  1516865 |  1315045 |    16885    193 |        5 |      270
970.62/970.86	c  970s |      21 |  1520266 |  1318045 |    16885    193 |        5 |      270
972.62/972.89	c  972s |      21 |  1523358 |  1320845 |    16885    193 |        5 |      270
975.11/975.39	c  975s |      21 |  1525996 |  1323145 |    16885    194 |        5 |      270
977.21/977.44	c  977s |      21 |  1529837 |  1326445 |    16885    194 |        5 |      270
979.21/979.48	c  979s |      21 |  1533068 |  1329245 |    16885    194 |        5 |      270
981.31/981.58	c  981s |      21 |  1536216 |  1332045 |    16885    195 |        5 |      270
983.42/983.65	c  983s |      21 |  1539590 |  1335045 |    16885    195 |        5 |      270
985.41/985.67	c  985s |      21 |  1542395 |  1337645 |    16885    195 |        5 |      270
987.41/987.69	c  987s |      21 |  1545058 |  1340045 |    16885    196 |        5 |      270
989.41/989.69	c  989s |      21 |  1548696 |  1343345 |    16885    196 |        5 |      270
991.51/991.76	c  991s |      21 |  1551805 |  1346145 |    16885    196 |        5 |      270
994.20/994.40	c  994s |      21 |  1552470 |  1346745 |    16885    196 |        5 |      270
996.20/996.43	c  996s |      21 |  1555658 |  1349545 |    16885    197 |        5 |      270
998.20/998.44	c  998s |      21 |  1559638 |  1352945 |    16885    197 |        5 |      270
1000.20/1000.48	c 1000s |      21 |  1563141 |  1356045 |    16885    197 |        5 |      270
1002.40/1002.64	c 1002s |      21 |  1566329 |  1358945 |    16885    198 |        5 |      270
1004.40/1004.66	c 1004s |      21 |  1569971 |  1362145 |    16885    198 |        5 |      270
1006.41/1006.70	c 1006s |      21 |  1573104 |  1364945 |    16885    198 |        5 |      270
1008.50/1008.76	c 1008s |      21 |  1576340 |  1367845 |    16885    199 |        5 |      270
1010.60/1010.83	c 1010s |      21 |  1579375 |  1370645 |    16885    199 |        5 |      270
1012.59/1012.90	c 1012s |      21 |  1582119 |  1373145 |    16885    199 |        5 |      270
1015.69/1015.92	c 1015s |      21 |  1583951 |  1374845 |    16885    200 |        5 |      270
1017.69/1017.94	c 1017s |      21 |  1587601 |  1377945 |    16885    200 |        5 |      270
1019.70/1019.99	c 1019s |      21 |  1590968 |  1380845 |    16885    200 |        5 |      270
1021.80/1022.04	c 1021s |      21 |  1594231 |  1383645 |    16885    201 |        5 |      270
1023.79/1024.05	c 1023s |      21 |  1598011 |  1386945 |    16885    201 |        5 |      270
1025.89/1026.12	c 1025s |      21 |  1601154 |  1389745 |    16885    201 |        5 |      270
1027.89/1028.12	c 1027s |      21 |  1604291 |  1392445 |    16885    202 |        5 |      270
1029.89/1030.17	c 1030s |      21 |  1608135 |  1395845 |    16885    202 |        5 |      270
1032.00/1032.20	c 1032s |      21 |  1611480 |  1398845 |    16885    202 |        5 |      270
1034.00/1034.22	c 1034s |      21 |  1614765 |  1401745 |    16885    203 |        5 |      270
1036.00/1036.24	c 1036s |      21 |  1618301 |  1404945 |    16885    203 |        5 |      270
1038.10/1038.31	c 1038s |      21 |  1621444 |  1407745 |    16885    203 |        5 |      270
1040.09/1040.36	c 1040s |      21 |  1625078 |  1410945 |    16885    204 |        5 |      270
1042.49/1042.77	c 1042s |      21 |  1626870 |  1412545 |    16885    204 |        5 |      270
1044.59/1044.82	c 1044s |      21 |  1630017 |  1415345 |    16885    204 |        5 |      270
1046.59/1046.83	c 1046s |      21 |  1633278 |  1418245 |    16885    205 |        5 |      270
1048.59/1048.86	c 1048s |      21 |  1636290 |  1420945 |    16885    205 |        5 |      270
1050.59/1050.88	c 1050s |      21 |  1639503 |  1423845 |    16885    205 |        5 |      270
1052.70/1052.94	c 1052s |      21 |  1642816 |  1426845 |    16885    206 |        5 |      270
1054.69/1054.97	c 1054s |      21 |  1645578 |  1429345 |    16885    206 |        5 |      270
1056.79/1057.03	c 1056s |      21 |  1648646 |  1432145 |    16885    206 |        5 |      270
1058.79/1059.09	c 1058s |      21 |  1651585 |  1434845 |    16885    207 |        5 |      270
1060.89/1061.11	c 1060s |      21 |  1654873 |  1437845 |    16885    207 |        5 |      270
1062.88/1063.12	c 1063s |      21 |  1657611 |  1440345 |    16885    207 |        5 |      270
1064.88/1065.18	c 1065s |      21 |  1660204 |  1442745 |    16885    208 |        5 |      270
1066.99/1067.24	c 1067s |      21 |  1663149 |  1445445 |    16885    208 |        5 |      270
1068.98/1069.25	c 1069s |      21 |  1666088 |  1448145 |    16885    208 |        5 |      270
1073.17/1073.41	c 1073s |      21 |  1667494 |  1449445 |    16885    208 |        5 |      270
1075.17/1075.46	c 1075s |      21 |  1670202 |  1451745 |    16885    209 |        5 |      270
1077.17/1077.47	c 1077s |      21 |  1674145 |  1455145 |    16885    209 |        5 |      270
1079.27/1079.50	c 1079s |      21 |  1677695 |  1458245 |    16885    209 |        5 |      270
1081.28/1081.51	c 1081s |      21 |  1681033 |  1461145 |    16885    210 |        5 |      270
1083.27/1083.56	c 1083s |      21 |  1684457 |  1464145 |    16885    210 |        5 |      270
1085.37/1085.63	c 1085s |      21 |  1687804 |  1467045 |    16885    210 |        5 |      270
1087.37/1087.67	c 1087s |      21 |  1689038 |  1468145 |    16885    211 |        5 |      270
1089.37/1089.67	c 1089s |      21 |  1692827 |  1471445 |    16885    211 |        5 |      270
1091.37/1091.69	c 1091s |      21 |  1696220 |  1474445 |    16885    211 |        5 |      270
1093.46/1093.72	c 1093s |      21 |  1699423 |  1477345 |    16885    212 |        5 |      270
1095.47/1095.78	c 1095s |      21 |  1702800 |  1480345 |    16885    212 |        5 |      270
1097.56/1097.82	c 1097s |      21 |  1705739 |  1483045 |    16885    212 |        5 |      270
1099.56/1099.86	c 1099s |      21 |  1708789 |  1485745 |    16885    213 |        5 |      270
1101.66/1101.92	c 1101s |      21 |  1711817 |  1488545 |    16885    213 |        5 |      270
1103.66/1103.96	c 1103s |      21 |  1714718 |  1491245 |    18574    213 |        5 |      270
1105.76/1106.03	c 1105s |      21 |  1717248 |  1493645 |    18574    213 |        5 |      270
1107.76/1108.03	c 1107s |      21 |  1717387 |  1493745 |    18574    213 |        5 |      270
1109.77/1110.08	c 1109s |      21 |  1720215 |  1496145 |    18574    214 |        5 |      270
1111.86/1112.18	c 1112s |      21 |  1723794 |  1499245 |    18574    214 |        5 |      270
1112.86/1113.19	c 1113s |      22 |  1725340 |  1500622 |    18574    214 |        5 |      270
1114.96/1115.22	c 1115s |      22 |  1728252 |  1503222 |    18574    214 |        5 |      270
1116.96/1117.25	c 1117s |      22 |  1731219 |  1505822 |    18574    215 |        5 |      270
1119.06/1119.30	c 1119s |      22 |  1734667 |  1508922 |    18574    215 |        5 |      270
1121.06/1121.34	c 1121s |      22 |  1737478 |  1511522 |    18574    215 |        5 |      270
1123.06/1123.36	c 1123s |      22 |  1739965 |  1513722 |    18574    215 |        5 |      270
1125.16/1125.41	c 1125s |      22 |  1742918 |  1516322 |    18574    216 |        5 |      270
1127.15/1127.43	c 1127s |      22 |  1745956 |  1519022 |    18574    216 |        5 |      270
1129.25/1129.50	c 1129s |      22 |  1748578 |  1521422 |    18574    216 |        5 |      270
1131.25/1131.50	c 1131s |      22 |  1751693 |  1523722 |    18574    217 |        5 |      270
1133.25/1133.53	c 1133s |      22 |  1755195 |  1526622 |    18574    217 |        5 |      270
1135.35/1135.60	c 1135s |      22 |  1758122 |  1529122 |    18574    217 |        5 |      270
1138.24/1138.59	c 1138s |      22 |  1758366 |  1529322 |    18574    217 |        5 |      270
1140.34/1140.66	c 1140s |      22 |  1761222 |  1531522 |    18574    217 |        5 |      270
1142.34/1142.67	c 1142s |      22 |  1763591 |  1533422 |    18574    218 |        5 |      270
1144.44/1144.72	c 1144s |      22 |  1766542 |  1535922 |    18574    218 |        5 |      270
1146.54/1146.82	c 1146s |      22 |  1769086 |  1538122 |    18574    218 |        5 |      270
1148.54/1148.87	c 1148s |      22 |  1771345 |  1539922 |    18574    218 |        5 |      270
1150.64/1150.94	c 1150s |      22 |  1773552 |  1541822 |    18574    218 |        5 |      270
1152.64/1152.99	c 1152s |      22 |  1776078 |  1543722 |    18574    219 |        5 |      270
1154.73/1155.05	c 1154s |      22 |  1778753 |  1546022 |    18574    219 |        5 |      270
1156.83/1157.17	c 1157s |      22 |  1781190 |  1548022 |    18574    219 |        5 |      270
1158.93/1159.21	c 1159s |      22 |  1783346 |  1549822 |    18574    219 |        5 |      270
1160.93/1161.23	c 1161s |      22 |  1785595 |  1551722 |    18574    220 |        5 |      270
1163.03/1163.39	c 1163s |      22 |  1788320 |  1553822 |    18574    220 |        5 |      270
1165.13/1165.48	c 1165s |      22 |  1791011 |  1556122 |    18574    220 |        5 |      270
1167.23/1167.52	c 1167s |      22 |  1793536 |  1558322 |    18574    220 |        5 |      270
1169.24/1169.53	c 1169s |      22 |  1795543 |  1560122 |    18574    220 |        5 |      270
1171.34/1171.66	c 1171s |      22 |  1797605 |  1561722 |    18574    221 |        5 |      270
1173.32/1173.69	c 1173s |      22 |  1800475 |  1563922 |    18574    221 |        5 |      270
1175.42/1175.79	c 1175s |      22 |  1803203 |  1565822 |    18574    221 |        5 |      270
1177.52/1177.85	c 1177s |      22 |  1805907 |  1568122 |    18574    221 |        5 |      270
1179.62/1179.91	c 1179s |      22 |  1808979 |  1570722 |    18574    222 |        5 |      270
1181.63/1181.93	c 1181s |      22 |  1812494 |  1573622 |    18574    222 |        5 |      270
1183.63/1183.96	c 1183s |      22 |  1815666 |  1576422 |    18574    222 |        5 |      270
1185.73/1186.01	c 1185s |      22 |  1818508 |  1578922 |    18574    222 |        5 |      270
1187.73/1188.02	c 1187s |      22 |  1821401 |  1581422 |    18574    223 |        5 |      270
1189.73/1190.09	c 1189s |      22 |  1824568 |  1584222 |    18574    223 |        5 |      270
1191.82/1192.12	c 1191s |      22 |  1827362 |  1586622 |    18574    223 |        5 |      270
1193.82/1194.17	c 1194s |      22 |  1829748 |  1588722 |    18574    223 |        5 |      270
1196.02/1196.33	c 1196s |      22 |  1831217 |  1590022 |    18574    224 |        5 |      270
1198.02/1198.36	c 1198s |      22 |  1835048 |  1593222 |    18574    224 |        5 |      270
1200.02/1200.40	c 1200s |      22 |  1838221 |  1596022 |    18574    224 |        5 |      270
1202.22/1202.57	c 1202s |      22 |  1841110 |  1598522 |    18574    225 |        5 |      270
1204.21/1204.57	c 1204s |      22 |  1844263 |  1601322 |    18574    225 |        5 |      270
1206.31/1206.60	c 1206s |      22 |  1847138 |  1603922 |    18574    225 |        5 |      270
1208.31/1208.68	c 1208s |      22 |  1849579 |  1606122 |    18574    225 |        5 |      270
1210.41/1210.71	c 1210s |      22 |  1852095 |  1608322 |    18574    226 |        5 |      270
1212.41/1212.75	c 1212s |      22 |  1855442 |  1611222 |    18574    226 |        5 |      270
1214.51/1214.83	c 1214s |      22 |  1858496 |  1613922 |    18574    226 |        5 |      270
1216.52/1216.86	c 1216s |      22 |  1861225 |  1616322 |    18574    226 |        5 |      270
1218.51/1218.89	c 1218s |      22 |  1864305 |  1619122 |    18574    227 |        5 |      270
1220.61/1220.92	c 1220s |      22 |  1867587 |  1622022 |    18574    227 |        5 |      270
1222.61/1222.99	c 1222s |      22 |  1870496 |  1624522 |    18574    227 |        5 |      270
1224.71/1225.03	c 1224s |      22 |  1872881 |  1626622 |    18574    228 |        5 |      270
1228.40/1228.73	c 1228s |      22 |  1874099 |  1627722 |    18574    228 |        5 |      270
1230.40/1230.75	c 1230s |      22 |  1877829 |  1630722 |    18574    228 |        5 |      270
1232.50/1232.83	c 1232s |      22 |  1880949 |  1633322 |    18574    228 |        5 |      270
1234.60/1234.96	c 1234s |      22 |  1883443 |  1635522 |    18574    228 |        5 |      270
1236.70/1237.08	c 1236s |      22 |  1886024 |  1637722 |    18574    229 |        5 |      270
1238.80/1239.10	c 1238s |      22 |  1888566 |  1639922 |    18574    229 |        5 |      270
1240.80/1241.12	c 1240s |      22 |  1890858 |  1641922 |    18574    229 |        5 |      270
1242.80/1243.12	c 1242s |      22 |  1893111 |  1643622 |    18574    229 |        5 |      270
1244.79/1245.19	c 1245s |      22 |  1895035 |  1645322 |    18574    229 |        5 |      270
1246.89/1247.26	c 1247s |      22 |  1897444 |  1647422 |    18574    230 |        5 |      270
1248.89/1249.27	c 1249s |      22 |  1900038 |  1649622 |    18574    230 |        5 |      270
1250.99/1251.37	c 1251s |      22 |  1902292 |  1651522 |    18574    230 |        5 |      270
1253.08/1253.44	c 1253s |      22 |  1904512 |  1653422 |    18574    230 |        5 |      270
1255.08/1255.46	c 1255s |      22 |  1906325 |  1654922 |    18574    231 |        5 |      270
1257.19/1257.53	c 1257s |      22 |  1909081 |  1657322 |    18574    231 |        5 |      270
1259.18/1259.59	c 1259s |      22 |  1911516 |  1659522 |    18574    231 |        5 |      270
1261.28/1261.62	c 1261s |      22 |  1913736 |  1661422 |    18574    231 |        5 |      270
1263.38/1263.70	c 1263s |      22 |  1915752 |  1663122 |    18574    231 |        5 |      270
1265.38/1265.73	c 1265s |      22 |  1918037 |  1665022 |    18574    232 |        5 |      270
1267.48/1267.81	c 1267s |      22 |  1920448 |  1667022 |    18574    232 |        5 |      270
1269.48/1269.88	c 1269s |      22 |  1923404 |  1669522 |    18574    232 |        5 |      270
1271.57/1271.96	c 1271s |      22 |  1925881 |  1671722 |    18574    232 |        5 |      270
1273.87/1274.29	c 1274s |      22 |  1928017 |  1673622 |    18574    233 |        5 |      270
1275.97/1276.36	c 1276s |      22 |  1930577 |  1675822 |    18574    233 |        5 |      270
1277.98/1278.40	c 1278s |      22 |  1934061 |  1678522 |    18574    233 |        5 |      270
1280.07/1280.48	c 1280s |      22 |  1936782 |  1680822 |    18574    233 |        5 |      270
1282.17/1282.52	c 1282s |      22 |  1939077 |  1682822 |    18574    233 |        5 |      270
1284.17/1284.56	c 1284s |      22 |  1941463 |  1684722 |    18574    234 |        5 |      270
1286.57/1286.96	c 1286s |      22 |  1944056 |  1686922 |    18574    234 |        5 |      270
1288.67/1289.01	c 1288s |      22 |  1946928 |  1689222 |    18574    234 |        5 |      270
1290.67/1291.07	c 1290s |      22 |  1949405 |  1691322 |    18574    234 |        5 |      270
1292.86/1293.20	c 1293s |      22 |  1951184 |  1692922 |    18574    235 |        5 |      270
1294.86/1295.26	c 1295s |      22 |  1954281 |  1695522 |    18574    235 |        5 |      270
1296.96/1297.31	c 1297s |      22 |  1956848 |  1697822 |    18574    235 |        5 |      270
1298.97/1299.39	c 1299s |      22 |  1959130 |  1699922 |    18574    235 |        5 |      270
1301.17/1301.52	c 1301s |      22 |  1961259 |  1701822 |    18574    236 |        5 |      270
1303.16/1303.59	c 1303s |      22 |  1963891 |  1704022 |    18574    236 |        5 |      270
1305.26/1305.60	c 1305s |      22 |  1966542 |  1706122 |    18574    236 |        5 |      270
1307.26/1307.65	c 1307s |      22 |  1968910 |  1708022 |    18574    236 |        5 |      270
1309.36/1309.71	c 1309s |      22 |  1971357 |  1710022 |    18574    236 |        5 |      270
1311.36/1311.77	c 1311s |      22 |  1973667 |  1711922 |    18574    237 |        5 |      270
1313.46/1313.83	c 1313s |      22 |  1974955 |  1712822 |    18574    237 |        5 |      270
1315.47/1315.87	c 1315s |      22 |  1978175 |  1715422 |    18574    237 |        5 |      270
1317.46/1317.88	c 1317s |      22 |  1980733 |  1717422 |    18574    237 |        5 |      270
1319.56/1319.92	c 1319s |      22 |  1983282 |  1719522 |    18574    237 |        5 |      270
1321.56/1321.98	c 1321s |      22 |  1985240 |  1721022 |    18574    238 |        5 |      270
1323.55/1323.98	c 1323s |      22 |  1987917 |  1723422 |    18574    238 |        5 |      270
1325.65/1326.01	c 1325s |      22 |  1990472 |  1725522 |    18574    238 |        5 |      270
1327.65/1328.08	c 1327s |      22 |  1992824 |  1727622 |    18574    238 |        5 |      270
1329.76/1330.14	c 1330s |      22 |  1995229 |  1729722 |    18574    238 |        5 |      270
1331.86/1332.21	c 1332s |      22 |  1998054 |  1732122 |    18574    239 |        5 |      270
1333.85/1334.22	c 1334s |      22 |  2000543 |  1734322 |    18574    239 |        5 |      270
1335.85/1336.24	c 1336s |      22 |  2002763 |  1736222 |    18574    239 |        5 |      270
1337.85/1338.25	c 1338s |      22 |  2004934 |  1738122 |    18574    239 |        5 |      270
1339.85/1340.29	c 1340s |      22 |  2006780 |  1739822 |    18574    240 |        5 |      270
1341.94/1342.36	c 1342s |      22 |  2009451 |  1742222 |    18574    240 |        5 |      270
1344.05/1344.47	c 1344s |      22 |  2012147 |  1744622 |    18574    240 |        5 |      270
1346.15/1346.54	c 1346s |      22 |  2014319 |  1746622 |    18574    240 |        5 |      270
1348.14/1348.58	c 1348s |      22 |  2016266 |  1748422 |    18574    240 |        5 |      270
1350.14/1350.60	c 1350s |      22 |  2018417 |  1750422 |    18574    241 |        5 |      270
1352.24/1352.61	c 1352s |      22 |  2021118 |  1752922 |    18574    241 |        5 |      270
1354.24/1354.63	c 1354s |      22 |  2023494 |  1754922 |    18574    241 |        5 |      270
1356.24/1356.64	c 1356s |      22 |  2026110 |  1757322 |    18574    241 |        5 |      270
1358.35/1358.73	c 1358s |      22 |  2028571 |  1759522 |    18574    242 |        5 |      270
1360.34/1360.77	c 1360s |      22 |  2032166 |  1762522 |    18574    242 |        5 |      270
1362.34/1362.77	c 1362s |      22 |  2035012 |  1765022 |    18574    242 |        5 |      270
1364.54/1364.93	c 1364s |      22 |  2038119 |  1767622 |    18574    243 |        5 |      270
1366.54/1366.95	c 1366s |      22 |  2041723 |  1770822 |    18574    243 |        5 |      270
1368.54/1368.95	c 1368s |      22 |  2044919 |  1773222 |    18574    243 |        5 |      270
1370.54/1370.98	c 1370s |      22 |  2047564 |  1775522 |    18574    243 |        5 |      270
1372.64/1373.03	c 1372s |      22 |  2050194 |  1777822 |    18574    244 |        5 |      270
1374.63/1375.08	c 1374s |      22 |  2053427 |  1780722 |    18574    244 |        5 |      270
1376.73/1377.17	c 1377s |      22 |  2056334 |  1783222 |    18574    244 |        5 |      270
1378.73/1379.17	c 1379s |      22 |  2058821 |  1785422 |    18574    244 |        5 |      270
1380.83/1381.23	c 1381s |      22 |  2061454 |  1787722 |    18574    245 |        5 |      270
1382.92/1383.30	c 1383s |      22 |  2064088 |  1790122 |    18574    245 |        5 |      270
1384.92/1385.33	c 1385s |      22 |  2066685 |  1792422 |    18574    245 |        5 |      270
1386.93/1387.35	c 1387s |      22 |  2069741 |  1794722 |    18574    245 |        5 |      270
1391.33/1391.71	c 1391s |      22 |  2070978 |  1795722 |    18574    246 |        5 |      270
1393.31/1393.76	c 1393s |      22 |  2074936 |  1799022 |    18574    246 |        5 |      270
1395.32/1395.78	c 1395s |      22 |  2078115 |  1801822 |    18574    246 |        5 |      270
1397.42/1397.82	c 1397s |      22 |  2080929 |  1804322 |    18574    246 |        5 |      270
1399.42/1399.83	c 1399s |      22 |  2083779 |  1806822 |    18574    247 |        5 |      270
1401.42/1401.89	c 1401s |      22 |  2086849 |  1809522 |    18574    247 |        5 |      270
1403.52/1403.98	c 1403s |      22 |  2089566 |  1811822 |    18574    247 |        5 |      270
1405.52/1405.98	c 1405s |      22 |  2092033 |  1814022 |    18574    247 |        5 |      270
1407.62/1408.00	c 1407s |      22 |  2094730 |  1816422 |    18574    248 |        5 |      270
1409.61/1410.03	c 1409s |      22 |  2097672 |  1819022 |    18574    248 |        5 |      270
1411.71/1412.10	c 1411s |      22 |  2100767 |  1821722 |    18574    248 |        5 |      270
1413.81/1414.25	c 1414s |      22 |  2103235 |  1823922 |    18574    249 |        5 |      270
1415.81/1416.27	c 1416s |      22 |  2106646 |  1826822 |    18574    249 |        5 |      270
1417.91/1418.36	c 1418s |      22 |  2109260 |  1829222 |    18574    249 |        5 |      270
1419.91/1420.36	c 1420s |      22 |  2110735 |  1830422 |    18574    249 |        5 |      270
1421.91/1422.36	c 1422s |      22 |  2113489 |  1832722 |    18574    249 |        5 |      270
1423.91/1424.37	c 1424s |      22 |  2116430 |  1835222 |    18574    250 |        5 |      270
1425.91/1426.39	c 1426s |      22 |  2119521 |  1837822 |    18574    250 |        5 |      270
1428.00/1428.43	c 1428s |      22 |  2122757 |  1840622 |    18574    250 |        5 |      270
1430.00/1430.45	c 1430s |      22 |  2125483 |  1843022 |    18574    251 |        5 |      270
1432.01/1432.45	c 1432s |      22 |  2128825 |  1845922 |    18574    251 |        5 |      270
1434.11/1434.52	c 1434s |      22 |  2131954 |  1848722 |    18574    251 |        5 |      270
1436.40/1436.88	c 1436s |      22 |  2133633 |  1850222 |    18574    251 |        5 |      270
1438.50/1438.90	c 1438s |      22 |  2136229 |  1852422 |    18574    252 |        5 |      270
1440.50/1440.93	c 1440s |      22 |  2139639 |  1855422 |    18574    252 |        5 |      270
1442.49/1442.98	c 1442s |      22 |  2142720 |  1858122 |    18574    252 |        5 |      270
1444.59/1445.01	c 1444s |      22 |  2145382 |  1860522 |    18574    252 |        5 |      270
1446.59/1447.04	c 1446s |      22 |  2148217 |  1863022 |    18574    253 |        5 |      270
1448.59/1449.05	c 1448s |      22 |  2150968 |  1865422 |    18574    253 |        5 |      270
1450.59/1451.07	c 1450s |      22 |  2153981 |  1868122 |    18574    253 |        5 |      270
1452.59/1453.08	c 1452s |      22 |  2156858 |  1870522 |    18574    253 |        5 |      270
1454.69/1455.15	c 1455s |      22 |  2159469 |  1872822 |    18574    254 |        5 |      270
1456.79/1457.21	c 1457s |      22 |  2162934 |  1875922 |    18574    254 |        5 |      270
1458.79/1459.25	c 1459s |      22 |  2165978 |  1878622 |    18574    254 |        5 |      270
1460.79/1461.25	c 1461s |      22 |  2168912 |  1881122 |    18574    255 |        5 |      270
1462.78/1463.26	c 1463s |      22 |  2172336 |  1883822 |    18574    255 |        5 |      270
1464.88/1465.34	c 1465s |      22 |  2175263 |  1886222 |    18574    255 |        5 |      270
1466.88/1467.39	c 1467s |      22 |  2177319 |  1888122 |    18574    255 |        5 |      270
1468.98/1469.46	c 1469s |      22 |  2179148 |  1889822 |    18574    256 |        5 |      270
1470.98/1471.48	c 1471s |      22 |  2179390 |  1890022 |    18574    256 |        5 |      270
1472.97/1473.48	c 1473s |      22 |  2182853 |  1893022 |    18574    256 |        5 |      270
1475.07/1475.50	c 1475s |      22 |  2185802 |  1895622 |    18574    256 |        5 |      270
1477.08/1477.59	c 1477s |      22 |  2188581 |  1898122 |    18574    256 |        5 |      270
1479.18/1479.61	c 1479s |      22 |  2191716 |  1900822 |    18574    257 |        5 |      270
1481.17/1481.67	c 1481s |      22 |  2194900 |  1903722 |    18574    257 |        5 |      270
1483.27/1483.76	c 1483s |      22 |  2197507 |  1906122 |    18574    257 |        5 |      270
1485.27/1485.78	c 1485s |      22 |  2200043 |  1908322 |    18574    258 |        5 |      270
1487.37/1487.82	c 1487s |      22 |  2203060 |  1911022 |    18574    258 |        5 |      270
1490.07/1490.54	c 1490s |      22 |  2205279 |  1913022 |    18574    258 |        5 |      270
1492.06/1492.55	c 1492s |      22 |  2208142 |  1915522 |    18574    258 |        5 |      270
1494.16/1494.60	c 1494s |      22 |  2210879 |  1917922 |    18574    259 |        5 |      270
1496.16/1496.66	c 1496s |      22 |  2213827 |  1920522 |    18574    259 |        5 |      270
1498.16/1498.68	c 1498s |      22 |  2216554 |  1923022 |    18574    259 |        5 |      270
1500.26/1500.73	c 1500s |      22 |  2219155 |  1925422 |    18574    259 |        5 |      270
1502.26/1502.77	c 1502s |      22 |  2221242 |  1927322 |    18574    260 |        5 |      270
1504.36/1504.83	c 1504s |      22 |  2224102 |  1929822 |    18574    260 |        5 |      270
1506.36/1506.85	c 1506s |      22 |  2226447 |  1931922 |    18574    260 |        5 |      270
1508.46/1508.91	c 1508s |      22 |  2228997 |  1933922 |    18574    260 |        5 |      270
1510.46/1510.99	c 1510s |      22 |  2231551 |  1936222 |    18574    260 |        5 |      270
1512.55/1513.00	c 1512s |      22 |  2234109 |  1938422 |    18574    261 |        5 |      270
1516.45/1516.94	c 1516s |      22 |  2236481 |  1940422 |    18574    261 |        5 |      270
1518.45/1518.96	c 1518s |      22 |  2238097 |  1941822 |    18574    261 |        5 |      270
1520.55/1521.01	c 1520s |      22 |  2240762 |  1944122 |    18574    261 |        5 |      270
1522.54/1523.08	c 1522s |      22 |  2243296 |  1946322 |    18574    262 |        5 |      270
1524.64/1525.11	c 1524s |      22 |  2246851 |  1949322 |    18574    262 |        5 |      270
1526.64/1527.19	c 1527s |      22 |  2250046 |  1952122 |    18574    262 |        5 |      270
1528.65/1529.19	c 1529s |      22 |  2252942 |  1954722 |    18574    262 |        5 |      270
1530.74/1531.20	c 1531s |      22 |  2254541 |  1956122 |    18574    263 |        5 |      270
1532.74/1533.26	c 1533s |      22 |  2258228 |  1959322 |    18574    263 |        5 |      270
1534.74/1535.28	c 1535s |      22 |  2261198 |  1962022 |    18574    263 |        5 |      270
1537.04/1537.50	c 1537s |      22 |  2264151 |  1964622 |    18574    264 |        5 |      270
1539.04/1539.51	c 1539s |      22 |  2267289 |  1967422 |    18574    264 |        5 |      270
1541.04/1541.57	c 1541s |      22 |  2270199 |  1969922 |    18574    264 |        5 |      270
1543.14/1543.63	c 1543s |      22 |  2272893 |  1972322 |    18574    264 |        5 |      270
1545.14/1545.63	c 1545s |      22 |  2275602 |  1974722 |    18574    265 |        5 |      270
1547.14/1547.67	c 1547s |      22 |  2276691 |  1975722 |    18574    265 |        5 |      270
1549.24/1549.72	c 1549s |      22 |  2279864 |  1978622 |    18574    265 |        5 |      270
1551.54/1552.08	c 1551s |      22 |  2282336 |  1980822 |    18574    265 |        5 |      270
1553.54/1554.09	c 1553s |      22 |  2284810 |  1983022 |    18574    265 |        5 |      270
1555.64/1556.16	c 1556s |      22 |  2287358 |  1985322 |    18574    266 |        5 |      270
1557.64/1558.19	c 1558s |      22 |  2289977 |  1987722 |    18574    266 |        5 |      270
1559.74/1560.26	c 1560s |      22 |  2292392 |  1989822 |    18574    266 |        5 |      270
1561.74/1562.28	c 1562s |      22 |  2294683 |  1991922 |    18574    266 |        5 |      270
1563.74/1564.30	c 1564s |      22 |  2296778 |  1993822 |    18574    267 |        5 |      270
1565.84/1566.30	c 1566s |      22 |  2299294 |  1996122 |    18574    267 |        5 |      270
1567.83/1568.34	c 1568s |      22 |  2301687 |  1998322 |    18574    267 |        5 |      270
1569.93/1570.44	c 1570s |      22 |  2303967 |  2000422 |    18574    267 |        5 |      270
1571.94/1572.46	c 1572s |      22 |  2305901 |  2002222 |    18574    268 |        5 |      270
1574.24/1574.75	c 1574s |      22 |  2306643 |  2002822 |    18574    268 |        5 |      270
1576.24/1576.76	c 1576s |      22 |  2310354 |  2006022 |    18574    268 |        5 |      270
1578.34/1578.83	c 1578s |      22 |  2313466 |  2008722 |    18574    268 |        5 |      270
1580.35/1580.88	c 1580s |      22 |  2316301 |  2011222 |    18574    268 |        5 |      270
1582.44/1582.91	c 1582s |      22 |  2318914 |  2013522 |    18574    269 |        5 |      270
1584.54/1585.00	c 1584s |      22 |  2321884 |  2016222 |    18574    269 |        5 |      270
1586.54/1587.03	c 1586s |      22 |  2324695 |  2018722 |    18574    269 |        5 |      270
1588.64/1589.17	c 1589s |      22 |  2327249 |  2020922 |    18574    270 |        5 |      270
1590.74/1591.21	c 1591s |      22 |  2330216 |  2023622 |    18574    270 |        5 |      270
1594.83/1595.33	c 1595s |      22 |  2332382 |  2025622 |    18574    270 |        5 |      270
1596.84/1597.39	c 1597s |      22 |  2335161 |  2028022 |    18574    270 |        5 |      270
1598.93/1599.43	c 1599s |      22 |  2337752 |  2030322 |    18574    271 |        5 |      270
1600.93/1601.49	c 1601s |      22 |  2341049 |  2033222 |    18574    271 |        5 |      270
1603.03/1603.55	c 1603s |      22 |  2344206 |  2036022 |    18574    271 |        5 |      270
1605.03/1605.57	c 1605s |      22 |  2346863 |  2038322 |    18574    271 |        5 |      270
1607.13/1607.60	c 1607s |      22 |  2349624 |  2040822 |    18574    272 |        5 |      270
1609.13/1609.65	c 1609s |      22 |  2353092 |  2043922 |    18574    272 |        5 |      270
1611.13/1611.69	c 1611s |      22 |  2356085 |  2046622 |    18574    272 |        5 |      270
1613.43/1613.92	c 1613s |      22 |  2358775 |  2049022 |    18574    273 |        5 |      270
1615.43/1615.95	c 1615s |      22 |  2361791 |  2051722 |    18574    273 |        5 |      270
1617.43/1617.95	c 1617s |      22 |  2364529 |  2054222 |    18574    273 |        5 |      270
1620.23/1620.77	c 1620s |      22 |  2366910 |  2056122 |    18574    273 |        5 |      270
1622.33/1622.83	c 1622s |      22 |  2369251 |  2058222 |    18574    273 |        5 |      270
1624.33/1624.88	c 1624s |      22 |  2372087 |  2060822 |    18574    274 |        5 |      270
1626.43/1626.96	c 1626s |      22 |  2375230 |  2063222 |    18574    274 |        5 |      270
1628.43/1628.97	c 1628s |      22 |  2378036 |  2065522 |    18574    274 |        5 |      270
1630.43/1630.99	c 1630s |      22 |  2380444 |  2067422 |    18574    274 |        5 |      270
1632.52/1633.02	c 1632s |      22 |  2383085 |  2069622 |    18574    275 |        5 |      270
1634.62/1635.13	c 1635s |      22 |  2385917 |  2072122 |    18574    275 |        5 |      270
1636.72/1637.21	c 1637s |      22 |  2388180 |  2074022 |    18574    275 |        5 |      270
1638.73/1639.23	c 1639s |      22 |  2390214 |  2075822 |    18574    275 |        5 |      270
1640.72/1641.25	c 1641s |      22 |  2392066 |  2077422 |    18574    276 |        5 |      270
1642.82/1643.33	c 1643s |      22 |  2394426 |  2079522 |    18574    276 |        5 |      270
1644.82/1645.34	c 1645s |      22 |  2396681 |  2081422 |    18574    276 |        5 |      270
1646.92/1647.42	c 1647s |      22 |  2398955 |  2083422 |    18574    276 |        5 |      270
1648.92/1649.46	c 1649s |      22 |  2400729 |  2084922 |    18574    276 |        5 |      270
1650.92/1651.49	c 1651s |      22 |  2403057 |  2086722 |    18574    277 |        5 |      270
1652.93/1653.49	c 1653s |      22 |  2405977 |  2089222 |    18574    277 |        5 |      270
1655.02/1655.55	c 1655s |      22 |  2408507 |  2091422 |    18574    277 |        5 |      270
1657.02/1657.59	c 1657s |      22 |  2410921 |  2093522 |    18574    277 |        5 |      270
1659.12/1659.66	c 1659s |      22 |  2412974 |  2095322 |    18574    277 |        5 |      270
1661.12/1661.69	c 1661s |      22 |  2414891 |  2096922 |    18574    278 |        5 |      270
1663.22/1663.74	c 1663s |      22 |  2417656 |  2099122 |    18574    278 |        5 |      270
1665.22/1665.76	c 1665s |      22 |  2419969 |  2101122 |    18574    278 |        5 |      270
1667.23/1667.79	c 1667s |      22 |  2422030 |  2102922 |    18574    278 |        5 |      270
1669.32/1669.86	c 1669s |      22 |  2423989 |  2104622 |    18574    278 |        5 |      270
1671.32/1671.86	c 1671s |      22 |  2426150 |  2106522 |    18574    279 |        5 |      270
1673.42/1673.93	c 1673s |      22 |  2428444 |  2108522 |    18574    279 |        5 |      270
1675.42/1675.96	c 1675s |      22 |  2430896 |  2110422 |    18574    279 |        5 |      270
1677.42/1677.96	c 1677s |      22 |  2433070 |  2112122 |    18574    279 |        5 |      270
1679.42/1679.97	c 1679s |      22 |  2434873 |  2113722 |    18574    279 |        5 |      270
1681.42/1682.00	c 1681s |      22 |  2437484 |  2116022 |    18574    280 |        5 |      270
1683.52/1684.07	c 1683s |      22 |  2440715 |  2118922 |    18574    280 |        5 |      270
1685.62/1686.16	c 1686s |      22 |  2443640 |  2121522 |    18574    280 |        5 |      270
1687.62/1688.19	c 1688s |      22 |  2446083 |  2123722 |    18574    280 |        5 |      270
1689.72/1690.25	c 1690s |      22 |  2448691 |  2126122 |    18574    281 |        5 |      270
1691.72/1692.29	c 1692s |      22 |  2451328 |  2128522 |    18574    281 |        5 |      270
1693.82/1694.35	c 1694s |      22 |  2454027 |  2130722 |    18574    281 |        5 |      270
1695.82/1696.39	c 1696s |      22 |  2455900 |  2132522 |    18574    281 |        5 |      270
1697.91/1698.40	c 1698s |      22 |  2457318 |  2133822 |    18574    282 |        5 |      270
1699.91/1700.43	c 1700s |      22 |  2460095 |  2136322 |    18574    282 |        5 |      270
1701.91/1702.46	c 1702s |      22 |  2462597 |  2138622 |    18574    282 |        5 |      270
1703.91/1704.49	c 1704s |      22 |  2465073 |  2140822 |    18574    282 |        5 |      270
1706.01/1706.51	c 1706s |      22 |  2467156 |  2142722 |    18574    282 |        5 |      270
1708.02/1708.52	c 1708s |      22 |  2469573 |  2144922 |    18574    283 |        5 |      270
1710.01/1710.55	c 1710s |      22 |  2471943 |  2147122 |    18574    283 |        5 |      270
1712.11/1712.64	c 1712s |      22 |  2474119 |  2149122 |    18574    283 |        5 |      270
1714.11/1714.67	c 1714s |      22 |  2476063 |  2150922 |    18574    283 |        5 |      270
1716.21/1716.73	c 1716s |      22 |  2477862 |  2152622 |    18574    284 |        5 |      270
1718.21/1718.75	c 1718s |      22 |  2480364 |  2154722 |    18574    284 |        5 |      270
1720.31/1720.83	c 1720s |      22 |  2482488 |  2156722 |    18574    284 |        5 |      270
1722.81/1723.38	c 1723s |      22 |  2484331 |  2158422 |    18574    284 |        5 |      270
1724.91/1725.43	c 1725s |      22 |  2486354 |  2160222 |    18574    284 |        5 |      270
1727.01/1727.50	c 1727s |      22 |  2488139 |  2161822 |    18574    285 |        5 |      270
1729.01/1729.54	c 1729s |      22 |  2490666 |  2164122 |    18574    285 |        5 |      270
1731.12/1731.61	c 1731s |      22 |  2493114 |  2166322 |    18574    285 |        5 |      270
1733.11/1733.66	c 1733s |      22 |  2495219 |  2168222 |    18574    285 |        5 |      270
1735.21/1735.76	c 1735s |      22 |  2497273 |  2170122 |    18574    285 |        5 |      270
1737.21/1737.79	c 1737s |      22 |  2499306 |  2172022 |    18574    286 |        5 |      270
1739.31/1739.82	c 1739s |      22 |  2501814 |  2174322 |    18574    286 |        5 |      270
1741.31/1741.86	c 1741s |      22 |  2504724 |  2176622 |    18574    286 |        5 |      270
1743.31/1743.89	c 1743s |      22 |  2507444 |  2178722 |    18574    286 |        5 |      270
1745.41/1745.96	c 1745s |      22 |  2509932 |  2180622 |    18574    287 |        5 |      270
1747.41/1748.00	c 1747s |      22 |  2512554 |  2182822 |    18574    287 |        5 |      270
1749.51/1750.08	c 1749s |      22 |  2514816 |  2184722 |    18574    287 |        5 |      270
1751.60/1752.17	c 1752s |      22 |  2515660 |  2185322 |    18574    287 |        5 |      270
1753.70/1754.27	c 1754s |      22 |  2518167 |  2187122 |    18574    287 |        5 |      270
1755.70/1756.28	c 1756s |      22 |  2520237 |  2188722 |    18574    287 |        5 |      270
1757.70/1758.29	c 1758s |      22 |  2522447 |  2190522 |    18574    288 |        5 |      270
1759.80/1760.30	c 1760s |      22 |  2525086 |  2192822 |    18574    288 |        5 |      270
1761.81/1762.37	c 1762s |      22 |  2527500 |  2194922 |    18574    288 |        5 |      270
1763.90/1764.47	c 1764s |      22 |  2529656 |  2196722 |    18574    288 |        5 |      270
1766.00/1766.52	c 1766s |      22 |  2531434 |  2198222 |    18574    288 |        5 |      270
1768.00/1768.59	c 1768s |      22 |  2533829 |  2200322 |    18574    289 |        5 |      270
1770.10/1770.62	c 1770s |      22 |  2536696 |  2202722 |    18574    289 |        5 |      270
1772.10/1772.66	c 1772s |      22 |  2539257 |  2204822 |    18574    289 |        5 |      270
1774.20/1774.72	c 1774s |      22 |  2541672 |  2206822 |    18574    289 |        5 |      270
1776.21/1776.74	c 1776s |      22 |  2543803 |  2208722 |    18574    289 |        5 |      270
1778.20/1778.79	c 1778s |      22 |  2546439 |  2211122 |    18574    290 |        5 |      270
1780.20/1780.79	c 1780s |      22 |  2549313 |  2213722 |    18574    290 |        5 |      270
1782.30/1782.85	c 1782s |      22 |  2551742 |  2215922 |    18574    290 |        5 |      270
1784.40/1784.95	c 1784s |      22 |  2553942 |  2217922 |    18574    290 |        5 |      270
1786.40/1786.98	c 1786s |      22 |  2556931 |  2220522 |    18574    291 |        5 |      270
1788.40/1788.99	c 1788s |      22 |  2559844 |  2222922 |    18574    291 |        5 |      270
1790.50/1791.08	c 1790s |      22 |  2562515 |  2225122 |    18574    291 |        5 |      270
1792.60/1793.11	c 1792s |      22 |  2564706 |  2227022 |    18574    291 |        5 |      270
1794.60/1795.15	c 1795s |      22 |  2567163 |  2229122 |    18574    292 |        5 |      270
1796.60/1797.17	c 1797s |      22 |  2569626 |  2231222 |    18574    292 |        5 |      270
1798.60/1799.17	c 1799s |      22 |  2571856 |  2233122 |    18574    292 |        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-4096988-1466116261/watcher-4096988-1466116261 -o /tmp/evaluation-result-4096988-1466116261/solver-4096988-1466116261 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1466116252-18781 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096988-1466116261.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.78 3.57 2/178 19451
/proc/meminfo: memFree=29405976/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=668092 CPUtime=0 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 2483 0 0 0 0 0 0 0 20 0 4 0 13673013 684126208 2844 33554432000 4194304 16246674 140736714224416 140736714223840 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 167791 2853 441 2943 0 164685 0
[pid=19451/tid=19452] ppid=19448 vsize=685500 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 701952000 2911 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=687548 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 704049152 2919 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=691644 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13673013 708243456 2934 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.00 2.78 3.57 2/178 19451
/proc/meminfo: memFree=29405976/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1221188 CPUtime=0.08 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 22831 0 0 0 6 2 0 0 20 0 4 0 13673013 1250496512 23130 33554432000 4194304 16246674 140736714224416 140736714223728 6966952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 305297 23130 833 2943 0 302191 0
[pid=19451/tid=19452] ppid=19448 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1250496512 23130 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1250496512 23130 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1250496512 23130 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200501 s]
/proc/loadavg: 2.00 2.78 3.57 2/178 19451
/proc/meminfo: memFree=29405976/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1221188 CPUtime=0.18 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 40505 0 0 0 13 5 0 0 20 0 4 0 13673013 1250496512 40805 33554432000 4194304 16246674 140736714224416 140736714223728 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 305297 40813 875 2943 0 302191 0
[pid=19451/tid=19452] ppid=19448 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1250496512 40818 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1250496512 40824 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1250496512 40828 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1221188

[startup+0.300457 s]
/proc/loadavg: 2.00 2.78 3.57 2/178 19451
/proc/meminfo: memFree=29405976/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 61850 0 0 0 21 8 0 0 20 0 4 0 13673013 1250496512 62150 33554432000 4194304 16246674 140736714224416 140736714223728 5523709 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 305297 62161 875 2943 0 302191 0
[pid=19451/tid=19452] ppid=19448 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1250496512 62167 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1250496512 62173 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1250496512 62178 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700385 s]
/proc/loadavg: 2.00 2.78 3.57 2/178 19451
/proc/meminfo: memFree=29405976/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 143446 0 0 0 49 20 0 0 20 0 4 0 13673013 1250496512 143745 33554432000 4194304 16246674 140736714224416 140736714206336 12478957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 305297 143753 875 2943 0 302191 0
[pid=19451/tid=19452] ppid=19448 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1250496512 143758 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1250496512 143766 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1250496512 143772 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50036 s]
/proc/loadavg: 2.00 2.78 3.57 3/181 19455
/proc/meminfo: memFree=28433580/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 266348 0 0 0 113 36 0 0 20 0 4 0 13673013 1332285440 266647 33554432000 4194304 16246674 140736714224416 140736714223728 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 325265 266647 878 2943 0 322159 0
[pid=19451/tid=19452] ppid=19448 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1332285440 266647 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1332285440 266647 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1332285440 266647 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10039 s]
/proc/loadavg: 2.00 2.77 3.56 3/181 19455
/proc/meminfo: memFree=28332272/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1310276 CPUtime=3.09 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 268749 0 0 0 273 36 0 0 20 0 4 0 13673013 1341722624 269048 33554432000 4194304 16246674 140736714224416 140736714206336 5677810 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 327569 269048 882 2943 0 324463 0
[pid=19451/tid=19452] ppid=19448 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1341722624 269048 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1341722624 269048 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1341722624 269048 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1310276

[startup+6.30039 s]
/proc/loadavg: 2.00 2.77 3.56 3/181 19455
/proc/meminfo: memFree=28328420/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 268751 0 0 0 593 36 0 0 20 0 4 0 13673013 1341722624 269050 33554432000 4194304 16246674 140736714224416 140736714206336 13950202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 327569 269050 884 2943 0 324463 0
[pid=19451/tid=19452] ppid=19448 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1341722624 269050 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1341722624 269050 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1341722624 269050 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.08 2.77 3.56 3/181 19455
/proc/meminfo: memFree=28327748/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1310276 CPUtime=12.69 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 268751 0 0 0 1233 36 0 0 20 0 4 0 13673013 1341722624 269050 33554432000 4194304 16246674 140736714224416 140736714206336 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 327569 269050 884 2943 0 324463 0
[pid=19451/tid=19452] ppid=19448 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1341722624 269050 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1341722624 269050 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1341722624 269050 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1310276

[startup+25.507 s]
/proc/loadavg: 2.14 2.75 3.54 3/181 19455
/proc/meminfo: memFree=28323012/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1316420 CPUtime=25.49 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 270287 0 0 0 2513 36 0 0 20 0 4 0 13673013 1348014080 270586 33554432000 4194304 16246674 140736714224416 140736714206336 5675216 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 329105 270586 884 2943 0 325999 0
[pid=19451/tid=19452] ppid=19448 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1348014080 270586 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1348014080 270586 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1348014080 270586 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1316420

[startup+51.1004 s]
/proc/loadavg: 2.15 2.70 3.50 3/181 19455
/proc/meminfo: memFree=28303576/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1320516 CPUtime=51.09 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 271312 0 0 0 5072 37 0 0 20 0 4 0 13673013 1352208384 271611 33554432000 4194304 16246674 140736714224416 140736714206336 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 330129 271611 885 2943 0 327023 0
[pid=19451/tid=19452] ppid=19448 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1352208384 271611 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1352208384 271611 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1352208384 271611 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1320516

[startup+102.3 s]
/proc/loadavg: 2.11 2.61 3.43 3/181 19457
/proc/meminfo: memFree=28298492/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1325636 CPUtime=102.27 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 272592 0 0 0 10190 37 0 0 20 0 4 0 13673013 1357451264 272891 33554432000 4194304 16246674 140736714224416 140736714206336 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 331409 272891 885 2943 0 328303 0
[pid=19451/tid=19452] ppid=19448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1357451264 272891 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1357451264 272891 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1325636 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1357451264 272891 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1325636


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

/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1365572

[startup+1302.3 s]
/proc/loadavg: 2.31 2.24 2.53 3/181 19633
/proc/meminfo: memFree=28205896/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1365572 CPUtime=1301.96 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 282811 0 0 0 130148 48 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 140736714206336 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 341393 282879 886 2943 0 338287 0
[pid=19451/tid=19452] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1365572

[startup+1362.3 s]
/proc/loadavg: 2.21 2.22 2.51 3/181 19635
/proc/meminfo: memFree=28205808/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1365572 CPUtime=1361.94 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 282845 0 0 0 136145 49 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 140736714206336 13954494 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 341393 282879 886 2943 0 338287 0
[pid=19451/tid=19452] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1365572

[startup+1422.3 s]
/proc/loadavg: 2.25 2.23 2.49 3/181 19636
/proc/meminfo: memFree=28205836/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1365572 CPUtime=1421.91 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 282885 0 0 0 142141 50 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 140736714207416 5827950 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 341393 282879 886 2943 0 338287 0
[pid=19451/tid=19452] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1365572

[startup+1482.3 s]
/proc/loadavg: 2.27 2.23 2.47 3/181 19637
/proc/meminfo: memFree=28205260/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1365572 CPUtime=1481.87 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 282921 0 0 0 148137 50 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 140736714206336 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 341393 282879 886 2943 0 338287 0
[pid=19451/tid=19452] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1365572

[startup+1542.3 s]
/proc/loadavg: 2.14 2.20 2.44 3/181 19638
/proc/meminfo: memFree=28205140/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1365572 CPUtime=1541.84 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 282945 0 0 0 154134 50 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 140736714206336 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 341393 282879 886 2943 0 338287 0
[pid=19451/tid=19452] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1365572 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1398345728 282879 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1365572

[startup+1602.3 s]
/proc/loadavg: 2.21 2.21 2.43 3/181 19639
/proc/meminfo: memFree=28194032/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1376836 CPUtime=1601.83 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 285769 0 0 0 160131 52 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 140736714206272 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 344209 285695 886 2943 0 341103 0
[pid=19451/tid=19452] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1376836

[startup+1662.31 s]
/proc/loadavg: 2.14 2.18 2.41 3/181 19641
/proc/meminfo: memFree=28192620/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1376836 CPUtime=1661.83 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 285769 0 0 0 166131 52 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 140736714206336 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 344209 285695 886 2943 0 341103 0
[pid=19451/tid=19452] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1376836

[startup+1722.3 s]
/proc/loadavg: 2.10 2.16 2.38 3/181 19642
/proc/meminfo: memFree=28193040/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1376836 CPUtime=1721.81 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 285769 0 0 0 172129 52 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 140736714206336 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 344209 285695 886 2943 0 341103 0
[pid=19451/tid=19452] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1376836

[startup+1782.3 s]
/proc/loadavg: 2.26 2.20 2.38 3/182 19646
/proc/meminfo: memFree=28193168/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1376836 CPUtime=1781.8 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 285769 0 0 0 178128 52 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 140736714206272 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 344209 285695 886 2943 0 341103 0
[pid=19451/tid=19452] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1376836



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.26 2.21 2.37 3/182 19646
/proc/meminfo: memFree=28193016/32872528 swapFree=1315980/1463148
[pid=19451] ppid=19448 vsize=1376836 CPUtime=1800 cores=0,2,4,6
/proc/19451/stat : 19451 (toysat) R 19448 19451 14504 0 -1 4202496 285769 0 0 0 179948 52 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 140736714206336 5824073 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/19451/statm: 344209 285695 886 2943 0 341103 0
[pid=19451/tid=19452] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19452/stat : 19452 (toysat) S 19448 19451 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741936725232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=19451/tid=19453] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19453/stat : 19453 (toysat) S 19448 19451 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741926235376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=19451/tid=19454] ppid=19448 vsize=1376836 CPUtime=0 cores=0,2,4,6
/proc/19451/task/19454/stat : 19454 (toysat) S 19448 19451 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13673013 1409880064 285695 33554432000 4194304 16246674 140736714224416 139741915761840 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1376836

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.49
CPU system time (s): 0.528919
CPU usage (%): 99.9725
Max. virtual memory (cumulated for all children) (KiB): 1376836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.528919
maximum resident set size= 1142780
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285769
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= 393
involuntary context switches= 1839

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75128 second user time and 6.94594 second system time

The end

Begin job on node121 at 2016-06-17 00:31:01
IDJOB=4096988
IDBENCH=107693
IDSOLVER=2542
FILE ID=node121/4096988-1466116261
RUNJOBID= node121-1466116252-18781
PBS_JOBID= 19904064
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= 3eed46f7f4874eba9f1fd07866ddce01
RANDOM SEED=2017560917

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29406348 kB
Buffers:           49720 kB
Cached:           171416 kB
SwapCached:         2484 kB
Active:          1195036 kB
Inactive:         100228 kB
Active(anon):    1074648 kB
Inactive(anon):     1896 kB
Active(file):     120388 kB
Inactive(file):    98332 kB
Unevictable:     1463148 kB
Mlocked:         1315980 kB
SwapTotal:      67108856 kB
SwapFree:       67099892 kB
Dirty:             32912 kB
Writeback:             0 kB
AnonPages:       2535620 kB
Mapped:            10272 kB
Shmem:                 0 kB
Slab:             571520 kB
SReclaimable:      14188 kB
SUnreclaim:       557332 kB
KernelStack:        1440 kB
PageTables:         8932 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2668684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71688 MiB
End job on node121 at 2016-06-17 01:01:02