0.00/0.00	c 2016-06-17T00:37:34+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4097219-1466116654.opb"]
0.00/0.01	c use --random-gen="2719329098 912288009 2032138831 2986682269 2925169590 224973160 3078753652 283395160 3990400719 3891127508 1244502480 649983419 2142184873 346772948 2757883246 1021465440 1688691435 2964733881 864094486 1037759631 2382823411 305788137 1815772084 3096723239 4195425854 4016597418 1566284001 3907377740 2648908089 273464256 460607181 731739942 1080560803 2345008637 1528925576 763744661 3774882972 3932516620 3823543415 2852628571 419525500 2054123640 1269744224 1891124130 746135362 129133112 1462729446 49406134 783817913 1851077209 4155990051 2330510401 3235214984 793585653 2940410026 1285497882 2318198827 2960081898 2727792736 1908065506 303250327 814955109 3829283085 634656998 4052794656 1220547537 1042770429 2042971065 676755805 3481420972 2258847205 1798074016 2552677955 3378996119 987902300 987859502 300890161 1025859874 2212361837 2085827214 1522365055 718233204 500423759 788365952 2890134437 3032732777 3127844026 3580243085 1961710401 3051787990 201523349 3394409188 756340281 1062418763 3813072877 3863269447 405543204 1404874296 2538805505 3372750047 1022909018 1090937304 2808283914 1308340733 2018822482 2840133529 3764385080 999895844 1385967688 2071519326 3266696347 4118969080 2711686516 2507685739 24243161 1663167379 1347490330 2785059810 2556267901 3255861844 2226234627 836974944 947613529 1415209365 1922692975 2998432314 1513720590 638854562 3090864460 2757082009 278462916 3103554247 541385016 4258859950 520138172 1930214946 1915351563 170693173 286036645 1090683399 2874733780 3154167109 2208877641 2380747949 1340154061 313265386 1881290980 304189913 464702711 422663888 1796096300 1495430831 607594139 2553347206 2410156358 571337935 3109141448 1461972439 1026878387 508156143 1889850542 1995015149 416118399 1292089819 851895827 773582118 824102567 2678704606 1141664113 908899728 3548810880 2747508778 3234400873 1768051756 1762290049 3740514664 3357625401 1421160268 1901217827 3677761117 2350739259 1332262334 459581815 1293278758 2330400129 425480498 3590991501 4200184898 2840286607 2053533820 2892314430 1314828883 3039577279 2878401854 772650758 4175379569 566384712 300081338 4225343571 3362223082 1956832217 2875249137 1101573315 1176886149 248255717 1516935733 2069051167 1617713016 1108168761 3143206358 3068677904 3741763537 3561259205 2325738675 3633837504 3948002256 3113359959 3682357738 1815666208 2260895099 2285397831 1635340717 1673212006 437464095 1432731342 3232354831 609493559 2035232242 566586957 3955075480 2059535799 1233566354 2126030701 337206544 355864234 3713994500 1068356466 3058400969 2149047633 4180086684 921622465 3430634196 2793643365 687608981 2934634081 2695744841 3214152811 1662363067 2567978359 3918416598 3052104857 1151088472 2966959684 2849062681 2339594846 2572783427 255 362436" option to reproduce the execution
0.00/0.05	c #vars 992
0.00/0.05	c #constraints 4686
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |     1891      0 |        5 |        0
0.09/0.14	c  0.0s |       1 |      147 |      100 |     1891      0 |        5 |      246
0.19/0.21	c  0.1s |       2 |      344 |      250 |     2081      0 |        5 |      246
0.29/0.30	c  0.2s |       3 |      633 |      475 |     2290      0 |        5 |      246
0.49/0.50	c  0.4s |       4 |     1050 |      813 |     2519      0 |        5 |      246
0.69/0.76	c  0.7s |       5 |     1895 |     1320 |     2771      0 |        5 |      246
0.99/1.10	c  1.0s |       6 |     2775 |     2081 |     3354      0 |        5 |      246
1.39/1.49	c  1.4s |       7 |     4276 |     3223 |     3690      0 |        5 |      246
2.09/2.13	c  2.0s |       8 |     6334 |     4936 |     4060      1 |        5 |      246
2.99/3.08	c  3.0s |       9 |     9312 |     7506 |     4466      2 |        5 |      246
4.40/4.50	c  4.4s |      10 |    13687 |    11361 |     4913      4 |        5 |      246
6.49/6.51	c  6.4s |      10 |    19635 |    16561 |     4913      6 |        5 |      246
6.69/6.73	c  6.6s |      11 |    20281 |    17144 |     5405      6 |        5 |      246
8.69/8.75	c  8.6s |      11 |    26334 |    22344 |     5405      8 |        5 |      246
10.09/10.18	c 10.1s |      12 |    30374 |    25819 |     5946      9 |        5 |      246
12.09/12.19	c 12.1s |      12 |    36265 |    30819 |     5946     10 |        5 |      246
14.19/14.21	c 14.1s |      12 |    41635 |    35519 |     5946     12 |        5 |      246
15.59/15.66	c 15.6s |      13 |    45321 |    38832 |     6541     13 |        5 |      246
17.59/17.69	c 17.6s |      13 |    50795 |    43432 |     6541     14 |        5 |      246
19.68/19.76	c 19.7s |      13 |    55943 |    48032 |     6541     16 |        5 |      246
21.68/21.79	c 21.7s |      13 |    61228 |    52832 |     6541     17 |        5 |      246
23.78/23.83	c 23.7s |      13 |    66051 |    57132 |     6541     18 |        5 |      246
24.38/24.40	c 24.3s |      14 |    67438 |    58352 |     7196     19 |        5 |      246
26.39/26.43	c 26.3s |      14 |    72662 |    62852 |     7196     20 |        5 |      246
28.39/28.44	c 28.3s |      14 |    77775 |    67252 |     7196     21 |        5 |      246
30.39/30.45	c 30.3s |      14 |    82627 |    71552 |     7196     22 |        5 |      246
32.39/32.46	c 32.4s |      14 |    87068 |    75452 |     7196     23 |        5 |      246
34.49/34.50	c 34.4s |      14 |    91778 |    79652 |     7196     24 |        5 |      246
36.49/36.52	c 36.4s |      14 |    96713 |    84052 |     7196     26 |        5 |      246
38.09/38.17	c 38.1s |      15 |   100606 |    87632 |     7916     26 |        5 |      246
40.08/40.17	c 40.1s |      15 |   104733 |    91332 |     7916     27 |        5 |      246
42.08/42.19	c 42.1s |      15 |   109795 |    95732 |     7916     28 |        5 |      246
44.18/44.20	c 44.1s |      15 |   114458 |    99932 |     7916     29 |        5 |      246
46.19/46.25	c 46.1s |      15 |   118868 |   103932 |     7916     30 |        5 |      246
48.18/48.27	c 48.2s |      15 |   123495 |   108032 |     7916     31 |        5 |      246
50.18/50.29	c 50.2s |      15 |   128227 |   112132 |     7916     32 |        5 |      246
52.28/52.31	c 52.2s |      15 |   133254 |   116532 |     7916     33 |        5 |      246
54.28/54.32	c 54.2s |      15 |   138043 |   120832 |     7916     35 |        5 |      246
56.28/56.34	c 56.2s |      15 |   142949 |   125232 |     7916     36 |        5 |      246
58.29/58.37	c 58.3s |      15 |   146863 |   128832 |     7916     37 |        5 |      246
59.58/59.70	c 59.6s |      16 |   149866 |   131552 |     8708     37 |        5 |      246
61.69/61.71	c 61.6s |      16 |   154570 |   135652 |     8708     38 |        5 |      246
63.68/63.76	c 63.7s |      16 |   159440 |   140052 |     8708     39 |        5 |      246
65.68/65.76	c 65.7s |      16 |   163512 |   143652 |     8708     40 |        5 |      246
67.68/67.77	c 67.7s |      16 |   168307 |   147852 |     8708     41 |        5 |      246
69.68/69.78	c 69.7s |      16 |   172715 |   151852 |     8708     42 |        5 |      246
71.78/71.80	c 71.7s |      16 |   176719 |   155552 |     8708     42 |        5 |      246
73.79/73.81	c 73.7s |      16 |   181150 |   159552 |     8708     43 |        5 |      246
75.78/75.84	c 75.7s |      16 |   185401 |   163452 |     8708     44 |        5 |      246
77.78/77.88	c 77.8s |      16 |   189562 |   167352 |     8708     45 |        5 |      246
79.78/79.89	c 79.8s |      16 |   193073 |   170552 |     8708     46 |        5 |      246
81.78/81.89	c 81.8s |      16 |   196843 |   174052 |     8708     47 |        5 |      246
83.88/83.92	c 83.8s |      16 |   201146 |   177752 |     8708     47 |        5 |      246
85.89/85.94	c 85.8s |      16 |   205858 |   181952 |     8708     48 |        5 |      246
87.88/87.97	c 87.9s |      16 |   210421 |   186052 |     8708     49 |        5 |      246
89.88/89.98	c 89.9s |      16 |   214714 |   189952 |     8708     50 |        5 |      246
91.88/91.98	c 91.9s |      16 |   219407 |   194152 |     8708     51 |        5 |      246
93.88/93.90	c 93.8s |      17 |   223239 |   197432 |     9579     52 |        5 |      246
95.88/95.92	c 95.8s |      17 |   227695 |   201332 |     9579     53 |        5 |      246
97.88/97.94	c 97.8s |      17 |   232609 |   205632 |     9579     53 |        5 |      246
99.87/99.95	c 99.8s |      17 |   236597 |   209032 |     9579     54 |        5 |      246
101.87/101.97	c  101s |      17 |   241373 |   213232 |     9579     55 |        5 |      246
103.87/103.99	c  103s |      17 |   245880 |   217232 |     9579     56 |        5 |      246
105.97/106.00	c  105s |      17 |   250247 |   221132 |     9579     57 |        5 |      246
108.27/108.40	c  108s |      17 |   254700 |   225232 |     9579     57 |        5 |      246
110.37/110.42	c  110s |      17 |   258627 |   228732 |     9579     58 |        5 |      246
112.37/112.48	c  112s |      17 |   263335 |   232732 |     9579     59 |        5 |      246
114.48/114.51	c  114s |      17 |   267685 |   236632 |     9579     60 |        5 |      246
116.47/116.55	c  116s |      17 |   271761 |   240332 |     9579     61 |        5 |      246
118.48/118.59	c  118s |      17 |   275876 |   243932 |     9579     61 |        5 |      246
120.58/120.60	c  120s |      17 |   280223 |   247832 |     9579     62 |        5 |      246
122.58/122.63	c  122s |      17 |   284684 |   251832 |     9579     63 |        5 |      246
124.58/124.63	c  124s |      17 |   288290 |   255132 |     9579     64 |        5 |      246
126.58/126.65	c  126s |      17 |   292511 |   259032 |     9579     64 |        5 |      246
128.57/128.66	c  128s |      17 |   296471 |   262632 |     9579     65 |        5 |      246
130.67/130.71	c  130s |      17 |   300682 |   266532 |     9579     66 |        5 |      246
132.67/132.72	c  132s |      17 |   304420 |   270032 |     9579     67 |        5 |      246
134.67/134.77	c  134s |      17 |   308265 |   273632 |     9579     67 |        5 |      246
136.97/137.07	c  136s |      17 |   311242 |   276432 |     9579     68 |        5 |      246
138.97/139.09	c  138s |      17 |   315052 |   279832 |     9579     69 |        5 |      246
141.07/141.12	c  141s |      17 |   319184 |   283632 |     9579     69 |        5 |      246
143.07/143.16	c  143s |      17 |   323247 |   287332 |     9579     70 |        5 |      246
145.07/145.19	c  145s |      17 |   327048 |   290832 |     9579     71 |        5 |      246
147.47/147.57	c  147s |      17 |   330372 |   293932 |     9579     72 |        5 |      246
148.57/148.69	c  148s |      18 |   332936 |   296252 |    10537     72 |        5 |      246
150.67/150.78	c  150s |      18 |   336921 |   299652 |    10537     73 |        5 |      246
152.66/152.79	c  152s |      18 |   341815 |   303852 |    10537     73 |        5 |      246
154.76/154.82	c  154s |      18 |   346140 |   307752 |    10537     74 |        5 |      246
156.76/156.86	c  156s |      18 |   350505 |   311652 |    10537     75 |        5 |      246
158.86/158.90	c  158s |      18 |   354574 |   315352 |    10537     75 |        5 |      246
161.16/161.25	c  161s |      18 |   358702 |   319052 |    10537     76 |        5 |      246
163.16/163.27	c  163s |      18 |   362921 |   322552 |    10537     77 |        5 |      246
165.26/165.30	c  165s |      18 |   367194 |   326352 |    10537     77 |        5 |      246
167.28/167.32	c  167s |      18 |   371752 |   330352 |    10537     78 |        5 |      246
169.27/169.35	c  169s |      18 |   375903 |   334052 |    10537     79 |        5 |      246
171.27/171.36	c  171s |      18 |   379781 |   337552 |    10537     80 |        5 |      246
173.77/173.82	c  173s |      18 |   384025 |   341452 |    10537     80 |        5 |      246
175.76/175.84	c  175s |      18 |   387458 |   344552 |    10537     81 |        5 |      246
177.76/177.85	c  177s |      18 |   391698 |   348252 |    10537     82 |        5 |      246
179.76/179.87	c  179s |      18 |   395978 |   352152 |    10537     82 |        5 |      246
181.76/181.89	c  181s |      18 |   399485 |   355352 |    10537     83 |        5 |      246
183.86/183.90	c  183s |      18 |   403496 |   358952 |    10537     84 |        5 |      246
185.86/185.93	c  185s |      18 |   407558 |   362652 |    10537     84 |        5 |      246
187.86/187.97	c  187s |      18 |   411463 |   366252 |    10537     85 |        5 |      246
189.96/190.00	c  189s |      18 |   414964 |   369552 |    10537     86 |        5 |      246
192.16/192.24	c  192s |      18 |   418054 |   372452 |    10537     86 |        5 |      246
194.16/194.26	c  194s |      18 |   421355 |   375252 |    10537     87 |        5 |      246
196.16/196.27	c  196s |      18 |   425886 |   379252 |    10537     87 |        5 |      246
198.15/198.29	c  198s |      18 |   430323 |   383152 |    10537     88 |        5 |      246
200.26/200.32	c  200s |      18 |   434606 |   386952 |    10537     89 |        5 |      246
202.25/202.39	c  202s |      18 |   438699 |   390652 |    10537     90 |        5 |      246
204.36/204.42	c  204s |      18 |   442173 |   393752 |    10537     90 |        5 |      246
206.36/206.45	c  206s |      18 |   446381 |   397552 |    10537     91 |        5 |      246
208.36/208.45	c  208s |      18 |   450117 |   400952 |    10537     91 |        5 |      246
210.36/210.49	c  210s |      18 |   454141 |   404552 |    10537     92 |        5 |      246
212.46/212.50	c  212s |      18 |   458048 |   408152 |    10537     93 |        5 |      246
214.46/214.52	c  214s |      18 |   461913 |   411752 |    10537     93 |        5 |      246
216.46/216.55	c  216s |      18 |   465604 |   415152 |    10537     94 |        5 |      246
218.45/218.56	c  218s |      18 |   469062 |   418352 |    10537     95 |        5 |      246
220.55/220.62	c  220s |      18 |   472768 |   421752 |    10537     95 |        5 |      246
222.55/222.65	c  222s |      18 |   475323 |   424052 |    10537     96 |        5 |      246
224.55/224.66	c  224s |      18 |   479570 |   427952 |    10537     96 |        5 |      246
226.66/226.72	c  226s |      18 |   483811 |   431752 |    10537     97 |        5 |      246
228.65/228.76	c  228s |      18 |   487824 |   435352 |    10537     98 |        5 |      246
230.65/230.76	c  230s |      18 |   491347 |   438652 |    10537     98 |        5 |      246
232.65/232.79	c  232s |      18 |   494868 |   441952 |    11591     99 |        5 |      246
234.26/234.37	c  234s |      19 |   497753 |   444482 |    11591     99 |        5 |      246
236.25/236.37	c  236s |      19 |   501311 |   447682 |    11591    100 |        5 |      246
238.35/238.46	c  238s |      19 |   505017 |   451082 |    11591    101 |        5 |      246
240.45/240.50	c  240s |      19 |   508757 |   454482 |    11591    101 |        5 |      246
242.46/242.52	c  242s |      19 |   512287 |   457782 |    11591    102 |        5 |      246
244.46/244.57	c  244s |      19 |   516066 |   461282 |    11591    102 |        5 |      246
246.56/246.62	c  246s |      19 |   519494 |   464482 |    11591    103 |        5 |      246
248.56/248.64	c  248s |      19 |   522690 |   467382 |    11591    103 |        5 |      246
250.55/250.68	c  250s |      19 |   526124 |   470482 |    11591    104 |        5 |      246
252.65/252.72	c  252s |      19 |   529720 |   473782 |    11591    104 |        5 |      246
254.65/254.77	c  254s |      19 |   533189 |   476882 |    11591    105 |        5 |      246
256.65/256.78	c  256s |      19 |   536691 |   479982 |    11591    105 |        5 |      246
258.75/258.81	c  258s |      19 |   540561 |   483482 |    11591    106 |        5 |      246
260.76/260.86	c  260s |      19 |   544199 |   486782 |    11591    107 |        5 |      246
262.86/262.94	c  262s |      19 |   547885 |   489982 |    11591    107 |        5 |      246
264.85/264.95	c  264s |      19 |   551891 |   493482 |    11591    108 |        5 |      246
266.85/266.97	c  266s |      19 |   556010 |   497182 |    11591    108 |        5 |      246
268.85/268.98	c  268s |      19 |   560164 |   500982 |    11591    109 |        5 |      246
270.95/271.03	c  270s |      19 |   563586 |   504082 |    11591    110 |        5 |      246
272.95/273.07	c  272s |      19 |   567916 |   507882 |    11591    110 |        5 |      246
274.96/275.09	c  274s |      19 |   570924 |   510482 |    11591    111 |        5 |      246
277.05/277.11	c  277s |      19 |   575472 |   514482 |    11591    111 |        5 |      246
279.05/279.14	c  279s |      19 |   579580 |   518182 |    11591    112 |        5 |      246
281.05/281.20	c  281s |      19 |   582936 |   521282 |    11591    112 |        5 |      246
283.15/283.23	c  283s |      19 |   586838 |   524782 |    11591    113 |        5 |      246
285.15/285.24	c  285s |      19 |   590222 |   527882 |    11591    114 |        5 |      246
287.15/287.27	c  287s |      19 |   593994 |   531382 |    11591    114 |        5 |      246
289.25/289.32	c  289s |      19 |   597331 |   534482 |    11591    115 |        5 |      246
291.45/291.54	c  291s |      19 |   600011 |   536982 |    11591    115 |        5 |      246
293.45/293.59	c  293s |      19 |   603868 |   540382 |    11591    116 |        5 |      246
295.45/295.59	c  295s |      19 |   607884 |   543882 |    11591    116 |        5 |      246
297.55/297.62	c  297s |      19 |   612094 |   547582 |    11591    117 |        5 |      246
299.65/299.70	c  299s |      19 |   616122 |   551182 |    11591    118 |        5 |      246
301.65/301.73	c  301s |      19 |   620158 |   554882 |    11591    118 |        5 |      246
303.74/303.83	c  303s |      19 |   622647 |   557182 |    11591    119 |        5 |      246
305.75/305.87	c  305s |      19 |   627500 |   561382 |    11591    119 |        5 |      246
307.74/307.89	c  307s |      19 |   631566 |   565082 |    11591    120 |        5 |      246
309.84/309.95	c  309s |      19 |   635593 |   568582 |    11591    120 |        5 |      246
311.84/311.95	c  311s |      19 |   639258 |   571882 |    11591    121 |        5 |      246
313.84/313.96	c  313s |      19 |   643113 |   575382 |    11591    122 |        5 |      246
315.94/316.01	c  315s |      19 |   647017 |   578982 |    11591    122 |        5 |      246
317.95/318.03	c  317s |      19 |   650458 |   582182 |    11591    123 |        5 |      246
319.94/320.08	c  319s |      19 |   653817 |   585282 |    11591    123 |        5 |      246
322.04/322.14	c  322s |      19 |   657474 |   588682 |    11591    124 |        5 |      246
324.04/324.19	c  324s |      19 |   660151 |   591082 |    11591    124 |        5 |      246
326.14/326.22	c  326s |      19 |   663895 |   594482 |    11591    125 |        5 |      246
328.14/328.28	c  328s |      19 |   667296 |   597682 |    11591    125 |        5 |      246
330.24/330.31	c  330s |      19 |   670700 |   600882 |    11591    126 |        5 |      246
332.24/332.32	c  332s |      19 |   673583 |   603582 |    11591    126 |        5 |      246
334.24/334.37	c  334s |      19 |   677212 |   606882 |    11591    127 |        5 |      246
336.24/336.38	c  336s |      19 |   680323 |   609782 |    11591    127 |        5 |      246
338.33/338.42	c  338s |      19 |   683851 |   613082 |    11591    128 |        5 |      246
340.34/340.49	c  340s |      19 |   686433 |   615482 |    11591    128 |        5 |      246
342.44/342.53	c  342s |      19 |   690298 |   618982 |    11591    129 |        5 |      246
344.44/344.58	c  344s |      19 |   693780 |   622182 |    11591    130 |        5 |      246
346.45/346.60	c  346s |      19 |   697673 |   625682 |    11591    130 |        5 |      246
348.54/348.62	c  348s |      19 |   701335 |   629082 |    11591    131 |        5 |      246
350.54/350.64	c  350s |      19 |   704971 |   632482 |    11591    131 |        5 |      246
353.05/353.18	c  353s |      19 |   707940 |   635282 |    11591    132 |        5 |      246
355.14/355.22	c  355s |      19 |   710820 |   637882 |    11591    132 |        5 |      246
357.14/357.26	c  357s |      19 |   714581 |   641382 |    11591    133 |        5 |      246
359.14/359.27	c  359s |      19 |   718050 |   644582 |    11591    133 |        5 |      246
361.24/361.33	c  361s |      19 |   721281 |   647582 |    11591    134 |        5 |      246
363.23/363.35	c  363s |      19 |   724262 |   650282 |    11591    134 |        5 |      246
365.24/365.39	c  365s |      19 |   727774 |   653482 |    11591    135 |        5 |      246
367.34/367.43	c  367s |      19 |   731177 |   656582 |    11591    135 |        5 |      246
369.33/369.47	c  369s |      19 |   734710 |   659782 |    11591    136 |        5 |      246
371.33/371.48	c  371s |      19 |   737982 |   662782 |    12751    136 |        5 |      246
373.43/373.53	c  373s |      19 |   741086 |   665682 |    12751    137 |        5 |      246
374.33/374.48	c  374s |      20 |   742318 |   666827 |    12751    137 |        5 |      246
376.43/376.51	c  376s |      20 |   745656 |   669827 |    12751    137 |        5 |      246
378.44/378.56	c  378s |      20 |   749203 |   673127 |    12751    138 |        5 |      246
380.54/380.62	c  380s |      20 |   752420 |   676127 |    12751    138 |        5 |      246
382.53/382.65	c  382s |      20 |   755083 |   678627 |    12751    139 |        5 |      246
384.53/384.66	c  384s |      20 |   757941 |   681327 |    12751    139 |        5 |      246
386.53/386.69	c  386s |      20 |   760759 |   683927 |    12751    140 |        5 |      246
388.63/388.70	c  388s |      20 |   763836 |   686827 |    12751    140 |        5 |      246
390.63/390.79	c  390s |      20 |   766449 |   689327 |    12751    140 |        5 |      246
392.74/392.83	c  392s |      20 |   768927 |   691627 |    12751    141 |        5 |      246
394.73/394.87	c  394s |      20 |   772422 |   694827 |    12751    141 |        5 |      246
396.73/396.89	c  396s |      20 |   775438 |   697627 |    12751    142 |        5 |      246
398.83/398.91	c  398s |      20 |   778639 |   700627 |    12751    142 |        5 |      246
400.83/400.96	c  400s |      20 |   781562 |   703227 |    12751    143 |        5 |      246
402.93/403.03	c  402s |      20 |   785049 |   706427 |    12751    143 |        5 |      246
404.93/405.06	c  404s |      20 |   788114 |   709227 |    12751    143 |        5 |      246
406.93/407.10	c  406s |      20 |   791598 |   712427 |    12751    144 |        5 |      246
409.02/409.14	c  409s |      20 |   794920 |   715427 |    12751    144 |        5 |      246
411.02/411.17	c  411s |      20 |   798576 |   718627 |    12751    145 |        5 |      246
413.02/413.18	c  413s |      20 |   801700 |   721427 |    12751    145 |        5 |      246
415.03/415.19	c  415s |      20 |   805194 |   724627 |    12751    146 |        5 |      246
417.13/417.20	c  417s |      20 |   808769 |   727927 |    12751    146 |        5 |      246
419.13/419.24	c  419s |      20 |   812346 |   731227 |    12751    147 |        5 |      246
421.13/421.25	c  421s |      20 |   815413 |   734127 |    12751    147 |        5 |      246
423.53/423.61	c  423s |      20 |   818592 |   737027 |    12751    148 |        5 |      246
425.53/425.63	c  425s |      20 |   822984 |   740727 |    12751    148 |        5 |      246
427.52/427.64	c  427s |      20 |   826941 |   744227 |    12751    149 |        5 |      246
429.52/429.64	c  429s |      20 |   830835 |   747727 |    12751    149 |        5 |      246
431.62/431.70	c  431s |      20 |   834806 |   751327 |    12751    150 |        5 |      246
433.72/433.80	c  433s |      20 |   838463 |   754727 |    12751    151 |        5 |      246
435.72/435.81	c  435s |      20 |   840697 |   756727 |    12751    151 |        5 |      246
437.72/437.87	c  437s |      20 |   844598 |   760227 |    12751    151 |        5 |      246
439.72/439.89	c  439s |      20 |   848412 |   763627 |    12751    152 |        5 |      246
441.72/441.89	c  441s |      20 |   851961 |   766727 |    12751    152 |        5 |      246
443.82/443.92	c  443s |      20 |   855092 |   769527 |    12751    153 |        5 |      246
445.82/445.93	c  445s |      20 |   858697 |   772827 |    12751    153 |        5 |      246
447.81/447.98	c  447s |      20 |   862310 |   776127 |    12751    154 |        5 |      246
449.82/449.99	c  449s |      20 |   865585 |   779127 |    12751    154 |        5 |      246
451.91/452.04	c  451s |      20 |   868954 |   782227 |    12751    155 |        5 |      246
453.91/454.07	c  453s |      20 |   872122 |   785227 |    12751    155 |        5 |      246
456.42/456.59	c  456s |      20 |   874515 |   787427 |    12751    156 |        5 |      246
458.51/458.61	c  458s |      20 |   878719 |   791027 |    12751    156 |        5 |      246
460.50/460.64	c  460s |      20 |   882686 |   794527 |    12751    157 |        5 |      246
462.50/462.65	c  462s |      20 |   886072 |   797627 |    12751    157 |        5 |      246
464.50/464.66	c  464s |      20 |   889262 |   800527 |    12751    158 |        5 |      246
466.50/466.66	c  466s |      20 |   892916 |   803827 |    12751    158 |        5 |      246
468.61/468.77	c  468s |      20 |   896082 |   806727 |    12751    159 |        5 |      246
470.70/470.90	c  470s |      20 |   899484 |   809727 |    12751    159 |        5 |      246
472.80/472.95	c  472s |      20 |   902996 |   812827 |    12751    160 |        5 |      246
474.90/475.00	c  474s |      20 |   907037 |   816427 |    12751    160 |        5 |      246
476.89/477.03	c  476s |      20 |   910288 |   819427 |    12751    161 |        5 |      246
478.99/479.15	c  479s |      20 |   913787 |   822627 |    12751    161 |        5 |      246
480.99/481.16	c  481s |      20 |   917019 |   825627 |    12751    161 |        5 |      246
482.99/483.19	c  483s |      20 |   920617 |   828827 |    12751    162 |        5 |      246
485.10/485.25	c  485s |      20 |   923933 |   831827 |    12751    162 |        5 |      246
487.20/487.31	c  487s |      20 |   927523 |   835127 |    12751    163 |        5 |      246
489.20/489.37	c  489s |      20 |   930885 |   838227 |    12751    163 |        5 |      246
491.30/491.43	c  491s |      20 |   934426 |   841527 |    12751    164 |        5 |      246
493.30/493.48	c  493s |      20 |   936799 |   843627 |    12751    164 |        5 |      246
495.40/495.50	c  495s |      20 |   940651 |   847027 |    12751    165 |        5 |      246
497.39/497.56	c  497s |      20 |   944306 |   850327 |    12751    165 |        5 |      246
499.49/499.60	c  499s |      20 |   948120 |   853727 |    12751    166 |        5 |      246
501.50/501.62	c  501s |      20 |   951511 |   856827 |    12751    166 |        5 |      246
503.49/503.64	c  503s |      20 |   955149 |   860027 |    12751    167 |        5 |      246
505.59/505.70	c  505s |      20 |   958561 |   863027 |    12751    167 |        5 |      246
507.59/507.73	c  507s |      20 |   962450 |   866427 |    12751    168 |        5 |      246
509.59/509.78	c  509s |      20 |   966149 |   869727 |    12751    168 |        5 |      246
511.69/511.80	c  511s |      20 |   969716 |   872727 |    12751    169 |        5 |      246
513.69/513.83	c  513s |      20 |   973741 |   876127 |    12751    169 |        5 |      246
515.69/515.87	c  515s |      20 |   977812 |   879727 |    12751    170 |        5 |      246
517.78/517.91	c  517s |      20 |   981924 |   883327 |    12751    170 |        5 |      246
519.78/519.95	c  519s |      20 |   985997 |   887027 |    12751    171 |        5 |      246
521.88/522.00	c  521s |      20 |   988937 |   889627 |    12751    171 |        5 |      246
523.88/524.03	c  523s |      20 |   992640 |   893027 |    12751    172 |        5 |      246
525.88/526.09	c  525s |      20 |   996286 |   896327 |    12751    172 |        5 |      246
527.88/528.10	c  527s |      20 |   999999 |   899727 |    12751    173 |        5 |      246
529.98/530.11	c  530s |      20 |  1003329 |   902827 |    12751    173 |        5 |      246
531.98/532.13	c  532s |      20 |  1006683 |   905927 |    12751    174 |        5 |      246
533.97/534.18	c  534s |      20 |  1009262 |   908327 |    12751    174 |        5 |      246
535.97/536.19	c  536s |      20 |  1012389 |   911227 |    12751    175 |        5 |      246
538.07/538.21	c  538s |      20 |  1015949 |   914427 |    12751    175 |        5 |      246
540.08/540.25	c  540s |      20 |  1019311 |   917427 |    12751    176 |        5 |      246
542.18/542.30	c  542s |      20 |  1022939 |   920627 |    12751    176 |        5 |      246
544.17/544.35	c  544s |      20 |  1025700 |   923027 |    12751    177 |        5 |      246
546.17/546.37	c  546s |      20 |  1029886 |   926827 |    12751    177 |        5 |      246
548.26/548.49	c  548s |      20 |  1033134 |   929827 |    12751    178 |        5 |      246
550.36/550.55	c  550s |      20 |  1036912 |   933327 |    12751    178 |        5 |      246
552.46/552.61	c  552s |      20 |  1039897 |   936127 |    12751    179 |        5 |      246
554.46/554.67	c  554s |      20 |  1043331 |   939227 |    12751    179 |        5 |      246
556.56/556.73	c  556s |      20 |  1046119 |   941827 |    12751    179 |        5 |      246
558.55/558.74	c  558s |      20 |  1049459 |   944927 |    12751    180 |        5 |      246
560.55/560.75	c  560s |      20 |  1052623 |   947827 |    12751    180 |        5 |      246
562.55/562.77	c  562s |      20 |  1055820 |   950827 |    12751    181 |        5 |      246
564.55/564.79	c  564s |      20 |  1058866 |   953727 |    12751    181 |        5 |      246
566.65/566.80	c  566s |      20 |  1061573 |   956227 |    12751    182 |        5 |      246
568.66/568.86	c  568s |      20 |  1065216 |   959527 |    12751    182 |        5 |      246
570.65/570.88	c  570s |      20 |  1068446 |   962527 |    12751    183 |        5 |      246
572.76/572.94	c  572s |      20 |  1071955 |   965827 |    12751    183 |        5 |      246
574.76/575.00	c  574s |      20 |  1074482 |   968127 |    12751    184 |        5 |      246
576.86/577.04	c  576s |      20 |  1078175 |   971527 |    12751    184 |        5 |      246
578.95/579.16	c  579s |      20 |  1081400 |   974327 |    12751    185 |        5 |      246
581.05/581.21	c  581s |      20 |  1085365 |   977827 |    12751    185 |        5 |      246
583.05/583.22	c  583s |      20 |  1088608 |   980727 |    12751    185 |        5 |      246
585.05/585.23	c  585s |      20 |  1092575 |   984327 |    12751    186 |        5 |      246
587.05/587.28	c  587s |      20 |  1095614 |   987127 |    12751    186 |        5 |      246
589.05/589.29	c  589s |      20 |  1099512 |   990727 |    12751    187 |        5 |      246
591.15/591.35	c  591s |      20 |  1102597 |   993627 |    14027    187 |        5 |      246
593.15/593.39	c  593s |      20 |  1105830 |   996627 |    14027    188 |        5 |      246
595.25/595.44	c  595s |      20 |  1107582 |   998127 |    14027    188 |        5 |      246
596.55/596.77	c  596s |      21 |  1110089 |  1000345 |    14027    188 |        5 |      246
598.55/598.79	c  598s |      21 |  1113636 |  1003545 |    14027    189 |        5 |      246
600.65/600.82	c  600s |      21 |  1117270 |  1006845 |    14027    189 |        5 |      246
602.65/602.84	c  602s |      21 |  1120557 |  1009945 |    14027    190 |        5 |      246
604.64/604.87	c  604s |      21 |  1123406 |  1012545 |    14027    190 |        5 |      246
606.64/606.89	c  606s |      21 |  1126663 |  1015545 |    14027    190 |        5 |      246
608.74/608.96	c  608s |      21 |  1129970 |  1018645 |    14027    191 |        5 |      246
610.84/611.01	c  610s |      21 |  1133278 |  1021645 |    14027    191 |        5 |      246
612.84/613.05	c  612s |      21 |  1136491 |  1024545 |    14027    192 |        5 |      246
615.44/615.64	c  615s |      21 |  1139656 |  1027445 |    14027    192 |        5 |      246
617.43/617.64	c  617s |      21 |  1142734 |  1030245 |    14027    192 |        5 |      246
619.43/619.69	c  619s |      21 |  1146429 |  1033645 |    14027    193 |        5 |      246
621.53/621.71	c  621s |      21 |  1149620 |  1036645 |    14027    193 |        5 |      246
623.54/623.75	c  623s |      21 |  1152588 |  1039445 |    14027    194 |        5 |      246
625.63/625.80	c  625s |      21 |  1155578 |  1042145 |    14027    194 |        5 |      246
627.73/627.95	c  627s |      21 |  1158452 |  1044745 |    14027    195 |        5 |      246
629.73/629.96	c  629s |      21 |  1162110 |  1048145 |    14027    195 |        5 |      246
631.83/632.01	c  631s |      21 |  1164709 |  1050545 |    14027    195 |        5 |      246
633.83/634.06	c  633s |      21 |  1167659 |  1053245 |    14027    196 |        5 |      246
635.93/636.11	c  636s |      21 |  1170933 |  1056245 |    14027    196 |        5 |      246
638.02/638.23	c  638s |      21 |  1173859 |  1058945 |    14027    197 |        5 |      246
640.03/640.28	c  640s |      21 |  1177391 |  1062245 |    14027    197 |        5 |      246
642.12/642.35	c  642s |      21 |  1180776 |  1065145 |    14027    197 |        5 |      246
644.22/644.41	c  644s |      21 |  1183586 |  1067745 |    14027    198 |        5 |      246
646.22/646.47	c  646s |      21 |  1186508 |  1070445 |    14027    198 |        5 |      246
649.42/649.67	c  649s |      21 |  1188089 |  1071945 |    14027    198 |        5 |      246
651.62/651.80	c  651s |      21 |  1191906 |  1075345 |    14027    199 |        5 |      246
653.62/653.82	c  653s |      21 |  1195425 |  1078545 |    14027    199 |        5 |      246
655.62/655.85	c  655s |      21 |  1198474 |  1081345 |    14027    200 |        5 |      246
657.62/657.89	c  657s |      21 |  1202049 |  1084545 |    14027    200 |        5 |      246
659.82/660.07	c  659s |      21 |  1205165 |  1087345 |    14027    201 |        5 |      246
661.91/662.13	c  662s |      21 |  1208796 |  1090645 |    14027    201 |        5 |      246
664.01/664.20	c  664s |      21 |  1212024 |  1093645 |    14027    201 |        5 |      246
666.01/666.29	c  666s |      21 |  1215187 |  1096545 |    14027    202 |        5 |      246
668.11/668.35	c  668s |      21 |  1218480 |  1099545 |    14027    202 |        5 |      246
670.11/670.38	c  670s |      21 |  1221272 |  1102145 |    14027    203 |        5 |      246
672.51/672.74	c  672s |      21 |  1223724 |  1104445 |    14027    203 |        5 |      246
674.51/674.77	c  674s |      21 |  1227314 |  1107645 |    14027    203 |        5 |      246
676.61/676.82	c  676s |      21 |  1231017 |  1110945 |    14027    204 |        5 |      246
678.61/678.89	c  678s |      21 |  1234340 |  1113945 |    14027    204 |        5 |      246
680.71/680.93	c  680s |      21 |  1237012 |  1116445 |    14027    205 |        5 |      246
682.70/682.95	c  682s |      21 |  1240541 |  1119645 |    14027    205 |        5 |      246
684.70/684.99	c  684s |      21 |  1243204 |  1122145 |    14027    205 |        5 |      246
686.80/687.07	c  686s |      21 |  1246426 |  1125145 |    14027    206 |        5 |      246
688.79/689.08	c  688s |      21 |  1249235 |  1127745 |    14027    206 |        5 |      246
690.79/691.09	c  690s |      21 |  1252112 |  1130345 |    14027    207 |        5 |      246
692.90/693.14	c  693s |      21 |  1255480 |  1133445 |    14027    207 |        5 |      246
694.89/695.20	c  695s |      21 |  1258468 |  1136245 |    14027    207 |        5 |      246
696.99/697.23	c  697s |      21 |  1261115 |  1138745 |    14027    208 |        5 |      246
699.09/699.31	c  699s |      21 |  1263918 |  1141445 |    14027    208 |        5 |      246
701.09/701.32	c  701s |      21 |  1266487 |  1143845 |    14027    208 |        5 |      246
703.09/703.35	c  703s |      21 |  1267200 |  1144445 |    14027    209 |        5 |      246
705.09/705.35	c  705s |      21 |  1271212 |  1147945 |    14027    209 |        5 |      246
707.19/707.47	c  707s |      21 |  1274844 |  1151145 |    14027    210 |        5 |      246
709.19/709.49	c  709s |      21 |  1278427 |  1154445 |    14027    210 |        5 |      246
711.29/711.50	c  711s |      21 |  1281960 |  1157545 |    14027    210 |        5 |      246
713.29/713.55	c  713s |      21 |  1285763 |  1160945 |    14027    211 |        5 |      246
715.58/715.85	c  715s |      21 |  1288797 |  1163545 |    14027    211 |        5 |      246
717.58/717.89	c  717s |      21 |  1292308 |  1166645 |    14027    212 |        5 |      246
719.68/719.95	c  719s |      21 |  1295804 |  1169845 |    14027    212 |        5 |      246
721.78/722.00	c  721s |      21 |  1299175 |  1172945 |    14027    213 |        5 |      246
723.78/724.00	c  723s |      21 |  1302622 |  1176045 |    14027    213 |        5 |      246
725.79/726.08	c  725s |      21 |  1305799 |  1178945 |    14027    213 |        5 |      246
727.78/728.09	c  727s |      21 |  1309362 |  1182245 |    14027    214 |        5 |      246
729.88/730.11	c  730s |      21 |  1312489 |  1185145 |    14027    214 |        5 |      246
731.88/732.13	c  732s |      21 |  1315388 |  1187845 |    14027    215 |        5 |      246
733.88/734.14	c  734s |      21 |  1318831 |  1191045 |    14027    215 |        5 |      246
735.87/736.19	c  736s |      21 |  1320102 |  1192145 |    14027    215 |        5 |      246
737.98/738.24	c  738s |      21 |  1324022 |  1195545 |    14027    216 |        5 |      246
739.97/740.24	c  740s |      21 |  1327842 |  1198945 |    14027    216 |        5 |      246
741.97/742.25	c  742s |      21 |  1331204 |  1202045 |    14027    217 |        5 |      246
744.07/744.31	c  744s |      21 |  1334491 |  1205045 |    14027    217 |        5 |      246
746.07/746.31	c  746s |      21 |  1337552 |  1207845 |    14027    218 |        5 |      246
748.06/748.35	c  748s |      21 |  1340969 |  1211045 |    14027    218 |        5 |      246
750.16/750.42	c  750s |      21 |  1344033 |  1213845 |    14027    218 |        5 |      246
752.17/752.46	c  752s |      21 |  1347080 |  1216645 |    14027    219 |        5 |      246
754.26/754.50	c  754s |      21 |  1350378 |  1219645 |    14027    219 |        5 |      246
756.26/756.56	c  756s |      21 |  1353154 |  1222245 |    14027    220 |        5 |      246
758.36/758.62	c  758s |      21 |  1355275 |  1224145 |    14027    220 |        5 |      246
760.36/760.67	c  760s |      21 |  1359056 |  1227545 |    14027    220 |        5 |      246
762.36/762.68	c  762s |      21 |  1362464 |  1230645 |    14027    221 |        5 |      246
764.46/764.71	c  764s |      21 |  1365964 |  1233845 |    14027    221 |        5 |      246
766.47/766.73	c  766s |      21 |  1368779 |  1236445 |    14027    222 |        5 |      246
768.55/768.80	c  768s |      21 |  1372092 |  1239545 |    14027    222 |        5 |      246
770.55/770.81	c  770s |      21 |  1374939 |  1242245 |    14027    222 |        5 |      246
772.55/772.85	c  772s |      21 |  1377844 |  1244945 |    14027    223 |        5 |      246
774.55/774.88	c  774s |      21 |  1379629 |  1246545 |    14027    223 |        5 |      246
776.55/776.89	c  776s |      21 |  1382709 |  1249345 |    14027    223 |        5 |      246
778.65/778.93	c  778s |      21 |  1385935 |  1252345 |    14027    224 |        5 |      246
780.65/780.93	c  780s |      21 |  1388950 |  1255145 |    14027    224 |        5 |      246
782.65/782.96	c  782s |      21 |  1391680 |  1257645 |    14027    225 |        5 |      246
784.65/785.00	c  784s |      21 |  1394810 |  1260545 |    14027    225 |        5 |      246
786.75/787.02	c  786s |      21 |  1397383 |  1262945 |    14027    225 |        5 |      246
788.74/789.03	c  788s |      21 |  1400084 |  1265445 |    14027    226 |        5 |      246
790.75/791.09	c  790s |      21 |  1403096 |  1268245 |    14027    226 |        5 |      246
792.74/793.09	c  792s |      21 |  1404407 |  1269445 |    14027    226 |        5 |      246
794.84/795.10	c  794s |      21 |  1407116 |  1271945 |    14027    227 |        5 |      246
796.84/797.13	c  797s |      21 |  1410375 |  1275045 |    14027    227 |        5 |      246
798.94/799.22	c  799s |      21 |  1413270 |  1277745 |    14027    227 |        5 |      246
800.94/801.24	c  801s |      21 |  1415932 |  1280245 |    14027    228 |        5 |      246
802.94/803.29	c  803s |      21 |  1418604 |  1282745 |    14027    228 |        5 |      246
805.04/805.31	c  805s |      21 |  1421161 |  1285145 |    14027    228 |        5 |      246
807.03/807.38	c  807s |      21 |  1423705 |  1287545 |    14027    229 |        5 |      246
809.13/809.45	c  809s |      21 |  1426463 |  1290145 |    14027    229 |        5 |      246
811.23/811.53	c  811s |      21 |  1428879 |  1292445 |    14027    229 |        5 |      246
813.23/813.58	c  813s |      21 |  1431513 |  1294945 |    14027    230 |        5 |      246
815.33/815.66	c  815s |      21 |  1433496 |  1296745 |    14027    230 |        5 |      246
817.42/817.71	c  817s |      21 |  1436170 |  1299245 |    14027    230 |        5 |      246
819.42/819.77	c  819s |      21 |  1439158 |  1302045 |    14027    231 |        5 |      246
821.53/821.81	c  821s |      21 |  1442065 |  1304745 |    14027    231 |        5 |      246
823.52/823.86	c  823s |      21 |  1444492 |  1307045 |    14027    231 |        5 |      246
826.02/826.34	c  826s |      21 |  1447035 |  1309445 |    14027    232 |        5 |      246
828.02/828.38	c  828s |      21 |  1450079 |  1312245 |    14027    232 |        5 |      246
830.12/830.40	c  830s |      21 |  1452668 |  1314645 |    14027    233 |        5 |      246
832.12/832.44	c  832s |      21 |  1455834 |  1317645 |    14027    233 |        5 |      246
834.11/834.49	c  834s |      21 |  1458642 |  1320245 |    14027    233 |        5 |      246
836.11/836.50	c  836s |      21 |  1461158 |  1322545 |    14027    234 |        5 |      246
838.21/838.58	c  838s |      21 |  1464355 |  1325445 |    14027    234 |        5 |      246
840.32/840.63	c  840s |      21 |  1467460 |  1328345 |    14027    234 |        5 |      246
842.32/842.69	c  842s |      21 |  1470748 |  1331445 |    14027    235 |        5 |      246
844.42/844.73	c  844s |      21 |  1473438 |  1333945 |    14027    235 |        5 |      246
846.42/846.73	c  846s |      21 |  1475890 |  1336245 |    14027    236 |        5 |      246
848.41/848.79	c  848s |      21 |  1479094 |  1339245 |    14027    236 |        5 |      246
850.51/850.83	c  850s |      21 |  1481774 |  1341745 |    14027    236 |        5 |      246
852.51/852.86	c  852s |      21 |  1484474 |  1344245 |    14027    237 |        5 |      246
854.61/854.90	c  854s |      21 |  1486231 |  1345745 |    14027    237 |        5 |      246
856.62/856.93	c  856s |      21 |  1489371 |  1348645 |    14027    237 |        5 |      246
858.60/858.98	c  858s |      21 |  1492194 |  1351245 |    14027    238 |        5 |      246
860.70/861.05	c  860s |      21 |  1495487 |  1354345 |    14027    238 |        5 |      246
862.80/863.12	c  863s |      21 |  1498181 |  1356845 |    14027    238 |        5 |      246
864.80/865.12	c  865s |      21 |  1501314 |  1359645 |    14027    239 |        5 |      246
866.80/867.15	c  867s |      21 |  1504381 |  1362445 |    14027    239 |        5 |      246
868.90/869.21	c  869s |      21 |  1506223 |  1364145 |    14027    240 |        5 |      246
870.90/871.22	c  871s |      21 |  1509541 |  1367145 |    14027    240 |        5 |      246
872.89/873.25	c  873s |      21 |  1512867 |  1370245 |    14027    240 |        5 |      246
874.89/875.26	c  875s |      21 |  1515920 |  1373045 |    14027    241 |        5 |      246
876.89/877.29	c  877s |      21 |  1518788 |  1375745 |    14027    241 |        5 |      246
879.09/879.41	c  879s |      21 |  1521651 |  1378345 |    14027    242 |        5 |      246
881.09/881.41	c  881s |      21 |  1524828 |  1381245 |    14027    242 |        5 |      246
883.10/883.47	c  883s |      21 |  1528053 |  1384245 |    14027    242 |        5 |      246
885.09/885.49	c  885s |      21 |  1530988 |  1386845 |    14027    243 |        5 |      246
887.18/887.55	c  887s |      21 |  1533909 |  1389545 |    14027    243 |        5 |      246
889.28/889.62	c  889s |      21 |  1536787 |  1392245 |    14027    243 |        5 |      246
891.28/891.68	c  891s |      21 |  1539897 |  1395045 |    14027    244 |        5 |      246
893.38/893.74	c  893s |      21 |  1543038 |  1397845 |    14027    244 |        5 |      246
895.48/895.80	c  895s |      21 |  1546123 |  1400645 |    14027    245 |        5 |      246
897.68/898.03	c  897s |      21 |  1549456 |  1403745 |    14027    245 |        5 |      246
899.68/900.05	c  899s |      21 |  1552443 |  1406445 |    14027    245 |        5 |      246
901.68/902.09	c  901s |      21 |  1555681 |  1409445 |    14027    246 |        5 |      246
903.78/904.13	c  904s |      21 |  1558554 |  1412145 |    14027    246 |        5 |      246
905.78/906.14	c  906s |      21 |  1561260 |  1414645 |    14027    247 |        5 |      246
907.77/908.16	c  908s |      21 |  1563412 |  1416645 |    14027    247 |        5 |      246
909.87/910.21	c  910s |      21 |  1566336 |  1419345 |    14027    247 |        5 |      246
911.87/912.26	c  912s |      21 |  1569320 |  1422145 |    14027    248 |        5 |      246
913.97/914.32	c  914s |      21 |  1572197 |  1424845 |    14027    248 |        5 |      246
915.98/916.33	c  916s |      21 |  1574727 |  1427145 |    14027    248 |        5 |      246
917.97/918.38	c  918s |      21 |  1577152 |  1429445 |    14027    249 |        5 |      246
920.07/920.40	c  920s |      21 |  1579574 |  1431645 |    14027    249 |        5 |      246
922.07/922.41	c  922s |      21 |  1582410 |  1434245 |    14027    249 |        5 |      246
924.07/924.42	c  924s |      21 |  1585118 |  1436745 |    14027    250 |        5 |      246
926.07/926.44	c  926s |      21 |  1588102 |  1439545 |    14027    250 |        5 |      246
928.57/928.91	c  928s |      21 |  1590755 |  1442045 |    14027    250 |        5 |      246
930.56/930.94	c  930s |      21 |  1593697 |  1444745 |    14027    251 |        5 |      246
932.57/933.00	c  932s |      21 |  1596815 |  1447645 |    14027    251 |        5 |      246
934.67/935.01	c  934s |      21 |  1599695 |  1450345 |    14027    252 |        5 |      246
936.66/937.02	c  936s |      21 |  1602812 |  1453245 |    14027    252 |        5 |      246
938.66/939.03	c  938s |      21 |  1605561 |  1455845 |    14027    252 |        5 |      246
940.66/941.05	c  940s |      21 |  1607464 |  1457645 |    14027    253 |        5 |      246
942.66/943.07	c  942s |      21 |  1610278 |  1460345 |    14027    253 |        5 |      246
944.76/945.16	c  945s |      21 |  1612984 |  1462845 |    14027    253 |        5 |      246
946.86/947.21	c  947s |      21 |  1615634 |  1465345 |    14027    254 |        5 |      246
948.85/949.23	c  949s |      21 |  1618175 |  1467745 |    14027    254 |        5 |      246
951.16/951.52	c  951s |      21 |  1620655 |  1470045 |    14027    254 |        5 |      246
953.15/953.52	c  953s |      21 |  1623798 |  1472945 |    14027    255 |        5 |      246
955.15/955.54	c  955s |      21 |  1626520 |  1475545 |    14027    255 |        5 |      246
957.15/957.56	c  957s |      21 |  1628807 |  1477745 |    14027    255 |        5 |      246
959.25/959.63	c  959s |      21 |  1631334 |  1480145 |    14027    256 |        5 |      246
961.25/961.69	c  961s |      21 |  1633787 |  1482345 |    14027    256 |        5 |      246
963.26/963.70	c  963s |      21 |  1635764 |  1484245 |    14027    256 |        5 |      246
965.35/965.72	c  965s |      21 |  1637442 |  1485845 |    14027    257 |        5 |      246
967.35/967.76	c  967s |      21 |  1640354 |  1488545 |    14027    257 |        5 |      246
969.35/969.78	c  969s |      21 |  1642677 |  1490745 |    15430    257 |        5 |      246
971.45/971.87	c  971s |      21 |  1644908 |  1492845 |    15430    257 |        5 |      246
973.55/973.91	c  973s |      21 |  1647424 |  1495145 |    15430    258 |        5 |      246
975.55/975.99	c  975s |      21 |  1650174 |  1497745 |    15430    258 |        5 |      246
977.65/978.04	c  977s |      21 |  1652307 |  1499745 |    15430    258 |        5 |      246
978.44/978.89	c  978s |      22 |  1653254 |  1500622 |    15430    258 |        5 |      246
980.54/980.93	c  980s |      22 |  1655899 |  1502922 |    15430    259 |        5 |      246
982.54/982.99	c  982s |      22 |  1659249 |  1505822 |    15430    259 |        5 |      246
984.64/985.05	c  984s |      22 |  1662422 |  1508622 |    15430    259 |        5 |      246
986.64/987.09	c  986s |      22 |  1666001 |  1511822 |    15430    260 |        5 |      246
988.74/989.16	c  989s |      22 |  1669007 |  1514522 |    15430    260 |        5 |      246
990.75/991.16	c  991s |      22 |  1671771 |  1517022 |    15430    261 |        5 |      246
992.74/993.17	c  993s |      22 |  1675200 |  1520122 |    15430    261 |        5 |      246
994.84/995.22	c  995s |      22 |  1678073 |  1522822 |    15430    261 |        5 |      246
996.84/997.24	c  997s |      22 |  1680490 |  1525022 |    15430    262 |        5 |      246
998.83/999.28	c  999s |      22 |  1683694 |  1527822 |    15430    262 |        5 |      246
1000.93/1001.31	c 1001s |      22 |  1686846 |  1530522 |    15430    262 |        5 |      246
1002.94/1003.35	c 1003s |      22 |  1689949 |  1533322 |    15430    263 |        5 |      246
1004.93/1005.39	c 1005s |      22 |  1693404 |  1536422 |    15430    263 |        5 |      246
1007.02/1007.42	c 1007s |      22 |  1696462 |  1539122 |    15430    263 |        5 |      246
1009.02/1009.46	c 1009s |      22 |  1699637 |  1542022 |    15430    264 |        5 |      246
1011.12/1011.51	c 1011s |      22 |  1702719 |  1544822 |    15430    264 |        5 |      246
1013.12/1013.54	c 1013s |      22 |  1705388 |  1547322 |    15430    264 |        5 |      246
1015.22/1015.61	c 1015s |      22 |  1708047 |  1549822 |    15430    265 |        5 |      246
1017.23/1017.64	c 1017s |      22 |  1711000 |  1552522 |    15430    265 |        5 |      246
1019.33/1019.71	c 1019s |      22 |  1713785 |  1555122 |    15430    265 |        5 |      246
1021.32/1021.74	c 1021s |      22 |  1716218 |  1557322 |    15430    266 |        5 |      246
1023.33/1023.76	c 1023s |      22 |  1719126 |  1560022 |    15430    266 |        5 |      246
1025.32/1025.76	c 1025s |      22 |  1721817 |  1562422 |    15430    266 |        5 |      246
1027.32/1027.77	c 1027s |      22 |  1724299 |  1564622 |    15430    267 |        5 |      246
1029.42/1029.80	c 1029s |      22 |  1727943 |  1567822 |    15430    267 |        5 |      246
1031.42/1031.81	c 1031s |      22 |  1729098 |  1568822 |    15430    267 |        5 |      246
1033.42/1033.84	c 1033s |      22 |  1732220 |  1571622 |    15430    268 |        5 |      246
1035.52/1035.90	c 1035s |      22 |  1735582 |  1574722 |    15430    268 |        5 |      246
1037.52/1037.91	c 1037s |      22 |  1738748 |  1577622 |    15430    268 |        5 |      246
1039.52/1039.94	c 1039s |      22 |  1741570 |  1580122 |    15430    269 |        5 |      246
1041.52/1041.95	c 1041s |      22 |  1745229 |  1583322 |    15430    269 |        5 |      246
1043.62/1044.02	c 1043s |      22 |  1748297 |  1586022 |    15430    269 |        5 |      246
1045.62/1046.04	c 1045s |      22 |  1751747 |  1589122 |    15430    270 |        5 |      246
1047.61/1048.07	c 1047s |      22 |  1755115 |  1592222 |    15430    270 |        5 |      246
1049.71/1050.13	c 1050s |      22 |  1757974 |  1594822 |    15430    270 |        5 |      246
1051.71/1052.15	c 1052s |      22 |  1761157 |  1597722 |    15430    271 |        5 |      246
1053.71/1054.16	c 1054s |      22 |  1764220 |  1600522 |    15430    271 |        5 |      246
1055.72/1056.17	c 1056s |      22 |  1766924 |  1603022 |    15430    272 |        5 |      246
1057.71/1058.17	c 1058s |      22 |  1770290 |  1606122 |    15430    272 |        5 |      246
1059.81/1060.20	c 1060s |      22 |  1773052 |  1608722 |    15430    272 |        5 |      246
1063.71/1064.10	c 1063s |      22 |  1774972 |  1610522 |    15430    273 |        5 |      246
1065.71/1066.15	c 1066s |      22 |  1778384 |  1613622 |    15430    273 |        5 |      246
1067.72/1068.18	c 1068s |      22 |  1781318 |  1616322 |    15430    273 |        5 |      246
1069.81/1070.24	c 1070s |      22 |  1783892 |  1618722 |    15430    274 |        5 |      246
1071.81/1072.25	c 1072s |      22 |  1786619 |  1621322 |    15430    274 |        5 |      246
1073.91/1074.31	c 1074s |      22 |  1788997 |  1623622 |    15430    274 |        5 |      246
1075.91/1076.38	c 1076s |      22 |  1791448 |  1625922 |    15430    274 |        5 |      246
1077.90/1078.40	c 1078s |      22 |  1794074 |  1628422 |    15430    275 |        5 |      246
1080.00/1080.45	c 1080s |      22 |  1796847 |  1631022 |    15430    275 |        5 |      246
1082.11/1082.50	c 1082s |      22 |  1799199 |  1633222 |    15430    275 |        5 |      246
1084.10/1084.55	c 1084s |      22 |  1800824 |  1634722 |    15430    276 |        5 |      246
1086.20/1086.62	c 1086s |      22 |  1803370 |  1637122 |    15430    276 |        5 |      246
1088.20/1088.66	c 1088s |      22 |  1805810 |  1639422 |    15430    276 |        5 |      246
1090.30/1090.73	c 1090s |      22 |  1808168 |  1641622 |    15430    276 |        5 |      246
1092.40/1092.83	c 1092s |      22 |  1811300 |  1644422 |    15430    277 |        5 |      246
1094.40/1094.88	c 1094s |      22 |  1814040 |  1646922 |    15430    277 |        5 |      246
1096.50/1096.91	c 1096s |      22 |  1816320 |  1649022 |    15430    277 |        5 |      246
1098.50/1098.94	c 1098s |      22 |  1819565 |  1651922 |    15430    278 |        5 |      246
1100.49/1100.99	c 1100s |      22 |  1822739 |  1654822 |    15430    278 |        5 |      246
1102.59/1103.06	c 1102s |      22 |  1825271 |  1657122 |    15430    278 |        5 |      246
1104.59/1105.08	c 1104s |      22 |  1828077 |  1659622 |    15430    279 |        5 |      246
1106.69/1107.12	c 1107s |      22 |  1830925 |  1662222 |    15430    279 |        5 |      246
1108.69/1109.18	c 1109s |      22 |  1833284 |  1664422 |    15430    279 |        5 |      246
1110.70/1111.19	c 1111s |      22 |  1835801 |  1666822 |    15430    280 |        5 |      246
1112.69/1113.20	c 1113s |      22 |  1838759 |  1669522 |    15430    280 |        5 |      246
1114.79/1115.27	c 1115s |      22 |  1841219 |  1671822 |    15430    280 |        5 |      246
1116.89/1117.30	c 1117s |      22 |  1843752 |  1674122 |    15430    281 |        5 |      246
1118.89/1119.33	c 1119s |      22 |  1847039 |  1677122 |    15430    281 |        5 |      246
1120.89/1121.36	c 1121s |      22 |  1849825 |  1679722 |    15430    281 |        5 |      246
1123.00/1123.40	c 1123s |      22 |  1850714 |  1680522 |    15430    281 |        5 |      246
1125.10/1125.56	c 1125s |      22 |  1853706 |  1683222 |    15430    282 |        5 |      246
1127.10/1127.57	c 1127s |      22 |  1857192 |  1686422 |    15430    282 |        5 |      246
1129.20/1129.60	c 1129s |      22 |  1860004 |  1689022 |    15430    283 |        5 |      246
1131.20/1131.62	c 1131s |      22 |  1863169 |  1691922 |    15430    283 |        5 |      246
1133.20/1133.69	c 1133s |      22 |  1865946 |  1694522 |    15430    283 |        5 |      246
1135.30/1135.72	c 1135s |      22 |  1868329 |  1696722 |    15430    284 |        5 |      246
1137.70/1138.16	c 1138s |      22 |  1871022 |  1699222 |    15430    284 |        5 |      246
1139.79/1140.21	c 1140s |      22 |  1873982 |  1701922 |    15430    284 |        5 |      246
1141.79/1142.23	c 1142s |      22 |  1876470 |  1704222 |    15430    285 |        5 |      246
1143.79/1144.29	c 1144s |      22 |  1879357 |  1706922 |    15430    285 |        5 |      246
1145.90/1146.36	c 1146s |      22 |  1881975 |  1709422 |    15430    285 |        5 |      246
1147.89/1148.39	c 1148s |      22 |  1884193 |  1711422 |    15430    285 |        5 |      246
1149.99/1150.44	c 1150s |      22 |  1886818 |  1713822 |    15430    286 |        5 |      246
1151.99/1152.48	c 1152s |      22 |  1889532 |  1716322 |    15430    286 |        5 |      246
1154.09/1154.55	c 1154s |      22 |  1891994 |  1718622 |    15430    286 |        5 |      246
1156.19/1156.60	c 1156s |      22 |  1894522 |  1721022 |    15430    287 |        5 |      246
1158.19/1158.66	c 1158s |      22 |  1896759 |  1723122 |    15430    287 |        5 |      246
1160.29/1160.71	c 1160s |      22 |  1899418 |  1725622 |    15430    287 |        5 |      246
1162.30/1162.76	c 1162s |      22 |  1901520 |  1727622 |    15430    288 |        5 |      246
1164.39/1164.80	c 1164s |      22 |  1904473 |  1730322 |    15430    288 |        5 |      246
1166.39/1166.88	c 1166s |      22 |  1907129 |  1732822 |    15430    288 |        5 |      246
1168.49/1168.95	c 1168s |      22 |  1909575 |  1735122 |    15430    288 |        5 |      246
1170.59/1171.00	c 1170s |      22 |  1912221 |  1737622 |    15430    289 |        5 |      246
1172.59/1173.06	c 1172s |      22 |  1915077 |  1740322 |    15430    289 |        5 |      246
1174.59/1175.06	c 1174s |      22 |  1917411 |  1742522 |    15430    289 |        5 |      246
1176.59/1177.10	c 1176s |      22 |  1919924 |  1744922 |    15430    290 |        5 |      246
1178.69/1179.10	c 1178s |      22 |  1922329 |  1747222 |    15430    290 |        5 |      246
1180.69/1181.15	c 1181s |      22 |  1923398 |  1748222 |    15430    290 |        5 |      246
1182.68/1183.17	c 1183s |      22 |  1926507 |  1751022 |    15430    290 |        5 |      246
1184.78/1185.22	c 1185s |      22 |  1929445 |  1753722 |    15430    291 |        5 |      246
1186.98/1187.46	c 1187s |      22 |  1932334 |  1756422 |    15430    291 |        5 |      246
1188.98/1189.49	c 1189s |      22 |  1935077 |  1758822 |    15430    292 |        5 |      246
1191.08/1191.52	c 1191s |      22 |  1938198 |  1761622 |    15430    292 |        5 |      246
1193.09/1193.53	c 1193s |      22 |  1941258 |  1764422 |    15430    292 |        5 |      246
1195.08/1195.57	c 1195s |      22 |  1943852 |  1766822 |    15430    293 |        5 |      246
1197.08/1197.60	c 1197s |      22 |  1946960 |  1769722 |    15430    293 |        5 |      246
1199.18/1199.64	c 1199s |      22 |  1949698 |  1772322 |    15430    293 |        5 |      246
1201.48/1201.93	c 1201s |      22 |  1951904 |  1774322 |    15430    293 |        5 |      246
1203.48/1203.99	c 1203s |      22 |  1954198 |  1776422 |    15430    294 |        5 |      246
1205.58/1206.03	c 1205s |      22 |  1957210 |  1779122 |    15430    294 |        5 |      246
1207.58/1208.09	c 1207s |      22 |  1959803 |  1781522 |    15430    294 |        5 |      246
1209.69/1210.14	c 1210s |      22 |  1962683 |  1784222 |    15430    295 |        5 |      246
1211.78/1212.22	c 1212s |      22 |  1965956 |  1787222 |    15430    295 |        5 |      246
1213.78/1214.25	c 1214s |      22 |  1968376 |  1789522 |    15430    295 |        5 |      246
1215.79/1216.27	c 1216s |      22 |  1970341 |  1791322 |    15430    296 |        5 |      246
1217.88/1218.35	c 1218s |      22 |  1973625 |  1794322 |    15430    296 |        5 |      246
1219.88/1220.38	c 1220s |      22 |  1976295 |  1796822 |    15430    296 |        5 |      246
1221.98/1222.43	c 1222s |      22 |  1978845 |  1799222 |    15430    297 |        5 |      246
1223.99/1224.44	c 1224s |      22 |  1981545 |  1801722 |    15430    297 |        5 |      246
1226.09/1226.52	c 1226s |      22 |  1984082 |  1804122 |    15430    297 |        5 |      246
1228.08/1228.54	c 1228s |      22 |  1986421 |  1806322 |    15430    298 |        5 |      246
1230.18/1230.62	c 1230s |      22 |  1989188 |  1808922 |    15430    298 |        5 |      246
1232.18/1232.65	c 1232s |      22 |  1989769 |  1809422 |    15430    298 |        5 |      246
1234.28/1234.70	c 1234s |      22 |  1993033 |  1812322 |    15430    298 |        5 |      246
1236.28/1236.71	c 1236s |      22 |  1995920 |  1814922 |    15430    299 |        5 |      246
1238.29/1238.74	c 1238s |      22 |  1999125 |  1817822 |    15430    299 |        5 |      246
1240.28/1240.77	c 1240s |      22 |  2001955 |  1820422 |    15430    299 |        5 |      246
1242.48/1243.00	c 1242s |      22 |  2004519 |  1822722 |    15430    300 |        5 |      246
1244.58/1245.03	c 1244s |      22 |  2007995 |  1825822 |    15430    300 |        5 |      246
1246.58/1247.08	c 1246s |      22 |  2011083 |  1828522 |    15430    300 |        5 |      246
1248.58/1249.09	c 1248s |      22 |  2013478 |  1830622 |    15430    301 |        5 |      246
1250.68/1251.12	c 1251s |      22 |  2017144 |  1833922 |    15430    301 |        5 |      246
1252.68/1253.16	c 1253s |      22 |  2020371 |  1836822 |    15430    301 |        5 |      246
1254.68/1255.17	c 1255s |      22 |  2023843 |  1840022 |    15430    302 |        5 |      246
1256.78/1257.21	c 1257s |      22 |  2026762 |  1842722 |    15430    302 |        5 |      246
1258.78/1259.28	c 1259s |      22 |  2029228 |  1845022 |    15430    303 |        5 |      246
1260.78/1261.28	c 1261s |      22 |  2032419 |  1847922 |    15430    303 |        5 |      246
1262.88/1263.34	c 1263s |      22 |  2035090 |  1850422 |    15430    303 |        5 |      246
1264.88/1265.38	c 1265s |      22 |  2037579 |  1852722 |    15430    304 |        5 |      246
1266.98/1267.42	c 1267s |      22 |  2040716 |  1855622 |    15430    304 |        5 |      246
1268.98/1269.48	c 1269s |      22 |  2041055 |  1855922 |    15430    304 |        5 |      246
1271.07/1271.52	c 1271s |      22 |  2044060 |  1858622 |    15430    304 |        5 |      246
1273.07/1273.59	c 1273s |      22 |  2046640 |  1861022 |    15430    305 |        5 |      246
1275.27/1275.70	c 1275s |      22 |  2049605 |  1863822 |    15430    305 |        5 |      246
1277.27/1277.78	c 1277s |      22 |  2052118 |  1866222 |    15430    305 |        5 |      246
1279.37/1279.85	c 1279s |      22 |  2054333 |  1868322 |    15430    306 |        5 |      246
1281.37/1281.89	c 1281s |      22 |  2056949 |  1870722 |    15430    306 |        5 |      246
1283.47/1283.97	c 1283s |      22 |  2059312 |  1872922 |    15430    306 |        5 |      246
1285.47/1285.99	c 1285s |      22 |  2061465 |  1874922 |    15430    306 |        5 |      246
1287.67/1288.11	c 1288s |      22 |  2062930 |  1876322 |    15430    307 |        5 |      246
1289.67/1290.15	c 1290s |      22 |  2066093 |  1879222 |    15430    307 |        5 |      246
1291.77/1292.25	c 1292s |      22 |  2068784 |  1881722 |    15430    307 |        5 |      246
1293.77/1294.28	c 1294s |      22 |  2070914 |  1883722 |    15430    308 |        5 |      246
1295.87/1296.33	c 1296s |      22 |  2073962 |  1886622 |    15430    308 |        5 |      246
1298.06/1298.52	c 1298s |      22 |  2076634 |  1889022 |    15430    308 |        5 |      246
1300.06/1300.54	c 1300s |      22 |  2079050 |  1891222 |    15430    308 |        5 |      246
1302.07/1302.59	c 1302s |      22 |  2081720 |  1893722 |    15430    309 |        5 |      246
1304.18/1304.62	c 1304s |      22 |  2084551 |  1896222 |    15430    309 |        5 |      246
1306.17/1306.62	c 1306s |      22 |  2087291 |  1898622 |    15430    309 |        5 |      246
1308.17/1308.63	c 1308s |      22 |  2090118 |  1901222 |    15430    310 |        5 |      246
1310.17/1310.66	c 1310s |      22 |  2093062 |  1903922 |    15430    310 |        5 |      246
1312.27/1312.72	c 1312s |      22 |  2095287 |  1905922 |    15430    310 |        5 |      246
1314.27/1314.74	c 1314s |      22 |  2097906 |  1908322 |    15430    311 |        5 |      246
1316.37/1316.80	c 1316s |      22 |  2100890 |  1911122 |    15430    311 |        5 |      246
1318.37/1318.80	c 1318s |      22 |  2103613 |  1913622 |    15430    311 |        5 |      246
1320.37/1320.82	c 1320s |      22 |  2106352 |  1916122 |    15430    312 |        5 |      246
1322.37/1322.87	c 1322s |      22 |  2109000 |  1918622 |    15430    312 |        5 |      246
1325.56/1326.05	c 1325s |      22 |  2111556 |  1921022 |    15430    312 |        5 |      246
1327.56/1328.06	c 1327s |      22 |  2113639 |  1922822 |    15430    313 |        5 |      246
1329.66/1330.10	c 1329s |      22 |  2117266 |  1926022 |    15430    313 |        5 |      246
1331.67/1332.19	c 1332s |      22 |  2120288 |  1928822 |    15430    313 |        5 |      246
1333.76/1334.23	c 1334s |      22 |  2122810 |  1931122 |    15430    314 |        5 |      246
1335.76/1336.27	c 1336s |      22 |  2125974 |  1934022 |    15430    314 |        5 |      246
1337.86/1338.31	c 1338s |      22 |  2128673 |  1936522 |    15430    314 |        5 |      246
1339.86/1340.33	c 1340s |      22 |  2131266 |  1938922 |    15430    315 |        5 |      246
1341.86/1342.35	c 1342s |      22 |  2134137 |  1941622 |    15430    315 |        5 |      246
1343.86/1344.39	c 1344s |      22 |  2135508 |  1942922 |    15430    315 |        5 |      246
1345.96/1346.44	c 1346s |      22 |  2137988 |  1945222 |    15430    315 |        5 |      246
1347.96/1348.49	c 1348s |      22 |  2140467 |  1947422 |    15430    316 |        5 |      246
1350.06/1350.56	c 1350s |      22 |  2143541 |  1950222 |    15430    316 |        5 |      246
1352.16/1352.62	c 1352s |      22 |  2146095 |  1952622 |    15430    316 |        5 |      246
1354.16/1354.67	c 1354s |      22 |  2148346 |  1954722 |    15430    317 |        5 |      246
1356.26/1356.74	c 1356s |      22 |  2151207 |  1957322 |    15430    317 |        5 |      246
1358.36/1358.80	c 1358s |      22 |  2153598 |  1959622 |    15430    317 |        5 |      246
1360.36/1360.85	c 1360s |      22 |  2155590 |  1961522 |    15430    317 |        5 |      246
1362.35/1362.90	c 1362s |      22 |  2158123 |  1963922 |    15430    318 |        5 |      246
1364.45/1364.93	c 1364s |      22 |  2160572 |  1966222 |    15430    318 |        5 |      246
1366.45/1366.96	c 1366s |      22 |  2162487 |  1967722 |    15430    318 |        5 |      246
1368.55/1369.02	c 1368s |      22 |  2164735 |  1969822 |    15430    319 |        5 |      246
1370.55/1371.09	c 1370s |      22 |  2167663 |  1972522 |    15430    319 |        5 |      246
1372.65/1373.10	c 1372s |      22 |  2170274 |  1974922 |    15430    319 |        5 |      246
1374.66/1375.16	c 1375s |      22 |  2172507 |  1977022 |    15430    319 |        5 |      246
1376.76/1377.21	c 1377s |      22 |  2175227 |  1979622 |    15430    320 |        5 |      246
1378.75/1379.21	c 1379s |      22 |  2177725 |  1981922 |    15430    320 |        5 |      246
1380.75/1381.21	c 1381s |      22 |  2180072 |  1984122 |    15430    320 |        5 |      246
1382.75/1383.21	c 1383s |      22 |  2182428 |  1986322 |    15430    321 |        5 |      246
1384.75/1385.26	c 1385s |      22 |  2184971 |  1988722 |    15430    321 |        5 |      246
1386.85/1387.33	c 1387s |      22 |  2187365 |  1990922 |    15430    321 |        5 |      246
1389.05/1389.50	c 1389s |      22 |  2189605 |  1993022 |    15430    322 |        5 |      246
1391.06/1391.51	c 1391s |      22 |  2191106 |  1994422 |    15430    322 |        5 |      246
1393.06/1393.51	c 1393s |      22 |  2193899 |  1997022 |    15430    322 |        5 |      246
1395.06/1395.58	c 1395s |      22 |  2196352 |  1999322 |    15430    322 |        5 |      246
1397.06/1397.58	c 1397s |      22 |  2198565 |  2001422 |    15430    323 |        5 |      246
1399.16/1399.60	c 1399s |      22 |  2201056 |  2003722 |    15430    323 |        5 |      246
1401.16/1401.69	c 1401s |      22 |  2203612 |  2006122 |    15430    323 |        5 |      246
1403.26/1403.71	c 1403s |      22 |  2205751 |  2008122 |    15430    323 |        5 |      246
1405.25/1405.74	c 1405s |      22 |  2207832 |  2010022 |    15430    324 |        5 |      246
1407.25/1407.75	c 1407s |      22 |  2210744 |  2012722 |    15430    324 |        5 |      246
1409.35/1409.81	c 1409s |      22 |  2213275 |  2015022 |    15430    324 |        5 |      246
1411.35/1411.86	c 1411s |      22 |  2215744 |  2017322 |    15430    325 |        5 |      246
1413.45/1413.90	c 1413s |      22 |  2218734 |  2020122 |    15430    325 |        5 |      246
1415.45/1415.96	c 1415s |      22 |  2220903 |  2022122 |    15430    325 |        5 |      246
1417.56/1418.03	c 1417s |      22 |  2223439 |  2024422 |    15430    326 |        5 |      246
1419.55/1420.08	c 1419s |      22 |  2226759 |  2027422 |    15430    326 |        5 |      246
1421.65/1422.13	c 1422s |      22 |  2229444 |  2029922 |    15430    326 |        5 |      246
1423.75/1424.27	c 1424s |      22 |  2231716 |  2032022 |    15430    327 |        5 |      246
1425.85/1426.32	c 1426s |      22 |  2234885 |  2034922 |    15430    327 |        5 |      246
1427.85/1428.33	c 1428s |      22 |  2237623 |  2037422 |    15430    327 |        5 |      246
1429.85/1430.39	c 1430s |      22 |  2240163 |  2039722 |    15430    327 |        5 |      246
1431.95/1432.42	c 1432s |      22 |  2242463 |  2041822 |    15430    328 |        5 |      246
1433.95/1434.50	c 1434s |      22 |  2245444 |  2044622 |    15430    328 |        5 |      246
1436.04/1436.50	c 1436s |      22 |  2247890 |  2046922 |    15430    328 |        5 |      246
1438.04/1438.50	c 1438s |      22 |  2250462 |  2049322 |    15430    329 |        5 |      246
1440.04/1440.52	c 1440s |      22 |  2252998 |  2051722 |    15430    329 |        5 |      246
1442.14/1442.60	c 1442s |      22 |  2255314 |  2053922 |    15430    329 |        5 |      246
1444.14/1444.67	c 1444s |      22 |  2257406 |  2055922 |    15430    330 |        5 |      246
1446.24/1446.71	c 1446s |      22 |  2259225 |  2057622 |    15430    330 |        5 |      246
1448.25/1448.78	c 1448s |      22 |  2262101 |  2060222 |    15430    330 |        5 |      246
1450.34/1450.87	c 1450s |      22 |  2264687 |  2062622 |    15430    330 |        5 |      246
1452.44/1452.95	c 1452s |      22 |  2267220 |  2065022 |    15430    331 |        5 |      246
1454.44/1454.95	c 1454s |      22 |  2269986 |  2067622 |    15430    331 |        5 |      246
1456.44/1456.96	c 1456s |      22 |  2272321 |  2069822 |    15430    331 |        5 |      246
1458.54/1459.04	c 1458s |      22 |  2273690 |  2071022 |    15430    332 |        5 |      246
1460.54/1461.05	c 1460s |      22 |  2277059 |  2073922 |    15430    332 |        5 |      246
1462.54/1463.09	c 1462s |      22 |  2280221 |  2076722 |    15430    332 |        5 |      246
1464.64/1465.16	c 1465s |      22 |  2283039 |  2079222 |    15430    333 |        5 |      246
1466.64/1467.17	c 1467s |      22 |  2286716 |  2082522 |    15430    333 |        5 |      246
1468.74/1469.24	c 1469s |      22 |  2289826 |  2085322 |    15430    333 |        5 |      246
1471.35/1471.87	c 1471s |      22 |  2292427 |  2087722 |    15430    334 |        5 |      246
1473.44/1473.91	c 1473s |      22 |  2295987 |  2090922 |    15430    334 |        5 |      246
1475.44/1475.94	c 1475s |      22 |  2298927 |  2093622 |    15430    334 |        5 |      246
1477.54/1478.00	c 1477s |      22 |  2301993 |  2096422 |    15430    335 |        5 |      246
1479.54/1480.07	c 1479s |      22 |  2305127 |  2099322 |    15430    335 |        5 |      246
1481.64/1482.11	c 1482s |      22 |  2307676 |  2101722 |    15430    335 |        5 |      246
1483.64/1484.12	c 1484s |      22 |  2310563 |  2104422 |    15430    336 |        5 |      246
1485.65/1486.18	c 1486s |      22 |  2312651 |  2106322 |    15430    336 |        5 |      246
1487.74/1488.23	c 1488s |      22 |  2315347 |  2108822 |    15430    336 |        5 |      246
1489.74/1490.25	c 1490s |      22 |  2317924 |  2111122 |    15430    337 |        5 |      246
1491.74/1492.27	c 1492s |      22 |  2321065 |  2113922 |    15430    337 |        5 |      246
1493.84/1494.31	c 1494s |      22 |  2324071 |  2116622 |    15430    337 |        5 |      246
1495.84/1496.37	c 1496s |      22 |  2325921 |  2118222 |    15430    338 |        5 |      246
1497.94/1498.43	c 1498s |      22 |  2329736 |  2121622 |    15430    338 |        5 |      246
1499.94/1500.47	c 1500s |      22 |  2333086 |  2124622 |    15430    338 |        5 |      246
1502.34/1502.87	c 1502s |      22 |  2336138 |  2127422 |    15430    339 |        5 |      246
1504.34/1504.87	c 1504s |      22 |  2339492 |  2130422 |    15430    339 |        5 |      246
1506.34/1506.89	c 1506s |      22 |  2342507 |  2133122 |    15430    339 |        5 |      246
1508.44/1508.93	c 1508s |      22 |  2345493 |  2135922 |    15430    340 |        5 |      246
1510.44/1510.99	c 1510s |      22 |  2348367 |  2138622 |    15430    340 |        5 |      246
1512.54/1513.01	c 1512s |      22 |  2350985 |  2141022 |    15430    340 |        5 |      246
1514.54/1515.02	c 1514s |      22 |  2353972 |  2143822 |    15430    341 |        5 |      246
1516.54/1517.08	c 1516s |      22 |  2354532 |  2144322 |    15430    341 |        5 |      246
1518.64/1519.12	c 1519s |      22 |  2357566 |  2147122 |    15430    341 |        5 |      246
1520.63/1521.12	c 1521s |      22 |  2360173 |  2149522 |    15430    342 |        5 |      246
1522.63/1523.14	c 1523s |      22 |  2363247 |  2152322 |    15430    342 |        5 |      246
1524.63/1525.19	c 1525s |      22 |  2365940 |  2154722 |    15430    342 |        5 |      246
1526.73/1527.20	c 1527s |      22 |  2368343 |  2156922 |    15430    343 |        5 |      246
1528.84/1529.37	c 1529s |      22 |  2371590 |  2159922 |    15430    343 |        5 |      246
1530.94/1531.42	c 1531s |      22 |  2374534 |  2162622 |    15430    343 |        5 |      246
1532.94/1533.46	c 1533s |      22 |  2377111 |  2165022 |    15430    344 |        5 |      246
1535.04/1535.53	c 1535s |      22 |  2380129 |  2167822 |    15430    344 |        5 |      246
1537.04/1537.58	c 1537s |      22 |  2382770 |  2170322 |    15430    344 |        5 |      246
1539.14/1539.68	c 1539s |      22 |  2385152 |  2172522 |    15430    345 |        5 |      246
1541.24/1541.71	c 1541s |      22 |  2388196 |  2175422 |    15430    345 |        5 |      246
1543.24/1543.75	c 1543s |      22 |  2390973 |  2178022 |    15430    345 |        5 |      246
1545.53/1546.07	c 1545s |      22 |  2392021 |  2179022 |    15430    345 |        5 |      246
1547.63/1548.13	c 1548s |      22 |  2394024 |  2180822 |    15430    346 |        5 |      246
1549.63/1550.16	c 1550s |      22 |  2397420 |  2183922 |    15430    346 |        5 |      246
1551.64/1552.18	c 1552s |      22 |  2400384 |  2186622 |    15430    346 |        5 |      246
1553.73/1554.22	c 1554s |      22 |  2403073 |  2189122 |    15430    347 |        5 |      246
1555.73/1556.24	c 1556s |      22 |  2405805 |  2191722 |    15430    347 |        5 |      246
1557.73/1558.25	c 1558s |      22 |  2408285 |  2194022 |    15430    347 |        5 |      246
1559.73/1560.26	c 1560s |      22 |  2410681 |  2196122 |    15430    348 |        5 |      246
1561.83/1562.33	c 1562s |      22 |  2413783 |  2198922 |    15430    348 |        5 |      246
1563.84/1564.35	c 1564s |      22 |  2416753 |  2201622 |    15430    348 |        5 |      246
1565.83/1566.40	c 1566s |      22 |  2419361 |  2204022 |    15430    349 |        5 |      246
1568.63/1569.18	c 1569s |      22 |  2422458 |  2206922 |    15430    349 |        5 |      246
1570.73/1571.23	c 1571s |      22 |  2425330 |  2209622 |    15430    349 |        5 |      246
1572.73/1573.27	c 1573s |      22 |  2428191 |  2212322 |    15430    350 |        5 |      246
1574.73/1575.30	c 1575s |      22 |  2431067 |  2214922 |    15430    350 |        5 |      246
1576.82/1577.31	c 1577s |      22 |  2433689 |  2217322 |    15430    350 |        5 |      246
1578.92/1579.40	c 1579s |      22 |  2435840 |  2219322 |    15430    351 |        5 |      246
1580.92/1581.40	c 1581s |      22 |  2438842 |  2222122 |    15430    351 |        5 |      246
1582.92/1583.43	c 1583s |      22 |  2441485 |  2224622 |    15430    351 |        5 |      246
1584.92/1585.44	c 1585s |      22 |  2444305 |  2226922 |    15430    351 |        5 |      246
1586.93/1587.46	c 1587s |      22 |  2447155 |  2229322 |    15430    352 |        5 |      246
1589.03/1589.53	c 1589s |      22 |  2449029 |  2231022 |    15430    352 |        5 |      246
1591.02/1591.54	c 1591s |      22 |  2451394 |  2233222 |    15430    352 |        5 |      246
1593.02/1593.56	c 1593s |      22 |  2453353 |  2235122 |    16973    353 |        5 |      246
1595.12/1595.60	c 1595s |      22 |  2456283 |  2237822 |    16973    353 |        5 |      246
1597.12/1597.62	c 1597s |      22 |  2458956 |  2240322 |    16973    353 |        5 |      246
1599.12/1599.64	c 1599s |      22 |  2461542 |  2242622 |    16973    353 |        5 |      246
1601.23/1601.71	c 1601s |      22 |  2463048 |  2244022 |    16973    353 |        5 |      246
1603.22/1603.78	c 1603s |      22 |  2465729 |  2246422 |    16973    354 |        5 |      246
1605.32/1605.80	c 1605s |      22 |  2468693 |  2249122 |    16973    354 |        5 |      246
1606.82/1607.35	c 1607s |      23 |  2470795 |  2251038 |    16973    354 |        5 |      246
1608.93/1609.47	c 1609s |      23 |  2472754 |  2252838 |    16973    355 |        5 |      246
1611.03/1611.53	c 1611s |      23 |  2475872 |  2255638 |    16973    355 |        5 |      246
1613.12/1613.61	c 1613s |      23 |  2478485 |  2257938 |    16973    355 |        5 |      246
1615.12/1615.65	c 1615s |      23 |  2481152 |  2260338 |    16973    355 |        5 |      246
1617.12/1617.66	c 1617s |      23 |  2483714 |  2262638 |    16973    356 |        5 |      246
1619.22/1619.72	c 1619s |      23 |  2486628 |  2265338 |    16973    356 |        5 |      246
1621.22/1621.77	c 1621s |      23 |  2489295 |  2267738 |    16973    356 |        5 |      246
1623.23/1623.79	c 1623s |      23 |  2491548 |  2269838 |    16973    356 |        5 |      246
1625.33/1625.81	c 1625s |      23 |  2493956 |  2272038 |    16973    357 |        5 |      246
1627.32/1627.86	c 1627s |      23 |  2496733 |  2274538 |    16973    357 |        5 |      246
1629.42/1629.92	c 1629s |      23 |  2499244 |  2276838 |    16973    357 |        5 |      246
1631.42/1631.95	c 1631s |      23 |  2501279 |  2278738 |    16973    358 |        5 |      246
1633.42/1633.99	c 1633s |      23 |  2504240 |  2281338 |    16973    358 |        5 |      246
1636.32/1636.82	c 1636s |      23 |  2506252 |  2283238 |    16973    358 |        5 |      246
1638.31/1638.86	c 1638s |      23 |  2508899 |  2285638 |    16973    358 |        5 |      246
1640.41/1640.90	c 1640s |      23 |  2511053 |  2287638 |    16973    359 |        5 |      246
1642.41/1642.92	c 1642s |      23 |  2513723 |  2290138 |    16973    359 |        5 |      246
1644.41/1644.98	c 1644s |      23 |  2515945 |  2292238 |    16973    359 |        5 |      246
1646.51/1647.06	c 1646s |      23 |  2518645 |  2294638 |    16973    359 |        5 |      246
1648.61/1649.13	c 1649s |      23 |  2520851 |  2296638 |    16973    360 |        5 |      246
1650.62/1651.19	c 1651s |      23 |  2523531 |  2299038 |    16973    360 |        5 |      246
1652.71/1653.24	c 1653s |      23 |  2526032 |  2301338 |    16973    360 |        5 |      246
1654.71/1655.29	c 1655s |      23 |  2528157 |  2303338 |    16973    360 |        5 |      246
1656.71/1657.29	c 1657s |      23 |  2530282 |  2305338 |    16973    361 |        5 |      246
1658.71/1659.29	c 1659s |      23 |  2532479 |  2307438 |    16973    361 |        5 |      246
1660.81/1661.31	c 1661s |      23 |  2534725 |  2309538 |    16973    361 |        5 |      246
1662.82/1663.39	c 1663s |      23 |  2536966 |  2311638 |    16973    361 |        5 |      246
1664.91/1665.41	c 1665s |      23 |  2538984 |  2313538 |    16973    362 |        5 |      246
1666.91/1667.42	c 1667s |      23 |  2541357 |  2315738 |    16973    362 |        5 |      246
1668.91/1669.45	c 1669s |      23 |  2543687 |  2317838 |    16973    362 |        5 |      246
1671.01/1671.52	c 1671s |      23 |  2545910 |  2319938 |    16973    362 |        5 |      246
1673.01/1673.59	c 1673s |      23 |  2547956 |  2321838 |    16973    363 |        5 |      246
1675.11/1675.60	c 1675s |      23 |  2550719 |  2324438 |    16973    363 |        5 |      246
1677.91/1678.40	c 1678s |      23 |  2553137 |  2326738 |    16973    363 |        5 |      246
1679.91/1680.46	c 1680s |      23 |  2556022 |  2329238 |    16973    363 |        5 |      246
1681.91/1682.49	c 1682s |      23 |  2558472 |  2331438 |    16973    364 |        5 |      246
1684.01/1684.56	c 1684s |      23 |  2561714 |  2334238 |    16973    364 |        5 |      246
1686.01/1686.58	c 1686s |      23 |  2564398 |  2336638 |    16973    364 |        5 |      246
1688.11/1688.65	c 1688s |      23 |  2566732 |  2338738 |    16973    365 |        5 |      246
1690.11/1690.69	c 1690s |      23 |  2570054 |  2341738 |    16973    365 |        5 |      246
1692.20/1692.75	c 1692s |      23 |  2572867 |  2344338 |    16973    365 |        5 |      246
1694.20/1694.76	c 1694s |      23 |  2574904 |  2346138 |    16973    365 |        5 |      246
1696.30/1696.81	c 1696s |      23 |  2577286 |  2348238 |    16973    366 |        5 |      246
1698.30/1698.83	c 1698s |      23 |  2580599 |  2351238 |    16973    366 |        5 |      246
1700.40/1700.91	c 1700s |      23 |  2583286 |  2353638 |    16973    366 |        5 |      246
1702.50/1703.06	c 1702s |      23 |  2585663 |  2355838 |    16973    367 |        5 |      246
1704.61/1705.11	c 1705s |      23 |  2588919 |  2358838 |    16973    367 |        5 |      246
1706.71/1707.25	c 1707s |      23 |  2591370 |  2361138 |    16973    367 |        5 |      246
1708.80/1709.31	c 1709s |      23 |  2593764 |  2363338 |    16973    367 |        5 |      246
1710.80/1711.33	c 1711s |      23 |  2595962 |  2365338 |    16973    368 |        5 |      246
1712.80/1713.39	c 1713s |      23 |  2598925 |  2368138 |    16973    368 |        5 |      246
1714.90/1715.40	c 1715s |      23 |  2601284 |  2370338 |    16973    368 |        5 |      246
1716.90/1717.45	c 1717s |      23 |  2603527 |  2372438 |    16973    368 |        5 |      246
1718.91/1719.47	c 1719s |      23 |  2605958 |  2374738 |    16973    369 |        5 |      246
1720.90/1721.50	c 1721s |      23 |  2608325 |  2376938 |    16973    369 |        5 |      246
1723.00/1723.54	c 1723s |      23 |  2610939 |  2379338 |    16973    369 |        5 |      246
1725.00/1725.55	c 1725s |      23 |  2613227 |  2381438 |    16973    369 |        5 |      246
1727.21/1727.71	c 1727s |      23 |  2614417 |  2382538 |    16973    370 |        5 |      246
1729.21/1729.75	c 1729s |      23 |  2617778 |  2385538 |    16973    370 |        5 |      246
1731.21/1731.77	c 1731s |      23 |  2620551 |  2388038 |    16973    370 |        5 |      246
1733.21/1733.78	c 1733s |      23 |  2622919 |  2390138 |    16973    371 |        5 |      246
1735.31/1735.82	c 1735s |      23 |  2626059 |  2393038 |    16973    371 |        5 |      246
1737.30/1737.89	c 1737s |      23 |  2628394 |  2395138 |    16973    371 |        5 |      246
1739.30/1739.89	c 1739s |      23 |  2630912 |  2397338 |    16973    371 |        5 |      246
1741.40/1741.90	c 1741s |      23 |  2633319 |  2399538 |    16973    372 |        5 |      246
1743.50/1744.03	c 1743s |      23 |  2636266 |  2402238 |    16973    372 |        5 |      246
1745.50/1746.04	c 1745s |      23 |  2639068 |  2404738 |    16973    372 |        5 |      246
1747.51/1748.05	c 1747s |      23 |  2641544 |  2407038 |    16973    372 |        5 |      246
1749.50/1750.05	c 1749s |      23 |  2644074 |  2409438 |    16973    373 |        5 |      246
1751.60/1752.10	c 1751s |      23 |  2646660 |  2411838 |    16973    373 |        5 |      246
1753.60/1754.18	c 1754s |      23 |  2648884 |  2413938 |    16973    373 |        5 |      246
1755.70/1756.28	c 1756s |      23 |  2650291 |  2415238 |    16973    373 |        5 |      246
1757.70/1758.28	c 1758s |      23 |  2652654 |  2417438 |    16973    374 |        5 |      246
1759.80/1760.34	c 1760s |      23 |  2655741 |  2420238 |    16973    374 |        5 |      246
1761.90/1762.42	c 1762s |      23 |  2658409 |  2422738 |    16973    374 |        5 |      246
1764.01/1764.52	c 1764s |      23 |  2660433 |  2424638 |    16973    375 |        5 |      246
1766.00/1766.58	c 1766s |      23 |  2663234 |  2427238 |    16973    375 |        5 |      246
1768.10/1768.66	c 1768s |      23 |  2665687 |  2429538 |    16973    375 |        5 |      246
1770.10/1770.69	c 1770s |      23 |  2667680 |  2431438 |    16973    375 |        5 |      246
1772.20/1772.77	c 1772s |      23 |  2669456 |  2433138 |    16973    376 |        5 |      246
1774.20/1774.77	c 1774s |      23 |  2671895 |  2435438 |    16973    376 |        5 |      246
1776.30/1776.84	c 1776s |      23 |  2673792 |  2437138 |    16973    376 |        5 |      246
1778.30/1778.84	c 1778s |      23 |  2676355 |  2439438 |    16973    376 |        5 |      246
1780.30/1780.85	c 1780s |      23 |  2678535 |  2441438 |    16973    376 |        5 |      246
1782.30/1782.85	c 1782s |      23 |  2681328 |  2444038 |    16973    377 |        5 |      246
1784.39/1784.92	c 1784s |      23 |  2683817 |  2446338 |    16973    377 |        5 |      246
1786.39/1786.96	c 1786s |      23 |  2686216 |  2448538 |    16973    377 |        5 |      246
1788.39/1788.99	c 1788s |      23 |  2688481 |  2450638 |    16973    378 |        5 |      246
1790.49/1791.07	c 1790s |      23 |  2691380 |  2453338 |    16973    378 |        5 |      246
1792.60/1793.11	c 1793s |      23 |  2693126 |  2454938 |    16973    378 |        5 |      246
1794.59/1795.12	c 1795s |      23 |  2695708 |  2457238 |    16973    378 |        5 |      246
1796.59/1797.15	c 1797s |      23 |  2698145 |  2459438 |    16973    379 |        5 |      246
1798.59/1799.17	c 1799s |      23 |  2700945 |  2462038 |    16973    379 |        5 |      246

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

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 2078
/proc/meminfo: memFree=30778068/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=708028 CPUtime=0 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 2638 0 0 0 0 0 0 0 20 0 4 0 13710209 725020672 3509 33554432000 4194304 16246674 140735983393632 140735983393056 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 177775 3520 441 2943 0 174669 0
[pid=2078/tid=2079] ppid=2075 vsize=758204 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 776400896 3705 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 781643776 3723 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=767420 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13710209 785838080 3741 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 2078
/proc/meminfo: memFree=30778068/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 20758 0 0 0 7 2 0 0 20 0 4 0 13710209 1249447936 21567 33554432000 4194304 16246674 140735983393632 140735983392944 5887445 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 305041 21575 836 2943 0 301935 0
[pid=2078/tid=2079] ppid=2075 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1249447936 21580 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1249447936 21586 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13710209 1249447936 21591 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200536 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 2078
/proc/meminfo: memFree=30778068/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1220164 CPUtime=0.19 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 43044 0 0 0 13 6 0 0 20 0 4 0 13710209 1249447936 43854 33554432000 4194304 16246674 140735983393632 140735983392944 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 305041 43869 878 2943 0 301935 0
[pid=2078/tid=2079] ppid=2075 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1249447936 43876 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1249447936 43881 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13710209 1249447936 43889 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1220164

[startup+0.300483 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 2078
/proc/meminfo: memFree=30778068/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1220164 CPUtime=0.29 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 65454 0 0 0 20 9 0 0 20 0 4 0 13710209 1249447936 66263 33554432000 4194304 16246674 140735983393632 140735983392944 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 305041 66273 878 2943 0 301935 0
[pid=2078/tid=2079] ppid=2075 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1249447936 66278 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1249447936 66282 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13710209 1249447936 66289 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1220164

[startup+0.700409 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 2078
/proc/meminfo: memFree=30778068/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1220164 CPUtime=0.69 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 154368 0 0 0 47 22 0 0 20 0 4 0 13710209 1249447936 155177 33554432000 4194304 16246674 140735983393632 140735983375552 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 305041 155187 878 2943 0 301935 0
[pid=2078/tid=2079] ppid=2075 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1249447936 155193 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1249447936 155205 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13710209 1249447936 155213 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1220164

[startup+1.50032 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 2082
/proc/meminfo: memFree=29833392/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 266517 0 0 0 113 36 0 0 20 0 4 0 13710209 1333334016 267326 33554432000 4194304 16246674 140735983393632 140735983392944 5532192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 325521 267326 881 2943 0 322415 0
[pid=2078/tid=2079] ppid=2075 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1333334016 267326 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1333334016 267326 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1333334016 267326 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10043 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 2082
/proc/meminfo: memFree=29705052/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 267954 0 0 0 272 37 0 0 20 0 4 0 13710209 1338576896 268763 33554432000 4194304 16246674 140735983393632 140735983375552 5707016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 326801 268763 887 2943 0 323695 0
[pid=2078/tid=2079] ppid=2075 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1338576896 268763 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1338576896 268763 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1338576896 268763 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 2082
/proc/meminfo: memFree=29693900/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1317444 CPUtime=6.29 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 270544 0 0 0 592 37 0 0 20 0 4 0 13710209 1349062656 271353 33554432000 4194304 16246674 140735983393632 140735983375552 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 329361 271353 887 2943 0 326255 0
[pid=2078/tid=2079] ppid=2075 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1349062656 271353 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1349062656 271353 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1349062656 271353 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1317444

[startup+12.7004 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 2082
/proc/meminfo: memFree=29686380/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1317444 CPUtime=12.69 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 270544 0 0 0 1232 37 0 0 20 0 4 0 13710209 1349062656 271353 33554432000 4194304 16246674 140735983393632 140735983392808 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 329361 271353 887 2943 0 326255 0
[pid=2078/tid=2079] ppid=2075 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1349062656 271353 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1349062656 271353 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1349062656 271353 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1317444

[startup+25.5005 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 2082
/proc/meminfo: memFree=29686400/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1317444 CPUtime=25.48 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 270544 0 0 0 2511 37 0 0 20 0 4 0 13710209 1349062656 271353 33554432000 4194304 16246674 140735983393632 140735983375552 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 329361 271353 887 2943 0 326255 0
[pid=2078/tid=2079] ppid=2075 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1349062656 271353 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1349062656 271353 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1349062656 271353 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1317444

[startup+51.1005 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 2082
/proc/meminfo: memFree=29679856/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1322564 CPUtime=51.08 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 271825 0 0 0 5070 38 0 0 20 0 4 0 13710209 1354305536 272634 33554432000 4194304 16246674 140735983393632 140735983375552 5677899 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 330641 272634 888 2943 0 327535 0
[pid=2078/tid=2079] ppid=2075 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1354305536 272634 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1354305536 272634 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1354305536 272634 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1322564

[startup+102.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 2083
/proc/meminfo: memFree=29676612/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1325636 CPUtime=102.28 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 272593 0 0 0 10189 39 0 0 20 0 4 0 13710209 1357451264 273402 33554432000 4194304 16246674 140735983393632 140735983375552 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 331409 273402 888 2943 0 328303 0
[pid=2078/tid=2079] ppid=2075 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1357451264 273402 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1357451264 273402 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1357451264 273402 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1325636


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

/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1371716

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2212
/proc/meminfo: memFree=29577224/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1371716 CPUtime=1301.86 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 284475 0 0 0 130128 58 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140735983375552 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 342929 284926 889 2943 0 339823 0
[pid=2078/tid=2079] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1371716

[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/184 2216
/proc/meminfo: memFree=29577304/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1371716 CPUtime=1361.86 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 284475 0 0 0 136127 59 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140735983375488 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 342929 284926 889 2943 0 339823 0
[pid=2078/tid=2079] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1371716

[startup+1422.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/184 2240
/proc/meminfo: memFree=29576944/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1371716 CPUtime=1421.86 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 284475 0 0 0 142126 60 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140735983375552 5522986 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 342929 284926 889 2943 0 339823 0
[pid=2078/tid=2079] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1371716

[startup+1482.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 2241
/proc/meminfo: memFree=29577364/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1371716 CPUtime=1481.84 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 284475 0 0 0 148123 61 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140735983375552 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 342929 284926 889 2943 0 339823 0
[pid=2078/tid=2079] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1371716

[startup+1542.31 s]
/proc/loadavg: 2.21 2.08 2.02 3/183 2243
/proc/meminfo: memFree=29577144/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1371716 CPUtime=1541.84 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 284475 0 0 0 154122 62 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140735983375552 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 342929 284926 889 2943 0 339823 0
[pid=2078/tid=2079] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1371716

[startup+1602.3 s]
/proc/loadavg: 2.19 2.10 2.02 3/183 2244
/proc/meminfo: memFree=29577048/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1371716 CPUtime=1601.82 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 284475 0 0 0 160120 62 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140735983375552 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 342929 284926 889 2943 0 339823 0
[pid=2078/tid=2079] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1371716

[startup+1662.3 s]
/proc/loadavg: 2.11 2.09 2.02 3/183 2245
/proc/meminfo: memFree=29576824/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1371716 CPUtime=1661.81 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 284475 0 0 0 166118 63 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140735983375552 5722381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 342929 284926 889 2943 0 339823 0
[pid=2078/tid=2079] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1371716

[startup+1722.3 s]
/proc/loadavg: 2.04 2.07 2.02 3/183 2246
/proc/meminfo: memFree=29573628/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1371716 CPUtime=1721.8 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 284475 0 0 0 172117 63 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140735983375552 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 342929 284926 889 2943 0 339823 0
[pid=2078/tid=2079] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1371716

[startup+1782.3 s]
/proc/loadavg: 2.01 2.06 2.01 3/183 2247
/proc/meminfo: memFree=29573280/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1371716 CPUtime=1781.8 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 284475 0 0 0 178116 64 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140735983375552 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 342929 284926 889 2943 0 339823 0
[pid=2078/tid=2079] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1371716



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.05 2.01 3/183 2247
/proc/meminfo: memFree=29573256/32872528 swapFree=7268/7268
[pid=2078] ppid=2075 vsize=1371716 CPUtime=1800.09 cores=1,3,5,7
/proc/2078/stat : 2078 (toysat) R 2075 2078 29295 0 -1 4202496 284475 0 0 0 179945 64 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140735983375552 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2078/statm: 342929 284926 889 2943 0 339823 0
[pid=2078/tid=2079] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2079/stat : 2079 (toysat) S 2075 2078 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378816621808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2078/tid=2080] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2080/stat : 2080 (toysat) S 2075 2078 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378806131952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2078/tid=2081] ppid=2075 vsize=1371716 CPUtime=0 cores=1,3,5,7
/proc/2078/task/2081/stat : 2081 (toysat) S 2075 2078 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13710209 1404637184 284926 33554432000 4194304 16246674 140735983393632 140378724363440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1371716

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 2078 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.61
CPU time (s): 1800.11
CPU user time (s): 1799.46
CPU system time (s): 0.646901
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1371716

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.646901
maximum resident set size= 1139704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284475
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= 375
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5873 second user time and 6.94194 second system time

The end

Begin job on node151 at 2016-06-17 00:37:34
IDJOB=4097219
IDBENCH=107726
IDSOLVER=2542
FILE ID=node151/4097219-1466116654
RUNJOBID= node151-1466112624-31872
PBS_JOBID= 19904038
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-5_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-4097219-1466116654/watcher-4097219-1466116654 -o /tmp/evaluation-result-4097219-1466116654/solver-4097219-1466116654 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466112624-31872 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4097219-1466116654.opb

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

MD5SUM BENCH= deb2b520a929d0bac0030302f1ac1b96
RANDOM SEED=1087701103

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30778976 kB
Buffers:           67180 kB
Cached:           164264 kB
SwapCached:        61592 kB
Active:          1206516 kB
Inactive:         174824 kB
Active(anon):    1090820 kB
Inactive(anon):    61036 kB
Active(file):     115696 kB
Inactive(file):   113788 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       1096112 kB
Mapped:            10260 kB
Shmem:                 0 kB
Slab:             572124 kB
SReclaimable:      15744 kB
SUnreclaim:       556380 kB
KernelStack:        1480 kB
PageTables:         5996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1240408 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node151 at 2016-06-17 01:07:35