0.00/0.00	c 2016-06-16T00:49: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-4089673-1466030969.opb"]
0.00/0.01	c use --random-gen="1481684732 120699811 4070887633 597884380 2244566494 1248995872 519416673 1490570 1044922677 4009521153 2445916400 1088472824 730465246 3328034593 2021900212 2254626276 826843797 2958262198 503238907 244762387 2816646976 2044402758 3110371448 1356414696 3039624677 2207948064 952924419 714944157 2497522324 3307296789 2346997572 1075339 2387872786 1679643851 3488460988 1633213236 3729244565 3940165327 3578333568 2279052020 2473392225 3541071732 2791889183 963730643 3900926200 4198368097 4122836733 2990647406 2753610808 3224564212 476565208 237345272 2090100246 1017143273 3045598894 1774064029 1924419060 1567615024 3594275997 1082017270 925743405 2671331800 2446361703 2240390172 1141684895 2686063479 3341178676 3723410666 154822662 810722032 3462747485 1808861344 3972209286 2705271363 1719121228 3407565885 684254954 3474158251 2823447309 3845318495 3829045197 3039179089 1284171236 992736655 1680740370 4154439785 1054663863 3671865592 1079501936 2137459944 66157559 78759943 2719424328 3577055849 1652777572 690296403 176378757 1878833255 871388325 4196754979 282964247 4210973192 2641255692 1894160117 2045070383 2834905762 617355670 4218270959 3904803819 2014489639 3453129119 849473127 265078080 131281187 926889020 3330701102 3909397011 421677329 4265061372 3127456468 541373279 2724847238 209709872 615211008 3047039224 379124534 3934747993 617906078 1242732872 4145150084 734230965 1358247431 1554903919 1335060709 1150353902 324091656 3499513259 2949220922 183099065 547598414 1117905101 1750969198 1059128218 2981778787 916962108 683926717 3018398794 808077598 3300875768 2446180606 184986387 2058602719 2657540770 2450421801 343326665 2408921558 1630967751 90527165 3406246721 4286660751 4032268078 2042495450 560582523 3009232941 23218788 3306372475 4088949940 2708828754 2657348588 1930073765 1940177317 1634769291 429567702 2100456076 3852813155 3965163079 325213422 3284917487 116005871 360459574 529389727 3553195406 1429751013 42267110 1711527258 822974958 1845119236 1030240843 2350757553 3641563042 1724746222 56287445 4121073291 4190461850 2709923468 1252387679 4219013835 2639727088 1478994091 896566161 2274010479 371983085 2870505433 1775355847 1386771619 4202229317 62480009 42057910 2671068677 1445204467 1587622016 936259942 2983631380 3713853574 357372520 2738085660 2297564805 616866781 908243343 3172529051 2893435353 4150461738 2560425696 3552913500 3696050078 2919633362 3589447233 135304331 2772985537 3625722131 531370729 3671492428 1427161787 419713991 2411944390 3922368465 3376319056 2175828785 93690739 3220646766 1499903131 3213162919 1062444740 1050732380 3056657558 2961934169 2377468043 217269578 3469163105 927723175 2951724587 3587871267 1738401471 3138362452 2958587001 1988064974 255 362436" option to reproduce the execution
0.00/0.01	c #vars 184
0.00/0.01	c #constraints 369
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 |      184      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      187 |      100 |      184      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      428 |      250 |      203      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |      738 |      475 |      224      2 |        0 |        0
0.19/0.20	c  0.2s |       4 |     1168 |      813 |      247      4 |        0 |        0
0.29/0.33	c  0.3s |       5 |     1789 |     1320 |      272      6 |        0 |        0
0.49/0.52	c  0.5s |       6 |     2629 |     2081 |      330     10 |        0 |        0
0.79/0.82	c  0.8s |       7 |     3868 |     3223 |      364     16 |        0 |        0
1.09/1.12	c  1.1s |       8 |     5697 |     4936 |      401     23 |        0 |        0
1.59/1.60	c  1.6s |       9 |     8373 |     7506 |      442     34 |        0 |        0
2.20/2.30	c  2.3s |      10 |    12360 |    11361 |      487     48 |        0 |        0
3.30/3.35	c  3.3s |      11 |    18310 |    17144 |      536     68 |        0 |        0
4.89/4.95	c  4.9s |      12 |    27255 |    25819 |      590     96 |        0 |        0
6.89/6.95	c  6.9s |      12 |    38027 |    36319 |      590    127 |        0 |        0
7.39/7.44	c  7.4s |      13 |    40571 |    38832 |      649    135 |        0 |        0
9.39/9.45	c  9.4s |      13 |    51400 |    49332 |      649    163 |        0 |        0
11.09/11.17	c 11.2s |      14 |    60620 |    58352 |      714    188 |        0 |        0
13.09/13.19	c 13.2s |      14 |    71709 |    69152 |      714    215 |        0 |        0
15.19/15.20	c 15.2s |      14 |    82376 |    79552 |      714    241 |        0 |        0
16.79/16.81	c 16.8s |      15 |    90669 |    87632 |      786    261 |        0 |        0
18.79/18.82	c 18.8s |      15 |   101117 |    97832 |      786    284 |        0 |        0
20.78/20.82	c 20.8s |      15 |   111116 |   107632 |      786    307 |        0 |        0
22.78/22.85	c 22.8s |      15 |   121177 |   117432 |      786    330 |        0 |        0
24.78/24.86	c 24.8s |      15 |   131221 |   127232 |      786    352 |        0 |        0
25.68/25.78	c 25.8s |      16 |   135639 |   131552 |      865    362 |        0 |        0
27.78/27.80	c 27.8s |      16 |   145770 |   141452 |      865    383 |        0 |        0
29.79/29.82	c 29.8s |      16 |   155777 |   151252 |      865    403 |        0 |        0
31.78/31.82	c 31.8s |      16 |   165563 |   160852 |      865    424 |        0 |        0
33.78/33.83	c 33.8s |      16 |   175480 |   170552 |      865    444 |        0 |        0
35.78/35.84	c 35.8s |      16 |   185286 |   180152 |      865    464 |        0 |        0
37.78/37.85	c 37.8s |      16 |   195541 |   190152 |      865    486 |        0 |        0
39.28/39.36	c 39.3s |      17 |   202958 |   197432 |      952    500 |        0 |        0
41.28/41.38	c 41.4s |      17 |   212901 |   207032 |      952    519 |        0 |        0
43.28/43.38	c 43.4s |      17 |   223277 |   217132 |      952    538 |        0 |        0
45.38/45.40	c 45.4s |      17 |   233306 |   226932 |      952    557 |        0 |        0
47.38/47.41	c 47.4s |      17 |   243318 |   236732 |      952    576 |        0 |        0
49.38/49.41	c 49.4s |      17 |   253126 |   246232 |      952    595 |        0 |        0
51.38/51.42	c 51.4s |      17 |   262901 |   255832 |      952    613 |        0 |        0
53.38/53.43	c 53.4s |      17 |   272627 |   265232 |      952    632 |        0 |        0
55.38/55.44	c 55.4s |      17 |   282444 |   274832 |      952    650 |        0 |        0
57.38/57.45	c 57.4s |      17 |   292109 |   284232 |      952    669 |        0 |        0
59.38/59.46	c 59.4s |      17 |   301673 |   293632 |      952    687 |        0 |        0
59.87/59.99	c 60.0s |      18 |   304367 |   296252 |     1048    691 |        0 |        0
61.97/62.01	c 62.0s |      18 |   314545 |   306152 |     1048    709 |        0 |        0
63.97/64.02	c 64.0s |      18 |   324616 |   315952 |     1048    726 |        0 |        0
65.98/66.02	c 66.0s |      18 |   334328 |   325452 |     1048    743 |        0 |        0
67.97/68.03	c 68.0s |      18 |   343904 |   334852 |     1048    760 |        0 |        0
69.97/70.03	c 70.0s |      18 |   353640 |   344352 |     1048    776 |        0 |        0
71.97/72.05	c 72.0s |      18 |   363444 |   354052 |     1048    794 |        0 |        0
73.97/74.05	c 74.0s |      18 |   373173 |   363552 |     1048    810 |        0 |        0
75.98/76.06	c 76.0s |      18 |   382707 |   372952 |     1048    827 |        0 |        0
77.97/78.07	c 78.1s |      18 |   392406 |   382452 |     1048    844 |        0 |        0
79.97/80.09	c 80.1s |      18 |   401980 |   391852 |     1048    861 |        0 |        0
82.07/82.11	c 82.1s |      18 |   411897 |   401452 |     1048    878 |        0 |        0
84.07/84.12	c 84.1s |      18 |   421682 |   410952 |     1048    894 |        0 |        0
86.07/86.13	c 86.1s |      18 |   431234 |   420152 |     1048    911 |        0 |        0
88.08/88.15	c 88.1s |      18 |   440570 |   429252 |     1048    927 |        0 |        0
90.07/90.15	c 90.1s |      18 |   449774 |   438252 |     1048    943 |        0 |        0
91.38/91.49	c 91.5s |      19 |   456143 |   444482 |     1153    953 |        0 |        0
93.37/93.50	c 93.5s |      19 |   465866 |   453882 |     1153    968 |        0 |        0
95.47/95.51	c 95.5s |      19 |   475381 |   463082 |     1153    983 |        0 |        0
97.47/97.52	c 97.5s |      19 |   484798 |   472382 |     1153    998 |        0 |        0
99.47/99.53	c 99.5s |      19 |   494752 |   482082 |     1153   1014 |        0 |        0
101.47/101.54	c  101s |      19 |   504651 |   491782 |     1153   1030 |        0 |        0
103.48/103.54	c  103s |      19 |   514237 |   501182 |     1153   1045 |        0 |        0
105.47/105.55	c  105s |      19 |   523767 |   510482 |     1153   1060 |        0 |        0
107.47/107.56	c  107s |      19 |   533107 |   519482 |     1153   1075 |        0 |        0
109.47/109.59	c  109s |      19 |   542539 |   528682 |     1153   1090 |        0 |        0
111.47/111.59	c  111s |      19 |   551794 |   537682 |     1153   1104 |        0 |        0
113.47/113.59	c  113s |      19 |   561170 |   546782 |     1153   1119 |        0 |        0
115.58/115.61	c  115s |      19 |   570572 |   555882 |     1153   1134 |        0 |        0
117.57/117.63	c  117s |      19 |   579863 |   564882 |     1153   1148 |        0 |        0
119.57/119.64	c  119s |      19 |   589193 |   573982 |     1153   1163 |        0 |        0
121.57/121.64	c  121s |      19 |   598617 |   583182 |     1153   1178 |        0 |        0
123.57/123.66	c  123s |      19 |   607882 |   592282 |     1153   1193 |        0 |        0
125.57/125.67	c  125s |      19 |   617295 |   601482 |     1153   1207 |        0 |        0
127.57/127.69	c  127s |      19 |   626599 |   610482 |     1153   1222 |        0 |        0
129.67/129.70	c  129s |      19 |   635885 |   619582 |     1153   1237 |        0 |        0
131.67/131.70	c  131s |      19 |   645199 |   628682 |     1153   1252 |        0 |        0
133.66/133.72	c  133s |      19 |   654462 |   637582 |     1153   1266 |        0 |        0
135.66/135.72	c  135s |      19 |   663953 |   646682 |     1153   1281 |        0 |        0
137.66/137.74	c  137s |      19 |   673376 |   655882 |     1153   1296 |        0 |        0
139.67/139.75	c  139s |      19 |   682610 |   664882 |     1269   1310 |        0 |        0
140.16/140.21	c  140s |      20 |   684647 |   666827 |     1269   1313 |        0 |        0
142.16/142.24	c  142s |      20 |   694197 |   676127 |     1269   1327 |        0 |        0
144.17/144.24	c  144s |      20 |   703551 |   685327 |     1269   1340 |        0 |        0
146.16/146.24	c  146s |      20 |   712868 |   694327 |     1269   1354 |        0 |        0
148.16/148.26	c  148s |      20 |   722381 |   703527 |     1269   1367 |        0 |        0
150.16/150.27	c  150s |      20 |   731751 |   712727 |     1269   1381 |        0 |        0
152.16/152.28	c  152s |      20 |   741043 |   721727 |     1269   1394 |        0 |        0
154.16/154.28	c  154s |      20 |   749981 |   730327 |     1269   1407 |        0 |        0
156.17/156.30	c  156s |      20 |   759176 |   739227 |     1269   1420 |        0 |        0
158.26/158.30	c  158s |      20 |   768462 |   748227 |     1269   1433 |        0 |        0
160.26/160.30	c  160s |      20 |   777719 |   757227 |     1269   1447 |        0 |        0
162.26/162.31	c  162s |      20 |   786754 |   766027 |     1269   1460 |        0 |        0
164.26/164.33	c  164s |      20 |   795835 |   774827 |     1269   1473 |        0 |        0
166.27/166.33	c  166s |      20 |   804735 |   783527 |     1269   1486 |        0 |        0
168.27/168.35	c  168s |      20 |   813905 |   792527 |     1269   1499 |        0 |        0
170.27/170.37	c  170s |      20 |   822920 |   801327 |     1269   1512 |        0 |        0
172.26/172.38	c  172s |      20 |   832067 |   810027 |     1269   1525 |        0 |        0
174.26/174.39	c  174s |      20 |   840961 |   818727 |     1269   1538 |        0 |        0
176.36/176.41	c  176s |      20 |   849794 |   827427 |     1269   1551 |        0 |        0
178.36/178.41	c  178s |      20 |   858465 |   836027 |     1269   1563 |        0 |        0
180.37/180.43	c  180s |      20 |   867549 |   844927 |     1269   1577 |        0 |        0
182.36/182.45	c  182s |      20 |   876798 |   854027 |     1269   1590 |        0 |        0
184.36/184.46	c  184s |      20 |   885772 |   862827 |     1269   1603 |        0 |        0
186.36/186.48	c  186s |      20 |   894923 |   871827 |     1269   1616 |        0 |        0
188.46/188.50	c  188s |      20 |   903983 |   880727 |     1269   1630 |        0 |        0
190.46/190.52	c  190s |      20 |   912796 |   889427 |     1269   1643 |        0 |        0
192.46/192.53	c  192s |      20 |   921615 |   898127 |     1269   1655 |        0 |        0
194.46/194.53	c  194s |      20 |   930641 |   907027 |     1269   1669 |        0 |        0
196.46/196.55	c  196s |      20 |   939694 |   915927 |     1269   1682 |        0 |        0
198.46/198.57	c  198s |      20 |   948391 |   924527 |     1269   1695 |        0 |        0
200.46/200.57	c  200s |      20 |   957114 |   933027 |     1269   1707 |        0 |        0
202.46/202.58	c  202s |      20 |   965644 |   941427 |     1269   1720 |        0 |        0
204.45/204.59	c  204s |      20 |   974913 |   950527 |     1269   1733 |        0 |        0
206.45/206.59	c  206s |      20 |   984007 |   959427 |     1269   1746 |        0 |        0
208.55/208.60	c  208s |      20 |   992966 |   968227 |     1269   1759 |        0 |        0
210.55/210.62	c  210s |      20 |  1001820 |   976927 |     1269   1772 |        0 |        0
212.55/212.64	c  212s |      20 |  1010664 |   985627 |     1269   1785 |        0 |        0
214.56/214.64	c  214s |      20 |  1019327 |   994127 |     1396   1797 |        0 |        0
216.05/216.10	c  216s |      21 |  1025744 |  1000345 |     1396   1806 |        0 |        0
218.06/218.12	c  218s |      21 |  1035330 |  1009645 |     1396   1818 |        0 |        0
220.06/220.14	c  220s |      21 |  1044539 |  1018545 |     1396   1830 |        0 |        0
222.06/222.15	c  222s |      21 |  1053478 |  1027145 |     1396   1842 |        0 |        0
224.06/224.15	c  224s |      21 |  1062559 |  1036045 |     1396   1854 |        0 |        0
226.06/226.16	c  226s |      21 |  1071744 |  1044945 |     1396   1866 |        0 |        0
228.06/228.17	c  228s |      21 |  1080912 |  1053945 |     1396   1878 |        0 |        0
230.06/230.18	c  230s |      21 |  1090002 |  1062845 |     1396   1890 |        0 |        0
232.06/232.18	c  232s |      21 |  1098902 |  1071645 |     1396   1902 |        0 |        0
234.15/234.20	c  234s |      21 |  1108250 |  1080845 |     1396   1915 |        0 |        0
236.15/236.20	c  236s |      21 |  1117317 |  1089745 |     1396   1927 |        0 |        0
238.15/238.22	c  238s |      21 |  1126325 |  1098545 |     1396   1938 |        0 |        0
240.15/240.24	c  240s |      21 |  1135304 |  1107345 |     1396   1950 |        0 |        0
242.15/242.24	c  242s |      21 |  1144283 |  1115845 |     1396   1962 |        0 |        0
244.16/244.26	c  244s |      21 |  1153359 |  1124745 |     1396   1974 |        0 |        0
246.15/246.28	c  246s |      21 |  1162337 |  1133545 |     1396   1986 |        0 |        0
248.25/248.30	c  248s |      21 |  1171568 |  1142445 |     1396   1998 |        0 |        0
250.25/250.31	c  250s |      21 |  1180534 |  1151245 |     1396   2010 |        0 |        0
252.25/252.32	c  252s |      21 |  1189268 |  1159845 |     1396   2021 |        0 |        0
254.25/254.34	c  254s |      21 |  1197978 |  1168345 |     1396   2033 |        0 |        0
256.25/256.35	c  256s |      21 |  1206737 |  1176945 |     1396   2044 |        0 |        0
258.25/258.36	c  258s |      21 |  1215345 |  1185345 |     1396   2056 |        0 |        0
260.25/260.37	c  260s |      21 |  1224690 |  1194545 |     1396   2068 |        0 |        0
262.25/262.37	c  262s |      21 |  1233892 |  1203645 |     1396   2080 |        0 |        0
264.25/264.38	c  264s |      21 |  1242987 |  1212545 |     1396   2092 |        0 |        0
266.25/266.39	c  266s |      21 |  1251941 |  1221345 |     1396   2104 |        0 |        0
268.35/268.41	c  268s |      21 |  1260811 |  1230045 |     1396   2116 |        0 |        0
270.34/270.43	c  270s |      21 |  1269647 |  1238745 |     1396   2128 |        0 |        0
272.34/272.44	c  272s |      21 |  1278341 |  1247245 |     1396   2139 |        0 |        0
274.34/274.44	c  274s |      21 |  1287163 |  1255745 |     1396   2151 |        0 |        0
276.33/276.46	c  276s |      21 |  1295921 |  1264145 |     1396   2162 |        0 |        0
278.34/278.46	c  278s |      21 |  1304975 |  1272945 |     1396   2174 |        0 |        0
280.33/280.46	c  280s |      21 |  1313813 |  1281545 |     1396   2186 |        0 |        0
282.33/282.47	c  282s |      21 |  1322711 |  1290245 |     1396   2197 |        0 |        0
284.33/284.49	c  284s |      21 |  1331424 |  1298745 |     1396   2209 |        0 |        0
286.43/286.50	c  286s |      21 |  1340084 |  1307145 |     1396   2220 |        0 |        0
288.43/288.51	c  288s |      21 |  1349098 |  1315845 |     1396   2232 |        0 |        0
290.44/290.51	c  290s |      21 |  1358346 |  1324745 |     1396   2244 |        0 |        0
292.43/292.53	c  292s |      21 |  1367250 |  1333445 |     1396   2256 |        0 |        0
294.43/294.56	c  294s |      21 |  1376151 |  1342145 |     1396   2268 |        0 |        0
296.42/296.56	c  296s |      21 |  1384837 |  1350645 |     1396   2279 |        0 |        0
298.42/298.58	c  298s |      21 |  1393685 |  1359245 |     1396   2291 |        0 |        0
300.42/300.59	c  300s |      21 |  1402369 |  1367645 |     1396   2302 |        0 |        0
302.43/302.59	c  302s |      21 |  1411271 |  1376345 |     1396   2314 |        0 |        0
304.52/304.60	c  304s |      21 |  1419948 |  1384745 |     1396   2325 |        0 |        0
306.52/306.61	c  306s |      21 |  1428566 |  1393145 |     1396   2336 |        0 |        0
308.52/308.62	c  308s |      21 |  1437194 |  1401645 |     1396   2348 |        0 |        0
310.52/310.64	c  310s |      21 |  1445994 |  1410145 |     1396   2359 |        0 |        0
312.52/312.64	c  312s |      21 |  1454441 |  1418445 |     1396   2371 |        0 |        0
314.53/314.66	c  314s |      21 |  1463019 |  1426745 |     1396   2382 |        0 |        0
316.52/316.68	c  316s |      21 |  1471964 |  1435445 |     1396   2394 |        0 |        0
318.52/318.69	c  318s |      21 |  1481153 |  1444445 |     1396   2406 |        0 |        0
320.62/320.70	c  320s |      21 |  1490287 |  1453345 |     1396   2418 |        0 |        0
322.62/322.71	c  322s |      21 |  1499287 |  1462145 |     1396   2430 |        0 |        0
324.62/324.71	c  324s |      21 |  1508051 |  1470645 |     1396   2441 |        0 |        0
326.63/326.73	c  326s |      21 |  1516746 |  1479145 |     1396   2453 |        0 |        0
328.62/328.73	c  328s |      21 |  1525593 |  1487845 |     1396   2464 |        0 |        0
330.62/330.75	c  330s |      21 |  1534344 |  1496445 |     1536   2475 |        0 |        0
331.62/331.72	c  331s |      22 |  1538615 |  1500622 |     1536   2480 |        0 |        0
333.62/333.73	c  333s |      22 |  1547761 |  1509522 |     1536   2491 |        0 |        0
335.62/335.75	c  335s |      22 |  1556738 |  1518322 |     1536   2502 |        0 |        0
337.62/337.76	c  337s |      22 |  1565458 |  1526822 |     1536   2512 |        0 |        0
339.61/339.77	c  339s |      22 |  1574249 |  1535422 |     1536   2523 |        0 |        0
341.61/341.78	c  341s |      22 |  1583192 |  1544122 |     1536   2534 |        0 |        0
343.61/343.79	c  343s |      22 |  1592203 |  1552922 |     1536   2545 |        0 |        0
345.71/345.81	c  345s |      22 |  1601069 |  1561622 |     1536   2555 |        0 |        0
347.71/347.82	c  347s |      22 |  1609728 |  1570122 |     1536   2566 |        0 |        0
349.72/349.84	c  349s |      22 |  1618609 |  1578822 |     1536   2576 |        0 |        0
351.71/351.85	c  351s |      22 |  1627428 |  1587222 |     1536   2587 |        0 |        0
353.71/353.86	c  353s |      22 |  1636144 |  1595722 |     1536   2597 |        0 |        0
355.71/355.87	c  355s |      22 |  1644977 |  1604222 |     1536   2608 |        0 |        0
357.70/357.87	c  357s |      22 |  1653480 |  1612422 |     1536   2618 |        0 |        0
359.71/359.88	c  359s |      22 |  1662395 |  1621122 |     1536   2629 |        0 |        0
361.70/361.90	c  361s |      22 |  1671637 |  1630122 |     1536   2640 |        0 |        0
363.80/363.92	c  363s |      22 |  1680662 |  1638922 |     1536   2650 |        0 |        0
365.80/365.94	c  365s |      22 |  1689743 |  1647822 |     1536   2661 |        0 |        0
367.80/367.96	c  367s |      22 |  1698932 |  1656722 |     1536   2672 |        0 |        0
369.80/369.97	c  369s |      22 |  1707694 |  1665322 |     1536   2683 |        0 |        0
371.80/371.97	c  371s |      22 |  1716500 |  1673922 |     1536   2694 |        0 |        0
373.80/373.99	c  373s |      22 |  1725425 |  1682622 |     1536   2704 |        0 |        0
375.90/376.01	c  375s |      22 |  1734203 |  1691122 |     1536   2715 |        0 |        0
377.90/378.04	c  378s |      22 |  1743085 |  1699822 |     1536   2726 |        0 |        0
379.90/380.06	c  380s |      22 |  1751886 |  1708422 |     1536   2736 |        0 |        0
381.90/382.06	c  382s |      22 |  1760590 |  1716922 |     1536   2747 |        0 |        0
383.91/384.07	c  384s |      22 |  1769351 |  1725522 |     1536   2757 |        0 |        0
385.90/386.07	c  386s |      22 |  1778426 |  1734422 |     1536   2768 |        0 |        0
387.90/388.09	c  388s |      22 |  1787301 |  1743122 |     1536   2779 |        0 |        0
390.00/390.11	c  390s |      22 |  1796153 |  1751822 |     1536   2790 |        0 |        0
392.00/392.12	c  392s |      22 |  1804989 |  1760522 |     1536   2800 |        0 |        0
394.00/394.14	c  394s |      22 |  1813891 |  1769222 |     1536   2811 |        0 |        0
396.00/396.15	c  396s |      22 |  1822448 |  1777622 |     1536   2821 |        0 |        0
397.99/398.15	c  398s |      22 |  1831429 |  1786122 |     1536   2832 |        0 |        0
399.99/400.17	c  400s |      22 |  1840070 |  1794622 |     1536   2842 |        0 |        0
401.99/402.19	c  402s |      22 |  1848761 |  1803022 |     1536   2853 |        0 |        0
404.09/404.21	c  404s |      22 |  1857516 |  1811522 |     1536   2863 |        0 |        0
406.09/406.22	c  406s |      22 |  1866085 |  1819822 |     1536   2873 |        0 |        0
408.09/408.24	c  408s |      22 |  1874643 |  1828222 |     1536   2884 |        0 |        0
410.09/410.26	c  410s |      22 |  1883528 |  1836922 |     1536   2895 |        0 |        0
412.09/412.27	c  412s |      22 |  1892276 |  1845522 |     1536   2905 |        0 |        0
414.09/414.29	c  414s |      22 |  1900864 |  1853922 |     1536   2916 |        0 |        0
416.18/416.30	c  416s |      22 |  1909199 |  1862122 |     1536   2926 |        0 |        0
418.18/418.32	c  418s |      22 |  1918363 |  1870922 |     1536   2937 |        0 |        0
420.19/420.33	c  420s |      22 |  1927889 |  1880022 |     1536   2948 |        0 |        0
422.18/422.34	c  422s |      22 |  1937081 |  1889022 |     1536   2959 |        0 |        0
424.18/424.36	c  424s |      22 |  1946223 |  1897922 |     1536   2970 |        0 |        0
426.18/426.37	c  426s |      22 |  1955494 |  1906922 |     1536   2981 |        0 |        0
428.18/428.39	c  428s |      22 |  1964478 |  1915722 |     1536   2992 |        0 |        0
430.28/430.40	c  430s |      22 |  1973451 |  1924522 |     1536   3002 |        0 |        0
432.28/432.42	c  432s |      22 |  1982393 |  1933322 |     1536   3013 |        0 |        0
434.28/434.43	c  434s |      22 |  1991133 |  1941822 |     1536   3024 |        0 |        0
436.27/436.44	c  436s |      22 |  1999840 |  1950322 |     1536   3034 |        0 |        0
438.27/438.45	c  438s |      22 |  2009029 |  1959222 |     1536   3045 |        0 |        0
440.27/440.47	c  440s |      22 |  2017968 |  1967822 |     1536   3056 |        0 |        0
442.27/442.49	c  442s |      22 |  2026802 |  1976422 |     1536   3066 |        0 |        0
444.28/444.50	c  444s |      22 |  2035528 |  1985022 |     1536   3077 |        0 |        0
446.37/446.51	c  446s |      22 |  2044593 |  1993822 |     1536   3088 |        0 |        0
448.36/448.52	c  448s |      22 |  2053558 |  2002522 |     1536   3099 |        0 |        0
450.36/450.53	c  450s |      22 |  2062274 |  2011022 |     1536   3109 |        0 |        0
452.36/452.55	c  452s |      22 |  2071038 |  2019522 |     1536   3120 |        0 |        0
454.36/454.56	c  454s |      22 |  2079637 |  2027822 |     1536   3130 |        0 |        0
456.36/456.58	c  456s |      22 |  2088274 |  2036222 |     1536   3140 |        0 |        0
458.36/458.59	c  458s |      22 |  2096906 |  2044622 |     1536   3151 |        0 |        0
460.36/460.60	c  460s |      22 |  2105840 |  2053422 |     1536   3161 |        0 |        0
462.46/462.61	c  462s |      22 |  2114477 |  2061922 |     1536   3172 |        0 |        0
464.46/464.62	c  464s |      22 |  2123081 |  2070322 |     1536   3182 |        0 |        0
466.46/466.63	c  466s |      22 |  2131670 |  2078622 |     1536   3192 |        0 |        0
468.46/468.65	c  468s |      22 |  2140358 |  2087022 |     1536   3203 |        0 |        0
470.46/470.67	c  470s |      22 |  2149158 |  2095522 |     1536   3213 |        0 |        0
472.46/472.69	c  472s |      22 |  2157574 |  2103722 |     1536   3223 |        0 |        0
474.56/474.71	c  474s |      22 |  2166058 |  2112022 |     1536   3234 |        0 |        0
476.55/476.73	c  476s |      22 |  2174938 |  2120722 |     1536   3244 |        0 |        0
478.55/478.74	c  478s |      22 |  2183900 |  2129522 |     1536   3255 |        0 |        0
480.56/480.74	c  480s |      22 |  2192575 |  2138022 |     1536   3266 |        0 |        0
482.55/482.76	c  482s |      22 |  2201400 |  2146622 |     1536   3276 |        0 |        0
484.55/484.77	c  484s |      22 |  2210000 |  2155022 |     1536   3287 |        0 |        0
486.54/486.79	c  486s |      22 |  2218769 |  2163422 |     1536   3297 |        0 |        0
488.54/488.79	c  488s |      22 |  2227235 |  2171722 |     1536   3307 |        0 |        0
490.64/490.80	c  490s |      22 |  2235815 |  2180022 |     1536   3317 |        0 |        0
492.65/492.81	c  492s |      22 |  2244494 |  2188422 |     1536   3328 |        0 |        0
494.64/494.83	c  494s |      22 |  2253113 |  2196722 |     1536   3338 |        0 |        0
496.64/496.84	c  496s |      22 |  2261586 |  2205022 |     1536   3348 |        0 |        0
498.64/498.86	c  498s |      22 |  2271179 |  2214422 |     1536   3360 |        0 |        0
500.64/500.86	c  500s |      22 |  2280610 |  2223622 |     1536   3371 |        0 |        0
502.65/502.88	c  502s |      22 |  2290003 |  2232822 |     1536   3383 |        0 |        0
504.64/504.89	c  504s |      22 |  2299399 |  2241922 |     1690   3393 |        0 |        0
506.74/506.90	c  506s |      22 |  2308627 |  2250822 |     1690   3403 |        0 |        0
506.74/506.94	c  506s |      23 |  2308851 |  2251038 |     1690   3403 |        0 |        0
508.74/508.96	c  508s |      23 |  2318372 |  2260038 |     1690   3413 |        0 |        0
510.74/510.96	c  510s |      23 |  2327684 |  2269038 |     1690   3423 |        0 |        0
512.73/512.97	c  512s |      23 |  2336990 |  2277938 |     1690   3433 |        0 |        0
514.74/514.98	c  514s |      23 |  2346080 |  2286738 |     1690   3443 |        0 |        0
516.73/516.99	c  516s |      23 |  2355325 |  2295738 |     1690   3453 |        0 |        0
518.83/519.00	c  518s |      23 |  2364530 |  2304738 |     1690   3463 |        0 |        0
520.83/521.01	c  520s |      23 |  2373453 |  2313438 |     1690   3473 |        0 |        0
522.83/523.02	c  523s |      23 |  2382439 |  2322138 |     1690   3483 |        0 |        0
524.83/525.03	c  525s |      23 |  2391457 |  2330838 |     1690   3493 |        0 |        0
526.83/527.03	c  527s |      23 |  2400448 |  2339538 |     1690   3502 |        0 |        0
528.83/529.04	c  529s |      23 |  2409321 |  2348238 |     1690   3512 |        0 |        0
530.83/531.04	c  531s |      23 |  2418315 |  2356938 |     1690   3522 |        0 |        0
532.83/533.05	c  533s |      23 |  2427251 |  2365638 |     1690   3532 |        0 |        0
534.82/535.06	c  535s |      23 |  2436183 |  2374238 |     1690   3542 |        0 |        0
536.82/537.08	c  537s |      23 |  2445404 |  2383038 |     1690   3551 |        0 |        0
538.83/539.09	c  539s |      23 |  2454228 |  2391538 |     1690   3561 |        0 |        0
540.92/541.10	c  541s |      23 |  2463279 |  2400238 |     1690   3571 |        0 |        0
542.92/543.11	c  543s |      23 |  2472646 |  2409438 |     1690   3581 |        0 |        0
544.92/545.11	c  545s |      23 |  2481741 |  2418238 |     1690   3591 |        0 |        0
546.92/547.12	c  547s |      23 |  2490606 |  2426938 |     1690   3601 |        0 |        0
548.91/549.13	c  549s |      23 |  2499465 |  2435638 |     1690   3611 |        0 |        0
550.92/551.16	c  551s |      23 |  2508244 |  2444238 |     1690   3620 |        0 |        0
552.91/553.16	c  553s |      23 |  2516810 |  2452638 |     1690   3630 |        0 |        0
554.91/555.17	c  555s |      23 |  2525626 |  2461238 |     1690   3639 |        0 |        0
556.91/557.18	c  557s |      23 |  2534956 |  2470238 |     1690   3650 |        0 |        0
559.01/559.21	c  559s |      23 |  2543861 |  2478938 |     1690   3659 |        0 |        0
561.01/561.22	c  561s |      23 |  2552685 |  2487538 |     1690   3669 |        0 |        0
563.03/563.23	c  563s |      23 |  2561493 |  2496138 |     1690   3679 |        0 |        0
565.02/565.25	c  565s |      23 |  2570098 |  2504538 |     1690   3688 |        0 |        0
567.01/567.27	c  567s |      23 |  2578937 |  2513138 |     1690   3698 |        0 |        0
569.01/569.28	c  569s |      23 |  2587474 |  2521338 |     1690   3707 |        0 |        0
571.01/571.30	c  571s |      23 |  2596723 |  2530438 |     1690   3717 |        0 |        0
573.11/573.31	c  573s |      23 |  2605737 |  2539238 |     1690   3727 |        0 |        0
575.12/575.33	c  575s |      23 |  2614456 |  2547738 |     1690   3737 |        0 |        0
577.11/577.35	c  577s |      23 |  2623455 |  2556538 |     1690   3747 |        0 |        0
579.11/579.36	c  579s |      23 |  2632426 |  2565238 |     1690   3756 |        0 |        0
581.11/581.38	c  581s |      23 |  2640990 |  2573638 |     1690   3766 |        0 |        0
583.10/583.38	c  583s |      23 |  2649819 |  2582138 |     1690   3775 |        0 |        0
585.11/585.39	c  585s |      23 |  2658365 |  2590438 |     1690   3785 |        0 |        0
587.21/587.42	c  587s |      23 |  2667122 |  2599038 |     1690   3795 |        0 |        0
589.20/589.44	c  589s |      23 |  2676015 |  2607738 |     1690   3804 |        0 |        0
591.20/591.46	c  591s |      23 |  2684964 |  2616538 |     1690   3814 |        0 |        0
593.20/593.47	c  593s |      23 |  2693555 |  2624938 |     1690   3824 |        0 |        0
595.20/595.50	c  595s |      23 |  2702404 |  2633638 |     1690   3834 |        0 |        0
597.29/597.50	c  597s |      23 |  2710982 |  2642038 |     1690   3843 |        0 |        0
599.30/599.51	c  599s |      23 |  2720018 |  2650838 |     1690   3853 |        0 |        0
601.29/601.52	c  601s |      23 |  2729070 |  2659538 |     1690   3863 |        0 |        0
603.29/603.54	c  603s |      23 |  2738034 |  2667938 |     1690   3872 |        0 |        0
605.29/605.56	c  605s |      23 |  2746669 |  2676238 |     1690   3882 |        0 |        0
607.29/607.58	c  607s |      23 |  2755658 |  2684938 |     1690   3891 |        0 |        0
609.39/609.60	c  609s |      23 |  2764529 |  2693538 |     1690   3901 |        0 |        0
611.40/611.62	c  611s |      23 |  2773124 |  2701938 |     1690   3911 |        0 |        0
613.39/613.62	c  613s |      23 |  2781902 |  2710538 |     1690   3920 |        0 |        0
615.39/615.64	c  615s |      23 |  2790569 |  2719038 |     1690   3930 |        0 |        0
617.38/617.66	c  617s |      23 |  2799520 |  2727838 |     1690   3940 |        0 |        0
619.38/619.66	c  619s |      23 |  2808141 |  2736338 |     1690   3949 |        0 |        0
621.39/621.67	c  621s |      23 |  2816586 |  2744638 |     1690   3959 |        0 |        0
623.38/623.68	c  623s |      23 |  2825371 |  2753238 |     1690   3968 |        0 |        0
625.48/625.70	c  625s |      23 |  2833984 |  2761638 |     1690   3978 |        0 |        0
627.48/627.72	c  627s |      23 |  2842433 |  2769938 |     1690   3987 |        0 |        0
629.48/629.74	c  629s |      23 |  2851579 |  2778938 |     1690   3997 |        0 |        0
631.48/631.74	c  631s |      23 |  2860707 |  2787838 |     1690   4007 |        0 |        0
633.48/633.74	c  633s |      23 |  2869495 |  2796438 |     1690   4017 |        0 |        0
635.48/635.75	c  635s |      23 |  2878214 |  2805038 |     1690   4027 |        0 |        0
637.47/637.77	c  637s |      23 |  2887172 |  2813838 |     1690   4037 |        0 |        0
639.47/639.79	c  639s |      23 |  2895925 |  2822438 |     1690   4046 |        0 |        0
641.57/641.80	c  641s |      23 |  2904726 |  2831038 |     1690   4056 |        0 |        0
643.57/643.81	c  643s |      23 |  2913337 |  2839538 |     1690   4066 |        0 |        0
645.58/645.83	c  645s |      23 |  2922098 |  2848138 |     1690   4075 |        0 |        0
647.57/647.83	c  647s |      23 |  2930710 |  2856538 |     1690   4085 |        0 |        0
649.57/649.85	c  649s |      23 |  2939083 |  2864738 |     1690   4094 |        0 |        0
651.57/651.85	c  651s |      23 |  2948086 |  2873538 |     1690   4104 |        0 |        0
653.57/653.87	c  653s |      23 |  2957067 |  2882338 |     1690   4114 |        0 |        0
655.57/655.89	c  655s |      23 |  2965850 |  2890838 |     1690   4123 |        0 |        0
657.57/657.90	c  657s |      23 |  2974485 |  2899238 |     1690   4133 |        0 |        0
659.66/659.92	c  659s |      23 |  2982971 |  2907438 |     1690   4142 |        0 |        0
661.66/661.94	c  661s |      23 |  2991673 |  2915838 |     1690   4152 |        0 |        0
663.67/663.94	c  663s |      23 |  3000353 |  2924338 |     1690   4161 |        0 |        0
665.67/665.95	c  665s |      23 |  3008975 |  2932838 |     1690   4171 |        0 |        0
667.67/667.97	c  667s |      23 |  3017708 |  2941338 |     1690   4180 |        0 |        0
669.67/669.98	c  669s |      23 |  3026273 |  2949638 |     1690   4190 |        0 |        0
671.66/671.99	c  671s |      23 |  3034982 |  2958138 |     1690   4199 |        0 |        0
673.76/674.00	c  673s |      23 |  3044524 |  2967338 |     1690   4210 |        0 |        0
675.76/676.01	c  675s |      23 |  3053749 |  2976338 |     1690   4220 |        0 |        0
677.76/678.02	c  677s |      23 |  3062706 |  2985138 |     1690   4230 |        0 |        0
679.76/680.03	c  680s |      23 |  3071777 |  2994038 |     1690   4240 |        0 |        0
681.77/682.05	c  682s |      23 |  3080959 |  3002938 |     1690   4250 |        0 |        0
683.76/684.06	c  684s |      23 |  3089581 |  3011338 |     1690   4259 |        0 |        0
685.76/686.09	c  686s |      23 |  3098210 |  3019638 |     1690   4269 |        0 |        0
687.76/688.09	c  688s |      23 |  3107271 |  3028538 |     1690   4279 |        0 |        0
689.86/690.12	c  690s |      23 |  3116201 |  3037238 |     1690   4289 |        0 |        0
691.86/692.12	c  692s |      23 |  3125077 |  3045838 |     1690   4298 |        0 |        0
693.86/694.13	c  694s |      23 |  3133995 |  3054538 |     1690   4308 |        0 |        0
695.86/696.13	c  696s |      23 |  3142819 |  3063138 |     1690   4318 |        0 |        0
697.85/698.14	c  698s |      23 |  3151661 |  3071838 |     1690   4327 |        0 |        0
699.85/700.14	c  700s |      23 |  3160540 |  3080438 |     1690   4337 |        0 |        0
701.85/702.16	c  702s |      23 |  3169366 |  3088938 |     1690   4347 |        0 |        0
703.86/704.16	c  704s |      23 |  3178217 |  3097538 |     1690   4356 |        0 |        0
705.85/706.17	c  706s |      23 |  3187412 |  3106538 |     1690   4367 |        0 |        0
707.85/708.17	c  708s |      23 |  3196376 |  3115338 |     1690   4376 |        0 |        0
709.85/710.18	c  710s |      23 |  3205121 |  3123938 |     1690   4386 |        0 |        0
711.95/712.20	c  712s |      23 |  3214100 |  3132738 |     1690   4396 |        0 |        0
713.95/714.21	c  714s |      23 |  3222785 |  3141238 |     1690   4406 |        0 |        0
715.95/716.22	c  716s |      23 |  3231456 |  3149738 |     1690   4415 |        0 |        0
717.94/718.24	c  718s |      23 |  3240237 |  3158338 |     1690   4425 |        0 |        0
719.94/720.25	c  720s |      23 |  3249241 |  3167138 |     1690   4435 |        0 |        0
721.94/722.26	c  722s |      23 |  3258263 |  3175938 |     1690   4445 |        0 |        0
723.94/724.26	c  724s |      23 |  3267029 |  3184438 |     1690   4454 |        0 |        0
725.94/726.27	c  726s |      23 |  3275622 |  3192838 |     1690   4464 |        0 |        0
727.94/728.28	c  728s |      23 |  3284327 |  3201338 |     1690   4473 |        0 |        0
729.93/730.29	c  730s |      23 |  3292858 |  3209638 |     1690   4483 |        0 |        0
732.03/732.30	c  732s |      23 |  3301584 |  3218138 |     1690   4492 |        0 |        0
734.03/734.30	c  734s |      23 |  3310515 |  3226838 |     1690   4502 |        0 |        0
736.03/736.31	c  736s |      23 |  3319023 |  3235138 |     1690   4512 |        0 |        0
738.03/738.32	c  738s |      23 |  3327719 |  3243538 |     1690   4521 |        0 |        0
740.04/740.35	c  740s |      23 |  3336481 |  3251938 |     1690   4531 |        0 |        0
742.03/742.37	c  742s |      23 |  3345016 |  3260238 |     1690   4540 |        0 |        0
744.03/744.37	c  744s |      23 |  3353357 |  3268338 |     1690   4549 |        0 |        0
746.03/746.38	c  746s |      23 |  3361959 |  3276638 |     1690   4558 |        0 |        0
748.03/748.39	c  748s |      23 |  3370583 |  3284938 |     1690   4568 |        0 |        0
750.13/750.40	c  750s |      23 |  3379178 |  3293138 |     1690   4577 |        0 |        0
752.03/752.40	c  752s |      23 |  3388257 |  3301938 |     1690   4587 |        0 |        0
754.13/754.41	c  754s |      23 |  3397057 |  3310538 |     1690   4597 |        0 |        0
756.12/756.41	c  756s |      23 |  3405784 |  3319038 |     1690   4606 |        0 |        0
758.12/758.43	c  758s |      23 |  3414558 |  3327638 |     1690   4616 |        0 |        0
760.12/760.44	c  760s |      23 |  3423393 |  3336338 |     1690   4626 |        0 |        0
762.13/762.46	c  762s |      23 |  3432143 |  3344838 |     1690   4635 |        0 |        0
764.12/764.48	c  764s |      23 |  3440686 |  3353138 |     1860   4645 |        0 |        0
766.12/766.48	c  766s |      23 |  3449147 |  3361438 |     1860   4653 |        0 |        0
768.12/768.48	c  768s |      23 |  3457803 |  3369638 |     1860   4662 |        0 |        0
769.82/770.18	c  770s |      24 |  3464926 |  3376662 |     1860   4669 |        0 |        0
771.82/772.20	c  772s |      24 |  3473795 |  3385262 |     1860   4678 |        0 |        0
773.92/774.21	c  774s |      24 |  3483108 |  3394362 |     1860   4687 |        0 |        0
775.92/776.22	c  776s |      24 |  3492106 |  3403262 |     1860   4696 |        0 |        0
777.91/778.24	c  778s |      24 |  3500832 |  3411662 |     1860   4705 |        0 |        0
779.91/780.26	c  780s |      24 |  3509478 |  3420162 |     1860   4713 |        0 |        0
781.93/782.28	c  782s |      24 |  3518489 |  3428962 |     1860   4722 |        0 |        0
783.92/784.29	c  784s |      24 |  3527220 |  3437462 |     1860   4731 |        0 |        0
786.02/786.30	c  786s |      24 |  3535888 |  3445962 |     1860   4740 |        0 |        0
788.02/788.31	c  788s |      24 |  3544637 |  3454562 |     1860   4749 |        0 |        0
790.01/790.32	c  790s |      24 |  3553203 |  3462962 |     1860   4757 |        0 |        0
792.01/792.33	c  792s |      24 |  3561964 |  3471562 |     1860   4766 |        0 |        0
794.02/794.34	c  794s |      24 |  3570566 |  3480062 |     1860   4775 |        0 |        0
796.01/796.36	c  796s |      24 |  3579121 |  3488362 |     1860   4783 |        0 |        0
798.01/798.38	c  798s |      24 |  3587457 |  3496362 |     1860   4792 |        0 |        0
800.11/800.40	c  800s |      24 |  3596099 |  3504862 |     1860   4800 |        0 |        0
802.11/802.42	c  802s |      24 |  3604785 |  3513362 |     1860   4809 |        0 |        0
804.11/804.42	c  804s |      24 |  3613188 |  3521662 |     1860   4818 |        0 |        0
806.11/806.43	c  806s |      24 |  3621813 |  3530062 |     1860   4826 |        0 |        0
808.11/808.45	c  808s |      24 |  3630263 |  3538262 |     1860   4835 |        0 |        0
810.11/810.45	c  810s |      24 |  3639092 |  3546862 |     1860   4843 |        0 |        0
812.11/812.47	c  812s |      24 |  3647759 |  3555262 |     1860   4852 |        0 |        0
814.11/814.49	c  814s |      24 |  3656421 |  3563462 |     1860   4861 |        0 |        0
816.20/816.50	c  816s |      24 |  3664875 |  3571762 |     1860   4869 |        0 |        0
818.21/818.53	c  818s |      24 |  3673448 |  3580062 |     1860   4878 |        0 |        0
820.20/820.55	c  820s |      24 |  3682084 |  3588262 |     1860   4886 |        0 |        0
822.20/822.55	c  822s |      24 |  3690620 |  3596462 |     1860   4894 |        0 |        0
824.20/824.56	c  824s |      24 |  3699137 |  3604762 |     1860   4903 |        0 |        0
826.20/826.58	c  826s |      24 |  3708308 |  3613762 |     1860   4912 |        0 |        0
828.20/828.59	c  828s |      24 |  3717488 |  3622762 |     1860   4921 |        0 |        0
830.30/830.60	c  830s |      24 |  3726687 |  3631762 |     1860   4931 |        0 |        0
832.29/832.61	c  832s |      24 |  3735631 |  3640562 |     1860   4940 |        0 |        0
834.29/834.63	c  834s |      24 |  3744791 |  3649562 |     1860   4949 |        0 |        0
836.29/836.64	c  836s |      24 |  3753714 |  3658262 |     1860   4958 |        0 |        0
838.29/838.64	c  838s |      24 |  3762998 |  3667262 |     1860   4967 |        0 |        0
840.29/840.66	c  840s |      24 |  3771994 |  3676062 |     1860   4976 |        0 |        0
842.30/842.69	c  842s |      24 |  3780876 |  3684762 |     1860   4985 |        0 |        0
844.29/844.69	c  844s |      24 |  3789864 |  3693562 |     1860   4994 |        0 |        0
846.39/846.70	c  846s |      24 |  3798590 |  3702062 |     1860   5003 |        0 |        0
848.38/848.71	c  848s |      24 |  3807397 |  3710662 |     1860   5012 |        0 |        0
850.38/850.71	c  850s |      24 |  3816194 |  3719162 |     1860   5020 |        0 |        0
852.38/852.72	c  852s |      24 |  3825450 |  3728162 |     1860   5030 |        0 |        0
854.39/854.74	c  854s |      24 |  3834361 |  3736862 |     1860   5039 |        0 |        0
856.38/856.74	c  856s |      24 |  3843163 |  3745462 |     1860   5047 |        0 |        0
858.38/858.76	c  858s |      24 |  3851917 |  3754062 |     1860   5056 |        0 |        0
860.38/860.78	c  860s |      24 |  3860758 |  3762762 |     1860   5065 |        0 |        0
862.37/862.79	c  862s |      24 |  3869311 |  3771162 |     1860   5074 |        0 |        0
864.38/864.79	c  864s |      24 |  3878514 |  3780162 |     1860   5083 |        0 |        0
866.48/866.81	c  866s |      24 |  3887200 |  3788662 |     1860   5092 |        0 |        0
868.47/868.81	c  868s |      24 |  3895739 |  3797062 |     1860   5100 |        0 |        0
870.47/870.84	c  870s |      24 |  3904206 |  3805262 |     1860   5109 |        0 |        0
872.47/872.86	c  872s |      24 |  3912885 |  3813662 |     1860   5118 |        0 |        0
874.47/874.88	c  874s |      24 |  3921322 |  3821862 |     1860   5126 |        0 |        0
876.47/876.89	c  876s |      24 |  3929968 |  3830262 |     1860   5135 |        0 |        0
878.57/878.91	c  878s |      24 |  3939131 |  3839162 |     1860   5144 |        0 |        0
880.57/880.94	c  880s |      24 |  3948082 |  3847862 |     1860   5153 |        0 |        0
882.57/882.96	c  882s |      24 |  3956955 |  3856562 |     1860   5162 |        0 |        0
884.57/884.99	c  884s |      24 |  3965773 |  3865262 |     1860   5171 |        0 |        0
886.66/887.01	c  886s |      24 |  3974382 |  3873662 |     1860   5179 |        0 |        0
888.66/889.02	c  889s |      24 |  3982958 |  3882062 |     1860   5188 |        0 |        0
890.67/891.04	c  891s |      24 |  3991561 |  3890462 |     1860   5196 |        0 |        0
892.66/893.06	c  893s |      24 |  4000199 |  3898962 |     1860   5205 |        0 |        0
894.66/895.06	c  895s |      24 |  4008465 |  3907062 |     1860   5214 |        0 |        0
896.66/897.07	c  897s |      24 |  4017563 |  3915962 |     1860   5223 |        0 |        0
898.66/899.09	c  899s |      24 |  4026758 |  3924862 |     1860   5232 |        0 |        0
900.67/901.10	c  901s |      24 |  4035735 |  3933562 |     1860   5241 |        0 |        0
902.77/903.11	c  903s |      24 |  4044774 |  3942362 |     1860   5250 |        0 |        0
904.76/905.12	c  905s |      24 |  4053639 |  3950962 |     1860   5259 |        0 |        0
906.76/907.13	c  907s |      24 |  4062390 |  3959562 |     1860   5268 |        0 |        0
908.76/909.14	c  909s |      24 |  4071267 |  3968262 |     1860   5276 |        0 |        0
910.76/911.16	c  911s |      24 |  4079994 |  3976762 |     1860   5285 |        0 |        0
912.76/913.17	c  913s |      24 |  4088757 |  3985262 |     1860   5294 |        0 |        0
914.76/915.18	c  915s |      24 |  4097500 |  3993862 |     1860   5303 |        0 |        0
916.86/917.20	c  917s |      24 |  4106000 |  4002162 |     1860   5311 |        0 |        0
918.86/919.22	c  919s |      24 |  4114583 |  4010562 |     1860   5320 |        0 |        0
920.86/921.22	c  921s |      24 |  4123346 |  4019062 |     1860   5329 |        0 |        0
922.86/923.23	c  923s |      24 |  4131859 |  4027362 |     1860   5337 |        0 |        0
924.86/925.24	c  925s |      24 |  4140202 |  4035562 |     1860   5346 |        0 |        0
926.86/927.24	c  927s |      24 |  4148953 |  4044162 |     1860   5355 |        0 |        0
928.85/929.24	c  929s |      24 |  4157502 |  4052562 |     1860   5363 |        0 |        0
930.85/931.25	c  931s |      24 |  4166154 |  4060862 |     1860   5372 |        0 |        0
932.85/933.26	c  933s |      24 |  4174616 |  4069062 |     1860   5380 |        0 |        0
934.85/935.27	c  935s |      24 |  4182980 |  4077062 |     1860   5388 |        0 |        0
936.86/937.27	c  937s |      24 |  4191668 |  4085362 |     1860   5397 |        0 |        0
938.85/939.28	c  939s |      24 |  4200669 |  4094162 |     1860   5406 |        0 |        0
940.95/941.30	c  941s |      24 |  4209695 |  4102962 |     1860   5415 |        0 |        0
942.95/943.32	c  943s |      24 |  4218409 |  4111462 |     1860   5424 |        0 |        0
944.95/945.32	c  945s |      24 |  4227270 |  4120062 |     1860   5433 |        0 |        0
946.95/947.34	c  947s |      24 |  4236009 |  4128662 |     1860   5441 |        0 |        0
948.96/949.34	c  949s |      24 |  4244676 |  4137162 |     1860   5450 |        0 |        0
950.95/951.34	c  951s |      24 |  4253163 |  4145462 |     1860   5459 |        0 |        0
952.95/953.37	c  953s |      24 |  4261840 |  4153862 |     1860   5467 |        0 |        0
954.95/955.37	c  955s |      24 |  4270498 |  4162262 |     1860   5476 |        0 |        0
956.95/957.38	c  957s |      24 |  4279094 |  4170662 |     1860   5485 |        0 |        0
958.97/959.38	c  959s |      24 |  4287588 |  4178962 |     1860   5493 |        0 |        0
960.96/961.38	c  961s |      24 |  4296414 |  4187562 |     1860   5502 |        0 |        0
963.06/963.40	c  963s |      24 |  4305116 |  4196062 |     1860   5511 |        0 |        0
965.06/965.41	c  965s |      24 |  4313737 |  4204462 |     1860   5519 |        0 |        0
967.06/967.41	c  967s |      24 |  4322202 |  4212762 |     1860   5528 |        0 |        0
969.06/969.41	c  969s |      24 |  4330828 |  4221062 |     1860   5536 |        0 |        0
971.06/971.42	c  971s |      24 |  4339482 |  4229362 |     1860   5545 |        0 |        0
973.06/973.42	c  973s |      24 |  4347833 |  4237462 |     1860   5553 |        0 |        0
975.05/975.45	c  975s |      24 |  4356340 |  4245762 |     1860   5562 |        0 |        0
977.05/977.47	c  977s |      24 |  4364805 |  4254062 |     1860   5570 |        0 |        0
979.05/979.48	c  979s |      24 |  4373162 |  4262262 |     1860   5579 |        0 |        0
981.15/981.50	c  981s |      24 |  4381990 |  4270862 |     1860   5588 |        0 |        0
983.16/983.51	c  983s |      24 |  4390563 |  4279262 |     1860   5596 |        0 |        0
985.15/985.52	c  985s |      24 |  4399308 |  4287762 |     1860   5605 |        0 |        0
987.15/987.52	c  987s |      24 |  4407874 |  4296162 |     1860   5614 |        0 |        0
989.15/989.53	c  989s |      24 |  4416591 |  4304662 |     1860   5622 |        0 |        0
991.15/991.55	c  991s |      24 |  4425227 |  4313062 |     1860   5631 |        0 |        0
993.15/993.55	c  993s |      24 |  4433608 |  4321162 |     1860   5640 |        0 |        0
995.15/995.56	c  995s |      24 |  4442055 |  4329362 |     1860   5648 |        0 |        0
997.15/997.58	c  997s |      24 |  4450364 |  4337362 |     1860   5656 |        0 |        0
999.15/999.58	c  999s |      24 |  4458994 |  4345762 |     1860   5665 |        0 |        0
1001.25/1001.61	c 1001s |      24 |  4467985 |  4354562 |     1860   5674 |        0 |        0
1003.25/1003.62	c 1003s |      24 |  4476785 |  4363162 |     1860   5683 |        0 |        0
1005.25/1005.64	c 1005s |      24 |  4485555 |  4371662 |     1860   5691 |        0 |        0
1007.25/1007.64	c 1007s |      24 |  4494126 |  4380062 |     1860   5700 |        0 |        0
1009.24/1009.64	c 1009s |      24 |  4502465 |  4388262 |     1860   5708 |        0 |        0
1011.24/1011.66	c 1011s |      24 |  4511140 |  4396762 |     1860   5717 |        0 |        0
1013.24/1013.69	c 1013s |      24 |  4519765 |  4404962 |     1860   5726 |        0 |        0
1015.34/1015.71	c 1015s |      24 |  4528434 |  4413362 |     1860   5734 |        0 |        0
1017.34/1017.72	c 1017s |      24 |  4536778 |  4421562 |     1860   5743 |        0 |        0
1019.35/1019.73	c 1019s |      24 |  4545516 |  4430162 |     1860   5752 |        0 |        0
1021.34/1021.74	c 1021s |      24 |  4554248 |  4438562 |     1860   5760 |        0 |        0
1023.34/1023.76	c 1023s |      24 |  4562676 |  4446762 |     1860   5769 |        0 |        0
1025.34/1025.78	c 1025s |      24 |  4571164 |  4455062 |     1860   5777 |        0 |        0
1027.34/1027.78	c 1027s |      24 |  4579507 |  4463162 |     1860   5785 |        0 |        0
1029.45/1029.80	c 1029s |      24 |  4587765 |  4471262 |     1860   5794 |        0 |        0
1031.45/1031.82	c 1031s |      24 |  4596639 |  4479762 |     1860   5803 |        0 |        0
1033.45/1033.84	c 1033s |      24 |  4605400 |  4488262 |     1860   5811 |        0 |        0
1035.45/1035.85	c 1035s |      24 |  4613919 |  4496562 |     1860   5820 |        0 |        0
1037.45/1037.87	c 1037s |      24 |  4622487 |  4504862 |     1860   5828 |        0 |        0
1039.45/1039.88	c 1039s |      24 |  4630838 |  4513062 |     1860   5837 |        0 |        0
1041.45/1041.89	c 1041s |      24 |  4639176 |  4521262 |     1860   5845 |        0 |        0
1043.55/1043.90	c 1043s |      24 |  4647574 |  4529462 |     1860   5854 |        0 |        0
1045.54/1045.91	c 1045s |      24 |  4655697 |  4537362 |     1860   5862 |        0 |        0
1047.54/1047.91	c 1047s |      24 |  4664190 |  4545662 |     1860   5870 |        0 |        0
1049.54/1049.91	c 1049s |      24 |  4672616 |  4553862 |     1860   5879 |        0 |        0
1051.54/1051.92	c 1051s |      24 |  4680975 |  4562062 |     1860   5887 |        0 |        0
1053.55/1053.94	c 1053s |      24 |  4689302 |  4570262 |     1860   5896 |        0 |        0
1055.54/1055.96	c 1055s |      24 |  4697631 |  4578462 |     1860   5904 |        0 |        0
1057.54/1057.98	c 1057s |      24 |  4705844 |  4586462 |     1860   5912 |        0 |        0
1059.54/1059.98	c 1059s |      24 |  4713973 |  4594362 |     1860   5920 |        0 |        0
1061.54/1061.98	c 1061s |      24 |  4723013 |  4602962 |     1860   5929 |        0 |        0
1063.64/1064.01	c 1063s |      24 |  4732697 |  4612162 |     1860   5939 |        0 |        0
1065.65/1066.02	c 1066s |      24 |  4741702 |  4621062 |     1860   5948 |        0 |        0
1067.64/1068.03	c 1068s |      24 |  4750492 |  4629662 |     1860   5957 |        0 |        0
1069.64/1070.04	c 1070s |      24 |  4759365 |  4638362 |     1860   5965 |        0 |        0
1071.64/1072.04	c 1072s |      24 |  4768135 |  4646962 |     1860   5974 |        0 |        0
1073.63/1074.05	c 1074s |      24 |  4777084 |  4655762 |     1860   5983 |        0 |        0
1075.63/1076.06	c 1076s |      24 |  4785975 |  4664462 |     1860   5992 |        0 |        0
1077.64/1078.07	c 1078s |      24 |  4794659 |  4672962 |     1860   6001 |        0 |        0
1079.63/1080.07	c 1080s |      24 |  4803151 |  4681262 |     1860   6009 |        0 |        0
1081.63/1082.08	c 1082s |      24 |  4812004 |  4689962 |     1860   6018 |        0 |        0
1083.63/1084.09	c 1084s |      24 |  4820712 |  4698462 |     1860   6027 |        0 |        0
1085.63/1086.09	c 1086s |      24 |  4829160 |  4706762 |     1860   6036 |        0 |        0
1087.73/1088.12	c 1088s |      24 |  4838181 |  4715562 |     1860   6045 |        0 |        0
1089.74/1090.13	c 1090s |      24 |  4847148 |  4724362 |     1860   6054 |        0 |        0
1091.73/1092.13	c 1092s |      24 |  4855981 |  4732962 |     1860   6062 |        0 |        0
1093.73/1094.15	c 1094s |      24 |  4864680 |  4741462 |     1860   6071 |        0 |        0
1095.73/1096.16	c 1096s |      24 |  4873285 |  4749862 |     1860   6080 |        0 |        0
1097.73/1098.18	c 1098s |      24 |  4881763 |  4758162 |     1860   6088 |        0 |        0
1099.83/1100.20	c 1100s |      24 |  4890360 |  4766562 |     1860   6097 |        0 |        0
1101.84/1102.22	c 1102s |      24 |  4898735 |  4774762 |     1860   6105 |        0 |        0
1103.83/1104.22	c 1104s |      24 |  4907707 |  4783462 |     1860   6114 |        0 |        0
1105.83/1106.24	c 1106s |      24 |  4916564 |  4792162 |     1860   6123 |        0 |        0
1107.83/1108.24	c 1108s |      24 |  4925313 |  4800762 |     1860   6132 |        0 |        0
1109.83/1110.25	c 1110s |      24 |  4934039 |  4809262 |     1860   6141 |        0 |        0
1111.84/1112.28	c 1112s |      24 |  4942823 |  4817862 |     1860   6150 |        0 |        0
1113.83/1114.30	c 1114s |      24 |  4951651 |  4826362 |     1860   6158 |        0 |        0
1115.93/1116.30	c 1116s |      24 |  4960206 |  4834762 |     1860   6167 |        0 |        0
1117.93/1118.31	c 1118s |      24 |  4968953 |  4843262 |     1860   6176 |        0 |        0
1119.93/1120.33	c 1120s |      24 |  4977520 |  4851562 |     1860   6184 |        0 |        0
1121.93/1122.35	c 1122s |      24 |  4986281 |  4860162 |     1860   6193 |        0 |        0
1123.93/1124.35	c 1124s |      24 |  4994862 |  4868562 |     1860   6202 |        0 |        0
1125.92/1126.36	c 1126s |      24 |  5003325 |  4876862 |     1860   6210 |        0 |        0
1127.92/1128.36	c 1128s |      24 |  5011701 |  4884962 |     1860   6219 |        0 |        0
1129.92/1130.38	c 1130s |      24 |  5020189 |  4893262 |     1860   6227 |        0 |        0
1131.92/1132.39	c 1132s |      24 |  5029038 |  4901962 |     1860   6236 |        0 |        0
1133.92/1134.39	c 1134s |      24 |  5037832 |  4910562 |     1860   6245 |        0 |        0
1136.03/1136.40	c 1136s |      24 |  5046623 |  4919162 |     1860   6254 |        0 |        0
1138.02/1138.43	c 1138s |      24 |  5055613 |  4927862 |     1860   6263 |        0 |        0
1140.02/1140.43	c 1140s |      24 |  5064291 |  4936362 |     1860   6271 |        0 |        0
1142.02/1142.45	c 1142s |      24 |  5072960 |  4944862 |     1860   6280 |        0 |        0
1144.02/1144.47	c 1144s |      24 |  5081550 |  4953262 |     1860   6289 |        0 |        0
1146.02/1146.49	c 1146s |      24 |  5090341 |  4961762 |     1860   6297 |        0 |        0
1148.13/1148.51	c 1148s |      24 |  5098823 |  4969962 |     1860   6306 |        0 |        0
1150.12/1150.53	c 1150s |      24 |  5107596 |  4978462 |     1860   6315 |        0 |        0
1152.12/1152.55	c 1152s |      24 |  5116043 |  4986462 |     1860   6323 |        0 |        0
1154.12/1154.56	c 1154s |      24 |  5124579 |  4994662 |     1860   6331 |        0 |        0
1156.12/1156.59	c 1156s |      24 |  5132974 |  5002862 |     1860   6340 |        0 |        0
1158.22/1158.62	c 1158s |      24 |  5141798 |  5011462 |     1860   6349 |        0 |        0
1160.23/1160.63	c 1160s |      24 |  5150853 |  5020262 |     1860   6358 |        0 |        0
1162.23/1162.65	c 1162s |      24 |  5159560 |  5028762 |     1860   6366 |        0 |        0
1164.23/1164.65	c 1164s |      24 |  5168143 |  5037062 |     2047   6374 |        0 |        0
1166.22/1166.66	c 1166s |      24 |  5176752 |  5045462 |     2047   6382 |        0 |        0
1168.22/1168.67	c 1168s |      24 |  5185170 |  5053662 |     2047   6390 |        0 |        0
1170.22/1170.69	c 1170s |      24 |  5193645 |  5061962 |     2047   6397 |        0 |        0
1171.02/1171.47	c 1171s |      25 |  5196929 |  5065098 |     2047   6400 |        0 |        0
1173.02/1173.49	c 1173s |      25 |  5205717 |  5073398 |     2047   6408 |        0 |        0
1175.12/1175.51	c 1175s |      25 |  5214396 |  5081798 |     2047   6416 |        0 |        0
1177.12/1177.53	c 1177s |      25 |  5222793 |  5089998 |     2047   6424 |        0 |        0
1179.12/1179.54	c 1179s |      25 |  5231501 |  5098498 |     2047   6432 |        0 |        0
1181.13/1181.55	c 1181s |      25 |  5240347 |  5107098 |     2047   6440 |        0 |        0
1183.12/1183.57	c 1183s |      25 |  5249072 |  5115598 |     2047   6448 |        0 |        0
1185.12/1185.57	c 1185s |      25 |  5257851 |  5123998 |     2047   6456 |        0 |        0
1187.22/1187.60	c 1187s |      25 |  5266617 |  5132398 |     2047   6463 |        0 |        0
1189.22/1189.61	c 1189s |      25 |  5275453 |  5140998 |     2047   6471 |        0 |        0
1191.22/1191.62	c 1191s |      25 |  5283898 |  5149298 |     2047   6479 |        0 |        0
1193.22/1193.65	c 1193s |      25 |  5292394 |  5157598 |     2047   6487 |        0 |        0
1195.22/1195.66	c 1195s |      25 |  5300850 |  5165898 |     2047   6495 |        0 |        0
1197.22/1197.67	c 1197s |      25 |  5309532 |  5174398 |     2047   6503 |        0 |        0
1199.22/1199.69	c 1199s |      25 |  5318053 |  5182698 |     2047   6511 |        0 |        0
1201.32/1201.71	c 1201s |      25 |  5326458 |  5190898 |     2047   6518 |        0 |        0
1203.32/1203.73	c 1203s |      25 |  5334615 |  5198898 |     2047   6526 |        0 |        0
1205.32/1205.74	c 1205s |      25 |  5343044 |  5206998 |     2047   6533 |        0 |        0
1207.31/1207.74	c 1207s |      25 |  5351102 |  5214898 |     2047   6541 |        0 |        0
1209.31/1209.75	c 1209s |      25 |  5359981 |  5223398 |     2047   6549 |        0 |        0
1211.31/1211.75	c 1211s |      25 |  5368568 |  5231698 |     2047   6556 |        0 |        0
1213.31/1213.76	c 1213s |      25 |  5376997 |  5239898 |     2047   6564 |        0 |        0
1215.31/1215.76	c 1215s |      25 |  5385704 |  5248398 |     2047   6572 |        0 |        0
1217.32/1217.78	c 1217s |      25 |  5394333 |  5256798 |     2047   6580 |        0 |        0
1219.32/1219.78	c 1219s |      25 |  5402728 |  5264998 |     2047   6588 |        0 |        0
1221.32/1221.79	c 1221s |      25 |  5411186 |  5273298 |     2047   6595 |        0 |        0
1223.32/1223.79	c 1223s |      25 |  5419456 |  5281398 |     2047   6603 |        0 |        0
1225.42/1225.80	c 1225s |      25 |  5427723 |  5289498 |     2047   6611 |        0 |        0
1227.42/1227.81	c 1227s |      25 |  5435945 |  5297498 |     2047   6618 |        0 |        0
1229.42/1229.81	c 1229s |      25 |  5444532 |  5305898 |     2047   6626 |        0 |        0
1231.42/1231.83	c 1231s |      25 |  5453210 |  5314298 |     2047   6634 |        0 |        0
1233.42/1233.85	c 1233s |      25 |  5461553 |  5322498 |     2047   6642 |        0 |        0
1235.42/1235.88	c 1235s |      25 |  5470123 |  5330898 |     2047   6649 |        0 |        0
1237.41/1237.89	c 1237s |      25 |  5478477 |  5339098 |     2047   6657 |        0 |        0
1239.51/1239.91	c 1239s |      25 |  5486838 |  5347298 |     2047   6665 |        0 |        0
1241.52/1241.93	c 1241s |      25 |  5495336 |  5355498 |     2047   6672 |        0 |        0
1243.51/1243.94	c 1243s |      25 |  5504093 |  5363698 |     2047   6680 |        0 |        0
1245.51/1245.97	c 1245s |      25 |  5512521 |  5371898 |     2047   6688 |        0 |        0
1247.51/1247.98	c 1247s |      25 |  5520738 |  5379798 |     2047   6695 |        0 |        0
1249.61/1250.00	c 1249s |      25 |  5528955 |  5387798 |     2047   6703 |        0 |        0
1251.61/1252.00	c 1251s |      25 |  5537406 |  5395998 |     2047   6711 |        0 |        0
1253.62/1254.02	c 1254s |      25 |  5545674 |  5404098 |     2047   6718 |        0 |        0
1255.61/1256.04	c 1256s |      25 |  5554103 |  5412298 |     2047   6726 |        0 |        0
1257.61/1258.06	c 1258s |      25 |  5562523 |  5420398 |     2047   6733 |        0 |        0
1259.61/1260.06	c 1260s |      25 |  5570994 |  5428498 |     2047   6741 |        0 |        0
1261.61/1262.09	c 1262s |      25 |  5579258 |  5436498 |     2047   6749 |        0 |        0
1263.61/1264.09	c 1264s |      25 |  5588108 |  5445098 |     2047   6757 |        0 |        0
1265.71/1266.11	c 1266s |      25 |  5596686 |  5453498 |     2047   6764 |        0 |        0
1267.71/1268.13	c 1268s |      25 |  5605214 |  5461798 |     2047   6772 |        0 |        0
1269.71/1270.14	c 1270s |      25 |  5613749 |  5470098 |     2047   6780 |        0 |        0
1271.70/1272.15	c 1272s |      25 |  5622393 |  5478498 |     2047   6788 |        0 |        0
1273.70/1274.15	c 1274s |      25 |  5630812 |  5486698 |     2047   6796 |        0 |        0
1275.71/1276.17	c 1276s |      25 |  5639299 |  5494798 |     2047   6803 |        0 |        0
1277.70/1278.18	c 1278s |      25 |  5647588 |  5502898 |     2047   6811 |        0 |        0
1279.70/1280.19	c 1280s |      25 |  5655842 |  5510998 |     2047   6818 |        0 |        0
1281.80/1282.20	c 1282s |      25 |  5664207 |  5519098 |     2047   6826 |        0 |        0
1283.80/1284.22	c 1284s |      25 |  5672404 |  5527098 |     2047   6834 |        0 |        0
1285.80/1286.23	c 1286s |      25 |  5680924 |  5535398 |     2047   6841 |        0 |        0
1287.81/1288.24	c 1288s |      25 |  5689255 |  5543598 |     2047   6849 |        0 |        0
1289.80/1290.27	c 1290s |      25 |  5697446 |  5551598 |     2047   6857 |        0 |        0
1291.80/1292.29	c 1292s |      25 |  5705641 |  5559598 |     2047   6864 |        0 |        0
1293.90/1294.31	c 1294s |      25 |  5713800 |  5567598 |     2047   6872 |        0 |        0
1295.91/1296.33	c 1296s |      25 |  5721970 |  5575598 |     2047   6879 |        0 |        0
1297.91/1298.33	c 1298s |      25 |  5731187 |  5584598 |     2047   6887 |        0 |        0
1299.91/1300.35	c 1300s |      25 |  5740206 |  5593398 |     2047   6896 |        0 |        0
1301.90/1302.37	c 1302s |      25 |  5748946 |  5601998 |     2047   6904 |        0 |        0
1303.90/1304.37	c 1304s |      25 |  5757513 |  5610398 |     2047   6912 |        0 |        0
1305.90/1306.38	c 1306s |      25 |  5766419 |  5619098 |     2047   6920 |        0 |        0
1307.90/1308.38	c 1308s |      25 |  5775113 |  5627498 |     2047   6928 |        0 |        0
1309.90/1310.39	c 1310s |      25 |  5783684 |  5635898 |     2047   6935 |        0 |        0
1312.01/1312.41	c 1312s |      25 |  5792534 |  5644498 |     2047   6944 |        0 |        0
1314.00/1314.42	c 1314s |      25 |  5801170 |  5652998 |     2047   6951 |        0 |        0
1316.00/1316.44	c 1316s |      25 |  5809821 |  5661398 |     2047   6959 |        0 |        0
1318.00/1318.44	c 1318s |      25 |  5818380 |  5669698 |     2047   6967 |        0 |        0
1320.00/1320.46	c 1320s |      25 |  5826980 |  5678098 |     2047   6975 |        0 |        0
1322.00/1322.48	c 1322s |      25 |  5835373 |  5686298 |     2047   6983 |        0 |        0
1324.01/1324.48	c 1324s |      25 |  5843911 |  5694598 |     2047   6990 |        0 |        0
1326.10/1326.50	c 1326s |      25 |  5852561 |  5702798 |     2047   6998 |        0 |        0
1328.10/1328.51	c 1328s |      25 |  5860861 |  5710798 |     2047   7006 |        0 |        0
1330.10/1330.52	c 1330s |      25 |  5869226 |  5718898 |     2047   7013 |        0 |        0
1332.10/1332.54	c 1332s |      25 |  5877580 |  5726998 |     2047   7021 |        0 |        0
1334.10/1334.55	c 1334s |      25 |  5886472 |  5735598 |     2047   7029 |        0 |        0
1336.11/1336.56	c 1336s |      25 |  5895231 |  5744198 |     2047   7037 |        0 |        0
1338.10/1338.57	c 1338s |      25 |  5903853 |  5752698 |     2047   7045 |        0 |        0
1340.10/1340.59	c 1340s |      25 |  5912707 |  5761298 |     2047   7053 |        0 |        0
1342.20/1342.61	c 1342s |      25 |  5921328 |  5769798 |     2047   7061 |        0 |        0
1344.20/1344.63	c 1344s |      25 |  5929835 |  5778198 |     2047   7069 |        0 |        0
1346.20/1346.63	c 1346s |      25 |  5938259 |  5786498 |     2047   7077 |        0 |        0
1348.20/1348.64	c 1348s |      25 |  5946534 |  5794598 |     2047   7084 |        0 |        0
1350.20/1350.65	c 1350s |      25 |  5954950 |  5802798 |     2047   7092 |        0 |        0
1352.20/1352.66	c 1352s |      25 |  5963530 |  5811198 |     2047   7100 |        0 |        0
1354.20/1354.68	c 1354s |      25 |  5972132 |  5819498 |     2047   7108 |        0 |        0
1356.29/1356.70	c 1356s |      25 |  5980541 |  5827698 |     2047   7115 |        0 |        0
1358.29/1358.71	c 1358s |      25 |  5989305 |  5836298 |     2047   7123 |        0 |        0
1360.30/1360.72	c 1360s |      25 |  5997823 |  5844598 |     2047   7131 |        0 |        0
1362.29/1362.73	c 1362s |      25 |  6006142 |  5852698 |     2047   7139 |        0 |        0
1364.29/1364.74	c 1364s |      25 |  6014547 |  5860898 |     2047   7146 |        0 |        0
1366.29/1366.74	c 1366s |      25 |  6022857 |  5868898 |     2047   7154 |        0 |        0
1368.29/1368.74	c 1368s |      25 |  6031398 |  5876998 |     2047   7161 |        0 |        0
1370.30/1370.76	c 1370s |      25 |  6039640 |  5884898 |     2047   7169 |        0 |        0
1372.29/1372.78	c 1372s |      25 |  6048046 |  5892998 |     2047   7176 |        0 |        0
1374.29/1374.79	c 1374s |      25 |  6056448 |  5901198 |     2047   7184 |        0 |        0
1376.39/1376.80	c 1376s |      25 |  6064772 |  5909398 |     2047   7192 |        0 |        0
1378.39/1378.80	c 1378s |      25 |  6073026 |  5917398 |     2047   7199 |        0 |        0
1380.39/1380.81	c 1380s |      25 |  6081627 |  5925698 |     2047   7207 |        0 |        0
1382.40/1382.83	c 1382s |      25 |  6090432 |  5934198 |     2047   7215 |        0 |        0
1384.39/1384.83	c 1384s |      25 |  6098625 |  5942098 |     2047   7223 |        0 |        0
1386.39/1386.86	c 1386s |      25 |  6107107 |  5949998 |     2047   7230 |        0 |        0
1388.39/1388.86	c 1388s |      25 |  6115361 |  5957998 |     2047   7237 |        0 |        0
1390.39/1390.87	c 1390s |      25 |  6123647 |  5966098 |     2047   7245 |        0 |        0
1392.39/1392.88	c 1392s |      25 |  6132146 |  5974398 |     2047   7253 |        0 |        0
1394.39/1394.89	c 1394s |      25 |  6140568 |  5982698 |     2047   7261 |        0 |        0
1396.39/1396.90	c 1396s |      25 |  6149227 |  5990998 |     2047   7268 |        0 |        0
1398.49/1398.90	c 1398s |      25 |  6157450 |  5998998 |     2047   7276 |        0 |        0
1400.49/1400.91	c 1400s |      25 |  6166213 |  6007498 |     2047   7284 |        0 |        0
1402.48/1402.92	c 1402s |      25 |  6174823 |  6015798 |     2047   7292 |        0 |        0
1404.48/1404.92	c 1404s |      25 |  6183492 |  6023998 |     2047   7299 |        0 |        0
1406.49/1406.95	c 1406s |      25 |  6191935 |  6032098 |     2047   7307 |        0 |        0
1408.48/1408.96	c 1408s |      25 |  6200468 |  6040198 |     2047   7315 |        0 |        0
1410.48/1410.99	c 1410s |      25 |  6208937 |  6048398 |     2047   7322 |        0 |        0
1412.58/1413.00	c 1412s |      25 |  6217264 |  6056498 |     2047   7330 |        0 |        0
1414.59/1415.00	c 1414s |      25 |  6225492 |  6064498 |     2047   7337 |        0 |        0
1416.59/1417.00	c 1416s |      25 |  6233666 |  6072398 |     2047   7345 |        0 |        0
1418.59/1419.02	c 1419s |      25 |  6242131 |  6080698 |     2047   7353 |        0 |        0
1420.59/1421.02	c 1421s |      25 |  6250567 |  6088798 |     2047   7360 |        0 |        0
1422.59/1423.04	c 1423s |      25 |  6258793 |  6096798 |     2047   7368 |        0 |        0
1424.59/1425.04	c 1425s |      25 |  6266961 |  6104798 |     2047   7375 |        0 |        0
1426.59/1427.06	c 1427s |      25 |  6275458 |  6112998 |     2047   7383 |        0 |        0
1428.59/1429.08	c 1429s |      25 |  6284003 |  6121298 |     2047   7391 |        0 |        0
1430.58/1431.10	c 1431s |      25 |  6292697 |  6129598 |     2047   7398 |        0 |        0
1432.68/1433.11	c 1433s |      25 |  6300864 |  6137498 |     2047   7406 |        0 |        0
1434.68/1435.12	c 1435s |      25 |  6308999 |  6145398 |     2047   7413 |        0 |        0
1436.68/1437.13	c 1437s |      25 |  6317431 |  6153498 |     2047   7421 |        0 |        0
1438.68/1439.14	c 1439s |      25 |  6325411 |  6161198 |     2047   7428 |        0 |        0
1440.69/1441.14	c 1441s |      25 |  6333803 |  6169298 |     2047   7436 |        0 |        0
1442.68/1443.15	c 1443s |      25 |  6342091 |  6177198 |     2047   7443 |        0 |        0
1444.68/1445.16	c 1445s |      25 |  6350390 |  6185198 |     2047   7451 |        0 |        0
1446.68/1447.18	c 1447s |      25 |  6358786 |  6193398 |     2047   7458 |        0 |        0
1448.68/1449.18	c 1449s |      25 |  6366955 |  6201198 |     2047   7466 |        0 |        0
1450.68/1451.19	c 1451s |      25 |  6375295 |  6209098 |     2047   7473 |        0 |        0
1452.79/1453.21	c 1453s |      25 |  6383569 |  6217098 |     2047   7481 |        0 |        0
1454.78/1455.22	c 1455s |      25 |  6391636 |  6224998 |     2047   7488 |        0 |        0
1456.78/1457.24	c 1457s |      25 |  6399857 |  6232998 |     2047   7495 |        0 |        0
1458.78/1459.24	c 1459s |      25 |  6408243 |  6241098 |     2047   7503 |        0 |        0
1460.78/1461.26	c 1461s |      25 |  6417131 |  6249598 |     2047   7511 |        0 |        0
1462.78/1463.27	c 1463s |      25 |  6425724 |  6257998 |     2047   7519 |        0 |        0
1464.78/1465.29	c 1465s |      25 |  6434172 |  6266198 |     2047   7527 |        0 |        0
1466.87/1467.31	c 1467s |      25 |  6442491 |  6274298 |     2047   7534 |        0 |        0
1468.87/1469.33	c 1469s |      25 |  6450819 |  6282298 |     2047   7542 |        0 |        0
1470.87/1471.33	c 1471s |      25 |  6459051 |  6290298 |     2047   7549 |        0 |        0
1472.87/1473.34	c 1473s |      25 |  6467490 |  6298498 |     2047   7557 |        0 |        0
1474.87/1475.35	c 1475s |      25 |  6475825 |  6306698 |     2047   7564 |        0 |        0
1476.88/1477.35	c 1477s |      25 |  6484087 |  6314798 |     2047   7572 |        0 |        0
1478.87/1479.35	c 1479s |      25 |  6492397 |  6322898 |     2047   7580 |        0 |        0
1480.87/1481.36	c 1481s |      25 |  6500653 |  6330998 |     2047   7587 |        0 |        0
1482.87/1483.38	c 1483s |      25 |  6508849 |  6338998 |     2047   7595 |        0 |        0
1484.87/1485.39	c 1485s |      25 |  6516846 |  6346798 |     2047   7602 |        0 |        0
1486.97/1487.40	c 1487s |      25 |  6524872 |  6354598 |     2047   7609 |        0 |        0
1488.98/1489.41	c 1489s |      25 |  6533006 |  6362498 |     2047   7617 |        0 |        0
1490.97/1491.42	c 1491s |      25 |  6541313 |  6370498 |     2047   7624 |        0 |        0
1492.97/1493.42	c 1493s |      25 |  6549252 |  6378198 |     2047   7632 |        0 |        0
1494.97/1495.42	c 1495s |      25 |  6557491 |  6386098 |     2047   7639 |        0 |        0
1496.97/1497.43	c 1497s |      25 |  6565617 |  6393898 |     2047   7646 |        0 |        0
1498.98/1499.45	c 1499s |      25 |  6574701 |  6402498 |     2047   7654 |        0 |        0
1500.97/1501.47	c 1501s |      25 |  6583253 |  6410798 |     2047   7662 |        0 |        0
1502.97/1503.47	c 1503s |      25 |  6591616 |  6418898 |     2047   7670 |        0 |        0
1504.97/1505.49	c 1505s |      25 |  6599773 |  6426898 |     2047   7677 |        0 |        0
1506.97/1507.49	c 1507s |      25 |  6607770 |  6434698 |     2047   7685 |        0 |        0
1509.07/1509.51	c 1509s |      25 |  6615988 |  6442698 |     2047   7692 |        0 |        0
1511.07/1511.54	c 1511s |      25 |  6624259 |  6450798 |     2047   7700 |        0 |        0
1513.07/1513.54	c 1513s |      25 |  6632571 |  6458798 |     2047   7707 |        0 |        0
1515.07/1515.56	c 1515s |      25 |  6640720 |  6466698 |     2047   7715 |        0 |        0
1517.07/1517.56	c 1517s |      25 |  6648833 |  6474598 |     2047   7722 |        0 |        0
1519.07/1519.56	c 1519s |      25 |  6656846 |  6482398 |     2047   7729 |        0 |        0
1521.06/1521.57	c 1521s |      25 |  6664686 |  6490098 |     2047   7737 |        0 |        0
1523.07/1523.59	c 1523s |      25 |  6673763 |  6498998 |     2047   7745 |        0 |        0
1525.06/1525.59	c 1525s |      25 |  6682594 |  6507598 |     2047   7753 |        0 |        0
1527.16/1527.61	c 1527s |      25 |  6691218 |  6515998 |     2047   7761 |        0 |        0
1529.16/1529.63	c 1529s |      25 |  6699894 |  6524498 |     2047   7769 |        0 |        0
1531.16/1531.64	c 1531s |      25 |  6708564 |  6532998 |     2047   7777 |        0 |        0
1533.16/1533.65	c 1533s |      25 |  6717522 |  6541598 |     2047   7785 |        0 |        0
1535.18/1535.66	c 1535s |      25 |  6726305 |  6550198 |     2047   7793 |        0 |        0
1537.17/1537.67	c 1537s |      25 |  6734843 |  6558498 |     2047   7801 |        0 |        0
1539.17/1539.68	c 1539s |      25 |  6743395 |  6566798 |     2047   7808 |        0 |        0
1541.27/1541.70	c 1541s |      25 |  6752094 |  6575298 |     2047   7816 |        0 |        0
1543.27/1543.70	c 1543s |      25 |  6760602 |  6583598 |     2047   7824 |        0 |        0
1545.27/1545.71	c 1545s |      25 |  6768847 |  6591698 |     2047   7832 |        0 |        0
1547.27/1547.72	c 1547s |      25 |  6777299 |  6599898 |     2047   7839 |        0 |        0
1549.26/1549.73	c 1549s |      25 |  6785585 |  6607998 |     2047   7847 |        0 |        0
1551.26/1551.75	c 1551s |      25 |  6794429 |  6616498 |     2047   7855 |        0 |        0
1553.26/1553.76	c 1553s |      25 |  6802930 |  6624798 |     2047   7863 |        0 |        0
1555.26/1555.77	c 1555s |      25 |  6811338 |  6633098 |     2047   7871 |        0 |        0
1557.27/1557.79	c 1557s |      25 |  6819803 |  6641198 |     2047   7878 |        0 |        0
1559.26/1559.79	c 1559s |      25 |  6827948 |  6649198 |     2047   7886 |        0 |        0
1561.26/1561.79	c 1561s |      25 |  6836629 |  6657598 |     2047   7893 |        0 |        0
1563.36/1563.80	c 1563s |      25 |  6845011 |  6665798 |     2047   7901 |        0 |        0
1565.36/1565.81	c 1565s |      25 |  6853528 |  6674098 |     2047   7909 |        0 |        0
1567.36/1567.83	c 1567s |      25 |  6861688 |  6681998 |     2047   7916 |        0 |        0
1569.37/1569.84	c 1569s |      25 |  6869566 |  6689698 |     2047   7924 |        0 |        0
1571.36/1571.85	c 1571s |      25 |  6878030 |  6697698 |     2047   7931 |        0 |        0
1573.36/1573.87	c 1573s |      25 |  6887123 |  6706398 |     2047   7939 |        0 |        0
1575.36/1575.87	c 1575s |      25 |  6895883 |  6714798 |     2047   7947 |        0 |        0
1577.36/1577.88	c 1577s |      25 |  6904391 |  6722998 |     2047   7955 |        0 |        0
1579.45/1579.91	c 1579s |      25 |  6912845 |  6731298 |     2047   7963 |        0 |        0
1581.46/1581.92	c 1581s |      25 |  6921272 |  6739598 |     2047   7970 |        0 |        0
1583.46/1583.93	c 1583s |      25 |  6929510 |  6747598 |     2047   7978 |        0 |        0
1585.46/1585.94	c 1585s |      25 |  6937762 |  6755598 |     2047   7985 |        0 |        0
1587.46/1587.94	c 1587s |      25 |  6946009 |  6763698 |     2047   7993 |        0 |        0
1589.46/1589.97	c 1589s |      25 |  6954441 |  6771898 |     2047   8001 |        0 |        0
1591.46/1591.97	c 1591s |      25 |  6962527 |  6779798 |     2047   8008 |        0 |        0
1593.47/1594.00	c 1593s |      25 |  6970912 |  6787898 |     2047   8016 |        0 |        0
1595.56/1596.01	c 1595s |      25 |  6979364 |  6795998 |     2047   8023 |        0 |        0
1597.56/1598.03	c 1598s |      25 |  6987553 |  6803998 |     2047   8031 |        0 |        0
1599.56/1600.03	c 1600s |      25 |  6995998 |  6812298 |     2047   8038 |        0 |        0
1601.56/1602.05	c 1602s |      25 |  7004691 |  6820798 |     2047   8046 |        0 |        0
1603.56/1604.05	c 1604s |      25 |  7013050 |  6828898 |     2047   8054 |        0 |        0
1605.57/1606.07	c 1606s |      25 |  7021387 |  6836898 |     2047   8061 |        0 |        0
1607.56/1608.08	c 1608s |      25 |  7029576 |  6844898 |     2047   8069 |        0 |        0
1609.56/1610.09	c 1610s |      25 |  7037716 |  6852798 |     2047   8076 |        0 |        0
1611.66/1612.10	c 1612s |      25 |  7045750 |  6860698 |     2047   8084 |        0 |        0
1613.65/1614.10	c 1614s |      25 |  7054041 |  6868798 |     2047   8091 |        0 |        0
1615.65/1616.11	c 1616s |      25 |  7062239 |  6876798 |     2047   8099 |        0 |        0
1617.66/1618.13	c 1618s |      25 |  7070134 |  6884398 |     2047   8106 |        0 |        0
1619.65/1620.15	c 1620s |      25 |  7078472 |  6892498 |     2047   8114 |        0 |        0
1621.65/1622.18	c 1622s |      25 |  7086648 |  6900398 |     2047   8121 |        0 |        0
1623.65/1624.18	c 1624s |      25 |  7094869 |  6908398 |     2047   8128 |        0 |        0
1625.65/1626.18	c 1626s |      25 |  7103036 |  6916298 |     2047   8136 |        0 |        0
1627.75/1628.21	c 1628s |      25 |  7111819 |  6924898 |     2047   8144 |        0 |        0
1629.76/1630.21	c 1630s |      25 |  7120498 |  6933298 |     2047   8152 |        0 |        0
1631.75/1632.21	c 1632s |      25 |  7128930 |  6941498 |     2047   8160 |        0 |        0
1633.75/1634.23	c 1634s |      25 |  7137518 |  6949898 |     2047   8167 |        0 |        0
1635.75/1636.25	c 1636s |      25 |  7145888 |  6958098 |     2047   8175 |        0 |        0
1637.75/1638.25	c 1638s |      25 |  7154236 |  6966298 |     2047   8183 |        0 |        0
1639.76/1640.26	c 1640s |      25 |  7162599 |  6974498 |     2047   8190 |        0 |        0
1641.75/1642.27	c 1642s |      25 |  7170933 |  6982598 |     2047   8198 |        0 |        0
1643.75/1644.27	c 1644s |      25 |  7179162 |  6990698 |     2047   8206 |        0 |        0
1645.75/1646.28	c 1646s |      25 |  7187282 |  6998698 |     2047   8213 |        0 |        0
1647.75/1648.29	c 1648s |      25 |  7195365 |  7006598 |     2047   8221 |        0 |        0
1649.85/1650.30	c 1650s |      25 |  7203673 |  7014698 |     2047   8228 |        0 |        0
1651.85/1652.31	c 1652s |      25 |  7211790 |  7022598 |     2047   8236 |        0 |        0
1653.85/1654.32	c 1654s |      25 |  7219941 |  7030598 |     2047   8243 |        0 |        0
1655.85/1656.34	c 1656s |      25 |  7228415 |  7038898 |     2047   8251 |        0 |        0
1657.85/1658.34	c 1658s |      25 |  7236664 |  7046998 |     2047   8259 |        0 |        0
1659.85/1660.35	c 1660s |      25 |  7244909 |  7054998 |     2047   8266 |        0 |        0
1661.85/1662.37	c 1662s |      25 |  7253189 |  7062898 |     2047   8273 |        0 |        0
1663.85/1664.39	c 1664s |      25 |  7261379 |  7070898 |     2047   8281 |        0 |        0
1665.94/1666.40	c 1666s |      25 |  7270059 |  7079398 |     2047   8289 |        0 |        0
1667.94/1668.41	c 1668s |      25 |  7278525 |  7087698 |     2047   8297 |        0 |        0
1669.94/1670.42	c 1670s |      25 |  7286796 |  7095798 |     2047   8304 |        0 |        0
1671.94/1672.44	c 1672s |      25 |  7295463 |  7104198 |     2047   8312 |        0 |        0
1673.94/1674.46	c 1674s |      25 |  7304041 |  7112598 |     2047   8320 |        0 |        0
1675.95/1676.46	c 1676s |      25 |  7312205 |  7120598 |     2047   8328 |        0 |        0
1677.94/1678.47	c 1678s |      25 |  7320425 |  7128698 |     2047   8335 |        0 |        0
1679.94/1680.49	c 1680s |      25 |  7328856 |  7136798 |     2047   8343 |        0 |        0
1682.04/1682.51	c 1682s |      25 |  7337222 |  7144898 |     2047   8350 |        0 |        0
1684.04/1684.52	c 1684s |      25 |  7345432 |  7152998 |     2047   8358 |        0 |        0
1686.04/1686.53	c 1686s |      25 |  7353585 |  7160998 |     2047   8365 |        0 |        0
1688.05/1688.55	c 1688s |      25 |  7361653 |  7168898 |     2047   8373 |        0 |        0
1690.04/1690.56	c 1690s |      25 |  7370063 |  7177098 |     2047   8381 |        0 |        0
1692.04/1692.58	c 1692s |      25 |  7378445 |  7185298 |     2047   8388 |        0 |        0
1694.04/1694.59	c 1694s |      25 |  7386689 |  7193398 |     2047   8396 |        0 |        0
1696.14/1696.61	c 1696s |      25 |  7394994 |  7201498 |     2047   8403 |        0 |        0
1698.14/1698.62	c 1698s |      25 |  7403004 |  7209298 |     2047   8411 |        0 |        0
1700.14/1700.63	c 1700s |      25 |  7411288 |  7217398 |     2047   8418 |        0 |        0
1702.14/1702.66	c 1702s |      25 |  7419567 |  7225498 |     2047   8426 |        0 |        0
1704.14/1704.68	c 1704s |      25 |  7427793 |  7233598 |     2047   8434 |        0 |        0
1706.14/1706.68	c 1706s |      25 |  7435784 |  7241298 |     2047   8441 |        0 |        0
1708.14/1708.69	c 1708s |      25 |  7443769 |  7249098 |     2047   8448 |        0 |        0
1710.24/1710.70	c 1710s |      25 |  7451748 |  7256898 |     2047   8455 |        0 |        0
1712.25/1712.72	c 1712s |      25 |  7459707 |  7264698 |     2047   8463 |        0 |        0
1714.24/1714.74	c 1714s |      25 |  7468447 |  7273098 |     2047   8471 |        0 |        0
1716.24/1716.74	c 1716s |      25 |  7477069 |  7281498 |     2047   8478 |        0 |        0
1718.24/1718.75	c 1718s |      25 |  7485740 |  7289898 |     2047   8486 |        0 |        0
1720.24/1720.77	c 1720s |      25 |  7494266 |  7298198 |     2047   8494 |        0 |        0
1722.25/1722.78	c 1722s |      25 |  7502651 |  7306298 |     2047   8502 |        0 |        0
1724.24/1724.79	c 1724s |      25 |  7510935 |  7314398 |     2047   8509 |        0 |        0
1726.34/1726.81	c 1726s |      25 |  7519445 |  7322598 |     2047   8517 |        0 |        0
1728.34/1728.82	c 1728s |      25 |  7527485 |  7330398 |     2047   8524 |        0 |        0
1730.34/1730.83	c 1730s |      25 |  7535938 |  7338498 |     2047   8532 |        0 |        0
1732.34/1732.84	c 1732s |      25 |  7544208 |  7346298 |     2047   8539 |        0 |        0
1734.34/1734.85	c 1734s |      25 |  7552211 |  7353998 |     2047   8546 |        0 |        0
1736.34/1736.86	c 1736s |      25 |  7560248 |  7361798 |     2047   8554 |        0 |        0
1738.33/1738.87	c 1738s |      25 |  7568421 |  7369798 |     2047   8561 |        0 |        0
1740.33/1740.87	c 1740s |      25 |  7576531 |  7377698 |     2047   8569 |        0 |        0
1742.33/1742.88	c 1742s |      25 |  7584578 |  7385498 |     2047   8576 |        0 |        0
1744.43/1744.90	c 1744s |      25 |  7592620 |  7393298 |     2047   8583 |        0 |        0
1746.44/1746.92	c 1746s |      25 |  7601097 |  7401598 |     2047   8591 |        0 |        0
1748.43/1748.93	c 1748s |      25 |  7609329 |  7409698 |     2047   8599 |        0 |        0
1750.43/1750.94	c 1750s |      25 |  7617357 |  7417498 |     2047   8606 |        0 |        0
1752.43/1752.94	c 1752s |      25 |  7625361 |  7425398 |     2047   8613 |        0 |        0
1754.43/1754.96	c 1754s |      25 |  7633529 |  7433298 |     2047   8621 |        0 |        0
1756.43/1756.96	c 1756s |      25 |  7641799 |  7441298 |     2047   8628 |        0 |        0
1758.44/1758.98	c 1758s |      25 |  7649892 |  7449198 |     2047   8636 |        0 |        0
1760.43/1760.98	c 1760s |      25 |  7657675 |  7456698 |     2047   8643 |        0 |        0
1762.43/1762.99	c 1762s |      25 |  7665818 |  7464698 |     2047   8650 |        0 |        0
1764.53/1765.00	c 1764s |      25 |  7674263 |  7472798 |     2047   8658 |        0 |        0
1766.53/1767.02	c 1767s |      25 |  7682297 |  7480598 |     2047   8665 |        0 |        0
1768.53/1769.04	c 1769s |      25 |  7690402 |  7488498 |     2047   8673 |        0 |        0
1770.54/1771.05	c 1771s |      25 |  7698373 |  7496298 |     2047   8680 |        0 |        0
1772.53/1773.07	c 1773s |      25 |  7706335 |  7504098 |     2047   8687 |        0 |        0
1774.53/1775.07	c 1775s |      25 |  7714462 |  7511998 |     2047   8695 |        0 |        0
1776.53/1777.09	c 1777s |      25 |  7722537 |  7519898 |     2047   8702 |        0 |        0
1778.62/1779.10	c 1779s |      25 |  7730386 |  7527498 |     2047   8709 |        0 |        0
1780.62/1781.11	c 1781s |      25 |  7738909 |  7535798 |     2047   8717 |        0 |        0
1782.63/1783.13	c 1783s |      25 |  7747860 |  7544398 |     2252   8725 |        0 |        0
1784.62/1785.14	c 1785s |      25 |  7756041 |  7552298 |     2252   8732 |        0 |        0
1786.62/1787.14	c 1787s |      25 |  7764266 |  7560198 |     2252   8738 |        0 |        0
1788.62/1789.15	c 1789s |      25 |  7772561 |  7568198 |     2252   8745 |        0 |        0
1790.63/1791.17	c 1791s |      25 |  7781054 |  7576298 |     2252   8752 |        0 |        0
1792.64/1793.18	c 1793s |      25 |  7789147 |  7583998 |     2252   8759 |        0 |        0
1794.63/1795.18	c 1795s |      25 |  7797397 |  7591898 |     2252   8765 |        0 |        0
1796.23/1796.72	c 1796s |      26 |  7803417 |  7597752 |     2252   8770 |        0 |        0
1798.23/1798.73	c 1798s |      26 |  7812628 |  7606652 |     2252   8778 |        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-4089673-1466030969/watcher-4089673-1466030969 -o /tmp/evaluation-result-4089673-1466030969/solver-4089673-1466030969 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089673-1466030969.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.03 2.06 2.00 3/179 8251
/proc/meminfo: memFree=30403052/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=543164 CPUtime=0 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 1991 0 0 0 0 0 0 0 20 0 4 0 5147086 556199936 2352 33554432000 4194304 16246674 140736850321856 140736850321280 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 136303 2360 441 2943 0 133197 0
[pid=8251/tid=8252] ppid=8248 vsize=559548 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 572977152 2419 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=564668 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 578220032 2435 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=567740 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5147086 581365760 2451 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.03 2.06 2.00 3/179 8251
/proc/meminfo: memFree=30403052/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 29412 0 0 0 6 3 0 0 20 0 4 0 5147086 1247350784 29763 33554432000 4194304 16246674 140736850321856 140736850321280 13191638 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 304529 29773 710 2943 0 301423 0
[pid=8251/tid=8252] ppid=8248 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1247350784 29780 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1247350784 29786 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5147086 1247350784 29794 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20052 s]
/proc/loadavg: 2.03 2.06 2.00 3/179 8251
/proc/meminfo: memFree=30403052/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 58812 0 0 0 12 7 0 0 20 0 4 0 5147086 1247350784 59162 33554432000 4194304 16246674 140736850321856 140736850321280 5589685 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 304529 59179 710 2943 0 301423 0
[pid=8251/tid=8252] ppid=8248 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1247350784 59189 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1247350784 59202 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5147086 1247350784 59213 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300485 s]
/proc/loadavg: 2.03 2.06 2.00 3/179 8251
/proc/meminfo: memFree=30403052/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 87800 0 0 0 18 11 0 0 20 0 4 0 5147086 1247350784 88150 33554432000 4194304 16246674 140736850321856 140736850321280 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 304529 88169 710 2943 0 301423 0
[pid=8251/tid=8252] ppid=8248 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1247350784 88177 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1247350784 88184 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5147086 1247350784 88189 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700398 s]
/proc/loadavg: 2.03 2.06 2.00 3/179 8251
/proc/meminfo: memFree=30403052/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 204509 0 0 0 43 25 0 0 20 0 4 0 5147086 1247350784 204859 33554432000 4194304 16246674 140736850321856 140736850321280 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 304529 204867 710 2943 0 301423 0
[pid=8251/tid=8252] ppid=8248 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1247350784 204876 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1247350784 204887 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5147086 1247350784 204897 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.03 2.06 2.00 3/183 8255
/proc/meminfo: memFree=29419784/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 267130 0 0 0 115 34 0 0 20 0 4 0 5147086 1336479744 267460 33554432000 4194304 16246674 140736850321856 140736850321168 6021260 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 326289 267460 788 2943 0 323183 0
[pid=8251/tid=8252] ppid=8248 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1336479744 267460 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1336479744 267460 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1336479744 267460 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.03 2.06 2.00 3/183 8255
/proc/meminfo: memFree=29332736/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 267448 0 0 0 275 34 0 0 20 0 4 0 5147086 1337528320 267778 33554432000 4194304 16246674 140736850321856 140736850304856 5722656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 326545 267778 788 2943 0 323439 0
[pid=8251/tid=8252] ppid=8248 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1337528320 267778 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1337528320 267778 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1337528320 267778 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.03 2.06 2.00 3/183 8255
/proc/meminfo: memFree=29332024/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 267569 0 0 0 595 34 0 0 20 0 4 0 5147086 1337528320 267899 33554432000 4194304 16246674 140736850321856 140736850304856 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 326545 267899 788 2943 0 323439 0
[pid=8251/tid=8252] ppid=8248 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1337528320 267899 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1337528320 267899 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1337528320 267899 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.03 2.06 2.00 4/183 8255
/proc/meminfo: memFree=29331560/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 267586 0 0 0 1235 34 0 0 20 0 4 0 5147086 1338576896 267916 33554432000 4194304 16246674 140736850321856 140736850303744 13950232 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 326801 267916 788 2943 0 323695 0
[pid=8251/tid=8252] ppid=8248 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1338576896 267916 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1338576896 267916 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1338576896 267916 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.02 2.05 2.00 3/183 8256
/proc/meminfo: memFree=29331576/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 267621 0 0 0 2514 34 0 0 20 0 4 0 5147086 1338576896 267951 33554432000 4194304 16246674 140736850321856 140736850304856 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 326801 267951 790 2943 0 323695 0
[pid=8251/tid=8252] ppid=8248 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1338576896 267951 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1338576896 267951 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1338576896 267951 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.07 2.06 2.00 3/184 8259
/proc/meminfo: memFree=29330236/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 268063 0 0 0 5074 34 0 0 20 0 4 0 5147086 1339625472 268393 33554432000 4194304 16246674 140736850321856 140736850304856 5823615 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 327057 268393 790 2943 0 323951 0
[pid=8251/tid=8252] ppid=8248 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1339625472 268393 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1339625472 268393 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1339625472 268393 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 8260
/proc/meminfo: memFree=29330052/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 268084 0 0 0 10193 35 0 0 20 0 4 0 5147086 1339625472 268414 33554432000 4194304 16246674 140736850321856 140736850303744 5861500 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 327057 268414 791 2943 0 323951 0
[pid=8251/tid=8252] ppid=8248 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1339625472 268414 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1339625472 268414 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1339625472 268414 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270206 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 8363
/proc/meminfo: memFree=29321648/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1315396 CPUtime=1361.89 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 270250 0 0 0 136141 48 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 140736850303744 12478249 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 328849 270210 792 2943 0 325743 0
[pid=8251/tid=8252] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.11 2.05 2.01 4/183 8364
/proc/meminfo: memFree=29321492/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1315396 CPUtime=1421.89 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 270250 0 0 0 142140 49 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 140736850303744 5661124 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 328849 270210 792 2943 0 325743 0
[pid=8251/tid=8252] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 8365
/proc/meminfo: memFree=29321524/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1315396 CPUtime=1481.87 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 270250 0 0 0 148138 49 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 140736850303744 5722656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 328849 270210 792 2943 0 325743 0
[pid=8251/tid=8252] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.09 2.06 2.01 3/182 8366
/proc/meminfo: memFree=29321756/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1315396 CPUtime=1541.87 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 270250 0 0 0 154137 50 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 140736850304856 6021260 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 328849 270210 792 2943 0 325743 0
[pid=8251/tid=8252] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/183 8368
/proc/meminfo: memFree=29321736/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1315396 CPUtime=1601.86 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 270250 0 0 0 160135 51 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 140736850303744 6021072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 328849 270210 792 2943 0 325743 0
[pid=8251/tid=8252] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 8369
/proc/meminfo: memFree=29322328/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1315396 CPUtime=1661.85 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 270250 0 0 0 166134 51 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 140736850303744 5717462 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 328849 270210 792 2943 0 325743 0
[pid=8251/tid=8252] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 8370
/proc/meminfo: memFree=29322324/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1315396 CPUtime=1721.84 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 270250 0 0 0 172132 52 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 140736850303744 13966199 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 328849 270210 792 2943 0 325743 0
[pid=8251/tid=8252] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.01 4/183 8371
/proc/meminfo: memFree=29321708/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1315396 CPUtime=1781.82 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 270250 0 0 0 178130 52 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 140736850303744 13923760 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 328849 270210 792 2943 0 325743 0
[pid=8251/tid=8252] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.05 2.07 2.01 3/183 8371
/proc/meminfo: memFree=29321840/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1315396 CPUtime=1800.03 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 270250 0 0 0 179950 53 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 140736850304856 5721725 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 328849 270210 792 2943 0 325743 0
[pid=8251/tid=8252] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1315396

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

[startup+1800.5 s]
/proc/loadavg: 2.05 2.07 2.01 3/183 8371
/proc/meminfo: memFree=29321840/32872528 swapFree=524788/557492
[pid=8251] ppid=8248 vsize=1315396 CPUtime=1800.03 cores=0,2,4,6
/proc/8251/stat : 8251 (toysat) R 8248 8251 5756 0 -1 4202496 270250 0 0 0 179950 53 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 140736850304856 5721725 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/8251/statm: 328849 270210 792 2943 0 325743 0
[pid=8251/tid=8252] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8252/stat : 8252 (toysat) S 8248 8251 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905982246128 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=8251/tid=8253] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8253/stat : 8253 (toysat) S 8248 8251 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905971756272 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8251/tid=8254] ppid=8248 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8251/task/8254/stat : 8254 (toysat) S 8248 8251 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5147086 1346965504 270210 33554432000 4194304 16246674 140736850321856 139905961282736 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1315396

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.51
CPU system time (s): 0.530919
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 1315396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.530919
maximum resident set size= 1080840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270250
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 386
involuntary context switches= 1836

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.54101 second user time and 8.72767 second system time

The end

Begin job on node106 at 2016-06-16 00:49:30
IDJOB=4089673
IDBENCH=107440
IDSOLVER=2542
FILE ID=node106/4089673-1466030969
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid8x23-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089673-1466030969/watcher-4089673-1466030969 -o /tmp/evaluation-result-4089673-1466030969/solver-4089673-1466030969 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089673-1466030969.opb

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

MD5SUM BENCH= 1a7387ca9aeb62ab619fcd4d89e14fdf
RANDOM SEED=1394586110

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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:        30403860 kB
Buffers:           38892 kB
Cached:            77936 kB
SwapCached:         1480 kB
Active:          1152836 kB
Inactive:          47480 kB
Active(anon):    1084584 kB
Inactive(anon):     1188 kB
Active(file):      68252 kB
Inactive(file):    46292 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       1639772 kB
Mapped:            10492 kB
Shmem:                 0 kB
Slab:             576912 kB
SReclaimable:      20804 kB
SUnreclaim:       556108 kB
KernelStack:        1456 kB
PageTables:         7352 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1783916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1107968 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-16 01:19:30