0.00/0.00	c 2016-06-16T13:43:58+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","--wbo","--search=bcd2","HOME/instance-4093312-1466077438.wbo"]
0.00/0.01	c use --random-gen="2759942233 1144701053 3803330231 245064864 1447249502 2638929494 2976804770 2593279849 2542255262 2440684684 2079237665 2043452652 174823219 3751978210 3324700406 2119671347 1002257629 3573141555 3335447935 3105812492 283550002 4029480053 628477593 2613749139 3283687576 1650902462 2935273566 1282112093 737543955 337040172 1764210313 3291797544 2715321025 157726552 2471460681 409518288 2060071565 3656208971 899635423 3716132716 2737477129 341761091 2865642971 3952830052 1394890270 3672833712 646231950 679622808 2601689862 3538914733 3637720709 730794531 987422859 4212110254 340238691 3733975409 4133724570 4237624700 1956097103 4172033628 325642582 374147109 4201315824 785092873 2540420120 1577755982 2163235239 2897831955 3891876948 1016009022 1830900492 473508760 600047681 944525887 1539839536 2730638976 3136175233 3557914142 896901873 2626311702 1375758292 332521436 1981674872 788705563 2942017183 307036598 4027836565 3916573472 3098014501 985785687 191415651 2738527026 2145127707 3836556591 3590737006 3729246159 3574633187 2927068705 2692612689 59355491 1251399526 2367284974 417809934 903859945 3501136959 1890382567 170182389 3939576027 702215731 892329111 2357111492 900299945 561361753 3791303973 3924969721 2283357211 4126225333 793919329 3739504458 2577533487 131992150 1920180686 2955732495 159139465 2440188316 759078560 2655264178 568755064 3627363245 872059247 1267318068 46200516 989473277 1416283871 1111842960 3439255019 3447917597 2711361430 2500148757 3915867255 592953230 2685027038 3472042205 4242200452 2143412840 4016760771 2243950734 2887546070 3867880558 1595005409 263916862 1374825883 561584775 1079925480 1929588001 1367049752 3301444719 3317856801 2068844532 424536781 2550073020 1688604929 373644549 1814085148 2409485258 1732581675 2252053313 698085747 3123729380 2984539297 1005955573 180408280 3642895094 202531559 2759268200 2463584711 3435184484 1707218978 1811938341 3273839671 3950566473 1230215839 2460450390 2757159214 1587033950 212087660 1762184804 832260471 793328491 1047351032 2602473089 2936269964 2650317362 1912115892 4230700332 3263626795 2650023146 2960602874 3270954004 1540167390 3588952285 2827983283 1227708147 3455909355 3924107102 2128493272 3938202340 3934300703 4122528619 293767476 4202298039 2454545598 2703148708 2817521997 3775382866 4267290682 1927343543 2481889986 4061546196 1070675462 3849287113 9733929 3118798335 3581486845 2507941092 395055840 2774543468 954237270 848719990 4040223422 3866536868 1370222699 1540113360 520513975 870969961 2560412951 1852900307 1674076274 670891121 1068473597 570652707 3957760432 3242219850 1786943745 1875938163 2519103317 2258441551 1386895775 4034195175 3764045566 4164910539 237759023 3510034049 2391611974 60912856 966893054 255 362436" option to reproduce the execution
0.00/0.05	c #vars 1000
0.00/0.05	c #constraints 90
0.00/0.05	c BCD2: Hardening is enabled.
0.00/0.05	c BCD2: BiasedSearch is enabled.
0.00/0.05	c Solving starts ...
0.00/0.05	c ============================[ Search Statistics ]============================
0.00/0.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.05	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.05	c =============================================================================
0.00/0.05	c  0.0s |       0 |        0 |        0 |      383      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      195 |      100 |      383      0 |        0 |        0
0.00/0.08	c  0.0s |       1 |      856 |      103 |      422      0 |        0 |        0
0.00/0.08	c #cpu_time = 0.024s
0.00/0.08	c #wall_clock_time = 0.024s
0.00/0.08	c #decision = 856
0.00/0.08	c #random_decision = 3
0.00/0.08	c #conflict = 103
0.00/0.08	c #restart = 1
0.00/0.08	o 1258
0.00/0.08	c BCD2: updating upper bound: 3007 -> 1257
0.00/0.08	c BCD2: 0 <= obj <= 1257
0.00/0.08	c BCD2: #cores=0, #unrelaxed=61, #relaxed=0, #hardened=0
0.00/0.08	c BCD2: #sat=1 #unsat=1 bias=1/2
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.08	c  0.0s |       0 |        0 |        0 |      422      0 |        0 |        0
0.09/0.11	c  0.0s |       1 |      348 |      100 |      422      0 |        0 |        0
0.09/0.16	c  0.1s |       2 |      922 |      250 |      465      0 |        0 |        0
0.18/0.28	c  0.2s |       3 |     1440 |      475 |      512      0 |        0 |        0
0.48/0.54	c  0.5s |       4 |     2444 |      813 |      564      1 |        0 |        0
0.79/0.83	c  0.7s |       5 |     3389 |     1320 |      621      2 |        0 |        0
1.10/1.15	c  1.1s |       6 |     4605 |     2081 |      684      3 |        0 |        0
1.59/1.65	c  1.6s |       7 |     6351 |     3223 |      753      5 |        0 |        0
2.39/2.40	c  2.3s |       8 |     8709 |     4936 |      829      8 |        0 |        0
3.69/3.72	c  3.6s |       9 |    11967 |     7506 |      912     12 |        0 |        0
5.68/5.73	c  5.6s |       9 |    16808 |    11206 |     1004     18 |        0 |        0
5.78/5.82	c  5.7s |      10 |    17020 |    11361 |     1004     18 |        0 |        0
7.79/7.87	c  7.8s |      10 |    21780 |    15161 |     1004     23 |        0 |        0
8.79/8.86	c  8.8s |      11 |    24021 |    17144 |     1105     26 |        0 |        0
10.88/10.90	c 10.8s |      11 |    29491 |    20844 |     1105     31 |        0 |        0
12.88/12.91	c 12.8s |      11 |    33215 |    24044 |     1105     35 |        0 |        0
13.88/13.97	c 13.9s |      12 |    35718 |    25819 |     1216     37 |        0 |        0
15.88/15.97	c 15.9s |      12 |    40942 |    30119 |     1216     42 |        0 |        0
17.98/18.01	c 17.9s |      12 |    45711 |    34419 |     1216     47 |        0 |        0
19.98/20.05	c 20.0s |      12 |    50185 |    38419 |     1216     52 |        0 |        0
20.18/20.27	c 20.2s |      13 |    50628 |    38832 |     1338     52 |        0 |        0
22.28/22.33	c 22.2s |      13 |    55320 |    42332 |     1338     56 |        0 |        0
24.29/24.34	c 24.3s |      13 |    58483 |    45132 |     1338     59 |        0 |        0
26.28/26.34	c 26.3s |      13 |    61776 |    48032 |     1338     62 |        0 |        0
28.28/28.39	c 28.3s |      13 |    65168 |    51032 |     1338     66 |        0 |        0
30.38/30.43	c 30.4s |      13 |    68505 |    54032 |     1338     69 |        0 |        0
32.38/32.45	c 32.4s |      13 |    71488 |    56732 |     1338     72 |        0 |        0
33.48/33.59	c 33.5s |      14 |    73340 |    58352 |     1472     74 |        0 |        0
35.58/35.62	c 35.5s |      14 |    79470 |    63452 |     1472     80 |        0 |        0
37.58/37.64	c 37.6s |      14 |    85060 |    68552 |     1472     86 |        0 |        0
39.59/39.68	c 39.6s |      14 |    90752 |    73652 |     1472     91 |        0 |        0
41.69/41.70	c 41.6s |      14 |    96338 |    78752 |     1472     97 |        0 |        0
43.69/43.70	c 43.6s |      14 |   102386 |    84152 |     1472    103 |        0 |        0
44.79/44.89	c 44.8s |      15 |   106241 |    87632 |     1620    107 |        0 |        0
46.88/46.90	c 46.8s |      15 |   111149 |    91732 |     1620    111 |        0 |        0
48.88/48.92	c 48.8s |      15 |   115378 |    95532 |     1620    115 |        0 |        0
50.88/50.95	c 50.9s |      15 |   119175 |    98932 |     1620    118 |        0 |        0
52.89/52.98	c 52.9s |      15 |   123151 |   102532 |     1620    121 |        0 |        0
54.88/55.00	c 54.9s |      15 |   127078 |   106032 |     1620    125 |        0 |        0
56.98/57.01	c 56.9s |      15 |   130907 |   109432 |     1620    128 |        0 |        0
58.98/59.01	c 58.9s |      15 |   134971 |   113032 |     1620    132 |        0 |        0
60.97/61.04	c 61.0s |      15 |   138730 |   116432 |     1620    135 |        0 |        0
62.97/63.06	c 63.0s |      15 |   142700 |   119932 |     1620    138 |        0 |        0
64.98/65.07	c 65.0s |      15 |   146497 |   123332 |     1620    141 |        0 |        0
66.97/67.10	c 67.0s |      15 |   150261 |   126732 |     1620    145 |        0 |        0
69.07/69.11	c 69.0s |      15 |   154158 |   130232 |     1620    148 |        0 |        0
69.87/69.93	c 69.9s |      16 |   155647 |   131552 |     1783    149 |        0 |        0
71.87/71.98	c 71.9s |      16 |   160128 |   135052 |     1783    152 |        0 |        0
73.97/74.04	c 74.0s |      16 |   163643 |   138152 |     1783    155 |        0 |        0
75.97/76.08	c 76.0s |      16 |   167030 |   141252 |     1783    158 |        0 |        0
78.07/78.10	c 78.0s |      16 |   170416 |   144352 |     1783    160 |        0 |        0
80.06/80.17	c 80.1s |      16 |   173740 |   147352 |     1783    163 |        0 |        0
82.16/82.25	c 82.2s |      16 |   176818 |   150152 |     1783    165 |        0 |        0
84.26/84.32	c 84.2s |      16 |   179732 |   152852 |     1783    168 |        0 |        0
86.26/86.34	c 86.3s |      16 |   182671 |   155552 |     1783    170 |        0 |        0
88.36/88.41	c 88.3s |      16 |   185517 |   158152 |     1783    172 |        0 |        0
90.36/90.45	c 90.4s |      16 |   188755 |   160952 |     1783    175 |        0 |        0
92.46/92.53	c 92.4s |      16 |   191746 |   163652 |     1783    177 |        0 |        0
94.45/94.56	c 94.5s |      16 |   194634 |   166252 |     1783    180 |        0 |        0
96.55/96.63	c 96.6s |      16 |   197344 |   168752 |     1783    182 |        0 |        0
98.55/98.64	c 98.6s |      16 |   199784 |   170952 |     1783    184 |        0 |        0
100.65/100.73	c  100s |      16 |   202403 |   173352 |     1783    186 |        0 |        0
102.65/102.73	c  102s |      16 |   205178 |   175852 |     1783    188 |        0 |        0
104.65/104.73	c  104s |      16 |   207653 |   178052 |     1783    190 |        0 |        0
106.65/106.77	c  106s |      16 |   210558 |   180652 |     1783    192 |        0 |        0
108.65/108.77	c  108s |      16 |   213543 |   183252 |     1783    195 |        0 |        0
110.75/110.82	c  110s |      16 |   216733 |   186052 |     1783    197 |        0 |        0
112.74/112.88	c  112s |      16 |   219476 |   188552 |     1783    199 |        0 |        0
114.84/114.96	c  114s |      16 |   222483 |   191252 |     1783    202 |        0 |        0
116.84/116.97	c  116s |      16 |   225463 |   193952 |     1783    204 |        0 |        0
118.94/119.02	c  118s |      16 |   228389 |   196552 |     1962    206 |        0 |        0
119.64/119.71	c  119s |      17 |   229361 |   197432 |     1962    207 |        0 |        0
121.64/121.76	c  121s |      17 |   234335 |   200932 |     1962    210 |        0 |        0
123.74/123.80	c  123s |      17 |   237847 |   204032 |     1962    213 |        0 |        0
125.74/125.85	c  125s |      17 |   240870 |   206732 |     1962    215 |        0 |        0
127.84/127.93	c  127s |      17 |   243475 |   209132 |     1962    217 |        0 |        0
129.85/129.96	c  129s |      17 |   246009 |   211432 |     1962    219 |        0 |        0
131.84/131.99	c  131s |      17 |   248694 |   213832 |     1962    221 |        0 |        0
133.94/134.03	c  133s |      17 |   251867 |   216532 |     1962    223 |        0 |        0
135.94/136.08	c  135s |      17 |   254757 |   219132 |     1962    225 |        0 |        0
138.04/138.12	c  138s |      17 |   257663 |   221632 |     1962    227 |        0 |        0
140.04/140.15	c  140s |      17 |   260446 |   224132 |     1962    229 |        0 |        0
142.03/142.15	c  142s |      17 |   263576 |   226932 |     1962    231 |        0 |        0
144.04/144.18	c  144s |      17 |   266958 |   229932 |     1962    234 |        0 |        0
146.03/146.19	c  146s |      17 |   269897 |   232632 |     1962    236 |        0 |        0
148.13/148.20	c  148s |      17 |   273130 |   235532 |     1962    238 |        0 |        0
150.13/150.21	c  150s |      17 |   276487 |   238532 |     1962    241 |        0 |        0
152.13/152.26	c  152s |      17 |   279592 |   241332 |     1962    243 |        0 |        0
154.13/154.29	c  154s |      17 |   282598 |   243932 |     1962    245 |        0 |        0
156.23/156.31	c  156s |      17 |   285430 |   246432 |     1962    247 |        0 |        0
158.23/158.37	c  158s |      17 |   288574 |   249132 |     1962    250 |        0 |        0
160.23/160.39	c  160s |      17 |   291602 |   251832 |     1962    252 |        0 |        0
162.32/162.44	c  162s |      17 |   294723 |   254632 |     1962    254 |        0 |        0
164.32/164.46	c  164s |      17 |   297742 |   257332 |     1962    256 |        0 |        0
166.42/166.52	c  166s |      17 |   300606 |   259932 |     1962    258 |        0 |        0
168.42/168.55	c  168s |      17 |   303456 |   262532 |     1962    261 |        0 |        0
170.43/170.56	c  170s |      17 |   306210 |   265032 |     1962    263 |        0 |        0
172.42/172.59	c  172s |      17 |   309186 |   267732 |     1962    265 |        0 |        0
174.52/174.67	c  174s |      17 |   312466 |   270632 |     1962    267 |        0 |        0
176.62/176.73	c  176s |      17 |   315302 |   273232 |     1962    269 |        0 |        0
178.71/178.80	c  178s |      17 |   318058 |   275732 |     1962    271 |        0 |        0
180.71/180.83	c  180s |      17 |   320789 |   278232 |     1962    273 |        0 |        0
182.71/182.88	c  182s |      17 |   323781 |   280832 |     1962    276 |        0 |        0
184.82/184.91	c  184s |      17 |   326653 |   283432 |     1962    278 |        0 |        0
186.81/186.91	c  186s |      17 |   329475 |   285932 |     1962    280 |        0 |        0
188.81/188.98	c  188s |      17 |   332298 |   288532 |     1962    282 |        0 |        0
190.91/191.00	c  190s |      17 |   334633 |   290632 |     1962    284 |        0 |        0
192.91/193.06	c  192s |      17 |   337946 |   293532 |     1962    286 |        0 |        0
194.91/195.09	c  195s |      17 |   340751 |   296032 |     2159    288 |        0 |        0
195.11/195.26	c  195s |      18 |   340997 |   296252 |     2159    288 |        0 |        0
197.11/197.26	c  197s |      18 |   344984 |   299352 |     2159    290 |        0 |        0
199.20/199.33	c  199s |      18 |   348038 |   302052 |     2159    292 |        0 |        0
201.21/201.34	c  201s |      18 |   350694 |   304452 |     2159    294 |        0 |        0
203.20/203.37	c  203s |      18 |   353363 |   306852 |     2159    296 |        0 |        0
205.30/205.40	c  205s |      18 |   356154 |   309352 |     2159    298 |        0 |        0
207.30/207.46	c  207s |      18 |   358964 |   311852 |     2159    300 |        0 |        0
209.30/209.48	c  209s |      18 |   361714 |   314352 |     2159    302 |        0 |        0
211.29/211.49	c  211s |      18 |   364712 |   316952 |     2159    304 |        0 |        0
213.40/213.52	c  213s |      18 |   367514 |   319452 |     2159    306 |        0 |        0
215.39/215.56	c  215s |      18 |   370083 |   321752 |     2159    307 |        0 |        0
217.39/217.59	c  217s |      18 |   372923 |   324252 |     2159    309 |        0 |        0
219.49/219.62	c  219s |      18 |   375647 |   326652 |     2159    311 |        0 |        0
221.49/221.66	c  221s |      18 |   378713 |   329352 |     2159    313 |        0 |        0
223.49/223.68	c  223s |      18 |   381388 |   331752 |     2159    315 |        0 |        0
225.59/225.74	c  225s |      18 |   384058 |   334152 |     2159    317 |        0 |        0
227.60/227.78	c  227s |      18 |   387066 |   336852 |     2159    319 |        0 |        0
229.59/229.78	c  229s |      18 |   389875 |   339352 |     2159    321 |        0 |        0
231.58/231.79	c  231s |      18 |   392950 |   342152 |     2159    323 |        0 |        0
233.68/233.81	c  233s |      18 |   395673 |   344652 |     2159    325 |        0 |        0
235.68/235.83	c  235s |      18 |   398218 |   346952 |     2159    327 |        0 |        0
237.68/237.84	c  237s |      18 |   401084 |   349552 |     2159    329 |        0 |        0
239.69/239.85	c  239s |      18 |   403768 |   351952 |     2159    330 |        0 |        0
241.68/241.88	c  241s |      18 |   406558 |   354452 |     2159    332 |        0 |        0
243.78/243.91	c  243s |      18 |   409225 |   356752 |     2159    334 |        0 |        0
245.78/245.98	c  245s |      18 |   412045 |   359252 |     2159    336 |        0 |        0
247.88/248.05	c  247s |      18 |   414751 |   361652 |     2159    338 |        0 |        0
249.98/250.10	c  250s |      18 |   417388 |   364052 |     2159    340 |        0 |        0
251.97/252.14	c  252s |      18 |   420031 |   366452 |     2159    342 |        0 |        0
253.98/254.17	c  254s |      18 |   422701 |   368852 |     2159    343 |        0 |        0
255.97/256.18	c  256s |      18 |   425298 |   371152 |     2159    345 |        0 |        0
258.07/258.26	c  258s |      18 |   428248 |   373752 |     2159    347 |        0 |        0
260.17/260.30	c  260s |      18 |   430442 |   375752 |     2159    349 |        0 |        0
262.17/262.37	c  262s |      18 |   433303 |   378252 |     2159    351 |        0 |        0
264.27/264.46	c  264s |      18 |   435955 |   380652 |     2159    352 |        0 |        0
266.27/266.47	c  266s |      18 |   438756 |   383152 |     2159    354 |        0 |        0
268.38/268.51	c  268s |      18 |   441360 |   385552 |     2159    356 |        0 |        0
270.37/270.56	c  270s |      18 |   443825 |   387752 |     2159    358 |        0 |        0
272.36/272.58	c  272s |      18 |   446277 |   389952 |     2159    359 |        0 |        0
274.46/274.64	c  274s |      18 |   449093 |   392452 |     2159    361 |        0 |        0
276.56/276.70	c  276s |      18 |   451622 |   394752 |     2159    363 |        0 |        0
278.56/278.77	c  278s |      18 |   454252 |   397152 |     2159    365 |        0 |        0
280.56/280.78	c  280s |      18 |   456700 |   399352 |     2159    367 |        0 |        0
282.67/282.83	c  282s |      18 |   458996 |   401452 |     2159    368 |        0 |        0
284.66/284.89	c  284s |      18 |   462028 |   404052 |     2159    370 |        0 |        0
286.66/286.90	c  286s |      18 |   464630 |   406452 |     2159    372 |        0 |        0
288.76/288.95	c  288s |      18 |   467393 |   408952 |     2159    374 |        0 |        0
290.85/291.03	c  290s |      18 |   470182 |   411452 |     2159    376 |        0 |        0
292.95/293.11	c  293s |      18 |   472938 |   413952 |     2159    378 |        0 |        0
294.95/295.17	c  295s |      18 |   475571 |   416352 |     2159    380 |        0 |        0
297.05/297.22	c  297s |      18 |   478488 |   418952 |     2159    382 |        0 |        0
299.06/299.29	c  299s |      18 |   481228 |   421452 |     2159    384 |        0 |        0
301.15/301.34	c  301s |      18 |   484054 |   424052 |     2159    386 |        0 |        0
303.14/303.34	c  303s |      18 |   486673 |   426452 |     2159    387 |        0 |        0
305.14/305.39	c  305s |      18 |   489168 |   428752 |     2159    389 |        0 |        0
307.24/307.42	c  307s |      18 |   491564 |   430952 |     2159    391 |        0 |        0
309.24/309.48	c  309s |      18 |   494688 |   433652 |     2159    393 |        0 |        0
311.35/311.54	c  311s |      18 |   497382 |   436052 |     2159    395 |        0 |        0
313.35/313.54	c  313s |      18 |   500370 |   438652 |     2159    397 |        0 |        0
315.35/315.55	c  315s |      18 |   503353 |   441352 |     2375    399 |        0 |        0
317.35/317.55	c  317s |      18 |   506078 |   443852 |     2375    400 |        0 |        0
317.85/318.01	c  317s |      19 |   506833 |   444482 |     2375    401 |        0 |        0
319.85/320.06	c  319s |      19 |   510402 |   447282 |     2375    403 |        0 |        0
321.94/322.11	c  322s |      19 |   513656 |   450082 |     2375    405 |        0 |        0
323.94/324.11	c  324s |      19 |   516809 |   452882 |     2375    407 |        0 |        0
325.94/326.17	c  326s |      19 |   519705 |   455482 |     2375    409 |        0 |        0
327.94/328.19	c  328s |      19 |   522626 |   458082 |     2375    410 |        0 |        0
330.04/330.25	c  330s |      19 |   525406 |   460582 |     2375    412 |        0 |        0
332.04/332.30	c  332s |      19 |   528307 |   463182 |     2375    414 |        0 |        0
334.13/334.36	c  334s |      19 |   531104 |   465682 |     2375    416 |        0 |        0
336.23/336.42	c  336s |      19 |   534003 |   468282 |     2375    418 |        0 |        0
338.23/338.47	c  338s |      19 |   536821 |   470782 |     2375    419 |        0 |        0
340.23/340.48	c  340s |      19 |   539483 |   473182 |     2375    421 |        0 |        0
342.32/342.54	c  342s |      19 |   542656 |   475882 |     2375    423 |        0 |        0
344.32/344.56	c  344s |      19 |   545160 |   478082 |     2375    424 |        0 |        0
346.33/346.60	c  346s |      19 |   547548 |   480282 |     2375    426 |        0 |        0
348.42/348.65	c  348s |      19 |   550018 |   482482 |     2375    427 |        0 |        0
350.52/350.70	c  350s |      19 |   552979 |   485082 |     2375    429 |        0 |        0
352.52/352.75	c  352s |      19 |   555742 |   487582 |     2375    431 |        0 |        0
354.62/354.83	c  354s |      19 |   558853 |   490382 |     2375    433 |        0 |        0
356.72/356.91	c  356s |      19 |   561862 |   493082 |     2375    435 |        0 |        0
358.72/358.96	c  358s |      19 |   564993 |   495882 |     2375    437 |        0 |        0
360.72/360.97	c  360s |      19 |   567642 |   498282 |     2375    439 |        0 |        0
362.82/363.03	c  362s |      19 |   570433 |   500782 |     2375    440 |        0 |        0
364.81/365.04	c  364s |      19 |   573261 |   503282 |     2375    442 |        0 |        0
366.81/367.09	c  367s |      19 |   575935 |   505682 |     2375    444 |        0 |        0
368.91/369.17	c  369s |      19 |   578436 |   507982 |     2375    445 |        0 |        0
371.01/371.24	c  371s |      19 |   580999 |   510282 |     2375    447 |        0 |        0
373.01/373.28	c  373s |      19 |   583368 |   512482 |     2375    449 |        0 |        0
375.11/375.31	c  375s |      19 |   585946 |   514782 |     2375    450 |        0 |        0
377.11/377.34	c  377s |      19 |   588227 |   516882 |     2375    452 |        0 |        0
379.20/379.40	c  379s |      19 |   591218 |   519482 |     2375    453 |        0 |        0
381.20/381.45	c  381s |      19 |   593994 |   521982 |     2375    455 |        0 |        0
383.30/383.52	c  383s |      19 |   596934 |   524582 |     2375    457 |        0 |        0
385.30/385.57	c  385s |      19 |   599602 |   526982 |     2375    459 |        0 |        0
387.30/387.58	c  387s |      19 |   602148 |   529282 |     2375    460 |        0 |        0
389.40/389.61	c  389s |      19 |   604492 |   531382 |     2375    462 |        0 |        0
391.50/391.71	c  391s |      19 |   607296 |   533882 |     2375    464 |        0 |        0
393.49/393.76	c  393s |      19 |   610052 |   536382 |     2375    465 |        0 |        0
395.49/395.79	c  395s |      19 |   612711 |   538782 |     2375    467 |        0 |        0
397.59/397.83	c  397s |      19 |   615271 |   541082 |     2375    469 |        0 |        0
399.59/399.84	c  399s |      19 |   617961 |   543482 |     2375    470 |        0 |        0
401.69/401.90	c  401s |      19 |   620607 |   545882 |     2375    472 |        0 |        0
403.69/403.91	c  403s |      19 |   623229 |   548282 |     2375    474 |        0 |        0
405.70/405.97	c  405s |      19 |   625838 |   550682 |     2375    475 |        0 |        0
407.69/407.99	c  407s |      19 |   629183 |   553582 |     2375    477 |        0 |        0
409.79/410.04	c  409s |      19 |   632194 |   556282 |     2375    479 |        0 |        0
411.88/412.10	c  412s |      19 |   635260 |   558982 |     2375    481 |        0 |        0
413.88/414.14	c  414s |      19 |   638217 |   561682 |     2375    483 |        0 |        0
415.88/416.16	c  416s |      19 |   641012 |   564182 |     2375    485 |        0 |        0
417.89/418.18	c  418s |      19 |   643652 |   566582 |     2375    486 |        0 |        0
419.99/420.25	c  420s |      19 |   646409 |   569082 |     2375    488 |        0 |        0
422.07/422.34	c  422s |      19 |   648955 |   571382 |     2375    490 |        0 |        0
424.07/424.37	c  424s |      19 |   651337 |   573482 |     2375    491 |        0 |        0
426.17/426.40	c  426s |      19 |   653565 |   575482 |     2375    493 |        0 |        0
428.17/428.42	c  428s |      19 |   655943 |   577682 |     2375    494 |        0 |        0
430.17/430.45	c  430s |      19 |   658278 |   579782 |     2375    496 |        0 |        0
432.27/432.53	c  432s |      19 |   660681 |   581882 |     2375    497 |        0 |        0
434.27/434.56	c  434s |      19 |   662781 |   583782 |     2375    499 |        0 |        0
436.27/436.58	c  436s |      19 |   665420 |   585982 |     2375    500 |        0 |        0
438.37/438.60	c  438s |      19 |   667950 |   588182 |     2375    502 |        0 |        0
440.37/440.69	c  440s |      19 |   671267 |   591082 |     2375    504 |        0 |        0
442.47/442.70	c  442s |      19 |   674009 |   593482 |     2375    505 |        0 |        0
444.47/444.73	c  444s |      19 |   676873 |   595982 |     2375    507 |        0 |        0
446.47/446.77	c  446s |      19 |   679504 |   598282 |     2375    509 |        0 |        0
448.57/448.80	c  448s |      19 |   682413 |   600782 |     2375    510 |        0 |        0
450.57/450.82	c  450s |      19 |   685110 |   603082 |     2375    512 |        0 |        0
452.56/452.88	c  452s |      19 |   687946 |   605582 |     2375    514 |        0 |        0
454.66/454.90	c  454s |      19 |   690821 |   608182 |     2375    516 |        0 |        0
456.66/456.97	c  456s |      19 |   693631 |   610782 |     2375    518 |        0 |        0
458.66/458.99	c  458s |      19 |   696476 |   613382 |     2375    519 |        0 |        0
460.77/461.01	c  460s |      19 |   699082 |   615782 |     2375    521 |        0 |        0
462.76/463.08	c  463s |      19 |   701511 |   617982 |     2375    523 |        0 |        0
464.86/465.11	c  465s |      19 |   704115 |   620282 |     2375    524 |        0 |        0
466.86/467.11	c  467s |      19 |   706933 |   622782 |     2375    526 |        0 |        0
468.85/469.14	c  469s |      19 |   709200 |   624882 |     2375    527 |        0 |        0
470.85/471.19	c  471s |      19 |   711897 |   627282 |     2375    529 |        0 |        0
472.95/473.24	c  473s |      19 |   714577 |   629682 |     2375    531 |        0 |        0
474.95/475.27	c  475s |      19 |   717038 |   631882 |     2375    532 |        0 |        0
476.95/477.29	c  477s |      19 |   719771 |   634282 |     2375    534 |        0 |        0
479.05/479.31	c  479s |      19 |   722382 |   636582 |     2375    536 |        0 |        0
481.04/481.36	c  481s |      19 |   725531 |   639382 |     2375    538 |        0 |        0
483.04/483.37	c  483s |      19 |   728657 |   642182 |     2375    540 |        0 |        0
485.04/485.39	c  485s |      19 |   731674 |   644882 |     2375    541 |        0 |        0
487.15/487.41	c  487s |      19 |   734487 |   647482 |     2375    543 |        0 |        0
489.14/489.45	c  489s |      19 |   737216 |   649982 |     2375    545 |        0 |        0
491.24/491.50	c  491s |      19 |   739932 |   652482 |     2375    547 |        0 |        0
493.24/493.58	c  493s |      19 |   742532 |   654882 |     2375    549 |        0 |        0
495.34/495.60	c  495s |      19 |   745419 |   657482 |     2375    550 |        0 |        0
497.34/497.65	c  497s |      19 |   748181 |   659982 |     2375    552 |        0 |        0
499.44/499.72	c  499s |      19 |   751003 |   662582 |     2613    554 |        0 |        0
501.44/501.79	c  501s |      19 |   753526 |   664882 |     2613    555 |        0 |        0
503.03/503.32	c  503s |      20 |   755658 |   666827 |     2613    556 |        0 |        0
505.03/505.34	c  505s |      20 |   760168 |   670327 |     2613    559 |        0 |        0
507.03/507.35	c  507s |      20 |   763602 |   673427 |     2613    561 |        0 |        0
509.04/509.36	c  509s |      20 |   766859 |   676327 |     2613    563 |        0 |        0
511.13/511.40	c  511s |      20 |   770073 |   679127 |     2613    564 |        0 |        0
513.13/513.42	c  513s |      20 |   772955 |   681727 |     2613    566 |        0 |        0
515.12/515.43	c  515s |      20 |   776067 |   684527 |     2613    568 |        0 |        0
517.12/517.46	c  517s |      20 |   779435 |   687527 |     2613    570 |        0 |        0
519.12/519.47	c  519s |      20 |   782862 |   690627 |     2613    572 |        0 |        0
521.22/521.51	c  521s |      20 |   785813 |   693327 |     2613    574 |        0 |        0
523.22/523.59	c  523s |      20 |   788929 |   696127 |     2613    575 |        0 |        0
525.33/525.62	c  525s |      20 |   792071 |   698927 |     2613    577 |        0 |        0
527.32/527.66	c  527s |      20 |   795074 |   701627 |     2613    579 |        0 |        0
529.42/529.70	c  529s |      20 |   797960 |   704227 |     2613    581 |        0 |        0
531.42/531.76	c  531s |      20 |   801023 |   706927 |     2613    582 |        0 |        0
533.52/533.81	c  533s |      20 |   803818 |   709427 |     2613    584 |        0 |        0
535.52/535.85	c  535s |      20 |   806578 |   711927 |     2613    586 |        0 |        0
537.62/537.92	c  537s |      20 |   809676 |   714727 |     2613    587 |        0 |        0
539.62/539.96	c  539s |      20 |   812606 |   717427 |     2613    589 |        0 |        0
541.61/541.97	c  541s |      20 |   815650 |   720127 |     2613    591 |        0 |        0
543.71/544.00	c  543s |      20 |   818603 |   722827 |     2613    593 |        0 |        0
545.71/546.01	c  545s |      20 |   821601 |   725527 |     2613    594 |        0 |        0
547.71/548.01	c  547s |      20 |   824609 |   728227 |     2613    596 |        0 |        0
549.72/550.02	c  549s |      20 |   827616 |   730927 |     2613    598 |        0 |        0
551.71/552.09	c  552s |      20 |   830202 |   733327 |     2613    600 |        0 |        0
553.80/554.13	c  554s |      20 |   832956 |   735827 |     2613    601 |        0 |        0
555.80/556.19	c  556s |      20 |   836098 |   738627 |     2613    603 |        0 |        0
557.90/558.24	c  558s |      20 |   838839 |   741127 |     2613    605 |        0 |        0
559.90/560.26	c  560s |      20 |   841836 |   743827 |     2613    606 |        0 |        0
562.00/562.34	c  562s |      20 |   844758 |   746427 |     2613    608 |        0 |        0
564.11/564.41	c  564s |      20 |   847374 |   748827 |     2613    610 |        0 |        0
566.10/566.42	c  566s |      20 |   850119 |   751327 |     2613    611 |        0 |        0
568.10/568.46	c  568s |      20 |   852745 |   753727 |     2613    613 |        0 |        0
570.20/570.50	c  570s |      20 |   855647 |   756227 |     2613    614 |        0 |        0
572.19/572.56	c  572s |      20 |   858975 |   758827 |     2613    616 |        0 |        0
574.19/574.56	c  574s |      20 |   861814 |   761227 |     2613    618 |        0 |        0
576.20/576.58	c  576s |      20 |   864283 |   763327 |     2613    619 |        0 |        0
578.19/578.58	c  578s |      20 |   867008 |   765627 |     2613    620 |        0 |        0
580.29/580.67	c  580s |      20 |   869597 |   767827 |     2613    622 |        0 |        0
582.39/582.75	c  582s |      20 |   872206 |   770027 |     2613    623 |        0 |        0
584.39/584.75	c  584s |      20 |   874852 |   772227 |     2613    625 |        0 |        0
586.39/586.77	c  586s |      20 |   876894 |   774027 |     2613    626 |        0 |        0
588.39/588.78	c  588s |      20 |   878761 |   775727 |     2613    627 |        0 |        0
590.39/590.78	c  590s |      20 |   881491 |   778027 |     2613    628 |        0 |        0
592.48/592.83	c  592s |      20 |   883616 |   779927 |     2613    630 |        0 |        0
594.48/594.85	c  594s |      20 |   885740 |   781827 |     2613    631 |        0 |        0
596.58/596.93	c  596s |      20 |   888138 |   783927 |     2613    632 |        0 |        0
598.78/599.10	c  599s |      20 |   890249 |   785827 |     2613    634 |        0 |        0
600.78/601.10	c  601s |      20 |   892436 |   787727 |     2613    635 |        0 |        0
602.77/603.15	c  603s |      20 |   894827 |   789827 |     2613    636 |        0 |        0
604.87/605.21	c  605s |      20 |   896892 |   791727 |     2613    637 |        0 |        0
606.88/607.28	c  607s |      20 |   899014 |   793627 |     2613    639 |        0 |        0
608.97/609.35	c  609s |      20 |   901373 |   795627 |     2613    640 |        0 |        0
610.97/611.39	c  611s |      20 |   903847 |   797827 |     2613    641 |        0 |        0
613.07/613.45	c  613s |      20 |   906170 |   799927 |     2613    643 |        0 |        0
615.17/615.53	c  615s |      20 |   908577 |   802127 |     2613    644 |        0 |        0
617.17/617.54	c  617s |      20 |   911055 |   804327 |     2613    645 |        0 |        0
619.16/619.59	c  619s |      20 |   913513 |   806527 |     2613    647 |        0 |        0
621.27/621.67	c  621s |      20 |   915965 |   808727 |     2613    648 |        0 |        0
623.37/623.75	c  623s |      20 |   918600 |   811027 |     2613    650 |        0 |        0
625.46/625.83	c  625s |      20 |   921148 |   813327 |     2613    651 |        0 |        0
627.56/627.92	c  627s |      20 |   923717 |   815627 |     2613    653 |        0 |        0
629.56/629.99	c  629s |      20 |   926186 |   817827 |     2613    654 |        0 |        0
631.66/632.05	c  631s |      20 |   928528 |   819927 |     2613    656 |        0 |        0
633.76/634.12	c  634s |      20 |   930530 |   821727 |     2613    657 |        0 |        0
635.76/636.15	c  636s |      20 |   932472 |   823427 |     2613    658 |        0 |        0
637.76/638.17	c  638s |      20 |   935258 |   825827 |     2613    659 |        0 |        0
639.76/640.17	c  640s |      20 |   937589 |   827927 |     2613    661 |        0 |        0
641.75/642.19	c  642s |      20 |   940118 |   830227 |     2613    662 |        0 |        0
643.85/644.21	c  644s |      20 |   942312 |   832227 |     2613    664 |        0 |        0
645.85/646.30	c  646s |      20 |   944378 |   834127 |     2613    665 |        0 |        0
647.95/648.34	c  648s |      20 |   947065 |   836527 |     2613    666 |        0 |        0
649.95/650.39	c  650s |      20 |   949756 |   838927 |     2613    668 |        0 |        0
652.05/652.46	c  652s |      20 |   952440 |   841227 |     2613    669 |        0 |        0
654.15/654.52	c  654s |      20 |   954752 |   843327 |     2613    671 |        0 |        0
656.25/656.60	c  656s |      20 |   957040 |   845427 |     2613    672 |        0 |        0
658.25/658.62	c  658s |      20 |   959596 |   847627 |     2613    674 |        0 |        0
660.25/660.65	c  660s |      20 |   962152 |   849927 |     2613    675 |        0 |        0
662.24/662.66	c  662s |      20 |   964488 |   852027 |     2613    676 |        0 |        0
664.24/664.70	c  664s |      20 |   966840 |   854127 |     2613    678 |        0 |        0
666.35/666.71	c  666s |      20 |   969448 |   856427 |     2613    679 |        0 |        0
668.34/668.79	c  668s |      20 |   971627 |   858427 |     2613    681 |        0 |        0
670.44/670.81	c  670s |      20 |   973954 |   860527 |     2613    682 |        0 |        0
672.44/672.82	c  672s |      20 |   976005 |   862427 |     2613    683 |        0 |        0
674.54/674.94	c  674s |      20 |   978060 |   864327 |     2613    684 |        0 |        0
676.54/676.99	c  676s |      20 |   980299 |   866327 |     2613    686 |        0 |        0
678.64/679.06	c  678s |      20 |   982857 |   868627 |     2613    687 |        0 |        0
680.65/681.09	c  681s |      20 |   985012 |   870627 |     2613    688 |        0 |        0
682.74/683.15	c  683s |      20 |   986882 |   872327 |     2613    690 |        0 |        0
684.73/685.19	c  685s |      20 |   988814 |   874127 |     2613    691 |        0 |        0
686.83/687.27	c  687s |      20 |   991551 |   876527 |     2613    692 |        0 |        0
688.93/689.35	c  689s |      20 |   993947 |   878627 |     2613    694 |        0 |        0
690.93/691.37	c  691s |      20 |   996002 |   880527 |     2613    695 |        0 |        0
693.03/693.41	c  693s |      20 |   998305 |   882627 |     2613    696 |        0 |        0
695.03/695.48	c  695s |      20 |  1000480 |   884627 |     2613    698 |        0 |        0
697.14/697.57	c  697s |      20 |  1002985 |   886927 |     2613    699 |        0 |        0
699.24/699.65	c  699s |      20 |  1005395 |   889127 |     2613    700 |        0 |        0
701.23/701.69	c  701s |      20 |  1007596 |   891127 |     2613    702 |        0 |        0
703.33/703.74	c  703s |      20 |  1009759 |   893127 |     2613    703 |        0 |        0
705.43/705.86	c  705s |      20 |  1012080 |   895227 |     2613    704 |        0 |        0
707.43/707.86	c  707s |      20 |  1014214 |   897027 |     2613    706 |        0 |        0
709.43/709.87	c  709s |      20 |  1016898 |   899327 |     2613    707 |        0 |        0
711.53/711.94	c  711s |      20 |  1019404 |   901527 |     2613    708 |        0 |        0
713.53/713.95	c  713s |      20 |  1021625 |   903527 |     2613    710 |        0 |        0
715.63/716.02	c  715s |      20 |  1024129 |   905727 |     2613    711 |        0 |        0
717.73/718.15	c  718s |      20 |  1026493 |   907827 |     2613    713 |        0 |        0
719.73/720.16	c  720s |      20 |  1028742 |   909827 |     2613    714 |        0 |        0
721.73/722.19	c  722s |      20 |  1031007 |   911827 |     2613    715 |        0 |        0
723.83/724.21	c  724s |      20 |  1033827 |   914227 |     2613    717 |        0 |        0
725.83/726.22	c  726s |      20 |  1036323 |   916427 |     2613    718 |        0 |        0
727.83/728.25	c  728s |      20 |  1038632 |   918527 |     2613    719 |        0 |        0
729.83/730.29	c  730s |      20 |  1041027 |   920627 |     2613    721 |        0 |        0
731.92/732.37	c  732s |      20 |  1043465 |   922827 |     2613    722 |        0 |        0
734.02/734.45	c  734s |      20 |  1045674 |   924827 |     2613    724 |        0 |        0
736.12/736.54	c  736s |      20 |  1047911 |   926827 |     2613    725 |        0 |        0
738.12/738.56	c  738s |      20 |  1050396 |   929027 |     2613    726 |        0 |        0
740.12/740.58	c  740s |      20 |  1052873 |   931227 |     2613    728 |        0 |        0
742.23/742.62	c  742s |      20 |  1055395 |   933527 |     2613    729 |        0 |        0
744.22/744.63	c  744s |      20 |  1057724 |   935627 |     2613    731 |        0 |        0
746.22/746.65	c  746s |      20 |  1059800 |   937527 |     2613    732 |        0 |        0
748.32/748.71	c  748s |      20 |  1062288 |   939727 |     2613    733 |        0 |        0
750.42/750.80	c  750s |      20 |  1065103 |   942227 |     2613    735 |        0 |        0
752.42/752.83	c  752s |      20 |  1067509 |   944427 |     2613    736 |        0 |        0
754.52/754.93	c  754s |      20 |  1069868 |   946527 |     2613    738 |        0 |        0
756.53/756.94	c  756s |      20 |  1071991 |   948427 |     2613    739 |        0 |        0
758.52/758.95	c  758s |      20 |  1073997 |   950227 |     2613    740 |        0 |        0
760.52/760.98	c  760s |      20 |  1076020 |   952027 |     2613    741 |        0 |        0
762.72/763.10	c  763s |      20 |  1078053 |   953827 |     2613    742 |        0 |        0
764.72/765.11	c  765s |      20 |  1079589 |   955227 |     2613    743 |        0 |        0
766.82/767.23	c  767s |      20 |  1081156 |   956627 |     2613    744 |        0 |        0
768.82/769.27	c  769s |      20 |  1082492 |   957827 |     2613    745 |        0 |        0
770.82/771.29	c  771s |      20 |  1084968 |   960027 |     2613    746 |        0 |        0
772.92/773.37	c  773s |      20 |  1087660 |   962427 |     2613    748 |        0 |        0
775.02/775.45	c  775s |      20 |  1089888 |   964427 |     2613    749 |        0 |        0
777.01/777.46	c  777s |      20 |  1092111 |   966427 |     2613    751 |        0 |        0
779.11/779.55	c  779s |      20 |  1094763 |   968827 |     2613    752 |        0 |        0
781.11/781.58	c  781s |      20 |  1096826 |   970727 |     2613    753 |        0 |        0
783.21/783.61	c  783s |      20 |  1098751 |   972527 |     2613    754 |        0 |        0
785.21/785.67	c  785s |      20 |  1100719 |   974327 |     2613    756 |        0 |        0
787.32/787.73	c  787s |      20 |  1103026 |   976427 |     2613    757 |        0 |        0
789.31/789.78	c  789s |      20 |  1105467 |   978627 |     2613    758 |        0 |        0
791.41/791.86	c  791s |      20 |  1107954 |   980827 |     2613    760 |        0 |        0
793.41/793.89	c  793s |      20 |  1110121 |   982827 |     2613    761 |        0 |        0
795.51/795.99	c  795s |      20 |  1112292 |   984827 |     2613    762 |        0 |        0
797.61/798.02	c  797s |      20 |  1114387 |   986727 |     2613    764 |        0 |        0
799.61/800.08	c  799s |      20 |  1116659 |   988727 |     2613    765 |        0 |        0
801.62/802.09	c  802s |      20 |  1118663 |   990527 |     2613    766 |        0 |        0
803.72/804.12	c  804s |      20 |  1120980 |   992627 |     2613    768 |        0 |        0
805.81/806.20	c  806s |      20 |  1123091 |   994527 |     2875    769 |        0 |        0
807.81/808.22	c  808s |      20 |  1125308 |   996527 |     2875    770 |        0 |        0
809.81/810.26	c  810s |      20 |  1127249 |   998327 |     2875    771 |        0 |        0
811.81/812.29	c  812s |      20 |  1129102 |  1000027 |     2875    772 |        0 |        0
812.31/812.71	c  812s |      21 |  1129435 |  1000345 |     2875    772 |        0 |        0
814.31/814.78	c  814s |      21 |  1133449 |  1003345 |     2875    774 |        0 |        0
816.41/816.81	c  816s |      21 |  1136231 |  1005745 |     2875    775 |        0 |        0
818.41/818.85	c  818s |      21 |  1138727 |  1007945 |     2875    777 |        0 |        0
820.51/820.93	c  820s |      21 |  1141300 |  1010245 |     2875    778 |        0 |        0
822.61/823.04	c  822s |      21 |  1143776 |  1012445 |     2875    779 |        0 |        0
824.61/825.05	c  824s |      21 |  1145878 |  1014345 |     2875    780 |        0 |        0
826.61/827.06	c  826s |      21 |  1147869 |  1016145 |     2875    781 |        0 |        0
828.61/829.07	c  828s |      21 |  1149968 |  1018045 |     2875    783 |        0 |        0
830.70/831.11	c  831s |      21 |  1151768 |  1019645 |     2875    784 |        0 |        0
832.70/833.17	c  833s |      21 |  1153916 |  1021545 |     2875    785 |        0 |        0
834.70/835.18	c  835s |      21 |  1156212 |  1023545 |     2875    786 |        0 |        0
836.71/837.20	c  837s |      21 |  1158780 |  1025745 |     2875    787 |        0 |        0
838.80/839.25	c  839s |      21 |  1161296 |  1027945 |     2875    789 |        0 |        0
840.90/841.35	c  841s |      21 |  1164273 |  1030545 |     2875    790 |        0 |        0
843.00/843.43	c  843s |      21 |  1166876 |  1032845 |     2875    791 |        0 |        0
845.00/845.45	c  845s |      21 |  1169376 |  1035045 |     2875    793 |        0 |        0
847.10/847.52	c  847s |      21 |  1172376 |  1037645 |     2875    794 |        0 |        0
849.10/849.52	c  849s |      21 |  1174916 |  1039945 |     2875    796 |        0 |        0
851.11/851.55	c  851s |      21 |  1177447 |  1042245 |     2875    797 |        0 |        0
853.10/853.57	c  853s |      21 |  1180034 |  1044545 |     2875    798 |        0 |        0
855.10/855.59	c  855s |      21 |  1182572 |  1046845 |     2875    800 |        0 |        0
857.10/857.60	c  857s |      21 |  1185231 |  1049245 |     2875    801 |        0 |        0
859.20/859.63	c  859s |      21 |  1187752 |  1051545 |     2875    803 |        0 |        0
861.20/861.66	c  861s |      21 |  1190155 |  1053745 |     2875    804 |        0 |        0
863.21/863.68	c  863s |      21 |  1192724 |  1056045 |     2875    805 |        0 |        0
865.31/865.72	c  865s |      21 |  1195560 |  1058545 |     2875    807 |        0 |        0
867.30/867.73	c  867s |      21 |  1198180 |  1060945 |     2875    808 |        0 |        0
869.40/869.81	c  869s |      21 |  1200510 |  1063045 |     2875    809 |        0 |        0
871.40/871.84	c  871s |      21 |  1203520 |  1065745 |     2875    811 |        0 |        0
873.40/873.87	c  873s |      21 |  1206043 |  1068045 |     2875    812 |        0 |        0
875.50/875.90	c  875s |      21 |  1208751 |  1070445 |     2875    814 |        0 |        0
877.50/877.93	c  877s |      21 |  1211280 |  1072745 |     2875    815 |        0 |        0
879.60/880.03	c  879s |      21 |  1213708 |  1074945 |     2875    817 |        0 |        0
881.60/882.08	c  881s |      21 |  1216410 |  1077345 |     2875    818 |        0 |        0
883.59/884.08	c  884s |      21 |  1219126 |  1079745 |     2875    819 |        0 |        0
885.69/886.17	c  886s |      21 |  1221544 |  1081945 |     2875    821 |        0 |        0
887.79/888.22	c  888s |      21 |  1223923 |  1084045 |     2875    822 |        0 |        0
889.79/890.23	c  890s |      21 |  1226264 |  1086145 |     2875    823 |        0 |        0
891.89/892.33	c  892s |      21 |  1228444 |  1088145 |     2875    824 |        0 |        0
893.90/894.36	c  894s |      21 |  1230655 |  1090145 |     2875    826 |        0 |        0
895.99/896.40	c  896s |      21 |  1232840 |  1092045 |     2875    827 |        0 |        0
897.99/898.43	c  898s |      21 |  1235469 |  1094345 |     2875    828 |        0 |        0
899.99/900.46	c  900s |      21 |  1237912 |  1096545 |     2875    829 |        0 |        0
902.09/902.51	c  902s |      21 |  1240363 |  1098745 |     2875    831 |        0 |        0
904.09/904.59	c  904s |      21 |  1242782 |  1100945 |     2875    832 |        0 |        0
906.10/906.59	c  906s |      21 |  1245309 |  1103145 |     2875    833 |        0 |        0
908.20/908.68	c  908s |      21 |  1247901 |  1105445 |     2875    835 |        0 |        0
910.29/910.73	c  910s |      21 |  1250465 |  1107745 |     2875    836 |        0 |        0
912.39/912.80	c  912s |      21 |  1252998 |  1110045 |     2875    837 |        0 |        0
914.39/914.82	c  914s |      21 |  1255526 |  1112345 |     2875    839 |        0 |        0
916.39/916.89	c  916s |      21 |  1257956 |  1114545 |     2875    840 |        0 |        0
918.49/918.95	c  918s |      21 |  1260354 |  1116745 |     2875    841 |        0 |        0
920.59/921.03	c  920s |      21 |  1262885 |  1118945 |     2875    843 |        0 |        0
922.59/923.08	c  922s |      21 |  1265376 |  1121145 |     2875    844 |        0 |        0
924.69/925.17	c  925s |      21 |  1267803 |  1123345 |     2875    845 |        0 |        0
926.80/927.20	c  927s |      21 |  1270220 |  1125545 |     2875    847 |        0 |        0
928.80/929.22	c  929s |      21 |  1272693 |  1127645 |     2875    848 |        0 |        0
930.80/931.29	c  931s |      21 |  1275451 |  1129945 |     2875    849 |        0 |        0
932.90/933.33	c  933s |      21 |  1277724 |  1131945 |     2875    850 |        0 |        0
934.89/935.37	c  935s |      21 |  1279904 |  1133845 |     2875    852 |        0 |        0
936.90/937.38	c  937s |      21 |  1281913 |  1135645 |     2875    853 |        0 |        0
939.00/939.44	c  939s |      21 |  1284205 |  1137645 |     2875    854 |        0 |        0
940.99/941.45	c  941s |      21 |  1286505 |  1139545 |     2875    855 |        0 |        0
943.09/943.50	c  943s |      21 |  1288700 |  1141545 |     2875    856 |        0 |        0
945.09/945.51	c  945s |      21 |  1291140 |  1143645 |     2875    857 |        0 |        0
947.09/947.59	c  947s |      21 |  1293757 |  1145845 |     2875    859 |        0 |        0
949.19/949.63	c  949s |      21 |  1296248 |  1148045 |     2875    860 |        0 |        0
951.20/951.69	c  951s |      21 |  1298503 |  1150045 |     2875    861 |        0 |        0
953.30/953.75	c  953s |      21 |  1300718 |  1152045 |     2875    862 |        0 |        0
955.39/955.80	c  955s |      21 |  1303491 |  1154345 |     2875    864 |        0 |        0
957.39/957.83	c  957s |      21 |  1305869 |  1156445 |     2875    865 |        0 |        0
959.39/959.87	c  959s |      21 |  1308286 |  1158545 |     2875    866 |        0 |        0
961.49/961.91	c  961s |      21 |  1310575 |  1160545 |     2875    868 |        0 |        0
963.49/963.98	c  963s |      21 |  1312563 |  1162345 |     2875    869 |        0 |        0
965.59/966.05	c  965s |      21 |  1314799 |  1164345 |     2875    870 |        0 |        0
967.60/968.05	c  967s |      21 |  1316908 |  1166245 |     2875    871 |        0 |        0
969.69/970.12	c  970s |      21 |  1318924 |  1168045 |     2875    872 |        0 |        0
971.69/972.13	c  972s |      21 |  1320676 |  1169645 |     2875    873 |        0 |        0
973.69/974.13	c  974s |      21 |  1323319 |  1171945 |     2875    874 |        0 |        0
975.79/976.26	c  976s |      21 |  1325521 |  1173945 |     2875    876 |        0 |        0
977.89/978.36	c  978s |      21 |  1327842 |  1176045 |     2875    877 |        0 |        0
979.99/980.45	c  980s |      21 |  1330538 |  1178345 |     2875    878 |        0 |        0
982.09/982.50	c  982s |      21 |  1332407 |  1180045 |     2875    879 |        0 |        0
984.09/984.52	c  984s |      21 |  1334290 |  1181745 |     2875    880 |        0 |        0
986.19/986.60	c  986s |      21 |  1336186 |  1183445 |     2875    881 |        0 |        0
988.29/988.71	c  988s |      21 |  1338741 |  1185645 |     2875    883 |        0 |        0
990.29/990.74	c  990s |      21 |  1341120 |  1187745 |     2875    884 |        0 |        0
992.29/992.76	c  992s |      21 |  1343583 |  1189945 |     2875    885 |        0 |        0
994.38/994.83	c  994s |      21 |  1345990 |  1192145 |     2875    886 |        0 |        0
996.38/996.87	c  996s |      21 |  1348723 |  1194545 |     2875    888 |        0 |        0
998.39/998.90	c  998s |      21 |  1351014 |  1196645 |     2875    889 |        0 |        0
1000.48/1001.00	c 1000s |      21 |  1353672 |  1199045 |     2875    891 |        0 |        0
1002.58/1003.06	c 1002s |      21 |  1356217 |  1201345 |     2875    892 |        0 |        0
1004.68/1005.10	c 1005s |      21 |  1358599 |  1203445 |     2875    893 |        0 |        0
1006.68/1007.13	c 1007s |      21 |  1360674 |  1205345 |     2875    894 |        0 |        0
1008.78/1009.22	c 1009s |      21 |  1362893 |  1207345 |     2875    896 |        0 |        0
1010.78/1011.29	c 1011s |      21 |  1365119 |  1209345 |     2875    897 |        0 |        0
1012.88/1013.34	c 1013s |      21 |  1367346 |  1211345 |     2875    898 |        0 |        0
1014.99/1015.41	c 1015s |      21 |  1369936 |  1213645 |     2875    899 |        0 |        0
1016.98/1017.47	c 1017s |      21 |  1372560 |  1215945 |     2875    901 |        0 |        0
1018.98/1019.49	c 1019s |      21 |  1374921 |  1218045 |     2875    902 |        0 |        0
1021.08/1021.51	c 1021s |      21 |  1376999 |  1219945 |     2875    903 |        0 |        0
1023.08/1023.52	c 1023s |      21 |  1379272 |  1221945 |     2875    904 |        0 |        0
1025.08/1025.58	c 1025s |      21 |  1381535 |  1223945 |     2875    905 |        0 |        0
1027.18/1027.61	c 1027s |      21 |  1383260 |  1225545 |     2875    906 |        0 |        0
1029.18/1029.64	c 1029s |      21 |  1384793 |  1226945 |     2875    907 |        0 |        0
1031.18/1031.67	c 1031s |      21 |  1387076 |  1228845 |     2875    908 |        0 |        0
1033.28/1033.73	c 1033s |      21 |  1389928 |  1231345 |     2875    910 |        0 |        0
1035.28/1035.75	c 1035s |      21 |  1392258 |  1233445 |     2875    911 |        0 |        0
1037.28/1037.76	c 1037s |      21 |  1394827 |  1235745 |     2875    912 |        0 |        0
1039.28/1039.78	c 1039s |      21 |  1397098 |  1237745 |     2875    914 |        0 |        0
1041.38/1041.85	c 1041s |      21 |  1399334 |  1239745 |     2875    915 |        0 |        0
1043.38/1043.90	c 1043s |      21 |  1401834 |  1241945 |     2875    916 |        0 |        0
1045.48/1045.92	c 1045s |      21 |  1403936 |  1243845 |     2875    917 |        0 |        0
1047.47/1047.98	c 1047s |      21 |  1406054 |  1245745 |     2875    918 |        0 |        0
1049.57/1050.07	c 1049s |      21 |  1408146 |  1247645 |     2875    920 |        0 |        0
1051.67/1052.16	c 1052s |      21 |  1409797 |  1249145 |     2875    920 |        0 |        0
1053.67/1054.19	c 1054s |      21 |  1412006 |  1251045 |     2875    922 |        0 |        0
1055.77/1056.29	c 1056s |      21 |  1414073 |  1252845 |     2875    923 |        0 |        0
1057.88/1058.31	c 1058s |      21 |  1415870 |  1254445 |     2875    924 |        0 |        0
1059.87/1060.31	c 1060s |      21 |  1417644 |  1256045 |     2875    925 |        0 |        0
1061.87/1062.38	c 1062s |      21 |  1420072 |  1258145 |     2875    926 |        0 |        0
1063.97/1064.49	c 1064s |      21 |  1422454 |  1260245 |     2875    927 |        0 |        0
1066.07/1066.52	c 1066s |      21 |  1424518 |  1262045 |     2875    928 |        0 |        0
1068.07/1068.58	c 1068s |      21 |  1426888 |  1264145 |     2875    929 |        0 |        0
1070.17/1070.62	c 1070s |      21 |  1429011 |  1266045 |     2875    931 |        0 |        0
1072.18/1072.69	c 1072s |      21 |  1431257 |  1268045 |     2875    932 |        0 |        0
1074.28/1074.74	c 1074s |      21 |  1433358 |  1269945 |     2875    933 |        0 |        0
1076.37/1076.81	c 1076s |      21 |  1434761 |  1271245 |     2875    934 |        0 |        0
1078.47/1078.92	c 1078s |      21 |  1437020 |  1273245 |     2875    935 |        0 |        0
1080.47/1080.99	c 1080s |      21 |  1439037 |  1275045 |     2875    936 |        0 |        0
1082.57/1083.01	c 1082s |      21 |  1440994 |  1276845 |     2875    937 |        0 |        0
1084.57/1085.04	c 1084s |      21 |  1443558 |  1279045 |     2875    938 |        0 |        0
1086.57/1087.06	c 1086s |      21 |  1446028 |  1281245 |     2875    940 |        0 |        0
1088.67/1089.14	c 1089s |      21 |  1448604 |  1283545 |     2875    941 |        0 |        0
1090.67/1091.15	c 1091s |      21 |  1451103 |  1285745 |     2875    942 |        0 |        0
1092.67/1093.19	c 1093s |      21 |  1453255 |  1287745 |     2875    943 |        0 |        0
1094.77/1095.23	c 1095s |      21 |  1455405 |  1289645 |     2875    945 |        0 |        0
1096.87/1097.31	c 1097s |      21 |  1457595 |  1291645 |     2875    946 |        0 |        0
1098.87/1099.37	c 1099s |      21 |  1459850 |  1293645 |     2875    947 |        0 |        0
1100.96/1101.45	c 1101s |      21 |  1462092 |  1295645 |     2875    948 |        0 |        0
1103.06/1103.51	c 1103s |      21 |  1464087 |  1297445 |     2875    949 |        0 |        0
1105.17/1105.61	c 1105s |      21 |  1466298 |  1299445 |     2875    950 |        0 |        0
1107.16/1107.69	c 1107s |      21 |  1468366 |  1301245 |     2875    952 |        0 |        0
1109.26/1109.75	c 1109s |      21 |  1470387 |  1303045 |     2875    953 |        0 |        0
1111.36/1111.81	c 1111s |      21 |  1472670 |  1305145 |     2875    954 |        0 |        0
1113.36/1113.83	c 1113s |      21 |  1474898 |  1307145 |     2875    955 |        0 |        0
1115.36/1115.87	c 1115s |      21 |  1476848 |  1308945 |     2875    956 |        0 |        0
1117.46/1117.92	c 1117s |      21 |  1478704 |  1310645 |     2875    957 |        0 |        0
1119.47/1119.95	c 1119s |      21 |  1480949 |  1312645 |     2875    958 |        0 |        0
1121.57/1122.02	c 1121s |      21 |  1483022 |  1314445 |     2875    959 |        0 |        0
1123.56/1124.03	c 1123s |      21 |  1485305 |  1316445 |     2875    961 |        0 |        0
1125.56/1126.07	c 1125s |      21 |  1487387 |  1318345 |     2875    962 |        0 |        0
1127.66/1128.14	c 1128s |      21 |  1489643 |  1320345 |     2875    963 |        0 |        0
1129.76/1130.24	c 1130s |      21 |  1491750 |  1322245 |     2875    964 |        0 |        0
1131.76/1132.25	c 1132s |      21 |  1493500 |  1323845 |     2875    965 |        0 |        0
1133.86/1134.38	c 1134s |      21 |  1495349 |  1325545 |     2875    966 |        0 |        0
1135.96/1136.43	c 1136s |      21 |  1497586 |  1327545 |     2875    967 |        0 |        0
1137.96/1138.47	c 1138s |      21 |  1499927 |  1329645 |     2875    968 |        0 |        0
1139.96/1140.49	c 1140s |      21 |  1502249 |  1331745 |     2875    970 |        0 |        0
1142.05/1142.55	c 1142s |      21 |  1504440 |  1333745 |     2875    971 |        0 |        0
1144.05/1144.59	c 1144s |      21 |  1506405 |  1335545 |     2875    972 |        0 |        0
1146.25/1146.70	c 1146s |      21 |  1508495 |  1337445 |     2875    973 |        0 |        0
1148.25/1148.79	c 1148s |      21 |  1510846 |  1339545 |     2875    974 |        0 |        0
1150.35/1150.81	c 1150s |      21 |  1513065 |  1341545 |     2875    976 |        0 |        0
1152.36/1152.87	c 1152s |      21 |  1515164 |  1343445 |     2875    977 |        0 |        0
1154.45/1154.95	c 1154s |      21 |  1517038 |  1345145 |     2875    978 |        0 |        0
1156.55/1157.00	c 1156s |      21 |  1519223 |  1347145 |     2875    979 |        0 |        0
1158.55/1159.04	c 1158s |      21 |  1521288 |  1349045 |     2875    980 |        0 |        0
1160.65/1161.15	c 1161s |      21 |  1523544 |  1351045 |     2875    981 |        0 |        0
1162.75/1163.26	c 1163s |      21 |  1525389 |  1352745 |     2875    982 |        0 |        0
1164.85/1165.32	c 1165s |      21 |  1527262 |  1354445 |     2875    983 |        0 |        0
1166.85/1167.35	c 1167s |      21 |  1529130 |  1356145 |     2875    984 |        0 |        0
1168.96/1169.41	c 1169s |      21 |  1531114 |  1357945 |     2875    985 |        0 |        0
1171.06/1171.50	c 1171s |      21 |  1533093 |  1359745 |     2875    986 |        0 |        0
1173.06/1173.51	c 1173s |      21 |  1534706 |  1361245 |     2875    987 |        0 |        0
1175.06/1175.57	c 1175s |      21 |  1536609 |  1362945 |     2875    988 |        0 |        0
1177.16/1177.65	c 1177s |      21 |  1538677 |  1364745 |     2875    989 |        0 |        0
1179.16/1179.68	c 1179s |      21 |  1541030 |  1366845 |     2875    991 |        0 |        0
1181.26/1181.75	c 1181s |      21 |  1543478 |  1369045 |     2875    992 |        0 |        0
1183.26/1183.75	c 1183s |      21 |  1545892 |  1371145 |     2875    993 |        0 |        0
1185.36/1185.89	c 1185s |      21 |  1548263 |  1373245 |     2875    995 |        0 |        0
1187.46/1187.90	c 1187s |      21 |  1550358 |  1375145 |     2875    996 |        0 |        0
1189.46/1189.92	c 1189s |      21 |  1552808 |  1377245 |     2875    997 |        0 |        0
1191.55/1192.01	c 1191s |      21 |  1555071 |  1379145 |     2875    998 |        0 |        0
1193.55/1194.04	c 1193s |      21 |  1557123 |  1380945 |     2875    999 |        0 |        0
1195.55/1196.05	c 1195s |      21 |  1559074 |  1382645 |     2875   1000 |        0 |        0
1197.56/1198.06	c 1197s |      21 |  1560852 |  1384245 |     2875   1001 |        0 |        0
1199.66/1200.16	c 1200s |      21 |  1563106 |  1386245 |     2875   1002 |        0 |        0
1201.75/1202.29	c 1202s |      21 |  1565483 |  1388345 |     2875   1004 |        0 |        0
1203.85/1204.35	c 1204s |      21 |  1567890 |  1390445 |     2875   1005 |        0 |        0
1205.95/1206.41	c 1206s |      21 |  1570385 |  1392645 |     2875   1006 |        0 |        0
1207.95/1208.41	c 1208s |      21 |  1572487 |  1394545 |     2875   1007 |        0 |        0
1210.05/1210.50	c 1210s |      21 |  1574505 |  1396345 |     2875   1008 |        0 |        0
1212.05/1212.58	c 1212s |      21 |  1576702 |  1398245 |     2875   1009 |        0 |        0
1214.15/1214.65	c 1214s |      21 |  1578943 |  1400245 |     2875   1011 |        0 |        0
1216.26/1216.79	c 1216s |      21 |  1580704 |  1401845 |     2875   1012 |        0 |        0
1218.25/1218.79	c 1218s |      21 |  1582851 |  1403745 |     2875   1013 |        0 |        0
1220.35/1220.83	c 1220s |      21 |  1584884 |  1405545 |     2875   1014 |        0 |        0
1222.35/1222.86	c 1222s |      21 |  1586653 |  1407145 |     2875   1015 |        0 |        0
1224.45/1224.93	c 1224s |      21 |  1588908 |  1409045 |     2875   1016 |        0 |        0
1226.55/1227.01	c 1226s |      21 |  1590646 |  1410645 |     2875   1017 |        0 |        0
1228.55/1229.03	c 1228s |      21 |  1592362 |  1412145 |     2875   1018 |        0 |        0
1230.55/1231.03	c 1230s |      21 |  1594109 |  1413645 |     2875   1019 |        0 |        0
1232.65/1233.20	c 1233s |      21 |  1595798 |  1415145 |     2875   1020 |        0 |        0
1234.74/1235.29	c 1235s |      21 |  1598579 |  1417545 |     2875   1021 |        0 |        0
1236.84/1237.36	c 1237s |      21 |  1601321 |  1419945 |     2875   1022 |        0 |        0
1238.94/1239.43	c 1239s |      21 |  1603902 |  1422245 |     2875   1024 |        0 |        0
1241.04/1241.50	c 1241s |      21 |  1606443 |  1424445 |     2875   1025 |        0 |        0
1243.14/1243.62	c 1243s |      21 |  1608766 |  1426545 |     2875   1026 |        0 |        0
1245.14/1245.64	c 1245s |      21 |  1610859 |  1428445 |     2875   1027 |        0 |        0
1247.14/1247.68	c 1247s |      21 |  1613406 |  1430745 |     2875   1029 |        0 |        0
1249.25/1249.74	c 1249s |      21 |  1615722 |  1432845 |     2875   1030 |        0 |        0
1251.35/1251.83	c 1251s |      21 |  1618030 |  1434945 |     2875   1031 |        0 |        0
1253.34/1253.84	c 1253s |      21 |  1619984 |  1436745 |     2875   1032 |        0 |        0
1255.34/1255.85	c 1255s |      21 |  1622197 |  1438745 |     2875   1034 |        0 |        0
1257.44/1257.92	c 1257s |      21 |  1624553 |  1440845 |     2875   1035 |        0 |        0
1259.54/1260.01	c 1259s |      21 |  1626768 |  1442845 |     2875   1036 |        0 |        0
1261.54/1262.02	c 1261s |      21 |  1628947 |  1444845 |     2875   1037 |        0 |        0
1263.55/1264.05	c 1263s |      21 |  1631224 |  1446845 |     2875   1038 |        0 |        0
1265.54/1266.09	c 1266s |      21 |  1633316 |  1448745 |     2875   1040 |        0 |        0
1267.64/1268.17	c 1268s |      21 |  1635409 |  1450645 |     2875   1041 |        0 |        0
1269.74/1270.26	c 1270s |      21 |  1637866 |  1452845 |     2875   1042 |        0 |        0
1271.84/1272.38	c 1272s |      21 |  1640028 |  1454845 |     2875   1043 |        0 |        0
1273.94/1274.46	c 1274s |      21 |  1642572 |  1457145 |     2875   1045 |        0 |        0
1276.04/1276.52	c 1276s |      21 |  1644903 |  1459245 |     2875   1046 |        0 |        0
1278.04/1278.58	c 1278s |      21 |  1647173 |  1461345 |     2875   1047 |        0 |        0
1280.04/1280.59	c 1280s |      21 |  1649459 |  1463445 |     2875   1048 |        0 |        0
1282.14/1282.63	c 1282s |      21 |  1651504 |  1465345 |     2875   1049 |        0 |        0
1284.23/1284.73	c 1284s |      21 |  1653697 |  1467345 |     2875   1051 |        0 |        0
1286.23/1286.78	c 1286s |      21 |  1655767 |  1469245 |     2875   1052 |        0 |        0
1288.33/1288.83	c 1288s |      21 |  1658128 |  1471345 |     2875   1053 |        0 |        0
1290.43/1290.90	c 1290s |      21 |  1660120 |  1473145 |     2875   1054 |        0 |        0
1292.43/1292.92	c 1292s |      21 |  1662314 |  1475045 |     2875   1055 |        0 |        0
1294.43/1294.96	c 1294s |      21 |  1665142 |  1477545 |     2875   1057 |        0 |        0
1296.54/1297.02	c 1296s |      21 |  1667573 |  1479745 |     2875   1058 |        0 |        0
1298.53/1299.09	c 1299s |      21 |  1669917 |  1481845 |     2875   1059 |        0 |        0
1300.63/1301.10	c 1301s |      21 |  1672293 |  1483945 |     2875   1061 |        0 |        0
1302.63/1303.18	c 1303s |      21 |  1674892 |  1486245 |     2875   1062 |        0 |        0
1304.63/1305.19	c 1305s |      21 |  1677247 |  1488345 |     2875   1063 |        0 |        0
1306.73/1307.22	c 1307s |      21 |  1679547 |  1490445 |     3163   1064 |        0 |        0
1308.83/1309.32	c 1309s |      21 |  1681932 |  1492645 |     3163   1065 |        0 |        0
1310.84/1311.38	c 1311s |      21 |  1683896 |  1494445 |     3163   1066 |        0 |        0
1312.94/1313.45	c 1313s |      21 |  1686466 |  1496645 |     3163   1068 |        0 |        0
1314.93/1315.48	c 1315s |      21 |  1688721 |  1498645 |     3163   1069 |        0 |        0
1317.03/1317.52	c 1317s |      22 |  1690946 |  1500622 |     3163   1070 |        0 |        0
1319.03/1319.53	c 1319s |      22 |  1694411 |  1503322 |     3163   1071 |        0 |        0
1321.03/1321.55	c 1321s |      22 |  1696863 |  1505522 |     3163   1073 |        0 |        0
1323.13/1323.62	c 1323s |      22 |  1699250 |  1507722 |     3163   1074 |        0 |        0
1325.23/1325.70	c 1325s |      22 |  1701627 |  1509922 |     3163   1075 |        0 |        0
1327.23/1327.76	c 1327s |      22 |  1704050 |  1512122 |     3163   1076 |        0 |        0
1329.33/1329.81	c 1329s |      22 |  1706564 |  1514422 |     3163   1077 |        0 |        0
1331.33/1331.82	c 1331s |      22 |  1708776 |  1516422 |     3163   1079 |        0 |        0
1333.33/1333.87	c 1333s |      22 |  1711269 |  1518622 |     3163   1080 |        0 |        0
1335.43/1335.90	c 1335s |      22 |  1713353 |  1520522 |     3163   1081 |        0 |        0
1337.43/1337.98	c 1337s |      22 |  1715337 |  1522322 |     3163   1082 |        0 |        0
1339.53/1340.03	c 1339s |      22 |  1717587 |  1524322 |     3163   1083 |        0 |        0
1341.64/1342.12	c 1342s |      22 |  1719786 |  1526322 |     3163   1084 |        0 |        0
1343.63/1344.17	c 1344s |      22 |  1721613 |  1528022 |     3163   1085 |        0 |        0
1345.73/1346.28	c 1346s |      22 |  1724312 |  1530322 |     3163   1086 |        0 |        0
1347.83/1348.36	c 1348s |      22 |  1726239 |  1532022 |     3163   1087 |        0 |        0
1349.93/1350.43	c 1350s |      22 |  1728361 |  1533922 |     3163   1088 |        0 |        0
1352.03/1352.50	c 1352s |      22 |  1730248 |  1535622 |     3163   1089 |        0 |        0
1354.03/1354.59	c 1354s |      22 |  1732507 |  1537622 |     3163   1090 |        0 |        0
1356.13/1356.66	c 1356s |      22 |  1734496 |  1539422 |     3163   1091 |        0 |        0
1358.23/1358.77	c 1358s |      22 |  1736693 |  1541422 |     3163   1092 |        0 |        0
1360.33/1360.89	c 1360s |      22 |  1738706 |  1543222 |     3163   1093 |        0 |        0
1362.33/1362.90	c 1362s |      22 |  1740614 |  1544922 |     3163   1094 |        0 |        0
1364.43/1364.99	c 1364s |      22 |  1742728 |  1546822 |     3163   1095 |        0 |        0
1366.53/1367.03	c 1366s |      22 |  1744712 |  1548622 |     3163   1096 |        0 |        0
1368.53/1369.07	c 1368s |      22 |  1746589 |  1550322 |     3163   1097 |        0 |        0
1370.53/1371.09	c 1371s |      22 |  1748554 |  1552122 |     3163   1098 |        0 |        0
1372.53/1373.09	c 1373s |      22 |  1750367 |  1553822 |     3163   1099 |        0 |        0
1374.63/1375.15	c 1375s |      22 |  1752220 |  1555522 |     3163   1100 |        0 |        0
1376.62/1377.20	c 1377s |      22 |  1753807 |  1557022 |     3163   1101 |        0 |        0
1378.72/1379.21	c 1379s |      22 |  1755699 |  1558722 |     3163   1102 |        0 |        0
1380.72/1381.29	c 1381s |      22 |  1757558 |  1560422 |     3163   1103 |        0 |        0
1382.82/1383.35	c 1383s |      22 |  1759321 |  1562022 |     3163   1104 |        0 |        0
1384.92/1385.47	c 1385s |      22 |  1761075 |  1563622 |     3163   1104 |        0 |        0
1387.02/1387.52	c 1387s |      22 |  1762712 |  1565122 |     3163   1105 |        0 |        0
1389.12/1389.60	c 1389s |      22 |  1764659 |  1566822 |     3163   1106 |        0 |        0
1391.13/1391.62	c 1391s |      22 |  1766825 |  1568722 |     3163   1107 |        0 |        0
1393.23/1393.72	c 1393s |      22 |  1769063 |  1570722 |     3163   1108 |        0 |        0
1395.22/1395.78	c 1395s |      22 |  1771194 |  1572622 |     3163   1109 |        0 |        0
1397.32/1397.81	c 1397s |      22 |  1773318 |  1574522 |     3163   1110 |        0 |        0
1399.32/1399.89	c 1399s |      22 |  1775170 |  1576222 |     3163   1111 |        0 |        0
1401.42/1401.91	c 1401s |      22 |  1777271 |  1578122 |     3163   1112 |        0 |        0
1403.42/1403.99	c 1403s |      22 |  1779450 |  1580122 |     3163   1113 |        0 |        0
1405.52/1406.07	c 1405s |      22 |  1781536 |  1582022 |     3163   1115 |        0 |        0
1407.52/1408.07	c 1407s |      22 |  1783487 |  1583822 |     3163   1116 |        0 |        0
1409.52/1410.08	c 1409s |      22 |  1785478 |  1585622 |     3163   1117 |        0 |        0
1411.52/1412.09	c 1412s |      22 |  1787683 |  1587622 |     3163   1118 |        0 |        0
1413.52/1414.09	c 1414s |      22 |  1789752 |  1589522 |     3163   1119 |        0 |        0
1415.61/1416.11	c 1416s |      22 |  1791700 |  1591322 |     3163   1120 |        0 |        0
1417.61/1418.18	c 1418s |      22 |  1794078 |  1593422 |     3163   1121 |        0 |        0
1419.72/1420.22	c 1420s |      22 |  1796021 |  1595222 |     3163   1122 |        0 |        0
1421.82/1422.32	c 1422s |      22 |  1797838 |  1596922 |     3163   1123 |        0 |        0
1423.81/1424.32	c 1424s |      22 |  1799801 |  1598722 |     3163   1124 |        0 |        0
1425.91/1426.41	c 1426s |      22 |  1802103 |  1600722 |     3163   1125 |        0 |        0
1427.91/1428.46	c 1428s |      22 |  1804590 |  1602922 |     3163   1126 |        0 |        0
1430.01/1430.53	c 1430s |      22 |  1806957 |  1605022 |     3163   1127 |        0 |        0
1432.01/1432.57	c 1432s |      22 |  1809315 |  1607122 |     3163   1128 |        0 |        0
1434.11/1434.61	c 1434s |      22 |  1811562 |  1609122 |     3163   1129 |        0 |        0
1436.22/1436.71	c 1436s |      22 |  1813588 |  1610922 |     3163   1130 |        0 |        0
1438.21/1438.72	c 1438s |      22 |  1815837 |  1612922 |     3163   1132 |        0 |        0
1440.21/1440.75	c 1440s |      22 |  1817957 |  1614822 |     3163   1133 |        0 |        0
1442.31/1442.86	c 1442s |      22 |  1819812 |  1616522 |     3163   1133 |        0 |        0
1444.41/1444.95	c 1444s |      22 |  1822050 |  1618422 |     3163   1135 |        0 |        0
1446.51/1447.04	c 1446s |      22 |  1824222 |  1620322 |     3163   1136 |        0 |        0
1448.61/1449.12	c 1449s |      22 |  1826316 |  1622222 |     3163   1137 |        0 |        0
1450.61/1451.16	c 1451s |      22 |  1828263 |  1624022 |     3163   1138 |        0 |        0
1452.72/1453.23	c 1453s |      22 |  1830206 |  1625822 |     3163   1139 |        0 |        0
1454.71/1455.25	c 1455s |      22 |  1832166 |  1627622 |     3163   1140 |        0 |        0
1456.81/1457.32	c 1457s |      22 |  1833790 |  1629122 |     3163   1140 |        0 |        0
1458.81/1459.34	c 1459s |      22 |  1835765 |  1630922 |     3163   1141 |        0 |        0
1460.91/1461.42	c 1461s |      22 |  1837686 |  1632622 |     3163   1142 |        0 |        0
1462.91/1463.43	c 1463s |      22 |  1840099 |  1634722 |     3163   1143 |        0 |        0
1464.91/1465.47	c 1465s |      22 |  1842454 |  1636822 |     3163   1145 |        0 |        0
1467.01/1467.57	c 1467s |      22 |  1844901 |  1639022 |     3163   1146 |        0 |        0
1469.11/1469.65	c 1469s |      22 |  1847221 |  1641122 |     3163   1147 |        0 |        0
1471.21/1471.70	c 1471s |      22 |  1849457 |  1643122 |     3163   1148 |        0 |        0
1473.21/1473.77	c 1473s |      22 |  1851602 |  1645022 |     3163   1149 |        0 |        0
1475.30/1475.88	c 1475s |      22 |  1853699 |  1646922 |     3163   1150 |        0 |        0
1477.40/1477.94	c 1477s |      22 |  1855898 |  1648922 |     3163   1151 |        0 |        0
1479.40/1479.99	c 1479s |      22 |  1858132 |  1650922 |     3163   1152 |        0 |        0
1481.50/1482.08	c 1482s |      22 |  1860215 |  1652822 |     3163   1153 |        0 |        0
1483.51/1484.09	c 1484s |      22 |  1862086 |  1654522 |     3163   1154 |        0 |        0
1485.61/1486.19	c 1486s |      22 |  1863946 |  1656222 |     3163   1155 |        0 |        0
1487.70/1488.28	c 1488s |      22 |  1866272 |  1658322 |     3163   1156 |        0 |        0
1489.80/1490.34	c 1490s |      22 |  1868697 |  1660522 |     3163   1158 |        0 |        0
1491.80/1492.38	c 1492s |      22 |  1870672 |  1662322 |     3163   1159 |        0 |        0
1493.80/1494.39	c 1494s |      22 |  1872610 |  1664122 |     3163   1160 |        0 |        0
1495.90/1496.40	c 1496s |      22 |  1874695 |  1666022 |     3163   1161 |        0 |        0
1497.90/1498.48	c 1498s |      22 |  1876761 |  1667922 |     3163   1162 |        0 |        0
1500.01/1500.51	c 1500s |      22 |  1878506 |  1669522 |     3163   1163 |        0 |        0
1502.00/1502.60	c 1502s |      22 |  1880711 |  1671522 |     3163   1164 |        0 |        0
1504.10/1504.65	c 1504s |      22 |  1882321 |  1673022 |     3163   1164 |        0 |        0
1506.10/1506.66	c 1506s |      22 |  1884853 |  1675222 |     3163   1166 |        0 |        0
1508.20/1508.74	c 1508s |      22 |  1887144 |  1677322 |     3163   1167 |        0 |        0
1510.20/1510.75	c 1510s |      22 |  1889328 |  1679322 |     3163   1168 |        0 |        0
1512.30/1512.83	c 1512s |      22 |  1891508 |  1681322 |     3163   1169 |        0 |        0
1514.40/1514.92	c 1514s |      22 |  1893676 |  1683322 |     3163   1170 |        0 |        0
1516.41/1517.00	c 1516s |      22 |  1895930 |  1685322 |     3163   1171 |        0 |        0
1518.50/1519.01	c 1518s |      22 |  1898006 |  1687222 |     3163   1172 |        0 |        0
1520.50/1521.06	c 1520s |      22 |  1900092 |  1689122 |     3163   1173 |        0 |        0
1522.60/1523.13	c 1523s |      22 |  1902890 |  1691522 |     3163   1175 |        0 |        0
1524.60/1525.18	c 1525s |      22 |  1905838 |  1694022 |     3163   1176 |        0 |        0
1526.70/1527.22	c 1527s |      22 |  1908196 |  1696122 |     3163   1177 |        0 |        0
1528.70/1529.29	c 1529s |      22 |  1910447 |  1698122 |     3163   1178 |        0 |        0
1530.80/1531.33	c 1531s |      22 |  1912706 |  1700122 |     3163   1179 |        0 |        0
1532.90/1533.41	c 1533s |      22 |  1915037 |  1702222 |     3163   1180 |        0 |        0
1534.89/1535.48	c 1535s |      22 |  1917403 |  1704322 |     3163   1182 |        0 |        0
1536.99/1537.56	c 1537s |      22 |  1919681 |  1706322 |     3163   1183 |        0 |        0
1539.09/1539.61	c 1539s |      22 |  1921709 |  1708122 |     3163   1184 |        0 |        0
1541.09/1541.62	c 1541s |      22 |  1924258 |  1710422 |     3163   1185 |        0 |        0
1543.09/1543.64	c 1543s |      22 |  1926785 |  1712722 |     3163   1186 |        0 |        0
1545.10/1545.66	c 1545s |      22 |  1928982 |  1714722 |     3163   1187 |        0 |        0
1547.10/1547.67	c 1547s |      22 |  1931301 |  1716722 |     3163   1188 |        0 |        0
1549.20/1549.78	c 1549s |      22 |  1933553 |  1718722 |     3163   1190 |        0 |        0
1551.30/1551.81	c 1551s |      22 |  1935833 |  1720822 |     3163   1191 |        0 |        0
1553.30/1553.88	c 1553s |      22 |  1938118 |  1722922 |     3163   1192 |        0 |        0
1555.40/1555.96	c 1555s |      22 |  1940155 |  1724822 |     3163   1193 |        0 |        0
1557.50/1558.06	c 1557s |      22 |  1942838 |  1727122 |     3163   1194 |        0 |        0
1559.60/1560.12	c 1560s |      22 |  1944807 |  1728922 |     3163   1195 |        0 |        0
1561.61/1562.15	c 1562s |      22 |  1946975 |  1730822 |     3163   1196 |        0 |        0
1563.60/1564.17	c 1564s |      22 |  1948743 |  1732422 |     3163   1197 |        0 |        0
1565.70/1566.25	c 1566s |      22 |  1950531 |  1734022 |     3163   1198 |        0 |        0
1567.70/1568.26	c 1568s |      22 |  1952282 |  1735622 |     3163   1199 |        0 |        0
1569.80/1570.32	c 1570s |      22 |  1954411 |  1737522 |     3163   1200 |        0 |        0
1571.90/1572.45	c 1572s |      22 |  1956178 |  1739122 |     3163   1201 |        0 |        0
1574.00/1574.56	c 1574s |      22 |  1957567 |  1740422 |     3163   1201 |        0 |        0
1576.00/1576.59	c 1576s |      22 |  1959088 |  1741822 |     3163   1202 |        0 |        0
1578.10/1578.60	c 1578s |      22 |  1961358 |  1743822 |     3163   1203 |        0 |        0
1580.10/1580.62	c 1580s |      22 |  1963463 |  1745722 |     3163   1204 |        0 |        0
1582.10/1582.65	c 1582s |      22 |  1965449 |  1747522 |     3163   1205 |        0 |        0
1584.10/1584.69	c 1584s |      22 |  1967321 |  1749222 |     3163   1206 |        0 |        0
1586.19/1586.72	c 1586s |      22 |  1969436 |  1751122 |     3163   1207 |        0 |        0
1588.19/1588.79	c 1588s |      22 |  1971431 |  1752922 |     3163   1208 |        0 |        0
1590.29/1590.83	c 1590s |      22 |  1973426 |  1754722 |     3163   1209 |        0 |        0
1592.40/1592.96	c 1592s |      22 |  1975388 |  1756522 |     3163   1210 |        0 |        0
1594.50/1595.03	c 1594s |      22 |  1977344 |  1758322 |     3163   1211 |        0 |        0
1596.49/1597.05	c 1596s |      22 |  1978751 |  1759622 |     3163   1212 |        0 |        0
1598.59/1599.13	c 1599s |      22 |  1980520 |  1761222 |     3163   1213 |        0 |        0
1600.59/1601.16	c 1601s |      22 |  1982546 |  1763022 |     3163   1214 |        0 |        0
1602.69/1603.22	c 1603s |      22 |  1984393 |  1764722 |     3163   1215 |        0 |        0
1604.69/1605.24	c 1605s |      22 |  1986029 |  1766222 |     3163   1216 |        0 |        0
1606.70/1607.25	c 1607s |      22 |  1988127 |  1768122 |     3163   1217 |        0 |        0
1608.80/1609.31	c 1609s |      22 |  1989769 |  1769622 |     3163   1218 |        0 |        0
1610.79/1611.37	c 1611s |      22 |  1991520 |  1771222 |     3163   1218 |        0 |        0
1612.89/1613.45	c 1613s |      22 |  1993972 |  1773322 |     3163   1220 |        0 |        0
1614.99/1615.51	c 1615s |      22 |  1996059 |  1775122 |     3163   1221 |        0 |        0
1616.99/1617.56	c 1617s |      22 |  1998040 |  1776922 |     3163   1222 |        0 |        0
1619.09/1619.64	c 1619s |      22 |  2000576 |  1779122 |     3163   1223 |        0 |        0
1621.19/1621.75	c 1621s |      22 |  2002589 |  1780922 |     3163   1224 |        0 |        0
1623.19/1623.75	c 1623s |      22 |  2004411 |  1782622 |     3163   1225 |        0 |        0
1625.29/1625.85	c 1625s |      22 |  2006250 |  1784322 |     3163   1226 |        0 |        0
1627.39/1627.92	c 1627s |      22 |  2008044 |  1785922 |     3163   1227 |        0 |        0
1629.38/1629.95	c 1629s |      22 |  2010618 |  1788222 |     3163   1228 |        0 |        0
1631.38/1631.99	c 1631s |      22 |  2012470 |  1789922 |     3163   1229 |        0 |        0
1633.48/1634.03	c 1633s |      22 |  2014591 |  1791722 |     3163   1230 |        0 |        0
1635.48/1636.08	c 1635s |      22 |  2016791 |  1793622 |     3163   1231 |        0 |        0
1637.58/1638.17	c 1638s |      22 |  2019001 |  1795522 |     3163   1232 |        0 |        0
1639.59/1640.20	c 1640s |      22 |  2021343 |  1797622 |     3163   1233 |        0 |        0
1641.68/1642.23	c 1642s |      22 |  2023940 |  1799922 |     3163   1234 |        0 |        0
1643.78/1644.31	c 1644s |      22 |  2026295 |  1802022 |     3163   1235 |        0 |        0
1645.88/1646.40	c 1646s |      22 |  2028577 |  1804022 |     3163   1236 |        0 |        0
1647.88/1648.46	c 1648s |      22 |  2031169 |  1806222 |     3163   1238 |        0 |        0
1649.98/1650.54	c 1650s |      22 |  2033413 |  1808222 |     3163   1239 |        0 |        0
1652.08/1652.63	c 1652s |      22 |  2035656 |  1810222 |     3163   1240 |        0 |        0
1654.08/1654.66	c 1654s |      22 |  2037672 |  1812022 |     3163   1241 |        0 |        0
1656.18/1656.71	c 1656s |      22 |  2039864 |  1813922 |     3163   1242 |        0 |        0
1658.18/1658.72	c 1658s |      22 |  2041859 |  1815622 |     3163   1243 |        0 |        0
1660.18/1660.75	c 1660s |      22 |  2043819 |  1817422 |     3163   1244 |        0 |        0
1662.28/1662.81	c 1662s |      22 |  2045959 |  1819322 |     3163   1245 |        0 |        0
1664.38/1664.92	c 1664s |      22 |  2048103 |  1821222 |     3163   1246 |        0 |        0
1666.38/1666.96	c 1666s |      22 |  2050715 |  1823522 |     3163   1247 |        0 |        0
1668.48/1669.05	c 1668s |      22 |  2052709 |  1825322 |     3163   1248 |        0 |        0
1670.48/1671.08	c 1670s |      22 |  2054619 |  1827022 |     3163   1249 |        0 |        0
1672.58/1673.12	c 1673s |      22 |  2056377 |  1828622 |     3163   1250 |        0 |        0
1674.57/1675.16	c 1675s |      22 |  2058711 |  1830622 |     3163   1251 |        0 |        0
1676.57/1677.19	c 1677s |      22 |  2061046 |  1832722 |     3163   1252 |        0 |        0
1678.67/1679.23	c 1679s |      22 |  2062894 |  1834422 |     3163   1253 |        0 |        0
1680.77/1681.32	c 1681s |      22 |  2065101 |  1836422 |     3163   1254 |        0 |        0
1682.77/1683.33	c 1683s |      22 |  2067458 |  1838522 |     3163   1255 |        0 |        0
1684.78/1685.36	c 1685s |      22 |  2069820 |  1840622 |     3163   1257 |        0 |        0
1686.77/1687.39	c 1687s |      22 |  2072132 |  1842722 |     3163   1258 |        0 |        0
1688.87/1689.40	c 1689s |      22 |  2074225 |  1844622 |     3163   1259 |        0 |        0
1690.87/1691.43	c 1691s |      22 |  2076275 |  1846522 |     3163   1260 |        0 |        0
1692.87/1693.43	c 1693s |      22 |  2078328 |  1848422 |     3163   1261 |        0 |        0
1694.87/1695.44	c 1695s |      22 |  2080550 |  1850422 |     3163   1262 |        0 |        0
1696.88/1697.47	c 1697s |      22 |  2082744 |  1852422 |     3163   1263 |        0 |        0
1698.87/1699.47	c 1699s |      22 |  2084976 |  1854422 |     3163   1264 |        0 |        0
1700.97/1701.52	c 1701s |      22 |  2087086 |  1856322 |     3163   1265 |        0 |        0
1702.97/1703.53	c 1703s |      22 |  2089788 |  1858622 |     3163   1266 |        0 |        0
1705.08/1705.61	c 1705s |      22 |  2091880 |  1860522 |     3163   1268 |        0 |        0
1707.08/1707.62	c 1707s |      22 |  2093975 |  1862422 |     3163   1269 |        0 |        0
1709.18/1709.73	c 1709s |      22 |  2096046 |  1864322 |     3163   1270 |        0 |        0
1711.18/1711.76	c 1711s |      22 |  2098314 |  1866322 |     3163   1271 |        0 |        0
1713.28/1713.83	c 1713s |      22 |  2100536 |  1868322 |     3163   1272 |        0 |        0
1715.38/1715.90	c 1715s |      22 |  2102632 |  1870222 |     3163   1273 |        0 |        0
1717.37/1717.90	c 1717s |      22 |  2104598 |  1872022 |     3163   1274 |        0 |        0
1719.37/1719.94	c 1719s |      22 |  2106975 |  1874122 |     3163   1275 |        0 |        0
1721.47/1722.00	c 1721s |      22 |  2109005 |  1876022 |     3163   1276 |        0 |        0
1723.47/1724.00	c 1723s |      22 |  2111239 |  1878022 |     3163   1277 |        0 |        0
1725.48/1726.03	c 1725s |      22 |  2113312 |  1879922 |     3163   1278 |        0 |        0
1727.58/1728.13	c 1728s |      22 |  2115528 |  1881922 |     3163   1279 |        0 |        0
1729.67/1730.22	c 1730s |      22 |  2117845 |  1884022 |     3163   1280 |        0 |        0
1731.67/1732.30	c 1732s |      22 |  2119957 |  1885922 |     3163   1282 |        0 |        0
1733.87/1734.43	c 1734s |      22 |  2121962 |  1887722 |     3163   1283 |        0 |        0
1735.97/1736.55	c 1736s |      22 |  2123931 |  1889522 |     3163   1284 |        0 |        0
1738.07/1738.66	c 1738s |      22 |  2126062 |  1891422 |     3163   1285 |        0 |        0
1740.17/1740.74	c 1740s |      22 |  2128208 |  1893322 |     3163   1286 |        0 |        0
1742.27/1742.82	c 1742s |      22 |  2130663 |  1895422 |     3163   1287 |        0 |        0
1744.37/1744.98	c 1744s |      22 |  2132210 |  1896822 |     3163   1288 |        0 |        0
1746.47/1747.02	c 1746s |      22 |  2133972 |  1898422 |     3163   1288 |        0 |        0
1748.58/1749.15	c 1749s |      22 |  2135665 |  1899922 |     3163   1289 |        0 |        0
1750.68/1751.27	c 1751s |      22 |  2137334 |  1901422 |     3163   1290 |        0 |        0
1752.77/1753.38	c 1753s |      22 |  2138956 |  1902922 |     3163   1291 |        0 |        0
1754.87/1755.41	c 1755s |      22 |  2140395 |  1904222 |     3163   1292 |        0 |        0
1756.97/1757.50	c 1757s |      22 |  2142092 |  1905722 |     3163   1292 |        0 |        0
1759.07/1759.64	c 1759s |      22 |  2143817 |  1907322 |     3163   1293 |        0 |        0
1761.17/1761.70	c 1761s |      22 |  2145413 |  1908722 |     3163   1294 |        0 |        0
1763.17/1763.76	c 1763s |      22 |  2147859 |  1910822 |     3163   1295 |        0 |        0
1765.27/1765.80	c 1765s |      22 |  2150105 |  1912822 |     3163   1296 |        0 |        0
1767.27/1767.87	c 1767s |      22 |  2152204 |  1914722 |     3163   1297 |        0 |        0
1769.37/1769.93	c 1769s |      22 |  2154236 |  1916522 |     3163   1298 |        0 |        0
1771.37/1771.93	c 1771s |      22 |  2156108 |  1918222 |     3163   1299 |        0 |        0
1773.37/1773.96	c 1773s |      22 |  2157992 |  1919922 |     3163   1300 |        0 |        0
1775.47/1776.05	c 1775s |      22 |  2159743 |  1921522 |     3163   1301 |        0 |        0
1777.46/1778.05	c 1777s |      22 |  2161277 |  1922922 |     3163   1302 |        0 |        0
1779.46/1780.06	c 1779s |      22 |  2163172 |  1924622 |     3163   1303 |        0 |        0
1781.57/1782.16	c 1782s |      22 |  2165195 |  1926422 |     3163   1304 |        0 |        0
1783.56/1784.20	c 1784s |      22 |  2166967 |  1928022 |     3163   1305 |        0 |        0
1785.66/1786.24	c 1786s |      22 |  2168588 |  1929522 |     3163   1306 |        0 |        0
1787.76/1788.35	c 1788s |      22 |  2170742 |  1931422 |     3163   1307 |        0 |        0
1789.86/1790.49	c 1790s |      22 |  2172723 |  1933222 |     3163   1308 |        0 |        0
1791.96/1792.56	c 1792s |      22 |  2174833 |  1935122 |     3163   1309 |        0 |        0
1793.96/1794.59	c 1794s |      22 |  2176253 |  1936422 |     3163   1309 |        0 |        0
1796.06/1796.65	c 1796s |      22 |  2178330 |  1938322 |     3163   1310 |        0 |        0
1798.16/1798.74	c 1798s |      22 |  2180054 |  1939922 |     3163   1311 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4093312-1466077438/watcher-4093312-1466077438 -o /tmp/evaluation-result-4093312-1466077438/solver-4093312-1466077438 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16984 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093312-1466077438.wbo 

pid=17647
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.24 2.22 2.13 3/179 17650
/proc/meminfo: memFree=29127992/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 2632 0 0 0 0 0 0 0 20 0 4 0 9789560 723972096 2992 33554432000 4194304 16246674 140734278340032 140734278339456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 177263 3001 441 2943 0 174157 0
[pid=17650/tid=17651] ppid=17647 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 741797888 3062 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=728508 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 745992192 3080 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=732604 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9789560 750186496 3096 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100121 s]
/proc/loadavg: 2.24 2.22 2.13 3/179 17650
/proc/meminfo: memFree=29127992/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 25566 0 0 0 6 3 0 0 20 0 4 0 9789560 1247350784 25913 33554432000 4194304 16246674 140734278340032 140734278321920 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 304529 25925 806 2943 0 301423 0
[pid=17650/tid=17651] ppid=17647 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1247350784 25935 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1247350784 25948 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9789560 1247350784 25956 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200493 s]
/proc/loadavg: 2.24 2.22 2.13 3/179 17650
/proc/meminfo: memFree=29127992/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 54145 0 0 0 12 6 0 0 20 0 4 0 9789560 1247350784 54492 33554432000 4194304 16246674 140734278340032 140734278321920 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 304529 54512 806 2943 0 301423 0
[pid=17650/tid=17651] ppid=17647 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1247350784 54523 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1247350784 54531 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9789560 1247350784 54539 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300464 s]
/proc/loadavg: 2.24 2.22 2.13 3/179 17650
/proc/meminfo: memFree=29127992/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 87363 0 0 0 18 11 0 0 20 0 4 0 9789560 1247350784 87709 33554432000 4194304 16246674 140734278340032 140734278321920 5724508 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 304529 87722 812 2943 0 301423 0
[pid=17650/tid=17651] ppid=17647 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1247350784 87732 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1247350784 87739 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9789560 1247350784 87743 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700374 s]
/proc/loadavg: 2.24 2.22 2.13 3/179 17650
/proc/meminfo: memFree=29127992/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 222406 0 0 0 40 29 0 0 20 0 4 0 9789560 1247350784 222752 33554432000 4194304 16246674 140734278340032 140734278321920 5545885 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 304529 222769 812 2943 0 301423 0
[pid=17650/tid=17651] ppid=17647 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1247350784 222779 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1247350784 222788 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9789560 1247350784 222798 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.24 2.22 2.13 3/183 17654
/proc/meminfo: memFree=28143416/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1303108 CPUtime=1.49 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 266820 0 0 0 115 34 0 0 20 0 4 0 9789560 1334382592 267144 33554432000 4194304 16246674 140734278340032 140734278321920 5673558 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 325777 267144 872 2943 0 322671 0
[pid=17650/tid=17651] ppid=17647 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1334382592 267144 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1334382592 267144 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1334382592 267144 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1303108

[startup+3.10038 s]
/proc/loadavg: 2.24 2.22 2.13 3/183 17654
/proc/meminfo: memFree=28056492/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 267802 0 0 0 275 34 0 0 20 0 4 0 9789560 1338576896 268126 33554432000 4194304 16246674 140734278340032 140734278321920 5710972 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 326801 268126 872 2943 0 323695 0
[pid=17650/tid=17651] ppid=17647 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1338576896 268126 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1338576896 268126 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1338576896 268126 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30039 s]
/proc/loadavg: 2.22 2.22 2.13 3/183 17654
/proc/meminfo: memFree=28055392/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 267920 0 0 0 594 34 0 0 20 0 4 0 9789560 1338576896 268244 33554432000 4194304 16246674 140734278340032 140734278321920 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 326801 268244 872 2943 0 323695 0
[pid=17650/tid=17651] ppid=17647 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1338576896 268244 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1338576896 268244 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1338576896 268244 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.20 2.21 2.13 3/178 17668
/proc/meminfo: memFree=29387348/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1308228 CPUtime=12.68 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 268176 0 0 0 1234 34 0 0 20 0 4 0 9789560 1339625472 268500 33554432000 4194304 16246674 140734278340032 140734278321920 13809232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 327057 268500 872 2943 0 323951 0
[pid=17650/tid=17651] ppid=17647 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1339625472 268500 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1339625472 268500 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1339625472 268500 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5004 s]
/proc/loadavg: 2.24 2.22 2.13 3/183 17703
/proc/meminfo: memFree=28317164/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 268176 0 0 0 2514 34 0 0 20 0 4 0 9789560 1339625472 268500 33554432000 4194304 16246674 140734278340032 140734278321920 5546219 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 327057 268500 872 2943 0 323951 0
[pid=17650/tid=17651] ppid=17647 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1339625472 268500 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1339625472 268500 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1339625472 268500 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.30 2.23 2.14 3/183 17703
/proc/meminfo: memFree=28306076/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1309252 CPUtime=51.08 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 268440 0 0 0 5073 35 0 0 20 0 4 0 9789560 1340674048 268761 33554432000 4194304 16246674 140734278340032 140734278321920 5545708 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 327313 268761 874 2943 0 324207 0
[pid=17650/tid=17651] ppid=17647 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1340674048 268761 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1340674048 268761 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1340674048 268761 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.31 2.24 2.15 3/183 17704
/proc/meminfo: memFree=28303556/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1311300 CPUtime=102.26 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 268981 0 0 0 10191 35 0 0 20 0 4 0 9789560 1342771200 269273 33554432000 4194304 16246674 140734278340032 140734278321920 5717656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 327825 269273 874 2943 0 324719 0
[pid=17650/tid=17651] ppid=17647 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1342771200 269273 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1342771200 269273 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1342771200 269273 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1311300


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

/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1318468

[startup+1302.3 s]
/proc/loadavg: 2.33 2.33 2.26 4/183 17757
/proc/meminfo: memFree=28275016/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1318468 CPUtime=1301.83 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 271163 0 0 0 130141 42 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140734278321920 13950230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 329617 271067 876 2943 0 326511 0
[pid=17650/tid=17651] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.36 2.33 2.26 3/183 17758
/proc/meminfo: memFree=28274280/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1318468 CPUtime=1361.83 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 271163 0 0 0 136140 43 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140734278321920 5721768 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 329617 271067 876 2943 0 326511 0
[pid=17650/tid=17651] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.26 2.31 2.26 3/183 17759
/proc/meminfo: memFree=28274776/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1318468 CPUtime=1421.82 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 271163 0 0 0 142139 43 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140734278321920 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 329617 271067 876 2943 0 326511 0
[pid=17650/tid=17651] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.32 2.32 2.26 4/183 17760
/proc/meminfo: memFree=28274800/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1318468 CPUtime=1481.8 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 271163 0 0 0 148137 43 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140734278321920 5546214 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 329617 271067 876 2943 0 326511 0
[pid=17650/tid=17651] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.39 2.33 2.27 3/183 17762
/proc/meminfo: memFree=28274804/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1318468 CPUtime=1541.8 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 271163 0 0 0 154137 43 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140734278321920 5553760 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 329617 271067 876 2943 0 326511 0
[pid=17650/tid=17651] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.26 2.30 2.26 3/184 17766
/proc/meminfo: memFree=28274772/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1318468 CPUtime=1601.79 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 271163 0 0 0 160135 44 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140734278321920 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 329617 271067 876 2943 0 326511 0
[pid=17650/tid=17651] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.30 2.30 2.27 4/183 17767
/proc/meminfo: memFree=28274540/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1318468 CPUtime=1661.78 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 271163 0 0 0 166134 44 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140734278321920 12478258 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 329617 271067 876 2943 0 326511 0
[pid=17650/tid=17651] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.28 2.29 2.27 4/183 17768
/proc/meminfo: memFree=28274044/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1318468 CPUtime=1721.77 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 271163 0 0 0 172132 45 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140734278321920 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 329617 271067 876 2943 0 326511 0
[pid=17650/tid=17651] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.21 2.27 2.26 3/183 17769
/proc/meminfo: memFree=28271328/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1318468 CPUtime=1781.76 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 271163 0 0 0 178131 45 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140734278321920 13950222 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 329617 271067 876 2943 0 326511 0
[pid=17650/tid=17651] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.31 2.28 2.26 4/183 17769
/proc/meminfo: memFree=28270956/32872528 swapFree=1402008/1579836
[pid=17650] ppid=17647 vsize=1318468 CPUtime=1800.06 cores=1,3,5,7
/proc/17650/stat : 17650 (toysat) R 17647 17650 13870 0 -1 4202496 271163 0 0 0 179961 45 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140734278321920 5545784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17650/statm: 329617 271067 876 2943 0 326511 0
[pid=17650/tid=17651] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17651/stat : 17651 (toysat) S 17647 17650 13870 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722061683952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=17650/tid=17652] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17652/stat : 17652 (toysat) S 17647 17650 13870 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722051194096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=17650/tid=17653] ppid=17647 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/17650/task/17653/stat : 17653 (toysat) S 17647 17650 13870 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9789560 1350111232 271067 33554432000 4194304 16246674 140734278340032 140722040720560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1318468

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.62
CPU system time (s): 0.45493
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.45493
maximum resident set size= 1084268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271163
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= 437
involuntary context switches= 1897

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.61315 second user time and 7.73282 second system time

The end

Begin job on node139 at 2016-06-16 13:43:58
IDJOB=4093312
IDBENCH=78663
IDSOLVER=2553
FILE ID=node139/4093312-1466077438
RUNJOBID= node139-1466075487-16984
PBS_JOBID= 19904001
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_25_pb.cnf.cr--soft-33-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093312-1466077438/watcher-4093312-1466077438 -o /tmp/evaluation-result-4093312-1466077438/solver-4093312-1466077438 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466075487-16984 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093312-1466077438.wbo

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

MD5SUM BENCH= a9a2270f2536f669bb9dfa31ae05dbb5
RANDOM SEED=413391009

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

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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.500
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.56
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.500
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.55
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.500
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:        29128256 kB
Buffers:           21124 kB
Cached:           106964 kB
SwapCached:          960 kB
Active:          1410824 kB
Inactive:          51516 kB
Active(anon):    1335396 kB
Inactive(anon):     1240 kB
Active(file):      75428 kB
Inactive(file):    50276 kB
Unevictable:     1579836 kB
Mlocked:         1402008 kB
SwapTotal:      67108856 kB
SwapFree:       67100120 kB
Dirty:             16500 kB
Writeback:             0 kB
AnonPages:       2915160 kB
Mapped:            10672 kB
Shmem:                 0 kB
Slab:             567232 kB
SReclaimable:      11384 kB
SUnreclaim:       555848 kB
KernelStack:        1512 kB
PageTables:         9840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3054996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    239616 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= 71596 MiB
End job on node139 at 2016-06-16 14:13:59