0.00/0.00	c 2016-06-17T00:56:15+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-4097464-1466117775.opb"]
0.00/0.01	c use --random-gen="279486299 932379002 2437633396 772616299 1552806654 1184830673 341847079 153584288 758341047 3412037222 1894100880 4054166481 1883469245 377254712 2079449129 2115822556 576277785 1181149179 1984286555 1462556483 17524917 2420626362 2556867454 193128659 3530109328 814233010 1733881475 230125475 3577530855 3006013592 293303477 4009580349 1602422683 298882806 1064255092 977548637 2298475234 272027768 4023680898 1622814053 960387202 3095450321 2043389602 2441978833 2850058769 1873062502 2257166660 4091448382 1101522483 493156700 1378837844 2912973063 2706254058 2858483611 848354978 3708329900 3028825884 2656479538 1477862323 1611514936 156606303 2822749690 3716063639 3743118359 3365133939 2683643276 4041244231 584323056 3069069871 2059859556 3149019129 3202234675 2256811460 188043059 3621056328 2191655370 1425989224 1731990284 3107845897 3596173058 3915055432 3373966253 2951550717 491417610 1790998216 2136034168 2983113135 289314417 705592538 704652995 4040301638 449734625 3999608952 1400614441 1846176497 1658474160 1497169860 1105479086 1781002327 1780702419 3787950650 3745028175 760189745 2159057787 1412087472 1989014216 2917659944 272461296 2729073960 812554483 3690081172 4268853534 2188984118 2308252135 2956297096 1494436355 1249960771 2773281584 2954100908 2859309722 1422126377 2336373928 504134414 691017931 675122184 3871264019 1252955371 3483011894 1065920444 4275234514 1226810499 3705511999 3365490524 4246558624 599544014 3349080421 4217919958 4121984873 1832142315 3236478438 1450168936 1445520025 3669607000 978732299 152107956 2358976669 4280465586 1655833299 1716745851 1546824324 11320899 3952630386 3886185722 1029576076 469171953 1987879246 112932626 1753471826 4281782686 3838765748 3675286363 460549233 849377436 3682971697 139641313 1171643085 1736230505 1528497105 467952965 2013771900 1134242040 2649560345 2780942314 4095123785 288122608 2973331688 1107177676 90658359 4279387144 470219391 268904212 3488130118 3237490762 3256571063 3084460191 2526106747 1794373075 2489234758 815704937 766808799 738498192 1949485437 3799597801 3359817306 1260419515 1132474549 2033752081 3600485309 766333710 1362129057 1529146782 2082477317 5214153 1872655459 373902957 3142452859 3633447376 4068346882 1015306147 1188015217 3198588144 673702991 3039166224 1313118813 3772617528 1340903996 66021844 78961010 1869960231 1442160499 456124071 4096499613 3452660342 3105452020 3769417787 3262356150 673789982 3240715766 739200593 3222288377 1187468907 1800448850 3602358222 959934118 1781795483 934322402 2678372259 2542165644 1008971072 958334668 3132609647 2258717164 2767890427 1464992392 2097648264 713661191 54464563 2017067924 2799165781 2051291153 3155933986 871654757 1349776009 2988839563 161728013 3095762167 255 362436" option to reproduce the execution
0.00/0.06	c #vars 1122
0.00/0.06	c #constraints 5318
0.09/0.12	c Solving starts ...
0.09/0.12	c ============================[ Search Statistics ]============================
0.09/0.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.12	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.12	c =============================================================================
0.09/0.12	c  0.0s |       0 |        0 |        0 |     2145      0 |        5 |        0
0.09/0.16	c  0.0s |       1 |      128 |      100 |     2145      0 |        5 |      262
0.19/0.22	c  0.1s |       2 |      311 |      250 |     2360      0 |        5 |      262
0.29/0.30	c  0.2s |       3 |      580 |      475 |     2596      0 |        5 |      262
0.39/0.45	c  0.3s |       4 |      966 |      813 |     2856      0 |        5 |      262
0.68/0.71	c  0.6s |       5 |     1570 |     1320 |     3142      0 |        5 |      262
1.10/1.13	c  1.0s |       6 |     2428 |     2081 |     3803      0 |        5 |      262
1.58/1.60	c  1.5s |       7 |     3781 |     3223 |     4184      0 |        5 |      262
2.30/2.32	c  2.2s |       8 |     5788 |     4936 |     4603      1 |        5 |      262
3.30/3.31	c  3.2s |       9 |     8893 |     7506 |     5064      2 |        5 |      262
4.79/4.86	c  4.7s |      10 |    13567 |    11361 |     5571      3 |        5 |      262
6.89/6.91	c  6.8s |      10 |    18862 |    15761 |     5571      5 |        5 |      262
7.39/7.49	c  7.4s |      11 |    20469 |    17144 |     6129      5 |        5 |      262
9.39/9.49	c  9.4s |      11 |    25818 |    21644 |     6129      6 |        5 |      262
11.39/11.44	c 11.3s |      12 |    30675 |    25819 |     6742      8 |        5 |      262
13.39/13.47	c 13.4s |      12 |    36954 |    30819 |     6742      9 |        5 |      262
15.49/15.51	c 15.4s |      12 |    42767 |    35819 |     6742     10 |        5 |      262
16.88/16.94	c 16.8s |      13 |    46383 |    38832 |     7417     11 |        5 |      262
18.89/18.96	c 18.8s |      13 |    51635 |    43132 |     7417     12 |        5 |      262
20.90/20.97	c 20.9s |      13 |    57088 |    47632 |     7417     13 |        5 |      262
23.10/23.13	c 23.0s |      13 |    62142 |    52032 |     7417     15 |        5 |      262
25.09/25.17	c 25.1s |      13 |    68610 |    57332 |     7417     16 |        5 |      262
25.49/25.57	c 25.5s |      14 |    69812 |    58352 |     8159     16 |        5 |      262
27.59/27.61	c 27.5s |      14 |    75038 |    62752 |     8159     17 |        5 |      262
29.59/29.63	c 29.5s |      14 |    80042 |    66952 |     8159     18 |        5 |      262
31.59/31.65	c 31.5s |      14 |    85137 |    71252 |     8159     19 |        5 |      262
33.59/33.67	c 33.6s |      14 |    90517 |    75852 |     8159     20 |        5 |      262
35.59/35.67	c 35.6s |      14 |    95575 |    80152 |     8159     21 |        5 |      262
37.68/37.71	c 37.6s |      14 |   100924 |    84852 |     8159     23 |        5 |      262
39.38/39.42	c 39.3s |      15 |   104236 |    87632 |     8975     23 |        5 |      262
41.38/41.43	c 41.3s |      15 |   109359 |    91932 |     8975     24 |        5 |      262
43.38/43.46	c 43.3s |      15 |   114481 |    96232 |     8975     25 |        5 |      262
45.38/45.47	c 45.4s |      15 |   118836 |    99932 |     8975     26 |        5 |      262
47.39/47.48	c 47.4s |      15 |   123966 |   104232 |     8975     27 |        5 |      262
49.49/49.51	c 49.4s |      15 |   128561 |   108232 |     8975     28 |        5 |      262
51.48/51.56	c 51.4s |      15 |   133748 |   112732 |     8975     29 |        5 |      262
53.48/53.59	c 53.5s |      15 |   138611 |   117032 |     8975     29 |        5 |      262
55.58/55.61	c 55.5s |      15 |   142911 |   120832 |     8975     30 |        5 |      262
57.58/57.63	c 57.5s |      15 |   146788 |   124132 |     8975     31 |        5 |      262
59.58/59.67	c 59.6s |      15 |   152021 |   128432 |     8975     32 |        5 |      262
61.08/61.19	c 61.1s |      16 |   155676 |   131552 |     9873     32 |        5 |      262
63.18/63.22	c 63.1s |      16 |   160301 |   135352 |     9873     33 |        5 |      262
65.18/65.23	c 65.1s |      16 |   164816 |   139252 |     9873     34 |        5 |      262
67.18/67.26	c 67.1s |      16 |   169284 |   143152 |     9873     35 |        5 |      262
69.17/69.30	c 69.2s |      16 |   173624 |   146952 |     9873     36 |        5 |      262
71.27/71.34	c 71.2s |      16 |   178052 |   150952 |     9873     36 |        5 |      262
73.27/73.38	c 73.3s |      16 |   180778 |   153352 |     9873     37 |        5 |      262
75.37/75.42	c 75.3s |      16 |   185631 |   157552 |     9873     38 |        5 |      262
77.37/77.43	c 77.3s |      16 |   190082 |   161452 |     9873     38 |        5 |      262
79.38/79.47	c 79.4s |      16 |   194869 |   165452 |     9873     39 |        5 |      262
81.39/81.50	c 81.4s |      16 |   199584 |   169552 |     9873     40 |        5 |      262
83.48/83.51	c 83.4s |      16 |   204028 |   173452 |     9873     41 |        5 |      262
85.48/85.54	c 85.4s |      16 |   207510 |   176552 |     9873     41 |        5 |      262
87.47/87.58	c 87.5s |      16 |   211908 |   180352 |     9873     42 |        5 |      262
89.57/89.60	c 89.5s |      16 |   215859 |   183852 |     9873     43 |        5 |      262
91.57/91.61	c 91.5s |      16 |   219679 |   187252 |     9873     44 |        5 |      262
93.58/93.63	c 93.5s |      16 |   223531 |   190652 |     9873     44 |        5 |      262
95.68/95.71	c 95.6s |      16 |   228016 |   194552 |     9873     45 |        5 |      262
97.17/97.27	c 97.2s |      17 |   231452 |   197432 |    10861     45 |        5 |      262
99.17/99.28	c 99.2s |      17 |   235674 |   201132 |    10861     46 |        5 |      262
101.27/101.32	c  101s |      17 |   239054 |   203932 |    10861     47 |        5 |      262
103.27/103.33	c  103s |      17 |   243940 |   208032 |    10861     47 |        5 |      262
105.27/105.34	c  105s |      17 |   248742 |   212132 |    10861     48 |        5 |      262
107.26/107.38	c  107s |      17 |   252732 |   215632 |    10861     49 |        5 |      262
109.26/109.39	c  109s |      17 |   257203 |   219532 |    10861     49 |        5 |      262
111.36/111.45	c  111s |      17 |   261860 |   223632 |    10861     50 |        5 |      262
113.36/113.49	c  113s |      17 |   265938 |   227132 |    10861     51 |        5 |      262
115.66/115.71	c  115s |      17 |   270172 |   230832 |    10861     51 |        5 |      262
117.66/117.72	c  117s |      17 |   274834 |   234832 |    10861     52 |        5 |      262
119.65/119.73	c  119s |      17 |   279055 |   238532 |    10861     53 |        5 |      262
121.65/121.77	c  121s |      17 |   283186 |   242232 |    10861     54 |        5 |      262
123.65/123.79	c  123s |      17 |   286831 |   245532 |    10861     54 |        5 |      262
125.75/125.84	c  125s |      17 |   291214 |   249432 |    10861     55 |        5 |      262
127.85/127.93	c  127s |      17 |   295413 |   253132 |    10861     56 |        5 |      262
129.85/129.96	c  129s |      17 |   300001 |   257132 |    10861     56 |        5 |      262
131.84/131.98	c  131s |      17 |   303927 |   260732 |    10861     57 |        5 |      262
133.94/134.01	c  133s |      17 |   307929 |   264332 |    10861     58 |        5 |      262
135.94/136.03	c  135s |      17 |   311862 |   267832 |    10861     58 |        5 |      262
137.95/138.04	c  137s |      17 |   313541 |   269332 |    10861     58 |        5 |      262
139.95/140.07	c  139s |      17 |   317800 |   273032 |    10861     59 |        5 |      262
141.95/142.09	c  141s |      17 |   322012 |   276632 |    10861     60 |        5 |      262
144.05/144.14	c  144s |      17 |   326435 |   280532 |    10861     60 |        5 |      262
146.04/146.16	c  146s |      17 |   331411 |   284932 |    10861     61 |        5 |      262
148.14/148.21	c  148s |      17 |   335237 |   288332 |    10861     62 |        5 |      262
150.14/150.21	c  150s |      17 |   339779 |   292232 |    10861     63 |        5 |      262
152.04/152.10	c  151s |      18 |   344263 |   296252 |    11948     63 |        5 |      262
154.04/154.13	c  154s |      18 |   348149 |   299652 |    11948     64 |        5 |      262
156.03/156.13	c  156s |      18 |   351300 |   302452 |    11948     64 |        5 |      262
158.03/158.15	c  158s |      18 |   355142 |   305852 |    11948     65 |        5 |      262
160.13/160.20	c  160s |      18 |   358963 |   309352 |    11948     65 |        5 |      262
162.13/162.24	c  162s |      18 |   362807 |   312852 |    11948     66 |        5 |      262
164.23/164.30	c  164s |      18 |   366326 |   315852 |    11948     66 |        5 |      262
166.23/166.35	c  166s |      18 |   369960 |   319052 |    11948     67 |        5 |      262
168.23/168.37	c  168s |      18 |   373388 |   322052 |    11948     67 |        5 |      262
170.32/170.41	c  170s |      18 |   377379 |   325652 |    11948     68 |        5 |      262
172.32/172.42	c  172s |      18 |   380111 |   327952 |    11948     68 |        5 |      262
174.32/174.43	c  174s |      18 |   384578 |   331752 |    11948     69 |        5 |      262
176.33/176.47	c  176s |      18 |   388633 |   335252 |    11948     70 |        5 |      262
178.43/178.52	c  178s |      18 |   392740 |   338852 |    11948     70 |        5 |      262
180.43/180.54	c  180s |      18 |   396385 |   342152 |    11948     71 |        5 |      262
182.43/182.59	c  182s |      18 |   399928 |   345252 |    11948     71 |        5 |      262
184.53/184.60	c  184s |      18 |   404162 |   348852 |    11948     72 |        5 |      262
186.52/186.64	c  186s |      18 |   408012 |   352252 |    11948     72 |        5 |      262
188.52/188.69	c  188s |      18 |   411896 |   355752 |    11948     73 |        5 |      262
190.62/190.73	c  190s |      18 |   415654 |   359052 |    11948     74 |        5 |      262
192.62/192.79	c  192s |      18 |   419628 |   362652 |    11948     74 |        5 |      262
194.72/194.86	c  194s |      18 |   422899 |   365652 |    11948     75 |        5 |      262
196.82/197.00	c  196s |      18 |   426552 |   368952 |    11948     75 |        5 |      262
198.91/199.02	c  198s |      18 |   430504 |   372352 |    11948     76 |        5 |      262
200.91/201.03	c  200s |      18 |   434400 |   375852 |    11948     76 |        5 |      262
202.91/203.06	c  202s |      18 |   438224 |   379252 |    11948     77 |        5 |      262
205.01/205.10	c  204s |      18 |   441963 |   382552 |    11948     77 |        5 |      262
207.01/207.15	c  207s |      18 |   445829 |   385952 |    11948     78 |        5 |      262
209.01/209.19	c  209s |      18 |   449493 |   389252 |    11948     79 |        5 |      262
211.00/211.19	c  211s |      18 |   453641 |   392952 |    11948     79 |        5 |      262
213.10/213.22	c  213s |      18 |   456837 |   395852 |    11948     80 |        5 |      262
215.10/215.27	c  215s |      18 |   460455 |   399152 |    11948     80 |        5 |      262
217.10/217.27	c  217s |      18 |   463855 |   402152 |    11948     81 |        5 |      262
219.20/219.32	c  219s |      18 |   467503 |   405452 |    11948     81 |        5 |      262
221.20/221.33	c  221s |      18 |   471132 |   408652 |    11948     82 |        5 |      262
223.20/223.36	c  223s |      18 |   474412 |   411652 |    11948     82 |        5 |      262
225.30/225.40	c  225s |      18 |   477924 |   414752 |    11948     83 |        5 |      262
227.29/227.43	c  227s |      18 |   481718 |   418052 |    11948     83 |        5 |      262
229.29/229.45	c  229s |      18 |   484869 |   420752 |    11948     84 |        5 |      262
231.39/231.52	c  231s |      18 |   488049 |   423552 |    11948     84 |        5 |      262
233.39/233.52	c  233s |      18 |   490879 |   425952 |    11948     85 |        5 |      262
235.40/235.58	c  235s |      18 |   494733 |   429252 |    11948     85 |        5 |      262
237.38/237.60	c  237s |      18 |   497726 |   431752 |    11948     86 |        5 |      262
239.48/239.64	c  239s |      18 |   501123 |   434752 |    11948     86 |        5 |      262
241.58/241.71	c  241s |      18 |   504343 |   437452 |    11948     86 |        5 |      262
243.58/243.74	c  243s |      18 |   507786 |   440252 |    11948     87 |        5 |      262
245.58/245.78	c  245s |      18 |   511284 |   443252 |    13143     87 |        5 |      262
246.58/246.77	c  246s |      19 |   512744 |   444482 |    13143     87 |        5 |      262
248.68/248.82	c  248s |      19 |   515805 |   446982 |    13143     88 |        5 |      262
250.68/250.87	c  250s |      19 |   519676 |   450182 |    13143     88 |        5 |      262
252.68/252.89	c  252s |      19 |   523261 |   453082 |    13143     89 |        5 |      262
254.78/254.93	c  254s |      19 |   526364 |   455682 |    13143     89 |        5 |      262
257.08/257.20	c  257s |      19 |   529442 |   458282 |    13143     90 |        5 |      262
259.08/259.27	c  259s |      19 |   533082 |   461182 |    13143     90 |        5 |      262
261.18/261.32	c  261s |      19 |   536158 |   463682 |    13143     90 |        5 |      262
263.18/263.36	c  263s |      19 |   539367 |   466282 |    13143     91 |        5 |      262
265.27/265.41	c  265s |      19 |   542567 |   468882 |    13143     91 |        5 |      262
267.28/267.47	c  267s |      19 |   545465 |   471282 |    13143     91 |        5 |      262
269.38/269.52	c  269s |      19 |   548841 |   474082 |    13143     92 |        5 |      262
271.37/271.54	c  271s |      19 |   551803 |   476582 |    13143     92 |        5 |      262
273.47/273.61	c  273s |      19 |   554764 |   478782 |    13143     93 |        5 |      262
275.47/275.68	c  275s |      19 |   557715 |   481282 |    13143     93 |        5 |      262
277.56/277.73	c  277s |      19 |   559790 |   482982 |    13143     93 |        5 |      262
279.56/279.78	c  279s |      19 |   562878 |   485582 |    13143     94 |        5 |      262
281.66/281.84	c  281s |      19 |   566256 |   488582 |    13143     94 |        5 |      262
283.67/283.85	c  283s |      19 |   569403 |   491282 |    13143     94 |        5 |      262
285.66/285.87	c  285s |      19 |   572338 |   493882 |    13143     95 |        5 |      262
287.76/287.92	c  287s |      19 |   575592 |   496582 |    13143     95 |        5 |      262
289.76/289.93	c  289s |      19 |   578714 |   499282 |    13143     96 |        5 |      262
291.75/291.95	c  291s |      19 |   581905 |   501982 |    13143     96 |        5 |      262
293.75/293.99	c  293s |      19 |   585007 |   504582 |    13143     96 |        5 |      262
295.86/296.05	c  295s |      19 |   588610 |   507682 |    13143     97 |        5 |      262
297.85/298.06	c  297s |      19 |   591396 |   510082 |    13143     97 |        5 |      262
299.85/300.08	c  299s |      19 |   594636 |   512782 |    13143     98 |        5 |      262
301.85/302.09	c  301s |      19 |   597729 |   515482 |    13143     98 |        5 |      262
303.85/304.09	c  303s |      19 |   600626 |   517982 |    13143     98 |        5 |      262
305.95/306.10	c  305s |      19 |   603889 |   520682 |    13143     99 |        5 |      262
307.95/308.13	c  308s |      19 |   606930 |   523282 |    13143     99 |        5 |      262
309.95/310.15	c  310s |      19 |   609580 |   525582 |    13143    100 |        5 |      262
311.95/312.19	c  312s |      19 |   612516 |   528182 |    13143    100 |        5 |      262
314.05/314.24	c  314s |      19 |   615738 |   530982 |    13143    100 |        5 |      262
316.05/316.26	c  316s |      19 |   618968 |   533682 |    13143    101 |        5 |      262
318.14/318.30	c  318s |      19 |   621988 |   536382 |    13143    101 |        5 |      262
320.14/320.33	c  320s |      19 |   625150 |   539082 |    13143    102 |        5 |      262
322.15/322.34	c  322s |      19 |   628834 |   542182 |    13143    102 |        5 |      262
324.14/324.38	c  324s |      19 |   631715 |   544682 |    13143    102 |        5 |      262
326.25/326.41	c  326s |      19 |   635339 |   547582 |    13143    103 |        5 |      262
328.25/328.45	c  328s |      19 |   638724 |   550382 |    13143    103 |        5 |      262
330.25/330.46	c  330s |      19 |   641761 |   553082 |    13143    104 |        5 |      262
332.35/332.50	c  332s |      19 |   645093 |   555982 |    13143    104 |        5 |      262
334.45/334.61	c  334s |      19 |   647523 |   558182 |    13143    105 |        5 |      262
336.46/336.66	c  336s |      19 |   651261 |   561282 |    13143    105 |        5 |      262
338.45/338.66	c  338s |      19 |   654212 |   563882 |    13143    105 |        5 |      262
340.55/340.72	c  340s |      19 |   657363 |   566682 |    13143    106 |        5 |      262
342.55/342.75	c  342s |      19 |   660717 |   569582 |    13143    106 |        5 |      262
344.55/344.77	c  344s |      19 |   663858 |   572182 |    13143    107 |        5 |      262
346.55/346.78	c  346s |      19 |   667343 |   575182 |    13143    107 |        5 |      262
348.65/348.80	c  348s |      19 |   670602 |   577882 |    13143    107 |        5 |      262
350.64/350.85	c  350s |      19 |   674183 |   580982 |    13143    108 |        5 |      262
352.64/352.87	c  352s |      19 |   677500 |   583682 |    13143    108 |        5 |      262
354.74/354.93	c  354s |      19 |   680672 |   586382 |    13143    109 |        5 |      262
356.74/356.98	c  356s |      19 |   684350 |   589482 |    13143    109 |        5 |      262
358.83/359.03	c  358s |      19 |   687393 |   592082 |    13143    110 |        5 |      262
360.83/361.03	c  360s |      19 |   690979 |   595182 |    13143    110 |        5 |      262
362.84/363.06	c  362s |      19 |   694131 |   597782 |    13143    110 |        5 |      262
364.83/365.07	c  364s |      19 |   697039 |   600282 |    13143    111 |        5 |      262
366.93/367.15	c  367s |      19 |   700682 |   603182 |    13143    111 |        5 |      262
368.93/369.15	c  369s |      19 |   703513 |   605482 |    13143    112 |        5 |      262
370.93/371.18	c  371s |      19 |   706118 |   607682 |    13143    112 |        5 |      262
372.93/373.18	c  373s |      19 |   709577 |   610482 |    13143    112 |        5 |      262
375.04/375.21	c  375s |      19 |   712667 |   613182 |    13143    113 |        5 |      262
377.03/377.28	c  377s |      19 |   716110 |   616082 |    13143    113 |        5 |      262
379.13/379.36	c  379s |      19 |   718813 |   618282 |    13143    114 |        5 |      262
381.23/381.43	c  381s |      19 |   722628 |   621482 |    13143    114 |        5 |      262
383.23/383.49	c  383s |      19 |   725589 |   624082 |    13143    114 |        5 |      262
385.33/385.50	c  385s |      19 |   728555 |   626482 |    13143    115 |        5 |      262
387.32/387.58	c  387s |      19 |   731997 |   629282 |    13143    115 |        5 |      262
389.42/389.61	c  389s |      19 |   734836 |   631782 |    13143    116 |        5 |      262
391.43/391.66	c  391s |      19 |   738599 |   634982 |    13143    116 |        5 |      262
393.52/393.71	c  393s |      19 |   741674 |   637482 |    13143    116 |        5 |      262
395.52/395.73	c  395s |      19 |   744606 |   639882 |    13143    117 |        5 |      262
397.52/397.75	c  397s |      19 |   747969 |   642782 |    13143    117 |        5 |      262
399.52/399.77	c  399s |      19 |   750646 |   645082 |    13143    118 |        5 |      262
401.52/401.77	c  401s |      19 |   754803 |   648682 |    13143    118 |        5 |      262
403.52/403.80	c  403s |      19 |   758028 |   651382 |    13143    118 |        5 |      262
405.62/405.83	c  405s |      19 |   761602 |   654282 |    13143    119 |        5 |      262
407.71/407.91	c  407s |      19 |   765082 |   657082 |    13143    119 |        5 |      262
409.71/409.96	c  409s |      19 |   768337 |   659882 |    13143    120 |        5 |      262
411.81/412.00	c  411s |      19 |   771694 |   662482 |    14458    120 |        5 |      262
413.81/414.05	c  413s |      19 |   774721 |   664882 |    14458    120 |        5 |      262
415.81/416.08	c  415s |      20 |   777125 |   666827 |    14458    121 |        5 |      262
417.91/418.13	c  418s |      20 |   781226 |   670227 |    14458    121 |        5 |      262
419.91/420.20	c  420s |      20 |   784905 |   673127 |    14458    121 |        5 |      262
422.00/422.27	c  422s |      20 |   788218 |   675827 |    14458    122 |        5 |      262
424.10/424.31	c  424s |      20 |   791146 |   678327 |    14458    122 |        5 |      262
426.10/426.37	c  426s |      20 |   793705 |   680527 |    14458    122 |        5 |      262
428.10/428.38	c  428s |      20 |   796949 |   683127 |    14458    123 |        5 |      262
430.20/430.41	c  430s |      20 |   799950 |   685727 |    14458    123 |        5 |      262
432.21/432.46	c  432s |      20 |   802866 |   688227 |    14458    123 |        5 |      262
434.20/434.50	c  434s |      20 |   805886 |   690927 |    14458    124 |        5 |      262
436.30/436.52	c  436s |      20 |   808934 |   693727 |    14458    124 |        5 |      262
438.30/438.57	c  438s |      20 |   811612 |   696127 |    14458    125 |        5 |      262
440.30/440.58	c  440s |      20 |   814779 |   699027 |    14458    125 |        5 |      262
442.40/442.63	c  442s |      20 |   817910 |   701727 |    14458    125 |        5 |      262
444.40/444.63	c  444s |      20 |   821506 |   704727 |    14458    126 |        5 |      262
446.40/446.63	c  446s |      20 |   825240 |   708027 |    14458    126 |        5 |      262
448.39/448.64	c  448s |      20 |   828418 |   710927 |    14458    127 |        5 |      262
450.39/450.64	c  450s |      20 |   831913 |   714027 |    14458    127 |        5 |      262
452.39/452.68	c  452s |      20 |   835216 |   716927 |    14458    127 |        5 |      262
454.39/454.69	c  454s |      20 |   838386 |   719627 |    14458    128 |        5 |      262
456.49/456.71	c  456s |      20 |   842011 |   722827 |    14458    128 |        5 |      262
458.49/458.78	c  458s |      20 |   845381 |   725827 |    14458    129 |        5 |      262
460.59/460.84	c  460s |      20 |   848905 |   729027 |    14458    129 |        5 |      262
462.58/462.88	c  462s |      20 |   852112 |   731927 |    14458    129 |        5 |      262
464.68/464.93	c  464s |      20 |   855509 |   735027 |    14458    130 |        5 |      262
466.68/466.95	c  466s |      20 |   858675 |   737927 |    14458    130 |        5 |      262
468.68/468.99	c  468s |      20 |   861719 |   740627 |    14458    131 |        5 |      262
470.78/471.01	c  470s |      20 |   865273 |   743727 |    14458    131 |        5 |      262
472.78/473.02	c  472s |      20 |   868200 |   746327 |    14458    131 |        5 |      262
474.87/475.16	c  475s |      20 |   870678 |   748427 |    14458    132 |        5 |      262
476.97/477.20	c  477s |      20 |   874218 |   751627 |    14458    132 |        5 |      262
478.97/479.29	c  479s |      20 |   877154 |   754327 |    14458    133 |        5 |      262
481.07/481.34	c  481s |      20 |   880655 |   757527 |    14458    133 |        5 |      262
483.07/483.36	c  483s |      20 |   883709 |   760227 |    14458    133 |        5 |      262
485.18/485.40	c  485s |      20 |   886753 |   762827 |    14458    134 |        5 |      262
487.19/487.42	c  487s |      20 |   890307 |   766027 |    14458    134 |        5 |      262
489.18/489.43	c  489s |      20 |   893195 |   768627 |    14458    134 |        5 |      262
491.18/491.44	c  491s |      20 |   896501 |   771627 |    14458    135 |        5 |      262
493.28/493.54	c  493s |      20 |   899684 |   774527 |    14458    135 |        5 |      262
495.28/495.57	c  495s |      20 |   902556 |   777027 |    14458    136 |        5 |      262
497.37/497.60	c  497s |      20 |   906040 |   780127 |    14458    136 |        5 |      262
499.37/499.66	c  499s |      20 |   909300 |   783027 |    14458    136 |        5 |      262
501.38/501.68	c  501s |      20 |   912176 |   785627 |    14458    137 |        5 |      262
503.47/503.71	c  503s |      20 |   915501 |   788627 |    14458    137 |        5 |      262
505.47/505.76	c  505s |      20 |   918448 |   791327 |    14458    138 |        5 |      262
507.47/507.77	c  507s |      20 |   921773 |   794327 |    14458    138 |        5 |      262
509.47/509.77	c  509s |      20 |   924735 |   796927 |    14458    138 |        5 |      262
511.67/511.96	c  511s |      20 |   926861 |   798827 |    14458    139 |        5 |      262
513.67/513.98	c  513s |      20 |   930686 |   802127 |    14458    139 |        5 |      262
515.77/516.01	c  515s |      20 |   934044 |   805127 |    14458    139 |        5 |      262
517.76/518.06	c  517s |      20 |   937584 |   808227 |    14458    140 |        5 |      262
519.86/520.14	c  520s |      20 |   940926 |   811227 |    14458    140 |        5 |      262
521.86/522.18	c  522s |      20 |   944333 |   814227 |    14458    141 |        5 |      262
523.96/524.23	c  524s |      20 |   947863 |   817427 |    14458    141 |        5 |      262
525.96/526.24	c  526s |      20 |   950660 |   820027 |    14458    142 |        5 |      262
527.95/528.25	c  528s |      20 |   953682 |   822727 |    14458    142 |        5 |      262
529.96/530.25	c  530s |      20 |   957057 |   825827 |    14458    142 |        5 |      262
531.95/532.26	c  532s |      20 |   960141 |   828627 |    14458    143 |        5 |      262
533.95/534.28	c  534s |      20 |   963592 |   831827 |    14458    143 |        5 |      262
536.35/536.60	c  536s |      20 |   966676 |   834627 |    14458    144 |        5 |      262
538.35/538.66	c  538s |      20 |   970326 |   837927 |    14458    144 |        5 |      262
540.35/540.70	c  540s |      20 |   973192 |   840527 |    14458    144 |        5 |      262
542.45/542.76	c  542s |      20 |   976323 |   843427 |    14458    145 |        5 |      262
544.55/544.82	c  544s |      20 |   979459 |   846327 |    14458    145 |        5 |      262
546.56/546.85	c  546s |      20 |   982506 |   849127 |    14458    145 |        5 |      262
548.55/548.86	c  548s |      20 |   984748 |   850827 |    14458    146 |        5 |      262
550.55/550.87	c  550s |      20 |   988744 |   854127 |    14458    146 |        5 |      262
552.65/552.91	c  552s |      20 |   991607 |   856627 |    14458    147 |        5 |      262
554.65/554.96	c  554s |      20 |   994695 |   859327 |    14458    147 |        5 |      262
556.75/557.05	c  556s |      20 |   997654 |   861927 |    14458    147 |        5 |      262
559.14/559.45	c  559s |      20 |   999964 |   863927 |    14458    148 |        5 |      262
561.14/561.48	c  561s |      20 |  1003371 |   866927 |    14458    148 |        5 |      262
563.14/563.48	c  563s |      20 |  1005989 |   869327 |    14458    148 |        5 |      262
565.25/565.53	c  565s |      20 |  1008410 |   871527 |    14458    149 |        5 |      262
567.35/567.63	c  567s |      20 |  1011337 |   874127 |    14458    149 |        5 |      262
569.34/569.68	c  569s |      20 |  1013916 |   876327 |    14458    149 |        5 |      262
571.44/571.70	c  571s |      20 |  1016552 |   878727 |    14458    150 |        5 |      262
573.44/573.77	c  573s |      20 |  1019913 |   881827 |    14458    150 |        5 |      262
575.54/575.81	c  575s |      20 |  1022766 |   884327 |    14458    150 |        5 |      262
577.74/578.05	c  577s |      20 |  1025912 |   887127 |    14458    151 |        5 |      262
579.74/580.09	c  579s |      20 |  1028918 |   889727 |    14458    151 |        5 |      262
581.84/582.18	c  582s |      20 |  1031793 |   892127 |    14458    151 |        5 |      262
584.34/584.64	c  584s |      20 |  1034643 |   894627 |    14458    152 |        5 |      262
586.33/586.65	c  586s |      20 |  1038002 |   897527 |    14458    152 |        5 |      262
588.43/588.70	c  588s |      20 |  1040984 |   900027 |    14458    152 |        5 |      262
590.44/590.80	c  590s |      20 |  1043706 |   902227 |    14458    153 |        5 |      262
592.53/592.82	c  592s |      20 |  1047019 |   904927 |    14458    153 |        5 |      262
594.73/595.00	c  594s |      20 |  1049561 |   907227 |    14458    153 |        5 |      262
596.73/597.01	c  596s |      20 |  1052985 |   910327 |    14458    154 |        5 |      262
598.73/599.04	c  598s |      20 |  1056131 |   913227 |    14458    154 |        5 |      262
600.73/601.07	c  600s |      20 |  1059018 |   915827 |    14458    155 |        5 |      262
602.83/603.10	c  602s |      20 |  1062544 |   918927 |    14458    155 |        5 |      262
604.83/605.13	c  605s |      20 |  1065542 |   921527 |    14458    155 |        5 |      262
606.82/607.17	c  607s |      20 |  1068492 |   924127 |    14458    156 |        5 |      262
608.82/609.19	c  609s |      20 |  1071862 |   927127 |    14458    156 |        5 |      262
610.92/611.21	c  611s |      20 |  1074696 |   929727 |    14458    156 |        5 |      262
612.92/613.27	c  613s |      20 |  1078258 |   932927 |    14458    157 |        5 |      262
614.92/615.29	c  615s |      20 |  1081513 |   935927 |    14458    157 |        5 |      262
617.02/617.33	c  617s |      20 |  1083473 |   937727 |    14458    158 |        5 |      262
619.02/619.34	c  619s |      20 |  1087100 |   941027 |    14458    158 |        5 |      262
621.01/621.35	c  621s |      20 |  1090419 |   943827 |    14458    158 |        5 |      262
623.12/623.41	c  623s |      20 |  1093749 |   946627 |    14458    159 |        5 |      262
625.12/625.49	c  625s |      20 |  1096614 |   949027 |    14458    159 |        5 |      262
627.22/627.58	c  627s |      20 |  1099538 |   951527 |    14458    159 |        5 |      262
629.32/629.63	c  629s |      20 |  1102121 |   953727 |    14458    160 |        5 |      262
631.32/631.64	c  631s |      20 |  1105092 |   956327 |    14458    160 |        5 |      262
633.33/633.67	c  633s |      20 |  1107704 |   958727 |    14458    160 |        5 |      262
635.32/635.67	c  635s |      20 |  1110617 |   961427 |    14458    161 |        5 |      262
637.41/637.75	c  637s |      20 |  1113836 |   964127 |    14458    161 |        5 |      262
639.41/639.77	c  639s |      20 |  1116642 |   966527 |    14458    161 |        5 |      262
641.51/641.81	c  641s |      20 |  1120288 |   969627 |    14458    162 |        5 |      262
643.51/643.88	c  643s |      20 |  1123232 |   972327 |    14458    162 |        5 |      262
645.61/645.91	c  645s |      20 |  1125951 |   974727 |    14458    163 |        5 |      262
647.62/647.93	c  647s |      20 |  1129651 |   978027 |    14458    163 |        5 |      262
649.61/649.98	c  649s |      20 |  1132523 |   980527 |    14458    163 |        5 |      262
652.21/652.56	c  652s |      20 |  1134951 |   982627 |    14458    164 |        5 |      262
654.21/654.57	c  654s |      20 |  1138540 |   985727 |    14458    164 |        5 |      262
656.31/656.64	c  656s |      20 |  1141483 |   988327 |    14458    164 |        5 |      262
658.30/658.66	c  658s |      20 |  1144561 |   991127 |    14458    165 |        5 |      262
660.40/660.72	c  660s |      20 |  1147456 |   993727 |    15904    165 |        5 |      262
662.40/662.72	c  662s |      20 |  1150043 |   996027 |    15904    165 |        5 |      262
664.40/664.78	c  664s |      20 |  1152373 |   998127 |    15904    166 |        5 |      262
666.10/666.42	c  666s |      21 |  1154788 |  1000345 |    15904    166 |        5 |      262
668.10/668.42	c  668s |      21 |  1158325 |  1003245 |    15904    166 |        5 |      262
670.09/670.44	c  670s |      21 |  1162231 |  1006545 |    15904    167 |        5 |      262
672.09/672.48	c  672s |      21 |  1166506 |  1010045 |    15904    167 |        5 |      262
674.19/674.53	c  674s |      21 |  1170638 |  1013545 |    15904    168 |        5 |      262
676.20/676.55	c  676s |      21 |  1174760 |  1017045 |    15904    168 |        5 |      262
678.19/678.58	c  678s |      21 |  1178803 |  1020545 |    15904    168 |        5 |      262
680.29/680.66	c  680s |      21 |  1182667 |  1024045 |    15904    169 |        5 |      262
682.40/682.72	c  682s |      21 |  1186746 |  1027545 |    15904    169 |        5 |      262
684.40/684.78	c  684s |      21 |  1190811 |  1031045 |    15904    170 |        5 |      262
686.49/686.82	c  686s |      21 |  1191998 |  1032045 |    15904    170 |        5 |      262
688.49/688.85	c  688s |      21 |  1195152 |  1034745 |    15904    170 |        5 |      262
690.69/691.00	c  690s |      21 |  1198887 |  1038045 |    15904    171 |        5 |      262
692.70/693.07	c  692s |      21 |  1203336 |  1041745 |    15904    171 |        5 |      262
694.69/695.09	c  694s |      21 |  1206550 |  1044445 |    15904    171 |        5 |      262
696.79/697.10	c  696s |      21 |  1210057 |  1047545 |    15904    172 |        5 |      262
698.79/699.13	c  699s |      21 |  1213904 |  1050945 |    15904    172 |        5 |      262
700.79/701.17	c  701s |      21 |  1217635 |  1054245 |    15904    173 |        5 |      262
702.79/703.17	c  703s |      21 |  1221756 |  1057845 |    15904    173 |        5 |      262
704.89/705.22	c  705s |      21 |  1223765 |  1059645 |    15904    173 |        5 |      262
706.89/707.26	c  707s |      21 |  1227536 |  1063045 |    15904    174 |        5 |      262
708.89/709.27	c  709s |      21 |  1231371 |  1066445 |    15904    174 |        5 |      262
710.98/711.32	c  711s |      21 |  1234649 |  1069445 |    15904    174 |        5 |      262
712.98/713.39	c  713s |      21 |  1238355 |  1072745 |    15904    175 |        5 |      262
715.08/715.44	c  715s |      21 |  1241179 |  1075245 |    15904    175 |        5 |      262
717.28/717.68	c  717s |      21 |  1244104 |  1077845 |    15904    176 |        5 |      262
719.38/719.71	c  719s |      21 |  1248480 |  1081645 |    15904    176 |        5 |      262
721.39/721.74	c  721s |      21 |  1251758 |  1084645 |    15904    176 |        5 |      262
723.38/723.76	c  723s |      21 |  1253900 |  1086545 |    15904    177 |        5 |      262
725.49/725.82	c  725s |      21 |  1256860 |  1089145 |    15904    177 |        5 |      262
727.48/727.84	c  727s |      21 |  1260454 |  1092345 |    15904    177 |        5 |      262
729.48/729.86	c  729s |      21 |  1263803 |  1095245 |    15904    178 |        5 |      262
731.58/731.92	c  731s |      21 |  1267416 |  1098345 |    15904    178 |        5 |      262
733.58/733.95	c  733s |      21 |  1270672 |  1101145 |    15904    178 |        5 |      262
736.08/736.44	c  736s |      21 |  1273236 |  1103445 |    15904    179 |        5 |      262
738.08/738.47	c  738s |      21 |  1276955 |  1106745 |    15904    179 |        5 |      262
740.09/740.48	c  740s |      21 |  1280508 |  1109745 |    15904    179 |        5 |      262
742.19/742.52	c  742s |      21 |  1284591 |  1113245 |    15904    180 |        5 |      262
744.18/744.55	c  744s |      21 |  1288255 |  1116445 |    15904    180 |        5 |      262
746.18/746.59	c  746s |      21 |  1291946 |  1119745 |    15904    181 |        5 |      262
748.27/748.60	c  748s |      21 |  1295226 |  1122645 |    15904    181 |        5 |      262
750.27/750.64	c  750s |      21 |  1298896 |  1125845 |    15904    181 |        5 |      262
752.27/752.65	c  752s |      21 |  1302372 |  1129045 |    15904    182 |        5 |      262
754.28/754.66	c  754s |      21 |  1305796 |  1132045 |    15904    182 |        5 |      262
756.37/756.70	c  756s |      21 |  1309046 |  1134945 |    15904    183 |        5 |      262
758.37/758.72	c  758s |      21 |  1312727 |  1138345 |    15904    183 |        5 |      262
760.37/760.77	c  760s |      21 |  1316243 |  1141545 |    15904    183 |        5 |      262
762.37/762.78	c  762s |      21 |  1319807 |  1144745 |    15904    184 |        5 |      262
764.87/765.27	c  765s |      21 |  1323417 |  1148045 |    15904    184 |        5 |      262
766.98/767.31	c  767s |      21 |  1325934 |  1150145 |    15904    185 |        5 |      262
768.97/769.32	c  769s |      21 |  1330033 |  1153745 |    15904    185 |        5 |      262
770.97/771.34	c  771s |      21 |  1333655 |  1156845 |    15904    185 |        5 |      262
773.08/773.46	c  773s |      21 |  1337426 |  1160145 |    15904    186 |        5 |      262
775.18/775.51	c  775s |      21 |  1341199 |  1163445 |    15904    186 |        5 |      262
777.17/777.54	c  777s |      21 |  1344658 |  1166545 |    15904    187 |        5 |      262
779.17/779.55	c  779s |      21 |  1347035 |  1168645 |    15904    187 |        5 |      262
781.17/781.57	c  781s |      21 |  1351130 |  1172145 |    15904    187 |        5 |      262
783.26/783.61	c  783s |      21 |  1354889 |  1175445 |    15904    188 |        5 |      262
785.26/785.66	c  785s |      21 |  1358688 |  1178745 |    15904    188 |        5 |      262
787.27/787.67	c  787s |      21 |  1362102 |  1181745 |    15904    188 |        5 |      262
789.26/789.67	c  789s |      21 |  1365324 |  1184545 |    15904    189 |        5 |      262
791.26/791.68	c  791s |      21 |  1369281 |  1187845 |    15904    189 |        5 |      262
793.36/793.72	c  793s |      21 |  1372928 |  1190945 |    15904    190 |        5 |      262
795.36/795.72	c  795s |      21 |  1376842 |  1194245 |    15904    190 |        5 |      262
797.36/797.74	c  797s |      21 |  1380496 |  1197445 |    15904    190 |        5 |      262
799.37/799.80	c  799s |      21 |  1383427 |  1200045 |    15904    191 |        5 |      262
801.46/801.83	c  801s |      21 |  1386938 |  1203145 |    15904    191 |        5 |      262
803.46/803.89	c  803s |      21 |  1390440 |  1206245 |    15904    192 |        5 |      262
805.56/805.93	c  805s |      21 |  1394345 |  1209745 |    15904    192 |        5 |      262
807.56/807.96	c  807s |      21 |  1397503 |  1212645 |    15904    192 |        5 |      262
809.56/809.99	c  809s |      21 |  1400484 |  1215345 |    15904    193 |        5 |      262
811.66/812.00	c  811s |      21 |  1403827 |  1218345 |    15904    193 |        5 |      262
813.66/814.03	c  813s |      21 |  1406249 |  1220545 |    15904    193 |        5 |      262
815.66/816.05	c  815s |      21 |  1409695 |  1223545 |    15904    194 |        5 |      262
817.66/818.07	c  817s |      21 |  1412955 |  1226445 |    15904    194 |        5 |      262
819.76/820.11	c  819s |      21 |  1416629 |  1229645 |    15904    194 |        5 |      262
821.75/822.12	c  822s |      21 |  1420428 |  1232945 |    15904    195 |        5 |      262
823.75/824.13	c  824s |      21 |  1424430 |  1236445 |    15904    195 |        5 |      262
827.26/827.69	c  827s |      21 |  1427647 |  1239345 |    15904    196 |        5 |      262
829.36/829.73	c  829s |      21 |  1430952 |  1242045 |    15904    196 |        5 |      262
831.36/831.74	c  831s |      21 |  1435204 |  1245745 |    15904    196 |        5 |      262
833.46/833.88	c  833s |      21 |  1439192 |  1249245 |    15904    197 |        5 |      262
835.56/835.93	c  835s |      21 |  1443083 |  1252545 |    15904    197 |        5 |      262
837.56/837.95	c  837s |      21 |  1446556 |  1255545 |    15904    198 |        5 |      262
839.56/839.96	c  839s |      21 |  1450381 |  1258845 |    15904    198 |        5 |      262
841.66/842.02	c  841s |      21 |  1454054 |  1262045 |    15904    198 |        5 |      262
844.15/844.59	c  844s |      21 |  1457017 |  1264645 |    15904    199 |        5 |      262
846.25/846.62	c  846s |      21 |  1459843 |  1267045 |    15904    199 |        5 |      262
848.25/848.64	c  848s |      21 |  1463106 |  1269945 |    15904    199 |        5 |      262
850.25/850.69	c  850s |      21 |  1467072 |  1273345 |    15904    200 |        5 |      262
852.35/852.72	c  852s |      21 |  1470947 |  1276745 |    15904    200 |        5 |      262
854.85/855.26	c  855s |      21 |  1474234 |  1279745 |    15904    201 |        5 |      262
856.85/857.26	c  857s |      21 |  1478066 |  1283145 |    15904    201 |        5 |      262
858.86/859.29	c  859s |      21 |  1481412 |  1286045 |    15904    201 |        5 |      262
860.95/861.35	c  861s |      21 |  1484703 |  1289045 |    15904    202 |        5 |      262
862.95/863.39	c  863s |      21 |  1487935 |  1292045 |    15904    202 |        5 |      262
865.05/865.50	c  865s |      21 |  1490695 |  1294545 |    15904    203 |        5 |      262
867.15/867.52	c  867s |      21 |  1494701 |  1297945 |    15904    203 |        5 |      262
869.15/869.56	c  869s |      21 |  1498502 |  1301145 |    15904    203 |        5 |      262
871.35/871.75	c  871s |      21 |  1499993 |  1302445 |    15904    204 |        5 |      262
873.35/873.77	c  873s |      21 |  1501890 |  1304045 |    15904    204 |        5 |      262
875.36/875.79	c  875s |      21 |  1506058 |  1307745 |    15904    204 |        5 |      262
877.46/877.82	c  877s |      21 |  1509981 |  1311145 |    15904    205 |        5 |      262
879.45/879.88	c  879s |      21 |  1514535 |  1315245 |    15904    205 |        5 |      262
881.55/881.92	c  881s |      21 |  1518186 |  1318545 |    15904    206 |        5 |      262
883.55/883.96	c  883s |      21 |  1522426 |  1322245 |    15904    206 |        5 |      262
885.64/886.00	c  885s |      21 |  1524932 |  1324445 |    15904    206 |        5 |      262
887.64/888.01	c  887s |      21 |  1528528 |  1327645 |    15904    207 |        5 |      262
889.65/890.06	c  889s |      21 |  1532169 |  1330845 |    15904    207 |        5 |      262
891.76/892.13	c  892s |      21 |  1535633 |  1333845 |    15904    207 |        5 |      262
893.75/894.13	c  894s |      21 |  1539202 |  1337045 |    15904    208 |        5 |      262
895.75/896.17	c  896s |      21 |  1543039 |  1340545 |    15904    208 |        5 |      262
897.85/898.21	c  898s |      21 |  1546464 |  1343645 |    15904    209 |        5 |      262
899.85/900.26	c  900s |      21 |  1550453 |  1347245 |    15904    209 |        5 |      262
903.05/903.42	c  903s |      21 |  1553323 |  1349845 |    15904    209 |        5 |      262
905.06/905.45	c  905s |      21 |  1556276 |  1352545 |    15904    210 |        5 |      262
907.05/907.45	c  907s |      21 |  1559468 |  1355445 |    15904    210 |        5 |      262
909.15/909.52	c  909s |      21 |  1562409 |  1358145 |    15904    210 |        5 |      262
911.15/911.53	c  911s |      21 |  1565908 |  1361245 |    15904    211 |        5 |      262
913.15/913.59	c  913s |      21 |  1569423 |  1364445 |    15904    211 |        5 |      262
915.55/915.92	c  915s |      21 |  1572081 |  1366845 |    15904    212 |        5 |      262
917.55/917.95	c  917s |      21 |  1575355 |  1369845 |    15904    212 |        5 |      262
919.65/920.01	c  919s |      21 |  1578231 |  1372445 |    15904    212 |        5 |      262
921.64/922.05	c  921s |      21 |  1581021 |  1374945 |    15904    213 |        5 |      262
923.65/924.06	c  923s |      21 |  1584309 |  1377845 |    15904    213 |        5 |      262
925.64/926.07	c  925s |      21 |  1586935 |  1380245 |    15904    213 |        5 |      262
927.74/928.15	c  928s |      21 |  1589653 |  1382645 |    15904    213 |        5 |      262
929.84/930.20	c  930s |      21 |  1592633 |  1385345 |    15904    214 |        5 |      262
931.84/932.22	c  932s |      21 |  1596623 |  1388845 |    15904    214 |        5 |      262
933.84/934.25	c  934s |      21 |  1600040 |  1391945 |    15904    215 |        5 |      262
935.85/936.29	c  936s |      21 |  1603525 |  1395045 |    15904    215 |        5 |      262
937.95/938.36	c  938s |      21 |  1607017 |  1398045 |    15904    215 |        5 |      262
940.04/940.41	c  940s |      21 |  1609090 |  1399945 |    15904    216 |        5 |      262
942.04/942.43	c  942s |      21 |  1611817 |  1402245 |    15904    216 |        5 |      262
944.13/944.50	c  944s |      21 |  1615590 |  1405445 |    15904    216 |        5 |      262
946.13/946.52	c  946s |      21 |  1619412 |  1408745 |    15904    217 |        5 |      262
948.14/948.57	c  948s |      21 |  1623309 |  1412145 |    15904    217 |        5 |      262
950.15/950.60	c  950s |      21 |  1626888 |  1415345 |    15904    218 |        5 |      262
952.25/952.65	c  952s |      21 |  1629917 |  1418045 |    15904    218 |        5 |      262
954.24/954.69	c  954s |      21 |  1633114 |  1420945 |    15904    218 |        5 |      262
956.24/956.69	c  956s |      21 |  1635702 |  1423345 |    15904    219 |        5 |      262
958.34/958.72	c  958s |      21 |  1639114 |  1426445 |    15904    219 |        5 |      262
960.34/960.75	c  960s |      21 |  1642362 |  1429345 |    15904    219 |        5 |      262
962.44/962.80	c  962s |      21 |  1645094 |  1431745 |    15904    220 |        5 |      262
964.45/964.83	c  964s |      21 |  1649062 |  1435145 |    15904    220 |        5 |      262
966.44/966.88	c  966s |      21 |  1652612 |  1438245 |    15904    220 |        5 |      262
968.54/968.93	c  968s |      21 |  1654794 |  1440245 |    15904    221 |        5 |      262
970.54/970.98	c  970s |      21 |  1658026 |  1443145 |    15904    221 |        5 |      262
972.64/973.02	c  972s |      21 |  1661366 |  1446045 |    15904    221 |        5 |      262
974.74/975.18	c  975s |      21 |  1664535 |  1448945 |    15904    222 |        5 |      262
976.84/977.21	c  977s |      21 |  1668016 |  1452045 |    15904    222 |        5 |      262
978.84/979.23	c  979s |      21 |  1671223 |  1454845 |    15904    222 |        5 |      262
980.84/981.28	c  981s |      21 |  1674101 |  1457445 |    15904    223 |        5 |      262
982.94/983.31	c  983s |      21 |  1677491 |  1460545 |    15904    223 |        5 |      262
984.94/985.33	c  985s |      21 |  1680262 |  1463045 |    15904    223 |        5 |      262
986.94/987.34	c  987s |      21 |  1683153 |  1465645 |    15904    224 |        5 |      262
989.03/989.42	c  989s |      21 |  1686787 |  1468445 |    15904    224 |        5 |      262
991.13/991.50	c  991s |      21 |  1689131 |  1470645 |    15904    224 |        5 |      262
993.13/993.54	c  993s |      21 |  1690691 |  1472045 |    15904    225 |        5 |      262
995.14/995.58	c  995s |      21 |  1694802 |  1475745 |    15904    225 |        5 |      262
997.23/997.60	c  997s |      21 |  1698148 |  1478845 |    15904    225 |        5 |      262
999.23/999.63	c  999s |      21 |  1701213 |  1481545 |    15904    226 |        5 |      262
1001.33/1001.70	c 1001s |      21 |  1705069 |  1484945 |    15904    226 |        5 |      262
1003.43/1003.82	c 1003s |      21 |  1708091 |  1487545 |    15904    227 |        5 |      262
1005.43/1005.86	c 1005s |      21 |  1712157 |  1491145 |    17495    227 |        5 |      262
1007.53/1007.90	c 1007s |      21 |  1715801 |  1494445 |    17495    227 |        5 |      262
1009.54/1009.93	c 1009s |      21 |  1719022 |  1497245 |    17495    228 |        5 |      262
1011.53/1011.99	c 1011s |      21 |  1722604 |  1500445 |    17495    228 |        5 |      262
1011.74/1012.12	c 1012s |      22 |  1722800 |  1500622 |    17495    228 |        5 |      262
1013.72/1014.17	c 1014s |      22 |  1723471 |  1501222 |    17495    228 |        5 |      262
1015.82/1016.24	c 1016s |      22 |  1727021 |  1504322 |    17495    228 |        5 |      262
1017.82/1018.27	c 1018s |      22 |  1730734 |  1507622 |    17495    229 |        5 |      262
1019.92/1020.31	c 1020s |      22 |  1734160 |  1510722 |    17495    229 |        5 |      262
1021.92/1022.36	c 1022s |      22 |  1737213 |  1513522 |    17495    229 |        5 |      262
1023.92/1024.38	c 1024s |      22 |  1739446 |  1515522 |    17495    230 |        5 |      262
1025.93/1026.39	c 1026s |      22 |  1742963 |  1518722 |    17495    230 |        5 |      262
1028.03/1028.41	c 1028s |      22 |  1745856 |  1521322 |    17495    230 |        5 |      262
1030.03/1030.43	c 1030s |      22 |  1748622 |  1523722 |    17495    231 |        5 |      262
1032.13/1032.53	c 1032s |      22 |  1751081 |  1525822 |    17495    231 |        5 |      262
1034.13/1034.55	c 1034s |      22 |  1755151 |  1529322 |    17495    231 |        5 |      262
1036.23/1036.64	c 1036s |      22 |  1758407 |  1532022 |    17495    231 |        5 |      262
1038.23/1038.69	c 1038s |      22 |  1760939 |  1534222 |    17495    232 |        5 |      262
1040.33/1040.75	c 1040s |      22 |  1763996 |  1536922 |    17495    232 |        5 |      262
1042.33/1042.77	c 1042s |      22 |  1766722 |  1539222 |    17495    232 |        5 |      262
1044.33/1044.79	c 1044s |      22 |  1769381 |  1541522 |    17495    233 |        5 |      262
1046.42/1046.84	c 1046s |      22 |  1772663 |  1544522 |    17495    233 |        5 |      262
1048.52/1048.90	c 1048s |      22 |  1776043 |  1547622 |    17495    233 |        5 |      262
1050.62/1051.04	c 1050s |      22 |  1778871 |  1550222 |    17495    234 |        5 |      262
1052.62/1053.08	c 1052s |      22 |  1782189 |  1553222 |    17495    234 |        5 |      262
1054.72/1055.10	c 1054s |      22 |  1785635 |  1556322 |    17495    234 |        5 |      262
1056.73/1057.12	c 1057s |      22 |  1788862 |  1559222 |    17495    235 |        5 |      262
1058.72/1059.14	c 1059s |      22 |  1792140 |  1562222 |    17495    235 |        5 |      262
1060.72/1061.15	c 1061s |      22 |  1795390 |  1565222 |    17495    235 |        5 |      262
1062.72/1063.16	c 1063s |      22 |  1798207 |  1567622 |    17495    235 |        5 |      262
1064.82/1065.22	c 1065s |      22 |  1801474 |  1570522 |    17495    236 |        5 |      262
1066.82/1067.23	c 1067s |      22 |  1805034 |  1573622 |    17495    236 |        5 |      262
1068.83/1069.25	c 1069s |      22 |  1808256 |  1576422 |    17495    236 |        5 |      262
1070.82/1071.29	c 1071s |      22 |  1811425 |  1579222 |    17495    237 |        5 |      262
1072.92/1073.35	c 1073s |      22 |  1814900 |  1582322 |    17495    237 |        5 |      262
1074.92/1075.37	c 1075s |      22 |  1818065 |  1585222 |    17495    237 |        5 |      262
1077.02/1077.43	c 1077s |      22 |  1821554 |  1588422 |    17495    238 |        5 |      262
1079.02/1079.45	c 1079s |      22 |  1824547 |  1591122 |    17495    238 |        5 |      262
1081.12/1081.51	c 1081s |      22 |  1827996 |  1594122 |    17495    238 |        5 |      262
1083.12/1083.53	c 1083s |      22 |  1830811 |  1596722 |    17495    239 |        5 |      262
1085.22/1085.60	c 1085s |      22 |  1833925 |  1599622 |    17495    239 |        5 |      262
1087.21/1087.62	c 1087s |      22 |  1836884 |  1602222 |    17495    239 |        5 |      262
1090.21/1090.66	c 1090s |      22 |  1837885 |  1603122 |    17495    240 |        5 |      262
1092.21/1092.66	c 1092s |      22 |  1842027 |  1606922 |    17495    240 |        5 |      262
1094.32/1094.71	c 1094s |      22 |  1845151 |  1609822 |    17495    240 |        5 |      262
1096.33/1096.80	c 1096s |      22 |  1848049 |  1612422 |    17495    241 |        5 |      262
1098.42/1098.83	c 1098s |      22 |  1851607 |  1615722 |    17495    241 |        5 |      262
1100.42/1100.85	c 1100s |      22 |  1854629 |  1618522 |    17495    241 |        5 |      262
1102.52/1102.98	c 1102s |      22 |  1857365 |  1620922 |    17495    242 |        5 |      262
1104.52/1104.99	c 1104s |      22 |  1861168 |  1624322 |    17495    242 |        5 |      262
1106.62/1107.04	c 1106s |      22 |  1864247 |  1627122 |    17495    242 |        5 |      262
1108.62/1109.05	c 1108s |      22 |  1867032 |  1629622 |    17495    243 |        5 |      262
1110.72/1111.10	c 1110s |      22 |  1869627 |  1631922 |    17495    243 |        5 |      262
1112.92/1113.34	c 1113s |      22 |  1872923 |  1634922 |    17495    243 |        5 |      262
1114.92/1115.37	c 1115s |      22 |  1876187 |  1637922 |    17495    243 |        5 |      262
1117.02/1117.42	c 1117s |      22 |  1879180 |  1640722 |    17495    244 |        5 |      262
1119.01/1119.45	c 1119s |      22 |  1882054 |  1643422 |    17495    244 |        5 |      262
1121.11/1121.55	c 1121s |      22 |  1884814 |  1645822 |    17495    244 |        5 |      262
1123.11/1123.57	c 1123s |      22 |  1886856 |  1647722 |    17495    245 |        5 |      262
1125.21/1125.61	c 1125s |      22 |  1890201 |  1650822 |    17495    245 |        5 |      262
1127.41/1127.85	c 1127s |      22 |  1892566 |  1653022 |    17495    245 |        5 |      262
1129.42/1129.88	c 1129s |      22 |  1895076 |  1655322 |    17495    245 |        5 |      262
1131.52/1131.92	c 1131s |      22 |  1897735 |  1657822 |    17495    246 |        5 |      262
1133.51/1133.94	c 1133s |      22 |  1900623 |  1660522 |    17495    246 |        5 |      262
1135.61/1136.06	c 1135s |      22 |  1903058 |  1662822 |    17495    246 |        5 |      262
1137.61/1138.07	c 1137s |      22 |  1905689 |  1665222 |    17495    247 |        5 |      262
1139.71/1140.13	c 1140s |      22 |  1908685 |  1668022 |    17495    247 |        5 |      262
1141.81/1142.21	c 1142s |      22 |  1911871 |  1670722 |    17495    247 |        5 |      262
1143.81/1144.23	c 1144s |      22 |  1913143 |  1671822 |    17495    247 |        5 |      262
1145.91/1146.32	c 1146s |      22 |  1915599 |  1674022 |    17495    248 |        5 |      262
1147.91/1148.37	c 1148s |      22 |  1919244 |  1677322 |    17495    248 |        5 |      262
1150.01/1150.45	c 1150s |      22 |  1922621 |  1680322 |    17495    248 |        5 |      262
1152.00/1152.47	c 1152s |      22 |  1925512 |  1682922 |    17495    249 |        5 |      262
1154.10/1154.53	c 1154s |      22 |  1929527 |  1686522 |    17495    249 |        5 |      262
1156.10/1156.56	c 1156s |      22 |  1933072 |  1689722 |    17495    249 |        5 |      262
1158.20/1158.61	c 1158s |      22 |  1936456 |  1692822 |    17495    250 |        5 |      262
1160.21/1160.62	c 1160s |      22 |  1938126 |  1694322 |    17495    250 |        5 |      262
1162.20/1162.62	c 1162s |      22 |  1942102 |  1697822 |    17495    250 |        5 |      262
1164.30/1164.72	c 1164s |      22 |  1944979 |  1700422 |    17495    251 |        5 |      262
1166.30/1166.76	c 1166s |      22 |  1948337 |  1703422 |    17495    251 |        5 |      262
1168.30/1168.79	c 1168s |      22 |  1951541 |  1706322 |    17495    251 |        5 |      262
1170.40/1170.82	c 1170s |      22 |  1954204 |  1708822 |    17495    251 |        5 |      262
1172.40/1172.87	c 1172s |      22 |  1957565 |  1711822 |    17495    252 |        5 |      262
1174.51/1174.92	c 1174s |      22 |  1961068 |  1715022 |    17495    252 |        5 |      262
1176.50/1176.97	c 1176s |      22 |  1963895 |  1717522 |    17495    252 |        5 |      262
1178.60/1179.00	c 1178s |      22 |  1966580 |  1720022 |    17495    253 |        5 |      262
1180.60/1181.04	c 1180s |      22 |  1969720 |  1722922 |    17495    253 |        5 |      262
1182.60/1183.09	c 1182s |      22 |  1972573 |  1725522 |    17495    253 |        5 |      262
1185.41/1185.87	c 1185s |      22 |  1975256 |  1727922 |    17495    254 |        8 |      329
1187.51/1187.90	c 1187s |      22 |  1977594 |  1729922 |    17495    254 |        8 |      329
1189.51/1189.94	c 1189s |      22 |  1983263 |  1734722 |    17495    254 |        8 |      329
1191.50/1191.97	c 1191s |      22 |  1987844 |  1738722 |    17495    254 |        8 |      329
1193.60/1194.02	c 1193s |      22 |  1991008 |  1741522 |    17495    254 |        8 |      329
1195.60/1196.04	c 1195s |      22 |  1994167 |  1744422 |    17495    255 |        8 |      329
1197.61/1198.07	c 1197s |      22 |  1997806 |  1747622 |    17495    255 |        8 |      329
1199.71/1200.14	c 1200s |      22 |  2000970 |  1750422 |    17495    255 |        8 |      329
1201.70/1202.14	c 1202s |      22 |  2003962 |  1753022 |    17495    256 |        8 |      329
1203.70/1204.15	c 1204s |      22 |  2007985 |  1756422 |    17495    256 |        8 |      329
1205.70/1206.18	c 1206s |      22 |  2009746 |  1757922 |    17495    256 |        8 |      329
1207.80/1208.25	c 1208s |      22 |  2012825 |  1760622 |    17495    256 |        8 |      329
1209.80/1210.29	c 1210s |      22 |  2015878 |  1763222 |    17495    257 |        8 |      329
1211.91/1212.31	c 1212s |      22 |  2019250 |  1766222 |    17495    257 |        8 |      329
1213.90/1214.32	c 1214s |      22 |  2022696 |  1769222 |    17495    257 |        8 |      329
1215.90/1216.36	c 1216s |      22 |  2025259 |  1771522 |    17495    258 |        8 |      329
1218.00/1218.42	c 1218s |      22 |  2028920 |  1774722 |    17495    258 |        8 |      329
1220.00/1220.46	c 1220s |      22 |  2032180 |  1777622 |    17495    258 |        8 |      329
1222.10/1222.50	c 1222s |      22 |  2034847 |  1780022 |    17495    259 |        8 |      329
1224.10/1224.55	c 1224s |      22 |  2038462 |  1783222 |    17495    259 |        8 |      329
1226.10/1226.55	c 1226s |      22 |  2041478 |  1785922 |    17495    259 |        8 |      329
1228.30/1228.72	c 1228s |      22 |  2044136 |  1788322 |    17495    260 |        8 |      329
1230.30/1230.78	c 1230s |      22 |  2047793 |  1791622 |    17495    260 |        8 |      329
1232.29/1232.78	c 1232s |      22 |  2049921 |  1793522 |    17495    260 |        8 |      329
1234.39/1234.82	c 1234s |      22 |  2053425 |  1796622 |    17495    260 |        8 |      329
1236.39/1236.84	c 1236s |      22 |  2056836 |  1799622 |    17495    261 |        8 |      329
1238.49/1238.91	c 1238s |      22 |  2060516 |  1802922 |    17495    261 |        8 |      329
1240.50/1240.93	c 1240s |      22 |  2063532 |  1805522 |    17495    261 |        8 |      329
1242.49/1242.97	c 1242s |      22 |  2067150 |  1808722 |    17495    262 |        8 |      329
1244.69/1245.13	c 1245s |      22 |  2070717 |  1811922 |    17495    262 |        8 |      329
1246.69/1247.15	c 1247s |      22 |  2071927 |  1813022 |    17495    262 |        8 |      329
1248.69/1249.19	c 1249s |      22 |  2075317 |  1816022 |    17495    263 |        8 |      329
1250.69/1251.19	c 1251s |      22 |  2078988 |  1819322 |    17495    263 |        8 |      329
1252.79/1253.26	c 1253s |      22 |  2082352 |  1822322 |    17495    263 |        8 |      329
1254.79/1255.26	c 1255s |      22 |  2085496 |  1825222 |    17495    264 |        8 |      329
1256.79/1257.27	c 1257s |      22 |  2088599 |  1828022 |    17495    264 |        8 |      329
1258.89/1259.32	c 1259s |      22 |  2091922 |  1830922 |    17495    264 |        8 |      329
1260.90/1261.34	c 1261s |      22 |  2094580 |  1833322 |    17495    265 |        8 |      329
1262.90/1263.39	c 1263s |      22 |  2098157 |  1836522 |    17495    265 |        8 |      329
1264.99/1265.43	c 1265s |      22 |  2101371 |  1839322 |    17495    265 |        8 |      329
1266.99/1267.47	c 1267s |      22 |  2104694 |  1842222 |    17495    266 |        8 |      329
1269.00/1269.49	c 1269s |      22 |  2108400 |  1845522 |    17495    266 |        8 |      329
1270.99/1271.49	c 1271s |      22 |  2111481 |  1848322 |    17495    266 |        8 |      329
1273.09/1273.53	c 1273s |      22 |  2114856 |  1851222 |    17495    267 |        8 |      329
1275.09/1275.57	c 1275s |      22 |  2118285 |  1854222 |    17495    267 |        8 |      329
1277.09/1277.59	c 1277s |      22 |  2121030 |  1856622 |    17495    267 |        8 |      329
1279.19/1279.62	c 1279s |      22 |  2124101 |  1859322 |    17495    268 |        8 |      329
1281.19/1281.64	c 1281s |      22 |  2128246 |  1863022 |    17495    268 |        8 |      329
1283.19/1283.69	c 1283s |      22 |  2131645 |  1866122 |    17495    268 |        8 |      329
1285.28/1285.71	c 1285s |      22 |  2134825 |  1868922 |    17495    269 |        8 |      329
1287.28/1287.78	c 1287s |      22 |  2138412 |  1872222 |    17495    269 |        8 |      329
1289.38/1289.82	c 1289s |      22 |  2141536 |  1875022 |    17495    269 |        8 |      329
1291.48/1291.92	c 1291s |      22 |  2144142 |  1877422 |    17495    270 |        8 |      329
1293.48/1293.95	c 1293s |      22 |  2147632 |  1880622 |    17495    270 |        8 |      329
1295.49/1295.97	c 1295s |      22 |  2150582 |  1883322 |    17495    270 |        8 |      329
1297.48/1297.99	c 1297s |      22 |  2153111 |  1885722 |    17495    271 |        8 |      329
1299.58/1300.08	c 1299s |      22 |  2156225 |  1888622 |    17495    271 |        8 |      329
1301.58/1302.08	c 1301s |      22 |  2158921 |  1891122 |    17495    271 |        8 |      329
1304.09/1304.52	c 1304s |      22 |  2160309 |  1892422 |    17495    271 |        8 |      329
1306.09/1306.56	c 1306s |      22 |  2162737 |  1894622 |    17495    272 |        8 |      329
1308.09/1308.58	c 1308s |      22 |  2166281 |  1897822 |    17495    272 |        8 |      329
1310.19/1310.63	c 1310s |      22 |  2169466 |  1900722 |    17495    272 |        8 |      329
1312.19/1312.66	c 1312s |      22 |  2172417 |  1903422 |    17495    273 |        8 |      329
1314.19/1314.67	c 1314s |      22 |  2176557 |  1906622 |    17495    273 |        8 |      329
1316.18/1316.67	c 1316s |      22 |  2178584 |  1908422 |    17495    273 |        8 |      329
1318.28/1318.73	c 1318s |      22 |  2181826 |  1911222 |    17495    273 |        8 |      329
1320.28/1320.77	c 1320s |      22 |  2184887 |  1913922 |    17495    274 |        8 |      329
1322.38/1322.81	c 1322s |      22 |  2188509 |  1917122 |    17495    274 |        8 |      329
1324.38/1324.89	c 1324s |      22 |  2191583 |  1919922 |    17495    274 |        8 |      329
1326.68/1327.11	c 1326s |      22 |  2192857 |  1921022 |    17495    275 |        8 |      329
1328.68/1329.17	c 1329s |      22 |  2196377 |  1924022 |    17495    275 |        8 |      329
1330.69/1331.17	c 1331s |      22 |  2199291 |  1926522 |    17495    275 |        8 |      329
1332.79/1333.23	c 1333s |      22 |  2201975 |  1928822 |    17495    275 |        8 |      329
1334.78/1335.27	c 1335s |      22 |  2204682 |  1931222 |    17495    276 |        8 |      329
1336.78/1337.29	c 1337s |      22 |  2207523 |  1933622 |    17495    276 |        8 |      329
1338.88/1339.36	c 1339s |      22 |  2209745 |  1935522 |    17495    276 |        8 |      329
1340.98/1341.46	c 1341s |      22 |  2212018 |  1937422 |    17495    276 |        8 |      329
1343.08/1343.51	c 1343s |      22 |  2214218 |  1939222 |    17495    277 |        8 |      329
1345.08/1345.58	c 1345s |      22 |  2217323 |  1941722 |    17495    277 |        8 |      329
1347.19/1347.63	c 1347s |      22 |  2219747 |  1943622 |    17495    277 |        8 |      329
1349.18/1349.63	c 1349s |      22 |  2221970 |  1945422 |    17495    277 |        8 |      329
1351.18/1351.68	c 1351s |      22 |  2224255 |  1947522 |    17495    278 |        8 |      329
1353.28/1353.72	c 1353s |      22 |  2227305 |  1950422 |    17495    278 |        8 |      329
1355.28/1355.78	c 1355s |      22 |  2230479 |  1953122 |    17495    278 |        8 |      329
1357.28/1357.78	c 1357s |      22 |  2233137 |  1955522 |    17495    278 |        8 |      329
1359.38/1359.85	c 1359s |      22 |  2236059 |  1958122 |    17495    279 |        8 |      329
1361.38/1361.86	c 1361s |      22 |  2238913 |  1960722 |    17495    279 |        8 |      329
1363.38/1363.86	c 1363s |      22 |  2241724 |  1963222 |    17495    279 |        8 |      329
1365.38/1365.87	c 1365s |      22 |  2244517 |  1965722 |    17495    280 |        8 |      329
1367.48/1367.91	c 1367s |      22 |  2248107 |  1968822 |    17495    280 |        8 |      329
1369.47/1369.93	c 1369s |      22 |  2251002 |  1971322 |    17495    280 |        8 |      329
1371.47/1371.99	c 1371s |      22 |  2253643 |  1973622 |    17495    280 |        8 |      329
1373.58/1374.04	c 1373s |      22 |  2256443 |  1976122 |    17495    281 |        8 |      329
1375.57/1376.05	c 1375s |      22 |  2259231 |  1978622 |    17495    281 |        8 |      329
1377.67/1378.11	c 1377s |      22 |  2261856 |  1980922 |    17495    281 |        8 |      329
1379.67/1380.13	c 1380s |      22 |  2264685 |  1983422 |    17495    282 |        8 |      329
1381.77/1382.21	c 1382s |      22 |  2267516 |  1985922 |    17495    282 |        8 |      329
1383.77/1384.25	c 1384s |      22 |  2270389 |  1988522 |    17495    282 |        8 |      329
1385.87/1386.30	c 1386s |      22 |  2273087 |  1990922 |    17495    282 |        8 |      329
1387.88/1388.34	c 1388s |      22 |  2275927 |  1993522 |    17495    283 |        8 |      329
1389.87/1390.39	c 1390s |      22 |  2279817 |  1996822 |    17495    283 |        8 |      329
1391.97/1392.40	c 1392s |      22 |  2282584 |  1999222 |    17495    283 |        8 |      329
1393.97/1394.44	c 1394s |      22 |  2285700 |  2002022 |    17495    284 |        8 |      329
1395.97/1396.48	c 1396s |      22 |  2289077 |  2005022 |    17495    284 |        8 |      329
1398.07/1398.54	c 1398s |      22 |  2292248 |  2007822 |    17495    284 |        8 |      329
1400.07/1400.58	c 1400s |      22 |  2294669 |  2009822 |    17495    285 |        8 |      329
1402.18/1402.65	c 1402s |      22 |  2298190 |  2012722 |    17495    285 |        8 |      329
1404.17/1404.68	c 1404s |      22 |  2301081 |  2015222 |    17495    285 |        8 |      329
1406.27/1406.76	c 1406s |      22 |  2303635 |  2017522 |    17495    285 |        8 |      329
1408.37/1408.82	c 1408s |      22 |  2306156 |  2019722 |    17495    286 |        8 |      329
1410.37/1410.84	c 1410s |      22 |  2308965 |  2022222 |    17495    286 |        8 |      329
1412.47/1412.91	c 1412s |      22 |  2311565 |  2024522 |    17495    286 |        8 |      329
1414.47/1414.98	c 1414s |      22 |  2313946 |  2026622 |    17495    286 |        8 |      329
1416.57/1417.00	c 1416s |      22 |  2316885 |  2029322 |    17495    287 |        8 |      329
1418.67/1419.12	c 1419s |      22 |  2319014 |  2031222 |    17495    287 |        8 |      329
1420.67/1421.16	c 1421s |      22 |  2322525 |  2034122 |    17495    287 |        8 |      329
1422.77/1423.24	c 1423s |      22 |  2324887 |  2036222 |    17495    288 |        8 |      329
1424.77/1425.28	c 1425s |      22 |  2327684 |  2038622 |    17495    288 |        8 |      329
1426.87/1427.30	c 1427s |      22 |  2329881 |  2040622 |    17495    288 |        8 |      329
1428.86/1429.30	c 1429s |      22 |  2332428 |  2042922 |    17495    288 |        8 |      329
1430.86/1431.32	c 1431s |      22 |  2335670 |  2045822 |    17495    289 |        8 |      329
1432.87/1433.34	c 1433s |      22 |  2338923 |  2048822 |    17495    289 |        8 |      329
1434.86/1435.38	c 1435s |      22 |  2342082 |  2051622 |    17495    289 |        8 |      329
1436.96/1437.42	c 1437s |      22 |  2344788 |  2054122 |    17495    290 |        8 |      329
1438.96/1439.46	c 1439s |      22 |  2348013 |  2057122 |    17495    290 |        8 |      329
1440.96/1441.48	c 1441s |      22 |  2350770 |  2059622 |    17495    290 |        8 |      329
1443.06/1443.52	c 1443s |      22 |  2353600 |  2062122 |    17495    290 |        8 |      329
1445.07/1445.52	c 1445s |      22 |  2356439 |  2064622 |    17495    291 |        8 |      329
1447.06/1447.58	c 1447s |      22 |  2359842 |  2067722 |    17495    291 |        8 |      329
1449.16/1449.61	c 1449s |      22 |  2362445 |  2070122 |    17495    291 |        8 |      329
1451.16/1451.68	c 1451s |      22 |  2365630 |  2072722 |    17495    292 |        8 |      329
1453.26/1453.75	c 1453s |      22 |  2368803 |  2075522 |    17495    292 |        8 |      329
1455.36/1455.83	c 1455s |      22 |  2371580 |  2077922 |    17495    292 |        8 |      329
1457.46/1457.96	c 1457s |      22 |  2374005 |  2080122 |    17495    293 |        8 |      329
1459.46/1459.98	c 1459s |      22 |  2377358 |  2083022 |    17495    293 |        8 |      329
1461.46/1462.00	c 1461s |      22 |  2380119 |  2085422 |    17495    293 |        8 |      329
1463.56/1464.00	c 1463s |      22 |  2382597 |  2087622 |    17495    293 |        8 |      329
1465.56/1466.01	c 1465s |      22 |  2384938 |  2089722 |    17495    294 |        8 |      329
1467.56/1468.07	c 1467s |      22 |  2387878 |  2092322 |    17495    294 |        8 |      329
1469.66/1470.15	c 1470s |      22 |  2391003 |  2095022 |    17495    294 |        8 |      329
1471.66/1472.16	c 1472s |      22 |  2393682 |  2097322 |    17495    294 |        8 |      329
1473.66/1474.19	c 1474s |      22 |  2396933 |  2100122 |    17495    295 |        8 |      329
1475.76/1476.26	c 1476s |      22 |  2399933 |  2102822 |    17495    295 |        8 |      329
1477.85/1478.34	c 1478s |      22 |  2402574 |  2105222 |    17495    295 |        8 |      329
1479.85/1480.39	c 1480s |      22 |  2405026 |  2107422 |    17495    296 |        8 |      329
1481.95/1482.47	c 1482s |      22 |  2408240 |  2110122 |    17495    296 |        8 |      329
1484.05/1484.55	c 1484s |      22 |  2410970 |  2112522 |    17495    296 |        8 |      329
1486.05/1486.59	c 1486s |      22 |  2413317 |  2114722 |    17495    296 |        8 |      329
1488.16/1488.63	c 1488s |      22 |  2414309 |  2115622 |    17495    297 |        8 |      329
1490.36/1490.81	c 1490s |      22 |  2417620 |  2118622 |    17495    297 |        8 |      329
1492.37/1492.85	c 1492s |      22 |  2420573 |  2121122 |    17495    297 |        8 |      329
1494.47/1494.95	c 1494s |      22 |  2423291 |  2123422 |    17495    297 |        8 |      329
1496.46/1496.99	c 1496s |      22 |  2425816 |  2125622 |    17495    298 |        8 |      329
1498.56/1499.07	c 1498s |      22 |  2429029 |  2128322 |    17495    298 |        8 |      329
1500.66/1501.12	c 1501s |      22 |  2431988 |  2130822 |    17495    298 |        8 |      329
1502.66/1503.20	c 1503s |      22 |  2434660 |  2133122 |    17495    298 |        8 |      329
1504.76/1505.26	c 1505s |      22 |  2437680 |  2135722 |    17495    299 |        8 |      329
1506.86/1507.34	c 1507s |      22 |  2440701 |  2138322 |    17495    299 |        8 |      329
1508.86/1509.35	c 1509s |      22 |  2443616 |  2140822 |    17495    299 |        8 |      329
1510.85/1511.38	c 1511s |      22 |  2446102 |  2142922 |    17495    300 |        8 |      329
1512.95/1513.42	c 1513s |      22 |  2450348 |  2146422 |    17495    300 |        8 |      329
1514.95/1515.44	c 1515s |      22 |  2452944 |  2148722 |    17495    300 |        8 |      329
1516.95/1517.45	c 1517s |      22 |  2455265 |  2150822 |    17495    300 |        8 |      329
1519.05/1519.50	c 1519s |      22 |  2458176 |  2153422 |    17495    301 |        8 |      329
1521.15/1521.60	c 1521s |      22 |  2461038 |  2156022 |    17495    301 |        8 |      329
1523.16/1523.66	c 1523s |      22 |  2463532 |  2158322 |    17495    301 |        8 |      329
1525.15/1525.68	c 1525s |      22 |  2466507 |  2160922 |    17495    302 |        8 |      329
1527.15/1527.69	c 1527s |      22 |  2469356 |  2163422 |    17495    302 |        8 |      329
1529.25/1529.75	c 1529s |      22 |  2472359 |  2166122 |    17495    302 |        8 |      329
1531.25/1531.76	c 1531s |      22 |  2474965 |  2168422 |    17495    302 |        8 |      329
1533.25/1533.79	c 1533s |      22 |  2478456 |  2171422 |    17495    303 |        8 |      329
1535.35/1535.83	c 1535s |      22 |  2481818 |  2174322 |    17495    303 |        8 |      329
1537.35/1537.84	c 1537s |      22 |  2484438 |  2176522 |    17495    303 |        8 |      329
1540.44/1540.93	c 1540s |      22 |  2487293 |  2178922 |    17495    304 |        8 |      329
1542.44/1542.95	c 1542s |      22 |  2491037 |  2182022 |    17495    304 |        8 |      329
1544.44/1544.99	c 1544s |      22 |  2493973 |  2184422 |    17495    304 |        8 |      329
1546.54/1547.01	c 1546s |      22 |  2496792 |  2186722 |    17495    305 |        8 |      329
1548.54/1549.05	c 1548s |      22 |  2500106 |  2189522 |    17495    305 |        8 |      329
1550.55/1551.06	c 1550s |      22 |  2502652 |  2191722 |    17495    305 |        8 |      329
1552.64/1553.13	c 1553s |      22 |  2505350 |  2193822 |    17495    305 |        8 |      329
1554.74/1555.21	c 1555s |      22 |  2507909 |  2195822 |    17495    306 |        8 |      329
1556.74/1557.26	c 1557s |      22 |  2511158 |  2198322 |    17495    306 |        8 |      329
1558.74/1559.28	c 1559s |      22 |  2513893 |  2200422 |    17495    306 |        8 |      329
1560.84/1561.31	c 1561s |      22 |  2516400 |  2202422 |    17495    306 |        8 |      329
1562.84/1563.37	c 1563s |      22 |  2518647 |  2204322 |    17495    307 |        8 |      329
1564.95/1565.46	c 1565s |      22 |  2521876 |  2206922 |    17495    307 |        8 |      329
1566.94/1567.48	c 1567s |      22 |  2524864 |  2209222 |    17495    307 |        8 |      329
1569.04/1569.57	c 1569s |      22 |  2527745 |  2211622 |    17495    307 |        8 |      329
1571.14/1571.61	c 1571s |      22 |  2530165 |  2213522 |    17495    308 |        8 |      329
1573.14/1573.64	c 1573s |      22 |  2533364 |  2216122 |    17495    308 |        8 |      329
1575.14/1575.69	c 1575s |      22 |  2535529 |  2217822 |    17495    308 |        8 |      329
1577.24/1577.76	c 1577s |      22 |  2538766 |  2220622 |    17495    308 |        8 |      329
1579.25/1579.79	c 1579s |      22 |  2541875 |  2223422 |    17495    309 |        8 |      329
1581.34/1581.81	c 1581s |      22 |  2545414 |  2226422 |    17495    309 |        8 |      329
1583.34/1583.87	c 1583s |      22 |  2548768 |  2229222 |    17495    309 |        8 |      329
1585.34/1585.90	c 1585s |      22 |  2551488 |  2231522 |    17495    310 |        8 |      329
1587.44/1587.90	c 1587s |      22 |  2554640 |  2234322 |    17495    310 |        8 |      329
1589.45/1589.94	c 1589s |      22 |  2556747 |  2236122 |    19245    310 |        8 |      329
1591.45/1591.98	c 1591s |      22 |  2559613 |  2238522 |    19245    310 |        8 |      329
1593.55/1594.06	c 1593s |      22 |  2562276 |  2240722 |    19245    310 |        8 |      329
1595.65/1596.11	c 1595s |      22 |  2565275 |  2243122 |    19245    311 |        8 |      329
1597.64/1598.13	c 1598s |      22 |  2568260 |  2245622 |    19245    311 |        8 |      329
1599.64/1600.19	c 1600s |      22 |  2571094 |  2248022 |    19245    311 |        8 |      329
1601.74/1602.24	c 1602s |      22 |  2573644 |  2250122 |    19245    311 |        8 |      329
1602.64/1603.16	c 1603s |      23 |  2574781 |  2251038 |    19245    311 |        8 |      329
1604.64/1605.19	c 1605s |      23 |  2575838 |  2251938 |    19245    312 |        8 |      329
1606.65/1607.20	c 1607s |      23 |  2579350 |  2254938 |    19245    312 |        8 |      329
1608.74/1609.25	c 1609s |      23 |  2582013 |  2257138 |    19245    312 |        8 |      329
1610.74/1611.27	c 1611s |      23 |  2584720 |  2259438 |    19245    312 |        8 |      329
1612.84/1613.32	c 1613s |      23 |  2587138 |  2261438 |    19245    313 |        8 |      329
1614.84/1615.33	c 1615s |      23 |  2590108 |  2264038 |    19245    313 |        8 |      329
1616.84/1617.36	c 1617s |      23 |  2592855 |  2266438 |    19245    313 |        8 |      329
1618.94/1619.45	c 1619s |      23 |  2595424 |  2268638 |    19245    313 |        8 |      329
1621.05/1621.52	c 1621s |      23 |  2597814 |  2270638 |    19245    314 |        8 |      329
1623.04/1623.54	c 1623s |      23 |  2600964 |  2273438 |    19245    314 |        8 |      329
1625.04/1625.56	c 1625s |      23 |  2602996 |  2275238 |    19245    314 |        8 |      329
1627.14/1627.62	c 1627s |      23 |  2605881 |  2277738 |    19245    314 |        8 |      329
1629.14/1629.64	c 1629s |      23 |  2608399 |  2279738 |    19245    314 |        8 |      329
1631.14/1631.68	c 1631s |      23 |  2611372 |  2282338 |    19245    315 |        8 |      329
1633.24/1633.70	c 1633s |      23 |  2614399 |  2284938 |    19245    315 |        8 |      329
1635.24/1635.74	c 1635s |      23 |  2617076 |  2287138 |    19245    315 |        8 |      329
1637.33/1637.80	c 1637s |      23 |  2619290 |  2288938 |    19245    315 |        8 |      329
1639.33/1639.82	c 1639s |      23 |  2622372 |  2291438 |    19245    316 |        8 |      329
1641.33/1641.86	c 1641s |      23 |  2625798 |  2294238 |    19245    316 |        8 |      329
1643.33/1643.89	c 1643s |      23 |  2629148 |  2297038 |    19245    316 |        8 |      329
1645.43/1645.93	c 1645s |      23 |  2631788 |  2299138 |    19245    316 |        8 |      329
1647.44/1647.97	c 1647s |      23 |  2634652 |  2301538 |    19245    317 |        8 |      329
1649.43/1650.00	c 1649s |      23 |  2637650 |  2304038 |    19245    317 |        8 |      329
1651.53/1652.02	c 1651s |      23 |  2640272 |  2306338 |    19245    317 |        8 |      329
1653.53/1654.09	c 1653s |      23 |  2642800 |  2308438 |    19245    317 |        8 |      329
1655.63/1656.19	c 1656s |      23 |  2645461 |  2310638 |    19245    318 |        8 |      329
1657.73/1658.21	c 1658s |      23 |  2648245 |  2313038 |    19245    318 |        8 |      329
1659.73/1660.26	c 1660s |      23 |  2650796 |  2315238 |    19245    318 |        8 |      329
1661.73/1662.28	c 1662s |      23 |  2653162 |  2317238 |    19245    318 |        8 |      329
1663.83/1664.31	c 1664s |      23 |  2655350 |  2319038 |    19245    318 |        8 |      329
1665.82/1666.39	c 1666s |      23 |  2657334 |  2320738 |    19245    319 |        8 |      329
1667.93/1668.40	c 1668s |      23 |  2659995 |  2323038 |    19245    319 |        8 |      329
1669.93/1670.42	c 1670s |      23 |  2662469 |  2325138 |    19245    319 |        8 |      329
1671.93/1672.47	c 1672s |      23 |  2664817 |  2327138 |    19245    319 |        8 |      329
1674.13/1674.64	c 1674s |      23 |  2666998 |  2329038 |    19245    320 |        8 |      329
1676.13/1676.65	c 1676s |      23 |  2669668 |  2331338 |    19245    320 |        8 |      329
1678.24/1678.73	c 1678s |      23 |  2672506 |  2333838 |    19245    320 |        8 |      329
1680.23/1680.76	c 1680s |      23 |  2674788 |  2335838 |    19245    320 |        8 |      329
1682.33/1682.82	c 1682s |      23 |  2676874 |  2337638 |    19245    320 |        8 |      329
1685.33/1685.81	c 1685s |      23 |  2679081 |  2339538 |    19245    321 |        8 |      329
1687.33/1687.85	c 1687s |      23 |  2682260 |  2342338 |    19245    321 |        8 |      329
1689.33/1689.87	c 1689s |      23 |  2685449 |  2345138 |    19245    321 |        8 |      329
1691.33/1691.89	c 1691s |      23 |  2688191 |  2347638 |    19245    321 |        8 |      329
1693.43/1693.92	c 1693s |      23 |  2691187 |  2350338 |    19245    322 |        8 |      329
1695.43/1695.93	c 1695s |      23 |  2693907 |  2352938 |    19245    322 |        8 |      329
1697.43/1697.96	c 1697s |      23 |  2696343 |  2355138 |    19245    322 |        8 |      329
1699.43/1699.99	c 1699s |      23 |  2698612 |  2357138 |    19245    322 |        8 |      329
1701.53/1702.02	c 1701s |      23 |  2701792 |  2359938 |    19245    323 |        8 |      329
1703.53/1704.04	c 1703s |      23 |  2704940 |  2362738 |    19245    323 |        8 |      329
1705.53/1706.06	c 1705s |      23 |  2707739 |  2365238 |    19245    323 |        8 |      329
1707.63/1708.15	c 1708s |      23 |  2710258 |  2367538 |    19245    323 |        8 |      329
1709.63/1710.15	c 1710s |      23 |  2713370 |  2370338 |    19245    324 |        8 |      329
1711.62/1712.17	c 1712s |      23 |  2716330 |  2373038 |    19245    324 |        8 |      329
1713.72/1714.23	c 1714s |      23 |  2718386 |  2374838 |    19245    324 |        8 |      329
1715.72/1716.28	c 1716s |      23 |  2721165 |  2377338 |    19245    324 |        8 |      329
1717.83/1718.32	c 1718s |      23 |  2723581 |  2379538 |    19245    325 |        8 |      329
1719.82/1720.39	c 1720s |      23 |  2726576 |  2382238 |    19245    325 |        8 |      329
1721.92/1722.41	c 1722s |      23 |  2729347 |  2384638 |    19245    325 |        8 |      329
1723.92/1724.44	c 1724s |      23 |  2732117 |  2387138 |    19245    325 |        8 |      329
1725.92/1726.46	c 1726s |      23 |  2735225 |  2389938 |    19245    326 |        8 |      329
1728.02/1728.50	c 1728s |      23 |  2738336 |  2392738 |    19245    326 |        8 |      329
1730.02/1730.58	c 1730s |      23 |  2740405 |  2394538 |    19245    326 |        8 |      329
1732.13/1732.62	c 1732s |      23 |  2743347 |  2397038 |    19245    327 |        8 |      329
1734.12/1734.65	c 1734s |      23 |  2746371 |  2399738 |    19245    327 |        8 |      329
1736.22/1736.70	c 1736s |      23 |  2749584 |  2402638 |    19245    327 |        8 |      329
1738.22/1738.71	c 1738s |      23 |  2752283 |  2405138 |    19245    327 |        8 |      329
1740.22/1740.72	c 1740s |      23 |  2754653 |  2407338 |    19245    328 |        8 |      329
1742.22/1742.74	c 1742s |      23 |  2757986 |  2410338 |    19245    328 |        8 |      329
1744.22/1744.79	c 1744s |      23 |  2761592 |  2413538 |    19245    328 |        8 |      329
1746.32/1746.82	c 1746s |      23 |  2764192 |  2415738 |    19245    328 |        8 |      329
1748.52/1749.08	c 1748s |      23 |  2767296 |  2418438 |    19245    329 |        8 |      329
1750.61/1751.13	c 1751s |      23 |  2771557 |  2422138 |    19245    329 |        8 |      329
1752.61/1753.15	c 1753s |      23 |  2774850 |  2425038 |    19245    329 |        8 |      329
1754.71/1755.21	c 1755s |      23 |  2778093 |  2427938 |    19245    330 |        8 |      329
1756.71/1757.22	c 1757s |      23 |  2781012 |  2430538 |    19245    330 |        8 |      329
1758.71/1759.25	c 1759s |      23 |  2784051 |  2433238 |    19245    330 |        8 |      329
1760.81/1761.31	c 1761s |      23 |  2787033 |  2435938 |    19245    331 |        8 |      329
1762.82/1763.31	c 1763s |      23 |  2790755 |  2439238 |    19245    331 |        8 |      329
1764.81/1765.31	c 1765s |      23 |  2793804 |  2441938 |    19245    331 |        8 |      329
1766.81/1767.37	c 1767s |      23 |  2797161 |  2444938 |    19245    331 |        8 |      329
1768.81/1769.39	c 1769s |      23 |  2800410 |  2447838 |    19245    332 |        8 |      329
1770.91/1771.41	c 1771s |      23 |  2803579 |  2450738 |    19245    332 |        8 |      329
1772.92/1773.44	c 1773s |      23 |  2806609 |  2453538 |    19245    332 |        8 |      329
1778.01/1778.55	c 1778s |      23 |  2808982 |  2455738 |    19245    333 |        8 |      329
1780.01/1780.55	c 1780s |      23 |  2812489 |  2458838 |    19245    333 |        8 |      329
1782.11/1782.63	c 1782s |      23 |  2815746 |  2461638 |    19245    333 |        8 |      329
1784.21/1784.72	c 1784s |      23 |  2818453 |  2464138 |    19245    333 |        8 |      329
1786.21/1786.78	c 1786s |      23 |  2821484 |  2466838 |    19245    334 |        8 |      329
1788.31/1788.85	c 1788s |      23 |  2825040 |  2470038 |    19245    334 |        8 |      329
1790.32/1790.88	c 1790s |      23 |  2828015 |  2472738 |    19245    334 |        8 |      329
1792.52/1793.02	c 1792s |      23 |  2830334 |  2474838 |    19245    335 |        8 |      329
1794.51/1795.06	c 1794s |      23 |  2831992 |  2476338 |    19245    335 |        8 |      329
1796.50/1797.07	c 1796s |      23 |  2835506 |  2479538 |    19245    335 |        8 |      329
1798.60/1799.14	c 1799s |      23 |  2838353 |  2482038 |    19245    335 |        8 |      329

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.04 2.23 3/179 20805
/proc/meminfo: memFree=30681888/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 2877 0 0 0 0 0 0 0 20 0 4 0 13828056 787935232 2728 33554432000 4194304 16246674 140737454268592 140737454268016 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 192879 2739 441 2943 0 189773 0
[pid=20805/tid=20806] ppid=20802 vsize=785852 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 804712448 2795 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=790972 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 809955328 2814 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=795068 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13828057 814149632 2831 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.01 2.04 2.23 3/179 20805
/proc/meminfo: memFree=30681888/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 22903 0 0 0 6 3 0 0 20 0 4 0 13828056 1250496512 22691 33554432000 4194304 16246674 140737454268592 140737454267904 13780488 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 305297 22691 835 2943 0 302191 0
[pid=20805/tid=20806] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 22691 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 22691 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 22691 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200532 s]
/proc/loadavg: 2.01 2.04 2.23 3/179 20805
/proc/meminfo: memFree=30681888/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 40550 0 0 0 13 6 0 0 20 0 4 0 13828056 1250496512 40338 33554432000 4194304 16246674 140737454268592 140737454250496 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 305297 40348 877 2943 0 302191 0
[pid=20805/tid=20806] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 40352 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 40359 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 40366 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.30049 s]
/proc/loadavg: 2.01 2.04 2.23 3/179 20805
/proc/meminfo: memFree=30681888/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 61766 0 0 0 21 8 0 0 20 0 4 0 13828056 1250496512 61555 33554432000 4194304 16246674 140737454268592 140737454250496 12479207 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 305297 61572 877 2943 0 302191 0
[pid=20805/tid=20806] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 61580 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 61584 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 61590 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700406 s]
/proc/loadavg: 2.01 2.04 2.23 3/179 20805
/proc/meminfo: memFree=30681888/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1221188 CPUtime=0.68 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 144847 0 0 0 49 19 0 0 20 0 4 0 13828056 1250496512 144635 33554432000 4194304 16246674 140737454268592 140737454250496 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 305297 144643 877 2943 0 302191 0
[pid=20805/tid=20806] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 144649 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 144654 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13828057 1250496512 144660 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1221188

[startup+1.50042 s]
/proc/loadavg: 2.01 2.04 2.23 3/183 20809
/proc/meminfo: memFree=29786336/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 266414 0 0 0 114 34 0 0 20 0 4 0 13828056 1332285440 266202 33554432000 4194304 16246674 140737454268592 140737454267904 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 325265 266202 880 2943 0 322159 0
[pid=20805/tid=20806] ppid=20802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1332285440 266202 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1332285440 266202 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1332285440 266202 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10042 s]
/proc/loadavg: 2.00 2.04 2.23 3/183 20809
/proc/meminfo: memFree=29613136/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 267721 0 0 0 274 35 0 0 20 0 4 0 13828056 1337528320 267509 33554432000 4194304 16246674 140737454268592 140737454250496 6013188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 326545 267509 882 2943 0 323439 0
[pid=20805/tid=20806] ppid=20802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1337528320 267509 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1337528320 267509 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1337528320 267509 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.00 2.04 2.23 3/183 20809
/proc/meminfo: memFree=29609424/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 268756 0 0 0 594 35 0 0 20 0 4 0 13828056 1341722624 268544 33554432000 4194304 16246674 140737454268592 140737454250496 12483183 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 327569 268544 886 2943 0 324463 0
[pid=20805/tid=20806] ppid=20802 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1341722624 268544 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1341722624 268544 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1341722624 268544 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.23 3/183 20809
/proc/meminfo: memFree=29604932/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 269688 0 0 0 1234 35 0 0 20 0 4 0 13828056 1345916928 269476 33554432000 4194304 16246674 140737454268592 140737454251592 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 328593 269476 887 2943 0 325487 0
[pid=20805/tid=20806] ppid=20802 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1345916928 269476 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1345916928 269476 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1345916928 269476 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

[startup+25.5005 s]
/proc/loadavg: 2.00 2.03 2.22 3/183 20809
/proc/meminfo: memFree=29586668/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1324612 CPUtime=25.49 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 272341 0 0 0 2513 36 0 0 20 0 4 0 13828056 1356402688 272129 33554432000 4194304 16246674 140737454268592 140737454250496 5822756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 331153 272129 887 2943 0 328047 0
[pid=20805/tid=20806] ppid=20802 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1356402688 272129 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1356402688 272129 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1356402688 272129 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1324612

[startup+51.1005 s]
/proc/loadavg: 2.00 2.03 2.22 3/183 20810
/proc/meminfo: memFree=29586752/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1324612 CPUtime=51.08 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 272341 0 0 0 5072 36 0 0 20 0 4 0 13828056 1356402688 272129 33554432000 4194304 16246674 140737454268592 140737454250496 5661622 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 331153 272129 887 2943 0 328047 0
[pid=20805/tid=20806] ppid=20802 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1356402688 272129 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1356402688 272129 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1356402688 272129 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1324612

[startup+102.3 s]
/proc/loadavg: 2.12 2.05 2.21 3/183 21153
/proc/meminfo: memFree=29593048/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1326660 CPUtime=102.27 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 272867 0 0 0 10190 37 0 0 20 0 4 0 13828056 1358499840 272641 33554432000 4194304 16246674 140737454268592 140737454250496 5822818 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 331665 272641 887 2943 0 328559 0
[pid=20805/tid=20806] ppid=20802 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1358499840 272641 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1358499840 272641 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1358499840 272641 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1326660


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

/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 1391172

[startup+1362.3 s]
/proc/loadavg: 2.05 2.02 2.06 3/183 21207
/proc/meminfo: memFree=29451452/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1391172 CPUtime=1361.88 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289353 0 0 0 136132 56 0 0 20 0 4 0 13828056 1424560128 288769 33554432000 4194304 16246674 140737454268592 140737454250496 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 347793 288769 887 2943 0 344687 0
[pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1391172

[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 2.06 3/183 21208
/proc/meminfo: memFree=29450844/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1391172 CPUtime=1421.87 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289353 0 0 0 142130 57 0 0 20 0 4 0 13828056 1424560128 288769 33554432000 4194304 16246674 140737454268592 140737454250496 5677667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 347793 288769 887 2943 0 344687 0
[pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1391172

[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.06 3/184 21212
/proc/meminfo: memFree=29450412/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1391172 CPUtime=1481.85 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289353 0 0 0 148128 57 0 0 20 0 4 0 13828056 1424560128 288769 33554432000 4194304 16246674 140737454268592 140737454250496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 347793 288769 887 2943 0 344687 0
[pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 1391172

[startup+1542.31 s]
/proc/loadavg: 2.02 2.03 2.05 3/183 21213
/proc/meminfo: memFree=29451128/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1391172 CPUtime=1541.85 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289353 0 0 0 154127 58 0 0 20 0 4 0 13828056 1424560128 288769 33554432000 4194304 16246674 140737454268592 140737454266432 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 347793 288769 887 2943 0 344687 0
[pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1391172

[startup+1602.3 s]
/proc/loadavg: 2.10 2.05 2.06 3/183 21215
/proc/meminfo: memFree=29450876/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1391172 CPUtime=1601.84 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289353 0 0 0 160125 59 0 0 20 0 4 0 13828056 1424560128 288769 33554432000 4194304 16246674 140737454268592 140737454250496 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 347793 288769 887 2943 0 344687 0
[pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 288769 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 1391172

[startup+1662.3 s]
/proc/loadavg: 2.13 2.07 2.06 3/183 21216
/proc/meminfo: memFree=29449212/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1391172 CPUtime=1661.83 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289354 0 0 0 166124 59 0 0 20 0 4 0 13828056 1424560128 289025 33554432000 4194304 16246674 140737454268592 140737454250496 5674046 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 347793 289025 887 2943 0 344687 0
[pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 1391172

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.06 3/183 21217
/proc/meminfo: memFree=29449580/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1391172 CPUtime=1721.82 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289354 0 0 0 172122 60 0 0 20 0 4 0 13828056 1424560128 289025 33554432000 4194304 16246674 140737454268592 140737454250496 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 347793 289025 887 2943 0 344687 0
[pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1391172

[startup+1782.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/183 21218
/proc/meminfo: memFree=29449708/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1391172 CPUtime=1781.81 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289354 0 0 0 178120 61 0 0 20 0 4 0 13828056 1424560128 289025 33554432000 4194304 16246674 140737454268592 140737454250496 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 347793 289025 887 2943 0 344687 0
[pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1391172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.05 2.06 3/183 21218
/proc/meminfo: memFree=29449960/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1391172 CPUtime=1800 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289354 0 0 0 179939 61 0 0 20 0 4 0 13828056 1424560128 289025 33554432000 4194304 16246674 140737454268592 140737454250496 5824031 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 347793 289025 887 2943 0 344687 0
[pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1391172

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

[startup+1800.5 s]
/proc/loadavg: 2.05 2.05 2.06 3/183 21218
/proc/meminfo: memFree=29449960/32872528 swapFree=188940/188940
[pid=20805] ppid=20802 vsize=1391172 CPUtime=1800 cores=1,3,5,7
/proc/20805/stat : 20805 (toysat) R 20802 20805 17164 0 -1 4202496 289354 0 0 0 179939 61 0 0 20 0 4 0 13828056 1424560128 289025 33554432000 4194304 16246674 140737454268592 140737454250496 5824031 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20805/statm: 347793 289025 887 2943 0 344687 0
[pid=20805/tid=20806] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20806/stat : 20806 (toysat) S 20802 20805 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696765119728 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20805/tid=20807] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20807/stat : 20807 (toysat) S 20802 20805 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696754629872 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20805/tid=20808] ppid=20802 vsize=1391172 CPUtime=0 cores=1,3,5,7
/proc/20805/task/20808/stat : 20808 (toysat) S 20802 20805 17164 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13828057 1424560128 289025 33554432000 4194304 16246674 140737454268592 139696744156336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1391172

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.02
CPU user time (s): 1799.4
CPU system time (s): 0.619905
CPU usage (%): 99.9731
Max. virtual memory (cumulated for all children) (KiB): 1391172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.619905
maximum resident set size= 1156100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 289354
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= 388
involuntary context switches= 1846

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51831 second user time and 7.01193 second system time

The end

Begin job on node102 at 2016-06-17 00:56:15
IDJOB=4097464
IDBENCH=107761
IDSOLVER=2542
FILE ID=node102/4097464-1466117775
RUNJOBID= node102-1466115959-20140
PBS_JOBID= 19904127
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= b92551cd84e0703f1beccbbe36749b8d
RANDOM SEED=938485281

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30682416 kB
Buffers:           49428 kB
Cached:           167532 kB
SwapCached:         1412 kB
Active:          1205024 kB
Inactive:          92472 kB
Active(anon):    1081820 kB
Inactive(anon):     1076 kB
Active(file):     123204 kB
Inactive(file):    91396 kB
Unevictable:      188940 kB
Mlocked:          188940 kB
SwapTotal:      67108856 kB
SwapFree:       67099224 kB
Dirty:             32936 kB
Writeback:             0 kB
AnonPages:       1268300 kB
Mapped:            10612 kB
Shmem:                 0 kB
Slab:             570696 kB
SReclaimable:      14192 kB
SUnreclaim:       556504 kB
KernelStack:        1488 kB
PageTables:         6548 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1411004 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71696 MiB
End job on node102 at 2016-06-17 01:26:16