0.00/0.00	c 2016-06-18T01:59:03+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-4099797-1466207943.opb"]
0.00/0.01	c use --random-gen="2410527904 1943620654 3991721499 2767273569 3425006061 917343830 2693887768 3164698505 424317421 124454713 3171886196 423472605 4060099701 3075163444 2032864064 2067688370 219278520 4055240114 1939593164 1010938681 2775634477 3688739472 3249109952 3365724612 2734728682 475230379 1833847638 2466259746 1699928545 1826954894 2851588250 2348524633 1200221344 859037151 2965911800 3868968809 1933694530 2860361553 4185893328 689822931 1946161106 983781890 2317617328 197234392 285115190 1476199131 2441969962 1030503578 2152543252 505452278 2524160205 3395912576 3982390820 3474804800 2968338303 985696133 323331344 150981752 331669498 482062810 2885327002 1516629765 753515708 203537292 652815571 2776849433 2534525707 2171494585 3507724630 1287596415 978507523 2491072624 2465248333 618426473 3195816766 106451180 1599452206 3045747182 4050506186 647141379 1939452083 924251237 3900431006 3080359231 3872543733 1484248248 2585314953 749757759 1104652168 3739662878 2502215668 3207103956 2794260852 216116339 507968005 2835763416 3174696059 3661578225 324820498 1243673120 2123444239 1824001520 2986302220 4047974785 2778297601 1824942368 618010643 1362417984 3350095637 2317559730 898652408 700508728 628458642 2558340754 4255611775 4088194613 4052651290 2399989422 2465781188 1178053607 1663234877 2150934469 3687834948 1901673628 1438235167 2832536377 3791302100 1853131631 1866183260 945587104 1150803208 1364460613 1343595024 970836684 1639036208 2297841461 1832119703 2398355214 2837355238 3054906645 3580858394 3045260947 3118311258 764220406 2070374002 3704658805 2712278160 2375065791 2404368096 342296819 2332823123 532242612 3486679029 929042770 2145234301 722124573 3108074193 309746117 3349964796 3995183490 2165517137 3721053964 3775757210 2645099030 1602905911 4040948098 884109212 476156920 3569940667 2706233830 3288059236 35017697 1073769396 3061567501 3548131565 798813370 2294472863 3052913610 3694853539 4248670345 3109950535 1406134263 561325356 4286083019 756441323 1160293002 1978330913 656469137 159449836 2417352998 4178708248 485760413 2532805536 83913699 2921777981 2798610345 1347486918 28767794 3706248423 2304222126 4058034848 2448250985 1134512302 2652835001 2741609043 207137410 221046608 329844505 3133917037 2275345424 477212463 287003991 2644425359 2425831271 452731932 3416834955 1360833857 333914673 1951381807 1002475078 3108310539 2756659988 1154349161 4174791854 3635930758 48710102 3964918779 2687311674 2175259342 2822980733 1102369982 2839804260 97360149 1116461189 3640981773 4236091318 2187728110 1310757048 2341732782 2758884296 983671925 3354119025 870941505 4247298140 1907772731 2407573776 4135089479 264606426 886287703 2998568155 2203201059 2738003163 1209517542 23256906 3279512870 494256749 255 362436" option to reproduce the execution
0.00/0.03	c #vars 2754
0.00/0.03	c #constraints 444
23.58/23.63	c BCD2: Hardening is enabled.
23.58/23.63	c BCD2: BiasedSearch is enabled.
23.58/23.63	c Solving starts ...
23.58/23.63	c ============================[ Search Statistics ]============================
23.58/23.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
23.58/23.63	c       |         |          |          |    Limit     GC | Var      | Constra 
23.58/23.63	c =============================================================================
23.58/23.63	c  0.0s |       0 |        0 |        0 |     1079      0 |      835 |        0
23.58/23.68	c  0.0s |       1 |     2202 |      100 |     1079      0 |      847 |      195
23.68/23.70	c  0.1s |       2 |     2393 |      250 |     1187      0 |      847 |      195
23.68/23.76	c  0.1s |       3 |     4129 |      475 |     1306      0 |      848 |      196
23.78/23.86	c  0.2s |       4 |     5043 |      813 |     1437      0 |      848 |      196
23.88/23.94	c  0.3s |       5 |     5629 |     1320 |     1581      0 |      848 |      196
24.19/24.30	c  0.7s |       6 |     7086 |     2081 |     1915      0 |      848 |      196
24.58/24.61	c  1.0s |       7 |     8420 |     3223 |     2107      1 |      848 |      196
24.98/25.03	c  1.4s |       8 |    10269 |     4936 |     2318      2 |      848 |      196
25.48/25.55	c  1.9s |       9 |    13110 |     7506 |     2550      3 |      849 |      197
26.39/26.45	c  2.8s |      10 |    17056 |    11361 |     2805      5 |      849 |      197
28.28/28.31	c  4.7s |      11 |    26848 |    17144 |     3086      8 |      855 |      203
30.28/30.34	c  6.7s |      11 |    34667 |    23044 |     3086     11 |      861 |      209
31.28/31.35	c  7.7s |      12 |    37917 |    25819 |     3395     12 |      861 |      209
33.28/33.38	c  9.8s |      12 |    45260 |    31319 |     3395     14 |      865 |      213
35.38/35.40	c 11.8s |      12 |    50417 |    35619 |     3395     16 |      865 |      213
36.88/36.90	c 13.3s |      13 |    54526 |    38832 |     3735     17 |      865 |      213
38.88/38.92	c 15.3s |      13 |    62116 |    44532 |     3735     19 |      865 |      213
40.88/40.93	c 17.3s |      13 |    65927 |    47432 |     3735     20 |      865 |      213
42.89/42.95	c 19.3s |      13 |    71463 |    52232 |     3735     21 |      865 |      213
44.88/44.95	c 21.3s |      13 |    76476 |    57232 |     3735     23 |      865 |      213
45.48/45.51	c 21.9s |      14 |    77600 |    58352 |     4109     23 |      865 |      213
47.48/47.52	c 23.9s |      14 |    84554 |    65052 |     4109     26 |      865 |      213
49.48/49.53	c 25.9s |      14 |    90492 |    70952 |     4109     28 |      865 |      213
51.48/51.57	c 27.9s |      14 |    96225 |    76652 |     4109     30 |      865 |      213
53.58/53.62	c 30.0s |      14 |   101873 |    82252 |     4109     33 |      865 |      213
55.38/55.46	c 31.8s |      15 |   107279 |    87632 |     4520     34 |      865 |      213
57.38/57.47	c 33.8s |      15 |   114856 |    93432 |     4520     36 |      865 |      213
59.38/59.48	c 35.8s |      15 |   119573 |    98132 |     4520     37 |      865 |      213
61.48/61.51	c 37.9s |      15 |   124091 |   102632 |     4520     39 |      865 |      213
63.48/63.55	c 39.9s |      15 |   128296 |   106832 |     4520     40 |      865 |      213
65.48/65.56	c 41.9s |      15 |   133006 |   111532 |     4520     41 |      865 |      213
67.47/67.59	c 44.0s |      15 |   137218 |   115732 |     4520     42 |      865 |      213
69.47/69.59	c 46.0s |      15 |   141636 |   120132 |     4520     44 |      865 |      213
71.59/71.60	c 48.0s |      15 |   146140 |   124632 |     4520     45 |      865 |      213
73.58/73.65	c 50.0s |      15 |   151065 |   129532 |     4520     46 |      865 |      213
74.68/74.76	c 51.1s |      16 |   153094 |   131552 |     4972     47 |      865 |      213
76.68/76.78	c 53.2s |      16 |   162806 |   137852 |     4972     49 |      865 |      213
78.78/78.81	c 55.2s |      16 |   168129 |   143152 |     4972     50 |      865 |      213
80.78/80.83	c 57.2s |      16 |   172348 |   147352 |     4972     51 |      865 |      213
82.78/82.85	c 59.2s |      16 |   176467 |   151452 |     4972     53 |      865 |      213
84.79/84.86	c 61.2s |      16 |   183188 |   157352 |     4972     54 |      865 |      213
86.78/86.88	c 63.3s |      16 |   187510 |   161652 |     4972     56 |      865 |      213
88.88/88.93	c 65.3s |      16 |   191722 |   165752 |     4972     57 |      865 |      213
90.88/90.97	c 67.3s |      16 |   197661 |   171652 |     4972     58 |      865 |      213
92.98/93.01	c 69.4s |      16 |   202489 |   176452 |     4972     60 |      865 |      213
94.98/95.01	c 71.4s |      16 |   206815 |   180752 |     4972     61 |      865 |      213
96.98/97.01	c 73.4s |      16 |   214156 |   186652 |     4972     63 |      865 |      213
98.98/99.03	c 75.4s |      16 |   220080 |   192552 |     4972     65 |      865 |      213
100.97/101.03	c 77.4s |      16 |   224700 |   197152 |     5470     66 |      865 |      213
101.07/101.13	c 77.5s |      17 |   224981 |   197432 |     5470     66 |      865 |      213
103.07/103.18	c 79.5s |      17 |   231543 |   203032 |     5470     67 |      865 |      213
105.07/105.19	c 81.6s |      17 |   235662 |   207132 |     5470     68 |      865 |      213
107.17/107.22	c 83.6s |      17 |   239478 |   210932 |     5470     69 |      865 |      213
109.17/109.25	c 85.6s |      17 |   243189 |   214632 |     5470     70 |      865 |      213
111.18/111.25	c 87.6s |      17 |   247217 |   218632 |     5470     71 |      865 |      213
113.17/113.28	c 89.6s |      17 |   251550 |   222932 |     5470     72 |      865 |      213
115.17/115.29	c 91.7s |      17 |   255484 |   226832 |     5470     73 |      865 |      213
117.27/117.30	c 93.7s |      17 |   259095 |   230432 |     5470     74 |      865 |      213
119.27/119.30	c 95.7s |      17 |   262310 |   233632 |     5470     75 |      865 |      213
121.47/121.58	c 97.9s |      17 |   265531 |   236832 |     5470     76 |      865 |      213
123.47/123.59	c 100.0s |      17 |   269041 |   240332 |     5470     77 |      865 |      213
125.57/125.64	c  102s |      17 |   272960 |   244232 |     5470     78 |      865 |      213
127.58/127.65	c  104s |      17 |   276473 |   247732 |     5470     79 |      865 |      213
129.57/129.67	c  106s |      17 |   280393 |   251632 |     5470     80 |      865 |      213
131.57/131.68	c  108s |      17 |   284011 |   255232 |     5470     80 |      865 |      213
133.57/133.68	c  110s |      17 |   287849 |   259032 |     5470     81 |      865 |      213
135.57/135.70	c  112s |      17 |   291472 |   262632 |     5470     82 |      865 |      213
137.67/137.73	c  114s |      17 |   295296 |   266432 |     5470     83 |      865 |      213
139.67/139.77	c  116s |      17 |   299016 |   270132 |     5470     84 |      865 |      213
141.67/141.78	c  118s |      17 |   302630 |   273732 |     5470     85 |      865 |      213
143.77/143.80	c  120s |      17 |   306254 |   277332 |     5470     86 |      865 |      213
145.77/145.87	c  122s |      17 |   309772 |   280832 |     5470     87 |      865 |      213
147.77/147.89	c  124s |      17 |   313298 |   284332 |     5470     88 |      865 |      213
149.87/149.93	c  126s |      17 |   317109 |   288132 |     5470     89 |      865 |      213
151.87/151.97	c  128s |      17 |   320928 |   291932 |     5470     90 |      865 |      213
153.87/153.97	c  130s |      17 |   324567 |   295532 |     6018     91 |      865 |      213
154.17/154.26	c  130s |      18 |   325288 |   296252 |     6018     91 |      865 |      213
156.17/156.29	c  132s |      18 |   332390 |   302352 |     6018     92 |      865 |      213
158.26/158.34	c  134s |      18 |   336702 |   306652 |     6018     93 |      865 |      213
160.26/160.34	c  136s |      18 |   340409 |   310352 |     6018     94 |      865 |      213
162.26/162.37	c  138s |      18 |   344338 |   314252 |     6018     95 |      865 |      213
164.36/164.40	c  140s |      18 |   348566 |   318452 |     6018     96 |      865 |      213
166.36/166.44	c  142s |      18 |   352878 |   322752 |     6018     97 |      865 |      213
168.37/168.46	c  144s |      18 |   357007 |   326852 |     6018     98 |      865 |      213
170.36/170.48	c  146s |      18 |   361533 |   331352 |     6018     99 |      865 |      213
172.46/172.50	c  148s |      18 |   365946 |   335752 |     6018    100 |      865 |      213
174.46/174.51	c  150s |      18 |   370967 |   340752 |     6018    101 |      865 |      213
176.46/176.51	c  152s |      18 |   375184 |   344952 |     6018    102 |      865 |      213
178.46/178.51	c  154s |      18 |   379598 |   349352 |     6018    103 |      865 |      213
180.47/180.54	c  156s |      18 |   383425 |   353152 |     6018    104 |      865 |      213
182.46/182.56	c  158s |      18 |   387235 |   356952 |     6018    105 |      865 |      213
184.46/184.58	c  160s |      18 |   391769 |   361452 |     6018    106 |      865 |      213
186.46/186.59	c  162s |      18 |   396287 |   365952 |     6018    107 |      865 |      213
188.46/188.59	c  164s |      18 |   400309 |   369952 |     6018    108 |      865 |      213
190.46/190.59	c  166s |      18 |   404330 |   373952 |     6018    109 |      865 |      213
192.57/192.63	c  168s |      18 |   408750 |   378352 |     6018    110 |      865 |      213
194.56/194.66	c  171s |      18 |   412865 |   382452 |     6018    111 |      865 |      213
196.66/196.70	c  173s |      18 |   416984 |   386552 |     6018    112 |      865 |      213
198.66/198.70	c  175s |      18 |   421714 |   391252 |     6018    113 |      865 |      213
200.66/200.70	c  177s |      18 |   425323 |   394852 |     6018    114 |      865 |      213
202.65/202.71	c  179s |      18 |   428946 |   398452 |     6018    114 |      865 |      213
204.66/204.71	c  181s |      18 |   433258 |   402752 |     6018    115 |      865 |      213
206.65/206.74	c  183s |      18 |   436663 |   406152 |     6018    116 |      865 |      213
208.65/208.79	c  185s |      18 |   441076 |   410552 |     6018    117 |      865 |      213
210.75/210.83	c  187s |      18 |   445305 |   414752 |     6018    118 |      865 |      213
212.76/212.88	c  189s |      18 |   449831 |   419252 |     6018    119 |      865 |      213
214.86/214.91	c  191s |      18 |   452149 |   421552 |     6018    120 |      865 |      213
216.86/216.94	c  193s |      18 |   456467 |   425852 |     6018    121 |      865 |      213
218.87/218.97	c  195s |      18 |   460780 |   430152 |     6018    122 |      865 |      213
220.96/221.01	c  197s |      18 |   464807 |   434152 |     6018    123 |      865 |      213
222.96/223.02	c  199s |      18 |   468924 |   438252 |     6018    124 |      865 |      213
225.16/225.20	c  201s |      18 |   473241 |   442552 |     6620    125 |      865 |      213
225.86/225.97	c  202s |      19 |   475176 |   444482 |     6620    125 |      865 |      213
227.96/228.02	c  204s |      19 |   481391 |   449882 |     6620    126 |      865 |      213
229.97/230.03	c  206s |      19 |   485198 |   453682 |     6620    127 |      865 |      213
231.96/232.03	c  208s |      19 |   488501 |   456982 |     6620    128 |      865 |      213
233.96/234.09	c  210s |      19 |   492104 |   460582 |     6620    128 |      865 |      213
236.06/236.15	c  212s |      19 |   495528 |   463982 |     6620    129 |      865 |      213
238.06/238.16	c  214s |      19 |   498938 |   467382 |     6620    130 |      865 |      213
240.16/240.23	c  216s |      19 |   502144 |   470582 |     6620    131 |      865 |      213
242.16/242.29	c  218s |      19 |   505752 |   474182 |     6620    131 |      865 |      213
244.26/244.35	c  220s |      19 |   509160 |   477582 |     6620    132 |      865 |      213
246.26/246.36	c  222s |      19 |   511968 |   480382 |     6620    133 |      865 |      213
248.36/248.41	c  224s |      19 |   515080 |   483482 |     6620    133 |      865 |      213
250.35/250.44	c  226s |      19 |   518388 |   486782 |     6620    134 |      865 |      213
252.35/252.46	c  228s |      19 |   521494 |   489882 |     6620    135 |      865 |      213
254.35/254.50	c  230s |      19 |   525304 |   493682 |     6620    135 |      865 |      213
256.45/256.50	c  232s |      19 |   528917 |   497282 |     6620    136 |      865 |      213
258.46/258.56	c  234s |      19 |   532728 |   501082 |     6620    137 |      865 |      213
260.55/260.60	c  236s |      19 |   535949 |   504282 |     6620    138 |      865 |      213
262.55/262.66	c  239s |      19 |   539154 |   507482 |     6620    138 |      865 |      213
264.55/264.70	c  241s |      19 |   542969 |   511282 |     6620    139 |      865 |      213
266.65/266.73	c  243s |      19 |   546581 |   514882 |     6620    140 |      865 |      213
268.65/268.78	c  245s |      19 |   550260 |   518482 |     6620    141 |      865 |      213
270.75/270.80	c  247s |      19 |   553971 |   522182 |     6620    142 |      865 |      213
272.76/272.85	c  249s |      19 |   557680 |   525882 |     6620    142 |      865 |      213
274.75/274.87	c  251s |      19 |   561847 |   529982 |     6620    143 |      865 |      213
276.75/276.88	c  253s |      19 |   565061 |   533182 |     6620    144 |      865 |      213
278.75/278.88	c  255s |      19 |   568318 |   536382 |     6620    145 |      865 |      213
280.85/280.95	c  257s |      19 |   571930 |   539982 |     6620    145 |      865 |      213
283.24/283.35	c  259s |      19 |   574449 |   542482 |     6620    146 |      865 |      213
285.24/285.38	c  261s |      19 |   577866 |   545882 |     6620    147 |      865 |      213
287.34/287.40	c  263s |      19 |   581615 |   549582 |     6620    148 |      865 |      213
289.35/289.42	c  265s |      19 |   585150 |   553082 |     6620    148 |      865 |      213
291.45/291.53	c  267s |      19 |   588676 |   556582 |     6620    149 |      865 |      213
293.44/293.57	c  269s |      19 |   591916 |   559782 |     6620    150 |      865 |      213
295.54/295.69	c  272s |      19 |   595438 |   563282 |     6620    151 |      865 |      213
297.64/297.74	c  274s |      19 |   599261 |   567082 |     6620    151 |      865 |      213
299.64/299.79	c  276s |      19 |   602514 |   570282 |     6620    152 |      865 |      213
301.64/301.79	c  278s |      19 |   605537 |   573282 |     6620    153 |      865 |      213
304.14/304.29	c  280s |      19 |   609244 |   576982 |     6620    153 |      865 |      213
306.24/306.34	c  282s |      19 |   613269 |   580982 |     6620    154 |      865 |      213
308.25/308.38	c  284s |      19 |   616030 |   583682 |     6620    155 |      865 |      213
310.55/310.65	c  287s |      19 |   619344 |   586982 |     6620    156 |      865 |      213
312.55/312.67	c  289s |      19 |   623085 |   590682 |     6620    156 |      865 |      213
315.14/315.21	c  291s |      19 |   626406 |   593982 |     6620    157 |      865 |      213
317.14/317.26	c  293s |      19 |   630145 |   597682 |     6620    158 |      865 |      213
319.14/319.27	c  295s |      19 |   633655 |   601182 |     6620    159 |      865 |      213
321.15/321.28	c  297s |      19 |   636885 |   604382 |     6620    159 |      865 |      213
323.24/323.33	c  299s |      19 |   640413 |   607882 |     6620    160 |      865 |      213
325.24/325.35	c  301s |      19 |   643643 |   611082 |     6620    161 |      865 |      213
327.34/327.48	c  303s |      19 |   646555 |   613982 |     6620    162 |      865 |      213
329.34/329.48	c  305s |      19 |   649880 |   617282 |     6620    162 |      865 |      213
331.44/331.50	c  307s |      19 |   653205 |   620582 |     6620    163 |      865 |      213
333.44/333.52	c  309s |      19 |   656052 |   623382 |     6620    164 |      865 |      213
335.45/335.58	c  311s |      19 |   659377 |   626682 |     6620    164 |      865 |      213
337.74/337.89	c  314s |      19 |   662202 |   629482 |     6620    165 |      865 |      213
339.74/339.90	c  316s |      19 |   665202 |   632482 |     6620    166 |      865 |      213
341.84/341.96	c  318s |      19 |   668427 |   635682 |     6620    166 |      865 |      213
343.84/343.96	c  320s |      19 |   671339 |   638582 |     6620    167 |      865 |      213
345.94/346.02	c  322s |      19 |   674394 |   641582 |     6620    167 |      865 |      213
347.94/348.05	c  324s |      19 |   677212 |   644382 |     6620    168 |      865 |      213
349.93/350.09	c  326s |      19 |   680135 |   647282 |     6620    169 |      865 |      213
352.04/352.17	c  328s |      19 |   683257 |   650382 |     6620    169 |      865 |      213
354.03/354.19	c  330s |      19 |   686376 |   653482 |     6620    170 |      865 |      213
356.13/356.22	c  332s |      19 |   690189 |   657282 |     6620    171 |      865 |      213
358.13/358.25	c  334s |      19 |   693460 |   660482 |     6620    172 |      865 |      213
360.33/360.41	c  336s |      19 |   696790 |   663782 |     7283    172 |      865 |      213
362.33/362.40	c  338s |      20 |   699842 |   666827 |     7283    173 |      865 |      213
364.33/364.43	c  340s |      20 |   705848 |   672027 |     7283    174 |      865 |      213
366.34/366.43	c  342s |      20 |   709464 |   675627 |     7283    175 |      865 |      213
368.44/368.58	c  344s |      20 |   714392 |   680527 |     7283    176 |      865 |      213
370.54/370.63	c  346s |      20 |   718406 |   684527 |     7283    176 |      865 |      213
372.54/372.64	c  349s |      20 |   722727 |   688827 |     7283    177 |      865 |      213
374.54/374.66	c  351s |      20 |   726337 |   692427 |     7283    178 |      865 |      213
376.53/376.70	c  353s |      20 |   730052 |   696127 |     7283    179 |      865 |      213
378.63/378.72	c  355s |      20 |   733676 |   699727 |     7283    179 |      865 |      213
380.64/380.74	c  357s |      20 |   737698 |   703727 |     7283    180 |      865 |      213
382.63/382.74	c  359s |      20 |   741728 |   707727 |     7283    181 |      865 |      213
384.63/384.77	c  361s |      20 |   745643 |   711627 |     7283    182 |      865 |      213
386.73/386.80	c  363s |      20 |   749372 |   715327 |     7283    183 |      865 |      213
388.73/388.81	c  365s |      20 |   753185 |   719127 |     7283    183 |      865 |      213
390.73/390.82	c  367s |      20 |   757301 |   723227 |     7283    184 |      865 |      213
392.74/392.83	c  369s |      20 |   760617 |   726527 |     7283    185 |      865 |      213
394.73/394.84	c  371s |      20 |   764538 |   730427 |     7283    186 |      865 |      213
396.83/396.97	c  373s |      20 |   768260 |   734127 |     7283    187 |      865 |      213
398.83/398.98	c  375s |      20 |   772279 |   738127 |     7283    187 |      865 |      213
401.13/401.22	c  377s |      20 |   776082 |   741927 |     7283    188 |      865 |      213
403.13/403.25	c  379s |      20 |   779695 |   745527 |     7283    189 |      865 |      213
405.33/405.45	c  381s |      20 |   783008 |   748827 |     7283    190 |      865 |      213
407.33/407.45	c  383s |      20 |   785729 |   751527 |     7283    190 |      865 |      213
409.33/409.47	c  385s |      20 |   789646 |   755427 |     7283    191 |      865 |      213
411.33/411.48	c  387s |      20 |   793063 |   758827 |     7283    192 |      865 |      213
413.42/413.50	c  389s |      20 |   796673 |   762427 |     7283    192 |      865 |      213
415.42/415.54	c  391s |      20 |   799991 |   765727 |     7283    193 |      865 |      213
417.42/417.56	c  393s |      20 |   804210 |   769927 |     7283    194 |      865 |      213
419.42/419.58	c  395s |      20 |   808431 |   774127 |     7283    195 |      865 |      213
421.52/421.60	c  397s |      20 |   812064 |   777727 |     7283    195 |      865 |      213
423.53/423.61	c  399s |      20 |   816084 |   781727 |     7283    196 |      865 |      213
425.52/425.62	c  401s |      20 |   819803 |   785427 |     7283    197 |      865 |      213
427.52/427.64	c  404s |      20 |   823830 |   789427 |     7283    198 |      865 |      213
429.52/429.66	c  406s |      20 |   827440 |   793027 |     7283    199 |      865 |      213
431.52/431.66	c  408s |      20 |   830574 |   796127 |     7283    199 |      865 |      213
433.62/433.80	c  410s |      20 |   833784 |   799327 |     7283    200 |      865 |      213
435.72/435.82	c  412s |      20 |   837298 |   802827 |     7283    201 |      865 |      213
437.73/437.85	c  414s |      20 |   841210 |   806727 |     7283    201 |      865 |      213
439.73/439.87	c  416s |      20 |   845522 |   811027 |     7283    202 |      865 |      213
441.72/441.88	c  418s |      20 |   850133 |   815627 |     7283    203 |      865 |      213
443.72/443.88	c  420s |      20 |   854655 |   820127 |     7283    204 |      865 |      213
445.72/445.89	c  422s |      20 |   858971 |   824427 |     7283    205 |      865 |      213
447.82/447.90	c  424s |      20 |   860988 |   826427 |     7283    205 |      865 |      213
449.83/449.94	c  426s |      20 |   864796 |   830227 |     7283    206 |      865 |      213
451.82/451.98	c  428s |      20 |   868310 |   833727 |     7283    207 |      865 |      213
454.12/454.20	c  430s |      20 |   871633 |   837027 |     7283    208 |      865 |      213
456.12/456.24	c  432s |      20 |   875861 |   841227 |     7283    208 |      865 |      213
458.12/458.25	c  434s |      20 |   879576 |   844927 |     7283    209 |      865 |      213
460.12/460.29	c  436s |      20 |   883611 |   848927 |     7283    210 |      865 |      213
462.12/462.29	c  438s |      20 |   887124 |   852427 |     7283    211 |      865 |      213
464.22/464.33	c  440s |      20 |   891147 |   856427 |     7283    211 |      865 |      213
466.32/466.48	c  442s |      20 |   895369 |   860627 |     7283    212 |      865 |      213
468.41/468.53	c  444s |      20 |   899687 |   864927 |     7283    213 |      865 |      213
470.41/470.54	c  446s |      20 |   903304 |   868527 |     7283    214 |      865 |      213
472.41/472.57	c  448s |      20 |   907022 |   872227 |     7283    215 |      865 |      213
474.41/474.57	c  450s |      20 |   910838 |   876027 |     7283    215 |      865 |      213
476.51/476.62	c  452s |      20 |   914365 |   879527 |     7283    216 |      865 |      213
478.52/478.67	c  455s |      20 |   918384 |   883527 |     7283    217 |      865 |      213
480.51/480.69	c  457s |      20 |   922194 |   887327 |     7283    218 |      865 |      213
482.62/482.74	c  459s |      20 |   922498 |   887627 |     7283    218 |      865 |      213
484.62/484.76	c  461s |      20 |   925719 |   890827 |     7283    218 |      865 |      213
486.62/486.78	c  463s |      20 |   929028 |   894127 |     7283    219 |      865 |      213
488.72/488.82	c  465s |      20 |   932653 |   897727 |     7283    220 |      865 |      213
490.72/490.84	c  467s |      20 |   936373 |   901427 |     7283    221 |      865 |      213
492.72/492.87	c  469s |      20 |   940284 |   905327 |     7283    221 |      865 |      213
494.72/494.89	c  471s |      20 |   944104 |   909127 |     7283    222 |      865 |      213
496.82/496.91	c  473s |      20 |   947838 |   912827 |     7283    223 |      865 |      213
498.82/498.92	c  475s |      20 |   951557 |   916527 |     7283    224 |      865 |      213
500.82/500.95	c  477s |      20 |   955679 |   920627 |     7283    225 |      865 |      213
502.92/503.08	c  479s |      20 |   959698 |   924627 |     7283    225 |      865 |      213
505.01/505.11	c  481s |      20 |   963519 |   928427 |     7283    226 |      865 |      213
507.02/507.13	c  483s |      20 |   967134 |   932027 |     7283    227 |      865 |      213
509.01/509.14	c  485s |      20 |   970955 |   935827 |     7283    228 |      865 |      213
511.01/511.15	c  487s |      20 |   974770 |   939627 |     7283    228 |      865 |      213
513.01/513.17	c  489s |      20 |   978796 |   943627 |     7283    229 |      865 |      213
515.11/515.21	c  491s |      20 |   982918 |   947727 |     7283    230 |      865 |      213
517.11/517.24	c  493s |      20 |   985136 |   949927 |     7283    231 |      865 |      213
519.12/519.28	c  495s |      20 |   989256 |   954027 |     7283    231 |      865 |      213
521.21/521.30	c  497s |      20 |   993072 |   957827 |     7283    232 |      865 |      213
523.21/523.32	c  499s |      20 |   996593 |   961327 |     7283    233 |      865 |      213
525.31/525.46	c  501s |      20 |  1000400 |   965127 |     7283    234 |      865 |      213
527.41/527.51	c  503s |      20 |  1004221 |   968927 |     7283    234 |      865 |      213
529.41/529.51	c  505s |      20 |  1007932 |   972627 |     7283    235 |      865 |      213
531.41/531.55	c  507s |      20 |  1011848 |   976527 |     7283    236 |      865 |      213
533.42/533.58	c  509s |      20 |  1015857 |   980527 |     7283    237 |      865 |      213
535.51/535.61	c  511s |      20 |  1019574 |   984227 |     7283    238 |      865 |      213
537.81/537.92	c  514s |      20 |  1023489 |   988127 |     7283    238 |      865 |      213
539.81/539.96	c  516s |      20 |  1027709 |   992327 |     7283    239 |      865 |      213
541.90/542.07	c  518s |      20 |  1030037 |   994627 |     8012    240 |      865 |      213
544.00/544.12	c  520s |      20 |  1033849 |   998427 |     8012    240 |      865 |      213
545.10/545.29	c  521s |      21 |  1035772 |  1000345 |     8012    241 |      865 |      213
547.20/547.30	c  523s |      21 |  1040667 |  1004245 |     8012    241 |      865 |      213
549.20/549.36	c  525s |      21 |  1044671 |  1008245 |     8012    242 |      865 |      213
551.20/551.36	c  527s |      21 |  1047576 |  1011145 |     8012    243 |      865 |      213
553.31/553.41	c  529s |      21 |  1050686 |  1014245 |     8012    243 |      865 |      213
555.30/555.47	c  531s |      21 |  1053791 |  1017345 |     8012    244 |      865 |      213
557.40/557.50	c  533s |      21 |  1056797 |  1020345 |     8012    244 |      865 |      213
559.50/559.64	c  536s |      21 |  1060006 |  1023545 |     8012    245 |      865 |      213
561.50/561.66	c  538s |      21 |  1062808 |  1026345 |     8012    245 |      865 |      213
563.60/563.75	c  540s |      21 |  1065913 |  1029445 |     8012    246 |      865 |      213
565.60/565.76	c  542s |      21 |  1068317 |  1031845 |     8012    247 |      865 |      213
567.70/567.80	c  544s |      21 |  1071219 |  1034745 |     8012    247 |      865 |      213
569.81/569.92	c  546s |      21 |  1073729 |  1037245 |     8012    248 |      865 |      213
571.80/571.92	c  548s |      21 |  1077137 |  1040645 |     8012    248 |      865 |      213
573.80/573.95	c  550s |      21 |  1080639 |  1044145 |     8012    249 |      865 |      213
575.80/575.99	c  552s |      21 |  1083845 |  1047345 |     8012    249 |      865 |      213
577.91/578.01	c  554s |      21 |  1086851 |  1050345 |     8012    250 |      865 |      213
579.90/580.03	c  556s |      21 |  1089461 |  1052945 |     8012    250 |      865 |      213
581.91/582.03	c  558s |      21 |  1092469 |  1055945 |     8012    251 |      865 |      213
583.90/584.04	c  560s |      21 |  1095173 |  1058645 |     8012    252 |      865 |      213
586.00/586.16	c  562s |      21 |  1098584 |  1062045 |     8012    252 |      865 |      213
588.10/588.20	c  564s |      21 |  1101283 |  1064745 |     8012    253 |      865 |      213
590.10/590.22	c  566s |      21 |  1104285 |  1067745 |     8012    253 |      865 |      213
592.10/592.28	c  568s |      21 |  1107183 |  1070645 |     8012    254 |      865 |      213
594.20/594.35	c  570s |      21 |  1110090 |  1073545 |     8012    254 |      865 |      213
596.30/596.49	c  572s |      21 |  1112796 |  1076245 |     8012    255 |      865 |      213
598.31/598.50	c  574s |      21 |  1115809 |  1079245 |     8012    255 |      865 |      213
600.40/600.52	c  576s |      21 |  1118521 |  1081945 |     8012    256 |      865 |      213
602.40/602.55	c  578s |      21 |  1120656 |  1084045 |     8012    256 |      865 |      213
604.40/604.57	c  580s |      21 |  1124272 |  1087645 |     8012    257 |      865 |      213
606.39/606.57	c  582s |      21 |  1127292 |  1090645 |     8012    258 |      865 |      213
608.49/608.60	c  584s |      21 |  1130810 |  1094145 |     8012    258 |      865 |      213
610.50/610.61	c  586s |      21 |  1133831 |  1097145 |     8012    259 |      865 |      213
612.49/612.63	c  588s |      21 |  1136844 |  1100145 |     8012    259 |      865 |      213
614.49/614.65	c  591s |      21 |  1139761 |  1103045 |     8012    260 |      865 |      213
616.49/616.65	c  593s |      21 |  1142670 |  1105945 |     8012    260 |      865 |      213
618.59/618.71	c  595s |      21 |  1145880 |  1109145 |     8012    261 |      865 |      213
620.69/620.88	c  597s |      21 |  1148594 |  1111845 |     8012    262 |      865 |      213
622.79/622.93	c  599s |      21 |  1152108 |  1115345 |     8012    262 |      865 |      213
624.80/624.98	c  601s |      21 |  1155023 |  1118245 |     8012    263 |      865 |      213
626.90/627.01	c  603s |      21 |  1158045 |  1121245 |     8012    263 |      865 |      213
628.90/629.04	c  605s |      21 |  1161369 |  1124545 |     8012    264 |      865 |      213
631.10/631.21	c  607s |      21 |  1163989 |  1127145 |     8012    265 |      865 |      213
633.10/633.26	c  609s |      21 |  1167403 |  1130545 |     8012    265 |      865 |      213
635.10/635.28	c  611s |      21 |  1170417 |  1133545 |     8012    266 |      865 |      213
637.10/637.28	c  613s |      21 |  1173128 |  1136245 |     8012    266 |      865 |      213
639.20/639.33	c  615s |      21 |  1176150 |  1139245 |     8012    267 |      865 |      213
641.20/641.36	c  617s |      21 |  1179065 |  1142145 |     8012    267 |      865 |      213
643.19/643.39	c  619s |      21 |  1182182 |  1145245 |     8012    268 |      865 |      213
645.29/645.49	c  621s |      21 |  1184813 |  1147845 |     8012    268 |      865 |      213
647.39/647.50	c  623s |      21 |  1187928 |  1150945 |     8012    269 |      865 |      213
649.39/649.50	c  625s |      21 |  1190839 |  1153845 |     8012    270 |      865 |      213
651.39/651.55	c  627s |      21 |  1193949 |  1156945 |     8012    270 |      865 |      213
653.59/653.74	c  630s |      21 |  1196864 |  1159845 |     8012    271 |      865 |      213
655.60/655.77	c  632s |      21 |  1200174 |  1163145 |     8012    271 |      865 |      213
657.59/657.79	c  634s |      21 |  1203290 |  1166245 |     8012    272 |      865 |      213
659.69/659.82	c  636s |      21 |  1206409 |  1169345 |     8012    273 |      865 |      213
661.69/661.87	c  638s |      21 |  1209528 |  1172445 |     8012    273 |      865 |      213
663.69/663.89	c  640s |      21 |  1212041 |  1174945 |     8012    274 |      865 |      213
665.79/665.96	c  642s |      21 |  1215349 |  1178245 |     8012    274 |      865 |      213
667.89/668.02	c  644s |      21 |  1218566 |  1181445 |     8012    275 |      865 |      213
669.89/670.07	c  646s |      21 |  1221689 |  1184545 |     8012    275 |      865 |      213
671.89/672.07	c  648s |      21 |  1224904 |  1187745 |     8012    276 |      865 |      213
673.89/674.08	c  650s |      21 |  1227815 |  1190645 |     8012    277 |      865 |      213
675.99/676.11	c  652s |      21 |  1231142 |  1193945 |     8012    277 |      865 |      213
678.08/678.23	c  654s |      21 |  1234359 |  1197145 |     8012    278 |      865 |      213
680.18/680.33	c  656s |      21 |  1237871 |  1200645 |     8012    279 |      865 |      213
682.18/682.39	c  658s |      21 |  1240780 |  1203545 |     8012    279 |      865 |      213
684.28/684.42	c  660s |      21 |  1243896 |  1206645 |     8012    280 |      865 |      213
686.29/686.43	c  662s |      21 |  1247103 |  1209845 |     8012    280 |      865 |      213
688.28/688.45	c  664s |      21 |  1250219 |  1212945 |     8012    281 |      865 |      213
690.28/690.45	c  666s |      21 |  1253229 |  1215945 |     8012    281 |      865 |      213
692.28/692.47	c  668s |      21 |  1256344 |  1219045 |     8012    282 |      865 |      213
694.38/694.50	c  670s |      21 |  1259160 |  1221845 |     8012    283 |      865 |      213
696.38/696.52	c  672s |      21 |  1262376 |  1225045 |     8012    283 |      865 |      213
698.98/699.12	c  675s |      21 |  1264910 |  1227545 |     8012    284 |      865 |      213
700.98/701.14	c  677s |      21 |  1268527 |  1231145 |     8012    284 |      865 |      213
703.08/703.20	c  679s |      21 |  1271944 |  1234545 |     8012    285 |      865 |      213
705.08/705.21	c  681s |      21 |  1275072 |  1237645 |     8012    286 |      865 |      213
707.09/707.23	c  683s |      21 |  1278385 |  1240945 |     8012    286 |      865 |      213
709.09/709.25	c  685s |      21 |  1281106 |  1243645 |     8012    287 |      865 |      213
711.08/711.26	c  687s |      21 |  1284019 |  1246545 |     8012    287 |      865 |      213
713.08/713.27	c  689s |      21 |  1286429 |  1248945 |     8012    288 |      865 |      213
715.18/715.34	c  691s |      21 |  1289634 |  1252145 |     8012    288 |      865 |      213
717.19/717.37	c  693s |      21 |  1292349 |  1254845 |     8012    289 |      865 |      213
719.18/719.38	c  695s |      21 |  1295266 |  1257745 |     8012    289 |      865 |      213
721.28/721.40	c  697s |      21 |  1298003 |  1260445 |     8012    290 |      865 |      213
723.28/723.46	c  699s |      21 |  1301015 |  1263445 |     8012    290 |      865 |      213
725.27/725.48	c  701s |      21 |  1304031 |  1266445 |     8012    291 |      865 |      213
727.37/727.52	c  703s |      21 |  1306842 |  1269245 |     8012    292 |      865 |      213
729.37/729.58	c  705s |      21 |  1310153 |  1272545 |     8012    292 |      865 |      213
731.48/731.62	c  707s |      21 |  1312769 |  1275145 |     8012    293 |      865 |      213
733.47/733.63	c  709s |      21 |  1315978 |  1278345 |     8012    293 |      865 |      213
735.47/735.65	c  712s |      21 |  1319002 |  1281345 |     8012    294 |      865 |      213
737.47/737.68	c  714s |      21 |  1321923 |  1284245 |     8012    294 |      865 |      213
739.47/739.68	c  716s |      21 |  1324742 |  1287045 |     8012    295 |      865 |      213
741.56/741.75	c  718s |      21 |  1327349 |  1289645 |     8012    295 |      865 |      213
743.66/743.81	c  720s |      21 |  1330460 |  1292745 |     8012    296 |      865 |      213
745.67/745.84	c  722s |      21 |  1332975 |  1295245 |     8012    297 |      865 |      213
747.66/747.88	c  724s |      21 |  1336189 |  1298445 |     8012    297 |      865 |      213
749.76/749.91	c  726s |      21 |  1339305 |  1301545 |     8012    298 |      865 |      213
751.76/751.94	c  728s |      21 |  1342523 |  1304745 |     8012    298 |      865 |      213
753.75/753.99	c  730s |      21 |  1345537 |  1307745 |     8012    299 |      865 |      213
755.75/755.99	c  732s |      21 |  1348559 |  1310745 |     8012    299 |      865 |      213
757.86/758.05	c  734s |      21 |  1351365 |  1313545 |     8012    300 |      865 |      213
760.06/760.27	c  736s |      21 |  1354082 |  1316245 |     8012    301 |      865 |      213
762.16/762.33	c  738s |      21 |  1357290 |  1319445 |     8012    301 |      865 |      213
764.15/764.33	c  740s |      21 |  1360210 |  1322345 |     8012    302 |      865 |      213
766.15/766.35	c  742s |      21 |  1363336 |  1325445 |     8012    302 |      865 |      213
768.16/768.38	c  744s |      21 |  1366543 |  1328645 |     8012    303 |      865 |      213
770.26/770.41	c  746s |      21 |  1369470 |  1331545 |     8012    303 |      865 |      213
772.26/772.44	c  748s |      21 |  1372280 |  1334345 |     8012    304 |      865 |      213
774.26/774.50	c  750s |      21 |  1374793 |  1336845 |     8012    304 |      865 |      213
776.35/776.54	c  752s |      21 |  1377705 |  1339745 |     8012    305 |      865 |      213
778.35/778.55	c  754s |      21 |  1380522 |  1342545 |     8012    306 |      865 |      213
780.35/780.57	c  756s |      21 |  1382232 |  1344245 |     8012    306 |      865 |      213
782.45/782.63	c  758s |      21 |  1385241 |  1347245 |     8012    306 |      865 |      213
784.45/784.67	c  761s |      21 |  1387960 |  1349945 |     8012    307 |      865 |      213
786.55/786.72	c  763s |      21 |  1390583 |  1352545 |     8012    307 |      865 |      213
788.55/788.77	c  765s |      21 |  1393195 |  1355145 |     8012    308 |      865 |      213
790.65/790.83	c  767s |      21 |  1396003 |  1357945 |     8012    308 |      865 |      213
792.64/792.87	c  769s |      21 |  1398925 |  1360845 |     8012    309 |      865 |      213
794.64/794.88	c  771s |      21 |  1401441 |  1363345 |     8012    310 |      865 |      213
796.74/796.93	c  773s |      21 |  1404873 |  1366745 |     8012    310 |      865 |      213
798.84/799.04	c  775s |      21 |  1408084 |  1369945 |     8012    311 |      865 |      213
800.84/801.05	c  777s |      21 |  1411288 |  1373145 |     8012    311 |      865 |      213
802.85/803.09	c  779s |      21 |  1414307 |  1376145 |     8012    312 |      865 |      213
804.94/805.15	c  781s |      21 |  1417234 |  1379045 |     8012    312 |      865 |      213
806.94/807.17	c  783s |      21 |  1420244 |  1382045 |     8012    313 |      865 |      213
809.15/809.33	c  785s |      21 |  1422565 |  1384345 |     8012    314 |      865 |      213
811.14/811.36	c  787s |      21 |  1425983 |  1387745 |     8012    314 |      865 |      213
813.14/813.38	c  789s |      21 |  1428798 |  1390545 |     8012    315 |      865 |      213
815.24/815.43	c  791s |      21 |  1431317 |  1393045 |     8012    315 |      865 |      213
817.25/817.49	c  793s |      21 |  1434335 |  1396045 |     8012    316 |      865 |      213
819.35/819.56	c  795s |      21 |  1437150 |  1398845 |     8012    316 |      865 |      213
821.33/821.58	c  797s |      21 |  1439665 |  1401345 |     8012    317 |      865 |      213
823.43/823.60	c  799s |      21 |  1442672 |  1404345 |     8012    317 |      865 |      213
825.43/825.65	c  802s |      21 |  1445789 |  1407445 |     8012    318 |      865 |      213
827.83/828.06	c  804s |      21 |  1448922 |  1410545 |     8012    319 |      865 |      213
829.93/830.10	c  806s |      21 |  1452337 |  1413945 |     8012    319 |      865 |      213
831.93/832.15	c  808s |      21 |  1455154 |  1416745 |     8012    320 |      865 |      213
833.93/834.17	c  810s |      21 |  1458075 |  1419645 |     8012    320 |      865 |      213
835.93/836.19	c  812s |      21 |  1460788 |  1422345 |     8012    321 |      865 |      213
838.03/838.22	c  814s |      21 |  1464009 |  1425545 |     8012    321 |      865 |      213
840.02/840.24	c  816s |      21 |  1466832 |  1428345 |     8012    322 |      865 |      213
842.02/842.24	c  818s |      21 |  1469446 |  1430945 |     8012    322 |      865 |      213
844.02/844.28	c  820s |      21 |  1472456 |  1433945 |     8012    323 |      865 |      213
846.22/846.40	c  822s |      21 |  1475369 |  1436845 |     8012    324 |      865 |      213
848.22/848.47	c  824s |      21 |  1478777 |  1440245 |     8012    324 |      865 |      213
850.71/850.93	c  827s |      21 |  1481718 |  1443145 |     8012    325 |      865 |      213
852.71/852.99	c  829s |      21 |  1484935 |  1446345 |     8012    325 |      865 |      213
854.81/855.00	c  831s |      21 |  1488046 |  1449445 |     8012    326 |      865 |      213
856.91/857.16	c  833s |      21 |  1491161 |  1452545 |     8012    327 |      865 |      213
859.02/859.20	c  835s |      21 |  1494075 |  1455445 |     8012    327 |      865 |      213
861.01/861.22	c  837s |      21 |  1496783 |  1458145 |     8012    328 |      865 |      213
863.00/863.26	c  839s |      21 |  1499897 |  1461245 |     8012    328 |      865 |      213
865.00/865.26	c  841s |      21 |  1502713 |  1464045 |     8012    329 |      865 |      213
867.10/867.30	c  843s |      21 |  1505939 |  1467245 |     8012    329 |      865 |      213
869.10/869.34	c  845s |      21 |  1508354 |  1469645 |     8012    330 |      865 |      213
871.10/871.37	c  847s |      21 |  1511371 |  1472645 |     8012    330 |      865 |      213
873.10/873.39	c  849s |      21 |  1514382 |  1475645 |     8012    331 |      865 |      213
875.31/875.50	c  851s |      21 |  1517398 |  1478645 |     8012    331 |      865 |      213
877.31/877.51	c  853s |      21 |  1519610 |  1480845 |     8012    332 |      865 |      213
879.31/879.57	c  855s |      21 |  1522735 |  1483945 |     8012    332 |      865 |      213
881.30/881.57	c  857s |      21 |  1525452 |  1486645 |     8012    333 |      865 |      213
883.40/883.63	c  859s |      21 |  1528165 |  1489345 |     8012    334 |      865 |      213
885.41/885.69	c  862s |      21 |  1531288 |  1492445 |     8814    334 |      865 |      213
887.61/887.86	c  864s |      21 |  1534201 |  1495345 |     8814    335 |      865 |      213
889.60/889.90	c  866s |      21 |  1537212 |  1498345 |     8814    335 |      865 |      213
891.59/891.84	c  868s |      22 |  1539513 |  1500622 |     8814    335 |      865 |      213
893.59/893.87	c  870s |      22 |  1546102 |  1504922 |     8814    336 |      865 |      213
895.59/895.88	c  872s |      22 |  1550213 |  1509022 |     8814    337 |      865 |      213
897.59/897.90	c  874s |      22 |  1554039 |  1512822 |     8814    338 |      865 |      213
899.70/899.93	c  876s |      22 |  1557363 |  1516122 |     8814    339 |      865 |      213
901.79/902.02	c  878s |      22 |  1561178 |  1519922 |     8814    339 |      865 |      213
903.79/904.07	c  880s |      22 |  1565309 |  1524022 |     8814    340 |      865 |      213
905.78/906.09	c  882s |      22 |  1569030 |  1527722 |     8814    341 |      865 |      213
907.78/908.09	c  884s |      22 |  1572545 |  1531222 |     8814    342 |      865 |      213
909.88/910.14	c  886s |      22 |  1576162 |  1534822 |     8814    342 |      865 |      213
911.88/912.17	c  888s |      22 |  1579777 |  1538422 |     8814    343 |      865 |      213
913.89/914.20	c  890s |      22 |  1582787 |  1541422 |     8814    344 |      865 |      213
915.98/916.25	c  892s |      22 |  1586426 |  1545022 |     8814    344 |      865 |      213
917.98/918.29	c  894s |      22 |  1590350 |  1548922 |     8814    345 |      865 |      213
920.07/920.33	c  896s |      22 |  1593869 |  1552422 |     8814    346 |      865 |      213
922.07/922.34	c  898s |      22 |  1597183 |  1555722 |     8814    347 |      865 |      213
924.07/924.35	c  900s |      22 |  1600494 |  1559022 |     8814    347 |      865 |      213
926.08/926.38	c  902s |      22 |  1603607 |  1562122 |     8814    348 |      865 |      213
928.18/928.46	c  904s |      22 |  1607016 |  1565522 |     8814    349 |      865 |      213
930.17/930.47	c  906s |      22 |  1610839 |  1569322 |     8814    349 |      865 |      213
932.26/932.50	c  908s |      22 |  1614558 |  1573022 |     8814    350 |      865 |      213
934.26/934.54	c  910s |      22 |  1618168 |  1576622 |     8814    351 |      865 |      213
936.26/936.56	c  912s |      22 |  1621189 |  1579622 |     8814    351 |      865 |      213
938.27/938.58	c  914s |      22 |  1624704 |  1583122 |     8814    352 |      865 |      213
940.38/940.64	c  917s |      22 |  1627622 |  1586022 |     8814    353 |      865 |      213
942.37/942.65	c  919s |      22 |  1631444 |  1589822 |     8814    353 |      865 |      213
944.47/944.73	c  921s |      22 |  1634671 |  1593022 |     8814    354 |      865 |      213
946.47/946.76	c  923s |      22 |  1637990 |  1596322 |     8814    355 |      865 |      213
948.47/948.79	c  925s |      22 |  1641615 |  1599922 |     8814    355 |      865 |      213
950.56/950.82	c  927s |      22 |  1645037 |  1603322 |     8814    356 |      865 |      213
952.56/952.84	c  929s |      22 |  1648361 |  1606622 |     8814    357 |      865 |      213
954.57/954.88	c  931s |      22 |  1651977 |  1610222 |     8814    357 |      865 |      213
956.66/956.94	c  933s |      22 |  1655301 |  1613522 |     8814    358 |      865 |      213
958.66/958.94	c  935s |      22 |  1657622 |  1615822 |     8814    359 |      865 |      213
960.66/960.95	c  937s |      22 |  1661143 |  1619322 |     8814    359 |      865 |      213
962.66/963.00	c  939s |      22 |  1664471 |  1622622 |     8814    360 |      865 |      213
964.96/965.26	c  941s |      22 |  1667590 |  1625722 |     8814    361 |      865 |      213
967.06/967.30	c  943s |      22 |  1671210 |  1629322 |     8814    361 |      865 |      213
969.06/969.33	c  945s |      22 |  1674127 |  1632222 |     8814    362 |      865 |      213
971.06/971.35	c  947s |      22 |  1676857 |  1634922 |     8814    362 |      865 |      213
973.05/973.37	c  949s |      22 |  1680185 |  1638222 |     8814    363 |      865 |      213
975.05/975.38	c  951s |      22 |  1683710 |  1641722 |     8814    364 |      865 |      213
977.15/977.42	c  953s |      22 |  1687629 |  1645622 |     8814    364 |      865 |      213
979.15/979.47	c  955s |      22 |  1691149 |  1649122 |     8814    365 |      865 |      213
981.14/981.49	c  957s |      22 |  1694581 |  1652522 |     8814    366 |      865 |      213
983.15/983.50	c  959s |      22 |  1698096 |  1656022 |     8814    367 |      865 |      213
985.24/985.54	c  961s |      22 |  1701918 |  1659822 |     8814    367 |      865 |      213
987.24/987.54	c  963s |      22 |  1705737 |  1663622 |     8814    368 |      865 |      213
989.24/989.57	c  965s |      22 |  1709072 |  1666922 |     8814    369 |      865 |      213
991.24/991.58	c  967s |      22 |  1711896 |  1669722 |     8814    369 |      865 |      213
993.34/993.62	c  969s |      22 |  1715216 |  1673022 |     8814    370 |      865 |      213
995.34/995.66	c  972s |      22 |  1718532 |  1676322 |     8814    371 |      865 |      213
997.34/997.69	c  974s |      22 |  1721554 |  1679322 |     8814    371 |      865 |      213
999.44/999.73	c  976s |      22 |  1724766 |  1682522 |     8814    372 |      865 |      213
1001.43/1001.73	c  978s |      22 |  1727385 |  1685122 |     8814    372 |      865 |      213
1003.43/1003.75	c  980s |      22 |  1731218 |  1688922 |     8814    373 |      865 |      213
1005.43/1005.79	c  982s |      22 |  1735135 |  1692822 |     8814    374 |      865 |      213
1007.53/1007.83	c  984s |      22 |  1738455 |  1696122 |     8814    375 |      865 |      213
1009.54/1009.88	c  986s |      22 |  1742170 |  1699822 |     8814    375 |      865 |      213
1011.62/1011.91	c  988s |      22 |  1745794 |  1703422 |     8814    376 |      865 |      213
1013.62/1013.94	c  990s |      22 |  1749103 |  1706722 |     8814    377 |      865 |      213
1015.72/1016.06	c  992s |      22 |  1752516 |  1710122 |     8814    377 |      865 |      213
1017.72/1018.09	c  994s |      22 |  1756040 |  1713622 |     8814    378 |      865 |      213
1019.82/1020.10	c  996s |      22 |  1759459 |  1717022 |     8814    379 |      865 |      213
1021.82/1022.10	c  998s |      22 |  1762879 |  1720422 |     8814    379 |      865 |      213
1023.83/1024.14	c 1000s |      22 |  1766095 |  1723622 |     8814    380 |      865 |      213
1025.82/1026.18	c 1002s |      22 |  1769610 |  1727122 |     8814    381 |      865 |      213
1027.92/1028.23	c 1004s |      22 |  1773233 |  1730722 |     8814    381 |      865 |      213
1029.92/1030.23	c 1006s |      22 |  1776756 |  1734222 |     8814    382 |      865 |      213
1031.91/1032.24	c 1008s |      22 |  1779968 |  1737422 |     8814    383 |      865 |      213
1034.01/1034.34	c 1010s |      22 |  1783178 |  1740622 |     8814    383 |      865 |      213
1036.02/1036.39	c 1012s |      22 |  1786895 |  1744322 |     8814    384 |      865 |      213
1038.12/1038.42	c 1014s |      22 |  1790132 |  1747522 |     8814    385 |      865 |      213
1040.11/1040.44	c 1016s |      22 |  1793442 |  1750822 |     8814    385 |      865 |      213
1042.21/1042.50	c 1018s |      22 |  1797490 |  1754822 |     8814    386 |      865 |      213
1044.21/1044.56	c 1020s |      22 |  1801716 |  1759022 |     8814    387 |      865 |      213
1046.31/1046.60	c 1022s |      22 |  1805438 |  1762722 |     8814    388 |      865 |      213
1048.41/1048.75	c 1025s |      22 |  1808751 |  1766022 |     8814    389 |      865 |      213
1050.40/1050.76	c 1027s |      22 |  1812576 |  1769822 |     8814    389 |      865 |      213
1052.41/1052.76	c 1029s |      22 |  1816408 |  1773622 |     8814    390 |      865 |      213
1054.40/1054.79	c 1031s |      22 |  1820538 |  1777722 |     8814    391 |      865 |      213
1056.50/1056.84	c 1033s |      22 |  1823855 |  1781022 |     8814    392 |      865 |      213
1058.50/1058.86	c 1035s |      22 |  1827781 |  1784922 |     8814    392 |      865 |      213
1060.50/1060.88	c 1037s |      22 |  1831301 |  1788422 |     8814    393 |      865 |      213
1062.60/1062.92	c 1039s |      22 |  1834519 |  1791622 |     8814    394 |      865 |      213
1064.61/1064.96	c 1041s |      22 |  1838240 |  1795322 |     8814    394 |      865 |      213
1066.70/1067.01	c 1043s |      22 |  1841758 |  1798822 |     8814    395 |      865 |      213
1068.71/1069.03	c 1045s |      22 |  1845272 |  1802322 |     8814    396 |      865 |      213
1070.70/1071.04	c 1047s |      22 |  1848886 |  1805922 |     8814    396 |      865 |      213
1072.70/1073.05	c 1049s |      22 |  1852507 |  1809522 |     8814    397 |      865 |      213
1074.70/1075.09	c 1051s |      22 |  1856328 |  1813322 |     8814    398 |      865 |      213
1076.80/1077.11	c 1053s |      22 |  1859937 |  1816922 |     8814    399 |      865 |      213
1078.81/1079.15	c 1055s |      22 |  1864265 |  1821222 |     8814    400 |      865 |      213
1080.80/1081.19	c 1057s |      22 |  1868392 |  1825322 |     8814    400 |      865 |      213
1082.90/1083.20	c 1059s |      22 |  1872206 |  1829122 |     8814    401 |      865 |      213
1084.90/1085.23	c 1061s |      22 |  1875926 |  1832822 |     8814    402 |      865 |      213
1086.89/1087.27	c 1063s |      22 |  1879549 |  1836422 |     8814    403 |      865 |      213
1088.89/1089.30	c 1065s |      22 |  1883366 |  1840222 |     8814    403 |      865 |      213
1091.00/1091.31	c 1067s |      22 |  1887284 |  1844122 |     8814    404 |      865 |      213
1092.99/1093.32	c 1069s |      22 |  1890191 |  1847022 |     8814    405 |      865 |      213
1094.99/1095.35	c 1071s |      22 |  1894211 |  1851022 |     8814    405 |      865 |      213
1097.39/1097.76	c 1074s |      22 |  1897424 |  1854222 |     8814    406 |      865 |      213
1099.38/1099.76	c 1076s |      22 |  1900434 |  1857222 |     8814    407 |      865 |      213
1101.38/1101.77	c 1078s |      22 |  1904244 |  1861022 |     8814    407 |      865 |      213
1103.48/1103.83	c 1080s |      22 |  1908273 |  1865022 |     8814    408 |      865 |      213
1105.69/1106.05	c 1082s |      22 |  1911291 |  1868022 |     8814    409 |      865 |      213
1107.69/1108.08	c 1084s |      22 |  1914908 |  1871622 |     8814    410 |      865 |      213
1109.79/1110.12	c 1086s |      22 |  1918728 |  1875422 |     8814    410 |      865 |      213
1111.79/1112.14	c 1088s |      22 |  1921639 |  1878322 |     8814    411 |      865 |      213
1113.78/1114.15	c 1090s |      22 |  1925357 |  1882022 |     8814    412 |      865 |      213
1115.78/1116.16	c 1092s |      22 |  1929185 |  1885822 |     8814    412 |      865 |      213
1117.78/1118.19	c 1094s |      22 |  1933005 |  1889622 |     8814    413 |      865 |      213
1119.88/1120.26	c 1096s |      22 |  1934524 |  1891122 |     8814    414 |      865 |      213
1121.98/1122.32	c 1098s |      22 |  1938643 |  1895222 |     8814    414 |      865 |      213
1123.99/1124.33	c 1100s |      22 |  1942459 |  1899022 |     8814    415 |      865 |      213
1125.98/1126.37	c 1102s |      22 |  1946176 |  1902722 |     8814    416 |      865 |      213
1128.08/1128.43	c 1104s |      22 |  1948793 |  1905322 |     8814    416 |      865 |      213
1130.08/1130.48	c 1106s |      22 |  1952810 |  1909322 |     8814    417 |      865 |      213
1132.08/1132.48	c 1108s |      22 |  1955627 |  1912122 |     8814    418 |      865 |      213
1134.17/1134.50	c 1110s |      22 |  1958937 |  1915422 |     8814    418 |      865 |      213
1136.17/1136.55	c 1112s |      22 |  1962861 |  1919322 |     8814    419 |      865 |      213
1138.18/1138.57	c 1114s |      22 |  1966278 |  1922722 |     8814    420 |      865 |      213
1140.27/1140.61	c 1116s |      22 |  1970110 |  1926522 |     8814    421 |      865 |      213
1142.27/1142.66	c 1119s |      22 |  1971923 |  1928322 |     8814    421 |      865 |      213
1144.27/1144.67	c 1121s |      22 |  1975744 |  1932122 |     8814    422 |      865 |      213
1146.47/1146.82	c 1123s |      22 |  1979770 |  1936122 |     8814    423 |      865 |      213
1148.47/1148.87	c 1125s |      22 |  1983893 |  1940222 |     8814    423 |      865 |      213
1150.57/1150.91	c 1127s |      22 |  1988025 |  1944322 |     8814    424 |      865 |      213
1152.57/1152.93	c 1129s |      22 |  1990738 |  1947022 |     8814    425 |      865 |      213
1154.56/1154.98	c 1131s |      22 |  1994747 |  1951022 |     8814    425 |      865 |      213
1156.56/1156.99	c 1133s |      22 |  1997763 |  1954022 |     8814    426 |      865 |      213
1158.67/1159.00	c 1135s |      22 |  2000977 |  1957222 |     8814    427 |      865 |      213
1160.67/1161.00	c 1137s |      22 |  2004798 |  1961022 |     8814    427 |      865 |      213
1162.86/1163.22	c 1139s |      22 |  2008219 |  1964422 |     8814    428 |      865 |      213
1164.86/1165.26	c 1141s |      22 |  2011839 |  1968022 |     8814    429 |      865 |      213
1166.96/1167.30	c 1143s |      22 |  2015058 |  1971222 |     8814    430 |      865 |      213
1168.97/1169.31	c 1145s |      22 |  2018987 |  1975122 |     8814    430 |      865 |      213
1170.96/1171.31	c 1147s |      22 |  2021802 |  1977922 |     8814    431 |      865 |      213
1172.96/1173.32	c 1149s |      22 |  2024710 |  1980822 |     8814    431 |      865 |      213
1175.06/1175.42	c 1151s |      22 |  2028836 |  1984922 |     8814    432 |      865 |      213
1177.06/1177.45	c 1153s |      22 |  2032552 |  1988622 |     8814    433 |      865 |      213
1179.06/1179.48	c 1155s |      22 |  2035469 |  1991522 |     8814    434 |      865 |      213
1181.16/1181.51	c 1157s |      22 |  2039293 |  1995322 |     8814    434 |      865 |      213
1183.36/1183.75	c 1160s |      22 |  2042620 |  1998622 |     8814    435 |      865 |      213
1185.35/1185.77	c 1162s |      22 |  2046438 |  2002422 |     8814    436 |      865 |      213
1187.45/1187.81	c 1164s |      22 |  2049666 |  2005622 |     8814    436 |      865 |      213
1189.75/1190.10	c 1166s |      22 |  2053489 |  2009422 |     8814    437 |      865 |      213
1191.75/1192.11	c 1168s |      22 |  2057822 |  2013722 |     8814    438 |      865 |      213
1193.75/1194.12	c 1170s |      22 |  2061639 |  2017522 |     8814    439 |      865 |      213
1195.75/1196.17	c 1172s |      22 |  2065360 |  2021222 |     8814    440 |      865 |      213
1197.75/1198.19	c 1174s |      22 |  2069881 |  2025722 |     8814    440 |      865 |      213
1199.85/1200.22	c 1176s |      22 |  2073601 |  2029422 |     8814    441 |      865 |      213
1201.84/1202.27	c 1178s |      22 |  2077933 |  2033722 |     8814    442 |      865 |      213
1203.94/1204.30	c 1180s |      22 |  2081851 |  2037622 |     8814    443 |      865 |      213
1205.95/1206.30	c 1182s |      22 |  2085365 |  2041122 |     8814    443 |      865 |      213
1207.95/1208.32	c 1184s |      22 |  2089088 |  2044822 |     8814    444 |      865 |      213
1209.95/1210.33	c 1186s |      22 |  2092816 |  2048522 |     8814    445 |      865 |      213
1211.95/1212.34	c 1188s |      22 |  2096133 |  2051822 |     8814    446 |      865 |      213
1213.95/1214.35	c 1190s |      22 |  2099652 |  2055322 |     8814    446 |      865 |      213
1215.95/1216.39	c 1192s |      22 |  2103778 |  2059422 |     8814    447 |      865 |      213
1217.94/1218.39	c 1194s |      22 |  2107386 |  2063022 |     8814    448 |      865 |      213
1220.04/1220.42	c 1196s |      22 |  2110909 |  2066522 |     8814    449 |      865 |      213
1222.04/1222.47	c 1198s |      22 |  2115026 |  2070622 |     8814    449 |      865 |      213
1224.05/1224.48	c 1200s |      22 |  2118951 |  2074522 |     8814    450 |      865 |      213
1226.15/1226.51	c 1202s |      22 |  2122166 |  2077722 |     8814    451 |      865 |      213
1228.14/1228.54	c 1204s |      22 |  2126181 |  2081722 |     8814    452 |      865 |      213
1230.14/1230.56	c 1206s |      22 |  2130099 |  2085622 |     8814    452 |      865 |      213
1232.13/1232.58	c 1208s |      22 |  2134016 |  2089522 |     8814    453 |      865 |      213
1234.23/1234.66	c 1211s |      22 |  2137743 |  2093222 |     8814    454 |      865 |      213
1236.23/1236.66	c 1213s |      22 |  2141452 |  2096922 |     8814    455 |      865 |      213
1238.53/1238.93	c 1215s |      22 |  2145672 |  2101122 |     8814    455 |      865 |      213
1240.54/1240.98	c 1217s |      22 |  2149486 |  2104922 |     8814    456 |      865 |      213
1242.53/1242.99	c 1219s |      22 |  2153298 |  2108722 |     8814    457 |      865 |      213
1244.63/1245.09	c 1221s |      22 |  2156316 |  2111722 |     8814    458 |      865 |      213
1246.73/1247.11	c 1223s |      22 |  2160440 |  2115822 |     8814    458 |      865 |      213
1248.73/1249.11	c 1225s |      22 |  2163658 |  2119022 |     8814    459 |      865 |      213
1250.72/1251.11	c 1227s |      22 |  2167674 |  2123022 |     8814    460 |      865 |      213
1252.72/1253.18	c 1229s |      22 |  2170880 |  2126222 |     8814    461 |      865 |      213
1254.83/1255.21	c 1231s |      22 |  2173903 |  2129222 |     8814    461 |      865 |      213
1256.82/1257.22	c 1233s |      22 |  2177722 |  2133022 |     8814    462 |      865 |      213
1258.82/1259.25	c 1235s |      22 |  2181437 |  2136722 |     8814    463 |      865 |      213
1260.82/1261.29	c 1237s |      22 |  2184362 |  2139622 |     8814    463 |      865 |      213
1262.92/1263.30	c 1239s |      22 |  2188578 |  2143822 |     8814    464 |      865 |      213
1265.02/1265.43	c 1241s |      22 |  2192511 |  2147722 |     8814    465 |      865 |      213
1267.02/1267.46	c 1243s |      22 |  2196128 |  2151322 |     8814    466 |      865 |      213
1269.03/1269.48	c 1245s |      22 |  2200447 |  2155622 |     8814    466 |      865 |      213
1271.12/1271.52	c 1247s |      22 |  2204160 |  2159322 |     8814    467 |      865 |      213
1273.12/1273.54	c 1249s |      22 |  2206969 |  2162122 |     8814    468 |      865 |      213
1275.22/1275.64	c 1252s |      22 |  2211196 |  2166322 |     8814    469 |      865 |      213
1277.22/1277.64	c 1254s |      22 |  2215017 |  2170122 |     8814    469 |      865 |      213
1279.22/1279.65	c 1256s |      22 |  2218431 |  2173522 |     8814    470 |      865 |      213
1281.23/1281.68	c 1258s |      22 |  2222244 |  2177322 |     8814    471 |      865 |      213
1283.32/1283.71	c 1260s |      22 |  2226163 |  2181222 |     8814    472 |      865 |      213
1285.32/1285.76	c 1262s |      22 |  2229583 |  2184622 |     8814    472 |      865 |      213
1287.32/1287.78	c 1264s |      22 |  2233705 |  2188722 |     8814    473 |      865 |      213
1289.52/1289.93	c 1266s |      22 |  2237324 |  2192322 |     8814    474 |      865 |      213
1291.61/1292.02	c 1268s |      22 |  2241242 |  2196222 |     8814    475 |      865 |      213
1293.61/1294.05	c 1270s |      22 |  2245263 |  2200222 |     8814    475 |      865 |      213
1295.61/1296.07	c 1272s |      22 |  2248881 |  2203822 |     8814    476 |      865 |      213
1297.72/1298.11	c 1274s |      22 |  2252694 |  2207622 |     8814    477 |      865 |      213
1299.71/1300.13	c 1276s |      22 |  2256612 |  2211522 |     8814    478 |      865 |      213
1301.71/1302.17	c 1278s |      22 |  2260233 |  2215122 |     8814    478 |      865 |      213
1303.81/1304.21	c 1280s |      22 |  2264350 |  2219222 |     8814    479 |      865 |      213
1305.81/1306.23	c 1282s |      22 |  2268477 |  2223322 |     8814    480 |      865 |      213
1307.82/1308.26	c 1284s |      22 |  2271384 |  2226222 |     8814    481 |      865 |      213
1309.91/1310.30	c 1286s |      22 |  2275502 |  2230322 |     8814    481 |      865 |      213
1311.92/1312.35	c 1288s |      22 |  2279433 |  2234222 |     8814    482 |      865 |      213
1313.91/1314.36	c 1290s |      22 |  2283248 |  2238022 |     9696    483 |      865 |      213
1315.91/1316.38	c 1292s |      22 |  2287062 |  2241822 |     9696    483 |      865 |      213
1318.01/1318.41	c 1294s |      22 |  2290181 |  2244922 |     9696    484 |      865 |      213
1320.01/1320.41	c 1296s |      22 |  2293598 |  2248322 |     9696    485 |      865 |      213
1321.31/1321.70	c 1298s |      23 |  2296328 |  2251038 |     9696    485 |      865 |      213
1323.31/1323.72	c 1300s |      23 |  2302918 |  2256638 |     9696    486 |      865 |      213
1325.31/1325.75	c 1302s |      23 |  2307041 |  2260738 |     9696    487 |      865 |      213
1327.32/1327.80	c 1304s |      23 |  2310455 |  2264138 |     9696    487 |      865 |      213
1329.41/1329.83	c 1306s |      23 |  2313877 |  2267538 |     9696    488 |      865 |      213
1331.40/1331.84	c 1308s |      23 |  2316790 |  2270438 |     9696    489 |      865 |      213
1333.40/1333.88	c 1310s |      23 |  2319710 |  2273338 |     9696    489 |      865 |      213
1335.50/1335.91	c 1312s |      23 |  2322826 |  2276438 |     9696    490 |      865 |      213
1337.50/1337.95	c 1314s |      23 |  2326538 |  2280138 |     9696    490 |      865 |      213
1339.51/1339.96	c 1316s |      23 |  2329763 |  2283338 |     9696    491 |      865 |      213
1341.50/1341.99	c 1318s |      23 |  2332979 |  2286538 |     9696    491 |      865 |      213
1343.60/1344.02	c 1320s |      23 |  2335286 |  2288838 |     9696    492 |      865 |      213
1345.60/1346.02	c 1322s |      23 |  2338406 |  2291938 |     9696    492 |      865 |      213
1347.90/1348.32	c 1324s |      23 |  2341528 |  2295038 |     9696    493 |      865 |      213
1349.89/1350.39	c 1326s |      23 |  2344638 |  2298138 |     9696    494 |      865 |      213
1351.99/1352.46	c 1328s |      23 |  2348254 |  2301738 |     9696    494 |      865 |      213
1354.10/1354.58	c 1330s |      23 |  2350169 |  2303638 |     9696    495 |      865 |      213
1356.20/1356.60	c 1332s |      23 |  2355137 |  2307538 |     9696    495 |      865 |      213
1358.21/1358.61	c 1334s |      23 |  2360880 |  2312438 |     9696    496 |      865 |      213
1360.20/1360.62	c 1336s |      23 |  2364432 |  2315538 |     9696    496 |      865 |      213
1362.20/1362.66	c 1339s |      23 |  2368760 |  2319838 |     9696    497 |      865 |      213
1364.20/1364.66	c 1341s |      23 |  2371871 |  2322938 |     9696    498 |      865 |      213
1366.20/1366.66	c 1343s |      23 |  2374984 |  2326038 |     9696    498 |      865 |      213
1368.40/1368.89	c 1345s |      23 |  2377589 |  2328638 |     9696    499 |      865 |      213
1370.49/1370.91	c 1347s |      23 |  2380602 |  2331638 |     9696    499 |      865 |      213
1372.50/1372.94	c 1349s |      23 |  2383318 |  2334338 |     9696    499 |      865 |      213
1374.49/1375.00	c 1351s |      23 |  2386030 |  2337038 |     9696    500 |      865 |      213
1376.59/1377.01	c 1353s |      23 |  2388747 |  2339738 |     9696    500 |      865 |      213
1378.59/1379.04	c 1355s |      23 |  2391853 |  2342838 |     9696    501 |      865 |      213
1380.58/1381.08	c 1357s |      23 |  2394658 |  2345638 |     9696    501 |      865 |      213
1382.58/1383.09	c 1359s |      23 |  2397267 |  2348238 |     9696    502 |      865 |      213
1384.68/1385.18	c 1361s |      23 |  2400090 |  2351038 |     9696    502 |      865 |      213
1386.79/1387.25	c 1363s |      23 |  2402096 |  2353038 |     9696    503 |      865 |      213
1388.78/1389.27	c 1365s |      23 |  2405518 |  2356438 |     9696    503 |      865 |      213
1390.78/1391.27	c 1367s |      23 |  2407930 |  2358838 |     9696    503 |      865 |      213
1392.78/1393.28	c 1369s |      23 |  2410732 |  2361638 |     9696    504 |      865 |      213
1394.88/1395.33	c 1371s |      23 |  2413545 |  2364438 |     9696    504 |      865 |      213
1396.88/1397.36	c 1373s |      23 |  2415557 |  2366438 |     9696    505 |      865 |      213
1398.98/1399.42	c 1375s |      23 |  2418869 |  2369738 |     9696    505 |      865 |      213
1400.98/1401.44	c 1377s |      23 |  2421582 |  2372438 |     9696    506 |      865 |      213
1402.98/1403.45	c 1379s |      23 |  2424197 |  2375038 |     9696    506 |      865 |      213
1404.98/1405.45	c 1381s |      23 |  2426513 |  2377338 |     9696    507 |      865 |      213
1406.98/1407.49	c 1383s |      23 |  2429733 |  2380538 |     9696    507 |      865 |      213
1409.07/1409.54	c 1385s |      23 |  2432752 |  2383538 |     9696    508 |      865 |      213
1411.07/1411.57	c 1387s |      23 |  2435868 |  2386638 |     9696    508 |      865 |      213
1413.08/1413.60	c 1389s |      23 |  2439183 |  2389938 |     9696    509 |      865 |      213
1415.17/1415.67	c 1392s |      23 |  2441795 |  2392538 |     9696    510 |      865 |      213
1417.17/1417.69	c 1394s |      23 |  2445012 |  2395738 |     9696    510 |      865 |      213
1419.27/1419.73	c 1396s |      23 |  2447520 |  2398238 |     9696    511 |      865 |      213
1421.27/1421.76	c 1398s |      23 |  2450134 |  2400838 |     9696    511 |      865 |      213
1423.47/1423.90	c 1400s |      23 |  2452941 |  2403638 |     9696    512 |      865 |      213
1425.47/1425.96	c 1402s |      23 |  2456356 |  2407038 |     9696    512 |      865 |      213
1427.58/1428.07	c 1404s |      23 |  2458272 |  2408938 |     9696    513 |      865 |      213
1429.59/1430.09	c 1406s |      23 |  2461594 |  2412238 |     9696    513 |      865 |      213
1431.58/1432.09	c 1408s |      23 |  2463997 |  2414638 |     9696    514 |      865 |      213
1433.68/1434.13	c 1410s |      23 |  2467420 |  2418038 |     9696    514 |      865 |      213
1435.88/1436.33	c 1412s |      23 |  2470040 |  2420638 |     9696    515 |      865 |      213
1437.88/1438.35	c 1414s |      23 |  2473356 |  2423938 |     9696    515 |      865 |      213
1439.98/1440.43	c 1416s |      23 |  2475972 |  2426538 |     9696    516 |      865 |      213
1441.98/1442.47	c 1418s |      23 |  2479182 |  2429738 |     9696    516 |      865 |      213
1444.08/1444.50	c 1420s |      23 |  2481697 |  2432238 |     9696    517 |      865 |      213
1446.08/1446.52	c 1422s |      23 |  2484705 |  2435238 |     9696    517 |      865 |      213
1448.08/1448.53	c 1424s |      23 |  2487622 |  2438138 |     9696    518 |      865 |      213
1450.08/1450.53	c 1426s |      23 |  2490341 |  2440838 |     9696    518 |      865 |      213
1452.08/1452.57	c 1428s |      23 |  2492852 |  2443338 |     9696    519 |      865 |      213
1454.18/1454.60	c 1430s |      23 |  2495572 |  2446038 |     9696    519 |      865 |      213
1456.17/1456.63	c 1432s |      23 |  2498485 |  2448938 |     9696    520 |      865 |      213
1458.18/1458.66	c 1435s |      23 |  2501392 |  2451838 |     9696    520 |      865 |      213
1460.27/1460.72	c 1437s |      23 |  2504104 |  2454538 |     9696    521 |      865 |      213
1462.27/1462.75	c 1439s |      23 |  2507119 |  2457538 |     9696    521 |      865 |      213
1464.27/1464.77	c 1441s |      23 |  2509944 |  2460338 |     9696    522 |      865 |      213
1466.37/1466.82	c 1443s |      23 |  2512852 |  2463238 |     9696    522 |      865 |      213
1468.37/1468.85	c 1445s |      23 |  2515668 |  2466038 |     9696    523 |      865 |      213
1470.38/1470.86	c 1447s |      23 |  2518382 |  2468738 |     9696    523 |      865 |      213
1472.37/1472.89	c 1449s |      23 |  2521398 |  2471738 |     9696    524 |      865 |      213
1474.47/1474.92	c 1451s |      23 |  2524206 |  2474538 |     9696    525 |      865 |      213
1476.47/1476.97	c 1453s |      23 |  2527220 |  2477538 |     9696    525 |      865 |      213
1478.57/1479.01	c 1455s |      23 |  2529635 |  2479938 |     9696    526 |      865 |      213
1480.57/1481.01	c 1457s |      23 |  2532949 |  2483238 |     9696    526 |      865 |      213
1482.57/1483.09	c 1459s |      23 |  2535563 |  2485838 |     9696    527 |      865 |      213
1484.67/1485.11	c 1461s |      23 |  2538473 |  2488738 |     9696    527 |      865 |      213
1486.67/1487.11	c 1463s |      23 |  2540889 |  2491138 |     9696    528 |      865 |      213
1488.67/1489.12	c 1465s |      23 |  2544003 |  2494238 |     9696    528 |      865 |      213
1490.67/1491.16	c 1467s |      23 |  2546311 |  2496538 |     9696    529 |      865 |      213
1492.67/1493.17	c 1469s |      23 |  2549319 |  2499538 |     9696    529 |      865 |      213
1494.76/1495.20	c 1471s |      23 |  2551839 |  2502038 |     9696    530 |      865 |      213
1496.77/1497.23	c 1473s |      23 |  2555056 |  2505238 |     9696    530 |      865 |      213
1498.76/1499.24	c 1475s |      23 |  2557669 |  2507838 |     9696    531 |      865 |      213
1500.86/1501.30	c 1477s |      23 |  2560583 |  2510738 |     9696    531 |      865 |      213
1502.86/1503.32	c 1479s |      23 |  2563192 |  2513338 |     9696    532 |      865 |      213
1504.86/1505.34	c 1481s |      23 |  2566520 |  2516638 |     9696    532 |      865 |      213
1506.86/1507.38	c 1483s |      23 |  2569933 |  2520038 |     9696    533 |      865 |      213
1508.96/1509.42	c 1485s |      23 |  2573151 |  2523238 |     9696    533 |      865 |      213
1510.97/1511.42	c 1487s |      23 |  2576160 |  2526238 |     9696    534 |      865 |      213
1512.96/1513.47	c 1489s |      23 |  2578878 |  2528938 |     9696    534 |      865 |      213
1514.96/1515.47	c 1491s |      23 |  2581693 |  2531738 |     9696    535 |      865 |      213
1516.96/1517.48	c 1493s |      23 |  2584402 |  2534438 |     9696    535 |      865 |      213
1519.06/1519.52	c 1495s |      23 |  2587420 |  2537438 |     9696    536 |      865 |      213
1521.06/1521.56	c 1497s |      23 |  2590745 |  2540738 |     9696    537 |      865 |      213
1523.07/1523.60	c 1499s |      23 |  2593959 |  2543938 |     9696    537 |      865 |      213
1525.16/1525.64	c 1502s |      23 |  2596976 |  2546938 |     9696    538 |      865 |      213
1527.16/1527.64	c 1504s |      23 |  2599986 |  2549938 |     9696    538 |      865 |      213
1529.16/1529.65	c 1506s |      23 |  2603001 |  2552938 |     9696    539 |      865 |      213
1531.16/1531.69	c 1508s |      23 |  2605511 |  2555438 |     9696    539 |      865 |      213
1533.26/1533.70	c 1510s |      23 |  2608630 |  2558538 |     9696    540 |      865 |      213
1535.27/1535.76	c 1512s |      23 |  2611436 |  2561338 |     9696    540 |      865 |      213
1537.37/1537.81	c 1514s |      23 |  2614157 |  2564038 |     9696    541 |      865 |      213
1539.36/1539.84	c 1516s |      23 |  2616977 |  2566838 |     9696    541 |      865 |      213
1541.46/1541.90	c 1518s |      23 |  2619991 |  2569838 |     9696    542 |      865 |      213
1543.46/1543.96	c 1520s |      23 |  2622604 |  2572438 |     9696    542 |      865 |      213
1545.56/1546.00	c 1522s |      23 |  2625418 |  2575238 |     9696    543 |      865 |      213
1547.56/1548.04	c 1524s |      23 |  2628332 |  2578138 |     9696    543 |      865 |      213
1549.57/1550.07	c 1526s |      23 |  2631151 |  2580938 |     9696    544 |      865 |      213
1551.67/1552.10	c 1528s |      23 |  2633966 |  2583738 |     9696    545 |      865 |      213
1553.66/1554.14	c 1530s |      23 |  2637475 |  2587238 |     9696    545 |      865 |      213
1555.66/1556.20	c 1532s |      23 |  2640001 |  2589738 |     9696    546 |      865 |      213
1557.76/1558.22	c 1534s |      23 |  2643117 |  2592838 |     9696    546 |      865 |      213
1559.75/1560.24	c 1536s |      23 |  2645430 |  2595138 |     9696    547 |      865 |      213
1561.75/1562.27	c 1538s |      23 |  2648249 |  2597938 |     9696    547 |      865 |      213
1563.76/1564.28	c 1540s |      23 |  2650860 |  2600538 |     9696    548 |      865 |      213
1565.85/1566.30	c 1542s |      23 |  2654081 |  2603738 |     9696    548 |      865 |      213
1567.85/1568.34	c 1544s |      23 |  2656695 |  2606338 |     9696    549 |      865 |      213
1569.85/1570.36	c 1546s |      23 |  2659905 |  2609538 |     9696    549 |      865 |      213
1571.85/1572.38	c 1548s |      23 |  2662416 |  2612038 |     9696    550 |      865 |      213
1573.85/1574.39	c 1550s |      23 |  2665429 |  2615038 |     9696    550 |      865 |      213
1575.96/1576.41	c 1552s |      23 |  2667947 |  2617538 |     9696    551 |      865 |      213
1577.95/1578.44	c 1554s |      23 |  2670964 |  2620538 |     9696    551 |      865 |      213
1579.95/1580.48	c 1556s |      23 |  2673789 |  2623338 |     9696    552 |      865 |      213
1582.05/1582.56	c 1558s |      23 |  2676901 |  2626438 |     9696    552 |      865 |      213
1584.15/1584.61	c 1560s |      23 |  2679613 |  2629138 |     9696    553 |      865 |      213
1586.15/1586.62	c 1562s |      23 |  2682540 |  2632038 |     9696    553 |      865 |      213
1588.15/1588.63	c 1564s |      23 |  2685152 |  2634638 |     9696    554 |      865 |      213
1590.15/1590.64	c 1567s |      23 |  2688069 |  2637538 |     9696    554 |      865 |      213
1592.15/1592.70	c 1569s |      23 |  2691185 |  2640638 |     9696    555 |      865 |      213
1594.15/1594.70	c 1571s |      23 |  2694103 |  2643538 |     9696    555 |      865 |      213
1596.25/1596.72	c 1573s |      23 |  2697213 |  2646638 |     9696    556 |      865 |      213
1598.25/1598.76	c 1575s |      23 |  2699723 |  2649138 |     9696    557 |      865 |      213
1600.35/1600.82	c 1577s |      23 |  2703132 |  2652538 |     9696    557 |      865 |      213
1602.45/1602.95	c 1579s |      23 |  2705853 |  2655238 |     9696    558 |      865 |      213
1604.46/1605.00	c 1581s |      23 |  2709280 |  2658638 |     9696    558 |      865 |      213
1606.55/1607.02	c 1583s |      23 |  2711690 |  2661038 |     9696    559 |      865 |      213
1608.55/1609.06	c 1585s |      23 |  2714310 |  2663638 |     9696    559 |      865 |      213
1610.65/1611.11	c 1587s |      23 |  2717330 |  2666638 |     9696    560 |      865 |      213
1612.65/1613.16	c 1589s |      23 |  2720138 |  2669438 |     9696    560 |      865 |      213
1614.65/1615.19	c 1591s |      23 |  2722763 |  2672038 |     9696    561 |      865 |      213
1616.75/1617.26	c 1593s |      23 |  2726084 |  2675338 |     9696    561 |      865 |      213
1618.76/1619.29	c 1595s |      23 |  2728596 |  2677838 |     9696    562 |      865 |      213
1620.85/1621.36	c 1597s |      23 |  2731817 |  2681038 |     9696    562 |      865 |      213
1622.95/1623.49	c 1599s |      23 |  2734730 |  2683938 |     9696    563 |      865 |      213
1625.05/1625.55	c 1601s |      23 |  2737556 |  2686738 |     9696    563 |      865 |      213
1627.05/1627.59	c 1603s |      23 |  2740162 |  2689338 |     9696    564 |      865 |      213
1629.15/1629.62	c 1605s |      23 |  2743270 |  2692438 |     9696    564 |      865 |      213
1631.15/1631.67	c 1608s |      23 |  2746185 |  2695338 |     9696    565 |      865 |      213
1633.24/1633.70	c 1610s |      23 |  2749099 |  2698238 |     9696    565 |      865 |      213
1635.25/1635.75	c 1612s |      23 |  2752220 |  2701338 |     9696    566 |      865 |      213
1637.34/1637.81	c 1614s |      23 |  2754625 |  2703738 |     9696    567 |      865 |      213
1639.34/1639.87	c 1616s |      23 |  2757741 |  2706838 |     9696    567 |      865 |      213
1641.54/1642.01	c 1618s |      23 |  2760150 |  2709238 |     9696    568 |      865 |      213
1643.54/1644.06	c 1620s |      23 |  2763562 |  2712638 |     9696    568 |      865 |      213
1645.54/1646.09	c 1622s |      23 |  2765769 |  2714838 |     9696    569 |      865 |      213
1647.64/1648.13	c 1624s |      23 |  2768586 |  2717638 |     9696    569 |      865 |      213
1649.65/1650.14	c 1626s |      23 |  2771105 |  2720138 |     9696    570 |      865 |      213
1651.64/1652.17	c 1628s |      23 |  2774217 |  2723238 |     9696    570 |      865 |      213
1653.74/1654.21	c 1630s |      23 |  2776522 |  2725538 |     9696    571 |      865 |      213
1655.74/1656.25	c 1632s |      23 |  2779731 |  2728738 |     9696    571 |      865 |      213
1657.74/1658.26	c 1634s |      23 |  2782439 |  2731438 |     9696    572 |      865 |      213
1659.74/1660.30	c 1636s |      23 |  2785554 |  2734538 |     9696    572 |      865 |      213
1661.84/1662.31	c 1638s |      23 |  2787862 |  2736838 |     9696    573 |      865 |      213
1663.85/1664.32	c 1640s |      23 |  2790880 |  2739838 |     9696    573 |      865 |      213
1665.84/1666.37	c 1642s |      23 |  2793386 |  2742338 |     9696    574 |      865 |      213
1667.94/1668.42	c 1644s |      23 |  2796604 |  2745538 |     9696    574 |      865 |      213
1669.94/1670.44	c 1646s |      23 |  2799621 |  2748538 |     9696    575 |      865 |      213
1671.94/1672.44	c 1648s |      23 |  2802639 |  2751538 |     9696    575 |      865 |      213
1673.94/1674.47	c 1650s |      23 |  2805250 |  2754138 |     9696    576 |      865 |      213
1675.94/1676.48	c 1652s |      23 |  2808263 |  2757138 |     9696    576 |      865 |      213
1678.04/1678.52	c 1654s |      23 |  2811271 |  2760138 |     9696    577 |      865 |      213
1680.04/1680.53	c 1656s |      23 |  2813790 |  2762638 |     9696    577 |      865 |      213
1682.04/1682.55	c 1658s |      23 |  2816507 |  2765338 |     9696    578 |      865 |      213
1684.14/1684.61	c 1660s |      23 |  2819716 |  2768538 |     9696    578 |      865 |      213
1686.13/1686.62	c 1662s |      23 |  2822325 |  2771138 |     9696    579 |      865 |      213
1688.14/1688.65	c 1665s |      23 |  2824742 |  2773538 |     9696    579 |      865 |      213
1690.13/1690.66	c 1667s |      23 |  2827255 |  2776038 |     9696    580 |      865 |      213
1692.13/1692.67	c 1669s |      23 |  2830480 |  2779238 |     9696    580 |      865 |      213
1694.23/1694.72	c 1671s |      23 |  2833683 |  2782438 |     9696    581 |      865 |      213
1696.23/1696.76	c 1673s |      23 |  2836506 |  2785238 |     9696    581 |      865 |      213
1698.33/1698.82	c 1675s |      23 |  2839719 |  2788438 |     9696    582 |      865 |      213
1700.43/1700.93	c 1677s |      23 |  2842133 |  2790838 |     9696    583 |      865 |      213
1702.44/1702.95	c 1679s |      23 |  2845245 |  2793938 |     9696    583 |      865 |      213
1704.43/1705.00	c 1681s |      23 |  2847762 |  2796438 |     9696    584 |      865 |      213
1706.53/1707.00	c 1683s |      23 |  2850977 |  2799638 |     9696    584 |      865 |      213
1708.53/1709.00	c 1685s |      23 |  2853490 |  2802138 |     9696    585 |      865 |      213
1710.53/1711.05	c 1687s |      23 |  2856607 |  2805238 |     9696    585 |      865 |      213
1712.53/1713.09	c 1689s |      23 |  2859428 |  2808038 |     9696    586 |      865 |      213
1714.63/1715.12	c 1691s |      23 |  2862242 |  2810838 |     9696    586 |      865 |      213
1716.64/1717.17	c 1693s |      23 |  2865063 |  2813638 |     9696    587 |      865 |      213
1718.73/1719.20	c 1695s |      23 |  2867983 |  2816538 |     9696    587 |      865 |      213
1720.83/1721.39	c 1697s |      23 |  2870598 |  2819138 |     9696    588 |      865 |      213
1722.93/1723.46	c 1699s |      23 |  2873814 |  2822338 |     9696    588 |      865 |      213
1725.03/1725.50	c 1701s |      23 |  2876223 |  2824738 |     9696    589 |      865 |      213
1727.03/1727.53	c 1703s |      23 |  2879232 |  2827738 |     9696    589 |      865 |      213
1729.03/1729.55	c 1705s |      23 |  2882046 |  2830538 |     9696    590 |      865 |      213
1731.13/1731.61	c 1707s |      23 |  2884961 |  2833438 |     9696    590 |      865 |      213
1733.13/1733.64	c 1710s |      23 |  2887876 |  2836338 |     9696    591 |      865 |      213
1735.13/1735.66	c 1712s |      23 |  2890784 |  2839238 |     9696    591 |      865 |      213
1737.22/1737.70	c 1714s |      23 |  2893200 |  2841638 |     9696    592 |      865 |      213
1739.22/1739.74	c 1716s |      23 |  2896211 |  2844638 |     9696    592 |      865 |      213
1741.32/1741.87	c 1718s |      23 |  2899132 |  2847538 |     9696    593 |      865 |      213
1743.42/1743.96	c 1720s |      23 |  2902042 |  2850438 |     9696    593 |      865 |      213
1745.52/1746.01	c 1722s |      23 |  2904750 |  2853138 |     9696    594 |      865 |      213
1747.53/1748.03	c 1724s |      23 |  2907475 |  2855838 |     9696    594 |      865 |      213
1749.52/1750.07	c 1726s |      23 |  2910289 |  2858638 |     9696    595 |      865 |      213
1751.72/1752.23	c 1728s |      23 |  2913101 |  2861438 |     9696    596 |      865 |      213
1753.72/1754.29	c 1730s |      23 |  2916015 |  2864338 |     9696    596 |      865 |      213
1755.92/1756.43	c 1732s |      23 |  2918622 |  2866938 |     9696    597 |      865 |      213
1757.92/1758.48	c 1734s |      23 |  2922036 |  2870338 |     9696    597 |      865 |      213
1760.12/1760.66	c 1737s |      23 |  2925153 |  2873438 |     9696    598 |      865 |      213
1762.63/1763.19	c 1739s |      23 |  2928470 |  2876738 |     9696    598 |      865 |      213
1764.73/1765.21	c 1741s |      23 |  2930581 |  2878838 |     9696    599 |      865 |      213
1766.73/1767.23	c 1743s |      23 |  2933702 |  2881938 |     9696    599 |      865 |      213
1768.73/1769.24	c 1745s |      23 |  2936917 |  2885138 |     9696    600 |      865 |      213
1770.73/1771.24	c 1747s |      23 |  2939723 |  2887938 |     9696    600 |      865 |      213
1772.73/1773.26	c 1749s |      23 |  2942736 |  2890938 |     9696    601 |      865 |      213
1774.73/1775.27	c 1751s |      23 |  2945356 |  2893538 |     9696    601 |      865 |      213
1776.83/1777.31	c 1753s |      23 |  2947966 |  2896138 |     9696    602 |      865 |      213
1778.83/1779.32	c 1755s |      23 |  2950882 |  2899038 |     9696    602 |      865 |      213
1780.82/1781.34	c 1757s |      23 |  2953088 |  2901238 |     9696    603 |      865 |      213
1782.92/1783.41	c 1759s |      23 |  2956205 |  2904338 |     9696    603 |      865 |      213
1784.93/1785.45	c 1761s |      23 |  2958825 |  2906938 |     9696    604 |      865 |      213
1786.92/1787.45	c 1763s |      23 |  2961843 |  2909938 |     9696    604 |      865 |      213
1788.92/1789.48	c 1765s |      23 |  2964851 |  2912938 |     9696    605 |      865 |      213
1791.02/1791.54	c 1767s |      23 |  2967566 |  2915638 |     9696    605 |      865 |      213
1793.02/1793.56	c 1769s |      23 |  2970482 |  2918538 |     9696    606 |      865 |      213
1795.12/1795.68	c 1772s |      23 |  2973195 |  2921238 |     9696    607 |      865 |      213
1797.12/1797.69	c 1774s |      23 |  2976610 |  2924638 |     9696    607 |      865 |      213
1799.32/1799.89	c 1776s |      23 |  2979732 |  2927738 |     9696    608 |      865 |      213

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

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

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


[startup+0 s]
/proc/loadavg: 2.28 2.24 1.95 3/179 17704
/proc/meminfo: memFree=28299804/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=611772 CPUtime=0 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 2261 0 0 0 0 0 0 0 20 0 4 0 22839865 626454528 3132 33554432000 4194304 16246674 140733819697168 140733819696592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 153455 3141 441 2943 0 150349 0
[pid=17704/tid=17705] ppid=17701 vsize=629180 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 644280320 3203 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=634300 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 649523200 3223 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=638396 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 653717504 3239 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 2.28 2.24 1.95 3/179 17704
/proc/meminfo: memFree=28299804/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 30507 0 0 0 5 4 0 0 20 0 4 0 22839865 1247350784 31370 33554432000 4194304 16246674 140733819697168 140733819680160 12652961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 304529 31377 637 2943 0 301423 0
[pid=17704/tid=17705] ppid=17701 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1247350784 31382 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1247350784 31388 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1247350784 31394 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200499 s]
/proc/loadavg: 2.28 2.24 1.95 3/179 17704
/proc/meminfo: memFree=28299804/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 53314 0 0 0 12 7 0 0 20 0 4 0 22839865 1247350784 54176 33554432000 4194304 16246674 140733819697168 140733819680160 12654533 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 304529 54189 637 2943 0 301423 0
[pid=17704/tid=17705] ppid=17701 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1247350784 54198 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1247350784 54206 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1247350784 54215 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300466 s]
/proc/loadavg: 2.28 2.24 1.95 3/179 17704
/proc/meminfo: memFree=28299804/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 77223 0 0 0 19 10 0 0 20 0 4 0 22839865 1247350784 78085 33554432000 4194304 16246674 140733819697168 140733819680160 12652961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 304529 78093 637 2943 0 301423 0
[pid=17704/tid=17705] ppid=17701 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1247350784 78098 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1247350784 78103 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1247350784 78108 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700391 s]
/proc/loadavg: 2.28 2.24 1.95 3/179 17704
/proc/meminfo: memFree=28299804/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 177962 0 0 0 45 23 0 0 20 0 4 0 22839865 1247350784 178825 33554432000 4194304 16246674 140733819697168 140733819680160 12371341 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 304529 178843 639 2943 0 301423 0
[pid=17704/tid=17705] ppid=17701 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1247350784 178854 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1247350784 178865 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1247350784 178876 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.28 2.24 1.95 3/183 17708
/proc/meminfo: memFree=27296112/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1236548 CPUtime=1.49 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 250023 0 0 0 117 32 0 0 20 0 4 0 22839865 1266225152 250841 33554432000 4194304 16246674 140733819697168 140733819679040 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 309137 250841 834 2943 0 306031 0
[pid=17704/tid=17705] ppid=17701 vsize=1236548 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1266225152 250841 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1236548 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1266225152 250841 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1236548 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1266225152 250841 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1236548

[startup+3.1004 s]
/proc/loadavg: 2.26 2.24 1.95 3/183 17708
/proc/meminfo: memFree=26567868/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1294916 CPUtime=3.09 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 264628 0 0 0 276 33 0 0 20 0 4 0 22839865 1325993984 265446 33554432000 4194304 16246674 140733819697168 140733819679040 12654130 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 323729 265446 836 2943 0 320623 0
[pid=17704/tid=17705] ppid=17701 vsize=1294916 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1325993984 265446 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1294916 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1325993984 265446 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1294916 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1325993984 265446 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1294916

[startup+6.3004 s]
/proc/loadavg: 2.26 2.24 1.95 3/183 17708
/proc/meminfo: memFree=26512068/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1324612 CPUtime=6.29 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 272264 0 0 0 595 34 0 0 20 0 4 0 22839865 1356402688 273082 33554432000 4194304 16246674 140733819697168 140733819694976 12652957 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 331153 273082 836 2943 0 328047 0
[pid=17704/tid=17705] ppid=17701 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1356402688 273082 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1356402688 273082 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1356402688 273082 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1324612

[startup+12.7004 s]
/proc/loadavg: 2.22 2.23 1.95 3/183 17708
/proc/meminfo: memFree=26512312/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1329732 CPUtime=12.69 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 273455 0 0 0 1234 35 0 0 20 0 4 0 22839865 1361645568 274273 33554432000 4194304 16246674 140733819697168 140733819679040 12655206 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 332433 274273 836 2943 0 329327 0
[pid=17704/tid=17705] ppid=17701 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1361645568 274273 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1361645568 274273 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1329732 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1361645568 274273 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1329732

[startup+25.5005 s]
/proc/loadavg: 2.33 2.26 1.97 4/183 17708
/proc/meminfo: memFree=26473928/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=25.48 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282054 0 0 0 2513 35 0 0 20 0 4 0 22839865 1396248576 282872 33554432000 4194304 16246674 140733819697168 140733819680160 5711992 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282872 893 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282872 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282872 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282872 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1363524

[startup+51.1005 s]
/proc/loadavg: 2.34 2.27 1.98 3/183 17708
/proc/meminfo: memFree=26474132/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=51.08 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282062 0 0 0 5073 35 0 0 20 0 4 0 22839865 1396248576 282880 33554432000 4194304 16246674 140733819697168 140733819680168 5711496 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282880 901 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282880 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282880 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282880 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1363524

[startup+102.3 s]
/proc/loadavg: 2.33 2.28 2.00 3/184 17712
/proc/meminfo: memFree=26473976/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=102.28 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282062 0 0 0 10192 36 0 0 20 0 4 0 22839865 1396248576 282880 33554432000 4194304 16246674 140733819697168 140733819679040 5599994 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282880 901 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282880 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282880 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282880 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1363524


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

/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1363524

[startup+1362.3 s]
/proc/loadavg: 2.24 2.30 2.19 3/183 17767
/proc/meminfo: memFree=26466596/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=1361.9 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282419 0 0 0 136134 56 0 0 20 0 4 0 22839865 1396248576 282883 33554432000 4194304 16246674 140733819697168 140733819679040 5823682 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282883 901 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1363524

[startup+1422.3 s]
/proc/loadavg: 2.20 2.29 2.19 4/183 17768
/proc/meminfo: memFree=26466300/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=1421.88 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282436 0 0 0 142132 56 0 0 20 0 4 0 22839865 1396248576 282883 33554432000 4194304 16246674 140733819697168 140733819679040 5600380 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282883 901 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1363524

[startup+1482.3 s]
/proc/loadavg: 2.20 2.27 2.19 4/183 17769
/proc/meminfo: memFree=26466428/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=1481.87 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282436 0 0 0 148130 57 0 0 20 0 4 0 22839865 1396248576 282883 33554432000 4194304 16246674 140733819697168 140733819679040 5721776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282883 901 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1363524

[startup+1542.31 s]
/proc/loadavg: 2.25 2.28 2.19 3/183 17770
/proc/meminfo: memFree=26466312/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=1541.87 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282436 0 0 0 154129 58 0 0 20 0 4 0 22839865 1396248576 282883 33554432000 4194304 16246674 140733819697168 140733819680168 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282883 901 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1363524

[startup+1602.3 s]
/proc/loadavg: 2.29 2.30 2.20 4/183 17771
/proc/meminfo: memFree=26466324/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=1601.85 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282436 0 0 0 160126 59 0 0 20 0 4 0 22839865 1396248576 282883 33554432000 4194304 16246674 140733819697168 140733819696344 5673540 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282883 901 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1363524

[startup+1662.3 s]
/proc/loadavg: 2.38 2.32 2.21 3/182 17772
/proc/meminfo: memFree=26466464/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=1661.84 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282436 0 0 0 166125 59 0 0 20 0 4 0 22839865 1396248576 282883 33554432000 4194304 16246674 140733819697168 140733819696264 6021616 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282883 901 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1363524

[startup+1722.3 s]
/proc/loadavg: 2.27 2.30 2.21 3/183 17774
/proc/meminfo: memFree=26466332/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=1721.83 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282436 0 0 0 172124 59 0 0 20 0 4 0 22839865 1396248576 282883 33554432000 4194304 16246674 140733819697168 140733819679040 5603024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282883 901 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1363524

[startup+1782.3 s]
/proc/loadavg: 2.18 2.27 2.20 4/183 17775
/proc/meminfo: memFree=26465968/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=1781.82 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282436 0 0 0 178122 60 0 0 20 0 4 0 22839865 1396248576 282883 33554432000 4194304 16246674 140733819697168 140733819679040 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282883 901 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1363524



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.19 2.27 2.20 2/178 17775
/proc/meminfo: memFree=27550600/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=1800.02 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282436 0 0 0 179942 60 0 0 20 0 4 0 22839865 1396248576 282883 33554432000 4194304 16246674 140733819697168 140733819679040 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282883 901 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1363524

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

[startup+1800.5 s]
/proc/loadavg: 2.19 2.27 2.20 2/178 17775
/proc/meminfo: memFree=27550600/32872528 swapFree=1459628/1655852
[pid=17704] ppid=17701 vsize=1363524 CPUtime=1800.02 cores=0,2,4,6
/proc/17704/stat : 17704 (toysat) R 17701 17704 16189 0 -1 4202496 282436 0 0 0 179942 60 0 0 20 0 4 0 22839865 1396248576 282883 33554432000 4194304 16246674 140733819697168 140733819679040 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17704/statm: 340881 282883 901 2943 0 337775 0
[pid=17704/tid=17705] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17705/stat : 17705 (toysat) S 17701 17704 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644406242544 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17704/tid=17706] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17706/stat : 17706 (toysat) S 17701 17704 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644395752688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17704/tid=17707] ppid=17701 vsize=1363524 CPUtime=0 cores=0,2,4,6
/proc/17704/task/17707/stat : 17707 (toysat) S 17701 17704 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22839866 1396248576 282883 33554432000 4194304 16246674 140733819697168 140644274138288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1363524

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.43
CPU system time (s): 0.603908
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1363524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.603908
maximum resident set size= 1131532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 282436
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= 386
involuntary context switches= 1910

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.33134 second user time and 7.17991 second system time

The end

Begin job on node136 at 2016-06-18 01:59:03
IDJOB=4099797
IDBENCH=1524
IDSOLVER=2542
FILE ID=node136/4099797-1466207943
RUNJOBID= node136-1466206055-16205
PBS_JOBID= 19918141
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-vpm2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099797-1466207943/watcher-4099797-1466207943 -o /tmp/evaluation-result-4099797-1466207943/solver-4099797-1466207943 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099797-1466207943.opb

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

MD5SUM BENCH= f81823d3f3bf1b9e5d936e06c7f51a9c
RANDOM SEED=1009621892

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

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        28300596 kB
Buffers:          135896 kB
Cached:          1641200 kB
SwapCached:            0 kB
Active:           528940 kB
Inactive:        1643288 kB
Active(anon):     397548 kB
Inactive(anon):        0 kB
Active(file):     131392 kB
Inactive(file):  1643288 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             33320 kB
Writeback:             0 kB
AnonPages:       2132220 kB
Mapped:            16360 kB
Shmem:               204 kB
Slab:             609224 kB
SReclaimable:      52896 kB
SUnreclaim:       556328 kB
KernelStack:        1520 kB
PageTables:         9220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2880720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    282624 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= 71700 MiB
End job on node136 at 2016-06-18 02:29:04