0.00/0.00	c 2016-06-17T00:00:27+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4096365-1466114427.opb"]
0.00/0.01	c use --random-gen="4190041584 2182682845 4103020593 3355907865 700912478 4165258384 227913617 1366291585 4249631080 2894128601 363174023 3540025066 1005000298 1987498521 4047696938 648686010 1677244374 988957773 3993301392 3467228121 2251687956 901472260 885630363 496873283 3443694049 802015439 2830738786 1156692761 499491403 2896793057 1081688941 2380739542 710648913 782905741 740301316 3843020588 1668591775 3330596880 284227957 438765865 2656768220 199686646 3736135610 173338066 2324747925 4193352257 2104256242 2602371881 2218892571 2912140038 889788324 3514043805 2402218633 2141183617 641007523 1578354643 4007123152 1322011580 2075144371 2221649689 716182226 885056636 1207889388 1152194480 3139109685 1073485837 120581997 761694926 2205962480 3922980585 3432172124 2752603200 2932727349 1887395488 1172746520 3538868698 99004634 1106528938 4224686963 4065785571 642037329 3857234798 3405077438 1191973723 2760714114 3609402091 849529932 767373106 3158971818 743340784 1284907098 1195715347 384968858 4050794597 4106256195 3058674075 1085269741 806018114 1870779562 2114489893 4073048288 2078155703 3171335011 3961356432 693576526 536437561 191358330 1254642062 184678069 486735503 3205175451 2204569725 2212466925 2000030048 1633008185 3282792872 1529314460 4044035835 3590394002 3780076174 3542551965 1694387464 1102485492 1438228623 562164014 77802058 1605008913 619433701 2548249877 1856723325 1037072937 3044546878 2760365852 3435627755 3924406695 2392163005 2061647789 2262495870 736263159 1827654980 3881940194 3688039496 2130798550 2237843324 321746299 3322283269 186458696 1328880231 3927095612 1844505553 1259394694 978624278 1176004282 544924400 2150462187 1845713000 3052970907 3210655772 2244905819 503041844 1848980483 1630044787 4003848136 1743023833 2693715786 4096600851 3383522458 1352487 2315218955 2879313713 1269685137 585834332 624371717 163091700 3405437247 4244016019 1512046652 1945840690 358453883 3354844282 103724284 3691918134 416549902 86017173 4265830326 1677039830 2491755583 4108728327 1296154996 2155778308 3501958852 1340725335 1271525684 2196014897 1541855573 2913038301 1222388743 459443127 2036961059 2149366364 250651904 1050107722 3554363073 2410703257 2718133120 2249934565 1581235066 3603586820 2243212512 423837721 4008572423 2627815119 2145740726 3278319294 831002024 430259276 3368813201 928727649 1383383891 3324580686 3376255452 1249976258 1800343081 4013675179 3581840079 2699206481 581508440 400712102 2733637266 2017890232 264734960 1047738004 4212647027 753084515 2830063009 2934012571 1669108562 2668218543 1707549493 909128951 569980971 10437808 543939946 1709366012 2375346237 998326286 2327649116 511520574 982280827 3770115413 3275691591 2422246574 83861911 3946214804 3523502730 71363358 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1332
0.00/0.06	c #constraints 6341
0.09/0.14	c Solving starts ...
0.09/0.14	c ============================[ Search Statistics ]============================
0.09/0.14	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.14	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.14	c =============================================================================
0.09/0.14	c  0.0s |       0 |        0 |        0 |     2556      0 |        5 |        0
0.09/0.18	c  0.0s |       1 |      134 |      100 |     2556      0 |        5 |      286
0.19/0.24	c  0.1s |       2 |      322 |      250 |     2812      0 |        5 |      286
0.29/0.33	c  0.2s |       3 |      609 |      475 |     3094      0 |        5 |      286
0.39/0.49	c  0.3s |       4 |     1178 |      813 |     3404      0 |        5 |      286
0.69/0.75	c  0.6s |       5 |     1824 |     1320 |     3745      0 |        5 |      286
1.20/1.23	c  1.1s |       6 |     2710 |     2081 |     4532      0 |        5 |      286
1.49/1.73	c  1.6s |       7 |     4083 |     3223 |     4986      0 |        5 |      286
2.29/2.39	c  2.2s |       8 |     6195 |     4936 |     5485      0 |        5 |      286
3.39/3.43	c  3.3s |       9 |     9394 |     7506 |     6034      1 |        5 |      286
4.99/5.06	c  4.9s |      10 |    14110 |    11361 |     6638      2 |        5 |      286
6.99/7.09	c  7.0s |      10 |    19555 |    15761 |     6638      3 |        5 |      286
7.68/7.70	c  7.6s |      11 |    21208 |    17144 |     7302      4 |        5 |      286
9.69/9.72	c  9.6s |      11 |    26296 |    21344 |     7302      5 |        5 |      286
11.69/11.74	c 11.6s |      11 |    31324 |    25644 |     7302      6 |        5 |      286
11.79/11.82	c 11.7s |      12 |    31517 |    25819 |     8033      6 |        5 |      286
13.79/13.85	c 13.7s |      12 |    36087 |    29719 |     8033      7 |        5 |      286
15.79/15.88	c 15.7s |      12 |    40863 |    33719 |     8033      8 |        5 |      286
17.79/17.89	c 17.7s |      12 |    45420 |    37719 |     8033      9 |        5 |      286
18.39/18.40	c 18.3s |      13 |    46729 |    38832 |     8837      9 |        5 |      286
20.38/20.43	c 20.3s |      13 |    51279 |    42632 |     8837     10 |        5 |      286
22.39/22.46	c 22.3s |      13 |    56147 |    46632 |     8837     11 |        5 |      286
24.38/24.49	c 24.3s |      13 |    60935 |    50532 |     8837     11 |        5 |      286
26.38/26.49	c 26.4s |      13 |    65806 |    54632 |     8837     12 |        5 |      286
28.38/28.40	c 28.3s |      14 |    70260 |    58352 |     9721     13 |        5 |      286
30.38/30.43	c 30.3s |      14 |    74205 |    61652 |     9721     14 |        5 |      286
32.38/32.48	c 32.3s |      14 |    78615 |    65552 |     9721     14 |        5 |      286
34.49/34.53	c 34.4s |      14 |    83417 |    69652 |     9721     15 |        5 |      286
36.48/36.54	c 36.4s |      14 |    87870 |    73552 |     9721     16 |        5 |      286
38.48/38.58	c 38.4s |      14 |    91929 |    77152 |     9721     17 |        5 |      286
40.59/40.60	c 40.5s |      14 |    94863 |    79752 |     9721     17 |        5 |      286
42.59/42.62	c 42.5s |      14 |    99501 |    83752 |     9721     18 |        5 |      286
44.59/44.66	c 44.5s |      14 |   103631 |    87452 |    10694     19 |        5 |      286
44.69/44.76	c 44.6s |      15 |   103825 |    87632 |    10694     19 |        5 |      286
46.69/46.77	c 46.6s |      15 |   107928 |    91032 |    10694     19 |        5 |      286
48.69/48.79	c 48.6s |      15 |   111793 |    94332 |    10694     20 |        5 |      286
50.79/50.83	c 50.7s |      15 |   115797 |    97732 |    10694     21 |        5 |      286
52.79/52.87	c 52.7s |      15 |   120028 |   101432 |    10694     21 |        5 |      286
54.89/54.96	c 54.8s |      15 |   123910 |   104832 |    10694     22 |        5 |      286
56.89/56.99	c 56.8s |      15 |   127796 |   108232 |    10694     23 |        5 |      286
58.99/59.03	c 58.9s |      15 |   132101 |   112032 |    10694     23 |        5 |      286
60.98/61.07	c 60.9s |      15 |   135690 |   115232 |    10694     24 |        5 |      286
63.09/63.11	c 63.0s |      15 |   139656 |   118632 |    10694     24 |        5 |      286
65.08/65.12	c 65.0s |      15 |   143279 |   121832 |    10694     25 |        5 |      286
67.08/67.14	c 67.0s |      15 |   146690 |   124832 |    10694     26 |        5 |      286
69.18/69.20	c 69.1s |      15 |   150056 |   127832 |    10694     26 |        5 |      286
71.18/71.23	c 71.1s |      15 |   153814 |   131032 |    11764     27 |        5 |      286
71.48/71.52	c 71.4s |      16 |   154403 |   131552 |    11764     27 |        5 |      286
73.48/73.54	c 73.4s |      16 |   158366 |   134852 |    11764     27 |        5 |      286
75.48/75.54	c 75.4s |      16 |   162787 |   138552 |    11764     28 |        5 |      286
77.48/77.59	c 77.4s |      16 |   166731 |   141952 |    11764     28 |        5 |      286
79.58/79.63	c 79.5s |      16 |   171294 |   145752 |    11764     29 |        5 |      286
81.58/81.66	c 81.5s |      16 |   175458 |   149352 |    11764     30 |        5 |      286
83.57/83.67	c 83.5s |      16 |   179511 |   152852 |    11764     30 |        5 |      286
85.57/85.67	c 85.5s |      16 |   183724 |   156552 |    11764     31 |        5 |      286
87.57/87.69	c 87.6s |      16 |   187588 |   159952 |    11764     31 |        5 |      286
89.67/89.73	c 89.6s |      16 |   191323 |   163352 |    11764     32 |        5 |      286
91.68/91.77	c 91.6s |      16 |   193154 |   164952 |    11764     32 |        5 |      286
93.67/93.78	c 93.6s |      16 |   197605 |   168652 |    11764     33 |        5 |      286
95.77/95.85	c 95.7s |      16 |   201994 |   172352 |    11764     34 |        5 |      286
97.87/97.90	c 97.8s |      16 |   206374 |   176052 |    11764     34 |        5 |      286
99.87/99.92	c 99.8s |      16 |   210360 |   179552 |    11764     35 |        5 |      286
101.87/101.92	c  101s |      16 |   214329 |   183052 |    11764     35 |        5 |      286
103.87/103.95	c  103s |      16 |   218240 |   186552 |    11764     36 |        5 |      286
105.87/105.95	c  105s |      16 |   220530 |   188552 |    11764     36 |        5 |      286
107.87/107.98	c  107s |      16 |   225135 |   192452 |    11764     37 |        5 |      286
109.96/110.01	c  109s |      16 |   229354 |   196052 |    11764     37 |        5 |      286
110.86/110.90	c  110s |      17 |   230971 |   197432 |    12941     38 |        5 |      286
112.86/112.91	c  112s |      17 |   234299 |   200232 |    12941     38 |        5 |      286
114.86/114.94	c  114s |      17 |   238718 |   203932 |    12941     38 |        5 |      286
116.87/116.94	c  116s |      17 |   243010 |   207732 |    12941     39 |        5 |      286
118.86/118.96	c  118s |      17 |   247236 |   211332 |    12941     40 |        5 |      286
120.86/120.96	c  120s |      17 |   251335 |   214832 |    12941     40 |        5 |      286
122.96/123.02	c  122s |      17 |   254924 |   217932 |    12941     41 |        5 |      286
124.96/125.05	c  124s |      17 |   259159 |   221632 |    12941     41 |        5 |      286
126.96/127.05	c  126s |      17 |   262967 |   225032 |    12941     42 |        5 |      286
128.97/129.10	c  128s |      17 |   264256 |   226132 |    12941     42 |        5 |      286
131.07/131.13	c  130s |      17 |   268492 |   229832 |    12941     42 |        5 |      286
133.06/133.16	c  133s |      17 |   272423 |   233332 |    12941     43 |        5 |      286
135.06/135.19	c  135s |      17 |   275788 |   236332 |    12941     43 |        5 |      286
137.16/137.20	c  137s |      17 |   279386 |   239432 |    12941     44 |        5 |      286
139.16/139.23	c  139s |      17 |   283276 |   242732 |    12941     44 |        5 |      286
141.17/141.23	c  141s |      17 |   287146 |   245932 |    12941     45 |        5 |      286
143.16/143.27	c  143s |      17 |   290940 |   249132 |    12941     45 |        5 |      286
145.16/145.28	c  145s |      17 |   294609 |   252132 |    12941     46 |        5 |      286
147.16/147.29	c  147s |      17 |   298629 |   255632 |    12941     46 |        5 |      286
149.26/149.34	c  149s |      17 |   302686 |   259132 |    12941     47 |        5 |      286
151.26/151.38	c  151s |      17 |   306351 |   262432 |    12941     47 |        5 |      286
153.35/153.43	c  153s |      17 |   309518 |   265132 |    12941     48 |        5 |      286
155.36/155.46	c  155s |      17 |   313433 |   268532 |    12941     48 |        5 |      286
157.35/157.48	c  157s |      17 |   317372 |   271932 |    12941     49 |        5 |      286
159.45/159.50	c  159s |      17 |   320690 |   274932 |    12941     49 |        5 |      286
161.45/161.50	c  161s |      17 |   323688 |   277632 |    12941     50 |        5 |      286
163.45/163.53	c  163s |      17 |   327246 |   280832 |    12941     50 |        5 |      286
165.45/165.58	c  165s |      17 |   329720 |   283132 |    12941     51 |        5 |      286
167.55/167.60	c  167s |      17 |   333384 |   286432 |    12941     51 |        5 |      286
169.55/169.68	c  169s |      17 |   336219 |   288932 |    12941     51 |        5 |      286
171.64/171.73	c  171s |      17 |   339567 |   291932 |    12941     52 |        5 |      286
173.64/173.76	c  173s |      17 |   342978 |   295032 |    14236     52 |        5 |      286
174.44/174.59	c  174s |      18 |   344388 |   296252 |    14236     52 |        5 |      286
176.94/177.06	c  176s |      18 |   346247 |   297852 |    14236     53 |        5 |      286
178.94/179.08	c  178s |      18 |   350993 |   301752 |    14236     53 |        5 |      286
180.94/181.09	c  180s |      18 |   354519 |   304852 |    14236     54 |        5 |      286
183.04/183.10	c  182s |      18 |   358210 |   308052 |    14236     54 |        5 |      286
185.05/185.17	c  185s |      18 |   361810 |   311152 |    14236     54 |        5 |      286
187.04/187.20	c  187s |      18 |   365477 |   314352 |    14236     55 |        5 |      286
189.14/189.22	c  189s |      18 |   368788 |   317352 |    14236     55 |        5 |      286
191.14/191.27	c  191s |      18 |   372178 |   320352 |    14236     56 |        5 |      286
193.14/193.27	c  193s |      18 |   373888 |   321852 |    14236     56 |        5 |      286
195.14/195.29	c  195s |      18 |   377618 |   325152 |    14236     56 |        5 |      286
197.14/197.29	c  197s |      18 |   381305 |   328352 |    14236     57 |        5 |      286
199.23/199.34	c  199s |      18 |   384846 |   331552 |    14236     57 |        5 |      286
201.23/201.35	c  201s |      18 |   387781 |   334152 |    14236     58 |        5 |      286
203.23/203.38	c  203s |      18 |   391620 |   337552 |    14236     58 |        5 |      286
205.33/205.42	c  205s |      18 |   394811 |   340452 |    14236     58 |        5 |      286
207.33/207.42	c  207s |      18 |   397908 |   343252 |    14236     59 |        5 |      286
209.34/209.48	c  209s |      18 |   400907 |   346052 |    14236     59 |        5 |      286
211.44/211.55	c  211s |      18 |   403965 |   348852 |    14236     60 |        5 |      286
213.43/213.59	c  213s |      18 |   406250 |   350852 |    14236     60 |        5 |      286
215.53/215.62	c  215s |      18 |   409805 |   353952 |    14236     60 |        5 |      286
217.53/217.66	c  217s |      18 |   412813 |   356652 |    14236     61 |        5 |      286
219.53/219.69	c  219s |      18 |   416276 |   359652 |    14236     61 |        5 |      286
221.63/221.75	c  221s |      18 |   419506 |   362452 |    14236     61 |        5 |      286
223.73/223.80	c  223s |      18 |   422076 |   364652 |    14236     62 |        5 |      286
225.73/225.82	c  225s |      18 |   425743 |   367852 |    14236     62 |        5 |      286
227.72/227.83	c  227s |      18 |   429481 |   371052 |    14236     63 |        5 |      286
229.72/229.89	c  229s |      18 |   433358 |   374352 |    14236     63 |        5 |      286
231.72/231.89	c  231s |      18 |   436601 |   377152 |    14236     64 |        5 |      286
233.82/233.95	c  233s |      18 |   440311 |   380452 |    14236     64 |        5 |      286
235.82/235.99	c  235s |      18 |   443644 |   383452 |    14236     64 |        5 |      286
237.93/238.05	c  237s |      18 |   446995 |   386452 |    14236     65 |        5 |      286
240.03/240.12	c  239s |      18 |   450266 |   389352 |    14236     65 |        5 |      286
242.02/242.16	c  242s |      18 |   452944 |   391752 |    14236     66 |        5 |      286
244.02/244.17	c  244s |      18 |   456448 |   394852 |    14236     66 |        5 |      286
246.12/246.21	c  246s |      18 |   459790 |   397852 |    14236     66 |        5 |      286
248.12/248.26	c  248s |      18 |   462754 |   400452 |    14236     67 |        5 |      286
250.12/250.27	c  250s |      18 |   466369 |   403552 |    14236     67 |        5 |      286
252.22/252.31	c  252s |      18 |   469621 |   406452 |    14236     68 |        5 |      286
254.32/254.41	c  254s |      18 |   473149 |   409652 |    14236     68 |        5 |      286
256.31/256.48	c  256s |      18 |   476354 |   412452 |    14236     68 |        5 |      286
258.42/258.53	c  258s |      18 |   479426 |   415152 |    14236     69 |        5 |      286
260.42/260.56	c  260s |      18 |   482611 |   418052 |    14236     69 |        5 |      286
262.42/262.56	c  262s |      18 |   485439 |   420652 |    14236     70 |        5 |      286
264.41/264.59	c  264s |      18 |   488891 |   423752 |    14236     70 |        5 |      286
266.52/266.61	c  266s |      18 |   491776 |   426452 |    14236     70 |        5 |      286
268.51/268.66	c  268s |      18 |   493304 |   427852 |    14236     71 |        5 |      286
270.51/270.66	c  270s |      18 |   497028 |   431252 |    14236     71 |        5 |      286
272.61/272.70	c  272s |      18 |   499770 |   433852 |    14236     71 |        5 |      286
274.61/274.74	c  274s |      18 |   502965 |   436752 |    14236     72 |        5 |      286
276.61/276.80	c  276s |      18 |   506352 |   439752 |    14236     72 |        5 |      286
278.71/278.81	c  278s |      18 |   509202 |   442352 |    15660     72 |        5 |      286
280.61/280.70	c  280s |      19 |   511519 |   444482 |    15660     73 |        5 |      286
282.61/282.74	c  282s |      19 |   514989 |   447382 |    15660     73 |        5 |      286
284.60/284.79	c  284s |      19 |   518656 |   450582 |    15660     73 |        5 |      286
286.70/286.81	c  286s |      19 |   521934 |   453482 |    15660     74 |        5 |      286
288.70/288.87	c  288s |      19 |   525540 |   456582 |    15660     74 |        5 |      286
290.80/290.98	c  290s |      19 |   528765 |   459282 |    15660     75 |        5 |      286
292.90/293.02	c  292s |      19 |   532838 |   462682 |    15660     75 |        5 |      286
294.90/295.05	c  294s |      19 |   536434 |   465782 |    15660     75 |        5 |      286
297.00/297.11	c  296s |      19 |   540460 |   468982 |    15660     76 |        5 |      286
299.00/299.15	c  299s |      19 |   543873 |   471882 |    15660     76 |        5 |      286
301.00/301.17	c  301s |      19 |   546890 |   474582 |    15660     76 |        5 |      286
302.99/303.19	c  303s |      19 |   550574 |   477782 |    15660     77 |        5 |      286
305.09/305.26	c  305s |      19 |   554183 |   480882 |    15660     77 |        5 |      286
307.10/307.26	c  307s |      19 |   557369 |   483582 |    15660     78 |        5 |      286
309.09/309.29	c  309s |      19 |   559701 |   485582 |    15660     78 |        5 |      286
311.19/311.34	c  311s |      19 |   563363 |   488782 |    15660     78 |        5 |      286
313.19/313.37	c  313s |      19 |   566704 |   491682 |    15660     79 |        5 |      286
315.29/315.40	c  315s |      19 |   570229 |   494882 |    15660     79 |        5 |      286
317.29/317.43	c  317s |      19 |   572944 |   497282 |    15660     79 |        5 |      286
319.29/319.46	c  319s |      19 |   575528 |   499582 |    15660     80 |        5 |      286
321.39/321.60	c  321s |      19 |   578984 |   502682 |    15660     80 |        5 |      286
323.48/323.67	c  323s |      19 |   582367 |   505582 |    15660     80 |        5 |      286
326.28/326.49	c  326s |      19 |   585455 |   508382 |    15660     81 |        5 |      286
328.38/328.54	c  328s |      19 |   589413 |   511782 |    15660     81 |        5 |      286
330.48/330.61	c  330s |      19 |   592580 |   514482 |    15660     81 |        5 |      286
332.49/332.64	c  332s |      19 |   595751 |   517182 |    15660     82 |        5 |      286
334.48/334.69	c  334s |      19 |   599509 |   520482 |    15660     82 |        5 |      286
336.58/336.72	c  336s |      19 |   602770 |   523382 |    15660     83 |        5 |      286
338.58/338.79	c  338s |      19 |   604371 |   524782 |    15660     83 |        5 |      286
340.68/340.80	c  340s |      19 |   607961 |   527882 |    15660     83 |        5 |      286
342.78/342.94	c  342s |      19 |   611175 |   530682 |    15660     84 |        5 |      286
344.78/344.99	c  344s |      19 |   614804 |   533882 |    15660     84 |        5 |      286
346.88/347.04	c  346s |      19 |   618045 |   536782 |    15660     84 |        5 |      286
348.88/349.08	c  348s |      19 |   620955 |   539282 |    15660     85 |        5 |      286
350.98/351.10	c  350s |      19 |   624538 |   542382 |    15660     85 |        5 |      286
352.97/353.12	c  352s |      19 |   627682 |   545182 |    15660     85 |        5 |      286
354.98/355.18	c  355s |      19 |   630959 |   548082 |    15660     86 |        5 |      286
357.08/357.20	c  357s |      19 |   634535 |   551282 |    15660     86 |        5 |      286
359.08/359.26	c  359s |      19 |   637640 |   554082 |    15660     86 |        5 |      286
361.09/361.28	c  361s |      19 |   640699 |   556882 |    15660     87 |        5 |      286
363.08/363.29	c  363s |      19 |   643612 |   559582 |    15660     87 |        5 |      286
365.28/365.41	c  365s |      19 |   646273 |   561982 |    15660     87 |        5 |      286
367.28/367.45	c  367s |      19 |   649014 |   564382 |    15660     88 |        5 |      286
369.38/369.51	c  369s |      19 |   652206 |   567282 |    15660     88 |        5 |      286
371.38/371.56	c  371s |      19 |   654923 |   569682 |    15660     88 |        5 |      286
373.37/373.57	c  373s |      19 |   658243 |   572582 |    15660     89 |        5 |      286
375.38/375.59	c  375s |      19 |   661956 |   575682 |    15660     89 |        5 |      286
377.37/377.60	c  377s |      19 |   665190 |   578482 |    15660     90 |        5 |      286
379.78/379.91	c  379s |      19 |   668593 |   581482 |    15660     90 |        5 |      286
381.77/381.91	c  381s |      19 |   671563 |   584082 |    15660     90 |        5 |      286
383.77/383.92	c  383s |      19 |   674577 |   586782 |    15660     91 |        5 |      286
385.77/385.98	c  385s |      19 |   678305 |   590082 |    15660     91 |        5 |      286
387.87/388.04	c  387s |      19 |   681371 |   592782 |    15660     91 |        5 |      286
389.87/390.09	c  389s |      19 |   684344 |   595482 |    15660     92 |        5 |      286
391.97/392.10	c  391s |      19 |   687142 |   598082 |    15660     92 |        5 |      286
393.97/394.14	c  393s |      19 |   689758 |   600482 |    15660     92 |        5 |      286
395.96/396.19	c  396s |      19 |   692393 |   602882 |    15660     93 |        5 |      286
398.06/398.25	c  398s |      19 |   695530 |   605782 |    15660     93 |        5 |      286
400.06/400.27	c  400s |      19 |   697944 |   607882 |    15660     93 |        5 |      286
402.16/402.32	c  402s |      19 |   700803 |   610382 |    15660     94 |        5 |      286
404.15/404.33	c  404s |      19 |   704391 |   613582 |    15660     94 |        5 |      286
406.16/406.35	c  406s |      19 |   707500 |   616382 |    15660     94 |        5 |      286
408.15/408.38	c  408s |      19 |   710504 |   619082 |    15660     95 |        5 |      286
410.25/410.42	c  410s |      19 |   713278 |   621482 |    15660     95 |        5 |      286
412.25/412.45	c  412s |      19 |   716326 |   624182 |    15660     95 |        5 |      286
414.25/414.46	c  414s |      19 |   719714 |   627182 |    15660     96 |        5 |      286
416.35/416.52	c  416s |      19 |   723131 |   630282 |    15660     96 |        5 |      286
418.35/418.56	c  418s |      19 |   726183 |   633082 |    15660     96 |        5 |      286
420.46/420.60	c  420s |      19 |   729631 |   636182 |    15660     97 |        5 |      286
422.45/422.62	c  422s |      19 |   732879 |   639182 |    15660     97 |        5 |      286
424.45/424.67	c  424s |      19 |   735492 |   641582 |    15660     97 |        5 |      286
426.84/427.08	c  426s |      19 |   737126 |   643082 |    15660     98 |        5 |      286
428.85/429.09	c  428s |      19 |   740609 |   646282 |    15660     98 |        5 |      286
430.95/431.16	c  431s |      19 |   743629 |   649082 |    15660     98 |        5 |      286
432.95/433.16	c  433s |      19 |   746530 |   651682 |    15660     99 |        5 |      286
434.95/435.18	c  435s |      19 |   749349 |   654282 |    15660     99 |        5 |      286
436.96/437.20	c  437s |      19 |   751855 |   656582 |    15660     99 |        5 |      286
439.55/439.72	c  439s |      19 |   754247 |   658782 |    15660    100 |        5 |      286
441.55/441.78	c  441s |      19 |   757892 |   661982 |    15660    100 |        5 |      286
443.55/443.79	c  443s |      19 |   760483 |   664382 |    17226    100 |        5 |      286
445.65/445.88	c  445s |      19 |   762860 |   666582 |    17226    100 |        5 |      286
445.94/446.15	c  446s |      20 |   763128 |   666827 |    17226    100 |        5 |      286
448.04/448.26	c  448s |      20 |   766049 |   669527 |    17226    101 |        5 |      286
450.15/450.32	c  450s |      20 |   766186 |   669627 |    17226    101 |        5 |      286
452.14/452.34	c  452s |      20 |   770193 |   673027 |    17226    101 |        5 |      286
454.14/454.34	c  454s |      20 |   773444 |   675827 |    17226    101 |        5 |      286
456.14/456.34	c  456s |      20 |   776671 |   678627 |    17226    102 |        5 |      286
458.14/458.38	c  458s |      20 |   779829 |   681427 |    17226    102 |        5 |      286
460.24/460.41	c  460s |      20 |   782615 |   683927 |    17226    102 |        5 |      286
462.24/462.41	c  462s |      20 |   784783 |   685827 |    17226    103 |        5 |      286
464.24/464.42	c  464s |      20 |   788375 |   688927 |    17226    103 |        5 |      286
466.24/466.49	c  466s |      20 |   791610 |   691827 |    17226    103 |        5 |      286
468.34/468.55	c  468s |      20 |   794231 |   694227 |    17226    104 |        5 |      286
470.44/470.61	c  470s |      20 |   797616 |   697127 |    17226    104 |        5 |      286
472.54/472.70	c  472s |      20 |   800864 |   700027 |    17226    104 |        5 |      286
474.53/474.70	c  474s |      20 |   803160 |   702127 |    17226    105 |        5 |      286
476.54/476.74	c  476s |      20 |   806752 |   705327 |    17226    105 |        5 |      286
478.64/478.81	c  478s |      20 |   809741 |   708027 |    17226    105 |        5 |      286
480.63/480.85	c  480s |      20 |   812440 |   710527 |    17226    105 |        5 |      286
482.93/483.12	c  482s |      20 |   814860 |   712727 |    17226    106 |        5 |      286
484.93/485.15	c  485s |      20 |   817946 |   715527 |    17226    106 |        5 |      286
486.93/487.15	c  487s |      20 |   820577 |   717927 |    17226    106 |        5 |      286
489.82/490.09	c  489s |      20 |   822816 |   719927 |    17226    107 |        5 |      286
491.93/492.12	c  491s |      20 |   826529 |   723127 |    17226    107 |        5 |      286
493.92/494.14	c  494s |      20 |   829642 |   725927 |    17226    107 |        5 |      286
496.12/496.32	c  496s |      20 |   832286 |   728327 |    17226    108 |        5 |      286
498.12/498.39	c  498s |      20 |   835293 |   731027 |    17226    108 |        5 |      286
500.22/500.43	c  500s |      20 |   838145 |   733627 |    17226    108 |        5 |      286
502.22/502.46	c  502s |      20 |   840897 |   736127 |    17226    108 |        5 |      286
504.72/504.96	c  504s |      20 |   842461 |   737527 |    17226    109 |        5 |      286
506.72/506.97	c  506s |      20 |   846162 |   740727 |    17226    109 |        5 |      286
508.82/509.00	c  508s |      20 |   849197 |   743427 |    17226    109 |        5 |      286
510.82/511.03	c  510s |      20 |   851933 |   745827 |    17226    110 |        5 |      286
512.83/513.10	c  512s |      20 |   855195 |   748827 |    17226    110 |        5 |      286
514.92/515.11	c  514s |      20 |   858077 |   751427 |    17226    110 |        5 |      286
516.91/517.14	c  516s |      20 |   860669 |   753727 |    17226    110 |        5 |      286
518.91/519.18	c  519s |      20 |   863077 |   755927 |    17226    111 |        5 |      286
521.01/521.23	c  521s |      20 |   865733 |   758427 |    17226    111 |        5 |      286
523.11/523.30	c  523s |      20 |   868337 |   760827 |    17226    111 |        5 |      286
525.21/525.40	c  525s |      20 |   870827 |   763027 |    17226    111 |        5 |      286
527.91/528.19	c  528s |      20 |   872261 |   764327 |    17226    112 |        5 |      286
530.01/530.24	c  530s |      20 |   876279 |   767627 |    17226    112 |        5 |      286
532.01/532.29	c  532s |      20 |   879565 |   770527 |    17226    112 |        5 |      286
534.10/534.34	c  534s |      20 |   882270 |   772827 |    17226    113 |        5 |      286
536.10/536.37	c  536s |      20 |   886168 |   776127 |    17226    113 |        5 |      286
538.20/538.43	c  538s |      20 |   889489 |   779027 |    17226    113 |        5 |      286
540.21/540.44	c  540s |      20 |   892631 |   781727 |    17226    114 |        5 |      286
542.20/542.47	c  542s |      20 |   896252 |   784927 |    17226    114 |        5 |      286
544.20/544.47	c  544s |      20 |   899500 |   787827 |    17226    114 |        5 |      286
546.30/546.55	c  546s |      20 |   901208 |   789327 |    17226    114 |        5 |      286
548.40/548.60	c  548s |      20 |   904785 |   792427 |    17226    115 |        5 |      286
550.40/550.66	c  550s |      20 |   908174 |   795327 |    17226    115 |        5 |      286
552.50/552.71	c  552s |      20 |   911620 |   798227 |    17226    116 |        5 |      286
554.50/554.75	c  554s |      20 |   915559 |   801727 |    17226    116 |        5 |      286
556.59/556.81	c  556s |      20 |   918995 |   804827 |    17226    116 |        5 |      286
558.59/558.86	c  558s |      20 |   921612 |   807127 |    17226    117 |        5 |      286
560.59/560.87	c  560s |      20 |   925522 |   810627 |    17226    117 |        5 |      286
562.69/562.90	c  562s |      20 |   928811 |   813527 |    17226    117 |        5 |      286
564.69/564.94	c  564s |      20 |   931858 |   816127 |    17226    118 |        5 |      286
566.79/567.02	c  566s |      20 |   935051 |   819027 |    17226    118 |        5 |      286
568.79/569.07	c  568s |      20 |   938350 |   822027 |    17226    118 |        5 |      286
570.89/571.10	c  570s |      20 |   940804 |   824327 |    17226    119 |        5 |      286
572.88/573.16	c  573s |      20 |   944071 |   827227 |    17226    119 |        5 |      286
574.98/575.22	c  575s |      20 |   947312 |   830127 |    17226    119 |        5 |      286
577.39/577.67	c  577s |      20 |   947758 |   830527 |    17226    119 |        5 |      286
579.49/579.71	c  579s |      20 |   949842 |   832327 |    17226    119 |        5 |      286
581.49/581.75	c  581s |      20 |   953368 |   835327 |    17226    120 |        5 |      286
583.48/583.78	c  583s |      20 |   957078 |   838527 |    17226    120 |        5 |      286
585.58/585.82	c  585s |      20 |   960391 |   841427 |    17226    120 |        5 |      286
587.59/587.83	c  587s |      20 |   963847 |   844427 |    17226    121 |        5 |      286
589.58/589.89	c  589s |      20 |   967077 |   847227 |    17226    121 |        5 |      286
591.68/591.94	c  591s |      20 |   969900 |   849627 |    17226    121 |        5 |      286
593.68/593.96	c  593s |      20 |   972960 |   852327 |    17226    122 |        5 |      286
595.68/595.97	c  595s |      20 |   976168 |   855227 |    17226    122 |        5 |      286
597.78/598.00	c  597s |      20 |   979335 |   858027 |    17226    122 |        5 |      286
599.78/600.07	c  599s |      20 |   982523 |   860927 |    17226    123 |        5 |      286
601.88/602.15	c  602s |      20 |   985556 |   863727 |    17226    123 |        5 |      286
603.87/604.19	c  604s |      20 |   988446 |   866327 |    17226    123 |        5 |      286
606.67/606.90	c  606s |      20 |   990528 |   868227 |    17226    124 |        5 |      286
608.67/608.90	c  608s |      20 |   993949 |   871127 |    17226    124 |        5 |      286
610.67/610.94	c  610s |      20 |   997178 |   873927 |    17226    124 |        5 |      286
612.67/612.94	c  612s |      20 |  1000032 |   876427 |    17226    124 |        5 |      286
614.66/614.95	c  614s |      20 |  1003380 |   879327 |    17226    125 |        5 |      286
617.36/617.65	c  617s |      20 |  1006589 |   882227 |    17226    125 |        5 |      286
619.37/619.67	c  619s |      20 |  1009610 |   884827 |    17226    125 |        5 |      286
621.37/621.69	c  621s |      20 |  1012798 |   887627 |    17226    126 |        5 |      286
623.47/623.76	c  623s |      20 |  1016296 |   890727 |    17226    126 |        5 |      286
625.57/625.82	c  625s |      20 |  1019595 |   893627 |    17226    126 |        5 |      286
627.57/627.84	c  627s |      20 |  1022833 |   896527 |    17226    127 |        5 |      286
629.57/629.88	c  629s |      20 |  1025646 |   899027 |    17226    127 |        5 |      286
631.67/631.96	c  631s |      20 |  1028748 |   901727 |    17226    127 |        5 |      286
633.67/633.99	c  633s |      20 |  1031906 |   904527 |    17226    128 |        5 |      286
635.76/636.04	c  635s |      20 |  1035336 |   907627 |    17226    128 |        5 |      286
637.76/638.05	c  637s |      20 |  1038121 |   910127 |    17226    128 |        5 |      286
639.76/640.06	c  639s |      20 |  1041235 |   912927 |    17226    129 |        5 |      286
641.76/642.08	c  641s |      20 |  1044605 |   916027 |    17226    129 |        5 |      286
643.86/644.12	c  643s |      20 |  1047617 |   918727 |    17226    129 |        5 |      286
645.87/646.17	c  646s |      20 |  1050718 |   921527 |    17226    130 |        5 |      286
647.97/648.21	c  648s |      20 |  1053704 |   924327 |    17226    130 |        5 |      286
650.75/651.07	c  650s |      20 |  1054027 |   924627 |    17226    130 |        5 |      286
652.85/653.11	c  652s |      20 |  1057100 |   927427 |    17226    130 |        5 |      286
654.85/655.14	c  654s |      20 |  1059758 |   929727 |    17226    131 |        5 |      286
656.86/657.18	c  657s |      20 |  1063333 |   932927 |    17226    131 |        5 |      286
658.96/659.21	c  659s |      20 |  1066406 |   935627 |    17226    131 |        5 |      286
660.95/661.21	c  661s |      20 |  1069018 |   938027 |    17226    132 |        5 |      286
662.95/663.29	c  663s |      20 |  1072444 |   941127 |    17226    132 |        5 |      286
665.35/665.65	c  665s |      20 |  1075420 |   943827 |    17226    132 |        5 |      286
667.55/667.85	c  667s |      20 |  1078406 |   946427 |    17226    133 |        5 |      286
669.55/669.87	c  669s |      20 |  1081864 |   949327 |    17226    133 |        5 |      286
671.65/671.93	c  671s |      20 |  1085174 |   952327 |    17226    133 |        5 |      286
673.65/673.96	c  673s |      20 |  1087861 |   954827 |    17226    133 |        5 |      286
675.65/675.97	c  675s |      20 |  1090608 |   957327 |    17226    134 |        5 |      286
677.65/677.99	c  677s |      20 |  1093768 |   960227 |    17226    134 |        5 |      286
679.75/680.05	c  679s |      20 |  1096448 |   962727 |    17226    134 |        5 |      286
681.75/682.07	c  681s |      20 |  1099446 |   965427 |    17226    135 |        5 |      286
683.74/684.10	c  683s |      20 |  1102720 |   968427 |    17226    135 |        5 |      286
685.84/686.13	c  685s |      20 |  1105383 |   970827 |    17226    135 |        5 |      286
687.84/688.17	c  688s |      20 |  1107907 |   973127 |    17226    136 |        5 |      286
692.35/692.64	c  692s |      20 |  1108356 |   973527 |    17226    136 |        5 |      286
694.34/694.68	c  694s |      20 |  1112389 |   977027 |    17226    136 |        5 |      286
696.45/696.73	c  696s |      20 |  1115817 |   980027 |    17226    136 |        5 |      286
698.44/698.78	c  698s |      20 |  1119220 |   983027 |    17226    137 |        5 |      286
700.54/700.81	c  700s |      20 |  1122479 |   985927 |    17226    137 |        5 |      286
702.54/702.87	c  702s |      20 |  1125490 |   988627 |    17226    137 |        5 |      286
704.64/704.92	c  704s |      20 |  1128114 |   991027 |    17226    138 |        5 |      286
706.64/706.98	c  706s |      20 |  1131031 |   993727 |    18949    138 |        5 |      286
708.74/709.03	c  708s |      20 |  1133911 |   996227 |    18949    138 |        5 |      286
710.74/711.07	c  710s |      20 |  1136192 |   998227 |    18949    138 |        5 |      286
712.63/712.96	c  712s |      21 |  1138588 |  1000345 |    18949    138 |        5 |      286
714.73/715.00	c  714s |      21 |  1140856 |  1002145 |    18949    139 |        5 |      286
716.73/717.02	c  716s |      21 |  1144656 |  1005245 |    18949    139 |        5 |      286
718.72/719.06	c  718s |      21 |  1148099 |  1008145 |    18949    139 |        5 |      286
720.72/721.09	c  720s |      21 |  1151049 |  1010645 |    18949    140 |        5 |      286
722.73/723.09	c  722s |      21 |  1154972 |  1014045 |    18949    140 |        5 |      286
724.72/725.09	c  724s |      21 |  1158436 |  1017045 |    18949    140 |        5 |      286
726.82/727.14	c  726s |      21 |  1161829 |  1020045 |    18949    141 |        5 |      286
728.82/729.17	c  729s |      21 |  1165455 |  1023345 |    18949    141 |        5 |      286
730.93/731.20	c  731s |      21 |  1167421 |  1024945 |    18949    141 |        5 |      286
732.92/733.22	c  733s |      21 |  1170712 |  1027645 |    18949    141 |        5 |      286
734.93/735.22	c  735s |      21 |  1174041 |  1030445 |    18949    142 |        5 |      286
736.92/737.26	c  737s |      21 |  1177365 |  1033345 |    18949    142 |        5 |      286
738.92/739.28	c  739s |      21 |  1180931 |  1036445 |    18949    142 |        5 |      286
740.92/741.29	c  741s |      21 |  1183971 |  1039145 |    18949    143 |        5 |      286
742.92/743.30	c  743s |      21 |  1187475 |  1042145 |    18949    143 |        5 |      286
745.32/745.64	c  745s |      21 |  1190627 |  1044845 |    18949    143 |        5 |      286
747.32/747.69	c  747s |      21 |  1193859 |  1047545 |    18949    143 |        5 |      286
749.32/749.69	c  749s |      21 |  1196598 |  1049945 |    18949    144 |        5 |      286
751.43/751.73	c  751s |      21 |  1200566 |  1053445 |    18949    144 |        5 |      286
753.42/753.78	c  753s |      21 |  1204024 |  1056545 |    18949    144 |        5 |      286
755.52/755.83	c  755s |      21 |  1207643 |  1059745 |    18949    145 |        5 |      286
757.52/757.89	c  757s |      21 |  1210578 |  1062245 |    18949    145 |        5 |      286
759.62/759.90	c  759s |      21 |  1213690 |  1065045 |    18949    145 |        5 |      286
761.72/762.03	c  761s |      21 |  1216623 |  1067645 |    18949    146 |        5 |      286
763.72/764.09	c  763s |      21 |  1220140 |  1070745 |    18949    146 |        5 |      286
765.82/766.12	c  765s |      21 |  1223348 |  1073645 |    18949    146 |        5 |      286
767.82/768.12	c  767s |      21 |  1226347 |  1076345 |    18949    146 |        5 |      286
769.82/770.15	c  770s |      21 |  1229274 |  1079045 |    18949    147 |        5 |      286
771.92/772.23	c  772s |      21 |  1232091 |  1081645 |    18949    147 |        5 |      286
773.92/774.23	c  774s |      21 |  1235106 |  1084245 |    18949    147 |        5 |      286
775.92/776.25	c  776s |      21 |  1237783 |  1086645 |    18949    147 |        5 |      286
781.42/781.71	c  781s |      21 |  1240327 |  1088945 |    18949    148 |        5 |      286
783.42/783.76	c  783s |      21 |  1244135 |  1092345 |    18949    148 |        5 |      286
785.52/785.82	c  785s |      21 |  1247339 |  1095145 |    18949    148 |        5 |      286
787.52/787.84	c  787s |      21 |  1250692 |  1098145 |    18949    149 |        5 |      286
789.52/789.85	c  789s |      21 |  1253643 |  1100845 |    18949    149 |        5 |      286
791.62/791.92	c  791s |      21 |  1256382 |  1103345 |    18949    149 |        5 |      286
793.62/793.92	c  793s |      21 |  1258769 |  1105545 |    18949    149 |        5 |      286
795.62/795.97	c  795s |      21 |  1261672 |  1108145 |    18949    150 |        5 |      286
797.71/798.01	c  797s |      21 |  1264660 |  1110845 |    18949    150 |        5 |      286
799.72/800.08	c  799s |      21 |  1266308 |  1112345 |    18949    150 |        5 |      286
801.81/802.17	c  802s |      21 |  1269368 |  1114945 |    18949    150 |        5 |      286
803.91/804.20	c  804s |      21 |  1272202 |  1117445 |    18949    151 |        5 |      286
805.91/806.22	c  806s |      21 |  1275625 |  1120445 |    18949    151 |        5 |      286
807.91/808.29	c  808s |      21 |  1278448 |  1122945 |    18949    151 |        5 |      286
810.61/810.91	c  810s |      21 |  1281014 |  1125145 |    18949    152 |        5 |      286
812.61/812.96	c  812s |      21 |  1283352 |  1127145 |    18949    152 |        5 |      286
814.61/815.00	c  814s |      21 |  1286947 |  1130345 |    18949    152 |        5 |      286
816.71/817.02	c  816s |      21 |  1289918 |  1132845 |    18949    152 |        5 |      286
818.71/819.03	c  818s |      21 |  1292128 |  1134845 |    18949    153 |        5 |      286
820.71/821.08	c  820s |      21 |  1294605 |  1137045 |    18949    153 |        5 |      286
822.81/823.15	c  823s |      21 |  1297602 |  1139745 |    18949    153 |        5 |      286
824.91/825.21	c  825s |      21 |  1300212 |  1142045 |    18949    153 |        5 |      286
827.01/827.34	c  827s |      21 |  1302587 |  1144245 |    18949    154 |        5 |      286
830.00/830.32	c  830s |      21 |  1305515 |  1146945 |    18949    154 |        5 |      286
832.00/832.37	c  832s |      21 |  1308513 |  1149645 |    18949    154 |        5 |      286
834.00/834.38	c  834s |      21 |  1311260 |  1152145 |    18949    154 |        5 |      286
836.11/836.42	c  836s |      21 |  1313668 |  1154345 |    18949    155 |        5 |      286
838.10/838.49	c  838s |      21 |  1316266 |  1156745 |    18949    155 |        5 |      286
840.20/840.57	c  840s |      21 |  1319507 |  1159645 |    18949    155 |        5 |      286
842.30/842.63	c  842s |      21 |  1322037 |  1161945 |    18949    155 |        5 |      286
844.30/844.69	c  844s |      21 |  1324519 |  1164245 |    18949    156 |        5 |      286
846.40/846.75	c  846s |      21 |  1327392 |  1166845 |    18949    156 |        5 |      286
848.50/848.81	c  848s |      21 |  1329829 |  1169045 |    18949    156 |        5 |      286
850.60/850.90	c  850s |      21 |  1332365 |  1171345 |    18949    156 |        5 |      286
852.61/852.96	c  852s |      21 |  1334766 |  1173545 |    18949    157 |        5 |      286
854.71/855.01	c  854s |      21 |  1337503 |  1176045 |    18949    157 |        5 |      286
856.70/857.05	c  856s |      21 |  1340206 |  1178545 |    18949    157 |        5 |      286
858.70/859.08	c  858s |      21 |  1342247 |  1180445 |    18949    157 |        5 |      286
861.01/861.39	c  861s |      21 |  1343116 |  1181245 |    18949    157 |        5 |      286
863.01/863.39	c  863s |      21 |  1346210 |  1183945 |    18949    158 |        5 |      286
865.11/865.43	c  865s |      21 |  1349620 |  1186945 |    18949    158 |        5 |      286
867.21/867.50	c  867s |      21 |  1352634 |  1189645 |    18949    158 |        5 |      286
869.20/869.51	c  869s |      21 |  1355072 |  1191845 |    18949    158 |        5 |      286
871.21/871.57	c  871s |      21 |  1357704 |  1194245 |    18949    159 |        5 |      286
873.30/873.64	c  873s |      21 |  1360368 |  1196745 |    18949    159 |        5 |      286
875.40/875.72	c  875s |      21 |  1362983 |  1199045 |    18949    159 |        5 |      286
877.50/877.81	c  877s |      21 |  1365554 |  1201345 |    18949    159 |        5 |      286
879.50/879.86	c  879s |      21 |  1366837 |  1202445 |    18949    160 |        5 |      286
881.50/881.87	c  881s |      21 |  1370486 |  1205545 |    18949    160 |        5 |      286
883.60/883.90	c  883s |      21 |  1373350 |  1208045 |    18949    160 |        5 |      286
885.61/885.98	c  885s |      21 |  1375980 |  1210445 |    18949    160 |        5 |      286
887.71/888.01	c  887s |      21 |  1378440 |  1212645 |    18949    161 |        5 |      286
889.80/890.16	c  890s |      21 |  1380849 |  1214745 |    18949    161 |        5 |      286
892.00/892.39	c  892s |      21 |  1384287 |  1217645 |    18949    161 |        5 |      286
894.10/894.41	c  894s |      21 |  1387510 |  1220345 |    18949    161 |        5 |      286
896.20/896.57	c  896s |      21 |  1390221 |  1222745 |    18949    162 |        5 |      286
898.30/898.63	c  898s |      21 |  1393967 |  1225945 |    18949    162 |        5 |      286
900.30/900.69	c  900s |      21 |  1397350 |  1228845 |    18949    162 |        5 |      286
902.40/902.75	c  902s |      21 |  1400450 |  1231545 |    18949    163 |        5 |      286
904.40/904.77	c  904s |      21 |  1404169 |  1234845 |    18949    163 |        5 |      286
906.40/906.77	c  906s |      21 |  1407688 |  1237945 |    18949    163 |        5 |      286
908.79/909.19	c  909s |      21 |  1410551 |  1240545 |    18949    164 |        5 |      286
910.90/911.22	c  911s |      21 |  1411267 |  1241145 |    18949    164 |        5 |      286
912.89/913.25	c  913s |      21 |  1414990 |  1244545 |    18949    164 |        5 |      286
914.99/915.30	c  915s |      21 |  1418249 |  1247445 |    18949    164 |        5 |      286
916.99/917.36	c  917s |      21 |  1421059 |  1249845 |    18949    165 |        5 |      286
918.99/919.37	c  919s |      21 |  1424016 |  1252545 |    18949    165 |        5 |      286
920.99/921.37	c  921s |      21 |  1426593 |  1254845 |    18949    165 |        5 |      286
923.09/923.45	c  923s |      21 |  1429327 |  1256945 |    18949    165 |        5 |      286
925.20/925.54	c  925s |      21 |  1431619 |  1258845 |    18949    165 |        5 |      286
927.19/927.59	c  927s |      21 |  1434886 |  1261345 |    18949    166 |        5 |      286
929.49/929.82	c  929s |      21 |  1438488 |  1263845 |    18949    166 |        5 |      286
931.49/931.84	c  931s |      21 |  1441506 |  1266245 |    18949    166 |        5 |      286
933.49/933.84	c  933s |      21 |  1443905 |  1268245 |    18949    166 |        5 |      286
935.49/935.88	c  935s |      21 |  1446243 |  1270145 |    18949    167 |        5 |      286
937.49/937.89	c  937s |      21 |  1448788 |  1272245 |    18949    167 |        5 |      286
939.59/939.97	c  939s |      21 |  1451195 |  1274245 |    18949    167 |        5 |      286
941.69/942.04	c  941s |      21 |  1453350 |  1276145 |    18949    167 |        5 |      286
943.69/944.09	c  943s |      21 |  1455576 |  1278145 |    18949    167 |        5 |      286
945.69/946.09	c  945s |      21 |  1457958 |  1280245 |    18949    168 |        5 |      286
947.78/948.14	c  948s |      21 |  1460526 |  1282445 |    18949    168 |        5 |      286
949.78/950.18	c  950s |      21 |  1463341 |  1284845 |    18949    168 |        5 |      286
951.88/952.27	c  952s |      21 |  1466009 |  1287145 |    18949    168 |        5 |      286
953.98/954.33	c  954s |      21 |  1468462 |  1289345 |    18949    169 |        5 |      286
955.99/956.39	c  956s |      21 |  1471877 |  1292345 |    18949    169 |        5 |      286
958.09/958.46	c  958s |      21 |  1474617 |  1294845 |    18949    169 |        5 |      286
960.18/960.51	c  960s |      21 |  1477337 |  1297245 |    18949    169 |        5 |      286
962.18/962.51	c  962s |      21 |  1480491 |  1300045 |    18949    170 |        5 |      286
964.19/964.53	c  964s |      21 |  1482295 |  1301645 |    18949    170 |        5 |      286
966.19/966.57	c  966s |      21 |  1485350 |  1304245 |    18949    170 |        5 |      286
968.29/968.60	c  968s |      21 |  1488207 |  1306645 |    18949    170 |        5 |      286
970.29/970.65	c  970s |      21 |  1490948 |  1309045 |    18949    171 |        5 |      286
972.29/972.66	c  972s |      21 |  1494021 |  1311745 |    18949    171 |        5 |      286
974.29/974.68	c  974s |      21 |  1497230 |  1314545 |    18949    171 |        5 |      286
976.39/976.73	c  976s |      21 |  1499732 |  1316645 |    18949    171 |        5 |      286
978.49/978.80	c  978s |      21 |  1502332 |  1318945 |    18949    172 |        5 |      286
980.48/980.86	c  980s |      21 |  1505142 |  1321545 |    18949    172 |        5 |      286
982.58/982.90	c  982s |      21 |  1507698 |  1323845 |    18949    172 |        5 |      286
984.59/984.91	c  984s |      21 |  1510161 |  1326045 |    18949    172 |        5 |      286
986.69/987.04	c  986s |      21 |  1513044 |  1328645 |    18949    173 |        5 |      286
988.68/989.05	c  988s |      21 |  1515997 |  1331245 |    18949    173 |        5 |      286
990.68/991.06	c  990s |      21 |  1517730 |  1332745 |    18949    173 |        5 |      286
992.78/993.13	c  992s |      21 |  1520714 |  1335345 |    18949    173 |        5 |      286
994.78/995.17	c  995s |      21 |  1523142 |  1337445 |    18949    174 |        5 |      286
996.78/997.20	c  997s |      21 |  1525827 |  1339745 |    18949    174 |        5 |      286
998.89/999.27	c  999s |      21 |  1528721 |  1342245 |    18949    174 |        5 |      286
1000.88/1001.30	c 1001s |      21 |  1531274 |  1344345 |    18949    174 |        5 |      286
1003.18/1003.54	c 1003s |      21 |  1533439 |  1346145 |    18949    175 |        5 |      286
1005.18/1005.59	c 1005s |      21 |  1536619 |  1348745 |    18949    175 |        5 |      286
1007.28/1007.61	c 1007s |      21 |  1539154 |  1350845 |    18949    175 |        5 |      286
1009.28/1009.63	c 1009s |      21 |  1541518 |  1352845 |    18949    175 |        5 |      286
1011.38/1011.72	c 1011s |      21 |  1543773 |  1354745 |    18949    175 |        5 |      286
1013.38/1013.73	c 1013s |      21 |  1546412 |  1356845 |    18949    176 |        5 |      286
1015.38/1015.77	c 1015s |      21 |  1548510 |  1358545 |    18949    176 |        5 |      286
1017.48/1017.84	c 1017s |      21 |  1550980 |  1360645 |    18949    176 |        5 |      286
1019.48/1019.86	c 1019s |      21 |  1553386 |  1362645 |    18949    176 |        5 |      286
1021.57/1021.91	c 1021s |      21 |  1555568 |  1364445 |    18949    176 |        5 |      286
1023.57/1023.98	c 1023s |      21 |  1558154 |  1366645 |    18949    177 |        5 |      286
1025.57/1025.99	c 1025s |      21 |  1560915 |  1368945 |    18949    177 |        5 |      286
1027.67/1028.04	c 1027s |      21 |  1563439 |  1370945 |    18949    177 |        5 |      286
1029.77/1030.14	c 1029s |      21 |  1565759 |  1372845 |    18949    177 |        5 |      286
1031.78/1032.16	c 1032s |      21 |  1567820 |  1374445 |    18949    178 |        5 |      286
1033.77/1034.17	c 1034s |      21 |  1570347 |  1376445 |    18949    178 |        5 |      286
1035.87/1036.25	c 1036s |      21 |  1573465 |  1379045 |    18949    178 |        5 |      286
1037.97/1038.35	c 1038s |      21 |  1576117 |  1381245 |    18949    178 |        5 |      286
1040.07/1040.42	c 1040s |      21 |  1578535 |  1383145 |    18949    178 |        5 |      286
1042.07/1042.48	c 1042s |      21 |  1580934 |  1385245 |    18949    179 |        5 |      286
1044.17/1044.50	c 1044s |      21 |  1583372 |  1387445 |    18949    179 |        5 |      286
1046.18/1046.50	c 1046s |      21 |  1585765 |  1389645 |    18949    179 |        5 |      286
1048.17/1048.53	c 1048s |      21 |  1587957 |  1391645 |    18949    179 |        5 |      286
1050.37/1050.74	c 1050s |      21 |  1590013 |  1393545 |    18949    180 |        5 |      286
1052.37/1052.74	c 1052s |      21 |  1592621 |  1395945 |    18949    180 |        5 |      286
1054.37/1054.78	c 1054s |      21 |  1595341 |  1398445 |    18949    180 |        5 |      286
1056.47/1056.85	c 1056s |      21 |  1598013 |  1400945 |    18949    180 |        5 |      286
1058.77/1059.17	c 1059s |      21 |  1600252 |  1403045 |    18949    181 |        5 |      286
1060.87/1061.20	c 1061s |      21 |  1603361 |  1405845 |    18949    181 |        5 |      286
1062.87/1063.21	c 1063s |      21 |  1605875 |  1408145 |    18949    181 |        5 |      286
1064.88/1065.23	c 1065s |      21 |  1608016 |  1410145 |    18949    181 |        5 |      286
1066.97/1067.31	c 1067s |      21 |  1610188 |  1412145 |    18949    181 |        5 |      286
1068.97/1069.31	c 1069s |      21 |  1612122 |  1413945 |    18949    182 |        5 |      286
1070.97/1071.39	c 1071s |      21 |  1614929 |  1416545 |    18949    182 |        5 |      286
1073.07/1073.45	c 1073s |      21 |  1617268 |  1418745 |    18949    182 |        5 |      286
1075.17/1075.54	c 1075s |      21 |  1619263 |  1420645 |    18949    182 |        5 |      286
1077.77/1078.11	c 1077s |      21 |  1621083 |  1422345 |    18949    183 |        5 |      286
1079.77/1080.19	c 1080s |      21 |  1624272 |  1425245 |    18949    183 |        5 |      286
1081.87/1082.20	c 1082s |      21 |  1626832 |  1427545 |    18949    183 |        5 |      286
1083.87/1084.21	c 1084s |      21 |  1629140 |  1429645 |    18949    183 |        5 |      286
1085.96/1086.30	c 1086s |      21 |  1631349 |  1431645 |    18949    183 |        5 |      286
1087.97/1088.34	c 1088s |      21 |  1633873 |  1433945 |    18949    184 |        5 |      286
1089.96/1090.39	c 1090s |      21 |  1636941 |  1436745 |    18949    184 |        5 |      286
1092.06/1092.41	c 1092s |      21 |  1638925 |  1438545 |    18949    184 |        5 |      286
1094.16/1094.51	c 1094s |      21 |  1640959 |  1440445 |    18949    184 |        5 |      286
1096.16/1096.56	c 1096s |      21 |  1643046 |  1442345 |    18949    185 |        5 |      286
1098.16/1098.59	c 1098s |      21 |  1645875 |  1444945 |    18949    185 |        5 |      286
1100.26/1100.67	c 1100s |      21 |  1648038 |  1446945 |    18949    185 |        5 |      286
1102.27/1102.68	c 1102s |      21 |  1650203 |  1448945 |    18949    185 |        5 |      286
1104.37/1104.80	c 1104s |      21 |  1652187 |  1450745 |    18949    185 |        5 |      286
1106.46/1106.81	c 1106s |      21 |  1654260 |  1452645 |    18949    186 |        5 |      286
1108.47/1108.87	c 1108s |      21 |  1656625 |  1454845 |    18949    186 |        5 |      286
1110.57/1110.96	c 1110s |      21 |  1658806 |  1456845 |    18949    186 |        5 |      286
1112.57/1112.99	c 1112s |      21 |  1660876 |  1458745 |    18949    186 |        5 |      286
1114.67/1115.02	c 1114s |      21 |  1662567 |  1460345 |    18949    186 |        5 |      286
1116.67/1117.05	c 1116s |      21 |  1664601 |  1462245 |    18949    187 |        5 |      286
1118.67/1119.10	c 1118s |      21 |  1666942 |  1464445 |    18949    187 |        5 |      286
1120.77/1121.10	c 1120s |      21 |  1669077 |  1466345 |    18949    187 |        5 |      286
1122.77/1123.10	c 1122s |      21 |  1671035 |  1468145 |    18949    187 |        5 |      286
1124.77/1125.13	c 1124s |      21 |  1672724 |  1469745 |    18949    187 |        5 |      286
1126.76/1127.15	c 1127s |      21 |  1674766 |  1471445 |    18949    188 |        5 |      286
1128.76/1129.17	c 1129s |      21 |  1678114 |  1474245 |    18949    188 |        5 |      286
1130.87/1131.23	c 1131s |      21 |  1681188 |  1476845 |    18949    188 |        5 |      286
1132.86/1133.24	c 1133s |      21 |  1684189 |  1479445 |    18949    188 |        5 |      286
1134.86/1135.25	c 1135s |      21 |  1687834 |  1482545 |    18949    189 |        5 |      286
1136.96/1137.33	c 1137s |      21 |  1691408 |  1485645 |    18949    189 |        5 |      286
1138.96/1139.35	c 1139s |      21 |  1694629 |  1488445 |    18949    189 |        5 |      286
1140.96/1141.38	c 1141s |      21 |  1697940 |  1491345 |    20844    190 |        5 |      286
1143.06/1143.44	c 1143s |      21 |  1701500 |  1494545 |    20844    190 |        5 |      286
1145.07/1145.48	c 1145s |      21 |  1703078 |  1495945 |    20844    190 |        5 |      286
1147.16/1147.55	c 1147s |      21 |  1706104 |  1498645 |    20844    190 |        5 |      286
1148.86/1149.21	c 1149s |      22 |  1708301 |  1500622 |    20844    190 |        5 |      286
1150.86/1151.27	c 1151s |      22 |  1710687 |  1502522 |    20844    191 |        5 |      286
1152.96/1153.33	c 1153s |      22 |  1714249 |  1505522 |    20844    191 |        5 |      286
1154.96/1155.40	c 1155s |      22 |  1717546 |  1508322 |    20844    191 |        5 |      286
1157.05/1157.47	c 1157s |      22 |  1720449 |  1510822 |    20844    191 |        5 |      286
1159.15/1159.51	c 1159s |      22 |  1723637 |  1513622 |    20844    192 |        5 |      286
1161.15/1161.57	c 1161s |      22 |  1726738 |  1516422 |    20844    192 |        5 |      286
1163.25/1163.60	c 1163s |      22 |  1729564 |  1518922 |    20844    192 |        5 |      286
1165.25/1165.62	c 1165s |      22 |  1732623 |  1521522 |    20844    192 |        5 |      286
1167.25/1167.62	c 1167s |      22 |  1735677 |  1524222 |    20844    193 |        5 |      286
1169.26/1169.69	c 1169s |      22 |  1739004 |  1527122 |    20844    193 |        5 |      286
1171.35/1171.72	c 1171s |      22 |  1741948 |  1529722 |    20844    193 |        5 |      286
1173.35/1173.72	c 1173s |      22 |  1744619 |  1532122 |    20844    193 |        5 |      286
1175.35/1175.78	c 1175s |      22 |  1747482 |  1534722 |    20844    194 |        5 |      286
1177.45/1177.85	c 1177s |      22 |  1750223 |  1537222 |    20844    194 |        5 |      286
1179.45/1179.86	c 1179s |      22 |  1752835 |  1539622 |    20844    194 |        5 |      286
1181.46/1181.88	c 1181s |      22 |  1755391 |  1541922 |    20844    194 |        5 |      286
1188.55/1188.95	c 1188s |      22 |  1757333 |  1543622 |    20844    195 |        5 |      286
1190.55/1190.96	c 1190s |      22 |  1761076 |  1546722 |    20844    195 |        5 |      286
1192.55/1192.97	c 1192s |      22 |  1764281 |  1549522 |    20844    195 |        5 |      286
1194.66/1195.02	c 1194s |      22 |  1767141 |  1552022 |    20844    195 |        5 |      286
1196.65/1197.03	c 1196s |      22 |  1770146 |  1554522 |    20844    196 |        5 |      286
1198.65/1199.05	c 1198s |      22 |  1773552 |  1557522 |    20844    196 |        5 |      286
1200.65/1201.06	c 1200s |      22 |  1776468 |  1560022 |    20844    196 |        5 |      286
1202.75/1203.10	c 1202s |      22 |  1779305 |  1562422 |    20844    196 |        5 |      286
1204.75/1205.14	c 1204s |      22 |  1782085 |  1564722 |    20844    197 |        5 |      286
1206.75/1207.17	c 1207s |      22 |  1785400 |  1567622 |    20844    197 |        5 |      286
1208.85/1209.24	c 1209s |      22 |  1788489 |  1570222 |    20844    197 |        5 |      286
1210.85/1211.25	c 1211s |      22 |  1791423 |  1572722 |    20844    197 |        5 |      286
1212.85/1213.29	c 1213s |      22 |  1794215 |  1575122 |    20844    198 |        5 |      286
1214.95/1215.35	c 1215s |      22 |  1797855 |  1578322 |    20844    198 |        5 |      286
1216.95/1217.38	c 1217s |      22 |  1800947 |  1581122 |    20844    198 |        5 |      286
1219.04/1219.46	c 1219s |      22 |  1803123 |  1583022 |    20844    198 |        5 |      286
1221.14/1221.50	c 1221s |      22 |  1805835 |  1585322 |    20844    199 |        5 |      286
1223.15/1223.52	c 1223s |      22 |  1809008 |  1588122 |    20844    199 |        5 |      286
1225.14/1225.58	c 1225s |      22 |  1812360 |  1591122 |    20844    199 |        5 |      286
1227.24/1227.62	c 1227s |      22 |  1815244 |  1593722 |    20844    199 |        5 |      286
1229.24/1229.68	c 1229s |      22 |  1817887 |  1596022 |    20844    200 |        5 |      286
1231.34/1231.72	c 1231s |      22 |  1821461 |  1599222 |    20844    200 |        5 |      286
1233.34/1233.74	c 1233s |      22 |  1824523 |  1601922 |    20844    200 |        5 |      286
1235.44/1235.81	c 1235s |      22 |  1827532 |  1604622 |    20844    200 |        5 |      286
1237.45/1237.87	c 1237s |      22 |  1830458 |  1607322 |    20844    201 |        5 |      286
1239.44/1239.89	c 1239s |      22 |  1833365 |  1610022 |    20844    201 |        5 |      286
1243.05/1243.47	c 1243s |      22 |  1834756 |  1611322 |    20844    201 |        5 |      286
1245.05/1245.50	c 1245s |      22 |  1836054 |  1612422 |    20844    201 |        5 |      286
1247.15/1247.59	c 1247s |      22 |  1839263 |  1615122 |    20844    201 |        5 |      286
1249.24/1249.62	c 1249s |      22 |  1841744 |  1617222 |    20844    202 |        5 |      286
1251.24/1251.65	c 1251s |      22 |  1845138 |  1620222 |    20844    202 |        5 |      286
1253.24/1253.65	c 1253s |      22 |  1848096 |  1622822 |    20844    202 |        5 |      286
1255.34/1255.73	c 1255s |      22 |  1851028 |  1625422 |    20844    202 |        5 |      286
1257.35/1257.75	c 1257s |      22 |  1853293 |  1627322 |    20844    203 |        5 |      286
1259.34/1259.78	c 1259s |      22 |  1856657 |  1630222 |    20844    203 |        5 |      286
1261.44/1261.82	c 1261s |      22 |  1860129 |  1633322 |    20844    203 |        5 |      286
1263.44/1263.84	c 1263s |      22 |  1863351 |  1636122 |    20844    203 |        5 |      286
1265.44/1265.89	c 1265s |      22 |  1866412 |  1638822 |    20844    204 |        5 |      286
1267.54/1267.92	c 1267s |      22 |  1869855 |  1641922 |    20844    204 |        5 |      286
1269.54/1269.99	c 1269s |      22 |  1872541 |  1644422 |    20844    204 |        5 |      286
1271.65/1272.02	c 1271s |      22 |  1875199 |  1646822 |    20844    204 |        5 |      286
1275.14/1275.54	c 1275s |      22 |  1877729 |  1649122 |    20844    205 |        5 |      286
1277.15/1277.57	c 1277s |      22 |  1879057 |  1650222 |    20844    205 |        5 |      286
1279.25/1279.63	c 1279s |      22 |  1882950 |  1653522 |    20844    205 |        5 |      286
1281.24/1281.64	c 1281s |      22 |  1885864 |  1656122 |    20844    205 |        5 |      286
1283.24/1283.65	c 1283s |      22 |  1888392 |  1658422 |    20844    205 |        5 |      286
1285.24/1285.68	c 1285s |      22 |  1891566 |  1661222 |    20844    206 |        5 |      286
1287.34/1287.74	c 1287s |      22 |  1894641 |  1664022 |    20844    206 |        5 |      286
1289.44/1289.81	c 1289s |      22 |  1897471 |  1666622 |    20844    206 |        5 |      286
1291.54/1291.91	c 1291s |      22 |  1900079 |  1668922 |    20844    206 |        5 |      286
1293.54/1293.94	c 1293s |      22 |  1902229 |  1670822 |    20844    207 |        5 |      286
1295.64/1296.04	c 1295s |      22 |  1905131 |  1673422 |    20844    207 |        5 |      286
1297.74/1298.11	c 1297s |      22 |  1907720 |  1675822 |    20844    207 |        5 |      286
1299.74/1300.17	c 1300s |      22 |  1910433 |  1678322 |    20844    207 |        5 |      286
1301.84/1302.22	c 1302s |      22 |  1912747 |  1680422 |    20844    208 |        5 |      286
1303.93/1304.30	c 1304s |      22 |  1915820 |  1683222 |    20844    208 |        5 |      286
1305.93/1306.31	c 1306s |      22 |  1918444 |  1685622 |    20844    208 |        5 |      286
1307.94/1308.35	c 1308s |      22 |  1920797 |  1687722 |    20844    208 |        5 |      286
1310.04/1310.41	c 1310s |      22 |  1923296 |  1689922 |    20844    208 |        5 |      286
1312.03/1312.45	c 1312s |      22 |  1925373 |  1691822 |    20844    209 |        5 |      286
1314.13/1314.50	c 1314s |      22 |  1928533 |  1694622 |    20844    209 |        5 |      286
1316.13/1316.51	c 1316s |      22 |  1931430 |  1697222 |    20844    209 |        5 |      286
1318.13/1318.54	c 1318s |      22 |  1933948 |  1699522 |    20844    209 |        5 |      286
1321.43/1321.81	c 1321s |      22 |  1934070 |  1699622 |    20844    209 |        5 |      286
1323.43/1323.81	c 1323s |      22 |  1936817 |  1702022 |    20844    210 |        5 |      286
1325.44/1325.86	c 1325s |      22 |  1940560 |  1705222 |    20844    210 |        5 |      286
1327.43/1327.88	c 1327s |      22 |  1943498 |  1707822 |    20844    210 |        5 |      286
1329.53/1329.90	c 1329s |      22 |  1946172 |  1710222 |    20844    210 |        5 |      286
1331.53/1331.94	c 1331s |      22 |  1948344 |  1712222 |    20844    211 |        5 |      286
1333.53/1333.99	c 1333s |      22 |  1951351 |  1714922 |    20844    211 |        5 |      286
1335.63/1336.06	c 1335s |      22 |  1954496 |  1717622 |    20844    211 |        5 |      286
1337.73/1338.12	c 1337s |      22 |  1957444 |  1720122 |    20844    211 |        5 |      286
1339.84/1340.28	c 1340s |      22 |  1959722 |  1722122 |    20844    212 |        5 |      286
1341.94/1342.31	c 1342s |      22 |  1962622 |  1724622 |    20844    212 |        5 |      286
1343.93/1344.36	c 1344s |      22 |  1965999 |  1727622 |    20844    212 |        5 |      286
1346.03/1346.42	c 1346s |      22 |  1969165 |  1730422 |    20844    212 |        5 |      286
1348.03/1348.42	c 1348s |      22 |  1971574 |  1732522 |    20844    213 |        5 |      286
1350.03/1350.45	c 1350s |      22 |  1974880 |  1735422 |    20844    213 |        5 |      286
1352.03/1352.47	c 1352s |      22 |  1977649 |  1737922 |    20844    213 |        5 |      286
1354.13/1354.51	c 1354s |      22 |  1980320 |  1740322 |    20844    213 |        5 |      286
1356.13/1356.54	c 1356s |      22 |  1982913 |  1742622 |    20844    213 |        5 |      286
1358.23/1358.60	c 1358s |      22 |  1986019 |  1745422 |    20844    214 |        5 |      286
1360.23/1360.66	c 1360s |      22 |  1988833 |  1748022 |    20844    214 |        5 |      286
1363.42/1363.85	c 1363s |      22 |  1990552 |  1749622 |    20844    214 |        5 |      286
1365.42/1365.87	c 1365s |      22 |  1992828 |  1751622 |    20844    214 |        5 |      286
1367.52/1367.94	c 1367s |      22 |  1995033 |  1753622 |    20844    215 |        5 |      286
1369.53/1369.95	c 1369s |      22 |  1998360 |  1756622 |    20844    215 |        5 |      286
1371.52/1371.96	c 1371s |      22 |  2001217 |  1759222 |    20844    215 |        5 |      286
1373.62/1374.01	c 1373s |      22 |  2003972 |  1761722 |    20844    215 |        5 |      286
1375.62/1376.03	c 1375s |      22 |  2006403 |  1763922 |    20844    216 |        5 |      286
1377.62/1378.03	c 1377s |      22 |  2009003 |  1766222 |    20844    216 |        5 |      286
1379.62/1380.05	c 1379s |      22 |  2011828 |  1768722 |    20844    216 |        5 |      286
1381.83/1382.21	c 1382s |      22 |  2014109 |  1770822 |    20844    216 |        5 |      286
1383.83/1384.22	c 1384s |      22 |  2016484 |  1772922 |    20844    216 |        5 |      286
1385.83/1386.28	c 1386s |      22 |  2018694 |  1774922 |    20844    217 |        5 |      286
1387.83/1388.29	c 1388s |      22 |  2021513 |  1777522 |    20844    217 |        5 |      286
1390.03/1390.41	c 1390s |      22 |  2024167 |  1780022 |    20844    217 |        5 |      286
1392.03/1392.46	c 1392s |      22 |  2026422 |  1782122 |    20844    217 |        5 |      286
1394.13/1394.50	c 1394s |      22 |  2028579 |  1784022 |    20844    217 |        5 |      286
1396.12/1396.58	c 1396s |      22 |  2030615 |  1785922 |    20844    218 |        5 |      286
1398.13/1398.58	c 1398s |      22 |  2032975 |  1788122 |    20844    218 |        5 |      286
1400.23/1400.67	c 1400s |      22 |  2035200 |  1790222 |    20844    218 |        5 |      286
1402.32/1402.73	c 1402s |      22 |  2037168 |  1792022 |    20844    218 |        5 |      286
1404.42/1404.80	c 1404s |      22 |  2039471 |  1794122 |    20844    218 |        5 |      286
1406.42/1406.89	c 1406s |      22 |  2041604 |  1796022 |    20844    219 |        5 |      286
1408.52/1408.93	c 1408s |      22 |  2044377 |  1798622 |    20844    219 |        5 |      286
1410.52/1410.97	c 1410s |      22 |  2046525 |  1800622 |    20844    219 |        5 |      286
1412.52/1412.99	c 1412s |      22 |  2049067 |  1802922 |    20844    219 |        5 |      286
1416.72/1417.16	c 1417s |      22 |  2051232 |  1804822 |    20844    219 |        5 |      286
1418.72/1419.19	c 1419s |      22 |  2053686 |  1806922 |    20844    220 |        5 |      286
1420.82/1421.21	c 1421s |      22 |  2056030 |  1809022 |    20844    220 |        5 |      286
1422.81/1423.27	c 1423s |      22 |  2058872 |  1811622 |    20844    220 |        5 |      286
1424.91/1425.32	c 1425s |      22 |  2061410 |  1813922 |    20844    220 |        5 |      286
1426.91/1427.36	c 1427s |      22 |  2063627 |  1815922 |    20844    220 |        5 |      286
1428.92/1429.37	c 1429s |      22 |  2065945 |  1818022 |    20844    221 |        5 |      286
1431.02/1431.43	c 1431s |      22 |  2068858 |  1820622 |    20844    221 |        5 |      286
1433.11/1433.53	c 1433s |      22 |  2071475 |  1823022 |    20844    221 |        5 |      286
1435.11/1435.54	c 1435s |      22 |  2073634 |  1825022 |    20844    221 |        5 |      286
1437.31/1437.73	c 1437s |      22 |  2075853 |  1827022 |    20844    222 |        5 |      286
1440.01/1440.40	c 1440s |      22 |  2077617 |  1828622 |    20844    222 |        5 |      286
1442.02/1442.46	c 1442s |      22 |  2080639 |  1831322 |    20844    222 |        5 |      286
1444.11/1444.57	c 1444s |      22 |  2083439 |  1833822 |    20844    222 |        5 |      286
1446.11/1446.59	c 1446s |      22 |  2085830 |  1835922 |    20844    222 |        5 |      286
1448.21/1448.60	c 1448s |      22 |  2087709 |  1837622 |    20844    223 |        5 |      286
1450.21/1450.61	c 1450s |      22 |  2090423 |  1840122 |    20844    223 |        5 |      286
1452.21/1452.62	c 1452s |      22 |  2092877 |  1842322 |    20844    223 |        5 |      286
1454.21/1454.63	c 1454s |      22 |  2095474 |  1844722 |    20844    223 |        5 |      286
1456.22/1456.68	c 1456s |      22 |  2097669 |  1846722 |    20844    223 |        5 |      286
1458.31/1458.74	c 1458s |      22 |  2100063 |  1848622 |    20844    224 |        5 |      286
1460.31/1460.78	c 1460s |      22 |  2103117 |  1851122 |    20844    224 |        5 |      286
1462.41/1462.85	c 1462s |      22 |  2105496 |  1853322 |    20844    224 |        5 |      286
1464.51/1464.93	c 1464s |      22 |  2107532 |  1855222 |    20844    224 |        5 |      286
1466.61/1467.01	c 1466s |      22 |  2109964 |  1857422 |    20844    224 |        5 |      286
1469.31/1469.78	c 1469s |      22 |  2110864 |  1858222 |    20844    224 |        5 |      286
1471.41/1471.82	c 1471s |      22 |  2113604 |  1860622 |    20844    225 |        5 |      286
1473.41/1473.83	c 1473s |      22 |  2116833 |  1863522 |    20844    225 |        5 |      286
1475.41/1475.87	c 1475s |      22 |  2119560 |  1866022 |    20844    225 |        5 |      286
1477.51/1477.91	c 1477s |      22 |  2121875 |  1868122 |    20844    225 |        5 |      286
1479.52/1479.94	c 1479s |      22 |  2124444 |  1870422 |    20844    226 |        5 |      286
1481.51/1481.99	c 1481s |      22 |  2127266 |  1873022 |    20844    226 |        5 |      286
1483.61/1484.03	c 1483s |      22 |  2129988 |  1875522 |    20844    226 |        5 |      286
1485.61/1486.03	c 1485s |      22 |  2132242 |  1877622 |    20844    226 |        5 |      286
1487.61/1488.07	c 1487s |      22 |  2134310 |  1879522 |    20844    226 |        5 |      286
1489.71/1490.17	c 1490s |      22 |  2136416 |  1881422 |    20844    227 |        5 |      286
1491.81/1492.24	c 1492s |      22 |  2138937 |  1883722 |    20844    227 |        5 |      286
1493.90/1494.31	c 1494s |      22 |  2141451 |  1886022 |    20844    227 |        5 |      286
1495.91/1496.38	c 1496s |      22 |  2143675 |  1888022 |    20844    227 |        5 |      286
1498.30/1498.72	c 1498s |      22 |  2145809 |  1889922 |    20844    227 |        5 |      286
1500.31/1500.76	c 1500s |      22 |  2147963 |  1891922 |    20844    228 |        5 |      286
1502.30/1502.79	c 1502s |      22 |  2150450 |  1894222 |    20844    228 |        5 |      286
1504.40/1504.83	c 1504s |      22 |  2153308 |  1896722 |    20844    228 |        5 |      286
1506.50/1506.91	c 1506s |      22 |  2155841 |  1899022 |    20844    228 |        5 |      286
1508.50/1508.97	c 1508s |      22 |  2157971 |  1901022 |    20844    229 |        5 |      286
1510.60/1511.01	c 1510s |      22 |  2160831 |  1903522 |    20844    229 |        5 |      286
1512.60/1513.04	c 1512s |      22 |  2163126 |  1905622 |    20844    229 |        5 |      286
1514.60/1515.05	c 1514s |      22 |  2165257 |  1907522 |    20844    229 |        5 |      286
1516.60/1517.08	c 1516s |      22 |  2167227 |  1909322 |    20844    229 |        5 |      286
1518.70/1519.15	c 1519s |      22 |  2169212 |  1911122 |    20844    229 |        5 |      286
1520.80/1521.21	c 1521s |      22 |  2171357 |  1913122 |    20844    230 |        5 |      286
1522.80/1523.22	c 1523s |      22 |  2173679 |  1915222 |    20844    230 |        5 |      286
1524.80/1525.22	c 1525s |      22 |  2176123 |  1917522 |    20844    230 |        5 |      286
1526.90/1527.30	c 1527s |      22 |  2178360 |  1919622 |    20844    230 |        5 |      286
1528.90/1529.40	c 1529s |      22 |  2180407 |  1921522 |    20844    230 |        5 |      286
1531.00/1531.41	c 1531s |      22 |  2182879 |  1923822 |    20844    231 |        5 |      286
1533.60/1534.05	c 1533s |      22 |  2183312 |  1924222 |    20844    231 |        5 |      286
1535.70/1536.11	c 1535s |      22 |  2185759 |  1926322 |    20844    231 |        5 |      286
1537.71/1538.17	c 1538s |      22 |  2188755 |  1929022 |    20844    231 |        5 |      286
1539.70/1540.17	c 1540s |      22 |  2191422 |  1931422 |    20844    231 |        5 |      286
1541.80/1542.22	c 1542s |      22 |  2194239 |  1933922 |    20844    232 |        5 |      286
1543.80/1544.22	c 1544s |      22 |  2196843 |  1936322 |    20844    232 |        5 |      286
1545.80/1546.29	c 1546s |      22 |  2199385 |  1938622 |    20844    232 |        5 |      286
1547.90/1548.32	c 1548s |      22 |  2201836 |  1940822 |    20844    232 |        5 |      286
1550.20/1550.68	c 1550s |      22 |  2204221 |  1942922 |    20844    233 |        5 |      286
1552.30/1552.79	c 1552s |      22 |  2207354 |  1945622 |    20844    233 |        5 |      286
1554.40/1554.86	c 1554s |      22 |  2210335 |  1948122 |    20844    233 |        5 |      286
1556.50/1556.93	c 1556s |      22 |  2213259 |  1950622 |    20844    233 |        5 |      286
1558.60/1559.00	c 1558s |      22 |  2215919 |  1952922 |    20844    233 |        5 |      286
1560.70/1561.15	c 1561s |      22 |  2218421 |  1955122 |    20844    234 |        5 |      286
1562.70/1563.19	c 1563s |      22 |  2221980 |  1958222 |    20844    234 |        5 |      286
1564.80/1565.20	c 1565s |      22 |  2224829 |  1960822 |    20844    234 |        5 |      286
1566.89/1567.31	c 1567s |      22 |  2226986 |  1962722 |    20844    234 |        5 |      286
1568.89/1569.35	c 1569s |      22 |  2228876 |  1964422 |    20844    235 |        5 |      286
1570.89/1571.39	c 1571s |      22 |  2232293 |  1967522 |    20844    235 |        5 |      286
1573.00/1573.45	c 1573s |      22 |  2235313 |  1970122 |    20844    235 |        5 |      286
1574.99/1575.50	c 1575s |      22 |  2238010 |  1972522 |    20844    235 |        5 |      286
1577.09/1577.56	c 1577s |      22 |  2240270 |  1974522 |    20844    236 |        5 |      286
1579.19/1579.63	c 1579s |      22 |  2243394 |  1977322 |    20844    236 |        5 |      286
1581.29/1581.73	c 1581s |      22 |  2246181 |  1979922 |    20844    236 |        5 |      286
1583.29/1583.77	c 1583s |      22 |  2248572 |  1982122 |    20844    236 |        5 |      286
1585.29/1585.79	c 1585s |      22 |  2250608 |  1984022 |    20844    236 |        5 |      286
1587.49/1587.94	c 1587s |      22 |  2251701 |  1984922 |    20844    237 |        5 |      286
1589.50/1589.98	c 1589s |      22 |  2254470 |  1987322 |    20844    237 |        5 |      286
1591.49/1592.00	c 1591s |      22 |  2256887 |  1989322 |    20844    237 |        5 |      286
1593.59/1594.05	c 1593s |      22 |  2259654 |  1991522 |    20844    237 |        5 |      286
1595.69/1596.14	c 1596s |      22 |  2261932 |  1993422 |    20844    237 |        5 |      286
1597.79/1598.25	c 1598s |      22 |  2264210 |  1995222 |    20844    237 |        5 |      286
1599.89/1600.33	c 1600s |      22 |  2266205 |  1996822 |    20844    238 |        5 |      286
1601.89/1602.39	c 1602s |      22 |  2268722 |  1998922 |    20844    238 |        5 |      286
1603.99/1604.41	c 1604s |      22 |  2271115 |  2001122 |    20844    238 |        5 |      286
1606.00/1606.49	c 1606s |      22 |  2273742 |  2003522 |    20844    238 |        5 |      286
1608.10/1608.58	c 1608s |      22 |  2276199 |  2005822 |    20844    238 |        5 |      286
1610.19/1610.65	c 1610s |      22 |  2278588 |  2008022 |    20844    239 |        5 |      286
1612.29/1612.70	c 1612s |      22 |  2280946 |  2010222 |    20844    239 |        5 |      286
1614.29/1614.76	c 1614s |      22 |  2282988 |  2012122 |    20844    239 |        5 |      286
1616.39/1616.83	c 1616s |      22 |  2284768 |  2013822 |    20844    239 |        5 |      286
1618.49/1618.96	c 1618s |      22 |  2286466 |  2015422 |    20844    239 |        5 |      286
1620.49/1620.99	c 1620s |      22 |  2288082 |  2016922 |    20844    240 |        5 |      286
1622.59/1623.05	c 1622s |      22 |  2290839 |  2019522 |    20844    240 |        5 |      286
1624.70/1625.13	c 1624s |      22 |  2293186 |  2021722 |    20844    240 |        5 |      286
1626.69/1627.19	c 1627s |      22 |  2295292 |  2023722 |    20844    240 |        5 |      286
1628.79/1629.23	c 1629s |      22 |  2297587 |  2025822 |    20844    240 |        5 |      286
1630.79/1631.27	c 1631s |      22 |  2299933 |  2027922 |    20844    241 |        5 |      286
1632.89/1633.32	c 1633s |      22 |  2302859 |  2030522 |    20844    241 |        5 |      286
1634.89/1635.35	c 1635s |      22 |  2305510 |  2032922 |    20844    241 |        5 |      286
1636.89/1637.39	c 1637s |      22 |  2307843 |  2035022 |    20844    241 |        5 |      286
1638.99/1639.46	c 1639s |      22 |  2310362 |  2037322 |    20844    241 |        5 |      286
1641.09/1641.53	c 1641s |      22 |  2312918 |  2039622 |    20844    242 |        5 |      286
1643.08/1643.57	c 1643s |      22 |  2315828 |  2042322 |    20844    242 |        5 |      286
1645.18/1645.61	c 1645s |      22 |  2318149 |  2044422 |    20844    242 |        5 |      286
1647.18/1647.67	c 1647s |      22 |  2320237 |  2046322 |    20844    242 |        5 |      286
1649.28/1649.73	c 1649s |      22 |  2322324 |  2048222 |    20844    243 |        5 |      286
1653.08/1653.56	c 1653s |      22 |  2323946 |  2049722 |    20844    243 |        5 |      286
1655.08/1655.56	c 1655s |      22 |  2327506 |  2052622 |    20844    243 |        5 |      286
1657.19/1657.63	c 1657s |      22 |  2330638 |  2055222 |    20844    243 |        5 |      286
1659.18/1659.66	c 1659s |      22 |  2333571 |  2057722 |    20844    243 |        5 |      286
1661.18/1661.67	c 1661s |      22 |  2336052 |  2059822 |    20844    244 |        5 |      286
1663.28/1663.72	c 1663s |      22 |  2339570 |  2062822 |    20844    244 |        5 |      286
1665.29/1665.79	c 1665s |      22 |  2342678 |  2065522 |    20844    244 |        5 |      286
1667.38/1667.83	c 1667s |      22 |  2345522 |  2068022 |    20844    244 |        5 |      286
1669.38/1669.84	c 1669s |      22 |  2348526 |  2070622 |    20844    245 |        5 |      286
1672.88/1673.32	c 1673s |      22 |  2351130 |  2073022 |    20844    245 |        5 |      286
1674.88/1675.32	c 1675s |      22 |  2354333 |  2075822 |    20844    245 |        5 |      286
1676.88/1677.36	c 1677s |      22 |  2357086 |  2078322 |    20844    245 |        5 |      286
1678.98/1679.40	c 1679s |      22 |  2359644 |  2080622 |    20844    246 |        5 |      286
1680.98/1681.47	c 1681s |      22 |  2362598 |  2083322 |    20844    246 |        5 |      286
1682.99/1683.48	c 1683s |      22 |  2364994 |  2085522 |    20844    246 |        5 |      286
1684.98/1685.50	c 1685s |      22 |  2367550 |  2087922 |    20844    246 |        5 |      286
1687.18/1687.62	c 1687s |      22 |  2370117 |  2090222 |    20844    247 |        5 |      286
1689.18/1689.64	c 1689s |      22 |  2372090 |  2091922 |    20844    247 |        5 |      286
1691.18/1691.65	c 1691s |      22 |  2375036 |  2094522 |    20844    247 |        5 |      286
1693.18/1693.68	c 1693s |      22 |  2377979 |  2097122 |    20844    247 |        5 |      286
1695.28/1695.76	c 1695s |      22 |  2380660 |  2099422 |    20844    247 |        5 |      286
1697.28/1697.77	c 1697s |      22 |  2382590 |  2101022 |    20844    248 |        5 |      286
1699.38/1699.82	c 1699s |      22 |  2386039 |  2104022 |    20844    248 |        5 |      286
1701.37/1701.85	c 1701s |      22 |  2389490 |  2107022 |    20844    248 |        5 |      286
1703.37/1703.88	c 1703s |      22 |  2392613 |  2109722 |    20844    248 |        5 |      286
1705.47/1705.92	c 1705s |      22 |  2395627 |  2112422 |    20844    249 |        5 |      286
1707.67/1708.13	c 1707s |      22 |  2398269 |  2114822 |    20844    249 |        5 |      286
1709.67/1710.15	c 1710s |      22 |  2399869 |  2116122 |    20844    249 |        5 |      286
1711.67/1712.16	c 1712s |      22 |  2403107 |  2118922 |    20844    249 |        5 |      286
1713.68/1714.19	c 1714s |      22 |  2406201 |  2121622 |    20844    249 |        5 |      286
1715.77/1716.24	c 1716s |      22 |  2409508 |  2124522 |    20844    250 |        5 |      286
1717.77/1718.29	c 1718s |      22 |  2412815 |  2127422 |    20844    250 |        5 |      286
1719.87/1720.33	c 1720s |      22 |  2415449 |  2129822 |    20844    250 |        5 |      286
1721.87/1722.34	c 1722s |      22 |  2417821 |  2132022 |    20844    250 |        5 |      286
1723.87/1724.38	c 1724s |      22 |  2419696 |  2133522 |    20844    251 |        5 |      286
1725.88/1726.39	c 1726s |      22 |  2423267 |  2136522 |    20844    251 |        5 |      286
1727.98/1728.42	c 1728s |      22 |  2426613 |  2139422 |    20844    251 |        5 |      286
1729.97/1730.48	c 1730s |      22 |  2429441 |  2141922 |    20844    251 |        5 |      286
1732.07/1732.51	c 1732s |      22 |  2431947 |  2144022 |    20844    252 |        5 |      286
1734.07/1734.56	c 1734s |      22 |  2435721 |  2147222 |    20844    252 |        5 |      286
1736.17/1736.61	c 1736s |      22 |  2438821 |  2149922 |    20844    252 |        5 |      286
1738.17/1738.64	c 1738s |      22 |  2441644 |  2152422 |    20844    252 |        5 |      286
1740.18/1740.69	c 1740s |      22 |  2444716 |  2155222 |    20844    253 |        5 |      286
1742.28/1742.76	c 1742s |      22 |  2447747 |  2157822 |    20844    253 |        5 |      286
1744.37/1744.80	c 1744s |      22 |  2450940 |  2160622 |    20844    253 |        5 |      286
1746.37/1746.83	c 1746s |      22 |  2454001 |  2163322 |    20844    253 |        5 |      286
1748.37/1748.86	c 1748s |      22 |  2456802 |  2165822 |    20844    254 |        5 |      286
1750.37/1750.87	c 1750s |      22 |  2459760 |  2168522 |    20844    254 |        5 |      286
1752.47/1752.94	c 1752s |      22 |  2462444 |  2170922 |    20844    254 |        5 |      286
1754.47/1754.95	c 1754s |      22 |  2464718 |  2173022 |    20844    254 |        5 |      286
1756.47/1756.96	c 1756s |      22 |  2466594 |  2174722 |    20844    255 |        5 |      286
1758.47/1758.99	c 1758s |      22 |  2469540 |  2177322 |    20844    255 |        5 |      286
1760.57/1761.00	c 1760s |      22 |  2472276 |  2179822 |    20844    255 |        5 |      286
1765.06/1765.58	c 1765s |      22 |  2472712 |  2180222 |    20844    255 |        5 |      286
1767.16/1767.64	c 1767s |      22 |  2475696 |  2182822 |    20844    255 |        5 |      286
1769.16/1769.67	c 1769s |      22 |  2478305 |  2185122 |    20844    256 |        5 |      286
1771.16/1771.67	c 1771s |      22 |  2481573 |  2188022 |    20844    256 |        5 |      286
1773.26/1773.75	c 1773s |      22 |  2484546 |  2190722 |    20844    256 |        5 |      286
1775.27/1775.77	c 1775s |      22 |  2487104 |  2193022 |    20844    256 |        5 |      286
1777.36/1777.82	c 1777s |      22 |  2489650 |  2195322 |    20844    256 |        5 |      286
1779.36/1779.83	c 1779s |      22 |  2491214 |  2196722 |    20844    257 |        5 |      286
1781.36/1781.89	c 1781s |      22 |  2494300 |  2199422 |    20844    257 |        5 |      286
1783.46/1783.91	c 1783s |      22 |  2496809 |  2201622 |    20844    257 |        5 |      286
1785.46/1785.93	c 1785s |      22 |  2499299 |  2203822 |    20844    257 |        5 |      286
1787.46/1787.98	c 1787s |      22 |  2501389 |  2205622 |    20844    257 |        5 |      286
1789.56/1790.02	c 1789s |      22 |  2504089 |  2207922 |    20844    258 |        5 |      286
1791.56/1792.05	c 1791s |      22 |  2506741 |  2210222 |    20844    258 |        5 |      286
1793.56/1794.07	c 1793s |      22 |  2509593 |  2212722 |    20844    258 |        5 |      286
1795.56/1796.07	c 1795s |      22 |  2512412 |  2215122 |    20844    258 |        5 |      286
1797.65/1798.13	c 1797s |      22 |  2515532 |  2217922 |    20844    259 |        5 |      286
1799.76/1800.21	c 1800s |      22 |  2517959 |  2220022 |    20844    259 |        5 |      286

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4096365-1466114427/watcher-4096365-1466114427 -o /tmp/evaluation-result-4096365-1466114427/solver-4096365-1466114427 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466112624-31871 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096365-1466114427.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 32253
/proc/meminfo: memFree=30889752/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 2835 0 0 0 0 0 0 0 20 0 4 0 13487515 776400896 2685 33554432000 4194304 16246674 140735125672192 140735125671616 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 190063 2695 441 2943 0 186957 0
[pid=32253/tid=32254] ppid=32250 vsize=775612 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 794226688 2754 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=780732 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 799469568 2771 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=784828 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13487515 803663872 2791 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100213 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 32253
/proc/meminfo: memFree=30889752/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 22654 0 0 0 7 2 0 0 20 0 4 0 13487515 1250496512 22441 33554432000 4194304 16246674 140735125672192 140735125671504 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 305297 22441 834 2943 0 302191 0
[pid=32253/tid=32254] ppid=32250 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1250496512 22441 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1250496512 22441 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1250496512 22441 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200521 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 32253
/proc/meminfo: memFree=30889752/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1221188 CPUtime=0.19 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 41817 0 0 0 14 5 0 0 20 0 4 0 13487515 1250496512 41604 33554432000 4194304 16246674 140735125672192 140735125671504 5675010 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 305297 41611 876 2943 0 302191 0
[pid=32253/tid=32254] ppid=32250 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1250496512 41615 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1250496512 41625 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1250496512 41633 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300428 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 32253
/proc/meminfo: memFree=30889752/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1221188 CPUtime=0.29 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 63710 0 0 0 21 8 0 0 20 0 4 0 13487515 1250496512 63498 33554432000 4194304 16246674 140735125672192 140735125671504 5523634 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 305297 63507 876 2943 0 302191 0
[pid=32253/tid=32254] ppid=32250 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1250496512 63512 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1250496512 63515 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1250496512 63519 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700395 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 32253
/proc/meminfo: memFree=30889752/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1221188 CPUtime=0.69 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 149867 0 0 0 49 20 0 0 20 0 4 0 13487515 1250496512 149654 33554432000 4194304 16246674 140735125672192 140735125654080 6020769 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 305297 149659 876 2943 0 302191 0
[pid=32253/tid=32254] ppid=32250 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1250496512 149664 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1250496512 149675 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1250496512 149685 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.5004 s]
/proc/loadavg: 2.05 2.02 2.00 3/184 32257
/proc/meminfo: memFree=29886344/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1301060 CPUtime=1.49 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 266262 0 0 0 115 34 0 0 20 0 4 0 13487515 1332285440 266049 33554432000 4194304 16246674 140735125672192 140735125671504 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 325265 266049 879 2943 0 322159 0
[pid=32253/tid=32254] ppid=32250 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1332285440 266049 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1332285440 266049 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1332285440 266049 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.12 2.04 2.01 3/184 32257
/proc/meminfo: memFree=29734072/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 267858 0 0 0 275 34 0 0 20 0 4 0 13487515 1338576896 267645 33554432000 4194304 16246674 140735125672192 140735125654080 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 326801 267645 881 2943 0 323695 0
[pid=32253/tid=32254] ppid=32250 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1338576896 267645 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1338576896 267645 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1338576896 267645 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30035 s]
/proc/loadavg: 2.12 2.04 2.01 3/184 32257
/proc/meminfo: memFree=29729184/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 269054 0 0 0 595 34 0 0 20 0 4 0 13487515 1343819776 268841 33554432000 4194304 16246674 140735125672192 140735125654080 6837238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 328081 268841 885 2943 0 324975 0
[pid=32253/tid=32254] ppid=32250 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1343819776 268841 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1343819776 268841 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1343819776 268841 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.18 2.06 2.01 3/184 32257
/proc/meminfo: memFree=29710152/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1326660 CPUtime=12.69 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 272761 0 0 0 1234 35 0 0 20 0 4 0 13487515 1358499840 272548 33554432000 4194304 16246674 140735125672192 140735125654080 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 331665 272548 886 2943 0 328559 0
[pid=32253/tid=32254] ppid=32250 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1358499840 272548 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1358499840 272548 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1358499840 272548 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1326660

[startup+25.5004 s]
/proc/loadavg: 2.15 2.05 2.01 4/184 32257
/proc/meminfo: memFree=29707032/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1326660 CPUtime=25.48 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 272853 0 0 0 2513 35 0 0 20 0 4 0 13487515 1358499840 272640 33554432000 4194304 16246674 140735125672192 140735125654080 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 331665 272640 886 2943 0 328559 0
[pid=32253/tid=32254] ppid=32250 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1358499840 272640 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1358499840 272640 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1358499840 272640 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1326660

[startup+51.1004 s]
/proc/loadavg: 2.10 2.05 2.01 3/184 32573
/proc/meminfo: memFree=29708864/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1328708 CPUtime=51.09 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 273365 0 0 0 5073 36 0 0 20 0 4 0 13487515 1360596992 273152 33554432000 4194304 16246674 140735125672192 140735125654080 6021328 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 332177 273152 886 2943 0 329071 0
[pid=32253/tid=32254] ppid=32250 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1360596992 273152 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1360596992 273152 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1328708 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1360596992 273152 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1328708

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 32574
/proc/meminfo: memFree=29695544/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1330756 CPUtime=102.27 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 273883 0 0 0 10191 36 0 0 20 0 4 0 13487515 1362694144 273920 33554432000 4194304 16246674 140735125672192 140735125654080 5677716 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 332689 273920 886 2943 0 329583 0
[pid=32253/tid=32254] ppid=32250 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1362694144 273920 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1362694144 273920 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1362694144 273920 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1330756


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

/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 1366596

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 1273
/proc/meminfo: memFree=29610164/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1366596 CPUtime=1301.94 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 283122 0 0 0 130142 52 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140735125654080 5822908 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 341649 282880 886 2943 0 338543 0
[pid=32253/tid=32254] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1366596

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 1274
/proc/meminfo: memFree=29609804/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1366596 CPUtime=1361.93 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 283122 0 0 0 136140 53 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140735125654080 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 341649 282880 886 2943 0 338543 0
[pid=32253/tid=32254] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1366596

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1275
/proc/meminfo: memFree=29609936/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1366596 CPUtime=1421.91 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 283122 0 0 0 142137 54 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140735125654080 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 341649 282880 886 2943 0 338543 0
[pid=32253/tid=32254] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1366596

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 1276
/proc/meminfo: memFree=29610100/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1366596 CPUtime=1481.91 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 283122 0 0 0 148136 55 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140735125654080 5829385 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 341649 282880 886 2943 0 338543 0
[pid=32253/tid=32254] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1366596

[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 1277
/proc/meminfo: memFree=29610244/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1366596 CPUtime=1541.9 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 283122 0 0 0 154134 56 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140735125654080 5673600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 341649 282880 886 2943 0 338543 0
[pid=32253/tid=32254] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1399394304 282880 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1366596

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 1278
/proc/meminfo: memFree=29576156/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1401412 CPUtime=1601.89 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 291583 0 0 0 160131 58 0 0 20 0 4 0 13487515 1435045888 291341 33554432000 4194304 16246674 140735125672192 140735125654080 5676609 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 350353 291341 886 2943 0 347247 0
[pid=32253/tid=32254] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291341 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291341 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291341 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1401412

[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 1280
/proc/meminfo: memFree=29575900/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1401412 CPUtime=1661.88 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 291583 0 0 0 166129 59 0 0 20 0 4 0 13487515 1435045888 291341 33554432000 4194304 16246674 140735125672192 140735125654080 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 350353 291341 886 2943 0 347247 0
[pid=32253/tid=32254] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291341 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291341 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291341 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 1401412

[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 1281
/proc/meminfo: memFree=29574904/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1401412 CPUtime=1721.87 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 291826 0 0 0 172128 59 0 0 20 0 4 0 13487515 1435045888 291584 33554432000 4194304 16246674 140735125672192 140735125654080 5677776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 350353 291584 886 2943 0 347247 0
[pid=32253/tid=32254] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291584 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291584 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291584 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1401412

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/184 1285
/proc/meminfo: memFree=29574640/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1401412 CPUtime=1781.87 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 291826 0 0 0 178127 60 0 0 20 0 4 0 13487515 1435045888 291584 33554432000 4194304 16246674 140735125672192 140735125654080 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 350353 291584 886 2943 0 347247 0
[pid=32253/tid=32254] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291584 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291584 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291584 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1401412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 1285
/proc/meminfo: memFree=29574940/32872528 swapFree=7268/7268
[pid=32253] ppid=32250 vsize=1401412 CPUtime=1800.06 cores=0,2,4,6
/proc/32253/stat : 32253 (toysat) R 32250 32253 29295 0 -1 4202496 291826 0 0 0 179945 61 0 0 20 0 4 0 13487515 1435045888 291584 33554432000 4194304 16246674 140735125672192 140735125654080 5677784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/32253/statm: 350353 291584 886 2943 0 347247 0
[pid=32253/tid=32254] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32254/stat : 32254 (toysat) S 32250 32253 29295 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291584 33554432000 4194304 16246674 140735125672192 140481905274096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=32253/tid=32255] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32255/stat : 32255 (toysat) S 32250 32253 29295 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291584 33554432000 4194304 16246674 140735125672192 140481894784240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=32253/tid=32256] ppid=32250 vsize=1401412 CPUtime=0 cores=0,2,4,6
/proc/32253/task/32256/stat : 32256 (toysat) S 32250 32253 29295 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13487515 1435045888 291584 33554432000 4194304 16246674 140735125672192 140481884310704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1401412

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 32253 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.51
CPU time (s): 1800.07
CPU user time (s): 1799.46
CPU system time (s): 0.610907
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 1401412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.610907
maximum resident set size= 1166336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291826
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= 302
involuntary context switches= 1946

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5863 second user time and 6.93295 second system time

The end

Begin job on node151 at 2016-06-17 00:00:27
IDJOB=4096365
IDBENCH=107604
IDSOLVER=2542
FILE ID=node151/4096365-1466114427
RUNJOBID= node151-1466112624-31871
PBS_JOBID= 19904038
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-6_6_30.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096365-1466114427/watcher-4096365-1466114427 -o /tmp/evaluation-result-4096365-1466114427/solver-4096365-1466114427 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466112624-31871 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096365-1466114427.opb

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

MD5SUM BENCH= 7f6d4d4bd086985d66705a76ba2e346a
RANDOM SEED=1966675947

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30890024 kB
Buffers:           62200 kB
Cached:           162832 kB
SwapCached:        61592 kB
Active:          1099932 kB
Inactive:         170132 kB
Active(anon):     986480 kB
Inactive(anon):    61036 kB
Active(file):     113452 kB
Inactive(file):   109096 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67038988 kB
Dirty:             33156 kB
Writeback:             0 kB
AnonPages:        991748 kB
Mapped:            10340 kB
Shmem:                 0 kB
Slab:             572832 kB
SReclaimable:      15828 kB
SUnreclaim:       557004 kB
KernelStack:        1488 kB
PageTables:         6268 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1140056 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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