0.00/0.00	c 2016-06-17T00:07:33+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-4096757-1466114852.opb"]
0.00/0.01	c use --random-gen="4092348030 2919053413 1061670612 3165902679 3574364860 19992549 2423290558 1144286947 3407291471 3962687981 7754400 3266935387 3891765950 2340960003 2531559299 3035729880 3653313310 1260364700 3647347410 3309764132 1255489124 408048092 3583990855 1567718403 2041831699 2034278928 2745572092 1918984962 3945737562 547228625 2664869567 4252578439 3179359147 3931016755 454726431 1383180008 2186890906 3727541014 4237991977 572167266 1177965648 12446731 3735569092 822188333 2791891428 1467053912 3564309889 1304185435 4119703538 2149486888 669830164 3841133704 239258574 1224546246 3154250676 3358578781 631839960 4084505869 666963453 2537363251 4201377687 344529700 1481342739 866931721 888177419 3819002118 1868056138 2018768468 2306975637 401559781 3995865517 483280064 4132118926 783973350 477874112 339183769 3056086711 2178119717 4006459878 747372121 2819715698 2350441112 1386951939 1716284921 2732256461 516907883 3505592657 1447867103 2015378143 2707853618 525606822 3760643316 3497947903 3181296056 1951679511 238203099 2770272310 1281698170 1958733188 206010331 4019307123 2290708476 656386956 1521020600 4182995814 589034131 1369415326 3862422681 1408292522 1604088894 1730708904 1778345017 1041129573 2167671097 4210314600 342624312 1085035313 3430397124 3309810785 1789116196 1633573649 1312962663 2549980487 3039031721 4224933407 1919275188 387200326 2539191310 1020900876 992102030 80984019 140661989 821322885 442173363 3132500983 3628065037 3580051481 3165191085 3027042759 3997848090 335499906 17443463 4160982538 2734304176 2035047630 2426426031 3994062831 2523645720 613031010 2716784202 2217526018 143773468 2872661171 897139369 1558399597 403829408 2927671666 3130305280 3464952316 43022568 1623146132 26162768 916314709 3610905866 1377217593 2219902876 900765035 2052913075 2184304216 2138951929 1250120906 1275857144 3627549195 916707057 1503827657 3303116148 3541206212 3051508362 174646250 2525654135 722342863 2603561849 3075056949 1374678765 3831161265 1321625199 1208832230 2668490535 3375185515 1342109705 753063732 1692202692 1622552008 1158807192 2687095634 1033861777 1472737314 3834171135 3348927934 324284915 3899195401 3832076633 3165480484 4015103963 1752550469 1892146399 3694740515 4228143037 3237098446 4144718092 1337503177 3970348971 2566247990 253108535 2910450241 2377504340 1787567054 1932589143 2013003698 2930277895 1666640407 2984797090 3539697949 3216430832 1290032985 2063595592 1131512307 2933180725 2276113778 287074161 4076677257 1726061038 2667016504 3202659184 838937776 3602830804 2876814490 423240094 2584844038 3111350022 915171750 1089719670 2825377308 3303608945 1322098478 3021208235 2558281021 1429894539 1513098454 1995165964 3545593748 3372804953 2826416873 4126916830 2546520556 4052345930 255 362436" option to reproduce the execution
0.00/0.07	c #vars 1332
0.00/0.07	c #constraints 6341
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |     2556      0 |        5 |        0
0.09/0.18	c  0.0s |       1 |      134 |      100 |     2556      0 |        5 |      286
0.19/0.24	c  0.1s |       2 |      320 |      250 |     2812      0 |        5 |      286
0.29/0.34	c  0.2s |       3 |      586 |      475 |     3094      0 |        5 |      286
0.39/0.49	c  0.3s |       4 |      997 |      813 |     3404      0 |        5 |      286
0.69/0.74	c  0.6s |       5 |     1583 |     1320 |     3745      0 |        5 |      286
1.09/1.14	c  1.0s |       6 |     2434 |     2081 |     4532      0 |        5 |      286
1.58/1.63	c  1.5s |       7 |     3805 |     3223 |     4986      0 |        5 |      286
2.39/2.41	c  2.3s |       8 |     5917 |     4936 |     5485      0 |        5 |      286
3.59/3.60	c  3.5s |       9 |     8897 |     7506 |     6034      1 |        5 |      286
5.39/5.42	c  5.3s |      10 |    13199 |    11361 |     6638      2 |        5 |      286
7.39/7.47	c  7.3s |      10 |    18879 |    15961 |     6638      3 |        5 |      286
8.09/8.10	c  8.0s |      11 |    20197 |    17144 |     7302      4 |        5 |      286
10.09/10.11	c 10.0s |      11 |    24705 |    20844 |     7302      5 |        5 |      286
12.20/12.21	c 12.1s |      11 |    29196 |    24444 |     7302      6 |        5 |      286
12.89/12.92	c 12.8s |      12 |    30748 |    25819 |     8033      6 |        5 |      286
14.88/14.93	c 14.8s |      12 |    35590 |    29619 |     8033      7 |        5 |      286
16.88/16.95	c 16.8s |      12 |    39901 |    33119 |     8033      8 |        5 |      286
18.88/18.99	c 18.8s |      12 |    43862 |    36519 |     8033      8 |        5 |      286
20.28/20.33	c 20.2s |      13 |    46852 |    38832 |     8837      9 |        5 |      286
22.29/22.34	c 22.2s |      13 |    51215 |    42532 |     8837     10 |        5 |      286
24.30/24.36	c 24.2s |      13 |    55079 |    45832 |     8837     10 |        5 |      286
26.29/26.36	c 26.2s |      13 |    58719 |    49032 |     8837     11 |        5 |      286
28.29/28.39	c 28.2s |      13 |    61757 |    51832 |     8837     12 |        5 |      286
30.29/30.39	c 30.3s |      13 |    65381 |    55032 |     8837     12 |        5 |      286
32.39/32.42	c 32.3s |      13 |    69044 |    58232 |     9721     13 |        5 |      286
32.39/32.48	c 32.3s |      14 |    69206 |    58352 |     9721     13 |        5 |      286
34.49/34.52	c 34.4s |      14 |    73794 |    62452 |     9721     14 |        5 |      286
36.49/36.52	c 36.4s |      14 |    77611 |    65552 |     9721     14 |        5 |      286
38.49/38.58	c 38.4s |      14 |    81580 |    68752 |     9721     15 |        5 |      286
40.48/40.59	c 40.4s |      14 |    84940 |    71552 |     9721     16 |        5 |      286
42.58/42.63	c 42.5s |      14 |    89082 |    75052 |     9721     16 |        5 |      286
44.58/44.67	c 44.5s |      14 |    92814 |    78152 |     9721     17 |        5 |      286
46.58/46.68	c 46.5s |      14 |    96674 |    81152 |     9721     18 |        5 |      286
48.68/48.71	c 48.6s |      14 |   100808 |    84552 |     9721     18 |        5 |      286
50.59/50.64	c 50.5s |      15 |   104525 |    87632 |    10694     19 |        5 |      286
52.58/52.69	c 52.5s |      15 |   108835 |    91232 |    10694     19 |        5 |      286
54.68/54.71	c 54.6s |      15 |   112781 |    94732 |    10694     20 |        5 |      286
56.78/56.85	c 56.7s |      15 |   116055 |    97632 |    10694     21 |        5 |      286
58.78/58.87	c 58.7s |      15 |   119624 |   100732 |    10694     21 |        5 |      286
60.98/61.04	c 60.9s |      15 |   122608 |   103432 |    10694     22 |        5 |      286
62.98/63.05	c 62.9s |      15 |   126372 |   106732 |    10694     22 |        5 |      286
65.08/65.10	c 65.0s |      15 |   129389 |   109532 |    10694     23 |        5 |      286
66.98/67.10	c 67.0s |      15 |   133062 |   112632 |    10694     23 |        5 |      286
69.08/69.10	c 69.0s |      15 |   136209 |   115432 |    10694     24 |        5 |      286
71.07/71.14	c 71.0s |      15 |   139710 |   118532 |    10694     24 |        5 |      286
73.07/73.16	c 73.0s |      15 |   143216 |   121732 |    10694     25 |        5 |      286
75.17/75.20	c 75.1s |      15 |   146691 |   124832 |    10694     25 |        5 |      286
77.18/77.21	c 77.1s |      15 |   150015 |   127832 |    10694     26 |        5 |      286
79.19/79.24	c 79.1s |      15 |   153177 |   130632 |    10694     27 |        5 |      286
79.98/80.04	c 79.9s |      16 |   154270 |   131552 |    11764     27 |        5 |      286
81.98/82.08	c 81.9s |      16 |   158234 |   134852 |    11764     27 |        5 |      286
84.08/84.11	c 84.0s |      16 |   161625 |   137652 |    11764     28 |        5 |      286
86.08/86.12	c 86.0s |      16 |   165108 |   140552 |    11764     28 |        5 |      286
88.09/88.18	c 88.0s |      16 |   168115 |   143152 |    11764     29 |        5 |      286
90.08/90.20	c 90.1s |      16 |   171652 |   146152 |    11764     29 |        5 |      286
92.18/92.28	c 92.1s |      16 |   174922 |   148952 |    11764     30 |        5 |      286
94.28/94.31	c 94.2s |      16 |   178693 |   151952 |    11764     30 |        5 |      286
96.28/96.37	c 96.2s |      16 |   181865 |   154652 |    11764     30 |        5 |      286
98.28/98.39	c 98.2s |      16 |   185316 |   157552 |    11764     31 |        5 |      286
100.38/100.45	c  100s |      16 |   188697 |   160452 |    11764     31 |        5 |      286
102.47/102.50	c  102s |      16 |   191746 |   163152 |    11764     32 |        5 |      286
104.48/104.51	c  104s |      16 |   194706 |   165752 |    11764     32 |        5 |      286
106.47/106.54	c  106s |      16 |   198525 |   168852 |    11764     33 |        5 |      286
108.57/108.60	c  108s |      16 |   201742 |   171652 |    11764     33 |        5 |      286
110.57/110.65	c  110s |      16 |   204836 |   174352 |    11764     34 |        5 |      286
112.67/112.70	c  112s |      16 |   207867 |   177052 |    11764     34 |        5 |      286
114.67/114.75	c  114s |      16 |   210772 |   179652 |    11764     35 |        5 |      286
116.68/116.76	c  116s |      16 |   214004 |   182452 |    11764     35 |        5 |      286
118.67/118.80	c  118s |      16 |   216834 |   184852 |    11764     36 |        5 |      286
120.77/120.82	c  120s |      16 |   220325 |   187852 |    11764     36 |        5 |      286
122.77/122.88	c  122s |      16 |   223250 |   190352 |    11764     36 |        5 |      286
124.87/124.92	c  124s |      16 |   226193 |   192952 |    11764     37 |        5 |      286
126.97/127.00	c  126s |      16 |   229220 |   195552 |    11764     37 |        5 |      286
128.78/128.83	c  128s |      17 |   231368 |   197432 |    12941     37 |        5 |      286
130.77/130.85	c  130s |      17 |   234703 |   200232 |    12941     38 |        5 |      286
132.77/132.85	c  132s |      17 |   238218 |   203032 |    12941     38 |        5 |      286
134.77/134.86	c  134s |      17 |   241276 |   205432 |    12941     39 |        5 |      286
136.87/136.90	c  136s |      17 |   244649 |   208232 |    12941     39 |        5 |      286
138.87/138.96	c  138s |      17 |   247849 |   210832 |    12941     39 |        5 |      286
140.87/140.97	c  140s |      17 |   250793 |   213232 |    12941     40 |        5 |      286
142.97/143.05	c  142s |      17 |   254001 |   215832 |    12941     40 |        5 |      286
145.07/145.11	c  144s |      17 |   256847 |   218232 |    12941     41 |        5 |      286
147.06/147.14	c  146s |      17 |   260365 |   221032 |    12941     41 |        5 |      286
149.06/149.14	c  148s |      17 |   263396 |   223432 |    12941     41 |        5 |      286
151.06/151.14	c  151s |      17 |   266418 |   225832 |    12941     42 |        5 |      286
153.16/153.20	c  153s |      17 |   269489 |   228432 |    12941     42 |        5 |      286
155.17/155.26	c  155s |      17 |   272506 |   230732 |    12941     42 |        5 |      286
157.27/157.33	c  157s |      17 |   275637 |   233232 |    12941     43 |        5 |      286
159.26/159.35	c  159s |      17 |   278447 |   235532 |    12941     43 |        5 |      286
161.26/161.38	c  161s |      17 |   281265 |   237732 |    12941     44 |        5 |      286
163.36/163.43	c  163s |      17 |   284542 |   240232 |    12941     44 |        5 |      286
165.46/165.50	c  165s |      17 |   287682 |   242632 |    12941     44 |        5 |      286
167.46/167.53	c  167s |      17 |   290512 |   244932 |    12941     45 |        5 |      286
169.47/169.57	c  169s |      17 |   293506 |   247332 |    12941     45 |        5 |      286
171.46/171.58	c  171s |      17 |   295939 |   249432 |    12941     45 |        5 |      286
173.56/173.63	c  173s |      17 |   298403 |   251432 |    12941     46 |        5 |      286
175.56/175.64	c  175s |      17 |   301387 |   253732 |    12941     46 |        5 |      286
177.56/177.69	c  177s |      17 |   304405 |   256132 |    12941     46 |        5 |      286
179.66/179.72	c  179s |      17 |   307760 |   258732 |    12941     47 |        5 |      286
181.66/181.75	c  181s |      17 |   310899 |   261232 |    12941     47 |        5 |      286
183.76/183.87	c  183s |      17 |   313282 |   263232 |    12941     47 |        5 |      286
185.86/185.94	c  185s |      17 |   316329 |   265732 |    12941     48 |        5 |      286
187.96/188.01	c  187s |      17 |   319233 |   268132 |    12941     48 |        5 |      286
190.07/190.11	c  189s |      17 |   321778 |   270232 |    12941     48 |        5 |      286
192.06/192.14	c  191s |      17 |   324554 |   272432 |    12941     49 |        5 |      286
194.16/194.20	c  194s |      17 |   327225 |   274532 |    12941     49 |        5 |      286
196.26/196.30	c  196s |      17 |   329652 |   276432 |    12941     49 |        5 |      286
198.26/198.34	c  198s |      17 |   332257 |   278532 |    12941     50 |        5 |      286
200.27/200.39	c  200s |      17 |   335071 |   280732 |    12941     50 |        5 |      286
202.37/202.40	c  202s |      17 |   337510 |   282632 |    12941     50 |        5 |      286
204.36/204.41	c  204s |      17 |   339874 |   284532 |    12941     51 |        5 |      286
206.36/206.49	c  206s |      17 |   342505 |   286732 |    12941     51 |        5 |      286
208.46/208.56	c  208s |      17 |   344905 |   288732 |    12941     51 |        5 |      286
210.46/210.57	c  210s |      17 |   347182 |   290632 |    12941     52 |        5 |      286
212.56/212.61	c  212s |      17 |   349936 |   292932 |    12941     52 |        5 |      286
214.57/214.62	c  214s |      17 |   352433 |   295032 |    14236     52 |        5 |      286
215.86/215.93	c  215s |      18 |   353835 |   296252 |    14236     52 |        5 |      286
218.06/218.10	c  217s |      18 |   356237 |   298152 |    14236     53 |        5 |      286
220.06/220.14	c  220s |      18 |   359206 |   300652 |    14236     53 |        5 |      286
222.05/222.20	c  222s |      18 |   362051 |   303052 |    14236     53 |        5 |      286
224.15/224.22	c  224s |      18 |   364580 |   304952 |    14236     53 |        5 |      286
226.15/226.24	c  226s |      18 |   367816 |   307552 |    14236     54 |        5 |      286
228.15/228.25	c  228s |      18 |   370927 |   310252 |    14236     54 |        5 |      286
230.25/230.31	c  230s |      18 |   373824 |   312552 |    14236     55 |        5 |      286
232.25/232.38	c  232s |      18 |   377235 |   315352 |    14236     55 |        5 |      286
234.36/234.41	c  234s |      18 |   380242 |   317952 |    14236     55 |        5 |      286
236.35/236.42	c  236s |      18 |   382974 |   320252 |    14236     56 |        5 |      286
238.35/238.47	c  238s |      18 |   385931 |   322852 |    14236     56 |        5 |      286
240.36/240.47	c  240s |      18 |   389152 |   325452 |    14236     56 |        5 |      286
242.36/242.49	c  242s |      18 |   391748 |   327652 |    14236     57 |        5 |      286
244.46/244.51	c  244s |      18 |   395172 |   330352 |    14236     57 |        5 |      286
246.46/246.51	c  246s |      18 |   398344 |   332852 |    14236     57 |        5 |      286
248.46/248.52	c  248s |      18 |   400964 |   335152 |    14236     58 |        5 |      286
250.45/250.54	c  250s |      18 |   403877 |   337552 |    14236     58 |        5 |      286
252.45/252.59	c  252s |      18 |   407096 |   340052 |    14236     58 |        5 |      286
254.55/254.66	c  254s |      18 |   409932 |   342452 |    14236     59 |        5 |      286
256.55/256.68	c  256s |      18 |   413482 |   345452 |    14236     59 |        5 |      286
258.65/258.70	c  258s |      18 |   416664 |   347952 |    14236     59 |        5 |      286
260.66/260.72	c  260s |      18 |   419765 |   350452 |    14236     60 |        5 |      286
262.65/262.77	c  262s |      18 |   422874 |   353052 |    14236     60 |        5 |      286
264.75/264.81	c  264s |      18 |   425452 |   355152 |    14236     60 |        5 |      286
266.75/266.84	c  266s |      18 |   428665 |   357852 |    14236     61 |        5 |      286
268.75/268.85	c  268s |      18 |   431550 |   360252 |    14236     61 |        5 |      286
270.85/270.94	c  270s |      18 |   434341 |   362652 |    14236     61 |        5 |      286
272.86/272.99	c  272s |      18 |   437232 |   365252 |    14236     62 |        5 |      286
274.95/275.06	c  274s |      18 |   440321 |   367952 |    14236     62 |        5 |      286
276.95/277.09	c  276s |      18 |   443144 |   370352 |    14236     62 |        5 |      286
279.05/279.10	c  278s |      18 |   446114 |   373052 |    14236     63 |        5 |      286
281.25/281.32	c  281s |      18 |   449248 |   375752 |    14236     63 |        5 |      286
283.35/283.41	c  283s |      18 |   451815 |   377652 |    14236     63 |        5 |      286
285.35/285.46	c  285s |      18 |   455237 |   380552 |    14236     64 |        5 |      286
287.35/287.48	c  287s |      18 |   458132 |   383052 |    14236     64 |        5 |      286
289.35/289.49	c  289s |      18 |   460728 |   385252 |    14236     65 |        5 |      286
291.45/291.53	c  291s |      18 |   464121 |   388152 |    14236     65 |        5 |      286
293.45/293.53	c  293s |      18 |   466930 |   390652 |    14236     65 |        5 |      286
295.44/295.58	c  295s |      18 |   469674 |   392852 |    14236     66 |        5 |      286
297.54/297.63	c  297s |      18 |   473140 |   395852 |    14236     66 |        5 |      286
299.54/299.66	c  299s |      18 |   475984 |   398352 |    14236     66 |        5 |      286
301.64/301.74	c  301s |      18 |   478474 |   400452 |    14236     67 |        5 |      286
303.74/303.80	c  303s |      18 |   481485 |   403152 |    14236     67 |        5 |      286
305.75/305.82	c  305s |      18 |   484261 |   405652 |    14236     67 |        5 |      286
307.74/307.82	c  307s |      18 |   485928 |   407152 |    14236     68 |        5 |      286
309.74/309.87	c  309s |      18 |   489182 |   409852 |    14236     68 |        5 |      286
311.74/311.88	c  311s |      18 |   492540 |   412452 |    14236     68 |        5 |      286
313.74/313.89	c  313s |      18 |   495447 |   414652 |    14236     69 |        5 |      286
315.84/315.93	c  315s |      18 |   498575 |   417152 |    14236     69 |        5 |      286
317.84/317.96	c  317s |      18 |   501524 |   419452 |    14236     69 |        5 |      286
319.94/320.03	c  319s |      18 |   504065 |   421352 |    14236     69 |        5 |      286
321.94/322.08	c  321s |      18 |   507267 |   424152 |    14236     70 |        5 |      286
323.94/324.09	c  323s |      18 |   510146 |   426452 |    14236     70 |        5 |      286
326.14/326.23	c  326s |      18 |   512795 |   428652 |    14236     71 |        5 |      286
328.24/328.31	c  328s |      18 |   516217 |   431552 |    14236     71 |        5 |      286
330.23/330.38	c  330s |      18 |   518735 |   433652 |    14236     71 |        5 |      286
332.33/332.45	c  332s |      18 |   521883 |   436552 |    14236     72 |        5 |      286
334.35/334.50	c  334s |      18 |   525247 |   439452 |    14236     72 |        5 |      286
336.44/336.58	c  336s |      18 |   528366 |   442052 |    15660     72 |        5 |      286
338.54/338.60	c  338s |      18 |   531577 |   444252 |    15660     72 |        5 |      286
338.75/338.87	c  338s |      19 |   531817 |   444482 |    15660     72 |        5 |      286
340.74/340.87	c  340s |      19 |   535019 |   447282 |    15660     73 |        5 |      286
342.84/342.93	c  342s |      19 |   538277 |   450182 |    15660     73 |        5 |      286
344.84/344.94	c  344s |      19 |   540914 |   452582 |    15660     74 |        5 |      286
346.84/346.94	c  346s |      19 |   544742 |   455682 |    15660     74 |        5 |      286
348.94/349.02	c  348s |      19 |   547959 |   458382 |    15660     74 |        5 |      286
351.04/351.17	c  351s |      19 |   550535 |   460582 |    15660     75 |        5 |      286
353.14/353.20	c  353s |      19 |   553251 |   462782 |    15660     75 |        5 |      286
355.14/355.29	c  355s |      19 |   556511 |   465382 |    15660     75 |        5 |      286
357.24/357.30	c  357s |      19 |   559226 |   467682 |    15660     75 |        5 |      286
359.33/359.41	c  359s |      19 |   562142 |   470082 |    15660     76 |        5 |      286
361.33/361.47	c  361s |      19 |   564668 |   472082 |    15660     76 |        5 |      286
363.43/363.50	c  363s |      19 |   567601 |   474582 |    15660     76 |        5 |      286
365.43/365.54	c  365s |      19 |   570303 |   476782 |    15660     77 |        5 |      286
367.43/367.55	c  367s |      19 |   572677 |   478782 |    15660     77 |        5 |      286
369.53/369.63	c  369s |      19 |   575968 |   481582 |    15660     77 |        5 |      286
371.52/371.63	c  371s |      19 |   578685 |   483982 |    15660     77 |        5 |      286
373.52/373.69	c  373s |      19 |   581714 |   486682 |    15660     78 |        5 |      286
375.62/375.74	c  375s |      19 |   585108 |   489582 |    15660     78 |        5 |      286
377.72/377.80	c  377s |      19 |   588048 |   492182 |    15660     78 |        5 |      286
379.71/379.85	c  379s |      19 |   591149 |   494882 |    15660     79 |        5 |      286
381.81/381.91	c  381s |      19 |   593975 |   497382 |    15660     79 |        5 |      286
383.82/383.94	c  383s |      19 |   596548 |   499682 |    15660     79 |        5 |      286
385.81/385.98	c  385s |      19 |   599494 |   502282 |    15660     80 |        5 |      286
387.91/388.02	c  387s |      19 |   602603 |   504982 |    15660     80 |        5 |      286
389.92/390.06	c  389s |      19 |   605351 |   507382 |    15660     80 |        5 |      286
391.92/392.07	c  391s |      19 |   608114 |   509782 |    15660     81 |        5 |      286
394.02/394.14	c  393s |      19 |   610981 |   512382 |    15660     81 |        5 |      286
396.02/396.18	c  396s |      19 |   613691 |   514782 |    15660     81 |        5 |      286
398.12/398.22	c  398s |      19 |   615964 |   516782 |    15660     82 |        5 |      286
400.11/400.25	c  400s |      19 |   618811 |   519182 |    15660     82 |        5 |      286
402.21/402.32	c  402s |      19 |   621696 |   521682 |    15660     82 |        5 |      286
404.21/404.34	c  404s |      19 |   624286 |   523882 |    15660     82 |        5 |      286
406.21/406.38	c  406s |      19 |   627041 |   526282 |    15660     83 |        5 |      286
408.31/408.43	c  408s |      19 |   629483 |   528382 |    15660     83 |        5 |      286
410.31/410.47	c  410s |      19 |   632302 |   530782 |    15660     83 |        5 |      286
412.31/412.47	c  412s |      19 |   634817 |   532982 |    15660     84 |        5 |      286
414.71/414.85	c  414s |      19 |   637721 |   535582 |    15660     84 |        5 |      286
416.70/416.85	c  416s |      19 |   640688 |   537782 |    15660     84 |        5 |      286
418.80/418.90	c  418s |      19 |   643325 |   539982 |    15660     84 |        5 |      286
420.80/420.96	c  420s |      19 |   646523 |   542682 |    15660     85 |        5 |      286
422.90/423.04	c  422s |      19 |   649416 |   545282 |    15660     85 |        5 |      286
424.89/425.09	c  424s |      19 |   651675 |   547082 |    15660     85 |        5 |      286
426.99/427.12	c  426s |      19 |   654743 |   549382 |    15660     86 |        5 |      286
428.99/429.16	c  429s |      19 |   657661 |   551782 |    15660     86 |        5 |      286
431.09/431.24	c  431s |      19 |   660467 |   554182 |    15660     86 |        5 |      286
433.09/433.29	c  433s |      19 |   663003 |   556282 |    15660     87 |        5 |      286
435.19/435.37	c  435s |      19 |   665464 |   558482 |    15660     87 |        5 |      286
437.29/437.40	c  437s |      19 |   668786 |   561382 |    15660     87 |        5 |      286
439.28/439.40	c  439s |      19 |   671247 |   563582 |    15660     87 |        5 |      286
441.28/441.48	c  441s |      19 |   673887 |   565782 |    15660     88 |        5 |      286
443.39/443.54	c  443s |      19 |   676572 |   568282 |    15660     88 |        5 |      286
445.39/445.60	c  445s |      19 |   679559 |   570882 |    15660     88 |        5 |      286
447.48/447.61	c  447s |      19 |   683141 |   573882 |    15660     89 |        5 |      286
449.48/449.63	c  449s |      19 |   686947 |   577182 |    15660     89 |        5 |      286
451.48/451.65	c  451s |      19 |   689998 |   579782 |    15660     89 |        5 |      286
453.48/453.66	c  453s |      19 |   693626 |   582982 |    15660     90 |        5 |      286
455.48/455.68	c  455s |      19 |   696815 |   585782 |    15660     90 |        5 |      286
457.67/457.89	c  457s |      19 |   699277 |   587982 |    15660     91 |        5 |      286
459.78/459.94	c  459s |      19 |   703254 |   591282 |    15660     91 |        5 |      286
461.88/462.01	c  461s |      19 |   706606 |   594182 |    15660     91 |        5 |      286
463.87/464.02	c  463s |      19 |   709769 |   596982 |    15660     92 |        5 |      286
465.87/466.03	c  465s |      19 |   713114 |   599982 |    15660     92 |        5 |      286
467.86/468.09	c  467s |      19 |   716092 |   602582 |    15660     92 |        5 |      286
469.96/470.14	c  470s |      19 |   719048 |   605282 |    15660     93 |        5 |      286
472.06/472.22	c  472s |      19 |   722532 |   608382 |    15660     93 |        5 |      286
474.07/474.25	c  474s |      19 |   725400 |   610982 |    15660     93 |        5 |      286
476.06/476.29	c  476s |      19 |   728335 |   613682 |    15660     94 |        5 |      286
478.16/478.30	c  478s |      19 |   729747 |   614882 |    15660     94 |        5 |      286
480.16/480.32	c  480s |      19 |   733492 |   617982 |    15660     94 |        5 |      286
482.16/482.36	c  482s |      19 |   736188 |   620282 |    15660     95 |        5 |      286
484.16/484.36	c  484s |      19 |   739796 |   623382 |    15660     95 |        5 |      286
486.17/486.37	c  486s |      19 |   742933 |   626082 |    15660     95 |        5 |      286
488.15/488.39	c  488s |      19 |   745867 |   628582 |    15660     96 |        5 |      286
490.25/490.43	c  490s |      19 |   749412 |   631582 |    15660     96 |        5 |      286
492.25/492.47	c  492s |      19 |   751989 |   633782 |    15660     96 |        5 |      286
494.35/494.52	c  494s |      19 |   755119 |   636482 |    15660     97 |        5 |      286
496.35/496.55	c  496s |      19 |   758336 |   639282 |    15660     97 |        5 |      286
498.35/498.57	c  498s |      19 |   761530 |   642082 |    15660     97 |        5 |      286
500.45/500.63	c  500s |      19 |   764668 |   644782 |    15660     98 |        5 |      286
502.45/502.70	c  502s |      19 |   767961 |   647682 |    15660     98 |        5 |      286
504.55/504.76	c  504s |      19 |   771102 |   650482 |    15660     98 |        5 |      286
506.55/506.77	c  506s |      19 |   774230 |   653282 |    15660     99 |        5 |      286
508.65/508.81	c  508s |      19 |   777025 |   655782 |    15660     99 |        5 |      286
510.65/510.88	c  510s |      19 |   780115 |   658482 |    15660     99 |        5 |      286
512.75/512.92	c  512s |      19 |   783315 |   661182 |    15660    100 |        5 |      286
514.76/514.96	c  514s |      19 |   786584 |   664082 |    17226    100 |        5 |      286
517.05/517.25	c  517s |      19 |   789385 |   666582 |    17226    100 |        5 |      286
517.25/517.47	c  517s |      20 |   789690 |   666827 |    17226    100 |        5 |      286
519.44/519.67	c  519s |      20 |   792345 |   669027 |    17226    101 |        5 |      286
521.44/521.68	c  521s |      20 |   796072 |   672227 |    17226    101 |        5 |      286
523.55/523.71	c  523s |      20 |   799558 |   675227 |    17226    101 |        5 |      286
525.54/525.76	c  525s |      20 |   802558 |   677827 |    17226    102 |        5 |      286
527.64/527.81	c  527s |      20 |   806034 |   680927 |    17226    102 |        5 |      286
529.64/529.82	c  529s |      20 |   808956 |   683427 |    17226    102 |        5 |      286
531.74/531.94	c  531s |      20 |   812258 |   686227 |    17226    103 |        5 |      286
533.73/533.98	c  533s |      20 |   815921 |   689327 |    17226    103 |        5 |      286
535.73/535.99	c  535s |      20 |   819387 |   692327 |    17226    103 |        5 |      286
537.74/538.00	c  537s |      20 |   822442 |   694927 |    17226    103 |        5 |      286
539.84/540.04	c  539s |      20 |   825743 |   697727 |    17226    104 |        5 |      286
541.84/542.09	c  541s |      20 |   829640 |   701127 |    17226    104 |        5 |      286
544.03/544.29	c  544s |      20 |   832448 |   703727 |    17226    105 |        5 |      286
546.13/546.30	c  546s |      20 |   835894 |   706727 |    17226    105 |        5 |      286
548.13/548.33	c  548s |      20 |   839121 |   709627 |    17226    105 |        5 |      286
550.23/550.40	c  550s |      20 |   842065 |   712327 |    17226    105 |        5 |      286
552.23/552.42	c  552s |      20 |   845005 |   715027 |    17226    106 |        5 |      286
554.23/554.47	c  554s |      20 |   845731 |   715627 |    17226    106 |        5 |      286
556.33/556.53	c  556s |      20 |   849075 |   718527 |    17226    106 |        5 |      286
558.42/558.60	c  558s |      20 |   852035 |   721127 |    17226    107 |        5 |      286
560.42/560.65	c  560s |      20 |   855616 |   724327 |    17226    107 |        5 |      286
562.42/562.69	c  562s |      20 |   858712 |   727027 |    17226    107 |        5 |      286
564.52/564.72	c  564s |      20 |   861851 |   729627 |    17226    107 |        5 |      286
566.52/566.78	c  566s |      20 |   865043 |   732327 |    17226    108 |        5 |      286
568.63/568.84	c  568s |      20 |   868328 |   735127 |    17226    108 |        5 |      286
570.62/570.88	c  570s |      20 |   871306 |   737727 |    17226    108 |        5 |      286
572.72/572.91	c  572s |      20 |   874616 |   740627 |    17226    109 |        5 |      286
574.73/574.94	c  574s |      20 |   878092 |   743727 |    17226    109 |        5 |      286
576.73/576.99	c  576s |      20 |   881211 |   746527 |    17226    109 |        5 |      286
578.82/579.05	c  578s |      20 |   884219 |   749227 |    17226    110 |        5 |      286
580.82/581.08	c  580s |      20 |   887155 |   751927 |    17226    110 |        5 |      286
582.93/583.16	c  583s |      20 |   890057 |   754527 |    17226    110 |        5 |      286
584.92/585.18	c  585s |      20 |   892827 |   757027 |    17226    111 |        5 |      286
587.02/587.22	c  587s |      20 |   895753 |   759627 |    17226    111 |        5 |      286
589.02/589.22	c  589s |      20 |   898781 |   762327 |    17226    111 |        5 |      286
591.02/591.25	c  591s |      20 |   900196 |   763627 |    17226    111 |        5 |      286
593.11/593.31	c  593s |      20 |   903366 |   766327 |    17226    112 |        5 |      286
595.11/595.34	c  595s |      20 |   906977 |   769427 |    17226    112 |        5 |      286
597.12/597.39	c  597s |      20 |   910201 |   772127 |    17226    112 |        5 |      286
599.11/599.39	c  599s |      20 |   912866 |   774527 |    17226    113 |        5 |      286
601.21/601.42	c  601s |      20 |   916058 |   777327 |    17226    113 |        5 |      286
603.21/603.44	c  603s |      20 |   919086 |   780027 |    17226    113 |        5 |      286
605.31/605.50	c  605s |      20 |   921740 |   782427 |    17226    114 |        5 |      286
607.31/607.55	c  607s |      20 |   925066 |   785427 |    17226    114 |        5 |      286
609.50/609.70	c  609s |      20 |   927784 |   787827 |    17226    114 |        5 |      286
611.51/611.76	c  611s |      20 |   930622 |   790327 |    17226    114 |        5 |      286
613.50/613.77	c  613s |      20 |   933700 |   793127 |    17226    115 |        5 |      286
615.50/615.79	c  615s |      20 |   936739 |   795927 |    17226    115 |        5 |      286
617.60/617.89	c  617s |      20 |   939333 |   798327 |    17226    115 |        5 |      286
619.70/619.94	c  619s |      20 |   942130 |   800827 |    17226    116 |        5 |      286
621.70/621.97	c  621s |      20 |   945084 |   803527 |    17226    116 |        5 |      286
623.80/624.01	c  623s |      20 |   947640 |   805927 |    17226    116 |        5 |      286
625.80/626.09	c  625s |      20 |   950058 |   808127 |    17226    116 |        5 |      286
628.69/628.93	c  628s |      20 |   953171 |   810727 |    17226    117 |        5 |      286
630.69/630.97	c  630s |      20 |   956649 |   813727 |    17226    117 |        5 |      286
632.78/633.02	c  632s |      20 |   959814 |   816327 |    17226    117 |        5 |      286
634.79/635.03	c  634s |      20 |   962452 |   818627 |    17226    118 |        5 |      286
636.80/637.05	c  636s |      20 |   965929 |   821727 |    17226    118 |        5 |      286
638.90/639.11	c  638s |      20 |   968693 |   824227 |    17226    118 |        5 |      286
640.89/641.17	c  641s |      20 |   971602 |   826727 |    17226    119 |        5 |      286
643.40/643.64	c  643s |      20 |   973396 |   828327 |    17226    119 |        5 |      286
645.39/645.67	c  645s |      20 |   977097 |   831527 |    17226    119 |        5 |      286
647.39/647.69	c  647s |      20 |   980290 |   834227 |    17226    119 |        5 |      286
649.49/649.72	c  649s |      20 |   983887 |   837227 |    17226    120 |        5 |      286
651.49/651.73	c  651s |      20 |   987462 |   840227 |    17226    120 |        5 |      286
653.49/653.77	c  653s |      20 |   990586 |   842927 |    17226    120 |        5 |      286
655.59/655.85	c  655s |      20 |   993470 |   845327 |    17226    121 |        5 |      286
657.59/657.90	c  657s |      20 |   996220 |   847627 |    17226    121 |        5 |      286
659.68/659.92	c  659s |      20 |   998579 |   849727 |    17226    121 |        5 |      286
661.68/661.95	c  661s |      20 |  1000700 |   851527 |    17226    121 |        5 |      286
663.78/664.00	c  663s |      20 |  1002467 |   853127 |    17226    122 |        5 |      286
665.78/666.02	c  665s |      20 |  1005115 |   855527 |    17226    122 |        5 |      286
667.77/668.07	c  667s |      20 |  1007674 |   857727 |    17226    122 |        5 |      286
669.87/670.14	c  669s |      20 |  1009891 |   859727 |    17226    122 |        5 |      286
671.88/672.15	c  672s |      20 |  1011804 |   861427 |    17226    123 |        5 |      286
673.97/674.21	c  674s |      20 |  1014619 |   863927 |    17226    123 |        5 |      286
675.97/676.27	c  676s |      20 |  1017719 |   866527 |    17226    123 |        5 |      286
678.07/678.32	c  678s |      20 |  1020314 |   868727 |    17226    123 |        5 |      286
680.07/680.33	c  680s |      20 |  1023245 |   871127 |    17226    124 |        5 |      286
682.07/682.34	c  682s |      20 |  1025621 |   873127 |    17226    124 |        5 |      286
684.07/684.34	c  684s |      20 |  1028631 |   875727 |    17226    124 |        5 |      286
686.07/686.34	c  686s |      20 |  1030814 |   877727 |    17226    124 |        5 |      286
688.16/688.40	c  688s |      20 |  1033083 |   879727 |    17226    125 |        5 |      286
690.16/690.41	c  690s |      20 |  1035955 |   882227 |    17226    125 |        5 |      286
692.16/692.45	c  692s |      20 |  1038709 |   884727 |    17226    125 |        5 |      286
694.26/694.52	c  694s |      20 |  1041424 |   886827 |    17226    125 |        5 |      286
696.26/696.55	c  696s |      20 |  1044547 |   889227 |    17226    126 |        5 |      286
698.26/698.60	c  698s |      20 |  1047264 |   891527 |    17226    126 |        5 |      286
700.35/700.67	c  700s |      20 |  1049991 |   893927 |    17226    126 |        5 |      286
703.15/703.40	c  703s |      20 |  1052563 |   896027 |    17226    127 |        5 |      286
705.15/705.44	c  705s |      20 |  1055843 |   898827 |    17226    127 |        5 |      286
707.25/707.52	c  707s |      20 |  1058693 |   901327 |    17226    127 |        5 |      286
709.25/709.57	c  709s |      20 |  1061207 |   903627 |    17226    127 |        5 |      286
711.34/711.62	c  711s |      20 |  1063831 |   906027 |    17226    128 |        5 |      286
713.34/713.64	c  713s |      20 |  1066596 |   908427 |    17226    128 |        5 |      286
715.34/715.64	c  715s |      20 |  1069336 |   910727 |    17226    128 |        5 |      286
717.34/717.68	c  717s |      20 |  1071866 |   912927 |    17226    128 |        5 |      286
719.55/719.88	c  719s |      20 |  1074373 |   915127 |    17226    129 |        5 |      286
721.55/721.89	c  721s |      20 |  1077012 |   917527 |    17226    129 |        5 |      286
723.65/723.97	c  723s |      20 |  1079754 |   920027 |    17226    129 |        5 |      286
725.65/725.99	c  725s |      20 |  1082072 |   922127 |    17226    130 |        5 |      286
727.84/728.13	c  727s |      20 |  1084602 |   924327 |    17226    130 |        5 |      286
729.84/730.16	c  730s |      20 |  1088221 |   927327 |    17226    130 |        5 |      286
731.84/732.18	c  732s |      20 |  1091714 |   930227 |    17226    130 |        5 |      286
733.94/734.21	c  734s |      20 |  1094939 |   933027 |    17226    131 |        5 |      286
735.94/736.27	c  736s |      20 |  1098099 |   935827 |    17226    131 |        5 |      286
738.03/738.31	c  738s |      20 |  1100491 |   937927 |    17226    131 |        5 |      286
740.04/740.35	c  740s |      20 |  1103215 |   940327 |    17226    132 |        5 |      286
742.03/742.38	c  742s |      20 |  1106898 |   943527 |    17226    132 |        5 |      286
744.13/744.46	c  744s |      20 |  1110049 |   946327 |    17226    132 |        5 |      286
746.43/746.79	c  746s |      20 |  1112820 |   948827 |    17226    133 |        5 |      286
748.52/748.84	c  748s |      20 |  1116182 |   951727 |    17226    133 |        5 |      286
750.52/750.85	c  750s |      20 |  1119515 |   954327 |    17226    133 |        5 |      286
752.52/752.86	c  752s |      20 |  1122453 |   956627 |    17226    133 |        5 |      286
754.62/754.92	c  754s |      20 |  1125457 |   959027 |    17226    134 |        5 |      286
756.63/756.94	c  756s |      20 |  1128379 |   961027 |    17226    134 |        5 |      286
758.72/759.03	c  758s |      20 |  1130856 |   963027 |    17226    134 |        5 |      286
760.82/761.10	c  760s |      20 |  1132926 |   964727 |    17226    134 |        5 |      286
762.82/763.18	c  763s |      20 |  1134749 |   966327 |    17226    135 |        5 |      286
764.91/765.29	c  765s |      20 |  1137606 |   968827 |    17226    135 |        5 |      286
767.01/767.34	c  767s |      20 |  1139713 |   970727 |    17226    135 |        5 |      286
769.11/769.45	c  769s |      20 |  1142140 |   972727 |    17226    135 |        5 |      286
771.31/771.63	c  771s |      20 |  1144306 |   974427 |    17226    136 |        5 |      286
773.31/773.66	c  773s |      20 |  1147438 |   976927 |    17226    136 |        5 |      286
775.41/775.71	c  775s |      20 |  1150253 |   979127 |    17226    136 |        5 |      286
777.41/777.77	c  777s |      20 |  1152893 |   981227 |    17226    136 |        5 |      286
779.40/779.79	c  779s |      20 |  1154990 |   982927 |    17226    136 |        5 |      286
781.40/781.80	c  781s |      20 |  1157402 |   984927 |    17226    137 |        5 |      286
783.50/783.82	c  783s |      20 |  1160735 |   987627 |    17226    137 |        5 |      286
785.50/785.86	c  785s |      20 |  1163626 |   989927 |    17226    137 |        5 |      286
787.50/787.88	c  787s |      20 |  1165955 |   991927 |    17226    137 |        5 |      286
789.61/789.95	c  789s |      20 |  1167812 |   993527 |    18949    138 |        5 |      286
791.60/791.98	c  791s |      20 |  1170805 |   996027 |    18949    138 |        5 |      286
793.70/794.05	c  793s |      20 |  1173421 |   998227 |    18949    138 |        5 |      286
795.80/796.10	c  795s |      20 |  1175967 |  1000327 |    18949    138 |        5 |      286
795.80/796.12	c  795s |      21 |  1175988 |  1000345 |    18949    138 |        5 |      286
797.79/798.19	c  798s |      21 |  1177967 |  1002045 |    18949    138 |        5 |      286
799.89/800.25	c  800s |      21 |  1180676 |  1004345 |    18949    139 |        5 |      286
801.99/802.30	c  802s |      21 |  1183467 |  1006645 |    18949    139 |        5 |      286
803.99/804.31	c  804s |      21 |  1186078 |  1008845 |    18949    139 |        5 |      286
806.00/806.35	c  806s |      21 |  1188325 |  1010745 |    18949    139 |        5 |      286
808.09/808.43	c  808s |      21 |  1190443 |  1012545 |    18949    140 |        5 |      286
810.19/810.50	c  810s |      21 |  1192823 |  1014445 |    18949    140 |        5 |      286
812.19/812.50	c  812s |      21 |  1195717 |  1016845 |    18949    140 |        5 |      286
814.19/814.55	c  814s |      21 |  1198359 |  1019045 |    18949    140 |        5 |      286
816.28/816.62	c  816s |      21 |  1200877 |  1021145 |    18949    140 |        5 |      286
818.28/818.65	c  818s |      21 |  1203389 |  1023245 |    18949    141 |        5 |      286
820.28/820.66	c  820s |      21 |  1205878 |  1025345 |    18949    141 |        5 |      286
822.38/822.74	c  822s |      21 |  1208514 |  1027445 |    18949    141 |        5 |      286
824.48/824.82	c  824s |      21 |  1211008 |  1029545 |    18949    141 |        5 |      286
826.48/826.88	c  826s |      21 |  1213411 |  1031545 |    18949    142 |        5 |      286
828.57/828.91	c  828s |      21 |  1216033 |  1033745 |    18949    142 |        5 |      286
830.57/830.96	c  830s |      21 |  1219288 |  1036545 |    18949    142 |        5 |      286
832.57/832.96	c  832s |      21 |  1222064 |  1038845 |    18949    142 |        5 |      286
834.68/835.01	c  834s |      21 |  1224264 |  1040845 |    18949    143 |        5 |      286
836.67/837.03	c  836s |      21 |  1227389 |  1043345 |    18949    143 |        5 |      286
838.76/839.12	c  838s |      21 |  1230133 |  1045645 |    18949    143 |        5 |      286
840.76/841.14	c  840s |      21 |  1232351 |  1047645 |    18949    143 |        5 |      286
842.86/843.20	c  843s |      21 |  1234665 |  1049745 |    18949    143 |        5 |      286
844.86/845.21	c  845s |      21 |  1236881 |  1051745 |    18949    144 |        5 |      286
846.96/847.34	c  847s |      21 |  1239034 |  1053645 |    18949    144 |        5 |      286
848.97/849.35	c  849s |      21 |  1241919 |  1056145 |    18949    144 |        5 |      286
850.97/851.36	c  851s |      21 |  1244279 |  1058245 |    18949    144 |        5 |      286
853.07/853.41	c  853s |      21 |  1247120 |  1060545 |    18949    145 |        5 |      286
855.07/855.43	c  855s |      21 |  1250163 |  1063045 |    18949    145 |        5 |      286
857.07/857.49	c  857s |      21 |  1253014 |  1065445 |    18949    145 |        5 |      286
859.16/859.52	c  859s |      21 |  1255232 |  1067345 |    18949    145 |        5 |      286
861.26/861.62	c  861s |      21 |  1257397 |  1069145 |    18949    145 |        5 |      286
863.36/863.70	c  863s |      21 |  1259892 |  1071345 |    18949    146 |        5 |      286
865.36/865.73	c  865s |      21 |  1262841 |  1073645 |    18949    146 |        5 |      286
867.36/867.75	c  867s |      21 |  1265682 |  1075945 |    18949    146 |        5 |      286
869.45/869.82	c  869s |      21 |  1268180 |  1077945 |    18949    146 |        5 |      286
871.45/871.87	c  871s |      21 |  1270286 |  1079745 |    18949    147 |        5 |      286
873.55/873.92	c  873s |      21 |  1272854 |  1081945 |    18949    147 |        5 |      286
875.55/875.99	c  875s |      21 |  1275129 |  1083945 |    18949    147 |        5 |      286
877.75/878.12	c  877s |      21 |  1277681 |  1086045 |    18949    147 |        5 |      286
879.75/880.13	c  879s |      21 |  1279704 |  1087745 |    18949    147 |        5 |      286
881.74/882.20	c  882s |      21 |  1282036 |  1089545 |    18949    148 |        5 |      286
883.84/884.21	c  884s |      21 |  1284996 |  1092145 |    18949    148 |        5 |      286
885.84/886.27	c  886s |      21 |  1287729 |  1094445 |    18949    148 |        5 |      286
887.94/888.35	c  888s |      21 |  1290142 |  1096545 |    18949    148 |        5 |      286
890.04/890.43	c  890s |      21 |  1292388 |  1098345 |    18949    149 |        5 |      286
892.04/892.49	c  892s |      21 |  1295408 |  1100945 |    18949    149 |        5 |      286
894.14/894.50	c  894s |      21 |  1297586 |  1102845 |    18949    149 |        5 |      286
896.14/896.51	c  896s |      21 |  1300043 |  1104945 |    18949    149 |        5 |      286
898.13/898.60	c  898s |      21 |  1302249 |  1106745 |    18949    149 |        5 |      286
900.23/900.67	c  900s |      21 |  1304348 |  1108445 |    18949    150 |        5 |      286
902.23/902.69	c  902s |      21 |  1307267 |  1111045 |    18949    150 |        5 |      286
904.33/904.75	c  904s |      21 |  1310012 |  1113545 |    18949    150 |        5 |      286
906.33/906.78	c  906s |      21 |  1312056 |  1115445 |    18949    150 |        5 |      286
908.33/908.79	c  908s |      21 |  1314441 |  1117345 |    18949    150 |        5 |      286
910.43/910.83	c  910s |      21 |  1317309 |  1119745 |    18949    151 |        5 |      286
912.43/912.84	c  912s |      21 |  1320036 |  1121945 |    18949    151 |        5 |      286
914.53/914.92	c  914s |      21 |  1322739 |  1124145 |    18949    151 |        5 |      286
916.53/916.96	c  916s |      21 |  1325009 |  1126045 |    18949    151 |        5 |      286
918.62/919.00	c  918s |      21 |  1327081 |  1127745 |    18949    152 |        5 |      286
920.62/921.03	c  920s |      21 |  1329894 |  1130045 |    18949    152 |        5 |      286
922.72/923.12	c  922s |      21 |  1332437 |  1132145 |    18949    152 |        5 |      286
924.72/925.15	c  925s |      21 |  1335008 |  1134045 |    18949    152 |        5 |      286
926.82/927.22	c  927s |      21 |  1337038 |  1135745 |    18949    152 |        5 |      286
928.91/929.34	c  929s |      21 |  1338948 |  1137345 |    18949    153 |        5 |      286
931.42/931.84	c  931s |      21 |  1341587 |  1139545 |    18949    153 |        5 |      286
933.41/933.86	c  933s |      21 |  1344023 |  1141545 |    18949    153 |        5 |      286
935.51/935.91	c  935s |      21 |  1346264 |  1143345 |    18949    153 |        5 |      286
937.51/937.99	c  937s |      21 |  1348494 |  1145145 |    18949    153 |        5 |      286
939.71/940.11	c  939s |      21 |  1350148 |  1146545 |    18949    154 |        5 |      286
941.70/942.16	c  942s |      21 |  1353312 |  1149045 |    18949    154 |        5 |      286
943.80/944.24	c  944s |      21 |  1356480 |  1151445 |    18949    154 |        5 |      286
945.80/946.29	c  946s |      21 |  1359346 |  1153745 |    18949    154 |        5 |      286
947.80/948.30	c  948s |      21 |  1361814 |  1155745 |    18949    154 |        5 |      286
949.90/950.36	c  950s |      21 |  1364665 |  1158045 |    18949    155 |        5 |      286
951.90/952.39	c  952s |      21 |  1367280 |  1160245 |    18949    155 |        5 |      286
954.00/954.44	c  954s |      21 |  1369731 |  1162145 |    18949    155 |        5 |      286
956.00/956.45	c  956s |      21 |  1371978 |  1163945 |    18949    155 |        5 |      286
958.09/958.55	c  958s |      21 |  1374052 |  1165545 |    18949    156 |        5 |      286
960.29/960.73	c  960s |      21 |  1376901 |  1167945 |    18949    156 |        5 |      286
962.29/962.74	c  962s |      21 |  1379501 |  1169945 |    18949    156 |        5 |      286
964.40/964.87	c  964s |      21 |  1381837 |  1171845 |    18949    156 |        5 |      286
966.39/966.87	c  966s |      21 |  1384032 |  1173645 |    18949    156 |        5 |      286
968.49/968.93	c  968s |      21 |  1386124 |  1175345 |    18949    157 |        5 |      286
970.49/970.96	c  970s |      21 |  1388888 |  1177545 |    18949    157 |        5 |      286
972.59/973.03	c  972s |      21 |  1391534 |  1179645 |    18949    157 |        5 |      286
974.60/975.07	c  974s |      21 |  1392435 |  1180345 |    18949    157 |        5 |      286
976.60/977.09	c  976s |      21 |  1394777 |  1182345 |    18949    157 |        5 |      286
978.70/979.16	c  979s |      21 |  1396668 |  1184045 |    18949    157 |        5 |      286
980.80/981.22	c  981s |      21 |  1398479 |  1185645 |    18949    158 |        5 |      286
982.79/983.24	c  983s |      21 |  1400921 |  1187745 |    18949    158 |        5 |      286
984.89/985.31	c  985s |      21 |  1403075 |  1189645 |    18949    158 |        5 |      286
986.89/987.32	c  987s |      21 |  1405449 |  1191545 |    18949    158 |        5 |      286
988.89/989.38	c  989s |      21 |  1407648 |  1193245 |    18949    158 |        5 |      286
990.99/991.41	c  991s |      21 |  1409647 |  1194945 |    18949    159 |        5 |      286
993.00/993.46	c  993s |      21 |  1412243 |  1197045 |    18949    159 |        5 |      286
994.99/995.48	c  995s |      21 |  1414596 |  1199045 |    18949    159 |        5 |      286
997.09/997.54	c  997s |      21 |  1416946 |  1201045 |    18949    159 |        5 |      286
999.19/999.62	c  999s |      21 |  1419321 |  1202845 |    18949    159 |        5 |      286
1001.18/1001.62	c 1001s |      21 |  1421208 |  1204445 |    18949    160 |        5 |      286
1003.18/1003.68	c 1003s |      21 |  1423684 |  1206545 |    18949    160 |        5 |      286
1005.28/1005.72	c 1005s |      21 |  1425512 |  1208045 |    18949    160 |        5 |      286
1007.29/1007.73	c 1007s |      21 |  1428391 |  1210445 |    18949    160 |        5 |      286
1009.28/1009.74	c 1009s |      21 |  1430340 |  1212045 |    18949    160 |        5 |      286
1011.38/1011.83	c 1011s |      21 |  1432546 |  1213845 |    18949    161 |        5 |      286
1013.38/1013.89	c 1013s |      21 |  1435291 |  1216145 |    18949    161 |        5 |      286
1015.48/1015.99	c 1015s |      21 |  1437581 |  1218145 |    18949    161 |        5 |      286
1017.58/1018.08	c 1017s |      21 |  1440012 |  1220045 |    18949    161 |        5 |      286
1019.68/1020.14	c 1020s |      21 |  1442468 |  1222045 |    18949    161 |        5 |      286
1021.68/1022.16	c 1022s |      21 |  1444514 |  1223745 |    18949    162 |        5 |      286
1023.78/1024.22	c 1024s |      21 |  1447154 |  1225945 |    18949    162 |        5 |      286
1025.78/1026.26	c 1026s |      21 |  1449553 |  1227845 |    18949    162 |        5 |      286
1027.77/1028.30	c 1028s |      21 |  1451824 |  1229645 |    18949    162 |        5 |      286
1029.87/1030.39	c 1030s |      21 |  1453983 |  1231345 |    18949    162 |        5 |      286
1031.97/1032.40	c 1032s |      21 |  1455631 |  1232745 |    18949    163 |        5 |      286
1033.97/1034.42	c 1034s |      21 |  1458415 |  1234945 |    18949    163 |        5 |      286
1035.97/1036.43	c 1036s |      21 |  1460774 |  1236845 |    18949    163 |        5 |      286
1037.98/1038.48	c 1038s |      21 |  1463233 |  1238845 |    18949    163 |        5 |      286
1040.07/1040.55	c 1040s |      21 |  1465404 |  1240545 |    18949    163 |        5 |      286
1042.27/1042.73	c 1042s |      21 |  1467206 |  1242045 |    18949    164 |        5 |      286
1044.27/1044.75	c 1044s |      21 |  1469619 |  1244145 |    18949    164 |        5 |      286
1046.37/1046.86	c 1046s |      21 |  1472154 |  1246345 |    18949    164 |        5 |      286
1048.47/1048.93	c 1048s |      21 |  1474128 |  1247945 |    18949    164 |        5 |      286
1050.47/1050.98	c 1050s |      21 |  1476149 |  1249645 |    18949    164 |        5 |      286
1052.57/1053.00	c 1052s |      21 |  1478003 |  1251245 |    18949    164 |        5 |      286
1054.58/1055.04	c 1054s |      21 |  1480009 |  1252845 |    18949    165 |        5 |      286
1056.67/1057.12	c 1056s |      21 |  1482198 |  1254745 |    18949    165 |        5 |      286
1058.67/1059.15	c 1059s |      21 |  1484325 |  1256445 |    18949    165 |        5 |      286
1060.77/1061.25	c 1061s |      21 |  1486869 |  1258445 |    18949    165 |        5 |      286
1062.87/1063.32	c 1063s |      21 |  1489171 |  1260345 |    18949    165 |        5 |      286
1065.17/1065.64	c 1065s |      21 |  1491406 |  1262145 |    18949    166 |        5 |      286
1067.27/1067.70	c 1067s |      21 |  1494183 |  1264345 |    18949    166 |        5 |      286
1069.27/1069.74	c 1069s |      21 |  1496575 |  1266345 |    18949    166 |        5 |      286
1071.37/1071.86	c 1071s |      21 |  1498780 |  1268245 |    18949    166 |        5 |      286
1073.37/1073.86	c 1073s |      21 |  1500734 |  1269745 |    18949    166 |        5 |      286
1075.47/1075.96	c 1075s |      21 |  1502530 |  1271145 |    18949    167 |        5 |      286
1077.77/1078.20	c 1078s |      21 |  1505232 |  1273145 |    18949    167 |        5 |      286
1079.77/1080.28	c 1080s |      21 |  1507856 |  1275245 |    18949    167 |        5 |      286
1081.86/1082.34	c 1082s |      21 |  1510275 |  1277145 |    18949    167 |        5 |      286
1083.86/1084.39	c 1084s |      21 |  1512494 |  1278945 |    18949    167 |        5 |      286
1085.96/1086.46	c 1086s |      21 |  1514683 |  1280645 |    18949    168 |        5 |      286
1088.06/1088.52	c 1088s |      21 |  1517357 |  1282745 |    18949    168 |        5 |      286
1090.16/1090.61	c 1090s |      21 |  1519542 |  1284545 |    18949    168 |        5 |      286
1092.16/1092.63	c 1092s |      21 |  1521467 |  1286145 |    18949    168 |        5 |      286
1094.17/1094.64	c 1094s |      21 |  1523451 |  1287745 |    18949    168 |        5 |      286
1096.16/1096.68	c 1096s |      21 |  1525436 |  1289345 |    18949    168 |        5 |      286
1098.26/1098.72	c 1098s |      21 |  1527318 |  1290945 |    18949    169 |        5 |      286
1100.36/1100.81	c 1100s |      21 |  1529861 |  1293045 |    18949    169 |        5 |      286
1102.46/1102.91	c 1102s |      21 |  1532298 |  1294945 |    18949    169 |        5 |      286
1104.56/1105.00	c 1104s |      21 |  1534370 |  1296645 |    18949    169 |        5 |      286
1106.56/1107.08	c 1106s |      21 |  1536288 |  1298145 |    18949    169 |        5 |      286
1108.66/1109.11	c 1108s |      21 |  1538116 |  1299545 |    18949    170 |        5 |      286
1110.76/1111.20	c 1111s |      21 |  1540568 |  1301345 |    18949    170 |        5 |      286
1112.76/1113.25	c 1113s |      21 |  1543007 |  1303245 |    18949    170 |        5 |      286
1114.76/1115.28	c 1115s |      21 |  1545242 |  1305045 |    18949    170 |        5 |      286
1116.86/1117.34	c 1117s |      21 |  1547237 |  1306645 |    18949    170 |        5 |      286
1118.96/1119.46	c 1119s |      21 |  1549233 |  1308245 |    18949    170 |        5 |      286
1120.96/1121.47	c 1121s |      21 |  1551227 |  1309745 |    18949    171 |        5 |      286
1123.06/1123.50	c 1123s |      21 |  1553783 |  1311745 |    18949    171 |        5 |      286
1125.06/1125.55	c 1125s |      21 |  1555933 |  1313545 |    18949    171 |        5 |      286
1127.06/1127.60	c 1127s |      21 |  1557884 |  1315145 |    18949    171 |        5 |      286
1129.15/1129.66	c 1129s |      21 |  1559703 |  1316645 |    18949    171 |        5 |      286
1131.25/1131.76	c 1131s |      21 |  1561490 |  1318145 |    18949    171 |        5 |      286
1133.35/1133.81	c 1133s |      21 |  1563699 |  1319945 |    18949    172 |        5 |      286
1135.35/1135.83	c 1135s |      21 |  1566553 |  1322145 |    18949    172 |        5 |      286
1137.35/1137.89	c 1137s |      21 |  1568967 |  1324145 |    18949    172 |        5 |      286
1139.45/1139.93	c 1139s |      21 |  1571143 |  1325845 |    18949    172 |        5 |      286
1141.55/1142.07	c 1141s |      21 |  1572953 |  1327245 |    18949    172 |        5 |      286
1143.66/1144.17	c 1144s |      21 |  1574612 |  1328645 |    18949    173 |        5 |      286
1145.76/1146.23	c 1146s |      21 |  1576886 |  1330445 |    18949    173 |        5 |      286
1147.85/1148.31	c 1148s |      21 |  1579600 |  1332845 |    18949    173 |        5 |      286
1149.95/1150.42	c 1150s |      21 |  1582004 |  1334945 |    18949    173 |        5 |      286
1151.95/1152.49	c 1152s |      21 |  1584349 |  1336945 |    18949    173 |        5 |      286
1154.05/1154.54	c 1154s |      21 |  1586867 |  1339045 |    18949    174 |        5 |      286
1156.06/1156.59	c 1156s |      21 |  1589614 |  1341345 |    18949    174 |        5 |      286
1158.16/1158.63	c 1158s |      21 |  1591959 |  1343345 |    18949    174 |        5 |      286
1160.16/1160.64	c 1160s |      21 |  1594585 |  1345445 |    18949    174 |        5 |      286
1162.26/1162.73	c 1162s |      21 |  1596857 |  1347345 |    18949    174 |        5 |      286
1164.26/1164.77	c 1164s |      21 |  1598477 |  1348645 |    18949    175 |        5 |      286
1166.35/1166.82	c 1166s |      21 |  1601098 |  1350845 |    18949    175 |        5 |      286
1168.35/1168.88	c 1168s |      21 |  1603956 |  1353345 |    18949    175 |        5 |      286
1170.45/1170.94	c 1170s |      21 |  1606432 |  1355545 |    18949    175 |        5 |      286
1172.45/1172.99	c 1172s |      21 |  1608335 |  1357145 |    18949    176 |        5 |      286
1174.55/1175.00	c 1174s |      21 |  1610182 |  1358745 |    18949    176 |        5 |      286
1176.56/1177.02	c 1176s |      21 |  1613062 |  1361245 |    18949    176 |        5 |      286
1178.55/1179.05	c 1178s |      21 |  1615426 |  1363245 |    18949    176 |        5 |      286
1180.65/1181.11	c 1180s |      21 |  1617480 |  1365045 |    18949    176 |        5 |      286
1182.65/1183.12	c 1182s |      21 |  1619223 |  1366545 |    18949    176 |        5 |      286
1184.65/1185.16	c 1185s |      21 |  1621792 |  1368645 |    18949    177 |        5 |      286
1186.75/1187.26	c 1187s |      21 |  1624234 |  1370645 |    18949    177 |        5 |      286
1188.85/1189.32	c 1189s |      21 |  1626336 |  1372345 |    18949    177 |        5 |      286
1190.96/1191.41	c 1191s |      21 |  1629182 |  1374645 |    18949    177 |        5 |      286
1192.95/1193.45	c 1193s |      21 |  1631256 |  1376345 |    18949    178 |        5 |      286
1195.05/1195.52	c 1195s |      21 |  1633703 |  1378245 |    18949    178 |        5 |      286
1197.05/1197.55	c 1197s |      21 |  1636871 |  1380845 |    18949    178 |        5 |      286
1199.05/1199.56	c 1199s |      21 |  1639465 |  1383045 |    18949    178 |        5 |      286
1201.15/1201.66	c 1201s |      21 |  1641783 |  1384945 |    18949    178 |        5 |      286
1203.15/1203.69	c 1203s |      21 |  1643716 |  1386645 |    18949    179 |        5 |      286
1205.25/1205.75	c 1205s |      21 |  1646124 |  1388745 |    18949    179 |        5 |      286
1207.25/1207.76	c 1207s |      21 |  1648542 |  1390745 |    18949    179 |        5 |      286
1209.35/1209.85	c 1209s |      21 |  1650794 |  1392645 |    18949    179 |        5 |      286
1211.44/1211.90	c 1211s |      21 |  1652960 |  1394445 |    18949    179 |        5 |      286
1213.44/1213.92	c 1213s |      21 |  1655062 |  1396245 |    18949    180 |        5 |      286
1215.54/1216.00	c 1215s |      21 |  1657668 |  1398445 |    18949    180 |        5 |      286
1217.54/1218.01	c 1217s |      21 |  1660086 |  1400545 |    18949    180 |        5 |      286
1219.64/1220.12	c 1219s |      21 |  1662400 |  1402545 |    18949    180 |        5 |      286
1221.75/1222.20	c 1222s |      21 |  1664579 |  1404345 |    18949    180 |        5 |      286
1223.74/1224.26	c 1224s |      21 |  1666067 |  1405545 |    18949    181 |        5 |      286
1225.84/1226.32	c 1226s |      21 |  1669237 |  1408045 |    18949    181 |        5 |      286
1227.84/1228.37	c 1228s |      21 |  1671724 |  1410145 |    18949    181 |        5 |      286
1229.84/1230.37	c 1230s |      21 |  1673805 |  1411945 |    18949    181 |        5 |      286
1231.94/1232.49	c 1232s |      21 |  1675818 |  1413745 |    18949    181 |        5 |      286
1234.04/1234.52	c 1234s |      21 |  1677510 |  1415145 |    18949    182 |        5 |      286
1236.05/1236.59	c 1236s |      21 |  1680135 |  1417445 |    18949    182 |        5 |      286
1238.15/1238.65	c 1238s |      21 |  1682575 |  1419545 |    18949    182 |        5 |      286
1240.24/1240.75	c 1240s |      21 |  1685152 |  1421645 |    18949    182 |        5 |      286
1242.34/1242.83	c 1242s |      21 |  1687092 |  1423245 |    18949    182 |        5 |      286
1244.34/1244.85	c 1244s |      21 |  1688847 |  1424745 |    18949    183 |        5 |      286
1246.44/1246.94	c 1246s |      21 |  1691679 |  1427145 |    18949    183 |        5 |      286
1248.44/1248.94	c 1248s |      21 |  1694109 |  1429145 |    18949    183 |        5 |      286
1250.54/1251.05	c 1250s |      21 |  1696506 |  1431045 |    18949    183 |        5 |      286
1252.54/1253.08	c 1252s |      21 |  1698507 |  1432845 |    18949    183 |        5 |      286
1254.64/1255.15	c 1255s |      21 |  1700707 |  1434745 |    18949    184 |        5 |      286
1256.64/1257.15	c 1257s |      21 |  1703470 |  1437045 |    18949    184 |        5 |      286
1258.84/1259.34	c 1259s |      21 |  1705618 |  1438945 |    18949    184 |        5 |      286
1260.94/1261.41	c 1261s |      21 |  1707471 |  1440545 |    18949    184 |        5 |      286
1262.93/1263.47	c 1263s |      21 |  1708882 |  1441745 |    18949    184 |        5 |      286
1265.13/1265.60	c 1265s |      21 |  1710763 |  1443345 |    18949    185 |        5 |      286
1267.13/1267.62	c 1267s |      21 |  1713612 |  1445745 |    18949    185 |        5 |      286
1269.13/1269.63	c 1269s |      21 |  1715770 |  1447545 |    18949    185 |        5 |      286
1271.14/1271.65	c 1271s |      21 |  1718434 |  1449745 |    18949    185 |        5 |      286
1273.23/1273.72	c 1273s |      21 |  1720553 |  1451545 |    18949    185 |        5 |      286
1275.43/1275.95	c 1275s |      21 |  1721792 |  1452645 |    18949    186 |        5 |      286
1277.53/1278.05	c 1277s |      21 |  1724671 |  1455045 |    18949    186 |        5 |      286
1279.63/1280.16	c 1280s |      21 |  1726942 |  1456945 |    18949    186 |        5 |      286
1281.73/1282.22	c 1282s |      21 |  1729142 |  1458845 |    18949    186 |        5 |      286
1283.73/1284.26	c 1284s |      21 |  1731547 |  1460845 |    18949    186 |        5 |      286
1285.83/1286.32	c 1286s |      21 |  1733622 |  1462545 |    18949    187 |        5 |      286
1287.83/1288.33	c 1288s |      21 |  1736176 |  1464745 |    18949    187 |        5 |      286
1289.94/1290.43	c 1290s |      21 |  1738821 |  1467045 |    18949    187 |        5 |      286
1292.03/1292.52	c 1292s |      21 |  1741428 |  1469245 |    18949    187 |        5 |      286
1294.03/1294.58	c 1294s |      21 |  1743772 |  1471145 |    18949    187 |        5 |      286
1296.13/1296.60	c 1296s |      21 |  1745989 |  1472945 |    18949    188 |        5 |      286
1298.13/1298.60	c 1298s |      21 |  1748391 |  1475045 |    18949    188 |        5 |      286
1300.73/1301.27	c 1301s |      21 |  1750578 |  1476945 |    18949    188 |        5 |      286
1302.83/1303.36	c 1303s |      21 |  1753093 |  1479045 |    18949    188 |        5 |      286
1304.93/1305.41	c 1305s |      21 |  1755245 |  1480845 |    18949    188 |        5 |      286
1306.94/1307.45	c 1307s |      21 |  1757356 |  1482645 |    18949    189 |        5 |      286
1308.94/1309.45	c 1309s |      21 |  1759944 |  1484845 |    18949    189 |        5 |      286
1311.03/1311.50	c 1311s |      21 |  1762576 |  1487145 |    18949    189 |        5 |      286
1313.04/1313.51	c 1313s |      21 |  1764893 |  1489045 |    18949    189 |        5 |      286
1315.03/1315.53	c 1315s |      21 |  1766762 |  1490645 |    20844    189 |        5 |      286
1317.03/1317.59	c 1317s |      21 |  1768675 |  1492245 |    20844    189 |        5 |      286
1319.23/1319.72	c 1319s |      21 |  1770172 |  1493545 |    20844    190 |        5 |      286
1321.23/1321.72	c 1321s |      21 |  1772759 |  1495645 |    20844    190 |        5 |      286
1323.23/1323.79	c 1323s |      21 |  1775779 |  1498145 |    20844    190 |        5 |      286
1325.33/1325.86	c 1325s |      21 |  1778303 |  1500345 |    20844    190 |        5 |      286
1325.63/1326.16	c 1326s |      22 |  1778615 |  1500622 |    20844    190 |        5 |      286
1327.73/1328.24	c 1328s |      22 |  1780393 |  1502022 |    20844    190 |        5 |      286
1329.83/1330.32	c 1330s |      22 |  1782592 |  1503722 |    20844    191 |        5 |      286
1331.83/1332.33	c 1332s |      22 |  1785485 |  1506022 |    20844    191 |        5 |      286
1333.83/1334.37	c 1334s |      22 |  1788398 |  1508222 |    20844    191 |        5 |      286
1335.83/1336.38	c 1336s |      22 |  1790989 |  1510322 |    20844    191 |        5 |      286
1337.93/1338.44	c 1338s |      22 |  1793452 |  1512322 |    20844    191 |        5 |      286
1340.03/1340.51	c 1340s |      22 |  1795641 |  1514022 |    20844    191 |        5 |      286
1342.03/1342.58	c 1342s |      22 |  1797946 |  1515922 |    20844    192 |        5 |      286
1344.12/1344.63	c 1344s |      22 |  1800365 |  1518022 |    20844    192 |        5 |      286
1346.22/1346.70	c 1346s |      22 |  1802487 |  1519822 |    20844    192 |        5 |      286
1348.23/1348.76	c 1348s |      22 |  1804692 |  1521722 |    20844    192 |        5 |      286
1350.22/1350.80	c 1350s |      22 |  1806823 |  1523522 |    20844    192 |        5 |      286
1352.82/1353.31	c 1353s |      22 |  1808515 |  1525022 |    20844    193 |        5 |      286
1354.83/1355.37	c 1355s |      22 |  1811025 |  1527222 |    20844    193 |        5 |      286
1356.93/1357.48	c 1357s |      22 |  1812867 |  1528822 |    20844    193 |        5 |      286
1359.02/1359.55	c 1359s |      22 |  1815239 |  1530822 |    20844    193 |        5 |      286
1361.02/1361.58	c 1361s |      22 |  1817302 |  1532622 |    20844    193 |        5 |      286
1363.12/1363.63	c 1363s |      22 |  1819256 |  1534322 |    20844    193 |        5 |      286
1365.12/1365.66	c 1365s |      22 |  1821329 |  1536222 |    20844    194 |        5 |      286
1367.12/1367.67	c 1367s |      22 |  1822363 |  1537022 |    20844    194 |        5 |      286
1369.12/1369.68	c 1369s |      22 |  1825027 |  1539222 |    20844    194 |        5 |      286
1371.23/1371.75	c 1371s |      22 |  1827281 |  1541022 |    20844    194 |        5 |      286
1373.23/1373.79	c 1373s |      22 |  1829367 |  1542722 |    20844    194 |        5 |      286
1375.32/1375.82	c 1375s |      22 |  1831088 |  1544222 |    20844    194 |        5 |      286
1377.32/1377.83	c 1377s |      22 |  1832792 |  1545722 |    20844    194 |        5 |      286
1379.52/1380.09	c 1379s |      22 |  1834271 |  1547022 |    20844    195 |        5 |      286
1381.62/1382.14	c 1381s |      22 |  1836809 |  1549222 |    20844    195 |        5 |      286
1383.72/1384.23	c 1384s |      22 |  1839117 |  1551222 |    20844    195 |        5 |      286
1385.72/1386.23	c 1386s |      22 |  1841247 |  1553022 |    20844    195 |        5 |      286
1387.83/1388.32	c 1388s |      22 |  1843285 |  1554722 |    20844    195 |        5 |      286
1389.82/1390.37	c 1390s |      22 |  1845106 |  1556222 |    20844    195 |        5 |      286
1391.82/1392.37	c 1392s |      22 |  1847301 |  1557822 |    20844    196 |        5 |      286
1393.92/1394.45	c 1394s |      22 |  1849862 |  1559922 |    20844    196 |        5 |      286
1396.02/1396.52	c 1396s |      22 |  1852157 |  1561822 |    20844    196 |        5 |      286
1398.02/1398.54	c 1398s |      22 |  1854732 |  1564022 |    20844    196 |        5 |      286
1400.12/1400.66	c 1400s |      22 |  1857428 |  1566222 |    20844    196 |        5 |      286
1402.52/1403.07	c 1402s |      22 |  1859542 |  1568022 |    20844    197 |        5 |      286
1404.62/1405.14	c 1404s |      22 |  1862545 |  1570322 |    20844    197 |        5 |      286
1406.72/1407.24	c 1407s |      22 |  1864723 |  1572222 |    20844    197 |        5 |      286
1408.82/1409.33	c 1409s |      22 |  1866924 |  1574022 |    20844    197 |        5 |      286
1410.82/1411.37	c 1411s |      22 |  1868516 |  1575122 |    20844    197 |        5 |      286
1412.92/1413.48	c 1413s |      22 |  1870528 |  1576822 |    20844    197 |        5 |      286
1415.02/1415.56	c 1415s |      22 |  1872654 |  1578622 |    20844    198 |        5 |      286
1417.11/1417.63	c 1417s |      22 |  1875369 |  1580722 |    20844    198 |        5 |      286
1419.11/1419.65	c 1419s |      22 |  1877751 |  1582722 |    20844    198 |        5 |      286
1421.21/1421.74	c 1421s |      22 |  1879981 |  1584622 |    20844    198 |        5 |      286
1423.31/1423.80	c 1423s |      22 |  1882108 |  1586422 |    20844    198 |        5 |      286
1425.31/1425.89	c 1425s |      22 |  1884007 |  1588022 |    20844    198 |        5 |      286
1427.81/1428.32	c 1428s |      22 |  1884968 |  1588822 |    20844    199 |        5 |      286
1429.81/1430.36	c 1430s |      22 |  1887930 |  1591222 |    20844    199 |        5 |      286
1431.91/1432.46	c 1432s |      22 |  1890710 |  1593522 |    20844    199 |        5 |      286
1434.01/1434.51	c 1434s |      22 |  1893075 |  1595522 |    20844    199 |        5 |      286
1436.01/1436.55	c 1436s |      22 |  1895259 |  1597322 |    20844    199 |        5 |      286
1438.12/1438.69	c 1438s |      22 |  1897053 |  1598722 |    20844    199 |        5 |      286
1440.22/1440.74	c 1440s |      22 |  1898623 |  1600122 |    20844    200 |        5 |      286
1442.21/1442.79	c 1442s |      22 |  1901136 |  1602222 |    20844    200 |        5 |      286
1444.31/1444.86	c 1444s |      22 |  1903286 |  1604122 |    20844    200 |        5 |      286
1446.31/1446.87	c 1446s |      22 |  1905110 |  1605722 |    20844    200 |        5 |      286
1448.41/1448.92	c 1448s |      22 |  1907010 |  1607422 |    20844    200 |        5 |      286
1450.52/1451.04	c 1450s |      22 |  1908768 |  1609022 |    20844    200 |        5 |      286
1452.51/1453.09	c 1452s |      22 |  1910508 |  1610622 |    20844    201 |        5 |      286
1454.61/1455.14	c 1454s |      22 |  1913014 |  1612922 |    20844    201 |        5 |      286
1456.71/1457.20	c 1457s |      22 |  1915608 |  1615122 |    20844    201 |        5 |      286
1458.71/1459.21	c 1459s |      22 |  1917859 |  1617122 |    20844    201 |        5 |      286
1460.71/1461.28	c 1461s |      22 |  1919849 |  1618922 |    20844    201 |        5 |      286
1462.81/1463.35	c 1463s |      22 |  1921649 |  1620622 |    20844    202 |        5 |      286
1465.01/1465.59	c 1465s |      22 |  1923720 |  1622522 |    20844    202 |        5 |      286
1467.11/1467.65	c 1467s |      22 |  1925907 |  1624522 |    20844    202 |        5 |      286
1469.11/1469.68	c 1469s |      22 |  1927967 |  1626422 |    20844    202 |        5 |      286
1471.21/1471.76	c 1471s |      22 |  1929814 |  1628122 |    20844    202 |        5 |      286
1473.31/1473.89	c 1473s |      22 |  1931412 |  1629622 |    20844    202 |        5 |      286
1475.71/1476.29	c 1476s |      22 |  1932930 |  1631022 |    20844    203 |        5 |      286
1477.80/1478.34	c 1478s |      22 |  1935948 |  1633522 |    20844    203 |        5 |      286
1479.90/1480.41	c 1480s |      22 |  1938624 |  1635622 |    20844    203 |        5 |      286
1482.00/1482.50	c 1482s |      22 |  1941269 |  1637922 |    20844    203 |        5 |      286
1484.00/1484.52	c 1484s |      22 |  1943559 |  1639822 |    20844    203 |        5 |      286
1486.10/1486.63	c 1486s |      22 |  1945026 |  1641022 |    20844    204 |        5 |      286
1488.20/1488.70	c 1488s |      22 |  1947211 |  1642822 |    20844    204 |        5 |      286
1490.20/1490.79	c 1490s |      22 |  1949266 |  1644622 |    20844    204 |        5 |      286
1492.31/1492.82	c 1492s |      22 |  1950955 |  1646022 |    20844    204 |        5 |      286
1494.30/1494.87	c 1494s |      22 |  1952653 |  1647522 |    20844    204 |        5 |      286
1496.40/1496.92	c 1496s |      22 |  1954480 |  1649022 |    20844    204 |        5 |      286
1498.50/1499.08	c 1498s |      22 |  1956052 |  1650422 |    20844    204 |        5 |      286
1500.60/1501.16	c 1501s |      22 |  1957682 |  1651822 |    20844    205 |        5 |      286
1502.60/1503.17	c 1503s |      22 |  1959843 |  1653722 |    20844    205 |        5 |      286
1504.70/1505.28	c 1505s |      22 |  1961861 |  1655522 |    20844    205 |        5 |      286
1506.80/1507.35	c 1507s |      22 |  1963773 |  1657222 |    20844    205 |        5 |      286
1508.90/1509.44	c 1509s |      22 |  1965909 |  1659122 |    20844    205 |        5 |      286
1511.01/1511.54	c 1511s |      22 |  1967776 |  1660822 |    20844    205 |        5 |      286
1513.80/1514.33	c 1514s |      22 |  1968989 |  1661922 |    20844    206 |        5 |      286
1515.90/1516.40	c 1516s |      22 |  1971812 |  1664422 |    20844    206 |        5 |      286
1517.90/1518.48	c 1518s |      22 |  1974040 |  1666422 |    20844    206 |        5 |      286
1520.00/1520.54	c 1520s |      22 |  1976104 |  1668322 |    20844    206 |        5 |      286
1522.00/1522.58	c 1522s |      22 |  1978025 |  1670022 |    20844    206 |        5 |      286
1524.10/1524.70	c 1524s |      22 |  1979754 |  1671622 |    20844    206 |        5 |      286
1526.20/1526.74	c 1526s |      22 |  1981754 |  1673322 |    20844    207 |        5 |      286
1528.51/1529.02	c 1528s |      22 |  1982926 |  1674322 |    20844    207 |        5 |      286
1530.50/1531.05	c 1530s |      22 |  1985503 |  1676622 |    20844    207 |        5 |      286
1532.60/1533.10	c 1532s |      22 |  1987727 |  1678622 |    20844    207 |        5 |      286
1534.60/1535.16	c 1535s |      22 |  1989766 |  1680422 |    20844    207 |        5 |      286
1536.70/1537.20	c 1537s |      22 |  1991614 |  1682022 |    20844    207 |        5 |      286
1539.00/1539.51	c 1539s |      22 |  1993209 |  1683422 |    20844    208 |        5 |      286
1541.00/1541.57	c 1541s |      22 |  1995711 |  1685722 |    20844    208 |        5 |      286
1543.10/1543.67	c 1543s |      22 |  1998039 |  1687722 |    20844    208 |        5 |      286
1545.10/1545.69	c 1545s |      22 |  1999411 |  1688922 |    20844    208 |        5 |      286
1547.20/1547.71	c 1547s |      22 |  2001519 |  1690722 |    20844    208 |        5 |      286
1549.20/1549.76	c 1549s |      22 |  2003542 |  1692522 |    20844    208 |        5 |      286
1551.50/1552.01	c 1551s |      22 |  2004888 |  1693622 |    20844    209 |        5 |      286
1553.60/1554.10	c 1553s |      22 |  2008401 |  1696322 |    20844    209 |        5 |      286
1555.60/1556.15	c 1556s |      22 |  2011107 |  1698422 |    20844    209 |        5 |      286
1557.69/1558.21	c 1558s |      22 |  2013441 |  1700322 |    20844    209 |        5 |      286
1559.79/1560.31	c 1560s |      22 |  2015735 |  1702322 |    20844    209 |        5 |      286
1561.89/1562.45	c 1562s |      22 |  2017918 |  1703922 |    20844    209 |        5 |      286
1563.99/1564.53	c 1564s |      22 |  2020314 |  1706022 |    20844    210 |        5 |      286
1566.00/1566.58	c 1566s |      22 |  2022690 |  1708122 |    20844    210 |        5 |      286
1568.10/1568.63	c 1568s |      22 |  2024840 |  1709922 |    20844    210 |        5 |      286
1570.09/1570.63	c 1570s |      22 |  2026991 |  1711722 |    20844    210 |        5 |      286
1573.29/1573.86	c 1573s |      22 |  2028848 |  1713322 |    20844    210 |        5 |      286
1575.39/1575.93	c 1575s |      22 |  2030757 |  1714822 |    20844    211 |        5 |      286
1577.39/1577.99	c 1577s |      22 |  2033606 |  1717122 |    20844    211 |        5 |      286
1579.49/1580.05	c 1579s |      22 |  2036037 |  1719222 |    20844    211 |        5 |      286
1581.49/1582.07	c 1581s |      22 |  2038165 |  1721122 |    20844    211 |        5 |      286
1583.69/1584.21	c 1584s |      22 |  2039880 |  1722722 |    20844    211 |        5 |      286
1585.98/1586.57	c 1586s |      22 |  2041488 |  1724222 |    20844    211 |        5 |      286
1587.99/1588.58	c 1588s |      22 |  2043740 |  1726222 |    20844    212 |        5 |      286
1590.09/1590.63	c 1590s |      22 |  2046947 |  1728722 |    20844    212 |        5 |      286
1592.08/1592.69	c 1592s |      22 |  2049521 |  1731022 |    20844    212 |        5 |      286
1594.18/1594.70	c 1594s |      22 |  2051636 |  1732722 |    20844    212 |        5 |      286
1596.18/1596.71	c 1596s |      22 |  2053844 |  1734622 |    20844    212 |        5 |      286
1598.18/1598.78	c 1598s |      22 |  2055843 |  1736422 |    20844    213 |        5 |      286
1600.28/1600.86	c 1600s |      22 |  2058042 |  1738422 |    20844    213 |        5 |      286
1602.38/1602.91	c 1602s |      22 |  2060317 |  1740422 |    20844    213 |        5 |      286
1604.39/1604.94	c 1604s |      22 |  2062570 |  1742422 |    20844    213 |        5 |      286
1606.38/1606.98	c 1606s |      22 |  2064479 |  1744122 |    20844    213 |        5 |      286
1608.59/1609.12	c 1608s |      22 |  2066300 |  1745722 |    20844    213 |        5 |      286
1611.19/1611.78	c 1611s |      22 |  2068284 |  1747422 |    20844    214 |        5 |      286
1613.19/1613.79	c 1613s |      22 |  2070717 |  1749522 |    20844    214 |        5 |      286
1615.29/1615.81	c 1615s |      22 |  2072589 |  1751122 |    20844    214 |        5 |      286
1617.39/1617.90	c 1617s |      22 |  2074977 |  1753222 |    20844    214 |        5 |      286
1619.39/1619.96	c 1619s |      22 |  2076880 |  1754922 |    20844    214 |        5 |      286
1621.49/1622.09	c 1621s |      22 |  2078517 |  1756422 |    20844    214 |        5 |      286
1623.59/1624.13	c 1623s |      22 |  2079937 |  1757722 |    20844    215 |        5 |      286
1625.58/1626.18	c 1626s |      22 |  2082422 |  1759922 |    20844    215 |        5 |      286
1627.68/1628.28	c 1628s |      22 |  2084528 |  1761822 |    20844    215 |        5 |      286
1629.79/1630.30	c 1630s |      22 |  2086405 |  1763522 |    20844    215 |        5 |      286
1631.78/1632.37	c 1632s |      22 |  2088042 |  1765022 |    20844    215 |        5 |      286
1633.88/1634.45	c 1634s |      22 |  2090100 |  1766922 |    20844    215 |        5 |      286
1635.88/1636.45	c 1636s |      22 |  2091932 |  1768522 |    20844    216 |        5 |      286
1637.98/1638.51	c 1638s |      22 |  2094763 |  1771122 |    20844    216 |        5 |      286
1639.98/1640.56	c 1640s |      22 |  2096938 |  1773122 |    20844    216 |        5 |      286
1641.98/1642.57	c 1642s |      22 |  2098736 |  1774822 |    20844    216 |        5 |      286
1644.09/1644.65	c 1644s |      22 |  2101029 |  1776722 |    20844    216 |        5 |      286
1646.08/1646.66	c 1646s |      22 |  2103037 |  1778522 |    20844    217 |        5 |      286
1648.08/1648.69	c 1648s |      22 |  2103827 |  1779222 |    20844    217 |        5 |      286
1650.08/1650.69	c 1650s |      22 |  2106691 |  1781722 |    20844    217 |        5 |      286
1652.18/1652.73	c 1652s |      22 |  2108975 |  1783722 |    20844    217 |        5 |      286
1654.28/1654.86	c 1654s |      22 |  2111135 |  1785622 |    20844    217 |        5 |      286
1656.37/1657.00	c 1656s |      22 |  2113058 |  1787222 |    20844    217 |        5 |      286
1658.47/1659.03	c 1658s |      22 |  2114514 |  1788522 |    20844    218 |        5 |      286
1660.58/1661.13	c 1660s |      22 |  2117188 |  1790922 |    20844    218 |        5 |      286
1662.68/1663.21	c 1663s |      22 |  2119811 |  1793122 |    20844    218 |        5 |      286
1664.67/1665.23	c 1665s |      22 |  2121764 |  1794922 |    20844    218 |        5 |      286
1666.77/1667.32	c 1667s |      22 |  2123774 |  1796722 |    20844    218 |        5 |      286
1668.77/1669.37	c 1669s |      22 |  2125552 |  1798322 |    20844    218 |        5 |      286
1670.87/1671.43	c 1671s |      22 |  2127625 |  1800222 |    20844    219 |        5 |      286
1672.97/1673.52	c 1673s |      22 |  2129786 |  1802222 |    20844    219 |        5 |      286
1674.97/1675.56	c 1675s |      22 |  2131964 |  1804222 |    20844    219 |        5 |      286
1676.98/1677.58	c 1677s |      22 |  2133913 |  1806022 |    20844    219 |        5 |      286
1679.07/1679.64	c 1679s |      22 |  2135722 |  1807722 |    20844    219 |        5 |      286
1681.07/1681.67	c 1681s |      22 |  2137391 |  1809222 |    20844    219 |        5 |      286
1683.18/1683.71	c 1683s |      22 |  2139024 |  1810722 |    20844    220 |        5 |      286
1685.18/1685.74	c 1685s |      22 |  2141733 |  1813122 |    20844    220 |        5 |      286
1687.18/1687.77	c 1687s |      22 |  2143916 |  1814822 |    20844    220 |        5 |      286
1689.18/1689.78	c 1689s |      22 |  2146047 |  1816622 |    20844    220 |        5 |      286
1691.28/1691.88	c 1691s |      22 |  2148199 |  1818522 |    20844    220 |        5 |      286
1693.38/1694.00	c 1693s |      22 |  2149829 |  1820022 |    20844    221 |        5 |      286
1695.58/1696.16	c 1696s |      22 |  2152320 |  1822222 |    20844    221 |        5 |      286
1697.57/1698.17	c 1698s |      22 |  2152710 |  1822522 |    20844    221 |        5 |      286
1699.67/1700.22	c 1700s |      22 |  2155368 |  1824722 |    20844    221 |        5 |      286
1701.67/1702.29	c 1702s |      22 |  2157553 |  1826722 |    20844    221 |        5 |      286
1703.77/1704.31	c 1704s |      22 |  2159342 |  1828122 |    20844    221 |        5 |      286
1705.87/1706.45	c 1706s |      22 |  2161691 |  1829922 |    20844    221 |        5 |      286
1707.88/1708.48	c 1708s |      22 |  2163588 |  1831622 |    20844    222 |        5 |      286
1709.87/1710.50	c 1710s |      22 |  2166359 |  1834022 |    20844    222 |        5 |      286
1711.97/1712.54	c 1712s |      22 |  2169019 |  1836222 |    20844    222 |        5 |      286
1713.97/1714.57	c 1714s |      22 |  2170972 |  1837922 |    20844    222 |        5 |      286
1716.07/1716.61	c 1716s |      22 |  2173161 |  1839522 |    20844    222 |        5 |      286
1718.07/1718.68	c 1718s |      22 |  2174991 |  1841022 |    20844    222 |        5 |      286
1720.07/1720.69	c 1720s |      22 |  2177151 |  1842822 |    20844    223 |        5 |      286
1722.17/1722.79	c 1722s |      22 |  2179905 |  1845022 |    20844    223 |        5 |      286
1724.27/1724.82	c 1724s |      22 |  2182317 |  1846922 |    20844    223 |        5 |      286
1726.27/1726.89	c 1726s |      22 |  2184407 |  1848822 |    20844    223 |        5 |      286
1728.47/1729.02	c 1728s |      22 |  2186476 |  1850522 |    20844    223 |        5 |      286
1730.56/1731.12	c 1730s |      22 |  2188460 |  1851922 |    20844    224 |        5 |      286
1732.66/1733.20	c 1733s |      22 |  2190458 |  1853722 |    20844    224 |        5 |      286
1734.66/1735.21	c 1735s |      22 |  2192720 |  1855822 |    20844    224 |        5 |      286
1736.66/1737.22	c 1737s |      22 |  2194978 |  1857822 |    20844    224 |        5 |      286
1738.67/1739.26	c 1739s |      22 |  2196710 |  1859422 |    20844    224 |        5 |      286
1740.77/1741.31	c 1741s |      22 |  2198829 |  1861022 |    20844    224 |        5 |      286
1742.76/1743.39	c 1743s |      22 |  2200660 |  1862522 |    20844    225 |        5 |      286
1744.86/1745.46	c 1745s |      22 |  2203957 |  1865222 |    20844    225 |        5 |      286
1746.96/1747.52	c 1747s |      22 |  2206577 |  1867422 |    20844    225 |        5 |      286
1749.06/1749.63	c 1749s |      22 |  2209153 |  1869422 |    20844    225 |        5 |      286
1751.16/1751.75	c 1751s |      22 |  2211085 |  1871022 |    20844    225 |        5 |      286
1753.46/1754.03	c 1753s |      22 |  2213093 |  1872822 |    20844    226 |        5 |      286
1755.46/1756.05	c 1755s |      22 |  2215466 |  1874722 |    20844    226 |        5 |      286
1757.56/1758.13	c 1757s |      22 |  2217797 |  1876722 |    20844    226 |        5 |      286
1759.56/1760.18	c 1760s |      22 |  2218689 |  1877422 |    20844    226 |        5 |      286
1761.56/1762.20	c 1762s |      22 |  2220435 |  1878922 |    20844    226 |        5 |      286
1763.76/1764.33	c 1764s |      22 |  2222737 |  1880922 |    20844    226 |        5 |      286
1765.76/1766.37	c 1766s |      22 |  2224513 |  1882422 |    20844    226 |        5 |      286
1767.76/1768.38	c 1768s |      22 |  2226247 |  1883922 |    20844    227 |        5 |      286
1769.86/1770.46	c 1770s |      22 |  2228866 |  1886222 |    20844    227 |        5 |      286
1771.86/1772.49	c 1772s |      22 |  2231215 |  1888322 |    20844    227 |        5 |      286
1773.96/1774.57	c 1774s |      22 |  2233317 |  1890222 |    20844    227 |        5 |      286
1776.16/1776.72	c 1776s |      22 |  2235419 |  1892122 |    20844    227 |        5 |      286
1778.26/1778.81	c 1778s |      22 |  2237508 |  1893822 |    20844    227 |        5 |      286
1780.25/1780.83	c 1780s |      22 |  2239758 |  1895622 |    20844    228 |        5 |      286
1782.35/1782.94	c 1782s |      22 |  2242135 |  1897722 |    20844    228 |        5 |      286
1784.45/1785.08	c 1784s |      22 |  2244516 |  1899722 |    20844    228 |        5 |      286
1786.55/1787.12	c 1786s |      22 |  2246751 |  1901722 |    20844    228 |        5 |      286
1788.55/1789.17	c 1789s |      22 |  2248647 |  1903422 |    20844    228 |        5 |      286
1790.55/1791.18	c 1791s |      22 |  2249938 |  1904622 |    20844    229 |        5 |      286
1792.65/1793.25	c 1793s |      22 |  2252412 |  1906922 |    20844    229 |        5 |      286
1794.76/1795.34	c 1795s |      22 |  2254616 |  1908922 |    20844    229 |        5 |      286
1796.75/1797.38	c 1797s |      22 |  2256442 |  1910522 |    20844    229 |        5 |      286
1798.95/1799.50	c 1799s |      22 |  2258415 |  1912322 |    20844    229 |        5 |      286

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-4096757-1466114852/watcher-4096757-1466114852 -o /tmp/evaluation-result-4096757-1466114852/solver-4096757-1466114852 -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-4096757-1466114852.opb 

pid=1243
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.04 2.01 2.00 3/179 1246
/proc/meminfo: memFree=30738780/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=509372 CPUtime=0 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 1861 0 0 0 0 0 0 0 20 0 4 0 13530099 521596928 2222 33554432000 4194304 16246674 140733678715040 140733678714464 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 128111 2231 441 2943 0 125005 0
[pid=1246/tid=1247] ppid=1243 vsize=817596 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 837218304 3424 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=821692 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 841412608 3443 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=826812 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13530099 846655488 3460 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 1246
/proc/meminfo: memFree=30738780/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 22650 0 0 0 6 3 0 0 20 0 4 0 13530099 1250496512 22949 33554432000 4194304 16246674 140733678715040 140733678714352 5573039 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 305297 22949 834 2943 0 302191 0
[pid=1246/tid=1247] ppid=1243 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1250496512 22949 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1250496512 22949 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13530099 1250496512 22949 33554432000 4194304 16246674 140733678715040 140254551985328 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) 1221188

[startup+0.200539 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 1246
/proc/meminfo: memFree=30738780/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 41194 0 0 0 14 5 0 0 20 0 4 0 13530099 1250496512 41493 33554432000 4194304 16246674 140733678715040 140733678714352 5723366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 305297 41503 876 2943 0 302191 0
[pid=1246/tid=1247] ppid=1243 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1250496512 41510 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1250496512 41516 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13530099 1250496512 41522 33554432000 4194304 16246674 140733678715040 140254551985328 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) 1221188

[startup+0.30049 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 1246
/proc/meminfo: memFree=30738780/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 62675 0 0 0 21 8 0 0 20 0 4 0 13530099 1250496512 62974 33554432000 4194304 16246674 140733678715040 140733678714352 5829366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 305297 62987 876 2943 0 302191 0
[pid=1246/tid=1247] ppid=1243 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1250496512 62994 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1250496512 63001 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13530099 1250496512 63006 33554432000 4194304 16246674 140733678715040 140254551985328 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) 1221188

[startup+0.700398 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 1246
/proc/meminfo: memFree=30738780/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 145726 0 0 0 50 19 0 0 20 0 4 0 13530099 1250496512 146026 33554432000 4194304 16246674 140733678715040 140733678698040 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 305297 146039 876 2943 0 302191 0
[pid=1246/tid=1247] ppid=1243 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1250496512 146046 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1250496512 146050 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13530099 1250496512 146056 33554432000 4194304 16246674 140733678715040 140254551985328 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) 1221188

[startup+1.50042 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 1250
/proc/meminfo: memFree=29839576/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 266260 0 0 0 115 33 0 0 20 0 4 0 13530099 1332285440 266559 33554432000 4194304 16246674 140733678715040 140733678714352 6861584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 325265 266559 879 2943 0 322159 0
[pid=1246/tid=1247] ppid=1243 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1332285440 266559 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1332285440 266559 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1332285440 266559 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 1250
/proc/meminfo: memFree=29667340/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 267885 0 0 0 275 34 0 0 20 0 4 0 13530099 1338576896 268184 33554432000 4194304 16246674 140733678715040 140733678696960 5822224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 326801 268184 881 2943 0 323695 0
[pid=1246/tid=1247] ppid=1243 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1338576896 268184 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1338576896 268184 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1338576896 268184 33554432000 4194304 16246674 140733678715040 140254551985328 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.30043 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 1250
/proc/meminfo: memFree=29665760/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1308228 CPUtime=6.29 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 268156 0 0 0 595 34 0 0 20 0 4 0 13530099 1339625472 268455 33554432000 4194304 16246674 140733678715040 140733678696960 5828020 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 327057 268455 884 2943 0 323951 0
[pid=1246/tid=1247] ppid=1243 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1339625472 268455 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1339625472 268455 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1339625472 268455 33554432000 4194304 16246674 140733678715040 140254551985328 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 1250
/proc/meminfo: memFree=29664832/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 268344 0 0 0 1235 34 0 0 20 0 4 0 13530099 1340674048 268643 33554432000 4194304 16246674 140733678715040 140733678696960 5823538 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 327313 268643 885 2943 0 324207 0
[pid=1246/tid=1247] ppid=1243 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1340674048 268643 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1340674048 268643 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1340674048 268643 33554432000 4194304 16246674 140733678715040 140254551985328 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) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 1250
/proc/meminfo: memFree=29652752/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1321540 CPUtime=25.49 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 271569 0 0 0 2514 35 0 0 20 0 4 0 13530099 1353256960 271868 33554432000 4194304 16246674 140733678715040 140733678696960 5515736 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 330385 271868 886 2943 0 327279 0
[pid=1246/tid=1247] ppid=1243 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1353256960 271868 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1353256960 271868 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1353256960 271868 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1321540

[startup+51.1005 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 1250
/proc/meminfo: memFree=29644524/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1329732 CPUtime=51.08 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 273617 0 0 0 5073 35 0 0 20 0 4 0 13530099 1361645568 273916 33554432000 4194304 16246674 140733678715040 140733678714136 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 332433 273916 886 2943 0 329327 0
[pid=1246/tid=1247] ppid=1243 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1361645568 273916 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1361645568 273916 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1361645568 273916 33554432000 4194304 16246674 140733678715040 140254551985328 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) 1329732

[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1251
/proc/meminfo: memFree=29643260/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1330756 CPUtime=102.28 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 273873 0 0 0 10192 36 0 0 20 0 4 0 13530099 1362694144 274172 33554432000 4194304 16246674 140733678715040 140733678698040 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 332689 274172 886 2943 0 329583 0
[pid=1246/tid=1247] ppid=1243 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1362694144 274172 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1362694144 274172 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1330756 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1362694144 274172 33554432000 4194304 16246674 140733678715040 140254551985328 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) 1330756


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

/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1361476

[startup+1302.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/183 1281
/proc/meminfo: memFree=29574904/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1361476 CPUtime=1301.83 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 281963 0 0 0 130133 50 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140733678696960 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 340369 281855 886 2943 0 337263 0
[pid=1246/tid=1247] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1361476

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 1285
/proc/meminfo: memFree=29574852/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1361476 CPUtime=1361.82 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 281963 0 0 0 136131 51 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140733678696960 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 340369 281855 886 2943 0 337263 0
[pid=1246/tid=1247] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1361476

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 1878
/proc/meminfo: memFree=29667552/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1361476 CPUtime=1421.82 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 281963 0 0 0 142130 52 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140733678696960 5677884 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 340369 281855 886 2943 0 337263 0
[pid=1246/tid=1247] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1361476

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 2025
/proc/meminfo: memFree=29657516/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1361476 CPUtime=1481.8 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 281963 0 0 0 148127 53 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140733678696960 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 340369 281855 886 2943 0 337263 0
[pid=1246/tid=1247] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1361476

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2027
/proc/meminfo: memFree=29654172/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1361476 CPUtime=1541.81 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 281963 0 0 0 154127 54 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140733678696960 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 340369 281855 886 2943 0 337263 0
[pid=1246/tid=1247] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1361476

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 2028
/proc/meminfo: memFree=29652076/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1361476 CPUtime=1601.78 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 281963 0 0 0 160124 54 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140733678696960 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 340369 281855 886 2943 0 337263 0
[pid=1246/tid=1247] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1361476

[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 2029
/proc/meminfo: memFree=29652200/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1361476 CPUtime=1661.77 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 281963 0 0 0 166122 55 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140733678696960 5754620 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 340369 281855 886 2943 0 337263 0
[pid=1246/tid=1247] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1361476

[startup+1722.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/183 2030
/proc/meminfo: memFree=29651948/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1361476 CPUtime=1721.77 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 281963 0 0 0 172121 56 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140733678696960 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 340369 281855 886 2943 0 337263 0
[pid=1246/tid=1247] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1361476

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 2031
/proc/meminfo: memFree=29651804/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1361476 CPUtime=1781.75 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 281963 0 0 0 178119 56 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140733678696960 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 340369 281855 886 2943 0 337263 0
[pid=1246/tid=1247] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1361476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 2033
/proc/meminfo: memFree=29651680/32872528 swapFree=7268/7268
[pid=1246] ppid=1243 vsize=1361476 CPUtime=1800.05 cores=1,3,5,7
/proc/1246/stat : 1246 (toysat) R 1243 1246 29295 0 -1 4202496 281963 0 0 0 179949 56 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140733678696960 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1246/statm: 340369 281855 886 2943 0 337263 0
[pid=1246/tid=1247] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1247/stat : 1247 (toysat) S 1243 1246 29295 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254572948720 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=1246/tid=1248] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1248/stat : 1248 (toysat) S 1243 1246 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254562458864 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=1246/tid=1249] ppid=1243 vsize=1361476 CPUtime=0 cores=1,3,5,7
/proc/1246/task/1249/stat : 1249 (toysat) S 1243 1246 29295 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13530099 1394151424 281855 33554432000 4194304 16246674 140733678715040 140254551985328 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1361476

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 1246 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.07
CPU user time (s): 1799.5
CPU system time (s): 0.569913
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 1361476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.5
system time used= 0.569913
maximum resident set size= 1127420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 281963
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= 426
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65229 second user time and 6.88095 second system time

The end

Begin job on node151 at 2016-06-17 00:07:33
IDJOB=4096757
IDBENCH=107660
IDSOLVER=2542
FILE ID=node151/4096757-1466114852
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-8_6_28.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096757-1466114852/watcher-4096757-1466114852 -o /tmp/evaluation-result-4096757-1466114852/solver-4096757-1466114852 -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-4096757-1466114852.opb

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

MD5SUM BENCH= 1cf60cce574dd380b7c657cd13fb5e5f
RANDOM SEED=1223876605

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:        30740068 kB
Buffers:           64016 kB
Cached:           163660 kB
SwapCached:        61592 kB
Active:          1246628 kB
Inactive:         171516 kB
Active(anon):    1131796 kB
Inactive(anon):    61036 kB
Active(file):     114832 kB
Inactive(file):   110480 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             16620 kB
Writeback:             0 kB
AnonPages:       1141572 kB
Mapped:            10812 kB
Shmem:                 0 kB
Slab:             572708 kB
SReclaimable:      15708 kB
SUnreclaim:       557000 kB
KernelStack:        1456 kB
PageTables:         6448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1284440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    600064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node151 at 2016-06-17 00:37:34