0.00/0.00	c 2016-06-07T07:47:50+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-4080006-1465278470.opb"]
0.00/0.01	c use --random-gen="2226433225 1500455593 387985867 655594764 3402877796 3749358403 375384711 690393647 3531112007 2737070145 4038900299 333532272 1731657729 3998956076 3417771030 1402758209 1643693681 3510420895 3978477908 2608331625 2753404462 1920680833 2848477127 498896210 1292355854 3135240659 535088560 1347457505 2891922553 3146472816 653872388 3164553413 2182607732 4269485534 1510457035 657704688 3145815902 4182602753 3708105114 3663489398 234364353 252214209 2699705680 3260976558 78627736 2391521564 548907446 1089455769 2133222824 367797488 2003761537 43714327 4216457562 344828318 3241203417 402346207 883216861 25476883 1783122574 1717098597 4006696188 4016131353 3942720349 1756308180 2247899520 4193063870 2245085762 3488532003 2815200142 2607139278 228763406 1825288538 2789894605 4185589720 4003727437 2395232117 1599230772 1462569237 1966197507 3082021320 3455922549 472295426 1731271362 2538898382 2879929748 2169176429 3338057814 3566612852 2342695258 2708259960 3554805637 1707406197 3291801550 1199396574 1780854338 2490196506 623797569 4246443581 3210593231 4178672634 758080168 2759493325 2064860023 1035519318 333963307 2469877114 2046779658 1154521227 98544917 4056472754 3709962286 4087097479 339085604 2240813732 2587720099 1658859977 3890649591 2093818416 3405863612 4014770260 1985868048 4208772826 2692871789 1491711340 2858471088 736157926 1448612757 632651197 627823481 1509484342 3813980540 150595864 2406967918 4214265294 377377920 3488405822 409590242 3714402452 4101740489 947985126 1946951900 3995612465 1236096586 398670359 3536164355 3585787415 2503108944 3948074947 2725593260 3150737712 4236049732 2689022811 3923882853 2254796525 3689257686 1649930734 2541436460 3295473704 2873296648 3586351856 42149652 3976227154 4095705682 2183148613 4028980246 2538070966 2601172140 1732151503 2361089506 4245711017 1444517987 2287827518 1082992645 1929055022 2276957559 3036120957 1956288563 989700988 2366378989 3577392091 1284714865 667739335 4102450630 2086542807 777375276 192657024 629305139 3227172598 773966550 516601752 3630387434 2709356297 802310515 3080426538 3541788977 60551852 3407898004 3915319179 2010717697 1452183561 381052377 2026108916 3939314365 3235875739 3921696655 846991796 929333295 5073336 4114310417 60207957 2309185553 3581591054 1802788668 1098735352 48330042 662739271 3456172426 1096706197 3081783891 934884045 2787982933 792694052 3277035938 3166757056 3648343123 3345241453 2494466985 649816268 3429866895 1273178189 1283086696 102154150 3385356389 1442961353 1899378223 489781634 1074443502 3076245138 441674911 339738941 2036120201 3777903927 1429883581 2051815566 196010780 4156797378 4193251618 3506518589 3404151385 335197283 2148060011 3940971415 211240856 954065619 12017743 4150458357 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1635
0.00/0.02	c #constraints 840
0.00/0.07	c BCD2: Hardening is enabled.
0.00/0.07	c BCD2: BiasedSearch is enabled.
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |     1101      0 |      117 |        0
0.08/0.12	c  0.1s |       1 |      632 |      100 |     1101      0 |      117 |       44
0.19/0.20	c  0.1s |       2 |     1031 |      250 |     1212      0 |      117 |       44
0.28/0.34	c  0.3s |       3 |     1725 |      475 |     1334      0 |      117 |       44
0.49/0.57	c  0.5s |       4 |     2415 |      813 |     1468      0 |      117 |       44
0.89/0.93	c  0.9s |       5 |     3842 |     1320 |     1615      0 |      122 |       44
1.39/1.46	c  1.4s |       6 |     4976 |     2081 |     1955      0 |      122 |       44
2.19/2.21	c  2.1s |       7 |     6580 |     3223 |     2151      1 |      122 |       44
3.29/3.36	c  3.3s |       8 |     8923 |     4936 |     2367      2 |      123 |       44
4.99/5.03	c  5.0s |       9 |    12497 |     7506 |     2604      4 |      123 |       44
6.99/7.06	c  7.0s |       9 |    16315 |    10406 |     2604      6 |      123 |       44
7.70/7.79	c  7.7s |      10 |    17493 |    11361 |     2865      6 |      123 |       44
9.79/9.87	c  9.8s |      10 |    21535 |    14361 |     2865      8 |      123 |       44
11.79/11.89	c 11.8s |      11 |    25265 |    17144 |     3152     10 |      123 |       44
13.89/13.92	c 13.9s |      11 |    29174 |    19944 |     3152     12 |      124 |       44
15.89/15.97	c 15.9s |      11 |    32711 |    22644 |     3152     13 |      124 |       44
17.89/17.97	c 17.9s |      11 |    35905 |    25144 |     3152     15 |      124 |       44
18.49/18.50	c 18.4s |      12 |    36809 |    25819 |     3468     15 |      125 |       44
20.49/20.57	c 20.5s |      12 |    40501 |    28619 |     3468     16 |      125 |       44
22.59/22.62	c 22.6s |      12 |    43607 |    31119 |     3468     18 |      125 |       44
24.59/24.64	c 24.6s |      12 |    47118 |    33819 |     3468     19 |      126 |       44
26.59/26.68	c 26.6s |      12 |    50542 |    36419 |     3468     20 |      126 |       44
28.69/28.73	c 28.7s |      12 |    53563 |    38819 |     3815     21 |      126 |       44
28.69/28.74	c 28.7s |      13 |    53588 |    38832 |     3815     21 |      126 |       44
30.69/30.76	c 30.7s |      13 |    57041 |    41532 |     3815     23 |      126 |       44
32.69/32.79	c 32.7s |      13 |    60249 |    44132 |     3815     24 |      126 |       44
34.78/34.84	c 34.8s |      13 |    63194 |    46632 |     3815     25 |      126 |       44
36.88/36.91	c 36.8s |      13 |    66260 |    49132 |     3815     26 |      126 |       44
38.98/39.00	c 38.9s |      13 |    69211 |    51632 |     3815     27 |      126 |       44
40.98/41.08	c 41.0s |      13 |    72261 |    54132 |     3815     29 |      126 |       44
43.08/43.15	c 43.1s |      13 |    75330 |    56632 |     3815     30 |      126 |       44
44.58/44.64	c 44.6s |      14 |    77433 |    58352 |     4197     30 |      126 |       44
46.58/46.65	c 46.6s |      14 |    80970 |    60952 |     4197     32 |      126 |       44
48.58/48.69	c 48.6s |      14 |    83911 |    63252 |     4197     33 |      126 |       44
50.69/50.75	c 50.7s |      14 |    87095 |    65752 |     4197     34 |      126 |       44
52.68/52.79	c 52.7s |      14 |    90123 |    68152 |     4197     35 |      126 |       44
54.78/54.84	c 54.8s |      14 |    92969 |    70452 |     4197     36 |      126 |       44
56.78/56.84	c 56.8s |      14 |    95894 |    72752 |     4197     37 |      126 |       44
58.88/58.92	c 58.9s |      14 |    98831 |    75152 |     4197     38 |      126 |       44
60.98/61.00	c 60.9s |      14 |   101746 |    77552 |     4197     39 |      126 |       44
62.98/63.01	c 62.9s |      14 |   104547 |    79852 |     4197     40 |      126 |       44
64.99/65.04	c 65.0s |      14 |   107488 |    82152 |     4197     41 |      126 |       44
66.98/67.10	c 67.0s |      14 |   110425 |    84552 |     4197     42 |      126 |       44
69.08/69.11	c 69.0s |      14 |   113433 |    86952 |     4197     43 |      126 |       44
69.58/69.68	c 69.6s |      15 |   114228 |    87632 |     4617     43 |      126 |       44
71.68/71.75	c 71.7s |      15 |   117662 |    90132 |     4617     44 |      126 |       44
73.78/73.82	c 73.8s |      15 |   120723 |    92632 |     4617     45 |      126 |       44
75.78/75.83	c 75.8s |      15 |   123658 |    95032 |     4617     46 |      126 |       44
77.88/77.90	c 77.8s |      15 |   126654 |    97432 |     4617     47 |      126 |       44
79.88/79.91	c 79.8s |      15 |   129701 |    99832 |     4617     48 |      126 |       44
81.88/81.95	c 81.9s |      15 |   132575 |   102132 |     4617     49 |      126 |       44
83.88/83.99	c 83.9s |      15 |   135233 |   104332 |     4617     50 |      126 |       44
85.97/86.01	c 85.9s |      15 |   138144 |   106632 |     4617     51 |      126 |       44
87.98/88.04	c 88.0s |      15 |   141171 |   109032 |     4617     51 |      126 |       44
89.97/90.09	c 90.0s |      15 |   144163 |   111432 |     4617     52 |      127 |       44
92.07/92.12	c 92.1s |      15 |   147103 |   113832 |     4617     53 |      127 |       44
94.07/94.14	c 94.1s |      15 |   149991 |   116232 |     4617     54 |      127 |       44
96.17/96.21	c 96.1s |      15 |   153076 |   118732 |     4617     55 |      127 |       44
98.17/98.24	c 98.2s |      15 |   156268 |   121232 |     4617     56 |      127 |       44
100.27/100.31	c  100s |      15 |   159354 |   123632 |     4617     57 |      127 |       44
102.28/102.38	c  102s |      15 |   162382 |   126032 |     4617     58 |      127 |       44
104.27/104.39	c  104s |      15 |   165063 |   128232 |     4617     59 |      127 |       44
106.27/106.39	c  106s |      15 |   168090 |   130532 |     4617     60 |      127 |       44
107.27/107.34	c  107s |      16 |   169423 |   131552 |     5079     60 |      127 |       44
109.37/109.40	c  109s |      16 |   172657 |   133952 |     5079     61 |      127 |       44
111.37/111.45	c  111s |      16 |   175200 |   136152 |     5079     62 |      127 |       44
113.47/113.50	c  113s |      16 |   177930 |   138352 |     5079     63 |      127 |       44
115.47/115.53	c  115s |      16 |   180786 |   140652 |     5079     64 |      127 |       44
117.47/117.58	c  117s |      16 |   183810 |   143152 |     5079     65 |      127 |       44
119.47/119.59	c  119s |      16 |   186649 |   145552 |     5079     65 |      127 |       44
121.57/121.61	c  121s |      16 |   189972 |   148152 |     5079     66 |      127 |       44
123.57/123.69	c  123s |      16 |   193446 |   150752 |     5079     67 |      128 |       44
125.67/125.72	c  125s |      16 |   196789 |   153252 |     5079     68 |      128 |       44
127.68/127.78	c  127s |      16 |   199894 |   155652 |     5079     69 |      128 |       44
129.78/129.85	c  129s |      16 |   202725 |   158052 |     5079     70 |      128 |       44
131.77/131.85	c  131s |      16 |   205311 |   160252 |     5079     71 |      128 |       44
133.87/133.92	c  133s |      16 |   208097 |   162552 |     5079     72 |      128 |       44
135.97/136.02	c  135s |      16 |   211125 |   164952 |     5079     73 |      128 |       44
137.97/138.08	c  138s |      16 |   214194 |   167452 |     5079     73 |      128 |       44
139.97/140.09	c  140s |      16 |   217033 |   169752 |     5079     74 |      128 |       44
142.06/142.10	c  142s |      16 |   219892 |   172052 |     5079     75 |      128 |       44
144.07/144.19	c  144s |      16 |   222729 |   174352 |     5079     76 |      128 |       44
146.16/146.21	c  146s |      16 |   225228 |   176452 |     5079     77 |      128 |       44
148.16/148.21	c  148s |      16 |   228160 |   178752 |     5079     78 |      128 |       44
150.16/150.26	c  150s |      16 |   230988 |   181052 |     5079     78 |      128 |       44
152.26/152.33	c  152s |      16 |   233828 |   183352 |     5079     79 |      128 |       44
154.26/154.36	c  154s |      16 |   236735 |   185652 |     5079     80 |      128 |       44
156.27/156.36	c  156s |      16 |   239349 |   187852 |     5079     81 |      128 |       44
158.26/158.39	c  158s |      16 |   241814 |   189952 |     5079     82 |      128 |       44
160.36/160.44	c  160s |      16 |   244552 |   192252 |     5079     82 |      128 |       44
162.46/162.51	c  162s |      16 |   247417 |   194552 |     5079     83 |      128 |       44
164.46/164.55	c  164s |      16 |   250073 |   196752 |     5587     84 |      128 |       44
165.16/165.21	c  165s |      17 |   250875 |   197432 |     5587     84 |      128 |       44
167.17/167.24	c  167s |      17 |   253673 |   199632 |     5587     85 |      128 |       44
169.16/169.30	c  169s |      17 |   256150 |   201632 |     5587     86 |      128 |       44
171.26/171.33	c  171s |      17 |   258869 |   203832 |     5587     86 |      128 |       44
173.36/173.41	c  173s |      17 |   261505 |   206032 |     5587     87 |      128 |       44
175.36/175.43	c  175s |      17 |   264328 |   208332 |     5587     88 |      128 |       44
177.36/177.46	c  177s |      17 |   267104 |   210632 |     5587     88 |      128 |       44
179.46/179.51	c  179s |      17 |   269936 |   213032 |     5587     89 |      128 |       44
181.47/181.53	c  181s |      17 |   272719 |   215332 |     5587     90 |      128 |       44
183.46/183.59	c  183s |      17 |   275329 |   217532 |     5587     91 |      128 |       44
185.56/185.66	c  185s |      17 |   278169 |   219832 |     5587     92 |      128 |       44
187.66/187.70	c  187s |      17 |   281021 |   222232 |     5587     92 |      128 |       44
189.66/189.78	c  189s |      17 |   283742 |   224532 |     5587     93 |      128 |       44
191.76/191.82	c  191s |      17 |   286708 |   226832 |     5587     94 |      128 |       44
193.76/193.83	c  193s |      17 |   289213 |   228932 |     5587     95 |      128 |       44
195.77/195.84	c  195s |      17 |   291964 |   231232 |     5587     95 |      128 |       44
197.76/197.88	c  197s |      17 |   294634 |   233532 |     5587     96 |      128 |       44
199.86/199.91	c  199s |      17 |   297238 |   235732 |     5587     97 |      128 |       44
201.86/201.95	c  201s |      17 |   299958 |   238032 |     5587     98 |      128 |       44
203.86/203.96	c  203s |      17 |   302617 |   240232 |     5587     98 |      128 |       44
205.86/205.96	c  205s |      17 |   305188 |   242432 |     5587     99 |      128 |       44
207.86/208.00	c  207s |      17 |   307726 |   244632 |     5587    100 |      128 |       44
209.96/210.06	c  209s |      17 |   310359 |   246832 |     5587    101 |      128 |       44
212.06/212.13	c  212s |      17 |   313232 |   249232 |     5587    101 |      128 |       44
214.16/214.20	c  214s |      17 |   316226 |   251632 |     5587    102 |      128 |       44
216.16/216.27	c  216s |      17 |   318963 |   253932 |     5587    103 |      128 |       44
218.25/218.31	c  218s |      17 |   321395 |   256032 |     5587    104 |      128 |       44
220.25/220.34	c  220s |      17 |   323963 |   258232 |     5587    104 |      128 |       44
222.26/222.39	c  222s |      17 |   326792 |   260532 |     5587    105 |      128 |       44
224.36/224.45	c  224s |      17 |   329593 |   262832 |     5587    106 |      128 |       44
226.35/226.48	c  226s |      17 |   332069 |   264932 |     5587    107 |      128 |       44
228.45/228.57	c  228s |      17 |   334691 |   267132 |     5587    107 |      128 |       44
230.55/230.61	c  230s |      17 |   337228 |   269332 |     5587    108 |      128 |       44
232.55/232.68	c  232s |      17 |   340050 |   271632 |     5587    109 |      128 |       44
234.55/234.68	c  234s |      17 |   342574 |   273732 |     5587    110 |      128 |       44
236.65/236.78	c  236s |      17 |   345541 |   276032 |     5587    110 |      128 |       44
238.65/238.80	c  238s |      17 |   348093 |   278132 |     5587    111 |      128 |       44
240.75/240.83	c  240s |      17 |   350625 |   280232 |     5587    112 |      128 |       44
242.75/242.88	c  242s |      17 |   353158 |   282332 |     5587    113 |      128 |       44
244.85/244.94	c  244s |      17 |   355728 |   284432 |     5587    113 |      128 |       44
246.95/247.00	c  246s |      17 |   358343 |   286532 |     5587    114 |      128 |       44
248.96/249.03	c  248s |      17 |   360724 |   288532 |     5587    115 |      128 |       44
250.95/251.07	c  251s |      17 |   363112 |   290632 |     5587    115 |      128 |       44
252.96/253.09	c  253s |      17 |   366154 |   293032 |     5587    116 |      128 |       44
255.05/255.17	c  255s |      17 |   369207 |   295432 |     6146    117 |      128 |       44
255.85/255.93	c  255s |      18 |   370193 |   296252 |     6146    117 |      128 |       44
257.85/257.96	c  257s |      18 |   373328 |   298552 |     6146    118 |      128 |       44
259.85/259.97	c  259s |      18 |   375961 |   300652 |     6146    118 |      128 |       44
261.95/262.07	c  262s |      18 |   378674 |   302852 |     6146    119 |      128 |       44
263.95/264.10	c  264s |      18 |   381772 |   305152 |     6146    120 |      128 |       44
266.04/266.17	c  266s |      18 |   384771 |   307452 |     6146    121 |      128 |       44
268.14/268.26	c  268s |      18 |   387802 |   309852 |     6146    121 |      128 |       44
270.15/270.29	c  270s |      18 |   390719 |   312152 |     6146    122 |      128 |       44
272.25/272.36	c  272s |      18 |   393508 |   314352 |     6146    123 |      128 |       44
274.35/274.43	c  274s |      18 |   396642 |   316752 |     6146    123 |      128 |       44
276.35/276.44	c  276s |      18 |   399437 |   318952 |     6146    124 |      128 |       44
278.35/278.46	c  278s |      18 |   402033 |   321052 |     6146    125 |      128 |       44
280.35/280.47	c  280s |      18 |   404417 |   323052 |     6146    125 |      128 |       44
282.35/282.48	c  282s |      18 |   407087 |   325252 |     6146    126 |      128 |       44
284.45/284.54	c  284s |      18 |   409713 |   327452 |     6146    127 |      128 |       44
286.54/286.64	c  286s |      18 |   412496 |   329752 |     6146    127 |      128 |       44
288.64/288.71	c  288s |      18 |   415154 |   331952 |     6146    128 |      128 |       44
290.64/290.74	c  290s |      18 |   417671 |   334052 |     6146    129 |      128 |       44
292.65/292.76	c  292s |      18 |   420132 |   336152 |     6146    129 |      128 |       44
294.75/294.82	c  294s |      18 |   422805 |   338352 |     6146    130 |      128 |       44
296.74/296.85	c  296s |      18 |   425296 |   340452 |     6146    131 |      128 |       44
298.74/298.89	c  298s |      18 |   427836 |   342552 |     6146    131 |      128 |       44
300.84/300.90	c  300s |      18 |   430434 |   344752 |     6146    132 |      128 |       44
302.84/302.96	c  302s |      18 |   433356 |   347052 |     6146    133 |      128 |       44
304.94/305.02	c  304s |      18 |   436053 |   349252 |     6146    133 |      128 |       44
306.94/307.09	c  307s |      18 |   438674 |   351452 |     6146    134 |      128 |       44
309.04/309.10	c  309s |      18 |   441099 |   353452 |     6146    135 |      128 |       44
311.04/311.15	c  311s |      18 |   443639 |   355552 |     6146    135 |      128 |       44
313.14/313.20	c  313s |      18 |   446149 |   357652 |     6146    136 |      128 |       44
315.14/315.26	c  315s |      18 |   448591 |   359652 |     6146    137 |      128 |       44
317.14/317.29	c  317s |      18 |   451574 |   361952 |     6146    137 |      128 |       44
319.24/319.37	c  319s |      18 |   454400 |   364252 |     6146    138 |      128 |       44
321.25/321.39	c  321s |      18 |   456918 |   366352 |     6146    139 |      128 |       44
323.34/323.45	c  323s |      18 |   459900 |   368652 |     6146    139 |      128 |       44
325.34/325.48	c  325s |      18 |   462458 |   370752 |     6146    140 |      128 |       44
327.44/327.50	c  327s |      18 |   464784 |   372652 |     6146    141 |      128 |       44
329.54/329.60	c  329s |      18 |   467382 |   374852 |     6146    141 |      128 |       44
331.54/331.60	c  331s |      18 |   470098 |   377052 |     6146    142 |      128 |       44
333.54/333.68	c  333s |      18 |   472571 |   379152 |     6146    143 |      128 |       44
335.64/335.77	c  335s |      18 |   474955 |   381252 |     6146    143 |      128 |       44
337.64/337.80	c  337s |      18 |   477701 |   383452 |     6146    144 |      128 |       44
339.73/339.81	c  339s |      18 |   480284 |   385552 |     6146    145 |      128 |       44
341.73/341.86	c  341s |      18 |   483054 |   387852 |     6146    145 |      128 |       44
343.83/343.91	c  343s |      18 |   485807 |   390052 |     6146    146 |      128 |       44
345.83/345.93	c  345s |      18 |   488446 |   392152 |     6146    147 |      128 |       44
347.84/347.96	c  347s |      18 |   490936 |   394252 |     6146    147 |      128 |       44
349.84/349.99	c  349s |      18 |   493282 |   396252 |     6146    148 |      128 |       44
351.94/352.09	c  352s |      18 |   495590 |   398252 |     6146    148 |      128 |       44
354.04/354.11	c  354s |      18 |   498152 |   400352 |     6146    149 |      128 |       44
356.04/356.13	c  356s |      18 |   500651 |   402452 |     6146    150 |      128 |       44
358.04/358.18	c  358s |      18 |   503225 |   404552 |     6146    150 |      128 |       44
360.14/360.20	c  360s |      18 |   505886 |   406752 |     6146    151 |      128 |       44
362.14/362.26	c  362s |      18 |   508389 |   408852 |     6146    152 |      128 |       44
364.24/364.35	c  364s |      18 |   510820 |   410952 |     6146    152 |      128 |       44
366.24/366.39	c  366s |      18 |   513504 |   413152 |     6146    153 |      128 |       44
368.34/368.46	c  368s |      18 |   516139 |   415352 |     6146    154 |      128 |       44
370.43/370.52	c  370s |      18 |   518894 |   417552 |     6146    154 |      128 |       44
372.53/372.61	c  372s |      18 |   521659 |   419852 |     6146    155 |      128 |       44
374.53/374.69	c  374s |      18 |   524147 |   421952 |     6146    156 |      128 |       44
376.63/376.73	c  376s |      18 |   526513 |   423952 |     6146    156 |      128 |       44
378.73/378.80	c  378s |      18 |   529051 |   426052 |     6146    157 |      128 |       44
380.73/380.82	c  380s |      18 |   531429 |   428052 |     6146    158 |      128 |       44
382.84/382.91	c  382s |      18 |   533901 |   430152 |     6146    158 |      128 |       44
384.83/384.97	c  384s |      18 |   536465 |   432352 |     6146    159 |      128 |       44
386.93/387.05	c  386s |      18 |   538994 |   434452 |     6146    160 |      128 |       44
389.03/389.11	c  389s |      18 |   541302 |   436452 |     6146    160 |      128 |       44
391.03/391.19	c  391s |      18 |   543767 |   438552 |     6146    161 |      128 |       44
393.03/393.19	c  393s |      18 |   546009 |   440452 |     6146    161 |      128 |       44
395.12/395.20	c  395s |      18 |   548368 |   442452 |     6761    162 |      128 |       44
397.13/397.29	c  397s |      18 |   550872 |   444452 |     6761    162 |      128 |       44
397.22/397.36	c  397s |      19 |   550907 |   444482 |     6761    163 |      128 |       44
399.33/399.45	c  399s |      19 |   553581 |   446682 |     6761    163 |      128 |       44
401.32/401.50	c  401s |      19 |   555808 |   448582 |     6761    164 |      128 |       44
403.42/403.54	c  403s |      19 |   558292 |   450682 |     6761    164 |      128 |       44
405.52/405.61	c  405s |      19 |   560653 |   452682 |     6761    165 |      128 |       44
407.52/407.69	c  407s |      19 |   562850 |   454582 |     6761    165 |      128 |       44
409.62/409.75	c  409s |      19 |   565382 |   456682 |     6761    166 |      128 |       44
411.72/411.86	c  411s |      19 |   567771 |   458682 |     6761    167 |      128 |       44
413.82/413.96	c  413s |      19 |   570532 |   460982 |     6761    167 |      128 |       44
415.83/415.98	c  415s |      19 |   573033 |   463082 |     6761    168 |      128 |       44
417.93/418.04	c  417s |      19 |   575353 |   465082 |     6761    168 |      128 |       44
420.02/420.12	c  420s |      19 |   578026 |   467282 |     6761    169 |      128 |       44
422.12/422.27	c  422s |      19 |   580609 |   469382 |     6761    170 |      128 |       44
424.22/424.31	c  424s |      19 |   583286 |   471582 |     6761    170 |      128 |       44
426.22/426.35	c  426s |      19 |   585625 |   473482 |     6761    171 |      128 |       44
428.32/428.40	c  428s |      19 |   588011 |   475482 |     6761    171 |      128 |       44
430.32/430.46	c  430s |      19 |   590370 |   477482 |     6761    172 |      128 |       44
432.42/432.54	c  432s |      19 |   592917 |   479582 |     6761    172 |      128 |       44
434.53/434.62	c  434s |      19 |   595500 |   481682 |     6761    173 |      128 |       44
436.52/436.63	c  436s |      19 |   597797 |   483582 |     6761    173 |      128 |       44
438.52/438.64	c  438s |      19 |   600348 |   485682 |     6761    174 |      128 |       44
440.52/440.69	c  440s |      19 |   603281 |   487882 |     6761    175 |      128 |       44
442.62/442.79	c  442s |      19 |   606013 |   490082 |     6761    175 |      128 |       44
444.72/444.86	c  444s |      19 |   608659 |   492282 |     6761    176 |      128 |       44
446.82/446.94	c  446s |      19 |   611372 |   494482 |     6761    177 |      128 |       44
448.92/449.02	c  448s |      19 |   614049 |   496682 |     6761    177 |      128 |       44
450.92/451.06	c  450s |      19 |   616456 |   498682 |     6761    178 |      128 |       44
452.92/453.08	c  453s |      19 |   618865 |   500682 |     6761    178 |      128 |       44
455.01/455.11	c  455s |      19 |   621118 |   502582 |     6761    179 |      128 |       44
457.11/457.20	c  457s |      19 |   623479 |   504582 |     6761    179 |      128 |       44
459.11/459.28	c  459s |      19 |   626200 |   506782 |     6761    180 |      128 |       44
461.21/461.32	c  461s |      19 |   628606 |   508782 |     6761    181 |      128 |       44
463.21/463.37	c  463s |      19 |   631325 |   510982 |     6761    181 |      128 |       44
465.22/465.37	c  465s |      19 |   634072 |   513182 |     6761    182 |      128 |       44
467.31/467.45	c  467s |      19 |   636771 |   515382 |     6761    182 |      128 |       44
469.41/469.55	c  469s |      19 |   639337 |   517482 |     6761    183 |      128 |       44
471.41/471.58	c  471s |      19 |   641609 |   519382 |     6761    184 |      128 |       44
473.51/473.64	c  473s |      19 |   644448 |   521682 |     6761    184 |      128 |       44
475.51/475.66	c  475s |      19 |   647058 |   523782 |     6761    185 |      128 |       44
477.61/477.74	c  477s |      19 |   649602 |   525882 |     6761    185 |      128 |       44
479.62/479.75	c  479s |      19 |   652083 |   527882 |     6761    186 |      128 |       44
481.61/481.77	c  481s |      19 |   654354 |   529782 |     6761    186 |      128 |       44
483.61/483.78	c  483s |      19 |   657013 |   531882 |     6761    187 |      128 |       44
485.61/485.79	c  485s |      19 |   659262 |   533782 |     6761    188 |      128 |       44
487.71/487.88	c  487s |      19 |   661919 |   535982 |     6761    188 |      128 |       44
489.71/489.89	c  489s |      19 |   664223 |   537882 |     6761    189 |      128 |       44
491.81/491.93	c  491s |      19 |   666626 |   539882 |     6761    189 |      128 |       44
493.91/494.02	c  493s |      19 |   668961 |   541882 |     6761    190 |      128 |       44
495.91/496.10	c  496s |      19 |   671217 |   543782 |     6761    190 |      128 |       44
498.01/498.14	c  498s |      19 |   673643 |   545782 |     6761    191 |      128 |       44
500.11/500.22	c  500s |      19 |   676316 |   547882 |     6761    191 |      128 |       44
502.10/502.23	c  502s |      19 |   678782 |   549882 |     6761    192 |      128 |       44
504.21/504.31	c  504s |      19 |   681173 |   551782 |     6761    193 |      128 |       44
506.31/506.41	c  506s |      19 |   683761 |   553882 |     6761    193 |      128 |       44
508.31/508.50	c  508s |      19 |   686017 |   555782 |     6761    194 |      128 |       44
510.42/510.52	c  510s |      19 |   688568 |   557882 |     6761    194 |      128 |       44
512.41/512.55	c  512s |      19 |   691000 |   559882 |     6761    195 |      128 |       44
514.51/514.65	c  514s |      19 |   693308 |   561882 |     6761    195 |      128 |       44
516.51/516.69	c  516s |      19 |   695653 |   563882 |     6761    196 |      128 |       44
518.61/518.75	c  518s |      19 |   698014 |   565882 |     6761    196 |      128 |       44
520.71/520.85	c  520s |      19 |   700526 |   567982 |     6761    197 |      128 |       44
522.71/522.88	c  522s |      19 |   702699 |   569782 |     6761    198 |      128 |       44
524.72/524.88	c  524s |      19 |   705036 |   571782 |     6761    198 |      128 |       44
526.81/526.95	c  526s |      19 |   707355 |   573682 |     6761    199 |      128 |       44
528.91/529.01	c  528s |      19 |   709747 |   575682 |     6761    199 |      128 |       44
531.01/531.11	c  531s |      19 |   712035 |   577582 |     6761    200 |      128 |       44
533.01/533.13	c  533s |      19 |   714328 |   579482 |     6761    200 |      128 |       44
535.01/535.16	c  535s |      19 |   716517 |   581282 |     6761    201 |      128 |       44
537.01/537.19	c  537s |      19 |   718849 |   583182 |     6761    201 |      128 |       44
539.11/539.23	c  539s |      19 |   721387 |   585182 |     6761    202 |      128 |       44
541.11/541.28	c  541s |      19 |   723758 |   587082 |     6761    202 |      128 |       44
543.21/543.37	c  543s |      19 |   725954 |   588982 |     6761    203 |      128 |       44
545.30/545.42	c  545s |      19 |   728084 |   590782 |     6761    203 |      128 |       44
547.30/547.45	c  547s |      19 |   730507 |   592782 |     6761    204 |      128 |       44
549.40/549.51	c  549s |      19 |   732784 |   594682 |     6761    204 |      128 |       44
551.40/551.55	c  551s |      19 |   735433 |   596782 |     6761    205 |      128 |       44
553.50/553.60	c  553s |      19 |   737712 |   598682 |     6761    206 |      128 |       44
555.51/555.62	c  555s |      19 |   740159 |   600682 |     6761    206 |      128 |       44
557.50/557.63	c  557s |      19 |   742538 |   602582 |     6761    207 |      128 |       44
559.50/559.65	c  559s |      19 |   744791 |   604482 |     6761    207 |      128 |       44
561.60/561.74	c  561s |      19 |   747312 |   606482 |     6761    208 |      128 |       44
563.60/563.78	c  563s |      19 |   749621 |   608382 |     6761    208 |      128 |       44
565.70/565.81	c  565s |      19 |   751816 |   610182 |     6761    209 |      128 |       44
567.70/567.88	c  567s |      19 |   754174 |   612082 |     6761    209 |      128 |       44
569.81/569.98	c  569s |      19 |   756764 |   614182 |     6761    210 |      128 |       44
571.80/571.99	c  571s |      19 |   759100 |   616082 |     6761    210 |      128 |       44
573.90/574.07	c  574s |      19 |   761577 |   618082 |     6761    211 |      128 |       44
576.00/576.11	c  576s |      19 |   763951 |   619982 |     6761    212 |      128 |       44
578.00/578.16	c  578s |      19 |   766501 |   622082 |     6761    212 |      128 |       44
580.10/580.21	c  580s |      19 |   768764 |   623982 |     6761    213 |      128 |       44
582.10/582.23	c  582s |      19 |   771096 |   625882 |     6761    213 |      128 |       44
584.10/584.24	c  584s |      19 |   773386 |   627782 |     6761    214 |      128 |       44
586.10/586.24	c  586s |      19 |   775864 |   629782 |     6761    214 |      128 |       44
588.10/588.29	c  588s |      19 |   778208 |   631782 |     6761    215 |      128 |       44
590.20/590.32	c  590s |      19 |   780988 |   633982 |     6761    215 |      128 |       44
592.30/592.40	c  592s |      19 |   783487 |   636082 |     6761    216 |      128 |       44
594.29/594.44	c  594s |      19 |   785553 |   637782 |     6761    217 |      128 |       44
596.29/596.49	c  596s |      19 |   788094 |   639882 |     6761    217 |      128 |       44
598.40/598.54	c  598s |      19 |   790434 |   641782 |     6761    218 |      128 |       44
600.50/600.66	c  600s |      19 |   792751 |   643682 |     6761    218 |      128 |       44
602.59/602.73	c  602s |      19 |   795099 |   645582 |     6761    219 |      128 |       44
604.59/604.75	c  604s |      19 |   797574 |   647582 |     6761    219 |      128 |       44
606.59/606.76	c  606s |      19 |   800383 |   649782 |     6761    220 |      128 |       44
608.69/608.84	c  608s |      19 |   803065 |   651882 |     6761    221 |      128 |       44
610.79/610.91	c  610s |      19 |   805950 |   654182 |     6761    221 |      128 |       44
612.79/612.97	c  612s |      19 |   808668 |   656382 |     6761    222 |      128 |       44
614.90/615.07	c  615s |      19 |   811247 |   658482 |     6761    222 |      128 |       44
616.89/617.10	c  617s |      19 |   813964 |   660682 |     6761    223 |      128 |       44
618.99/619.14	c  619s |      19 |   816349 |   662682 |     7438    223 |      128 |       44
620.99/621.16	c  621s |      19 |   818755 |   664682 |     7438    224 |      128 |       44
623.09/623.25	c  623s |      19 |   821203 |   666682 |     7438    224 |      128 |       44
623.29/623.40	c  623s |      20 |   821380 |   666827 |     7438    224 |      128 |       44
625.29/625.40	c  625s |      20 |   825068 |   669027 |     7438    225 |      128 |       44
627.29/627.41	c  627s |      20 |   827804 |   671127 |     7438    226 |      128 |       44
629.29/629.48	c  629s |      20 |   831014 |   673427 |     7438    226 |      128 |       44
631.39/631.52	c  631s |      20 |   833758 |   675527 |     7438    227 |      128 |       44
633.39/633.60	c  633s |      20 |   836322 |   677627 |     7438    227 |      128 |       44
635.49/635.60	c  635s |      20 |   838337 |   679327 |     7438    228 |      128 |       44
637.49/637.64	c  637s |      20 |   841354 |   681527 |     7438    228 |      128 |       44
639.59/639.72	c  639s |      20 |   843779 |   683527 |     7438    229 |      128 |       44
641.59/641.78	c  641s |      20 |   846572 |   685627 |     7438    229 |      128 |       44
643.69/643.85	c  643s |      20 |   848741 |   687427 |     7438    230 |      128 |       44
645.78/645.94	c  645s |      20 |   851220 |   689427 |     7438    230 |      128 |       44
647.79/648.00	c  647s |      20 |   853412 |   691227 |     7438    231 |      128 |       44
649.88/650.04	c  649s |      20 |   855839 |   693227 |     7438    231 |      128 |       44
651.98/652.11	c  652s |      20 |   858035 |   695027 |     7438    232 |      128 |       44
654.08/654.21	c  654s |      20 |   860507 |   697027 |     7438    232 |      128 |       44
656.08/656.29	c  656s |      20 |   862744 |   698927 |     7438    233 |      128 |       44
658.18/658.40	c  658s |      20 |   865261 |   701027 |     7438    233 |      128 |       44
660.28/660.43	c  660s |      20 |   867385 |   702827 |     7438    234 |      128 |       44
662.38/662.53	c  662s |      20 |   869924 |   704927 |     7438    234 |      128 |       44
664.49/664.61	c  664s |      20 |   872233 |   706827 |     7438    235 |      128 |       44
666.50/666.68	c  666s |      20 |   874621 |   708827 |     7438    235 |      128 |       44
668.59/668.71	c  668s |      20 |   877146 |   710827 |     7438    236 |      128 |       44
670.59/670.76	c  670s |      20 |   879819 |   713027 |     7438    236 |      128 |       44
672.69/672.82	c  672s |      20 |   882397 |   715127 |     7438    237 |      128 |       44
674.79/674.90	c  674s |      20 |   884797 |   717127 |     7438    237 |      128 |       44
676.79/676.93	c  676s |      20 |   887170 |   719127 |     7438    238 |      128 |       44
678.89/679.01	c  678s |      20 |   889569 |   721127 |     7438    238 |      128 |       44
680.89/681.09	c  681s |      20 |   891970 |   723127 |     7438    239 |      128 |       44
682.89/683.09	c  683s |      20 |   894235 |   725027 |     7438    239 |      128 |       44
684.99/685.15	c  685s |      20 |   896496 |   726927 |     7438    240 |      128 |       44
686.99/687.20	c  687s |      20 |   898855 |   728827 |     7438    240 |      128 |       44
689.09/689.27	c  689s |      20 |   901182 |   730827 |     7438    241 |      128 |       44
691.18/691.34	c  691s |      20 |   903713 |   732927 |     7438    241 |      128 |       44
693.28/693.44	c  693s |      20 |   906304 |   735027 |     7438    242 |      128 |       44
695.38/695.54	c  695s |      20 |   908587 |   736927 |     7438    242 |      128 |       44
697.48/697.62	c  697s |      20 |   910991 |   738927 |     7438    243 |      128 |       44
699.49/699.67	c  699s |      20 |   913217 |   740827 |     7438    243 |      128 |       44
701.58/701.76	c  701s |      20 |   915528 |   742827 |     7438    244 |      128 |       44
703.68/703.82	c  703s |      20 |   917681 |   744627 |     7438    244 |      128 |       44
705.68/705.84	c  705s |      20 |   920090 |   746627 |     7438    245 |      128 |       44
707.68/707.88	c  707s |      20 |   922467 |   748627 |     7438    245 |      128 |       44
709.68/709.88	c  709s |      20 |   924624 |   750427 |     7438    246 |      128 |       44
711.78/711.98	c  711s |      20 |   927069 |   752427 |     7438    246 |      128 |       44
713.89/714.05	c  713s |      20 |   929318 |   754327 |     7438    247 |      128 |       44
715.88/716.09	c  716s |      20 |   931571 |   756227 |     7438    247 |      128 |       44
717.98/718.11	c  718s |      20 |   933941 |   758127 |     7438    248 |      128 |       44
719.98/720.19	c  720s |      20 |   936538 |   760227 |     7438    248 |      128 |       44
722.08/722.20	c  722s |      20 |   938961 |   762227 |     7438    249 |      128 |       44
724.07/724.28	c  724s |      20 |   941388 |   764227 |     7438    249 |      128 |       44
726.18/726.32	c  726s |      20 |   943876 |   766227 |     7438    250 |      128 |       44
728.18/728.36	c  728s |      20 |   946174 |   768127 |     7438    250 |      128 |       44
730.18/730.36	c  730s |      20 |   948343 |   769927 |     7438    251 |      128 |       44
732.27/732.41	c  732s |      20 |   950764 |   771927 |     7438    251 |      128 |       44
734.27/734.43	c  734s |      20 |   953072 |   773827 |     7438    252 |      128 |       44
736.27/736.44	c  736s |      20 |   955428 |   775827 |     7438    252 |      128 |       44
738.27/738.45	c  738s |      20 |   957639 |   777627 |     7438    253 |      128 |       44
740.28/740.49	c  740s |      20 |   960053 |   779627 |     7438    253 |      128 |       44
742.38/742.57	c  742s |      20 |   962485 |   781627 |     7438    254 |      128 |       44
744.47/744.66	c  744s |      20 |   964957 |   783627 |     7438    254 |      128 |       44
746.47/746.68	c  746s |      20 |   967082 |   785427 |     7438    255 |      128 |       44
748.57/748.75	c  748s |      20 |   969368 |   787327 |     7438    255 |      128 |       44
750.58/750.78	c  750s |      20 |   971645 |   789227 |     7438    256 |      128 |       44
752.67/752.80	c  752s |      20 |   974070 |   791227 |     7438    256 |      128 |       44
754.68/754.82	c  754s |      20 |   976349 |   793127 |     7438    257 |      128 |       44
756.68/756.88	c  756s |      20 |   978592 |   795027 |     7438    257 |      128 |       44
758.77/758.90	c  758s |      20 |   980722 |   796827 |     7438    258 |      128 |       44
760.77/760.94	c  760s |      20 |   983209 |   798827 |     7438    258 |      128 |       44
762.77/762.96	c  762s |      20 |   985341 |   800627 |     7438    259 |      128 |       44
764.87/765.03	c  764s |      20 |   987777 |   802627 |     7438    259 |      128 |       44
766.87/767.06	c  766s |      20 |   990057 |   804427 |     7438    260 |      128 |       44
768.97/769.14	c  769s |      20 |   992470 |   806427 |     7438    260 |      128 |       44
771.07/771.22	c  771s |      20 |   994884 |   808327 |     7438    261 |      128 |       44
773.17/773.31	c  773s |      20 |   997495 |   810427 |     7438    261 |      128 |       44
775.17/775.37	c  775s |      20 |   999776 |   812327 |     7438    262 |      128 |       44
777.17/777.39	c  777s |      20 |  1002161 |   814327 |     7438    262 |      128 |       44
779.27/779.49	c  779s |      20 |  1004491 |   816227 |     7438    263 |      128 |       44
781.37/781.55	c  781s |      20 |  1006737 |   818127 |     7438    263 |      128 |       44
783.36/783.58	c  783s |      20 |  1008924 |   819927 |     7438    264 |      128 |       44
785.46/785.62	c  785s |      20 |  1011554 |   822127 |     7438    264 |      128 |       44
787.57/787.71	c  787s |      20 |  1013969 |   824127 |     7438    265 |      128 |       44
789.67/789.83	c  789s |      20 |  1016518 |   826227 |     7438    265 |      128 |       44
791.66/791.89	c  791s |      20 |  1018976 |   828227 |     7438    266 |      128 |       44
793.76/793.93	c  793s |      20 |  1021504 |   830327 |     7438    266 |      128 |       44
795.76/795.97	c  795s |      20 |  1023767 |   832227 |     7438    267 |      128 |       44
797.76/797.99	c  797s |      20 |  1026000 |   834127 |     7438    267 |      128 |       44
799.76/799.99	c  799s |      20 |  1028165 |   835927 |     7438    268 |      128 |       44
801.87/802.08	c  802s |      20 |  1030607 |   837927 |     7438    268 |      128 |       44
803.97/804.16	c  804s |      20 |  1033073 |   839927 |     7438    269 |      128 |       44
806.06/806.27	c  806s |      20 |  1035452 |   841927 |     7438    269 |      128 |       44
808.16/808.30	c  808s |      20 |  1037592 |   843727 |     7438    270 |      128 |       44
810.16/810.34	c  810s |      20 |  1040035 |   845727 |     7438    270 |      128 |       44
812.16/812.37	c  812s |      20 |  1042617 |   847827 |     7438    271 |      128 |       44
814.26/814.40	c  814s |      20 |  1045102 |   849827 |     7438    271 |      128 |       44
816.26/816.46	c  816s |      20 |  1047396 |   851727 |     7438    272 |      128 |       44
818.37/818.55	c  818s |      20 |  1049848 |   853727 |     7438    272 |      128 |       44
820.46/820.65	c  820s |      20 |  1052165 |   855627 |     7438    273 |      128 |       44
822.56/822.70	c  822s |      20 |  1054743 |   857727 |     7438    273 |      128 |       44
824.56/824.76	c  824s |      20 |  1057198 |   859727 |     7438    274 |      128 |       44
826.66/826.85	c  826s |      20 |  1059709 |   861727 |     7438    274 |      128 |       44
828.76/828.94	c  828s |      20 |  1061987 |   863627 |     7438    275 |      128 |       44
830.86/831.07	c  831s |      20 |  1064115 |   865427 |     7438    275 |      128 |       44
832.96/833.15	c  833s |      20 |  1066667 |   867427 |     7438    276 |      128 |       44
835.06/835.25	c  835s |      20 |  1069498 |   869527 |     7438    276 |      128 |       44
837.16/837.32	c  837s |      20 |  1072202 |   871627 |     7438    277 |      128 |       44
839.16/839.39	c  839s |      20 |  1074616 |   873527 |     7438    277 |      128 |       44
841.26/841.45	c  841s |      20 |  1076899 |   875427 |     7438    278 |      128 |       44
843.26/843.45	c  843s |      20 |  1079238 |   877327 |     7438    278 |      128 |       44
845.36/845.50	c  845s |      20 |  1081751 |   879327 |     7438    279 |      128 |       44
847.36/847.57	c  847s |      20 |  1084259 |   881327 |     7438    279 |      128 |       44
849.46/849.64	c  849s |      20 |  1086634 |   883327 |     7438    280 |      128 |       44
851.46/851.67	c  851s |      20 |  1088758 |   885127 |     7438    280 |      128 |       44
853.46/853.70	c  853s |      20 |  1091024 |   887027 |     7438    281 |      128 |       44
855.55/855.77	c  855s |      20 |  1093440 |   889027 |     7438    281 |      128 |       44
857.66/857.82	c  857s |      20 |  1095828 |   891027 |     7438    282 |      128 |       44
859.66/859.83	c  859s |      20 |  1098098 |   892927 |     7438    282 |      128 |       44
861.66/861.83	c  861s |      20 |  1100330 |   894827 |     7438    283 |      128 |       44
863.66/863.89	c  863s |      20 |  1102761 |   896827 |     7438    283 |      128 |       44
865.76/865.91	c  865s |      20 |  1105094 |   898727 |     7438    284 |      128 |       44
867.77/867.92	c  867s |      20 |  1107465 |   900627 |     7438    284 |      128 |       44
869.86/870.00	c  869s |      20 |  1109875 |   902627 |     7438    285 |      128 |       44
871.86/872.02	c  871s |      20 |  1112141 |   904527 |     7438    285 |      128 |       44
873.86/874.03	c  873s |      20 |  1114500 |   906527 |     7438    286 |      128 |       44
875.96/876.12	c  876s |      20 |  1117023 |   908627 |     7438    286 |      128 |       44
877.96/878.17	c  878s |      20 |  1119340 |   910527 |     7438    287 |      128 |       44
880.05/880.21	c  880s |      20 |  1121607 |   912427 |     7438    287 |      128 |       44
882.06/882.23	c  882s |      20 |  1123978 |   914327 |     7438    288 |      128 |       44
884.05/884.26	c  884s |      20 |  1126472 |   916327 |     7438    288 |      128 |       44
886.05/886.28	c  886s |      20 |  1128955 |   918327 |     7438    289 |      128 |       44
888.15/888.39	c  888s |      20 |  1131359 |   920327 |     7438    289 |      128 |       44
890.25/890.42	c  890s |      20 |  1133479 |   922127 |     7438    290 |      128 |       44
892.35/892.53	c  892s |      20 |  1135631 |   924027 |     7438    290 |      128 |       44
894.45/894.63	c  894s |      20 |  1137935 |   925927 |     7438    291 |      128 |       44
896.46/896.67	c  896s |      20 |  1140423 |   927927 |     7438    291 |      128 |       44
898.56/898.73	c  898s |      20 |  1142660 |   929727 |     7438    292 |      128 |       44
900.55/900.73	c  900s |      20 |  1144938 |   931627 |     7438    292 |      128 |       44
902.55/902.75	c  902s |      20 |  1146908 |   933327 |     7438    293 |      128 |       44
904.65/904.83	c  904s |      20 |  1149262 |   935327 |     7438    293 |      128 |       44
906.65/906.88	c  906s |      20 |  1151573 |   937227 |     7438    294 |      128 |       44
908.75/908.93	c  908s |      20 |  1153880 |   939227 |     7438    294 |      128 |       44
910.76/910.95	c  910s |      20 |  1155809 |   940827 |     7438    295 |      128 |       44
912.85/913.07	c  913s |      20 |  1158157 |   942827 |     7438    295 |      128 |       44
914.95/915.11	c  915s |      20 |  1160504 |   944727 |     7438    295 |      128 |       44
916.95/917.11	c  917s |      20 |  1162917 |   946727 |     7438    296 |      128 |       44
918.95/919.14	c  919s |      20 |  1165051 |   948527 |     7438    296 |      128 |       44
921.05/921.24	c  921s |      20 |  1167486 |   950527 |     7438    297 |      128 |       44
923.04/923.28	c  923s |      20 |  1169526 |   952227 |     7438    297 |      128 |       44
925.14/925.32	c  925s |      20 |  1172093 |   954327 |     7438    298 |      128 |       44
927.25/927.41	c  927s |      20 |  1174302 |   956127 |     7438    298 |      128 |       44
929.24/929.44	c  929s |      20 |  1176879 |   958127 |     7438    299 |      128 |       44
931.24/931.49	c  931s |      20 |  1179388 |   960127 |     7438    299 |      128 |       44
933.34/933.57	c  933s |      20 |  1181960 |   962127 |     7438    300 |      128 |       44
935.34/935.59	c  935s |      20 |  1184078 |   963827 |     7438    300 |      128 |       44
937.34/937.60	c  937s |      20 |  1186424 |   965627 |     7438    301 |      128 |       44
939.44/939.65	c  939s |      20 |  1188644 |   967427 |     7438    301 |      128 |       44
941.45/941.69	c  941s |      20 |  1190799 |   969227 |     7438    302 |      128 |       44
943.54/943.70	c  943s |      20 |  1193162 |   971127 |     7438    302 |      128 |       44
945.54/945.72	c  945s |      20 |  1195471 |   973027 |     7438    303 |      128 |       44
947.54/947.73	c  947s |      20 |  1197595 |   974827 |     7438    303 |      128 |       44
949.54/949.74	c  949s |      20 |  1199632 |   976527 |     7438    304 |      128 |       44
951.54/951.76	c  951s |      20 |  1202072 |   978527 |     7438    304 |      128 |       44
953.55/953.80	c  953s |      20 |  1204274 |   980327 |     7438    305 |      128 |       44
955.64/955.85	c  955s |      20 |  1206698 |   982327 |     7438    305 |      128 |       44
957.74/957.95	c  957s |      20 |  1208774 |   984127 |     7438    306 |      128 |       44
959.84/960.06	c  959s |      20 |  1211147 |   986127 |     7438    306 |      128 |       44
961.84/962.09	c  962s |      20 |  1213127 |   987827 |     7438    307 |      128 |       44
963.94/964.10	c  964s |      20 |  1215459 |   989827 |     7438    307 |      128 |       44
965.94/966.16	c  966s |      20 |  1217642 |   991627 |     7438    307 |      128 |       44
968.04/968.26	c  968s |      20 |  1220181 |   993727 |     8182    308 |      128 |       44
970.14/970.37	c  970s |      20 |  1222440 |   995627 |     8182    308 |      128 |       44
972.14/972.37	c  972s |      20 |  1224502 |   997327 |     8182    309 |      128 |       44
974.14/974.37	c  974s |      20 |  1226659 |   999127 |     8182    309 |      128 |       44
975.54/975.79	c  975s |      21 |  1228148 |  1000345 |     8182    309 |      128 |       44
977.64/977.87	c  977s |      21 |  1230891 |  1002345 |     8182    310 |      128 |       44
979.64/979.89	c  979s |      21 |  1233423 |  1004245 |     8182    310 |      128 |       44
981.73/981.90	c  981s |      21 |  1235733 |  1006145 |     8182    311 |      128 |       44
983.73/983.96	c  983s |      21 |  1237888 |  1007945 |     8182    311 |      128 |       44
985.83/986.03	c  985s |      21 |  1240078 |  1009745 |     8182    312 |      128 |       44
987.83/988.06	c  987s |      21 |  1242661 |  1011745 |     8182    312 |      128 |       44
989.94/990.11	c  990s |      21 |  1244776 |  1013445 |     8182    313 |      128 |       44
991.93/992.17	c  992s |      21 |  1247078 |  1015345 |     8182    313 |      128 |       44
994.03/994.23	c  994s |      21 |  1249112 |  1017045 |     8182    313 |      128 |       44
996.03/996.24	c  996s |      21 |  1251181 |  1018745 |     8182    314 |      128 |       44
998.13/998.31	c  998s |      21 |  1253354 |  1020545 |     8182    314 |      128 |       44
1000.14/1000.38	c 1000s |      21 |  1255300 |  1022145 |     8182    315 |      128 |       44
1002.24/1002.48	c 1002s |      21 |  1257755 |  1024145 |     8182    315 |      128 |       44
1004.34/1004.52	c 1004s |      21 |  1259786 |  1025845 |     8182    315 |      128 |       44
1006.34/1006.55	c 1006s |      21 |  1261892 |  1027645 |     8182    316 |      128 |       44
1008.44/1008.63	c 1008s |      21 |  1264077 |  1029445 |     8182    316 |      128 |       44
1010.43/1010.67	c 1010s |      21 |  1266134 |  1031145 |     8182    317 |      128 |       44
1012.54/1012.74	c 1012s |      21 |  1268414 |  1033045 |     8182    317 |      128 |       44
1014.63/1014.85	c 1014s |      21 |  1270409 |  1034745 |     8182    317 |      128 |       44
1016.73/1016.94	c 1016s |      21 |  1272686 |  1036645 |     8182    318 |      128 |       44
1018.83/1019.00	c 1018s |      21 |  1274692 |  1038345 |     8182    318 |      128 |       44
1020.83/1021.07	c 1021s |      21 |  1276670 |  1040045 |     8182    319 |      128 |       44
1022.94/1023.18	c 1023s |      21 |  1278756 |  1041845 |     8182    319 |      128 |       44
1025.04/1025.25	c 1025s |      21 |  1280651 |  1043445 |     8182    320 |      128 |       44
1027.13/1027.36	c 1027s |      21 |  1282862 |  1045345 |     8182    320 |      128 |       44
1029.23/1029.47	c 1029s |      21 |  1284832 |  1047045 |     8182    320 |      128 |       44
1031.33/1031.58	c 1031s |      21 |  1286954 |  1048845 |     8182    321 |      128 |       44
1033.43/1033.62	c 1033s |      21 |  1289249 |  1050745 |     8182    321 |      128 |       44
1035.53/1035.70	c 1035s |      21 |  1291232 |  1052445 |     8182    322 |      128 |       44
1037.53/1037.72	c 1037s |      21 |  1293377 |  1054245 |     8182    322 |      128 |       44
1039.53/1039.78	c 1039s |      21 |  1295231 |  1055845 |     8182    322 |      128 |       44
1041.64/1041.81	c 1041s |      21 |  1297376 |  1057645 |     8182    323 |      128 |       44
1043.63/1043.82	c 1043s |      21 |  1299579 |  1059445 |     8182    323 |      128 |       44
1045.63/1045.83	c 1045s |      21 |  1301631 |  1061145 |     8182    324 |      128 |       44
1047.63/1047.86	c 1047s |      21 |  1303895 |  1063045 |     8182    324 |      128 |       44
1049.73/1049.99	c 1049s |      21 |  1306069 |  1064845 |     8182    325 |      128 |       44
1051.83/1052.02	c 1051s |      21 |  1308745 |  1066945 |     8182    325 |      128 |       44
1053.83/1054.03	c 1053s |      21 |  1310831 |  1068645 |     8182    325 |      128 |       44
1055.83/1056.06	c 1055s |      21 |  1312980 |  1070445 |     8182    326 |      128 |       44
1057.83/1058.08	c 1058s |      21 |  1315339 |  1072345 |     8182    326 |      128 |       44
1059.93/1060.13	c 1060s |      21 |  1317376 |  1074045 |     8182    327 |      128 |       44
1062.02/1062.22	c 1062s |      21 |  1319759 |  1075945 |     8182    327 |      128 |       44
1064.02/1064.25	c 1064s |      21 |  1321658 |  1077545 |     8182    327 |      128 |       44
1066.02/1066.28	c 1066s |      21 |  1324077 |  1079545 |     8182    328 |      128 |       44
1068.12/1068.37	c 1068s |      21 |  1326307 |  1081445 |     8182    328 |      128 |       44
1070.13/1070.40	c 1070s |      21 |  1328472 |  1083245 |     8182    329 |      128 |       44
1072.22/1072.43	c 1072s |      21 |  1330739 |  1085145 |     8182    329 |      128 |       44
1074.22/1074.45	c 1074s |      21 |  1332687 |  1086745 |     8182    330 |      128 |       44
1076.32/1076.51	c 1076s |      21 |  1335021 |  1088645 |     8182    330 |      128 |       44
1078.42/1078.64	c 1078s |      21 |  1337180 |  1090445 |     8182    330 |      128 |       44
1080.42/1080.68	c 1080s |      21 |  1339558 |  1092345 |     8182    331 |      128 |       44
1082.52/1082.74	c 1082s |      21 |  1341888 |  1094245 |     8182    331 |      128 |       44
1084.62/1084.81	c 1084s |      21 |  1344075 |  1096045 |     8182    332 |      128 |       44
1086.63/1086.87	c 1086s |      21 |  1346263 |  1097845 |     8182    332 |      128 |       44
1088.62/1088.87	c 1088s |      21 |  1348362 |  1099545 |     8182    333 |      128 |       44
1090.72/1090.97	c 1090s |      21 |  1350651 |  1101445 |     8182    333 |      128 |       44
1092.72/1092.99	c 1092s |      21 |  1352563 |  1103045 |     8182    333 |      128 |       44
1094.82/1095.03	c 1094s |      21 |  1354710 |  1104845 |     8182    334 |      128 |       44
1096.82/1097.06	c 1096s |      21 |  1356722 |  1106545 |     8182    334 |      128 |       44
1098.83/1099.09	c 1099s |      21 |  1358889 |  1108345 |     8182    335 |      128 |       44
1100.93/1101.11	c 1101s |      21 |  1361067 |  1110145 |     8182    335 |      128 |       44
1102.92/1103.14	c 1103s |      21 |  1363148 |  1111845 |     8182    335 |      128 |       44
1104.92/1105.17	c 1105s |      21 |  1365587 |  1113845 |     8182    336 |      128 |       44
1107.02/1107.26	c 1107s |      21 |  1367589 |  1115545 |     8182    336 |      128 |       44
1109.12/1109.34	c 1109s |      21 |  1370264 |  1117545 |     8182    337 |      128 |       44
1111.22/1111.41	c 1111s |      21 |  1372715 |  1119545 |     8182    337 |      128 |       44
1113.22/1113.41	c 1113s |      21 |  1374665 |  1121245 |     8182    338 |      128 |       44
1115.22/1115.46	c 1115s |      21 |  1377095 |  1123245 |     8182    338 |      128 |       44
1117.42/1117.61	c 1117s |      21 |  1379162 |  1125045 |     8182    339 |      128 |       44
1119.52/1119.70	c 1119s |      21 |  1381381 |  1126945 |     8182    339 |      128 |       44
1121.52/1121.71	c 1121s |      21 |  1383379 |  1128645 |     8182    339 |      128 |       44
1123.52/1123.77	c 1123s |      21 |  1385718 |  1130545 |     8182    340 |      128 |       44
1125.61/1125.83	c 1125s |      21 |  1387813 |  1132345 |     8182    340 |      128 |       44
1127.61/1127.89	c 1127s |      21 |  1389864 |  1134045 |     8182    341 |      128 |       44
1129.71/1129.97	c 1129s |      21 |  1392321 |  1136045 |     8182    341 |      128 |       44
1131.82/1132.01	c 1131s |      21 |  1394360 |  1137745 |     8182    341 |      128 |       44
1133.81/1134.08	c 1134s |      21 |  1396727 |  1139745 |     8182    342 |      128 |       44
1135.91/1136.19	c 1136s |      21 |  1398843 |  1141545 |     8182    342 |      128 |       44
1138.01/1138.20	c 1138s |      21 |  1401052 |  1143345 |     8182    343 |      128 |       44
1140.01/1140.24	c 1140s |      21 |  1403155 |  1145145 |     8182    343 |      128 |       44
1142.01/1142.28	c 1142s |      21 |  1405186 |  1146845 |     8182    344 |      128 |       44
1144.01/1144.28	c 1144s |      21 |  1407515 |  1148745 |     8182    344 |      128 |       44
1146.12/1146.34	c 1146s |      21 |  1409630 |  1150445 |     8182    344 |      128 |       44
1148.11/1148.34	c 1148s |      21 |  1412100 |  1152445 |     8182    345 |      128 |       44
1150.21/1150.41	c 1150s |      21 |  1414143 |  1154245 |     8182    345 |      128 |       44
1152.21/1152.46	c 1152s |      21 |  1416285 |  1156045 |     8182    346 |      128 |       44
1154.31/1154.51	c 1154s |      21 |  1418372 |  1157845 |     8182    346 |      128 |       44
1156.31/1156.54	c 1156s |      21 |  1420235 |  1159445 |     8182    347 |      128 |       44
1158.31/1158.54	c 1158s |      21 |  1422460 |  1161345 |     8182    347 |      128 |       44
1160.41/1160.63	c 1160s |      21 |  1424392 |  1163045 |     8182    347 |      128 |       44
1162.41/1162.64	c 1162s |      21 |  1426546 |  1164845 |     8182    348 |      128 |       44
1164.41/1164.65	c 1164s |      21 |  1428767 |  1166745 |     8182    348 |      128 |       44
1166.41/1166.67	c 1166s |      21 |  1431002 |  1168645 |     8182    349 |      128 |       44
1168.51/1168.75	c 1168s |      21 |  1433210 |  1170545 |     8182    349 |      128 |       44
1170.61/1170.89	c 1170s |      21 |  1435127 |  1172245 |     8182    350 |      128 |       44
1172.71/1172.94	c 1172s |      21 |  1437510 |  1174245 |     8182    350 |      128 |       44
1174.72/1174.98	c 1174s |      21 |  1439580 |  1176045 |     8182    350 |      128 |       44
1176.71/1176.98	c 1176s |      21 |  1441838 |  1177945 |     8182    351 |      128 |       44
1178.91/1179.10	c 1179s |      21 |  1443929 |  1179745 |     8182    351 |      128 |       44
1180.91/1181.18	c 1181s |      21 |  1446059 |  1181545 |     8182    352 |      128 |       44
1183.01/1183.26	c 1183s |      21 |  1448573 |  1183645 |     8182    352 |      128 |       44
1185.01/1185.27	c 1185s |      21 |  1450589 |  1185345 |     8182    353 |      128 |       44
1187.11/1187.38	c 1187s |      21 |  1452985 |  1187345 |     8182    353 |      128 |       44
1189.21/1189.42	c 1189s |      21 |  1454894 |  1188945 |     8182    353 |      128 |       44
1191.22/1191.48	c 1191s |      21 |  1457156 |  1190845 |     8182    354 |      128 |       44
1193.32/1193.56	c 1193s |      21 |  1459467 |  1192745 |     8182    354 |      128 |       44
1195.41/1195.61	c 1195s |      21 |  1461453 |  1194445 |     8182    355 |      128 |       44
1197.41/1197.69	c 1197s |      21 |  1463587 |  1196345 |     8182    355 |      128 |       44
1199.51/1199.76	c 1199s |      21 |  1465390 |  1197945 |     8182    355 |      128 |       44
1201.60/1201.85	c 1201s |      21 |  1467631 |  1199845 |     8182    356 |      128 |       44
1203.60/1203.89	c 1203s |      21 |  1469873 |  1201745 |     8182    356 |      128 |       44
1205.70/1205.92	c 1205s |      21 |  1472020 |  1203545 |     8182    357 |      128 |       44
1207.71/1207.95	c 1207s |      21 |  1474159 |  1205345 |     8182    357 |      128 |       44
1209.80/1210.04	c 1209s |      21 |  1476118 |  1207045 |     8182    358 |      128 |       44
1211.81/1212.06	c 1211s |      21 |  1478550 |  1209045 |     8182    358 |      128 |       44
1213.91/1214.16	c 1214s |      21 |  1480679 |  1210845 |     8182    358 |      128 |       44
1216.01/1216.22	c 1216s |      21 |  1482876 |  1212745 |     8182    359 |      128 |       44
1218.10/1218.31	c 1218s |      21 |  1485007 |  1214545 |     8182    359 |      128 |       44
1220.21/1220.40	c 1220s |      21 |  1487160 |  1216345 |     8182    360 |      128 |       44
1222.21/1222.46	c 1222s |      21 |  1490003 |  1218545 |     8182    360 |      128 |       44
1224.30/1224.50	c 1224s |      21 |  1492322 |  1220445 |     8182    361 |      128 |       44
1226.31/1226.54	c 1226s |      21 |  1494742 |  1222445 |     8182    361 |      128 |       44
1228.30/1228.55	c 1228s |      21 |  1496895 |  1224145 |     8182    361 |      128 |       44
1230.40/1230.63	c 1230s |      21 |  1499366 |  1226145 |     8182    362 |      128 |       44
1232.40/1232.70	c 1232s |      21 |  1501427 |  1227845 |     8182    362 |      128 |       44
1234.50/1234.77	c 1234s |      21 |  1503561 |  1229645 |     8182    363 |      128 |       44
1236.60/1236.86	c 1236s |      21 |  1505650 |  1231445 |     8182    363 |      128 |       44
1238.70/1238.96	c 1238s |      21 |  1507659 |  1233145 |     8182    364 |      128 |       44
1240.71/1240.97	c 1240s |      21 |  1509774 |  1234945 |     8182    364 |      128 |       44
1242.81/1243.02	c 1242s |      21 |  1511725 |  1236645 |     8182    364 |      128 |       44
1244.90/1245.12	c 1245s |      21 |  1514107 |  1238645 |     8182    365 |      128 |       44
1246.90/1247.17	c 1247s |      21 |  1516304 |  1240445 |     8182    365 |      128 |       44
1249.00/1249.23	c 1249s |      21 |  1518459 |  1242245 |     8182    366 |      128 |       44
1251.00/1251.29	c 1251s |      21 |  1520595 |  1244045 |     8182    366 |      128 |       44
1253.10/1253.30	c 1253s |      21 |  1522505 |  1245645 |     8182    367 |      128 |       44
1255.10/1255.31	c 1255s |      21 |  1524856 |  1247645 |     8182    367 |      128 |       44
1257.10/1257.38	c 1257s |      21 |  1526818 |  1249345 |     8182    367 |      128 |       44
1259.20/1259.41	c 1259s |      21 |  1528933 |  1251145 |     8182    368 |      128 |       44
1261.20/1261.48	c 1261s |      21 |  1531055 |  1252945 |     8182    368 |      128 |       44
1263.30/1263.57	c 1263s |      21 |  1533068 |  1254645 |     8182    369 |      128 |       44
1265.40/1265.64	c 1265s |      21 |  1535657 |  1256745 |     8182    369 |      128 |       44
1267.50/1267.72	c 1267s |      21 |  1537789 |  1258545 |     8182    370 |      128 |       44
1269.50/1269.77	c 1269s |      21 |  1540042 |  1260445 |     8182    370 |      128 |       44
1271.60/1271.89	c 1271s |      21 |  1542239 |  1262245 |     8182    370 |      128 |       44
1273.70/1273.92	c 1273s |      21 |  1544359 |  1264045 |     8182    371 |      128 |       44
1275.80/1276.04	c 1275s |      21 |  1546506 |  1265845 |     8182    371 |      128 |       44
1277.79/1278.05	c 1277s |      21 |  1548427 |  1267445 |     8182    372 |      128 |       44
1279.89/1280.15	c 1280s |      21 |  1550683 |  1269345 |     8182    372 |      128 |       44
1281.99/1282.25	c 1282s |      21 |  1552723 |  1271045 |     8182    372 |      128 |       44
1284.09/1284.34	c 1284s |      21 |  1554718 |  1272745 |     8182    373 |      128 |       44
1286.19/1286.40	c 1286s |      21 |  1556854 |  1274545 |     8182    373 |      128 |       44
1288.19/1288.43	c 1288s |      21 |  1558915 |  1276245 |     8182    374 |      128 |       44
1290.20/1290.46	c 1290s |      21 |  1561019 |  1278045 |     8182    374 |      128 |       44
1292.19/1292.48	c 1292s |      21 |  1562846 |  1279645 |     8182    374 |      128 |       44
1294.29/1294.50	c 1294s |      21 |  1564991 |  1281445 |     8182    375 |      128 |       44
1296.29/1296.53	c 1296s |      21 |  1567140 |  1283245 |     8182    375 |      128 |       44
1298.39/1298.62	c 1298s |      21 |  1569439 |  1285145 |     8182    376 |      128 |       44
1300.39/1300.62	c 1300s |      21 |  1571583 |  1286945 |     8182    376 |      128 |       44
1302.49/1302.72	c 1302s |      21 |  1573822 |  1288745 |     8182    377 |      128 |       44
1304.59/1304.82	c 1304s |      21 |  1576289 |  1290745 |     8182    377 |      128 |       44
1306.60/1306.86	c 1306s |      21 |  1578228 |  1292345 |     8182    377 |      128 |       44
1308.69/1308.94	c 1308s |      21 |  1580246 |  1294045 |     8182    378 |      128 |       44
1310.79/1311.07	c 1311s |      21 |  1582245 |  1295745 |     8182    378 |      128 |       44
1312.89/1313.16	c 1313s |      21 |  1583985 |  1297245 |     8182    379 |      128 |       44
1314.89/1315.18	c 1315s |      21 |  1586103 |  1299045 |     8182    379 |      128 |       44
1316.99/1317.29	c 1317s |      21 |  1588308 |  1300845 |     8182    379 |      128 |       44
1319.09/1319.38	c 1319s |      21 |  1590424 |  1302645 |     8182    380 |      128 |       44
1321.19/1321.46	c 1321s |      21 |  1592600 |  1304445 |     8182    380 |      128 |       44
1323.29/1323.53	c 1323s |      21 |  1594607 |  1306145 |     8182    381 |      128 |       44
1325.29/1325.58	c 1325s |      21 |  1596890 |  1308045 |     8182    381 |      128 |       44
1327.39/1327.69	c 1327s |      21 |  1599087 |  1309845 |     8182    381 |      128 |       44
1329.48/1329.71	c 1329s |      21 |  1601214 |  1311645 |     8182    382 |      128 |       44
1331.58/1331.82	c 1331s |      21 |  1603391 |  1313445 |     8182    382 |      128 |       44
1333.68/1333.92	c 1333s |      21 |  1605445 |  1315145 |     8182    383 |      128 |       44
1335.78/1336.01	c 1335s |      21 |  1607583 |  1316945 |     8182    383 |      128 |       44
1337.79/1338.03	c 1337s |      21 |  1609529 |  1318545 |     8182    383 |      128 |       44
1339.79/1340.08	c 1340s |      21 |  1611661 |  1320345 |     8182    384 |      128 |       44
1341.89/1342.17	c 1342s |      21 |  1613916 |  1322145 |     8182    384 |      128 |       44
1343.99/1344.27	c 1344s |      21 |  1616232 |  1324045 |     8182    385 |      128 |       44
1346.08/1346.32	c 1346s |      21 |  1618464 |  1325845 |     8182    385 |      128 |       44
1348.08/1348.36	c 1348s |      21 |  1620528 |  1327545 |     8182    386 |      128 |       44
1350.18/1350.47	c 1350s |      21 |  1622747 |  1329445 |     8182    386 |      128 |       44
1352.28/1352.51	c 1352s |      21 |  1624667 |  1331045 |     8182    386 |      128 |       44
1354.38/1354.62	c 1354s |      21 |  1626682 |  1332845 |     8182    387 |      128 |       44
1356.48/1356.72	c 1356s |      21 |  1628733 |  1334545 |     8182    387 |      128 |       44
1358.58/1358.81	c 1358s |      21 |  1630781 |  1336245 |     8182    388 |      128 |       44
1360.68/1360.93	c 1360s |      21 |  1632869 |  1338045 |     8182    388 |      128 |       44
1362.79/1363.03	c 1362s |      21 |  1634982 |  1339845 |     8182    388 |      128 |       44
1364.89/1365.12	c 1365s |      21 |  1637547 |  1341945 |     8182    389 |      128 |       44
1366.88/1367.17	c 1367s |      21 |  1639627 |  1343645 |     8182    389 |      128 |       44
1368.98/1369.25	c 1369s |      21 |  1641823 |  1345445 |     8182    390 |      128 |       44
1371.08/1371.35	c 1371s |      21 |  1644116 |  1347345 |     8182    390 |      128 |       44
1373.08/1373.35	c 1373s |      21 |  1646243 |  1349045 |     8182    391 |      128 |       44
1375.08/1375.36	c 1375s |      21 |  1648406 |  1350845 |     8182    391 |      128 |       44
1377.18/1377.44	c 1377s |      21 |  1650243 |  1352445 |     8182    391 |      128 |       44
1379.18/1379.49	c 1379s |      21 |  1652260 |  1354145 |     8182    392 |      128 |       44
1381.28/1381.53	c 1381s |      21 |  1654462 |  1355945 |     8182    392 |      128 |       44
1383.37/1383.66	c 1383s |      21 |  1656540 |  1357645 |     8182    393 |      128 |       44
1385.47/1385.72	c 1385s |      21 |  1658888 |  1359545 |     8182    393 |      128 |       44
1387.48/1387.74	c 1387s |      21 |  1660934 |  1361245 |     8182    393 |      128 |       44
1389.48/1389.78	c 1389s |      21 |  1663357 |  1363245 |     8182    394 |      128 |       44
1391.48/1391.79	c 1391s |      21 |  1665523 |  1365045 |     8182    394 |      128 |       44
1393.58/1393.86	c 1393s |      21 |  1667780 |  1366945 |     8182    395 |      128 |       44
1395.68/1395.95	c 1395s |      21 |  1669966 |  1368745 |     8182    395 |      128 |       44
1397.77/1398.04	c 1397s |      21 |  1671819 |  1370345 |     8182    396 |      128 |       44
1399.77/1400.07	c 1400s |      21 |  1674105 |  1372245 |     8182    396 |      128 |       44
1401.87/1402.16	c 1402s |      21 |  1676112 |  1373945 |     8182    396 |      128 |       44
1403.97/1404.25	c 1404s |      21 |  1678371 |  1375845 |     8182    397 |      128 |       44
1406.07/1406.34	c 1406s |      21 |  1680598 |  1377745 |     8182    397 |      128 |       44
1408.17/1408.42	c 1408s |      21 |  1682945 |  1379645 |     8182    398 |      128 |       44
1410.17/1410.48	c 1410s |      21 |  1685598 |  1381845 |     8182    398 |      128 |       44
1412.28/1412.58	c 1412s |      21 |  1688088 |  1383845 |     8182    399 |      128 |       44
1414.38/1414.64	c 1414s |      21 |  1690391 |  1385745 |     8182    399 |      128 |       44
1416.37/1416.70	c 1416s |      21 |  1692302 |  1387345 |     8182    400 |      128 |       44
1418.47/1418.76	c 1418s |      21 |  1694767 |  1389445 |     8182    400 |      128 |       44
1420.57/1420.80	c 1420s |      21 |  1696771 |  1391145 |     8182    400 |      128 |       44
1422.57/1422.86	c 1422s |      21 |  1699291 |  1393245 |     8182    401 |      128 |       44
1424.67/1424.90	c 1424s |      21 |  1701590 |  1395145 |     8182    401 |      128 |       44
1426.67/1426.95	c 1426s |      21 |  1703836 |  1397045 |     8182    402 |      128 |       44
1428.67/1429.00	c 1428s |      21 |  1706089 |  1398945 |     8182    402 |      128 |       44
1430.77/1431.07	c 1431s |      21 |  1708385 |  1400845 |     8182    403 |      128 |       44
1432.86/1433.11	c 1433s |      21 |  1710618 |  1402745 |     8182    403 |      128 |       44
1434.96/1435.20	c 1435s |      21 |  1712554 |  1404445 |     8182    404 |      128 |       44
1436.96/1437.21	c 1437s |      21 |  1714828 |  1406345 |     8182    404 |      128 |       44
1438.96/1439.25	c 1439s |      21 |  1717342 |  1408345 |     8182    404 |      128 |       44
1440.96/1441.26	c 1441s |      21 |  1719742 |  1410345 |     8182    405 |      128 |       44
1442.97/1443.30	c 1443s |      21 |  1721842 |  1412145 |     8182    405 |      128 |       44
1445.07/1445.30	c 1445s |      21 |  1723948 |  1413845 |     8182    406 |      128 |       44
1447.17/1447.40	c 1447s |      21 |  1726235 |  1415745 |     8182    406 |      128 |       44
1449.27/1449.51	c 1449s |      21 |  1728209 |  1417445 |     8182    406 |      128 |       44
1451.27/1451.54	c 1451s |      21 |  1730511 |  1419345 |     8182    407 |      128 |       44
1453.37/1453.63	c 1453s |      21 |  1732839 |  1421245 |     8182    407 |      128 |       44
1455.37/1455.63	c 1455s |      21 |  1734985 |  1423045 |     8182    408 |      128 |       44
1457.47/1457.72	c 1457s |      21 |  1737103 |  1424845 |     8182    408 |      128 |       44
1459.47/1459.72	c 1459s |      21 |  1739126 |  1426445 |     8182    409 |      128 |       44
1461.57/1461.82	c 1461s |      21 |  1741620 |  1428445 |     8182    409 |      128 |       44
1463.67/1463.92	c 1463s |      21 |  1743732 |  1430145 |     8182    409 |      128 |       44
1465.67/1465.93	c 1465s |      21 |  1745842 |  1431945 |     8182    410 |      128 |       44
1467.77/1468.04	c 1467s |      21 |  1747926 |  1433745 |     8182    410 |      128 |       44
1469.77/1470.08	c 1470s |      21 |  1750094 |  1435545 |     8182    411 |      128 |       44
1471.87/1472.19	c 1472s |      21 |  1752391 |  1437445 |     8182    411 |      128 |       44
1473.87/1474.19	c 1474s |      21 |  1754321 |  1439045 |     8182    412 |      128 |       44
1475.86/1476.20	c 1476s |      21 |  1756579 |  1440945 |     8182    412 |      128 |       44
1477.97/1478.21	c 1478s |      21 |  1758520 |  1442545 |     8182    412 |      128 |       44
1479.96/1480.28	c 1480s |      21 |  1760819 |  1444445 |     8182    413 |      128 |       44
1481.96/1482.29	c 1482s |      21 |  1762980 |  1446245 |     8182    413 |      128 |       44
1484.06/1484.37	c 1484s |      21 |  1765194 |  1448045 |     8182    414 |      128 |       44
1486.06/1486.39	c 1486s |      21 |  1767590 |  1450045 |     8182    414 |      128 |       44
1488.17/1488.49	c 1488s |      21 |  1769727 |  1451845 |     8182    415 |      128 |       44
1490.27/1490.51	c 1490s |      21 |  1771960 |  1453745 |     8182    415 |      128 |       44
1492.26/1492.54	c 1492s |      21 |  1774009 |  1455445 |     8182    415 |      128 |       44
1494.36/1494.60	c 1494s |      21 |  1776253 |  1457245 |     8182    416 |      128 |       44
1496.36/1496.63	c 1496s |      21 |  1778252 |  1458945 |     8182    416 |      128 |       44
1498.36/1498.65	c 1498s |      21 |  1780185 |  1460545 |     8182    417 |      128 |       44
1500.46/1500.72	c 1500s |      21 |  1782484 |  1462445 |     8182    417 |      128 |       44
1502.56/1502.83	c 1502s |      21 |  1784508 |  1464145 |     8182    417 |      128 |       44
1504.57/1504.90	c 1504s |      21 |  1786648 |  1465945 |     8182    418 |      128 |       44
1506.66/1506.92	c 1506s |      21 |  1788702 |  1467645 |     8182    418 |      128 |       44
1508.66/1508.98	c 1508s |      21 |  1790841 |  1469445 |     8182    419 |      128 |       44
1510.76/1511.05	c 1510s |      21 |  1793186 |  1471445 |     8182    419 |      128 |       44
1512.86/1513.20	c 1513s |      21 |  1795419 |  1473245 |     8182    420 |      128 |       44
1514.96/1515.23	c 1515s |      21 |  1797896 |  1475245 |     8182    420 |      128 |       44
1516.96/1517.26	c 1517s |      21 |  1799856 |  1476945 |     8182    420 |      128 |       44
1518.97/1519.28	c 1519s |      21 |  1801832 |  1478645 |     8182    421 |      128 |       44
1521.06/1521.36	c 1521s |      21 |  1803853 |  1480345 |     8182    421 |      128 |       44
1523.16/1523.42	c 1523s |      21 |  1805741 |  1481945 |     8182    422 |      128 |       44
1525.26/1525.50	c 1525s |      21 |  1808138 |  1483945 |     8182    422 |      128 |       44
1527.26/1527.57	c 1527s |      21 |  1810360 |  1485745 |     8182    422 |      128 |       44
1529.26/1529.57	c 1529s |      21 |  1812417 |  1487545 |     8182    423 |      128 |       44
1531.36/1531.64	c 1531s |      21 |  1814542 |  1489345 |     8182    423 |      128 |       44
1533.35/1533.69	c 1533s |      21 |  1816416 |  1490945 |     9001    423 |      128 |       44
1535.46/1535.71	c 1535s |      21 |  1818416 |  1492645 |     9001    424 |      128 |       44
1537.45/1537.76	c 1537s |      21 |  1820427 |  1494345 |     9001    424 |      128 |       44
1539.45/1539.79	c 1539s |      21 |  1822112 |  1495745 |     9001    425 |      128 |       44
1541.55/1541.80	c 1541s |      21 |  1824369 |  1497645 |     9001    425 |      128 |       44
1543.65/1543.91	c 1543s |      21 |  1826459 |  1499345 |     9001    425 |      128 |       44
1545.15/1545.47	c 1545s |      22 |  1828110 |  1500622 |     9001    426 |      128 |       44
1547.25/1547.50	c 1547s |      22 |  1830767 |  1502722 |     9001    426 |      128 |       44
1549.25/1549.59	c 1549s |      22 |  1832919 |  1504522 |     9001    426 |      128 |       44
1551.35/1551.66	c 1551s |      22 |  1835399 |  1506522 |     9001    427 |      128 |       44
1553.45/1553.77	c 1553s |      22 |  1837749 |  1508422 |     9001    427 |      128 |       44
1555.45/1555.77	c 1555s |      22 |  1839681 |  1510022 |     9001    428 |      128 |       44
1557.46/1557.78	c 1557s |      22 |  1842063 |  1512022 |     9001    428 |      128 |       44
1559.45/1559.80	c 1559s |      22 |  1844263 |  1513822 |     9001    428 |      128 |       44
1561.55/1561.81	c 1561s |      22 |  1846441 |  1515622 |     9001    429 |      128 |       44
1563.55/1563.87	c 1563s |      22 |  1848671 |  1517522 |     9001    429 |      128 |       44
1565.65/1565.93	c 1565s |      22 |  1850694 |  1519222 |     9001    429 |      128 |       44
1567.75/1568.02	c 1567s |      22 |  1853077 |  1521222 |     9001    430 |      128 |       44
1569.85/1570.13	c 1570s |      22 |  1855358 |  1523122 |     9001    430 |      128 |       44
1571.85/1572.14	c 1572s |      22 |  1857402 |  1524822 |     9001    431 |      128 |       44
1573.85/1574.14	c 1574s |      22 |  1859667 |  1526722 |     9001    431 |      128 |       44
1575.84/1576.14	c 1576s |      22 |  1861541 |  1528322 |     9001    431 |      128 |       44
1577.94/1578.25	c 1578s |      22 |  1863822 |  1530222 |     9001    432 |      128 |       44
1580.04/1580.30	c 1580s |      22 |  1865947 |  1532022 |     9001    432 |      128 |       44
1582.04/1582.39	c 1582s |      22 |  1868138 |  1533822 |     9001    433 |      128 |       44
1584.24/1584.52	c 1584s |      22 |  1870377 |  1535722 |     9001    433 |      128 |       44
1586.24/1586.60	c 1586s |      22 |  1872538 |  1537522 |     9001    433 |      128 |       44
1588.34/1588.64	c 1588s |      22 |  1875157 |  1539622 |     9001    434 |      128 |       44
1590.45/1590.74	c 1590s |      22 |  1877523 |  1541622 |     9001    434 |      128 |       44
1592.44/1592.74	c 1592s |      22 |  1879602 |  1543322 |     9001    435 |      128 |       44
1594.54/1594.85	c 1594s |      22 |  1882178 |  1545322 |     9001    435 |      128 |       44
1596.64/1596.92	c 1596s |      22 |  1884259 |  1547022 |     9001    435 |      128 |       44
1598.74/1599.02	c 1598s |      22 |  1886418 |  1548822 |     9001    436 |      128 |       44
1600.74/1601.08	c 1601s |      22 |  1888603 |  1550622 |     9001    436 |      128 |       44
1602.84/1603.11	c 1603s |      22 |  1890610 |  1552322 |     9001    436 |      128 |       44
1604.94/1605.20	c 1605s |      22 |  1892950 |  1554322 |     9001    437 |      128 |       44
1606.94/1607.26	c 1607s |      22 |  1895149 |  1556122 |     9001    437 |      128 |       44
1609.04/1609.35	c 1609s |      22 |  1897368 |  1557922 |     9001    438 |      128 |       44
1611.04/1611.37	c 1611s |      22 |  1899670 |  1559822 |     9001    438 |      128 |       44
1613.14/1613.46	c 1613s |      22 |  1901702 |  1561522 |     9001    438 |      128 |       44
1615.24/1615.55	c 1615s |      22 |  1904211 |  1563522 |     9001    439 |      128 |       44
1617.24/1617.57	c 1617s |      22 |  1906363 |  1565322 |     9001    439 |      128 |       44
1619.33/1619.61	c 1619s |      22 |  1908381 |  1567022 |     9001    440 |      128 |       44
1621.33/1621.69	c 1621s |      22 |  1910744 |  1568922 |     9001    440 |      128 |       44
1623.44/1623.73	c 1623s |      22 |  1912825 |  1570622 |     9001    440 |      128 |       44
1625.43/1625.80	c 1625s |      22 |  1914954 |  1572422 |     9001    441 |      128 |       44
1627.53/1627.88	c 1627s |      22 |  1917306 |  1574322 |     9001    441 |      128 |       44
1629.63/1629.91	c 1629s |      22 |  1919512 |  1576022 |     9001    442 |      128 |       44
1631.63/1631.98	c 1631s |      22 |  1922009 |  1578022 |     9001    442 |      128 |       44
1633.73/1634.03	c 1633s |      22 |  1924028 |  1579722 |     9001    442 |      128 |       44
1635.83/1636.10	c 1636s |      22 |  1926127 |  1581422 |     9001    443 |      128 |       44
1637.83/1638.12	c 1638s |      22 |  1928438 |  1583322 |     9001    443 |      128 |       44
1639.84/1640.13	c 1640s |      22 |  1930519 |  1585022 |     9001    443 |      128 |       44
1641.93/1642.20	c 1642s |      22 |  1932739 |  1586822 |     9001    444 |      128 |       44
1643.93/1644.21	c 1644s |      22 |  1934803 |  1588522 |     9001    444 |      128 |       44
1645.93/1646.27	c 1646s |      22 |  1936853 |  1590222 |     9001    445 |      128 |       44
1647.93/1648.28	c 1648s |      22 |  1939051 |  1592122 |     9001    445 |      128 |       44
1650.04/1650.33	c 1650s |      22 |  1941103 |  1593822 |     9001    445 |      128 |       44
1652.14/1652.40	c 1652s |      22 |  1943260 |  1595622 |     9001    446 |      128 |       44
1654.14/1654.50	c 1654s |      22 |  1945541 |  1597522 |     9001    446 |      128 |       44
1656.24/1656.57	c 1656s |      22 |  1947587 |  1599222 |     9001    446 |      128 |       44
1658.34/1658.62	c 1658s |      22 |  1949905 |  1601122 |     9001    447 |      128 |       44
1660.34/1660.64	c 1660s |      22 |  1951936 |  1602822 |     9001    447 |      128 |       44
1662.44/1662.72	c 1662s |      22 |  1954240 |  1604622 |     9001    448 |      128 |       44
1664.44/1664.78	c 1664s |      22 |  1956637 |  1606622 |     9001    448 |      128 |       44
1666.54/1666.88	c 1666s |      22 |  1958744 |  1608422 |     9001    448 |      128 |       44
1668.64/1668.91	c 1668s |      22 |  1961019 |  1610322 |     9001    449 |      128 |       44
1670.64/1670.94	c 1670s |      22 |  1963353 |  1612222 |     9001    449 |      128 |       44
1672.73/1673.00	c 1672s |      22 |  1965369 |  1613922 |     9001    450 |      128 |       44
1674.73/1675.05	c 1674s |      22 |  1967546 |  1615722 |     9001    450 |      128 |       44
1676.73/1677.06	c 1676s |      22 |  1969777 |  1617522 |     9001    450 |      128 |       44
1678.73/1679.07	c 1679s |      22 |  1971791 |  1619222 |     9001    451 |      128 |       44
1680.83/1681.13	c 1681s |      22 |  1973908 |  1621022 |     9001    451 |      128 |       44
1682.93/1683.26	c 1683s |      22 |  1975937 |  1622722 |     9001    451 |      128 |       44
1685.04/1685.31	c 1685s |      22 |  1978250 |  1624622 |     9001    452 |      128 |       44
1687.03/1687.32	c 1687s |      22 |  1980477 |  1626422 |     9001    452 |      128 |       44
1689.03/1689.34	c 1689s |      22 |  1982355 |  1628022 |     9001    453 |      128 |       44
1691.13/1691.43	c 1691s |      22 |  1984792 |  1630022 |     9001    453 |      128 |       44
1693.23/1693.52	c 1693s |      22 |  1986839 |  1631722 |     9001    453 |      128 |       44
1695.23/1695.56	c 1695s |      22 |  1988858 |  1633422 |     9001    454 |      128 |       44
1697.23/1697.57	c 1697s |      22 |  1991153 |  1635222 |     9001    454 |      128 |       44
1699.34/1699.69	c 1699s |      22 |  1993234 |  1636922 |     9001    454 |      128 |       44
1701.44/1701.78	c 1701s |      22 |  1995666 |  1638922 |     9001    455 |      128 |       44
1703.53/1703.80	c 1703s |      22 |  1997794 |  1640722 |     9001    455 |      128 |       44
1705.53/1705.85	c 1705s |      22 |  1999841 |  1642422 |     9001    456 |      128 |       44
1707.63/1707.92	c 1707s |      22 |  2002091 |  1644322 |     9001    456 |      128 |       44
1709.73/1710.01	c 1709s |      22 |  2004143 |  1646022 |     9001    456 |      128 |       44
1711.73/1712.08	c 1712s |      22 |  2006373 |  1647922 |     9001    457 |      128 |       44
1713.83/1714.17	c 1714s |      22 |  2008685 |  1649822 |     9001    457 |      128 |       44
1715.93/1716.21	c 1716s |      22 |  2010627 |  1651522 |     9001    458 |      128 |       44
1717.93/1718.25	c 1718s |      22 |  2013034 |  1653522 |     9001    458 |      128 |       44
1720.03/1720.33	c 1720s |      22 |  2015368 |  1655422 |     9001    458 |      128 |       44
1722.03/1722.34	c 1722s |      22 |  2017583 |  1657222 |     9001    459 |      128 |       44
1724.13/1724.41	c 1724s |      22 |  2019767 |  1659022 |     9001    459 |      128 |       44
1726.13/1726.45	c 1726s |      22 |  2021837 |  1660722 |     9001    459 |      128 |       44
1728.23/1728.50	c 1728s |      22 |  2024023 |  1662622 |     9001    460 |      128 |       44
1730.23/1730.54	c 1730s |      22 |  2026072 |  1664322 |     9001    460 |      128 |       44
1732.33/1732.63	c 1732s |      22 |  2027954 |  1665922 |     9001    461 |      128 |       44
1734.32/1734.66	c 1734s |      22 |  2030074 |  1667722 |     9001    461 |      128 |       44
1736.42/1736.74	c 1736s |      22 |  2032116 |  1669422 |     9001    461 |      128 |       44
1738.42/1738.75	c 1738s |      22 |  2034378 |  1671222 |     9001    462 |      128 |       44
1740.52/1740.83	c 1740s |      22 |  2036650 |  1673022 |     9001    462 |      128 |       44
1742.62/1742.92	c 1742s |      22 |  2038700 |  1674722 |     9001    462 |      128 |       44
1744.62/1744.96	c 1744s |      22 |  2040976 |  1676622 |     9001    463 |      128 |       44
1746.72/1747.03	c 1746s |      22 |  2042970 |  1678322 |     9001    463 |      128 |       44
1748.73/1749.05	c 1748s |      22 |  2044989 |  1680022 |     9001    464 |      128 |       44
1750.82/1751.10	c 1751s |      22 |  2047388 |  1682022 |     9001    464 |      128 |       44
1752.82/1753.16	c 1753s |      22 |  2049453 |  1683722 |     9001    464 |      128 |       44
1754.92/1755.21	c 1755s |      22 |  2051934 |  1685822 |     9001    465 |      128 |       44
1756.92/1757.23	c 1757s |      22 |  2054205 |  1687722 |     9001    465 |      128 |       44
1759.02/1759.33	c 1759s |      22 |  2056362 |  1689522 |     9001    466 |      128 |       44
1761.02/1761.39	c 1761s |      22 |  2058685 |  1691422 |     9001    466 |      128 |       44
1763.22/1763.53	c 1763s |      22 |  2060895 |  1693222 |     9001    466 |      128 |       44
1765.32/1765.64	c 1765s |      22 |  2063170 |  1695122 |     9001    467 |      128 |       44
1767.32/1767.66	c 1767s |      22 |  2065182 |  1696822 |     9001    467 |      128 |       44
1769.42/1769.74	c 1769s |      22 |  2067139 |  1698422 |     9001    468 |      128 |       44
1771.52/1771.84	c 1771s |      22 |  2069535 |  1700422 |     9001    468 |      128 |       44
1773.52/1773.88	c 1773s |      22 |  2071565 |  1702122 |     9001    468 |      128 |       44
1775.62/1775.90	c 1775s |      22 |  2073506 |  1703722 |     9001    469 |      128 |       44
1777.62/1777.98	c 1777s |      22 |  2075956 |  1705722 |     9001    469 |      128 |       44
1779.71/1780.05	c 1779s |      22 |  2078082 |  1707422 |     9001    469 |      128 |       44
1781.72/1782.05	c 1781s |      22 |  2080393 |  1709322 |     9001    470 |      128 |       44
1783.81/1784.13	c 1784s |      22 |  2082523 |  1711122 |     9001    470 |      128 |       44
1785.81/1786.14	c 1786s |      22 |  2084451 |  1712722 |     9001    471 |      128 |       44
1787.91/1788.24	c 1788s |      22 |  2086832 |  1714722 |     9001    471 |      128 |       44
1790.01/1790.32	c 1790s |      22 |  2088834 |  1716422 |     9001    471 |      128 |       44
1792.01/1792.38	c 1792s |      22 |  2090971 |  1718222 |     9001    472 |      128 |       44
1794.11/1794.46	c 1794s |      22 |  2093328 |  1720122 |     9001    472 |      128 |       44
1796.21/1796.53	c 1796s |      22 |  2095219 |  1721722 |     9001    472 |      128 |       44
1798.31/1798.60	c 1798s |      22 |  2097459 |  1723622 |     9001    473 |      128 |       44

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

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 8866
/proc/meminfo: memFree=30404280/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 2914 0 0 0 0 0 0 0 20 0 4 0 109781786 797372416 2764 33554432000 4194304 16246674 140737178976256 140737178975680 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 195183 2773 441 2943 0 192077 0
[pid=8866/tid=8867] ppid=8863 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 816246784 2835 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=801212 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 820441088 2853 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109781786 824635392 2870 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 8866
/proc/meminfo: memFree=30404280/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 25550 0 0 0 5 3 0 0 20 0 4 0 109781786 1247350784 25387 33554432000 4194304 16246674 140737178976256 140737178975680 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 304529 25394 739 2943 0 301423 0
[pid=8866/tid=8867] ppid=8863 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1247350784 25399 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1247350784 25404 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109781786 1247350784 25410 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200603 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 8866
/proc/meminfo: memFree=30404280/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 45650 0 0 0 12 7 0 0 20 0 4 0 109781786 1247350784 45487 33554432000 4194304 16246674 140737178976256 140737178975680 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 304529 45493 739 2943 0 301423 0
[pid=8866/tid=8867] ppid=8863 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1247350784 45496 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1247350784 45500 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109781786 1247350784 45504 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300517 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 8866
/proc/meminfo: memFree=30404280/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 64886 0 0 0 20 8 0 0 20 0 4 0 109781786 1247350784 64724 33554432000 4194304 16246674 140737178976256 140737178975680 12477891 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 304529 64741 739 2943 0 301423 0
[pid=8866/tid=8867] ppid=8863 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1247350784 64753 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1247350784 64762 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109781786 1247350784 64773 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700437 s]
/proc/loadavg: 2.08 2.06 2.01 3/179 8866
/proc/meminfo: memFree=30404280/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 144338 0 0 0 49 20 0 0 20 0 4 0 109781786 1247350784 144175 33554432000 4194304 16246674 140737178976256 140737178975680 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 304529 144184 739 2943 0 301423 0
[pid=8866/tid=8867] ppid=8863 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1247350784 144191 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1247350784 144196 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109781786 1247350784 144202 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50045 s]
/proc/loadavg: 2.08 2.06 2.01 3/183 8870
/proc/meminfo: memFree=29505124/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 246364 0 0 0 114 35 0 0 20 0 4 0 109781786 1251545088 246178 33554432000 4194304 16246674 140737178976256 140737178975568 5523475 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 305553 246178 822 2943 0 302447 0
[pid=8866/tid=8867] ppid=8863 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1251545088 246178 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1251545088 246178 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1251545088 246178 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1222212

[startup+3.10045 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 8870
/proc/meminfo: memFree=29339824/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 267445 0 0 0 271 37 0 0 20 0 4 0 109781786 1337528320 267259 33554432000 4194304 16246674 140737178976256 140737178958144 6021808 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 326545 267259 825 2943 0 323439 0
[pid=8866/tid=8867] ppid=8863 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1337528320 267259 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1337528320 267259 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1337528320 267259 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30045 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 8870
/proc/meminfo: memFree=29335012/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 267643 0 0 0 591 38 0 0 20 0 4 0 109781786 1338576896 267457 33554432000 4194304 16246674 140737178976256 140737178958144 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 326801 267457 827 2943 0 323695 0
[pid=8866/tid=8867] ppid=8863 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1338576896 267457 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1338576896 267457 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1338576896 267457 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 2.06 2.05 2.00 3/183 8870
/proc/meminfo: memFree=29334284/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 267876 0 0 0 1231 38 0 0 20 0 4 0 109781786 1338576896 267690 33554432000 4194304 16246674 140737178976256 140737178958144 13195901 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 326801 267690 827 2943 0 323695 0
[pid=8866/tid=8867] ppid=8863 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1338576896 267690 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1338576896 267690 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1338576896 267690 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.05 2.05 2.00 3/183 8870
/proc/meminfo: memFree=29333868/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 267876 0 0 0 2511 38 0 0 20 0 4 0 109781786 1338576896 267690 33554432000 4194304 16246674 140737178976256 140737178958144 12483276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 326801 267690 827 2943 0 323695 0
[pid=8866/tid=8867] ppid=8863 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1338576896 267690 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1338576896 267690 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1338576896 267690 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1006 s]
/proc/loadavg: 2.11 2.06 2.01 3/183 8870
/proc/meminfo: memFree=29332720/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1308228 CPUtime=51.08 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 268133 0 0 0 5070 38 0 0 20 0 4 0 109781786 1339625472 267947 33554432000 4194304 16246674 140737178976256 140737178958144 6024940 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 327057 267947 828 2943 0 323951 0
[pid=8866/tid=8867] ppid=8863 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1339625472 267947 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1339625472 267947 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1339625472 267947 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 8871
/proc/meminfo: memFree=29245596/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 268133 0 0 0 10190 38 0 0 20 0 4 0 109781786 1339625472 267947 33554432000 4194304 16246674 140737178976256 140737178958144 5546190 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 327057 267947 828 2943 0 323951 0
[pid=8866/tid=8867] ppid=8863 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1339625472 267947 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1339625472 267947 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1339625472 267947 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1345916928 269484 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.14 2.12 2.05 3/184 8929
/proc/meminfo: memFree=27448456/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1314372 CPUtime=1362.08 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 269670 0 0 0 136153 55 0 0 20 0 4 0 109781786 1345916928 269484 33554432000 4194304 16246674 140737178976256 140737178958144 6012041 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 328593 269484 829 2943 0 325487 0
[pid=8866/tid=8867] ppid=8863 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1345916928 269484 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1345916928 269484 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1345916928 269484 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.16 2.13 2.05 3/183 8930
/proc/meminfo: memFree=27354492/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1314372 CPUtime=1422.07 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 269670 0 0 0 142151 56 0 0 20 0 4 0 109781786 1345916928 269484 33554432000 4194304 16246674 140737178976256 140737178958144 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 328593 269484 829 2943 0 325487 0
[pid=8866/tid=8867] ppid=8863 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1345916928 269484 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1345916928 269484 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1345916928 269484 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.10 2.12 2.05 3/183 8932
/proc/meminfo: memFree=27261024/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1318468 CPUtime=1482.06 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 270605 0 0 0 148149 57 0 0 20 0 4 0 109781786 1350111232 270419 33554432000 4194304 16246674 140737178976256 140737178958144 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 329617 270419 829 2943 0 326511 0
[pid=8866/tid=8867] ppid=8863 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1350111232 270419 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1350111232 270419 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1350111232 270419 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.11 2.12 2.06 3/183 8933
/proc/meminfo: memFree=27261212/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1318468 CPUtime=1542.06 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 270605 0 0 0 154149 57 0 0 20 0 4 0 109781786 1350111232 270419 33554432000 4194304 16246674 140737178976256 140737178958144 5676564 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 329617 270419 829 2943 0 326511 0
[pid=8866/tid=8867] ppid=8863 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1350111232 270419 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1350111232 270419 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1350111232 270419 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.12 2.12 2.06 4/183 8934
/proc/meminfo: memFree=27175060/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1322564 CPUtime=1602.04 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 271596 0 0 0 160147 57 0 0 20 0 4 0 109781786 1354305536 271410 33554432000 4194304 16246674 140737178976256 140737178958144 5677720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 330641 271410 829 2943 0 327535 0
[pid=8866/tid=8867] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271410 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271410 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271410 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1322564

[startup+1662.3 s]
/proc/loadavg: 2.07 2.11 2.06 3/183 8935
/proc/meminfo: memFree=27115808/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1322564 CPUtime=1662.04 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 271718 0 0 0 166146 58 0 0 20 0 4 0 109781786 1354305536 271532 33554432000 4194304 16246674 140737178976256 140737178958144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 330641 271532 829 2943 0 327535 0
[pid=8866/tid=8867] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271532 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271532 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271532 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 1322564

[startup+1722.3 s]
/proc/loadavg: 2.13 2.12 2.07 3/183 8936
/proc/meminfo: memFree=27068708/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1322564 CPUtime=1722.03 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 271718 0 0 0 172145 58 0 0 20 0 4 0 109781786 1354305536 271532 33554432000 4194304 16246674 140737178976256 140737178959256 5523325 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 330641 271532 829 2943 0 327535 0
[pid=8866/tid=8867] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271532 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271532 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271532 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 1322564

[startup+1782.3 s]
/proc/loadavg: 2.21 2.15 2.08 3/183 8987
/proc/meminfo: memFree=29361944/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1322564 CPUtime=1782.02 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 271718 0 0 0 178144 58 0 0 20 0 4 0 109781786 1354305536 271532 33554432000 4194304 16246674 140737178976256 140737178958144 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 330641 271532 829 2943 0 327535 0
[pid=8866/tid=8867] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271532 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271532 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271532 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1322564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.22 2.16 2.09 3/183 8987
/proc/meminfo: memFree=29360896/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1322564 CPUtime=1800.01 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 271729 0 0 0 179943 58 0 0 20 0 4 0 109781786 1354305536 271788 33554432000 4194304 16246674 140737178976256 140737178958144 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 330641 271788 829 2943 0 327535 0
[pid=8866/tid=8867] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271788 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271788 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271788 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1322564

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

[startup+1800.3 s]
/proc/loadavg: 2.22 2.16 2.09 3/183 8987
/proc/meminfo: memFree=29360896/32872528 swapFree=12744/274376
[pid=8866] ppid=8863 vsize=1322564 CPUtime=1800.01 cores=1,3,5,7
/proc/8866/stat : 8866 (toysat) R 8863 8866 5566 0 -1 4202496 271729 0 0 0 179943 58 0 0 20 0 4 0 109781786 1354305536 271788 33554432000 4194304 16246674 140737178976256 140737178958144 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/8866/statm: 330641 271788 829 2943 0 327535 0
[pid=8866/tid=8867] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8867/stat : 8867 (toysat) S 8863 8866 5566 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271788 33554432000 4194304 16246674 140737178976256 139894585273584 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=8866/tid=8868] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8868/stat : 8868 (toysat) S 8863 8866 5566 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271788 33554432000 4194304 16246674 140737178976256 139894574783728 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=8866/tid=8869] ppid=8863 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/8866/task/8869/stat : 8869 (toysat) S 8863 8866 5566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109781786 1354305536 271788 33554432000 4194304 16246674 140737178976256 139894564310192 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1322564

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.36
CPU time (s): 1800.07
CPU user time (s): 1799.43
CPU system time (s): 0.634903
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1322564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.634903
maximum resident set size= 1087152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271729
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= 25
involuntary context switches= 2414

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.4401 second user time and 16.9464 second system time

The end

Begin job on node107 at 2016-06-07 07:47:50
IDJOB=4080006
IDBENCH=89856
IDSOLVER=2542
FILE ID=node107/4080006-1465278470
RUNJOBID= node107-1465255895-5583
PBS_JOBID= 19843278
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-807456.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080006-1465278470/watcher-4080006-1465278470 -o /tmp/evaluation-result-4080006-1465278470/solver-4080006-1465278470 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465255895-5583 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080006-1465278470.opb

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

MD5SUM BENCH= 21cf0355c32a3177f2f6fa914b5dacc6
RANDOM SEED=1544853720

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30404808 kB
Buffers:          110436 kB
Cached:           179380 kB
SwapCached:         1664 kB
Active:          1290316 kB
Inactive:         167284 kB
Active(anon):    1167160 kB
Inactive(anon):     2864 kB
Active(file):     123156 kB
Inactive(file):   164420 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098524 kB
Dirty:             16356 kB
Writeback:            24 kB
AnonPages:       1441320 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             601300 kB
SReclaimable:      44588 kB
SUnreclaim:       556712 kB
KernelStack:        1512 kB
PageTables:         6632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1585968 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    303104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node107 at 2016-06-07 08:17:51