0.00/0.00	c 2016-06-18T08:01:05+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-4102177-1466229665.opb"]
0.00/0.01	c use --random-gen="2969242922 1812578827 552689282 4198468090 3982868036 544200969 1857496706 1022434367 2038745349 475596567 1603471778 3451266767 178781696 3853368241 2004658082 1055549785 181697180 3648971839 3553056254 3916054286 2937761388 4106114222 987345920 3503662097 4143211876 1561530362 3069128185 2937337545 1439650701 3579568457 1668597451 233975076 3718262472 2782051050 3885290628 1430857469 3012033834 1181160639 1022022306 602817680 2756917221 1396939894 1717740240 235587398 1298087352 1498287140 1288611909 3651966004 3992701299 432530529 2451515690 3505396964 1486645009 1204685471 1857216303 3112556343 325600945 1432669018 1607575246 3310705513 4146812833 3424442169 3457048568 1232958549 3473383348 1514682969 993097018 604203900 1906159818 3362048471 4163153075 2588206731 3913552606 41505985 2753719180 1335065298 4169039575 2220342639 1654862152 1958309389 3260288178 180798609 407758058 2434299980 4208758139 2181303983 334817755 1300665710 3493771581 722003478 3441125945 1705490291 2615035272 843836247 898224011 2345167671 1689738519 3630159140 2135868996 3082113621 2759948785 1614395469 3013032654 4142605006 814817227 1401210296 410315057 3477268119 1181829794 3243844835 2903908914 1358517907 682281242 3993977607 346693471 2736593709 2545565202 3800637381 1444449989 330637304 1988237516 485311860 2367392437 2578597486 2396443187 2479570693 1742052886 3086701581 3476502850 1857633571 2884259824 3539943205 2327685922 2808790350 3500770503 3114952879 4261436677 3831686235 1590888729 2446620317 636085218 665060425 1662130105 2814907692 1283610719 512458824 4248838786 2338002020 746473723 2435032152 1035913751 993575372 824854160 3339039923 734959952 3237193481 160334049 261007915 2807320804 3365992472 2837208592 2645090435 1803275848 913963351 3650627463 1742100132 3393864762 3791971625 3982724755 2333037641 3508727147 562985167 138170014 348931549 3875391821 3739957693 308964523 1508889068 2238253919 2087633104 41035314 1119342256 3545276802 33899962 1970664044 3381108305 3492523802 29340085 2814881509 1711719424 254732295 1877402631 4093282262 3483572324 501724943 1973835653 517780955 679895939 350084965 614260893 59705124 1510432997 3501515982 358226544 1002930749 2261911695 858174446 2360999972 2354184653 1736895385 4024086548 194859998 3404482940 4145006314 60810377 2450567322 1271974519 1812354419 3269484876 582789921 1685226849 3675508016 3506813202 514043924 1879741678 2071979189 1028418103 3543271117 3459261678 3698174184 2939606782 2210517205 3907112 2557684708 4191993453 869608139 540889105 2456841094 3385845243 2256138493 4137668247 1854998664 2628802409 1333868902 3132126946 2026991404 4264138606 1043960579 3812543039 1879427857 25646061 4265890736 304601550 2310393583 4238755622 1507079654 255 362436" option to reproduce the execution
0.00/0.06	c #vars 2000
0.00/0.06	c #constraints 5250
0.09/0.11	c BCD2: Hardening is enabled.
0.09/0.11	c BCD2: BiasedSearch is enabled.
0.09/0.11	c Solving starts ...
0.09/0.11	c ============================[ Search Statistics ]============================
0.09/0.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.11	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.11	c =============================================================================
0.09/0.11	c  0.0s |       0 |        0 |        0 |     2416      0 |        0 |        0
0.09/0.18	c  0.1s |       1 |      220 |      100 |     2416      0 |        0 |        0
0.29/0.30	c  0.2s |       2 |      493 |      250 |     2658      0 |        0 |        0
0.39/0.45	c  0.3s |       3 |      889 |      475 |     2924      0 |        0 |        0
0.69/0.71	c  0.6s |       4 |     1381 |      813 |     3217      0 |        0 |        0
0.99/1.09	c  1.0s |       5 |     2130 |     1320 |     3539      0 |        0 |        0
1.60/1.60	c  1.5s |       6 |     3116 |     2081 |     4283      0 |        0 |        0
2.29/2.31	c  2.2s |       7 |     4694 |     3223 |     4712      0 |        0 |        0
3.40/3.45	c  3.3s |       8 |     6903 |     4936 |     5184      1 |        0 |        0
5.20/5.21	c  5.1s |       9 |    10233 |     7506 |     5703      1 |        0 |        0
7.19/7.27	c  7.2s |       9 |    13930 |    10406 |     5703      2 |        0 |        0
7.99/8.01	c  7.9s |      10 |    15106 |    11361 |     6274      3 |        0 |        0
10.00/10.06	c  9.9s |      10 |    18960 |    14361 |     6274      3 |        0 |        0
11.99/12.09	c 12.0s |      10 |    22371 |    17061 |     6902      4 |        0 |        0
12.10/12.16	c 12.0s |      11 |    22475 |    17144 |     6902      4 |        0 |        0
14.19/14.20	c 14.1s |      11 |    25985 |    19844 |     6902      5 |        0 |        0
16.19/16.28	c 16.2s |      11 |    29158 |    22344 |     6902      6 |        0 |        0
18.19/18.29	c 18.2s |      11 |    32157 |    24744 |     6902      6 |        0 |        0
19.19/19.29	c 19.2s |      12 |    33522 |    25819 |     7593      6 |        0 |        0
21.29/21.36	c 21.2s |      12 |    37084 |    28519 |     7593      7 |        0 |        0
23.29/23.38	c 23.3s |      12 |    40062 |    30919 |     7593      8 |        0 |        0
25.40/25.43	c 25.3s |      12 |    43236 |    33419 |     7593      8 |        0 |        0
27.39/27.43	c 27.3s |      12 |    46283 |    35819 |     7593      9 |        0 |        0
29.49/29.54	c 29.4s |      12 |    49235 |    38119 |     7593     10 |        0 |        0
29.99/30.08	c 30.0s |      13 |    50118 |    38832 |     8353     10 |        0 |        0
32.09/32.14	c 32.0s |      13 |    53235 |    41332 |     8353     10 |        0 |        0
34.09/34.15	c 34.0s |      13 |    56054 |    43532 |     8353     11 |        0 |        0
36.19/36.25	c 36.1s |      13 |    58821 |    45732 |     8353     11 |        0 |        0
38.28/38.32	c 38.2s |      13 |    61392 |    47832 |     8353     12 |        0 |        0
40.28/40.38	c 40.3s |      13 |    64184 |    50132 |     8353     12 |        0 |        0
42.28/42.38	c 42.3s |      13 |    66949 |    52332 |     8353     13 |        0 |        0
44.38/44.40	c 44.3s |      13 |    69653 |    54532 |     8353     13 |        0 |        0
46.38/46.47	c 46.4s |      13 |    72448 |    56732 |     8353     14 |        0 |        0
47.88/47.90	c 47.8s |      14 |    74487 |    58352 |     9189     14 |        0 |        0
49.88/49.98	c 49.9s |      14 |    77318 |    60552 |     9189     14 |        0 |        0
51.98/52.04	c 51.9s |      14 |    80187 |    62852 |     9189     15 |        0 |        0
53.99/54.06	c 54.0s |      14 |    82808 |    64952 |     9189     15 |        0 |        0
56.09/56.12	c 56.0s |      14 |    85889 |    67352 |     9189     16 |        0 |        0
58.09/58.19	c 58.1s |      14 |    88526 |    69452 |     9189     16 |        0 |        0
60.18/60.27	c 60.2s |      14 |    91221 |    71652 |     9189     17 |        0 |        0
62.28/62.34	c 62.2s |      14 |    94082 |    73952 |     9189     17 |        0 |        0
64.38/64.41	c 64.3s |      14 |    97155 |    76352 |     9189     18 |        0 |        0
66.38/66.43	c 66.3s |      14 |   100066 |    78652 |     9189     18 |        0 |        0
68.38/68.45	c 68.3s |      14 |   102862 |    80852 |     9189     19 |        0 |        0
70.49/70.53	c 70.4s |      14 |   105666 |    83052 |     9189     19 |        0 |        0
72.59/72.61	c 72.5s |      14 |   108489 |    85352 |     9189     20 |        0 |        0
74.68/74.71	c 74.6s |      14 |   111229 |    87552 |    10108     20 |        0 |        0
74.68/74.80	c 74.7s |      15 |   111322 |    87632 |    10108     20 |        0 |        0
76.78/76.86	c 76.7s |      15 |   113833 |    89632 |    10108     20 |        0 |        0
78.78/78.88	c 78.8s |      15 |   116750 |    91932 |    10108     21 |        0 |        0
80.88/80.95	c 80.8s |      15 |   119352 |    94032 |    10108     21 |        0 |        0
82.88/82.98	c 82.9s |      15 |   122006 |    96132 |    10108     22 |        0 |        0
84.98/85.00	c 84.9s |      15 |   124724 |    98332 |    10108     22 |        0 |        0
86.99/87.07	c 87.0s |      15 |   127344 |   100432 |    10108     23 |        0 |        0
89.09/89.13	c 89.0s |      15 |   130280 |   102732 |    10108     23 |        0 |        0
91.08/91.16	c 91.0s |      15 |   132733 |   104732 |    10108     23 |        0 |        0
93.08/93.18	c 93.1s |      15 |   135373 |   106832 |    10108     24 |        0 |        0
95.18/95.29	c 95.2s |      15 |   138027 |   108932 |    10108     24 |        0 |        0
97.28/97.37	c 97.3s |      15 |   140615 |   110932 |    10108     25 |        0 |        0
99.37/99.40	c 99.3s |      15 |   143273 |   113032 |    10108     25 |        0 |        0
101.37/101.44	c  101s |      15 |   145623 |   114932 |    10108     25 |        0 |        0
103.48/103.52	c  103s |      15 |   148567 |   117232 |    10108     26 |        0 |        0
105.47/105.55	c  105s |      15 |   151545 |   119532 |    10108     26 |        0 |        0
107.47/107.55	c  107s |      15 |   154112 |   121632 |    10108     27 |        0 |        0
109.47/109.58	c  109s |      15 |   156762 |   123732 |    10108     27 |        0 |        0
111.67/111.72	c  111s |      15 |   159238 |   125732 |    10108     28 |        0 |        0
113.77/113.80	c  113s |      15 |   162160 |   128032 |    10108     28 |        0 |        0
115.77/115.88	c  115s |      15 |   164767 |   130132 |    10108     28 |        0 |        0
117.27/117.38	c  117s |      16 |   166491 |   131552 |    11119     28 |        0 |        0
119.38/119.47	c  119s |      16 |   169279 |   133752 |    11119     29 |        0 |        0
121.38/121.48	c  121s |      16 |   172040 |   135852 |    11119     29 |        0 |        0
123.48/123.56	c  123s |      16 |   174551 |   137852 |    11119     30 |        0 |        0
125.57/125.64	c  125s |      16 |   177151 |   139952 |    11119     30 |        0 |        0
127.68/127.73	c  127s |      16 |   179448 |   141852 |    11119     30 |        0 |        0
129.67/129.76	c  129s |      16 |   181665 |   143652 |    11119     31 |        0 |        0
131.77/131.83	c  131s |      16 |   184230 |   145752 |    11119     31 |        0 |        0
133.77/133.88	c  133s |      16 |   186844 |   147852 |    11119     31 |        0 |        0
135.77/135.88	c  135s |      16 |   189367 |   149852 |    11119     32 |        0 |        0
137.87/137.91	c  137s |      16 |   192089 |   152052 |    11119     32 |        0 |        0
139.87/139.95	c  139s |      16 |   194506 |   153952 |    11119     32 |        0 |        0
141.88/141.99	c  141s |      16 |   197227 |   156152 |    11119     33 |        0 |        0
143.97/144.00	c  143s |      16 |   199722 |   158152 |    11119     33 |        0 |        0
145.97/146.07	c  145s |      16 |   202045 |   160052 |    11119     34 |        0 |        0
148.07/148.11	c  147s |      16 |   204736 |   162252 |    11119     34 |        0 |        0
150.07/150.13	c  150s |      16 |   207104 |   164152 |    11119     34 |        0 |        0
152.07/152.18	c  152s |      16 |   209287 |   165952 |    11119     35 |        0 |        0
154.17/154.21	c  154s |      16 |   211835 |   168052 |    11119     35 |        0 |        0
156.28/156.31	c  156s |      16 |   214164 |   169952 |    11119     35 |        0 |        0
158.27/158.33	c  158s |      16 |   216481 |   171852 |    11119     36 |        0 |        0
160.27/160.37	c  160s |      16 |   219234 |   174052 |    11119     36 |        0 |        0
162.27/162.38	c  162s |      16 |   221470 |   175852 |    11119     36 |        0 |        0
164.37/164.41	c  164s |      16 |   223886 |   177752 |    11119     37 |        0 |        0
166.36/166.48	c  166s |      16 |   226661 |   179952 |    11119     37 |        0 |        0
168.46/168.59	c  168s |      16 |   229244 |   182052 |    11119     37 |        0 |        0
170.57/170.64	c  170s |      16 |   231746 |   184052 |    11119     38 |        0 |        0
172.67/172.71	c  172s |      16 |   234139 |   185952 |    11119     38 |        0 |        0
174.66/174.79	c  174s |      16 |   236503 |   187852 |    11119     38 |        0 |        0
176.77/176.83	c  176s |      16 |   239095 |   189952 |    11119     39 |        0 |        0
178.86/178.93	c  178s |      16 |   241774 |   192052 |    11119     39 |        0 |        0
180.96/181.07	c  180s |      16 |   244132 |   193952 |    11119     40 |        0 |        0
183.06/183.11	c  182s |      16 |   246919 |   196152 |    12231     40 |        0 |        0
184.36/184.42	c  184s |      17 |   248537 |   197432 |    12231     40 |        0 |        0
186.36/186.42	c  186s |      17 |   251206 |   199432 |    12231     40 |        0 |        0
188.36/188.44	c  188s |      17 |   253682 |   201432 |    12231     41 |        0 |        0
190.45/190.52	c  190s |      17 |   256393 |   203632 |    12231     41 |        0 |        0
192.56/192.61	c  192s |      17 |   258736 |   205532 |    12231     41 |        0 |        0
194.55/194.68	c  194s |      17 |   261138 |   207432 |    12231     42 |        0 |        0
196.65/196.71	c  196s |      17 |   263815 |   209532 |    12231     42 |        0 |        0
198.65/198.73	c  198s |      17 |   266171 |   211332 |    12231     42 |        0 |        0
200.75/200.89	c  200s |      17 |   268389 |   213032 |    12231     43 |        0 |        0
202.85/202.97	c  202s |      17 |   271006 |   215132 |    12231     43 |        0 |        0
205.05/205.10	c  204s |      17 |   273352 |   217032 |    12231     43 |        0 |        0
207.05/207.14	c  207s |      17 |   275441 |   218732 |    12231     43 |        0 |        0
209.05/209.19	c  209s |      17 |   277865 |   220732 |    12231     44 |        0 |        0
211.15/211.21	c  211s |      17 |   280393 |   222732 |    12231     44 |        0 |        0
213.14/213.29	c  213s |      17 |   282692 |   224532 |    12231     44 |        0 |        0
215.24/215.34	c  215s |      17 |   284767 |   226232 |    12231     45 |        0 |        0
217.24/217.39	c  217s |      17 |   287070 |   228132 |    12231     45 |        0 |        0
219.33/219.45	c  219s |      17 |   289157 |   229832 |    12231     45 |        0 |        0
221.53/221.60	c  221s |      17 |   291543 |   231732 |    12231     46 |        0 |        0
223.53/223.66	c  223s |      17 |   294224 |   233932 |    12231     46 |        0 |        0
225.63/225.72	c  225s |      17 |   296581 |   235832 |    12231     46 |        0 |        0
227.64/227.78	c  227s |      17 |   298805 |   237632 |    12231     46 |        0 |        0
229.73/229.81	c  229s |      17 |   301256 |   239632 |    12231     47 |        0 |        0
231.72/231.82	c  231s |      17 |   303769 |   241632 |    12231     47 |        0 |        0
233.82/233.92	c  233s |      17 |   306019 |   243432 |    12231     47 |        0 |        0
235.82/235.96	c  235s |      17 |   308519 |   245432 |    12231     48 |        0 |        0
237.92/238.03	c  237s |      17 |   311234 |   247532 |    12231     48 |        0 |        0
239.92/240.03	c  239s |      17 |   313674 |   249432 |    12231     48 |        0 |        0
241.93/242.07	c  241s |      17 |   315919 |   251232 |    12231     49 |        0 |        0
244.02/244.17	c  244s |      17 |   318405 |   253232 |    12231     49 |        0 |        0
246.12/246.22	c  246s |      17 |   320649 |   255032 |    12231     49 |        0 |        0
248.12/248.25	c  248s |      17 |   322785 |   256732 |    12231     50 |        0 |        0
250.21/250.33	c  250s |      17 |   325428 |   258832 |    12231     50 |        0 |        0
252.21/252.34	c  252s |      17 |   327651 |   260632 |    12231     50 |        0 |        0
254.31/254.43	c  254s |      17 |   329910 |   262432 |    12231     50 |        0 |        0
256.33/256.46	c  256s |      17 |   332362 |   264432 |    12231     51 |        0 |        0
258.43/258.52	c  258s |      17 |   334867 |   266432 |    12231     51 |        0 |        0
260.41/260.53	c  260s |      17 |   337012 |   268132 |    12231     51 |        0 |        0
262.51/262.60	c  262s |      17 |   339294 |   269932 |    12231     52 |        0 |        0
264.61/264.70	c  264s |      17 |   341920 |   271932 |    12231     52 |        0 |        0
266.71/266.82	c  266s |      17 |   344487 |   273932 |    12231     52 |        0 |        0
268.71/268.88	c  268s |      17 |   346902 |   275832 |    12231     53 |        0 |        0
270.81/270.93	c  270s |      17 |   349583 |   277932 |    12231     53 |        0 |        0
272.90/273.02	c  272s |      17 |   351945 |   279832 |    12231     53 |        0 |        0
274.91/275.06	c  274s |      17 |   353931 |   281432 |    12231     54 |        0 |        0
277.00/277.16	c  277s |      17 |   356636 |   283532 |    12231     54 |        0 |        0
279.10/279.20	c  279s |      17 |   359196 |   285532 |    12231     54 |        0 |        0
281.20/281.30	c  281s |      17 |   361524 |   287332 |    12231     54 |        0 |        0
283.29/283.40	c  283s |      17 |   364041 |   289332 |    12231     55 |        0 |        0
285.29/285.40	c  285s |      17 |   366416 |   291232 |    12231     55 |        0 |        0
287.29/287.42	c  287s |      17 |   368680 |   293032 |    12231     55 |        0 |        0
289.39/289.50	c  289s |      17 |   371167 |   295032 |    13455     56 |        0 |        0
290.59/290.74	c  290s |      18 |   372651 |   296252 |    13455     56 |        0 |        0
292.69/292.84	c  292s |      18 |   375430 |   298352 |    13455     56 |        0 |        0
294.79/294.91	c  294s |      18 |   377834 |   300252 |    13455     56 |        0 |        0
296.79/296.94	c  296s |      18 |   379998 |   302052 |    13455     57 |        0 |        0
298.89/299.02	c  298s |      18 |   382470 |   304052 |    13455     57 |        0 |        0
300.98/301.11	c  300s |      18 |   384826 |   305952 |    13455     57 |        0 |        0
302.98/303.13	c  303s |      18 |   386835 |   307552 |    13455     57 |        0 |        0
304.98/305.15	c  305s |      18 |   389236 |   309452 |    13455     58 |        0 |        0
307.08/307.23	c  307s |      18 |   391777 |   311452 |    13455     58 |        0 |        0
309.08/309.24	c  309s |      18 |   394083 |   313252 |    13455     58 |        0 |        0
311.28/311.42	c  311s |      18 |   396194 |   314952 |    13455     59 |        0 |        0
313.27/313.50	c  313s |      18 |   398877 |   317052 |    13455     59 |        0 |        0
315.47/315.62	c  315s |      18 |   401217 |   318952 |    13455     59 |        0 |        0
317.47/317.69	c  317s |      18 |   403505 |   320752 |    13455     59 |        0 |        0
319.57/319.77	c  319s |      18 |   405785 |   322552 |    13455     60 |        0 |        0
321.67/321.87	c  321s |      18 |   408237 |   324552 |    13455     60 |        0 |        0
323.67/323.87	c  323s |      18 |   410439 |   326352 |    13455     60 |        0 |        0
325.67/325.90	c  325s |      18 |   412403 |   327952 |    13455     60 |        0 |        0
327.78/327.96	c  327s |      18 |   414873 |   329952 |    13455     61 |        0 |        0
329.87/330.01	c  329s |      18 |   417236 |   331852 |    13455     61 |        0 |        0
331.87/332.06	c  331s |      18 |   419481 |   333652 |    13455     61 |        0 |        0
333.97/334.15	c  334s |      18 |   421477 |   335252 |    13455     62 |        0 |        0
336.06/336.24	c  336s |      18 |   424151 |   337352 |    13455     62 |        0 |        0
338.16/338.33	c  338s |      18 |   426562 |   339252 |    13455     62 |        0 |        0
340.16/340.34	c  340s |      18 |   428866 |   341052 |    13455     62 |        0 |        0
342.26/342.40	c  342s |      18 |   431162 |   342852 |    13455     63 |        0 |        0
344.26/344.45	c  344s |      18 |   433645 |   344852 |    13455     63 |        0 |        0
346.36/346.52	c  346s |      18 |   436060 |   346752 |    13455     63 |        0 |        0
348.45/348.60	c  348s |      18 |   438229 |   348452 |    13455     63 |        0 |        0
350.45/350.65	c  350s |      18 |   440467 |   350252 |    13455     64 |        0 |        0
352.55/352.76	c  352s |      18 |   442783 |   352052 |    13455     64 |        0 |        0
354.55/354.79	c  354s |      18 |   444761 |   353652 |    13455     64 |        0 |        0
356.65/356.84	c  356s |      18 |   446785 |   355252 |    13455     64 |        0 |        0
358.65/358.85	c  358s |      18 |   449108 |   357052 |    13455     65 |        0 |        0
360.75/360.95	c  360s |      18 |   451444 |   358952 |    13455     65 |        0 |        0
362.85/363.01	c  362s |      18 |   453536 |   360652 |    13455     65 |        0 |        0
364.84/365.05	c  364s |      18 |   455546 |   362252 |    13455     65 |        0 |        0
366.85/367.06	c  366s |      18 |   457969 |   364152 |    13455     66 |        0 |        0
368.95/369.14	c  369s |      18 |   460662 |   366252 |    13455     66 |        0 |        0
370.94/371.15	c  371s |      18 |   462909 |   368052 |    13455     66 |        0 |        0
372.94/373.19	c  373s |      18 |   465038 |   369752 |    13455     67 |        0 |        0
375.05/375.24	c  375s |      18 |   467469 |   371652 |    13455     67 |        0 |        0
377.04/377.25	c  377s |      18 |   469756 |   373452 |    13455     67 |        0 |        0
379.03/379.28	c  379s |      18 |   471719 |   375052 |    13455     67 |        0 |        0
381.13/381.30	c  381s |      18 |   473559 |   376552 |    13455     68 |        0 |        0
383.23/383.41	c  383s |      18 |   476103 |   378552 |    13455     68 |        0 |        0
385.23/385.45	c  385s |      18 |   478522 |   380452 |    13455     68 |        0 |        0
387.33/387.54	c  387s |      18 |   480695 |   382152 |    13455     68 |        0 |        0
389.33/389.57	c  389s |      18 |   482831 |   383852 |    13455     69 |        0 |        0
391.43/391.67	c  391s |      18 |   485500 |   385952 |    13455     69 |        0 |        0
393.52/393.77	c  393s |      18 |   487736 |   387752 |    13455     69 |        0 |        0
395.62/395.87	c  395s |      18 |   489928 |   389452 |    13455     69 |        0 |        0
397.62/397.88	c  397s |      18 |   492082 |   391152 |    13455     70 |        0 |        0
399.72/399.93	c  399s |      18 |   494155 |   392852 |    13455     70 |        0 |        0
401.81/402.00	c  401s |      18 |   496060 |   394452 |    13455     70 |        0 |        0
403.81/404.08	c  403s |      18 |   498105 |   396152 |    13455     70 |        0 |        0
405.91/406.10	c  405s |      18 |   500562 |   398052 |    13455     71 |        0 |        0
407.92/408.15	c  408s |      18 |   503078 |   400052 |    13455     71 |        0 |        0
409.91/410.15	c  410s |      18 |   505324 |   401852 |    13455     71 |        0 |        0
412.01/412.22	c  412s |      18 |   507438 |   403552 |    13455     72 |        0 |        0
414.00/414.26	c  414s |      18 |   509945 |   405552 |    13455     72 |        0 |        0
416.10/416.32	c  416s |      18 |   512149 |   407352 |    13455     72 |        0 |        0
418.10/418.35	c  418s |      18 |   514293 |   409052 |    13455     72 |        0 |        0
420.20/420.42	c  420s |      18 |   516313 |   410652 |    13455     73 |        0 |        0
422.30/422.52	c  422s |      18 |   518750 |   412652 |    13455     73 |        0 |        0
424.30/424.58	c  424s |      18 |   521051 |   414452 |    13455     73 |        0 |        0
426.30/426.59	c  426s |      18 |   523018 |   416052 |    13455     73 |        0 |        0
428.40/428.61	c  428s |      18 |   525073 |   417652 |    13455     74 |        0 |        0
430.39/430.65	c  430s |      18 |   527467 |   419552 |    13455     74 |        0 |        0
432.50/432.73	c  432s |      18 |   529919 |   421452 |    13455     74 |        0 |        0
434.50/434.77	c  434s |      18 |   531923 |   423052 |    13455     74 |        0 |        0
436.50/436.78	c  436s |      18 |   534165 |   424852 |    13455     75 |        0 |        0
438.50/438.79	c  438s |      18 |   536597 |   426752 |    13455     75 |        0 |        0
440.59/440.83	c  440s |      18 |   538712 |   428452 |    13455     75 |        0 |        0
442.59/442.84	c  442s |      18 |   540700 |   430052 |    13455     75 |        0 |        0
444.59/444.89	c  444s |      18 |   542704 |   431652 |    13455     76 |        0 |        0
446.69/446.93	c  446s |      18 |   545090 |   433552 |    13455     76 |        0 |        0
448.69/448.95	c  448s |      18 |   547260 |   435252 |    13455     76 |        0 |        0
450.79/451.07	c  450s |      18 |   549569 |   437052 |    13455     76 |        0 |        0
452.88/453.11	c  453s |      18 |   551974 |   438852 |    13455     77 |        0 |        0
454.88/455.19	c  455s |      18 |   554297 |   440752 |    13455     77 |        0 |        0
456.98/457.25	c  457s |      18 |   556566 |   442552 |    14801     77 |        0 |        0
459.07/459.32	c  459s |      18 |   558727 |   444252 |    14801     77 |        0 |        0
459.37/459.63	c  459s |      19 |   559018 |   444482 |    14801     77 |        0 |        0
461.37/461.68	c  461s |      19 |   561109 |   446082 |    14801     78 |        0 |        0
463.47/463.76	c  463s |      19 |   563733 |   448182 |    14801     78 |        0 |        0
465.47/465.79	c  465s |      19 |   566041 |   449982 |    14801     78 |        0 |        0
467.57/467.83	c  467s |      19 |   568234 |   451682 |    14801     78 |        0 |        0
469.66/469.94	c  469s |      19 |   570232 |   453282 |    14801     79 |        0 |        0
471.77/472.02	c  471s |      19 |   572610 |   455182 |    14801     79 |        0 |        0
473.76/474.07	c  473s |      19 |   574877 |   456982 |    14801     79 |        0 |        0
475.86/476.12	c  476s |      19 |   576888 |   458582 |    14801     79 |        0 |        0
477.86/478.16	c  478s |      19 |   578977 |   460182 |    14801     79 |        0 |        0
479.95/480.22	c  480s |      19 |   581255 |   461982 |    14801     80 |        0 |        0
481.95/482.24	c  482s |      19 |   583444 |   463782 |    14801     80 |        0 |        0
484.05/484.37	c  484s |      19 |   585763 |   465582 |    14801     80 |        0 |        0
486.15/486.48	c  486s |      19 |   587750 |   467182 |    14801     80 |        0 |        0
488.26/488.51	c  488s |      19 |   589470 |   468582 |    14801     81 |        0 |        0
490.24/490.59	c  490s |      19 |   591697 |   470382 |    14801     81 |        0 |        0
492.44/492.73	c  492s |      19 |   593768 |   472082 |    14801     81 |        0 |        0
494.54/494.85	c  494s |      19 |   595861 |   473782 |    14801     81 |        0 |        0
496.64/496.98	c  496s |      19 |   597861 |   475382 |    14801     81 |        0 |        0
498.74/499.06	c  498s |      19 |   600272 |   477282 |    14801     82 |        0 |        0
500.73/501.06	c  500s |      19 |   602732 |   479182 |    14801     82 |        0 |        0
502.84/503.15	c  503s |      19 |   604877 |   480882 |    14801     82 |        0 |        0
504.94/505.24	c  505s |      19 |   607214 |   482682 |    14801     82 |        0 |        0
507.04/507.31	c  507s |      19 |   609296 |   484382 |    14801     83 |        0 |        0
509.05/509.35	c  509s |      19 |   611708 |   486282 |    14801     83 |        0 |        0
511.14/511.44	c  511s |      19 |   614011 |   488082 |    14801     83 |        0 |        0
513.24/513.55	c  513s |      19 |   616175 |   489782 |    14801     83 |        0 |        0
515.23/515.56	c  515s |      19 |   618182 |   491382 |    14801     84 |        0 |        0
517.33/517.66	c  517s |      19 |   620739 |   493382 |    14801     84 |        0 |        0
519.43/519.72	c  519s |      19 |   623250 |   495282 |    14801     84 |        0 |        0
521.43/521.76	c  521s |      19 |   625338 |   496982 |    14801     84 |        0 |        0
523.43/523.78	c  523s |      19 |   627411 |   498582 |    14801     85 |        0 |        0
525.53/525.85	c  525s |      19 |   629720 |   500382 |    14801     85 |        0 |        0
527.63/527.91	c  527s |      19 |   631876 |   502082 |    14801     85 |        0 |        0
529.62/529.99	c  529s |      19 |   634112 |   503882 |    14801     85 |        0 |        0
531.72/532.08	c  531s |      19 |   636272 |   505582 |    14801     85 |        0 |        0
533.82/534.14	c  534s |      19 |   638405 |   507282 |    14801     86 |        0 |        0
535.92/536.29	c  536s |      19 |   640632 |   509082 |    14801     86 |        0 |        0
538.02/538.39	c  538s |      19 |   642606 |   510682 |    14801     86 |        0 |        0
540.11/540.47	c  540s |      19 |   644583 |   512282 |    14801     86 |        0 |        0
542.12/542.49	c  542s |      19 |   646459 |   513782 |    14801     87 |        0 |        0
544.22/544.57	c  544s |      19 |   648868 |   515682 |    14801     87 |        0 |        0
546.31/546.66	c  546s |      19 |   651092 |   517482 |    14801     87 |        0 |        0
548.41/548.73	c  548s |      19 |   653075 |   519082 |    14801     87 |        0 |        0
550.40/550.74	c  550s |      19 |   654988 |   520582 |    14801     87 |        0 |        0
552.40/552.77	c  552s |      19 |   657115 |   522282 |    14801     88 |        0 |        0
554.50/554.83	c  554s |      19 |   659307 |   524082 |    14801     88 |        0 |        0
556.50/556.84	c  556s |      19 |   661292 |   525682 |    14801     88 |        0 |        0
558.51/558.88	c  558s |      19 |   663540 |   527382 |    14801     88 |        0 |        0
560.60/560.92	c  560s |      19 |   665731 |   529082 |    14801     89 |        0 |        0
562.70/563.01	c  562s |      19 |   668275 |   531182 |    14801     89 |        0 |        0
564.70/565.09	c  564s |      19 |   670520 |   532982 |    14801     89 |        0 |        0
566.80/567.16	c  567s |      19 |   672850 |   534782 |    14801     89 |        0 |        0
568.90/569.23	c  569s |      19 |   675039 |   536482 |    14801     90 |        0 |        0
570.89/571.28	c  571s |      19 |   677315 |   538282 |    14801     90 |        0 |        0
572.99/573.34	c  573s |      19 |   679423 |   539982 |    14801     90 |        0 |        0
575.10/575.43	c  575s |      19 |   681460 |   541582 |    14801     90 |        0 |        0
577.20/577.55	c  577s |      19 |   683244 |   542982 |    14801     90 |        0 |        0
579.19/579.56	c  579s |      19 |   685223 |   544582 |    14801     91 |        0 |        0
581.18/581.58	c  581s |      19 |   687398 |   546282 |    14801     91 |        0 |        0
583.29/583.67	c  583s |      19 |   689414 |   547882 |    14801     91 |        0 |        0
585.49/585.81	c  585s |      19 |   691394 |   549482 |    14801     91 |        0 |        0
587.49/587.89	c  587s |      19 |   693288 |   550882 |    14801     92 |        0 |        0
589.59/589.90	c  589s |      19 |   695677 |   552782 |    14801     92 |        0 |        0
591.59/591.91	c  591s |      19 |   697792 |   554482 |    14801     92 |        0 |        0
593.58/593.91	c  593s |      19 |   699808 |   556082 |    14801     92 |        0 |        0
595.68/596.07	c  595s |      19 |   701806 |   557682 |    14801     92 |        0 |        0
597.78/598.12	c  598s |      19 |   703963 |   559382 |    14801     93 |        0 |        0
599.78/600.16	c  600s |      19 |   706268 |   561282 |    14801     93 |        0 |        0
601.88/602.21	c  602s |      19 |   708530 |   563082 |    14801     93 |        0 |        0
603.88/604.29	c  604s |      19 |   710658 |   564782 |    14801     93 |        0 |        0
605.98/606.39	c  606s |      19 |   712609 |   566382 |    14801     94 |        0 |        0
608.08/608.50	c  608s |      19 |   714875 |   568182 |    14801     94 |        0 |        0
610.18/610.51	c  610s |      19 |   716948 |   569882 |    14801     94 |        0 |        0
612.27/612.63	c  612s |      19 |   719077 |   571582 |    14801     94 |        0 |        0
614.27/614.66	c  614s |      19 |   720915 |   573082 |    14801     94 |        0 |        0
616.37/616.72	c  616s |      19 |   723233 |   574882 |    14801     95 |        0 |        0
618.37/618.74	c  618s |      19 |   725517 |   576682 |    14801     95 |        0 |        0
620.46/620.84	c  620s |      19 |   727498 |   578282 |    14801     95 |        0 |        0
622.66/623.00	c  622s |      19 |   729468 |   579882 |    14801     95 |        0 |        0
624.66/625.01	c  624s |      19 |   731271 |   581282 |    14801     96 |        0 |        0
626.66/627.06	c  626s |      19 |   733553 |   583082 |    14801     96 |        0 |        0
628.66/629.07	c  628s |      19 |   735712 |   584782 |    14801     96 |        0 |        0
630.65/631.09	c  630s |      19 |   737723 |   586382 |    14801     96 |        0 |        0
632.75/633.17	c  633s |      19 |   739726 |   587982 |    14801     96 |        0 |        0
634.85/635.20	c  635s |      19 |   741830 |   589582 |    14801     97 |        0 |        0
636.85/637.25	c  637s |      19 |   744085 |   591382 |    14801     97 |        0 |        0
638.95/639.33	c  639s |      19 |   746335 |   593182 |    14801     97 |        0 |        0
640.95/641.37	c  641s |      19 |   748350 |   594782 |    14801     97 |        0 |        0
643.04/643.46	c  643s |      19 |   750301 |   596282 |    14801     98 |        0 |        0
645.14/645.58	c  645s |      19 |   752878 |   598282 |    14801     98 |        0 |        0
647.24/647.60	c  647s |      19 |   755011 |   599982 |    14801     98 |        0 |        0
649.34/649.73	c  649s |      19 |   756944 |   601582 |    14801     98 |        0 |        0
651.45/651.83	c  651s |      19 |   758779 |   603082 |    14801     98 |        0 |        0
653.55/653.91	c  653s |      19 |   761090 |   604882 |    14801     99 |        0 |        0
655.55/655.98	c  655s |      19 |   763482 |   606782 |    14801     99 |        0 |        0
657.55/657.98	c  657s |      19 |   765608 |   608482 |    14801     99 |        0 |        0
659.75/660.11	c  659s |      19 |   767410 |   609982 |    14801     99 |        0 |        0
661.74/662.14	c  662s |      19 |   769572 |   611682 |    14801    100 |        0 |        0
663.74/664.17	c  664s |      19 |   771951 |   613582 |    14801    100 |        0 |        0
665.84/666.20	c  666s |      19 |   774059 |   615282 |    14801    100 |        0 |        0
667.94/668.32	c  668s |      19 |   776093 |   616882 |    14801    100 |        0 |        0
670.03/670.45	c  670s |      19 |   777870 |   618282 |    14801    100 |        0 |        0
672.13/672.55	c  672s |      19 |   779867 |   619882 |    14801    101 |        0 |        0
674.23/674.65	c  674s |      19 |   782533 |   621882 |    14801    101 |        0 |        0
676.33/676.70	c  676s |      19 |   784871 |   623682 |    14801    101 |        0 |        0
678.34/678.76	c  678s |      19 |   786925 |   625282 |    14801    101 |        0 |        0
680.42/680.83	c  680s |      19 |   789069 |   626982 |    14801    102 |        0 |        0
682.42/682.85	c  682s |      19 |   791251 |   628682 |    14801    102 |        0 |        0
684.52/684.91	c  684s |      19 |   793419 |   630382 |    14801    102 |        0 |        0
686.52/686.94	c  686s |      19 |   795428 |   631982 |    14801    102 |        0 |        0
688.52/688.98	c  688s |      19 |   797255 |   633482 |    14801    103 |        0 |        0
690.62/691.07	c  690s |      19 |   799689 |   635382 |    14801    103 |        0 |        0
692.72/693.14	c  693s |      19 |   801876 |   637082 |    14801    103 |        0 |        0
694.82/695.25	c  695s |      19 |   804017 |   638782 |    14801    103 |        0 |        0
696.92/697.38	c  697s |      19 |   805924 |   640282 |    14801    103 |        0 |        0
699.01/699.46	c  699s |      19 |   807954 |   641882 |    14801    104 |        0 |        0
701.11/701.55	c  701s |      19 |   810203 |   643682 |    14801    104 |        0 |        0
703.11/703.58	c  703s |      19 |   812376 |   645382 |    14801    104 |        0 |        0
705.21/705.63	c  705s |      19 |   814396 |   646982 |    14801    104 |        0 |        0
707.30/707.73	c  707s |      19 |   816266 |   648482 |    14801    105 |        0 |        0
709.30/709.78	c  709s |      19 |   818659 |   650382 |    14801    105 |        0 |        0
711.40/711.89	c  711s |      19 |   820935 |   652182 |    14801    105 |        0 |        0
713.60/714.05	c  713s |      19 |   822964 |   653782 |    14801    105 |        0 |        0
715.70/716.15	c  716s |      19 |   824695 |   655182 |    14801    105 |        0 |        0
717.69/718.17	c  718s |      19 |   826533 |   656682 |    14801    106 |        0 |        0
719.79/720.21	c  720s |      19 |   828633 |   658382 |    14801    106 |        0 |        0
721.79/722.28	c  722s |      19 |   830635 |   659982 |    14801    106 |        0 |        0
723.89/724.30	c  724s |      19 |   832703 |   661582 |    14801    106 |        0 |        0
725.89/726.37	c  726s |      19 |   834606 |   663082 |    16282    106 |        0 |        0
727.99/728.40	c  728s |      19 |   836443 |   664482 |    16282    106 |        0 |        0
729.99/730.45	c  730s |      19 |   838488 |   666082 |    16282    107 |        0 |        0
730.88/731.30	c  731s |      20 |   839488 |   666827 |    16282    107 |        0 |        0
732.89/733.32	c  733s |      20 |   841694 |   668527 |    16282    107 |        0 |        0
734.89/735.36	c  735s |      20 |   843716 |   670127 |    16282    107 |        0 |        0
736.99/737.43	c  737s |      20 |   845620 |   671627 |    16282    107 |        0 |        0
738.98/739.48	c  739s |      20 |   847548 |   673127 |    16282    108 |        0 |        0
741.09/741.58	c  741s |      20 |   849772 |   674927 |    16282    108 |        0 |        0
743.19/743.66	c  743s |      20 |   851830 |   676627 |    16282    108 |        0 |        0
745.18/745.67	c  745s |      20 |   853718 |   678127 |    16282    108 |        0 |        0
747.28/747.77	c  747s |      20 |   855587 |   679627 |    16282    108 |        0 |        0
749.48/749.90	c  749s |      20 |   857425 |   681127 |    16282    108 |        0 |        0
751.47/751.96	c  751s |      20 |   859627 |   682827 |    16282    109 |        0 |        0
753.57/754.05	c  753s |      20 |   861769 |   684527 |    16282    109 |        0 |        0
755.67/756.10	c  755s |      20 |   863666 |   686027 |    16282    109 |        0 |        0
757.77/758.23	c  758s |      20 |   865349 |   687427 |    16282    109 |        0 |        0
759.77/760.25	c  760s |      20 |   866809 |   688627 |    16282    109 |        0 |        0
761.77/762.28	c  762s |      20 |   868147 |   689727 |    16282    110 |        0 |        0
763.77/764.29	c  764s |      20 |   870251 |   691427 |    16282    110 |        0 |        0
765.87/766.32	c  766s |      20 |   872052 |   692927 |    16282    110 |        0 |        0
767.97/768.41	c  768s |      20 |   874018 |   694527 |    16282    110 |        0 |        0
769.96/770.45	c  770s |      20 |   875703 |   695927 |    16282    110 |        0 |        0
771.96/772.48	c  772s |      20 |   877380 |   697327 |    16282    110 |        0 |        0
774.06/774.57	c  774s |      20 |   879570 |   699027 |    16282    111 |        0 |        0
776.16/776.66	c  776s |      20 |   881648 |   700727 |    16282    111 |        0 |        0
778.25/778.77	c  778s |      20 |   883824 |   702427 |    16282    111 |        0 |        0
780.35/780.87	c  780s |      20 |   885689 |   703927 |    16282    111 |        0 |        0
782.45/782.90	c  782s |      20 |   887473 |   705327 |    16282    111 |        0 |        0
784.45/784.94	c  784s |      20 |   889469 |   706927 |    16282    112 |        0 |        0
786.45/786.99	c  786s |      20 |   891620 |   708627 |    16282    112 |        0 |        0
788.55/789.03	c  788s |      20 |   893622 |   710227 |    16282    112 |        0 |        0
790.55/791.05	c  790s |      20 |   895476 |   711727 |    16282    112 |        0 |        0
792.65/793.17	c  793s |      20 |   897253 |   713127 |    16282    112 |        0 |        0
794.74/795.29	c  795s |      20 |   898994 |   714527 |    16282    113 |        0 |        0
796.84/797.36	c  797s |      20 |   901093 |   716227 |    16282    113 |        0 |        0
798.84/799.37	c  799s |      20 |   903043 |   717827 |    16282    113 |        0 |        0
800.93/801.40	c  801s |      20 |   904776 |   719227 |    16282    113 |        0 |        0
802.93/803.41	c  803s |      20 |   906518 |   720627 |    16282    113 |        0 |        0
804.93/805.43	c  805s |      20 |   908255 |   722027 |    16282    113 |        0 |        0
806.94/807.47	c  807s |      20 |   910179 |   723527 |    16282    114 |        0 |        0
809.03/809.53	c  809s |      20 |   912528 |   725327 |    16282    114 |        0 |        0
811.12/811.65	c  811s |      20 |   914574 |   726927 |    16282    114 |        0 |        0
813.22/813.72	c  813s |      20 |   916296 |   728327 |    16282    114 |        0 |        0
815.22/815.75	c  815s |      20 |   918018 |   729727 |    16282    114 |        0 |        0
817.32/817.80	c  817s |      20 |   919742 |   731127 |    16282    115 |        0 |        0
819.42/819.93	c  819s |      20 |   921850 |   732827 |    16282    115 |        0 |        0
821.52/822.06	c  821s |      20 |   923999 |   734527 |    16282    115 |        0 |        0
823.53/824.09	c  823s |      20 |   925740 |   735927 |    16282    115 |        0 |        0
825.63/826.13	c  826s |      20 |   927407 |   737227 |    16282    115 |        0 |        0
827.62/828.15	c  828s |      20 |   928991 |   738527 |    16282    115 |        0 |        0
829.71/830.24	c  830s |      20 |   930915 |   740027 |    16282    116 |        0 |        0
831.71/832.25	c  832s |      20 |   932955 |   741627 |    16282    116 |        0 |        0
833.71/834.28	c  834s |      20 |   934956 |   743227 |    16282    116 |        0 |        0
835.81/836.35	c  836s |      20 |   936987 |   744827 |    16282    116 |        0 |        0
837.82/838.38	c  838s |      20 |   938799 |   746227 |    16282    116 |        0 |        0
839.81/840.39	c  840s |      20 |   940585 |   747627 |    16282    117 |        0 |        0
842.01/842.52	c  842s |      20 |   942809 |   749427 |    16282    117 |        0 |        0
844.01/844.54	c  844s |      20 |   944712 |   750927 |    16282    117 |        0 |        0
846.01/846.59	c  846s |      20 |   946427 |   752327 |    16282    117 |        0 |        0
848.11/848.64	c  848s |      20 |   947927 |   753527 |    16282    117 |        0 |        0
850.21/850.71	c  850s |      20 |   949327 |   754627 |    16282    117 |        0 |        0
852.32/852.82	c  852s |      20 |   950737 |   755827 |    16282    118 |        0 |        0
854.33/854.86	c  854s |      20 |   952955 |   757627 |    16282    118 |        0 |        0
856.32/856.88	c  856s |      20 |   954749 |   759127 |    16282    118 |        0 |        0
858.42/858.90	c  858s |      20 |   956562 |   760627 |    16282    118 |        0 |        0
860.52/861.05	c  860s |      20 |   958241 |   762027 |    16282    118 |        0 |        0
862.62/863.14	c  863s |      20 |   959875 |   763327 |    16282    118 |        0 |        0
864.62/865.15	c  865s |      20 |   961637 |   764727 |    16282    119 |        0 |        0
866.72/867.26	c  867s |      20 |   963873 |   766527 |    16282    119 |        0 |        0
868.72/869.28	c  869s |      20 |   965877 |   768127 |    16282    119 |        0 |        0
870.82/871.39	c  871s |      20 |   967754 |   769627 |    16282    119 |        0 |        0
873.02/873.51	c  873s |      20 |   969383 |   770927 |    16282    119 |        0 |        0
875.02/875.54	c  875s |      20 |   970713 |   772027 |    16282    120 |        0 |        0
877.01/877.57	c  877s |      20 |   972839 |   773727 |    16282    120 |        0 |        0
879.01/879.57	c  879s |      20 |   974869 |   775327 |    16282    120 |        0 |        0
881.11/881.69	c  881s |      20 |   976914 |   776927 |    16282    120 |        0 |        0
883.21/883.78	c  883s |      20 |   978668 |   778327 |    16282    120 |        0 |        0
885.41/885.90	c  885s |      20 |   980443 |   779727 |    16282    120 |        0 |        0
887.41/887.98	c  887s |      20 |   982285 |   781227 |    16282    121 |        0 |        0
889.52/890.09	c  889s |      20 |   984427 |   782927 |    16282    121 |        0 |        0
891.62/892.15	c  892s |      20 |   986416 |   784527 |    16282    121 |        0 |        0
893.71/894.20	c  894s |      20 |   988230 |   785927 |    16282    121 |        0 |        0
895.81/896.38	c  896s |      20 |   989684 |   787127 |    16282    121 |        0 |        0
897.81/898.40	c  898s |      20 |   991037 |   788227 |    16282    121 |        0 |        0
899.91/900.49	c  900s |      20 |   992974 |   789827 |    16282    122 |        0 |        0
902.01/902.59	c  902s |      20 |   995059 |   791527 |    16282    122 |        0 |        0
904.21/904.70	c  904s |      20 |   997010 |   793127 |    16282    122 |        0 |        0
906.31/906.86	c  906s |      20 |   998839 |   794627 |    16282    122 |        0 |        0
908.41/908.92	c  908s |      20 |  1000445 |   795927 |    16282    122 |        0 |        0
910.41/910.99	c  910s |      20 |  1002327 |   797427 |    16282    123 |        0 |        0
912.51/913.04	c  912s |      20 |  1004440 |   799127 |    16282    123 |        0 |        0
914.61/915.19	c  915s |      20 |  1006354 |   800627 |    16282    123 |        0 |        0
916.70/917.25	c  917s |      20 |  1008202 |   802127 |    16282    123 |        0 |        0
918.80/919.37	c  919s |      20 |  1010000 |   803527 |    16282    123 |        0 |        0
920.90/921.45	c  921s |      20 |  1011573 |   804827 |    16282    123 |        0 |        0
923.00/923.55	c  923s |      20 |  1013757 |   806527 |    16282    124 |        0 |        0
925.00/925.56	c  925s |      20 |  1015745 |   808127 |    16282    124 |        0 |        0
927.10/927.64	c  927s |      20 |  1017898 |   809827 |    16282    124 |        0 |        0
929.20/929.78	c  929s |      20 |  1019782 |   811327 |    16282    124 |        0 |        0
931.31/931.84	c  931s |      20 |  1021329 |   812627 |    16282    124 |        0 |        0
933.41/933.93	c  933s |      20 |  1023276 |   814127 |    16282    125 |        0 |        0
935.50/936.01	c  935s |      20 |  1025410 |   815827 |    16282    125 |        0 |        0
937.50/938.04	c  937s |      20 |  1027213 |   817327 |    16282    125 |        0 |        0
939.60/940.10	c  939s |      20 |  1028836 |   818627 |    16282    125 |        0 |        0
941.70/942.27	c  942s |      20 |  1030404 |   819927 |    16282    125 |        0 |        0
943.80/944.34	c  944s |      20 |  1032153 |   821327 |    16282    125 |        0 |        0
945.90/946.46	c  946s |      20 |  1034127 |   822927 |    16282    126 |        0 |        0
948.00/948.51	c  948s |      20 |  1036114 |   824527 |    16282    126 |        0 |        0
950.10/950.61	c  950s |      20 |  1038104 |   826127 |    16282    126 |        0 |        0
952.11/952.65	c  952s |      20 |  1039826 |   827527 |    16282    126 |        0 |        0
954.10/954.69	c  954s |      20 |  1041414 |   828827 |    16282    126 |        0 |        0
956.10/956.69	c  956s |      20 |  1042922 |   830027 |    16282    127 |        0 |        0
958.20/958.77	c  958s |      20 |  1045068 |   831727 |    16282    127 |        0 |        0
960.40/960.92	c  960s |      20 |  1047060 |   833327 |    16282    127 |        0 |        0
962.40/962.96	c  962s |      20 |  1049027 |   834827 |    16282    127 |        0 |        0
964.50/965.03	c  964s |      20 |  1050828 |   836227 |    16282    127 |        0 |        0
966.51/967.08	c  966s |      20 |  1052473 |   837527 |    16282    127 |        0 |        0
968.50/969.09	c  968s |      20 |  1054265 |   838927 |    16282    128 |        0 |        0
970.60/971.13	c  971s |      20 |  1056243 |   840527 |    16282    128 |        0 |        0
972.70/973.27	c  973s |      20 |  1058103 |   842027 |    16282    128 |        0 |        0
974.80/975.36	c  975s |      20 |  1059906 |   843427 |    16282    128 |        0 |        0
977.00/977.50	c  977s |      20 |  1061657 |   844827 |    16282    128 |        0 |        0
979.00/979.56	c  979s |      20 |  1063275 |   846127 |    16282    129 |        0 |        0
981.00/981.57	c  981s |      20 |  1065527 |   847927 |    16282    129 |        0 |        0
983.10/983.61	c  983s |      20 |  1067510 |   849527 |    16282    129 |        0 |        0
985.20/985.72	c  985s |      20 |  1069406 |   851027 |    16282    129 |        0 |        0
987.20/987.75	c  987s |      20 |  1071131 |   852427 |    16282    129 |        0 |        0
989.19/989.77	c  989s |      20 |  1072775 |   853727 |    16282    129 |        0 |        0
991.29/991.88	c  991s |      20 |  1074646 |   855227 |    16282    130 |        0 |        0
993.39/993.99	c  993s |      20 |  1076803 |   856927 |    16282    130 |        0 |        0
995.49/996.01	c  995s |      20 |  1078738 |   858427 |    16282    130 |        0 |        0
997.49/998.06	c  997s |      20 |  1080471 |   859827 |    16282    130 |        0 |        0
999.69/1000.20	c 1000s |      20 |  1082246 |   861227 |    16282    130 |        0 |        0
1001.70/1002.21	c 1002s |      20 |  1083902 |   862527 |    16282    130 |        0 |        0
1003.69/1004.29	c 1004s |      20 |  1086043 |   864227 |    16282    131 |        0 |        0
1005.79/1006.31	c 1006s |      20 |  1087908 |   865727 |    16282    131 |        0 |        0
1007.79/1008.33	c 1008s |      20 |  1089856 |   867227 |    16282    131 |        0 |        0
1009.89/1010.46	c 1010s |      20 |  1091608 |   868627 |    16282    131 |        0 |        0
1011.99/1012.52	c 1012s |      20 |  1093350 |   870027 |    16282    131 |        0 |        0
1013.99/1014.54	c 1014s |      20 |  1094984 |   871327 |    16282    132 |        0 |        0
1016.00/1016.55	c 1016s |      20 |  1096977 |   872927 |    16282    132 |        0 |        0
1018.10/1018.67	c 1018s |      20 |  1098994 |   874527 |    16282    132 |        0 |        0
1020.19/1020.74	c 1020s |      20 |  1100869 |   876027 |    16282    132 |        0 |        0
1022.29/1022.85	c 1022s |      20 |  1102627 |   877427 |    16282    132 |        0 |        0
1024.39/1024.94	c 1024s |      20 |  1104399 |   878827 |    16282    132 |        0 |        0
1026.49/1027.03	c 1026s |      20 |  1106398 |   880427 |    16282    133 |        0 |        0
1028.59/1029.18	c 1029s |      20 |  1108505 |   882127 |    16282    133 |        0 |        0
1030.69/1031.29	c 1031s |      20 |  1110333 |   883627 |    16282    133 |        0 |        0
1032.79/1033.30	c 1033s |      20 |  1111986 |   884927 |    16282    133 |        0 |        0
1034.89/1035.45	c 1035s |      20 |  1113725 |   886327 |    16282    133 |        0 |        0
1036.99/1037.54	c 1037s |      20 |  1115491 |   887727 |    16282    134 |        0 |        0
1038.99/1039.54	c 1039s |      20 |  1117591 |   889427 |    16282    134 |        0 |        0
1040.98/1041.56	c 1041s |      20 |  1119589 |   891027 |    16282    134 |        0 |        0
1043.08/1043.61	c 1043s |      20 |  1121323 |   892427 |    16282    134 |        0 |        0
1045.18/1045.70	c 1045s |      20 |  1123112 |   893827 |    16282    134 |        0 |        0
1047.18/1047.76	c 1047s |      20 |  1124929 |   895227 |    16282    134 |        0 |        0
1049.28/1049.82	c 1049s |      20 |  1126769 |   896727 |    16282    135 |        0 |        0
1051.28/1051.83	c 1051s |      20 |  1128748 |   898327 |    16282    135 |        0 |        0
1053.29/1053.87	c 1053s |      20 |  1130785 |   899927 |    16282    135 |        0 |        0
1055.38/1055.94	c 1055s |      20 |  1132669 |   901427 |    16282    135 |        0 |        0
1057.38/1057.96	c 1057s |      20 |  1134584 |   902927 |    16282    135 |        0 |        0
1059.48/1060.05	c 1059s |      20 |  1136441 |   904427 |    16282    136 |        0 |        0
1061.48/1062.08	c 1061s |      20 |  1138429 |   906027 |    16282    136 |        0 |        0
1063.58/1064.20	c 1064s |      20 |  1140358 |   907627 |    16282    136 |        0 |        0
1065.68/1066.21	c 1066s |      20 |  1142096 |   909027 |    16282    136 |        0 |        0
1067.78/1068.34	c 1068s |      20 |  1143981 |   910527 |    16282    136 |        0 |        0
1069.89/1070.44	c 1070s |      20 |  1145612 |   911827 |    16282    136 |        0 |        0
1071.88/1072.45	c 1072s |      20 |  1147600 |   913427 |    16282    137 |        0 |        0
1074.08/1074.64	c 1074s |      20 |  1149535 |   915027 |    16282    137 |        0 |        0
1076.18/1076.79	c 1076s |      20 |  1151443 |   916527 |    16282    137 |        0 |        0
1078.38/1078.94	c 1078s |      20 |  1153087 |   917827 |    16282    137 |        0 |        0
1080.48/1081.00	c 1080s |      20 |  1154640 |   919127 |    16282    137 |        0 |        0
1082.48/1083.03	c 1082s |      20 |  1156116 |   920327 |    16282    138 |        0 |        0
1084.58/1085.11	c 1084s |      20 |  1158363 |   922127 |    16282    138 |        0 |        0
1086.58/1087.19	c 1087s |      20 |  1160326 |   923727 |    16282    138 |        0 |        0
1088.78/1089.30	c 1089s |      20 |  1162205 |   925227 |    16282    138 |        0 |        0
1090.88/1091.44	c 1091s |      20 |  1163975 |   926627 |    16282    138 |        0 |        0
1092.99/1093.50	c 1093s |      20 |  1165583 |   927927 |    16282    138 |        0 |        0
1095.09/1095.62	c 1095s |      20 |  1167468 |   929427 |    16282    139 |        0 |        0
1097.08/1097.65	c 1097s |      20 |  1169584 |   931127 |    16282    139 |        0 |        0
1099.08/1099.66	c 1099s |      20 |  1171392 |   932627 |    16282    139 |        0 |        0
1101.18/1101.72	c 1101s |      20 |  1173113 |   934027 |    16282    139 |        0 |        0
1103.28/1103.82	c 1103s |      20 |  1174850 |   935427 |    16282    139 |        0 |        0
1105.48/1106.06	c 1105s |      20 |  1176412 |   936727 |    16282    140 |        0 |        0
1107.68/1108.21	c 1108s |      20 |  1178524 |   938427 |    16282    140 |        0 |        0
1109.78/1110.30	c 1110s |      20 |  1180673 |   940127 |    16282    140 |        0 |        0
1111.78/1112.32	c 1112s |      20 |  1182536 |   941627 |    16282    140 |        0 |        0
1113.78/1114.36	c 1114s |      20 |  1184297 |   943027 |    16282    140 |        0 |        0
1115.87/1116.48	c 1116s |      20 |  1186034 |   944427 |    16282    140 |        0 |        0
1117.97/1118.52	c 1118s |      20 |  1187996 |   946027 |    16282    141 |        0 |        0
1119.97/1120.59	c 1120s |      20 |  1190159 |   947727 |    16282    141 |        0 |        0
1122.17/1122.72	c 1122s |      20 |  1192140 |   949327 |    16282    141 |        0 |        0
1124.27/1124.83	c 1124s |      20 |  1194169 |   950927 |    16282    141 |        0 |        0
1126.27/1126.86	c 1126s |      20 |  1195941 |   952327 |    16282    141 |        0 |        0
1128.37/1128.99	c 1128s |      20 |  1197772 |   953827 |    16282    142 |        0 |        0
1130.47/1131.10	c 1130s |      20 |  1199715 |   955427 |    16282    142 |        0 |        0
1132.58/1133.18	c 1133s |      20 |  1201772 |   957027 |    16282    142 |        0 |        0
1134.68/1135.23	c 1135s |      20 |  1203521 |   958427 |    16282    142 |        0 |        0
1136.67/1137.28	c 1137s |      20 |  1205291 |   959827 |    16282    142 |        0 |        0
1138.77/1139.34	c 1139s |      20 |  1206898 |   961127 |    16282    142 |        0 |        0
1140.77/1141.37	c 1141s |      20 |  1208939 |   962727 |    16282    143 |        0 |        0
1142.87/1143.46	c 1143s |      20 |  1211061 |   964427 |    16282    143 |        0 |        0
1144.97/1145.53	c 1145s |      20 |  1212938 |   965927 |    16282    143 |        0 |        0
1147.07/1147.65	c 1147s |      20 |  1214726 |   967327 |    16282    143 |        0 |        0
1149.17/1149.70	c 1149s |      20 |  1216426 |   968627 |    16282    143 |        0 |        0
1151.17/1151.75	c 1151s |      20 |  1218041 |   969927 |    16282    144 |        0 |        0
1153.17/1153.77	c 1153s |      20 |  1220241 |   971627 |    16282    144 |        0 |        0
1155.27/1155.89	c 1155s |      20 |  1222110 |   973127 |    16282    144 |        0 |        0
1157.37/1157.94	c 1157s |      20 |  1223918 |   974527 |    16282    144 |        0 |        0
1159.46/1160.05	c 1159s |      20 |  1225627 |   975927 |    16282    144 |        0 |        0
1161.46/1162.08	c 1161s |      20 |  1227205 |   977227 |    16282    144 |        0 |        0
1163.56/1164.11	c 1163s |      20 |  1228962 |   978627 |    16282    145 |        0 |        0
1165.57/1166.14	c 1166s |      20 |  1230931 |   980227 |    16282    145 |        0 |        0
1167.67/1168.27	c 1168s |      20 |  1232707 |   981627 |    16282    145 |        0 |        0
1169.87/1170.41	c 1170s |      20 |  1234614 |   983127 |    16282    145 |        0 |        0
1171.86/1172.43	c 1172s |      20 |  1236535 |   984627 |    16282    145 |        0 |        0
1173.86/1174.46	c 1174s |      20 |  1238330 |   986027 |    16282    145 |        0 |        0
1175.97/1176.56	c 1176s |      20 |  1240205 |   987527 |    16282    146 |        0 |        0
1177.97/1178.56	c 1178s |      20 |  1242072 |   989027 |    16282    146 |        0 |        0
1180.07/1180.63	c 1180s |      20 |  1243902 |   990527 |    16282    146 |        0 |        0
1182.08/1182.66	c 1182s |      20 |  1245597 |   991927 |    16282    146 |        0 |        0
1184.28/1184.82	c 1184s |      20 |  1247349 |   993327 |    17911    146 |        0 |        0
1186.27/1186.83	c 1186s |      20 |  1248814 |   994527 |    17911    146 |        0 |        0
1188.27/1188.87	c 1188s |      20 |  1250322 |   995727 |    17911    146 |        0 |        0
1190.37/1190.94	c 1190s |      20 |  1252032 |   997127 |    17911    147 |        0 |        0
1192.47/1193.04	c 1192s |      20 |  1253836 |   998627 |    17911    147 |        0 |        0
1194.57/1195.16	c 1195s |      20 |  1255716 |  1000127 |    17911    147 |        0 |        0
1194.87/1195.47	c 1195s |      21 |  1255976 |  1000345 |    17911    147 |        0 |        0
1196.87/1197.50	c 1197s |      21 |  1257891 |  1001845 |    17911    147 |        0 |        0
1198.97/1199.54	c 1199s |      21 |  1259769 |  1003345 |    17911    147 |        0 |        0
1201.06/1201.61	c 1201s |      21 |  1261490 |  1004745 |    17911    147 |        0 |        0
1203.06/1203.62	c 1203s |      21 |  1263325 |  1006245 |    17911    148 |        0 |        0
1205.07/1205.64	c 1205s |      21 |  1265311 |  1007845 |    17911    148 |        0 |        0
1207.16/1207.79	c 1207s |      21 |  1267333 |  1009445 |    17911    148 |        0 |        0
1209.26/1209.87	c 1209s |      21 |  1269240 |  1010945 |    17911    148 |        0 |        0
1211.36/1211.91	c 1211s |      21 |  1270969 |  1012345 |    17911    148 |        0 |        0
1213.36/1213.96	c 1213s |      21 |  1272555 |  1013645 |    17911    148 |        0 |        0
1215.46/1216.06	c 1215s |      21 |  1274017 |  1014845 |    17911    149 |        0 |        0
1217.46/1218.06	c 1217s |      21 |  1275869 |  1016345 |    17911    149 |        0 |        0
1219.56/1220.13	c 1220s |      21 |  1277745 |  1017845 |    17911    149 |        0 |        0
1221.57/1222.13	c 1222s |      21 |  1279516 |  1019245 |    17911    149 |        0 |        0
1223.66/1224.23	c 1224s |      21 |  1281318 |  1020645 |    17911    149 |        0 |        0
1225.76/1226.31	c 1226s |      21 |  1282926 |  1021945 |    17911    149 |        0 |        0
1227.86/1228.50	c 1228s |      21 |  1284372 |  1023145 |    17911    150 |        0 |        0
1229.96/1230.54	c 1230s |      21 |  1286483 |  1024845 |    17911    150 |        0 |        0
1231.96/1232.55	c 1232s |      21 |  1288253 |  1026345 |    17911    150 |        0 |        0
1233.96/1234.56	c 1234s |      21 |  1290056 |  1027845 |    17911    150 |        0 |        0
1235.97/1236.57	c 1236s |      21 |  1291675 |  1029145 |    17911    150 |        0 |        0
1237.96/1238.59	c 1238s |      21 |  1293322 |  1030445 |    17911    150 |        0 |        0
1240.06/1240.68	c 1240s |      21 |  1295065 |  1031845 |    17911    150 |        0 |        0
1242.16/1242.76	c 1242s |      21 |  1296942 |  1033345 |    17911    151 |        0 |        0
1244.26/1244.85	c 1244s |      21 |  1298895 |  1034945 |    17911    151 |        0 |        0
1246.36/1246.94	c 1246s |      21 |  1300753 |  1036445 |    17911    151 |        0 |        0
1248.36/1248.99	c 1248s |      21 |  1302711 |  1037945 |    17911    151 |        0 |        0
1250.45/1251.08	c 1250s |      21 |  1304300 |  1039245 |    17911    151 |        0 |        0
1252.46/1253.08	c 1252s |      21 |  1305645 |  1040345 |    17911    151 |        0 |        0
1254.56/1255.12	c 1255s |      21 |  1307114 |  1041545 |    17911    152 |        0 |        0
1256.55/1257.16	c 1257s |      21 |  1308905 |  1043045 |    17911    152 |        0 |        0
1258.65/1259.24	c 1259s |      21 |  1310644 |  1044445 |    17911    152 |        0 |        0
1260.85/1261.42	c 1261s |      21 |  1312420 |  1045845 |    17911    152 |        0 |        0
1262.85/1263.46	c 1263s |      21 |  1314095 |  1047145 |    17911    152 |        0 |        0
1264.95/1265.53	c 1265s |      21 |  1315929 |  1048545 |    17911    152 |        0 |        0
1266.95/1267.54	c 1267s |      21 |  1317468 |  1049745 |    17911    152 |        0 |        0
1268.96/1269.57	c 1269s |      21 |  1319075 |  1051045 |    17911    153 |        0 |        0
1270.95/1271.58	c 1271s |      21 |  1321101 |  1052645 |    17911    153 |        0 |        0
1273.05/1273.63	c 1273s |      21 |  1322995 |  1054145 |    17911    153 |        0 |        0
1275.15/1275.74	c 1275s |      21 |  1324914 |  1055645 |    17911    153 |        0 |        0
1277.25/1277.85	c 1277s |      21 |  1326830 |  1057145 |    17911    153 |        0 |        0
1279.35/1279.95	c 1279s |      21 |  1328471 |  1058445 |    17911    153 |        0 |        0
1281.45/1282.01	c 1281s |      21 |  1329959 |  1059645 |    17911    154 |        0 |        0
1283.45/1284.09	c 1283s |      21 |  1331899 |  1061245 |    17911    154 |        0 |        0
1285.55/1286.15	c 1286s |      21 |  1333588 |  1062645 |    17911    154 |        0 |        0
1287.55/1288.18	c 1288s |      21 |  1335192 |  1063945 |    17911    154 |        0 |        0
1289.54/1290.19	c 1290s |      21 |  1336985 |  1065345 |    17911    154 |        0 |        0
1291.74/1292.36	c 1292s |      21 |  1338474 |  1066545 |    17911    154 |        0 |        0
1293.84/1294.48	c 1294s |      21 |  1339954 |  1067745 |    17911    154 |        0 |        0
1295.94/1296.51	c 1296s |      21 |  1341537 |  1069045 |    17911    155 |        0 |        0
1298.04/1298.62	c 1298s |      21 |  1343517 |  1070645 |    17911    155 |        0 |        0
1300.14/1300.78	c 1300s |      21 |  1345565 |  1072245 |    17911    155 |        0 |        0
1302.25/1302.83	c 1302s |      21 |  1347227 |  1073545 |    17911    155 |        0 |        0
1304.35/1304.92	c 1304s |      21 |  1349116 |  1074945 |    17911    155 |        0 |        0
1306.36/1306.96	c 1306s |      21 |  1350734 |  1076245 |    17911    155 |        0 |        0
1308.46/1309.05	c 1308s |      21 |  1352277 |  1077445 |    17911    156 |        0 |        0
1310.45/1311.09	c 1310s |      21 |  1354325 |  1079045 |    17911    156 |        0 |        0
1312.45/1313.09	c 1312s |      21 |  1356163 |  1080545 |    17911    156 |        0 |        0
1314.55/1315.13	c 1315s |      21 |  1358074 |  1082045 |    17911    156 |        0 |        0
1316.65/1317.22	c 1317s |      21 |  1359803 |  1083445 |    17911    156 |        0 |        0
1318.75/1319.39	c 1319s |      21 |  1361446 |  1084745 |    17911    156 |        0 |        0
1320.95/1321.51	c 1321s |      21 |  1362982 |  1085945 |    17911    156 |        0 |        0
1322.95/1323.60	c 1323s |      21 |  1364777 |  1087345 |    17911    157 |        0 |        0
1325.05/1325.63	c 1325s |      21 |  1366677 |  1088845 |    17911    157 |        0 |        0
1327.25/1327.80	c 1327s |      21 |  1368607 |  1090345 |    17911    157 |        0 |        0
1329.25/1329.81	c 1329s |      21 |  1370253 |  1091645 |    17911    157 |        0 |        0
1331.25/1331.89	c 1331s |      21 |  1371872 |  1092945 |    17911    157 |        0 |        0
1333.35/1333.94	c 1333s |      21 |  1373440 |  1094145 |    17911    157 |        0 |        0
1335.45/1336.05	c 1335s |      21 |  1374793 |  1095245 |    17911    157 |        0 |        0
1337.45/1338.06	c 1337s |      21 |  1376543 |  1096645 |    17911    158 |        0 |        0
1339.54/1340.14	c 1340s |      21 |  1378523 |  1098245 |    17911    158 |        0 |        0
1341.55/1342.18	c 1342s |      21 |  1380419 |  1099745 |    17911    158 |        0 |        0
1343.75/1344.32	c 1344s |      21 |  1382335 |  1101245 |    17911    158 |        0 |        0
1345.85/1346.44	c 1346s |      21 |  1384038 |  1102545 |    17911    158 |        0 |        0
1347.94/1348.59	c 1348s |      21 |  1385602 |  1103745 |    17911    158 |        0 |        0
1350.04/1350.65	c 1350s |      21 |  1387344 |  1105145 |    17911    159 |        0 |        0
1352.14/1352.79	c 1352s |      21 |  1389292 |  1106645 |    17911    159 |        0 |        0
1354.24/1354.83	c 1354s |      21 |  1391184 |  1108145 |    17911    159 |        0 |        0
1356.24/1356.86	c 1356s |      21 |  1392900 |  1109545 |    17911    159 |        0 |        0
1358.34/1358.96	c 1358s |      21 |  1394714 |  1110945 |    17911    159 |        0 |        0
1360.54/1361.14	c 1361s |      21 |  1396347 |  1112245 |    17911    159 |        0 |        0
1362.54/1363.16	c 1363s |      21 |  1397588 |  1113245 |    17911    159 |        0 |        0
1364.65/1365.23	c 1365s |      21 |  1399232 |  1114545 |    17911    160 |        0 |        0
1366.75/1367.35	c 1367s |      21 |  1401176 |  1116045 |    17911    160 |        0 |        0
1368.74/1369.39	c 1369s |      21 |  1402913 |  1117445 |    17911    160 |        0 |        0
1370.84/1371.44	c 1371s |      21 |  1404497 |  1118745 |    17911    160 |        0 |        0
1372.84/1373.49	c 1373s |      21 |  1406182 |  1120045 |    17911    160 |        0 |        0
1374.94/1375.55	c 1375s |      21 |  1407665 |  1121245 |    17911    160 |        0 |        0
1377.04/1377.60	c 1377s |      21 |  1409176 |  1122445 |    17911    160 |        0 |        0
1379.14/1379.70	c 1379s |      21 |  1411208 |  1124045 |    17911    161 |        0 |        0
1381.24/1381.80	c 1381s |      21 |  1413456 |  1125845 |    17911    161 |        0 |        0
1383.34/1383.93	c 1383s |      21 |  1415483 |  1127445 |    17911    161 |        0 |        0
1385.33/1385.99	c 1385s |      21 |  1417250 |  1128845 |    17911    161 |        0 |        0
1387.43/1388.03	c 1387s |      21 |  1418854 |  1130145 |    17911    161 |        0 |        0
1389.53/1390.17	c 1390s |      21 |  1420510 |  1131445 |    17911    161 |        0 |        0
1391.63/1392.22	c 1392s |      21 |  1422341 |  1132945 |    17911    162 |        0 |        0
1393.73/1394.30	c 1394s |      21 |  1424171 |  1134445 |    17911    162 |        0 |        0
1395.73/1396.34	c 1396s |      21 |  1425955 |  1135845 |    17911    162 |        0 |        0
1397.83/1398.41	c 1398s |      21 |  1427583 |  1137145 |    17911    162 |        0 |        0
1399.93/1400.51	c 1400s |      21 |  1429200 |  1138445 |    17911    162 |        0 |        0
1402.03/1402.65	c 1402s |      21 |  1430889 |  1139745 |    17911    162 |        0 |        0
1404.13/1404.70	c 1404s |      21 |  1432445 |  1140945 |    17911    163 |        0 |        0
1406.13/1406.74	c 1406s |      21 |  1434445 |  1142545 |    17911    163 |        0 |        0
1408.23/1408.83	c 1408s |      21 |  1436335 |  1144045 |    17911    163 |        0 |        0
1410.33/1410.94	c 1410s |      21 |  1438106 |  1145445 |    17911    163 |        0 |        0
1412.33/1412.97	c 1412s |      21 |  1439792 |  1146745 |    17911    163 |        0 |        0
1414.43/1415.04	c 1414s |      21 |  1441452 |  1148045 |    17911    163 |        0 |        0
1416.53/1417.15	c 1417s |      21 |  1443074 |  1149345 |    17911    163 |        0 |        0
1418.54/1419.15	c 1419s |      21 |  1444734 |  1150645 |    17911    164 |        0 |        0
1420.64/1421.27	c 1421s |      21 |  1446743 |  1152245 |    17911    164 |        0 |        0
1422.73/1423.40	c 1423s |      21 |  1448472 |  1153645 |    17911    164 |        0 |        0
1424.83/1425.46	c 1425s |      21 |  1450104 |  1154945 |    17911    164 |        0 |        0
1426.93/1427.58	c 1427s |      21 |  1451547 |  1156145 |    17911    164 |        0 |        0
1428.93/1429.59	c 1429s |      21 |  1452889 |  1157245 |    17911    164 |        0 |        0
1431.13/1431.74	c 1431s |      21 |  1454394 |  1158445 |    17911    164 |        0 |        0
1433.13/1433.74	c 1433s |      21 |  1456112 |  1159845 |    17911    165 |        0 |        0
1435.23/1435.84	c 1435s |      21 |  1458460 |  1161645 |    17911    165 |        0 |        0
1437.33/1437.98	c 1437s |      21 |  1460506 |  1163245 |    17911    165 |        0 |        0
1439.43/1440.08	c 1439s |      21 |  1462388 |  1164745 |    17911    165 |        0 |        0
1441.63/1442.21	c 1442s |      21 |  1464443 |  1166345 |    17911    165 |        0 |        0
1443.62/1444.29	c 1444s |      21 |  1466081 |  1167645 |    17911    165 |        0 |        0
1445.72/1446.33	c 1446s |      21 |  1468010 |  1169145 |    17911    166 |        0 |        0
1447.82/1448.49	c 1448s |      21 |  1469926 |  1170645 |    17911    166 |        0 |        0
1450.02/1450.60	c 1450s |      21 |  1471865 |  1172245 |    17911    166 |        0 |        0
1452.02/1452.67	c 1452s |      21 |  1473668 |  1173645 |    17911    166 |        0 |        0
1454.22/1454.83	c 1454s |      21 |  1475463 |  1175045 |    17911    166 |        0 |        0
1456.32/1456.99	c 1456s |      21 |  1477107 |  1176345 |    17911    166 |        0 |        0
1458.52/1459.13	c 1459s |      21 |  1478665 |  1177645 |    17911    167 |        0 |        0
1460.52/1461.13	c 1461s |      21 |  1480556 |  1179145 |    17911    167 |        0 |        0
1462.52/1463.18	c 1463s |      21 |  1482438 |  1180645 |    17911    167 |        0 |        0
1464.52/1465.19	c 1465s |      21 |  1484229 |  1182045 |    17911    167 |        0 |        0
1466.62/1467.28	c 1467s |      21 |  1486014 |  1183445 |    17911    167 |        0 |        0
1468.72/1469.38	c 1469s |      21 |  1487705 |  1184745 |    17911    167 |        0 |        0
1470.92/1471.56	c 1471s |      21 |  1489196 |  1185945 |    17911    168 |        0 |        0
1472.92/1473.59	c 1473s |      21 |  1491092 |  1187545 |    17911    168 |        0 |        0
1475.02/1475.63	c 1475s |      21 |  1492989 |  1189045 |    17911    168 |        0 |        0
1477.02/1477.69	c 1477s |      21 |  1494719 |  1190445 |    17911    168 |        0 |        0
1479.22/1479.82	c 1479s |      21 |  1496609 |  1191945 |    17911    168 |        0 |        0
1481.23/1481.84	c 1481s |      21 |  1498289 |  1193245 |    17911    168 |        0 |        0
1483.22/1483.86	c 1483s |      21 |  1499800 |  1194445 |    17911    168 |        0 |        0
1485.32/1485.94	c 1485s |      21 |  1501597 |  1195845 |    17911    169 |        0 |        0
1487.42/1488.05	c 1487s |      21 |  1503534 |  1197445 |    17911    169 |        0 |        0
1489.42/1490.07	c 1489s |      21 |  1505503 |  1199045 |    17911    169 |        0 |        0
1491.52/1492.16	c 1492s |      21 |  1507318 |  1200445 |    17911    169 |        0 |        0
1493.62/1494.22	c 1494s |      21 |  1508934 |  1201745 |    17911    169 |        0 |        0
1495.72/1496.30	c 1496s |      21 |  1510656 |  1203045 |    17911    169 |        0 |        0
1497.63/1498.30	c 1498s |      21 |  1512058 |  1204145 |    17911    170 |        0 |        0
1499.83/1500.41	c 1500s |      21 |  1514185 |  1205845 |    17911    170 |        0 |        0
1501.92/1502.53	c 1502s |      21 |  1516131 |  1207445 |    17911    170 |        0 |        0
1503.92/1504.56	c 1504s |      21 |  1517984 |  1208945 |    17911    170 |        0 |        0
1506.02/1506.63	c 1506s |      21 |  1519565 |  1210245 |    17911    170 |        0 |        0
1508.02/1508.68	c 1508s |      21 |  1521039 |  1211445 |    17911    170 |        0 |        0
1510.12/1510.76	c 1510s |      21 |  1522553 |  1212645 |    17911    170 |        0 |        0
1512.12/1512.79	c 1512s |      21 |  1524338 |  1214045 |    17911    171 |        0 |        0
1514.22/1514.83	c 1514s |      21 |  1526228 |  1215545 |    17911    171 |        0 |        0
1516.32/1516.92	c 1516s |      21 |  1528217 |  1217145 |    17911    171 |        0 |        0
1518.42/1519.03	c 1518s |      21 |  1529946 |  1218545 |    17911    171 |        0 |        0
1520.51/1521.13	c 1521s |      21 |  1531604 |  1219845 |    17911    171 |        0 |        0
1522.51/1523.15	c 1523s |      21 |  1533204 |  1221145 |    17911    171 |        0 |        0
1524.61/1525.25	c 1525s |      21 |  1534840 |  1222445 |    17911    172 |        0 |        0
1526.71/1527.32	c 1527s |      21 |  1537000 |  1224145 |    17911    172 |        0 |        0
1528.71/1529.38	c 1529s |      21 |  1539071 |  1225745 |    17911    172 |        0 |        0
1530.81/1531.48	c 1531s |      21 |  1540725 |  1227045 |    17911    172 |        0 |        0
1532.82/1533.48	c 1533s |      21 |  1542337 |  1228345 |    17911    172 |        0 |        0
1534.91/1535.55	c 1535s |      21 |  1544216 |  1229745 |    17911    172 |        0 |        0
1536.91/1537.57	c 1537s |      21 |  1545753 |  1230945 |    17911    172 |        0 |        0
1539.01/1539.64	c 1539s |      21 |  1547658 |  1232445 |    17911    173 |        0 |        0
1541.11/1541.76	c 1541s |      21 |  1549702 |  1234045 |    17911    173 |        0 |        0
1543.21/1543.82	c 1543s |      21 |  1551673 |  1235645 |    17911    173 |        0 |        0
1545.31/1545.95	c 1545s |      21 |  1553726 |  1237245 |    17911    173 |        0 |        0
1547.41/1548.10	c 1547s |      21 |  1555336 |  1238545 |    17911    173 |        0 |        0
1549.61/1550.23	c 1550s |      21 |  1556922 |  1239845 |    17911    173 |        0 |        0
1551.71/1552.30	c 1552s |      21 |  1558749 |  1241345 |    17911    174 |        0 |        0
1553.71/1554.36	c 1554s |      21 |  1560810 |  1242945 |    17911    174 |        0 |        0
1555.91/1556.58	c 1556s |      21 |  1562686 |  1244445 |    17911    174 |        0 |        0
1557.90/1558.58	c 1558s |      21 |  1564300 |  1245745 |    17911    174 |        0 |        0
1559.90/1560.59	c 1560s |      21 |  1565769 |  1246945 |    17911    174 |        0 |        0
1562.00/1562.64	c 1562s |      21 |  1567435 |  1248245 |    17911    174 |        0 |        0
1564.10/1564.75	c 1564s |      21 |  1569037 |  1249545 |    17911    175 |        0 |        0
1566.30/1566.95	c 1566s |      21 |  1571051 |  1251145 |    17911    175 |        0 |        0
1568.30/1568.98	c 1568s |      21 |  1573089 |  1252745 |    17911    175 |        0 |        0
1570.40/1571.08	c 1570s |      21 |  1575102 |  1254345 |    17911    175 |        0 |        0
1572.51/1573.19	c 1573s |      21 |  1576865 |  1255745 |    17911    175 |        0 |        0
1574.61/1575.25	c 1575s |      21 |  1578507 |  1257045 |    17911    175 |        0 |        0
1576.70/1577.32	c 1577s |      21 |  1579845 |  1258145 |    17911    175 |        0 |        0
1578.70/1579.35	c 1579s |      21 |  1581639 |  1259545 |    17911    176 |        0 |        0
1580.81/1581.44	c 1581s |      21 |  1583641 |  1261145 |    17911    176 |        0 |        0
1582.91/1583.52	c 1583s |      21 |  1586023 |  1263045 |    17911    176 |        0 |        0
1585.01/1585.62	c 1585s |      21 |  1588235 |  1264845 |    17911    176 |        0 |        0
1587.11/1587.70	c 1587s |      21 |  1590256 |  1266445 |    17911    176 |        0 |        0
1589.21/1589.80	c 1589s |      21 |  1592159 |  1267945 |    17911    177 |        0 |        0
1591.21/1591.82	c 1591s |      21 |  1594124 |  1269545 |    17911    177 |        0 |        0
1593.20/1593.90	c 1593s |      21 |  1596040 |  1271045 |    17911    177 |        0 |        0
1595.30/1595.95	c 1595s |      21 |  1597781 |  1272445 |    17911    177 |        0 |        0
1597.40/1598.03	c 1597s |      21 |  1599506 |  1273845 |    17911    177 |        0 |        0
1599.50/1600.14	c 1600s |      21 |  1601127 |  1275145 |    17911    177 |        0 |        0
1601.70/1602.39	c 1602s |      21 |  1602804 |  1276445 |    17911    178 |        0 |        0
1603.80/1604.42	c 1604s |      21 |  1604797 |  1278045 |    17911    178 |        0 |        0
1605.80/1606.44	c 1606s |      21 |  1606715 |  1279545 |    17911    178 |        0 |        0
1607.80/1608.46	c 1608s |      21 |  1608495 |  1280945 |    17911    178 |        0 |        0
1609.91/1610.50	c 1610s |      21 |  1610080 |  1282245 |    17911    178 |        0 |        0
1612.01/1612.67	c 1612s |      21 |  1611738 |  1283545 |    17911    178 |        0 |        0
1614.10/1614.80	c 1614s |      21 |  1613261 |  1284745 |    17911    178 |        0 |        0
1616.20/1616.82	c 1616s |      21 |  1614611 |  1285845 |    17911    179 |        0 |        0
1618.20/1618.88	c 1618s |      21 |  1616473 |  1287345 |    17911    179 |        0 |        0
1620.40/1621.04	c 1620s |      21 |  1618226 |  1288745 |    17911    179 |        0 |        0
1622.50/1623.15	c 1623s |      21 |  1619981 |  1290145 |    17911    179 |        0 |        0
1624.60/1625.29	c 1625s |      21 |  1621647 |  1291445 |    17911    179 |        0 |        0
1626.70/1627.36	c 1627s |      21 |  1623109 |  1292645 |    17911    179 |        0 |        0
1628.80/1629.41	c 1629s |      21 |  1624460 |  1293745 |    17911    179 |        0 |        0
1630.80/1631.49	c 1631s |      21 |  1626084 |  1295045 |    17911    180 |        0 |        0
1632.90/1633.55	c 1633s |      21 |  1628103 |  1296645 |    17911    180 |        0 |        0
1634.99/1635.67	c 1635s |      21 |  1629992 |  1298145 |    17911    180 |        0 |        0
1637.09/1637.74	c 1637s |      21 |  1631746 |  1299545 |    17911    180 |        0 |        0
1639.29/1639.91	c 1639s |      21 |  1633471 |  1300945 |    17911    180 |        0 |        0
1641.39/1642.04	c 1641s |      21 |  1635056 |  1302245 |    17911    180 |        0 |        0
1643.49/1644.16	c 1644s |      21 |  1636692 |  1303545 |    17911    180 |        0 |        0
1645.59/1646.26	c 1646s |      21 |  1638720 |  1305145 |    17911    181 |        0 |        0
1647.69/1648.37	c 1648s |      21 |  1640525 |  1306645 |    17911    181 |        0 |        0
1649.79/1650.47	c 1650s |      21 |  1642419 |  1308145 |    17911    181 |        0 |        0
1651.99/1652.62	c 1652s |      21 |  1644278 |  1309645 |    17911    181 |        0 |        0
1654.09/1654.72	c 1654s |      21 |  1645841 |  1310945 |    17911    181 |        0 |        0
1656.10/1656.77	c 1656s |      21 |  1647315 |  1312145 |    17911    181 |        0 |        0
1658.20/1658.83	c 1658s |      21 |  1648932 |  1313445 |    17911    182 |        0 |        0
1660.19/1660.89	c 1660s |      21 |  1650777 |  1314945 |    17911    182 |        0 |        0
1662.39/1663.00	c 1662s |      21 |  1652673 |  1316445 |    17911    182 |        0 |        0
1664.49/1665.15	c 1665s |      21 |  1654360 |  1317845 |    17911    182 |        0 |        0
1666.59/1667.24	c 1667s |      21 |  1656120 |  1319245 |    17911    182 |        0 |        0
1668.59/1669.27	c 1669s |      21 |  1657449 |  1320345 |    17911    182 |        0 |        0
1670.89/1671.56	c 1671s |      21 |  1659076 |  1321645 |    17911    183 |        0 |        0
1672.89/1673.56	c 1673s |      21 |  1661056 |  1323245 |    17911    183 |        0 |        0
1674.89/1675.59	c 1675s |      21 |  1662820 |  1324645 |    17911    183 |        0 |        0
1677.00/1677.69	c 1677s |      21 |  1664600 |  1326045 |    17911    183 |        0 |        0
1679.10/1679.76	c 1679s |      21 |  1666506 |  1327545 |    17911    183 |        0 |        0
1681.09/1681.78	c 1681s |      21 |  1668147 |  1328845 |    17911    183 |        0 |        0
1683.19/1683.80	c 1683s |      21 |  1669812 |  1330145 |    17911    183 |        0 |        0
1685.19/1685.83	c 1685s |      21 |  1671406 |  1331445 |    17911    184 |        0 |        0
1687.19/1687.87	c 1687s |      21 |  1673236 |  1332945 |    17911    184 |        0 |        0
1689.39/1690.01	c 1689s |      21 |  1675192 |  1334445 |    17911    184 |        0 |        0
1691.49/1692.10	c 1691s |      21 |  1677027 |  1335945 |    17911    184 |        0 |        0
1693.50/1694.16	c 1694s |      21 |  1678876 |  1337445 |    17911    184 |        0 |        0
1695.49/1696.20	c 1696s |      21 |  1680473 |  1338745 |    17911    184 |        0 |        0
1697.59/1698.26	c 1698s |      21 |  1681998 |  1339945 |    17911    185 |        0 |        0
1699.69/1700.31	c 1700s |      21 |  1684036 |  1341645 |    17911    185 |        0 |        0
1701.69/1702.35	c 1702s |      21 |  1685898 |  1343145 |    17911    185 |        0 |        0
1703.79/1704.40	c 1704s |      21 |  1687591 |  1344545 |    17911    185 |        0 |        0
1705.79/1706.43	c 1706s |      21 |  1689048 |  1345745 |    17911    185 |        0 |        0
1707.89/1708.53	c 1708s |      21 |  1690685 |  1347045 |    17911    185 |        0 |        0
1709.99/1710.68	c 1710s |      21 |  1692164 |  1348245 |    17911    185 |        0 |        0
1712.09/1712.77	c 1712s |      21 |  1693659 |  1349445 |    17911    186 |        0 |        0
1714.08/1714.79	c 1714s |      21 |  1695564 |  1350945 |    17911    186 |        0 |        0
1716.18/1716.85	c 1716s |      21 |  1697448 |  1352445 |    17911    186 |        0 |        0
1718.18/1718.88	c 1718s |      21 |  1699315 |  1353945 |    17911    186 |        0 |        0
1720.28/1720.99	c 1720s |      21 |  1701088 |  1355345 |    17911    186 |        0 |        0
1722.38/1723.03	c 1722s |      21 |  1702573 |  1356545 |    17911    186 |        0 |        0
1724.48/1725.17	c 1725s |      21 |  1704048 |  1357745 |    17911    186 |        0 |        0
1726.58/1727.27	c 1727s |      21 |  1706089 |  1359345 |    17911    187 |        0 |        0
1728.78/1729.42	c 1729s |      21 |  1708081 |  1360945 |    17911    187 |        0 |        0
1730.79/1731.46	c 1731s |      21 |  1709936 |  1362345 |    17911    187 |        0 |        0
1732.88/1733.51	c 1733s |      21 |  1711695 |  1363745 |    17911    187 |        0 |        0
1734.98/1735.62	c 1735s |      21 |  1713282 |  1365045 |    17911    187 |        0 |        0
1737.08/1737.74	c 1737s |      21 |  1714994 |  1366345 |    17911    187 |        0 |        0
1739.08/1739.77	c 1739s |      21 |  1716468 |  1367545 |    17911    188 |        0 |        0
1741.18/1741.84	c 1741s |      21 |  1718416 |  1369145 |    17911    188 |        0 |        0
1743.28/1743.96	c 1743s |      21 |  1720341 |  1370645 |    17911    188 |        0 |        0
1745.28/1745.99	c 1745s |      21 |  1722171 |  1372145 |    17911    188 |        0 |        0
1747.47/1748.11	c 1747s |      21 |  1723969 |  1373545 |    17911    188 |        0 |        0
1749.48/1750.12	c 1750s |      21 |  1725454 |  1374745 |    17911    188 |        0 |        0
1751.47/1752.17	c 1752s |      21 |  1726946 |  1375945 |    17911    188 |        0 |        0
1753.57/1754.27	c 1754s |      21 |  1728683 |  1377345 |    17911    189 |        0 |        0
1755.68/1756.36	c 1756s |      21 |  1730590 |  1378845 |    17911    189 |        0 |        0
1757.78/1758.43	c 1758s |      21 |  1732395 |  1380245 |    17911    189 |        0 |        0
1759.78/1760.49	c 1760s |      21 |  1734130 |  1381645 |    17911    189 |        0 |        0
1761.98/1762.64	c 1762s |      21 |  1735773 |  1382945 |    17911    189 |        0 |        0
1764.08/1764.76	c 1764s |      21 |  1737279 |  1384145 |    17911    189 |        0 |        0
1766.08/1766.78	c 1766s |      21 |  1738689 |  1385245 |    17911    190 |        0 |        0
1768.18/1768.87	c 1768s |      21 |  1740732 |  1386845 |    17911    190 |        0 |        0
1770.28/1770.96	c 1770s |      21 |  1742586 |  1388345 |    17911    190 |        0 |        0
1772.28/1772.99	c 1772s |      21 |  1744467 |  1389845 |    17911    190 |        0 |        0
1774.38/1775.06	c 1774s |      21 |  1746184 |  1391245 |    17911    190 |        0 |        0
1776.37/1777.08	c 1776s |      21 |  1747811 |  1392545 |    17911    190 |        0 |        0
1778.47/1779.18	c 1779s |      21 |  1749602 |  1393945 |    17911    190 |        0 |        0
1780.57/1781.25	c 1781s |      21 |  1751565 |  1395445 |    17911    191 |        0 |        0
1782.67/1783.30	c 1783s |      21 |  1753729 |  1397145 |    17911    191 |        0 |        0
1784.68/1785.35	c 1785s |      21 |  1755750 |  1398745 |    17911    191 |        0 |        0
1786.67/1787.39	c 1787s |      21 |  1757659 |  1400245 |    17911    191 |        0 |        0
1788.77/1789.46	c 1789s |      21 |  1759477 |  1401645 |    17911    191 |        0 |        0
1790.87/1791.58	c 1791s |      21 |  1761098 |  1402945 |    17911    191 |        0 |        0
1792.97/1793.62	c 1793s |      21 |  1762994 |  1404445 |    17911    192 |        0 |        0
1795.07/1795.75	c 1795s |      21 |  1765029 |  1406045 |    17911    192 |        0 |        0
1797.17/1797.88	c 1797s |      21 |  1766938 |  1407545 |    17911    192 |        0 |        0
1799.27/1799.98	c 1799s |      21 |  1768627 |  1408845 |    17911    192 |        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-4102177-1466229665/watcher-4102177-1466229665 -o /tmp/evaluation-result-4102177-1466229665/solver-4102177-1466229665 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102177-1466229665.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.33 2.26 2.20 3/180 20367
/proc/meminfo: memFree=25982528/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=556476 CPUtime=0 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 2046 0 0 0 0 0 0 0 20 0 4 0 25011998 569831424 2407 33554432000 4194304 16246674 140736305385280 140736305384704 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 139887 2415 441 2943 0 136781 0
[pid=20367/tid=20368] ppid=20364 vsize=573884 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 587657216 2475 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=577980 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 591851520 2491 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=583100 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 25011998 597094400 2509 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100158 s]
/proc/loadavg: 2.33 2.26 2.20 3/180 20367
/proc/meminfo: memFree=25982528/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 21694 0 0 0 7 2 0 0 20 0 4 0 25011998 1250496512 21992 33554432000 4194304 16246674 140736305385280 140736305384592 5913156 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 305297 21992 831 2943 0 302191 0
[pid=20367/tid=20368] ppid=20364 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1250496512 21992 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1250496512 21992 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1250496512 21992 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200544 s]
/proc/loadavg: 2.33 2.26 2.20 3/180 20367
/proc/meminfo: memFree=25982528/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1221188 CPUtime=0.19 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 38958 0 0 0 14 5 0 0 20 0 4 0 25011998 1250496512 39256 33554432000 4194304 16246674 140736305385280 140736305384592 5523709 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 305297 39265 879 2943 0 302191 0
[pid=20367/tid=20368] ppid=20364 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1250496512 39271 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1250496512 39275 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1250496512 39279 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1221188

[startup+0.300506 s]
/proc/loadavg: 2.33 2.26 2.20 3/180 20367
/proc/meminfo: memFree=25982528/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1221188 CPUtime=0.29 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 59010 0 0 0 21 8 0 0 20 0 4 0 25011998 1250496512 59308 33554432000 4194304 16246674 140736305385280 140736305384592 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 305297 59318 879 2943 0 302191 0
[pid=20367/tid=20368] ppid=20364 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1250496512 59323 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1250496512 59328 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1250496512 59333 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1221188

[startup+0.700416 s]
/proc/loadavg: 2.33 2.26 2.20 3/180 20367
/proc/meminfo: memFree=25982528/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1221188 CPUtime=0.69 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 138955 0 0 0 50 19 0 0 20 0 4 0 25011998 1250496512 139253 33554432000 4194304 16246674 140736305385280 140736305384592 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 305297 139264 879 2943 0 302191 0
[pid=20367/tid=20368] ppid=20364 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1250496512 139271 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1250496512 139277 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1250496512 139283 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1221188

[startup+1.50042 s]
/proc/loadavg: 2.30 2.25 2.19 3/184 20371
/proc/meminfo: memFree=25116292/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1301060 CPUtime=1.49 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 266421 0 0 0 114 35 0 0 20 0 4 0 25011998 1332285440 266719 33554432000 4194304 16246674 140736305385280 140736305384592 5677888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 325265 266719 882 2943 0 322159 0
[pid=20367/tid=20368] ppid=20364 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1332285440 266719 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1332285440 266719 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1332285440 266719 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1301060

[startup+3.10043 s]
/proc/loadavg: 2.30 2.25 2.19 3/184 20371
/proc/meminfo: memFree=24915172/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1307204 CPUtime=3.1 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 267818 0 0 0 273 37 0 0 20 0 4 0 25011998 1338576896 268116 33554432000 4194304 16246674 140736305385280 140736305367168 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 326801 268116 882 2943 0 323695 0
[pid=20367/tid=20368] ppid=20364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1338576896 268116 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1338576896 268116 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1338576896 268116 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 1307204

[startup+6.30042 s]
/proc/loadavg: 2.28 2.25 2.19 4/184 20371
/proc/meminfo: memFree=24903192/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1307204 CPUtime=6.3 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 267990 0 0 0 593 37 0 0 20 0 4 0 25011998 1338576896 268288 33554432000 4194304 16246674 140736305385280 140736305367168 5545752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 326801 268288 891 2943 0 323695 0
[pid=20367/tid=20368] ppid=20364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1338576896 268288 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1338576896 268288 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1338576896 268288 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.34 2.26 2.20 3/184 20371
/proc/meminfo: memFree=24896012/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 267990 0 0 0 1232 37 0 0 20 0 4 0 25011998 1338576896 268288 33554432000 4194304 16246674 140736305385280 140736305368280 6837238 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 326801 268288 891 2943 0 323695 0
[pid=20367/tid=20368] ppid=20364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1338576896 268288 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1338576896 268288 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1338576896 268288 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.33 2.26 2.20 4/184 20371
/proc/meminfo: memFree=24872936/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 268522 0 0 0 2512 37 0 0 20 0 4 0 25011998 1341722624 268820 33554432000 4194304 16246674 140736305385280 140736305367168 5523464 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 327569 268820 892 2943 0 324463 0
[pid=20367/tid=20368] ppid=20364 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1341722624 268820 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1341722624 268820 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1341722624 268820 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.28 2.26 2.20 3/184 20371
/proc/meminfo: memFree=24836060/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 269528 0 0 0 5071 37 0 0 20 0 4 0 25011998 1344868352 269826 33554432000 4194304 16246674 140736305385280 140736305367168 5674919 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 328337 269826 893 2943 0 325231 0
[pid=20367/tid=20368] ppid=20364 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1344868352 269826 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1344868352 269826 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1344868352 269826 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.24 2.25 2.19 3/183 20373
/proc/meminfo: memFree=24777888/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1314372 CPUtime=102.28 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 269649 0 0 0 10190 38 0 0 20 0 4 0 25011998 1345916928 269947 33554432000 4194304 16246674 140736305385280 140736305367168 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 328593 269947 893 2943 0 325487 0
[pid=20367/tid=20368] ppid=20364 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1345916928 269947 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1345916928 269947 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1345916928 269947 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1314372


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

Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 1323588

[startup+1362.3 s]
/proc/loadavg: 2.37 2.33 2.28 3/183 20599
/proc/meminfo: memFree=26348388/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1323588 CPUtime=1361.74 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 272560 0 0 0 136118 56 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 140736305367168 5824045 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 330897 272642 893 2943 0 327791 0
[pid=20367/tid=20368] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1323588

[startup+1422.3 s]
/proc/loadavg: 2.19 2.28 2.26 3/183 20600
/proc/meminfo: memFree=26348912/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1323588 CPUtime=1421.74 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 272560 0 0 0 142117 57 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 140736305367168 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 330897 272642 893 2943 0 327791 0
[pid=20367/tid=20368] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 1323588

[startup+1482.3 s]
/proc/loadavg: 2.17 2.27 2.26 3/183 20601
/proc/meminfo: memFree=26348328/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1323588 CPUtime=1481.72 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 272560 0 0 0 148114 58 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 140736305367168 5721410 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 330897 272642 893 2943 0 327791 0
[pid=20367/tid=20368] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1323588

[startup+1542.31 s]
/proc/loadavg: 2.16 2.25 2.25 3/183 20602
/proc/meminfo: memFree=26348484/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1323588 CPUtime=1541.72 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 272560 0 0 0 154114 58 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 140736305367168 5827653 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 330897 272642 893 2943 0 327791 0
[pid=20367/tid=20368] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1323588

[startup+1602.3 s]
/proc/loadavg: 2.28 2.27 2.26 4/183 20604
/proc/meminfo: memFree=26348000/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1323588 CPUtime=1601.7 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 272560 0 0 0 160111 59 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 140736305367168 7249859 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 330897 272642 893 2943 0 327791 0
[pid=20367/tid=20368] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1323588

[startup+1662.3 s]
/proc/loadavg: 2.24 2.27 2.26 4/183 20605
/proc/meminfo: memFree=26348500/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1323588 CPUtime=1661.69 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 272560 0 0 0 166110 59 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 140736305367168 5677888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 330897 272642 893 2943 0 327791 0
[pid=20367/tid=20368] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1323588

[startup+1722.3 s]
/proc/loadavg: 2.23 2.26 2.26 3/183 20606
/proc/meminfo: memFree=26348380/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1323588 CPUtime=1721.68 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 272560 0 0 0 172108 60 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 140736305367168 5677443 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 330897 272642 893 2943 0 327791 0
[pid=20367/tid=20368] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1323588 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1355354112 272642 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 1323588

[startup+1782.3 s]
/proc/loadavg: 2.27 2.26 2.26 3/184 20610
/proc/meminfo: memFree=26342048/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1329732 CPUtime=1781.67 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 274030 0 0 0 178106 61 0 0 20 0 4 0 25011998 1361645568 274112 33554432000 4194304 16246674 140736305385280 140736305367168 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 332433 274112 893 2943 0 329327 0
[pid=20367/tid=20368] ppid=20364 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1361645568 274112 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1361645568 274112 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1361645568 274112 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 1329732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.33 2.27 2.26 4/183 20611
/proc/meminfo: memFree=26342008/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1329732 CPUtime=1800.07 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 274030 0 0 0 179946 61 0 0 20 0 4 0 25011998 1361645568 274112 33554432000 4194304 16246674 140736305385280 140736305367168 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 332433 274112 893 2943 0 329327 0
[pid=20367/tid=20368] ppid=20364 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1361645568 274112 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1361645568 274112 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1361645568 274112 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1329732

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

[startup+1800.7 s]
/proc/loadavg: 2.33 2.27 2.26 4/183 20611
/proc/meminfo: memFree=26342008/32872528 swapFree=1459628/1655852
[pid=20367] ppid=20364 vsize=1329732 CPUtime=1800.07 cores=1,3,5,7
/proc/20367/stat : 20367 (toysat) R 20364 20367 16189 0 -1 4202496 274030 0 0 0 179946 61 0 0 20 0 4 0 25011998 1361645568 274112 33554432000 4194304 16246674 140736305385280 140736305367168 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20367/statm: 332433 274112 893 2943 0 329327 0
[pid=20367/tid=20368] ppid=20364 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20368/stat : 20368 (toysat) S 20364 20367 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 25011998 1361645568 274112 33554432000 4194304 16246674 140736305385280 139979169705200 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20367/tid=20369] ppid=20364 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20369/stat : 20369 (toysat) S 20364 20367 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 25011998 1361645568 274112 33554432000 4194304 16246674 140736305385280 139979091062000 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20367/tid=20370] ppid=20364 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/20367/task/20370/stat : 20370 (toysat) S 20364 20367 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 25011998 1361645568 274112 33554432000 4194304 16246674 140736305385280 139979080588464 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1329732

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.72
CPU time (s): 1800.09
CPU user time (s): 1799.47
CPU system time (s): 0.616906
CPU usage (%): 99.9653
Max. virtual memory (cumulated for all children) (KiB): 1329732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.616906
maximum resident set size= 1096448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274030
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= 489
involuntary context switches= 2659

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.55831 second user time and 6.96094 second system time

The end

Begin job on node136 at 2016-06-18 08:01:05
IDJOB=4102177
IDBENCH=2075
IDSOLVER=2542
FILE ID=node136/4102177-1466229665
RUNJOBID= node136-1466206055-16206
PBS_JOBID= 19918141
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-f1000.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4102177-1466229665/watcher-4102177-1466229665 -o /tmp/evaluation-result-4102177-1466229665/solver-4102177-1466229665 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16206 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4102177-1466229665.opb

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

MD5SUM BENCH= 8fb889bdb08324a2b9780b5ff988846e
RANDOM SEED=367965835

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        25983256 kB
Buffers:          168764 kB
Cached:          1678308 kB
SwapCached:            0 kB
Active:          2779000 kB
Inactive:        1701668 kB
Active(anon):    2636520 kB
Inactive(anon):        0 kB
Active(file):     142480 kB
Inactive(file):  1701668 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16800 kB
Writeback:             0 kB
AnonPages:       4291632 kB
Mapped:            16536 kB
Shmem:               204 kB
Slab:             611332 kB
SReclaimable:      54848 kB
SUnreclaim:       556484 kB
KernelStack:        1488 kB
PageTables:        12208 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4425976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    663552 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= 71704 MiB
End job on node136 at 2016-06-18 08:31:06