0.00/0.00	c 2016-06-18T19:41:34+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4106451-1466271693.opb"]
0.00/0.01	c use --random-gen="1134746168 1564214955 3925608070 480075161 3238829578 2479446343 2932112500 3889055327 3950258725 1179357558 458647321 2493600495 2461667794 203167596 2647864970 3434445541 1305415074 1883097207 285872919 524315429 1461987484 2962078959 1628687049 951923002 3502928403 1085589154 3754892015 2251477186 410439660 3764164912 2342554606 1780601154 3253669906 3728828339 3099764905 659118928 3909305872 1594243578 2465450979 474828359 2923021711 2552541488 1063647014 1958633733 3418530760 3715239669 3529548575 1719426415 3726304656 304911381 3083139446 4283191071 801253376 1214557762 3706444620 1589088450 662073989 2379242100 591492703 716311442 640125090 2951638931 3932040584 881440688 3360486243 2320015185 336350078 3271656812 3458493322 18915017 356029549 1927325145 373287076 2846057088 1050964714 3690148741 2204994411 3358998537 1161838482 833058189 87592723 3946481566 2964124501 2233616341 3505167094 2439365148 3464413016 1208984192 4062536812 497841473 586005919 1209080875 880726706 4006865916 1671519298 1285056449 1399138046 2158464490 301218656 681491334 349100859 108812361 549190866 744173600 1194338240 35032320 2968250124 3800264946 3414444225 1740286152 2916811721 3877529185 2583706776 3431631085 1402626262 2302203121 471799769 67511977 4162530996 672249300 877005478 281260005 3572065472 1716253690 1912633670 919054436 3142545458 2110067189 2534899104 3414825550 1905172105 2848706750 2039282646 2597601301 3398671159 4024862768 4026623002 42874252 3927375602 1404044810 621631617 186485304 3305979760 4111261370 3202789866 2082477365 3217294857 1224502025 3944890458 2351086590 3907725665 587467075 2788615040 2324678126 2292794428 3864474304 2101702389 2157774220 736130976 2416059099 3988713939 797600331 773206766 1375682238 3345017715 2527782455 2599423694 2248475625 3364456554 1429010031 2167703024 857011820 4056103286 3519846624 4276163015 3504942073 3600273455 909209235 2022768111 4077117737 1636373035 1394673590 4153815662 3446160113 378755142 2193694271 504455078 2421475314 1508706065 3002655678 3072419333 493611351 3078363455 1716587576 3514940764 1221918578 3195630584 121430355 2441863003 2680275417 530428312 2599001084 3448799011 2515184200 1984379630 3925367519 916191668 3078614611 2380083522 349770868 2342119713 2711958761 3712928813 1013284513 2339376990 2096425212 3340265489 3256493640 2439713476 4177639778 1742433045 542702490 447242169 2671223225 11843896 4250520598 844760656 3551351770 2490595681 1657702507 2655456423 927673261 386344932 3368519453 3943780307 2996678231 771059479 3996240915 1093639783 1469034687 1608855682 3040423714 460726588 3288581712 464862517 3809243647 1696286691 3085316037 2896413147 4028303670 79513617 786907482 3750710111 3571792490 2166000037 350498979 255 362436" option to reproduce the execution
0.00/0.01	c #vars 216
0.00/0.01	c #constraints 17
0.00/0.03	c BCD2: Hardening is enabled.
0.00/0.03	c BCD2: BiasedSearch is enabled.
0.00/0.03	c Solving starts ...
0.00/0.03	c ============================[ Search Statistics ]============================
0.00/0.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.03	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.03	c =============================================================================
0.00/0.03	c  0.0s |       0 |        0 |        0 |      944      0 |        0 |        0
0.00/0.06	c  0.0s |       1 |      145 |      100 |      944      0 |        0 |        0
0.09/0.12	c  0.1s |       2 |      356 |      250 |     1039      0 |        0 |        0
0.09/0.19	c  0.2s |       3 |      651 |      475 |     1143      0 |        0 |        0
0.99/1.03	c  1.0s |       4 |     1113 |      813 |     1258      0 |        0 |        0
1.29/1.33	c  1.3s |       5 |     2344 |     1320 |     1384      0 |        0 |        0
1.58/1.64	c  1.6s |       6 |     3384 |     2081 |     1676      1 |        0 |        0
2.08/2.16	c  2.1s |       7 |     4813 |     3223 |     1844      2 |        0 |        0
2.59/2.65	c  2.6s |       8 |     6679 |     4936 |     2029      3 |        0 |        0
3.19/3.28	c  3.2s |       9 |     9332 |     7506 |     2232      6 |        0 |        0
4.39/4.46	c  4.4s |      10 |    13450 |    11361 |     2456      9 |        0 |        0
6.19/6.24	c  6.2s |      11 |    19436 |    17144 |     2702     13 |        0 |        0
8.18/8.25	c  8.2s |      11 |    24910 |    22144 |     2702     16 |        0 |        0
9.48/9.51	c  9.5s |      12 |    28732 |    25819 |     2973     18 |        0 |        0
11.48/11.53	c 11.5s |      12 |    36087 |    32619 |     2973     22 |        0 |        0
13.48/13.54	c 13.5s |      12 |    42448 |    38819 |     3271     25 |        0 |        0
13.48/13.54	c 13.5s |      13 |    42458 |    38832 |     3271     25 |        0 |        0
15.49/15.56	c 15.5s |      13 |    45669 |    41632 |     3271     26 |        0 |        0
17.48/17.58	c 17.5s |      13 |    51285 |    47032 |     3271     29 |        0 |        0
19.48/19.58	c 19.6s |      13 |    56460 |    52032 |     3271     31 |        0 |        0
21.58/21.70	c 21.7s |      13 |    59778 |    54832 |     3271     33 |        0 |        0
23.58/23.64	c 23.6s |      14 |    63619 |    58352 |     3599     34 |        0 |        0
25.58/25.66	c 25.6s |      14 |    70073 |    64552 |     3599     37 |        0 |        0
27.59/27.68	c 27.7s |      14 |    76162 |    70552 |     3599     40 |        0 |        0
29.58/29.70	c 29.7s |      14 |    82924 |    77152 |     3599     44 |        0 |        0
31.68/31.74	c 31.7s |      14 |    89785 |    83852 |     3599     47 |        0 |        0
32.88/32.97	c 32.9s |      15 |    93631 |    87632 |     3959     48 |        0 |        0
34.88/34.98	c 34.9s |      15 |    99325 |    92432 |     3959     51 |        0 |        0
36.88/36.98	c 37.0s |      15 |   104127 |    96732 |     3959     53 |        0 |        0
38.98/39.00	c 39.0s |      15 |   108982 |   101432 |     3959     55 |        0 |        0
40.98/41.02	c 41.0s |      15 |   114018 |   106332 |     3959     57 |        0 |        0
42.98/43.09	c 43.1s |      15 |   118953 |   111032 |     3959     60 |        0 |        0
45.08/45.10	c 45.1s |      15 |   123293 |   115032 |     3959     61 |        0 |        0
47.08/47.11	c 47.1s |      15 |   127424 |   117932 |     3959     63 |        0 |        0
49.08/49.19	c 49.2s |      15 |   132429 |   122632 |     3959     65 |        0 |        0
51.28/51.31	c 51.3s |      15 |   139170 |   129132 |     3959     68 |        0 |        0
52.48/52.57	c 52.5s |      16 |   141732 |   131552 |     4355     69 |        0 |        0
54.47/54.59	c 54.6s |      16 |   149301 |   138752 |     4355     72 |        0 |        0
56.47/56.59	c 56.6s |      16 |   154662 |   143952 |     4355     74 |        0 |        0
58.57/58.62	c 58.6s |      16 |   160079 |   149152 |     4355     76 |        0 |        0
60.58/60.63	c 60.6s |      16 |   164777 |   153552 |     4355     78 |        0 |        0
62.57/62.65	c 62.6s |      16 |   170372 |   158852 |     4355     80 |        0 |        0
64.57/64.66	c 64.6s |      16 |   175561 |   163652 |     4355     82 |        0 |        0
66.67/66.70	c 66.7s |      16 |   180766 |   168752 |     4355     84 |        0 |        0
68.67/68.74	c 68.7s |      16 |   185791 |   173452 |     4355     86 |        0 |        0
70.67/70.74	c 70.7s |      16 |   190397 |   177852 |     4355     88 |        0 |        0
72.68/72.74	c 72.7s |      16 |   195527 |   182852 |     4355     90 |        0 |        0
74.67/74.76	c 74.7s |      16 |   200481 |   187352 |     4355     92 |        0 |        0
76.67/76.78	c 76.7s |      16 |   205165 |   191852 |     4355     94 |        0 |        0
78.68/78.79	c 78.8s |      16 |   210356 |   196852 |     4791     96 |        0 |        0
78.98/79.02	c 79.0s |      17 |   210958 |   197432 |     4791     96 |        0 |        0
80.98/81.06	c 81.0s |      17 |   215952 |   201832 |     4791     97 |        0 |        0
82.98/83.09	c 83.1s |      17 |   220288 |   205832 |     4791     99 |        0 |        0
85.08/85.11	c 85.1s |      17 |   225533 |   210832 |     4791    101 |        0 |        0
87.08/87.15	c 87.1s |      17 |   229626 |   214632 |     4791    102 |        0 |        0
89.18/89.21	c 89.2s |      17 |   233865 |   218632 |     4791    104 |        0 |        0
91.18/91.25	c 91.2s |      17 |   238212 |   222832 |     4791    105 |        0 |        0
93.18/93.29	c 93.3s |      17 |   243667 |   228132 |     4791    107 |        0 |        0
95.28/95.33	c 95.3s |      17 |   248824 |   233132 |     4791    109 |        0 |        0
97.27/97.35	c 97.3s |      17 |   254176 |   238032 |     4791    111 |        0 |        0
99.27/99.37	c 99.3s |      17 |   258954 |   242632 |     4791    113 |        0 |        0
101.37/101.41	c  101s |      17 |   264830 |   248332 |     4791    115 |        0 |        0
103.38/103.42	c  103s |      17 |   270334 |   253732 |     4791    117 |        0 |        0
105.37/105.43	c  105s |      17 |   275664 |   258932 |     4791    119 |        0 |        0
107.37/107.44	c  107s |      17 |   280698 |   263832 |     4791    120 |        0 |        0
109.37/109.45	c  109s |      17 |   286190 |   269132 |     4791    122 |        0 |        0
111.37/111.47	c  111s |      17 |   291640 |   274332 |     4791    124 |        0 |        0
113.38/113.49	c  113s |      17 |   296421 |   278832 |     4791    126 |        0 |        0
115.48/115.51	c  115s |      17 |   300561 |   282732 |     4791    128 |        0 |        0
117.47/117.52	c  117s |      17 |   305281 |   287032 |     4791    129 |        0 |        0
119.47/119.55	c  119s |      17 |   310518 |   292032 |     4791    131 |        0 |        0
121.27/121.36	c  121s |      18 |   314947 |   296252 |     5271    132 |        0 |        0
123.28/123.37	c  123s |      18 |   320948 |   301752 |     5271    134 |        0 |        0
125.27/125.38	c  125s |      18 |   326370 |   306952 |     5271    136 |        0 |        0
127.27/127.39	c  127s |      18 |   331643 |   312052 |     5271    138 |        0 |        0
129.37/129.40	c  129s |      18 |   337154 |   317352 |     5271    140 |        0 |        0
131.37/131.42	c  131s |      18 |   342832 |   322752 |     5271    142 |        0 |        0
133.37/133.46	c  133s |      18 |   348251 |   327852 |     5271    143 |        0 |        0
135.37/135.47	c  135s |      18 |   353447 |   332752 |     5271    145 |        0 |        0
137.37/137.49	c  137s |      18 |   358291 |   337152 |     5271    146 |        0 |        0
139.46/139.51	c  139s |      18 |   363103 |   341852 |     5271    148 |        0 |        0
141.46/141.51	c  141s |      18 |   368275 |   346952 |     5271    150 |        0 |        0
143.46/143.54	c  143s |      18 |   373242 |   351652 |     5271    151 |        0 |        0
145.46/145.56	c  145s |      18 |   378258 |   356552 |     5271    153 |        0 |        0
147.47/147.56	c  147s |      18 |   383159 |   361352 |     5271    155 |        0 |        0
149.46/149.59	c  149s |      18 |   387953 |   365852 |     5271    156 |        0 |        0
151.56/151.61	c  151s |      18 |   392358 |   370052 |     5271    158 |        0 |        0
153.56/153.65	c  153s |      18 |   397365 |   374952 |     5271    159 |        0 |        0
155.56/155.66	c  155s |      18 |   402047 |   379452 |     5271    161 |        0 |        0
157.66/157.70	c  157s |      18 |   407185 |   384152 |     5271    163 |        0 |        0
159.66/159.71	c  159s |      18 |   411510 |   388052 |     5271    164 |        0 |        0
161.67/161.73	c  161s |      18 |   416315 |   392752 |     5271    166 |        0 |        0
163.66/163.73	c  163s |      18 |   421339 |   397652 |     5271    167 |        0 |        0
165.66/165.76	c  165s |      18 |   426178 |   402352 |     5271    169 |        0 |        0
167.76/167.81	c  167s |      18 |   431311 |   407252 |     5271    171 |        0 |        0
169.76/169.85	c  169s |      18 |   435860 |   411552 |     5271    172 |        0 |        0
171.76/171.87	c  171s |      18 |   440367 |   415852 |     5271    173 |        0 |        0
173.77/173.89	c  173s |      18 |   446019 |   421352 |     5271    175 |        0 |        0
175.86/175.96	c  175s |      18 |   450554 |   425752 |     5271    177 |        0 |        0
177.96/178.01	c  177s |      18 |   454857 |   429952 |     5271    178 |        0 |        0
179.96/180.04	c  180s |      18 |   459421 |   434352 |     5271    180 |        0 |        0
181.96/182.07	c  182s |      18 |   463858 |   438652 |     5271    181 |        0 |        0
183.96/184.09	c  184s |      18 |   468703 |   443052 |     5799    183 |        0 |        0
184.66/184.77	c  184s |      19 |   470222 |   444482 |     5799    183 |        0 |        0
186.66/186.78	c  186s |      19 |   477274 |   451282 |     5799    185 |        0 |        0
188.76/188.81	c  188s |      19 |   483287 |   457182 |     5799    187 |        0 |        0
190.76/190.83	c  190s |      19 |   489003 |   462782 |     5799    189 |        0 |        0
192.75/192.86	c  192s |      19 |   494780 |   468482 |     5799    191 |        0 |        0
194.76/194.88	c  194s |      19 |   500563 |   474182 |     5799    192 |        0 |        0
196.75/196.89	c  196s |      19 |   506562 |   480082 |     5799    194 |        0 |        0
198.85/198.91	c  198s |      19 |   512345 |   485782 |     5799    196 |        0 |        0
200.85/200.93	c  200s |      19 |   518838 |   492082 |     5799    198 |        0 |        0
202.85/202.93	c  202s |      19 |   524560 |   497582 |     5799    200 |        0 |        0
204.85/204.94	c  204s |      19 |   529956 |   502882 |     5799    201 |        0 |        0
206.86/206.94	c  206s |      19 |   535198 |   508082 |     5799    203 |        0 |        0
208.85/208.95	c  208s |      19 |   541570 |   514282 |     5799    205 |        0 |        0
210.85/210.96	c  210s |      19 |   547267 |   519882 |     5799    207 |        0 |        0
212.86/212.99	c  212s |      19 |   553301 |   525782 |     5799    209 |        0 |        0
214.96/215.01	c  214s |      19 |   558684 |   531082 |     5799    210 |        0 |        0
216.96/217.04	c  217s |      19 |   563846 |   536182 |     5799    212 |        0 |        0
218.97/219.05	c  219s |      19 |   569115 |   541382 |     5799    214 |        0 |        0
220.96/221.06	c  221s |      19 |   575067 |   547182 |     5799    215 |        0 |        0
222.96/223.06	c  223s |      19 |   580238 |   552282 |     5799    217 |        0 |        0
224.96/225.08	c  225s |      19 |   585179 |   557182 |     5799    219 |        0 |        0
226.96/227.08	c  227s |      19 |   590899 |   562782 |     5799    220 |        0 |        0
229.06/229.11	c  229s |      19 |   596400 |   568182 |     5799    222 |        0 |        0
231.06/231.13	c  231s |      19 |   601794 |   573482 |     5799    224 |        0 |        0
233.05/233.14	c  233s |      19 |   606874 |   578482 |     5799    225 |        0 |        0
235.05/235.16	c  235s |      19 |   612540 |   583982 |     5799    227 |        0 |        0
237.05/237.17	c  237s |      19 |   617744 |   588982 |     5799    229 |        0 |        0
239.05/239.18	c  239s |      19 |   623032 |   594182 |     5799    230 |        0 |        0
241.15/241.21	c  241s |      19 |   628322 |   599382 |     5799    232 |        0 |        0
243.16/243.25	c  243s |      19 |   632899 |   603882 |     5799    234 |        0 |        0
245.15/245.27	c  245s |      19 |   638062 |   608982 |     5799    235 |        0 |        0
247.15/247.27	c  247s |      19 |   643858 |   614682 |     5799    237 |        0 |        0
249.15/249.29	c  249s |      19 |   649224 |   619882 |     5799    239 |        0 |        0
251.25/251.30	c  251s |      19 |   654923 |   625482 |     5799    240 |        0 |        0
253.25/253.33	c  253s |      19 |   659927 |   630382 |     5799    242 |        0 |        0
255.26/255.34	c  255s |      19 |   664813 |   635182 |     5799    243 |        0 |        0
257.25/257.35	c  257s |      19 |   669728 |   639982 |     5799    245 |        0 |        0
259.25/259.38	c  259s |      19 |   675170 |   645282 |     5799    247 |        0 |        0
261.25/261.38	c  261s |      19 |   680554 |   650482 |     5799    248 |        0 |        0
263.25/263.39	c  263s |      19 |   685298 |   655082 |     5799    250 |        0 |        0
265.35/265.41	c  265s |      19 |   690334 |   659982 |     5799    251 |        0 |        0
267.35/267.41	c  267s |      19 |   695439 |   664982 |     6379    253 |        0 |        0
268.15/268.24	c  268s |      20 |   697314 |   666827 |     6379    253 |        0 |        0
270.14/270.27	c  270s |      20 |   702174 |   670927 |     6379    254 |        0 |        0
272.24/272.30	c  272s |      20 |   706450 |   675127 |     6379    256 |        0 |        0
274.24/274.34	c  274s |      20 |   709673 |   678127 |     6379    256 |        0 |        0
276.24/276.37	c  276s |      20 |   713630 |   681927 |     6379    258 |        0 |        0
278.35/278.42	c  278s |      20 |   718024 |   686227 |     6379    259 |        0 |        0
280.34/280.44	c  280s |      20 |   722046 |   690127 |     6379    260 |        0 |        0
282.34/282.48	c  282s |      20 |   725633 |   693527 |     6379    261 |        0 |        0
284.44/284.52	c  284s |      20 |   730301 |   698127 |     6379    262 |        0 |        0
286.44/286.57	c  286s |      20 |   734527 |   702227 |     6379    263 |        0 |        0
288.44/288.58	c  288s |      20 |   738073 |   705727 |     6379    264 |        0 |        0
290.54/290.65	c  290s |      20 |   741505 |   709027 |     6379    265 |        0 |        0
292.55/292.68	c  292s |      20 |   745163 |   712627 |     6379    266 |        0 |        0
294.64/294.72	c  294s |      20 |   748632 |   715727 |     6379    267 |        0 |        0
296.64/296.75	c  296s |      20 |   751630 |   718427 |     6379    268 |        0 |        0
298.64/298.79	c  298s |      20 |   755129 |   721827 |     6379    269 |        0 |        0
300.74/300.84	c  300s |      20 |   758715 |   725227 |     6379    270 |        0 |        0
302.84/302.92	c  302s |      20 |   761337 |   727427 |     6379    270 |        0 |        0
304.84/304.94	c  304s |      20 |   763704 |   729727 |     6379    271 |        0 |        0
306.85/306.98	c  306s |      20 |   766675 |   732527 |     6379    272 |        0 |        0
309.05/309.12	c  309s |      20 |   771295 |   736727 |     6379    273 |        0 |        0
311.04/311.19	c  311s |      20 |   775203 |   740527 |     6379    274 |        0 |        0
313.14/313.21	c  313s |      20 |   778991 |   744227 |     6379    275 |        0 |        0
315.14/315.25	c  315s |      20 |   782874 |   748027 |     6379    276 |        0 |        0
317.14/317.26	c  317s |      20 |   786903 |   751927 |     6379    277 |        0 |        0
319.14/319.27	c  319s |      20 |   790939 |   755827 |     6379    278 |        0 |        0
321.14/321.30	c  321s |      20 |   794712 |   759527 |     6379    280 |        0 |        0
323.24/323.30	c  323s |      20 |   798279 |   762927 |     6379    281 |        0 |        0
325.24/325.31	c  325s |      20 |   801087 |   765527 |     6379    281 |        0 |        0
327.34/327.40	c  327s |      20 |   802737 |   767027 |     6379    282 |        0 |        0
329.33/329.45	c  329s |      20 |   806813 |   771027 |     6379    283 |        0 |        0
331.33/331.46	c  331s |      20 |   809573 |   773627 |     6379    284 |        0 |        0
333.43/333.50	c  333s |      20 |   812937 |   776927 |     6379    284 |        0 |        0
335.44/335.55	c  335s |      20 |   815390 |   779327 |     6379    285 |        0 |        0
337.43/337.58	c  337s |      20 |   817454 |   781327 |     6379    286 |        0 |        0
339.43/339.59	c  339s |      20 |   821422 |   785127 |     6379    287 |        0 |        0
341.53/341.62	c  341s |      20 |   824809 |   788427 |     6379    288 |        0 |        0
343.53/343.62	c  343s |      20 |   828984 |   792527 |     6379    289 |        0 |        0
345.53/345.64	c  345s |      20 |   833254 |   796727 |     6379    290 |        0 |        0
347.54/347.67	c  347s |      20 |   836915 |   800227 |     6379    291 |        0 |        0
349.63/349.74	c  349s |      20 |   839436 |   802627 |     6379    292 |        0 |        0
351.63/351.77	c  351s |      20 |   842779 |   805827 |     6379    293 |        0 |        0
353.73/353.80	c  353s |      20 |   846295 |   809227 |     6379    294 |        0 |        0
355.73/355.85	c  355s |      20 |   848790 |   811627 |     6379    294 |        0 |        0
357.83/357.91	c  357s |      20 |   851057 |   813827 |     6379    295 |        0 |        0
359.83/359.97	c  359s |      20 |   853738 |   816227 |     6379    296 |        0 |        0
361.84/361.98	c  361s |      20 |   857880 |   820227 |     6379    297 |        0 |        0
363.93/364.00	c  363s |      20 |   862247 |   824527 |     6379    298 |        0 |        0
365.93/366.00	c  365s |      20 |   866627 |   828727 |     6379    299 |        0 |        0
367.93/368.01	c  367s |      20 |   871175 |   833127 |     6379    300 |        0 |        0
369.93/370.03	c  369s |      20 |   875922 |   837727 |     6379    302 |        0 |        0
371.93/372.05	c  372s |      20 |   880132 |   841827 |     6379    303 |        0 |        0
373.93/374.07	c  374s |      20 |   884177 |   845727 |     6379    304 |        0 |        0
376.13/376.29	c  376s |      20 |   888693 |   850127 |     6379    305 |        0 |        0
378.23/378.34	c  378s |      20 |   891459 |   852527 |     6379    306 |        0 |        0
380.23/380.39	c  380s |      20 |   894815 |   855827 |     6379    307 |        0 |        0
382.32/382.42	c  382s |      20 |   898455 |   859227 |     6379    308 |        0 |        0
384.42/384.58	c  384s |      20 |   901694 |   862327 |     6379    309 |        0 |        0
386.52/386.64	c  386s |      20 |   905568 |   866027 |     6379    310 |        0 |        0
388.52/388.67	c  388s |      20 |   909385 |   869727 |     6379    311 |        0 |        0
390.62/390.70	c  390s |      20 |   913526 |   873727 |     6379    312 |        0 |        0
392.52/392.70	c  392s |      20 |   918231 |   878327 |     6379    313 |        0 |        0
394.62/394.72	c  394s |      20 |   921659 |   881627 |     6379    314 |        0 |        0
396.62/396.77	c  396s |      20 |   925125 |   885027 |     6379    315 |        0 |        0
398.73/398.82	c  398s |      20 |   928210 |   887927 |     6379    316 |        0 |        0
400.83/400.95	c  400s |      20 |   931729 |   891327 |     6379    317 |        0 |        0
402.83/402.97	c  402s |      20 |   935766 |   895227 |     6379    318 |        0 |        0
404.84/404.98	c  404s |      20 |   939406 |   898727 |     6379    319 |        0 |        0
406.94/407.01	c  406s |      20 |   943407 |   902427 |     6379    320 |        0 |        0
408.93/409.05	c  409s |      20 |   946891 |   905727 |     6379    321 |        0 |        0
410.93/411.09	c  411s |      20 |   950837 |   909427 |     6379    322 |        0 |        0
413.03/413.13	c  413s |      20 |   954211 |   912627 |     6379    323 |        0 |        0
415.03/415.15	c  415s |      20 |   958318 |   916527 |     6379    324 |        0 |        0
417.13/417.21	c  417s |      20 |   961853 |   919827 |     6379    325 |        0 |        0
419.13/419.26	c  419s |      20 |   965321 |   923227 |     6379    326 |        0 |        0
421.23/421.31	c  421s |      20 |   969074 |   926827 |     6379    327 |        0 |        0
423.23/423.34	c  423s |      20 |   971533 |   929027 |     6379    328 |        0 |        0
425.23/425.36	c  425s |      20 |   975670 |   933127 |     6379    329 |        0 |        0
427.23/427.38	c  427s |      20 |   979465 |   936827 |     6379    330 |        0 |        0
429.33/429.42	c  429s |      20 |   983439 |   940727 |     6379    331 |        0 |        0
431.33/431.45	c  431s |      20 |   986033 |   943227 |     6379    332 |        0 |        0
433.33/433.49	c  433s |      20 |   988560 |   945127 |     6379    332 |        0 |        0
435.42/435.52	c  435s |      20 |   990217 |   946627 |     6379    333 |        0 |        0
437.42/437.53	c  437s |      20 |   992389 |   948527 |     6379    333 |        0 |        0
439.42/439.56	c  439s |      20 |   996284 |   952327 |     6379    334 |        0 |        0
441.42/441.57	c  441s |      20 |  1000023 |   955927 |     6379    335 |        0 |        0
443.42/443.59	c  443s |      20 |  1003824 |   959627 |     6379    336 |        0 |        0
445.53/445.61	c  445s |      20 |  1007815 |   963527 |     6379    337 |        0 |        0
447.52/447.65	c  447s |      20 |  1010894 |   966427 |     6379    338 |        0 |        0
449.52/449.68	c  449s |      20 |  1014483 |   969927 |     6379    339 |        0 |        0
451.62/451.70	c  451s |      20 |  1018564 |   973927 |     6379    340 |        0 |        0
453.62/453.71	c  453s |      20 |  1021805 |   977027 |     6379    341 |        0 |        0
455.62/455.74	c  455s |      20 |  1025036 |   980127 |     6379    342 |        0 |        0
457.72/457.80	c  457s |      20 |  1028461 |   983427 |     6379    343 |        0 |        0
459.73/459.86	c  459s |      20 |  1031961 |   986827 |     6379    344 |        0 |        0
461.72/461.89	c  461s |      20 |  1035201 |   989927 |     6379    345 |        0 |        0
463.82/463.90	c  463s |      20 |  1038266 |   992927 |     6379    346 |        0 |        0
465.82/465.98	c  465s |      20 |  1039620 |   994227 |     7017    346 |        0 |        0
467.92/468.03	c  467s |      20 |  1041186 |   995627 |     7017    346 |        0 |        0
469.92/470.05	c  470s |      20 |  1043938 |   998327 |     7017    347 |        0 |        0
471.32/471.47	c  471s |      21 |  1045971 |  1000345 |     7017    348 |        0 |        0
473.42/473.53	c  473s |      21 |  1052817 |  1007045 |     7017    350 |        0 |        0
475.42/475.55	c  475s |      21 |  1057974 |  1012145 |     7017    351 |        0 |        0
477.42/477.58	c  477s |      21 |  1062781 |  1016545 |     7017    352 |        0 |        0
479.41/479.60	c  479s |      21 |  1067550 |  1021145 |     7017    353 |        0 |        0
481.51/481.63	c  481s |      21 |  1072170 |  1025445 |     7017    354 |        0 |        0
483.51/483.66	c  483s |      21 |  1076417 |  1029445 |     7017    356 |        0 |        0
485.61/485.70	c  485s |      21 |  1080848 |  1033645 |     7017    357 |        0 |        0
487.61/487.73	c  487s |      21 |  1085155 |  1037845 |     7017    358 |        0 |        0
489.61/489.74	c  489s |      21 |  1089727 |  1042245 |     7017    359 |        0 |        0
491.62/491.78	c  491s |      21 |  1093625 |  1045945 |     7017    360 |        0 |        0
493.71/493.82	c  493s |      21 |  1098153 |  1050245 |     7017    361 |        0 |        0
495.71/495.84	c  495s |      21 |  1102397 |  1054345 |     7017    362 |        0 |        0
497.71/497.85	c  497s |      21 |  1106898 |  1058645 |     7017    363 |        0 |        0
499.71/499.89	c  499s |      21 |  1111458 |  1063045 |     7017    365 |        0 |        0
501.81/501.94	c  501s |      21 |  1116066 |  1067345 |     7017    366 |        0 |        0
503.82/503.96	c  503s |      21 |  1120480 |  1071545 |     7017    367 |        0 |        0
505.81/506.00	c  505s |      21 |  1125105 |  1076045 |     7017    368 |        0 |        0
507.91/508.00	c  507s |      21 |  1128781 |  1079445 |     7017    369 |        0 |        0
509.91/510.02	c  509s |      21 |  1132884 |  1083245 |     7017    370 |        0 |        0
511.91/512.03	c  511s |      21 |  1137056 |  1087345 |     7017    371 |        0 |        0
513.91/514.08	c  514s |      21 |  1141170 |  1091145 |     7017    372 |        0 |        0
516.01/516.10	c  516s |      21 |  1144854 |  1094645 |     7017    373 |        0 |        0
518.01/518.17	c  518s |      21 |  1148731 |  1098145 |     7017    374 |        0 |        0
520.01/520.17	c  520s |      21 |  1153613 |  1102945 |     7017    375 |        0 |        0
522.01/522.17	c  522s |      21 |  1158002 |  1107245 |     7017    376 |        0 |        0
524.01/524.19	c  524s |      21 |  1162573 |  1111645 |     7017    378 |        0 |        0
526.10/526.21	c  526s |      21 |  1166859 |  1115845 |     7017    379 |        0 |        0
528.10/528.23	c  528s |      21 |  1171169 |  1120045 |     7017    380 |        0 |        0
530.11/530.26	c  530s |      21 |  1175300 |  1123945 |     7017    381 |        0 |        0
532.20/532.31	c  532s |      21 |  1180668 |  1129045 |     7017    382 |        0 |        0
534.20/534.34	c  534s |      21 |  1184725 |  1132945 |     7017    383 |        0 |        0
536.20/536.37	c  536s |      21 |  1188647 |  1136745 |     7017    384 |        0 |        0
538.30/538.40	c  538s |      21 |  1193158 |  1141145 |     7017    385 |        0 |        0
540.31/540.42	c  540s |      21 |  1197717 |  1145645 |     7017    387 |        0 |        0
542.32/542.43	c  542s |      21 |  1202380 |  1150145 |     7017    388 |        0 |        0
544.31/544.43	c  544s |      21 |  1206740 |  1154345 |     7017    389 |        0 |        0
546.31/546.47	c  546s |      21 |  1211134 |  1158345 |     7017    390 |        0 |        0
548.31/548.47	c  548s |      21 |  1215937 |  1162945 |     7017    391 |        0 |        0
550.41/550.52	c  550s |      21 |  1220298 |  1167045 |     7017    392 |        0 |        0
552.41/552.52	c  552s |      21 |  1224769 |  1171345 |     7017    394 |        0 |        0
554.41/554.54	c  554s |      21 |  1229781 |  1176245 |     7017    395 |        0 |        0
556.41/556.58	c  556s |      21 |  1234463 |  1180645 |     7017    396 |        0 |        0
558.51/558.61	c  558s |      21 |  1238664 |  1184745 |     7017    397 |        0 |        0
560.50/560.66	c  560s |      21 |  1243020 |  1188945 |     7017    398 |        0 |        0
562.60/562.71	c  562s |      21 |  1247176 |  1192945 |     7017    399 |        0 |        0
564.60/564.72	c  564s |      21 |  1251452 |  1196945 |     7017    400 |        0 |        0
566.60/566.77	c  566s |      21 |  1255994 |  1201345 |     7017    402 |        0 |        0
568.61/568.79	c  568s |      21 |  1260580 |  1205845 |     7017    403 |        0 |        0
570.70/570.82	c  570s |      21 |  1264936 |  1210145 |     7017    404 |        0 |        0
572.70/572.84	c  572s |      21 |  1269542 |  1214545 |     7017    405 |        0 |        0
574.70/574.87	c  574s |      21 |  1273466 |  1218345 |     7017    406 |        0 |        0
576.80/576.91	c  576s |      21 |  1278354 |  1223145 |     7017    407 |        0 |        0
578.80/578.92	c  578s |      21 |  1282891 |  1227545 |     7017    409 |        0 |        0
580.81/580.97	c  580s |      21 |  1287431 |  1231945 |     7017    410 |        0 |        0
582.80/582.99	c  582s |      21 |  1291549 |  1235945 |     7017    411 |        0 |        0
584.90/585.00	c  584s |      21 |  1295576 |  1239845 |     7017    412 |        0 |        0
586.90/587.03	c  586s |      21 |  1300294 |  1244445 |     7017    413 |        0 |        0
588.90/589.06	c  589s |      21 |  1305311 |  1249345 |     7017    414 |        0 |        0
590.90/591.07	c  591s |      21 |  1309621 |  1253545 |     7017    416 |        0 |        0
592.90/593.09	c  593s |      21 |  1313964 |  1257745 |     7017    417 |        0 |        0
595.00/595.11	c  595s |      21 |  1317593 |  1261245 |     7017    418 |        0 |        0
597.00/597.17	c  597s |      21 |  1321909 |  1265345 |     7017    419 |        0 |        0
599.00/599.18	c  599s |      21 |  1326036 |  1269245 |     7017    420 |        0 |        0
600.99/601.19	c  601s |      21 |  1330231 |  1273245 |     7017    421 |        0 |        0
602.99/603.19	c  603s |      21 |  1333916 |  1276645 |     7017    422 |        0 |        0
605.09/605.21	c  605s |      21 |  1338059 |  1280345 |     7017    423 |        0 |        0
607.10/607.22	c  607s |      21 |  1341695 |  1283745 |     7017    424 |        0 |        0
609.19/609.30	c  609s |      21 |  1345107 |  1286945 |     7017    424 |        0 |        0
611.19/611.33	c  611s |      21 |  1349258 |  1290945 |     7017    426 |        0 |        0
613.19/613.35	c  613s |      21 |  1353431 |  1294945 |     7017    427 |        0 |        0
615.19/615.39	c  615s |      21 |  1357779 |  1299145 |     7017    428 |        0 |        0
617.19/617.40	c  617s |      21 |  1361953 |  1303145 |     7017    429 |        0 |        0
619.30/619.42	c  619s |      21 |  1366244 |  1307345 |     7017    430 |        0 |        0
621.29/621.45	c  621s |      21 |  1370556 |  1311545 |     7017    431 |        0 |        0
623.39/623.50	c  623s |      21 |  1374769 |  1315645 |     7017    432 |        0 |        0
625.39/625.56	c  625s |      21 |  1378597 |  1319345 |     7017    433 |        0 |        0
627.39/627.58	c  627s |      21 |  1382084 |  1322645 |     7017    434 |        0 |        0
629.49/629.61	c  629s |      21 |  1386906 |  1327345 |     7017    435 |        0 |        0
631.49/631.65	c  631s |      21 |  1390978 |  1331245 |     7017    436 |        0 |        0
633.49/633.68	c  633s |      21 |  1395044 |  1335145 |     7017    437 |        0 |        0
635.49/635.70	c  635s |      21 |  1399372 |  1339345 |     7017    438 |        0 |        0
637.59/637.71	c  637s |      21 |  1403614 |  1343545 |     7017    440 |        0 |        0
639.59/639.74	c  639s |      21 |  1407538 |  1347345 |     7017    441 |        0 |        0
641.59/641.79	c  641s |      21 |  1411612 |  1351245 |     7017    442 |        0 |        0
643.69/643.81	c  643s |      21 |  1416163 |  1355645 |     7017    443 |        0 |        0
645.69/645.85	c  645s |      21 |  1419815 |  1359145 |     7017    444 |        0 |        0
647.69/647.86	c  647s |      21 |  1423056 |  1362245 |     7017    445 |        0 |        0
649.69/649.87	c  649s |      21 |  1426968 |  1365945 |     7017    446 |        0 |        0
651.68/651.88	c  651s |      21 |  1431143 |  1369945 |     7017    447 |        0 |        0
653.79/653.93	c  653s |      21 |  1435278 |  1373945 |     7017    448 |        0 |        0
655.79/655.93	c  655s |      21 |  1439481 |  1378045 |     7017    449 |        0 |        0
657.80/657.94	c  657s |      21 |  1443600 |  1381945 |     7017    450 |        0 |        0
659.79/659.97	c  659s |      21 |  1448527 |  1386545 |     7017    451 |        0 |        0
661.89/662.01	c  661s |      21 |  1452684 |  1390345 |     7017    452 |        0 |        0
663.89/664.01	c  663s |      21 |  1457289 |  1394645 |     7017    453 |        0 |        0
665.89/666.01	c  665s |      21 |  1462081 |  1399045 |     7017    454 |        0 |        0
667.89/668.02	c  667s |      21 |  1466607 |  1403445 |     7017    456 |        0 |        0
669.90/670.05	c  670s |      21 |  1471100 |  1407745 |     7017    457 |        0 |        0
671.89/672.09	c  672s |      21 |  1475727 |  1412145 |     7017    458 |        0 |        0
673.99/674.13	c  674s |      21 |  1479716 |  1415845 |     7017    459 |        0 |        0
675.99/676.17	c  676s |      21 |  1484328 |  1419945 |     7017    460 |        0 |        0
677.99/678.18	c  678s |      21 |  1488147 |  1423445 |     7017    461 |        0 |        0
680.09/680.23	c  680s |      21 |  1493002 |  1427945 |     7017    462 |        0 |        0
682.09/682.27	c  682s |      21 |  1497008 |  1431845 |     7017    463 |        0 |        0
684.19/684.31	c  684s |      21 |  1501097 |  1435745 |     7017    464 |        0 |        0
686.19/686.32	c  686s |      21 |  1505727 |  1440245 |     7017    466 |        0 |        0
688.18/688.34	c  688s |      21 |  1510435 |  1444845 |     7017    467 |        0 |        0
690.18/690.36	c  690s |      21 |  1514917 |  1449045 |     7017    468 |        0 |        0
692.18/692.38	c  692s |      21 |  1519246 |  1453145 |     7017    469 |        0 |        0
694.28/694.41	c  694s |      21 |  1523361 |  1457145 |     7017    470 |        0 |        0
696.29/696.45	c  696s |      21 |  1527515 |  1461145 |     7017    471 |        0 |        0
698.28/698.46	c  698s |      21 |  1532085 |  1465545 |     7017    472 |        0 |        0
700.28/700.49	c  700s |      21 |  1536592 |  1469945 |     7017    473 |        0 |        0
702.38/702.50	c  702s |      21 |  1540880 |  1474045 |     7017    475 |        0 |        0
704.38/704.53	c  704s |      21 |  1545158 |  1478145 |     7017    476 |        0 |        0
706.38/706.56	c  706s |      21 |  1549618 |  1482445 |     7017    477 |        0 |        0
708.39/708.57	c  708s |      21 |  1554600 |  1487245 |     7017    478 |        0 |        0
710.38/710.59	c  710s |      21 |  1559496 |  1491945 |     7719    479 |        0 |        0
712.48/712.64	c  712s |      21 |  1563942 |  1496145 |     7719    480 |        0 |        0
714.38/714.58	c  714s |      22 |  1568580 |  1500622 |     7719    481 |        0 |        0
716.38/716.59	c  716s |      22 |  1572901 |  1504322 |     7719    482 |        0 |        0
718.48/718.62	c  718s |      22 |  1576794 |  1508022 |     7719    483 |        0 |        0
720.58/720.70	c  720s |      22 |  1580238 |  1511022 |     7719    484 |        0 |        0
722.48/722.70	c  722s |      22 |  1585548 |  1515822 |     7719    485 |        0 |        0
724.58/724.72	c  724s |      22 |  1590580 |  1520722 |     7719    486 |        0 |        0
726.58/726.74	c  726s |      22 |  1595544 |  1525622 |     7719    488 |        0 |        0
728.58/728.77	c  728s |      22 |  1600299 |  1530322 |     7719    489 |        0 |        0
730.67/730.81	c  730s |      22 |  1605675 |  1535622 |     7719    490 |        0 |        0
732.67/732.82	c  732s |      22 |  1610272 |  1540122 |     7719    491 |        0 |        0
734.68/734.84	c  734s |      22 |  1615556 |  1545322 |     7719    492 |        0 |        0
736.67/736.86	c  736s |      22 |  1620335 |  1550022 |     7719    494 |        0 |        0
738.67/738.89	c  738s |      22 |  1625327 |  1554622 |     7719    495 |        0 |        0
740.77/740.91	c  740s |      22 |  1629479 |  1558722 |     7719    496 |        0 |        0
742.77/742.96	c  742s |      22 |  1633871 |  1563022 |     7719    497 |        0 |        0
744.77/744.98	c  744s |      22 |  1638409 |  1567322 |     7719    498 |        0 |        0
746.78/747.00	c  746s |      22 |  1644186 |  1571422 |     7719    499 |        0 |        0
748.87/749.02	c  748s |      22 |  1648433 |  1574022 |     7719    500 |        0 |        0
750.87/751.02	c  750s |      22 |  1652952 |  1578122 |     7719    501 |        0 |        0
752.87/753.05	c  753s |      22 |  1656946 |  1581822 |     7719    501 |        0 |        0
754.87/755.06	c  755s |      22 |  1660397 |  1585122 |     7719    502 |        0 |        0
756.97/757.10	c  757s |      22 |  1665240 |  1589822 |     7719    503 |        0 |        0
758.98/759.12	c  759s |      22 |  1669432 |  1593922 |     7719    504 |        0 |        0
760.97/761.17	c  761s |      22 |  1673883 |  1598122 |     7719    506 |        0 |        0
763.07/763.21	c  763s |      22 |  1677831 |  1602022 |     7719    506 |        0 |        0
765.07/765.27	c  765s |      22 |  1681481 |  1605622 |     7719    507 |        0 |        0
767.07/767.29	c  767s |      22 |  1685372 |  1609422 |     7719    508 |        0 |        0
769.17/769.33	c  769s |      22 |  1689200 |  1613122 |     7719    509 |        0 |        0
771.17/771.37	c  771s |      22 |  1693352 |  1617122 |     7719    510 |        0 |        0
773.17/773.37	c  773s |      22 |  1697133 |  1620822 |     7719    511 |        0 |        0
775.27/775.40	c  775s |      22 |  1701389 |  1624922 |     7719    512 |        0 |        0
777.27/777.47	c  777s |      22 |  1704734 |  1628022 |     7719    513 |        0 |        0
779.37/779.50	c  779s |      22 |  1709023 |  1632022 |     7719    514 |        0 |        0
781.37/781.54	c  781s |      22 |  1713355 |  1636222 |     7719    515 |        0 |        0
783.37/783.59	c  783s |      22 |  1717706 |  1640522 |     7719    516 |        0 |        0
785.47/785.60	c  785s |      22 |  1722382 |  1645022 |     7719    517 |        0 |        0
787.47/787.64	c  787s |      22 |  1726766 |  1649122 |     7719    518 |        0 |        0
789.56/789.72	c  789s |      22 |  1730081 |  1652322 |     7719    519 |        0 |        0
791.56/791.73	c  791s |      22 |  1734521 |  1656622 |     7719    520 |        0 |        0
793.56/793.75	c  793s |      22 |  1738581 |  1660522 |     7719    521 |        0 |        0
795.56/795.79	c  795s |      22 |  1743416 |  1664922 |     7719    522 |        0 |        0
797.66/797.80	c  797s |      22 |  1747032 |  1668422 |     7719    523 |        0 |        0
799.57/799.80	c  799s |      22 |  1751290 |  1672622 |     7719    524 |        0 |        0
801.66/801.81	c  801s |      22 |  1754943 |  1676122 |     7719    525 |        0 |        0
803.66/803.86	c  803s |      22 |  1759071 |  1680022 |     7719    526 |        0 |        0
805.66/805.88	c  805s |      22 |  1763281 |  1683622 |     7719    527 |        0 |        0
807.76/807.91	c  807s |      22 |  1766972 |  1687122 |     7719    528 |        0 |        0
809.76/809.95	c  809s |      22 |  1772129 |  1692122 |     7719    529 |        0 |        0
811.77/811.96	c  811s |      22 |  1776194 |  1696022 |     7719    530 |        0 |        0
813.77/813.97	c  813s |      22 |  1780254 |  1699922 |     7719    531 |        0 |        0
815.77/815.98	c  815s |      22 |  1784951 |  1704422 |     7719    532 |        0 |        0
817.77/817.98	c  817s |      22 |  1789102 |  1708322 |     7719    533 |        0 |        0
819.86/820.02	c  819s |      22 |  1793214 |  1712322 |     7719    534 |        0 |        0
821.86/822.04	c  822s |      22 |  1797662 |  1716522 |     7719    535 |        0 |        0
823.87/824.08	c  824s |      22 |  1801496 |  1720222 |     7719    536 |        0 |        0
825.97/826.12	c  826s |      22 |  1805170 |  1723822 |     7719    537 |        0 |        0
827.96/828.15	c  828s |      22 |  1809082 |  1727622 |     7719    538 |        0 |        0
829.96/830.18	c  830s |      22 |  1812466 |  1730922 |     7719    538 |        0 |        0
831.96/832.19	c  832s |      22 |  1816819 |  1734922 |     7719    539 |        0 |        0
834.06/834.24	c  834s |      22 |  1821148 |  1738922 |     7719    540 |        0 |        0
836.16/836.30	c  836s |      22 |  1824099 |  1741522 |     7719    541 |        0 |        0
838.16/838.37	c  838s |      22 |  1828646 |  1745622 |     7719    542 |        0 |        0
840.15/840.40	c  840s |      22 |  1832538 |  1749422 |     7719    543 |        0 |        0
842.25/842.42	c  842s |      22 |  1837605 |  1754322 |     7719    544 |        0 |        0
844.25/844.46	c  844s |      22 |  1841267 |  1757822 |     7719    545 |        0 |        0
846.25/846.46	c  846s |      22 |  1846015 |  1762422 |     7719    546 |        0 |        0
848.25/848.47	c  848s |      22 |  1850784 |  1766922 |     7719    547 |        0 |        0
850.35/850.52	c  850s |      22 |  1855478 |  1771422 |     7719    548 |        0 |        0
852.35/852.52	c  852s |      22 |  1860402 |  1776122 |     7719    550 |        0 |        0
854.35/854.55	c  854s |      22 |  1864770 |  1780322 |     7719    551 |        0 |        0
856.34/856.57	c  856s |      22 |  1869765 |  1784922 |     7719    552 |        0 |        0
858.44/858.60	c  858s |      22 |  1874492 |  1789322 |     7719    553 |        0 |        0
860.44/860.61	c  860s |      22 |  1878822 |  1793522 |     7719    554 |        0 |        0
862.44/862.68	c  862s |      22 |  1882759 |  1797222 |     7719    555 |        0 |        0
864.55/864.73	c  864s |      22 |  1887106 |  1801422 |     7719    556 |        0 |        0
866.54/866.76	c  866s |      22 |  1891042 |  1805222 |     7719    557 |        0 |        0
868.54/868.77	c  868s |      22 |  1895770 |  1809322 |     7719    558 |        0 |        0
870.54/870.79	c  870s |      22 |  1900391 |  1813522 |     7719    559 |        0 |        0
872.54/872.79	c  872s |      22 |  1904587 |  1817622 |     7719    560 |        0 |        0
874.64/874.80	c  874s |      22 |  1908748 |  1821722 |     7719    561 |        0 |        0
876.64/876.80	c  876s |      22 |  1913480 |  1826122 |     7719    562 |        0 |        0
878.64/878.85	c  878s |      22 |  1918838 |  1830822 |     7719    563 |        0 |        0
880.64/880.85	c  880s |      22 |  1923795 |  1834622 |     7719    564 |        0 |        0
882.63/882.89	c  882s |      22 |  1928561 |  1839322 |     7719    565 |        0 |        0
884.73/884.90	c  884s |      22 |  1932918 |  1843522 |     7719    566 |        0 |        0
886.73/886.91	c  886s |      22 |  1937210 |  1847722 |     7719    567 |        0 |        0
888.74/888.92	c  888s |      22 |  1941926 |  1852322 |     7719    568 |        0 |        0
890.73/890.99	c  890s |      22 |  1946109 |  1856322 |     7719    569 |        0 |        0
892.83/893.01	c  892s |      22 |  1950078 |  1860122 |     7719    570 |        0 |        0
894.83/895.02	c  894s |      22 |  1953617 |  1863522 |     7719    571 |        0 |        0
896.83/897.05	c  897s |      22 |  1957744 |  1867422 |     7719    572 |        0 |        0
898.83/899.07	c  899s |      22 |  1962565 |  1872122 |     7719    573 |        0 |        0
900.83/901.09	c  901s |      22 |  1966542 |  1875922 |     7719    574 |        0 |        0
902.82/903.09	c  903s |      22 |  1970904 |  1879722 |     7719    575 |        0 |        0
904.82/905.09	c  905s |      22 |  1974732 |  1883422 |     7719    576 |        0 |        0
906.92/907.14	c  907s |      22 |  1978086 |  1886122 |     7719    577 |        0 |        0
908.92/909.14	c  909s |      22 |  1982893 |  1890522 |     7719    578 |        0 |        0
910.92/911.16	c  911s |      22 |  1987238 |  1894722 |     7719    579 |        0 |        0
912.93/913.19	c  913s |      22 |  1991344 |  1898722 |     7719    580 |        0 |        0
915.03/915.21	c  915s |      22 |  1996567 |  1903822 |     7719    581 |        0 |        0
917.02/917.24	c  917s |      22 |  2001144 |  1908222 |     7719    582 |        0 |        0
919.02/919.28	c  919s |      22 |  2006050 |  1912922 |     7719    583 |        0 |        0
921.12/921.32	c  921s |      22 |  2009948 |  1916722 |     7719    584 |        0 |        0
923.12/923.35	c  923s |      22 |  2014589 |  1921222 |     7719    586 |        0 |        0
925.12/925.35	c  925s |      22 |  2019457 |  1925922 |     7719    587 |        0 |        0
927.12/927.39	c  927s |      22 |  2023575 |  1929822 |     7719    588 |        0 |        0
929.22/929.40	c  929s |      22 |  2027201 |  1933322 |     7719    589 |        0 |        0
931.21/931.41	c  931s |      22 |  2031812 |  1937822 |     7719    590 |        0 |        0
933.21/933.45	c  933s |      22 |  2036295 |  1941922 |     7719    591 |        0 |        0
935.21/935.48	c  935s |      22 |  2040866 |  1946322 |     7719    592 |        0 |        0
937.31/937.52	c  937s |      22 |  2045815 |  1951022 |     7719    593 |        0 |        0
939.32/939.55	c  939s |      22 |  2050529 |  1955022 |     7719    594 |        0 |        0
941.30/941.57	c  941s |      22 |  2055506 |  1959622 |     7719    595 |        0 |        0
943.40/943.60	c  943s |      22 |  2060654 |  1964522 |     7719    596 |        0 |        0
945.40/945.63	c  945s |      22 |  2064954 |  1968322 |     7719    597 |        0 |        0
947.40/947.66	c  947s |      22 |  2069328 |  1972422 |     7719    598 |        0 |        0
949.50/949.70	c  949s |      22 |  2073662 |  1976522 |     7719    599 |        0 |        0
951.50/951.71	c  951s |      22 |  2077902 |  1980522 |     7719    600 |        0 |        0
953.51/953.74	c  953s |      22 |  2082445 |  1984922 |     7719    601 |        0 |        0
955.50/955.78	c  955s |      22 |  2087403 |  1989722 |     7719    603 |        0 |        0
957.60/957.81	c  957s |      22 |  2091653 |  1993522 |     7719    603 |        0 |        0
959.59/959.81	c  959s |      22 |  2095598 |  1997222 |     7719    604 |        0 |        0
961.59/961.86	c  961s |      22 |  2099580 |  2001022 |     7719    605 |        0 |        0
963.59/963.87	c  963s |      22 |  2104141 |  2005322 |     7719    606 |        0 |        0
965.60/965.89	c  965s |      22 |  2108431 |  2009422 |     7719    607 |        0 |        0
967.69/967.90	c  967s |      22 |  2112915 |  2013722 |     7719    608 |        0 |        0
969.69/969.95	c  969s |      22 |  2117589 |  2018222 |     7719    610 |        0 |        0
971.69/971.96	c  971s |      22 |  2121047 |  2021422 |     7719    610 |        0 |        0
973.69/973.97	c  973s |      22 |  2124581 |  2024822 |     7719    611 |        0 |        0
975.69/975.97	c  975s |      22 |  2128555 |  2028522 |     7719    612 |        0 |        0
977.69/978.00	c  977s |      22 |  2132727 |  2032522 |     7719    613 |        0 |        0
979.78/980.01	c  979s |      22 |  2137463 |  2036822 |     7719    614 |        0 |        0
981.78/982.05	c  982s |      22 |  2142146 |  2041322 |     7719    615 |        0 |        0
983.78/984.06	c  984s |      22 |  2146371 |  2045022 |     7719    616 |        0 |        0
985.78/986.08	c  986s |      22 |  2150847 |  2049322 |     7719    617 |        0 |        0
987.88/988.13	c  988s |      22 |  2155480 |  2053722 |     7719    618 |        0 |        0
989.89/990.14	c  990s |      22 |  2159933 |  2058022 |     7719    619 |        0 |        0
991.88/992.15	c  992s |      22 |  2164258 |  2062122 |     7719    620 |        0 |        0
993.88/994.17	c  994s |      22 |  2167316 |  2065122 |     7719    621 |        0 |        0
995.98/996.21	c  996s |      22 |  2170583 |  2068322 |     7719    622 |        0 |        0
997.98/998.21	c  998s |      22 |  2175152 |  2072722 |     7719    623 |        0 |        0
999.98/1000.24	c 1000s |      22 |  2179812 |  2077122 |     7719    624 |        0 |        0
1001.99/1002.26	c 1002s |      22 |  2184511 |  2081522 |     7719    625 |        0 |        0
1003.98/1004.26	c 1004s |      22 |  2188109 |  2085022 |     7719    626 |        0 |        0
1005.98/1006.26	c 1006s |      22 |  2192162 |  2088822 |     7719    627 |        0 |        0
1008.08/1008.30	c 1008s |      22 |  2194998 |  2091422 |     7719    628 |        0 |        0
1010.07/1010.30	c 1010s |      22 |  2198462 |  2094622 |     7719    629 |        0 |        0
1012.07/1012.34	c 1012s |      22 |  2202524 |  2098522 |     7719    629 |        0 |        0
1014.08/1014.34	c 1014s |      22 |  2206321 |  2102122 |     7719    630 |        0 |        0
1016.07/1016.36	c 1016s |      22 |  2210091 |  2105722 |     7719    631 |        0 |        0
1018.17/1018.41	c 1018s |      22 |  2213597 |  2108922 |     7719    632 |        0 |        0
1020.17/1020.45	c 1020s |      22 |  2217665 |  2112822 |     7719    633 |        0 |        0
1022.17/1022.49	c 1022s |      22 |  2222000 |  2117022 |     7719    634 |        0 |        0
1024.27/1024.50	c 1024s |      22 |  2226203 |  2120922 |     7719    635 |        0 |        0
1026.27/1026.51	c 1026s |      22 |  2230317 |  2124622 |     7719    636 |        0 |        0
1028.27/1028.54	c 1028s |      22 |  2234900 |  2129122 |     7719    637 |        0 |        0
1030.26/1030.59	c 1030s |      22 |  2239032 |  2133122 |     7719    638 |        0 |        0
1032.36/1032.62	c 1032s |      22 |  2243318 |  2137222 |     7719    639 |        0 |        0
1034.36/1034.64	c 1034s |      22 |  2247457 |  2141122 |     7719    640 |        0 |        0
1036.46/1036.73	c 1036s |      22 |  2252488 |  2145922 |     7719    641 |        0 |        0
1038.46/1038.77	c 1038s |      22 |  2257030 |  2150022 |     7719    642 |        0 |        0
1040.56/1040.82	c 1040s |      22 |  2261968 |  2154722 |     7719    643 |        0 |        0
1042.56/1042.84	c 1042s |      22 |  2266381 |  2158822 |     7719    644 |        0 |        0
1044.56/1044.88	c 1044s |      22 |  2270357 |  2162422 |     7719    645 |        0 |        0
1046.66/1046.90	c 1046s |      22 |  2276361 |  2167722 |     7719    647 |        0 |        0
1048.66/1048.91	c 1048s |      22 |  2281276 |  2172322 |     7719    648 |        0 |        0
1050.65/1050.93	c 1050s |      22 |  2285872 |  2176822 |     7719    649 |        0 |        0
1052.65/1052.93	c 1052s |      22 |  2290752 |  2181422 |     7719    650 |        0 |        0
1054.66/1054.97	c 1054s |      22 |  2295842 |  2186322 |     7719    651 |        0 |        0
1056.65/1056.99	c 1056s |      22 |  2300707 |  2190922 |     7719    652 |        0 |        0
1058.75/1059.00	c 1058s |      22 |  2305847 |  2195722 |     7719    654 |        0 |        0
1060.75/1061.02	c 1060s |      22 |  2311256 |  2200922 |     7719    655 |        0 |        0
1062.75/1063.03	c 1063s |      22 |  2315851 |  2205222 |     7719    656 |        0 |        0
1064.75/1065.06	c 1065s |      22 |  2320000 |  2209022 |     7719    657 |        0 |        0
1066.75/1067.09	c 1067s |      22 |  2325099 |  2214022 |     7719    658 |        0 |        0
1068.85/1069.13	c 1069s |      22 |  2329789 |  2218522 |     7719    659 |        0 |        0
1070.84/1071.18	c 1071s |      22 |  2334770 |  2223222 |     7719    660 |        0 |        0
1072.94/1073.20	c 1073s |      22 |  2340796 |  2229022 |     7719    662 |        0 |        0
1074.94/1075.21	c 1075s |      22 |  2346165 |  2234022 |     7719    663 |        0 |        0
1076.94/1077.21	c 1077s |      22 |  2351286 |  2238822 |     8491    664 |        0 |        0
1078.95/1079.22	c 1079s |      22 |  2356448 |  2243522 |     8491    665 |        0 |        0
1080.94/1081.25	c 1081s |      22 |  2361222 |  2248222 |     8491    666 |        0 |        0
1082.34/1082.68	c 1082s |      23 |  2364132 |  2251038 |     8491    667 |        0 |        0
1084.35/1084.69	c 1084s |      23 |  2371874 |  2258238 |     8491    668 |        0 |        0
1086.44/1086.71	c 1086s |      23 |  2378000 |  2264138 |     8491    670 |        0 |        0
1088.44/1088.72	c 1088s |      23 |  2383366 |  2269338 |     8491    671 |        0 |        0
1090.43/1090.75	c 1090s |      23 |  2388149 |  2273938 |     8491    672 |        0 |        0
1092.43/1092.76	c 1092s |      23 |  2393340 |  2278938 |     8491    673 |        0 |        0
1094.43/1094.78	c 1094s |      23 |  2398844 |  2284238 |     8491    674 |        0 |        0
1096.54/1096.82	c 1096s |      23 |  2403638 |  2288938 |     8491    675 |        0 |        0
1098.53/1098.83	c 1098s |      23 |  2408931 |  2293938 |     8491    676 |        0 |        0
1100.53/1100.87	c 1100s |      23 |  2414091 |  2298738 |     8491    677 |        0 |        0
1102.53/1102.87	c 1102s |      23 |  2419491 |  2303938 |     8491    678 |        0 |        0
1104.63/1104.92	c 1104s |      23 |  2424902 |  2308838 |     8491    679 |        0 |        0
1106.63/1106.94	c 1106s |      23 |  2429871 |  2313538 |     8491    681 |        0 |        0
1108.73/1109.04	c 1109s |      23 |  2435586 |  2318938 |     8491    682 |        0 |        0
1110.73/1111.07	c 1111s |      23 |  2441176 |  2324038 |     8491    683 |        0 |        0
1112.72/1113.07	c 1113s |      23 |  2445998 |  2328438 |     8491    684 |        0 |        0
1114.82/1115.11	c 1115s |      23 |  2450383 |  2332638 |     8491    685 |        0 |        0
1116.82/1117.13	c 1117s |      23 |  2455145 |  2337138 |     8491    686 |        0 |        0
1118.82/1119.16	c 1119s |      23 |  2459422 |  2341138 |     8491    687 |        0 |        0
1120.82/1121.17	c 1121s |      23 |  2463941 |  2345438 |     8491    688 |        0 |        0
1122.83/1123.17	c 1123s |      23 |  2468447 |  2349738 |     8491    688 |        0 |        0
1124.82/1125.19	c 1125s |      23 |  2472336 |  2353538 |     8491    689 |        0 |        0
1126.92/1127.22	c 1127s |      23 |  2477727 |  2358638 |     8491    690 |        0 |        0
1128.92/1129.25	c 1129s |      23 |  2482823 |  2363638 |     8491    692 |        0 |        0
1130.92/1131.29	c 1131s |      23 |  2486980 |  2367738 |     8491    692 |        0 |        0
1133.02/1133.31	c 1133s |      23 |  2491764 |  2372438 |     8491    693 |        0 |        0
1135.03/1135.34	c 1135s |      23 |  2496219 |  2376838 |     8491    694 |        0 |        0
1137.02/1137.35	c 1137s |      23 |  2500948 |  2381238 |     8491    695 |        0 |        0
1139.02/1139.36	c 1139s |      23 |  2505104 |  2385238 |     8491    696 |        0 |        0
1141.01/1141.38	c 1141s |      23 |  2509345 |  2389338 |     8491    697 |        0 |        0
1143.11/1143.42	c 1143s |      23 |  2514343 |  2394138 |     8491    698 |        0 |        0
1145.11/1145.46	c 1145s |      23 |  2519399 |  2398938 |     8491    699 |        0 |        0
1147.21/1147.51	c 1147s |      23 |  2523429 |  2402838 |     8491    700 |        0 |        0
1149.22/1149.55	c 1149s |      23 |  2527907 |  2407138 |     8491    701 |        0 |        0
1151.21/1151.59	c 1151s |      23 |  2532276 |  2411338 |     8491    702 |        0 |        0
1153.31/1153.66	c 1153s |      23 |  2537698 |  2416438 |     8491    703 |        0 |        0
1155.41/1155.70	c 1155s |      23 |  2542071 |  2420638 |     8491    704 |        0 |        0
1157.41/1157.73	c 1157s |      23 |  2546974 |  2425338 |     8491    705 |        0 |        0
1159.40/1159.74	c 1159s |      23 |  2551961 |  2429938 |     8491    706 |        0 |        0
1161.41/1161.78	c 1161s |      23 |  2556164 |  2433938 |     8491    707 |        0 |        0
1163.40/1163.79	c 1163s |      23 |  2559946 |  2437638 |     8491    708 |        0 |        0
1165.50/1165.83	c 1165s |      23 |  2564407 |  2441938 |     8491    709 |        0 |        0
1167.50/1167.84	c 1167s |      23 |  2568969 |  2446338 |     8491    710 |        0 |        0
1169.50/1169.88	c 1169s |      23 |  2573298 |  2450538 |     8491    711 |        0 |        0
1171.50/1171.89	c 1171s |      23 |  2577291 |  2454438 |     8491    711 |        0 |        0
1173.60/1173.96	c 1173s |      23 |  2582185 |  2459138 |     8491    713 |        0 |        0
1175.60/1175.97	c 1175s |      23 |  2586808 |  2463538 |     8491    713 |        0 |        0
1177.61/1177.98	c 1177s |      23 |  2591131 |  2467738 |     8491    714 |        0 |        0
1179.70/1180.01	c 1179s |      23 |  2596393 |  2472738 |     8491    715 |        0 |        0
1181.70/1182.02	c 1181s |      23 |  2600402 |  2476638 |     8491    716 |        0 |        0
1183.70/1184.07	c 1184s |      23 |  2604443 |  2480538 |     8491    717 |        0 |        0
1185.70/1186.07	c 1186s |      23 |  2608773 |  2484738 |     8491    718 |        0 |        0
1187.71/1188.07	c 1188s |      23 |  2613072 |  2488938 |     8491    719 |        0 |        0
1189.79/1190.10	c 1190s |      23 |  2616563 |  2492338 |     8491    720 |        0 |        0
1191.79/1192.11	c 1192s |      23 |  2621518 |  2497038 |     8491    721 |        0 |        0
1193.79/1194.11	c 1194s |      23 |  2626760 |  2502138 |     8491    722 |        0 |        0
1195.79/1196.16	c 1196s |      23 |  2631539 |  2506738 |     8491    723 |        0 |        0
1197.79/1198.16	c 1198s |      23 |  2635813 |  2510838 |     8491    724 |        0 |        0
1199.79/1200.17	c 1200s |      23 |  2640254 |  2515138 |     8491    725 |        0 |        0
1201.79/1202.19	c 1202s |      23 |  2645229 |  2519938 |     8491    726 |        0 |        0
1203.89/1204.22	c 1204s |      23 |  2649572 |  2524138 |     8491    727 |        0 |        0
1205.89/1206.25	c 1206s |      23 |  2653733 |  2528238 |     8491    728 |        0 |        0
1207.89/1208.26	c 1208s |      23 |  2659185 |  2533438 |     8491    729 |        0 |        0
1209.88/1210.27	c 1210s |      23 |  2664078 |  2538138 |     8491    730 |        0 |        0
1211.89/1212.30	c 1212s |      23 |  2668301 |  2542238 |     8491    731 |        0 |        0
1213.98/1214.30	c 1214s |      23 |  2672372 |  2546238 |     8491    732 |        0 |        0
1215.98/1216.32	c 1216s |      23 |  2676335 |  2550138 |     8491    733 |        0 |        0
1217.98/1218.36	c 1218s |      23 |  2680568 |  2554338 |     8491    733 |        0 |        0
1219.98/1220.37	c 1220s |      23 |  2685002 |  2558738 |     8491    734 |        0 |        0
1222.08/1222.42	c 1222s |      23 |  2689459 |  2563138 |     8491    735 |        0 |        0
1224.08/1224.44	c 1224s |      23 |  2693363 |  2566938 |     8491    736 |        0 |        0
1226.07/1226.48	c 1226s |      23 |  2697547 |  2571038 |     8491    737 |        0 |        0
1228.17/1228.51	c 1228s |      23 |  2701536 |  2574938 |     8491    738 |        0 |        0
1230.17/1230.52	c 1230s |      23 |  2705252 |  2578538 |     8491    739 |        0 |        0
1232.17/1232.52	c 1232s |      23 |  2709979 |  2583138 |     8491    740 |        0 |        0
1234.17/1234.53	c 1234s |      23 |  2715937 |  2588938 |     8491    741 |        0 |        0
1236.17/1236.55	c 1236s |      23 |  2720650 |  2593538 |     8491    742 |        0 |        0
1238.17/1238.59	c 1238s |      23 |  2725312 |  2598138 |     8491    743 |        0 |        0
1240.26/1240.62	c 1240s |      23 |  2730125 |  2602838 |     8491    744 |        0 |        0
1242.26/1242.63	c 1242s |      23 |  2734571 |  2607238 |     8491    745 |        0 |        0
1244.26/1244.66	c 1244s |      23 |  2739117 |  2611738 |     8491    746 |        0 |        0
1246.26/1246.69	c 1246s |      23 |  2744303 |  2616838 |     8491    747 |        0 |        0
1248.36/1248.79	c 1248s |      23 |  2749300 |  2621738 |     8491    748 |        0 |        0
1250.36/1250.79	c 1250s |      23 |  2754906 |  2627238 |     8491    749 |        0 |        0
1252.46/1252.80	c 1252s |      23 |  2760153 |  2632438 |     8491    750 |        0 |        0
1254.46/1254.89	c 1254s |      23 |  2764903 |  2637138 |     8491    752 |        0 |        0
1256.46/1256.89	c 1256s |      23 |  2769756 |  2641938 |     8491    753 |        0 |        0
1258.56/1258.92	c 1258s |      23 |  2774779 |  2646938 |     8491    754 |        0 |        0
1260.55/1260.93	c 1260s |      23 |  2779407 |  2651538 |     8491    755 |        0 |        0
1262.56/1262.95	c 1262s |      23 |  2784803 |  2656838 |     8491    756 |        0 |        0
1264.55/1264.96	c 1264s |      23 |  2790413 |  2662338 |     8491    757 |        0 |        0
1266.65/1267.00	c 1266s |      23 |  2795430 |  2667238 |     8491    758 |        0 |        0
1268.65/1269.03	c 1268s |      23 |  2800340 |  2672038 |     8491    759 |        0 |        0
1270.64/1271.05	c 1271s |      23 |  2805850 |  2677438 |     8491    760 |        0 |        0
1272.64/1273.06	c 1273s |      23 |  2810971 |  2682438 |     8491    761 |        0 |        0
1274.65/1275.07	c 1275s |      23 |  2815823 |  2687238 |     8491    762 |        0 |        0
1276.64/1277.08	c 1277s |      23 |  2820393 |  2691738 |     8491    763 |        0 |        0
1278.74/1279.10	c 1279s |      23 |  2825399 |  2696638 |     8491    764 |        0 |        0
1280.74/1281.14	c 1281s |      23 |  2831099 |  2702238 |     8491    766 |        0 |        0
1282.74/1283.15	c 1283s |      23 |  2835847 |  2706938 |     8491    767 |        0 |        0
1284.74/1285.16	c 1285s |      23 |  2840851 |  2711838 |     8491    768 |        0 |        0
1286.74/1287.18	c 1287s |      23 |  2846448 |  2717338 |     8491    769 |        0 |        0
1288.74/1289.19	c 1289s |      23 |  2851113 |  2721938 |     8491    770 |        0 |        0
1290.73/1291.20	c 1291s |      23 |  2856101 |  2726838 |     8491    771 |        0 |        0
1292.83/1293.25	c 1293s |      23 |  2861380 |  2732038 |     8491    772 |        0 |        0
1294.83/1295.29	c 1295s |      23 |  2867331 |  2737838 |     8491    774 |        0 |        0
1296.83/1297.29	c 1297s |      23 |  2872674 |  2743038 |     8491    775 |        0 |        0
1298.93/1299.31	c 1299s |      23 |  2878559 |  2748738 |     8491    776 |        0 |        0
1300.93/1301.32	c 1301s |      23 |  2884388 |  2754338 |     8491    777 |        0 |        0
1302.92/1303.35	c 1303s |      23 |  2889594 |  2759438 |     8491    778 |        0 |        0
1304.93/1305.38	c 1305s |      23 |  2894369 |  2764138 |     8491    779 |        0 |        0
1307.03/1307.41	c 1307s |      23 |  2899451 |  2769138 |     8491    780 |        0 |        0
1309.03/1309.44	c 1309s |      23 |  2904065 |  2773638 |     8491    781 |        0 |        0
1311.02/1311.45	c 1311s |      23 |  2908968 |  2778438 |     8491    782 |        0 |        0
1313.13/1313.50	c 1313s |      23 |  2913664 |  2783038 |     8491    783 |        0 |        0
1315.12/1315.51	c 1315s |      23 |  2918892 |  2788138 |     8491    785 |        0 |        0
1317.12/1317.58	c 1317s |      23 |  2923545 |  2792638 |     8491    786 |        0 |        0
1319.22/1319.61	c 1319s |      23 |  2928594 |  2797538 |     8491    787 |        0 |        0
1321.22/1321.62	c 1321s |      23 |  2933893 |  2802738 |     8491    788 |        0 |        0
1323.22/1323.64	c 1323s |      23 |  2939015 |  2807638 |     8491    789 |        0 |        0
1325.23/1325.66	c 1325s |      23 |  2943789 |  2812338 |     8491    790 |        0 |        0
1327.22/1327.68	c 1327s |      23 |  2948803 |  2817238 |     8491    791 |        0 |        0
1329.22/1329.70	c 1329s |      23 |  2953358 |  2821738 |     8491    792 |        0 |        0
1331.31/1331.71	c 1331s |      23 |  2957939 |  2826238 |     8491    793 |        0 |        0
1333.41/1333.83	c 1333s |      23 |  2962928 |  2831138 |     8491    794 |        0 |        0
1335.41/1335.87	c 1335s |      23 |  2967361 |  2835538 |     8491    795 |        0 |        0
1337.41/1337.88	c 1337s |      23 |  2972354 |  2840438 |     8491    796 |        0 |        0
1339.52/1339.92	c 1339s |      23 |  2977417 |  2845338 |     8491    797 |        0 |        0
1341.51/1341.95	c 1341s |      23 |  2982381 |  2850238 |     8491    798 |        0 |        0
1343.51/1343.99	c 1343s |      23 |  2987809 |  2855538 |     8491    799 |        0 |        0
1345.60/1346.03	c 1345s |      23 |  2992568 |  2860238 |     8491    800 |        0 |        0
1347.60/1348.03	c 1347s |      23 |  2997098 |  2864738 |     8491    801 |        0 |        0
1349.60/1350.06	c 1350s |      23 |  3002069 |  2869638 |     8491    802 |        0 |        0
1351.61/1352.09	c 1352s |      23 |  3007046 |  2874538 |     8491    803 |        0 |        0
1353.71/1354.10	c 1354s |      23 |  3011517 |  2878938 |     8491    804 |        0 |        0
1355.70/1356.14	c 1356s |      23 |  3016722 |  2884038 |     8491    806 |        0 |        0
1357.70/1358.17	c 1358s |      23 |  3021504 |  2888738 |     8491    807 |        0 |        0
1359.69/1360.19	c 1360s |      23 |  3026422 |  2893538 |     8491    808 |        0 |        0
1361.79/1362.23	c 1362s |      23 |  3031445 |  2898438 |     8491    809 |        0 |        0
1363.79/1364.27	c 1364s |      23 |  3036268 |  2903138 |     8491    810 |        0 |        0
1365.80/1366.30	c 1366s |      23 |  3040602 |  2907338 |     8491    811 |        0 |        0
1367.89/1368.30	c 1368s |      23 |  3044934 |  2911638 |     8491    812 |        0 |        0
1369.89/1370.34	c 1370s |      23 |  3049643 |  2916238 |     8491    813 |        0 |        0
1371.89/1372.34	c 1372s |      23 |  3054329 |  2920838 |     8491    814 |        0 |        0
1373.99/1374.40	c 1374s |      23 |  3058835 |  2925238 |     8491    815 |        0 |        0
1375.99/1376.40	c 1376s |      23 |  3063311 |  2929638 |     8491    816 |        0 |        0
1377.99/1378.47	c 1378s |      23 |  3067943 |  2934138 |     8491    817 |        0 |        0
1379.98/1380.49	c 1380s |      23 |  3072314 |  2938438 |     8491    817 |        0 |        0
1382.08/1382.50	c 1382s |      23 |  3076496 |  2942538 |     8491    818 |        0 |        0
1384.18/1384.64	c 1384s |      23 |  3081215 |  2947138 |     8491    819 |        0 |        0
1386.18/1386.64	c 1386s |      23 |  3086593 |  2952238 |     8491    820 |        0 |        0
1388.19/1388.67	c 1388s |      23 |  3091680 |  2957238 |     8491    822 |        0 |        0
1390.18/1390.67	c 1390s |      23 |  3096421 |  2961938 |     8491    823 |        0 |        0
1392.19/1392.69	c 1392s |      23 |  3101951 |  2967338 |     8491    824 |        0 |        0
1394.18/1394.69	c 1394s |      23 |  3107284 |  2972538 |     8491    825 |        0 |        0
1396.18/1396.70	c 1396s |      23 |  3112773 |  2977838 |     8491    826 |        0 |        0
1398.28/1398.72	c 1398s |      23 |  3118167 |  2983038 |     8491    827 |        0 |        0
1400.28/1400.74	c 1400s |      23 |  3123220 |  2987938 |     8491    828 |        0 |        0
1402.28/1402.74	c 1402s |      23 |  3128867 |  2993438 |     8491    829 |        0 |        0
1404.29/1404.77	c 1404s |      23 |  3133552 |  2998038 |     8491    830 |        0 |        0
1406.28/1406.80	c 1406s |      23 |  3137888 |  3002338 |     8491    831 |        0 |        0
1408.38/1408.85	c 1408s |      23 |  3142014 |  3006438 |     8491    832 |        0 |        0
1410.37/1410.86	c 1410s |      23 |  3146366 |  3010738 |     8491    833 |        0 |        0
1412.47/1412.90	c 1412s |      23 |  3151145 |  3015438 |     8491    834 |        0 |        0
1414.47/1414.93	c 1414s |      23 |  3156008 |  3020238 |     8491    835 |        0 |        0
1416.48/1416.94	c 1416s |      23 |  3160586 |  3024738 |     8491    836 |        0 |        0
1418.47/1418.94	c 1418s |      23 |  3165478 |  3029538 |     8491    837 |        0 |        0
1420.47/1420.96	c 1420s |      23 |  3170640 |  3034638 |     8491    839 |        0 |        0
1422.47/1422.96	c 1422s |      23 |  3175805 |  3039638 |     8491    840 |        0 |        0
1424.47/1424.96	c 1424s |      23 |  3179840 |  3043638 |     8491    841 |        0 |        0
1426.47/1426.98	c 1426s |      23 |  3184237 |  3047938 |     8491    841 |        0 |        0
1428.47/1428.99	c 1428s |      23 |  3188603 |  3052238 |     8491    842 |        0 |        0
1430.56/1431.05	c 1431s |      23 |  3193664 |  3057238 |     8491    844 |        0 |        0
1432.56/1433.05	c 1433s |      23 |  3198136 |  3061638 |     8491    844 |        0 |        0
1434.56/1435.08	c 1435s |      23 |  3203112 |  3066438 |     8491    846 |        0 |        0
1436.66/1437.12	c 1437s |      23 |  3208374 |  3071638 |     8491    847 |        0 |        0
1438.66/1439.12	c 1439s |      23 |  3213052 |  3076238 |     8491    848 |        0 |        0
1440.66/1441.16	c 1441s |      23 |  3218028 |  3081138 |     8491    849 |        0 |        0
1442.66/1443.18	c 1443s |      23 |  3223127 |  3086138 |     8491    850 |        0 |        0
1444.76/1445.22	c 1445s |      23 |  3228483 |  3091338 |     8491    851 |        0 |        0
1446.76/1447.23	c 1447s |      23 |  3233764 |  3096538 |     8491    852 |        0 |        0
1448.76/1449.26	c 1449s |      23 |  3238217 |  3100738 |     8491    853 |        0 |        0
1450.85/1451.30	c 1451s |      23 |  3242380 |  3104838 |     8491    854 |        0 |        0
1452.85/1453.31	c 1453s |      23 |  3247453 |  3109838 |     8491    855 |        0 |        0
1454.86/1455.33	c 1455s |      23 |  3252207 |  3114538 |     8491    856 |        0 |        0
1456.85/1457.35	c 1457s |      23 |  3257147 |  3119438 |     8491    857 |        0 |        0
1458.85/1459.38	c 1459s |      23 |  3262201 |  3124438 |     8491    858 |        0 |        0
1460.95/1461.40	c 1461s |      23 |  3267534 |  3129638 |     8491    859 |        0 |        0
1462.95/1463.40	c 1463s |      23 |  3271870 |  3133938 |     8491    860 |        0 |        0
1464.95/1465.44	c 1465s |      23 |  3276522 |  3138538 |     8491    861 |        0 |        0
1466.95/1467.47	c 1467s |      23 |  3281265 |  3143138 |     8491    862 |        0 |        0
1468.94/1469.48	c 1469s |      23 |  3285674 |  3147438 |     8491    863 |        0 |        0
1471.04/1471.52	c 1471s |      23 |  3290317 |  3152038 |     8491    864 |        0 |        0
1473.04/1473.54	c 1473s |      23 |  3294687 |  3156338 |     8491    865 |        0 |        0
1475.04/1475.58	c 1475s |      23 |  3299177 |  3160738 |     8491    866 |        0 |        0
1477.14/1477.60	c 1477s |      23 |  3304339 |  3165738 |     8491    867 |        0 |        0
1479.15/1479.63	c 1479s |      23 |  3308523 |  3169838 |     8491    868 |        0 |        0
1481.14/1481.64	c 1481s |      23 |  3313117 |  3174338 |     8491    869 |        0 |        0
1483.14/1483.66	c 1483s |      23 |  3318917 |  3179938 |     8491    870 |        0 |        0
1485.14/1485.66	c 1485s |      23 |  3323808 |  3184638 |     8491    871 |        0 |        0
1487.13/1487.66	c 1487s |      23 |  3328812 |  3189438 |     8491    872 |        0 |        0
1489.23/1489.70	c 1489s |      23 |  3333499 |  3193938 |     8491    873 |        0 |        0
1491.24/1491.71	c 1491s |      23 |  3337804 |  3198138 |     8491    874 |        0 |        0
1493.23/1493.74	c 1493s |      23 |  3342364 |  3202538 |     8491    875 |        0 |        0
1495.23/1495.75	c 1495s |      23 |  3346659 |  3206738 |     8491    876 |        0 |        0
1497.23/1497.75	c 1497s |      23 |  3351272 |  3211238 |     8491    877 |        0 |        0
1499.23/1499.77	c 1499s |      23 |  3355795 |  3215638 |     8491    878 |        0 |        0
1501.33/1501.81	c 1501s |      23 |  3360369 |  3220138 |     8491    879 |        0 |        0
1503.34/1503.83	c 1503s |      23 |  3364936 |  3224638 |     8491    880 |        0 |        0
1505.33/1505.84	c 1505s |      23 |  3369523 |  3229138 |     8491    881 |        0 |        0
1507.33/1507.84	c 1507s |      23 |  3374438 |  3233938 |     8491    882 |        0 |        0
1509.33/1509.86	c 1509s |      23 |  3379094 |  3238438 |     8491    883 |        0 |        0
1511.43/1511.90	c 1511s |      23 |  3383863 |  3243038 |     8491    884 |        0 |        0
1513.43/1513.92	c 1513s |      23 |  3387844 |  3246938 |     8491    885 |        0 |        0
1515.44/1515.92	c 1515s |      23 |  3392489 |  3251538 |     8491    886 |        0 |        0
1517.43/1517.93	c 1517s |      23 |  3396862 |  3255838 |     8491    887 |        0 |        0
1519.44/1519.95	c 1519s |      23 |  3401461 |  3260338 |     8491    888 |        0 |        0
1521.44/1521.96	c 1521s |      23 |  3406157 |  3264938 |     8491    889 |        0 |        0
1523.44/1523.99	c 1523s |      23 |  3411287 |  3269938 |     8491    890 |        0 |        0
1525.44/1525.99	c 1525s |      23 |  3416342 |  3274838 |     8491    891 |        0 |        0
1527.44/1528.00	c 1527s |      23 |  3421021 |  3279438 |     8491    892 |        0 |        0
1529.54/1530.03	c 1529s |      23 |  3425815 |  3284138 |     8491    893 |        0 |        0
1531.54/1532.03	c 1531s |      23 |  3431114 |  3289338 |     8491    894 |        0 |        0
1533.53/1534.07	c 1534s |      23 |  3436327 |  3294438 |     8491    896 |        0 |        0
1535.63/1536.13	c 1536s |      23 |  3440714 |  3298738 |     8491    896 |        0 |        0
1537.63/1538.16	c 1538s |      23 |  3444752 |  3302738 |     8491    897 |        0 |        0
1539.64/1540.17	c 1540s |      23 |  3448833 |  3306738 |     8491    898 |        0 |        0
1541.63/1542.17	c 1542s |      23 |  3452924 |  3310638 |     8491    899 |        0 |        0
1543.63/1544.19	c 1544s |      23 |  3457853 |  3315338 |     8491    900 |        0 |        0
1545.73/1546.22	c 1546s |      23 |  3462033 |  3319438 |     8491    901 |        0 |        0
1547.73/1548.23	c 1548s |      23 |  3466401 |  3323738 |     8491    902 |        0 |        0
1549.73/1550.26	c 1550s |      23 |  3471629 |  3328738 |     8491    903 |        0 |        0
1551.83/1552.31	c 1552s |      23 |  3476241 |  3333238 |     8491    904 |        0 |        0
1553.84/1554.35	c 1554s |      23 |  3480836 |  3337738 |     8491    905 |        0 |        0
1555.83/1556.38	c 1556s |      23 |  3485122 |  3341938 |     8491    906 |        0 |        0
1557.93/1558.42	c 1558s |      23 |  3490103 |  3346838 |     8491    907 |        0 |        0
1559.93/1560.44	c 1560s |      23 |  3494688 |  3351338 |     8491    908 |        0 |        0
1561.93/1562.47	c 1562s |      23 |  3499011 |  3355538 |     9341    909 |        0 |        0
1563.93/1564.49	c 1564s |      23 |  3503121 |  3359538 |     9341    910 |        0 |        0
1566.04/1566.52	c 1566s |      23 |  3507560 |  3363838 |     9341    910 |        0 |        0
1568.03/1568.54	c 1568s |      23 |  3511553 |  3367738 |     9341    911 |        0 |        0
1570.03/1570.57	c 1570s |      23 |  3516041 |  3372138 |     9341    912 |        0 |        0
1572.13/1572.62	c 1572s |      23 |  3520593 |  3376638 |     9341    913 |        0 |        0
1572.13/1572.63	c 1572s |      24 |  3520620 |  3376662 |     9341    913 |        0 |        0
1574.13/1574.63	c 1574s |      24 |  3524332 |  3380162 |     9341    914 |        0 |        0
1576.13/1576.70	c 1576s |      24 |  3527717 |  3383362 |     9341    914 |        0 |        0
1578.23/1578.74	c 1578s |      24 |  3532056 |  3387562 |     9341    915 |        0 |        0
1580.23/1580.75	c 1580s |      24 |  3535943 |  3391362 |     9341    916 |        0 |        0
1582.22/1582.79	c 1582s |      24 |  3539478 |  3394462 |     9341    917 |        0 |        0
1584.32/1584.85	c 1584s |      24 |  3542720 |  3397462 |     9341    917 |        0 |        0
1586.32/1586.85	c 1586s |      24 |  3546430 |  3400662 |     9341    918 |        0 |        0
1588.32/1588.88	c 1588s |      24 |  3550664 |  3404662 |     9341    919 |        0 |        0
1590.32/1590.89	c 1590s |      24 |  3554056 |  3407762 |     9341    919 |        0 |        0
1592.43/1592.95	c 1592s |      24 |  3557967 |  3411562 |     9341    920 |        0 |        0
1594.53/1595.02	c 1594s |      24 |  3561542 |  3414862 |     9341    921 |        0 |        0
1596.52/1597.07	c 1597s |      24 |  3565194 |  3418162 |     9341    921 |        0 |        0
1598.62/1599.12	c 1599s |      24 |  3568351 |  3421062 |     9341    922 |        0 |        0
1600.62/1601.18	c 1601s |      24 |  3570291 |  3422862 |     9341    922 |        0 |        0
1602.72/1603.21	c 1603s |      24 |  3574121 |  3426562 |     9341    923 |        0 |        0
1604.72/1605.23	c 1605s |      24 |  3575547 |  3427862 |     9341    923 |        0 |        0
1606.73/1607.24	c 1607s |      24 |  3579004 |  3431162 |     9341    924 |        0 |        0
1608.72/1609.26	c 1609s |      24 |  3581645 |  3433562 |     9341    924 |        0 |        0
1610.72/1611.29	c 1611s |      24 |  3585173 |  3437062 |     9341    925 |        0 |        0
1612.72/1613.29	c 1613s |      24 |  3588604 |  3440362 |     9341    926 |        0 |        0
1614.82/1615.34	c 1615s |      24 |  3592244 |  3443862 |     9341    927 |        0 |        0
1616.82/1617.37	c 1617s |      24 |  3596127 |  3447662 |     9341    927 |        0 |        0
1618.82/1619.37	c 1619s |      24 |  3600026 |  3451162 |     9341    928 |        0 |        0
1620.92/1621.47	c 1621s |      24 |  3602924 |  3453762 |     9341    929 |        0 |        0
1623.12/1623.60	c 1623s |      24 |  3606443 |  3457062 |     9341    929 |        0 |        0
1625.22/1625.79	c 1625s |      24 |  3608137 |  3458462 |     9341    929 |        0 |        0
1627.31/1627.82	c 1627s |      24 |  3611714 |  3461862 |     9341    930 |        0 |        0
1629.31/1629.85	c 1629s |      24 |  3613911 |  3463962 |     9341    931 |        0 |        0
1631.31/1631.85	c 1631s |      24 |  3616947 |  3466862 |     9341    931 |        0 |        0
1633.31/1633.86	c 1633s |      24 |  3619340 |  3468962 |     9341    932 |        0 |        0
1635.41/1635.95	c 1635s |      24 |  3621590 |  3471062 |     9341    932 |        0 |        0
1637.42/1637.96	c 1637s |      24 |  3623786 |  3473162 |     9341    932 |        0 |        0
1639.41/1639.96	c 1639s |      24 |  3626508 |  3475562 |     9341    933 |        0 |        0
1641.51/1642.04	c 1642s |      24 |  3628803 |  3477562 |     9341    933 |        0 |        0
1643.61/1644.10	c 1644s |      24 |  3630906 |  3479262 |     9341    934 |        0 |        0
1645.61/1646.17	c 1646s |      24 |  3633029 |  3481162 |     9341    934 |        0 |        0
1647.71/1648.26	c 1648s |      24 |  3634987 |  3482962 |     9341    934 |        0 |        0
1649.71/1650.30	c 1650s |      24 |  3636797 |  3484662 |     9341    935 |        0 |        0
1651.82/1652.32	c 1652s |      24 |  3640214 |  3487762 |     9341    935 |        0 |        0
1653.81/1654.39	c 1654s |      24 |  3644971 |  3492362 |     9341    936 |        0 |        0
1655.91/1656.43	c 1656s |      24 |  3648563 |  3495862 |     9341    937 |        0 |        0
1657.91/1658.44	c 1658s |      24 |  3651551 |  3498762 |     9341    938 |        0 |        0
1659.91/1660.48	c 1660s |      24 |  3655117 |  3502262 |     9341    938 |        0 |        0
1662.01/1662.60	c 1662s |      24 |  3657915 |  3504962 |     9341    939 |        0 |        0
1664.11/1664.60	c 1664s |      24 |  3661719 |  3508562 |     9341    939 |        0 |        0
1666.11/1666.64	c 1666s |      24 |  3665108 |  3511862 |     9341    940 |        0 |        0
1668.11/1668.65	c 1668s |      24 |  3667473 |  3514162 |     9341    941 |        0 |        0
1670.21/1670.74	c 1670s |      24 |  3669838 |  3516462 |     9341    941 |        0 |        0
1672.21/1672.77	c 1672s |      24 |  3673685 |  3520262 |     9341    942 |        0 |        0
1674.31/1674.84	c 1674s |      24 |  3677465 |  3523862 |     9341    943 |        0 |        0
1676.31/1676.88	c 1676s |      24 |  3681125 |  3527362 |     9341    943 |        0 |        0
1678.41/1678.91	c 1678s |      24 |  3685294 |  3531462 |     9341    944 |        0 |        0
1680.41/1680.92	c 1680s |      24 |  3688722 |  3534762 |     9341    945 |        0 |        0
1682.41/1682.98	c 1682s |      24 |  3691692 |  3537662 |     9341    945 |        0 |        0
1684.50/1685.01	c 1684s |      24 |  3694759 |  3540662 |     9341    946 |        0 |        0
1686.50/1687.07	c 1687s |      24 |  3698468 |  3544262 |     9341    947 |        0 |        0
1688.50/1689.07	c 1689s |      24 |  3702119 |  3547762 |     9341    947 |        0 |        0
1690.60/1691.18	c 1691s |      24 |  3705612 |  3551062 |     9341    948 |        0 |        0
1692.70/1693.20	c 1693s |      24 |  3709449 |  3554762 |     9341    949 |        0 |        0
1694.71/1695.24	c 1695s |      24 |  3712646 |  3557862 |     9341    949 |        0 |        0
1696.70/1697.27	c 1697s |      24 |  3716041 |  3561162 |     9341    950 |        0 |        0
1698.70/1699.28	c 1699s |      24 |  3719940 |  3564962 |     9341    951 |        0 |        0
1700.70/1701.29	c 1701s |      24 |  3723261 |  3568162 |     9341    951 |        0 |        0
1702.80/1703.31	c 1703s |      24 |  3727654 |  3572462 |     9341    952 |        0 |        0
1704.80/1705.33	c 1705s |      24 |  3731783 |  3576462 |     9341    953 |        0 |        0
1706.81/1707.36	c 1707s |      24 |  3734784 |  3579362 |     9341    954 |        0 |        0
1708.80/1709.39	c 1709s |      24 |  3739130 |  3583462 |     9341    954 |        0 |        0
1710.90/1711.46	c 1711s |      24 |  3743615 |  3587762 |     9341    955 |        0 |        0
1712.90/1713.48	c 1713s |      24 |  3747609 |  3591562 |     9341    956 |        0 |        0
1714.90/1715.49	c 1715s |      24 |  3751046 |  3594762 |     9341    957 |        0 |        0
1717.00/1717.56	c 1717s |      24 |  3754590 |  3598162 |     9341    957 |        0 |        0
1719.10/1719.63	c 1719s |      24 |  3758076 |  3601462 |     9341    958 |        0 |        0
1721.11/1721.67	c 1721s |      24 |  3761263 |  3604562 |     9341    959 |        0 |        0
1723.21/1723.74	c 1723s |      24 |  3763671 |  3606862 |     9341    959 |        0 |        0
1725.30/1725.80	c 1725s |      24 |  3766389 |  3609462 |     9341    960 |        0 |        0
1727.30/1727.81	c 1727s |      24 |  3769163 |  3612162 |     9341    960 |        0 |        0
1729.30/1729.83	c 1729s |      24 |  3772501 |  3615262 |     9341    961 |        0 |        0
1731.30/1731.84	c 1731s |      24 |  3775261 |  3617862 |     9341    961 |        0 |        0
1733.30/1733.86	c 1733s |      24 |  3778142 |  3620562 |     9341    962 |        0 |        0
1735.40/1735.97	c 1735s |      24 |  3780448 |  3622662 |     9341    962 |        0 |        0
1737.50/1738.02	c 1737s |      24 |  3783087 |  3625062 |     9341    963 |        0 |        0
1739.50/1740.03	c 1739s |      24 |  3787351 |  3629162 |     9341    964 |        0 |        0
1741.50/1742.04	c 1742s |      24 |  3791184 |  3632862 |     9341    964 |        0 |        0
1743.49/1744.07	c 1744s |      24 |  3795362 |  3636962 |     9341    965 |        0 |        0
1745.49/1746.07	c 1746s |      24 |  3799354 |  3640762 |     9341    966 |        0 |        0
1747.51/1748.08	c 1748s |      24 |  3803769 |  3644762 |     9341    967 |        0 |        0
1749.61/1750.12	c 1750s |      24 |  3808234 |  3649162 |     9341    968 |        0 |        0
1751.70/1752.21	c 1752s |      24 |  3812226 |  3652662 |     9341    968 |        0 |        0
1753.70/1754.23	c 1754s |      24 |  3815450 |  3655362 |     9341    969 |        0 |        0
1755.70/1756.27	c 1756s |      24 |  3818606 |  3658062 |     9341    969 |        0 |        0
1757.70/1758.28	c 1758s |      24 |  3821868 |  3661262 |     9341    970 |        0 |        0
1759.80/1760.30	c 1760s |      24 |  3824958 |  3664162 |     9341    971 |        0 |        0
1761.81/1762.33	c 1762s |      24 |  3828165 |  3667062 |     9341    971 |        0 |        0
1763.80/1764.37	c 1764s |      24 |  3831701 |  3670462 |     9341    972 |        0 |        0
1765.90/1766.42	c 1766s |      24 |  3836068 |  3674362 |     9341    973 |        0 |        0
1767.90/1768.47	c 1768s |      24 |  3839296 |  3677262 |     9341    973 |        0 |        0
1770.00/1770.54	c 1770s |      24 |  3842097 |  3679662 |     9341    974 |        0 |        0
1772.00/1772.58	c 1772s |      24 |  3846013 |  3683262 |     9341    974 |        0 |        0
1774.00/1774.59	c 1774s |      24 |  3850745 |  3687862 |     9341    975 |        0 |        0
1776.10/1776.61	c 1776s |      24 |  3855034 |  3691762 |     9341    976 |        0 |        0
1778.10/1778.65	c 1778s |      24 |  3859379 |  3695862 |     9341    977 |        0 |        0
1780.09/1780.69	c 1780s |      24 |  3865206 |  3701062 |     9341    978 |        0 |        0
1782.09/1782.69	c 1782s |      24 |  3870038 |  3705662 |     9341    979 |        0 |        0
1784.19/1784.73	c 1784s |      24 |  3874903 |  3710262 |     9341    980 |        0 |        0
1786.19/1786.74	c 1786s |      24 |  3879395 |  3714662 |     9341    981 |        0 |        0
1788.20/1788.77	c 1788s |      24 |  3883574 |  3718762 |     9341    982 |        0 |        0
1790.30/1790.81	c 1790s |      24 |  3888485 |  3723462 |     9341    983 |        0 |        0
1792.29/1792.85	c 1792s |      24 |  3892755 |  3727462 |     9341    983 |        0 |        0
1794.39/1794.91	c 1794s |      24 |  3896959 |  3731462 |     9341    984 |        0 |        0
1796.39/1796.93	c 1796s |      24 |  3901140 |  3735462 |     9341    985 |        0 |        0
1798.39/1798.99	c 1798s |      24 |  3905226 |  3739362 |     9341    986 |        0 |        0

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

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.11 2.14 3/179 28408
/proc/meminfo: memFree=29376928/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=541116 CPUtime=0 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 1985 0 0 0 0 0 0 0 20 0 4 0 29215976 554102784 2346 33554432000 4194304 16246674 140733689328128 140733689327552 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 135791 2356 441 2943 0 132685 0
[pid=28408/tid=28409] ppid=28405 vsize=558524 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 571928576 2414 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=562620 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 576122880 2430 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=566716 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 580317184 2448 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100215 s]
/proc/loadavg: 2.06 2.11 2.14 3/179 28408
/proc/meminfo: memFree=29376928/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 22271 0 0 0 6 3 0 0 20 0 4 0 29215976 1247350784 22619 33554432000 4194304 16246674 140733689328128 140733689327552 13954410 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 304529 22629 758 2943 0 301423 0
[pid=28408/tid=28409] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 22636 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 22645 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 22649 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200507 s]
/proc/loadavg: 2.06 2.11 2.14 3/179 28408
/proc/meminfo: memFree=29376928/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 40718 0 0 0 14 5 0 0 20 0 4 0 29215976 1247350784 41066 33554432000 4194304 16246674 140733689328128 140733689327552 13954518 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 304529 41073 758 2943 0 301423 0
[pid=28408/tid=28409] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 41081 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 41084 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 41087 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300465 s]
/proc/loadavg: 2.06 2.11 2.14 3/179 28408
/proc/meminfo: memFree=29376928/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 53034 0 0 0 22 7 0 0 20 0 4 0 29215976 1247350784 53382 33554432000 4194304 16246674 140733689328128 140733689327552 6021133 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 304529 53392 758 2943 0 301423 0
[pid=28408/tid=28409] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 53399 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 53410 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 53413 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700391 s]
/proc/loadavg: 2.06 2.11 2.14 3/179 28408
/proc/meminfo: memFree=29376928/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 101422 0 0 0 55 13 0 0 20 0 4 0 29215976 1247350784 101770 33554432000 4194304 16246674 140733689328128 140733689327552 13759916 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 304529 101775 758 2943 0 301423 0
[pid=28408/tid=28409] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 101778 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 101781 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 101784 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.06 2.11 2.14 3/183 28412
/proc/meminfo: memFree=28756204/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 241368 0 0 0 116 33 0 0 20 0 4 0 29215976 1247350784 241716 33554432000 4194304 16246674 140733689328128 140733689310016 5712452 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 304529 241725 758 2943 0 301423 0
[pid=28408/tid=28409] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 241730 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 241737 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1247350784 241741 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.06 2.11 2.14 3/183 28412
/proc/meminfo: memFree=28392016/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1308228 CPUtime=3.09 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 267883 0 0 0 272 37 0 0 20 0 4 0 29215976 1339625472 268208 33554432000 4194304 16246674 140733689328128 140733689310016 5711423 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 327057 268208 832 2943 0 323951 0
[pid=28408/tid=28409] ppid=28405 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1339625472 268208 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1339625472 268208 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1339625472 268208 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30042 s]
/proc/loadavg: 2.06 2.11 2.14 3/183 28412
/proc/meminfo: memFree=28305092/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 268026 0 0 0 592 37 0 0 20 0 4 0 29215976 1339625472 268351 33554432000 4194304 16246674 140733689328128 140733689310016 5545796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 327057 268351 834 2943 0 323951 0
[pid=28408/tid=28409] ppid=28405 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1339625472 268351 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1339625472 268351 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1339625472 268351 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.05 2.11 2.14 3/183 28412
/proc/meminfo: memFree=28299528/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1313348 CPUtime=12.68 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 269257 0 0 0 1231 37 0 0 20 0 4 0 29215976 1344868352 269582 33554432000 4194304 16246674 140733689328128 140733689311128 5677520 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 328337 269582 835 2943 0 325231 0
[pid=28408/tid=28409] ppid=28405 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1344868352 269582 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1344868352 269582 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1344868352 269582 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1313348

[startup+25.5004 s]
/proc/loadavg: 2.11 2.12 2.15 4/183 28412
/proc/meminfo: memFree=28296008/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1316420 CPUtime=25.48 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 270183 0 0 0 2511 37 0 0 20 0 4 0 29215976 1348014080 270508 33554432000 4194304 16246674 140733689328128 140733689311128 13808304 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 329105 270508 835 2943 0 325999 0
[pid=28408/tid=28409] ppid=28405 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1348014080 270508 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1348014080 270508 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1348014080 270508 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1316420

[startup+51.1005 s]
/proc/loadavg: 2.20 2.14 2.15 3/183 28412
/proc/meminfo: memFree=28296012/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 270183 0 0 0 5071 37 0 0 20 0 4 0 29215976 1348014080 270508 33554432000 4194304 16246674 140733689328128 140733689310016 5599412 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 329105 270508 835 2943 0 325999 0
[pid=28408/tid=28409] ppid=28405 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1348014080 270508 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1348014080 270508 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1348014080 270508 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 2.18 2.15 2.15 3/183 28413
/proc/meminfo: memFree=28277292/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1334852 CPUtime=102.28 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 274792 0 0 0 10189 39 0 0 20 0 4 0 29215976 1366888448 275117 33554432000 4194304 16246674 140733689328128 140733689310016 5822240 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 333713 275117 836 2943 0 330607 0
[pid=28408/tid=28409] ppid=28405 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1366888448 275117 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1366888448 275117 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1334852 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1366888448 275117 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1334852


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

/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275630 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1335876

[startup+1302.3 s]
/proc/loadavg: 2.16 2.20 2.18 3/183 28564
/proc/meminfo: memFree=28294824/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1335876 CPUtime=1301.92 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 275345 0 0 0 130146 46 0 0 20 0 4 0 29215976 1367937024 275630 33554432000 4194304 16246674 140733689328128 140733689310016 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 333969 275630 837 2943 0 330863 0
[pid=28408/tid=28409] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275630 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275630 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275630 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 28614
/proc/meminfo: memFree=28293192/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1335876 CPUtime=1361.89 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 275385 0 0 0 136142 47 0 0 20 0 4 0 29215976 1367937024 275630 33554432000 4194304 16246674 140733689328128 140733689310016 5823863 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 333969 275630 837 2943 0 330863 0
[pid=28408/tid=28409] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275630 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275630 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275630 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.28 2.22 2.19 4/183 28616
/proc/meminfo: memFree=28292316/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1335876 CPUtime=1421.88 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 275417 0 0 0 142140 48 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 140733689310016 6021536 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 333969 275632 837 2943 0 330863 0
[pid=28408/tid=28409] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.38 2.25 2.19 4/183 28617
/proc/meminfo: memFree=28287728/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1335876 CPUtime=1481.84 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 275448 0 0 0 148136 48 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 140733689310016 5589142 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 333969 275632 837 2943 0 330863 0
[pid=28408/tid=28409] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1335876

[startup+1542.31 s]
/proc/loadavg: 2.50 2.30 2.21 3/183 28618
/proc/meminfo: memFree=28285964/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1335876 CPUtime=1541.84 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 275448 0 0 0 154135 49 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 140733689310016 5673942 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 333969 275632 837 2943 0 330863 0
[pid=28408/tid=28409] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.34 2.29 2.21 3/182 28619
/proc/meminfo: memFree=28286660/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1335876 CPUtime=1601.82 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 275448 0 0 0 160133 49 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 140733689310016 12415740 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 333969 275632 837 2943 0 330863 0
[pid=28408/tid=28409] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.33 2.29 2.21 3/183 28621
/proc/meminfo: memFree=28283044/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1335876 CPUtime=1661.81 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 275448 0 0 0 166132 49 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 140733689310016 6845864 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 333969 275632 837 2943 0 330863 0
[pid=28408/tid=28409] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.61 2.37 2.24 3/184 28674
/proc/meminfo: memFree=28293972/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1335876 CPUtime=1721.8 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 275448 0 0 0 172131 49 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 140733689310016 6021808 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 333969 275632 837 2943 0 330863 0
[pid=28408/tid=28409] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.26 2.32 2.23 3/183 28773
/proc/meminfo: memFree=28296520/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1335876 CPUtime=1781.79 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 275448 0 0 0 178129 50 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 140733689310016 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 333969 275632 837 2943 0 330863 0
[pid=28408/tid=28409] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.31 2.23 3/183 28773
/proc/meminfo: memFree=28293548/32872528 swapFree=1191052/1305516
[pid=28408] ppid=28405 vsize=1335876 CPUtime=1800.09 cores=0,2,4,6
/proc/28408/stat : 28408 (toysat) R 28405 28408 26736 0 -1 4202496 275448 0 0 0 179959 50 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 140733689310016 13950202 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/28408/statm: 333969 275632 837 2943 0 330863 0
[pid=28408/tid=28409] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28409/stat : 28409 (toysat) S 28405 28408 26736 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679136460016 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=28408/tid=28410] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28410/stat : 28410 (toysat) S 28405 28408 26736 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679125970160 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=28408/tid=28411] ppid=28405 vsize=1335876 CPUtime=0 cores=0,2,4,6
/proc/28408/task/28411/stat : 28411 (toysat) S 28405 28408 26736 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 29215976 1367937024 275632 33554432000 4194304 16246674 140733689328128 139679047347376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1335876

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.11
CPU user time (s): 1799.6
CPU system time (s): 0.504923
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.504923
maximum resident set size= 1102528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275448
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= 411
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.75028 second user time and 6.77897 second system time

The end

Begin job on node127 at 2016-06-18 19:41:33
IDJOB=4106451
IDBENCH=48065
IDSOLVER=2542
FILE ID=node127/4106451-1466271693
RUNJOBID= node127-1466265123-26752
PBS_JOBID= 19918231
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=113-P1=127-P2=101-P3=419-P4=107-P5=271-P6=379-P7=167-P8=163-B.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106451-1466271693/watcher-4106451-1466271693 -o /tmp/evaluation-result-4106451-1466271693/solver-4106451-1466271693 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466265123-26752 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4106451-1466271693.opb

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

MD5SUM BENCH= e7b4c80573ea65996ed7438c7cd24465
RANDOM SEED=1591548363

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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:        29377812 kB
Buffers:           90312 kB
Cached:           260404 kB
SwapCached:          516 kB
Active:          1190532 kB
Inactive:         259392 kB
Active(anon):    1099420 kB
Inactive(anon):     2184 kB
Active(file):      91112 kB
Inactive(file):   257208 kB
Unevictable:     1305516 kB
Mlocked:         1191052 kB
SwapTotal:      67108856 kB
SwapFree:       67100260 kB
Dirty:             16532 kB
Writeback:             0 kB
AnonPages:       2408476 kB
Mapped:            10464 kB
Shmem:                 0 kB
Slab:             604412 kB
SReclaimable:      48416 kB
SUnreclaim:       555996 kB
KernelStack:        1520 kB
PageTables:         8736 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2548040 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1210368 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= 71708 MiB
End job on node127 at 2016-06-18 20:11:34