0.00/0.00	c 2016-06-06T15:34:30+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-4078598-1465220069.opb"]
0.00/0.01	c use --random-gen="1312591525 1365811246 2486555036 944794876 3919979158 2747245057 2424544989 3788753486 434016757 1169834348 3368466833 3825913748 186307917 2751747692 951104630 4130562215 3917113990 4230488102 3439071442 441783416 1843234758 3535943825 1754855624 1725461591 3814294090 3858204304 2730567313 2488975650 4049343219 3404185710 560060576 2788010488 2384119815 3815633185 971975615 1222268491 896047387 3104957359 2096182454 2127401707 55931107 3710304930 84142743 2932714325 3455005036 4265117277 1138023021 1865637004 3899865950 528489547 3275796460 2861224050 4092656823 1809428537 2736774292 3286170925 2193787035 1062591340 4227449994 1703174583 1337814310 3130809219 3726831186 1766576955 3237023379 2725250162 329788364 3923516362 999070316 3819637923 1183967689 811931308 1543642855 3551169874 90237521 1575137293 2497765717 1116555859 866805870 4088226467 1161423700 2657652220 2322859121 772963452 4155119374 3063661125 1050661211 4150732086 767349500 2114401594 3062478904 497947838 1897999133 2251644260 2453563616 1446061888 173021470 2308828533 1368611801 3066918917 2553036570 2867029819 1735016506 2945248771 1248959281 1277291142 1689802117 3512199649 74556890 882349665 483098635 2831919948 3422053598 1057384388 3387920992 2812472201 2645597751 596144964 3132392350 2540760870 1109095545 4058727730 631229813 1778416363 675538277 600571160 1213156843 925758832 950517213 583175472 1264375702 4186757633 1151245121 3691252392 3940987722 1689173471 4071683518 2543757183 782286178 1267777232 87245082 2189209682 2840861897 3615094697 786234319 1423406413 3811664939 2090482651 2124789287 3273608454 4020593568 2029242232 343844951 1619537044 800699340 2657575566 3608687445 2122131880 922118326 1257902032 1134669998 3783187274 2183361715 2976613907 1955159106 1247065369 84066451 2040719183 3426172741 3785031026 793829019 2570981052 695869070 236492786 141547401 3057383762 2839338286 646589160 3247838955 4142657581 2098629510 4241732439 3420282806 1415246051 3626629518 2667337980 28175940 3208349944 1684030512 1926174231 1195066238 4013420000 1656926541 518789661 2192551034 3284414175 3651435325 2321044271 2389926551 2383334417 1251555151 3075284924 1299645039 671961445 258694815 1369317122 3884125069 2650177096 1227384394 1000685097 95671317 734268823 1573518740 2586776101 1976517396 3282650296 1116090792 79072388 2929038887 849934825 3910383068 2459119617 3255180559 936624664 778302515 2013176702 3157191430 2532444184 1596378941 3731063474 1047591147 3606871726 839901526 295690513 521366770 4082883029 2046885798 306497568 2606225448 3532494390 1502613660 2404735894 3519751418 3566722676 3056285130 600383401 3099923965 167244927 3095171010 765655548 1244771860 1174031029 3116377267 536844743 2090948882 2592458664 255 362436" option to reproduce the execution
0.00/0.01	c #vars 600
0.00/0.01	c #constraints 70
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      223      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      126 |      100 |      223      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      414 |      250 |      246      0 |        0 |        0
0.08/0.12	c  0.1s |       3 |      850 |      475 |      271      1 |        0 |        0
0.18/0.22	c  0.2s |       4 |     1385 |      813 |      299      2 |        0 |        0
0.28/0.39	c  0.4s |       5 |     2126 |     1320 |      329      4 |        0 |        0
0.59/0.64	c  0.6s |       6 |     3600 |     2081 |      399      7 |        0 |        0
0.88/0.91	c  0.9s |       7 |     5242 |     3223 |      439     11 |        0 |        0
1.29/1.32	c  1.3s |       8 |     7293 |     4936 |      483     16 |        0 |        0
1.69/1.78	c  1.8s |       9 |    10290 |     7506 |      532     24 |        0 |        0
2.59/2.66	c  2.6s |      10 |    15353 |    11361 |      586     34 |        0 |        0
4.39/4.48	c  4.5s |      11 |    22500 |    17144 |      645     49 |        0 |        0
6.49/6.50	c  6.5s |      11 |    31860 |    23744 |      645     64 |        0 |        0
7.09/7.18	c  7.2s |      12 |    34279 |    25819 |      710     69 |        0 |        0
9.19/9.22	c  9.2s |      12 |    43245 |    32019 |      710     84 |        0 |        0
11.19/11.25	c 11.2s |      12 |    49439 |    37019 |      710     96 |        0 |        0
11.89/12.00	c 12.0s |      13 |    51570 |    38832 |      782    100 |        0 |        0
13.99/14.01	c 14.0s |      13 |    58174 |    43832 |      782    111 |        0 |        0
15.99/16.02	c 16.0s |      13 |    64761 |    49432 |      782    123 |        0 |        0
17.98/18.04	c 18.0s |      13 |    71292 |    55032 |      782    136 |        0 |        0
18.88/18.99	c 19.0s |      14 |    77606 |    58352 |      861    143 |        0 |        0
20.89/21.00	c 21.0s |      14 |    88003 |    64552 |      861    156 |        0 |        0
22.98/23.01	c 23.0s |      14 |    95710 |    71052 |      861    169 |        0 |        0
24.98/25.03	c 25.0s |      14 |   103430 |    77552 |      861    183 |        0 |        0
26.98/27.05	c 27.0s |      14 |   110836 |    83652 |      861    196 |        0 |        0
28.18/28.29	c 28.3s |      15 |   115425 |    87632 |      948    204 |        0 |        0
30.28/30.30	c 30.3s |      15 |   122867 |    94032 |      948    216 |        0 |        0
32.28/32.30	c 32.3s |      15 |   129892 |    99832 |      948    226 |        0 |        0
34.28/34.32	c 34.3s |      15 |   137717 |   106232 |      948    239 |        0 |        0
36.29/36.35	c 36.3s |      15 |   146345 |   112332 |      948    250 |        0 |        0
38.28/38.36	c 38.3s |      15 |   153455 |   118132 |      948    262 |        0 |        0
40.28/40.38	c 40.4s |      15 |   161049 |   124432 |      948    274 |        0 |        0
42.28/42.39	c 42.4s |      15 |   168686 |   130932 |     1043    286 |        0 |        0
42.48/42.58	c 42.6s |      16 |   169428 |   131552 |     1043    287 |        0 |        0
44.58/44.60	c 44.6s |      16 |   177850 |   138052 |     1043    299 |        0 |        0
46.58/46.61	c 46.6s |      16 |   185313 |   143952 |     1043    309 |        0 |        0
48.58/48.62	c 48.6s |      16 |   192809 |   149752 |     1043    319 |        0 |        0
50.58/50.63	c 50.6s |      16 |   199727 |   155752 |     1043    330 |        0 |        0
52.58/52.66	c 52.6s |      16 |   206282 |   161452 |     1043    340 |        0 |        0
54.57/54.67	c 54.7s |      16 |   212837 |   166952 |     1043    350 |        0 |        0
56.57/56.68	c 56.7s |      16 |   218922 |   172152 |     1043    360 |        0 |        0
58.57/58.69	c 58.7s |      16 |   224818 |   177252 |     1043    369 |        0 |        0
60.67/60.71	c 60.7s |      16 |   230984 |   182352 |     1043    378 |        0 |        0
62.68/62.72	c 62.7s |      16 |   236485 |   186952 |     1043    386 |        0 |        0
64.67/64.73	c 64.7s |      16 |   242092 |   191852 |     1043    395 |        0 |        0
66.67/66.74	c 66.7s |      16 |   247235 |   196452 |     1148    403 |        0 |        0
67.08/67.19	c 67.2s |      17 |   248369 |   197432 |     1148    405 |        0 |        0
69.17/69.20	c 69.2s |      17 |   253733 |   202032 |     1148    413 |        0 |        0
71.17/71.23	c 71.2s |      17 |   259383 |   207032 |     1148    421 |        0 |        0
73.17/73.25	c 73.2s |      17 |   265243 |   212232 |     1148    430 |        0 |        0
75.17/75.25	c 75.2s |      17 |   271612 |   217632 |     1148    439 |        0 |        0
77.17/77.26	c 77.2s |      17 |   278106 |   223432 |     1148    448 |        0 |        0
79.18/79.29	c 79.3s |      17 |   285930 |   230232 |     1148    459 |        0 |        0
81.28/81.30	c 81.3s |      17 |   293265 |   236432 |     1148    469 |        0 |        0
83.28/83.30	c 83.3s |      17 |   301674 |   243432 |     1148    480 |        0 |        0
85.28/85.30	c 85.3s |      17 |   309035 |   249532 |     1148    490 |        0 |        0
87.28/87.32	c 87.3s |      17 |   316141 |   255832 |     1148    501 |        0 |        0
89.28/89.33	c 89.3s |      17 |   323190 |   262032 |     1148    511 |        0 |        0
91.28/91.35	c 91.3s |      17 |   330521 |   268432 |     1148    521 |        0 |        0
93.27/93.37	c 93.4s |      17 |   338194 |   275232 |     1148    532 |        0 |        0
95.37/95.41	c 95.4s |      17 |   346105 |   282132 |     1148    544 |        0 |        0
97.37/97.43	c 97.4s |      17 |   353302 |   288532 |     1148    554 |        0 |        0
99.37/99.43	c 99.4s |      17 |   360367 |   294732 |     1263    564 |        0 |        0
99.87/99.93	c 99.9s |      18 |   362117 |   296252 |     1263    566 |        0 |        0
101.87/101.96	c  101s |      18 |   370233 |   302052 |     1263    574 |        0 |        0
103.87/103.98	c  103s |      18 |   376785 |   307452 |     1263    582 |        0 |        0
105.97/106.01	c  105s |      18 |   383657 |   312752 |     1263    590 |        0 |        0
107.97/108.06	c  108s |      18 |   389056 |   316352 |     1263    595 |        0 |        0
109.98/110.06	c  110s |      18 |   397087 |   322952 |     1263    604 |        0 |        0
112.07/112.10	c  112s |      18 |   404213 |   329252 |     1263    613 |        0 |        0
114.07/114.12	c  114s |      18 |   411844 |   335952 |     1263    622 |        0 |        0
116.07/116.13	c  116s |      18 |   418418 |   341852 |     1263    631 |        0 |        0
118.07/118.13	c  118s |      18 |   425006 |   347752 |     1263    639 |        0 |        0
120.07/120.15	c  120s |      18 |   431912 |   353952 |     1263    648 |        0 |        0
122.08/122.18	c  122s |      18 |   438815 |   360152 |     1263    657 |        0 |        0
124.17/124.20	c  124s |      18 |   445674 |   366052 |     1263    665 |        0 |        0
126.17/126.22	c  126s |      18 |   452691 |   371852 |     1263    673 |        0 |        0
128.17/128.24	c  128s |      18 |   459578 |   377352 |     1263    681 |        0 |        0
130.17/130.26	c  130s |      18 |   466094 |   382652 |     1263    688 |        0 |        0
132.17/132.27	c  132s |      18 |   471841 |   387652 |     1263    695 |        0 |        0
134.18/134.30	c  134s |      18 |   477028 |   392052 |     1263    701 |        0 |        0
136.27/136.31	c  136s |      18 |   482313 |   396352 |     1263    707 |        0 |        0
138.27/138.32	c  138s |      18 |   488354 |   401552 |     1263    714 |        0 |        0
140.27/140.34	c  140s |      18 |   494417 |   406752 |     1263    721 |        0 |        0
142.27/142.35	c  142s |      18 |   499810 |   411452 |     1263    728 |        0 |        0
144.37/144.40	c  144s |      18 |   505329 |   416252 |     1263    734 |        0 |        0
146.37/146.44	c  146s |      18 |   510069 |   420152 |     1263    740 |        0 |        0
148.36/148.47	c  148s |      18 |   516431 |   425352 |     1263    747 |        0 |        0
150.46/150.51	c  150s |      18 |   522556 |   430352 |     1263    754 |        0 |        0
152.46/152.53	c  152s |      18 |   528710 |   435452 |     1263    761 |        0 |        0
154.46/154.54	c  154s |      18 |   535388 |   440652 |     1263    768 |        0 |        0
155.86/155.97	c  155s |      19 |   540106 |   444482 |     1390    773 |        0 |        0
157.86/157.98	c  157s |      19 |   551588 |   449982 |     1390    780 |        0 |        0
159.86/159.99	c  159s |      19 |   562091 |   455182 |     1390    787 |        0 |        0
161.86/161.99	c  161s |      19 |   569150 |   460682 |     1390    794 |        0 |        0
163.97/164.01	c  163s |      19 |   575800 |   465682 |     1390    800 |        0 |        0
165.95/166.06	c  166s |      19 |   583837 |   470482 |     1390    807 |        0 |        0
167.95/168.09	c  168s |      19 |   590792 |   474482 |     1390    812 |        0 |        0
170.05/170.13	c  170s |      19 |   599050 |   479782 |     1390    818 |        0 |        0
172.05/172.15	c  172s |      19 |   604557 |   483882 |     1390    824 |        0 |        0
174.05/174.18	c  174s |      19 |   613500 |   488782 |     1390    830 |        0 |        0
176.15/176.23	c  176s |      19 |   623387 |   492782 |     1390    835 |        0 |        0
178.16/178.27	c  178s |      19 |   630761 |   496882 |     1390    840 |        0 |        0
180.25/180.30	c  180s |      19 |   636675 |   501582 |     1390    847 |        0 |        0
182.25/182.34	c  182s |      19 |   642324 |   506182 |     1390    853 |        0 |        0
184.25/184.34	c  184s |      19 |   649328 |   511682 |     1390    860 |        0 |        0
186.25/186.39	c  186s |      19 |   656065 |   516782 |     1390    867 |        0 |        0
188.35/188.43	c  188s |      19 |   662650 |   521782 |     1390    873 |        0 |        0
190.35/190.44	c  190s |      19 |   668367 |   526482 |     1390    879 |        0 |        0
192.34/192.46	c  192s |      19 |   673590 |   530982 |     1390    885 |        0 |        0
194.34/194.46	c  194s |      19 |   679180 |   535582 |     1390    891 |        0 |        0
196.34/196.47	c  196s |      19 |   684652 |   539882 |     1390    897 |        0 |        0
198.34/198.50	c  198s |      19 |   690997 |   545082 |     1390    903 |        0 |        0
200.44/200.50	c  200s |      19 |   697908 |   550082 |     1390    910 |        0 |        0
202.45/202.50	c  202s |      19 |   703409 |   554582 |     1390    916 |        0 |        0
204.44/204.52	c  204s |      19 |   708738 |   559182 |     1390    922 |        0 |        0
206.43/206.54	c  206s |      19 |   714159 |   563782 |     1390    928 |        0 |        0
208.43/208.58	c  208s |      19 |   719952 |   567882 |     1390    933 |        0 |        0
210.43/210.58	c  210s |      19 |   725644 |   572282 |     1390    939 |        0 |        0
212.43/212.59	c  212s |      19 |   731876 |   577082 |     1390    945 |        0 |        0
214.54/214.61	c  214s |      19 |   737793 |   581982 |     1390    952 |        0 |        0
216.53/216.64	c  216s |      19 |   743397 |   586382 |     1390    957 |        0 |        0
218.53/218.66	c  218s |      19 |   748717 |   590982 |     1390    963 |        0 |        0
220.53/220.66	c  220s |      19 |   753836 |   595482 |     1390    969 |        0 |        0
222.53/222.68	c  222s |      19 |   759881 |   599982 |     1390    975 |        0 |        0
224.62/224.72	c  224s |      19 |   766225 |   604782 |     1390    981 |        0 |        0
226.63/226.75	c  226s |      19 |   772266 |   609882 |     1390    988 |        0 |        0
228.62/228.75	c  228s |      19 |   777830 |   614382 |     1390    994 |        0 |        0
230.72/230.81	c  230s |      19 |   782904 |   618682 |     1390   1000 |        0 |        0
232.72/232.86	c  232s |      19 |   788422 |   623082 |     1390   1005 |        0 |        0
234.72/234.88	c  234s |      19 |   794265 |   627482 |     1390   1011 |        0 |        0
236.82/236.91	c  236s |      19 |   799856 |   631682 |     1390   1017 |        0 |        0
238.82/238.94	c  238s |      19 |   805762 |   636082 |     1390   1022 |        0 |        0
240.82/240.96	c  240s |      19 |   810768 |   639982 |     1390   1027 |        0 |        0
242.82/242.96	c  242s |      19 |   817179 |   645182 |     1390   1034 |        0 |        0
244.81/244.98	c  244s |      19 |   824027 |   650782 |     1390   1042 |        0 |        0
246.81/246.99	c  246s |      19 |   830482 |   655982 |     1390   1048 |        0 |        0
248.91/249.02	c  249s |      19 |   836471 |   660882 |     1390   1055 |        0 |        0
250.91/251.05	c  251s |      19 |   842605 |   665482 |     1530   1060 |        0 |        0
251.41/251.54	c  251s |      20 |   844187 |   666827 |     1530   1062 |        0 |        0
253.41/253.57	c  253s |      20 |   855024 |   672227 |     1530   1068 |        0 |        0
255.40/255.59	c  255s |      20 |   861342 |   676627 |     1530   1073 |        0 |        0
257.50/257.61	c  257s |      20 |   867409 |   680827 |     1530   1078 |        0 |        0
259.52/259.65	c  259s |      20 |   875677 |   685927 |     1530   1084 |        0 |        0
261.51/261.66	c  261s |      20 |   882546 |   690527 |     1530   1090 |        0 |        0
263.51/263.67	c  263s |      20 |   889903 |   696027 |     1530   1096 |        0 |        0
265.51/265.69	c  265s |      20 |   897094 |   701127 |     1530   1102 |        0 |        0
267.61/267.73	c  267s |      20 |   904007 |   706027 |     1530   1108 |        0 |        0
269.61/269.73	c  269s |      20 |   912935 |   711527 |     1530   1115 |        0 |        0
271.61/271.76	c  271s |      20 |   918430 |   716427 |     1530   1120 |        0 |        0
273.61/273.77	c  273s |      20 |   924610 |   721127 |     1530   1126 |        0 |        0
275.60/275.79	c  275s |      20 |   930153 |   726127 |     1530   1132 |        0 |        0
277.70/277.83	c  277s |      20 |   936395 |   731327 |     1530   1138 |        0 |        0
279.70/279.85	c  279s |      20 |   943307 |   735727 |     1530   1143 |        0 |        0
281.70/281.86	c  281s |      20 |   951891 |   741127 |     1530   1150 |        0 |        0
283.70/283.88	c  283s |      20 |   960605 |   747527 |     1530   1157 |        0 |        0
285.69/285.89	c  285s |      20 |   970310 |   753527 |     1530   1164 |        0 |        0
287.79/287.91	c  287s |      20 |   979981 |   759727 |     1530   1172 |        0 |        0
289.79/289.93	c  289s |      20 |   987930 |   765527 |     1530   1179 |        0 |        0
291.79/291.94	c  291s |      20 |   995162 |   770127 |     1530   1184 |        0 |        0
293.79/293.94	c  293s |      20 |  1003142 |   774827 |     1530   1190 |        0 |        0
295.79/295.96	c  295s |      20 |  1011158 |   780127 |     1530   1196 |        0 |        0
297.79/297.98	c  297s |      20 |  1020994 |   786727 |     1530   1204 |        0 |        0
299.89/300.00	c  299s |      20 |  1033536 |   793027 |     1530   1211 |        0 |        0
301.89/302.03	c  302s |      20 |  1043633 |   799727 |     1530   1219 |        0 |        0
303.88/304.05	c  304s |      20 |  1051168 |   804927 |     1530   1225 |        0 |        0
305.88/306.09	c  306s |      20 |  1059119 |   810427 |     1530   1232 |        0 |        0
307.99/308.11	c  308s |      20 |  1066893 |   815527 |     1530   1238 |        0 |        0
309.98/310.15	c  310s |      20 |  1073281 |   819927 |     1530   1243 |        0 |        0
311.98/312.18	c  312s |      20 |  1080162 |   824227 |     1530   1248 |        0 |        0
314.08/314.20	c  314s |      20 |  1087715 |   829327 |     1530   1254 |        0 |        0
316.07/316.21	c  316s |      20 |  1094780 |   834127 |     1530   1260 |        0 |        0
318.07/318.22	c  318s |      20 |  1101030 |   838527 |     1530   1265 |        0 |        0
320.08/320.22	c  320s |      20 |  1109630 |   843927 |     1530   1272 |        0 |        0
322.07/322.26	c  322s |      20 |  1120199 |   847727 |     1530   1276 |        0 |        0
324.17/324.31	c  324s |      20 |  1126094 |   851927 |     1530   1282 |        0 |        0
326.17/326.31	c  326s |      20 |  1132854 |   856727 |     1530   1287 |        0 |        0
328.17/328.33	c  328s |      20 |  1139375 |   861727 |     1530   1293 |        0 |        0
330.16/330.34	c  330s |      20 |  1148544 |   867427 |     1530   1300 |        0 |        0
332.17/332.38	c  332s |      20 |  1155794 |   872527 |     1530   1306 |        0 |        0
334.27/334.41	c  334s |      20 |  1163036 |   876927 |     1530   1311 |        0 |        0
336.27/336.44	c  336s |      20 |  1170572 |   882027 |     1530   1318 |        0 |        0
338.27/338.45	c  338s |      20 |  1177902 |   886827 |     1530   1323 |        0 |        0
340.27/340.48	c  340s |      20 |  1185413 |   891827 |     1530   1329 |        0 |        0
342.37/342.52	c  342s |      20 |  1192581 |   897027 |     1530   1335 |        0 |        0
344.37/344.56	c  344s |      20 |  1197523 |   901327 |     1530   1340 |        0 |        0
346.37/346.57	c  346s |      20 |  1205075 |   905727 |     1530   1346 |        0 |        0
348.46/348.61	c  348s |      20 |  1211553 |   910527 |     1530   1351 |        0 |        0
350.46/350.66	c  350s |      20 |  1218566 |   915127 |     1530   1357 |        0 |        0
352.46/352.67	c  352s |      20 |  1224239 |   919527 |     1530   1362 |        0 |        0
354.56/354.72	c  354s |      20 |  1231208 |   924427 |     1530   1367 |        0 |        0
356.56/356.74	c  356s |      20 |  1239887 |   930327 |     1530   1374 |        0 |        0
358.57/358.77	c  358s |      20 |  1248936 |   936327 |     1530   1381 |        0 |        0
360.56/360.77	c  360s |      20 |  1257381 |   942027 |     1530   1388 |        0 |        0
362.56/362.78	c  362s |      20 |  1264243 |   946927 |     1530   1394 |        0 |        0
364.66/364.80	c  364s |      20 |  1270316 |   951227 |     1530   1399 |        0 |        0
366.65/366.81	c  366s |      20 |  1278439 |   956527 |     1530   1405 |        0 |        0
368.65/368.82	c  368s |      20 |  1287713 |   961827 |     1530   1411 |        0 |        0
370.66/370.85	c  370s |      20 |  1294728 |   967327 |     1530   1417 |        0 |        0
372.76/372.91	c  372s |      20 |  1300358 |   971627 |     1530   1422 |        0 |        0
374.75/374.93	c  374s |      20 |  1306504 |   975727 |     1530   1427 |        0 |        0
376.74/376.94	c  376s |      20 |  1312813 |   979927 |     1530   1432 |        0 |        0
378.74/378.97	c  378s |      20 |  1318831 |   984627 |     1530   1438 |        0 |        0
380.84/381.00	c  380s |      20 |  1325021 |   989027 |     1530   1443 |        0 |        0
382.84/383.06	c  383s |      20 |  1331203 |   993227 |     1684   1448 |        0 |        0
384.85/385.10	c  385s |      20 |  1337438 |   997427 |     1684   1452 |        0 |        0
386.05/386.23	c  386s |      21 |  1342226 |  1000345 |     1684   1455 |        0 |        0
388.04/388.25	c  388s |      21 |  1350436 |  1006845 |     1684   1462 |        0 |        0
390.04/390.26	c  390s |      21 |  1357555 |  1011945 |     1684   1468 |        0 |        0
392.04/392.26	c  392s |      21 |  1364795 |  1016845 |     1684   1473 |        0 |        0
394.14/394.30	c  394s |      21 |  1371581 |  1021745 |     1684   1478 |        0 |        0
396.13/396.31	c  396s |      21 |  1378599 |  1026945 |     1684   1484 |        0 |        0
398.14/398.33	c  398s |      21 |  1385492 |  1032145 |     1684   1489 |        0 |        0
400.13/400.35	c  400s |      21 |  1393184 |  1037845 |     1684   1495 |        0 |        0
402.13/402.35	c  402s |      21 |  1398991 |  1043045 |     1684   1500 |        0 |        0
404.13/404.39	c  404s |      21 |  1404957 |  1048345 |     1684   1505 |        0 |        0
406.23/406.40	c  406s |      21 |  1410729 |  1053445 |     1684   1510 |        0 |        0
408.22/408.43	c  408s |      21 |  1416083 |  1058245 |     1684   1514 |        0 |        0
410.23/410.46	c  410s |      21 |  1421626 |  1063145 |     1684   1519 |        0 |        0
412.22/412.49	c  412s |      21 |  1427214 |  1068145 |     1684   1523 |        0 |        0
414.32/414.52	c  414s |      21 |  1432334 |  1072645 |     1684   1528 |        0 |        0
416.32/416.55	c  416s |      21 |  1437018 |  1076745 |     1684   1531 |        0 |        0
418.32/418.58	c  418s |      21 |  1442434 |  1081545 |     1684   1536 |        0 |        0
420.42/420.61	c  420s |      21 |  1447668 |  1086145 |     1684   1540 |        0 |        0
422.42/422.62	c  422s |      21 |  1452600 |  1090545 |     1684   1544 |        0 |        0
424.43/424.64	c  424s |      21 |  1457998 |  1095345 |     1684   1549 |        0 |        0
426.41/426.65	c  426s |      21 |  1462930 |  1099745 |     1684   1553 |        0 |        0
428.41/428.66	c  428s |      21 |  1468010 |  1104345 |     1684   1557 |        0 |        0
430.41/430.69	c  430s |      21 |  1472754 |  1108645 |     1684   1561 |        0 |        0
432.51/432.74	c  432s |      21 |  1477607 |  1112945 |     1684   1565 |        0 |        0
434.51/434.74	c  434s |      21 |  1482261 |  1117045 |     1684   1569 |        0 |        0
436.51/436.79	c  436s |      21 |  1487142 |  1121445 |     1684   1573 |        0 |        0
438.61/438.80	c  438s |      21 |  1491536 |  1125445 |     1684   1577 |        0 |        0
440.61/440.82	c  440s |      21 |  1496650 |  1129945 |     1684   1581 |        0 |        0
442.61/442.82	c  442s |      21 |  1501804 |  1134545 |     1684   1585 |        0 |        0
444.61/444.84	c  444s |      21 |  1507108 |  1139145 |     1684   1590 |        0 |        0
446.61/446.88	c  446s |      21 |  1512101 |  1143445 |     1684   1594 |        0 |        0
448.71/448.91	c  448s |      21 |  1517076 |  1147845 |     1684   1598 |        0 |        0
450.71/450.93	c  450s |      21 |  1521741 |  1152045 |     1684   1602 |        0 |        0
452.71/452.94	c  452s |      21 |  1526701 |  1156545 |     1684   1606 |        0 |        0
454.70/454.96	c  454s |      21 |  1531299 |  1160645 |     1684   1610 |        0 |        0
456.70/456.97	c  456s |      21 |  1535818 |  1164745 |     1684   1614 |        0 |        0
458.70/458.98	c  458s |      21 |  1540413 |  1168945 |     1684   1618 |        0 |        0
460.71/460.99	c  460s |      21 |  1544604 |  1172745 |     1684   1621 |        0 |        0
462.80/463.00	c  462s |      21 |  1548704 |  1176445 |     1684   1625 |        0 |        0
464.80/465.03	c  465s |      21 |  1553660 |  1180845 |     1684   1629 |        0 |        0
466.79/467.07	c  467s |      21 |  1558931 |  1185445 |     1684   1633 |        0 |        0
468.89/469.11	c  469s |      21 |  1564052 |  1189945 |     1684   1637 |        0 |        0
470.89/471.11	c  471s |      21 |  1569164 |  1194445 |     1684   1641 |        0 |        0
472.90/473.14	c  473s |      21 |  1574022 |  1198645 |     1684   1645 |        0 |        0
474.89/475.16	c  475s |      21 |  1578765 |  1202845 |     1684   1649 |        0 |        0
476.89/477.16	c  477s |      21 |  1583681 |  1207245 |     1684   1653 |        0 |        0
478.89/479.18	c  479s |      21 |  1588106 |  1211245 |     1684   1657 |        0 |        0
480.89/481.19	c  481s |      21 |  1592075 |  1214845 |     1684   1661 |        0 |        0
482.99/483.22	c  483s |      21 |  1596987 |  1219245 |     1684   1665 |        0 |        0
485.08/485.31	c  485s |      21 |  1601461 |  1223245 |     1684   1668 |        0 |        0
487.09/487.35	c  487s |      21 |  1606170 |  1227345 |     1684   1672 |        0 |        0
489.08/489.35	c  489s |      21 |  1612219 |  1232545 |     1684   1677 |        0 |        0
491.08/491.37	c  491s |      21 |  1618022 |  1237545 |     1684   1682 |        0 |        0
493.18/493.41	c  493s |      21 |  1623028 |  1242045 |     1684   1686 |        0 |        0
495.17/495.41	c  495s |      21 |  1628048 |  1246445 |     1684   1690 |        0 |        0
497.17/497.46	c  497s |      21 |  1633059 |  1250945 |     1684   1694 |        0 |        0
499.18/499.46	c  499s |      21 |  1637949 |  1255245 |     1684   1698 |        0 |        0
501.17/501.50	c  501s |      21 |  1642692 |  1259445 |     1684   1702 |        0 |        0
503.27/503.50	c  503s |      21 |  1647500 |  1263645 |     1684   1706 |        0 |        0
505.26/505.54	c  505s |      21 |  1652318 |  1267945 |     1684   1710 |        0 |        0
507.26/507.56	c  507s |      21 |  1656435 |  1271645 |     1684   1714 |        0 |        0
509.36/509.61	c  509s |      21 |  1660170 |  1275045 |     1684   1717 |        0 |        0
511.37/511.66	c  511s |      21 |  1664805 |  1279045 |     1684   1721 |        0 |        0
513.36/513.70	c  513s |      21 |  1669511 |  1283245 |     1684   1724 |        0 |        0
515.46/515.74	c  515s |      21 |  1674321 |  1287445 |     1684   1728 |        0 |        0
517.46/517.76	c  517s |      21 |  1678760 |  1291445 |     1684   1732 |        0 |        0
519.46/519.77	c  519s |      21 |  1682985 |  1295245 |     1684   1736 |        0 |        0
521.46/521.78	c  521s |      21 |  1687533 |  1299345 |     1684   1739 |        0 |        0
523.46/523.78	c  523s |      21 |  1692170 |  1303445 |     1684   1743 |        0 |        0
525.45/525.78	c  525s |      21 |  1696944 |  1307745 |     1684   1747 |        0 |        0
527.45/527.78	c  527s |      21 |  1701262 |  1311645 |     1684   1751 |        0 |        0
529.56/529.82	c  529s |      21 |  1705777 |  1315645 |     1684   1755 |        0 |        0
531.56/531.84	c  531s |      21 |  1710034 |  1319445 |     1684   1758 |        0 |        0
533.56/533.86	c  533s |      21 |  1714747 |  1323645 |     1684   1762 |        0 |        0
535.65/535.91	c  535s |      21 |  1718533 |  1327045 |     1684   1765 |        0 |        0
537.66/537.95	c  537s |      21 |  1723482 |  1331445 |     1684   1770 |        0 |        0
539.65/539.97	c  539s |      21 |  1728286 |  1335745 |     1684   1774 |        0 |        0
541.65/541.98	c  541s |      21 |  1733340 |  1340345 |     1684   1778 |        0 |        0
543.65/543.99	c  543s |      21 |  1738293 |  1344845 |     1684   1782 |        0 |        0
545.75/546.01	c  545s |      21 |  1743353 |  1349445 |     1684   1786 |        0 |        0
547.74/548.02	c  548s |      21 |  1748280 |  1353945 |     1684   1791 |        0 |        0
549.75/550.02	c  550s |      21 |  1752893 |  1358145 |     1684   1794 |        0 |        0
551.74/552.05	c  552s |      21 |  1757175 |  1362045 |     1684   1798 |        0 |        0
553.74/554.09	c  554s |      21 |  1761672 |  1366145 |     1684   1802 |        0 |        0
555.74/556.09	c  556s |      21 |  1765890 |  1370045 |     1684   1806 |        0 |        0
557.84/558.12	c  558s |      21 |  1770555 |  1374245 |     1684   1810 |        0 |        0
559.84/560.13	c  560s |      21 |  1775017 |  1378245 |     1684   1813 |        0 |        0
561.85/562.17	c  562s |      21 |  1779661 |  1382445 |     1684   1817 |        0 |        0
563.94/564.22	c  564s |      21 |  1784069 |  1386445 |     1684   1821 |        0 |        0
565.93/566.25	c  566s |      21 |  1788505 |  1390445 |     1684   1825 |        0 |        0
567.93/568.26	c  568s |      21 |  1793040 |  1394545 |     1684   1829 |        0 |        0
569.93/570.29	c  570s |      21 |  1797193 |  1398345 |     1684   1832 |        0 |        0
572.03/572.31	c  572s |      21 |  1801860 |  1402545 |     1684   1836 |        0 |        0
574.04/574.34	c  574s |      21 |  1805938 |  1406245 |     1684   1839 |        0 |        0
576.03/576.35	c  576s |      21 |  1809933 |  1409845 |     1684   1843 |        0 |        0
578.03/578.38	c  578s |      21 |  1814397 |  1413845 |     1684   1847 |        0 |        0
580.02/580.38	c  580s |      21 |  1818375 |  1417445 |     1684   1850 |        0 |        0
582.02/582.39	c  582s |      21 |  1824075 |  1422545 |     1684   1855 |        0 |        0
584.12/584.40	c  584s |      21 |  1829016 |  1426945 |     1684   1859 |        0 |        0
586.13/586.42	c  586s |      21 |  1833961 |  1431345 |     1684   1863 |        0 |        0
588.12/588.43	c  588s |      21 |  1839249 |  1436045 |     1684   1867 |        0 |        0
590.12/590.47	c  590s |      21 |  1844308 |  1440545 |     1684   1872 |        0 |        0
592.12/592.48	c  592s |      21 |  1849072 |  1444745 |     1684   1876 |        0 |        0
594.22/594.50	c  594s |      21 |  1854032 |  1449145 |     1684   1880 |        0 |        0
596.22/596.51	c  596s |      21 |  1858873 |  1453445 |     1684   1884 |        0 |        0
598.22/598.54	c  598s |      21 |  1863772 |  1457845 |     1684   1888 |        0 |        0
600.22/600.58	c  600s |      21 |  1868283 |  1461845 |     1684   1892 |        0 |        0
602.31/602.63	c  602s |      21 |  1873052 |  1466045 |     1684   1895 |        0 |        0
604.31/604.67	c  604s |      21 |  1877295 |  1469845 |     1684   1899 |        0 |        0
606.31/606.67	c  606s |      21 |  1881444 |  1473445 |     1684   1902 |        0 |        0
608.41/608.71	c  608s |      21 |  1885325 |  1476945 |     1684   1906 |        0 |        0
610.41/610.72	c  610s |      21 |  1889314 |  1480545 |     1684   1909 |        0 |        0
612.41/612.76	c  612s |      21 |  1893218 |  1484045 |     1684   1912 |        0 |        0
614.41/614.78	c  614s |      21 |  1898010 |  1488045 |     1684   1916 |        0 |        0
616.50/616.80	c  616s |      21 |  1903018 |  1492345 |     1853   1920 |        0 |        0
618.50/618.80	c  618s |      21 |  1907770 |  1496545 |     1853   1923 |        0 |        0
620.40/620.79	c  620s |      22 |  1912293 |  1500622 |     1853   1927 |        0 |        0
622.41/622.79	c  622s |      22 |  1918853 |  1505222 |     1853   1932 |        0 |        0
624.51/624.81	c  624s |      22 |  1924881 |  1509422 |     1853   1936 |        0 |        0
626.50/626.85	c  626s |      22 |  1932079 |  1514422 |     1853   1941 |        0 |        0
628.49/628.87	c  628s |      22 |  1939623 |  1519022 |     1853   1945 |        0 |        0
630.59/630.90	c  630s |      22 |  1945062 |  1522922 |     1853   1949 |        0 |        0
632.59/632.90	c  632s |      22 |  1952472 |  1527922 |     1853   1954 |        0 |        0
634.59/634.93	c  634s |      22 |  1958002 |  1532622 |     1853   1958 |        0 |        0
636.60/636.96	c  636s |      22 |  1963482 |  1536822 |     1853   1963 |        0 |        0
638.59/638.98	c  638s |      22 |  1969134 |  1541122 |     1853   1967 |        0 |        0
640.59/640.98	c  640s |      22 |  1974695 |  1545622 |     1853   1971 |        0 |        0
642.70/643.02	c  643s |      22 |  1981278 |  1550422 |     1853   1976 |        0 |        0
644.70/645.05	c  645s |      22 |  1988404 |  1554722 |     1853   1980 |        0 |        0
646.69/647.09	c  647s |      22 |  1995440 |  1559622 |     1853   1985 |        0 |        0
648.80/649.13	c  649s |      22 |  2002097 |  1564022 |     1853   1989 |        0 |        0
650.79/651.19	c  651s |      22 |  2007800 |  1568622 |     1853   1994 |        0 |        0
652.89/653.21	c  653s |      22 |  2012341 |  1572422 |     1853   1997 |        0 |        0
654.89/655.21	c  655s |      22 |  2016877 |  1576322 |     1853   2001 |        0 |        0
656.89/657.25	c  657s |      22 |  2021737 |  1580522 |     1853   2005 |        0 |        0
658.89/659.27	c  659s |      22 |  2026037 |  1584322 |     1853   2009 |        0 |        0
660.99/661.31	c  661s |      22 |  2030122 |  1588022 |     1853   2013 |        0 |        0
663.00/663.32	c  663s |      22 |  2034373 |  1591722 |     1853   2017 |        0 |        0
664.99/665.34	c  665s |      22 |  2038119 |  1595022 |     1853   2020 |        0 |        0
666.98/667.34	c  667s |      22 |  2041789 |  1598222 |     1853   2023 |        0 |        0
668.98/669.37	c  669s |      22 |  2045504 |  1601522 |     1853   2026 |        0 |        0
670.98/671.39	c  671s |      22 |  2049216 |  1604722 |     1853   2029 |        0 |        0
673.08/673.42	c  673s |      22 |  2053367 |  1608322 |     1853   2033 |        0 |        0
675.09/675.46	c  675s |      22 |  2057418 |  1611922 |     1853   2036 |        0 |        0
677.08/677.47	c  677s |      22 |  2061743 |  1615522 |     1853   2040 |        0 |        0
679.08/679.48	c  679s |      22 |  2065893 |  1618922 |     1853   2043 |        0 |        0
681.18/681.51	c  681s |      22 |  2069857 |  1622422 |     1853   2047 |        0 |        0
683.17/683.54	c  683s |      22 |  2074003 |  1626022 |     1853   2050 |        0 |        0
685.17/685.59	c  685s |      22 |  2077693 |  1629322 |     1853   2054 |        0 |        0
687.28/687.65	c  687s |      22 |  2081589 |  1632822 |     1853   2057 |        0 |        0
689.27/689.69	c  689s |      22 |  2085272 |  1636022 |     1853   2060 |        0 |        0
691.37/691.75	c  691s |      22 |  2090226 |  1639222 |     1853   2063 |        0 |        0
693.47/693.82	c  693s |      22 |  2094675 |  1643022 |     1853   2067 |        0 |        0
695.46/695.84	c  695s |      22 |  2099523 |  1646822 |     1853   2071 |        0 |        0
697.56/697.90	c  697s |      22 |  2104333 |  1650522 |     1853   2075 |        0 |        0
699.56/699.93	c  699s |      22 |  2109212 |  1654422 |     1853   2078 |        0 |        0
701.57/701.95	c  701s |      22 |  2114809 |  1659322 |     1853   2083 |        0 |        0
703.56/704.00	c  703s |      22 |  2120143 |  1663922 |     1853   2087 |        0 |        0
705.66/706.04	c  706s |      22 |  2125445 |  1668522 |     1853   2092 |        0 |        0
707.66/708.07	c  708s |      22 |  2130589 |  1673122 |     1853   2096 |        0 |        0
709.66/710.09	c  710s |      22 |  2135546 |  1677522 |     1853   2101 |        0 |        0
711.76/712.12	c  712s |      22 |  2140292 |  1681722 |     1853   2105 |        0 |        0
713.76/714.17	c  714s |      22 |  2145037 |  1685922 |     1853   2109 |        0 |        0
715.76/716.19	c  716s |      22 |  2149835 |  1689922 |     1853   2113 |        0 |        0
717.85/718.21	c  718s |      22 |  2154376 |  1693822 |     1853   2117 |        0 |        0
719.85/720.22	c  720s |      22 |  2159104 |  1697822 |     1853   2120 |        0 |        0
721.85/722.23	c  722s |      22 |  2163265 |  1701322 |     1853   2124 |        0 |        0
723.85/724.28	c  724s |      22 |  2167683 |  1705022 |     1853   2127 |        0 |        0
725.95/726.31	c  726s |      22 |  2172276 |  1708622 |     1853   2131 |        0 |        0
727.96/728.32	c  728s |      22 |  2176864 |  1712522 |     1853   2135 |        0 |        0
729.95/730.36	c  730s |      22 |  2181179 |  1716322 |     1853   2138 |        0 |        0
732.05/732.41	c  732s |      22 |  2184790 |  1719522 |     1853   2141 |        0 |        0
734.05/734.42	c  734s |      22 |  2188435 |  1722822 |     1853   2145 |        0 |        0
736.04/736.45	c  736s |      22 |  2192506 |  1726222 |     1853   2148 |        0 |        0
738.14/738.51	c  738s |      22 |  2196759 |  1729422 |     1853   2151 |        0 |        0
740.14/740.54	c  740s |      22 |  2200866 |  1732822 |     1853   2154 |        0 |        0
742.15/742.59	c  742s |      22 |  2204750 |  1736322 |     1853   2158 |        0 |        0
744.24/744.62	c  744s |      22 |  2208906 |  1739422 |     1853   2161 |        0 |        0
746.23/746.62	c  746s |      22 |  2213441 |  1742822 |     1853   2164 |        0 |        0
748.23/748.66	c  748s |      22 |  2218102 |  1746022 |     1853   2167 |        0 |        0
750.23/750.67	c  750s |      22 |  2221691 |  1749222 |     1853   2170 |        0 |        0
752.23/752.68	c  752s |      22 |  2225083 |  1752022 |     1853   2173 |        0 |        0
754.34/754.74	c  754s |      22 |  2229863 |  1755422 |     1853   2176 |        0 |        0
756.33/756.76	c  756s |      22 |  2234121 |  1758322 |     1853   2179 |        0 |        0
758.33/758.78	c  758s |      22 |  2240005 |  1762622 |     1853   2183 |        0 |        0
760.43/760.84	c  760s |      22 |  2244744 |  1766522 |     1853   2187 |        0 |        0
762.43/762.89	c  762s |      22 |  2249188 |  1770222 |     1853   2191 |        0 |        0
764.43/764.89	c  764s |      22 |  2254465 |  1774222 |     1853   2195 |        0 |        0
766.52/766.91	c  766s |      22 |  2259911 |  1778322 |     1853   2199 |        0 |        0
768.53/768.96	c  768s |      22 |  2264276 |  1781822 |     1853   2202 |        0 |        0
770.52/770.98	c  770s |      22 |  2269025 |  1785422 |     1853   2206 |        0 |        0
772.62/773.04	c  773s |      22 |  2273967 |  1789022 |     1853   2209 |        0 |        0
774.62/775.08	c  775s |      22 |  2279321 |  1792622 |     1853   2213 |        0 |        0
776.72/777.13	c  777s |      22 |  2283701 |  1796022 |     1853   2216 |        0 |        0
778.72/779.13	c  779s |      22 |  2288644 |  1800222 |     1853   2220 |        0 |        0
780.72/781.14	c  781s |      22 |  2293231 |  1803922 |     1853   2224 |        0 |        0
782.72/783.17	c  783s |      22 |  2298379 |  1808022 |     1853   2228 |        0 |        0
784.81/785.23	c  785s |      22 |  2303372 |  1811922 |     1853   2231 |        0 |        0
786.81/787.26	c  787s |      22 |  2307620 |  1815522 |     1853   2235 |        0 |        0
788.91/789.31	c  789s |      22 |  2311291 |  1818622 |     1853   2238 |        0 |        0
790.91/791.36	c  791s |      22 |  2315259 |  1822022 |     1853   2241 |        0 |        0
792.91/793.39	c  793s |      22 |  2318544 |  1824922 |     1853   2244 |        0 |        0
795.02/795.45	c  795s |      22 |  2322222 |  1828122 |     1853   2247 |        0 |        0
797.01/797.45	c  797s |      22 |  2325477 |  1831022 |     1853   2250 |        0 |        0
799.01/799.46	c  799s |      22 |  2328896 |  1833822 |     1853   2253 |        0 |        0
801.01/801.48	c  801s |      22 |  2332636 |  1837122 |     1853   2256 |        0 |        0
803.01/803.49	c  803s |      22 |  2337316 |  1840722 |     1853   2260 |        0 |        0
805.11/805.52	c  805s |      22 |  2342366 |  1844022 |     1853   2263 |        0 |        0
807.12/807.54	c  807s |      22 |  2346888 |  1847522 |     1853   2266 |        0 |        0
809.11/809.54	c  809s |      22 |  2350606 |  1850822 |     1853   2269 |        0 |        0
811.21/811.60	c  811s |      22 |  2354284 |  1854022 |     1853   2273 |        0 |        0
813.21/813.62	c  813s |      22 |  2357767 |  1857122 |     1853   2276 |        0 |        0
815.21/815.66	c  815s |      22 |  2362315 |  1860622 |     1853   2279 |        0 |        0
817.31/817.71	c  817s |      22 |  2366997 |  1864522 |     1853   2283 |        0 |        0
819.31/819.73	c  819s |      22 |  2372228 |  1868522 |     1853   2287 |        0 |        0
821.32/821.75	c  821s |      22 |  2377306 |  1872722 |     1853   2291 |        0 |        0
823.31/823.75	c  823s |      22 |  2381827 |  1876722 |     1853   2295 |        0 |        0
825.31/825.76	c  825s |      22 |  2386283 |  1880622 |     1853   2298 |        0 |        0
827.41/827.81	c  827s |      22 |  2390623 |  1884022 |     1853   2302 |        0 |        0
829.41/829.86	c  829s |      22 |  2394811 |  1887622 |     1853   2305 |        0 |        0
831.41/831.87	c  831s |      22 |  2398823 |  1891022 |     1853   2309 |        0 |        0
833.52/833.92	c  833s |      22 |  2403032 |  1894622 |     1853   2312 |        0 |        0
835.51/835.96	c  835s |      22 |  2406941 |  1898022 |     1853   2315 |        0 |        0
837.51/837.97	c  837s |      22 |  2411126 |  1901722 |     1853   2319 |        0 |        0
839.61/840.00	c  839s |      22 |  2415415 |  1905522 |     1853   2323 |        0 |        0
841.61/842.00	c  841s |      22 |  2419450 |  1909122 |     1853   2326 |        0 |        0
843.61/844.03	c  844s |      22 |  2423950 |  1912922 |     1853   2330 |        0 |        0
845.61/846.08	c  846s |      22 |  2428417 |  1916922 |     1853   2334 |        0 |        0
847.61/848.09	c  848s |      22 |  2432526 |  1920422 |     1853   2337 |        0 |        0
849.60/850.09	c  850s |      22 |  2436586 |  1923822 |     1853   2341 |        0 |        0
851.70/852.13	c  852s |      22 |  2440885 |  1927622 |     1853   2344 |        0 |        0
853.70/854.16	c  854s |      22 |  2444674 |  1931022 |     1853   2348 |        0 |        0
855.70/856.19	c  856s |      22 |  2448742 |  1934722 |     1853   2351 |        0 |        0
857.80/858.20	c  858s |      22 |  2452641 |  1938222 |     1853   2355 |        0 |        0
859.81/860.22	c  860s |      22 |  2456117 |  1941222 |     1853   2358 |        0 |        0
861.80/862.23	c  862s |      22 |  2459184 |  1943822 |     1853   2360 |        0 |        0
863.80/864.24	c  864s |      22 |  2462065 |  1946422 |     1853   2363 |        0 |        0
865.80/866.29	c  866s |      22 |  2464747 |  1948822 |     1853   2365 |        0 |        0
867.90/868.37	c  868s |      22 |  2467205 |  1951022 |     1853   2367 |        0 |        0
869.90/870.39	c  870s |      22 |  2471709 |  1954722 |     1853   2371 |        0 |        0
872.00/872.43	c  872s |      22 |  2476377 |  1958722 |     1853   2375 |        0 |        0
874.00/874.46	c  874s |      22 |  2480713 |  1962522 |     1853   2379 |        0 |        0
876.10/876.50	c  876s |      22 |  2485009 |  1966322 |     1853   2382 |        0 |        0
878.10/878.55	c  878s |      22 |  2489170 |  1969922 |     1853   2386 |        0 |        0
880.20/880.60	c  880s |      22 |  2493604 |  1973622 |     1853   2390 |        0 |        0
882.20/882.61	c  882s |      22 |  2497969 |  1977122 |     1853   2393 |        0 |        0
884.20/884.64	c  884s |      22 |  2502998 |  1981422 |     1853   2397 |        0 |        0
886.20/886.64	c  886s |      22 |  2507260 |  1985122 |     1853   2401 |        0 |        0
888.20/888.67	c  888s |      22 |  2511503 |  1988922 |     1853   2404 |        0 |        0
890.19/890.68	c  890s |      22 |  2515437 |  1992422 |     1853   2408 |        0 |        0
892.19/892.69	c  892s |      22 |  2519328 |  1996022 |     1853   2411 |        0 |        0
894.29/894.75	c  894s |      22 |  2523425 |  1999522 |     1853   2415 |        0 |        0
896.29/896.77	c  896s |      22 |  2526911 |  2002722 |     1853   2418 |        0 |        0
898.30/898.80	c  898s |      22 |  2531613 |  2006422 |     1853   2422 |        0 |        0
900.39/900.82	c  900s |      22 |  2535841 |  2010122 |     1853   2425 |        0 |        0
902.39/902.88	c  902s |      22 |  2539604 |  2013522 |     1853   2428 |        0 |        0
904.49/904.92	c  904s |      22 |  2543319 |  2016822 |     1853   2432 |        0 |        0
906.49/906.94	c  906s |      22 |  2548699 |  2021222 |     1853   2436 |        0 |        0
908.49/908.95	c  908s |      22 |  2553507 |  2025322 |     1853   2440 |        0 |        0
910.50/910.96	c  910s |      22 |  2558151 |  2029322 |     1853   2444 |        0 |        0
912.49/913.00	c  912s |      22 |  2563260 |  2033722 |     1853   2448 |        0 |        0
914.59/915.00	c  914s |      22 |  2567689 |  2037622 |     1853   2452 |        0 |        0
916.59/917.01	c  916s |      22 |  2572303 |  2041722 |     1853   2456 |        0 |        0
918.59/919.03	c  919s |      22 |  2576651 |  2045522 |     1853   2460 |        0 |        0
920.59/921.07	c  921s |      22 |  2580842 |  2049222 |     1853   2463 |        0 |        0
922.69/923.10	c  923s |      22 |  2584844 |  2052722 |     1853   2467 |        0 |        0
924.70/925.11	c  925s |      22 |  2588827 |  2056322 |     1853   2470 |        0 |        0
926.69/927.17	c  927s |      22 |  2592791 |  2059922 |     1853   2474 |        0 |        0
928.69/929.18	c  929s |      22 |  2596443 |  2063222 |     1853   2477 |        0 |        0
930.79/931.25	c  931s |      22 |  2600394 |  2066722 |     1853   2481 |        0 |        0
932.79/933.29	c  933s |      22 |  2603750 |  2069622 |     1853   2483 |        0 |        0
934.79/935.29	c  935s |      22 |  2607777 |  2073122 |     1853   2487 |        0 |        0
936.89/937.32	c  937s |      22 |  2611692 |  2076622 |     1853   2490 |        0 |        0
938.89/939.34	c  939s |      22 |  2615739 |  2080222 |     1853   2494 |        0 |        0
940.89/941.36	c  941s |      22 |  2619695 |  2083722 |     1853   2497 |        0 |        0
942.99/943.43	c  943s |      22 |  2623414 |  2087022 |     1853   2500 |        0 |        0
944.98/945.47	c  945s |      22 |  2627278 |  2090422 |     1853   2504 |        0 |        0
947.08/947.50	c  947s |      22 |  2630818 |  2093522 |     1853   2507 |        0 |        0
949.08/949.57	c  949s |      22 |  2635165 |  2097122 |     1853   2510 |        0 |        0
951.09/951.60	c  951s |      22 |  2639328 |  2100522 |     1853   2514 |        0 |        0
953.18/953.64	c  953s |      22 |  2643733 |  2103822 |     1853   2517 |        0 |        0
955.18/955.65	c  955s |      22 |  2647943 |  2107322 |     1853   2520 |        0 |        0
957.18/957.65	c  957s |      22 |  2652741 |  2110622 |     1853   2523 |        0 |        0
959.18/959.68	c  959s |      22 |  2656712 |  2113722 |     1853   2527 |        0 |        0
961.18/961.69	c  961s |      22 |  2660239 |  2116622 |     1853   2529 |        0 |        0
963.29/963.72	c  963s |      22 |  2663449 |  2119422 |     1853   2532 |        0 |        0
965.29/965.76	c  965s |      22 |  2667569 |  2122822 |     1853   2535 |        0 |        0
967.29/967.78	c  967s |      22 |  2671335 |  2126122 |     1853   2539 |        0 |        0
969.39/969.82	c  969s |      22 |  2675207 |  2129522 |     1853   2542 |        0 |        0
971.39/971.86	c  971s |      22 |  2678888 |  2132622 |     1853   2545 |        0 |        0
973.39/973.88	c  973s |      22 |  2681975 |  2135222 |     1853   2548 |        0 |        0
975.39/975.88	c  975s |      22 |  2685297 |  2138122 |     1853   2550 |        0 |        0
977.39/977.90	c  977s |      22 |  2688831 |  2141222 |     1853   2553 |        0 |        0
979.49/979.95	c  979s |      22 |  2692446 |  2144222 |     1853   2556 |        0 |        0
981.59/982.00	c  981s |      22 |  2696265 |  2147422 |     1853   2559 |        0 |        0
983.59/984.08	c  984s |      22 |  2699635 |  2150322 |     1853   2562 |        0 |        0
985.69/986.14	c  986s |      22 |  2702819 |  2153122 |     1853   2565 |        0 |        0
987.69/988.19	c  988s |      22 |  2706481 |  2156222 |     1853   2568 |        0 |        0
989.79/990.24	c  990s |      22 |  2709810 |  2159022 |     1853   2571 |        0 |        0
991.79/992.25	c  992s |      22 |  2713209 |  2161922 |     1853   2574 |        0 |        0
993.78/994.26	c  994s |      22 |  2716680 |  2164822 |     1853   2577 |        0 |        0
995.78/996.27	c  996s |      22 |  2720046 |  2167622 |     1853   2579 |        0 |        0
997.88/998.33	c  998s |      22 |  2723817 |  2170722 |     1853   2582 |        0 |        0
999.98/1000.40	c 1000s |      22 |  2727204 |  2173622 |     1853   2585 |        0 |        0
1001.98/1002.42	c 1002s |      22 |  2731010 |  2176622 |     1853   2588 |        0 |        0
1003.99/1004.43	c 1004s |      22 |  2734136 |  2179322 |     1853   2591 |        0 |        0
1005.98/1006.45	c 1006s |      22 |  2737188 |  2182022 |     1853   2593 |        0 |        0
1008.08/1008.55	c 1008s |      22 |  2740299 |  2184722 |     1853   2596 |        0 |        0
1010.08/1010.58	c 1010s |      22 |  2743301 |  2187322 |     1853   2599 |        0 |        0
1012.18/1012.63	c 1012s |      22 |  2746255 |  2189922 |     1853   2601 |        0 |        0
1014.18/1014.65	c 1014s |      22 |  2749505 |  2192722 |     1853   2604 |        0 |        0
1016.28/1016.71	c 1016s |      22 |  2752716 |  2195422 |     1853   2607 |        0 |        0
1018.28/1018.76	c 1018s |      22 |  2757139 |  2198522 |     1853   2610 |        0 |        0
1020.28/1020.77	c 1020s |      22 |  2760845 |  2201422 |     1853   2612 |        0 |        0
1022.28/1022.77	c 1022s |      22 |  2764890 |  2204222 |     1853   2615 |        0 |        0
1024.38/1024.82	c 1024s |      22 |  2770618 |  2208322 |     1853   2619 |        0 |        0
1026.38/1026.87	c 1026s |      22 |  2774672 |  2211822 |     1853   2623 |        0 |        0
1028.47/1028.91	c 1028s |      22 |  2780817 |  2215922 |     1853   2627 |        0 |        0
1030.47/1030.91	c 1030s |      22 |  2785740 |  2220222 |     1853   2631 |        0 |        0
1032.48/1032.92	c 1032s |      22 |  2790176 |  2224222 |     1853   2635 |        0 |        0
1034.47/1034.96	c 1034s |      22 |  2794914 |  2228522 |     1853   2639 |        0 |        0
1036.47/1036.98	c 1036s |      22 |  2799448 |  2232622 |     1853   2643 |        0 |        0
1038.57/1039.00	c 1038s |      22 |  2803756 |  2236522 |     2039   2646 |        0 |        0
1040.57/1041.05	c 1041s |      22 |  2808710 |  2240622 |     2039   2650 |        0 |        0
1042.57/1043.05	c 1043s |      22 |  2813086 |  2244422 |     2039   2653 |        0 |        0
1044.58/1045.06	c 1045s |      22 |  2817512 |  2248022 |     2039   2656 |        0 |        0
1046.57/1047.07	c 1047s |      22 |  2821121 |  2251022 |     2039   2659 |        0 |        0
1046.57/1047.08	c 1047s |      23 |  2821141 |  2251038 |     2039   2659 |        0 |        0
1048.57/1049.09	c 1049s |      23 |  2826980 |  2255938 |     2039   2663 |        0 |        0
1050.67/1051.14	c 1051s |      23 |  2831871 |  2259738 |     2039   2667 |        0 |        0
1052.67/1053.18	c 1053s |      23 |  2836192 |  2263638 |     2039   2670 |        0 |        0
1054.77/1055.20	c 1055s |      23 |  2840541 |  2267538 |     2039   2674 |        0 |        0
1056.77/1057.21	c 1057s |      23 |  2844715 |  2271338 |     2039   2677 |        0 |        0
1058.77/1059.24	c 1059s |      23 |  2849658 |  2275138 |     2039   2680 |        0 |        0
1060.77/1061.25	c 1061s |      23 |  2854345 |  2279338 |     2039   2684 |        0 |        0
1062.78/1063.26	c 1063s |      23 |  2859210 |  2283738 |     2039   2688 |        0 |        0
1064.78/1065.28	c 1065s |      23 |  2864248 |  2287638 |     2039   2692 |        0 |        0
1066.77/1067.28	c 1067s |      23 |  2868578 |  2291438 |     2039   2695 |        0 |        0
1068.88/1069.33	c 1069s |      23 |  2873324 |  2295738 |     2039   2699 |        0 |        0
1070.87/1071.37	c 1071s |      23 |  2878886 |  2299938 |     2039   2703 |        0 |        0
1072.87/1073.38	c 1073s |      23 |  2883379 |  2303938 |     2039   2706 |        0 |        0
1074.97/1075.42	c 1075s |      23 |  2887237 |  2307438 |     2039   2709 |        0 |        0
1076.97/1077.43	c 1077s |      23 |  2891913 |  2311138 |     2039   2713 |        0 |        0
1078.97/1079.44	c 1079s |      23 |  2896921 |  2315438 |     2039   2717 |        0 |        0
1080.98/1081.45	c 1081s |      23 |  2901645 |  2319638 |     2039   2720 |        0 |        0
1082.97/1083.46	c 1083s |      23 |  2906483 |  2323938 |     2039   2724 |        0 |        0
1084.97/1085.47	c 1085s |      23 |  2910684 |  2327738 |     2039   2728 |        0 |        0
1087.07/1087.50	c 1087s |      23 |  2915899 |  2331638 |     2039   2731 |        0 |        0
1089.07/1089.54	c 1089s |      23 |  2919875 |  2335138 |     2039   2734 |        0 |        0
1091.07/1091.56	c 1091s |      23 |  2924197 |  2338938 |     2039   2738 |        0 |        0
1093.08/1093.58	c 1093s |      23 |  2928059 |  2342438 |     2039   2741 |        0 |        0
1095.18/1095.63	c 1095s |      23 |  2932036 |  2346038 |     2039   2744 |        0 |        0
1097.17/1097.65	c 1097s |      23 |  2936456 |  2349438 |     2039   2747 |        0 |        0
1099.17/1099.65	c 1099s |      23 |  2940093 |  2352638 |     2039   2750 |        0 |        0
1101.17/1101.69	c 1101s |      23 |  2944040 |  2356138 |     2039   2753 |        0 |        0
1103.27/1103.74	c 1103s |      23 |  2947608 |  2359338 |     2039   2756 |        0 |        0
1105.27/1105.77	c 1105s |      23 |  2951408 |  2362738 |     2039   2759 |        0 |        0
1107.27/1107.79	c 1107s |      23 |  2956308 |  2367138 |     2039   2763 |        0 |        0
1109.37/1109.81	c 1109s |      23 |  2961230 |  2371538 |     2039   2767 |        0 |        0
1111.37/1111.81	c 1111s |      23 |  2966121 |  2375938 |     2039   2771 |        0 |        0
1113.36/1113.81	c 1113s |      23 |  2970817 |  2380038 |     2039   2775 |        0 |        0
1115.36/1115.82	c 1115s |      23 |  2975688 |  2384138 |     2039   2779 |        0 |        0
1117.36/1117.84	c 1117s |      23 |  2980215 |  2388038 |     2039   2782 |        0 |        0
1119.37/1119.87	c 1119s |      23 |  2984805 |  2391938 |     2039   2786 |        0 |        0
1121.46/1121.90	c 1121s |      23 |  2989343 |  2395938 |     2039   2789 |        0 |        0
1123.46/1123.92	c 1123s |      23 |  2993330 |  2399538 |     2039   2792 |        0 |        0
1125.46/1125.95	c 1125s |      23 |  2997878 |  2403638 |     2039   2796 |        0 |        0
1127.46/1127.95	c 1127s |      23 |  3002425 |  2407738 |     2039   2800 |        0 |        0
1129.46/1129.97	c 1129s |      23 |  3007013 |  2411938 |     2039   2804 |        0 |        0
1131.47/1131.98	c 1131s |      23 |  3012124 |  2416438 |     2039   2808 |        0 |        0
1133.56/1134.04	c 1134s |      23 |  3016875 |  2420738 |     2039   2812 |        0 |        0
1135.56/1136.08	c 1136s |      23 |  3021254 |  2424738 |     2039   2815 |        0 |        0
1137.66/1138.12	c 1138s |      23 |  3025255 |  2428438 |     2039   2819 |        0 |        0
1139.66/1140.17	c 1140s |      23 |  3029693 |  2432438 |     2039   2822 |        0 |        0
1141.66/1142.18	c 1142s |      23 |  3033874 |  2436238 |     2039   2826 |        0 |        0
1143.76/1144.22	c 1144s |      23 |  3038117 |  2440038 |     2039   2829 |        0 |        0
1145.76/1146.24	c 1146s |      23 |  3042394 |  2443738 |     2039   2832 |        0 |        0
1147.76/1148.28	c 1148s |      23 |  3046431 |  2447338 |     2039   2836 |        0 |        0
1149.85/1150.30	c 1150s |      23 |  3052475 |  2452138 |     2039   2840 |        0 |        0
1151.85/1152.33	c 1152s |      23 |  3057274 |  2456238 |     2039   2844 |        0 |        0
1153.85/1154.36	c 1154s |      23 |  3061869 |  2460238 |     2039   2847 |        0 |        0
1155.85/1156.39	c 1156s |      23 |  3066498 |  2464238 |     2039   2851 |        0 |        0
1157.96/1158.45	c 1158s |      23 |  3071144 |  2468338 |     2039   2855 |        0 |        0
1159.95/1160.47	c 1160s |      23 |  3075362 |  2472038 |     2039   2858 |        0 |        0
1161.95/1162.47	c 1162s |      23 |  3080534 |  2476638 |     2039   2862 |        0 |        0
1164.05/1164.53	c 1164s |      23 |  3085770 |  2481338 |     2039   2866 |        0 |        0
1166.05/1166.54	c 1166s |      23 |  3090582 |  2485538 |     2039   2870 |        0 |        0
1168.06/1168.59	c 1168s |      23 |  3095185 |  2489438 |     2039   2874 |        0 |        0
1170.16/1170.62	c 1170s |      23 |  3098945 |  2492638 |     2039   2876 |        0 |        0
1172.17/1172.67	c 1172s |      23 |  3102613 |  2495838 |     2039   2879 |        0 |        0
1174.16/1174.69	c 1174s |      23 |  3106589 |  2499338 |     2039   2883 |        0 |        0
1176.26/1176.71	c 1176s |      23 |  3110592 |  2502838 |     2039   2886 |        0 |        0
1178.26/1178.74	c 1178s |      23 |  3114428 |  2506138 |     2039   2889 |        0 |        0
1180.26/1180.78	c 1180s |      23 |  3118102 |  2509338 |     2039   2892 |        0 |        0
1182.36/1182.81	c 1182s |      23 |  3121815 |  2512638 |     2039   2895 |        0 |        0
1184.36/1184.82	c 1184s |      23 |  3125678 |  2516038 |     2039   2898 |        0 |        0
1186.35/1186.82	c 1186s |      23 |  3129459 |  2519438 |     2039   2901 |        0 |        0
1188.35/1188.89	c 1188s |      23 |  3132878 |  2522538 |     2039   2903 |        0 |        0
1190.45/1190.91	c 1190s |      23 |  3137861 |  2526238 |     2039   2907 |        0 |        0
1192.45/1192.91	c 1192s |      23 |  3141970 |  2529838 |     2039   2910 |        0 |        0
1194.45/1194.92	c 1194s |      23 |  3145985 |  2533438 |     2039   2913 |        0 |        0
1196.46/1196.97	c 1196s |      23 |  3150000 |  2537038 |     2039   2917 |        0 |        0
1198.45/1198.99	c 1198s |      23 |  3154450 |  2540838 |     2039   2920 |        0 |        0
1200.55/1201.03	c 1201s |      23 |  3158955 |  2544838 |     2039   2924 |        0 |        0
1202.55/1203.08	c 1203s |      23 |  3164099 |  2549338 |     2039   2928 |        0 |        0
1204.65/1205.10	c 1205s |      23 |  3168560 |  2553338 |     2039   2931 |        0 |        0
1206.65/1207.13	c 1207s |      23 |  3173544 |  2557738 |     2039   2935 |        0 |        0
1208.65/1209.13	c 1209s |      23 |  3178424 |  2562038 |     2039   2939 |        0 |        0
1210.65/1211.14	c 1211s |      23 |  3183106 |  2566238 |     2039   2943 |        0 |        0
1212.65/1213.18	c 1213s |      23 |  3187568 |  2570138 |     2039   2946 |        0 |        0
1214.75/1215.23	c 1215s |      23 |  3191852 |  2573938 |     2039   2950 |        0 |        0
1216.75/1217.25	c 1217s |      23 |  3195992 |  2577638 |     2039   2953 |        0 |        0
1218.75/1219.27	c 1219s |      23 |  3200059 |  2581238 |     2039   2956 |        0 |        0
1220.85/1221.31	c 1221s |      23 |  3205234 |  2585838 |     2039   2960 |        0 |        0
1222.85/1223.31	c 1223s |      23 |  3209486 |  2589638 |     2039   2964 |        0 |        0
1224.84/1225.32	c 1225s |      23 |  3213586 |  2593338 |     2039   2967 |        0 |        0
1226.84/1227.36	c 1227s |      23 |  3218224 |  2597538 |     2039   2971 |        0 |        0
1228.84/1229.39	c 1229s |      23 |  3222441 |  2601238 |     2039   2974 |        0 |        0
1230.94/1231.44	c 1231s |      23 |  3226595 |  2604938 |     2039   2978 |        0 |        0
1232.94/1233.45	c 1233s |      23 |  3230937 |  2608738 |     2039   2981 |        0 |        0
1234.95/1235.49	c 1235s |      23 |  3236508 |  2613538 |     2039   2985 |        0 |        0
1237.05/1237.52	c 1237s |      23 |  3241734 |  2618038 |     2039   2989 |        0 |        0
1239.04/1239.53	c 1239s |      23 |  3246869 |  2622338 |     2039   2993 |        0 |        0
1241.05/1241.55	c 1241s |      23 |  3251874 |  2626638 |     2039   2997 |        0 |        0
1243.05/1243.55	c 1243s |      23 |  3256501 |  2630738 |     2039   3001 |        0 |        0
1245.05/1245.55	c 1245s |      23 |  3261685 |  2635038 |     2039   3005 |        0 |        0
1247.05/1247.55	c 1247s |      23 |  3266666 |  2639338 |     2039   3009 |        0 |        0
1249.05/1249.58	c 1249s |      23 |  3271417 |  2643238 |     2039   3012 |        0 |        0
1251.15/1251.63	c 1251s |      23 |  3276020 |  2647038 |     2039   3016 |        0 |        0
1253.15/1253.68	c 1253s |      23 |  3280805 |  2651138 |     2039   3019 |        0 |        0
1255.25/1255.70	c 1255s |      23 |  3284932 |  2654838 |     2039   3023 |        0 |        0
1257.24/1257.72	c 1257s |      23 |  3289846 |  2659038 |     2039   3027 |        0 |        0
1259.24/1259.73	c 1259s |      23 |  3294581 |  2663238 |     2039   3030 |        0 |        0
1261.25/1261.76	c 1261s |      23 |  3299996 |  2667838 |     2039   3034 |        0 |        0
1263.34/1263.80	c 1263s |      23 |  3305220 |  2672338 |     2039   3039 |        0 |        0
1265.34/1265.80	c 1265s |      23 |  3310204 |  2676638 |     2039   3042 |        0 |        0
1267.34/1267.82	c 1267s |      23 |  3315669 |  2681238 |     2039   3047 |        0 |        0
1269.34/1269.83	c 1269s |      23 |  3321003 |  2685738 |     2039   3051 |        0 |        0
1271.34/1271.87	c 1271s |      23 |  3326376 |  2690438 |     2039   3055 |        0 |        0
1273.35/1273.88	c 1273s |      23 |  3331509 |  2694938 |     2039   3059 |        0 |        0
1275.44/1275.93	c 1275s |      23 |  3337009 |  2699738 |     2039   3063 |        0 |        0
1277.44/1277.96	c 1277s |      23 |  3342527 |  2704438 |     2039   3068 |        0 |        0
1279.44/1279.99	c 1279s |      23 |  3347798 |  2709038 |     2039   3072 |        0 |        0
1281.54/1282.00	c 1281s |      23 |  3353055 |  2713738 |     2039   3076 |        0 |        0
1283.53/1284.01	c 1283s |      23 |  3357880 |  2717938 |     2039   3080 |        0 |        0
1285.54/1286.05	c 1286s |      23 |  3363188 |  2722438 |     2039   3084 |        0 |        0
1287.53/1288.07	c 1288s |      23 |  3368149 |  2726738 |     2039   3088 |        0 |        0
1289.63/1290.11	c 1290s |      23 |  3373253 |  2731138 |     2039   3092 |        0 |        0
1291.63/1292.14	c 1292s |      23 |  3378007 |  2735338 |     2039   3096 |        0 |        0
1293.73/1294.21	c 1294s |      23 |  3382859 |  2739638 |     2039   3100 |        0 |        0
1295.73/1296.27	c 1296s |      23 |  3387994 |  2744038 |     2039   3104 |        0 |        0
1297.83/1298.34	c 1298s |      23 |  3393017 |  2748438 |     2039   3108 |        0 |        0
1299.84/1300.36	c 1300s |      23 |  3398013 |  2752838 |     2039   3112 |        0 |        0
1301.83/1302.40	c 1302s |      23 |  3403029 |  2757238 |     2039   3115 |        0 |        0
1303.93/1304.42	c 1304s |      23 |  3408206 |  2761738 |     2039   3120 |        0 |        0
1305.93/1306.42	c 1306s |      23 |  3412956 |  2765938 |     2039   3123 |        0 |        0
1307.93/1308.48	c 1308s |      23 |  3418198 |  2770538 |     2039   3128 |        0 |        0
1310.03/1310.51	c 1310s |      23 |  3423466 |  2775138 |     2039   3132 |        0 |        0
1312.03/1312.53	c 1312s |      23 |  3428244 |  2779338 |     2039   3136 |        0 |        0
1314.04/1314.55	c 1314s |      23 |  3433193 |  2783638 |     2039   3139 |        0 |        0
1316.03/1316.59	c 1316s |      23 |  3438200 |  2788038 |     2039   3143 |        0 |        0
1318.13/1318.60	c 1318s |      23 |  3442634 |  2792038 |     2039   3147 |        0 |        0
1320.13/1320.63	c 1320s |      23 |  3447409 |  2796238 |     2039   3151 |        0 |        0
1322.13/1322.67	c 1322s |      23 |  3451630 |  2800038 |     2039   3154 |        0 |        0
1324.13/1324.68	c 1324s |      23 |  3456301 |  2804138 |     2039   3158 |        0 |        0
1326.13/1326.69	c 1326s |      23 |  3460602 |  2807938 |     2039   3162 |        0 |        0
1328.23/1328.72	c 1328s |      23 |  3465593 |  2812338 |     2039   3165 |        0 |        0
1330.23/1330.72	c 1330s |      23 |  3470580 |  2816738 |     2039   3169 |        0 |        0
1332.23/1332.76	c 1332s |      23 |  3475305 |  2821038 |     2039   3173 |        0 |        0
1334.23/1334.78	c 1334s |      23 |  3479883 |  2825138 |     2039   3177 |        0 |        0
1336.33/1336.80	c 1336s |      23 |  3484814 |  2829638 |     2039   3181 |        0 |        0
1338.34/1338.81	c 1338s |      23 |  3489586 |  2833938 |     2039   3185 |        0 |        0
1340.33/1340.84	c 1340s |      23 |  3495403 |  2839138 |     2039   3190 |        0 |        0
1342.33/1342.84	c 1342s |      23 |  3500883 |  2844138 |     2039   3194 |        0 |        0
1344.33/1344.86	c 1344s |      23 |  3506594 |  2849238 |     2039   3199 |        0 |        0
1346.43/1346.91	c 1346s |      23 |  3512303 |  2854338 |     2039   3204 |        0 |        0
1348.43/1348.91	c 1348s |      23 |  3517851 |  2859338 |     2039   3208 |        0 |        0
1350.44/1350.96	c 1350s |      23 |  3523390 |  2864338 |     2039   3213 |        0 |        0
1352.43/1352.98	c 1352s |      23 |  3528999 |  2869338 |     2039   3217 |        0 |        0
1354.53/1355.01	c 1354s |      23 |  3534900 |  2874538 |     2039   3222 |        0 |        0
1356.53/1357.04	c 1357s |      23 |  3540257 |  2879338 |     2039   3226 |        0 |        0
1358.53/1359.09	c 1359s |      23 |  3545445 |  2883938 |     2039   3230 |        0 |        0
1360.63/1361.11	c 1361s |      23 |  3550794 |  2888538 |     2039   3234 |        0 |        0
1362.63/1363.15	c 1363s |      23 |  3556223 |  2893338 |     2039   3239 |        0 |        0
1364.63/1365.17	c 1365s |      23 |  3561954 |  2898338 |     2039   3243 |        0 |        0
1366.63/1367.17	c 1367s |      23 |  3567526 |  2903338 |     2039   3248 |        0 |        0
1368.63/1369.18	c 1369s |      23 |  3573000 |  2908238 |     2039   3252 |        0 |        0
1370.73/1371.21	c 1371s |      23 |  3578575 |  2913238 |     2039   3257 |        0 |        0
1372.73/1373.22	c 1373s |      23 |  3584021 |  2918138 |     2039   3261 |        0 |        0
1374.73/1375.24	c 1375s |      23 |  3589393 |  2922938 |     2039   3266 |        0 |        0
1376.73/1377.28	c 1377s |      23 |  3595148 |  2928038 |     2039   3270 |        0 |        0
1378.72/1379.29	c 1379s |      23 |  3600881 |  2933038 |     2039   3275 |        0 |        0
1380.82/1381.30	c 1381s |      23 |  3606137 |  2937838 |     2039   3279 |        0 |        0
1382.82/1383.31	c 1383s |      23 |  3611573 |  2942738 |     2039   3284 |        0 |        0
1384.82/1385.34	c 1385s |      23 |  3617725 |  2948138 |     2039   3288 |        0 |        0
1386.82/1387.36	c 1387s |      23 |  3622965 |  2952738 |     2039   3293 |        0 |        0
1388.83/1389.39	c 1389s |      23 |  3628284 |  2957338 |     2039   3297 |        0 |        0
1390.92/1391.40	c 1391s |      23 |  3633092 |  2961638 |     2039   3301 |        0 |        0
1392.92/1393.42	c 1393s |      23 |  3637905 |  2965838 |     2039   3305 |        0 |        0
1394.92/1395.47	c 1395s |      23 |  3642945 |  2970138 |     2039   3308 |        0 |        0
1397.02/1397.51	c 1397s |      23 |  3647996 |  2974638 |     2039   3313 |        0 |        0
1399.02/1399.52	c 1399s |      23 |  3653339 |  2979238 |     2039   3317 |        0 |        0
1401.03/1401.53	c 1401s |      23 |  3659005 |  2984338 |     2039   3321 |        0 |        0
1403.02/1403.58	c 1403s |      23 |  3664278 |  2989038 |     2039   3326 |        0 |        0
1405.02/1405.58	c 1405s |      23 |  3669561 |  2993738 |     2039   3330 |        0 |        0
1407.12/1407.61	c 1407s |      23 |  3675037 |  2998638 |     2039   3334 |        0 |        0
1409.12/1409.65	c 1409s |      23 |  3680469 |  3003438 |     2039   3339 |        0 |        0
1411.12/1411.67	c 1411s |      23 |  3685663 |  3008138 |     2039   3343 |        0 |        0
1413.12/1413.68	c 1413s |      23 |  3690848 |  3012838 |     2039   3347 |        0 |        0
1415.12/1415.68	c 1415s |      23 |  3696418 |  3017838 |     2039   3352 |        0 |        0
1417.22/1417.70	c 1417s |      23 |  3701752 |  3022638 |     2039   3356 |        0 |        0
1419.22/1419.72	c 1419s |      23 |  3707313 |  3027638 |     2039   3361 |        0 |        0
1421.21/1421.73	c 1421s |      23 |  3712891 |  3032438 |     2039   3365 |        0 |        0
1423.21/1423.76	c 1423s |      23 |  3718395 |  3037338 |     2039   3369 |        0 |        0
1425.22/1425.79	c 1425s |      23 |  3724002 |  3042338 |     2039   3374 |        0 |        0
1427.32/1427.84	c 1427s |      23 |  3729820 |  3047538 |     2039   3379 |        0 |        0
1429.31/1429.84	c 1429s |      23 |  3735376 |  3052538 |     2039   3383 |        0 |        0
1431.31/1431.86	c 1431s |      23 |  3741005 |  3057538 |     2039   3388 |        0 |        0
1433.31/1433.90	c 1433s |      23 |  3745831 |  3061738 |     2039   3391 |        0 |        0
1435.41/1435.93	c 1435s |      23 |  3750863 |  3066138 |     2039   3395 |        0 |        0
1437.42/1437.93	c 1437s |      23 |  3755413 |  3070238 |     2039   3399 |        0 |        0
1439.42/1439.96	c 1439s |      23 |  3759753 |  3074138 |     2039   3403 |        0 |        0
1441.42/1441.99	c 1441s |      23 |  3764490 |  3078338 |     2039   3406 |        0 |        0
1443.42/1443.99	c 1443s |      23 |  3769629 |  3082938 |     2039   3411 |        0 |        0
1445.52/1446.02	c 1446s |      23 |  3774517 |  3087338 |     2039   3415 |        0 |        0
1447.52/1448.04	c 1448s |      23 |  3779330 |  3091638 |     2039   3419 |        0 |        0
1449.52/1450.06	c 1450s |      23 |  3784008 |  3095938 |     2039   3423 |        0 |        0
1451.52/1452.09	c 1452s |      23 |  3788861 |  3100238 |     2039   3427 |        0 |        0
1453.62/1454.10	c 1454s |      23 |  3794469 |  3105138 |     2039   3431 |        0 |        0
1455.61/1456.14	c 1456s |      23 |  3799495 |  3109638 |     2039   3435 |        0 |        0
1457.61/1458.15	c 1458s |      23 |  3804364 |  3114038 |     2039   3439 |        0 |        0
1459.61/1460.19	c 1460s |      23 |  3809268 |  3118538 |     2039   3443 |        0 |        0
1461.71/1462.22	c 1462s |      23 |  3813984 |  3122738 |     2039   3447 |        0 |        0
1463.72/1464.23	c 1464s |      23 |  3818559 |  3126738 |     2039   3451 |        0 |        0
1465.71/1466.24	c 1466s |      23 |  3823033 |  3130738 |     2039   3454 |        0 |        0
1467.71/1468.26	c 1468s |      23 |  3827358 |  3134638 |     2039   3458 |        0 |        0
1469.71/1470.26	c 1470s |      23 |  3831331 |  3138238 |     2039   3461 |        0 |        0
1471.71/1472.27	c 1472s |      23 |  3835467 |  3142038 |     2039   3464 |        0 |        0
1473.71/1474.30	c 1474s |      23 |  3839765 |  3145938 |     2039   3468 |        0 |        0
1475.82/1476.31	c 1476s |      23 |  3843893 |  3149738 |     2039   3471 |        0 |        0
1477.81/1478.34	c 1478s |      23 |  3848284 |  3153638 |     2039   3475 |        0 |        0
1479.81/1480.34	c 1480s |      23 |  3852438 |  3157338 |     2039   3478 |        0 |        0
1481.81/1482.37	c 1482s |      23 |  3856770 |  3161238 |     2039   3482 |        0 |        0
1483.91/1484.40	c 1484s |      23 |  3861363 |  3165438 |     2039   3486 |        0 |        0
1485.91/1486.45	c 1486s |      23 |  3866091 |  3169638 |     2039   3490 |        0 |        0
1487.91/1488.47	c 1488s |      23 |  3870484 |  3173538 |     2039   3493 |        0 |        0
1489.91/1490.49	c 1490s |      23 |  3874650 |  3177238 |     2039   3497 |        0 |        0
1492.01/1492.51	c 1492s |      23 |  3879097 |  3181138 |     2039   3500 |        0 |        0
1494.00/1494.53	c 1494s |      23 |  3883487 |  3185138 |     2039   3504 |        0 |        0
1496.00/1496.57	c 1496s |      23 |  3887922 |  3189138 |     2039   3507 |        0 |        0
1498.10/1498.62	c 1498s |      23 |  3892477 |  3193238 |     2039   3511 |        0 |        0
1500.10/1500.62	c 1500s |      23 |  3896538 |  3196938 |     2039   3514 |        0 |        0
1502.11/1502.64	c 1502s |      23 |  3901070 |  3201038 |     2039   3518 |        0 |        0
1504.10/1504.65	c 1504s |      23 |  3905750 |  3205238 |     2039   3522 |        0 |        0
1506.10/1506.69	c 1506s |      23 |  3910261 |  3209338 |     2039   3526 |        0 |        0
1508.20/1508.71	c 1508s |      23 |  3914604 |  3213238 |     2039   3529 |        0 |        0
1510.20/1510.74	c 1510s |      23 |  3918863 |  3217138 |     2039   3533 |        0 |        0
1512.30/1512.80	c 1512s |      23 |  3923116 |  3220938 |     2039   3536 |        0 |        0
1514.31/1514.84	c 1514s |      23 |  3927533 |  3224838 |     2039   3540 |        0 |        0
1516.30/1516.88	c 1516s |      23 |  3931910 |  3228738 |     2039   3543 |        0 |        0
1518.40/1518.91	c 1518s |      23 |  3935874 |  3232238 |     2039   3547 |        0 |        0
1520.40/1520.94	c 1520s |      23 |  3940513 |  3236338 |     2039   3550 |        0 |        0
1522.40/1522.96	c 1522s |      23 |  3946087 |  3241338 |     2039   3555 |        0 |        0
1524.50/1525.00	c 1524s |      23 |  3951548 |  3246238 |     2039   3559 |        0 |        0
1526.50/1527.04	c 1527s |      23 |  3956873 |  3251038 |     2039   3564 |        0 |        0
1528.51/1529.04	c 1529s |      23 |  3961434 |  3255038 |     2039   3567 |        0 |        0
1530.50/1531.06	c 1531s |      23 |  3966339 |  3259438 |     2039   3571 |        0 |        0
1532.60/1533.10	c 1533s |      23 |  3970885 |  3263538 |     2039   3575 |        0 |        0
1534.60/1535.11	c 1535s |      23 |  3975387 |  3267638 |     2039   3579 |        0 |        0
1536.60/1537.15	c 1537s |      23 |  3980073 |  3271838 |     2039   3583 |        0 |        0
1538.60/1539.16	c 1539s |      23 |  3984405 |  3275738 |     2039   3586 |        0 |        0
1540.61/1541.20	c 1541s |      23 |  3989111 |  3280038 |     2039   3590 |        0 |        0
1542.70/1543.21	c 1543s |      23 |  3994005 |  3284438 |     2039   3594 |        0 |        0
1544.70/1545.22	c 1545s |      23 |  3998764 |  3288738 |     2039   3598 |        0 |        0
1546.70/1547.23	c 1547s |      23 |  4003262 |  3292838 |     2039   3602 |        0 |        0
1548.70/1549.25	c 1549s |      23 |  4007697 |  3296938 |     2039   3605 |        0 |        0
1550.80/1551.30	c 1551s |      23 |  4012684 |  3301438 |     2039   3609 |        0 |        0
1552.81/1553.36	c 1553s |      23 |  4017466 |  3305838 |     2039   3613 |        0 |        0
1554.80/1555.37	c 1555s |      23 |  4021869 |  3309838 |     2039   3617 |        0 |        0
1556.90/1557.41	c 1557s |      23 |  4026197 |  3313738 |     2039   3620 |        0 |        0
1558.90/1559.43	c 1559s |      23 |  4031165 |  3318238 |     2039   3625 |        0 |        0
1560.90/1561.47	c 1561s |      23 |  4036358 |  3322938 |     2039   3629 |        0 |        0
1562.90/1563.48	c 1563s |      23 |  4041382 |  3327538 |     2039   3633 |        0 |        0
1565.00/1565.50	c 1565s |      23 |  4046141 |  3331838 |     2039   3637 |        0 |        0
1566.90/1567.50	c 1567s |      23 |  4050722 |  3336038 |     2039   3641 |        0 |        0
1569.00/1569.53	c 1569s |      23 |  4055296 |  3340238 |     2039   3644 |        0 |        0
1571.00/1571.53	c 1571s |      23 |  4059969 |  3344438 |     2039   3648 |        0 |        0
1572.99/1573.57	c 1573s |      23 |  4064537 |  3348638 |     2039   3652 |        0 |        0
1574.99/1575.59	c 1575s |      23 |  4069292 |  3352938 |     2243   3656 |        0 |        0
1577.09/1577.62	c 1577s |      23 |  4073516 |  3356838 |     2243   3659 |        0 |        0
1579.10/1579.62	c 1579s |      23 |  4077567 |  3360538 |     2243   3662 |        0 |        0
1581.09/1581.63	c 1581s |      23 |  4082243 |  3364538 |     2243   3665 |        0 |        0
1583.09/1583.67	c 1583s |      23 |  4086841 |  3368638 |     2243   3669 |        0 |        0
1585.19/1585.70	c 1585s |      23 |  4091169 |  3372538 |     2243   3672 |        0 |        0
1587.19/1587.73	c 1587s |      23 |  4095658 |  3376538 |     2243   3675 |        0 |        0
1587.29/1587.80	c 1587s |      24 |  4095790 |  3376662 |     2243   3675 |        0 |        0
1589.29/1589.84	c 1589s |      24 |  4102425 |  3381162 |     2243   3679 |        0 |        0
1591.30/1591.84	c 1591s |      24 |  4106797 |  3384862 |     2243   3682 |        0 |        0
1593.29/1593.84	c 1593s |      24 |  4111928 |  3388962 |     2243   3686 |        0 |        0
1595.29/1595.89	c 1595s |      24 |  4116875 |  3392862 |     2243   3689 |        0 |        0
1597.39/1597.90	c 1597s |      24 |  4121903 |  3396762 |     2243   3692 |        0 |        0
1599.39/1599.92	c 1599s |      24 |  4126540 |  3400362 |     2243   3695 |        0 |        0
1601.39/1601.95	c 1601s |      24 |  4131133 |  3403962 |     2243   3698 |        0 |        0
1603.49/1604.01	c 1603s |      24 |  4135662 |  3407262 |     2243   3701 |        0 |        0
1605.49/1606.02	c 1606s |      24 |  4139679 |  3410362 |     2243   3703 |        0 |        0
1607.49/1608.04	c 1608s |      24 |  4143967 |  3413762 |     2243   3706 |        0 |        0
1609.49/1610.04	c 1610s |      24 |  4148518 |  3416862 |     2243   3709 |        0 |        0
1611.49/1612.06	c 1612s |      24 |  4152282 |  3419862 |     2243   3711 |        0 |        0
1613.48/1614.08	c 1614s |      24 |  4156968 |  3423662 |     2243   3714 |        0 |        0
1615.58/1616.13	c 1616s |      24 |  4161542 |  3427162 |     2243   3717 |        0 |        0
1617.59/1618.18	c 1618s |      24 |  4165644 |  3430562 |     2243   3720 |        0 |        0
1619.68/1620.22	c 1620s |      24 |  4169475 |  3433962 |     2243   3723 |        0 |        0
1621.68/1622.28	c 1622s |      24 |  4172688 |  3436862 |     2243   3725 |        0 |        0
1623.78/1624.31	c 1624s |      24 |  4175943 |  3439762 |     2243   3727 |        0 |        0
1625.78/1626.31	c 1626s |      24 |  4179035 |  3442562 |     2243   3730 |        0 |        0
1627.78/1628.37	c 1628s |      24 |  4182612 |  3445662 |     2243   3732 |        0 |        0
1629.79/1630.38	c 1630s |      24 |  4186604 |  3448962 |     2243   3735 |        0 |        0
1631.78/1632.40	c 1632s |      24 |  4191210 |  3452462 |     2243   3738 |        0 |        0
1633.88/1634.40	c 1634s |      24 |  4195269 |  3455762 |     2243   3740 |        0 |        0
1635.88/1636.46	c 1636s |      24 |  4199081 |  3458962 |     2243   3743 |        0 |        0
1637.88/1638.46	c 1638s |      24 |  4202983 |  3462262 |     2243   3746 |        0 |        0
1639.99/1640.50	c 1640s |      24 |  4207151 |  3465862 |     2243   3749 |        0 |        0
1641.99/1642.52	c 1642s |      24 |  4211183 |  3469262 |     2243   3752 |        0 |        0
1643.99/1644.55	c 1644s |      24 |  4215284 |  3472762 |     2243   3754 |        0 |        0
1645.99/1646.58	c 1646s |      24 |  4219242 |  3476162 |     2243   3757 |        0 |        0
1648.09/1648.64	c 1648s |      24 |  4222718 |  3479162 |     2243   3760 |        0 |        0
1650.09/1650.65	c 1650s |      24 |  4225669 |  3481762 |     2243   3762 |        0 |        0
1652.08/1652.66	c 1652s |      24 |  4228859 |  3484462 |     2243   3764 |        0 |        0
1654.08/1654.69	c 1654s |      24 |  4231965 |  3487162 |     2243   3766 |        0 |        0
1656.09/1656.70	c 1656s |      24 |  4235199 |  3489862 |     2243   3768 |        0 |        0
1658.18/1658.71	c 1658s |      24 |  4239860 |  3493362 |     2243   3771 |        0 |        0
1660.18/1660.77	c 1660s |      24 |  4243539 |  3496462 |     2243   3774 |        0 |        0
1662.28/1662.83	c 1662s |      24 |  4246853 |  3499362 |     2243   3776 |        0 |        0
1664.38/1664.92	c 1664s |      24 |  4250603 |  3502262 |     2243   3779 |        0 |        0
1666.38/1667.00	c 1666s |      24 |  4255109 |  3505462 |     2243   3781 |        0 |        0
1668.48/1669.03	c 1669s |      24 |  4260218 |  3509062 |     2243   3784 |        0 |        0
1670.49/1671.06	c 1671s |      24 |  4265080 |  3512862 |     2243   3787 |        0 |        0
1672.48/1673.08	c 1673s |      24 |  4269908 |  3516462 |     2243   3790 |        0 |        0
1674.58/1675.13	c 1675s |      24 |  4274140 |  3519762 |     2243   3793 |        0 |        0
1676.58/1677.15	c 1677s |      24 |  4278619 |  3523362 |     2243   3796 |        0 |        0
1678.58/1679.18	c 1679s |      24 |  4283420 |  3527162 |     2243   3799 |        0 |        0
1680.58/1681.19	c 1681s |      24 |  4287514 |  3530462 |     2243   3802 |        0 |        0
1682.68/1683.21	c 1683s |      24 |  4292382 |  3534162 |     2243   3805 |        0 |        0
1684.68/1685.25	c 1685s |      24 |  4297393 |  3538062 |     2243   3808 |        0 |        0
1686.68/1687.27	c 1687s |      24 |  4302564 |  3541862 |     2243   3811 |        0 |        0
1688.68/1689.28	c 1689s |      24 |  4307234 |  3545562 |     2243   3814 |        0 |        0
1690.78/1691.32	c 1691s |      24 |  4312470 |  3549262 |     2243   3817 |        0 |        0
1692.78/1693.36	c 1693s |      24 |  4318590 |  3553662 |     2243   3821 |        0 |        0
1694.78/1695.37	c 1695s |      24 |  4323665 |  3557662 |     2243   3824 |        0 |        0
1696.88/1697.42	c 1697s |      24 |  4328592 |  3561662 |     2243   3827 |        0 |        0
1698.88/1699.49	c 1699s |      24 |  4332461 |  3565162 |     2243   3830 |        0 |        0
1700.98/1701.53	c 1701s |      24 |  4336690 |  3568662 |     2243   3833 |        0 |        0
1702.98/1703.55	c 1703s |      24 |  4340551 |  3571962 |     2243   3836 |        0 |        0
1704.97/1705.56	c 1705s |      24 |  4344045 |  3574962 |     2243   3838 |        0 |        0
1707.07/1707.61	c 1707s |      24 |  4347666 |  3578062 |     2243   3841 |        0 |        0
1709.07/1709.63	c 1709s |      24 |  4351417 |  3581362 |     2243   3844 |        0 |        0
1711.08/1711.66	c 1711s |      24 |  4355800 |  3585062 |     2243   3847 |        0 |        0
1713.17/1713.70	c 1713s |      24 |  4359463 |  3588362 |     2243   3849 |        0 |        0
1715.17/1715.74	c 1715s |      24 |  4362998 |  3591462 |     2243   3852 |        0 |        0
1717.17/1717.76	c 1717s |      24 |  4366350 |  3594462 |     2243   3854 |        0 |        0
1719.17/1719.78	c 1719s |      24 |  4370048 |  3597462 |     2243   3857 |        0 |        0
1721.27/1721.80	c 1721s |      24 |  4373391 |  3600362 |     2243   3859 |        0 |        0
1723.28/1723.83	c 1723s |      24 |  4376864 |  3603462 |     2243   3862 |        0 |        0
1725.27/1725.85	c 1725s |      24 |  4382317 |  3607862 |     2243   3865 |        0 |        0
1727.27/1727.86	c 1727s |      24 |  4387745 |  3612262 |     2243   3869 |        0 |        0
1729.27/1729.86	c 1729s |      24 |  4393002 |  3616662 |     2243   3873 |        0 |        0
1731.37/1731.91	c 1731s |      24 |  4398103 |  3621062 |     2243   3876 |        0 |        0
1733.37/1733.95	c 1733s |      24 |  4403036 |  3625262 |     2243   3880 |        0 |        0
1735.37/1735.96	c 1735s |      24 |  4406703 |  3628662 |     2243   3882 |        0 |        0
1737.37/1737.98	c 1737s |      24 |  4410220 |  3631862 |     2243   3885 |        0 |        0
1739.46/1740.01	c 1739s |      24 |  4414633 |  3635662 |     2243   3888 |        0 |        0
1741.46/1742.03	c 1742s |      24 |  4419199 |  3639562 |     2243   3891 |        0 |        0
1743.46/1744.09	c 1744s |      24 |  4424738 |  3643862 |     2243   3895 |        0 |        0
1745.56/1746.13	c 1746s |      24 |  4430454 |  3648062 |     2243   3898 |        0 |        0
1747.56/1748.15	c 1748s |      24 |  4435400 |  3652062 |     2243   3902 |        0 |        0
1749.57/1750.19	c 1750s |      24 |  4441187 |  3656162 |     2243   3905 |        0 |        0
1751.66/1752.24	c 1752s |      24 |  4445909 |  3659762 |     2243   3908 |        0 |        0
1753.76/1754.30	c 1754s |      24 |  4451425 |  3663562 |     2243   3911 |        0 |        0
1755.76/1756.33	c 1756s |      24 |  4456349 |  3667162 |     2243   3914 |        0 |        0
1757.76/1758.36	c 1758s |      24 |  4460852 |  3670662 |     2243   3917 |        0 |        0
1759.76/1760.38	c 1760s |      24 |  4464996 |  3673862 |     2243   3920 |        0 |        0
1761.77/1762.39	c 1762s |      24 |  4468571 |  3676862 |     2243   3922 |        0 |        0
1763.87/1764.44	c 1764s |      24 |  4473620 |  3680562 |     2243   3925 |        0 |        0
1765.86/1766.45	c 1766s |      24 |  4477220 |  3683562 |     2243   3928 |        0 |        0
1767.97/1768.50	c 1768s |      24 |  4480742 |  3686562 |     2243   3930 |        0 |        0
1769.97/1770.54	c 1770s |      24 |  4484757 |  3689862 |     2243   3933 |        0 |        0
1772.07/1772.60	c 1772s |      24 |  4489078 |  3693262 |     2243   3936 |        0 |        0
1774.07/1774.65	c 1774s |      24 |  4493015 |  3696262 |     2243   3938 |        0 |        0
1776.07/1776.69	c 1776s |      24 |  4496811 |  3699362 |     2243   3941 |        0 |        0
1778.17/1778.76	c 1778s |      24 |  4500829 |  3702762 |     2243   3943 |        0 |        0
1780.27/1780.80	c 1780s |      24 |  4505090 |  3706262 |     2243   3946 |        0 |        0
1782.27/1782.81	c 1782s |      24 |  4509077 |  3709562 |     2243   3949 |        0 |        0
1784.26/1784.83	c 1784s |      24 |  4512832 |  3712762 |     2243   3952 |        0 |        0
1786.26/1786.84	c 1786s |      24 |  4516866 |  3715862 |     2243   3954 |        0 |        0
1788.26/1788.84	c 1788s |      24 |  4521234 |  3719262 |     2243   3957 |        0 |        0
1790.27/1790.85	c 1790s |      24 |  4525819 |  3722962 |     2243   3960 |        0 |        0
1792.36/1792.91	c 1792s |      24 |  4530055 |  3726462 |     2243   3963 |        0 |        0
1794.36/1794.92	c 1794s |      24 |  4533659 |  3729562 |     2243   3966 |        0 |        0
1796.36/1796.98	c 1796s |      24 |  4538227 |  3733262 |     2243   3969 |        0 |        0
1798.46/1799.02	c 1799s |      24 |  4542400 |  3736662 |     2243   3971 |        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-4078598-1465220069/watcher-4078598-1465220069 -o /tmp/evaluation-result-4078598-1465220069/solver-4078598-1465220069 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465219870-1859 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078598-1465220069.opb 

pid=2379
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.17 2.03 1.99 3/179 2382
/proc/meminfo: memFree=30076028/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=372156 CPUtime=0 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 1326 0 0 0 0 0 0 0 20 0 4 0 103941904 381087744 2197 33554432000 4194304 16246674 140735246993184 140735246992608 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 93551 2207 441 2943 0 90445 0
[pid=2382/tid=2383] ppid=2379 vsize=389564 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 398913536 2265 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=393660 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 403107840 2280 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=397756 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 407302144 2296 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100179 s]
/proc/loadavg: 2.17 2.03 1.99 3/179 2382
/proc/meminfo: memFree=30076028/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 31220 0 0 0 5 3 0 0 20 0 4 0 103941904 1247350784 32080 33554432000 4194304 16246674 140735246993184 140735246992608 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 304529 32088 711 2943 0 301423 0
[pid=2382/tid=2383] ppid=2379 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1247350784 32097 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1247350784 32111 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1247350784 32124 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200537 s]
/proc/loadavg: 2.17 2.03 1.99 3/179 2382
/proc/meminfo: memFree=30076028/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 64110 0 0 0 11 7 0 0 20 0 4 0 103941904 1247350784 64971 33554432000 4194304 16246674 140735246993184 140735246992608 5546098 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 304529 64985 711 2943 0 301423 0
[pid=2382/tid=2383] ppid=2379 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1247350784 64993 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1247350784 64997 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1247350784 65003 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300495 s]
/proc/loadavg: 2.17 2.03 1.99 3/179 2382
/proc/meminfo: memFree=30076028/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 97168 0 0 0 17 11 0 0 20 0 4 0 103941904 1247350784 98029 33554432000 4194304 16246674 140735246993184 140735246992608 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 304529 98053 711 2943 0 301423 0
[pid=2382/tid=2383] ppid=2379 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1247350784 98064 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1247350784 98072 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1247350784 98078 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700387 s]
/proc/loadavg: 2.17 2.03 1.99 3/179 2382
/proc/meminfo: memFree=30076028/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 230121 0 0 0 40 28 0 0 20 0 4 0 103941904 1247350784 230982 33554432000 4194304 16246674 140735246993184 140735246975104 5546181 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 304529 231004 711 2943 0 301423 0
[pid=2382/tid=2383] ppid=2379 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1247350784 231017 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1247350784 231029 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1247350784 231037 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.17 2.03 1.99 3/183 2386
/proc/meminfo: memFree=29091804/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 267200 0 0 0 115 34 0 0 20 0 4 0 103941904 1336479744 268040 33554432000 4194304 16246674 140735246993184 140735246992496 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 326289 268040 788 2943 0 323183 0
[pid=2382/tid=2383] ppid=2379 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1336479744 268040 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1336479744 268040 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1336479744 268040 33554432000 4194304 16246674 140735246993184 139965065325744 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) 1305156

[startup+3.10038 s]
/proc/loadavg: 2.17 2.03 1.99 3/183 2386
/proc/meminfo: memFree=29004136/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 267463 0 0 0 275 34 0 0 20 0 4 0 103941904 1337528320 268303 33554432000 4194304 16246674 140735246993184 140735246975104 12875603 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 326545 268303 788 2943 0 323439 0
[pid=2382/tid=2383] ppid=2379 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1337528320 268303 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1337528320 268303 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1337528320 268303 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30038 s]
/proc/loadavg: 2.16 2.03 1.99 3/183 2386
/proc/meminfo: memFree=29003148/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 267723 0 0 0 595 34 0 0 20 0 4 0 103941904 1338576896 268563 33554432000 4194304 16246674 140735246993184 140735246975104 5723721 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 326801 268563 788 2943 0 323695 0
[pid=2382/tid=2383] ppid=2379 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1338576896 268563 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1338576896 268563 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1338576896 268563 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.23 2.04 1.99 3/183 2386
/proc/meminfo: memFree=28326880/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 267809 0 0 0 1235 34 0 0 20 0 4 0 103941904 1338576896 268649 33554432000 4194304 16246674 140735246993184 140735246975104 6011058 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 326801 268649 788 2943 0 323695 0
[pid=2382/tid=2383] ppid=2379 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1338576896 268649 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1338576896 268649 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1338576896 268649 33554432000 4194304 16246674 140735246993184 139965065325744 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.17 2.04 1.99 4/183 2435
/proc/meminfo: memFree=29341700/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1307204 CPUtime=25.48 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 267810 0 0 0 2514 34 0 0 20 0 4 0 103941904 1338576896 268650 33554432000 4194304 16246674 140735246993184 140735246975104 5546260 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 326801 268650 788 2943 0 323695 0
[pid=2382/tid=2383] ppid=2379 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1338576896 268650 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1338576896 268650 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1338576896 268650 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.11 2.04 1.99 3/183 2435
/proc/meminfo: memFree=29331264/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 267825 0 0 0 5074 34 0 0 20 0 4 0 103941904 1338576896 268665 33554432000 4194304 16246674 140735246993184 140735246976176 5861800 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 326801 268665 788 2943 0 323695 0
[pid=2382/tid=2383] ppid=2379 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1338576896 268665 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1338576896 268665 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1338576896 268665 33554432000 4194304 16246674 140735246993184 139965065325744 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) 1307204

[startup+102.301 s]
/proc/loadavg: 2.20 2.06 2.00 3/183 2437
/proc/meminfo: memFree=29329656/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 267848 0 0 0 10193 35 0 0 20 0 4 0 103941904 1339625472 268688 33554432000 4194304 16246674 140735246993184 140735246976184 12479207 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 327057 268688 790 2943 0 323951 0
[pid=2382/tid=2383] ppid=2379 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1339625472 268688 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1339625472 268688 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1339625472 268688 33554432000 4194304 16246674 140735246993184 139965065325744 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) 1308228


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

/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.14 2.08 2.05 3/183 2467
/proc/meminfo: memFree=29288468/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1314372 CPUtime=1301.83 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 270050 0 0 0 130138 45 0 0 20 0 4 0 103941904 1345916928 270464 33554432000 4194304 16246674 140735246993184 140735246975104 5523404 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 328593 270464 792 2943 0 325487 0
[pid=2382/tid=2383] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.09 2.08 2.05 3/183 2468
/proc/meminfo: memFree=29288628/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1314372 CPUtime=1361.83 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 270050 0 0 0 136137 46 0 0 20 0 4 0 103941904 1345916928 270464 33554432000 4194304 16246674 140735246993184 140735246975104 12483230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 328593 270464 792 2943 0 325487 0
[pid=2382/tid=2383] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.09 2.08 2.05 3/183 2469
/proc/meminfo: memFree=29288780/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1314372 CPUtime=1421.82 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 270050 0 0 0 142136 46 0 0 20 0 4 0 103941904 1345916928 270464 33554432000 4194304 16246674 140735246993184 140735246975104 5523480 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 328593 270464 792 2943 0 325487 0
[pid=2382/tid=2383] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.03 2.06 2.04 4/183 2470
/proc/meminfo: memFree=29288564/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1314372 CPUtime=1481.81 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 270050 0 0 0 148134 47 0 0 20 0 4 0 103941904 1345916928 270464 33554432000 4194304 16246674 140735246993184 140735246975104 5545907 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 328593 270464 792 2943 0 325487 0
[pid=2382/tid=2383] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.11 2.08 2.04 3/184 2474
/proc/meminfo: memFree=29287968/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1314372 CPUtime=1541.81 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 270050 0 0 0 154133 48 0 0 20 0 4 0 103941904 1345916928 270464 33554432000 4194304 16246674 140735246993184 140735246975104 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 328593 270464 792 2943 0 325487 0
[pid=2382/tid=2383] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.10 2.08 2.04 3/184 2499
/proc/meminfo: memFree=29286896/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1314372 CPUtime=1601.79 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 270050 0 0 0 160131 48 0 0 20 0 4 0 103941904 1345916928 270464 33554432000 4194304 16246674 140735246993184 140735246975104 5545796 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 328593 270464 792 2943 0 325487 0
[pid=2382/tid=2383] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.15 2.09 2.05 3/183 2500
/proc/meminfo: memFree=29288156/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1314372 CPUtime=1661.78 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 270050 0 0 0 166129 49 0 0 20 0 4 0 103941904 1345916928 270464 33554432000 4194304 16246674 140735246993184 140735246975104 5861860 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 328593 270464 792 2943 0 325487 0
[pid=2382/tid=2383] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.24 2.13 2.06 3/183 2501
/proc/meminfo: memFree=29287780/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1314372 CPUtime=1721.77 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 270050 0 0 0 172128 49 0 0 20 0 4 0 103941904 1345916928 270464 33554432000 4194304 16246674 140735246993184 140735246975104 5722716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 328593 270464 792 2943 0 325487 0
[pid=2382/tid=2383] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.15 2.12 2.06 3/183 2502
/proc/meminfo: memFree=29287156/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1314372 CPUtime=1781.77 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 270050 0 0 0 178127 50 0 0 20 0 4 0 103941904 1345916928 270464 33554432000 4194304 16246674 140735246993184 140735246975104 5722960 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 328593 270464 792 2943 0 325487 0
[pid=2382/tid=2383] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.11 2.11 2.06 3/183 2502
/proc/meminfo: memFree=29286660/32872528 swapFree=13600/559348
[pid=2382] ppid=2379 vsize=1314372 CPUtime=1800.06 cores=1,3,5,7
/proc/2382/stat : 2382 (toysat) R 2379 2382 1842 0 -1 4202496 270050 0 0 0 179956 50 0 0 20 0 4 0 103941904 1345916928 270464 33554432000 4194304 16246674 140735246993184 140735246975104 6009908 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/2382/statm: 328593 270464 792 2943 0 325487 0
[pid=2382/tid=2383] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2383/stat : 2383 (toysat) S 2379 2382 1842 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965159681264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=2382/tid=2384] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2384/stat : 2384 (toysat) S 2379 2382 1842 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965149191408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=2382/tid=2385] ppid=2379 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/2382/task/2385/stat : 2385 (toysat) S 2379 2382 1842 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 103941905 1345916928 270464 33554432000 4194304 16246674 140735246993184 139965065325744 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1314372

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.57
CPU system time (s): 0.502923
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.502923
maximum resident set size= 1081856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270050
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= 443
involuntary context switches= 2145

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52331 second user time and 6.99694 second system time

The end

Begin job on node106 at 2016-06-06 15:34:29
IDJOB=4078598
IDBENCH=1389
IDSOLVER=2542
FILE ID=node106/4078598-1465220069
RUNJOBID= node106-1465219870-1859
PBS_JOBID= 19843217
Free space on /tmp= 71692 MiB

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

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

MD5SUM BENCH= d9b1351aa6c01bb5c883e4233663f5e0
RANDOM SEED=1643845046

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.775
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:        30076564 kB
Buffers:            6512 kB
Cached:           151316 kB
SwapCached:         1840 kB
Active:          1476656 kB
Inactive:          49232 kB
Active(anon):    1369096 kB
Inactive(anon):     1244 kB
Active(file):     107560 kB
Inactive(file):    47988 kB
Unevictable:      559348 kB
Mlocked:           13600 kB
SwapTotal:      67108856 kB
SwapFree:       67098504 kB
Dirty:             67296 kB
Writeback:             0 kB
AnonPages:       1934532 kB
Mapped:            10604 kB
Shmem:                 0 kB
Slab:             568324 kB
SReclaimable:      12272 kB
SUnreclaim:       556052 kB
KernelStack:        1480 kB
PageTables:         7980 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2079684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    600064 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= 71708 MiB
End job on node106 at 2016-06-06 16:04:30