0.00/0.00	c 2016-06-18T08:29:30+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-4102673-1466231369.opb"]
0.00/0.01	c use --random-gen="1915929612 3729696762 972611656 1224455966 3555503572 2837207331 3468082784 1063925520 2467672657 75042583 2002512456 1982443626 133672649 1402482690 1973595300 1755864466 1788039537 3395606366 2834292458 166755358 2461393718 3710719956 2452600069 153552726 818442840 1487344153 154989494 768140850 792408538 3238672452 73833700 3865171346 3294540018 4085906483 2852421973 2637023419 3067413614 2200708303 3678058136 3074779972 4274486959 2595744498 3196070028 2362879067 2989032308 1474184256 3553732060 1356011311 4005593706 4189596807 3466033185 2847683544 157138185 3099649700 2549275127 1332887056 118469145 3174531592 1007649342 1335468845 979094729 1237143188 3776233016 1539936034 3809198086 930255616 3618118897 1619356240 795053107 1131424386 3627067826 2423663213 1206883904 861012647 3866791152 3967335815 2787974285 2069582525 3550193797 1921450259 2440588782 3662231984 1138371189 469698374 569244738 510598162 1685122256 1935948176 2093478463 2262099404 528373777 1261689254 648118798 3779431670 606773273 593805036 1384111738 3282414970 1437940759 4096886327 3549970687 1779821200 602609028 1614651716 3115028841 2520078304 4172214690 355986175 1096421013 2360295360 3688687002 2387732084 1575904804 1586943897 1378885063 248526352 2829688839 3198528316 957521425 3475159371 2971919437 4241067159 3589965815 2158571497 1564678053 3689467428 1490764667 327185240 92233383 1073549303 2250950498 3413082970 4024079370 2866435607 50739968 2996924905 4203410592 1776951806 1000406110 2904657364 2472050079 202588781 4017124464 2562005925 2035820417 3412970694 2911313381 1721427829 151692625 751049013 821557250 3561953901 2803880335 3935744270 4041387952 1399871176 1810884053 1110173047 1298088399 2820294763 1321040325 2122112515 3167209166 1915808560 1470319831 569263594 3851081336 50759114 2240143113 2858538608 797410413 76407374 3635859677 261650313 4035181405 692957201 3385477119 4234699221 1061032260 2856163915 4013106292 3631572791 1186728899 950540754 2342694758 377647890 3426061707 777185636 2682015025 3457600988 1487473957 256592950 1384705984 827428063 1204418299 1261693007 1886624054 1370081183 888951323 4032826949 3970052230 376112873 2477241074 1137042531 3031124310 875598100 3936370356 2276274150 1142879398 4040882114 2156876179 1391158806 2136978340 2708704712 1102506167 4093569376 906076693 1296956471 1189237158 4129680596 1289763401 2733926673 3869403078 462043846 2317967563 279944178 3951923920 1374249012 1408970532 3000683879 3077549129 3646699180 932981767 3521896189 2606269692 1549807540 4116350479 766971101 1262964842 3878259182 3328737617 1807247757 2588042796 639910783 937958917 951803967 2510567053 1763145395 3361694158 754001610 4115764475 3127764180 4045503407 1399763096 2097504239 880379268 255 362436" option to reproduce the execution
0.00/0.04	c #vars 1200
0.00/0.04	c #constraints 3150
0.00/0.08	c BCD2: Hardening is enabled.
0.00/0.08	c BCD2: BiasedSearch is enabled.
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |     1450      0 |        0 |        0
0.10/0.13	c  0.0s |       1 |      186 |      100 |     1450      0 |        0 |        0
0.19/0.21	c  0.1s |       2 |      410 |      250 |     1596      0 |        0 |        0
0.29/0.32	c  0.2s |       3 |      756 |      475 |     1756      0 |        0 |        0
0.49/0.50	c  0.4s |       4 |     1235 |      813 |     1932      0 |        0 |        0
0.69/0.79	c  0.7s |       5 |     1913 |     1320 |     2126      0 |        0 |        0
1.20/1.24	c  1.2s |       6 |     2924 |     2081 |     2573      0 |        0 |        0
1.69/1.74	c  1.7s |       7 |     4402 |     3223 |     2831      1 |        0 |        0
2.49/2.53	c  2.4s |       8 |     6576 |     4936 |     3115      2 |        0 |        0
3.69/3.78	c  3.7s |       9 |     9753 |     7506 |     3427      3 |        0 |        0
5.60/5.64	c  5.6s |      10 |    14748 |    11361 |     3770      5 |        0 |        0
7.59/7.65	c  7.6s |      10 |    20141 |    15561 |     3770      7 |        0 |        0
8.39/8.45	c  8.4s |      11 |    22126 |    17144 |     4147      8 |        0 |        0
10.39/10.47	c 10.4s |      11 |    26993 |    21044 |     4147     10 |        0 |        0
12.39/12.48	c 12.4s |      11 |    31815 |    24844 |     4147     12 |        0 |        0
12.99/13.00	c 12.9s |      12 |    32957 |    25819 |     4562     12 |        0 |        0
14.99/15.03	c 14.9s |      12 |    37664 |    29519 |     4562     14 |        0 |        0
16.99/17.06	c 17.0s |      12 |    42103 |    33119 |     4562     15 |        0 |        0
18.99/19.07	c 19.0s |      12 |    46563 |    36719 |     4562     17 |        0 |        0
20.19/20.26	c 20.2s |      13 |    49256 |    38832 |     5019     18 |        0 |        0
22.29/22.30	c 22.2s |      13 |    53925 |    42532 |     5019     19 |        0 |        0
24.29/24.35	c 24.3s |      13 |    58208 |    45932 |     5019     20 |        0 |        0
26.29/26.39	c 26.3s |      13 |    62619 |    49432 |     5019     22 |        0 |        0
28.38/28.44	c 28.4s |      13 |    66965 |    53032 |     5019     23 |        0 |        0
30.38/30.47	c 30.4s |      13 |    71497 |    56632 |     5019     24 |        0 |        0
31.38/31.43	c 31.3s |      14 |    73667 |    58352 |     5521     25 |        0 |        0
33.38/33.46	c 33.4s |      14 |    78005 |    61752 |     5521     26 |        0 |        0
35.48/35.52	c 35.4s |      14 |    82192 |    65152 |     5521     27 |        0 |        0
37.49/37.55	c 37.5s |      14 |    86306 |    68452 |     5521     29 |        0 |        0
39.48/39.60	c 39.5s |      14 |    90735 |    71952 |     5521     30 |        0 |        0
41.58/41.61	c 41.5s |      14 |    94918 |    75352 |     5521     31 |        0 |        0
43.58/43.61	c 43.5s |      14 |    99203 |    78752 |     5521     32 |        0 |        0
45.58/45.62	c 45.5s |      14 |   103448 |    82152 |     5521     33 |        0 |        0
47.58/47.64	c 47.6s |      14 |   107481 |    85452 |     5521     35 |        0 |        0
48.88/48.90	c 48.8s |      15 |   110183 |    87632 |     6074     35 |        0 |        0
50.88/50.92	c 50.8s |      15 |   114206 |    90932 |     6074     36 |        0 |        0
52.89/52.96	c 52.9s |      15 |   118245 |    94232 |     6074     37 |        0 |        0
54.88/54.98	c 54.9s |      15 |   122269 |    97532 |     6074     38 |        0 |        0
56.98/57.00	c 56.9s |      15 |   126269 |   100832 |     6074     39 |        0 |        0
58.98/59.05	c 59.0s |      15 |   130297 |   104132 |     6074     41 |        0 |        0
60.98/61.08	c 61.0s |      15 |   134492 |   107532 |     6074     42 |        0 |        0
62.98/63.09	c 63.0s |      15 |   138512 |   110832 |     6074     43 |        0 |        0
65.09/65.13	c 65.0s |      15 |   142760 |   114232 |     6074     44 |        0 |        0
67.09/67.14	c 67.1s |      15 |   146800 |   117532 |     6074     45 |        0 |        0
69.09/69.14	c 69.1s |      15 |   151029 |   120932 |     6074     46 |        0 |        0
71.19/71.20	c 71.1s |      15 |   155316 |   124432 |     6074     47 |        0 |        0
73.18/73.20	c 73.1s |      15 |   159350 |   127732 |     6074     48 |        0 |        0
75.18/75.22	c 75.1s |      15 |   163365 |   131032 |     6682     49 |        0 |        0
75.48/75.57	c 75.5s |      16 |   163983 |   131552 |     6682     49 |        0 |        0
77.58/77.62	c 77.5s |      16 |   167954 |   134752 |     6682     50 |        0 |        0
79.58/79.65	c 79.6s |      16 |   171857 |   137952 |     6682     51 |        0 |        0
81.58/81.68	c 81.6s |      16 |   175790 |   141152 |     6682     52 |        0 |        0
83.59/83.69	c 83.6s |      16 |   179600 |   144252 |     6682     53 |        0 |        0
85.68/85.70	c 85.6s |      16 |   183542 |   147452 |     6682     54 |        0 |        0
87.68/87.73	c 87.6s |      16 |   187626 |   150752 |     6682     55 |        0 |        0
89.78/89.80	c 89.7s |      16 |   191696 |   154052 |     6682     56 |        0 |        0
91.78/91.80	c 91.7s |      16 |   195571 |   157252 |     6682     57 |        0 |        0
93.78/93.81	c 93.7s |      16 |   199302 |   160352 |     6682     58 |        0 |        0
95.79/95.85	c 95.8s |      16 |   203500 |   163652 |     6682     59 |        0 |        0
97.89/97.91	c 97.8s |      16 |   207701 |   167052 |     6682     60 |        0 |        0
99.88/99.93	c 99.8s |      16 |   211497 |   170152 |     6682     61 |        0 |        0
101.88/101.94	c  101s |      16 |   215444 |   173352 |     6682     62 |        0 |        0
103.98/104.01	c  103s |      16 |   219412 |   176552 |     6682     63 |        0 |        0
105.98/106.04	c  105s |      16 |   223501 |   179852 |     6682     63 |        0 |        0
108.08/108.10	c  108s |      16 |   227518 |   183152 |     6682     64 |        0 |        0
110.08/110.13	c  110s |      16 |   231567 |   186452 |     6682     65 |        0 |        0
112.08/112.13	c  112s |      16 |   235631 |   189752 |     6682     66 |        0 |        0
114.07/114.15	c  114s |      16 |   239624 |   192952 |     6682     67 |        0 |        0
116.07/116.17	c  116s |      16 |   243783 |   196252 |     7351     68 |        0 |        0
116.87/116.98	c  116s |      17 |   245232 |   197432 |     7351     68 |        0 |        0
118.97/119.01	c  118s |      17 |   249495 |   200832 |     7351     69 |        0 |        0
120.98/121.06	c  120s |      17 |   253517 |   204032 |     7351     70 |        0 |        0
123.07/123.13	c  123s |      17 |   257421 |   207232 |     7351     71 |        0 |        0
125.07/125.16	c  125s |      17 |   261234 |   210332 |     7351     72 |        0 |        0
127.07/127.17	c  127s |      17 |   264988 |   213332 |     7351     73 |        0 |        0
129.07/129.18	c  129s |      17 |   268513 |   216232 |     7351     74 |        0 |        0
131.17/131.20	c  131s |      17 |   272514 |   219432 |     7351     74 |        0 |        0
133.18/133.24	c  133s |      17 |   276277 |   222532 |     7351     75 |        0 |        0
135.17/135.29	c  135s |      17 |   280038 |   225632 |     7351     76 |        0 |        0
137.27/137.31	c  137s |      17 |   283643 |   228632 |     7351     77 |        0 |        0
139.27/139.32	c  139s |      17 |   287461 |   231732 |     7351     78 |        0 |        0
141.27/141.33	c  141s |      17 |   291203 |   234832 |     7351     79 |        0 |        0
143.27/143.36	c  143s |      17 |   295214 |   238132 |     7351     79 |        0 |        0
145.28/145.40	c  145s |      17 |   299023 |   241232 |     7351     80 |        0 |        0
147.38/147.42	c  147s |      17 |   302905 |   244332 |     7351     81 |        0 |        0
149.37/149.45	c  149s |      17 |   306708 |   247432 |     7351     82 |        0 |        0
151.37/151.45	c  151s |      17 |   310422 |   250432 |     7351     83 |        0 |        0
153.37/153.48	c  153s |      17 |   314135 |   253432 |     7351     84 |        0 |        0
155.47/155.53	c  155s |      17 |   317965 |   256532 |     7351     84 |        0 |        0
157.47/157.57	c  157s |      17 |   321708 |   259632 |     7351     85 |        0 |        0
159.57/159.62	c  159s |      17 |   325423 |   262632 |     7351     86 |        0 |        0
161.57/161.64	c  161s |      17 |   329103 |   265632 |     7351     87 |        0 |        0
163.57/163.65	c  163s |      17 |   332696 |   268632 |     7351     88 |        0 |        0
165.66/165.72	c  165s |      17 |   336609 |   271832 |     7351     88 |        0 |        0
167.66/167.79	c  167s |      17 |   340559 |   275032 |     7351     89 |        0 |        0
169.76/169.80	c  169s |      17 |   344209 |   278032 |     7351     90 |        0 |        0
171.76/171.85	c  171s |      17 |   348246 |   281232 |     7351     91 |        0 |        0
173.87/173.91	c  173s |      17 |   352014 |   284332 |     7351     92 |        0 |        0
175.86/175.91	c  175s |      17 |   355711 |   287332 |     7351     93 |        0 |        0
177.86/177.96	c  177s |      17 |   359604 |   290532 |     7351     93 |        0 |        0
179.86/179.98	c  179s |      17 |   363484 |   293632 |     7351     94 |        0 |        0
181.66/181.79	c  181s |      18 |   366721 |   296252 |     8087     95 |        0 |        0
183.77/183.82	c  183s |      18 |   370520 |   299252 |     8087     96 |        0 |        0
185.76/185.86	c  185s |      18 |   374315 |   302352 |     8087     96 |        0 |        0
187.86/187.91	c  187s |      18 |   378116 |   305352 |     8087     97 |        0 |        0
189.86/189.96	c  189s |      18 |   381600 |   308152 |     8087     98 |        0 |        0
191.96/192.02	c  191s |      18 |   384982 |   310952 |     8087     98 |        0 |        0
193.96/194.02	c  193s |      18 |   388485 |   313852 |     8087     99 |        0 |        0
195.96/196.07	c  195s |      18 |   392102 |   316852 |     8087    100 |        0 |        0
197.97/198.09	c  198s |      18 |   395746 |   319752 |     8087    101 |        0 |        0
199.96/200.09	c  200s |      18 |   399371 |   322752 |     8087    101 |        0 |        0
202.06/202.14	c  202s |      18 |   403064 |   325752 |     8087    102 |        0 |        0
204.06/204.17	c  204s |      18 |   406649 |   328652 |     8087    103 |        0 |        0
206.16/206.22	c  206s |      18 |   410341 |   331652 |     8087    103 |        0 |        0
208.16/208.26	c  208s |      18 |   414120 |   334752 |     8087    104 |        0 |        0
210.26/210.33	c  210s |      18 |   417915 |   337852 |     8087    105 |        0 |        0
212.26/212.38	c  212s |      18 |   421511 |   340752 |     8087    106 |        0 |        0
214.36/214.43	c  214s |      18 |   425348 |   343852 |     8087    106 |        0 |        0
216.36/216.46	c  216s |      18 |   429079 |   346852 |     8087    107 |        0 |        0
218.45/218.50	c  218s |      18 |   432734 |   349852 |     8087    108 |        0 |        0
220.45/220.50	c  220s |      18 |   436355 |   352852 |     8087    109 |        0 |        0
222.45/222.53	c  222s |      18 |   440378 |   356052 |     8087    109 |        0 |        0
224.46/224.56	c  224s |      18 |   444364 |   359252 |     8087    110 |        0 |        0
226.45/226.58	c  226s |      18 |   448039 |   362252 |     8087    111 |        0 |        0
228.45/228.59	c  228s |      18 |   451646 |   365152 |     8087    112 |        0 |        0
230.55/230.63	c  230s |      18 |   455428 |   368252 |     8087    112 |        0 |        0
232.55/232.66	c  232s |      18 |   459227 |   371352 |     8087    113 |        0 |        0
234.66/234.71	c  234s |      18 |   462929 |   374352 |     8087    114 |        0 |        0
236.66/236.77	c  236s |      18 |   466283 |   377052 |     8087    115 |        0 |        0
238.67/238.79	c  238s |      18 |   470117 |   380152 |     8087    115 |        0 |        0
240.76/240.85	c  240s |      18 |   473883 |   383252 |     8087    116 |        0 |        0
242.76/242.89	c  242s |      18 |   477449 |   386152 |     8087    117 |        0 |        0
244.86/244.92	c  244s |      18 |   480921 |   389052 |     8087    117 |        0 |        0
246.86/246.94	c  246s |      18 |   484534 |   392052 |     8087    118 |        0 |        0
248.86/248.99	c  248s |      18 |   488125 |   395052 |     8087    119 |        0 |        0
250.86/251.00	c  250s |      18 |   491702 |   397952 |     8087    120 |        0 |        0
252.96/253.01	c  252s |      18 |   495353 |   400952 |     8087    120 |        0 |        0
254.96/255.07	c  254s |      18 |   499170 |   404052 |     8087    121 |        0 |        0
257.06/257.10	c  257s |      18 |   502692 |   406952 |     8087    122 |        0 |        0
259.06/259.11	c  259s |      18 |   506100 |   409752 |     8087    123 |        0 |        0
261.06/261.14	c  261s |      18 |   509912 |   412852 |     8087    123 |        0 |        0
263.06/263.18	c  263s |      18 |   513763 |   415952 |     8087    124 |        0 |        0
265.16/265.21	c  265s |      18 |   517341 |   418852 |     8087    125 |        0 |        0
267.16/267.28	c  267s |      18 |   520965 |   421852 |     8087    125 |        0 |        0
269.26/269.34	c  269s |      18 |   524692 |   424852 |     8087    126 |        0 |        0
271.25/271.37	c  271s |      18 |   528174 |   427652 |     8087    127 |        0 |        0
273.35/273.42	c  273s |      18 |   531796 |   430552 |     8087    128 |        0 |        0
275.35/275.48	c  275s |      18 |   535718 |   433752 |     8087    128 |        0 |        0
277.45/277.50	c  277s |      18 |   539577 |   436852 |     8087    129 |        0 |        0
279.46/279.51	c  279s |      18 |   543330 |   439852 |     8087    130 |        0 |        0
281.45/281.56	c  281s |      18 |   546902 |   442752 |     8896    130 |        0 |        0
282.66/282.77	c  282s |      19 |   549121 |   444482 |     8896    131 |        0 |        0
284.75/284.83	c  284s |      19 |   552517 |   447282 |     8896    131 |        0 |        0
286.75/286.86	c  286s |      19 |   556214 |   450282 |     8896    132 |        0 |        0
288.75/288.87	c  288s |      19 |   559618 |   453082 |     8896    133 |        0 |        0
290.75/290.88	c  290s |      19 |   563272 |   455982 |     8896    133 |        0 |        0
292.85/292.91	c  292s |      19 |   566881 |   458882 |     8896    134 |        0 |        0
294.86/294.94	c  294s |      19 |   570196 |   461482 |     8896    135 |        0 |        0
296.85/296.99	c  296s |      19 |   573832 |   464382 |     8896    135 |        0 |        0
298.95/299.01	c  298s |      19 |   577104 |   467082 |     8896    136 |        0 |        0
301.05/301.10	c  301s |      19 |   580533 |   469882 |     8896    136 |        0 |        0
303.05/303.13	c  303s |      19 |   584248 |   472782 |     8896    137 |        0 |        0
305.05/305.16	c  305s |      19 |   587918 |   475682 |     8896    138 |        0 |        0
307.15/307.21	c  307s |      19 |   591763 |   478782 |     8896    138 |        0 |        0
309.16/309.23	c  309s |      19 |   595209 |   481582 |     8896    139 |        0 |        0
311.15/311.26	c  311s |      19 |   598541 |   484282 |     8896    140 |        0 |        0
313.15/313.29	c  313s |      19 |   602074 |   487182 |     8896    140 |        0 |        0
315.25/315.34	c  315s |      19 |   605763 |   490182 |     8896    141 |        0 |        0
317.25/317.39	c  317s |      19 |   609420 |   493082 |     8896    142 |        0 |        0
319.35/319.40	c  319s |      19 |   613222 |   496082 |     8896    142 |        0 |        0
321.35/321.46	c  321s |      19 |   617042 |   499082 |     8896    143 |        0 |        0
323.45/323.54	c  323s |      19 |   620369 |   501782 |     8896    144 |        0 |        0
325.45/325.55	c  325s |      19 |   623961 |   504682 |     8896    144 |        0 |        0
327.55/327.60	c  327s |      19 |   627611 |   507582 |     8896    145 |        0 |        0
329.54/329.67	c  329s |      19 |   631262 |   510482 |     8896    145 |        0 |        0
331.64/331.75	c  331s |      19 |   634941 |   513482 |     8896    146 |        0 |        0
333.64/333.78	c  333s |      19 |   638303 |   516282 |     8896    147 |        0 |        0
335.74/335.85	c  335s |      19 |   641741 |   519082 |     8896    147 |        0 |        0
337.75/337.87	c  337s |      19 |   645280 |   521982 |     8896    148 |        0 |        0
339.74/339.87	c  339s |      19 |   648476 |   524582 |     8896    149 |        0 |        0
341.84/341.93	c  341s |      19 |   652206 |   527582 |     8896    149 |        0 |        0
343.84/343.97	c  343s |      19 |   655947 |   530482 |     8896    150 |        0 |        0
345.94/346.03	c  345s |      19 |   659244 |   533182 |     8896    150 |        0 |        0
347.94/348.09	c  348s |      19 |   662801 |   536082 |     8896    151 |        0 |        0
350.04/350.13	c  350s |      19 |   666388 |   538982 |     8896    152 |        0 |        0
352.05/352.17	c  352s |      19 |   669899 |   541782 |     8896    152 |        0 |        0
354.14/354.22	c  354s |      19 |   673889 |   544982 |     8896    153 |        0 |        0
356.14/356.23	c  356s |      19 |   677266 |   547682 |     8896    154 |        0 |        0
358.14/358.27	c  358s |      19 |   680643 |   550482 |     8896    154 |        0 |        0
360.24/360.33	c  360s |      19 |   684234 |   553382 |     8896    155 |        0 |        0
362.23/362.35	c  362s |      19 |   687227 |   555782 |     8896    156 |        0 |        0
364.24/364.36	c  364s |      19 |   690807 |   558682 |     8896    156 |        0 |        0
366.34/366.41	c  366s |      19 |   694348 |   561582 |     8896    157 |        0 |        0
368.33/368.47	c  368s |      19 |   697758 |   564382 |     8896    157 |        0 |        0
370.33/370.47	c  370s |      19 |   701140 |   567182 |     8896    158 |        0 |        0
372.33/372.49	c  372s |      19 |   704621 |   569982 |     8896    159 |        0 |        0
374.33/374.50	c  374s |      19 |   708217 |   572882 |     8896    159 |        0 |        0
376.43/376.50	c  376s |      19 |   711635 |   575682 |     8896    160 |        0 |        0
378.44/378.58	c  378s |      19 |   715038 |   578382 |     8896    161 |        0 |        0
380.43/380.59	c  380s |      19 |   718598 |   581282 |     8896    161 |        0 |        0
382.53/382.61	c  382s |      19 |   722044 |   584082 |     8896    162 |        0 |        0
384.53/384.65	c  384s |      19 |   725501 |   586882 |     8896    162 |        0 |        0
386.53/386.67	c  386s |      19 |   728861 |   589682 |     8896    163 |        0 |        0
388.63/388.72	c  388s |      19 |   732145 |   592382 |     8896    164 |        0 |        0
390.63/390.72	c  390s |      19 |   735553 |   595182 |     8896    164 |        0 |        0
392.64/392.75	c  392s |      19 |   739191 |   598082 |     8896    165 |        0 |        0
394.73/394.87	c  394s |      19 |   742510 |   600782 |     8896    166 |        0 |        0
396.83/396.94	c  396s |      19 |   746159 |   603782 |     8896    166 |        0 |        0
398.83/398.97	c  398s |      19 |   749641 |   606582 |     8896    167 |        0 |        0
400.83/400.97	c  400s |      19 |   753219 |   609382 |     8896    167 |        0 |        0
402.93/403.02	c  402s |      19 |   757084 |   612482 |     8896    168 |        0 |        0
404.93/405.03	c  404s |      19 |   760303 |   615082 |     8896    169 |        0 |        0
406.93/407.04	c  406s |      19 |   763889 |   617982 |     8896    169 |        0 |        0
409.03/409.10	c  409s |      19 |   767483 |   620882 |     8896    170 |        0 |        0
411.03/411.16	c  411s |      19 |   770743 |   623582 |     8896    171 |        0 |        0
413.13/413.20	c  413s |      19 |   774562 |   626682 |     8896    171 |        0 |        0
415.12/415.25	c  415s |      19 |   778297 |   629582 |     8896    172 |        0 |        0
417.12/417.27	c  417s |      19 |   781666 |   632282 |     8896    172 |        0 |        0
419.13/419.29	c  419s |      19 |   785306 |   635182 |     8896    173 |        0 |        0
421.23/421.32	c  421s |      19 |   788699 |   637882 |     8896    174 |        0 |        0
423.22/423.35	c  423s |      19 |   792391 |   640882 |     8896    174 |        0 |        0
425.22/425.39	c  425s |      19 |   795848 |   643682 |     8896    175 |        0 |        0
427.32/427.44	c  427s |      19 |   799353 |   646482 |     8896    176 |        0 |        0
429.32/429.48	c  429s |      19 |   802928 |   649282 |     8896    176 |        0 |        0
431.42/431.54	c  431s |      19 |   806529 |   652182 |     8896    177 |        0 |        0
433.52/433.60	c  433s |      19 |   809886 |   654882 |     8896    178 |        0 |        0
435.53/435.65	c  435s |      19 |   813835 |   657982 |     8896    178 |        0 |        0
437.52/437.70	c  437s |      19 |   817406 |   660782 |     8896    179 |        0 |        0
439.62/439.70	c  439s |      19 |   820762 |   663482 |     9786    179 |        0 |        0
441.62/441.75	c  441s |      19 |   824292 |   666282 |     9786    180 |        0 |        0
442.02/442.13	c  442s |      20 |   824975 |   666827 |     9786    180 |        0 |        0
444.02/444.17	c  444s |      20 |   828430 |   669627 |     9786    180 |        0 |        0
446.12/446.23	c  446s |      20 |   832082 |   672627 |     9786    181 |        0 |        0
448.12/448.23	c  448s |      20 |   835155 |   675127 |     9786    182 |        0 |        0
450.12/450.28	c  450s |      20 |   838858 |   678127 |     9786    182 |        0 |        0
452.22/452.31	c  452s |      20 |   842052 |   680727 |     9786    183 |        0 |        0
454.23/454.39	c  454s |      20 |   845686 |   683627 |     9786    183 |        0 |        0
456.33/456.41	c  456s |      20 |   849141 |   686427 |     9786    184 |        0 |        0
458.33/458.49	c  458s |      20 |   852678 |   689227 |     9786    184 |        0 |        0
460.43/460.51	c  460s |      20 |   856282 |   692127 |     9786    185 |        0 |        0
462.43/462.53	c  462s |      20 |   858992 |   694327 |     9786    185 |        0 |        0
464.43/464.55	c  464s |      20 |   862427 |   697127 |     9786    186 |        0 |        0
466.43/466.59	c  466s |      20 |   865436 |   699627 |     9786    187 |        0 |        0
468.53/468.66	c  468s |      20 |   869333 |   702727 |     9786    187 |        0 |        0
470.52/470.67	c  470s |      20 |   872536 |   705327 |     9786    188 |        0 |        0
472.62/472.72	c  472s |      20 |   876107 |   708127 |     9786    188 |        0 |        0
474.62/474.77	c  474s |      20 |   879815 |   711027 |     9786    189 |        0 |        0
476.62/476.79	c  476s |      20 |   883052 |   713627 |     9786    189 |        0 |        0
478.72/478.86	c  478s |      20 |   886488 |   716427 |     9786    190 |        0 |        0
480.73/480.88	c  480s |      20 |   889543 |   718927 |     9786    190 |        0 |        0
482.83/482.94	c  482s |      20 |   893138 |   721827 |     9786    191 |        0 |        0
484.82/484.94	c  484s |      20 |   896344 |   724427 |     9786    192 |        0 |        0
486.82/486.96	c  486s |      20 |   899793 |   727227 |     9786    192 |        0 |        0
488.92/489.05	c  488s |      20 |   903066 |   729827 |     9786    193 |        0 |        0
491.02/491.10	c  491s |      20 |   906580 |   732627 |     9786    193 |        0 |        0
493.02/493.15	c  493s |      20 |   909760 |   735227 |     9786    194 |        0 |        0
495.12/495.21	c  495s |      20 |   913084 |   737927 |     9786    194 |        0 |        0
497.13/497.25	c  497s |      20 |   916464 |   740727 |     9786    195 |        0 |        0
499.12/499.26	c  499s |      20 |   919827 |   743427 |     9786    195 |        0 |        0
501.12/501.28	c  501s |      20 |   923254 |   746227 |     9786    196 |        0 |        0
503.22/503.37	c  503s |      20 |   926286 |   748727 |     9786    196 |        0 |        0
505.32/505.41	c  505s |      20 |   929817 |   751627 |     9786    197 |        0 |        0
507.31/507.44	c  507s |      20 |   933188 |   754327 |     9786    198 |        0 |        0
509.32/509.47	c  509s |      20 |   936788 |   757227 |     9786    198 |        0 |        0
511.31/511.47	c  511s |      20 |   940198 |   760027 |     9786    199 |        0 |        0
513.41/513.53	c  513s |      20 |   943530 |   762727 |     9786    199 |        0 |        0
515.41/515.59	c  515s |      20 |   947179 |   765727 |     9786    200 |        0 |        0
517.51/517.61	c  517s |      20 |   950643 |   768527 |     9786    200 |        0 |        0
519.51/519.65	c  519s |      20 |   954173 |   771427 |     9786    201 |        0 |        0
521.61/521.71	c  521s |      20 |   957563 |   774127 |     9786    202 |        0 |        0
523.62/523.76	c  523s |      20 |   961010 |   776927 |     9786    202 |        0 |        0
525.61/525.76	c  525s |      20 |   964250 |   779527 |     9786    203 |        0 |        0
527.71/527.82	c  527s |      20 |   967936 |   782527 |     9786    203 |        0 |        0
529.71/529.88	c  529s |      20 |   971260 |   785227 |     9786    204 |        0 |        0
531.81/531.95	c  531s |      20 |   974840 |   788127 |     9786    204 |        0 |        0
533.80/533.97	c  533s |      20 |   978260 |   790927 |     9786    205 |        0 |        0
535.90/536.01	c  535s |      20 |   981707 |   793727 |     9786    206 |        0 |        0
537.91/538.04	c  537s |      20 |   985519 |   796827 |     9786    206 |        0 |        0
540.01/540.10	c  540s |      20 |   989010 |   799627 |     9786    207 |        0 |        0
542.00/542.18	c  542s |      20 |   992584 |   802527 |     9786    207 |        0 |        0
544.10/544.24	c  544s |      20 |   996084 |   805327 |     9786    208 |        0 |        0
546.10/546.28	c  546s |      20 |   999435 |   808027 |     9786    208 |        0 |        0
548.20/548.34	c  548s |      20 |  1003147 |   811027 |     9786    209 |        0 |        0
550.19/550.39	c  550s |      20 |  1006579 |   813727 |     9786    210 |        0 |        0
552.29/552.46	c  552s |      20 |  1010453 |   816827 |     9786    210 |        0 |        0
554.30/554.46	c  554s |      20 |  1014026 |   819627 |     9786    211 |        0 |        0
556.29/556.47	c  556s |      20 |  1017699 |   822527 |     9786    211 |        0 |        0
558.29/558.48	c  558s |      20 |  1021429 |   825427 |     9786    212 |        0 |        0
560.28/560.48	c  560s |      20 |  1024865 |   828127 |     9786    213 |        0 |        0
562.28/562.49	c  562s |      20 |  1028408 |   831027 |     9786    213 |        0 |        0
564.39/564.50	c  564s |      20 |  1031555 |   833627 |     9786    214 |        0 |        0
566.39/566.57	c  566s |      20 |  1035464 |   836727 |     9786    214 |        0 |        0
568.48/568.61	c  568s |      20 |  1039217 |   839727 |     9786    215 |        0 |        0
570.48/570.68	c  570s |      20 |  1042809 |   842627 |     9786    215 |        0 |        0
572.58/572.73	c  572s |      20 |  1046790 |   845727 |     9786    216 |        0 |        0
574.58/574.79	c  574s |      20 |  1050243 |   848527 |     9786    217 |        0 |        0
576.68/576.85	c  576s |      20 |  1053654 |   851327 |     9786    217 |        0 |        0
578.68/578.86	c  578s |      20 |  1056900 |   853927 |     9786    218 |        0 |        0
580.68/580.89	c  580s |      20 |  1060377 |   856727 |     9786    218 |        0 |        0
582.77/582.91	c  582s |      20 |  1064043 |   859727 |     9786    219 |        0 |        0
584.77/584.98	c  584s |      20 |  1067634 |   862527 |     9786    219 |        0 |        0
586.87/587.04	c  586s |      20 |  1071118 |   865327 |     9786    220 |        0 |        0
588.87/589.07	c  588s |      20 |  1074301 |   867827 |     9786    221 |        0 |        0
590.87/591.08	c  590s |      20 |  1077810 |   870627 |     9786    221 |        0 |        0
592.87/593.09	c  593s |      20 |  1081223 |   873327 |     9786    222 |        0 |        0
594.97/595.14	c  595s |      20 |  1084775 |   876127 |     9786    222 |        0 |        0
597.07/597.20	c  597s |      20 |  1088486 |   879027 |     9786    223 |        0 |        0
599.07/599.24	c  599s |      20 |  1091897 |   881727 |     9786    223 |        0 |        0
601.06/601.26	c  601s |      20 |  1095436 |   884527 |     9786    224 |        0 |        0
603.16/603.33	c  603s |      20 |  1098935 |   887327 |     9786    225 |        0 |        0
605.16/605.35	c  605s |      20 |  1102657 |   890327 |     9786    225 |        0 |        0
607.17/607.39	c  607s |      20 |  1106212 |   893227 |     9786    226 |        0 |        0
609.27/609.43	c  609s |      20 |  1109920 |   896227 |     9786    226 |        0 |        0
611.26/611.49	c  611s |      20 |  1113514 |   899127 |     9786    227 |        0 |        0
613.36/613.50	c  613s |      20 |  1116835 |   901827 |     9786    227 |        0 |        0
615.36/615.55	c  615s |      20 |  1120539 |   904827 |     9786    228 |        0 |        0
617.36/617.58	c  617s |      20 |  1123630 |   907327 |     9786    229 |        0 |        0
619.46/619.61	c  619s |      20 |  1127120 |   910127 |     9786    229 |        0 |        0
621.46/621.63	c  621s |      20 |  1130372 |   912727 |     9786    230 |        0 |        0
623.45/623.67	c  623s |      20 |  1133824 |   915527 |     9786    230 |        0 |        0
625.55/625.72	c  625s |      20 |  1137112 |   918227 |     9786    231 |        0 |        0
627.55/627.75	c  627s |      20 |  1140472 |   921027 |     9786    231 |        0 |        0
629.65/629.81	c  629s |      20 |  1144275 |   924027 |     9786    232 |        0 |        0
631.65/631.84	c  631s |      20 |  1147763 |   926827 |     9786    232 |        0 |        0
633.75/633.91	c  633s |      20 |  1151499 |   929827 |     9786    233 |        0 |        0
635.75/635.91	c  635s |      20 |  1154700 |   932427 |     9786    234 |        0 |        0
637.75/637.97	c  637s |      20 |  1158170 |   935227 |     9786    234 |        0 |        0
639.84/640.01	c  639s |      20 |  1161550 |   937927 |     9786    235 |        0 |        0
641.84/642.09	c  642s |      20 |  1165340 |   940927 |     9786    235 |        0 |        0
643.94/644.10	c  644s |      20 |  1168933 |   943827 |     9786    236 |        0 |        0
645.94/646.16	c  646s |      20 |  1172379 |   946527 |     9786    236 |        0 |        0
648.04/648.21	c  648s |      20 |  1176026 |   949527 |     9786    237 |        0 |        0
650.05/650.22	c  650s |      20 |  1179332 |   952127 |     9786    238 |        0 |        0
652.04/652.26	c  652s |      20 |  1183194 |   955227 |     9786    238 |        0 |        0
654.14/654.32	c  654s |      20 |  1186803 |   958127 |     9786    239 |        0 |        0
656.14/656.37	c  656s |      20 |  1190548 |   961127 |     9786    239 |        0 |        0
658.24/658.42	c  658s |      20 |  1194252 |   964127 |     9786    240 |        0 |        0
660.24/660.48	c  660s |      20 |  1197848 |   966927 |     9786    241 |        0 |        0
662.24/662.48	c  662s |      20 |  1201662 |   969927 |     9786    241 |        0 |        0
664.35/664.51	c  664s |      20 |  1205118 |   972727 |     9786    242 |        0 |        0
666.34/666.55	c  666s |      20 |  1208537 |   975527 |     9786    242 |        0 |        0
668.34/668.57	c  668s |      20 |  1211990 |   978327 |     9786    243 |        0 |        0
670.33/670.59	c  670s |      20 |  1215403 |   981027 |     9786    243 |        0 |        0
672.43/672.64	c  672s |      20 |  1219068 |   983927 |     9786    244 |        0 |        0
674.43/674.65	c  674s |      20 |  1222323 |   986527 |     9786    245 |        0 |        0
676.53/676.72	c  676s |      20 |  1226176 |   989627 |     9786    245 |        0 |        0
678.54/678.76	c  678s |      20 |  1229584 |   992427 |     9786    246 |        0 |        0
680.63/680.82	c  680s |      20 |  1233487 |   995527 |    10765    246 |        0 |        0
682.63/682.83	c  682s |      20 |  1236824 |   998227 |    10765    247 |        0 |        0
684.13/684.36	c  684s |      21 |  1239477 |  1000345 |    10765    247 |        0 |        0
686.13/686.37	c  686s |      21 |  1242190 |  1002545 |    10765    248 |        0 |        0
688.23/688.41	c  688s |      21 |  1245689 |  1005345 |    10765    248 |        0 |        0
690.22/690.46	c  690s |      21 |  1248984 |  1007945 |    10765    248 |        0 |        0
692.32/692.51	c  692s |      21 |  1252515 |  1010845 |    10765    249 |        0 |        0
694.32/694.53	c  694s |      21 |  1255583 |  1013345 |    10765    249 |        0 |        0
696.42/696.60	c  696s |      21 |  1259208 |  1016245 |    10765    250 |        0 |        0
698.43/698.60	c  698s |      21 |  1262441 |  1018845 |    10765    251 |        0 |        0
700.42/700.67	c  700s |      21 |  1266146 |  1021845 |    10765    251 |        0 |        0
702.52/702.72	c  702s |      21 |  1269297 |  1024345 |    10765    252 |        0 |        0
704.51/704.72	c  704s |      21 |  1272820 |  1027245 |    10765    252 |        0 |        0
706.52/706.74	c  706s |      21 |  1275907 |  1029845 |    10765    253 |        0 |        0
708.51/708.77	c  708s |      21 |  1279398 |  1032745 |    10765    253 |        0 |        0
710.61/710.81	c  710s |      21 |  1282743 |  1035445 |    10765    254 |        0 |        0
712.62/712.81	c  712s |      21 |  1286354 |  1038345 |    10765    254 |        0 |        0
714.61/714.85	c  714s |      21 |  1289356 |  1040845 |    10765    255 |        0 |        0
716.61/716.88	c  716s |      21 |  1292758 |  1043645 |    10765    255 |        0 |        0
718.71/718.91	c  718s |      21 |  1295943 |  1046245 |    10765    256 |        0 |        0
720.71/720.98	c  720s |      21 |  1299902 |  1049445 |    10765    256 |        0 |        0
722.71/722.98	c  722s |      21 |  1303428 |  1052245 |    10765    257 |        0 |        0
724.71/724.99	c  724s |      21 |  1306864 |  1055045 |    10765    257 |        0 |        0
726.71/726.99	c  726s |      21 |  1310021 |  1057645 |    10765    258 |        0 |        0
728.81/729.06	c  728s |      21 |  1313539 |  1060545 |    10765    258 |        0 |        0
730.80/731.07	c  730s |      21 |  1316813 |  1063245 |    10765    259 |        0 |        0
732.80/733.09	c  733s |      21 |  1320195 |  1066045 |    10765    259 |        0 |        0
734.90/735.16	c  735s |      21 |  1323676 |  1068845 |    10765    260 |        0 |        0
737.00/737.21	c  737s |      21 |  1327119 |  1071645 |    10765    260 |        0 |        0
739.01/739.25	c  739s |      21 |  1330385 |  1074345 |    10765    261 |        0 |        0
741.00/741.26	c  741s |      21 |  1333705 |  1077145 |    10765    261 |        0 |        0
743.10/743.32	c  743s |      21 |  1337103 |  1079945 |    10765    262 |        0 |        0
745.10/745.34	c  745s |      21 |  1340336 |  1082645 |    10765    262 |        0 |        0
747.10/747.39	c  747s |      21 |  1343494 |  1085245 |    10765    263 |        0 |        0
749.20/749.43	c  749s |      21 |  1346894 |  1088045 |    10765    263 |        0 |        0
751.20/751.45	c  751s |      21 |  1350337 |  1090845 |    10765    264 |        0 |        0
753.19/753.49	c  753s |      21 |  1353828 |  1093645 |    10765    264 |        0 |        0
755.29/755.54	c  755s |      21 |  1357306 |  1096445 |    10765    265 |        0 |        0
757.29/757.57	c  757s |      21 |  1360662 |  1099145 |    10765    265 |        0 |        0
759.29/759.58	c  759s |      21 |  1363580 |  1101545 |    10765    266 |        0 |        0
761.29/761.59	c  761s |      21 |  1367142 |  1104345 |    10765    266 |        0 |        0
763.39/763.65	c  763s |      21 |  1370479 |  1107045 |    10765    267 |        0 |        0
765.49/765.72	c  765s |      21 |  1373785 |  1109745 |    10765    267 |        0 |        0
767.48/767.73	c  767s |      21 |  1376850 |  1112245 |    10765    268 |        0 |        0
769.48/769.77	c  769s |      21 |  1380327 |  1115045 |    10765    268 |        0 |        0
771.48/771.78	c  771s |      21 |  1383440 |  1117545 |    10765    269 |        0 |        0
773.58/773.84	c  773s |      21 |  1386983 |  1120445 |    10765    269 |        0 |        0
775.58/775.86	c  775s |      21 |  1390313 |  1123145 |    10765    270 |        0 |        0
777.59/777.87	c  777s |      21 |  1393749 |  1125945 |    10765    270 |        0 |        0
779.68/779.93	c  779s |      21 |  1397095 |  1128645 |    10765    271 |        0 |        0
781.77/782.01	c  781s |      21 |  1400496 |  1131445 |    10765    271 |        0 |        0
783.77/784.09	c  784s |      21 |  1403730 |  1134145 |    10765    272 |        0 |        0
785.77/786.09	c  786s |      21 |  1407417 |  1137145 |    10765    272 |        0 |        0
787.87/788.15	c  788s |      21 |  1411016 |  1140045 |    10765    273 |        0 |        0
789.87/790.19	c  790s |      21 |  1414702 |  1142945 |    10765    273 |        0 |        0
791.97/792.25	c  792s |      21 |  1418201 |  1145745 |    10765    274 |        0 |        0
793.97/794.26	c  794s |      21 |  1421389 |  1148345 |    10765    274 |        0 |        0
795.97/796.27	c  796s |      21 |  1424716 |  1151045 |    10765    275 |        0 |        0
798.06/798.31	c  798s |      21 |  1428253 |  1153845 |    10765    275 |        0 |        0
800.06/800.34	c  800s |      21 |  1431751 |  1156645 |    10765    276 |        0 |        0
802.06/802.36	c  802s |      21 |  1435138 |  1159445 |    10765    276 |        0 |        0
804.16/804.42	c  804s |      21 |  1438734 |  1162345 |    10765    277 |        0 |        0
806.17/806.49	c  806s |      21 |  1441956 |  1164945 |    10765    277 |        0 |        0
808.27/808.53	c  808s |      21 |  1445228 |  1167645 |    10765    278 |        0 |        0
810.35/810.61	c  810s |      21 |  1448478 |  1170345 |    10765    278 |        0 |        0
812.35/812.67	c  812s |      21 |  1452138 |  1173245 |    10765    279 |        0 |        0
814.35/814.69	c  814s |      21 |  1455286 |  1175845 |    10765    279 |        0 |        0
816.45/816.73	c  816s |      21 |  1458838 |  1178745 |    10765    280 |        0 |        0
818.45/818.77	c  818s |      21 |  1462131 |  1181445 |    10765    280 |        0 |        0
820.56/820.82	c  820s |      21 |  1465699 |  1184345 |    10765    281 |        0 |        0
822.56/822.82	c  822s |      21 |  1468761 |  1186845 |    10765    281 |        0 |        0
824.56/824.87	c  824s |      21 |  1472334 |  1189745 |    10765    282 |        0 |        0
826.66/826.93	c  826s |      21 |  1475791 |  1192545 |    10765    282 |        0 |        0
828.66/828.96	c  828s |      21 |  1479538 |  1195545 |    10765    283 |        0 |        0
830.65/830.97	c  830s |      21 |  1482597 |  1198045 |    10765    283 |        0 |        0
832.65/832.98	c  832s |      21 |  1485937 |  1200845 |    10765    284 |        0 |        0
834.76/835.03	c  834s |      21 |  1489277 |  1203545 |    10765    284 |        0 |        0
836.75/837.06	c  836s |      21 |  1492947 |  1206545 |    10765    285 |        0 |        0
838.75/839.09	c  839s |      21 |  1496444 |  1209345 |    10765    286 |        0 |        0
840.85/841.12	c  841s |      21 |  1500232 |  1212445 |    10765    286 |        0 |        0
842.85/843.15	c  843s |      21 |  1503486 |  1215145 |    10765    287 |        0 |        0
844.85/845.16	c  845s |      21 |  1507409 |  1218245 |    10765    287 |        0 |        0
846.85/847.19	c  847s |      21 |  1510732 |  1220945 |    10765    288 |        0 |        0
848.95/849.25	c  849s |      21 |  1514432 |  1223945 |    10765    288 |        0 |        0
851.04/851.31	c  851s |      21 |  1518017 |  1226845 |    10765    289 |        0 |        0
853.04/853.32	c  853s |      21 |  1521279 |  1229545 |    10765    289 |        0 |        0
855.04/855.37	c  855s |      21 |  1524552 |  1232245 |    10765    290 |        0 |        0
857.04/857.40	c  857s |      21 |  1527786 |  1234845 |    10765    290 |        0 |        0
859.14/859.40	c  859s |      21 |  1531306 |  1237645 |    10765    291 |        0 |        0
861.14/861.41	c  861s |      21 |  1534873 |  1240545 |    10765    291 |        0 |        0
863.13/863.42	c  863s |      21 |  1538213 |  1243245 |    10765    292 |        0 |        0
865.13/865.46	c  865s |      21 |  1541603 |  1246045 |    10765    292 |        0 |        0
867.13/867.49	c  867s |      21 |  1545326 |  1249045 |    10765    293 |        0 |        0
869.23/869.51	c  869s |      21 |  1548701 |  1251745 |    10765    293 |        0 |        0
871.23/871.57	c  871s |      21 |  1552103 |  1254545 |    10765    294 |        0 |        0
873.33/873.62	c  873s |      21 |  1555548 |  1257345 |    10765    294 |        0 |        0
875.33/875.68	c  875s |      21 |  1559096 |  1260245 |    10765    295 |        0 |        0
877.33/877.69	c  877s |      21 |  1562265 |  1262845 |    10765    295 |        0 |        0
879.43/879.70	c  879s |      21 |  1565612 |  1265545 |    10765    296 |        0 |        0
881.42/881.75	c  881s |      21 |  1569225 |  1268445 |    10765    296 |        0 |        0
883.52/883.81	c  883s |      21 |  1573052 |  1271545 |    10765    297 |        0 |        0
885.52/885.89	c  885s |      21 |  1576374 |  1274245 |    10765    297 |        0 |        0
887.62/887.92	c  887s |      21 |  1579792 |  1277045 |    10765    298 |        0 |        0
889.73/890.00	c  889s |      21 |  1582975 |  1279645 |    10765    298 |        0 |        0
891.72/892.06	c  891s |      21 |  1586754 |  1282745 |    10765    299 |        0 |        0
893.82/894.10	c  894s |      21 |  1589840 |  1285245 |    10765    300 |        0 |        0
895.81/896.13	c  896s |      21 |  1593598 |  1288245 |    10765    300 |        0 |        0
897.81/898.18	c  898s |      21 |  1596827 |  1290845 |    10765    301 |        0 |        0
899.91/900.24	c  900s |      21 |  1600533 |  1293845 |    10765    301 |        0 |        0
901.91/902.26	c  902s |      21 |  1603764 |  1296445 |    10765    302 |        0 |        0
903.91/904.26	c  904s |      21 |  1607426 |  1299345 |    10765    302 |        0 |        0
905.91/906.29	c  906s |      21 |  1610600 |  1301945 |    10765    303 |        0 |        0
908.01/908.31	c  908s |      21 |  1614324 |  1304945 |    10765    303 |        0 |        0
910.00/910.33	c  910s |      21 |  1617808 |  1307745 |    10765    304 |        0 |        0
912.00/912.38	c  912s |      21 |  1621474 |  1310745 |    10765    304 |        0 |        0
914.10/914.44	c  914s |      21 |  1624904 |  1313545 |    10765    305 |        0 |        0
916.11/916.49	c  916s |      21 |  1628498 |  1316445 |    10765    305 |        0 |        0
918.21/918.50	c  918s |      21 |  1631962 |  1319245 |    10765    306 |        0 |        0
920.19/920.55	c  920s |      21 |  1635115 |  1321845 |    10765    306 |        0 |        0
922.19/922.56	c  922s |      21 |  1638790 |  1324845 |    10765    307 |        0 |        0
924.29/924.61	c  924s |      21 |  1642375 |  1327745 |    10765    307 |        0 |        0
926.29/926.63	c  926s |      21 |  1645635 |  1330445 |    10765    308 |        0 |        0
928.29/928.66	c  928s |      21 |  1648978 |  1333145 |    10765    308 |        0 |        0
930.29/930.66	c  930s |      21 |  1652694 |  1336045 |    10765    309 |        0 |        0
932.39/932.74	c  932s |      21 |  1656091 |  1338845 |    10765    309 |        0 |        0
934.39/934.79	c  934s |      21 |  1659815 |  1341845 |    10765    310 |        0 |        0
936.49/936.87	c  936s |      21 |  1663184 |  1344645 |    10765    310 |        0 |        0
938.59/938.92	c  938s |      21 |  1666777 |  1347545 |    10765    311 |        0 |        0
940.59/940.99	c  940s |      21 |  1670190 |  1350345 |    10765    312 |        0 |        0
942.69/943.02	c  942s |      21 |  1674033 |  1353445 |    10765    312 |        0 |        0
944.70/945.03	c  944s |      21 |  1677243 |  1356045 |    10765    313 |        0 |        0
946.69/947.08	c  946s |      21 |  1680845 |  1359045 |    10765    313 |        0 |        0
948.79/949.12	c  949s |      21 |  1684203 |  1361745 |    10765    314 |        0 |        0
950.79/951.18	c  951s |      21 |  1687712 |  1364645 |    10765    314 |        0 |        0
952.89/953.22	c  953s |      21 |  1691015 |  1367345 |    10765    315 |        0 |        0
954.88/955.25	c  955s |      21 |  1694803 |  1370445 |    10765    315 |        0 |        0
956.88/957.26	c  957s |      21 |  1698258 |  1373245 |    10765    316 |        0 |        0
958.99/959.31	c  959s |      21 |  1701772 |  1376145 |    10765    316 |        0 |        0
960.98/961.31	c  961s |      21 |  1705168 |  1378845 |    10765    317 |        0 |        0
962.98/963.34	c  963s |      21 |  1708380 |  1381545 |    10765    317 |        0 |        0
964.98/965.35	c  965s |      21 |  1711692 |  1384245 |    10765    318 |        0 |        0
967.08/967.40	c  967s |      21 |  1715419 |  1387245 |    10765    318 |        0 |        0
969.08/969.44	c  969s |      21 |  1718982 |  1390145 |    10765    319 |        0 |        0
971.08/971.44	c  971s |      21 |  1722259 |  1392845 |    10765    319 |        0 |        0
973.08/973.45	c  973s |      21 |  1725869 |  1395745 |    10765    320 |        0 |        0
975.18/975.53	c  975s |      21 |  1729575 |  1398745 |    10765    320 |        0 |        0
977.18/977.54	c  977s |      21 |  1733084 |  1401645 |    10765    321 |        0 |        0
979.18/979.55	c  979s |      21 |  1736294 |  1404245 |    10765    321 |        0 |        0
981.17/981.56	c  981s |      21 |  1739817 |  1407045 |    10765    322 |        0 |        0
983.18/983.59	c  983s |      21 |  1743225 |  1409845 |    10765    322 |        0 |        0
985.28/985.61	c  985s |      21 |  1746843 |  1412745 |    10765    323 |        0 |        0
987.27/987.63	c  987s |      21 |  1749884 |  1415245 |    10765    323 |        0 |        0
989.27/989.69	c  989s |      21 |  1753520 |  1418245 |    10765    324 |        0 |        0
991.37/991.72	c  991s |      21 |  1756961 |  1421045 |    10765    325 |        0 |        0
993.37/993.78	c  993s |      21 |  1760713 |  1424145 |    10765    325 |        0 |        0
995.46/995.85	c  995s |      21 |  1764355 |  1427045 |    10765    326 |        0 |        0
997.57/997.90	c  997s |      21 |  1768085 |  1429945 |    10765    326 |        0 |        0
999.57/999.90	c  999s |      21 |  1771236 |  1432445 |    10765    327 |        0 |        0
1001.56/1001.97	c 1001s |      21 |  1775025 |  1435445 |    10765    327 |        0 |        0
1003.66/1004.01	c 1003s |      21 |  1778370 |  1438145 |    10765    328 |        0 |        0
1005.66/1006.04	c 1005s |      21 |  1781764 |  1440945 |    10765    328 |        0 |        0
1007.66/1008.08	c 1008s |      21 |  1784983 |  1443545 |    10765    329 |        0 |        0
1009.76/1010.10	c 1010s |      21 |  1788513 |  1446445 |    10765    329 |        0 |        0
1011.76/1012.11	c 1012s |      21 |  1791661 |  1449045 |    10765    330 |        0 |        0
1013.75/1014.13	c 1014s |      21 |  1795305 |  1451945 |    10765    330 |        0 |        0
1015.75/1016.13	c 1016s |      21 |  1798655 |  1454645 |    10765    331 |        0 |        0
1017.75/1018.19	c 1018s |      21 |  1802377 |  1457645 |    10765    331 |        0 |        0
1019.85/1020.21	c 1020s |      21 |  1805761 |  1460445 |    10765    332 |        0 |        0
1021.85/1022.23	c 1022s |      21 |  1809393 |  1463345 |    10765    332 |        0 |        0
1023.86/1024.27	c 1024s |      21 |  1813100 |  1466345 |    10765    333 |        0 |        0
1025.85/1026.28	c 1026s |      21 |  1816441 |  1469045 |    10765    333 |        0 |        0
1027.95/1028.30	c 1028s |      21 |  1820005 |  1471945 |    10765    334 |        0 |        0
1029.94/1030.31	c 1030s |      21 |  1823222 |  1474545 |    10765    334 |        0 |        0
1031.94/1032.33	c 1032s |      21 |  1827023 |  1477545 |    10765    335 |        0 |        0
1033.94/1034.35	c 1034s |      21 |  1830405 |  1480245 |    10765    335 |        0 |        0
1035.95/1036.38	c 1036s |      21 |  1833948 |  1483145 |    10765    336 |        0 |        0
1037.94/1038.38	c 1038s |      21 |  1837264 |  1485845 |    10765    336 |        0 |        0
1040.03/1040.42	c 1040s |      21 |  1840928 |  1488745 |    10765    337 |        0 |        0
1042.03/1042.47	c 1042s |      21 |  1844106 |  1491345 |    11842    337 |        0 |        0
1044.03/1044.47	c 1044s |      21 |  1846876 |  1493645 |    11842    338 |        0 |        0
1046.13/1046.50	c 1046s |      21 |  1850246 |  1496345 |    11842    338 |        0 |        0
1048.13/1048.54	c 1048s |      21 |  1853166 |  1498745 |    11842    339 |        0 |        0
1049.33/1049.79	c 1049s |      22 |  1855469 |  1500622 |    11842    339 |        0 |        0
1051.43/1051.83	c 1051s |      22 |  1859269 |  1503622 |    11842    339 |        0 |        0
1053.43/1053.83	c 1053s |      22 |  1862909 |  1506522 |    11842    340 |        0 |        0
1055.43/1055.86	c 1055s |      22 |  1866388 |  1509322 |    11842    340 |        0 |        0
1057.53/1057.90	c 1057s |      22 |  1869741 |  1512022 |    11842    341 |        0 |        0
1059.52/1059.91	c 1059s |      22 |  1873395 |  1515022 |    11842    341 |        0 |        0
1061.52/1061.96	c 1061s |      22 |  1876935 |  1517822 |    11842    342 |        0 |        0
1063.62/1064.01	c 1063s |      22 |  1880382 |  1520622 |    11842    342 |        0 |        0
1065.63/1066.07	c 1065s |      22 |  1883741 |  1523322 |    11842    343 |        0 |        0
1067.73/1068.14	c 1068s |      22 |  1887543 |  1526422 |    11842    343 |        0 |        0
1069.72/1070.18	c 1070s |      22 |  1890783 |  1529022 |    11842    344 |        0 |        0
1071.82/1072.25	c 1072s |      22 |  1894529 |  1532122 |    11842    344 |        0 |        0
1073.81/1074.27	c 1074s |      22 |  1897818 |  1534722 |    11842    345 |        0 |        0
1075.92/1076.30	c 1076s |      22 |  1901624 |  1537722 |    11842    345 |        0 |        0
1077.92/1078.30	c 1078s |      22 |  1904719 |  1540222 |    11842    345 |        0 |        0
1079.92/1080.37	c 1080s |      22 |  1908263 |  1543122 |    11842    346 |        0 |        0
1082.02/1082.43	c 1082s |      22 |  1911484 |  1545722 |    11842    346 |        0 |        0
1084.01/1084.47	c 1084s |      22 |  1914938 |  1548522 |    11842    347 |        0 |        0
1086.11/1086.52	c 1086s |      22 |  1918239 |  1551222 |    11842    347 |        0 |        0
1088.11/1088.56	c 1088s |      22 |  1921330 |  1553722 |    11842    348 |        0 |        0
1090.10/1090.56	c 1090s |      22 |  1924854 |  1556622 |    11842    348 |        0 |        0
1092.20/1092.62	c 1092s |      22 |  1927858 |  1559022 |    11842    349 |        0 |        0
1094.21/1094.66	c 1094s |      22 |  1931349 |  1561822 |    11842    349 |        0 |        0
1096.31/1096.74	c 1096s |      22 |  1934481 |  1564322 |    11842    349 |        0 |        0
1098.30/1098.79	c 1098s |      22 |  1938128 |  1567222 |    11842    350 |        0 |        0
1100.40/1100.87	c 1100s |      22 |  1941120 |  1569622 |    11842    350 |        0 |        0
1102.40/1102.87	c 1102s |      22 |  1944681 |  1572422 |    11842    351 |        0 |        0
1104.40/1104.89	c 1104s |      22 |  1948202 |  1575222 |    11842    351 |        0 |        0
1106.50/1106.94	c 1106s |      22 |  1951687 |  1578022 |    11842    352 |        0 |        0
1108.60/1109.00	c 1108s |      22 |  1955143 |  1580722 |    11842    352 |        0 |        0
1110.60/1111.04	c 1110s |      22 |  1958219 |  1583222 |    11842    353 |        0 |        0
1112.70/1113.12	c 1113s |      22 |  1961688 |  1586122 |    11842    353 |        0 |        0
1114.70/1115.17	c 1115s |      22 |  1964558 |  1588522 |    11842    354 |        0 |        0
1116.80/1117.21	c 1117s |      22 |  1968023 |  1591322 |    11842    354 |        0 |        0
1118.80/1119.24	c 1119s |      22 |  1971071 |  1593822 |    11842    354 |        0 |        0
1120.79/1121.30	c 1121s |      22 |  1974553 |  1596622 |    11842    355 |        0 |        0
1122.89/1123.31	c 1123s |      22 |  1977802 |  1599222 |    11842    355 |        0 |        0
1124.90/1125.37	c 1125s |      22 |  1981109 |  1601922 |    11842    356 |        0 |        0
1126.99/1127.46	c 1127s |      22 |  1984552 |  1604722 |    11842    356 |        0 |        0
1128.99/1129.48	c 1129s |      22 |  1987573 |  1607122 |    11842    357 |        0 |        0
1130.99/1131.48	c 1131s |      22 |  1990932 |  1609922 |    11842    357 |        0 |        0
1133.09/1133.51	c 1133s |      22 |  1993920 |  1612322 |    11842    358 |        0 |        0
1135.08/1135.55	c 1135s |      22 |  1997676 |  1615322 |    11842    358 |        0 |        0
1137.09/1137.57	c 1137s |      22 |  2000626 |  1617722 |    11842    358 |        0 |        0
1139.19/1139.64	c 1139s |      22 |  2004113 |  1620522 |    11842    359 |        0 |        0
1141.28/1141.73	c 1141s |      22 |  2007647 |  1623322 |    11842    359 |        0 |        0
1143.28/1143.79	c 1143s |      22 |  2011078 |  1626122 |    11842    360 |        0 |        0
1145.38/1145.84	c 1145s |      22 |  2014391 |  1628822 |    11842    360 |        0 |        0
1147.38/1147.88	c 1147s |      22 |  2017588 |  1631422 |    11842    361 |        0 |        0
1149.38/1149.89	c 1149s |      22 |  2021091 |  1634222 |    11842    361 |        0 |        0
1151.38/1151.90	c 1151s |      22 |  2024020 |  1636622 |    11842    362 |        0 |        0
1153.48/1153.91	c 1153s |      22 |  2027317 |  1639322 |    11842    362 |        0 |        0
1155.47/1155.98	c 1155s |      22 |  2030397 |  1641822 |    11842    362 |        0 |        0
1157.57/1158.00	c 1157s |      22 |  2033796 |  1644622 |    11842    363 |        0 |        0
1159.57/1160.04	c 1159s |      22 |  2037130 |  1647222 |    11842    363 |        0 |        0
1161.57/1162.07	c 1161s |      22 |  2040206 |  1649722 |    11842    364 |        0 |        0
1163.67/1164.15	c 1164s |      22 |  2043543 |  1652422 |    11842    364 |        0 |        0
1165.77/1166.21	c 1166s |      22 |  2046800 |  1655122 |    11842    365 |        0 |        0
1167.78/1168.26	c 1168s |      22 |  2050201 |  1657922 |    11842    365 |        0 |        0
1169.77/1170.29	c 1170s |      22 |  2053176 |  1660322 |    11842    366 |        0 |        0
1171.86/1172.33	c 1172s |      22 |  2056614 |  1663122 |    11842    366 |        0 |        0
1173.86/1174.38	c 1174s |      22 |  2059831 |  1665722 |    11842    366 |        0 |        0
1175.96/1176.40	c 1176s |      22 |  2063245 |  1668522 |    11842    367 |        0 |        0
1177.96/1178.45	c 1178s |      22 |  2066324 |  1671122 |    11842    367 |        0 |        0
1179.97/1180.46	c 1180s |      22 |  2069712 |  1673822 |    11842    368 |        0 |        0
1181.96/1182.46	c 1182s |      22 |  2072722 |  1676322 |    11842    368 |        0 |        0
1184.06/1184.51	c 1184s |      22 |  2076008 |  1679022 |    11842    369 |        0 |        0
1186.06/1186.58	c 1186s |      22 |  2079494 |  1681822 |    11842    369 |        0 |        0
1188.16/1188.60	c 1188s |      22 |  2082694 |  1684422 |    11842    370 |        0 |        0
1190.16/1190.63	c 1190s |      22 |  2086268 |  1687322 |    11842    370 |        0 |        0
1192.26/1192.72	c 1192s |      22 |  2089438 |  1689822 |    11842    371 |        0 |        0
1194.27/1194.75	c 1194s |      22 |  2093002 |  1692722 |    11842    371 |        0 |        0
1196.26/1196.77	c 1196s |      22 |  2095939 |  1695122 |    11842    371 |        0 |        0
1198.26/1198.80	c 1198s |      22 |  2099404 |  1697922 |    11842    372 |        0 |        0
1200.36/1200.83	c 1200s |      22 |  2102569 |  1700522 |    11842    372 |        0 |        0
1202.36/1202.86	c 1202s |      22 |  2105829 |  1703122 |    11842    373 |        0 |        0
1204.36/1204.89	c 1204s |      22 |  2109312 |  1705922 |    11842    373 |        0 |        0
1206.46/1206.91	c 1206s |      22 |  2112475 |  1708422 |    11842    374 |        0 |        0
1208.47/1208.96	c 1208s |      22 |  2116024 |  1711322 |    11842    374 |        0 |        0
1210.56/1211.01	c 1210s |      22 |  2119210 |  1713822 |    11842    375 |        0 |        0
1212.56/1213.03	c 1212s |      22 |  2122877 |  1716822 |    11842    375 |        0 |        0
1214.66/1215.10	c 1215s |      22 |  2126109 |  1719422 |    11842    375 |        0 |        0
1216.66/1217.15	c 1217s |      22 |  2129832 |  1722322 |    11842    376 |        0 |        0
1218.66/1219.16	c 1219s |      22 |  2133264 |  1725122 |    11842    376 |        0 |        0
1220.66/1221.17	c 1221s |      22 |  2136792 |  1728022 |    11842    377 |        0 |        0
1222.66/1223.20	c 1223s |      22 |  2140183 |  1730822 |    11842    377 |        0 |        0
1224.76/1225.22	c 1225s |      22 |  2143691 |  1733722 |    11842    378 |        0 |        0
1226.86/1227.31	c 1227s |      22 |  2147047 |  1736422 |    11842    378 |        0 |        0
1228.86/1229.35	c 1229s |      22 |  2150215 |  1739022 |    11842    379 |        0 |        0
1230.95/1231.42	c 1231s |      22 |  2153610 |  1741722 |    11842    379 |        0 |        0
1232.95/1233.44	c 1233s |      22 |  2156710 |  1744222 |    11842    380 |        0 |        0
1234.96/1235.47	c 1235s |      22 |  2160182 |  1747022 |    11842    380 |        0 |        0
1237.06/1237.53	c 1237s |      22 |  2163222 |  1749622 |    11842    381 |        0 |        0
1239.05/1239.59	c 1239s |      22 |  2166901 |  1752622 |    11842    381 |        0 |        0
1241.05/1241.59	c 1241s |      22 |  2170182 |  1755222 |    11842    381 |        0 |        0
1243.15/1243.66	c 1243s |      22 |  2173596 |  1758022 |    11842    382 |        0 |        0
1245.25/1245.72	c 1245s |      22 |  2176731 |  1760622 |    11842    382 |        0 |        0
1247.25/1247.77	c 1247s |      22 |  2180087 |  1763322 |    11842    383 |        0 |        0
1249.35/1249.83	c 1249s |      22 |  2183517 |  1766022 |    11842    383 |        0 |        0
1251.36/1251.88	c 1251s |      22 |  2187009 |  1768822 |    11842    384 |        0 |        0
1253.35/1253.88	c 1253s |      22 |  2190596 |  1771722 |    11842    384 |        0 |        0
1255.35/1255.88	c 1255s |      22 |  2193744 |  1774322 |    11842    385 |        0 |        0
1257.45/1257.96	c 1257s |      22 |  2197194 |  1777122 |    11842    385 |        0 |        0
1259.55/1260.00	c 1259s |      22 |  2200483 |  1779722 |    11842    386 |        0 |        0
1261.55/1262.03	c 1261s |      22 |  2204114 |  1782622 |    11842    386 |        0 |        0
1263.55/1264.08	c 1263s |      22 |  2207227 |  1785122 |    11842    386 |        0 |        0
1265.55/1266.10	c 1266s |      22 |  2210608 |  1787922 |    11842    387 |        0 |        0
1267.65/1268.17	c 1268s |      22 |  2213821 |  1790522 |    11842    387 |        0 |        0
1269.75/1270.23	c 1270s |      22 |  2217263 |  1793322 |    11842    388 |        0 |        0
1271.75/1272.29	c 1272s |      22 |  2220597 |  1796022 |    11842    388 |        0 |        0
1273.85/1274.37	c 1274s |      22 |  2223778 |  1798622 |    11842    389 |        0 |        0
1275.95/1276.42	c 1276s |      22 |  2227623 |  1801722 |    11842    389 |        0 |        0
1277.94/1278.47	c 1278s |      22 |  2231110 |  1804522 |    11842    390 |        0 |        0
1280.05/1280.55	c 1280s |      22 |  2234511 |  1807322 |    11842    390 |        0 |        0
1282.15/1282.63	c 1282s |      22 |  2237431 |  1809722 |    11842    391 |        0 |        0
1284.14/1284.64	c 1284s |      22 |  2241015 |  1812622 |    11842    391 |        0 |        0
1286.14/1286.66	c 1286s |      22 |  2244327 |  1815222 |    11842    391 |        0 |        0
1288.24/1288.70	c 1288s |      22 |  2247721 |  1817922 |    11842    392 |        0 |        0
1290.24/1290.70	c 1290s |      22 |  2250889 |  1820522 |    11842    392 |        0 |        0
1292.24/1292.73	c 1292s |      22 |  2254336 |  1823322 |    11842    393 |        0 |        0
1294.25/1294.80	c 1294s |      22 |  2258095 |  1826322 |    11842    393 |        0 |        0
1296.34/1296.81	c 1296s |      22 |  2261832 |  1829322 |    11842    394 |        0 |        0
1298.34/1298.83	c 1298s |      22 |  2265169 |  1832022 |    11842    394 |        0 |        0
1300.34/1300.86	c 1300s |      22 |  2268621 |  1834722 |    11842    395 |        0 |        0
1302.44/1302.93	c 1302s |      22 |  2271987 |  1837422 |    11842    395 |        0 |        0
1304.44/1304.95	c 1304s |      22 |  2275337 |  1840022 |    11842    396 |        0 |        0
1306.45/1306.95	c 1306s |      22 |  2278918 |  1842922 |    11842    396 |        0 |        0
1308.55/1309.01	c 1308s |      22 |  2282216 |  1845622 |    11842    397 |        0 |        0
1310.54/1311.07	c 1310s |      22 |  2286066 |  1848722 |    11842    397 |        0 |        0
1312.64/1313.12	c 1313s |      22 |  2289233 |  1851322 |    11842    398 |        0 |        0
1314.64/1315.16	c 1315s |      22 |  2292821 |  1854222 |    11842    398 |        0 |        0
1316.74/1317.21	c 1317s |      22 |  2295992 |  1856722 |    11842    398 |        0 |        0
1318.74/1319.25	c 1319s |      22 |  2299461 |  1859522 |    11842    399 |        0 |        0
1320.84/1321.31	c 1321s |      22 |  2302699 |  1862122 |    11842    399 |        0 |        0
1322.84/1323.31	c 1323s |      22 |  2306084 |  1864922 |    11842    400 |        0 |        0
1324.84/1325.37	c 1325s |      22 |  2309658 |  1867822 |    11842    400 |        0 |        0
1326.84/1327.38	c 1327s |      22 |  2313022 |  1870522 |    11842    401 |        0 |        0
1328.94/1329.45	c 1329s |      22 |  2316360 |  1873222 |    11842    401 |        0 |        0
1330.93/1331.45	c 1331s |      22 |  2319168 |  1875522 |    11842    402 |        0 |        0
1332.93/1333.47	c 1333s |      22 |  2322718 |  1878422 |    11842    402 |        0 |        0
1335.04/1335.51	c 1335s |      22 |  2325754 |  1880922 |    11842    402 |        0 |        0
1337.03/1337.55	c 1337s |      22 |  2329214 |  1883722 |    11842    403 |        0 |        0
1339.03/1339.57	c 1339s |      22 |  2332080 |  1886122 |    11842    403 |        0 |        0
1341.13/1341.63	c 1341s |      22 |  2335348 |  1888722 |    11842    404 |        0 |        0
1343.13/1343.66	c 1343s |      22 |  2338763 |  1891522 |    11842    404 |        0 |        0
1345.13/1345.68	c 1345s |      22 |  2341940 |  1894122 |    11842    405 |        0 |        0
1347.24/1347.71	c 1347s |      22 |  2345187 |  1896822 |    11842    405 |        0 |        0
1349.25/1349.75	c 1349s |      22 |  2348134 |  1899222 |    11842    406 |        0 |        0
1351.24/1351.75	c 1351s |      22 |  2351683 |  1902122 |    11842    406 |        0 |        0
1353.34/1353.81	c 1353s |      22 |  2354607 |  1904522 |    11842    406 |        0 |        0
1355.34/1355.84	c 1355s |      22 |  2358031 |  1907322 |    11842    407 |        0 |        0
1357.34/1357.89	c 1357s |      22 |  2361321 |  1909922 |    11842    407 |        0 |        0
1359.44/1359.95	c 1359s |      22 |  2364961 |  1912822 |    11842    408 |        0 |        0
1361.54/1362.00	c 1361s |      22 |  2368558 |  1915722 |    11842    408 |        0 |        0
1363.54/1364.03	c 1363s |      22 |  2371755 |  1918322 |    11842    409 |        0 |        0
1365.54/1366.06	c 1365s |      22 |  2375099 |  1921022 |    11842    409 |        0 |        0
1367.64/1368.12	c 1368s |      22 |  2378107 |  1923522 |    11842    410 |        0 |        0
1369.64/1370.17	c 1370s |      22 |  2381516 |  1926222 |    11842    410 |        0 |        0
1371.64/1372.19	c 1372s |      22 |  2384890 |  1928922 |    11842    411 |        0 |        0
1373.74/1374.20	c 1374s |      22 |  2388608 |  1931922 |    11842    411 |        0 |        0
1375.74/1376.23	c 1376s |      22 |  2391640 |  1934422 |    11842    411 |        0 |        0
1377.73/1378.27	c 1378s |      22 |  2395033 |  1937122 |    11842    412 |        0 |        0
1379.83/1380.33	c 1380s |      22 |  2398240 |  1939722 |    11842    412 |        0 |        0
1381.83/1382.35	c 1382s |      22 |  2401592 |  1942422 |    11842    413 |        0 |        0
1383.83/1384.39	c 1384s |      22 |  2405022 |  1945222 |    11842    413 |        0 |        0
1385.93/1386.44	c 1386s |      22 |  2408160 |  1947822 |    11842    414 |        0 |        0
1387.93/1388.49	c 1388s |      22 |  2411712 |  1950722 |    11842    414 |        0 |        0
1390.04/1390.53	c 1390s |      22 |  2414951 |  1953322 |    11842    415 |        0 |        0
1392.03/1392.54	c 1392s |      22 |  2418643 |  1956322 |    11842    415 |        0 |        0
1394.03/1394.55	c 1394s |      22 |  2421533 |  1958722 |    11842    416 |        0 |        0
1396.03/1396.56	c 1396s |      22 |  2425104 |  1961622 |    11842    416 |        0 |        0
1398.03/1398.59	c 1398s |      22 |  2428343 |  1964222 |    11842    416 |        0 |        0
1400.13/1400.65	c 1400s |      22 |  2431676 |  1966922 |    11842    417 |        0 |        0
1402.23/1402.74	c 1402s |      22 |  2434850 |  1969522 |    11842    417 |        0 |        0
1404.24/1404.75	c 1404s |      22 |  2437929 |  1971922 |    11842    418 |        0 |        0
1406.23/1406.80	c 1406s |      22 |  2441124 |  1974522 |    11842    418 |        0 |        0
1408.33/1408.80	c 1408s |      22 |  2444321 |  1977122 |    11842    419 |        0 |        0
1410.33/1410.82	c 1410s |      22 |  2448121 |  1980122 |    11842    419 |        0 |        0
1412.33/1412.83	c 1412s |      22 |  2451103 |  1982522 |    11842    419 |        0 |        0
1414.33/1414.87	c 1414s |      22 |  2454719 |  1985422 |    11842    420 |        0 |        0
1416.44/1416.94	c 1416s |      22 |  2457776 |  1987922 |    11842    420 |        0 |        0
1418.54/1419.01	c 1418s |      22 |  2461184 |  1990722 |    11842    421 |        0 |        0
1420.53/1421.09	c 1421s |      22 |  2464483 |  1993422 |    11842    421 |        0 |        0
1422.63/1423.13	c 1423s |      22 |  2467827 |  1996122 |    11842    422 |        0 |        0
1424.63/1425.19	c 1425s |      22 |  2471049 |  1998722 |    11842    422 |        0 |        0
1426.73/1427.23	c 1427s |      22 |  2474261 |  2001222 |    11842    423 |        0 |        0
1428.73/1429.27	c 1429s |      22 |  2477692 |  2004022 |    11842    423 |        0 |        0
1430.92/1431.41	c 1431s |      22 |  2480727 |  2006522 |    11842    424 |        0 |        0
1432.93/1433.41	c 1433s |      22 |  2484078 |  2009222 |    11842    424 |        0 |        0
1434.92/1435.44	c 1435s |      22 |  2487149 |  2011722 |    11842    424 |        0 |        0
1437.02/1437.50	c 1437s |      22 |  2490601 |  2014522 |    11842    425 |        0 |        0
1439.02/1439.55	c 1439s |      22 |  2493821 |  2017122 |    11842    425 |        0 |        0
1441.02/1441.55	c 1441s |      22 |  2497168 |  2019822 |    11842    426 |        0 |        0
1443.12/1443.62	c 1443s |      22 |  2501182 |  2022922 |    11842    426 |        0 |        0
1445.12/1445.65	c 1445s |      22 |  2504653 |  2025722 |    11842    427 |        0 |        0
1447.13/1447.66	c 1447s |      22 |  2508071 |  2028522 |    11842    427 |        0 |        0
1449.12/1449.69	c 1449s |      22 |  2511164 |  2031022 |    11842    428 |        0 |        0
1451.22/1451.70	c 1451s |      22 |  2514503 |  2033722 |    11842    428 |        0 |        0
1453.22/1453.75	c 1453s |      22 |  2517723 |  2036322 |    11842    428 |        0 |        0
1455.22/1455.77	c 1455s |      22 |  2521403 |  2039322 |    11842    429 |        0 |        0
1457.22/1457.79	c 1457s |      22 |  2524367 |  2041722 |    11842    429 |        0 |        0
1459.33/1459.83	c 1459s |      22 |  2527768 |  2044422 |    11842    430 |        0 |        0
1461.32/1461.83	c 1461s |      22 |  2531169 |  2047122 |    11842    430 |        0 |        0
1463.32/1463.85	c 1463s |      22 |  2534558 |  2049922 |    11842    431 |        0 |        0
1465.32/1465.88	c 1465s |      22 |  2537985 |  2052722 |    11842    431 |        0 |        0
1467.42/1467.94	c 1467s |      22 |  2541401 |  2055422 |    11842    432 |        0 |        0
1469.52/1470.01	c 1469s |      22 |  2545143 |  2058422 |    11842    432 |        0 |        0
1471.51/1472.03	c 1471s |      22 |  2548107 |  2060822 |    11842    433 |        0 |        0
1473.52/1474.03	c 1473s |      22 |  2551580 |  2063622 |    11842    433 |        0 |        0
1475.61/1476.12	c 1476s |      22 |  2554576 |  2066122 |    11842    433 |        0 |        0
1477.61/1478.15	c 1478s |      22 |  2557871 |  2068822 |    11842    434 |        0 |        0
1479.61/1480.17	c 1480s |      22 |  2560901 |  2071322 |    11842    434 |        0 |        0
1481.61/1482.19	c 1482s |      22 |  2564179 |  2074022 |    11842    435 |        0 |        0
1483.71/1484.22	c 1484s |      22 |  2567441 |  2076622 |    11842    435 |        0 |        0
1485.72/1486.26	c 1486s |      22 |  2570633 |  2079222 |    11842    436 |        0 |        0
1487.82/1488.30	c 1488s |      22 |  2574313 |  2082222 |    11842    436 |        0 |        0
1489.81/1490.31	c 1490s |      22 |  2577586 |  2084922 |    11842    437 |        0 |        0
1491.81/1492.33	c 1492s |      22 |  2580730 |  2087522 |    11842    437 |        0 |        0
1493.81/1494.38	c 1494s |      22 |  2583966 |  2090122 |    11842    437 |        0 |        0
1495.91/1496.44	c 1496s |      22 |  2587727 |  2093122 |    11842    438 |        0 |        0
1497.91/1498.45	c 1498s |      22 |  2590995 |  2095622 |    11842    438 |        0 |        0
1499.92/1500.47	c 1500s |      22 |  2594327 |  2098322 |    11842    439 |        0 |        0
1502.01/1502.54	c 1502s |      22 |  2597528 |  2100922 |    11842    439 |        0 |        0
1504.11/1504.60	c 1504s |      22 |  2600575 |  2103422 |    11842    440 |        0 |        0
1506.11/1506.63	c 1506s |      22 |  2604038 |  2106222 |    11842    440 |        0 |        0
1508.11/1508.65	c 1508s |      22 |  2607179 |  2108722 |    11842    441 |        0 |        0
1510.21/1510.71	c 1510s |      22 |  2610654 |  2111522 |    11842    441 |        0 |        0
1512.21/1512.77	c 1512s |      22 |  2613538 |  2113922 |    11842    441 |        0 |        0
1514.31/1514.82	c 1514s |      22 |  2617152 |  2116822 |    11842    442 |        0 |        0
1516.31/1516.89	c 1516s |      22 |  2620594 |  2119522 |    11842    442 |        0 |        0
1518.31/1518.89	c 1518s |      22 |  2623851 |  2122122 |    11842    443 |        0 |        0
1520.40/1520.98	c 1520s |      22 |  2627169 |  2124822 |    11842    443 |        0 |        0
1522.40/1522.98	c 1522s |      22 |  2630398 |  2127422 |    11842    444 |        0 |        0
1524.50/1525.02	c 1524s |      22 |  2633737 |  2130122 |    11842    444 |        0 |        0
1526.50/1527.03	c 1526s |      22 |  2636823 |  2132622 |    11842    445 |        0 |        0
1528.51/1529.03	c 1528s |      22 |  2640588 |  2135622 |    11842    445 |        0 |        0
1530.50/1531.07	c 1530s |      22 |  2643985 |  2138322 |    11842    446 |        0 |        0
1532.50/1533.08	c 1532s |      22 |  2647609 |  2141222 |    11842    446 |        0 |        0
1534.50/1535.08	c 1534s |      22 |  2650526 |  2143622 |    11842    446 |        0 |        0
1536.60/1537.11	c 1537s |      22 |  2654059 |  2146522 |    11842    447 |        0 |        0
1538.60/1539.11	c 1539s |      22 |  2657222 |  2149022 |    11842    447 |        0 |        0
1540.61/1541.14	c 1541s |      22 |  2660619 |  2151722 |    11842    448 |        0 |        0
1542.71/1543.21	c 1543s |      22 |  2664296 |  2154622 |    11842    448 |        0 |        0
1544.71/1545.25	c 1545s |      22 |  2667740 |  2157322 |    11842    449 |        0 |        0
1546.81/1547.31	c 1547s |      22 |  2671237 |  2160122 |    11842    449 |        0 |        0
1548.81/1549.35	c 1549s |      22 |  2674116 |  2162522 |    11842    450 |        0 |        0
1550.91/1551.42	c 1551s |      22 |  2677567 |  2165322 |    11842    450 |        0 |        0
1552.91/1553.44	c 1553s |      22 |  2680581 |  2167722 |    11842    450 |        0 |        0
1554.92/1555.46	c 1555s |      22 |  2683932 |  2170422 |    11842    451 |        0 |        0
1556.91/1557.49	c 1557s |      22 |  2687200 |  2173022 |    11842    451 |        0 |        0
1559.01/1559.53	c 1559s |      22 |  2690438 |  2175622 |    11842    452 |        0 |        0
1561.01/1561.54	c 1561s |      22 |  2693902 |  2178422 |    11842    452 |        0 |        0
1563.01/1563.57	c 1563s |      22 |  2697105 |  2181022 |    11842    453 |        0 |        0
1565.11/1565.61	c 1565s |      22 |  2700420 |  2183722 |    11842    453 |        0 |        0
1567.11/1567.63	c 1567s |      22 |  2703549 |  2186222 |    11842    454 |        0 |        0
1569.21/1569.70	c 1569s |      22 |  2707110 |  2189122 |    11842    454 |        0 |        0
1571.21/1571.73	c 1571s |      22 |  2710034 |  2191522 |    11842    454 |        0 |        0
1573.21/1573.79	c 1573s |      22 |  2713364 |  2194222 |    11842    455 |        0 |        0
1575.31/1575.88	c 1575s |      22 |  2716540 |  2196822 |    11842    455 |        0 |        0
1577.31/1577.90	c 1577s |      22 |  2719634 |  2199322 |    11842    456 |        0 |        0
1579.40/1579.90	c 1579s |      22 |  2722847 |  2201922 |    11842    456 |        0 |        0
1581.41/1581.91	c 1581s |      22 |  2725909 |  2204422 |    11842    457 |        0 |        0
1583.40/1583.96	c 1583s |      22 |  2729540 |  2207322 |    11842    457 |        0 |        0
1585.50/1586.02	c 1585s |      22 |  2732704 |  2209822 |    11842    458 |        0 |        0
1587.50/1588.06	c 1587s |      22 |  2736318 |  2212722 |    11842    458 |        0 |        0
1589.60/1590.15	c 1590s |      22 |  2739570 |  2215322 |    11842    458 |        0 |        0
1591.60/1592.16	c 1592s |      22 |  2742986 |  2218022 |    11842    459 |        0 |        0
1593.70/1594.20	c 1594s |      22 |  2746229 |  2220622 |    11842    459 |        0 |        0
1595.71/1596.27	c 1596s |      22 |  2749541 |  2223322 |    11842    460 |        0 |        0
1597.81/1598.30	c 1598s |      22 |  2752854 |  2225922 |    11842    460 |        0 |        0
1599.80/1600.36	c 1600s |      22 |  2755932 |  2228422 |    11842    461 |        0 |        0
1601.80/1602.40	c 1602s |      22 |  2759584 |  2231322 |    11842    461 |        0 |        0
1604.00/1604.52	c 1604s |      22 |  2762537 |  2233722 |    11842    462 |        0 |        0
1606.00/1606.57	c 1606s |      22 |  2766146 |  2236522 |    13027    462 |        0 |        0
1608.00/1608.58	c 1608s |      22 |  2769092 |  2238922 |    13027    462 |        0 |        0
1610.10/1610.60	c 1610s |      22 |  2771847 |  2241122 |    13027    463 |        0 |        0
1612.11/1612.67	c 1612s |      22 |  2775322 |  2243922 |    13027    463 |        0 |        0
1614.20/1614.72	c 1614s |      22 |  2778325 |  2246322 |    13027    463 |        0 |        0
1616.20/1616.76	c 1616s |      22 |  2781166 |  2248622 |    13027    464 |        0 |        0
1618.10/1618.67	c 1618s |      23 |  2784187 |  2251038 |    13027    464 |        0 |        0
1620.20/1620.72	c 1620s |      23 |  2787277 |  2253438 |    13027    464 |        0 |        0
1622.20/1622.77	c 1622s |      23 |  2790645 |  2256138 |    13027    465 |        0 |        0
1624.20/1624.78	c 1624s |      23 |  2793875 |  2258738 |    13027    465 |        0 |        0
1626.30/1626.81	c 1626s |      23 |  2796852 |  2261138 |    13027    466 |        0 |        0
1628.30/1628.81	c 1628s |      23 |  2800172 |  2263838 |    13027    466 |        0 |        0
1630.30/1630.87	c 1630s |      23 |  2802972 |  2266138 |    13027    466 |        0 |        0
1632.30/1632.88	c 1632s |      23 |  2805910 |  2268538 |    13027    467 |        0 |        0
1634.40/1634.95	c 1634s |      23 |  2809343 |  2271238 |    13027    467 |        0 |        0
1636.40/1636.98	c 1636s |      23 |  2812233 |  2273538 |    13027    467 |        0 |        0
1638.50/1639.04	c 1638s |      23 |  2815686 |  2276238 |    13027    468 |        0 |        0
1640.49/1641.05	c 1640s |      23 |  2818783 |  2278738 |    13027    468 |        0 |        0
1642.49/1643.06	c 1642s |      23 |  2821778 |  2281138 |    13027    469 |        0 |        0
1644.59/1645.15	c 1645s |      23 |  2825334 |  2284038 |    13027    469 |        0 |        0
1646.59/1647.18	c 1647s |      23 |  2828293 |  2286438 |    13027    469 |        0 |        0
1648.69/1649.24	c 1649s |      23 |  2831625 |  2289138 |    13027    470 |        0 |        0
1650.70/1651.27	c 1651s |      23 |  2834702 |  2291638 |    13027    470 |        0 |        0
1652.69/1653.28	c 1653s |      23 |  2837646 |  2294038 |    13027    471 |        0 |        0
1654.79/1655.34	c 1655s |      23 |  2840889 |  2296638 |    13027    471 |        0 |        0
1656.79/1657.37	c 1657s |      23 |  2843748 |  2298938 |    13027    471 |        0 |        0
1658.89/1659.42	c 1659s |      23 |  2847111 |  2301538 |    13027    472 |        0 |        0
1660.89/1661.42	c 1661s |      23 |  2850352 |  2304138 |    13027    472 |        0 |        0
1662.89/1663.47	c 1663s |      23 |  2853093 |  2306338 |    13027    472 |        0 |        0
1664.90/1665.48	c 1665s |      23 |  2856347 |  2308938 |    13027    473 |        0 |        0
1666.99/1667.57	c 1667s |      23 |  2859360 |  2311338 |    13027    473 |        0 |        0
1669.09/1669.60	c 1669s |      23 |  2862193 |  2313638 |    13027    474 |        0 |        0
1671.09/1671.66	c 1671s |      23 |  2865698 |  2316438 |    13027    474 |        0 |        0
1673.19/1673.74	c 1673s |      23 |  2868735 |  2318938 |    13027    474 |        0 |        0
1675.19/1675.78	c 1675s |      23 |  2872086 |  2321538 |    13027    475 |        0 |        0
1677.29/1677.81	c 1677s |      23 |  2874952 |  2323838 |    13027    475 |        0 |        0
1679.29/1679.83	c 1679s |      23 |  2877556 |  2325938 |    13027    475 |        0 |        0
1681.29/1681.85	c 1681s |      23 |  2880630 |  2328438 |    13027    476 |        0 |        0
1683.29/1683.88	c 1683s |      23 |  2883733 |  2330938 |    13027    476 |        0 |        0
1685.39/1685.91	c 1685s |      23 |  2886644 |  2333238 |    13027    477 |        0 |        0
1687.39/1687.95	c 1687s |      23 |  2890165 |  2336038 |    13027    477 |        0 |        0
1689.39/1689.99	c 1689s |      23 |  2893096 |  2338338 |    13027    477 |        0 |        0
1691.49/1692.02	c 1691s |      23 |  2896127 |  2340738 |    13027    478 |        0 |        0
1693.49/1694.05	c 1693s |      23 |  2899221 |  2343238 |    13027    478 |        0 |        0
1695.59/1696.11	c 1696s |      23 |  2902002 |  2345538 |    13027    478 |        0 |        0
1697.58/1698.12	c 1698s |      23 |  2905109 |  2348038 |    13027    479 |        0 |        0
1699.58/1700.15	c 1700s |      23 |  2908236 |  2350538 |    13027    479 |        0 |        0
1701.58/1702.16	c 1702s |      23 |  2911073 |  2352738 |    13027    480 |        0 |        0
1703.68/1704.24	c 1704s |      23 |  2914680 |  2355638 |    13027    480 |        0 |        0
1705.78/1706.33	c 1706s |      23 |  2917452 |  2357938 |    13027    480 |        0 |        0
1707.79/1708.37	c 1708s |      23 |  2920480 |  2360338 |    13027    481 |        0 |        0
1709.78/1710.38	c 1710s |      23 |  2923540 |  2362838 |    13027    481 |        0 |        0
1711.88/1712.42	c 1712s |      23 |  2926379 |  2365138 |    13027    481 |        0 |        0
1713.88/1714.46	c 1714s |      23 |  2929555 |  2367638 |    13027    482 |        0 |        0
1715.98/1716.53	c 1716s |      23 |  2932598 |  2370138 |    13027    482 |        0 |        0
1717.98/1718.53	c 1718s |      23 |  2935315 |  2372338 |    13027    483 |        0 |        0
1719.99/1720.56	c 1720s |      23 |  2938555 |  2374938 |    13027    483 |        0 |        0
1721.98/1722.56	c 1722s |      23 |  2941369 |  2377238 |    13027    483 |        0 |        0
1723.98/1724.58	c 1724s |      23 |  2943818 |  2379238 |    13027    484 |        0 |        0
1726.08/1726.62	c 1726s |      23 |  2947259 |  2381938 |    13027    484 |        0 |        0
1728.18/1728.70	c 1728s |      23 |  2950288 |  2384338 |    13027    484 |        0 |        0
1730.18/1730.76	c 1730s |      23 |  2953421 |  2386838 |    13027    485 |        0 |        0
1732.28/1732.82	c 1732s |      23 |  2956633 |  2389438 |    13027    485 |        0 |        0
1734.28/1734.86	c 1734s |      23 |  2959465 |  2391738 |    13027    485 |        0 |        0
1736.28/1736.88	c 1736s |      23 |  2962744 |  2394338 |    13027    486 |        0 |        0
1738.28/1738.89	c 1738s |      23 |  2965880 |  2396838 |    13027    486 |        0 |        0
1740.38/1740.90	c 1740s |      23 |  2968647 |  2399038 |    13027    487 |        0 |        0
1742.38/1742.93	c 1742s |      23 |  2971925 |  2401738 |    13027    487 |        0 |        0
1744.47/1745.00	c 1744s |      23 |  2974873 |  2404038 |    13027    487 |        0 |        0
1746.47/1747.05	c 1746s |      23 |  2977562 |  2406238 |    13027    488 |        0 |        0
1748.58/1749.11	c 1749s |      23 |  2980948 |  2408938 |    13027    488 |        0 |        0
1750.57/1751.15	c 1751s |      23 |  2983767 |  2411238 |    13027    488 |        0 |        0
1752.57/1753.19	c 1753s |      23 |  2987343 |  2414038 |    13027    489 |        0 |        0
1754.67/1755.21	c 1755s |      23 |  2990610 |  2416638 |    13027    489 |        0 |        0
1756.67/1757.25	c 1757s |      23 |  2993711 |  2419138 |    13027    490 |        0 |        0
1758.67/1759.28	c 1759s |      23 |  2997022 |  2421838 |    13027    490 |        0 |        0
1760.68/1761.29	c 1761s |      23 |  2999976 |  2424238 |    13027    490 |        0 |        0
1762.78/1763.37	c 1763s |      23 |  3003057 |  2426738 |    13027    491 |        0 |        0
1764.87/1765.42	c 1765s |      23 |  3006004 |  2429138 |    13027    491 |        0 |        0
1766.87/1767.44	c 1767s |      23 |  3008580 |  2431238 |    13027    491 |        0 |        0
1768.87/1769.47	c 1769s |      23 |  3011830 |  2433838 |    13027    492 |        0 |        0
1770.87/1771.48	c 1771s |      23 |  3014740 |  2436138 |    13027    492 |        0 |        0
1772.97/1773.52	c 1773s |      23 |  3017460 |  2438338 |    13027    493 |        0 |        0
1774.98/1775.52	c 1775s |      23 |  3020688 |  2440938 |    13027    493 |        0 |        0
1776.97/1777.53	c 1777s |      23 |  3023620 |  2443338 |    13027    493 |        0 |        0
1779.07/1779.63	c 1779s |      23 |  3026573 |  2445738 |    13027    494 |        0 |        0
1781.07/1781.66	c 1781s |      23 |  3029616 |  2448238 |    13027    494 |        0 |        0
1783.17/1783.74	c 1783s |      23 |  3032456 |  2450538 |    13027    494 |        0 |        0
1785.17/1785.79	c 1785s |      23 |  3035539 |  2453038 |    13027    495 |        0 |        0
1787.27/1787.80	c 1787s |      23 |  3038602 |  2455538 |    13027    495 |        0 |        0
1789.27/1789.86	c 1789s |      23 |  3041430 |  2457838 |    13027    496 |        0 |        0
1791.37/1791.94	c 1791s |      23 |  3044684 |  2460538 |    13027    496 |        0 |        0
1793.37/1793.97	c 1793s |      23 |  3047707 |  2462938 |    13027    496 |        0 |        0
1795.47/1796.01	c 1795s |      23 |  3050639 |  2465338 |    13027    497 |        0 |        0
1797.46/1798.08	c 1797s |      23 |  3053900 |  2467938 |    13027    497 |        0 |        0
1799.56/1800.17	c 1800s |      23 |  3057168 |  2470538 |    13027    497 |        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-4102673-1466231369/watcher-4102673-1466231369 -o /tmp/evaluation-result-4102673-1466231369/solver-4102673-1466231369 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102673-1466231369.opb 

pid=14813
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.09 2.06 2.01 3/179 14816
/proc/meminfo: memFree=30190972/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=737724 CPUtime=0 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 2754 0 0 0 0 0 0 0 20 0 4 0 25182581 755429376 3625 33554432000 4194304 16246674 140735837360320 140735837359744 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 184943 3633 441 2943 0 181837 0
[pid=14816/tid=14817] ppid=14813 vsize=755132 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 773255168 3691 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=759228 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 777449472 3708 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=763324 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 781643776 3724 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 14816
/proc/meminfo: memFree=30190972/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1218116 CPUtime=0.1 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 26515 0 0 0 6 4 0 0 20 0 4 0 25182581 1247350784 27374 33554432000 4194304 16246674 140735837360320 140735837359744 12478461 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 304529 27384 722 2943 0 301423 0
[pid=14816/tid=14817] ppid=14813 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1247350784 27391 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1247350784 27398 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1247350784 27404 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 1218116

[startup+0.200598 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 14816
/proc/meminfo: memFree=30190972/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 47160 0 0 0 13 6 0 0 20 0 4 0 25182581 1247350784 48020 33554432000 4194304 16246674 140735837360320 140735837359744 5723366 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 304529 48033 722 2943 0 301423 0
[pid=14816/tid=14817] ppid=14813 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1247350784 48042 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1247350784 48049 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1247350784 48055 33554432000 4194304 16246674 140735837360320 140004391120048 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.30046 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 14816
/proc/meminfo: memFree=30190972/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 67821 0 0 0 20 9 0 0 20 0 4 0 25182581 1247350784 68680 33554432000 4194304 16246674 140735837360320 140735837359744 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 304529 68691 722 2943 0 301423 0
[pid=14816/tid=14817] ppid=14813 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1247350784 68697 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1247350784 68704 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1247350784 68710 33554432000 4194304 16246674 140735837360320 140004391120048 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.700399 s]
/proc/loadavg: 2.09 2.06 2.01 3/179 14816
/proc/meminfo: memFree=30190972/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 149427 0 0 0 50 19 0 0 20 0 4 0 25182581 1247350784 150286 33554432000 4194304 16246674 140735837360320 140735837359744 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 304529 150300 722 2943 0 301423 0
[pid=14816/tid=14817] ppid=14813 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1247350784 150308 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1247350784 150319 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1247350784 150326 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 14820
/proc/meminfo: memFree=29265500/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1222212 CPUtime=1.49 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 246333 0 0 0 116 33 0 0 20 0 4 0 25182581 1251545088 247169 33554432000 4194304 16246674 140735837360320 140735837359632 12483664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 305553 247169 813 2943 0 302447 0
[pid=14816/tid=14817] ppid=14813 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1251545088 247169 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1251545088 247169 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1222212 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1251545088 247169 33554432000 4194304 16246674 140735837360320 140004391120048 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) 1222212

[startup+3.1004 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 14820
/proc/meminfo: memFree=29122848/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 267604 0 0 0 273 36 0 0 20 0 4 0 25182581 1337528320 268440 33554432000 4194304 16246674 140735837360320 140735837343320 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 326545 268440 817 2943 0 323439 0
[pid=14816/tid=14817] ppid=14813 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1337528320 268440 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1337528320 268440 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1337528320 268440 33554432000 4194304 16246674 140735837360320 140004391120048 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) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.08 2.06 2.01 4/183 14820
/proc/meminfo: memFree=29117888/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 267705 0 0 0 593 36 0 0 20 0 4 0 25182581 1338576896 268541 33554432000 4194304 16246674 140735837360320 140735837342208 5754517 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 326801 268541 819 2943 0 323695 0
[pid=14816/tid=14817] ppid=14813 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1338576896 268541 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1338576896 268541 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1338576896 268541 33554432000 4194304 16246674 140735837360320 140004391120048 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) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 14820
/proc/meminfo: memFree=29117556/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 267863 0 0 0 1233 36 0 0 20 0 4 0 25182581 1338576896 268699 33554432000 4194304 16246674 140735837360320 140735837342208 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 326801 268699 819 2943 0 323695 0
[pid=14816/tid=14817] ppid=14813 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1338576896 268699 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1338576896 268699 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1338576896 268699 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 14820
/proc/meminfo: memFree=29117516/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 268036 0 0 0 2513 36 0 0 20 0 4 0 25182581 1339625472 268872 33554432000 4194304 16246674 140735837360320 140735837342208 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 327057 268872 819 2943 0 323951 0
[pid=14816/tid=14817] ppid=14813 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1339625472 268872 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1339625472 268872 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1339625472 268872 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.09 2.06 2.01 3/184 14823
/proc/meminfo: memFree=29112236/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1313348 CPUtime=51.08 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 269399 0 0 0 5072 36 0 0 20 0 4 0 25182581 1344868352 270235 33554432000 4194304 16246674 140735837360320 140735837342208 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 328337 270235 819 2943 0 325231 0
[pid=14816/tid=14817] ppid=14813 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1344868352 270235 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1344868352 270235 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1344868352 270235 33554432000 4194304 16246674 140735837360320 140004391120048 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) 1313348

[startup+102.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 14824
/proc/meminfo: memFree=29111716/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1313348 CPUtime=102.29 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 269400 0 0 0 10192 37 0 0 20 0 4 0 25182581 1344868352 270236 33554432000 4194304 16246674 140735837360320 140735837342208 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 328337 270236 820 2943 0 325231 0
[pid=14816/tid=14817] ppid=14813 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1344868352 270236 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1344868352 270236 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1344868352 270236 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1313348


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

/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1352208384 272033 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1320516

[startup+1302.3 s]
/proc/loadavg: 2.18 2.14 2.08 3/183 15051
/proc/meminfo: memFree=29127612/32872528 swapFree=534256/566960
[pid=14816] ppid=14813 vsize=1320516 CPUtime=1301.84 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 271620 0 0 0 130141 43 0 0 20 0 4 0 25182581 1352208384 272033 33554432000 4194304 16246674 140735837360320 140735837342208 5675333 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 330129 272033 821 2943 0 327023 0
[pid=14816/tid=14817] ppid=14813 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1352208384 272033 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1352208384 272033 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1352208384 272033 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.13 2.13 2.08 3/183 15052
/proc/meminfo: memFree=29127100/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1320516 CPUtime=1361.84 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 271620 0 0 0 136140 44 0 0 20 0 4 0 25182581 1352208384 272033 33554432000 4194304 16246674 140735837360320 140735837342208 6026640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 330129 272033 821 2943 0 327023 0
[pid=14816/tid=14817] ppid=14813 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1352208384 272033 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1352208384 272033 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1352208384 272033 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.11 2.12 2.08 3/183 15054
/proc/meminfo: memFree=29125732/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1321540 CPUtime=1421.83 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 271876 0 0 0 142139 44 0 0 20 0 4 0 25182581 1353256960 272289 33554432000 4194304 16246674 140735837360320 140735837342208 5721922 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 330385 272289 821 2943 0 327279 0
[pid=14816/tid=14817] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272289 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272289 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272289 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1321540

[startup+1482.3 s]
/proc/loadavg: 2.12 2.11 2.08 4/183 15055
/proc/meminfo: memFree=29125728/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1321540 CPUtime=1481.81 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 271876 0 0 0 148137 44 0 0 20 0 4 0 25182581 1353256960 272289 33554432000 4194304 16246674 140735837360320 140735837342208 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 330385 272289 821 2943 0 327279 0
[pid=14816/tid=14817] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272289 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272289 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272289 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1321540

[startup+1542.31 s]
/proc/loadavg: 2.10 2.11 2.08 3/183 15056
/proc/meminfo: memFree=29126092/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1321540 CPUtime=1541.82 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 271876 0 0 0 154137 45 0 0 20 0 4 0 25182581 1353256960 272289 33554432000 4194304 16246674 140735837360320 140735837342208 13820950 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 330385 272289 821 2943 0 327279 0
[pid=14816/tid=14817] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272289 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272289 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272289 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1321540

[startup+1602.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/183 15057
/proc/meminfo: memFree=29125964/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1321540 CPUtime=1601.8 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 271877 0 0 0 160135 45 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140735837359496 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 330385 272290 822 2943 0 327279 0
[pid=14816/tid=14817] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1321540

[startup+1662.3 s]
/proc/loadavg: 2.18 2.12 2.09 4/183 15058
/proc/meminfo: memFree=29125584/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1321540 CPUtime=1661.79 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 271877 0 0 0 166134 45 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140735837342208 5676972 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 330385 272290 822 2943 0 327279 0
[pid=14816/tid=14817] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1321540

[startup+1722.3 s]
/proc/loadavg: 2.06 2.10 2.08 3/183 15060
/proc/meminfo: memFree=29125196/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1321540 CPUtime=1721.78 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 271877 0 0 0 172133 45 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140735837342208 5661532 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 330385 272290 822 2943 0 327279 0
[pid=14816/tid=14817] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1321540

[startup+1782.3 s]
/proc/loadavg: 2.26 2.14 2.10 3/183 15061
/proc/meminfo: memFree=29124948/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1321540 CPUtime=1781.77 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 271877 0 0 0 178132 45 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140735837342208 5822168 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 330385 272290 822 2943 0 327279 0
[pid=14816/tid=14817] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1321540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.28 2.15 2.10 3/183 15061
/proc/meminfo: memFree=29125180/32872528 swapFree=534252/566956
[pid=14816] ppid=14813 vsize=1321540 CPUtime=1800.06 cores=0,2,4,6
/proc/14816/stat : 14816 (toysat) R 14813 14816 10353 0 -1 4202496 271877 0 0 0 179961 45 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140735837342208 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/14816/statm: 330385 272290 822 2943 0 327279 0
[pid=14816/tid=14817] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14817/stat : 14817 (toysat) S 14813 14816 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004514835696 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=14816/tid=14818] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14818/stat : 14818 (toysat) S 14813 14816 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004504345840 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=14816/tid=14819] ppid=14813 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/14816/task/14819/stat : 14819 (toysat) S 14813 14816 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25182581 1353256960 272290 33554432000 4194304 16246674 140735837360320 140004391120048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1321540

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 14816 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.08
CPU user time (s): 1799.62
CPU system time (s): 0.45693
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1321540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.45693
maximum resident set size= 1089160
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271877
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= 440
involuntary context switches= 1833

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.5771 second user time and 16.3865 second system time

The end

Begin job on node138 at 2016-06-18 08:29:29
IDJOB=4102673
IDBENCH=2155
IDSOLVER=2542
FILE ID=node138/4102673-1466231369
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f600.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102673-1466231369/watcher-4102673-1466231369 -o /tmp/evaluation-result-4102673-1466231369/solver-4102673-1466231369 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102673-1466231369.opb

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

MD5SUM BENCH= 2b1f0bdf934439fa3364f5fdf4570849
RANDOM SEED=193201672

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30191336 kB
Buffers:          113692 kB
Cached:           130668 kB
SwapCached:         1060 kB
Active:          1233760 kB
Inactive:         141528 kB
Active(anon):    1131976 kB
Inactive(anon):     1228 kB
Active(file):     101784 kB
Inactive(file):   140300 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099636 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1697380 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             604520 kB
SReclaimable:      47856 kB
SUnreclaim:       556664 kB
KernelStack:        1480 kB
PageTables:         7280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1839220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1157120 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= 71700 MiB
End job on node138 at 2016-06-18 08:59:30