0.00/0.00	c 2016-06-17T01:03:14+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-4097639-1466118194.opb"]
0.00/0.01	c use --random-gen="2379402300 3318693750 2022938182 3058462446 3549933165 2669531409 3402077657 99372523 718876288 3816565142 3053593692 2594497003 3465856037 3792313975 2406370420 122373222 1015509382 3331033187 3833465769 1861750868 539638272 4168033758 1290051561 1371383348 1431524311 3968331311 3767154989 3698644723 471324711 2938725061 2394128857 639972083 2064369119 1225802400 2619533322 1483058882 762234203 3420166471 1726563918 981479377 594092466 3171389779 4242265546 2423903721 104517655 3205111507 3184054635 1831871347 3797488115 344155478 1407538769 3516927740 2200699502 3116891986 1576689355 955161543 3528009933 2023143858 3998530904 798583847 2538065322 2443516247 675034025 971935334 2940069863 3279013258 1519785421 3858267347 4010516610 3142587495 2306969145 3314340836 3415148726 519352624 108894025 949954405 3367100118 3389391195 1684741131 917900697 2593795158 2620878076 1089411717 1053263335 3523973771 1769979570 3455591126 957455607 88695803 928223425 413181341 2122331649 470024605 3025891319 895579208 2319473834 3104599809 3696202863 2334532988 867937901 1750113302 2240728449 573560810 3575367031 2459811580 4004220830 2309977 1317598830 1411962537 2016716872 948002001 3735572721 1230163112 1306942819 4135286181 3930847771 359787192 4103960833 4088314026 2029377243 3518626583 90053774 2419226742 1660978112 1047261929 1844738069 1918091709 1331137335 4215163096 2870878865 4090043092 581668128 2646925702 2532606724 406482891 2514959132 4077710195 2607943005 3346822432 1993012849 2879552452 1266304748 402899652 1989487653 1751762842 3231208819 1115441698 1026304107 3321414319 2250923818 492095751 3908334611 1671491254 2253265347 4080152071 594913799 3021458332 810959665 1709589357 3003598893 2813612300 3637863602 2543470137 3071245659 4105278609 3118947527 1745551092 512882840 3633315539 2421769099 1923604193 2587208133 2503763653 710487543 1956052049 4117304386 1868919422 3717677593 1470861204 4080559159 4128788386 481959831 658501709 1774077364 3652032505 882554453 1611476013 3021327849 1801639460 2336419922 372304255 663501855 2399989586 1901915415 1209751830 862218864 3964843312 3061996446 2736394537 3317231607 3357040017 1498606946 410891151 2442977185 444088138 3770940852 978828055 3314753539 2966769408 1157381523 2281372484 1961461863 2668051682 3513746324 3342486427 2614118892 1524058006 1702222591 286676791 487344652 3103074077 542923481 584900239 1714906277 317908501 2956629358 1741729384 252495461 2374543201 85358877 3365827998 192229091 1708113119 2281484015 4110440786 3751453832 122660508 2053437193 1946034233 3900592984 270304413 3282775905 785924415 857255881 3846013019 3902993798 3285262882 2858159266 3504245363 383211872 451245976 2492410709 410376949 2897602014 3862746416 1927858536 255 362436" option to reproduce the execution
0.00/0.07	c #vars 1122
0.00/0.07	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 |      144 |      100 |     2145      0 |        5 |      262
0.18/0.21	c  0.1s |       2 |      327 |      250 |     2360      0 |        5 |      262
0.29/0.30	c  0.2s |       3 |      604 |      475 |     2596      0 |        5 |      262
0.38/0.44	c  0.3s |       4 |      996 |      813 |     2856      0 |        5 |      262
0.58/0.68	c  0.6s |       5 |     1707 |     1320 |     3142      0 |        5 |      262
0.98/1.05	c  0.9s |       6 |     2670 |     2081 |     3803      0 |        5 |      262
1.58/1.60	c  1.5s |       7 |     4094 |     3223 |     4184      0 |        5 |      262
2.38/2.41	c  2.3s |       8 |     6335 |     4936 |     4603      1 |        5 |      262
3.39/3.48	c  3.4s |       9 |     9323 |     7506 |     5064      2 |        5 |      262
5.28/5.32	c  5.2s |      10 |    14170 |    11361 |     5571      3 |        5 |      262
7.28/7.32	c  7.2s |      10 |    19290 |    15361 |     5571      4 |        5 |      262
8.18/8.23	c  8.1s |      11 |    21638 |    17144 |     6129      5 |        5 |      262
10.18/10.28	c 10.2s |      11 |    26064 |    21144 |     6129      6 |        5 |      262
12.19/12.28	c 12.2s |      11 |    29885 |    24644 |     6129      7 |        5 |      262
12.98/13.03	c 12.9s |      12 |    31144 |    25819 |     6742      7 |        5 |      262
14.98/15.05	c 14.9s |      12 |    36583 |    30219 |     6742      9 |        5 |      262
16.98/17.08	c 17.0s |      12 |    42366 |    35019 |     6742     10 |        5 |      262
18.68/18.72	c 18.6s |      13 |    46763 |    38832 |     7417     11 |        5 |      262
20.68/20.73	c 20.6s |      13 |    51421 |    42732 |     7417     12 |        5 |      262
22.68/22.77	c 22.6s |      13 |    56186 |    46832 |     7417     13 |        5 |      262
24.78/24.83	c 24.7s |      13 |    60684 |    50732 |     7417     14 |        5 |      262
26.78/26.83	c 26.7s |      13 |    65550 |    54932 |     7417     15 |        5 |      262
28.38/28.43	c 28.3s |      14 |    69456 |    58352 |     8159     16 |        5 |      262
30.38/30.47	c 30.3s |      14 |    74307 |    62352 |     8159     17 |        5 |      262
32.38/32.47	c 32.3s |      14 |    79239 |    66452 |     8159     18 |        5 |      262
34.37/34.48	c 34.4s |      14 |    83643 |    70252 |     8159     19 |        5 |      262
36.48/36.52	c 36.4s |      14 |    88286 |    74352 |     8159     20 |        5 |      262
38.49/38.55	c 38.4s |      14 |    92804 |    78352 |     8159     21 |        5 |      262
40.48/40.57	c 40.5s |      14 |    96564 |    81752 |     8159     22 |        5 |      262
42.58/42.60	c 42.5s |      14 |   101503 |    85952 |     8159     23 |        5 |      262
43.38/43.43	c 43.3s |      15 |   103557 |    87632 |     8975     23 |        5 |      262
45.38/45.44	c 45.3s |      15 |   108061 |    91532 |     8975     24 |        5 |      262
47.39/47.46	c 47.3s |      15 |   113113 |    95832 |     8975     25 |        5 |      262
49.38/49.50	c 49.4s |      15 |   118080 |   100032 |     8975     26 |        5 |      262
51.48/51.54	c 51.4s |      15 |   123042 |   104432 |     8975     27 |        5 |      262
53.48/53.54	c 53.4s |      15 |   127205 |   108232 |     8975     27 |        5 |      262
55.48/55.57	c 55.4s |      15 |   131612 |   112032 |     8975     28 |        5 |      262
57.48/57.59	c 57.5s |      15 |   135451 |   115232 |     8975     29 |        5 |      262
59.58/59.62	c 59.5s |      15 |   140186 |   119332 |     8975     30 |        5 |      262
61.58/61.63	c 61.5s |      15 |   144329 |   122932 |     8975     31 |        5 |      262
63.58/63.67	c 63.6s |      15 |   148908 |   126932 |     8975     31 |        5 |      262
65.58/65.68	c 65.6s |      15 |   153318 |   130832 |     9873     32 |        5 |      262
66.08/66.11	c 66.0s |      16 |   154143 |   131552 |     9873     32 |        5 |      262
68.08/68.17	c 68.0s |      16 |   157796 |   134652 |     9873     33 |        5 |      262
70.18/70.21	c 70.1s |      16 |   161771 |   138152 |     9873     34 |        5 |      262
72.18/72.27	c 72.1s |      16 |   166352 |   142052 |     9873     34 |        5 |      262
74.27/74.30	c 74.2s |      16 |   171035 |   146052 |     9873     35 |        5 |      262
76.27/76.32	c 76.2s |      16 |   175835 |   150152 |     9873     36 |        5 |      262
78.27/78.36	c 78.2s |      16 |   180353 |   154152 |     9873     37 |        5 |      262
80.28/80.36	c 80.2s |      16 |   184101 |   157352 |     9873     37 |        5 |      262
82.27/82.39	c 82.3s |      16 |   188850 |   161452 |     9873     38 |        5 |      262
84.37/84.42	c 84.3s |      16 |   193513 |   165452 |     9873     39 |        5 |      262
86.37/86.46	c 86.3s |      16 |   198087 |   169452 |     9873     40 |        5 |      262
88.47/88.51	c 88.4s |      16 |   202316 |   173152 |     9873     41 |        5 |      262
90.47/90.56	c 90.4s |      16 |   206786 |   177152 |     9873     41 |        5 |      262
92.48/92.56	c 92.4s |      16 |   211061 |   181052 |     9873     42 |        5 |      262
94.47/94.60	c 94.5s |      16 |   214115 |   183652 |     9873     43 |        5 |      262
96.57/96.65	c 96.5s |      16 |   218862 |   187752 |     9873     44 |        5 |      262
98.57/98.69	c 98.6s |      16 |   223788 |   192152 |     9873     44 |        5 |      262
100.67/100.71	c  100s |      16 |   227696 |   195652 |     9873     45 |        5 |      262
101.57/101.64	c  101s |      17 |   229756 |   197432 |    10861     45 |        5 |      262
103.57/103.65	c  103s |      17 |   233854 |   201032 |    10861     46 |        5 |      262
105.57/105.70	c  105s |      17 |   237714 |   204432 |    10861     47 |        5 |      262
107.77/107.84	c  107s |      17 |   240463 |   206932 |    10861     47 |        5 |      262
109.76/109.85	c  109s |      17 |   244895 |   210732 |    10861     48 |        5 |      262
111.76/111.86	c  111s |      17 |   248830 |   214132 |    10861     48 |        5 |      262
113.86/113.90	c  113s |      17 |   253129 |   217932 |    10861     49 |        5 |      262
115.86/115.93	c  115s |      17 |   256866 |   221232 |    10861     50 |        5 |      262
117.86/117.94	c  117s |      17 |   261035 |   224832 |    10861     50 |        5 |      262
119.87/119.97	c  119s |      17 |   265375 |   228532 |    10861     51 |        5 |      262
121.96/122.01	c  121s |      17 |   269499 |   232132 |    10861     52 |        5 |      262
123.97/124.05	c  123s |      17 |   274175 |   236232 |    10861     52 |        5 |      262
126.07/126.10	c  125s |      17 |   278510 |   240132 |    10861     53 |        5 |      262
128.07/128.15	c  128s |      17 |   282229 |   243532 |    10861     54 |        5 |      262
130.07/130.17	c  130s |      17 |   286180 |   247032 |    10861     54 |        5 |      262
132.08/132.18	c  132s |      17 |   289800 |   250332 |    10861     55 |        5 |      262
134.37/134.49	c  134s |      17 |   293313 |   253532 |    10861     55 |        5 |      262
136.47/136.52	c  136s |      17 |   297659 |   257232 |    10861     56 |        5 |      262
138.47/138.54	c  138s |      17 |   301796 |   260732 |    10861     57 |        5 |      262
140.47/140.56	c  140s |      17 |   306310 |   264632 |    10861     57 |        5 |      262
142.77/142.80	c  142s |      17 |   309742 |   267632 |    10861     58 |        5 |      262
144.77/144.82	c  144s |      17 |   314261 |   271432 |    10861     59 |        5 |      262
146.77/146.86	c  146s |      17 |   318961 |   275532 |    10861     59 |        5 |      262
148.86/148.92	c  148s |      17 |   323366 |   279332 |    10861     60 |        5 |      262
150.86/150.95	c  150s |      17 |   327573 |   283032 |    10861     61 |        5 |      262
152.97/153.00	c  152s |      17 |   331782 |   286732 |    10861     61 |        5 |      262
154.96/155.01	c  154s |      17 |   335395 |   290032 |    10861     62 |        5 |      262
156.96/157.06	c  156s |      17 |   339460 |   293532 |    10861     63 |        5 |      262
158.26/158.39	c  158s |      18 |   342558 |   296252 |    11948     63 |        5 |      262
160.36/160.40	c  160s |      18 |   346069 |   299052 |    11948     63 |        5 |      262
162.36/162.41	c  162s |      18 |   350804 |   303252 |    11948     64 |        5 |      262
164.36/164.43	c  164s |      18 |   354984 |   306752 |    11948     65 |        5 |      262
166.36/166.44	c  166s |      18 |   358922 |   310252 |    11948     65 |        5 |      262
168.37/168.45	c  168s |      18 |   362969 |   313852 |    11948     66 |        5 |      262
170.36/170.48	c  170s |      18 |   366764 |   317252 |    11948     66 |        5 |      262
172.46/172.51	c  172s |      18 |   370766 |   320652 |    11948     67 |        5 |      262
174.46/174.57	c  174s |      18 |   373757 |   323252 |    11948     67 |        5 |      262
176.46/176.59	c  176s |      18 |   378442 |   327252 |    11948     68 |        5 |      262
178.56/178.64	c  178s |      18 |   383050 |   331252 |    11948     69 |        5 |      262
180.56/180.69	c  180s |      18 |   387435 |   335152 |    11948     69 |        5 |      262
182.66/182.71	c  182s |      18 |   390930 |   338252 |    11948     70 |        5 |      262
184.66/184.75	c  184s |      18 |   394842 |   341652 |    11948     71 |        5 |      262
186.66/186.77	c  186s |      18 |   398919 |   345352 |    11948     71 |        5 |      262
188.76/188.86	c  188s |      18 |   402121 |   348252 |    11948     72 |        5 |      262
190.85/190.90	c  190s |      18 |   406439 |   352052 |    11948     72 |        5 |      262
192.85/192.92	c  192s |      18 |   410014 |   355352 |    11948     73 |        5 |      262
194.85/194.93	c  194s |      18 |   413541 |   358552 |    11948     73 |        5 |      262
196.86/196.94	c  196s |      18 |   417025 |   361752 |    11948     74 |        5 |      262
198.85/198.96	c  198s |      18 |   419255 |   363652 |    11948     74 |        5 |      262
200.85/200.98	c  200s |      18 |   423209 |   367152 |    11948     75 |        5 |      262
202.95/203.02	c  202s |      18 |   427217 |   370652 |    11948     75 |        5 |      262
204.95/205.07	c  204s |      18 |   431141 |   374152 |    11948     76 |        5 |      262
207.05/207.12	c  206s |      18 |   434616 |   377152 |    11948     76 |        5 |      262
209.06/209.14	c  209s |      18 |   438953 |   380852 |    11948     77 |        5 |      262
211.06/211.17	c  211s |      18 |   442677 |   384052 |    11948     78 |        5 |      262
213.16/213.20	c  213s |      18 |   446967 |   387852 |    11948     78 |        5 |      262
215.16/215.22	c  215s |      18 |   450826 |   391252 |    11948     79 |        5 |      262
217.16/217.27	c  217s |      18 |   454738 |   394852 |    11948     79 |        5 |      262
219.15/219.28	c  219s |      18 |   457969 |   397752 |    11948     80 |        5 |      262
221.16/221.29	c  221s |      18 |   461569 |   400952 |    11948     80 |        5 |      262
223.26/223.31	c  223s |      18 |   465071 |   404052 |    11948     81 |        5 |      262
225.25/225.37	c  225s |      18 |   468631 |   407152 |    11948     81 |        5 |      262
227.25/227.38	c  227s |      18 |   471739 |   410052 |    11948     82 |        5 |      262
229.35/229.44	c  229s |      18 |   474656 |   412752 |    11948     82 |        5 |      262
231.35/231.45	c  231s |      18 |   478087 |   415852 |    11948     83 |        5 |      262
233.35/233.47	c  233s |      18 |   481913 |   419152 |    11948     83 |        5 |      262
235.46/235.51	c  235s |      18 |   484849 |   421752 |    11948     84 |        5 |      262
237.45/237.56	c  237s |      18 |   488821 |   425352 |    11948     84 |        5 |      262
239.55/239.62	c  239s |      18 |   492596 |   428752 |    11948     85 |        5 |      262
241.55/241.67	c  241s |      18 |   496473 |   432252 |    11948     85 |        5 |      262
243.55/243.68	c  243s |      18 |   499652 |   435152 |    11948     86 |        5 |      262
245.65/245.75	c  245s |      18 |   503009 |   438252 |    11948     86 |        5 |      262
247.65/247.76	c  247s |      18 |   506660 |   441552 |    13143     87 |        5 |      262
249.66/249.74	c  249s |      19 |   509896 |   444482 |    13143     87 |        5 |      262
251.65/251.76	c  251s |      19 |   512920 |   446982 |    13143     88 |        5 |      262
253.65/253.79	c  253s |      19 |   517498 |   450982 |    13143     88 |        5 |      262
255.75/255.83	c  255s |      19 |   521852 |   454682 |    13143     89 |        5 |      262
257.75/257.88	c  257s |      19 |   526305 |   458582 |    13143     89 |        5 |      262
259.85/259.93	c  259s |      19 |   530608 |   462482 |    13143     90 |        5 |      262
261.85/261.96	c  261s |      19 |   534159 |   465682 |    13143     90 |        5 |      262
263.85/263.99	c  263s |      19 |   537495 |   468782 |    13143     91 |        5 |      262
265.95/266.00	c  265s |      19 |   540660 |   471682 |    13143     91 |        5 |      262
267.95/268.02	c  267s |      19 |   543726 |   474482 |    13143     92 |        5 |      262
269.95/270.08	c  269s |      19 |   547517 |   477582 |    13143     92 |        5 |      262
272.05/272.11	c  271s |      19 |   551199 |   480682 |    13143     93 |        5 |      262
274.05/274.13	c  274s |      19 |   555041 |   483682 |    13143     93 |        5 |      262
276.05/276.14	c  276s |      19 |   558338 |   486482 |    13143     94 |        5 |      262
278.14/278.21	c  278s |      19 |   561218 |   488782 |    13143     94 |        5 |      262
280.14/280.22	c  280s |      19 |   564829 |   491582 |    13143     94 |        5 |      262
282.14/282.27	c  282s |      19 |   568130 |   494082 |    13143     95 |        5 |      262
284.24/284.34	c  284s |      19 |   570547 |   496282 |    13143     95 |        5 |      262
286.34/286.41	c  286s |      19 |   573889 |   499282 |    13143     96 |        5 |      262
288.34/288.46	c  288s |      19 |   577190 |   502282 |    13143     96 |        5 |      262
290.35/290.49	c  290s |      19 |   580338 |   505182 |    13143     96 |        5 |      262
292.44/292.53	c  292s |      19 |   583700 |   508082 |    13143     97 |        5 |      262
294.44/294.57	c  294s |      19 |   587808 |   511582 |    13143     97 |        5 |      262
296.54/296.62	c  296s |      19 |   591439 |   514782 |    13143     98 |        5 |      262
298.54/298.63	c  298s |      19 |   595217 |   518082 |    13143     98 |        5 |      262
300.54/300.66	c  300s |      19 |   599119 |   521382 |    13143     99 |        5 |      262
302.64/302.74	c  302s |      19 |   602423 |   524382 |    13143     99 |        5 |      262
304.65/304.78	c  304s |      19 |   605767 |   527382 |    13143    100 |        5 |      262
306.74/306.83	c  306s |      19 |   607971 |   529282 |    13143    100 |        5 |      262
308.74/308.85	c  308s |      19 |   611429 |   532382 |    13143    100 |        5 |      262
310.74/310.86	c  310s |      19 |   615759 |   536082 |    13143    101 |        5 |      262
312.74/312.89	c  312s |      19 |   619658 |   539082 |    13143    101 |        5 |      262
314.84/314.92	c  314s |      19 |   622896 |   541782 |    13143    102 |        5 |      262
316.84/316.93	c  316s |      19 |   626160 |   544682 |    13143    102 |        5 |      262
318.84/318.96	c  318s |      19 |   629562 |   547682 |    13143    103 |        5 |      262
320.94/321.02	c  320s |      19 |   633097 |   550782 |    13143    103 |        5 |      262
322.93/323.07	c  322s |      19 |   636950 |   554182 |    13143    104 |        5 |      262
325.03/325.10	c  324s |      19 |   640883 |   557682 |    13143    104 |        5 |      262
327.03/327.12	c  326s |      19 |   644190 |   560682 |    13143    105 |        5 |      262
329.03/329.13	c  329s |      19 |   647816 |   563782 |    13143    105 |        5 |      262
331.04/331.15	c  331s |      19 |   651685 |   566782 |    13143    106 |        5 |      262
333.13/333.20	c  333s |      19 |   654865 |   569482 |    13143    106 |        5 |      262
335.13/335.22	c  335s |      19 |   657721 |   571882 |    13143    106 |        5 |      262
337.13/337.25	c  337s |      19 |   659348 |   573382 |    13143    107 |        5 |      262
339.13/339.25	c  339s |      19 |   663436 |   576982 |    13143    107 |        5 |      262
341.12/341.29	c  341s |      19 |   667148 |   580182 |    13143    108 |        5 |      262
343.23/343.32	c  343s |      19 |   670879 |   583482 |    13143    108 |        5 |      262
345.22/345.37	c  345s |      19 |   674298 |   586482 |    13143    109 |        5 |      262
347.32/347.44	c  347s |      19 |   677766 |   589682 |    13143    109 |        5 |      262
349.42/349.53	c  349s |      19 |   680968 |   592582 |    13143    110 |        5 |      262
351.42/351.57	c  351s |      19 |   683507 |   594682 |    13143    110 |        5 |      262
353.42/353.59	c  353s |      19 |   686941 |   597782 |    13143    110 |        5 |      262
355.52/355.62	c  355s |      19 |   689993 |   600582 |    13143    111 |        5 |      262
357.52/357.67	c  357s |      19 |   693115 |   603482 |    13143    111 |        5 |      262
359.51/359.68	c  359s |      19 |   695917 |   605782 |    13143    112 |        5 |      262
361.61/361.71	c  361s |      19 |   699514 |   608782 |    13143    112 |        5 |      262
363.61/363.73	c  363s |      19 |   702997 |   611782 |    13143    112 |        5 |      262
365.61/365.74	c  365s |      19 |   706468 |   614582 |    13143    113 |        5 |      262
367.61/367.75	c  367s |      19 |   709663 |   617382 |    13143    113 |        5 |      262
369.71/369.82	c  369s |      19 |   712483 |   619982 |    13143    114 |        5 |      262
371.72/371.90	c  371s |      19 |   715672 |   622982 |    13143    114 |        5 |      262
373.81/373.93	c  373s |      19 |   718681 |   625582 |    13143    114 |        5 |      262
375.81/375.94	c  375s |      19 |   723042 |   629382 |    13143    115 |        5 |      262
377.81/377.96	c  377s |      19 |   726668 |   632582 |    13143    116 |        5 |      262
379.81/379.97	c  379s |      19 |   731121 |   636482 |    13143    116 |        5 |      262
381.91/382.08	c  381s |      19 |   734132 |   639182 |    13143    117 |        5 |      262
384.01/384.12	c  383s |      19 |   738810 |   643182 |    13143    117 |        5 |      262
386.01/386.15	c  386s |      19 |   742610 |   646582 |    13143    118 |        5 |      262
388.01/388.19	c  388s |      19 |   746501 |   650082 |    13143    118 |        5 |      262
390.10/390.24	c  390s |      19 |   750031 |   653282 |    13143    119 |        5 |      262
392.10/392.28	c  392s |      19 |   753106 |   656082 |    13143    119 |        5 |      262
394.20/394.31	c  394s |      19 |   756251 |   658882 |    13143    119 |        5 |      262
396.80/396.99	c  396s |      19 |   759225 |   661482 |    13143    120 |        5 |      262
398.90/399.02	c  398s |      19 |   762765 |   664682 |    14458    120 |        5 |      262
400.41/400.52	c  400s |      20 |   765117 |   666827 |    14458    120 |        5 |      262
402.41/402.53	c  402s |      20 |   769201 |   670227 |    14458    121 |        5 |      262
404.41/404.57	c  404s |      20 |   772902 |   673527 |    14458    121 |        5 |      262
406.51/406.61	c  406s |      20 |   776758 |   676727 |    14458    122 |        5 |      262
408.51/408.63	c  408s |      20 |   780870 |   680227 |    14458    122 |        5 |      262
410.50/410.67	c  410s |      20 |   784979 |   683827 |    14458    123 |        5 |      262
412.51/412.68	c  412s |      20 |   788703 |   687227 |    14458    123 |        5 |      262
415.00/415.11	c  414s |      20 |   790762 |   689027 |    14458    124 |        5 |      262
417.00/417.13	c  417s |      20 |   795426 |   692927 |    14458    124 |        5 |      262
419.01/419.14	c  419s |      20 |   799052 |   696127 |    14458    124 |        5 |      262
420.99/421.16	c  421s |      20 |   803094 |   699727 |    14458    125 |        5 |      262
423.09/423.20	c  423s |      20 |   806647 |   702927 |    14458    125 |        5 |      262
425.09/425.23	c  425s |      20 |   810208 |   706127 |    14458    126 |        5 |      262
427.09/427.23	c  427s |      20 |   813957 |   709427 |    14458    126 |        5 |      262
429.09/429.29	c  429s |      20 |   817574 |   712727 |    14458    127 |        5 |      262
431.20/431.31	c  431s |      20 |   821016 |   715827 |    14458    127 |        5 |      262
433.19/433.37	c  433s |      20 |   823854 |   718427 |    14458    128 |        5 |      262
436.39/436.52	c  436s |      20 |   827154 |   721427 |    14458    128 |        5 |      262
438.39/438.53	c  438s |      20 |   830927 |   724727 |    14458    128 |        5 |      262
440.39/440.58	c  440s |      20 |   835139 |   728327 |    14458    129 |        5 |      262
442.49/442.61	c  442s |      20 |   838825 |   731627 |    14458    129 |        5 |      262
444.49/444.62	c  444s |      20 |   842258 |   734727 |    14458    130 |        5 |      262
446.49/446.64	c  446s |      20 |   845729 |   737827 |    14458    130 |        5 |      262
448.48/448.66	c  448s |      20 |   848533 |   740327 |    14458    131 |        5 |      262
450.48/450.67	c  450s |      20 |   852259 |   743627 |    14458    131 |        5 |      262
452.48/452.68	c  452s |      20 |   855782 |   746727 |    14458    131 |        5 |      262
454.58/454.70	c  454s |      20 |   859442 |   750027 |    14458    132 |        5 |      262
456.58/456.72	c  456s |      20 |   862910 |   753227 |    14458    132 |        5 |      262
458.58/458.73	c  458s |      20 |   864661 |   754827 |    14458    132 |        5 |      262
460.58/460.73	c  460s |      20 |   868150 |   757927 |    14458    133 |        5 |      262
462.58/462.78	c  462s |      20 |   871694 |   761127 |    14458    133 |        5 |      262
464.58/464.80	c  464s |      20 |   874982 |   764127 |    14458    134 |        5 |      262
466.68/466.84	c  466s |      20 |   878139 |   767027 |    14458    134 |        5 |      262
468.68/468.88	c  468s |      20 |   880943 |   769627 |    14458    135 |        5 |      262
470.68/470.88	c  470s |      20 |   884113 |   772527 |    14458    135 |        5 |      262
472.68/472.89	c  472s |      20 |   887137 |   775327 |    14458    135 |        5 |      262
474.78/474.96	c  474s |      20 |   890144 |   778127 |    14458    136 |        5 |      262
476.78/476.98	c  476s |      20 |   893163 |   780927 |    14458    136 |        5 |      262
479.38/479.57	c  479s |      20 |   895851 |   783427 |    14458    136 |        5 |      262
481.48/481.63	c  481s |      20 |   899387 |   786527 |    14458    137 |        5 |      262
483.48/483.68	c  483s |      20 |   903175 |   789927 |    14458    137 |        5 |      262
485.48/485.69	c  485s |      20 |   906433 |   792927 |    14458    138 |        5 |      262
487.57/487.70	c  487s |      20 |   909851 |   795927 |    14458    138 |        5 |      262
489.57/489.73	c  489s |      20 |   913468 |   799227 |    14458    139 |        5 |      262
491.58/491.78	c  491s |      20 |   917083 |   802527 |    14458    139 |        5 |      262
493.67/493.83	c  493s |      20 |   920424 |   805627 |    14458    139 |        5 |      262
496.67/496.83	c  496s |      20 |   922403 |   807427 |    14458    140 |        5 |      262
498.67/498.85	c  498s |      20 |   926298 |   810827 |    14458    140 |        5 |      262
500.67/500.89	c  500s |      20 |   929974 |   813927 |    14458    141 |        5 |      262
502.77/502.90	c  502s |      20 |   934000 |   817327 |    14458    141 |        5 |      262
504.78/504.95	c  504s |      20 |   937596 |   820427 |    14458    141 |        5 |      262
506.77/506.96	c  506s |      20 |   941092 |   823627 |    14458    142 |        5 |      262
508.87/509.01	c  508s |      20 |   944569 |   826727 |    14458    142 |        5 |      262
510.87/511.07	c  510s |      20 |   947241 |   829127 |    14458    143 |        5 |      262
512.97/513.12	c  512s |      20 |   950782 |   832027 |    14458    143 |        5 |      262
514.97/515.13	c  515s |      20 |   954384 |   835227 |    14458    143 |        5 |      262
516.97/517.14	c  517s |      20 |   958373 |   838727 |    14458    144 |        5 |      262
518.97/519.15	c  519s |      20 |   961900 |   841927 |    14458    144 |        5 |      262
520.96/521.17	c  521s |      20 |   964681 |   844427 |    14458    145 |        5 |      262
522.96/523.18	c  523s |      20 |   968741 |   848027 |    14458    145 |        5 |      262
525.06/525.22	c  525s |      20 |   972382 |   851327 |    14458    146 |        5 |      262
527.06/527.26	c  527s |      20 |   976130 |   854727 |    14458    146 |        5 |      262
529.16/529.31	c  529s |      20 |   978816 |   857227 |    14458    147 |        5 |      262
531.16/531.32	c  531s |      20 |   982701 |   860627 |    14458    147 |        5 |      262
533.16/533.38	c  533s |      20 |   986080 |   863627 |    14458    147 |        5 |      262
535.36/535.50	c  535s |      20 |   987917 |   865227 |    14458    148 |        5 |      262
537.36/537.54	c  537s |      20 |   991926 |   868727 |    14458    148 |        5 |      262
539.36/539.55	c  539s |      20 |   995336 |   871827 |    14458    149 |        5 |      262
541.35/541.57	c  541s |      20 |   999469 |   875427 |    14458    149 |        5 |      262
543.45/543.62	c  543s |      20 |  1002918 |   878627 |    14458    149 |        5 |      262
545.46/545.66	c  545s |      20 |  1006492 |   881827 |    14458    150 |        5 |      262
547.55/547.71	c  547s |      20 |  1009695 |   884727 |    14458    150 |        5 |      262
549.55/549.76	c  549s |      20 |  1012710 |   887527 |    14458    151 |        5 |      262
551.55/551.79	c  551s |      20 |  1015264 |   889827 |    14458    151 |        5 |      262
553.65/553.85	c  553s |      20 |  1018742 |   892927 |    14458    151 |        5 |      262
555.65/555.87	c  555s |      20 |  1022117 |   895927 |    14458    152 |        5 |      262
557.65/557.88	c  557s |      20 |  1025720 |   899227 |    14458    152 |        5 |      262
559.75/559.93	c  559s |      20 |  1029011 |   902227 |    14458    153 |        5 |      262
561.74/561.98	c  561s |      20 |  1031696 |   904727 |    14458    153 |        5 |      262
563.84/564.01	c  563s |      20 |  1034702 |   907527 |    14458    153 |        5 |      262
565.84/566.03	c  565s |      20 |  1037527 |   910127 |    14458    154 |        5 |      262
567.84/568.04	c  567s |      20 |  1040630 |   912927 |    14458    154 |        5 |      262
569.94/570.11	c  569s |      20 |  1043437 |   915527 |    14458    154 |        5 |      262
571.94/572.12	c  571s |      20 |  1046685 |   918527 |    14458    155 |        5 |      262
573.94/574.16	c  574s |      20 |  1049806 |   921427 |    14458    155 |        5 |      262
576.04/576.26	c  576s |      20 |  1051766 |   923127 |    14458    156 |        5 |      262
578.15/578.31	c  578s |      20 |  1055629 |   926527 |    14458    156 |        5 |      262
580.14/580.32	c  580s |      20 |  1059253 |   929727 |    14458    156 |        5 |      262
582.14/582.33	c  582s |      20 |  1063142 |   933227 |    14458    157 |        5 |      262
584.24/584.40	c  584s |      20 |  1066818 |   936527 |    14458    157 |        5 |      262
586.34/586.50	c  586s |      20 |  1069644 |   939027 |    14458    158 |        5 |      262
588.35/588.55	c  588s |      20 |  1073689 |   942527 |    14458    158 |        5 |      262
590.34/590.58	c  590s |      20 |  1077481 |   945927 |    14458    159 |        5 |      262
592.44/592.60	c  592s |      20 |  1081367 |   949427 |    14458    159 |        5 |      262
594.44/594.62	c  594s |      20 |  1084670 |   952427 |    14458    160 |        5 |      262
596.44/596.64	c  596s |      20 |  1088620 |   955927 |    14458    160 |        5 |      262
598.44/598.65	c  598s |      20 |  1090271 |   957327 |    14458    160 |        5 |      262
600.45/600.69	c  600s |      20 |  1094084 |   960627 |    14458    161 |        5 |      262
602.54/602.72	c  602s |      20 |  1097993 |   964127 |    14458    161 |        5 |      262
604.54/604.75	c  604s |      20 |  1101365 |   967227 |    14458    162 |        5 |      262
606.54/606.78	c  606s |      20 |  1105498 |   970827 |    14458    162 |        5 |      262
608.64/608.83	c  608s |      20 |  1108761 |   973727 |    14458    162 |        5 |      262
610.63/610.87	c  610s |      20 |  1112708 |   977127 |    14458    163 |        5 |      262
612.64/612.89	c  612s |      20 |  1116641 |   980627 |    14458    163 |        5 |      262
614.74/614.94	c  614s |      20 |  1120271 |   983927 |    14458    164 |        5 |      262
616.73/616.96	c  616s |      20 |  1124071 |   987327 |    14458    164 |        5 |      262
618.83/619.01	c  618s |      20 |  1127680 |   990627 |    14458    165 |        5 |      262
620.83/621.02	c  620s |      20 |  1131372 |   994027 |    15904    165 |        5 |      262
622.83/623.03	c  622s |      20 |  1134774 |   997127 |    15904    165 |        5 |      262
625.93/626.14	c  626s |      20 |  1135748 |   998027 |    15904    166 |        5 |      262
627.13/627.35	c  627s |      21 |  1138439 |  1000345 |    15904    166 |        5 |      262
629.13/629.36	c  629s |      21 |  1141337 |  1002745 |    15904    166 |        5 |      262
631.23/631.43	c  631s |      21 |  1144998 |  1005845 |    15904    167 |        5 |      262
633.22/633.46	c  633s |      21 |  1149144 |  1009445 |    15904    167 |        5 |      262
635.22/635.48	c  635s |      21 |  1152459 |  1012345 |    15904    167 |        5 |      262
637.22/637.49	c  637s |      21 |  1155881 |  1015445 |    15904    168 |        5 |      262
639.32/639.54	c  639s |      21 |  1159614 |  1018745 |    15904    168 |        5 |      262
641.32/641.57	c  641s |      21 |  1163061 |  1021645 |    15904    168 |        5 |      262
643.33/643.58	c  643s |      21 |  1164984 |  1023345 |    15904    169 |        5 |      262
645.32/645.58	c  645s |      21 |  1169083 |  1026845 |    15904    169 |        5 |      262
647.32/647.59	c  647s |      21 |  1172811 |  1029945 |    15904    170 |        5 |      262
649.42/649.64	c  649s |      21 |  1176484 |  1033145 |    15904    170 |        5 |      262
651.52/651.71	c  651s |      21 |  1180111 |  1036445 |    15904    170 |        5 |      262
653.52/653.74	c  653s |      21 |  1183695 |  1039545 |    15904    171 |        5 |      262
655.53/655.75	c  655s |      21 |  1187492 |  1042845 |    15904    171 |        5 |      262
657.62/657.82	c  657s |      21 |  1190166 |  1045145 |    15904    171 |        5 |      262
659.62/659.84	c  659s |      21 |  1193777 |  1048245 |    15904    172 |        5 |      262
661.62/661.87	c  661s |      21 |  1197533 |  1051545 |    15904    172 |        5 |      262
663.62/663.88	c  663s |      21 |  1200998 |  1054645 |    15904    173 |        5 |      262
665.62/665.89	c  665s |      21 |  1205036 |  1058145 |    15904    173 |        5 |      262
667.72/667.92	c  667s |      21 |  1208400 |  1061145 |    15904    173 |        5 |      262
669.72/669.99	c  669s |      21 |  1212022 |  1064445 |    15904    174 |        5 |      262
671.81/672.01	c  671s |      21 |  1215524 |  1067645 |    15904    174 |        5 |      262
673.81/674.03	c  673s |      21 |  1218570 |  1070345 |    15904    175 |        5 |      262
675.81/676.07	c  675s |      21 |  1221968 |  1073345 |    15904    175 |        5 |      262
677.91/678.14	c  678s |      21 |  1225315 |  1076245 |    15904    175 |        5 |      262
679.91/680.16	c  680s |      21 |  1228365 |  1078945 |    15904    176 |        5 |      262
682.01/682.20	c  682s |      21 |  1232304 |  1082245 |    15904    176 |        5 |      262
684.01/684.27	c  684s |      21 |  1235989 |  1085145 |    15904    176 |        5 |      262
686.01/686.28	c  686s |      21 |  1239362 |  1087845 |    15904    177 |        5 |      262
688.61/688.81	c  688s |      21 |  1240643 |  1088945 |    15904    177 |        5 |      262
690.62/690.88	c  690s |      21 |  1243863 |  1091745 |    15904    177 |        5 |      262
692.71/692.92	c  692s |      21 |  1247045 |  1094445 |    15904    178 |        5 |      262
694.71/694.97	c  694s |      21 |  1251289 |  1098045 |    15904    178 |        5 |      262
696.71/696.98	c  696s |      21 |  1255110 |  1101445 |    15904    178 |        5 |      262
698.81/699.02	c  698s |      21 |  1258944 |  1104845 |    15904    179 |        5 |      262
700.80/701.07	c  700s |      21 |  1262304 |  1107945 |    15904    179 |        5 |      262
702.90/703.13	c  703s |      21 |  1265170 |  1110445 |    15904    180 |        5 |      262
705.50/705.70	c  705s |      21 |  1267214 |  1112245 |    15904    180 |        5 |      262
707.50/707.72	c  707s |      21 |  1270966 |  1115545 |    15904    180 |        5 |      262
709.50/709.74	c  709s |      21 |  1274385 |  1118545 |    15904    181 |        5 |      262
711.51/711.76	c  711s |      21 |  1278579 |  1122245 |    15904    181 |        5 |      262
713.50/713.77	c  713s |      21 |  1282077 |  1125345 |    15904    181 |        5 |      262
715.50/715.78	c  715s |      21 |  1285320 |  1128245 |    15904    182 |        5 |      262
717.60/717.81	c  717s |      21 |  1289191 |  1131645 |    15904    182 |        5 |      262
719.60/719.81	c  719s |      21 |  1292188 |  1134345 |    15904    183 |        5 |      262
721.60/721.82	c  721s |      21 |  1296067 |  1137845 |    15904    183 |        5 |      262
723.60/723.85	c  723s |      21 |  1299531 |  1140945 |    15904    183 |        5 |      262
725.60/725.88	c  725s |      21 |  1302930 |  1144045 |    15904    184 |        5 |      262
727.60/727.89	c  727s |      21 |  1306321 |  1147145 |    15904    184 |        5 |      262
731.19/731.48	c  731s |      21 |  1308301 |  1148945 |    15904    184 |        5 |      262
733.19/733.48	c  733s |      21 |  1311616 |  1151745 |    15904    185 |        5 |      262
735.19/735.49	c  735s |      21 |  1316048 |  1155545 |    15904    185 |        5 |      262
737.29/737.53	c  737s |      21 |  1319586 |  1158645 |    15904    186 |        5 |      262
739.39/739.62	c  739s |      21 |  1323353 |  1162045 |    15904    186 |        5 |      262
741.39/741.63	c  741s |      21 |  1327000 |  1165245 |    15904    186 |        5 |      262
743.40/743.64	c  743s |      21 |  1330752 |  1168545 |    15904    187 |        5 |      262
745.39/745.68	c  745s |      21 |  1334491 |  1171845 |    15904    187 |        5 |      262
747.49/747.75	c  747s |      21 |  1337647 |  1174645 |    15904    188 |        5 |      262
749.49/749.78	c  749s |      21 |  1341929 |  1178245 |    15904    188 |        5 |      262
751.59/751.86	c  751s |      21 |  1345872 |  1181245 |    15904    188 |        5 |      262
753.59/753.89	c  753s |      21 |  1349434 |  1184045 |    15904    189 |        5 |      262
755.69/755.90	c  755s |      21 |  1353018 |  1187045 |    15904    189 |        5 |      262
757.69/757.93	c  757s |      21 |  1356217 |  1189645 |    15904    189 |        5 |      262
759.68/759.95	c  759s |      21 |  1359263 |  1192345 |    15904    190 |        5 |      262
761.68/761.99	c  761s |      21 |  1362464 |  1194945 |    15904    190 |        5 |      262
763.78/764.06	c  763s |      21 |  1365261 |  1197345 |    15904    190 |        5 |      262
765.88/766.11	c  765s |      21 |  1367923 |  1199245 |    15904    191 |        5 |      262
767.88/768.12	c  768s |      21 |  1371051 |  1201545 |    15904    191 |        5 |      262
769.89/770.13	c  770s |      21 |  1374248 |  1204145 |    15904    191 |        5 |      262
771.88/772.16	c  772s |      21 |  1377092 |  1206545 |    15904    191 |        5 |      262
773.88/774.17	c  774s |      21 |  1380094 |  1209145 |    15904    192 |        5 |      262
775.98/776.21	c  776s |      21 |  1382772 |  1211045 |    15904    192 |        5 |      262
778.37/778.63	c  778s |      21 |  1383248 |  1211445 |    15904    192 |        5 |      262
780.47/780.71	c  780s |      21 |  1386533 |  1214345 |    15904    192 |        5 |      262
782.47/782.73	c  782s |      21 |  1390234 |  1217445 |    15904    193 |        5 |      262
784.47/784.74	c  784s |      21 |  1394034 |  1220345 |    15904    193 |        5 |      262
786.57/786.83	c  786s |      21 |  1397084 |  1222745 |    15904    193 |        5 |      262
788.67/788.91	c  788s |      21 |  1400189 |  1225445 |    15904    194 |        5 |      262
790.68/790.98	c  790s |      21 |  1403096 |  1227845 |    15904    194 |        5 |      262
792.78/793.08	c  792s |      21 |  1405643 |  1229945 |    15904    194 |        5 |      262
794.88/795.11	c  794s |      21 |  1408476 |  1232245 |    15904    195 |        5 |      262
796.88/797.13	c  797s |      21 |  1411869 |  1234945 |    15904    195 |        5 |      262
798.88/799.19	c  799s |      21 |  1415169 |  1237545 |    15904    195 |        5 |      262
800.98/801.20	c  801s |      21 |  1417743 |  1239745 |    15904    196 |        5 |      262
802.97/803.24	c  803s |      21 |  1421350 |  1242745 |    15904    196 |        5 |      262
805.08/805.32	c  805s |      21 |  1424685 |  1245545 |    15904    196 |        5 |      262
807.07/807.33	c  807s |      21 |  1427096 |  1247545 |    15904    197 |        5 |      262
809.07/809.34	c  809s |      21 |  1429906 |  1249745 |    15904    197 |        5 |      262
811.17/811.41	c  811s |      21 |  1433139 |  1252545 |    15904    197 |        5 |      262
813.17/813.43	c  813s |      21 |  1435927 |  1254845 |    15904    197 |        5 |      262
815.17/815.44	c  815s |      21 |  1439274 |  1257545 |    15904    198 |        5 |      262
817.27/817.52	c  817s |      21 |  1442596 |  1260245 |    15904    198 |        5 |      262
819.27/819.54	c  819s |      21 |  1445327 |  1262545 |    15904    198 |        5 |      262
821.27/821.57	c  821s |      21 |  1448531 |  1265245 |    15904    199 |        5 |      262
823.36/823.64	c  823s |      21 |  1451958 |  1268045 |    15904    199 |        5 |      262
825.36/825.68	c  825s |      21 |  1454883 |  1270445 |    15904    199 |        5 |      262
827.46/827.71	c  827s |      21 |  1457896 |  1272945 |    15904    200 |        5 |      262
829.46/829.73	c  829s |      21 |  1461068 |  1275645 |    15904    200 |        5 |      262
831.47/831.74	c  831s |      21 |  1464095 |  1278045 |    15904    200 |        5 |      262
833.76/834.06	c  833s |      21 |  1467172 |  1280445 |    15904    201 |        5 |      262
835.77/836.08	c  835s |      21 |  1470476 |  1282945 |    15904    201 |        5 |      262
837.86/838.10	c  837s |      21 |  1474303 |  1285545 |    15904    201 |        5 |      262
839.96/840.24	c  840s |      21 |  1476943 |  1287545 |    15904    202 |        5 |      262
841.96/842.27	c  842s |      21 |  1480427 |  1290645 |    15904    202 |        5 |      262
844.06/844.32	c  844s |      21 |  1483639 |  1293445 |    15904    202 |        5 |      262
846.06/846.33	c  846s |      21 |  1486971 |  1296345 |    15904    203 |        5 |      262
848.06/848.37	c  848s |      21 |  1490481 |  1299545 |    15904    203 |        5 |      262
850.16/850.42	c  850s |      21 |  1493836 |  1302445 |    15904    203 |        5 |      262
852.26/852.56	c  852s |      21 |  1497184 |  1305445 |    15904    204 |        5 |      262
854.35/854.61	c  854s |      21 |  1500702 |  1308645 |    15904    204 |        5 |      262
856.35/856.64	c  856s |      21 |  1503882 |  1311545 |    15904    204 |        5 |      262
858.75/859.08	c  858s |      21 |  1505232 |  1312745 |    15904    205 |        5 |      262
860.85/861.13	c  861s |      21 |  1509719 |  1316445 |    15904    205 |        5 |      262
862.85/863.14	c  863s |      21 |  1513432 |  1319645 |    15904    206 |        5 |      262
864.85/865.15	c  865s |      21 |  1517533 |  1323145 |    15904    206 |        5 |      262
866.95/867.22	c  867s |      21 |  1521349 |  1326545 |    15904    206 |        5 |      262
868.95/869.29	c  869s |      21 |  1525268 |  1330045 |    15904    207 |        5 |      262
871.05/871.30	c  871s |      21 |  1528776 |  1333245 |    15904    207 |        5 |      262
873.05/873.35	c  873s |      21 |  1532209 |  1336245 |    15904    208 |        5 |      262
875.04/875.36	c  875s |      21 |  1533737 |  1337545 |    15904    208 |        5 |      262
877.14/877.42	c  877s |      21 |  1538053 |  1341245 |    15904    208 |        5 |      262
879.14/879.44	c  879s |      21 |  1541361 |  1344145 |    15904    209 |        5 |      262
881.14/881.46	c  881s |      21 |  1545339 |  1347745 |    15904    209 |        5 |      262
883.24/883.51	c  883s |      21 |  1548912 |  1350945 |    15904    209 |        5 |      262
885.25/885.51	c  885s |      21 |  1551566 |  1353245 |    15904    210 |        5 |      262
887.24/887.52	c  887s |      21 |  1555265 |  1356545 |    15904    210 |        5 |      262
889.24/889.58	c  889s |      21 |  1558757 |  1359645 |    15904    210 |        5 |      262
891.23/891.58	c  891s |      21 |  1562173 |  1362745 |    15904    211 |        5 |      262
893.33/893.65	c  893s |      21 |  1565457 |  1365745 |    15904    211 |        5 |      262
895.33/895.67	c  895s |      21 |  1568056 |  1368045 |    15904    212 |        5 |      262
897.34/897.70	c  897s |      21 |  1571751 |  1371145 |    15904    212 |        5 |      262
899.43/899.74	c  899s |      21 |  1574836 |  1373945 |    15904    212 |        5 |      262
901.53/901.81	c  901s |      21 |  1577083 |  1375845 |    15904    212 |        5 |      262
903.53/903.84	c  903s |      21 |  1580716 |  1379045 |    15904    213 |        5 |      262
905.53/905.85	c  905s |      21 |  1584150 |  1382145 |    15904    213 |        5 |      262
907.53/907.89	c  907s |      21 |  1587703 |  1385245 |    15904    214 |        5 |      262
909.62/909.94	c  909s |      21 |  1591486 |  1388445 |    15904    214 |        5 |      262
911.63/912.00	c  911s |      21 |  1594434 |  1391145 |    15904    214 |        5 |      262
913.72/914.02	c  913s |      21 |  1597696 |  1394045 |    15904    215 |        5 |      262
915.72/916.07	c  915s |      21 |  1600838 |  1396945 |    15904    215 |        5 |      262
917.72/918.08	c  917s |      21 |  1603606 |  1399445 |    15904    215 |        5 |      262
919.72/920.09	c  919s |      21 |  1606849 |  1402045 |    15904    216 |        5 |      262
921.82/922.15	c  922s |      21 |  1610016 |  1404745 |    15904    216 |        5 |      262
923.82/924.16	c  924s |      21 |  1612703 |  1407145 |    15904    216 |        5 |      262
925.82/926.20	c  926s |      21 |  1615866 |  1409945 |    15904    217 |        5 |      262
927.93/928.24	c  928s |      21 |  1618662 |  1412345 |    15904    217 |        5 |      262
929.93/930.25	c  930s |      21 |  1621973 |  1415245 |    15904    217 |        5 |      262
932.03/932.32	c  932s |      21 |  1625719 |  1418645 |    15904    218 |        5 |      262
934.03/934.38	c  934s |      21 |  1629382 |  1421945 |    15904    218 |        5 |      262
936.12/936.43	c  936s |      21 |  1632585 |  1424845 |    15904    219 |        5 |      262
938.13/938.43	c  938s |      21 |  1635993 |  1427945 |    15904    219 |        5 |      262
940.12/940.45	c  940s |      21 |  1639236 |  1430945 |    15904    219 |        5 |      262
942.12/942.49	c  942s |      21 |  1641938 |  1433345 |    15904    220 |        5 |      262
944.22/944.55	c  944s |      21 |  1645790 |  1436845 |    15904    220 |        5 |      262
946.22/946.58	c  946s |      21 |  1649010 |  1439845 |    15904    220 |        5 |      262
948.32/948.66	c  948s |      21 |  1652284 |  1442945 |    15904    221 |        5 |      262
950.32/950.69	c  950s |      21 |  1655794 |  1446145 |    15904    221 |        5 |      262
952.43/952.74	c  952s |      21 |  1658369 |  1448445 |    15904    222 |        5 |      262
954.42/954.74	c  954s |      21 |  1662128 |  1451745 |    15904    222 |        5 |      262
956.42/956.77	c  956s |      21 |  1665189 |  1454545 |    15904    222 |        5 |      262
958.42/958.79	c  958s |      21 |  1668569 |  1457345 |    15904    223 |        5 |      262
960.52/960.81	c  960s |      21 |  1672191 |  1460245 |    15904    223 |        5 |      262
962.52/962.81	c  962s |      21 |  1675579 |  1462845 |    15904    223 |        5 |      262
965.71/966.04	c  965s |      21 |  1677111 |  1464145 |    15904    223 |        5 |      262
967.72/968.06	c  967s |      21 |  1680159 |  1466945 |    15904    224 |        5 |      262
969.71/970.06	c  969s |      21 |  1683075 |  1469545 |    15904    224 |        5 |      262
971.71/972.09	c  971s |      21 |  1685770 |  1472045 |    15904    224 |        5 |      262
973.81/974.13	c  974s |      21 |  1689235 |  1475045 |    15904    225 |        5 |      262
975.81/976.16	c  976s |      21 |  1692401 |  1477945 |    15904    225 |        5 |      262
977.91/978.22	c  978s |      21 |  1695259 |  1480445 |    15904    225 |        5 |      262
979.91/980.23	c  980s |      21 |  1698421 |  1483245 |    15904    226 |        5 |      262
981.91/982.29	c  982s |      21 |  1702104 |  1486545 |    15904    226 |        5 |      262
984.01/984.31	c  984s |      21 |  1705434 |  1489445 |    15904    227 |        5 |      262
986.01/986.31	c  986s |      21 |  1709065 |  1492745 |    17495    227 |        5 |      262
988.00/988.32	c  988s |      21 |  1712403 |  1495745 |    17495    227 |        5 |      262
990.10/990.43	c  990s |      21 |  1715257 |  1498345 |    17495    228 |        5 |      262
991.40/991.77	c  991s |      22 |  1717779 |  1500622 |    17495    228 |        5 |      262
993.50/993.81	c  993s |      22 |  1720443 |  1502922 |    17495    228 |        5 |      262
995.50/995.83	c  995s |      22 |  1723498 |  1505422 |    17495    228 |        5 |      262
997.51/997.84	c  997s |      22 |  1726952 |  1508422 |    17495    229 |        5 |      262
999.50/999.85	c  999s |      22 |  1730742 |  1511622 |    17495    229 |        5 |      262
1001.50/1001.85	c 1001s |      22 |  1734382 |  1514722 |    17495    229 |        5 |      262
1003.60/1003.91	c 1003s |      22 |  1737891 |  1517822 |    17495    230 |        5 |      262
1005.60/1005.92	c 1005s |      22 |  1741415 |  1521022 |    17495    230 |        5 |      262
1007.60/1007.97	c 1007s |      22 |  1744767 |  1524022 |    17495    230 |        5 |      262
1010.20/1010.53	c 1010s |      22 |  1746787 |  1525822 |    17495    231 |        5 |      262
1012.20/1012.56	c 1012s |      22 |  1750858 |  1529422 |    17495    231 |        5 |      262
1014.30/1014.62	c 1014s |      22 |  1754222 |  1532422 |    17495    231 |        5 |      262
1016.30/1016.66	c 1016s |      22 |  1757496 |  1535422 |    17495    232 |        5 |      262
1018.30/1018.67	c 1018s |      22 |  1760605 |  1538322 |    17495    232 |        5 |      262
1020.40/1020.71	c 1020s |      22 |  1763555 |  1540922 |    17495    232 |        5 |      262
1022.60/1022.99	c 1022s |      22 |  1765487 |  1542522 |    17495    233 |        5 |      262
1024.70/1025.04	c 1024s |      22 |  1769217 |  1545822 |    17495    233 |        5 |      262
1026.69/1027.08	c 1026s |      22 |  1772161 |  1548522 |    17495    233 |        5 |      262
1028.79/1029.13	c 1029s |      22 |  1775103 |  1551122 |    17495    233 |        5 |      262
1030.79/1031.15	c 1031s |      22 |  1778652 |  1554122 |    17495    234 |        5 |      262
1032.89/1033.22	c 1033s |      22 |  1782218 |  1557322 |    17495    234 |        5 |      262
1034.99/1035.33	c 1035s |      22 |  1785483 |  1560222 |    17495    235 |        5 |      262
1037.00/1037.36	c 1037s |      22 |  1789361 |  1563722 |    17495    235 |        5 |      262
1038.99/1039.36	c 1039s |      22 |  1792669 |  1566622 |    17495    235 |        5 |      262
1041.09/1041.42	c 1041s |      22 |  1795168 |  1568822 |    17495    235 |        5 |      262
1043.09/1043.43	c 1043s |      22 |  1798475 |  1571722 |    17495    236 |        5 |      262
1045.09/1045.44	c 1045s |      22 |  1801872 |  1574622 |    17495    236 |        5 |      262
1047.19/1047.54	c 1047s |      22 |  1805133 |  1577422 |    17495    236 |        5 |      262
1049.20/1049.57	c 1049s |      22 |  1808688 |  1580422 |    17495    237 |        5 |      262
1051.19/1051.60	c 1051s |      22 |  1812257 |  1583622 |    17495    237 |        5 |      262
1053.29/1053.67	c 1053s |      22 |  1815455 |  1586422 |    17495    237 |        5 |      262
1055.39/1055.70	c 1055s |      22 |  1819158 |  1589722 |    17495    238 |        5 |      262
1057.39/1057.76	c 1057s |      22 |  1822793 |  1592922 |    17495    238 |        5 |      262
1059.49/1059.83	c 1059s |      22 |  1824818 |  1594722 |    17495    238 |        5 |      262
1061.49/1061.85	c 1061s |      22 |  1827693 |  1597122 |    17495    239 |        5 |      262
1063.50/1063.85	c 1063s |      22 |  1831366 |  1600322 |    17495    239 |        5 |      262
1065.49/1065.89	c 1065s |      22 |  1834860 |  1603422 |    17495    239 |        5 |      262
1067.59/1067.91	c 1067s |      22 |  1838480 |  1606622 |    17495    240 |        5 |      262
1069.59/1069.98	c 1069s |      22 |  1842333 |  1610122 |    17495    240 |        5 |      262
1071.69/1072.04	c 1071s |      22 |  1845665 |  1613022 |    17495    240 |        5 |      262
1073.69/1074.07	c 1073s |      22 |  1849228 |  1616122 |    17495    241 |        5 |      262
1075.69/1076.07	c 1075s |      22 |  1851206 |  1617822 |    17495    241 |        5 |      262
1077.79/1078.13	c 1078s |      22 |  1854626 |  1620722 |    17495    241 |        5 |      262
1079.78/1080.17	c 1080s |      22 |  1858146 |  1623822 |    17495    242 |        5 |      262
1081.78/1082.18	c 1082s |      22 |  1862036 |  1627222 |    17495    242 |        5 |      262
1083.78/1084.18	c 1084s |      22 |  1865513 |  1630322 |    17495    242 |        5 |      262
1085.78/1086.19	c 1086s |      22 |  1868399 |  1632822 |    17495    243 |        5 |      262
1087.88/1088.23	c 1088s |      22 |  1872113 |  1636122 |    17495    243 |        5 |      262
1089.89/1090.28	c 1090s |      22 |  1875620 |  1639222 |    17495    243 |        5 |      262
1091.99/1092.33	c 1092s |      22 |  1879349 |  1642522 |    17495    244 |        5 |      262
1093.98/1094.39	c 1094s |      22 |  1882842 |  1645722 |    17495    244 |        5 |      262
1097.50/1097.81	c 1097s |      22 |  1885340 |  1647922 |    17495    244 |        5 |      262
1099.49/1099.88	c 1099s |      22 |  1888970 |  1651122 |    17495    245 |        5 |      262
1101.59/1101.92	c 1101s |      22 |  1892792 |  1654622 |    17495    245 |        5 |      262
1103.59/1103.97	c 1103s |      22 |  1896001 |  1657522 |    17495    246 |        5 |      262
1105.69/1106.01	c 1105s |      22 |  1899718 |  1660722 |    17495    246 |        5 |      262
1107.69/1108.03	c 1107s |      22 |  1903560 |  1663822 |    17495    246 |        5 |      262
1109.69/1110.05	c 1109s |      22 |  1906547 |  1666422 |    17495    247 |        5 |      262
1111.69/1112.07	c 1111s |      22 |  1910004 |  1669122 |    17495    247 |        5 |      262
1113.69/1114.09	c 1113s |      22 |  1913017 |  1671622 |    17495    247 |        5 |      262
1115.79/1116.17	c 1116s |      22 |  1916082 |  1674122 |    17495    247 |        5 |      262
1117.89/1118.24	c 1118s |      22 |  1918798 |  1676422 |    17495    248 |        5 |      262
1119.88/1120.26	c 1120s |      22 |  1921930 |  1678822 |    17495    248 |        5 |      262
1121.98/1122.32	c 1122s |      22 |  1924822 |  1681122 |    17495    248 |        5 |      262
1124.08/1124.41	c 1124s |      22 |  1927640 |  1683522 |    17495    248 |        5 |      262
1126.09/1126.47	c 1126s |      22 |  1930685 |  1686122 |    17495    249 |        5 |      262
1128.18/1128.51	c 1128s |      22 |  1934011 |  1688722 |    17495    249 |        5 |      262
1130.18/1130.56	c 1130s |      22 |  1936714 |  1691022 |    17495    249 |        5 |      262
1132.28/1132.65	c 1132s |      22 |  1939037 |  1693022 |    17495    250 |        5 |      262
1134.28/1134.68	c 1134s |      22 |  1941886 |  1695222 |    17495    250 |        5 |      262
1136.38/1136.73	c 1136s |      22 |  1945396 |  1698122 |    17495    250 |        5 |      262
1138.38/1138.77	c 1138s |      22 |  1948483 |  1700622 |    17495    250 |        5 |      262
1140.39/1140.78	c 1140s |      22 |  1951494 |  1703322 |    17495    251 |        5 |      262
1142.48/1142.85	c 1142s |      22 |  1954741 |  1706222 |    17495    251 |        5 |      262
1144.58/1144.91	c 1144s |      22 |  1957475 |  1708722 |    17495    251 |        5 |      262
1146.58/1146.95	c 1146s |      22 |  1960109 |  1711122 |    17495    252 |        5 |      262
1148.58/1148.97	c 1148s |      22 |  1963214 |  1713922 |    17495    252 |        5 |      262
1150.68/1151.02	c 1150s |      22 |  1966157 |  1716622 |    17495    252 |        5 |      262
1152.68/1153.03	c 1152s |      22 |  1968492 |  1718722 |    17495    252 |        5 |      262
1154.68/1155.06	c 1154s |      22 |  1971026 |  1721022 |    17495    253 |        5 |      262
1156.78/1157.10	c 1156s |      22 |  1974491 |  1723922 |    17495    253 |        5 |      262
1158.78/1159.17	c 1159s |      22 |  1977907 |  1726522 |    17495    253 |        5 |      262
1160.78/1161.17	c 1161s |      22 |  1980680 |  1728922 |    17495    254 |        5 |      262
1162.88/1163.23	c 1163s |      22 |  1984392 |  1731722 |    17495    254 |        5 |      262
1164.88/1165.26	c 1165s |      22 |  1987392 |  1734122 |    17495    254 |        5 |      262
1166.98/1167.33	c 1167s |      22 |  1988507 |  1735122 |    17495    254 |        5 |      262
1168.98/1169.34	c 1169s |      22 |  1991302 |  1737522 |    17495    255 |        5 |      262
1170.97/1171.35	c 1171s |      22 |  1994702 |  1740522 |    17495    255 |        5 |      262
1172.97/1173.37	c 1173s |      22 |  1997960 |  1743322 |    17495    255 |        5 |      262
1175.07/1175.49	c 1175s |      22 |  2000793 |  1745822 |    17495    256 |        5 |      262
1177.17/1177.54	c 1177s |      22 |  2004589 |  1749222 |    17495    256 |        5 |      262
1179.17/1179.58	c 1179s |      22 |  2007840 |  1752222 |    17495    256 |        5 |      262
1181.37/1181.71	c 1181s |      22 |  2010716 |  1754722 |    17495    257 |        5 |      262
1183.38/1183.71	c 1183s |      22 |  2014371 |  1757922 |    17495    257 |        5 |      262
1185.37/1185.75	c 1185s |      22 |  2017708 |  1761022 |    17495    257 |        5 |      262
1187.47/1187.80	c 1187s |      22 |  2020862 |  1763822 |    17495    258 |        5 |      262
1189.47/1189.85	c 1189s |      22 |  2024214 |  1766822 |    17495    258 |        5 |      262
1191.47/1191.87	c 1191s |      22 |  2027672 |  1769922 |    17495    258 |        5 |      262
1193.57/1193.92	c 1193s |      22 |  2030462 |  1772422 |    17495    259 |        5 |      262
1195.57/1195.92	c 1195s |      22 |  2034045 |  1775722 |    17495    259 |        5 |      262
1197.57/1197.96	c 1197s |      22 |  2037533 |  1778522 |    17495    259 |        5 |      262
1200.17/1200.56	c 1200s |      22 |  2038293 |  1779222 |    17495    259 |        5 |      262
1202.27/1202.60	c 1202s |      22 |  2040965 |  1781622 |    17495    260 |        5 |      262
1204.27/1204.61	c 1204s |      22 |  2044487 |  1784722 |    17495    260 |        5 |      262
1206.26/1206.67	c 1206s |      22 |  2047647 |  1787622 |    17495    260 |        5 |      262
1208.36/1208.73	c 1208s |      22 |  2050359 |  1790122 |    17495    261 |        5 |      262
1210.66/1211.08	c 1210s |      22 |  2053189 |  1792522 |    17495    261 |        5 |      262
1212.66/1213.09	c 1212s |      22 |  2056305 |  1795222 |    17495    261 |        5 |      262
1214.76/1215.11	c 1214s |      22 |  2059235 |  1797822 |    17495    261 |        5 |      262
1216.76/1217.14	c 1217s |      22 |  2062224 |  1800522 |    17495    262 |        5 |      262
1218.77/1219.18	c 1219s |      22 |  2065087 |  1803022 |    17495    262 |        5 |      262
1220.87/1221.25	c 1221s |      22 |  2068394 |  1806022 |    17495    262 |        5 |      262
1222.88/1223.26	c 1223s |      22 |  2071386 |  1808722 |    17495    263 |        5 |      262
1224.87/1225.27	c 1225s |      22 |  2074563 |  1811622 |    17495    263 |        5 |      262
1227.07/1227.45	c 1227s |      22 |  2077299 |  1814122 |    17495    263 |        5 |      262
1229.07/1229.49	c 1229s |      22 |  2079965 |  1816522 |    17495    263 |        5 |      262
1231.17/1231.54	c 1231s |      22 |  2082977 |  1819322 |    17495    264 |        5 |      262
1233.17/1233.58	c 1233s |      22 |  2086007 |  1822122 |    17495    264 |        5 |      262
1235.27/1235.63	c 1235s |      22 |  2088792 |  1824622 |    17495    264 |        5 |      262
1237.37/1237.71	c 1237s |      22 |  2091692 |  1827122 |    17495    265 |        5 |      262
1239.37/1239.79	c 1239s |      22 |  2094981 |  1830122 |    17495    265 |        5 |      262
1241.47/1241.87	c 1241s |      22 |  2097631 |  1832622 |    17495    265 |        5 |      262
1243.57/1243.96	c 1243s |      22 |  2098107 |  1833022 |    17495    265 |        5 |      262
1245.67/1246.00	c 1245s |      22 |  2100922 |  1835422 |    17495    266 |        5 |      262
1247.67/1248.05	c 1247s |      22 |  2104534 |  1838622 |    17495    266 |        5 |      262
1249.67/1250.09	c 1249s |      22 |  2107538 |  1841322 |    17495    266 |        5 |      262
1251.76/1252.15	c 1252s |      22 |  2110351 |  1843722 |    17495    267 |        5 |      262
1253.77/1254.19	c 1254s |      22 |  2113759 |  1846722 |    17495    267 |        5 |      262
1255.87/1256.25	c 1256s |      22 |  2117057 |  1849622 |    17495    267 |        5 |      262
1257.96/1258.30	c 1258s |      22 |  2119967 |  1852222 |    17495    268 |        5 |      262
1259.96/1260.31	c 1260s |      22 |  2123089 |  1855022 |    17495    268 |        5 |      262
1261.96/1262.35	c 1262s |      22 |  2126509 |  1858122 |    17495    268 |        5 |      262
1264.06/1264.43	c 1264s |      22 |  2129350 |  1860722 |    17495    268 |        5 |      262
1266.06/1266.44	c 1266s |      22 |  2132893 |  1863922 |    17495    269 |        5 |      262
1268.66/1269.01	c 1268s |      22 |  2135587 |  1866422 |    17495    269 |        5 |      262
1270.66/1271.07	c 1270s |      22 |  2138270 |  1868722 |    17495    269 |        5 |      262
1272.66/1273.09	c 1272s |      22 |  2141473 |  1871522 |    17495    270 |        5 |      262
1274.76/1275.15	c 1275s |      22 |  2144953 |  1874622 |    17495    270 |        5 |      262
1276.76/1277.15	c 1277s |      22 |  2147839 |  1877222 |    17495    270 |        5 |      262
1278.76/1279.17	c 1279s |      22 |  2151153 |  1880122 |    17495    271 |        5 |      262
1280.86/1281.20	c 1281s |      22 |  2154883 |  1883122 |    17495    271 |        5 |      262
1282.85/1283.29	c 1283s |      22 |  2157965 |  1885722 |    17495    271 |        5 |      262
1285.15/1285.53	c 1285s |      22 |  2159778 |  1887322 |    17495    272 |        5 |      262
1287.25/1287.60	c 1287s |      22 |  2163424 |  1890622 |    17495    272 |        5 |      262
1289.25/1289.61	c 1289s |      22 |  2166115 |  1893122 |    17495    272 |        5 |      262
1291.25/1291.67	c 1291s |      22 |  2168454 |  1895322 |    17495    272 |        5 |      262
1293.36/1293.72	c 1293s |      22 |  2171369 |  1898022 |    17495    273 |        5 |      262
1295.36/1295.78	c 1295s |      22 |  2174583 |  1900922 |    17495    273 |        5 |      262
1297.46/1297.82	c 1297s |      22 |  2177289 |  1903422 |    17495    273 |        5 |      262
1299.46/1299.83	c 1299s |      22 |  2179390 |  1905322 |    17495    274 |        5 |      262
1301.46/1301.89	c 1301s |      22 |  2183139 |  1908722 |    17495    274 |        5 |      262
1303.56/1303.94	c 1303s |      22 |  2185972 |  1911222 |    17495    274 |        5 |      262
1305.56/1305.96	c 1305s |      22 |  2188204 |  1913122 |    17495    274 |        5 |      262
1307.56/1307.99	c 1307s |      22 |  2191217 |  1915722 |    17495    275 |        5 |      262
1309.65/1310.00	c 1309s |      22 |  2194970 |  1918922 |    17495    275 |        5 |      262
1311.65/1312.02	c 1311s |      22 |  2198235 |  1921722 |    17495    275 |        5 |      262
1313.65/1314.02	c 1313s |      22 |  2201768 |  1924822 |    17495    276 |        5 |      262
1315.65/1316.06	c 1315s |      22 |  2205690 |  1928222 |    17495    276 |        5 |      262
1317.65/1318.09	c 1317s |      22 |  2209243 |  1931322 |    17495    276 |        5 |      262
1320.15/1320.58	c 1320s |      22 |  2211369 |  1933222 |    17495    277 |        5 |      262
1322.15/1322.59	c 1322s |      22 |  2214182 |  1935622 |    17495    277 |        5 |      262
1324.25/1324.61	c 1324s |      22 |  2218190 |  1939122 |    17495    277 |        5 |      262
1326.26/1326.67	c 1326s |      22 |  2221644 |  1942222 |    17495    278 |        5 |      262
1328.35/1328.71	c 1328s |      22 |  2225613 |  1945422 |    17495    278 |        5 |      262
1330.45/1330.81	c 1330s |      22 |  2229121 |  1948322 |    17495    278 |        5 |      262
1332.45/1332.88	c 1332s |      22 |  2232022 |  1950722 |    17495    279 |        5 |      262
1334.55/1334.95	c 1334s |      22 |  2234845 |  1953322 |    17495    279 |        5 |      262
1336.55/1336.96	c 1336s |      22 |  2237349 |  1955522 |    17495    279 |        5 |      262
1338.55/1338.98	c 1338s |      22 |  2239609 |  1957622 |    17495    279 |        5 |      262
1340.56/1340.99	c 1340s |      22 |  2242217 |  1959922 |    17495    280 |        5 |      262
1342.65/1343.03	c 1342s |      22 |  2246105 |  1963322 |    17495    280 |        5 |      262
1344.75/1345.10	c 1344s |      22 |  2249458 |  1966222 |    17495    280 |        5 |      262
1346.75/1347.15	c 1347s |      22 |  2252838 |  1969222 |    17495    281 |        5 |      262
1348.85/1349.20	c 1349s |      22 |  2256163 |  1972122 |    17495    281 |        5 |      262
1350.85/1351.27	c 1351s |      22 |  2259598 |  1974822 |    17495    281 |        5 |      262
1352.95/1353.33	c 1353s |      22 |  2263019 |  1977422 |    17495    282 |        5 |      262
1355.05/1355.40	c 1355s |      22 |  2266161 |  1980322 |    17495    282 |        5 |      262
1357.05/1357.41	c 1357s |      22 |  2268829 |  1982722 |    17495    282 |        5 |      262
1359.04/1359.45	c 1359s |      22 |  2271556 |  1985222 |    17495    283 |        5 |      262
1361.04/1361.47	c 1361s |      22 |  2274785 |  1988222 |    17495    283 |        5 |      262
1363.14/1363.53	c 1363s |      22 |  2277951 |  1991022 |    17495    283 |        5 |      262
1365.14/1365.58	c 1365s |      22 |  2280853 |  1993522 |    17495    284 |        5 |      262
1367.24/1367.60	c 1367s |      22 |  2284630 |  1996922 |    17495    284 |        5 |      262
1369.25/1369.66	c 1369s |      22 |  2287797 |  1999722 |    17495    284 |        5 |      262
1371.35/1371.72	c 1371s |      22 |  2290549 |  2002022 |    17495    284 |        5 |      262
1373.44/1373.82	c 1373s |      22 |  2293765 |  2004922 |    17495    285 |        5 |      262
1375.44/1375.85	c 1375s |      22 |  2297047 |  2007822 |    17495    285 |        5 |      262
1377.44/1377.86	c 1377s |      22 |  2299883 |  2010422 |    17495    285 |        5 |      262
1379.54/1379.97	c 1379s |      22 |  2302792 |  2013122 |    17495    286 |        5 |      262
1381.64/1382.02	c 1381s |      22 |  2306101 |  2016022 |    17495    286 |        5 |      262
1383.64/1384.07	c 1383s |      22 |  2309011 |  2018622 |    17495    286 |        5 |      262
1385.65/1386.09	c 1385s |      22 |  2311517 |  2020922 |    17495    287 |        5 |      262
1387.74/1388.11	c 1387s |      22 |  2314484 |  2023622 |    17495    287 |        5 |      262
1389.74/1390.15	c 1390s |      22 |  2317215 |  2026122 |    17495    287 |        5 |      262
1391.74/1392.16	c 1392s |      22 |  2320191 |  2028522 |    17495    287 |        5 |      262
1393.74/1394.17	c 1394s |      22 |  2323094 |  2030922 |    17495    288 |        5 |      262
1397.24/1397.66	c 1397s |      22 |  2324977 |  2032622 |    17495    288 |        5 |      262
1399.24/1399.68	c 1399s |      22 |  2328402 |  2035222 |    17495    288 |        5 |      262
1401.34/1401.76	c 1401s |      22 |  2331771 |  2037822 |    17495    289 |        5 |      262
1403.34/1403.79	c 1403s |      22 |  2335382 |  2040422 |    17495    289 |        5 |      262
1405.44/1405.88	c 1405s |      22 |  2338179 |  2042622 |    17495    289 |        5 |      262
1407.54/1407.93	c 1407s |      22 |  2340920 |  2044922 |    17495    289 |        5 |      262
1409.53/1409.96	c 1409s |      22 |  2343708 |  2047022 |    17495    290 |        5 |      262
1411.63/1412.03	c 1411s |      22 |  2347105 |  2049622 |    17495    290 |        5 |      262
1413.63/1414.04	c 1413s |      22 |  2350214 |  2051622 |    17495    290 |        5 |      262
1415.73/1416.10	c 1415s |      22 |  2352808 |  2053422 |    17495    290 |        5 |      262
1417.74/1418.18	c 1418s |      22 |  2354929 |  2055022 |    17495    290 |        5 |      262
1419.85/1420.25	c 1420s |      22 |  2357041 |  2056822 |    17495    291 |        5 |      262
1421.95/1422.32	c 1422s |      22 |  2359480 |  2058922 |    17495    291 |        5 |      262
1423.94/1424.38	c 1424s |      22 |  2361642 |  2060822 |    17495    291 |        5 |      262
1426.14/1426.50	c 1426s |      22 |  2363560 |  2062522 |    17495    291 |        5 |      262
1428.24/1428.66	c 1428s |      22 |  2365705 |  2064222 |    17495    292 |        5 |      262
1430.34/1430.70	c 1430s |      22 |  2369054 |  2067022 |    17495    292 |        5 |      262
1432.34/1432.75	c 1432s |      22 |  2372941 |  2069822 |    17495    292 |        5 |      262
1434.34/1434.79	c 1434s |      22 |  2375749 |  2072022 |    17495    292 |        5 |      262
1436.44/1436.84	c 1436s |      22 |  2378425 |  2074122 |    17495    293 |        5 |      262
1438.44/1438.89	c 1438s |      22 |  2381249 |  2076222 |    17495    293 |        5 |      262
1440.54/1440.96	c 1440s |      22 |  2383530 |  2078122 |    17495    293 |        5 |      262
1442.54/1443.00	c 1442s |      22 |  2385852 |  2080022 |    17495    293 |        5 |      262
1444.74/1445.11	c 1444s |      22 |  2387855 |  2081722 |    17495    293 |        5 |      262
1446.73/1447.17	c 1447s |      22 |  2390482 |  2083822 |    17495    294 |        5 |      262
1448.73/1449.18	c 1449s |      22 |  2393033 |  2086022 |    17495    294 |        5 |      262
1450.83/1451.26	c 1451s |      22 |  2395478 |  2088222 |    17495    294 |        5 |      262
1452.93/1453.35	c 1453s |      22 |  2397875 |  2090122 |    17495    294 |        5 |      262
1454.94/1455.39	c 1455s |      22 |  2400914 |  2092322 |    17495    295 |        5 |      262
1457.03/1457.44	c 1457s |      22 |  2404148 |  2095022 |    17495    295 |        5 |      262
1459.13/1459.51	c 1459s |      22 |  2406935 |  2097222 |    17495    295 |        5 |      262
1461.13/1461.56	c 1461s |      22 |  2409098 |  2099122 |    17495    295 |        5 |      262
1463.23/1463.61	c 1463s |      22 |  2411794 |  2101322 |    17495    296 |        5 |      262
1465.23/1465.65	c 1465s |      22 |  2414574 |  2103622 |    17495    296 |        5 |      262
1467.33/1467.72	c 1467s |      22 |  2416950 |  2105622 |    17495    296 |        5 |      262
1469.34/1469.73	c 1469s |      22 |  2418859 |  2107422 |    17495    296 |        5 |      262
1471.63/1472.08	c 1471s |      22 |  2420846 |  2109222 |    17495    297 |        5 |      262
1473.64/1474.09	c 1473s |      22 |  2424405 |  2112422 |    17495    297 |        5 |      262
1475.73/1476.16	c 1476s |      22 |  2427475 |  2115122 |    17495    297 |        5 |      262
1477.93/1478.39	c 1478s |      22 |  2430022 |  2117422 |    17495    298 |        5 |      262
1480.03/1480.46	c 1480s |      22 |  2433464 |  2120522 |    17495    298 |        5 |      262
1482.03/1482.49	c 1482s |      22 |  2436346 |  2123222 |    17495    298 |        5 |      262
1484.13/1484.54	c 1484s |      22 |  2438928 |  2125622 |    17495    298 |        5 |      262
1486.13/1486.57	c 1486s |      22 |  2441713 |  2128122 |    17495    299 |        5 |      262
1488.23/1488.61	c 1488s |      22 |  2444396 |  2130622 |    17495    299 |        5 |      262
1491.13/1491.53	c 1491s |      22 |  2446951 |  2132822 |    17495    299 |        5 |      262
1493.13/1493.56	c 1493s |      22 |  2449601 |  2135222 |    17495    300 |        5 |      262
1495.13/1495.59	c 1495s |      22 |  2453658 |  2138422 |    17495    300 |        5 |      262
1497.23/1497.63	c 1497s |      22 |  2456499 |  2140822 |    17495    300 |        5 |      262
1499.23/1499.68	c 1499s |      22 |  2459524 |  2143422 |    17495    300 |        5 |      262
1501.23/1501.69	c 1501s |      22 |  2462516 |  2146122 |    17495    301 |        5 |      262
1503.33/1503.74	c 1503s |      22 |  2465581 |  2148922 |    17495    301 |        5 |      262
1505.33/1505.78	c 1505s |      22 |  2468254 |  2151322 |    17495    301 |        5 |      262
1507.42/1507.81	c 1507s |      22 |  2471058 |  2153822 |    17495    302 |        5 |      262
1509.42/1509.81	c 1509s |      22 |  2474542 |  2156922 |    17495    302 |        5 |      262
1511.42/1511.88	c 1511s |      22 |  2478021 |  2159722 |    17495    302 |        5 |      262
1513.52/1513.94	c 1513s |      22 |  2480609 |  2162022 |    17495    303 |        5 |      262
1515.53/1515.99	c 1515s |      22 |  2483395 |  2164522 |    17495    303 |        5 |      262
1517.63/1518.07	c 1517s |      22 |  2486471 |  2167022 |    17495    303 |        5 |      262
1519.72/1520.14	c 1520s |      22 |  2488809 |  2169122 |    17495    303 |        5 |      262
1521.72/1522.14	c 1522s |      22 |  2491219 |  2171222 |    17495    304 |        5 |      262
1523.72/1524.17	c 1524s |      22 |  2494189 |  2173722 |    17495    304 |        5 |      262
1525.82/1526.20	c 1526s |      22 |  2497000 |  2175922 |    17495    304 |        5 |      262
1530.52/1530.99	c 1530s |      22 |  2499305 |  2177822 |    17495    304 |        5 |      262
1532.62/1533.03	c 1532s |      22 |  2502242 |  2180222 |    17495    305 |        5 |      262
1534.62/1535.08	c 1534s |      22 |  2505895 |  2183522 |    17495    305 |        5 |      262
1536.72/1537.10	c 1536s |      22 |  2508740 |  2186122 |    17495    305 |        5 |      262
1538.72/1539.10	c 1538s |      22 |  2510710 |  2187922 |    17495    305 |        5 |      262
1540.62/1541.10	c 1540s |      22 |  2513568 |  2190522 |    17495    306 |        5 |      262
1542.72/1543.18	c 1543s |      22 |  2516538 |  2193122 |    17495    306 |        5 |      262
1544.82/1545.29	c 1545s |      22 |  2518986 |  2195322 |    17495    306 |        5 |      262
1546.91/1547.31	c 1547s |      22 |  2522066 |  2197622 |    17495    307 |        5 |      262
1548.91/1549.36	c 1549s |      22 |  2525303 |  2200222 |    17495    307 |        5 |      262
1550.91/1551.38	c 1551s |      22 |  2528307 |  2202722 |    17495    307 |        5 |      262
1553.01/1553.41	c 1553s |      22 |  2530965 |  2204822 |    17495    307 |        5 |      262
1555.02/1555.46	c 1555s |      22 |  2533339 |  2206722 |    17495    308 |        5 |      262
1557.11/1557.52	c 1557s |      22 |  2536128 |  2208922 |    17495    308 |        5 |      262
1559.11/1559.52	c 1559s |      22 |  2539155 |  2211222 |    17495    308 |        5 |      262
1561.11/1561.56	c 1561s |      22 |  2541708 |  2213422 |    17495    308 |        5 |      262
1563.21/1563.66	c 1563s |      22 |  2543943 |  2215522 |    17495    309 |        5 |      262
1565.21/1565.66	c 1565s |      22 |  2546743 |  2218122 |    17495    309 |        5 |      262
1567.22/1567.69	c 1567s |      22 |  2549650 |  2220822 |    17495    309 |        5 |      262
1569.32/1569.72	c 1569s |      22 |  2551990 |  2223022 |    17495    309 |        5 |      262
1571.31/1571.73	c 1571s |      22 |  2554297 |  2225122 |    17495    310 |        5 |      262
1573.31/1573.79	c 1573s |      22 |  2557693 |  2228222 |    17495    310 |        5 |      262
1575.41/1575.80	c 1575s |      22 |  2560715 |  2230922 |    17495    310 |        5 |      262
1577.41/1577.80	c 1577s |      22 |  2563479 |  2233422 |    17495    311 |        5 |      262
1579.41/1579.83	c 1579s |      22 |  2566449 |  2236122 |    19245    311 |        5 |      262
1581.42/1581.88	c 1581s |      22 |  2569431 |  2238822 |    19245    311 |        5 |      262
1583.51/1583.93	c 1583s |      22 |  2571913 |  2241122 |    19245    311 |        5 |      262
1585.61/1586.08	c 1585s |      22 |  2574156 |  2243222 |    19245    312 |        5 |      262
1587.71/1588.10	c 1587s |      22 |  2577082 |  2245922 |    19245    312 |        5 |      262
1589.71/1590.15	c 1590s |      22 |  2579795 |  2248422 |    19245    312 |        5 |      262
1591.81/1592.22	c 1592s |      22 |  2582395 |  2250822 |    19245    312 |        5 |      262
1592.01/1592.43	c 1592s |      23 |  2582619 |  2251038 |    19245    312 |        5 |      262
1594.11/1594.54	c 1594s |      23 |  2584492 |  2252638 |    19245    313 |        5 |      262
1596.11/1596.55	c 1596s |      23 |  2588010 |  2255738 |    19245    313 |        5 |      262
1598.11/1598.59	c 1598s |      23 |  2591287 |  2258738 |    19245    313 |        5 |      262
1600.22/1600.63	c 1600s |      23 |  2594226 |  2261338 |    19245    313 |        5 |      262
1602.32/1602.71	c 1602s |      23 |  2597435 |  2264138 |    19245    314 |        5 |      262
1604.31/1604.75	c 1604s |      23 |  2600610 |  2266938 |    19245    314 |        5 |      262
1606.31/1606.75	c 1606s |      23 |  2603518 |  2269538 |    19245    314 |        5 |      262
1608.31/1608.79	c 1608s |      23 |  2606319 |  2271938 |    19245    314 |        5 |      262
1610.41/1610.82	c 1610s |      23 |  2608926 |  2274338 |    19245    315 |        5 |      262
1612.41/1612.85	c 1612s |      23 |  2611752 |  2276938 |    19245    315 |        5 |      262
1614.42/1614.90	c 1614s |      23 |  2614415 |  2279238 |    19245    315 |        5 |      262
1616.72/1617.13	c 1617s |      23 |  2617102 |  2281638 |    19245    316 |        5 |      262
1618.71/1619.13	c 1619s |      23 |  2620334 |  2284538 |    19245    316 |        5 |      262
1620.91/1621.40	c 1621s |      23 |  2623201 |  2287138 |    19245    316 |        5 |      262
1623.01/1623.43	c 1623s |      23 |  2625870 |  2289538 |    19245    316 |        5 |      262
1625.01/1625.46	c 1625s |      23 |  2628272 |  2291738 |    19245    317 |        5 |      262
1627.01/1627.47	c 1627s |      23 |  2631542 |  2294638 |    19245    317 |        5 |      262
1629.01/1629.49	c 1629s |      23 |  2634943 |  2297538 |    19245    317 |        5 |      262
1631.11/1631.54	c 1631s |      23 |  2637728 |  2300038 |    19245    317 |        5 |      262
1633.11/1633.59	c 1633s |      23 |  2640516 |  2302638 |    19245    318 |        5 |      262
1635.11/1635.59	c 1635s |      23 |  2643379 |  2305238 |    19245    318 |        5 |      262
1637.21/1637.60	c 1637s |      23 |  2646107 |  2307738 |    19245    318 |        5 |      262
1639.40/1639.84	c 1639s |      23 |  2648483 |  2309938 |    19245    318 |        5 |      262
1641.40/1641.85	c 1641s |      23 |  2650655 |  2311838 |    19245    319 |        5 |      262
1643.40/1643.89	c 1643s |      23 |  2654055 |  2314938 |    19245    319 |        5 |      262
1645.50/1645.96	c 1645s |      23 |  2656742 |  2317438 |    19245    319 |        5 |      262
1647.60/1648.06	c 1647s |      23 |  2659515 |  2319838 |    19245    319 |        5 |      262
1649.61/1650.06	c 1649s |      23 |  2662119 |  2322138 |    19245    320 |        5 |      262
1651.60/1652.09	c 1651s |      23 |  2665040 |  2324738 |    19245    320 |        5 |      262
1653.60/1654.09	c 1653s |      23 |  2667814 |  2327238 |    19245    320 |        5 |      262
1655.70/1656.15	c 1656s |      23 |  2670664 |  2329838 |    19245    320 |        5 |      262
1657.70/1658.16	c 1658s |      23 |  2673258 |  2332238 |    19245    321 |        5 |      262
1659.70/1660.19	c 1660s |      23 |  2675961 |  2334738 |    19245    321 |        5 |      262
1661.70/1662.20	c 1662s |      23 |  2678431 |  2337038 |    19245    321 |        5 |      262
1663.80/1664.24	c 1664s |      23 |  2679562 |  2338038 |    19245    321 |        5 |      262
1665.80/1666.24	c 1666s |      23 |  2682461 |  2340638 |    19245    322 |        5 |      262
1667.80/1668.26	c 1668s |      23 |  2685551 |  2343438 |    19245    322 |        5 |      262
1669.80/1670.29	c 1670s |      23 |  2688553 |  2346038 |    19245    322 |        5 |      262
1671.90/1672.33	c 1672s |      23 |  2691269 |  2348438 |    19245    322 |        5 |      262
1673.90/1674.38	c 1674s |      23 |  2693757 |  2350738 |    19245    323 |        5 |      262
1676.00/1676.45	c 1676s |      23 |  2696482 |  2353238 |    19245    323 |        5 |      262
1678.10/1678.51	c 1678s |      23 |  2699242 |  2355738 |    19245    323 |        5 |      262
1680.10/1680.55	c 1680s |      23 |  2701644 |  2357938 |    19245    323 |        5 |      262
1682.20/1682.61	c 1682s |      23 |  2704194 |  2360238 |    19245    324 |        5 |      262
1684.20/1684.64	c 1684s |      23 |  2707673 |  2363138 |    19245    324 |        5 |      262
1686.19/1686.67	c 1686s |      23 |  2709614 |  2364938 |    19245    324 |        5 |      262
1688.29/1688.72	c 1688s |      23 |  2712388 |  2367238 |    19245    324 |        5 |      262
1690.40/1690.81	c 1690s |      23 |  2714560 |  2369238 |    19245    324 |        5 |      262
1693.49/1693.95	c 1693s |      23 |  2717267 |  2371738 |    19245    325 |        5 |      262
1695.49/1695.96	c 1695s |      23 |  2719972 |  2374238 |    19245    325 |        5 |      262
1697.49/1697.99	c 1697s |      23 |  2722450 |  2376538 |    19245    325 |        5 |      262
1699.49/1699.99	c 1699s |      23 |  2724450 |  2378438 |    19245    325 |        5 |      262
1701.59/1702.03	c 1701s |      23 |  2726965 |  2380738 |    19245    326 |        5 |      262
1703.69/1704.11	c 1703s |      23 |  2729770 |  2383338 |    19245    326 |        5 |      262
1705.70/1706.16	c 1706s |      23 |  2732378 |  2385738 |    19245    326 |        5 |      262
1707.79/1708.24	c 1708s |      23 |  2734579 |  2387838 |    19245    326 |        5 |      262
1709.79/1710.27	c 1710s |      23 |  2737027 |  2390138 |    19245    327 |        5 |      262
1711.79/1712.27	c 1712s |      23 |  2739447 |  2392338 |    19245    327 |        5 |      262
1713.89/1714.33	c 1714s |      23 |  2742813 |  2395038 |    19245    327 |        5 |      262
1715.89/1716.34	c 1716s |      23 |  2745810 |  2397338 |    19245    327 |        5 |      262
1717.90/1718.38	c 1718s |      23 |  2748498 |  2399538 |    19245    328 |        5 |      262
1719.89/1720.39	c 1720s |      23 |  2752167 |  2402038 |    19245    328 |        5 |      262
1721.99/1722.42	c 1722s |      23 |  2754836 |  2404038 |    19245    328 |        5 |      262
1724.09/1724.50	c 1724s |      23 |  2757279 |  2406038 |    19245    328 |        5 |      262
1726.09/1726.53	c 1726s |      23 |  2759613 |  2407738 |    19245    328 |        5 |      262
1728.09/1728.55	c 1728s |      23 |  2762079 |  2409638 |    19245    329 |        5 |      262
1730.19/1730.61	c 1730s |      23 |  2765491 |  2412438 |    19245    329 |        5 |      262
1732.19/1732.69	c 1732s |      23 |  2768409 |  2414838 |    19245    329 |        5 |      262
1734.29/1734.75	c 1734s |      23 |  2771264 |  2417038 |    19245    329 |        5 |      262
1736.29/1736.77	c 1736s |      23 |  2774100 |  2419438 |    19245    330 |        5 |      262
1738.28/1738.79	c 1738s |      23 |  2776923 |  2421838 |    19245    330 |        5 |      262
1740.48/1740.90	c 1740s |      23 |  2779177 |  2423638 |    19245    330 |        5 |      262
1742.48/1742.90	c 1742s |      23 |  2781825 |  2425538 |    19245    330 |        5 |      262
1744.48/1744.96	c 1744s |      23 |  2784220 |  2427338 |    19245    330 |        5 |      262
1746.58/1747.04	c 1746s |      23 |  2786683 |  2429438 |    19245    331 |        5 |      262
1748.59/1749.08	c 1748s |      23 |  2789800 |  2431938 |    19245    331 |        5 |      262
1750.68/1751.15	c 1751s |      23 |  2792223 |  2434038 |    19245    331 |        5 |      262
1752.78/1753.28	c 1753s |      23 |  2794969 |  2436238 |    19245    331 |        5 |      262
1754.88/1755.33	c 1755s |      23 |  2796752 |  2437638 |    19245    332 |        5 |      262
1756.88/1757.34	c 1757s |      23 |  2799330 |  2439938 |    19245    332 |        5 |      262
1758.88/1759.35	c 1759s |      23 |  2801816 |  2441938 |    19245    332 |        5 |      262
1760.88/1761.36	c 1761s |      23 |  2804545 |  2444038 |    19245    332 |        5 |      262
1762.90/1763.39	c 1763s |      23 |  2806098 |  2445338 |    19245    332 |        5 |      262
1765.09/1765.53	c 1765s |      23 |  2808031 |  2447138 |    19245    333 |        5 |      262
1767.09/1767.57	c 1767s |      23 |  2810484 |  2449438 |    19245    333 |        5 |      262
1769.19/1769.62	c 1769s |      23 |  2813789 |  2452338 |    19245    333 |        5 |      262
1771.19/1771.67	c 1771s |      23 |  2816589 |  2454838 |    19245    333 |        5 |      262
1773.29/1773.70	c 1773s |      23 |  2818857 |  2456938 |    19245    334 |        5 |      262
1775.29/1775.74	c 1775s |      23 |  2822023 |  2459738 |    19245    334 |        5 |      262
1777.38/1777.80	c 1777s |      23 |  2824704 |  2462238 |    19245    334 |        5 |      262
1779.39/1779.84	c 1779s |      23 |  2827451 |  2464738 |    19245    334 |        5 |      262
1782.48/1782.99	c 1782s |      23 |  2829842 |  2466938 |    19245    335 |        5 |      262
1784.58/1785.05	c 1784s |      23 |  2833030 |  2469838 |    19245    335 |        5 |      262
1786.58/1787.06	c 1786s |      23 |  2835360 |  2472038 |    19245    335 |        5 |      262
1788.58/1789.07	c 1788s |      23 |  2838080 |  2474338 |    19245    335 |        5 |      262
1790.58/1791.09	c 1790s |      23 |  2840297 |  2476338 |    19245    336 |        5 |      262
1792.78/1793.25	c 1793s |      23 |  2843721 |  2479338 |    19245    336 |        5 |      262
1794.79/1795.28	c 1795s |      23 |  2846586 |  2481938 |    19245    336 |        5 |      262
1796.88/1797.34	c 1797s |      23 |  2849642 |  2484438 |    19245    336 |        5 |      262
1798.98/1799.40	c 1799s |      23 |  2852200 |  2486538 |    19245    337 |        5 |      262

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

pid=19812
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.37 2.27 2.37 5/177 19815
/proc/meminfo: memFree=29382540/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 537 0 0 0 0 0 0 0 20 0 4 0 13866327 246870016 911 33554432000 4194304 16246674 140734235408432 140734235407856 13361150 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 60271 924 333 2943 0 57165 0
[pid=19815/tid=19816] ppid=19812 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 246870016 979 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 246870016 1000 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=241084 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13866327 246870016 1016 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.37 2.27 2.37 5/177 19815
/proc/meminfo: memFree=29382540/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 22903 0 0 0 6 3 0 0 20 0 4 0 13866327 1250496512 23202 33554432000 4194304 16246674 140734235408432 140734235407744 13950711 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 305297 23202 835 2943 0 302191 0
[pid=19815/tid=19816] ppid=19812 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1250496512 23202 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1250496512 23202 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13866327 1250496512 23202 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200553 s]
/proc/loadavg: 2.37 2.27 2.37 5/177 19815
/proc/meminfo: memFree=29382540/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1221188 CPUtime=0.18 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 39071 0 0 0 14 4 0 0 20 0 4 0 13866327 1250496512 39370 33554432000 4194304 16246674 140734235408432 140734235407744 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 305297 39384 878 2943 0 302191 0
[pid=19815/tid=19816] ppid=19812 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1250496512 39388 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1250496512 39393 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13866327 1250496512 39396 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1221188

[startup+0.300474 s]
/proc/loadavg: 2.37 2.27 2.37 5/177 19815
/proc/meminfo: memFree=29382540/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 60323 0 0 0 22 7 0 0 20 0 4 0 13866327 1250496512 60623 33554432000 4194304 16246674 140734235408432 140734235407744 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 305297 60634 878 2943 0 302191 0
[pid=19815/tid=19816] ppid=19812 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1250496512 60640 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1250496512 60648 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13866327 1250496512 60654 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700416 s]
/proc/loadavg: 2.37 2.27 2.37 5/177 19815
/proc/meminfo: memFree=29382540/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1221188 CPUtime=0.68 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 145661 0 0 0 51 17 0 0 20 0 4 0 13866327 1250496512 145960 33554432000 4194304 16246674 140734235408432 140734235390336 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 305297 145968 878 2943 0 302191 0
[pid=19815/tid=19816] ppid=19812 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1250496512 145973 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1250496512 145976 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13866327 1250496512 145980 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1221188

[startup+1.5004 s]
/proc/loadavg: 2.37 2.27 2.37 3/181 19819
/proc/meminfo: memFree=28469300/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1301060 CPUtime=1.48 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 266387 0 0 0 113 35 0 0 20 0 4 0 13866327 1332285440 266686 33554432000 4194304 16246674 140734235408432 140734235390336 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 325265 266686 881 2943 0 322159 0
[pid=19815/tid=19816] ppid=19812 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1332285440 266686 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1332285440 266686 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1332285440 266686 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1301060

[startup+3.10043 s]
/proc/loadavg: 2.37 2.27 2.37 3/181 19819
/proc/meminfo: memFree=28310828/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1307204 CPUtime=3.08 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 267874 0 0 0 273 35 0 0 20 0 4 0 13866327 1338576896 268173 33554432000 4194304 16246674 140734235408432 140734235390336 5522986 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 326801 268173 883 2943 0 323695 0
[pid=19815/tid=19816] ppid=19812 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1338576896 268173 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1338576896 268173 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1338576896 268173 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.34 2.27 2.37 3/181 19819
/proc/meminfo: memFree=28310532/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 267988 0 0 0 593 35 0 0 20 0 4 0 13866327 1338576896 268287 33554432000 4194304 16246674 140734235408432 140734235390336 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 326801 268287 887 2943 0 323695 0
[pid=19815/tid=19816] ppid=19812 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1338576896 268287 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1338576896 268287 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1338576896 268287 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.31 2.26 2.36 3/181 19819
/proc/meminfo: memFree=28309604/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1308228 CPUtime=12.68 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 268245 0 0 0 1233 35 0 0 20 0 4 0 13866327 1339625472 268544 33554432000 4194304 16246674 140734235408432 140734235390336 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 327057 268544 888 2943 0 323951 0
[pid=19815/tid=19816] ppid=19812 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1339625472 268544 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1339625472 268544 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1339625472 268544 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.39 2.28 2.37 4/181 19819
/proc/meminfo: memFree=28308648/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1309252 CPUtime=25.48 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 268501 0 0 0 2513 35 0 0 20 0 4 0 13866327 1340674048 268800 33554432000 4194304 16246674 140734235408432 140734235390336 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 327313 268800 888 2943 0 324207 0
[pid=19815/tid=19816] ppid=19812 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1340674048 268800 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1340674048 268800 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1340674048 268800 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.26 2.26 2.36 3/181 19819
/proc/meminfo: memFree=28276484/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1333828 CPUtime=51.08 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 274646 0 0 0 5072 36 0 0 20 0 4 0 13866327 1365839872 274945 33554432000 4194304 16246674 140734235408432 140734235390336 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 333457 274945 889 2943 0 330351 0
[pid=19815/tid=19816] ppid=19812 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1365839872 274945 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1365839872 274945 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1365839872 274945 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1333828

[startup+102.3 s]
/proc/loadavg: 2.22 2.25 2.35 3/181 19820
/proc/meminfo: memFree=28276548/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1333828 CPUtime=102.27 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 274646 0 0 0 10191 36 0 0 20 0 4 0 13866327 1365839872 274945 33554432000 4194304 16246674 140734235408432 140734235390336 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 333457 274945 889 2943 0 330351 0
[pid=19815/tid=19816] ppid=19812 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1365839872 274945 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1365839872 274945 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1333828 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1365839872 274945 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1333828


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

/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 1360452

[startup+1362.3 s]
/proc/loadavg: 2.27 2.27 2.27 3/181 19998
/proc/meminfo: memFree=28238404/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1360452 CPUtime=1361.94 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 281572 0 0 0 136147 47 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140734235390336 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 340113 281605 890 2943 0 337007 0
[pid=19815/tid=19816] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 1360452

[startup+1422.3 s]
/proc/loadavg: 2.25 2.27 2.27 4/181 19999
/proc/meminfo: memFree=28238052/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1360452 CPUtime=1421.95 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 281572 0 0 0 142147 48 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140734235390336 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 340113 281605 890 2943 0 337007 0
[pid=19815/tid=19816] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1360452

[startup+1482.3 s]
/proc/loadavg: 2.25 2.26 2.27 4/181 20000
/proc/meminfo: memFree=28230792/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1360452 CPUtime=1481.93 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 281572 0 0 0 148145 48 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140734235390336 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 340113 281605 890 2943 0 337007 0
[pid=19815/tid=19816] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1360452

[startup+1542.31 s]
/proc/loadavg: 2.14 2.23 2.25 3/181 20002
/proc/meminfo: memFree=28230764/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1360452 CPUtime=1541.92 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 281572 0 0 0 154144 48 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140734235390336 12483524 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 340113 281605 890 2943 0 337007 0
[pid=19815/tid=19816] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1360452

[startup+1602.3 s]
/proc/loadavg: 2.17 2.21 2.25 3/181 20003
/proc/meminfo: memFree=28230292/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1360452 CPUtime=1601.91 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 281572 0 0 0 160142 49 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140734235390336 6022678 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 340113 281605 890 2943 0 337007 0
[pid=19815/tid=19816] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1360452

[startup+1662.3 s]
/proc/loadavg: 2.20 2.22 2.25 3/182 20007
/proc/meminfo: memFree=28230212/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1360452 CPUtime=1661.9 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 281572 0 0 0 166141 49 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140734235390336 5675574 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 340113 281605 890 2943 0 337007 0
[pid=19815/tid=19816] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1360452 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1393102848 281605 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1360452

[startup+1722.3 s]
/proc/loadavg: 2.24 2.22 2.24 3/181 20008
/proc/meminfo: memFree=28219012/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1372740 CPUtime=1721.89 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 284644 0 0 0 172139 50 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140734235390336 5822671 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 343185 284677 890 2943 0 340079 0
[pid=19815/tid=19816] ppid=19812 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1372740

[startup+1782.3 s]
/proc/loadavg: 2.25 2.22 2.24 3/181 20009
/proc/meminfo: memFree=28218780/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1372740 CPUtime=1781.88 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 284644 0 0 0 178137 51 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140734235390336 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 343185 284677 890 2943 0 340079 0
[pid=19815/tid=19816] ppid=19812 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1372740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.33 2.24 2.25 3/181 20010
/proc/meminfo: memFree=28218896/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1372740 CPUtime=1800.08 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 284644 0 0 0 179957 51 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140734235390336 12460197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 343185 284677 890 2943 0 340079 0
[pid=19815/tid=19816] ppid=19812 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1372740

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

[startup+1800.5 s]
/proc/loadavg: 2.33 2.24 2.25 3/181 20010
/proc/meminfo: memFree=28218896/32872528 swapFree=1315980/1463148
[pid=19815] ppid=19812 vsize=1372740 CPUtime=1800.08 cores=1,3,5,7
/proc/19815/stat : 19815 (toysat) R 19812 19815 14504 0 -1 4202496 284644 0 0 0 179957 51 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140734235390336 12460197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19815/statm: 343185 284677 890 2943 0 340079 0
[pid=19815/tid=19816] ppid=19812 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19816/stat : 19816 (toysat) S 19812 19815 14504 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140474673245424 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19815/tid=19817] ppid=19812 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19817/stat : 19817 (toysat) S 19812 19815 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140474662755568 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19815/tid=19818] ppid=19812 vsize=1372740 CPUtime=0 cores=1,3,5,7
/proc/19815/task/19818/stat : 19818 (toysat) S 19812 19815 14504 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 4 0 13866327 1405685760 284677 33554432000 4194304 16246674 140734235408432 140474652282032 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1372740

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.09
CPU user time (s): 1799.58
CPU system time (s): 0.514921
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 1372740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.514921
maximum resident set size= 1138708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284644
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= 288
involuntary context switches= 1938

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.81627 second user time and 6.94594 second system time

The end

Begin job on node121 at 2016-06-17 01:03:14
IDJOB=4097639
IDBENCH=107786
IDSOLVER=2542
FILE ID=node121/4097639-1466118194
RUNJOBID= node121-1466116252-18782
PBS_JOBID= 19904064
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= a55fdb4a0457690b1bb3b083134ce68f
RANDOM SEED=2017560917

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29383192 kB
Buffers:           52956 kB
Cached:           172336 kB
SwapCached:         2484 kB
Active:          1215868 kB
Inactive:         103724 kB
Active(anon):    1095084 kB
Inactive(anon):     1896 kB
Active(file):     120784 kB
Inactive(file):   101828 kB
Unevictable:     1463148 kB
Mlocked:         1315980 kB
SwapTotal:      67108856 kB
SwapFree:       67099892 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       2556068 kB
Mapped:            10556 kB
Shmem:                 0 kB
Slab:             570000 kB
SReclaimable:      14168 kB
SUnreclaim:       555832 kB
KernelStack:        1488 kB
PageTables:         9420 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2685984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71688 MiB
End job on node121 at 2016-06-17 01:33:15