0.00/0.00	c 2016-06-18T01:29:01+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-4099459-1466206141.opb"]
0.00/0.01	c use --random-gen="1773378303 3254066217 423765010 1510636913 2520362480 3897205106 385640530 761567387 4092741483 400322403 2087096454 4105849907 3698716083 2493156817 1746953956 2652992616 2191746833 2625535975 3312483547 1538434796 3171985824 764282966 911015336 388541629 874011705 3031671066 615374731 505553324 2414029640 957205684 4020407629 977046421 1411476804 3636832301 2747105842 2093442192 290843131 305583120 1589498307 1088799409 1214526180 401996409 3480336844 1881977240 1203718 3128246518 3132589766 3898328804 1638649035 4013691159 822975168 1751983568 4109323549 3111664446 4136622048 819681841 965312670 4007442443 2000606547 3816355121 629357423 3013054360 968342383 156379617 2674172017 714989643 4233263851 2136401482 993542060 2075003953 1254330194 1533464345 2655761172 3552583 3138835766 4069427381 1824587045 3385678306 2643400462 2005505619 3714824979 1130512120 3117218941 3393674289 1358358958 3957214197 599952548 3384294926 561953959 3293872829 3078548801 1528319052 1867100664 3857768809 2055244984 878578853 2853521167 781056105 3013991503 208884229 3258280592 4279593193 140718120 3338197847 1661122132 2791871566 1008998602 68913541 56515450 1256637183 1206987275 2987645092 278063214 2283533784 3316460183 3652077565 466038442 3388033880 3614348579 3963683479 755685648 2067747004 816468597 3530647613 325648596 1767930228 967014264 2826285006 34627634 2516966432 3313919292 3147433534 4200845898 3262458981 2274500480 1650046320 944892245 2760049050 1994713234 470291241 3837965750 1568020091 1568939881 3106280080 2428821854 973994345 146632953 2122358523 826602748 2140272704 2668893130 1986931089 1056582865 1906315118 3419092932 2354596212 2882467262 3422129822 2569302474 3914388037 3290829098 620051440 601606814 2129301726 4008174688 2831624786 3800256596 851327471 1160400106 1993740893 4057824681 2832917184 3251995889 2333745739 2281472081 87563148 3871195062 1476351751 2099674915 189519683 2511951755 374077985 2688026495 4042239494 1239399719 2472787301 1085926016 1866200563 2562548352 711942592 4283815761 2685133175 239227185 2461163212 656166490 1774700273 1813609926 1266430920 1983235278 1267651222 560689676 3723756524 1445908185 2981923027 3192558923 2512713543 2677863071 1769388371 2643249258 3414603110 860495780 3903722011 2419593740 3958194983 2205945992 393688367 1036979475 3669684567 3327298912 1577435365 847646363 321649987 2042660587 530829099 2989989656 2447503272 1775704484 2920339074 2731385294 280458417 1606876195 3731453301 1528261280 2329476728 310257965 2898859262 853996372 1782909073 3009399257 2812226216 398243154 46680814 3558343978 4254681007 4210949590 4277101690 3299082319 1821140650 2519372031 2586173843 935861745 716510262 1572979347 3842554400 3477070462 2185974641 255 362436" option to reproduce the execution
0.00/0.01	c #vars 1200
0.00/0.01	c #constraints 100
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      433      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      131 |      100 |      433      0 |        0 |        0
0.00/0.08	c  0.1s |       2 |      529 |      250 |      477      0 |        0 |        0
0.09/0.15	c  0.1s |       3 |     1004 |      475 |      525      0 |        0 |        0
0.19/0.29	c  0.3s |       4 |     1585 |      813 |      578      0 |        0 |        0
0.49/0.53	c  0.5s |       5 |     2378 |     1320 |      636      1 |        0 |        0
0.69/0.81	c  0.8s |       6 |     3526 |     2081 |      771      2 |        0 |        0
1.20/1.28	c  1.3s |       7 |     5284 |     3223 |      849      4 |        0 |        0
1.99/2.00	c  2.0s |       8 |     7603 |     4936 |      934      7 |        0 |        0
3.29/3.32	c  3.3s |       9 |    14812 |     7506 |     1028     11 |        0 |        0
5.29/5.38	c  5.4s |       9 |    20247 |    10506 |     1028     15 |        0 |        0
5.99/6.05	c  6.0s |      10 |    21242 |    11361 |     1131     17 |        0 |        0
7.99/8.09	c  8.1s |      10 |    24547 |    13961 |     1131     21 |        0 |        0
10.10/10.11	c 10.1s |      10 |    27149 |    16061 |     1131     24 |        0 |        0
10.79/10.89	c 10.9s |      11 |    28425 |    17144 |     1245     25 |        0 |        0
12.89/12.91	c 12.9s |      11 |    33133 |    20144 |     1245     29 |        0 |        0
14.89/14.96	c 14.9s |      11 |    39222 |    23744 |     1245     33 |        0 |        0
16.09/16.10	c 16.1s |      12 |    41651 |    25819 |     1370     35 |        0 |        0
18.08/18.11	c 18.1s |      12 |    49191 |    28719 |     1370     39 |        0 |        0
20.09/20.16	c 20.1s |      12 |    52029 |    31219 |     1370     41 |        0 |        0
22.10/22.17	c 22.2s |      12 |    54321 |    33319 |     1370     44 |        0 |        0
24.19/24.28	c 24.3s |      12 |    57255 |    35919 |     1370     47 |        0 |        0
26.29/26.34	c 26.3s |      12 |    59672 |    38119 |     1370     49 |        0 |        0
26.89/26.96	c 26.9s |      13 |    60468 |    38832 |     1508     50 |        0 |        0
28.89/28.97	c 28.9s |      13 |    73087 |    42432 |     1508     54 |        0 |        0
30.90/30.98	c 31.0s |      13 |    76853 |    45632 |     1508     57 |        0 |        0
32.99/33.03	c 33.0s |      13 |    80462 |    48832 |     1508     61 |        0 |        0
34.99/35.03	c 35.0s |      13 |    83778 |    51832 |     1508     65 |        0 |        0
36.99/37.06	c 37.0s |      13 |    87092 |    54832 |     1508     68 |        0 |        0
39.09/39.10	c 39.1s |      13 |    90593 |    57932 |     1508     72 |        0 |        0
39.29/39.36	c 39.3s |      14 |    91104 |    58352 |     1659     72 |        0 |        0
41.29/41.38	c 41.4s |      14 |    95476 |    60952 |     1659     75 |        0 |        0
43.29/43.39	c 43.4s |      14 |    98338 |    63452 |     1659     78 |        0 |        0
45.29/45.39	c 45.4s |      14 |   101591 |    66152 |     1659     81 |        0 |        0
47.39/47.44	c 47.4s |      14 |   104938 |    69052 |     1659     84 |        0 |        0
49.39/49.48	c 49.5s |      14 |   110599 |    71852 |     1659     87 |        0 |        0
51.49/51.50	c 51.5s |      14 |   115309 |    74752 |     1659     90 |        0 |        0
53.48/53.55	c 53.5s |      14 |   119100 |    77952 |     1659     94 |        0 |        0
55.48/55.58	c 55.6s |      14 |   122742 |    81152 |     1659     97 |        0 |        0
57.58/57.60	c 57.6s |      14 |   127010 |    84652 |     1659    101 |        0 |        0
59.38/59.45	c 59.4s |      15 |   130527 |    87632 |     1825    104 |        0 |        0
61.38/61.45	c 61.4s |      15 |   134293 |    90732 |     1825    107 |        0 |        0
63.38/63.46	c 63.4s |      15 |   137071 |    93232 |     1825    110 |        0 |        0
65.48/65.52	c 65.5s |      15 |   143348 |    95932 |     1825    113 |        0 |        0
67.48/67.53	c 67.5s |      15 |   147225 |    98732 |     1825    115 |        0 |        0
69.49/69.57	c 69.5s |      15 |   150733 |   101532 |     1825    118 |        0 |        0
71.59/71.62	c 71.6s |      15 |   154290 |   104132 |     1825    121 |        0 |        0
73.58/73.64	c 73.6s |      15 |   157545 |   106732 |     1825    123 |        0 |        0
75.58/75.69	c 75.7s |      15 |   160369 |   108932 |     1825    125 |        0 |        0
77.68/77.70	c 77.7s |      15 |   163459 |   111432 |     1825    128 |        0 |        0
79.68/79.72	c 79.7s |      15 |   166437 |   113832 |     1825    130 |        0 |        0
81.68/81.73	c 81.7s |      15 |   170282 |   116332 |     1825    132 |        0 |        0
83.68/83.80	c 83.8s |      15 |   175291 |   119532 |     1825    135 |        0 |        0
85.78/85.87	c 85.9s |      15 |   179314 |   122432 |     1825    138 |        0 |        0
87.87/87.94	c 87.9s |      15 |   182965 |   125232 |     1825    141 |        0 |        0
89.87/89.98	c 90.0s |      15 |   186531 |   127932 |     1825    144 |        0 |        0
91.97/92.03	c 92.0s |      15 |   191008 |   130732 |     2008    146 |        0 |        0
92.58/92.60	c 92.6s |      16 |   192412 |   131552 |     2008    147 |        0 |        0
94.57/94.67	c 94.7s |      16 |   198581 |   134152 |     2008    149 |        0 |        0
96.67/96.76	c 96.7s |      16 |   201070 |   136152 |     2008    151 |        0 |        0
98.77/98.80	c 98.8s |      16 |   205503 |   138552 |     2008    153 |        0 |        0
100.77/100.81	c  100s |      16 |   207933 |   140652 |     2008    155 |        0 |        0
102.77/102.82	c  102s |      16 |   210211 |   142652 |     2008    157 |        0 |        0
104.77/104.84	c  104s |      16 |   212738 |   144852 |     2008    159 |        0 |        0
106.78/106.87	c  106s |      16 |   216004 |   147452 |     2008    161 |        0 |        0
108.77/108.87	c  108s |      16 |   219018 |   149852 |     2008    163 |        0 |        0
110.87/110.95	c  110s |      16 |   221729 |   152252 |     2008    166 |        0 |        0
112.97/113.02	c  112s |      16 |   224593 |   154452 |     2008    168 |        0 |        0
115.07/115.10	c  115s |      16 |   226734 |   156352 |     2008    169 |        0 |        0
117.07/117.18	c  117s |      16 |   229123 |   158452 |     2008    171 |        0 |        0
119.17/119.25	c  119s |      16 |   231860 |   160852 |     2008    173 |        0 |        0
121.27/121.32	c  121s |      16 |   234490 |   163152 |     2008    176 |        0 |        0
123.27/123.33	c  123s |      16 |   238820 |   165952 |     2008    178 |        0 |        0
125.27/125.34	c  125s |      16 |   243329 |   168552 |     2008    180 |        0 |        0
127.27/127.35	c  127s |      16 |   245421 |   170252 |     2008    182 |        0 |        0
129.37/129.40	c  129s |      16 |   249189 |   172852 |     2008    184 |        0 |        0
131.37/131.47	c  131s |      16 |   252358 |   175152 |     2008    187 |        0 |        0
133.47/133.54	c  133s |      16 |   255113 |   177452 |     2008    189 |        0 |        0
135.57/135.63	c  135s |      16 |   257756 |   179452 |     2008    191 |        0 |        0
137.67/137.71	c  137s |      16 |   260447 |   181552 |     2008    193 |        0 |        0
139.66/139.77	c  139s |      16 |   264612 |   183552 |     2008    195 |        0 |        0
141.76/141.82	c  141s |      16 |   267565 |   185852 |     2008    197 |        0 |        0
143.76/143.87	c  143s |      16 |   270149 |   188052 |     2008    199 |        0 |        0
145.86/145.93	c  145s |      16 |   274600 |   190352 |     2008    201 |        0 |        0
147.86/147.93	c  147s |      16 |   278445 |   192952 |     2008    203 |        0 |        0
149.96/150.00	c  149s |      16 |   281973 |   195252 |     2008    205 |        0 |        0
151.76/151.81	c  151s |      17 |   284734 |   197432 |     2209    207 |        0 |        0
153.76/153.83	c  153s |      17 |   289074 |   200832 |     2209    210 |        0 |        0
155.76/155.85	c  155s |      17 |   293051 |   204232 |     2209    213 |        0 |        0
157.86/157.92	c  157s |      17 |   297087 |   207632 |     2209    215 |        0 |        0
159.86/159.95	c  159s |      17 |   300616 |   210732 |     2209    218 |        0 |        0
161.87/161.98	c  161s |      17 |   304158 |   213832 |     2209    221 |        0 |        0
163.97/164.03	c  164s |      17 |   307631 |   216932 |     2209    223 |        0 |        0
165.96/166.06	c  166s |      17 |   311676 |   220332 |     2209    226 |        0 |        0
167.96/168.08	c  168s |      17 |   316312 |   223632 |     2209    229 |        0 |        0
170.06/170.14	c  170s |      17 |   319822 |   226432 |     2209    231 |        0 |        0
172.16/172.20	c  172s |      17 |   322938 |   229032 |     2209    233 |        0 |        0
174.16/174.24	c  174s |      17 |   326606 |   232032 |     2209    236 |        0 |        0
176.17/176.26	c  176s |      17 |   330200 |   234932 |     2209    238 |        0 |        0
178.16/178.29	c  178s |      17 |   334071 |   238032 |     2209    241 |        0 |        0
180.27/180.36	c  180s |      17 |   337867 |   241032 |     2209    243 |        0 |        0
182.27/182.39	c  182s |      17 |   342092 |   244032 |     2209    246 |        0 |        0
184.37/184.41	c  184s |      17 |   345938 |   246932 |     2209    248 |        0 |        0
186.37/186.42	c  186s |      17 |   349643 |   249732 |     2209    251 |        0 |        0
188.36/188.44	c  188s |      17 |   353459 |   252532 |     2209    253 |        0 |        0
190.37/190.49	c  190s |      17 |   358058 |   255332 |     2209    255 |        0 |        0
192.46/192.51	c  192s |      17 |   361942 |   258132 |     2209    258 |        0 |        0
194.46/194.58	c  194s |      17 |   366309 |   261132 |     2209    260 |        0 |        0
196.56/196.64	c  196s |      17 |   369432 |   263432 |     2209    262 |        0 |        0
198.66/198.73	c  198s |      17 |   372198 |   265532 |     2209    264 |        0 |        0
200.66/200.79	c  200s |      17 |   376005 |   267732 |     2209    265 |        0 |        0
202.76/202.80	c  202s |      17 |   380006 |   270632 |     2209    268 |        0 |        0
204.77/204.83	c  204s |      17 |   383485 |   273132 |     2209    270 |        0 |        0
206.76/206.85	c  206s |      17 |   386686 |   275532 |     2209    272 |        0 |        0
208.76/208.89	c  208s |      17 |   389452 |   277932 |     2209    274 |        0 |        0
210.86/210.91	c  210s |      17 |   392338 |   280232 |     2209    276 |        0 |        0
212.86/212.97	c  212s |      17 |   395989 |   282832 |     2209    278 |        0 |        0
214.86/214.98	c  214s |      17 |   398675 |   285232 |     2209    280 |        0 |        0
216.96/217.02	c  217s |      17 |   401799 |   287732 |     2209    282 |        0 |        0
218.97/219.02	c  219s |      17 |   404188 |   289732 |     2209    283 |        0 |        0
220.96/221.04	c  221s |      17 |   407589 |   292032 |     2209    285 |        0 |        0
223.06/223.11	c  223s |      17 |   410952 |   294532 |     2430    287 |        0 |        0
224.56/224.67	c  224s |      18 |   413106 |   296252 |     2430    288 |        0 |        0
226.66/226.73	c  226s |      18 |   420565 |   300052 |     2430    291 |        0 |        0
228.66/228.78	c  228s |      18 |   425479 |   303452 |     2430    293 |        0 |        0
230.76/230.83	c  230s |      18 |   437427 |   307752 |     2430    297 |        0 |        0
232.76/232.85	c  232s |      18 |   441355 |   311252 |     2430    299 |        0 |        0
234.76/234.89	c  234s |      18 |   446224 |   315452 |     2430    302 |        0 |        0
236.75/236.90	c  236s |      18 |   450597 |   319252 |     2430    305 |        0 |        0
238.86/238.90	c  238s |      18 |   454798 |   322952 |     2430    308 |        0 |        0
240.85/240.93	c  240s |      18 |   459766 |   326652 |     2430    310 |        0 |        0
242.85/242.99	c  242s |      18 |   463698 |   329752 |     2430    313 |        0 |        0
244.95/245.02	c  244s |      18 |   467055 |   332552 |     2430    315 |        0 |        0
246.95/247.05	c  247s |      18 |   470244 |   335152 |     2430    317 |        0 |        0
248.95/249.05	c  249s |      18 |   473824 |   337552 |     2430    318 |        0 |        0
250.96/251.07	c  251s |      18 |   477516 |   340252 |     2430    320 |        0 |        0
253.06/253.12	c  253s |      18 |   481481 |   342852 |     2430    322 |        0 |        0
255.05/255.17	c  255s |      18 |   485012 |   345352 |     2430    324 |        0 |        0
257.15/257.22	c  257s |      18 |   487954 |   347752 |     2430    326 |        0 |        0
259.15/259.24	c  259s |      18 |   492365 |   350352 |     2430    328 |        0 |        0
261.15/261.25	c  261s |      18 |   496806 |   353052 |     2430    330 |        0 |        0
263.15/263.26	c  263s |      18 |   501268 |   355752 |     2430    332 |        0 |        0
265.16/265.28	c  265s |      18 |   505882 |   359752 |     2430    335 |        0 |        0
267.25/267.34	c  267s |      18 |   509958 |   363352 |     2430    338 |        0 |        0
269.25/269.37	c  269s |      18 |   513360 |   366352 |     2430    340 |        0 |        0
271.25/271.38	c  271s |      18 |   517602 |   370052 |     2430    342 |        0 |        0
273.35/273.40	c  273s |      18 |   521573 |   373652 |     2430    345 |        0 |        0
275.35/275.46	c  275s |      18 |   525629 |   377252 |     2430    348 |        0 |        0
277.45/277.51	c  277s |      18 |   530227 |   381352 |     2430    351 |        0 |        0
279.45/279.56	c  279s |      18 |   534678 |   385352 |     2430    353 |        0 |        0
281.45/281.59	c  281s |      18 |   539571 |   388952 |     2430    356 |        0 |        0
283.55/283.61	c  283s |      18 |   543702 |   392552 |     2430    359 |        0 |        0
285.55/285.65	c  285s |      18 |   547427 |   395952 |     2430    361 |        0 |        0
287.55/287.67	c  287s |      18 |   550923 |   399152 |     2430    363 |        0 |        0
289.65/289.70	c  289s |      18 |   555123 |   402852 |     2430    366 |        0 |        0
291.65/291.71	c  291s |      18 |   559276 |   406552 |     2430    369 |        0 |        0
293.64/293.72	c  293s |      18 |   563620 |   410452 |     2430    371 |        0 |        0
295.64/295.73	c  295s |      18 |   567764 |   414152 |     2430    374 |        0 |        0
297.64/297.77	c  297s |      18 |   571938 |   417852 |     2430    377 |        0 |        0
299.64/299.79	c  299s |      18 |   576167 |   421652 |     2430    379 |        0 |        0
301.64/301.79	c  301s |      18 |   580307 |   425152 |     2430    382 |        0 |        0
303.75/303.86	c  303s |      18 |   583347 |   427852 |     2430    384 |        0 |        0
305.74/305.89	c  305s |      18 |   586322 |   430452 |     2430    385 |        0 |        0
307.84/307.91	c  307s |      18 |   589132 |   432952 |     2430    387 |        0 |        0
309.84/309.97	c  309s |      18 |   591997 |   435452 |     2430    389 |        0 |        0
311.94/312.03	c  312s |      18 |   594969 |   438052 |     2430    391 |        0 |        0
314.04/314.13	c  314s |      18 |   597755 |   440552 |     2430    393 |        0 |        0
316.14/316.22	c  316s |      18 |   600537 |   443052 |     2673    394 |        0 |        0
317.24/317.37	c  317s |      19 |   602118 |   444482 |     2673    395 |        0 |        0
319.34/319.41	c  319s |      19 |   607452 |   448382 |     2673    397 |        0 |        0
321.35/321.49	c  321s |      19 |   611168 |   451682 |     2673    400 |        0 |        0
323.45/323.51	c  323s |      19 |   614561 |   454582 |     2673    401 |        0 |        0
325.44/325.51	c  325s |      19 |   618101 |   457682 |     2673    403 |        0 |        0
327.44/327.54	c  327s |      19 |   621543 |   460782 |     2673    405 |        0 |        0
329.44/329.56	c  329s |      19 |   625064 |   463882 |     2673    407 |        0 |        0
331.54/331.60	c  331s |      19 |   628322 |   466782 |     2673    409 |        0 |        0
333.54/333.67	c  333s |      19 |   631828 |   469882 |     2673    411 |        0 |        0
335.64/335.72	c  335s |      19 |   635132 |   472882 |     2673    413 |        0 |        0
337.64/337.76	c  337s |      19 |   638372 |   475782 |     2673    415 |        0 |        0
339.64/339.76	c  339s |      19 |   641766 |   478782 |     2673    417 |        0 |        0
341.74/341.85	c  341s |      19 |   644811 |   481582 |     2673    419 |        0 |        0
343.74/343.87	c  343s |      19 |   648206 |   484582 |     2673    420 |        0 |        0
345.83/345.92	c  345s |      19 |   652003 |   487882 |     2673    423 |        0 |        0
347.83/347.95	c  347s |      19 |   655837 |   491082 |     2673    425 |        0 |        0
349.84/349.98	c  349s |      19 |   659416 |   494182 |     2673    427 |        0 |        0
351.93/352.03	c  352s |      19 |   662827 |   497182 |     2673    428 |        0 |        0
353.93/354.05	c  354s |      19 |   666317 |   500182 |     2673    430 |        0 |        0
355.93/356.05	c  356s |      19 |   669732 |   503082 |     2673    432 |        0 |        0
357.93/358.09	c  358s |      19 |   673516 |   506382 |     2673    434 |        0 |        0
360.03/360.15	c  360s |      19 |   677052 |   509482 |     2673    436 |        0 |        0
362.13/362.21	c  362s |      19 |   680360 |   512382 |     2673    438 |        0 |        0
364.14/364.28	c  364s |      19 |   683711 |   515282 |     2673    440 |        0 |        0
366.23/366.34	c  366s |      19 |   686875 |   517782 |     2673    442 |        0 |        0
368.23/368.38	c  368s |      19 |   690184 |   520682 |     2673    443 |        0 |        0
370.23/370.39	c  370s |      19 |   693020 |   523182 |     2673    445 |        0 |        0
372.33/372.47	c  372s |      19 |   696037 |   525882 |     2673    447 |        0 |        0
374.43/374.52	c  374s |      19 |   698880 |   528382 |     2673    448 |        0 |        0
376.43/376.55	c  376s |      19 |   702366 |   531282 |     2673    450 |        0 |        0
378.44/378.55	c  378s |      19 |   704957 |   533582 |     2673    452 |        0 |        0
380.53/380.60	c  380s |      19 |   708010 |   536282 |     2673    453 |        0 |        0
382.53/382.66	c  382s |      19 |   711346 |   539182 |     2673    455 |        0 |        0
384.53/384.68	c  384s |      19 |   714286 |   541782 |     2673    457 |        0 |        0
386.63/386.72	c  386s |      19 |   717152 |   544382 |     2673    458 |        0 |        0
388.63/388.73	c  388s |      19 |   719922 |   546782 |     2673    460 |        0 |        0
390.73/390.80	c  390s |      19 |   722698 |   549282 |     2673    462 |        0 |        0
392.74/392.86	c  392s |      19 |   725594 |   551882 |     2673    463 |        0 |        0
394.73/394.88	c  394s |      19 |   728578 |   554482 |     2673    465 |        0 |        0
396.83/396.95	c  396s |      19 |   731585 |   557182 |     2673    467 |        0 |        0
398.93/399.01	c  398s |      19 |   734765 |   559982 |     2673    468 |        0 |        0
400.93/401.04	c  401s |      19 |   737645 |   562582 |     2673    470 |        0 |        0
402.93/403.09	c  403s |      19 |   740178 |   564882 |     2673    471 |        0 |        0
405.03/405.14	c  405s |      19 |   743066 |   567482 |     2673    473 |        0 |        0
407.14/407.21	c  407s |      19 |   745783 |   569882 |     2673    475 |        0 |        0
409.13/409.22	c  409s |      19 |   748699 |   572382 |     2673    476 |        0 |        0
411.13/411.22	c  411s |      19 |   751223 |   574682 |     2673    478 |        0 |        0
413.13/413.26	c  413s |      19 |   754005 |   577082 |     2673    479 |        0 |        0
415.23/415.33	c  415s |      19 |   757366 |   579982 |     2673    481 |        0 |        0
417.23/417.35	c  417s |      19 |   759914 |   582282 |     2673    482 |        0 |        0
419.33/419.43	c  419s |      19 |   762434 |   584582 |     2673    484 |        0 |        0
421.34/421.49	c  421s |      19 |   765078 |   586882 |     2673    485 |        0 |        0
423.43/423.50	c  423s |      19 |   767431 |   588982 |     2673    487 |        0 |        0
425.43/425.53	c  425s |      19 |   770996 |   591982 |     2673    489 |        0 |        0
427.43/427.53	c  427s |      19 |   773972 |   594582 |     2673    490 |        0 |        0
429.43/429.55	c  429s |      19 |   776822 |   597082 |     2673    492 |        0 |        0
431.43/431.55	c  431s |      19 |   779747 |   599682 |     2673    494 |        0 |        0
433.43/433.55	c  433s |      19 |   782480 |   602082 |     2673    495 |        0 |        0
435.43/435.59	c  435s |      19 |   785041 |   604282 |     2673    496 |        0 |        0
437.53/437.61	c  437s |      19 |   788058 |   606782 |     2673    498 |        0 |        0
439.53/439.65	c  439s |      19 |   791219 |   609582 |     2673    500 |        0 |        0
441.52/441.68	c  441s |      19 |   794477 |   612382 |     2673    502 |        0 |        0
443.62/443.73	c  443s |      19 |   797441 |   614982 |     2673    503 |        0 |        0
445.72/445.80	c  445s |      19 |   800547 |   617682 |     2673    505 |        0 |        0
447.73/447.85	c  447s |      19 |   803655 |   620382 |     2673    507 |        0 |        0
449.72/449.85	c  449s |      19 |   806594 |   622982 |     2673    508 |        0 |        0
451.72/451.87	c  451s |      19 |   809066 |   625182 |     2673    510 |        0 |        0
453.72/453.88	c  453s |      19 |   811713 |   627482 |     2673    511 |        0 |        0
455.72/455.89	c  455s |      19 |   814068 |   629582 |     2673    513 |        0 |        0
457.82/457.97	c  457s |      19 |   816629 |   631882 |     2673    514 |        0 |        0
459.93/460.01	c  459s |      19 |   819216 |   634182 |     2673    515 |        0 |        0
461.92/462.07	c  462s |      19 |   821549 |   636282 |     2673    517 |        0 |        0
464.02/464.11	c  464s |      19 |   823395 |   637982 |     2673    518 |        0 |        0
466.02/466.12	c  466s |      19 |   826124 |   640382 |     2673    519 |        0 |        0
468.12/468.22	c  468s |      19 |   828118 |   642182 |     2673    520 |        0 |        0
470.12/470.24	c  470s |      19 |   830721 |   644482 |     2673    522 |        0 |        0
472.22/472.30	c  472s |      19 |   833055 |   646582 |     2673    523 |        0 |        0
474.23/474.34	c  474s |      19 |   836183 |   649182 |     2673    525 |        0 |        0
476.22/476.35	c  476s |      19 |   839000 |   651682 |     2673    527 |        0 |        0
478.22/478.38	c  478s |      19 |   842529 |   654782 |     2673    528 |        0 |        0
480.32/480.45	c  480s |      19 |   845678 |   657582 |     2673    530 |        0 |        0
482.32/482.47	c  482s |      19 |   848642 |   660282 |     2673    532 |        0 |        0
484.32/484.49	c  484s |      19 |   851704 |   663082 |     2941    534 |        0 |        0
486.42/486.52	c  486s |      19 |   854422 |   665582 |     2941    535 |        0 |        0
487.32/487.49	c  487s |      20 |   855775 |   666827 |     2941    536 |        0 |        0
489.42/489.50	c  489s |      20 |   860924 |   670927 |     2941    538 |        0 |        0
491.42/491.54	c  491s |      20 |   864480 |   674127 |     2941    540 |        0 |        0
493.42/493.59	c  493s |      20 |   867944 |   677327 |     2941    542 |        0 |        0
495.51/495.60	c  495s |      20 |   870938 |   680027 |     2941    543 |        0 |        0
497.51/497.64	c  497s |      20 |   874324 |   683027 |     2941    545 |        0 |        0
499.61/499.70	c  499s |      20 |   878012 |   686327 |     2941    547 |        0 |        0
501.51/501.70	c  501s |      20 |   881239 |   689227 |     2941    549 |        0 |        0
503.61/503.75	c  503s |      20 |   884851 |   692427 |     2941    551 |        0 |        0
505.61/505.77	c  505s |      20 |   888255 |   695427 |     2941    552 |        0 |        0
507.71/507.83	c  507s |      20 |   891636 |   698427 |     2941    554 |        0 |        0
509.71/509.85	c  509s |      20 |   894452 |   701027 |     2941    556 |        0 |        0
511.71/511.89	c  511s |      20 |   897693 |   703927 |     2941    557 |        0 |        0
513.82/513.94	c  513s |      20 |   900844 |   706827 |     2941    559 |        0 |        0
515.92/516.03	c  516s |      20 |   903751 |   709527 |     2941    561 |        0 |        0
517.91/518.03	c  518s |      20 |   906720 |   712227 |     2941    562 |        0 |        0
519.91/520.07	c  520s |      20 |   910156 |   715327 |     2941    564 |        0 |        0
522.01/522.13	c  522s |      20 |   913437 |   718227 |     2941    566 |        0 |        0
524.11/524.20	c  524s |      20 |   916418 |   720927 |     2941    567 |        0 |        0
526.11/526.24	c  526s |      20 |   919050 |   723327 |     2941    569 |        0 |        0
528.11/528.29	c  528s |      20 |   922065 |   726127 |     2941    570 |        0 |        0
530.21/530.31	c  530s |      20 |   925017 |   728827 |     2941    572 |        0 |        0
532.21/532.37	c  532s |      20 |   928218 |   731727 |     2941    573 |        0 |        0
534.31/534.43	c  534s |      20 |   931261 |   734527 |     2941    575 |        0 |        0
536.31/536.44	c  536s |      20 |   934232 |   737227 |     2941    577 |        0 |        0
538.31/538.48	c  538s |      20 |   937178 |   739927 |     2941    578 |        0 |        0
540.40/540.53	c  540s |      20 |   940008 |   742527 |     2941    580 |        0 |        0
542.41/542.54	c  542s |      20 |   942891 |   745127 |     2941    581 |        0 |        0
544.40/544.54	c  544s |      20 |   945924 |   747727 |     2941    583 |        0 |        0
546.40/546.55	c  546s |      20 |   948589 |   750027 |     2941    584 |        0 |        0
548.40/548.56	c  548s |      20 |   951320 |   752427 |     2941    586 |        0 |        0
550.50/550.63	c  550s |      20 |   953959 |   754727 |     2941    587 |        0 |        0
552.60/552.70	c  552s |      20 |   957103 |   757527 |     2941    588 |        0 |        0
554.60/554.77	c  554s |      20 |   959847 |   760027 |     2941    590 |        0 |        0
556.71/556.83	c  556s |      20 |   962454 |   762427 |     2941    591 |        0 |        0
558.70/558.88	c  558s |      20 |   965029 |   764827 |     2941    593 |        0 |        0
560.80/560.90	c  560s |      20 |   967894 |   767327 |     2941    594 |        0 |        0
562.81/562.91	c  562s |      20 |   970418 |   769627 |     2941    596 |        0 |        0
564.81/564.97	c  564s |      20 |   973084 |   772027 |     2941    597 |        0 |        0
567.01/567.10	c  567s |      20 |   976028 |   774727 |     2941    599 |        0 |        0
569.01/569.16	c  569s |      20 |   978504 |   777027 |     2941    600 |        0 |        0
571.01/571.19	c  571s |      20 |   981600 |   779827 |     2941    601 |        0 |        0
573.11/573.26	c  573s |      20 |   984207 |   782227 |     2941    603 |        0 |        0
575.11/575.27	c  575s |      20 |   986857 |   784627 |     2941    604 |        0 |        0
577.21/577.34	c  577s |      20 |   989561 |   787127 |     2941    606 |        0 |        0
579.21/579.36	c  579s |      20 |   992205 |   789527 |     2941    607 |        0 |        0
581.31/581.43	c  581s |      20 |   995076 |   792127 |     2941    609 |        0 |        0
583.31/583.45	c  583s |      20 |   998083 |   794827 |     2941    610 |        0 |        0
585.41/585.51	c  585s |      20 |  1000834 |   797327 |     2941    612 |        0 |        0
587.41/587.55	c  587s |      20 |  1003550 |   799727 |     2941    613 |        0 |        0
589.40/589.58	c  589s |      20 |  1006206 |   802127 |     2941    614 |        0 |        0
591.40/591.59	c  591s |      20 |  1008600 |   804327 |     2941    616 |        0 |        0
593.50/593.68	c  593s |      20 |  1011636 |   807027 |     2941    617 |        0 |        0
595.60/595.71	c  595s |      20 |  1014071 |   809227 |     2941    619 |        0 |        0
597.60/597.77	c  597s |      20 |  1017345 |   812227 |     2941    620 |        0 |        0
599.70/599.84	c  599s |      20 |  1020028 |   814627 |     2941    622 |        0 |        0
601.71/601.89	c  601s |      20 |  1022565 |   816927 |     2941    623 |        0 |        0
603.80/603.97	c  603s |      20 |  1025358 |   819427 |     2941    625 |        0 |        0
605.90/606.04	c  606s |      20 |  1028241 |   822027 |     2941    626 |        0 |        0
607.90/608.08	c  608s |      20 |  1030885 |   824427 |     2941    627 |        0 |        0
610.00/610.11	c  610s |      20 |  1033590 |   826827 |     2941    629 |        0 |        0
612.00/612.12	c  612s |      20 |  1036039 |   829027 |     2941    630 |        0 |        0
614.10/614.23	c  614s |      20 |  1038253 |   831027 |     2941    631 |        0 |        0
616.11/616.27	c  616s |      20 |  1040373 |   832927 |     2941    632 |        0 |        0
618.21/618.38	c  618s |      20 |  1042581 |   834927 |     2941    634 |        0 |        0
620.30/620.43	c  620s |      20 |  1045686 |   837727 |     2941    635 |        0 |        0
622.30/622.47	c  622s |      20 |  1048447 |   840227 |     2941    637 |        0 |        0
624.40/624.53	c  624s |      20 |  1051069 |   842627 |     2941    638 |        0 |        0
626.50/626.61	c  626s |      20 |  1053501 |   844827 |     2941    639 |        0 |        0
628.50/628.65	c  628s |      20 |  1055767 |   846927 |     2941    641 |        0 |        0
630.60/630.78	c  630s |      20 |  1058094 |   849027 |     2941    642 |        0 |        0
632.70/632.84	c  632s |      20 |  1060982 |   851627 |     2941    643 |        0 |        0
634.70/634.84	c  634s |      20 |  1064219 |   854527 |     2941    645 |        0 |        0
636.70/636.88	c  636s |      20 |  1067505 |   857527 |     2941    647 |        0 |        0
638.80/638.91	c  638s |      20 |  1070721 |   860427 |     2941    648 |        0 |        0
640.80/640.94	c  640s |      20 |  1073669 |   863027 |     2941    650 |        0 |        0
642.80/642.96	c  642s |      20 |  1076872 |   865827 |     2941    652 |        0 |        0
644.80/644.96	c  644s |      20 |  1079866 |   868527 |     2941    653 |        0 |        0
646.90/647.02	c  646s |      20 |  1082723 |   871127 |     2941    655 |        0 |        0
648.89/649.04	c  649s |      20 |  1085340 |   873527 |     2941    656 |        0 |        0
650.89/651.08	c  651s |      20 |  1087885 |   875827 |     2941    657 |        0 |        0
652.99/653.13	c  653s |      20 |  1091171 |   878827 |     2941    659 |        0 |        0
654.99/655.14	c  655s |      20 |  1093893 |   881327 |     2941    661 |        0 |        0
656.99/657.19	c  657s |      20 |  1096601 |   883827 |     2941    662 |        0 |        0
659.09/659.22	c  659s |      20 |  1099349 |   886327 |     2941    663 |        0 |        0
661.10/661.23	c  661s |      20 |  1101872 |   888627 |     2941    665 |        0 |        0
663.19/663.30	c  663s |      20 |  1104764 |   891227 |     2941    666 |        0 |        0
665.19/665.38	c  665s |      20 |  1107539 |   893727 |     2941    668 |        0 |        0
667.29/667.42	c  667s |      20 |  1110447 |   896327 |     2941    669 |        0 |        0
669.29/669.46	c  669s |      20 |  1113126 |   898727 |     2941    671 |        0 |        0
671.29/671.47	c  671s |      20 |  1115643 |   901027 |     2941    672 |        0 |        0
673.39/673.51	c  673s |      20 |  1117980 |   903127 |     2941    673 |        0 |        0
675.40/675.52	c  675s |      20 |  1121343 |   906127 |     2941    675 |        0 |        0
677.39/677.58	c  677s |      20 |  1124326 |   908827 |     2941    677 |        0 |        0
679.49/679.63	c  679s |      20 |  1127280 |   911527 |     2941    678 |        0 |        0
681.49/681.64	c  681s |      20 |  1130130 |   914127 |     2941    680 |        0 |        0
683.49/683.66	c  683s |      20 |  1133286 |   916927 |     2941    681 |        0 |        0
685.59/685.71	c  685s |      20 |  1136105 |   919427 |     2941    683 |        0 |        0
687.59/687.73	c  687s |      20 |  1139354 |   922327 |     2941    684 |        0 |        0
689.69/689.82	c  689s |      20 |  1142325 |   925027 |     2941    686 |        0 |        0
691.79/691.91	c  691s |      20 |  1145055 |   927527 |     2941    687 |        0 |        0
693.79/693.93	c  693s |      20 |  1147619 |   929827 |     2941    689 |        0 |        0
695.79/695.98	c  695s |      20 |  1150093 |   932027 |     2941    690 |        0 |        0
697.88/698.05	c  698s |      20 |  1152670 |   934327 |     2941    691 |        0 |        0
699.98/700.10	c  700s |      20 |  1155251 |   936627 |     2941    693 |        0 |        0
701.98/702.17	c  702s |      20 |  1157694 |   938827 |     2941    694 |        0 |        0
703.99/704.20	c  704s |      20 |  1159820 |   940727 |     2941    695 |        0 |        0
706.08/706.25	c  706s |      20 |  1162026 |   942727 |     2941    696 |        0 |        0
708.08/708.28	c  708s |      20 |  1163989 |   944527 |     2941    697 |        0 |        0
710.18/710.37	c  710s |      20 |  1166185 |   946527 |     2941    698 |        0 |        0
712.18/712.38	c  712s |      20 |  1168189 |   948327 |     2941    700 |        0 |        0
714.28/714.48	c  714s |      20 |  1170318 |   950227 |     2941    701 |        0 |        0
716.28/716.48	c  716s |      20 |  1172409 |   952127 |     2941    702 |        0 |        0
718.39/718.57	c  718s |      20 |  1174801 |   954227 |     2941    703 |        0 |        0
720.49/720.68	c  720s |      20 |  1176888 |   956127 |     2941    704 |        0 |        0
722.58/722.71	c  722s |      20 |  1179199 |   958127 |     2941    705 |        0 |        0
724.58/724.76	c  724s |      20 |  1181341 |   960027 |     2941    706 |        0 |        0
726.68/726.80	c  726s |      20 |  1183631 |   962027 |     2941    708 |        0 |        0
728.78/728.90	c  728s |      20 |  1185766 |   963927 |     2941    709 |        0 |        0
730.78/730.96	c  730s |      20 |  1188180 |   966127 |     2941    710 |        0 |        0
732.88/733.08	c  733s |      20 |  1190077 |   967827 |     2941    711 |        0 |        0
734.98/735.17	c  735s |      20 |  1191850 |   969427 |     2941    712 |        0 |        0
736.99/737.20	c  737s |      20 |  1193416 |   970827 |     2941    713 |        0 |        0
739.08/739.28	c  739s |      20 |  1195646 |   972827 |     2941    714 |        0 |        0
741.18/741.34	c  741s |      20 |  1197745 |   974727 |     2941    715 |        0 |        0
743.18/743.34	c  743s |      20 |  1199946 |   976727 |     2941    716 |        0 |        0
745.28/745.43	c  745s |      20 |  1202071 |   978627 |     2941    717 |        0 |        0
747.38/747.50	c  747s |      20 |  1204004 |   980327 |     2941    718 |        0 |        0
749.38/749.59	c  749s |      20 |  1206003 |   982127 |     2941    719 |        0 |        0
751.48/751.63	c  751s |      20 |  1209743 |   985127 |     2941    721 |        0 |        0
753.48/753.67	c  753s |      20 |  1212981 |   987927 |     2941    723 |        0 |        0
755.57/755.71	c  755s |      20 |  1216023 |   990627 |     2941    724 |        0 |        0
757.57/757.78	c  757s |      20 |  1218893 |   993127 |     2941    726 |        0 |        0
759.57/759.79	c  759s |      20 |  1221722 |   995527 |     3236    727 |        0 |        0
761.67/761.87	c  761s |      20 |  1224678 |   998127 |     3236    728 |        0 |        0
763.67/763.87	c  763s |      21 |  1227216 |  1000345 |     3236    729 |        0 |        0
765.68/765.87	c  765s |      21 |  1231633 |  1004045 |     3236    731 |        0 |        0
767.67/767.87	c  767s |      21 |  1235042 |  1007145 |     3236    733 |        0 |        0
769.77/769.92	c  769s |      21 |  1238077 |  1009945 |     3236    735 |        0 |        0
771.77/771.96	c  771s |      21 |  1241081 |  1012745 |     3236    736 |        0 |        0
773.87/774.04	c  774s |      21 |  1244017 |  1015445 |     3236    738 |        0 |        0
775.87/776.06	c  776s |      21 |  1246946 |  1018145 |     3236    739 |        0 |        0
777.97/778.14	c  778s |      21 |  1250018 |  1020945 |     3236    740 |        0 |        0
779.98/780.19	c  780s |      21 |  1253084 |  1023745 |     3236    742 |        0 |        0
782.08/782.24	c  782s |      21 |  1256569 |  1026845 |     3236    744 |        0 |        0
784.07/784.29	c  784s |      21 |  1259833 |  1029845 |     3236    745 |        0 |        0
786.17/786.30	c  786s |      21 |  1263411 |  1033045 |     3236    747 |        0 |        0
788.17/788.33	c  788s |      21 |  1266874 |  1036145 |     3236    749 |        0 |        0
790.17/790.38	c  790s |      21 |  1270531 |  1039445 |     3236    750 |        0 |        0
792.27/792.41	c  792s |      21 |  1273960 |  1042545 |     3236    752 |        0 |        0
794.27/794.47	c  794s |      21 |  1277176 |  1045445 |     3236    754 |        0 |        0
796.37/796.52	c  796s |      21 |  1280518 |  1048445 |     3236    755 |        0 |        0
798.37/798.52	c  798s |      21 |  1283712 |  1051345 |     3236    757 |        0 |        0
800.37/800.53	c  800s |      21 |  1287139 |  1054445 |     3236    758 |        0 |        0
802.37/802.54	c  802s |      21 |  1290487 |  1057445 |     3236    760 |        0 |        0
804.36/804.59	c  804s |      21 |  1293540 |  1060145 |     3236    761 |        0 |        0
806.46/806.65	c  806s |      21 |  1296870 |  1063145 |     3236    763 |        0 |        0
808.47/808.66	c  808s |      21 |  1299661 |  1065645 |     3236    764 |        0 |        0
810.56/810.71	c  810s |      21 |  1302322 |  1068045 |     3236    766 |        0 |        0
812.56/812.78	c  812s |      21 |  1304669 |  1070145 |     3236    767 |        0 |        0
814.66/814.81	c  814s |      21 |  1307334 |  1072545 |     3236    768 |        0 |        0
816.66/816.82	c  816s |      21 |  1309781 |  1074745 |     3236    769 |        0 |        0
818.66/818.85	c  818s |      21 |  1312057 |  1076845 |     3236    770 |        0 |        0
820.76/820.93	c  820s |      21 |  1314117 |  1078745 |     3236    771 |        0 |        0
822.77/822.93	c  822s |      21 |  1316256 |  1080645 |     3236    772 |        0 |        0
824.76/824.94	c  824s |      21 |  1318520 |  1082645 |     3236    774 |        0 |        0
826.86/827.02	c  826s |      21 |  1321017 |  1084845 |     3236    775 |        0 |        0
828.86/829.06	c  829s |      21 |  1323109 |  1086745 |     3236    776 |        0 |        0
830.96/831.16	c  831s |      21 |  1325314 |  1088745 |     3236    777 |        0 |        0
832.96/833.17	c  833s |      21 |  1327444 |  1090645 |     3236    778 |        0 |        0
835.06/835.27	c  835s |      21 |  1329577 |  1092545 |     3236    779 |        0 |        0
837.16/837.33	c  837s |      21 |  1331449 |  1094245 |     3236    780 |        0 |        0
839.16/839.33	c  839s |      21 |  1333270 |  1095945 |     3236    781 |        0 |        0
841.16/841.35	c  841s |      21 |  1336106 |  1098445 |     3236    782 |        0 |        0
843.17/843.38	c  843s |      21 |  1339034 |  1100945 |     3236    783 |        0 |        0
845.27/845.40	c  845s |      21 |  1341689 |  1103245 |     3236    785 |        0 |        0
847.26/847.47	c  847s |      21 |  1344584 |  1105845 |     3236    786 |        0 |        0
849.27/849.49	c  849s |      21 |  1347011 |  1108045 |     3236    787 |        0 |        0
851.37/851.55	c  851s |      21 |  1349600 |  1110345 |     3236    788 |        0 |        0
853.46/853.61	c  853s |      21 |  1352048 |  1112545 |     3236    790 |        0 |        0
855.46/855.64	c  855s |      21 |  1354134 |  1114445 |     3236    791 |        0 |        0
857.46/857.69	c  857s |      21 |  1356385 |  1116445 |     3236    792 |        0 |        0
859.56/859.78	c  859s |      21 |  1358459 |  1118345 |     3236    793 |        0 |        0
861.66/861.80	c  861s |      21 |  1361362 |  1120845 |     3236    794 |        0 |        0
863.66/863.82	c  863s |      21 |  1364285 |  1123445 |     3236    795 |        0 |        0
865.67/865.89	c  865s |      21 |  1367032 |  1125945 |     3236    797 |        0 |        0
867.76/867.94	c  867s |      21 |  1369545 |  1128245 |     3236    798 |        0 |        0
869.76/869.94	c  869s |      21 |  1371903 |  1130345 |     3236    799 |        0 |        0
871.76/871.95	c  871s |      21 |  1374239 |  1132445 |     3236    800 |        0 |        0
873.76/873.97	c  873s |      21 |  1376340 |  1134345 |     3236    801 |        0 |        0
875.86/876.05	c  876s |      21 |  1378531 |  1136345 |     3236    802 |        0 |        0
877.87/878.09	c  878s |      21 |  1380924 |  1138445 |     3236    803 |        0 |        0
879.86/880.10	c  880s |      21 |  1382920 |  1140245 |     3236    804 |        0 |        0
881.96/882.15	c  882s |      21 |  1386170 |  1143045 |     3236    806 |        0 |        0
883.96/884.17	c  884s |      21 |  1389381 |  1145845 |     3236    807 |        0 |        0
886.06/886.20	c  886s |      21 |  1392329 |  1148445 |     3236    809 |        0 |        0
888.06/888.26	c  888s |      21 |  1395123 |  1150945 |     3236    810 |        0 |        0
890.16/890.30	c  890s |      21 |  1397668 |  1153245 |     3236    811 |        0 |        0
892.16/892.32	c  892s |      21 |  1400078 |  1155445 |     3236    813 |        0 |        0
894.26/894.41	c  894s |      21 |  1402162 |  1157345 |     3236    814 |        0 |        0
896.26/896.44	c  896s |      21 |  1404337 |  1159345 |     3236    815 |        0 |        0
898.26/898.48	c  898s |      21 |  1406556 |  1161345 |     3236    816 |        0 |        0
900.36/900.52	c  900s |      21 |  1408857 |  1163445 |     3236    817 |        0 |        0
902.35/902.57	c  902s |      21 |  1411801 |  1166045 |     3236    818 |        0 |        0
904.45/904.63	c  904s |      21 |  1414393 |  1168345 |     3236    819 |        0 |        0
906.46/906.65	c  906s |      21 |  1416581 |  1170345 |     3236    821 |        0 |        0
908.45/908.66	c  908s |      21 |  1419113 |  1172645 |     3236    822 |        0 |        0
910.45/910.66	c  910s |      21 |  1421729 |  1175045 |     3236    823 |        0 |        0
912.55/912.75	c  912s |      21 |  1424328 |  1177445 |     3236    824 |        0 |        0
914.55/914.76	c  914s |      21 |  1426737 |  1179645 |     3236    825 |        0 |        0
916.65/916.82	c  916s |      21 |  1429363 |  1182045 |     3236    827 |        0 |        0
918.65/918.86	c  918s |      21 |  1431652 |  1184145 |     3236    828 |        0 |        0
920.66/920.88	c  920s |      21 |  1434086 |  1186345 |     3236    829 |        0 |        0
922.65/922.89	c  922s |      21 |  1436495 |  1188545 |     3236    830 |        0 |        0
924.85/925.01	c  924s |      21 |  1438962 |  1190745 |     3236    831 |        0 |        0
926.95/927.15	c  927s |      21 |  1440825 |  1192445 |     3236    832 |        0 |        0
928.95/929.18	c  929s |      21 |  1443135 |  1194545 |     3236    833 |        0 |        0
931.15/931.30	c  931s |      21 |  1445188 |  1196445 |     3236    834 |        0 |        0
933.15/933.39	c  933s |      21 |  1447410 |  1198445 |     3236    836 |        0 |        0
935.24/935.42	c  935s |      21 |  1449492 |  1200345 |     3236    837 |        0 |        0
937.25/937.44	c  937s |      21 |  1452597 |  1203045 |     3236    838 |        0 |        0
939.24/939.50	c  939s |      21 |  1455702 |  1205845 |     3236    840 |        0 |        0
941.34/941.51	c  941s |      21 |  1458771 |  1208545 |     3236    841 |        0 |        0
943.34/943.57	c  943s |      21 |  1461538 |  1211045 |     3236    842 |        0 |        0
945.44/945.60	c  945s |      21 |  1464030 |  1213345 |     3236    844 |        0 |        0
947.44/947.62	c  947s |      21 |  1466857 |  1215845 |     3236    845 |        0 |        0
949.44/949.67	c  949s |      21 |  1469645 |  1218345 |     3236    846 |        0 |        0
951.54/951.74	c  951s |      21 |  1472317 |  1220745 |     3236    847 |        0 |        0
953.54/953.76	c  953s |      21 |  1474838 |  1223045 |     3236    849 |        0 |        0
955.53/955.79	c  955s |      21 |  1477332 |  1225345 |     3236    850 |        0 |        0
957.63/957.86	c  957s |      21 |  1479510 |  1227345 |     3236    851 |        0 |        0
959.63/959.87	c  959s |      21 |  1482575 |  1230045 |     3236    852 |        0 |        0
961.73/961.91	c  961s |      21 |  1485794 |  1232945 |     3236    854 |        0 |        0
963.73/963.95	c  963s |      21 |  1488463 |  1235345 |     3236    855 |        0 |        0
965.73/965.95	c  965s |      21 |  1491397 |  1237945 |     3236    857 |        0 |        0
967.72/967.95	c  967s |      21 |  1493913 |  1240245 |     3236    858 |        0 |        0
969.72/969.99	c  969s |      21 |  1496988 |  1243045 |     3236    859 |        0 |        0
971.82/972.00	c  971s |      21 |  1500072 |  1245845 |     3236    861 |        0 |        0
973.82/974.06	c  974s |      21 |  1502698 |  1248245 |     3236    862 |        0 |        0
975.92/976.11	c  976s |      21 |  1505887 |  1251045 |     3236    864 |        0 |        0
977.92/978.12	c  978s |      21 |  1508218 |  1253245 |     3236    865 |        0 |        0
979.92/980.15	c  980s |      21 |  1510700 |  1255445 |     3236    866 |        0 |        0
982.02/982.24	c  982s |      21 |  1513415 |  1257845 |     3236    867 |        0 |        0
984.01/984.25	c  984s |      21 |  1516076 |  1260245 |     3236    869 |        0 |        0
986.11/986.31	c  986s |      21 |  1518803 |  1262645 |     3236    870 |        0 |        0
988.11/988.31	c  988s |      21 |  1520800 |  1264445 |     3236    871 |        0 |        0
990.11/990.37	c  990s |      21 |  1524039 |  1267345 |     3236    872 |        0 |        0
992.12/992.37	c  992s |      21 |  1527105 |  1270045 |     3236    874 |        0 |        0
994.11/994.38	c  994s |      21 |  1529719 |  1272445 |     3236    875 |        0 |        0
996.21/996.42	c  996s |      21 |  1532157 |  1274645 |     3236    876 |        0 |        0
998.21/998.47	c  998s |      21 |  1534453 |  1276745 |     3236    878 |        0 |        0
1000.21/1000.48	c 1000s |      21 |  1537403 |  1279345 |     3236    879 |        0 |        0
1002.30/1002.52	c 1002s |      21 |  1540770 |  1282245 |     3236    880 |        0 |        0
1004.31/1004.59	c 1004s |      21 |  1543647 |  1284845 |     3236    882 |        0 |        0
1006.41/1006.62	c 1006s |      21 |  1545929 |  1286945 |     3236    883 |        0 |        0
1008.40/1008.67	c 1008s |      21 |  1549197 |  1289845 |     3236    885 |        0 |        0
1010.50/1010.73	c 1010s |      21 |  1551867 |  1292245 |     3236    886 |        0 |        0
1012.50/1012.76	c 1012s |      21 |  1554652 |  1294745 |     3236    887 |        0 |        0
1014.60/1014.86	c 1014s |      21 |  1556949 |  1296845 |     3236    888 |        0 |        0
1016.69/1016.91	c 1016s |      21 |  1559788 |  1299345 |     3236    890 |        0 |        0
1018.69/1018.99	c 1018s |      21 |  1562604 |  1301845 |     3236    891 |        0 |        0
1020.80/1021.06	c 1021s |      21 |  1565183 |  1304145 |     3236    892 |        0 |        0
1022.79/1023.08	c 1023s |      21 |  1567555 |  1306245 |     3236    893 |        0 |        0
1024.89/1025.11	c 1025s |      21 |  1570572 |  1308945 |     3236    895 |        0 |        0
1026.89/1027.14	c 1027s |      21 |  1573071 |  1311245 |     3236    896 |        0 |        0
1028.89/1029.19	c 1029s |      21 |  1575339 |  1313345 |     3236    897 |        0 |        0
1030.99/1031.26	c 1031s |      21 |  1577673 |  1315445 |     3236    898 |        0 |        0
1032.99/1033.26	c 1033s |      21 |  1580663 |  1318145 |     3236    900 |        0 |        0
1035.09/1035.30	c 1035s |      21 |  1583769 |  1320945 |     3236    901 |        0 |        0
1037.08/1037.34	c 1037s |      21 |  1586468 |  1323345 |     3236    903 |        0 |        0
1039.08/1039.36	c 1039s |      21 |  1588939 |  1325545 |     3236    904 |        0 |        0
1041.08/1041.38	c 1041s |      21 |  1591310 |  1327745 |     3236    905 |        0 |        0
1043.18/1043.43	c 1043s |      21 |  1593756 |  1329945 |     3236    906 |        0 |        0
1045.28/1045.52	c 1045s |      21 |  1596192 |  1332145 |     3236    907 |        0 |        0
1047.27/1047.58	c 1047s |      21 |  1598247 |  1334045 |     3236    908 |        0 |        0
1049.29/1049.59	c 1049s |      21 |  1600197 |  1335845 |     3236    909 |        0 |        0
1051.38/1051.68	c 1051s |      21 |  1602445 |  1337845 |     3236    910 |        0 |        0
1053.48/1053.74	c 1053s |      21 |  1604165 |  1339445 |     3236    911 |        0 |        0
1055.58/1055.81	c 1055s |      21 |  1606407 |  1341445 |     3236    912 |        0 |        0
1057.58/1057.84	c 1057s |      21 |  1608357 |  1343245 |     3236    913 |        0 |        0
1059.68/1059.90	c 1059s |      21 |  1610322 |  1345045 |     3236    914 |        0 |        0
1061.68/1061.95	c 1061s |      21 |  1612162 |  1346745 |     3236    915 |        0 |        0
1063.68/1063.98	c 1063s |      21 |  1613775 |  1348245 |     3236    916 |        0 |        0
1065.78/1066.01	c 1065s |      21 |  1615279 |  1349645 |     3236    917 |        0 |        0
1067.87/1068.17	c 1068s |      21 |  1616893 |  1351145 |     3236    917 |        0 |        0
1069.97/1070.25	c 1070s |      21 |  1618408 |  1352545 |     3236    918 |        0 |        0
1072.07/1072.31	c 1072s |      21 |  1620552 |  1354445 |     3236    919 |        0 |        0
1074.07/1074.35	c 1074s |      21 |  1622184 |  1355945 |     3236    920 |        0 |        0
1076.06/1076.38	c 1076s |      21 |  1623597 |  1357245 |     3236    921 |        0 |        0
1078.26/1078.58	c 1078s |      21 |  1625215 |  1358745 |     3236    922 |        0 |        0
1080.36/1080.63	c 1080s |      21 |  1627847 |  1360945 |     3236    923 |        0 |        0
1082.46/1082.71	c 1082s |      21 |  1630559 |  1363345 |     3236    924 |        0 |        0
1084.47/1084.74	c 1084s |      21 |  1632987 |  1365545 |     3236    925 |        0 |        0
1086.46/1086.78	c 1086s |      21 |  1635549 |  1367845 |     3236    926 |        0 |        0
1088.56/1088.83	c 1088s |      21 |  1638049 |  1370045 |     3236    928 |        0 |        0
1090.56/1090.84	c 1090s |      21 |  1640674 |  1372345 |     3236    929 |        0 |        0
1092.66/1092.90	c 1092s |      21 |  1643346 |  1374645 |     3236    930 |        0 |        0
1094.66/1094.93	c 1094s |      21 |  1645683 |  1376745 |     3236    931 |        0 |        0
1096.66/1096.96	c 1096s |      21 |  1647928 |  1378745 |     3236    932 |        0 |        0
1098.76/1099.02	c 1099s |      21 |  1650071 |  1380645 |     3236    933 |        0 |        0
1100.75/1101.03	c 1101s |      21 |  1652159 |  1382545 |     3236    934 |        0 |        0
1102.85/1103.12	c 1103s |      21 |  1654271 |  1384445 |     3236    935 |        0 |        0
1104.85/1105.19	c 1105s |      21 |  1656052 |  1386045 |     3236    936 |        0 |        0
1106.95/1107.29	c 1107s |      21 |  1657925 |  1387745 |     3236    937 |        0 |        0
1109.05/1109.36	c 1109s |      21 |  1660186 |  1389745 |     3236    938 |        0 |        0
1111.05/1111.39	c 1111s |      21 |  1662271 |  1391645 |     3236    939 |        0 |        0
1113.05/1113.40	c 1113s |      21 |  1664305 |  1393445 |     3236    940 |        0 |        0
1115.14/1115.49	c 1115s |      21 |  1666684 |  1395545 |     3236    941 |        0 |        0
1117.24/1117.56	c 1117s |      21 |  1669171 |  1397745 |     3236    942 |        0 |        0
1119.24/1119.58	c 1119s |      21 |  1671594 |  1399845 |     3236    944 |        0 |        0
1121.24/1121.59	c 1121s |      21 |  1673759 |  1401745 |     3236    945 |        0 |        0
1123.34/1123.69	c 1123s |      21 |  1675788 |  1403545 |     3236    946 |        0 |        0
1125.53/1125.81	c 1125s |      21 |  1677609 |  1405245 |     3236    947 |        0 |        0
1127.53/1127.85	c 1127s |      21 |  1680531 |  1407845 |     3236    948 |        0 |        0
1129.54/1129.85	c 1129s |      21 |  1683054 |  1410145 |     3236    949 |        0 |        0
1131.53/1131.85	c 1131s |      21 |  1685607 |  1412445 |     3236    950 |        0 |        0
1133.73/1134.02	c 1134s |      21 |  1687961 |  1414545 |     3236    952 |        0 |        0
1135.72/1136.05	c 1136s |      21 |  1690558 |  1416945 |     3236    953 |        0 |        0
1137.82/1138.12	c 1138s |      21 |  1692805 |  1419045 |     3236    954 |        0 |        0
1139.82/1140.15	c 1140s |      21 |  1695390 |  1421345 |     3236    955 |        0 |        0
1141.92/1142.21	c 1142s |      21 |  1697759 |  1423545 |     3236    956 |        0 |        0
1144.02/1144.30	c 1144s |      21 |  1700041 |  1425645 |     3236    957 |        0 |        0
1146.02/1146.31	c 1146s |      21 |  1702294 |  1427645 |     3236    959 |        0 |        0
1148.01/1148.37	c 1148s |      21 |  1704620 |  1429745 |     3236    960 |        0 |        0
1150.11/1150.40	c 1150s |      21 |  1706926 |  1431845 |     3236    961 |        0 |        0
1152.11/1152.45	c 1152s |      21 |  1708976 |  1433745 |     3236    962 |        0 |        0
1154.11/1154.48	c 1154s |      21 |  1711313 |  1435845 |     3236    963 |        0 |        0
1156.21/1156.58	c 1156s |      21 |  1713592 |  1437945 |     3236    964 |        0 |        0
1158.31/1158.62	c 1158s |      21 |  1715790 |  1439945 |     3236    965 |        0 |        0
1160.32/1160.63	c 1160s |      21 |  1717856 |  1441845 |     3236    966 |        0 |        0
1162.31/1162.66	c 1162s |      21 |  1719979 |  1443745 |     3236    967 |        0 |        0
1164.41/1164.75	c 1164s |      21 |  1721905 |  1445545 |     3236    968 |        0 |        0
1166.40/1166.78	c 1166s |      21 |  1723960 |  1447445 |     3236    969 |        0 |        0
1168.50/1168.87	c 1168s |      21 |  1725931 |  1449245 |     3236    970 |        0 |        0
1170.60/1170.91	c 1170s |      21 |  1727640 |  1450845 |     3236    971 |        0 |        0
1172.70/1173.02	c 1172s |      21 |  1729733 |  1452745 |     3236    972 |        0 |        0
1174.71/1175.06	c 1175s |      21 |  1731382 |  1454245 |     3236    973 |        0 |        0
1176.80/1177.12	c 1177s |      21 |  1732785 |  1455545 |     3236    973 |        0 |        0
1178.79/1179.12	c 1179s |      21 |  1734235 |  1456845 |     3236    974 |        0 |        0
1180.79/1181.20	c 1181s |      21 |  1736459 |  1458845 |     3236    975 |        0 |        0
1182.90/1183.27	c 1183s |      21 |  1738543 |  1460745 |     3236    976 |        0 |        0
1185.00/1185.35	c 1185s |      21 |  1740661 |  1462645 |     3236    977 |        0 |        0
1187.10/1187.49	c 1187s |      21 |  1742875 |  1464645 |     3236    978 |        0 |        0
1189.20/1189.57	c 1189s |      21 |  1744452 |  1466045 |     3236    979 |        0 |        0
1191.30/1191.61	c 1191s |      21 |  1746589 |  1467945 |     3236    980 |        0 |        0
1193.30/1193.62	c 1193s |      21 |  1749353 |  1470445 |     3236    981 |        0 |        0
1195.39/1195.70	c 1195s |      21 |  1752165 |  1472945 |     3236    983 |        0 |        0
1197.39/1197.74	c 1197s |      21 |  1754948 |  1475445 |     3236    984 |        0 |        0
1199.49/1199.85	c 1199s |      21 |  1757730 |  1477945 |     3236    986 |        0 |        0
1201.59/1201.94	c 1201s |      21 |  1760501 |  1480445 |     3236    987 |        0 |        0
1203.59/1203.97	c 1203s |      21 |  1762758 |  1482445 |     3236    988 |        0 |        0
1205.58/1205.98	c 1205s |      21 |  1764849 |  1484345 |     3236    989 |        0 |        0
1207.69/1208.07	c 1208s |      21 |  1767900 |  1487045 |     3236    990 |        0 |        0
1209.79/1210.13	c 1210s |      21 |  1770354 |  1489245 |     3236    992 |        0 |        0
1211.88/1212.20	c 1212s |      21 |  1772747 |  1491445 |     3560    993 |        0 |        0
1213.88/1214.28	c 1214s |      21 |  1774661 |  1493245 |     3560    993 |        0 |        0
1215.98/1216.37	c 1216s |      21 |  1777087 |  1495445 |     3560    995 |        0 |        0
1218.08/1218.47	c 1218s |      21 |  1779234 |  1497445 |     3560    996 |        0 |        0
1220.18/1220.50	c 1220s |      21 |  1781146 |  1499245 |     3560    996 |        0 |        0
1221.48/1221.83	c 1221s |      22 |  1782635 |  1500622 |     3560    997 |        0 |        0
1223.48/1223.89	c 1223s |      22 |  1787098 |  1504122 |     3560    999 |        0 |        0
1225.57/1225.94	c 1225s |      22 |  1790177 |  1506822 |     3560   1000 |        0 |        0
1227.67/1228.01	c 1227s |      22 |  1793069 |  1509422 |     3560   1001 |        0 |        0
1229.68/1230.06	c 1230s |      22 |  1795751 |  1511822 |     3560   1003 |        0 |        0
1231.67/1232.09	c 1232s |      22 |  1798467 |  1514322 |     3560   1004 |        0 |        0
1233.77/1234.13	c 1234s |      22 |  1800975 |  1516622 |     3560   1005 |        0 |        0
1235.87/1236.20	c 1236s |      22 |  1803723 |  1519122 |     3560   1006 |        0 |        0
1237.87/1238.26	c 1238s |      22 |  1806288 |  1521422 |     3560   1007 |        0 |        0
1239.87/1240.28	c 1240s |      22 |  1808697 |  1523622 |     3560   1008 |        0 |        0
1242.07/1242.40	c 1242s |      22 |  1811175 |  1525922 |     3560   1010 |        0 |        0
1244.07/1244.46	c 1244s |      22 |  1813992 |  1528422 |     3560   1011 |        0 |        0
1246.17/1246.51	c 1246s |      22 |  1817037 |  1531222 |     3560   1012 |        0 |        0
1248.16/1248.52	c 1248s |      22 |  1819952 |  1533922 |     3560   1013 |        0 |        0
1250.16/1250.59	c 1250s |      22 |  1822865 |  1536622 |     3560   1015 |        0 |        0
1252.26/1252.64	c 1252s |      22 |  1826010 |  1539422 |     3560   1016 |        0 |        0
1254.26/1254.64	c 1254s |      22 |  1828913 |  1541922 |     3560   1017 |        0 |        0
1256.36/1256.71	c 1256s |      22 |  1831651 |  1544322 |     3560   1019 |        0 |        0
1258.36/1258.73	c 1258s |      22 |  1834410 |  1546822 |     3560   1020 |        0 |        0
1260.46/1260.80	c 1260s |      22 |  1837140 |  1549322 |     3560   1021 |        0 |        0
1262.45/1262.81	c 1262s |      22 |  1839529 |  1551522 |     3560   1022 |        0 |        0
1264.45/1264.83	c 1264s |      22 |  1842075 |  1553822 |     3560   1023 |        0 |        0
1266.45/1266.89	c 1266s |      22 |  1844605 |  1556122 |     3560   1024 |        0 |        0
1268.55/1268.94	c 1268s |      22 |  1847200 |  1558422 |     3560   1026 |        0 |        0
1270.55/1270.97	c 1270s |      22 |  1849350 |  1560422 |     3560   1027 |        0 |        0
1272.64/1273.03	c 1273s |      22 |  1852054 |  1562822 |     3560   1028 |        0 |        0
1274.65/1275.06	c 1275s |      22 |  1854367 |  1564922 |     3560   1029 |        0 |        0
1276.64/1277.07	c 1277s |      22 |  1856568 |  1566922 |     3560   1030 |        0 |        0
1278.74/1279.11	c 1279s |      22 |  1858935 |  1569122 |     3560   1031 |        0 |        0
1280.74/1281.17	c 1281s |      22 |  1861142 |  1571122 |     3560   1032 |        0 |        0
1282.84/1283.25	c 1283s |      22 |  1863800 |  1573522 |     3560   1033 |        0 |        0
1284.93/1285.32	c 1285s |      22 |  1866214 |  1575722 |     3560   1034 |        0 |        0
1287.03/1287.41	c 1287s |      22 |  1868394 |  1577722 |     3560   1035 |        0 |        0
1289.13/1289.51	c 1289s |      22 |  1870324 |  1579522 |     3560   1036 |        0 |        0
1291.14/1291.58	c 1291s |      22 |  1872730 |  1581622 |     3560   1037 |        0 |        0
1293.23/1293.63	c 1293s |      22 |  1874911 |  1583622 |     3560   1038 |        0 |        0
1295.33/1295.70	c 1295s |      22 |  1877140 |  1585622 |     3560   1039 |        0 |        0
1297.33/1297.74	c 1297s |      22 |  1879324 |  1587622 |     3560   1040 |        0 |        0
1299.33/1299.75	c 1299s |      22 |  1881093 |  1589222 |     3560   1041 |        0 |        0
1301.33/1301.76	c 1301s |      22 |  1883198 |  1591122 |     3560   1042 |        0 |        0
1303.42/1303.81	c 1303s |      22 |  1885518 |  1593222 |     3560   1043 |        0 |        0
1305.43/1305.83	c 1305s |      22 |  1887404 |  1594922 |     3560   1044 |        0 |        0
1307.52/1307.90	c 1307s |      22 |  1890225 |  1597422 |     3560   1045 |        0 |        0
1309.52/1309.94	c 1309s |      22 |  1892775 |  1599722 |     3560   1046 |        0 |        0
1311.52/1311.98	c 1311s |      22 |  1895336 |  1602022 |     3560   1047 |        0 |        0
1313.62/1314.03	c 1314s |      22 |  1897585 |  1604022 |     3560   1048 |        0 |        0
1315.62/1316.03	c 1316s |      22 |  1899712 |  1605922 |     3560   1049 |        0 |        0
1317.62/1318.09	c 1318s |      22 |  1902040 |  1608022 |     3560   1050 |        0 |        0
1319.72/1320.11	c 1320s |      22 |  1903931 |  1609722 |     3560   1051 |        0 |        0
1321.71/1322.17	c 1322s |      22 |  1906202 |  1611722 |     3560   1052 |        0 |        0
1323.81/1324.20	c 1324s |      22 |  1908284 |  1613622 |     3560   1053 |        0 |        0
1325.81/1326.28	c 1326s |      22 |  1910458 |  1615622 |     3560   1054 |        0 |        0
1327.91/1328.36	c 1328s |      22 |  1912401 |  1617422 |     3560   1055 |        0 |        0
1330.01/1330.43	c 1330s |      22 |  1914228 |  1619122 |     3560   1056 |        0 |        0
1332.11/1332.54	c 1332s |      22 |  1916529 |  1621222 |     3560   1057 |        0 |        0
1334.11/1334.58	c 1334s |      22 |  1918770 |  1623222 |     3560   1058 |        0 |        0
1336.22/1336.64	c 1336s |      22 |  1920998 |  1625222 |     3560   1059 |        0 |        0
1338.21/1338.66	c 1338s |      22 |  1923019 |  1627122 |     3560   1059 |        0 |        0
1340.31/1340.74	c 1340s |      22 |  1925002 |  1628922 |     3560   1060 |        0 |        0
1342.31/1342.74	c 1342s |      22 |  1927242 |  1630922 |     3560   1061 |        0 |        0
1344.31/1344.75	c 1344s |      22 |  1929304 |  1632822 |     3560   1062 |        0 |        0
1346.40/1346.84	c 1346s |      22 |  1931357 |  1634722 |     3560   1063 |        0 |        0
1348.41/1348.86	c 1348s |      22 |  1933051 |  1636322 |     3560   1064 |        0 |        0
1350.51/1350.97	c 1350s |      22 |  1934929 |  1638022 |     3560   1065 |        0 |        0
1352.60/1353.06	c 1353s |      22 |  1936784 |  1639722 |     3560   1066 |        0 |        0
1354.80/1355.24	c 1355s |      22 |  1938640 |  1641422 |     3560   1067 |        0 |        0
1356.89/1357.33	c 1357s |      22 |  1940468 |  1643122 |     3560   1067 |        0 |        0
1358.99/1359.41	c 1359s |      22 |  1942090 |  1644622 |     3560   1068 |        0 |        0
1360.99/1361.45	c 1361s |      22 |  1943593 |  1646022 |     3560   1069 |        0 |        0
1363.09/1363.50	c 1363s |      22 |  1944997 |  1647322 |     3560   1069 |        0 |        0
1365.09/1365.54	c 1365s |      22 |  1946980 |  1649022 |     3560   1070 |        0 |        0
1367.10/1367.59	c 1367s |      22 |  1949524 |  1651222 |     3560   1071 |        0 |        0
1369.19/1369.61	c 1369s |      22 |  1952152 |  1653522 |     3560   1072 |        0 |        0
1371.19/1371.66	c 1371s |      22 |  1954497 |  1655622 |     3560   1074 |        0 |        0
1373.19/1373.69	c 1373s |      22 |  1956840 |  1657722 |     3560   1075 |        0 |        0
1375.28/1375.70	c 1375s |      22 |  1958786 |  1659522 |     3560   1075 |        0 |        0
1377.28/1377.72	c 1377s |      22 |  1960967 |  1661522 |     3560   1076 |        0 |        0
1379.38/1379.83	c 1379s |      22 |  1963446 |  1663722 |     3560   1078 |        0 |        0
1381.39/1381.88	c 1381s |      22 |  1965446 |  1665522 |     3560   1078 |        0 |        0
1383.48/1383.93	c 1383s |      22 |  1967542 |  1667422 |     3560   1079 |        0 |        0
1385.47/1385.96	c 1385s |      22 |  1969843 |  1669522 |     3560   1080 |        0 |        0
1387.47/1387.97	c 1387s |      22 |  1971369 |  1670922 |     3560   1081 |        0 |        0
1389.57/1390.07	c 1390s |      22 |  1974004 |  1673322 |     3560   1082 |        0 |        0
1391.67/1392.10	c 1392s |      22 |  1976508 |  1675622 |     3560   1083 |        0 |        0
1393.67/1394.18	c 1394s |      22 |  1978609 |  1677522 |     3560   1084 |        0 |        0
1395.77/1396.22	c 1396s |      22 |  1980840 |  1679522 |     3560   1085 |        0 |        0
1397.87/1398.33	c 1398s |      22 |  1982891 |  1681422 |     3560   1086 |        0 |        0
1399.87/1400.34	c 1400s |      22 |  1984832 |  1683222 |     3560   1087 |        0 |        0
1401.86/1402.38	c 1402s |      22 |  1986682 |  1684922 |     3560   1088 |        0 |        0
1403.96/1404.47	c 1404s |      22 |  1988526 |  1686622 |     3560   1089 |        0 |        0
1406.06/1406.57	c 1406s |      22 |  1989923 |  1687922 |     3560   1089 |        0 |        0
1408.16/1408.60	c 1408s |      22 |  1992094 |  1689822 |     3560   1090 |        0 |        0
1410.16/1410.68	c 1410s |      22 |  1994207 |  1691722 |     3560   1091 |        0 |        0
1412.26/1412.73	c 1412s |      22 |  1996200 |  1693522 |     3560   1092 |        0 |        0
1414.27/1414.77	c 1414s |      22 |  1998172 |  1695322 |     3560   1093 |        0 |        0
1416.35/1416.81	c 1416s |      22 |  2000052 |  1697022 |     3560   1094 |        0 |        0
1418.35/1418.89	c 1418s |      22 |  2001895 |  1698722 |     3560   1095 |        0 |        0
1420.35/1420.89	c 1420s |      22 |  2003846 |  1700522 |     3560   1096 |        0 |        0
1422.45/1422.95	c 1422s |      22 |  2005368 |  1701922 |     3560   1096 |        0 |        0
1424.45/1424.99	c 1424s |      22 |  2007192 |  1703622 |     3560   1097 |        0 |        0
1426.55/1427.03	c 1427s |      22 |  2009052 |  1705322 |     3560   1098 |        0 |        0
1428.65/1429.13	c 1429s |      22 |  2011004 |  1707122 |     3560   1099 |        0 |        0
1430.75/1431.21	c 1431s |      22 |  2012642 |  1708622 |     3560   1100 |        0 |        0
1432.75/1433.26	c 1433s |      22 |  2014149 |  1710022 |     3560   1100 |        0 |        0
1434.84/1435.35	c 1435s |      22 |  2016231 |  1711922 |     3560   1101 |        0 |        0
1436.94/1437.44	c 1437s |      22 |  2018136 |  1713622 |     3560   1102 |        0 |        0
1439.04/1439.50	c 1439s |      22 |  2020044 |  1715322 |     3560   1103 |        0 |        0
1441.04/1441.53	c 1441s |      22 |  2021799 |  1716922 |     3560   1104 |        0 |        0
1443.04/1443.56	c 1443s |      22 |  2023418 |  1718422 |     3560   1105 |        0 |        0
1445.15/1445.65	c 1445s |      22 |  2025378 |  1720222 |     3560   1105 |        0 |        0
1447.25/1447.77	c 1447s |      22 |  2026931 |  1721622 |     3560   1106 |        0 |        0
1449.34/1449.88	c 1449s |      22 |  2028670 |  1723222 |     3560   1107 |        0 |        0
1451.44/1451.96	c 1451s |      22 |  2030307 |  1724722 |     3560   1108 |        0 |        0
1453.64/1454.12	c 1454s |      22 |  2032038 |  1726322 |     3560   1108 |        0 |        0
1455.73/1456.21	c 1456s |      22 |  2033559 |  1727722 |     3560   1109 |        0 |        0
1457.83/1458.32	c 1458s |      22 |  2035308 |  1729322 |     3560   1110 |        0 |        0
1459.93/1460.44	c 1460s |      22 |  2036725 |  1730622 |     3560   1111 |        0 |        0
1461.93/1462.49	c 1462s |      22 |  2038357 |  1732122 |     3560   1111 |        0 |        0
1464.13/1464.61	c 1464s |      22 |  2039991 |  1733622 |     3560   1112 |        0 |        0
1466.13/1466.67	c 1466s |      22 |  2040962 |  1734522 |     3560   1112 |        0 |        0
1468.23/1468.75	c 1468s |      22 |  2043320 |  1736622 |     3560   1113 |        0 |        0
1470.23/1470.76	c 1470s |      22 |  2045745 |  1738822 |     3560   1115 |        0 |        0
1472.33/1472.87	c 1472s |      22 |  2047994 |  1740822 |     3560   1116 |        0 |        0
1474.52/1475.01	c 1474s |      22 |  2050052 |  1742722 |     3560   1117 |        0 |        0
1476.52/1477.04	c 1477s |      22 |  2051874 |  1744422 |     3560   1117 |        0 |        0
1478.52/1479.05	c 1479s |      22 |  2054226 |  1746522 |     3560   1118 |        0 |        0
1480.52/1481.06	c 1481s |      22 |  2055979 |  1748122 |     3560   1119 |        0 |        0
1482.53/1483.09	c 1483s |      22 |  2057996 |  1749922 |     3560   1120 |        0 |        0
1484.63/1485.17	c 1485s |      22 |  2060463 |  1752122 |     3560   1121 |        0 |        0
1486.71/1487.22	c 1487s |      22 |  2062729 |  1754122 |     3560   1122 |        0 |        0
1488.71/1489.26	c 1489s |      22 |  2064983 |  1756122 |     3560   1123 |        0 |        0
1490.81/1491.33	c 1491s |      22 |  2067084 |  1758022 |     3560   1124 |        0 |        0
1492.91/1493.43	c 1493s |      22 |  2069248 |  1760022 |     3560   1125 |        0 |        0
1495.01/1495.50	c 1495s |      22 |  2071368 |  1761922 |     3560   1126 |        0 |        0
1497.01/1497.57	c 1497s |      22 |  2073444 |  1763822 |     3560   1127 |        0 |        0
1499.11/1499.60	c 1499s |      22 |  2075291 |  1765522 |     3560   1128 |        0 |        0
1501.11/1501.66	c 1501s |      22 |  2076907 |  1767022 |     3560   1128 |        0 |        0
1503.11/1503.66	c 1503s |      22 |  2079017 |  1768922 |     3560   1129 |        0 |        0
1505.10/1505.69	c 1505s |      22 |  2080969 |  1770722 |     3560   1130 |        0 |        0
1507.20/1507.74	c 1507s |      22 |  2083059 |  1772622 |     3560   1131 |        0 |        0
1509.30/1509.84	c 1509s |      22 |  2085157 |  1774522 |     3560   1132 |        0 |        0
1511.30/1511.86	c 1511s |      22 |  2086977 |  1776222 |     3560   1133 |        0 |        0
1513.40/1513.92	c 1513s |      22 |  2088942 |  1778022 |     3560   1134 |        0 |        0
1515.41/1515.97	c 1515s |      22 |  2090933 |  1779822 |     3560   1135 |        0 |        0
1517.50/1518.03	c 1518s |      22 |  2092890 |  1781622 |     3560   1136 |        0 |        0
1519.50/1520.06	c 1520s |      22 |  2094831 |  1783422 |     3560   1137 |        0 |        0
1521.60/1522.12	c 1522s |      22 |  2097231 |  1785522 |     3560   1138 |        0 |        0
1523.60/1524.13	c 1524s |      22 |  2098966 |  1787122 |     3560   1138 |        0 |        0
1525.59/1526.20	c 1526s |      22 |  2101215 |  1789122 |     3560   1139 |        0 |        0
1527.69/1528.28	c 1528s |      22 |  2103266 |  1790922 |     3560   1140 |        0 |        0
1529.70/1530.29	c 1530s |      22 |  2105142 |  1792622 |     3560   1141 |        0 |        0
1531.79/1532.39	c 1532s |      22 |  2107026 |  1794322 |     3560   1142 |        0 |        0
1533.89/1534.43	c 1534s |      22 |  2109023 |  1796122 |     3560   1143 |        0 |        0
1535.89/1536.44	c 1536s |      22 |  2110808 |  1797722 |     3560   1144 |        0 |        0
1537.89/1538.49	c 1538s |      22 |  2112649 |  1799422 |     3560   1145 |        0 |        0
1539.99/1540.58	c 1540s |      22 |  2114630 |  1801222 |     3560   1145 |        0 |        0
1542.09/1542.64	c 1542s |      22 |  2116745 |  1803122 |     3560   1146 |        0 |        0
1544.19/1544.76	c 1544s |      22 |  2118635 |  1804822 |     3560   1147 |        0 |        0
1546.19/1546.80	c 1546s |      22 |  2120084 |  1806122 |     3560   1148 |        0 |        0
1548.28/1548.90	c 1548s |      22 |  2122073 |  1807922 |     3560   1149 |        0 |        0
1550.48/1551.04	c 1551s |      22 |  2123821 |  1809522 |     3560   1149 |        0 |        0
1552.48/1553.07	c 1553s |      22 |  2125833 |  1811322 |     3560   1150 |        0 |        0
1554.48/1555.09	c 1555s |      22 |  2127615 |  1812922 |     3560   1151 |        0 |        0
1556.68/1557.20	c 1557s |      22 |  2129333 |  1814522 |     3560   1152 |        0 |        0
1558.68/1559.23	c 1559s |      22 |  2131024 |  1816022 |     3560   1153 |        0 |        0
1560.77/1561.33	c 1561s |      22 |  2132775 |  1817622 |     3560   1153 |        0 |        0
1562.88/1563.43	c 1563s |      22 |  2134656 |  1819322 |     3560   1154 |        0 |        0
1564.99/1565.56	c 1565s |      22 |  2136445 |  1820922 |     3560   1155 |        0 |        0
1567.09/1567.66	c 1567s |      22 |  2137834 |  1822222 |     3560   1156 |        0 |        0
1569.29/1569.81	c 1569s |      22 |  2139641 |  1823822 |     3560   1157 |        0 |        0
1571.38/1571.91	c 1571s |      22 |  2141404 |  1825422 |     3560   1157 |        0 |        0
1573.38/1573.96	c 1573s |      22 |  2143187 |  1827022 |     3560   1158 |        0 |        0
1575.48/1576.01	c 1575s |      22 |  2144919 |  1828622 |     3560   1159 |        0 |        0
1577.48/1578.03	c 1578s |      22 |  2146483 |  1830022 |     3560   1160 |        0 |        0
1579.58/1580.14	c 1580s |      22 |  2148259 |  1831622 |     3560   1160 |        0 |        0
1581.58/1582.15	c 1582s |      22 |  2150358 |  1833422 |     3560   1161 |        0 |        0
1583.68/1584.22	c 1584s |      22 |  2152204 |  1835022 |     3560   1162 |        0 |        0
1585.78/1586.31	c 1586s |      22 |  2153822 |  1836522 |     3560   1163 |        0 |        0
1587.77/1588.33	c 1588s |      22 |  2156559 |  1838722 |     3560   1164 |        0 |        0
1589.87/1590.40	c 1590s |      22 |  2159069 |  1840822 |     3560   1165 |        0 |        0
1591.87/1592.41	c 1592s |      22 |  2161762 |  1843022 |     3560   1166 |        0 |        0
1593.97/1594.50	c 1594s |      22 |  2164338 |  1845122 |     3560   1167 |        0 |        0
1595.97/1596.55	c 1596s |      22 |  2166925 |  1847322 |     3560   1168 |        0 |        0
1597.98/1598.55	c 1598s |      22 |  2169011 |  1849122 |     3560   1169 |        0 |        0
1599.97/1600.58	c 1600s |      22 |  2170936 |  1850722 |     3560   1170 |        0 |        0
1601.97/1602.58	c 1602s |      22 |  2172629 |  1852122 |     3560   1171 |        0 |        0
1604.07/1604.67	c 1604s |      22 |  2175467 |  1854622 |     3560   1172 |        0 |        0
1606.17/1606.73	c 1606s |      22 |  2177350 |  1856322 |     3560   1173 |        0 |        0
1608.27/1608.84	c 1608s |      22 |  2179344 |  1858122 |     3560   1174 |        0 |        0
1610.37/1610.92	c 1610s |      22 |  2181170 |  1859822 |     3560   1174 |        0 |        0
1612.47/1613.05	c 1613s |      22 |  2182925 |  1861422 |     3560   1175 |        0 |        0
1614.57/1615.15	c 1615s |      22 |  2185149 |  1863422 |     3560   1176 |        0 |        0
1616.58/1617.15	c 1617s |      22 |  2187205 |  1865322 |     3560   1177 |        0 |        0
1618.67/1619.22	c 1619s |      22 |  2189136 |  1867122 |     3560   1178 |        0 |        0
1620.67/1621.26	c 1621s |      22 |  2191094 |  1868922 |     3560   1179 |        0 |        0
1622.67/1623.27	c 1623s |      22 |  2193292 |  1870922 |     3560   1180 |        0 |        0
1624.67/1625.28	c 1625s |      22 |  2195913 |  1873322 |     3560   1181 |        0 |        0
1626.77/1627.34	c 1627s |      22 |  2197999 |  1875222 |     3560   1182 |        0 |        0
1628.87/1629.40	c 1629s |      22 |  2199942 |  1877022 |     3560   1183 |        0 |        0
1630.87/1631.48	c 1631s |      22 |  2201874 |  1878822 |     3560   1184 |        0 |        0
1633.07/1633.67	c 1633s |      22 |  2203648 |  1880422 |     3560   1185 |        0 |        0
1635.17/1635.75	c 1635s |      22 |  2205601 |  1882222 |     3560   1185 |        0 |        0
1637.27/1637.80	c 1637s |      22 |  2207326 |  1883822 |     3560   1186 |        0 |        0
1639.26/1639.84	c 1639s |      22 |  2208837 |  1885222 |     3560   1187 |        0 |        0
1641.36/1641.91	c 1641s |      22 |  2210379 |  1886622 |     3560   1188 |        0 |        0
1643.46/1644.00	c 1643s |      22 |  2212701 |  1888722 |     3560   1189 |        0 |        0
1645.46/1646.08	c 1646s |      22 |  2214780 |  1890622 |     3560   1190 |        0 |        0
1647.56/1648.10	c 1648s |      22 |  2216607 |  1892322 |     3560   1190 |        0 |        0
1649.57/1650.11	c 1650s |      22 |  2218430 |  1894022 |     3560   1191 |        0 |        0
1651.56/1652.15	c 1652s |      22 |  2220093 |  1895522 |     3560   1192 |        0 |        0
1653.66/1654.21	c 1654s |      22 |  2221710 |  1897022 |     3560   1193 |        0 |        0
1655.76/1656.32	c 1656s |      22 |  2223354 |  1898522 |     3560   1193 |        0 |        0
1657.76/1658.37	c 1658s |      22 |  2224851 |  1899922 |     3560   1194 |        0 |        0
1659.96/1660.51	c 1660s |      22 |  2226614 |  1901522 |     3560   1195 |        0 |        0
1662.06/1662.63	c 1662s |      22 |  2228257 |  1903022 |     3560   1196 |        0 |        0
1664.06/1664.64	c 1664s |      22 |  2229943 |  1904522 |     3560   1196 |        0 |        0
1666.07/1666.69	c 1666s |      22 |  2232500 |  1906822 |     3560   1198 |        0 |        0
1668.16/1668.70	c 1668s |      22 |  2234594 |  1908722 |     3560   1199 |        0 |        0
1670.26/1670.80	c 1670s |      22 |  2237048 |  1910922 |     3560   1200 |        0 |        0
1672.26/1672.80	c 1672s |      22 |  2239429 |  1913022 |     3560   1201 |        0 |        0
1674.26/1674.86	c 1674s |      22 |  2241674 |  1915022 |     3560   1202 |        0 |        0
1676.36/1676.92	c 1676s |      22 |  2243950 |  1917022 |     3560   1203 |        0 |        0
1678.36/1678.99	c 1678s |      22 |  2246161 |  1919022 |     3560   1204 |        0 |        0
1680.46/1681.07	c 1681s |      22 |  2248197 |  1920922 |     3560   1205 |        0 |        0
1682.56/1683.20	c 1683s |      22 |  2250260 |  1922822 |     3560   1205 |        0 |        0
1684.66/1685.24	c 1685s |      22 |  2252095 |  1924522 |     3560   1206 |        0 |        0
1686.66/1687.25	c 1687s |      22 |  2254109 |  1926322 |     3560   1207 |        0 |        0
1688.76/1689.33	c 1689s |      22 |  2256276 |  1928322 |     3560   1208 |        0 |        0
1690.86/1691.41	c 1691s |      22 |  2258631 |  1930422 |     3560   1209 |        0 |        0
1692.85/1693.48	c 1693s |      22 |  2260742 |  1932322 |     3560   1210 |        0 |        0
1694.95/1695.54	c 1695s |      22 |  2262755 |  1934122 |     3560   1211 |        0 |        0
1697.05/1697.60	c 1697s |      22 |  2264873 |  1936022 |     3560   1212 |        0 |        0
1699.06/1699.67	c 1699s |      22 |  2266985 |  1937922 |     3560   1213 |        0 |        0
1701.15/1701.70	c 1701s |      22 |  2268887 |  1939622 |     3560   1214 |        0 |        0
1703.15/1703.75	c 1703s |      22 |  2270870 |  1941422 |     3560   1215 |        0 |        0
1705.25/1705.81	c 1705s |      22 |  2272523 |  1942922 |     3560   1215 |        0 |        0
1707.25/1707.86	c 1707s |      22 |  2274699 |  1944822 |     3560   1216 |        0 |        0
1709.25/1709.88	c 1709s |      22 |  2277806 |  1947522 |     3560   1218 |        0 |        0
1711.26/1711.89	c 1711s |      22 |  2280601 |  1949922 |     3560   1219 |        0 |        0
1713.36/1713.95	c 1713s |      22 |  2283179 |  1952222 |     3560   1220 |        0 |        0
1715.45/1716.02	c 1715s |      22 |  2285508 |  1954322 |     3560   1221 |        0 |        0
1717.45/1718.02	c 1718s |      22 |  2287798 |  1956322 |     3560   1222 |        0 |        0
1719.45/1720.09	c 1720s |      22 |  2290012 |  1958222 |     3560   1223 |        0 |        0
1721.55/1722.16	c 1722s |      22 |  2291814 |  1959822 |     3560   1224 |        0 |        0
1723.65/1724.23	c 1724s |      22 |  2294497 |  1962022 |     3560   1225 |        0 |        0
1725.65/1726.25	c 1726s |      22 |  2296502 |  1963722 |     3560   1226 |        0 |        0
1727.65/1728.29	c 1728s |      22 |  2298218 |  1965222 |     3560   1226 |        0 |        0
1729.75/1730.40	c 1730s |      22 |  2300108 |  1966922 |     3560   1227 |        0 |        0
1731.85/1732.45	c 1732s |      22 |  2301914 |  1968522 |     3560   1228 |        0 |        0
1733.85/1734.46	c 1734s |      22 |  2303653 |  1970022 |     3560   1229 |        0 |        0
1735.95/1736.54	c 1736s |      22 |  2306099 |  1972222 |     3560   1230 |        0 |        0
1737.95/1738.58	c 1738s |      22 |  2308105 |  1974022 |     3560   1231 |        0 |        0
1740.15/1740.71	c 1740s |      22 |  2310151 |  1975922 |     3560   1232 |        0 |        0
1742.15/1742.73	c 1742s |      22 |  2312147 |  1977722 |     3560   1233 |        0 |        0
1744.25/1744.89	c 1744s |      22 |  2314168 |  1979522 |     3560   1234 |        0 |        0
1746.35/1746.98	c 1746s |      22 |  2316155 |  1981322 |     3560   1234 |        0 |        0
1748.34/1748.98	c 1748s |      22 |  2317980 |  1982922 |     3560   1235 |        0 |        0
1750.44/1751.06	c 1751s |      22 |  2319793 |  1984522 |     3560   1236 |        0 |        0
1752.54/1753.17	c 1753s |      22 |  2321584 |  1986122 |     3560   1237 |        0 |        0
1754.54/1755.19	c 1755s |      22 |  2323423 |  1987722 |     3560   1238 |        0 |        0
1756.64/1757.26	c 1757s |      22 |  2325196 |  1989322 |     3560   1238 |        0 |        0
1758.74/1759.39	c 1759s |      22 |  2326968 |  1990922 |     3560   1239 |        0 |        0
1760.84/1761.42	c 1761s |      22 |  2328486 |  1992322 |     3560   1240 |        0 |        0
1762.85/1763.43	c 1763s |      22 |  2330367 |  1993922 |     3560   1241 |        0 |        0
1764.94/1765.59	c 1765s |      22 |  2332254 |  1995622 |     3560   1241 |        0 |        0
1767.14/1767.76	c 1767s |      22 |  2333796 |  1996922 |     3560   1242 |        0 |        0
1769.34/1769.90	c 1769s |      22 |  2334897 |  1997922 |     3560   1243 |        0 |        0
1771.34/1771.98	c 1771s |      22 |  2336512 |  1999322 |     3560   1243 |        0 |        0
1773.44/1774.05	c 1774s |      22 |  2338433 |  2000922 |     3560   1244 |        0 |        0
1775.54/1776.13	c 1776s |      22 |  2340043 |  2002322 |     3560   1245 |        0 |        0
1777.54/1778.17	c 1778s |      22 |  2341654 |  2003722 |     3560   1245 |        0 |        0
1779.64/1780.20	c 1780s |      22 |  2343318 |  2005222 |     3560   1246 |        0 |        0
1781.65/1782.21	c 1782s |      22 |  2344850 |  2006622 |     3560   1247 |        0 |        0
1783.64/1784.29	c 1784s |      22 |  2346348 |  2007922 |     3560   1248 |        0 |        0
1785.74/1786.33	c 1786s |      22 |  2348732 |  2010022 |     3560   1249 |        0 |        0
1787.84/1788.41	c 1788s |      22 |  2351080 |  2012122 |     3560   1250 |        0 |        0
1789.84/1790.46	c 1790s |      22 |  2353160 |  2014022 |     3560   1251 |        0 |        0
1791.84/1792.47	c 1792s |      22 |  2355308 |  2015922 |     3560   1252 |        0 |        0
1794.04/1794.62	c 1794s |      22 |  2357554 |  2017922 |     3560   1253 |        0 |        0
1796.14/1796.71	c 1796s |      22 |  2359724 |  2019822 |     3560   1253 |        0 |        0
1798.14/1798.75	c 1798s |      22 |  2361608 |  2021522 |     3560   1254 |        0 |        0

ERROR: no interpretation found !

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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

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

pid=11673
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: 1.26 0.47 0.16 4/179 11676
/proc/meminfo: memFree=30486152/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=751172 CPUtime=0 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 2807 0 0 0 0 0 0 0 20 0 4 0 22659753 769200128 3679 33554432000 4194304 16246674 140736365474288 140736365473712 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 188305 3688 442 2943 0 185199 0
[pid=11676/tid=11677] ppid=11673 vsize=768580 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 787025920 3746 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=772676 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 791220224 3764 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=777796 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659753 796463104 3782 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 1.26 0.47 0.16 4/179 11676
/proc/meminfo: memFree=30486152/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 32191 0 0 0 5 4 0 0 20 0 4 0 22659753 1247350784 33051 33554432000 4194304 16246674 140736365474288 140736365473712 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 304529 33069 703 2943 0 301423 0
[pid=11676/tid=11677] ppid=11673 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1247350784 33081 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1247350784 33095 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659753 1247350784 33108 33554432000 4194304 16246674 140736365474288 140329120423088 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.200504 s]
/proc/loadavg: 1.26 0.47 0.16 4/179 11676
/proc/meminfo: memFree=30486152/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 65510 0 0 0 11 8 0 0 20 0 4 0 22659753 1247350784 66370 33554432000 4194304 16246674 140736365474288 140736365456192 12478333 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 304529 66384 703 2943 0 301423 0
[pid=11676/tid=11677] ppid=11673 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1247350784 66394 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1247350784 66408 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659753 1247350784 66422 33554432000 4194304 16246674 140736365474288 140329120423088 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.300471 s]
/proc/loadavg: 1.26 0.47 0.16 4/179 11676
/proc/meminfo: memFree=30486152/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 99011 0 0 0 17 12 0 0 20 0 4 0 22659753 1247350784 99872 33554432000 4194304 16246674 140736365474288 140736365456192 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 304529 99889 710 2943 0 301423 0
[pid=11676/tid=11677] ppid=11673 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1247350784 99899 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1247350784 99910 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659753 1247350784 99920 33554432000 4194304 16246674 140736365474288 140329120423088 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.700405 s]
/proc/loadavg: 1.26 0.47 0.16 4/179 11676
/proc/meminfo: memFree=30486152/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 239374 0 0 0 39 30 0 0 20 0 4 0 22659753 1247350784 240235 33554432000 4194304 16246674 140736365474288 140736365456192 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 304529 240256 711 2943 0 301423 0
[pid=11676/tid=11677] ppid=11673 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1247350784 240270 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1247350784 240284 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22659753 1247350784 240294 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 1.26 0.47 0.16 3/183 11680
/proc/meminfo: memFree=29342488/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1303108 CPUtime=1.49 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 266597 0 0 0 115 34 0 0 20 0 4 0 22659753 1334382592 267437 33554432000 4194304 16246674 140736365474288 140736365456192 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 325777 267437 788 2943 0 322671 0
[pid=11676/tid=11677] ppid=11673 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1334382592 267437 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1334382592 267437 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1334382592 267437 33554432000 4194304 16246674 140736365474288 140329120423088 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) 1303108

[startup+3.10041 s]
/proc/loadavg: 1.26 0.47 0.16 3/183 11680
/proc/meminfo: memFree=29311748/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1307204 CPUtime=3.09 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 267801 0 0 0 275 34 0 0 20 0 4 0 22659753 1338576896 268641 33554432000 4194304 16246674 140736365474288 140736365456192 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 326801 268641 788 2943 0 323695 0
[pid=11676/tid=11677] ppid=11673 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1338576896 268641 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1338576896 268641 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1338576896 268641 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1307204

[startup+6.30039 s]
/proc/loadavg: 1.32 0.49 0.17 4/183 11680
/proc/meminfo: memFree=29308808/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1308228 CPUtime=6.29 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 268021 0 0 0 595 34 0 0 20 0 4 0 22659753 1339625472 268861 33554432000 4194304 16246674 140736365474288 140736365456192 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 327057 268861 788 2943 0 323951 0
[pid=11676/tid=11677] ppid=11673 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1339625472 268861 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1339625472 268861 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1339625472 268861 33554432000 4194304 16246674 140736365474288 140329120423088 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) 1308228

[startup+12.7004 s]
/proc/loadavg: 1.37 0.52 0.18 3/183 11680
/proc/meminfo: memFree=29307608/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 268083 0 0 0 1235 34 0 0 20 0 4 0 22659753 1339625472 268923 33554432000 4194304 16246674 140736365474288 140736365456192 5667620 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 327057 268923 790 2943 0 323951 0
[pid=11676/tid=11677] ppid=11673 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1339625472 268923 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1339625472 268923 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1339625472 268923 33554432000 4194304 16246674 140736365474288 140329120423088 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) 1308228

[startup+25.5073 s]
/proc/loadavg: 1.51 0.59 0.21 3/183 11680
/proc/meminfo: memFree=29298236/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1316420 CPUtime=25.5 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 270131 0 0 0 2515 35 0 0 20 0 4 0 22659753 1348014080 270971 33554432000 4194304 16246674 140736365474288 140736365456192 13191773 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329105 270971 790 2943 0 325999 0
[pid=11676/tid=11677] ppid=11673 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1348014080 270971 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1348014080 270971 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1348014080 270971 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1316420

[startup+51.1004 s]
/proc/loadavg: 1.68 0.70 0.25 4/183 11680
/proc/meminfo: memFree=29295264/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1316420 CPUtime=51.09 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 270132 0 0 0 5074 35 0 0 20 0 4 0 22659753 1348014080 270972 33554432000 4194304 16246674 140736365474288 140736365456192 12478212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329105 270972 791 2943 0 325999 0
[pid=11676/tid=11677] ppid=11673 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1348014080 270972 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1348014080 270972 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1348014080 270972 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1316420

[startup+102.3 s]
/proc/loadavg: 1.91 0.92 0.35 3/183 11684
/proc/meminfo: memFree=29290572/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1316420 CPUtime=102.27 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 270133 0 0 0 10192 35 0 0 20 0 4 0 22659753 1348014080 270973 33554432000 4194304 16246674 140736365474288 140736365456192 5823250 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329105 270973 792 2943 0 325999 0
[pid=11676/tid=11677] ppid=11673 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1348014080 270973 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1348014080 270973 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1348014080 270973 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1316420


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

/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 1.59 3/183 11716
/proc/meminfo: memFree=29272552/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1319492 CPUtime=1361.89 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 271210 0 0 0 136147 42 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140736365473464 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329873 271745 792 2943 0 326767 0
[pid=11676/tid=11677] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 2.14 2.05 1.62 3/183 11717
/proc/meminfo: memFree=29273124/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1319492 CPUtime=1421.85 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 271255 0 0 0 142143 42 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140736365456192 5723137 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329873 271745 792 2943 0 326767 0
[pid=11676/tid=11677] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.09 2.05 1.65 3/183 11718
/proc/meminfo: memFree=29273552/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1319492 CPUtime=1481.82 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 271297 0 0 0 148140 42 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140736365456192 13949872 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329873 271745 792 2943 0 326767 0
[pid=11676/tid=11677] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1319492

[startup+1542.3 s]
/proc/loadavg: 2.11 2.06 1.67 3/183 11719
/proc/meminfo: memFree=29273576/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1319492 CPUtime=1541.79 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 271334 0 0 0 154137 42 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140736365473464 5717780 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329873 271745 792 2943 0 326767 0
[pid=11676/tid=11677] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 2.04 2.05 1.69 3/183 11720
/proc/meminfo: memFree=29273692/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1319492 CPUtime=1601.77 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 271364 0 0 0 160134 43 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140736365456192 5662046 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329873 271745 792 2943 0 326767 0
[pid=11676/tid=11677] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1319492

[startup+1662.31 s]
/proc/loadavg: 2.01 2.04 1.70 3/183 11722
/proc/meminfo: memFree=29273448/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1319492 CPUtime=1661.77 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 271364 0 0 0 166134 43 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140736365456192 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329873 271745 792 2943 0 326767 0
[pid=11676/tid=11677] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1319492

[startup+1722.3 s]
/proc/loadavg: 2.07 2.04 1.73 4/183 11723
/proc/meminfo: memFree=29272704/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1319492 CPUtime=1721.75 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 271364 0 0 0 172132 43 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140736365456192 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329873 271745 792 2943 0 326767 0
[pid=11676/tid=11677] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1319492

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 1.74 3/183 11724
/proc/meminfo: memFree=29271960/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1319492 CPUtime=1781.74 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 271364 0 0 0 178131 43 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140736365456192 12478202 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329873 271745 792 2943 0 326767 0
[pid=11676/tid=11677] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.02 2.03 1.74 3/183 11724
/proc/meminfo: memFree=29272208/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1319492 CPUtime=1800.04 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 271364 0 0 0 179961 43 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140736365456192 5824052 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329873 271745 792 2943 0 326767 0
[pid=11676/tid=11677] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1319492

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

[startup+1800.6 s]
/proc/loadavg: 2.02 2.03 1.74 3/183 11724
/proc/meminfo: memFree=29272208/32872528 swapFree=534252/566956
[pid=11676] ppid=11673 vsize=1319492 CPUtime=1800.04 cores=0,2,4,6
/proc/11676/stat : 11676 (toysat) R 11673 11676 10353 0 -1 4202496 271364 0 0 0 179961 43 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140736365456192 5824052 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11676/statm: 329873 271745 792 2943 0 326767 0
[pid=11676/tid=11677] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11677/stat : 11677 (toysat) S 11673 11676 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329210588400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11676/tid=11678] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11678/stat : 11678 (toysat) S 11673 11676 10353 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329130896624 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11676/tid=11679] ppid=11673 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/11676/task/11679/stat : 11679 (toysat) S 11673 11676 10353 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22659753 1351159808 271745 33554432000 4194304 16246674 140736365474288 140329120423088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1319492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.62
CPU system time (s): 0.435933
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 0.435933
maximum resident set size= 1086980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271364
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= 474
involuntary context switches= 1853

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6093 second user time and 6.94094 second system time

The end

Begin job on node138 at 2016-06-18 01:29:01
IDJOB=4099459
IDBENCH=1412
IDSOLVER=2542
FILE ID=node138/4099459-1466206141
RUNJOBID= node138-1466206053-10369
PBS_JOBID= 19918139
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl20_30_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099459-1466206141/watcher-4099459-1466206141 -o /tmp/evaluation-result-4099459-1466206141/solver-4099459-1466206141 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10369 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099459-1466206141.opb

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

MD5SUM BENCH= 54cc21b6a006b53c414126d2c0b266be
RANDOM SEED=1278075362

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30513612 kB
Buffers:           38700 kB
Cached:            98704 kB
SwapCached:         1056 kB
Active:          1028480 kB
Inactive:          56856 kB
Active(anon):     948928 kB
Inactive(anon):     1192 kB
Active(file):      79552 kB
Inactive(file):    55664 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             32688 kB
Writeback:             0 kB
AnonPages:       1510056 kB
Mapped:             9372 kB
Shmem:                 0 kB
Slab:             574112 kB
SReclaimable:      17060 kB
SUnreclaim:       557052 kB
KernelStack:        1392 kB
PageTables:         6588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1695632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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 node138 at 2016-06-18 01:59:02