0.00/0.00	c 2016-06-15T23:44:13+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-4089414-1466027053.opb"]
0.00/0.01	c use --random-gen="1082688828 4038490391 22360980 2073242091 2939001410 1582700958 861926836 1144715716 3614516515 1641345904 3789652391 1783551354 2322099340 467815824 2250187672 2434469515 3474199997 3392095402 1171480382 1356874601 2276501745 427954665 1062164065 3299014060 3677808325 328653607 2301247312 2507907473 2256051754 2058640160 3375699755 3737861831 4069789336 3836403954 3315143961 571967149 2212879252 2533245349 2948482218 3437600714 1350144484 1161587004 816115818 3273244825 1053942064 1356957598 2558547719 3775455238 657175869 2965238116 2063124543 635723309 610357478 2556709724 948220082 244830613 1469366354 1786900072 2101727826 1547883348 1828528523 3597919984 2530598402 1885381638 3586918477 2987692119 4201926687 4276104484 3864489576 340046703 4013598351 1062110565 1186381383 3356282813 2446676085 311355137 3666889268 2538877252 3384699733 484915886 1089040309 1887447467 3522001404 3047367482 589269127 2654482351 1297645103 1838867533 3797607996 1238520984 1450667827 3411507349 2061194575 833229943 1022302985 4036281187 2189474246 4198792538 306893409 3494138406 4158257629 651524592 1369346600 2579876180 2092198453 257281507 1044123114 3259192496 3861726295 2644198854 2953519076 240012061 2857713521 708034035 4026843785 1228523569 415967244 724741253 1872017061 3586019861 2543894329 765735837 1732283343 3328775233 822649798 4261640058 753451149 520081520 875291765 2395788748 2024270277 234183459 4081034354 368646144 2963736881 1877660622 422802389 2141768131 3338865298 3083017676 3809045713 1185729019 2492402382 2548847311 410936686 982783380 151672167 3924670417 754433118 3744531532 2022193242 1834740001 216924068 1732142708 1357163002 1526078404 2637025191 2710522612 2435104562 1245386819 1581978191 3608873437 1893824899 379261758 3239781487 2370310645 1882226187 1123081212 2697761115 452723672 3931182235 1629084738 4222017403 108867467 4215700648 2622270647 2543074118 3577764971 1009780136 3363501401 1369154391 4255681494 1481662747 941041578 3086632153 2369465915 1559498211 4095999715 30519504 3279596795 1158291373 1574517463 2235058218 325468353 1984623419 1842578656 1570468847 3212057117 2892153097 1392346772 3162396604 3450044740 3834193198 2804164948 4124030955 712294506 380399343 583596949 282047618 2448670496 447776311 1348796688 315999535 1311807664 1547718493 1958867319 214180163 1626996872 4101289565 3470374937 3000310401 1435818912 3054622549 3721416764 114399485 1684786058 1292388544 3734886985 626374959 2245151893 1870679426 3105894123 407011071 2263819573 2804746562 457456045 1916775277 3252140905 2283139198 1535275383 424272778 3066559183 2224937978 112748736 777863784 2604881958 2506610425 1056045258 729030279 4025876224 1218711387 451634845 1280863762 3584851300 1699998615 957193735 255 362436" option to reproduce the execution
0.00/0.01	c #vars 150
0.00/0.01	c #constraints 301
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 |      150      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      172 |      100 |      150      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      399 |      250 |      165      1 |        0 |        0
0.09/0.11	c  0.1s |       3 |      695 |      475 |      182      2 |        0 |        0
0.09/0.18	c  0.2s |       4 |     1101 |      813 |      201      5 |        0 |        0
0.19/0.29	c  0.3s |       5 |     1673 |     1320 |      222      8 |        0 |        0
0.39/0.46	c  0.4s |       6 |     2495 |     2081 |      270     13 |        0 |        0
0.68/0.72	c  0.7s |       7 |     3706 |     3223 |      297     20 |        0 |        0
0.99/1.04	c  1.0s |       8 |     5495 |     4936 |      327     29 |        0 |        0
1.39/1.44	c  1.4s |       9 |     8158 |     7506 |      360     42 |        0 |        0
1.99/2.03	c  2.0s |      10 |    12159 |    11361 |      397     60 |        0 |        0
2.88/2.93	c  2.9s |      11 |    18104 |    17144 |      437     85 |        0 |        0
4.28/4.33	c  4.3s |      12 |    27120 |    25819 |      481    119 |        0 |        0
6.29/6.35	c  6.3s |      12 |    40140 |    38319 |      481    165 |        0 |        0
6.39/6.43	c  6.4s |      13 |    40657 |    38832 |      530    166 |        0 |        0
8.39/8.43	c  8.4s |      13 |    53518 |    51332 |      530    208 |        0 |        0
9.49/9.57	c  9.6s |      14 |    60718 |    58352 |      583    232 |        0 |        0
11.49/11.59	c 11.6s |      14 |    73508 |    70652 |      583    270 |        0 |        0
13.49/13.59	c 13.6s |      14 |    85788 |    82452 |      583    306 |        0 |        0
14.39/14.47	c 14.5s |      15 |    91156 |    87632 |      642    322 |        0 |        0
16.39/16.47	c 16.5s |      15 |   103446 |    99532 |      642    355 |        0 |        0
18.39/18.49	c 18.5s |      15 |   115494 |   111232 |      642    388 |        0 |        0
20.48/20.50	c 20.5s |      15 |   127450 |   122732 |      642    421 |        0 |        0
21.98/22.06	c 22.0s |      16 |   136706 |   131552 |      707    445 |        0 |        0
23.98/24.08	c 24.1s |      16 |   148916 |   143052 |      707    475 |        0 |        0
25.98/26.09	c 26.1s |      16 |   161599 |   155052 |      707    506 |        0 |        0
27.98/28.09	c 28.1s |      16 |   174255 |   167152 |      707    538 |        0 |        0
30.08/30.10	c 30.1s |      16 |   187414 |   179152 |      707    569 |        0 |        0
32.09/32.11	c 32.1s |      16 |   200201 |   191552 |      707    601 |        0 |        0
32.98/33.08	c 33.1s |      17 |   206278 |   197432 |      778    616 |        0 |        0
34.98/35.08	c 35.1s |      17 |   218773 |   209532 |      778    645 |        0 |        0
36.98/37.09	c 37.1s |      17 |   231187 |   221432 |      778    673 |        0 |        0
39.08/39.11	c 39.1s |      17 |   243990 |   233432 |      778    701 |        0 |        0
41.08/41.11	c 41.1s |      17 |   256018 |   245132 |      778    729 |        0 |        0
43.08/43.12	c 43.1s |      17 |   267949 |   256832 |      778    757 |        0 |        0
45.07/45.13	c 45.1s |      17 |   280422 |   268732 |      778    785 |        0 |        0
47.07/47.15	c 47.1s |      17 |   292734 |   280532 |      778    813 |        0 |        0
49.07/49.16	c 49.1s |      17 |   305089 |   292132 |      778    841 |        0 |        0
49.78/49.87	c 49.9s |      18 |   309535 |   296252 |      856    850 |        0 |        0
51.77/51.88	c 51.9s |      18 |   322036 |   308252 |      856    876 |        0 |        0
53.77/53.89	c 53.9s |      18 |   334419 |   320252 |      856    903 |        0 |        0
55.88/55.91	c 55.9s |      18 |   346861 |   332252 |      856    929 |        0 |        0
57.88/57.92	c 57.9s |      18 |   359295 |   344152 |      856    955 |        0 |        0
59.88/59.95	c 59.9s |      18 |   371642 |   356152 |      856    981 |        0 |        0
61.88/61.95	c 61.9s |      18 |   383740 |   367752 |      856   1006 |        0 |        0
63.88/63.95	c 63.9s |      18 |   395746 |   379352 |      856   1031 |        0 |        0
65.88/65.97	c 65.9s |      18 |   407630 |   390852 |      856   1056 |        0 |        0
67.88/67.98	c 68.0s |      18 |   419741 |   402552 |      856   1082 |        0 |        0
69.88/69.98	c 70.0s |      18 |   431449 |   413752 |      856   1106 |        0 |        0
71.87/71.98	c 72.0s |      18 |   443225 |   425252 |      856   1131 |        0 |        0
73.88/74.00	c 74.0s |      18 |   455357 |   436652 |      856   1156 |        0 |        0
75.27/75.36	c 75.3s |      19 |   463409 |   444482 |      942   1172 |        0 |        0
77.28/77.38	c 77.4s |      19 |   475884 |   456182 |      942   1195 |        0 |        0
79.27/79.38	c 79.4s |      19 |   488085 |   467782 |      942   1218 |        0 |        0
81.37/81.40	c 81.4s |      19 |   500383 |   479282 |      942   1241 |        0 |        0
83.37/83.41	c 83.4s |      19 |   512478 |   490582 |      942   1264 |        0 |        0
85.37/85.41	c 85.4s |      19 |   524346 |   501982 |      942   1286 |        0 |        0
87.37/87.42	c 87.4s |      19 |   536703 |   513782 |      942   1310 |        0 |        0
89.38/89.43	c 89.4s |      19 |   548580 |   525282 |      942   1333 |        0 |        0
91.37/91.44	c 91.4s |      19 |   560517 |   536782 |      942   1355 |        0 |        0
93.37/93.44	c 93.4s |      19 |   572460 |   548082 |      942   1378 |        0 |        0
95.37/95.45	c 95.4s |      19 |   584154 |   559082 |      942   1400 |        0 |        0
97.37/97.46	c 97.4s |      19 |   596557 |   570882 |      942   1423 |        0 |        0
99.37/99.48	c 99.5s |      19 |   608719 |   582182 |      942   1446 |        0 |        0
101.37/101.49	c  101s |      19 |   620984 |   593582 |      942   1468 |        0 |        0
103.47/103.51	c  103s |      19 |   632660 |   604782 |      942   1491 |        0 |        0
105.47/105.51	c  105s |      19 |   644440 |   616082 |      942   1513 |        0 |        0
107.46/107.53	c  107s |      19 |   656417 |   627482 |      942   1536 |        0 |        0
109.46/109.53	c  109s |      19 |   668286 |   638682 |      942   1558 |        0 |        0
111.46/111.54	c  111s |      19 |   679744 |   649682 |      942   1580 |        0 |        0
113.47/113.55	c  113s |      19 |   691535 |   660782 |      942   1602 |        0 |        0
114.57/114.63	c  114s |      20 |   697816 |   666827 |     1037   1613 |        0 |        0
116.56/116.64	c  116s |      20 |   710392 |   678727 |     1037   1635 |        0 |        0
118.56/118.65	c  118s |      20 |   722515 |   690227 |     1037   1656 |        0 |        0
120.56/120.66	c  120s |      20 |   734644 |   701627 |     1037   1677 |        0 |        0
122.56/122.67	c  122s |      20 |   746446 |   713027 |     1037   1697 |        0 |        0
124.57/124.68	c  124s |      20 |   758147 |   724327 |     1037   1718 |        0 |        0
126.56/126.69	c  126s |      20 |   769893 |   735527 |     1037   1738 |        0 |        0
128.56/128.69	c  128s |      20 |   781688 |   746727 |     1037   1759 |        0 |        0
130.66/130.70	c  130s |      20 |   793610 |   758027 |     1037   1779 |        0 |        0
132.65/132.71	c  132s |      20 |   805167 |   769127 |     1037   1799 |        0 |        0
134.65/134.72	c  134s |      20 |   816905 |   780227 |     1037   1820 |        0 |        0
136.66/136.74	c  136s |      20 |   828692 |   791227 |     1037   1840 |        0 |        0
138.65/138.75	c  138s |      20 |   840229 |   802327 |     1037   1860 |        0 |        0
140.65/140.77	c  140s |      20 |   852223 |   813827 |     1037   1881 |        0 |        0
142.65/142.79	c  142s |      20 |   863930 |   824927 |     1037   1901 |        0 |        0
144.75/144.80	c  144s |      20 |   875278 |   835827 |     1037   1921 |        0 |        0
146.75/146.80	c  146s |      20 |   886554 |   846727 |     1037   1940 |        0 |        0
148.77/148.81	c  148s |      20 |   897902 |   857427 |     1037   1960 |        0 |        0
150.76/150.82	c  150s |      20 |   909447 |   868527 |     1037   1980 |        0 |        0
152.76/152.82	c  152s |      20 |   921002 |   879627 |     1037   2000 |        0 |        0
154.76/154.83	c  154s |      20 |   932525 |   890627 |     1037   2020 |        0 |        0
156.76/156.83	c  156s |      20 |   943921 |   901327 |     1037   2040 |        0 |        0
158.76/158.84	c  158s |      20 |   955124 |   911927 |     1037   2059 |        0 |        0
160.76/160.85	c  160s |      20 |   966399 |   922727 |     1037   2079 |        0 |        0
162.76/162.86	c  162s |      20 |   977577 |   933427 |     1037   2098 |        0 |        0
164.75/164.86	c  164s |      20 |   989364 |   944727 |     1037   2119 |        0 |        0
166.75/166.87	c  166s |      20 |  1001138 |   955827 |     1037   2139 |        0 |        0
168.75/168.88	c  168s |      20 |  1012707 |   966927 |     1037   2159 |        0 |        0
170.76/170.88	c  170s |      20 |  1024309 |   977727 |     1037   2179 |        0 |        0
172.75/172.89	c  172s |      20 |  1035495 |   988527 |     1037   2198 |        0 |        0
174.75/174.89	c  174s |      20 |  1046973 |   999527 |     1141   2217 |        0 |        0
174.95/175.06	c  175s |      21 |  1047813 |  1000345 |     1141   2219 |        0 |        0
176.95/177.08	c  177s |      21 |  1060310 |  1011745 |     1141   2238 |        0 |        0
178.95/179.09	c  179s |      21 |  1072534 |  1022945 |     1141   2256 |        0 |        0
181.05/181.10	c  181s |      21 |  1083991 |  1033745 |     1141   2274 |        0 |        0
183.05/183.10	c  183s |      21 |  1095866 |  1044745 |     1141   2292 |        0 |        0
185.05/185.11	c  185s |      21 |  1107791 |  1055845 |     1141   2311 |        0 |        0
187.04/187.13	c  187s |      21 |  1119899 |  1066745 |     1141   2329 |        0 |        0
189.04/189.13	c  189s |      21 |  1131817 |  1077545 |     1141   2347 |        0 |        0
191.04/191.14	c  191s |      21 |  1144146 |  1088545 |     1141   2365 |        0 |        0
193.04/193.15	c  193s |      21 |  1155817 |  1099445 |     1141   2383 |        0 |        0
195.04/195.16	c  195s |      21 |  1167190 |  1110045 |     1141   2401 |        0 |        0
197.05/197.17	c  197s |      21 |  1178546 |  1120845 |     1141   2419 |        0 |        0
199.04/199.17	c  199s |      21 |  1189589 |  1131545 |     1141   2437 |        0 |        0
201.04/201.18	c  201s |      21 |  1201316 |  1142745 |     1141   2455 |        0 |        0
203.04/203.19	c  203s |      21 |  1212819 |  1153945 |     1141   2474 |        0 |        0
205.14/205.20	c  205s |      21 |  1223994 |  1164745 |     1141   2492 |        0 |        0
207.15/207.22	c  207s |      21 |  1235324 |  1175445 |     1141   2510 |        0 |        0
209.15/209.23	c  209s |      21 |  1246668 |  1186345 |     1141   2528 |        0 |        0
211.15/211.25	c  211s |      21 |  1257952 |  1197245 |     1141   2546 |        0 |        0
213.15/213.26	c  213s |      21 |  1269373 |  1208245 |     1141   2564 |        0 |        0
215.14/215.28	c  215s |      21 |  1281047 |  1219245 |     1141   2582 |        0 |        0
217.14/217.29	c  217s |      21 |  1292601 |  1230045 |     1141   2600 |        0 |        0
219.24/219.30	c  219s |      21 |  1304230 |  1240745 |     1141   2618 |        0 |        0
221.25/221.31	c  221s |      21 |  1315556 |  1251445 |     1141   2636 |        0 |        0
223.24/223.33	c  223s |      21 |  1326968 |  1262045 |     1141   2653 |        0 |        0
225.24/225.33	c  225s |      21 |  1338386 |  1272845 |     1141   2671 |        0 |        0
227.24/227.35	c  227s |      21 |  1349683 |  1283545 |     1141   2689 |        0 |        0
229.24/229.36	c  229s |      21 |  1360426 |  1294045 |     1141   2707 |        0 |        0
231.25/231.36	c  231s |      21 |  1372235 |  1305245 |     1141   2725 |        0 |        0
233.24/233.36	c  233s |      21 |  1383898 |  1316245 |     1141   2743 |        0 |        0
235.24/235.37	c  235s |      21 |  1396095 |  1326945 |     1141   2761 |        0 |        0
237.24/237.38	c  237s |      21 |  1407957 |  1337745 |     1141   2779 |        0 |        0
239.34/239.40	c  239s |      21 |  1419558 |  1348645 |     1141   2797 |        0 |        0
241.34/241.41	c  241s |      21 |  1431247 |  1359445 |     1141   2815 |        0 |        0
243.34/243.41	c  243s |      21 |  1443049 |  1370245 |     1141   2833 |        0 |        0
245.33/245.42	c  245s |      21 |  1454347 |  1380745 |     1141   2851 |        0 |        0
247.33/247.42	c  247s |      21 |  1465798 |  1391145 |     1141   2868 |        0 |        0
249.33/249.43	c  249s |      21 |  1476921 |  1401345 |     1141   2885 |        0 |        0
251.33/251.44	c  251s |      21 |  1488046 |  1411945 |     1141   2903 |        0 |        0
253.33/253.45	c  253s |      21 |  1499356 |  1422545 |     1141   2920 |        0 |        0
255.34/255.46	c  255s |      21 |  1510541 |  1433145 |     1141   2938 |        0 |        0
257.33/257.46	c  257s |      21 |  1522324 |  1443645 |     1141   2956 |        0 |        0
259.33/259.47	c  259s |      21 |  1533971 |  1454745 |     1141   2974 |        0 |        0
261.33/261.48	c  261s |      21 |  1545362 |  1465545 |     1141   2992 |        0 |        0
263.33/263.48	c  263s |      21 |  1556548 |  1476345 |     1141   3010 |        0 |        0
265.43/265.50	c  265s |      21 |  1568057 |  1487345 |     1141   3028 |        0 |        0
267.44/267.51	c  267s |      21 |  1579357 |  1498045 |     1256   3045 |        0 |        0
267.93/268.00	c  267s |      22 |  1582144 |  1500622 |     1256   3048 |        0 |        0
269.93/270.02	c  269s |      22 |  1593809 |  1511722 |     1256   3065 |        0 |        0
271.94/272.02	c  272s |      22 |  1605135 |  1522522 |     1256   3082 |        0 |        0
273.94/274.04	c  274s |      22 |  1616945 |  1533722 |     1256   3098 |        0 |        0
275.94/276.06	c  276s |      22 |  1628175 |  1544522 |     1256   3115 |        0 |        0
277.93/278.06	c  278s |      22 |  1639662 |  1555322 |     1256   3131 |        0 |        0
279.93/280.06	c  280s |      22 |  1651168 |  1565922 |     1256   3147 |        0 |        0
281.93/282.08	c  282s |      22 |  1662926 |  1576722 |     1256   3164 |        0 |        0
283.94/284.09	c  284s |      22 |  1674286 |  1587222 |     1256   3180 |        0 |        0
286.03/286.10	c  286s |      22 |  1685462 |  1597922 |     1256   3196 |        0 |        0
288.03/288.10	c  288s |      22 |  1696729 |  1608422 |     1256   3212 |        0 |        0
290.03/290.10	c  290s |      22 |  1707980 |  1619322 |     1256   3228 |        0 |        0
292.03/292.11	c  292s |      22 |  1718874 |  1629922 |     1256   3244 |        0 |        0
294.03/294.12	c  294s |      22 |  1729844 |  1640522 |     1256   3260 |        0 |        0
296.04/296.13	c  296s |      22 |  1741031 |  1651022 |     1256   3276 |        0 |        0
298.03/298.13	c  298s |      22 |  1752350 |  1661422 |     1256   3292 |        0 |        0
300.03/300.14	c  300s |      22 |  1763505 |  1671722 |     1256   3308 |        0 |        0
302.03/302.15	c  302s |      22 |  1774554 |  1682222 |     1256   3324 |        0 |        0
304.03/304.16	c  304s |      22 |  1785708 |  1693022 |     1256   3340 |        0 |        0
306.04/306.16	c  306s |      22 |  1796615 |  1703622 |     1256   3356 |        0 |        0
308.03/308.17	c  308s |      22 |  1807530 |  1714222 |     1256   3372 |        0 |        0
310.03/310.19	c  310s |      22 |  1818492 |  1724822 |     1256   3388 |        0 |        0
312.13/312.20	c  312s |      22 |  1829709 |  1735622 |     1256   3405 |        0 |        0
314.13/314.21	c  314s |      22 |  1841173 |  1746622 |     1256   3421 |        0 |        0
316.13/316.22	c  316s |      22 |  1852263 |  1757322 |     1256   3438 |        0 |        0
318.13/318.24	c  318s |      22 |  1863250 |  1768022 |     1256   3454 |        0 |        0
320.12/320.24	c  320s |      22 |  1874345 |  1778422 |     1256   3470 |        0 |        0
322.12/322.25	c  322s |      22 |  1885243 |  1788722 |     1256   3485 |        0 |        0
324.12/324.26	c  324s |      22 |  1896512 |  1799422 |     1256   3502 |        0 |        0
326.12/326.28	c  326s |      22 |  1907756 |  1810022 |     1256   3518 |        0 |        0
328.22/328.30	c  328s |      22 |  1918665 |  1820522 |     1256   3534 |        0 |        0
330.12/330.30	c  330s |      22 |  1929743 |  1831222 |     1256   3550 |        0 |        0
332.22/332.32	c  332s |      22 |  1940893 |  1841622 |     1256   3566 |        0 |        0
334.22/334.33	c  334s |      22 |  1951795 |  1852122 |     1256   3581 |        0 |        0
336.22/336.33	c  336s |      22 |  1962384 |  1862322 |     1256   3597 |        0 |        0
338.22/338.35	c  338s |      22 |  1973022 |  1872422 |     1256   3612 |        0 |        0
340.22/340.36	c  340s |      22 |  1984234 |  1883322 |     1256   3629 |        0 |        0
342.22/342.37	c  342s |      22 |  1995411 |  1894222 |     1256   3645 |        0 |        0
344.21/344.38	c  344s |      22 |  2006614 |  1905022 |     1256   3662 |        0 |        0
346.21/346.38	c  346s |      22 |  2018147 |  1915722 |     1256   3678 |        0 |        0
348.21/348.39	c  348s |      22 |  2029193 |  1926222 |     1256   3694 |        0 |        0
350.31/350.41	c  350s |      22 |  2040490 |  1936622 |     1256   3710 |        0 |        0
352.31/352.43	c  352s |      22 |  2051562 |  1947122 |     1256   3726 |        0 |        0
354.33/354.45	c  354s |      22 |  2062773 |  1957622 |     1256   3741 |        0 |        0
356.32/356.45	c  356s |      22 |  2073748 |  1967922 |     1256   3757 |        0 |        0
358.32/358.45	c  358s |      22 |  2084804 |  1978222 |     1256   3773 |        0 |        0
360.32/360.46	c  360s |      22 |  2095583 |  1988622 |     1256   3789 |        0 |        0
362.32/362.48	c  362s |      22 |  2106589 |  1998922 |     1256   3804 |        0 |        0
364.32/364.49	c  364s |      22 |  2117432 |  2009122 |     1256   3820 |        0 |        0
366.32/366.50	c  366s |      22 |  2128233 |  2019522 |     1256   3835 |        0 |        0
368.42/368.51	c  368s |      22 |  2138907 |  2029822 |     1256   3851 |        0 |        0
370.42/370.52	c  370s |      22 |  2149506 |  2040122 |     1256   3867 |        0 |        0
372.42/372.53	c  372s |      22 |  2159937 |  2050222 |     1256   3882 |        0 |        0
374.42/374.54	c  374s |      22 |  2170481 |  2060522 |     1256   3898 |        0 |        0
376.42/376.55	c  376s |      22 |  2181406 |  2070922 |     1256   3913 |        0 |        0
378.42/378.56	c  378s |      22 |  2192884 |  2081722 |     1256   3930 |        0 |        0
380.42/380.56	c  380s |      22 |  2204100 |  2092322 |     1256   3946 |        0 |        0
382.41/382.57	c  382s |      22 |  2215509 |  2102622 |     1256   3961 |        0 |        0
384.41/384.57	c  384s |      22 |  2227139 |  2113022 |     1256   3977 |        0 |        0
386.41/386.57	c  386s |      22 |  2238374 |  2123522 |     1256   3993 |        0 |        0
388.42/388.58	c  388s |      22 |  2249272 |  2133822 |     1256   4009 |        0 |        0
390.41/390.59	c  390s |      22 |  2260276 |  2144222 |     1256   4024 |        0 |        0
392.41/392.59	c  392s |      22 |  2271155 |  2154722 |     1256   4040 |        0 |        0
394.51/394.60	c  394s |      22 |  2281796 |  2165022 |     1256   4056 |        0 |        0
396.51/396.61	c  396s |      22 |  2292484 |  2175222 |     1256   4072 |        0 |        0
398.51/398.61	c  398s |      22 |  2303442 |  2185522 |     1256   4087 |        0 |        0
400.52/400.63	c  400s |      22 |  2314037 |  2195722 |     1256   4103 |        0 |        0
402.51/402.64	c  402s |      22 |  2324645 |  2205622 |     1256   4118 |        0 |        0
404.51/404.65	c  404s |      22 |  2335983 |  2216222 |     1256   4134 |        0 |        0
406.51/406.66	c  406s |      22 |  2346707 |  2226422 |     1256   4149 |        0 |        0
408.51/408.68	c  408s |      22 |  2357416 |  2236622 |     1382   4164 |        0 |        0
410.52/410.68	c  410s |      22 |  2368180 |  2246622 |     1382   4178 |        0 |        0
411.52/411.61	c  411s |      23 |  2372857 |  2251038 |     1382   4184 |        0 |        0
413.51/413.62	c  413s |      23 |  2384226 |  2261838 |     1382   4199 |        0 |        0
415.51/415.63	c  415s |      23 |  2395336 |  2272538 |     1382   4214 |        0 |        0
417.51/417.63	c  417s |      23 |  2406299 |  2283038 |     1382   4228 |        0 |        0
419.51/419.63	c  419s |      23 |  2416996 |  2293338 |     1382   4243 |        0 |        0
421.51/421.65	c  421s |      23 |  2427864 |  2303738 |     1382   4257 |        0 |        0
423.50/423.66	c  423s |      23 |  2438811 |  2314038 |     1382   4271 |        0 |        0
425.50/425.67	c  425s |      23 |  2449432 |  2324138 |     1382   4285 |        0 |        0
427.50/427.68	c  427s |      23 |  2460418 |  2334538 |     1382   4300 |        0 |        0
429.60/429.70	c  429s |      23 |  2471197 |  2344738 |     1382   4314 |        0 |        0
431.60/431.71	c  431s |      23 |  2481610 |  2354738 |     1382   4328 |        0 |        0
433.61/433.72	c  433s |      23 |  2492108 |  2364638 |     1382   4341 |        0 |        0
435.60/435.74	c  435s |      23 |  2503038 |  2375038 |     1382   4356 |        0 |        0
437.60/437.74	c  437s |      23 |  2513758 |  2385438 |     1382   4370 |        0 |        0
439.60/439.74	c  439s |      23 |  2524567 |  2395838 |     1382   4384 |        0 |        0
441.60/441.75	c  441s |      23 |  2535088 |  2405838 |     1382   4398 |        0 |        0
443.60/443.75	c  443s |      23 |  2545822 |  2416138 |     1382   4412 |        0 |        0
445.60/445.75	c  445s |      23 |  2556375 |  2426138 |     1382   4426 |        0 |        0
447.60/447.76	c  447s |      23 |  2566946 |  2436138 |     1382   4440 |        0 |        0
449.60/449.78	c  449s |      23 |  2577682 |  2446138 |     1382   4454 |        0 |        0
451.60/451.78	c  451s |      23 |  2588180 |  2456038 |     1382   4468 |        0 |        0
453.60/453.79	c  453s |      23 |  2598675 |  2465938 |     1382   4481 |        0 |        0
455.70/455.80	c  455s |      23 |  2609093 |  2475938 |     1382   4495 |        0 |        0
457.71/457.82	c  457s |      23 |  2619520 |  2485638 |     1382   4509 |        0 |        0
459.70/459.83	c  459s |      23 |  2629829 |  2495538 |     1382   4522 |        0 |        0
461.70/461.83	c  461s |      23 |  2640898 |  2505838 |     1382   4536 |        0 |        0
463.70/463.84	c  463s |      23 |  2651745 |  2516238 |     1382   4551 |        0 |        0
465.70/465.84	c  465s |      23 |  2662597 |  2526638 |     1382   4565 |        0 |        0
467.71/467.85	c  467s |      23 |  2673149 |  2536738 |     1382   4579 |        0 |        0
469.70/469.86	c  469s |      23 |  2684141 |  2546938 |     1382   4593 |        0 |        0
471.70/471.87	c  471s |      23 |  2694768 |  2556738 |     1382   4607 |        0 |        0
473.70/473.87	c  473s |      23 |  2704812 |  2566438 |     1382   4620 |        0 |        0
475.70/475.89	c  475s |      23 |  2715303 |  2576538 |     1382   4634 |        0 |        0
477.80/477.90	c  477s |      23 |  2725805 |  2586538 |     1382   4648 |        0 |        0
479.80/479.92	c  479s |      23 |  2736285 |  2596738 |     1382   4662 |        0 |        0
481.79/481.94	c  481s |      23 |  2747105 |  2606838 |     1382   4676 |        0 |        0
483.79/483.94	c  483s |      23 |  2758119 |  2617038 |     1382   4690 |        0 |        0
485.79/485.95	c  485s |      23 |  2768701 |  2627138 |     1382   4704 |        0 |        0
487.79/487.96	c  487s |      23 |  2779390 |  2637138 |     1382   4718 |        0 |        0
489.79/489.97	c  489s |      23 |  2789855 |  2646738 |     1382   4731 |        0 |        0
491.80/491.98	c  491s |      23 |  2800604 |  2656338 |     1382   4744 |        0 |        0
493.89/494.00	c  493s |      23 |  2811675 |  2666638 |     1382   4759 |        0 |        0
495.89/496.01	c  495s |      23 |  2822773 |  2677338 |     1382   4773 |        0 |        0
497.89/498.03	c  498s |      23 |  2833681 |  2687738 |     1382   4788 |        0 |        0
499.89/500.03	c  500s |      23 |  2844781 |  2698138 |     1382   4802 |        0 |        0
501.89/502.03	c  502s |      23 |  2855781 |  2708638 |     1382   4817 |        0 |        0
503.90/504.04	c  504s |      23 |  2866749 |  2719238 |     1382   4831 |        0 |        0
505.89/506.05	c  506s |      23 |  2877599 |  2729738 |     1382   4846 |        0 |        0
507.89/508.07	c  508s |      23 |  2888763 |  2740238 |     1382   4860 |        0 |        0
509.89/510.09	c  510s |      23 |  2899592 |  2750538 |     1382   4875 |        0 |        0
511.99/512.10	c  512s |      23 |  2910086 |  2760538 |     1382   4888 |        0 |        0
513.99/514.11	c  514s |      23 |  2920892 |  2770938 |     1382   4903 |        0 |        0
515.99/516.13	c  516s |      23 |  2931481 |  2781038 |     1382   4917 |        0 |        0
517.99/518.15	c  518s |      23 |  2941850 |  2791038 |     1382   4930 |        0 |        0
519.99/520.15	c  520s |      23 |  2952117 |  2800738 |     1382   4944 |        0 |        0
521.99/522.16	c  522s |      23 |  2962874 |  2811038 |     1382   4958 |        0 |        0
523.99/524.18	c  524s |      23 |  2973633 |  2821238 |     1382   4972 |        0 |        0
525.99/526.19	c  526s |      23 |  2983953 |  2831138 |     1382   4986 |        0 |        0
527.99/528.20	c  528s |      23 |  2994524 |  2841238 |     1382   5000 |        0 |        0
530.08/530.20	c  530s |      23 |  3005277 |  2851238 |     1382   5014 |        0 |        0
532.08/532.21	c  532s |      23 |  3016335 |  2861638 |     1382   5028 |        0 |        0
534.08/534.22	c  534s |      23 |  3027006 |  2871638 |     1382   5042 |        0 |        0
536.08/536.22	c  536s |      23 |  3037757 |  2881738 |     1382   5056 |        0 |        0
538.09/538.25	c  538s |      23 |  3048731 |  2891738 |     1382   5070 |        0 |        0
540.08/540.25	c  540s |      23 |  3059251 |  2901738 |     1382   5083 |        0 |        0
542.08/542.27	c  542s |      23 |  3069953 |  2911738 |     1382   5097 |        0 |        0
544.09/544.27	c  544s |      23 |  3080383 |  2921438 |     1382   5111 |        0 |        0
546.09/546.29	c  546s |      23 |  3091344 |  2931338 |     1382   5124 |        0 |        0
548.09/548.29	c  548s |      23 |  3102273 |  2941438 |     1382   5138 |        0 |        0
550.19/550.31	c  550s |      23 |  3113182 |  2952038 |     1382   5153 |        0 |        0
552.19/552.31	c  552s |      23 |  3123838 |  2962338 |     1382   5167 |        0 |        0
554.18/554.32	c  554s |      23 |  3134240 |  2972438 |     1382   5181 |        0 |        0
556.18/556.34	c  556s |      23 |  3144708 |  2982538 |     1382   5195 |        0 |        0
558.18/558.34	c  558s |      23 |  3155063 |  2992438 |     1382   5209 |        0 |        0
560.18/560.36	c  560s |      23 |  3165458 |  3002538 |     1382   5223 |        0 |        0
562.19/562.38	c  562s |      23 |  3176071 |  3012438 |     1382   5237 |        0 |        0
564.28/564.40	c  564s |      23 |  3186625 |  3022338 |     1382   5250 |        0 |        0
566.28/566.40	c  566s |      23 |  3197516 |  3032438 |     1382   5264 |        0 |        0
568.28/568.40	c  568s |      23 |  3208567 |  3042738 |     1382   5278 |        0 |        0
570.28/570.40	c  570s |      23 |  3219624 |  3052738 |     1382   5292 |        0 |        0
572.28/572.42	c  572s |      23 |  3230650 |  3063138 |     1382   5307 |        0 |        0
574.29/574.44	c  574s |      23 |  3241662 |  3073438 |     1382   5321 |        0 |        0
576.28/576.45	c  576s |      23 |  3253153 |  3083838 |     1382   5335 |        0 |        0
578.28/578.46	c  578s |      23 |  3263818 |  3094038 |     1382   5349 |        0 |        0
580.28/580.47	c  580s |      23 |  3274774 |  3104138 |     1382   5363 |        0 |        0
582.28/582.47	c  582s |      23 |  3285996 |  3114038 |     1382   5377 |        0 |        0
584.28/584.49	c  584s |      23 |  3296683 |  3124038 |     1382   5391 |        0 |        0
586.28/586.49	c  586s |      23 |  3307415 |  3133938 |     1382   5404 |        0 |        0
588.28/588.49	c  588s |      23 |  3318315 |  3143938 |     1382   5418 |        0 |        0
590.37/590.50	c  590s |      23 |  3328908 |  3153938 |     1382   5432 |        0 |        0
592.37/592.51	c  592s |      23 |  3339977 |  3164138 |     1382   5446 |        0 |        0
594.37/594.53	c  594s |      23 |  3350946 |  3174438 |     1382   5460 |        0 |        0
596.39/596.54	c  596s |      23 |  3361961 |  3184538 |     1382   5474 |        0 |        0
598.38/598.54	c  598s |      23 |  3372579 |  3194438 |     1382   5488 |        0 |        0
600.38/600.56	c  600s |      23 |  3383462 |  3204638 |     1382   5502 |        0 |        0
602.38/602.57	c  602s |      23 |  3394113 |  3214838 |     1382   5516 |        0 |        0
604.38/604.57	c  604s |      23 |  3404389 |  3224638 |     1382   5529 |        0 |        0
606.38/606.59	c  606s |      23 |  3414743 |  3234438 |     1382   5543 |        0 |        0
608.48/608.61	c  608s |      23 |  3424781 |  3244038 |     1382   5556 |        0 |        0
610.47/610.62	c  610s |      23 |  3434851 |  3253638 |     1382   5570 |        0 |        0
612.47/612.62	c  612s |      23 |  3445673 |  3264038 |     1382   5584 |        0 |        0
614.47/614.64	c  614s |      23 |  3456442 |  3274238 |     1382   5598 |        0 |        0
616.47/616.65	c  616s |      23 |  3467071 |  3284338 |     1382   5612 |        0 |        0
618.47/618.66	c  618s |      23 |  3477641 |  3294338 |     1382   5626 |        0 |        0
620.48/620.67	c  620s |      23 |  3488283 |  3304338 |     1382   5640 |        0 |        0
622.47/622.68	c  622s |      23 |  3498904 |  3314238 |     1382   5653 |        0 |        0
624.47/624.69	c  624s |      23 |  3509513 |  3324038 |     1382   5667 |        0 |        0
626.57/626.72	c  626s |      23 |  3520063 |  3333838 |     1382   5681 |        0 |        0
628.57/628.74	c  628s |      23 |  3530624 |  3343738 |     1382   5694 |        0 |        0
630.57/630.75	c  630s |      23 |  3541189 |  3353438 |     1521   5707 |        0 |        0
632.57/632.77	c  632s |      23 |  3551729 |  3363038 |     1521   5720 |        0 |        0
634.57/634.78	c  634s |      23 |  3562265 |  3373138 |     1521   5732 |        0 |        0
635.37/635.51	c  635s |      24 |  3566211 |  3376662 |     1521   5737 |        0 |        0
637.37/637.54	c  637s |      24 |  3577068 |  3386962 |     1521   5750 |        0 |        0
639.37/639.55	c  639s |      24 |  3587799 |  3397162 |     1521   5762 |        0 |        0
641.37/641.56	c  641s |      24 |  3598709 |  3407662 |     1521   5776 |        0 |        0
643.36/643.57	c  643s |      24 |  3609466 |  3418062 |     1521   5789 |        0 |        0
645.36/645.59	c  645s |      24 |  3620204 |  3428462 |     1521   5802 |        0 |        0
647.36/647.59	c  647s |      24 |  3630739 |  3438362 |     1521   5814 |        0 |        0
649.47/649.60	c  649s |      24 |  3641181 |  3448562 |     1521   5827 |        0 |        0
651.47/651.61	c  651s |      24 |  3652356 |  3458762 |     1521   5840 |        0 |        0
653.48/653.62	c  653s |      24 |  3662859 |  3468862 |     1521   5853 |        0 |        0
655.47/655.64	c  655s |      24 |  3673411 |  3479062 |     1521   5866 |        0 |        0
657.47/657.65	c  657s |      24 |  3684180 |  3489362 |     1521   5879 |        0 |        0
659.47/659.66	c  659s |      24 |  3695436 |  3499762 |     1521   5892 |        0 |        0
661.47/661.67	c  661s |      24 |  3706508 |  3510062 |     1521   5905 |        0 |        0
663.47/663.68	c  663s |      24 |  3717219 |  3520362 |     1521   5917 |        0 |        0
665.46/665.69	c  665s |      24 |  3727824 |  3530362 |     1521   5930 |        0 |        0
667.46/667.69	c  667s |      24 |  3738454 |  3540362 |     1521   5943 |        0 |        0
669.56/669.72	c  669s |      24 |  3749137 |  3550462 |     1521   5955 |        0 |        0
671.56/671.73	c  671s |      24 |  3759434 |  3560462 |     1521   5968 |        0 |        0
673.56/673.73	c  673s |      24 |  3769776 |  3570262 |     1521   5980 |        0 |        0
675.57/675.75	c  675s |      24 |  3780914 |  3580762 |     1521   5994 |        0 |        0
677.56/677.75	c  677s |      24 |  3792172 |  3591162 |     1521   6007 |        0 |        0
679.56/679.77	c  679s |      24 |  3803585 |  3601562 |     1521   6020 |        0 |        0
681.56/681.78	c  681s |      24 |  3814571 |  3611762 |     1521   6033 |        0 |        0
683.56/683.79	c  683s |      24 |  3825444 |  3621862 |     1521   6045 |        0 |        0
685.66/685.80	c  685s |      24 |  3836341 |  3631962 |     1521   6058 |        0 |        0
687.67/687.81	c  687s |      24 |  3847749 |  3642162 |     1521   6071 |        0 |        0
689.66/689.83	c  689s |      24 |  3858851 |  3652362 |     1521   6084 |        0 |        0
691.66/691.83	c  691s |      24 |  3870003 |  3662362 |     1521   6096 |        0 |        0
693.66/693.85	c  693s |      24 |  3881254 |  3672562 |     1521   6109 |        0 |        0
695.66/695.86	c  695s |      24 |  3892443 |  3682862 |     1521   6122 |        0 |        0
697.66/697.86	c  697s |      24 |  3903137 |  3692662 |     1521   6135 |        0 |        0
699.66/699.87	c  699s |      24 |  3914155 |  3702362 |     1521   6147 |        0 |        0
701.66/701.89	c  701s |      24 |  3925138 |  3711962 |     1521   6159 |        0 |        0
703.66/703.89	c  703s |      24 |  3936191 |  3721862 |     1521   6171 |        0 |        0
705.75/705.90	c  705s |      24 |  3947375 |  3731962 |     1521   6184 |        0 |        0
707.75/707.91	c  707s |      24 |  3959010 |  3742062 |     1521   6197 |        0 |        0
709.75/709.92	c  709s |      24 |  3970229 |  3752362 |     1521   6210 |        0 |        0
711.76/711.93	c  711s |      24 |  3981074 |  3762662 |     1521   6223 |        0 |        0
713.75/713.95	c  713s |      24 |  3991736 |  3772662 |     1521   6235 |        0 |        0
715.75/715.95	c  715s |      24 |  4002109 |  3782562 |     1521   6248 |        0 |        0
717.75/717.96	c  717s |      24 |  4012398 |  3792362 |     1521   6260 |        0 |        0
719.75/719.97	c  719s |      24 |  4023046 |  3802562 |     1521   6273 |        0 |        0
721.76/721.99	c  721s |      24 |  4033699 |  3812462 |     1521   6285 |        0 |        0
723.86/724.01	c  723s |      24 |  4044168 |  3822462 |     1521   6298 |        0 |        0
725.85/726.02	c  726s |      24 |  4054908 |  3832762 |     1521   6311 |        0 |        0
727.85/728.02	c  728s |      24 |  4065538 |  3842862 |     1521   6324 |        0 |        0
729.85/730.03	c  730s |      24 |  4075738 |  3852662 |     1521   6336 |        0 |        0
731.85/732.05	c  732s |      24 |  4086154 |  3862562 |     1521   6349 |        0 |        0
733.85/734.05	c  734s |      24 |  4096386 |  3872162 |     1521   6361 |        0 |        0
735.85/736.05	c  736s |      24 |  4106913 |  3882162 |     1521   6373 |        0 |        0
737.85/738.06	c  738s |      24 |  4117381 |  3892162 |     1521   6386 |        0 |        0
739.85/740.07	c  740s |      24 |  4127988 |  3902362 |     1521   6399 |        0 |        0
741.85/742.09	c  742s |      24 |  4138447 |  3912462 |     1521   6411 |        0 |        0
743.95/744.10	c  744s |      24 |  4148935 |  3922362 |     1521   6424 |        0 |        0
745.96/746.11	c  746s |      24 |  4159463 |  3932362 |     1521   6436 |        0 |        0
747.95/748.12	c  748s |      24 |  4169940 |  3942262 |     1521   6449 |        0 |        0
749.95/750.14	c  750s |      24 |  4180465 |  3952062 |     1521   6461 |        0 |        0
751.95/752.15	c  752s |      24 |  4190869 |  3961962 |     1521   6474 |        0 |        0
753.95/754.15	c  754s |      24 |  4201161 |  3971762 |     1521   6486 |        0 |        0
755.95/756.15	c  756s |      24 |  4211386 |  3981462 |     1521   6498 |        0 |        0
757.96/758.16	c  758s |      24 |  4221623 |  3991162 |     1521   6511 |        0 |        0
759.95/760.17	c  760s |      24 |  4231942 |  4000862 |     1521   6523 |        0 |        0
761.95/762.18	c  762s |      24 |  4242586 |  4010762 |     1521   6535 |        0 |        0
763.95/764.18	c  764s |      24 |  4254233 |  4021062 |     1521   6548 |        0 |        0
766.05/766.20	c  766s |      24 |  4264780 |  4031162 |     1521   6561 |        0 |        0
768.05/768.21	c  768s |      24 |  4275621 |  4041362 |     1521   6574 |        0 |        0
770.05/770.22	c  770s |      24 |  4286533 |  4051462 |     1521   6586 |        0 |        0
772.05/772.22	c  772s |      24 |  4297000 |  4061162 |     1521   6599 |        0 |        0
774.05/774.22	c  774s |      24 |  4307741 |  4071362 |     1521   6611 |        0 |        0
776.05/776.24	c  776s |      24 |  4318462 |  4081162 |     1521   6624 |        0 |        0
778.05/778.25	c  778s |      24 |  4329065 |  4090762 |     1521   6636 |        0 |        0
780.05/780.26	c  780s |      24 |  4339714 |  4100762 |     1521   6648 |        0 |        0
782.04/782.28	c  782s |      24 |  4350168 |  4110462 |     1521   6661 |        0 |        0
784.04/784.28	c  784s |      24 |  4360683 |  4120362 |     1521   6673 |        0 |        0
786.04/786.28	c  786s |      24 |  4371229 |  4130462 |     1521   6686 |        0 |        0
788.04/788.29	c  788s |      24 |  4381513 |  4140162 |     1521   6698 |        0 |        0
790.04/790.29	c  790s |      24 |  4391717 |  4149662 |     1521   6710 |        0 |        0
792.15/792.31	c  792s |      24 |  4402814 |  4159762 |     1521   6723 |        0 |        0
794.14/794.33	c  794s |      24 |  4413822 |  4169662 |     1521   6735 |        0 |        0
796.14/796.33	c  796s |      24 |  4424589 |  4179662 |     1521   6748 |        0 |        0
798.14/798.35	c  798s |      24 |  4434940 |  4189562 |     1521   6760 |        0 |        0
800.14/800.35	c  800s |      24 |  4445328 |  4199462 |     1521   6773 |        0 |        0
802.14/802.36	c  802s |      24 |  4456090 |  4209362 |     1521   6785 |        0 |        0
804.14/804.37	c  804s |      24 |  4466391 |  4219162 |     1521   6798 |        0 |        0
806.13/806.37	c  806s |      24 |  4476776 |  4229062 |     1521   6810 |        0 |        0
808.13/808.37	c  808s |      24 |  4487776 |  4239262 |     1521   6823 |        0 |        0
810.13/810.39	c  810s |      24 |  4498539 |  4249362 |     1521   6836 |        0 |        0
812.23/812.40	c  812s |      24 |  4508995 |  4259062 |     1521   6848 |        0 |        0
814.23/814.42	c  814s |      24 |  4519175 |  4268662 |     1521   6860 |        0 |        0
816.24/816.42	c  816s |      24 |  4529599 |  4278462 |     1521   6872 |        0 |        0
818.24/818.43	c  818s |      24 |  4540410 |  4288162 |     1521   6885 |        0 |        0
820.24/820.43	c  820s |      24 |  4551154 |  4297862 |     1521   6897 |        0 |        0
822.24/822.44	c  822s |      24 |  4561874 |  4307462 |     1521   6909 |        0 |        0
824.24/824.44	c  824s |      24 |  4572739 |  4317362 |     1521   6921 |        0 |        0
826.24/826.45	c  826s |      24 |  4583595 |  4327462 |     1521   6934 |        0 |        0
828.24/828.46	c  828s |      24 |  4594036 |  4337462 |     1521   6947 |        0 |        0
830.24/830.46	c  830s |      24 |  4605327 |  4347662 |     1521   6960 |        0 |        0
832.23/832.48	c  832s |      24 |  4616375 |  4357662 |     1521   6972 |        0 |        0
834.23/834.49	c  834s |      24 |  4626966 |  4367562 |     1521   6985 |        0 |        0
836.33/836.50	c  836s |      24 |  4637719 |  4377562 |     1521   6997 |        0 |        0
838.34/838.52	c  838s |      24 |  4648140 |  4387462 |     1521   7010 |        0 |        0
840.33/840.53	c  840s |      24 |  4658787 |  4397362 |     1521   7022 |        0 |        0
842.33/842.54	c  842s |      24 |  4669471 |  4407262 |     1521   7035 |        0 |        0
844.33/844.56	c  844s |      24 |  4680047 |  4416962 |     1521   7047 |        0 |        0
846.33/846.56	c  846s |      24 |  4690611 |  4426662 |     1521   7059 |        0 |        0
848.33/848.58	c  848s |      24 |  4701265 |  4436362 |     1521   7072 |        0 |        0
850.33/850.59	c  850s |      24 |  4711868 |  4446662 |     1521   7085 |        0 |        0
852.43/852.61	c  852s |      24 |  4722561 |  4456862 |     1521   7097 |        0 |        0
854.43/854.62	c  854s |      24 |  4732815 |  4466762 |     1521   7110 |        0 |        0
856.42/856.63	c  856s |      24 |  4743020 |  4476562 |     1521   7122 |        0 |        0
858.42/858.64	c  858s |      24 |  4753276 |  4486462 |     1521   7135 |        0 |        0
860.42/860.66	c  860s |      24 |  4763671 |  4496462 |     1521   7147 |        0 |        0
862.43/862.66	c  862s |      24 |  4773802 |  4506262 |     1521   7159 |        0 |        0
864.42/864.66	c  864s |      24 |  4784231 |  4516262 |     1521   7172 |        0 |        0
866.42/866.66	c  866s |      24 |  4794431 |  4526162 |     1521   7185 |        0 |        0
868.42/868.68	c  868s |      24 |  4804788 |  4536162 |     1521   7197 |        0 |        0
870.42/870.69	c  870s |      24 |  4815066 |  4546062 |     1521   7210 |        0 |        0
872.52/872.70	c  872s |      24 |  4825284 |  4555862 |     1521   7222 |        0 |        0
874.53/874.72	c  874s |      24 |  4835374 |  4565662 |     1521   7234 |        0 |        0
876.52/876.73	c  876s |      24 |  4845486 |  4575362 |     1521   7247 |        0 |        0
878.52/878.75	c  878s |      24 |  4855438 |  4584962 |     1521   7259 |        0 |        0
880.52/880.75	c  880s |      24 |  4865524 |  4594662 |     1521   7271 |        0 |        0
882.52/882.77	c  882s |      24 |  4875785 |  4604562 |     1521   7283 |        0 |        0
884.53/884.77	c  884s |      24 |  4885881 |  4614262 |     1521   7296 |        0 |        0
886.52/886.79	c  886s |      24 |  4896320 |  4624062 |     1521   7308 |        0 |        0
888.52/888.79	c  888s |      24 |  4907353 |  4634462 |     1521   7321 |        0 |        0
890.62/890.81	c  890s |      24 |  4917759 |  4644462 |     1521   7334 |        0 |        0
892.62/892.83	c  892s |      24 |  4928434 |  4654662 |     1521   7346 |        0 |        0
894.62/894.84	c  894s |      24 |  4938750 |  4664462 |     1521   7359 |        0 |        0
896.62/896.86	c  896s |      24 |  4949079 |  4674462 |     1521   7371 |        0 |        0
898.62/898.87	c  898s |      24 |  4959313 |  4684362 |     1521   7384 |        0 |        0
900.62/900.89	c  900s |      24 |  4969879 |  4694262 |     1521   7396 |        0 |        0
902.71/902.90	c  902s |      24 |  4980153 |  4704062 |     1521   7409 |        0 |        0
904.71/904.92	c  904s |      24 |  4990313 |  4713762 |     1521   7421 |        0 |        0
906.72/906.94	c  906s |      24 |  5000582 |  4723662 |     1521   7434 |        0 |        0
908.73/908.94	c  908s |      24 |  5011060 |  4733362 |     1521   7446 |        0 |        0
910.72/910.94	c  910s |      24 |  5021423 |  4743162 |     1521   7458 |        0 |        0
912.72/912.94	c  912s |      24 |  5032017 |  4753262 |     1521   7471 |        0 |        0
914.72/914.94	c  914s |      24 |  5042480 |  4763262 |     1521   7484 |        0 |        0
916.72/916.96	c  916s |      24 |  5052980 |  4773162 |     1521   7496 |        0 |        0
918.72/918.97	c  918s |      24 |  5063344 |  4782962 |     1521   7508 |        0 |        0
920.73/920.97	c  920s |      24 |  5074001 |  4792662 |     1521   7521 |        0 |        0
922.72/922.98	c  922s |      24 |  5084056 |  4802362 |     1521   7533 |        0 |        0
924.72/924.99	c  924s |      24 |  5094355 |  4812262 |     1521   7545 |        0 |        0
926.82/927.01	c  926s |      24 |  5104929 |  4822162 |     1521   7558 |        0 |        0
928.82/929.02	c  929s |      24 |  5115677 |  4832162 |     1521   7571 |        0 |        0
930.82/931.04	c  931s |      24 |  5126379 |  4842162 |     1521   7583 |        0 |        0
932.82/933.05	c  933s |      24 |  5136804 |  4851962 |     1521   7596 |        0 |        0
934.82/935.06	c  935s |      24 |  5147278 |  4861862 |     1521   7608 |        0 |        0
936.82/937.07	c  937s |      24 |  5158307 |  4872062 |     1521   7621 |        0 |        0
938.82/939.09	c  939s |      24 |  5168974 |  4881962 |     1521   7634 |        0 |        0
940.92/941.11	c  941s |      24 |  5179764 |  4891862 |     1521   7646 |        0 |        0
942.91/943.11	c  943s |      24 |  5190463 |  4901962 |     1521   7659 |        0 |        0
944.92/945.12	c  945s |      24 |  5201199 |  4912062 |     1521   7671 |        0 |        0
946.91/947.12	c  947s |      24 |  5211664 |  4921962 |     1521   7684 |        0 |        0
948.91/949.14	c  949s |      24 |  5222581 |  4931762 |     1521   7696 |        0 |        0
950.91/951.17	c  951s |      24 |  5233364 |  4941562 |     1521   7709 |        0 |        0
952.91/953.18	c  953s |      24 |  5244226 |  4951462 |     1521   7721 |        0 |        0
954.92/955.19	c  955s |      24 |  5254572 |  4961162 |     1521   7733 |        0 |        0
956.91/957.20	c  957s |      24 |  5264591 |  4970562 |     1521   7745 |        0 |        0
959.01/959.22	c  959s |      24 |  5274879 |  4980462 |     1521   7757 |        0 |        0
961.01/961.22	c  961s |      24 |  5284998 |  4990262 |     1521   7770 |        0 |        0
963.01/963.23	c  963s |      24 |  5295406 |  4999962 |     1521   7782 |        0 |        0
965.01/965.24	c  965s |      24 |  5305498 |  5009662 |     1521   7794 |        0 |        0
967.01/967.24	c  967s |      24 |  5315479 |  5019362 |     1521   7806 |        0 |        0
969.01/969.25	c  969s |      24 |  5325695 |  5029162 |     1674   7819 |        0 |        0
971.01/971.27	c  971s |      24 |  5335645 |  5038762 |     1674   7830 |        0 |        0
973.01/973.27	c  973s |      24 |  5345569 |  5048362 |     1674   7841 |        0 |        0
975.00/975.29	c  975s |      24 |  5355293 |  5057862 |     1674   7851 |        0 |        0
976.50/976.73	c  976s |      25 |  5362954 |  5065098 |     1674   7860 |        0 |        0
978.50/978.74	c  978s |      25 |  5373683 |  5075298 |     1674   7871 |        0 |        0
980.50/980.75	c  980s |      25 |  5383867 |  5085198 |     1674   7883 |        0 |        0
982.50/982.77	c  982s |      25 |  5394381 |  5095098 |     1674   7894 |        0 |        0
984.50/984.79	c  984s |      25 |  5404766 |  5105198 |     1674   7906 |        0 |        0
986.50/986.79	c  986s |      25 |  5415228 |  5115298 |     1674   7917 |        0 |        0
988.50/988.79	c  988s |      25 |  5425329 |  5125098 |     1674   7929 |        0 |        0
990.50/990.80	c  990s |      25 |  5435682 |  5135098 |     1674   7940 |        0 |        0
992.60/992.80	c  992s |      25 |  5446070 |  5145098 |     1674   7951 |        0 |        0
994.59/994.81	c  994s |      25 |  5456235 |  5154998 |     1674   7963 |        0 |        0
996.60/996.82	c  996s |      25 |  5466494 |  5164898 |     1674   7974 |        0 |        0
998.59/998.83	c  998s |      25 |  5477060 |  5174898 |     1674   7986 |        0 |        0
1000.59/1000.85	c 1000s |      25 |  5487103 |  5184698 |     1674   7997 |        0 |        0
1002.59/1002.85	c 1002s |      25 |  5497305 |  5194398 |     1674   8008 |        0 |        0
1004.59/1004.86	c 1004s |      25 |  5507484 |  5204198 |     1674   8019 |        0 |        0
1006.59/1006.87	c 1006s |      25 |  5517400 |  5213698 |     1674   8030 |        0 |        0
1008.59/1008.87	c 1008s |      25 |  5527738 |  5223698 |     1674   8042 |        0 |        0
1010.59/1010.89	c 1010s |      25 |  5538415 |  5233898 |     1674   8053 |        0 |        0
1012.69/1012.90	c 1012s |      25 |  5548712 |  5243798 |     1674   8065 |        0 |        0
1014.68/1014.91	c 1014s |      25 |  5558742 |  5253398 |     1674   8076 |        0 |        0
1016.68/1016.91	c 1016s |      25 |  5569267 |  5263098 |     1674   8087 |        0 |        0
1018.69/1018.92	c 1018s |      25 |  5579793 |  5273198 |     1674   8098 |        0 |        0
1020.68/1020.94	c 1020s |      25 |  5590120 |  5283098 |     1674   8110 |        0 |        0
1022.68/1022.95	c 1022s |      25 |  5600329 |  5292898 |     1674   8121 |        0 |        0
1024.68/1024.96	c 1024s |      25 |  5610865 |  5302698 |     1674   8132 |        0 |        0
1026.68/1026.98	c 1026s |      25 |  5621806 |  5312498 |     1674   8144 |        0 |        0
1028.68/1028.98	c 1028s |      25 |  5632309 |  5322598 |     1674   8155 |        0 |        0
1030.68/1030.98	c 1030s |      25 |  5642656 |  5332498 |     1674   8167 |        0 |        0
1032.77/1033.00	c 1032s |      25 |  5652983 |  5342398 |     1674   8178 |        0 |        0
1034.77/1035.00	c 1034s |      25 |  5662982 |  5352098 |     1674   8189 |        0 |        0
1036.77/1037.01	c 1036s |      25 |  5673573 |  5362098 |     1674   8200 |        0 |        0
1038.77/1039.03	c 1039s |      25 |  5683949 |  5371898 |     1674   8212 |        0 |        0
1040.77/1041.03	c 1041s |      25 |  5694433 |  5381898 |     1674   8223 |        0 |        0
1042.78/1043.05	c 1043s |      25 |  5704716 |  5391498 |     1674   8234 |        0 |        0
1044.76/1045.06	c 1045s |      25 |  5714821 |  5400798 |     1674   8245 |        0 |        0
1046.76/1047.07	c 1047s |      25 |  5725027 |  5410598 |     1674   8256 |        0 |        0
1048.76/1049.09	c 1049s |      25 |  5735593 |  5420698 |     1674   8268 |        0 |        0
1050.86/1051.10	c 1051s |      25 |  5746303 |  5430798 |     1674   8279 |        0 |        0
1052.86/1053.11	c 1053s |      25 |  5756979 |  5440998 |     1674   8291 |        0 |        0
1054.87/1055.13	c 1055s |      25 |  5767303 |  5450898 |     1674   8302 |        0 |        0
1056.86/1057.13	c 1057s |      25 |  5777640 |  5460598 |     1674   8314 |        0 |        0
1058.86/1059.14	c 1059s |      25 |  5787806 |  5470198 |     1674   8325 |        0 |        0
1060.86/1061.15	c 1061s |      25 |  5797632 |  5479598 |     1674   8335 |        0 |        0
1062.86/1063.17	c 1063s |      25 |  5807862 |  5489198 |     1674   8346 |        0 |        0
1064.86/1065.18	c 1065s |      25 |  5817835 |  5498598 |     1674   8357 |        0 |        0
1066.85/1067.19	c 1067s |      25 |  5828419 |  5508598 |     1674   8369 |        0 |        0
1068.95/1069.21	c 1069s |      25 |  5839145 |  5518698 |     1674   8380 |        0 |        0
1070.95/1071.23	c 1071s |      25 |  5849546 |  5528598 |     1674   8392 |        0 |        0
1072.95/1073.24	c 1073s |      25 |  5859987 |  5538398 |     1674   8403 |        0 |        0
1074.95/1075.26	c 1075s |      25 |  5870357 |  5548098 |     1674   8414 |        0 |        0
1076.95/1077.26	c 1077s |      25 |  5880605 |  5557798 |     1674   8425 |        0 |        0
1078.95/1079.26	c 1079s |      25 |  5890506 |  5567098 |     1674   8436 |        0 |        0
1080.95/1081.28	c 1081s |      25 |  5900168 |  5576298 |     1674   8447 |        0 |        0
1083.05/1083.30	c 1083s |      25 |  5910936 |  5586598 |     1674   8458 |        0 |        0
1085.05/1085.31	c 1085s |      25 |  5921696 |  5596798 |     1674   8470 |        0 |        0
1087.04/1087.31	c 1087s |      25 |  5932520 |  5606998 |     1674   8482 |        0 |        0
1089.05/1089.32	c 1089s |      25 |  5942919 |  5616898 |     1674   8493 |        0 |        0
1091.04/1091.34	c 1091s |      25 |  5953656 |  5626998 |     1674   8505 |        0 |        0
1093.04/1093.35	c 1093s |      25 |  5964040 |  5636998 |     1674   8516 |        0 |        0
1095.04/1095.36	c 1095s |      25 |  5974527 |  5647098 |     1674   8528 |        0 |        0
1097.04/1097.36	c 1097s |      25 |  5984735 |  5656798 |     1674   8539 |        0 |        0
1099.04/1099.37	c 1099s |      25 |  5995213 |  5666598 |     1674   8550 |        0 |        0
1101.04/1101.37	c 1101s |      25 |  6005848 |  5676498 |     1674   8562 |        0 |        0
1103.04/1103.39	c 1103s |      25 |  6016589 |  5686498 |     1674   8573 |        0 |        0
1105.03/1105.39	c 1105s |      25 |  6027130 |  5696198 |     1674   8584 |        0 |        0
1107.13/1107.41	c 1107s |      25 |  6038113 |  5706098 |     1674   8596 |        0 |        0
1109.13/1109.43	c 1109s |      25 |  6048851 |  5715898 |     1674   8607 |        0 |        0
1111.13/1111.43	c 1111s |      25 |  6059509 |  5725798 |     1674   8618 |        0 |        0
1113.14/1113.44	c 1113s |      25 |  6069663 |  5735598 |     1674   8629 |        0 |        0
1115.13/1115.46	c 1115s |      25 |  6079758 |  5745298 |     1674   8641 |        0 |        0
1117.13/1117.46	c 1117s |      25 |  6089976 |  5754998 |     1674   8652 |        0 |        0
1119.12/1119.48	c 1119s |      25 |  6100298 |  5764598 |     1674   8663 |        0 |        0
1121.13/1121.49	c 1121s |      25 |  6110437 |  5774298 |     1674   8674 |        0 |        0
1123.14/1123.49	c 1123s |      25 |  6120776 |  5784198 |     1674   8685 |        0 |        0
1125.13/1125.50	c 1125s |      25 |  6130732 |  5793898 |     1674   8696 |        0 |        0
1127.22/1127.51	c 1127s |      25 |  6140649 |  5803398 |     1674   8707 |        0 |        0
1129.22/1129.52	c 1129s |      25 |  6150496 |  5812998 |     1674   8718 |        0 |        0
1131.22/1131.54	c 1131s |      25 |  6160516 |  5822698 |     1674   8729 |        0 |        0
1133.22/1133.54	c 1133s |      25 |  6170350 |  5831998 |     1674   8740 |        0 |        0
1135.23/1135.56	c 1135s |      25 |  6181247 |  5842098 |     1674   8752 |        0 |        0
1137.22/1137.59	c 1137s |      25 |  6191948 |  5852198 |     1674   8763 |        0 |        0
1139.22/1139.59	c 1139s |      25 |  6202744 |  5862198 |     1674   8775 |        0 |        0
1141.32/1141.60	c 1141s |      25 |  6213379 |  5872398 |     1674   8786 |        0 |        0
1143.32/1143.60	c 1143s |      25 |  6223980 |  5882398 |     1674   8798 |        0 |        0
1145.31/1145.61	c 1145s |      25 |  6234577 |  5892398 |     1674   8809 |        0 |        0
1147.32/1147.63	c 1147s |      25 |  6245070 |  5902298 |     1674   8821 |        0 |        0
1149.31/1149.64	c 1149s |      25 |  6255390 |  5912098 |     1674   8832 |        0 |        0
1151.31/1151.65	c 1151s |      25 |  6265864 |  5921998 |     1674   8843 |        0 |        0
1153.31/1153.65	c 1153s |      25 |  6276034 |  5931798 |     1674   8854 |        0 |        0
1155.30/1155.66	c 1155s |      25 |  6286659 |  5941798 |     1674   8866 |        0 |        0
1157.30/1157.68	c 1157s |      25 |  6297350 |  5951798 |     1674   8877 |        0 |        0
1159.31/1159.68	c 1159s |      25 |  6307922 |  5961698 |     1674   8889 |        0 |        0
1161.30/1161.69	c 1161s |      25 |  6318276 |  5971598 |     1674   8900 |        0 |        0
1163.30/1163.69	c 1163s |      25 |  6328680 |  5981398 |     1674   8911 |        0 |        0
1165.40/1165.71	c 1165s |      25 |  6338936 |  5991098 |     1674   8923 |        0 |        0
1167.40/1167.71	c 1167s |      25 |  6349356 |  6000898 |     1674   8934 |        0 |        0
1169.40/1169.73	c 1169s |      25 |  6359734 |  6010798 |     1674   8945 |        0 |        0
1171.41/1171.73	c 1171s |      25 |  6370147 |  6020598 |     1674   8956 |        0 |        0
1173.40/1173.74	c 1173s |      25 |  6380422 |  6030398 |     1674   8968 |        0 |        0
1175.39/1175.74	c 1175s |      25 |  6390354 |  6039798 |     1674   8979 |        0 |        0
1177.39/1177.75	c 1177s |      25 |  6400680 |  6049498 |     1674   8990 |        0 |        0
1179.39/1179.77	c 1179s |      25 |  6411512 |  6059498 |     1674   9001 |        0 |        0
1181.40/1181.77	c 1181s |      25 |  6421542 |  6068798 |     1674   9012 |        0 |        0
1183.40/1183.79	c 1183s |      25 |  6431731 |  6078498 |     1674   9023 |        0 |        0
1185.49/1185.81	c 1185s |      25 |  6442112 |  6088298 |     1674   9034 |        0 |        0
1187.49/1187.82	c 1187s |      25 |  6452604 |  6098198 |     1674   9046 |        0 |        0
1189.49/1189.84	c 1189s |      25 |  6462688 |  6107698 |     1674   9057 |        0 |        0
1191.49/1191.87	c 1191s |      25 |  6472963 |  6117298 |     1674   9068 |        0 |        0
1193.50/1193.88	c 1193s |      25 |  6482971 |  6126898 |     1674   9079 |        0 |        0
1195.49/1195.88	c 1195s |      25 |  6493010 |  6136498 |     1674   9090 |        0 |        0
1197.59/1197.90	c 1197s |      25 |  6503410 |  6146198 |     1674   9101 |        0 |        0
1199.58/1199.91	c 1199s |      25 |  6513731 |  6155698 |     1674   9112 |        0 |        0
1201.58/1201.92	c 1201s |      25 |  6524374 |  6165798 |     1674   9123 |        0 |        0
1203.58/1203.95	c 1203s |      25 |  6535098 |  6175698 |     1674   9135 |        0 |        0
1205.58/1205.96	c 1205s |      25 |  6545884 |  6185698 |     1674   9146 |        0 |        0
1207.58/1207.98	c 1207s |      25 |  6556379 |  6195498 |     1674   9158 |        0 |        0
1209.68/1210.00	c 1209s |      25 |  6566670 |  6205098 |     1674   9169 |        0 |        0
1211.68/1212.01	c 1211s |      25 |  6576778 |  6214398 |     1674   9179 |        0 |        0
1213.67/1214.02	c 1214s |      25 |  6586877 |  6223998 |     1674   9190 |        0 |        0
1215.67/1216.03	c 1216s |      25 |  6597165 |  6233698 |     1674   9201 |        0 |        0
1217.68/1218.04	c 1218s |      25 |  6607561 |  6243198 |     1674   9212 |        0 |        0
1219.67/1220.06	c 1220s |      25 |  6617730 |  6252798 |     1674   9223 |        0 |        0
1221.67/1222.07	c 1222s |      25 |  6627841 |  6262398 |     1674   9234 |        0 |        0
1223.66/1224.09	c 1224s |      25 |  6638011 |  6271698 |     1674   9245 |        0 |        0
1225.76/1226.11	c 1226s |      25 |  6648557 |  6281698 |     1674   9257 |        0 |        0
1227.76/1228.11	c 1228s |      25 |  6658963 |  6291598 |     1674   9268 |        0 |        0
1229.77/1230.12	c 1230s |      25 |  6669501 |  6301498 |     1674   9279 |        0 |        0
1231.76/1232.14	c 1232s |      25 |  6680035 |  6311298 |     1674   9290 |        0 |        0
1233.76/1234.15	c 1234s |      25 |  6690271 |  6321098 |     1674   9302 |        0 |        0
1235.77/1236.15	c 1236s |      25 |  6700691 |  6330798 |     1674   9313 |        0 |        0
1237.77/1238.17	c 1238s |      25 |  6711166 |  6340598 |     1674   9324 |        0 |        0
1239.77/1240.18	c 1240s |      25 |  6721386 |  6350098 |     1674   9335 |        0 |        0
1241.87/1242.20	c 1242s |      25 |  6731977 |  6360198 |     1674   9347 |        0 |        0
1243.86/1244.21	c 1244s |      25 |  6742243 |  6369898 |     1674   9358 |        0 |        0
1245.86/1246.21	c 1246s |      25 |  6752296 |  6379598 |     1674   9369 |        0 |        0
1247.86/1248.22	c 1248s |      25 |  6762460 |  6389298 |     1674   9380 |        0 |        0
1249.86/1250.23	c 1250s |      25 |  6772491 |  6398898 |     1674   9391 |        0 |        0
1251.86/1252.24	c 1252s |      25 |  6782693 |  6408698 |     1674   9402 |        0 |        0
1253.86/1254.26	c 1254s |      25 |  6792956 |  6418498 |     1674   9413 |        0 |        0
1255.86/1256.27	c 1256s |      25 |  6803045 |  6428098 |     1674   9424 |        0 |        0
1257.86/1258.27	c 1258s |      25 |  6813116 |  6437598 |     1674   9435 |        0 |        0
1259.86/1260.30	c 1260s |      25 |  6823549 |  6447398 |     1674   9447 |        0 |        0
1261.96/1262.31	c 1262s |      25 |  6833853 |  6457198 |     1674   9458 |        0 |        0
1263.95/1264.32	c 1264s |      25 |  6844366 |  6467098 |     1674   9469 |        0 |        0
1265.96/1266.33	c 1266s |      25 |  6854764 |  6476898 |     1674   9480 |        0 |        0
1267.95/1268.34	c 1268s |      25 |  6865199 |  6486798 |     1674   9492 |        0 |        0
1269.95/1270.35	c 1270s |      25 |  6875195 |  6496498 |     1674   9503 |        0 |        0
1271.95/1272.35	c 1272s |      25 |  6885363 |  6506298 |     1674   9514 |        0 |        0
1273.94/1274.36	c 1274s |      25 |  6895470 |  6515998 |     1674   9525 |        0 |        0
1275.95/1276.37	c 1276s |      25 |  6905786 |  6525798 |     1674   9537 |        0 |        0
1277.94/1278.37	c 1278s |      25 |  6915924 |  6535498 |     1674   9548 |        0 |        0
1279.94/1280.39	c 1280s |      25 |  6926096 |  6545198 |     1674   9559 |        0 |        0
1281.94/1282.39	c 1282s |      25 |  6936020 |  6554498 |     1674   9570 |        0 |        0
1284.04/1284.40	c 1284s |      25 |  6945880 |  6563698 |     1674   9580 |        0 |        0
1286.04/1286.41	c 1286s |      25 |  6955972 |  6573098 |     1674   9591 |        0 |        0
1288.04/1288.42	c 1288s |      25 |  6966483 |  6583098 |     1674   9603 |        0 |        0
1290.03/1290.44	c 1290s |      25 |  6976940 |  6592998 |     1674   9614 |        0 |        0
1292.03/1292.45	c 1292s |      25 |  6987051 |  6602698 |     1674   9625 |        0 |        0
1294.03/1294.47	c 1294s |      25 |  6997113 |  6612398 |     1674   9636 |        0 |        0
1296.03/1296.48	c 1296s |      25 |  7007241 |  6621898 |     1674   9647 |        0 |        0
1298.03/1298.48	c 1298s |      25 |  7017456 |  6631598 |     1674   9658 |        0 |        0
1300.13/1300.50	c 1300s |      25 |  7027701 |  6641498 |     1674   9670 |        0 |        0
1302.13/1302.51	c 1302s |      25 |  7037931 |  6651098 |     1674   9681 |        0 |        0
1304.12/1304.52	c 1304s |      25 |  7048159 |  6660598 |     1674   9692 |        0 |        0
1306.12/1306.52	c 1306s |      25 |  7058145 |  6669998 |     1674   9703 |        0 |        0
1308.12/1308.54	c 1308s |      25 |  7068122 |  6679498 |     1674   9713 |        0 |        0
1310.12/1310.54	c 1310s |      25 |  7078520 |  6689198 |     1674   9725 |        0 |        0
1312.13/1312.55	c 1312s |      25 |  7088754 |  6698798 |     1674   9736 |        0 |        0
1314.12/1314.55	c 1314s |      25 |  7098793 |  6708398 |     1674   9747 |        0 |        0
1316.12/1316.56	c 1316s |      25 |  7108825 |  6717798 |     1674   9757 |        0 |        0
1318.11/1318.58	c 1318s |      25 |  7119002 |  6727398 |     1674   9768 |        0 |        0
1320.11/1320.59	c 1320s |      25 |  7129131 |  6736898 |     1674   9779 |        0 |        0
1322.13/1322.60	c 1322s |      25 |  7139125 |  6746398 |     1674   9790 |        0 |        0
1324.22/1324.61	c 1324s |      25 |  7149021 |  6755798 |     1674   9801 |        0 |        0
1326.22/1326.61	c 1326s |      25 |  7158707 |  6765098 |     1674   9812 |        0 |        0
1328.22/1328.62	c 1328s |      25 |  7168661 |  6774698 |     1674   9823 |        0 |        0
1330.22/1330.64	c 1330s |      25 |  7178577 |  6784198 |     1674   9834 |        0 |        0
1332.22/1332.66	c 1332s |      25 |  7188460 |  6793598 |     1674   9845 |        0 |        0
1334.22/1334.66	c 1334s |      25 |  7198860 |  6803498 |     1674   9856 |        0 |        0
1336.21/1336.66	c 1336s |      25 |  7209286 |  6813298 |     1674   9867 |        0 |        0
1338.21/1338.68	c 1338s |      25 |  7219476 |  6823098 |     1674   9878 |        0 |        0
1340.31/1340.70	c 1340s |      25 |  7230000 |  6832798 |     1674   9890 |        0 |        0
1342.31/1342.70	c 1342s |      25 |  7240281 |  6842398 |     1674   9901 |        0 |        0
1344.30/1344.72	c 1344s |      25 |  7250671 |  6851998 |     1674   9912 |        0 |        0
1346.31/1346.74	c 1346s |      25 |  7260742 |  6861398 |     1674   9922 |        0 |        0
1348.30/1348.76	c 1348s |      25 |  7270851 |  6871098 |     1674   9934 |        0 |        0
1350.30/1350.77	c 1350s |      25 |  7280739 |  6880698 |     1674   9945 |        0 |        0
1352.30/1352.78	c 1352s |      25 |  7290715 |  6890198 |     1674   9955 |        0 |        0
1354.30/1354.80	c 1354s |      25 |  7300826 |  6899598 |     1674   9966 |        0 |        0
1356.40/1356.81	c 1356s |      25 |  7311070 |  6909098 |     1674   9977 |        0 |        0
1358.40/1358.83	c 1358s |      25 |  7320943 |  6918598 |     1674   9988 |        0 |        0
1360.40/1360.84	c 1360s |      25 |  7330929 |  6927998 |     1674   9999 |        0 |        0
1362.39/1362.86	c 1362s |      25 |  7340887 |  6937398 |     1674  10010 |        0 |        0
1364.39/1364.88	c 1364s |      25 |  7351720 |  6947098 |     1674  10021 |        0 |        0
1366.49/1366.90	c 1366s |      25 |  7362378 |  6956798 |     1674  10032 |        0 |        0
1368.49/1368.90	c 1368s |      25 |  7372458 |  6966198 |     1674  10043 |        0 |        0
1370.49/1370.90	c 1370s |      25 |  7382482 |  6975598 |     1674  10054 |        0 |        0
1372.49/1372.92	c 1372s |      25 |  7392695 |  6984798 |     1674  10064 |        0 |        0
1374.48/1374.93	c 1374s |      25 |  7402765 |  6994398 |     1674  10075 |        0 |        0
1376.48/1376.95	c 1376s |      25 |  7413114 |  7003898 |     1674  10086 |        0 |        0
1378.49/1378.95	c 1378s |      25 |  7422779 |  7013198 |     1674  10097 |        0 |        0
1380.49/1380.96	c 1380s |      25 |  7432605 |  7022598 |     1674  10108 |        0 |        0
1382.50/1382.96	c 1382s |      25 |  7442639 |  7031998 |     1674  10118 |        0 |        0
1384.48/1384.98	c 1384s |      25 |  7452590 |  7041298 |     1674  10129 |        0 |        0
1386.48/1386.98	c 1386s |      25 |  7462319 |  7050598 |     1674  10140 |        0 |        0
1388.48/1388.98	c 1388s |      25 |  7471801 |  7059698 |     1674  10150 |        0 |        0
1390.58/1391.00	c 1390s |      25 |  7481594 |  7069098 |     1674  10161 |        0 |        0
1392.58/1393.01	c 1392s |      25 |  7491527 |  7078698 |     1674  10172 |        0 |        0
1394.58/1395.02	c 1395s |      25 |  7501572 |  7088398 |     1674  10183 |        0 |        0
1396.58/1397.02	c 1397s |      25 |  7511583 |  7097998 |     1674  10194 |        0 |        0
1398.58/1399.04	c 1399s |      25 |  7521383 |  7107498 |     1674  10205 |        0 |        0
1400.57/1401.05	c 1401s |      25 |  7531484 |  7117198 |     1674  10216 |        0 |        0
1402.57/1403.07	c 1403s |      25 |  7541680 |  7126998 |     1674  10227 |        0 |        0
1404.58/1405.09	c 1405s |      25 |  7551485 |  7136398 |     1674  10238 |        0 |        0
1406.68/1407.11	c 1407s |      25 |  7561463 |  7145798 |     1674  10249 |        0 |        0
1408.67/1409.12	c 1409s |      25 |  7571096 |  7155098 |     1674  10260 |        0 |        0
1410.67/1411.13	c 1411s |      25 |  7581242 |  7164798 |     1674  10271 |        0 |        0
1412.67/1413.15	c 1413s |      25 |  7591246 |  7174298 |     1674  10282 |        0 |        0
1414.66/1415.15	c 1415s |      25 |  7601345 |  7183898 |     1674  10293 |        0 |        0
1416.67/1417.16	c 1417s |      25 |  7610990 |  7193098 |     1674  10303 |        0 |        0
1418.66/1419.17	c 1419s |      25 |  7620338 |  7202098 |     1674  10314 |        0 |        0
1420.66/1421.18	c 1421s |      25 |  7630313 |  7211498 |     1674  10324 |        0 |        0
1422.66/1423.19	c 1423s |      25 |  7639881 |  7220598 |     1674  10335 |        0 |        0
1424.76/1425.20	c 1425s |      25 |  7649634 |  7229998 |     1674  10346 |        0 |        0
1426.76/1427.21	c 1427s |      25 |  7659651 |  7239598 |     1674  10357 |        0 |        0
1428.76/1429.23	c 1429s |      25 |  7669840 |  7249098 |     1674  10368 |        0 |        0
1430.75/1431.25	c 1431s |      25 |  7679834 |  7258698 |     1674  10379 |        0 |        0
1432.75/1433.27	c 1433s |      25 |  7689510 |  7268098 |     1674  10389 |        0 |        0
1434.76/1435.29	c 1435s |      25 |  7699247 |  7277598 |     1674  10400 |        0 |        0
1436.86/1437.30	c 1437s |      25 |  7709303 |  7287198 |     1674  10411 |        0 |        0
1438.86/1439.31	c 1439s |      25 |  7719055 |  7296598 |     1674  10422 |        0 |        0
1440.86/1441.32	c 1441s |      25 |  7728994 |  7305998 |     1674  10433 |        0 |        0
1442.86/1443.33	c 1443s |      25 |  7739054 |  7315598 |     1674  10444 |        0 |        0
1444.85/1445.35	c 1445s |      25 |  7749380 |  7325198 |     1674  10455 |        0 |        0
1446.85/1447.36	c 1447s |      25 |  7759062 |  7334498 |     1674  10466 |        0 |        0
1448.85/1449.36	c 1449s |      25 |  7769004 |  7343898 |     1674  10477 |        0 |        0
1450.85/1451.38	c 1451s |      25 |  7779043 |  7353198 |     1674  10487 |        0 |        0
1452.86/1453.39	c 1453s |      25 |  7788733 |  7362398 |     1674  10498 |        0 |        0
1454.85/1455.39	c 1455s |      25 |  7798490 |  7371398 |     1674  10508 |        0 |        0
1456.94/1457.40	c 1457s |      25 |  7808546 |  7380898 |     1674  10519 |        0 |        0
1458.94/1459.41	c 1459s |      25 |  7818200 |  7390198 |     1674  10530 |        0 |        0
1460.94/1461.42	c 1461s |      25 |  7827719 |  7399398 |     1674  10540 |        0 |        0
1462.94/1463.42	c 1463s |      25 |  7837406 |  7408898 |     1674  10551 |        0 |        0
1464.95/1465.44	c 1465s |      25 |  7847101 |  7418198 |     1674  10562 |        0 |        0
1466.94/1467.44	c 1467s |      25 |  7856691 |  7427398 |     1674  10572 |        0 |        0
1468.94/1469.45	c 1469s |      25 |  7866523 |  7436698 |     1674  10583 |        0 |        0
1470.94/1471.46	c 1471s |      25 |  7876167 |  7445998 |     1674  10594 |        0 |        0
1472.94/1473.48	c 1473s |      25 |  7885560 |  7455098 |     1674  10604 |        0 |        0
1474.94/1475.49	c 1475s |      25 |  7895308 |  7464398 |     1674  10615 |        0 |        0
1477.04/1477.50	c 1477s |      25 |  7905194 |  7473698 |     1674  10626 |        0 |        0
1479.03/1479.52	c 1479s |      25 |  7915004 |  7482998 |     1674  10636 |        0 |        0
1481.03/1481.53	c 1481s |      25 |  7924587 |  7491998 |     1674  10647 |        0 |        0
1483.03/1483.55	c 1483s |      25 |  7934114 |  7501098 |     1674  10657 |        0 |        0
1485.02/1485.57	c 1485s |      25 |  7943608 |  7509898 |     1674  10667 |        0 |        0
1487.03/1487.58	c 1487s |      25 |  7953173 |  7519198 |     1674  10678 |        0 |        0
1489.02/1489.58	c 1489s |      25 |  7962967 |  7528498 |     1674  10689 |        0 |        0
1491.12/1491.60	c 1491s |      25 |  7972972 |  7537798 |     1674  10699 |        0 |        0
1493.12/1493.60	c 1493s |      25 |  7982807 |  7546898 |     1842  10709 |        0 |        0
1495.11/1495.60	c 1495s |      25 |  7992117 |  7555898 |     1842  10719 |        0 |        0
1497.11/1497.62	c 1497s |      25 |  8001424 |  7564698 |     1842  10728 |        0 |        0
1499.12/1499.62	c 1499s |      25 |  8011053 |  7573798 |     1842  10738 |        0 |        0
1501.11/1501.63	c 1501s |      25 |  8020525 |  7582798 |     1842  10747 |        0 |        0
1503.11/1503.65	c 1503s |      25 |  8029750 |  7591498 |     1842  10756 |        0 |        0
1504.52/1505.02	c 1505s |      26 |  8036777 |  7597752 |     1842  10763 |        0 |        0
1506.51/1507.03	c 1507s |      26 |  8046395 |  7606952 |     1842  10772 |        0 |        0
1508.51/1509.03	c 1509s |      26 |  8056083 |  7616152 |     1842  10782 |        0 |        0
1510.51/1511.05	c 1511s |      26 |  8065996 |  7625352 |     1842  10791 |        0 |        0
1512.51/1513.07	c 1513s |      26 |  8075637 |  7634652 |     1842  10801 |        0 |        0
1514.51/1515.07	c 1515s |      26 |  8085206 |  7643952 |     1842  10811 |        0 |        0
1516.50/1517.07	c 1517s |      26 |  8095010 |  7653252 |     1842  10821 |        0 |        0
1518.50/1519.09	c 1519s |      26 |  8104414 |  7662252 |     1842  10830 |        0 |        0
1520.60/1521.10	c 1521s |      26 |  8114124 |  7671552 |     1842  10840 |        0 |        0
1522.60/1523.10	c 1523s |      26 |  8124036 |  7680952 |     1842  10850 |        0 |        0
1524.60/1525.11	c 1525s |      26 |  8133700 |  7690152 |     1842  10859 |        0 |        0
1526.60/1527.12	c 1527s |      26 |  8143403 |  7699352 |     1842  10869 |        0 |        0
1528.59/1529.15	c 1529s |      26 |  8152902 |  7708552 |     1842  10879 |        0 |        0
1530.59/1531.15	c 1531s |      26 |  8162311 |  7717552 |     1842  10888 |        0 |        0
1532.59/1533.17	c 1533s |      26 |  8171980 |  7726652 |     1842  10897 |        0 |        0
1534.59/1535.18	c 1535s |      26 |  8181183 |  7735352 |     1842  10907 |        0 |        0
1536.59/1537.18	c 1537s |      26 |  8190756 |  7744452 |     1842  10916 |        0 |        0
1538.60/1539.19	c 1539s |      26 |  8200437 |  7753452 |     1842  10926 |        0 |        0
1540.69/1541.20	c 1541s |      26 |  8209597 |  7762352 |     1842  10935 |        0 |        0
1542.69/1543.20	c 1543s |      26 |  8219176 |  7771352 |     1842  10944 |        0 |        0
1544.68/1545.21	c 1545s |      26 |  8228908 |  7780352 |     1842  10954 |        0 |        0
1546.68/1547.22	c 1547s |      26 |  8238224 |  7789352 |     1842  10963 |        0 |        0
1548.69/1549.24	c 1549s |      26 |  8247854 |  7798552 |     1842  10973 |        0 |        0
1550.70/1551.25	c 1551s |      26 |  8257236 |  7807652 |     1842  10982 |        0 |        0
1552.69/1553.25	c 1553s |      26 |  8266393 |  7816452 |     1842  10992 |        0 |        0
1554.69/1555.28	c 1555s |      26 |  8275321 |  7825052 |     1842  11001 |        0 |        0
1556.79/1557.30	c 1557s |      26 |  8284636 |  7833852 |     1842  11010 |        0 |        0
1558.78/1559.32	c 1559s |      26 |  8293936 |  7842852 |     1842  11019 |        0 |        0
1560.78/1561.32	c 1561s |      26 |  8303167 |  7851652 |     1842  11028 |        0 |        0
1562.79/1563.32	c 1563s |      26 |  8312561 |  7860652 |     1842  11038 |        0 |        0
1564.78/1565.35	c 1565s |      26 |  8322373 |  7869952 |     1842  11048 |        0 |        0
1566.78/1567.37	c 1567s |      26 |  8332139 |  7879052 |     1842  11057 |        0 |        0
1568.78/1569.39	c 1569s |      26 |  8341861 |  7887952 |     1842  11066 |        0 |        0
1570.88/1571.40	c 1571s |      26 |  8351655 |  7896952 |     1842  11076 |        0 |        0
1572.88/1573.42	c 1573s |      26 |  8361033 |  7905852 |     1842  11085 |        0 |        0
1574.88/1575.43	c 1575s |      26 |  8370723 |  7914752 |     1842  11094 |        0 |        0
1576.87/1577.43	c 1577s |      26 |  8380218 |  7923652 |     1842  11104 |        0 |        0
1578.87/1579.44	c 1579s |      26 |  8389907 |  7932752 |     1842  11113 |        0 |        0
1580.87/1581.46	c 1581s |      26 |  8399316 |  7941452 |     1842  11122 |        0 |        0
1582.87/1583.46	c 1583s |      26 |  8408397 |  7949952 |     1842  11131 |        0 |        0
1584.88/1585.47	c 1585s |      26 |  8417671 |  7958752 |     1842  11140 |        0 |        0
1586.87/1587.48	c 1587s |      26 |  8427041 |  7967552 |     1842  11150 |        0 |        0
1588.87/1589.49	c 1589s |      26 |  8436341 |  7976352 |     1842  11159 |        0 |        0
1590.97/1591.50	c 1591s |      26 |  8445464 |  7985052 |     1842  11168 |        0 |        0
1592.97/1593.52	c 1593s |      26 |  8454936 |  7993952 |     1842  11177 |        0 |        0
1594.96/1595.54	c 1595s |      26 |  8464419 |  8002752 |     1842  11187 |        0 |        0
1596.97/1597.56	c 1597s |      26 |  8473688 |  8011452 |     1842  11196 |        0 |        0
1598.96/1599.58	c 1599s |      26 |  8483217 |  8020452 |     1842  11205 |        0 |        0
1600.96/1601.59	c 1601s |      26 |  8492659 |  8029452 |     1842  11214 |        0 |        0
1603.06/1603.63	c 1603s |      26 |  8502446 |  8038452 |     1842  11224 |        0 |        0
1605.05/1605.63	c 1605s |      26 |  8511868 |  8047252 |     1842  11233 |        0 |        0
1607.05/1607.65	c 1607s |      26 |  8521370 |  8056152 |     1842  11242 |        0 |        0
1609.06/1609.66	c 1609s |      26 |  8530601 |  8064852 |     1842  11252 |        0 |        0
1611.05/1611.66	c 1611s |      26 |  8539955 |  8073652 |     1842  11261 |        0 |        0
1613.05/1613.68	c 1613s |      26 |  8549017 |  8082352 |     1842  11270 |        0 |        0
1615.15/1615.70	c 1615s |      26 |  8558059 |  8090952 |     1842  11279 |        0 |        0
1617.15/1617.71	c 1617s |      26 |  8568015 |  8100052 |     1842  11288 |        0 |        0
1619.15/1619.73	c 1619s |      26 |  8577533 |  8108752 |     1842  11298 |        0 |        0
1621.16/1621.74	c 1621s |      26 |  8587398 |  8117852 |     1842  11307 |        0 |        0
1623.15/1623.75	c 1623s |      26 |  8596942 |  8126752 |     1842  11316 |        0 |        0
1625.15/1625.75	c 1625s |      26 |  8606151 |  8135352 |     1842  11325 |        0 |        0
1627.15/1627.75	c 1627s |      26 |  8615740 |  8144052 |     1842  11335 |        0 |        0
1629.15/1629.76	c 1629s |      26 |  8624826 |  8152552 |     1842  11343 |        0 |        0
1631.15/1631.77	c 1631s |      26 |  8633939 |  8161252 |     1842  11353 |        0 |        0
1633.15/1633.77	c 1633s |      26 |  8643455 |  8169852 |     1842  11362 |        0 |        0
1635.14/1635.79	c 1635s |      26 |  8653181 |  8178652 |     1842  11371 |        0 |        0
1637.24/1637.81	c 1637s |      26 |  8662902 |  8187752 |     1842  11380 |        0 |        0
1639.24/1639.82	c 1639s |      26 |  8672220 |  8196552 |     1842  11390 |        0 |        0
1641.24/1641.84	c 1641s |      26 |  8681549 |  8205452 |     1842  11399 |        0 |        0
1643.24/1643.84	c 1643s |      26 |  8690245 |  8213852 |     1842  11408 |        0 |        0
1645.25/1645.85	c 1645s |      26 |  8699040 |  8222352 |     1842  11417 |        0 |        0
1647.24/1647.86	c 1647s |      26 |  8708394 |  8231352 |     1842  11426 |        0 |        0
1649.24/1649.87	c 1649s |      26 |  8717443 |  8240052 |     1842  11435 |        0 |        0
1651.24/1651.89	c 1651s |      26 |  8727050 |  8249052 |     1842  11445 |        0 |        0
1653.24/1653.90	c 1653s |      26 |  8736549 |  8257952 |     1842  11454 |        0 |        0
1655.34/1655.91	c 1655s |      26 |  8745708 |  8266752 |     1842  11463 |        0 |        0
1657.35/1657.93	c 1657s |      26 |  8755120 |  8275652 |     1842  11473 |        0 |        0
1659.35/1659.94	c 1659s |      26 |  8764859 |  8284752 |     1842  11482 |        0 |        0
1661.35/1661.94	c 1661s |      26 |  8774353 |  8293752 |     1842  11491 |        0 |        0
1663.35/1663.96	c 1663s |      26 |  8783802 |  8302452 |     1842  11501 |        0 |        0
1665.35/1665.97	c 1665s |      26 |  8793031 |  8311152 |     1842  11510 |        0 |        0
1667.35/1667.97	c 1667s |      26 |  8802464 |  8320052 |     1842  11519 |        0 |        0
1669.35/1669.98	c 1669s |      26 |  8811822 |  8328952 |     1842  11528 |        0 |        0
1671.35/1671.99	c 1671s |      26 |  8821239 |  8337752 |     1842  11538 |        0 |        0
1673.45/1674.00	c 1673s |      26 |  8830512 |  8346552 |     1842  11547 |        0 |        0
1675.45/1676.02	c 1676s |      26 |  8839937 |  8355352 |     1842  11556 |        0 |        0
1677.45/1678.03	c 1678s |      26 |  8849143 |  8364152 |     1842  11565 |        0 |        0
1679.45/1680.04	c 1680s |      26 |  8858314 |  8372552 |     1842  11574 |        0 |        0
1681.45/1682.06	c 1682s |      26 |  8867255 |  8381052 |     1842  11583 |        0 |        0
1683.45/1684.07	c 1684s |      26 |  8876672 |  8389652 |     1842  11592 |        0 |        0
1685.44/1686.08	c 1686s |      26 |  8885945 |  8398252 |     1842  11601 |        0 |        0
1687.54/1688.10	c 1688s |      26 |  8895011 |  8406752 |     1842  11610 |        0 |        0
1689.54/1690.11	c 1690s |      26 |  8904267 |  8415552 |     1842  11619 |        0 |        0
1691.55/1692.12	c 1692s |      26 |  8913851 |  8424752 |     1842  11629 |        0 |        0
1693.54/1694.14	c 1694s |      26 |  8923610 |  8433952 |     1842  11638 |        0 |        0
1695.54/1696.14	c 1696s |      26 |  8933260 |  8443152 |     1842  11648 |        0 |        0
1697.54/1698.15	c 1698s |      26 |  8942508 |  8451852 |     1842  11657 |        0 |        0
1699.54/1700.16	c 1700s |      26 |  8951817 |  8460552 |     1842  11666 |        0 |        0
1701.54/1702.17	c 1702s |      26 |  8961679 |  8469752 |     1842  11676 |        0 |        0
1703.55/1704.18	c 1704s |      26 |  8971255 |  8478652 |     1842  11685 |        0 |        0
1705.64/1706.20	c 1706s |      26 |  8980672 |  8487452 |     1842  11694 |        0 |        0
1707.64/1708.20	c 1708s |      26 |  8990103 |  8496352 |     1842  11704 |        0 |        0
1709.64/1710.22	c 1710s |      26 |  9000070 |  8505352 |     1842  11713 |        0 |        0
1711.64/1712.23	c 1712s |      26 |  9009939 |  8514252 |     1842  11722 |        0 |        0
1713.64/1714.24	c 1714s |      26 |  9019740 |  8523352 |     1842  11732 |        0 |        0
1715.65/1716.24	c 1716s |      26 |  9030078 |  8532152 |     1842  11741 |        0 |        0
1717.64/1718.25	c 1718s |      26 |  9039936 |  8541352 |     1842  11751 |        0 |        0
1719.64/1720.27	c 1720s |      26 |  9049988 |  8550952 |     1842  11761 |        0 |        0
1721.64/1722.29	c 1722s |      26 |  9059915 |  8560152 |     1842  11770 |        0 |        0
1723.74/1724.31	c 1724s |      26 |  9069461 |  8569052 |     1842  11780 |        0 |        0
1725.74/1726.32	c 1726s |      26 |  9078700 |  8577852 |     1842  11789 |        0 |        0
1727.74/1728.33	c 1728s |      26 |  9088241 |  8586852 |     1842  11798 |        0 |        0
1729.74/1730.36	c 1730s |      26 |  9098183 |  8595852 |     1842  11808 |        0 |        0
1731.73/1732.38	c 1732s |      26 |  9107418 |  8604652 |     1842  11817 |        0 |        0
1733.73/1734.38	c 1734s |      26 |  9116645 |  8613452 |     1842  11826 |        0 |        0
1735.73/1736.38	c 1736s |      26 |  9125838 |  8622252 |     1842  11836 |        0 |        0
1737.74/1738.40	c 1738s |      26 |  9135341 |  8630952 |     1842  11845 |        0 |        0
1739.73/1740.40	c 1740s |      26 |  9144374 |  8639552 |     1842  11854 |        0 |        0
1741.83/1742.41	c 1742s |      26 |  9153842 |  8648652 |     1842  11863 |        0 |        0
1743.83/1744.42	c 1744s |      26 |  9163346 |  8657652 |     1842  11873 |        0 |        0
1745.83/1746.43	c 1746s |      26 |  9172855 |  8666452 |     1842  11882 |        0 |        0
1747.83/1748.45	c 1748s |      26 |  9182428 |  8675252 |     1842  11891 |        0 |        0
1749.84/1750.45	c 1750s |      26 |  9191865 |  8684052 |     1842  11900 |        0 |        0
1751.83/1752.46	c 1752s |      26 |  9201316 |  8693052 |     1842  11910 |        0 |        0
1753.83/1754.48	c 1754s |      26 |  9210179 |  8701552 |     1842  11919 |        0 |        0
1755.83/1756.48	c 1756s |      26 |  9219925 |  8710852 |     1842  11928 |        0 |        0
1757.93/1758.50	c 1758s |      26 |  9229754 |  8720252 |     1842  11938 |        0 |        0
1759.93/1760.50	c 1760s |      26 |  9239548 |  8729552 |     1842  11948 |        0 |        0
1761.94/1762.52	c 1762s |      26 |  9248937 |  8738352 |     1842  11957 |        0 |        0
1763.93/1764.53	c 1764s |      26 |  9258458 |  8747252 |     1842  11967 |        0 |        0
1765.92/1766.54	c 1766s |      26 |  9267763 |  8756252 |     1842  11976 |        0 |        0
1767.92/1768.57	c 1768s |      26 |  9277680 |  8765552 |     1842  11986 |        0 |        0
1769.92/1770.58	c 1770s |      26 |  9287552 |  8774852 |     1842  11995 |        0 |        0
1771.92/1772.59	c 1772s |      26 |  9296864 |  8783852 |     1842  12005 |        0 |        0
1774.04/1774.61	c 1774s |      26 |  9306473 |  8793052 |     1842  12015 |        0 |        0
1776.03/1776.62	c 1776s |      26 |  9316304 |  8802252 |     1842  12024 |        0 |        0
1778.03/1778.63	c 1778s |      26 |  9325603 |  8810952 |     1842  12033 |        0 |        0
1780.03/1780.64	c 1780s |      26 |  9334620 |  8819652 |     1842  12042 |        0 |        0
1782.03/1782.65	c 1782s |      26 |  9344040 |  8828352 |     1842  12052 |        0 |        0
1784.03/1784.66	c 1784s |      26 |  9353641 |  8837152 |     1842  12061 |        0 |        0
1786.04/1786.67	c 1786s |      26 |  9362882 |  8845952 |     1842  12070 |        0 |        0
1788.03/1788.67	c 1788s |      26 |  9372122 |  8854752 |     1842  12079 |        0 |        0
1790.03/1790.70	c 1790s |      26 |  9381497 |  8863652 |     1842  12089 |        0 |        0
1792.13/1792.70	c 1792s |      26 |  9391373 |  8872752 |     1842  12098 |        0 |        0
1794.13/1794.71	c 1794s |      26 |  9400901 |  8881852 |     1842  12108 |        0 |        0
1796.13/1796.74	c 1796s |      26 |  9410556 |  8890952 |     1842  12117 |        0 |        0
1798.13/1798.75	c 1798s |      26 |  9420104 |  8900052 |     1842  12127 |        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-4089414-1466027053/watcher-4089414-1466027053 -o /tmp/evaluation-result-4089414-1466027053/solver-4089414-1466027053 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089414-1466027053.opb 

pid=10975
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.18 2.25 2.22 3/181 10978
/proc/meminfo: memFree=29300756/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=714172 CPUtime=0 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 2664 0 0 0 0 0 0 0 20 0 4 0 4751687 731312128 2515 33554432000 4194304 16246674 140733333090000 140733333089424 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10978/statm: 179311 2523 441 2943 0 176205 0
[pid=10978/tid=10979] ppid=10975 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 749137920 2581 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 753332224 2599 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=739772 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4751687 757526528 2615 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.18 2.25 2.22 3/181 10978
/proc/meminfo: memFree=29300756/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 27371 0 0 0 5 4 0 0 20 0 4 0 4751687 1247350784 27211 33554432000 4194304 16246674 140733333090000 140733333089424 5723965 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10978/statm: 304529 27223 711 2943 0 301423 0
[pid=10978/tid=10979] ppid=10975 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1247350784 27228 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1247350784 27235 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4751687 1247350784 27242 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200477 s]
/proc/loadavg: 2.18 2.25 2.22 3/181 10978
/proc/meminfo: memFree=29300756/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 54236 0 0 0 11 8 0 0 20 0 4 0 4751687 1247350784 54075 33554432000 4194304 16246674 140733333090000 140733333089424 5723965 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10978/statm: 304529 54086 711 2943 0 301423 0
[pid=10978/tid=10979] ppid=10975 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1247350784 54086 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1247350784 54088 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4751687 1247350784 54088 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300436 s]
/proc/loadavg: 2.18 2.25 2.22 3/181 10978
/proc/meminfo: memFree=29300756/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 81500 0 0 0 17 11 0 0 20 0 4 0 4751687 1247350784 81340 33554432000 4194304 16246674 140733333090000 140733333089424 5516226 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10978/statm: 304529 81348 711 2943 0 301423 0
[pid=10978/tid=10979] ppid=10975 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1247350784 81357 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1247350784 81366 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4751687 1247350784 81375 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700354 s]
/proc/loadavg: 2.18 2.25 2.22 3/181 10978
/proc/meminfo: memFree=29300756/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 189958 0 0 0 40 28 0 0 20 0 4 0 4751687 1247350784 189798 33554432000 4194304 16246674 140733333090000 140733333089424 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10978/statm: 304529 189807 711 2943 0 301423 0
[pid=10978/tid=10979] ppid=10975 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1247350784 189815 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1247350784 189826 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4751687 1247350784 189835 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.18 2.25 2.22 3/185 10982
/proc/meminfo: memFree=28320124/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1305156 CPUtime=1.48 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 259499 0 0 0 110 38 0 0 20 0 4 0 4751687 1336479744 259319 33554432000 4194304 16246674 140733333090000 140733333089312 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10978/statm: 326289 259336 789 2943 0 323183 0
[pid=10978/tid=10979] ppid=10975 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1336479744 259346 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1336479744 259354 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1336479744 259360 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.10037 s]
/proc/loadavg: 2.18 2.25 2.22 4/185 10982
/proc/meminfo: memFree=28232084/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 267463 0 0 0 269 39 0 0 20 0 4 0 4751687 1337528320 267282 33554432000 4194304 16246674 140733333090000 140733333071872 5667556 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10978/statm: 326545 267282 791 2943 0 323439 0
[pid=10978/tid=10979] ppid=10975 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1337528320 267282 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1337528320 267282 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1337528320 267282 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 2.16 2.25 2.22 3/185 10982
/proc/meminfo: memFree=28231880/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 267465 0 0 0 589 40 0 0 20 0 4 0 4751687 1337528320 267284 33554432000 4194304 16246674 140733333090000 140733333071872 5861500 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10978/statm: 326545 267284 792 2943 0 323439 0
[pid=10978/tid=10979] ppid=10975 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1337528320 267284 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1337528320 267284 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1337528320 267284 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.23 2.26 2.23 3/185 10982
/proc/meminfo: memFree=28231524/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 267544 0 0 0 1229 40 0 0 20 0 4 0 4751687 1337528320 267363 33554432000 4194304 16246674 140733333090000 140733333071872 5721725 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10978/statm: 326545 267363 792 2943 0 323439 0
[pid=10978/tid=10979] ppid=10975 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1337528320 267363 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1337528320 267363 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1337528320 267363 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.26 2.26 2.23 4/185 10982
/proc/meminfo: memFree=28231552/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 267575 0 0 0 2509 40 0 0 20 0 4 0 4751687 1337528320 267394 33554432000 4194304 16246674 140733333090000 140733333073000 13962152 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 326545 267394 792 2943 0 323439 0
[pid=10978/tid=10979] ppid=10975 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1337528320 267394 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1337528320 267394 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1337528320 267394 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.17 2.24 2.22 3/185 10982
/proc/meminfo: memFree=28231692/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1307204 CPUtime=51.07 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 267625 0 0 0 5067 40 0 0 20 0 4 0 4751687 1338576896 267444 33554432000 4194304 16246674 140733333090000 140733333071872 5667832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 326801 267444 792 2943 0 323695 0
[pid=10978/tid=10979] ppid=10975 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1338576896 267444 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1338576896 267444 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1338576896 267444 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.23 2.25 2.22 3/185 10983
/proc/meminfo: memFree=28230924/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 267813 0 0 0 10186 41 0 0 20 0 4 0 4751687 1338576896 267632 33554432000 4194304 16246674 140733333090000 140733333071872 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 326801 267632 792 2943 0 323695 0
[pid=10978/tid=10979] ppid=10975 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1338576896 267632 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1338576896 267632 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1338576896 267632 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1316420

[startup+1302.3 s]
/proc/loadavg: 2.23 2.27 2.24 3/185 11097
/proc/meminfo: memFree=28226936/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1316420 CPUtime=1301.93 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 270357 0 0 0 130137 56 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140733333071872 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 329105 270211 793 2943 0 325999 0
[pid=10978/tid=10979] ppid=10975 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1316420

[startup+1362.3 s]
/proc/loadavg: 2.36 2.29 2.25 3/185 11099
/proc/meminfo: memFree=28227076/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1316420 CPUtime=1361.9 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 270396 0 0 0 136133 57 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140733333071872 5515740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 329105 270211 793 2943 0 325999 0
[pid=10978/tid=10979] ppid=10975 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1316420

[startup+1422.3 s]
/proc/loadavg: 2.34 2.30 2.25 3/185 11100
/proc/meminfo: memFree=28226708/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1316420 CPUtime=1421.86 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 270437 0 0 0 142128 58 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140733333071872 5673105 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 329105 270211 793 2943 0 325999 0
[pid=10978/tid=10979] ppid=10975 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1348014080 270211 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1316420

[startup+1482.3 s]
/proc/loadavg: 2.28 2.29 2.25 3/185 11101
/proc/meminfo: memFree=28226288/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1317444 CPUtime=1481.83 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 270528 0 0 0 148124 59 0 0 20 0 4 0 4751687 1349062656 270262 33554432000 4194304 16246674 140733333090000 140733333073000 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 329361 270262 793 2943 0 326255 0
[pid=10978/tid=10979] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270262 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270262 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270262 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1317444

[startup+1542.3 s]
/proc/loadavg: 2.26 2.28 2.25 3/185 11102
/proc/meminfo: memFree=28224596/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1317444 CPUtime=1541.79 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 270779 0 0 0 154120 59 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140733333071872 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 329361 270467 793 2943 0 326255 0
[pid=10978/tid=10979] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.33 2.28 2.25 3/186 11106
/proc/meminfo: memFree=28223880/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1317444 CPUtime=1601.76 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 270815 0 0 0 160116 60 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140733333071872 5722604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 329361 270467 793 2943 0 326255 0
[pid=10978/tid=10979] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.29 2.28 2.25 4/185 11108
/proc/meminfo: memFree=28223220/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1317444 CPUtime=1661.76 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 270825 0 0 0 166115 61 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140733333071872 13191656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 329361 270467 793 2943 0 326255 0
[pid=10978/tid=10979] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.27 2.27 2.25 3/185 11109
/proc/meminfo: memFree=28222724/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1317444 CPUtime=1721.74 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 270825 0 0 0 172113 61 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140733333071872 5675574 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 329361 270467 793 2943 0 326255 0
[pid=10978/tid=10979] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 1317444

[startup+1782.31 s]
/proc/loadavg: 2.34 2.28 2.26 3/185 11110
/proc/meminfo: memFree=28222364/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1317444 CPUtime=1781.74 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 270825 0 0 0 178112 62 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140733333071872 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 329361 270467 793 2943 0 326255 0
[pid=10978/tid=10979] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.39 2.29 2.26 3/185 11110
/proc/meminfo: memFree=28222456/32872528 swapFree=1481856/1661728
[pid=10978] ppid=10975 vsize=1317444 CPUtime=1800.03 cores=0,2,4,6
/proc/10978/stat : 10978 (toysat) R 10975 10978 6232 0 -1 4202496 270825 0 0 0 179941 62 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140733333071872 5545898 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10978/statm: 329361 270467 793 2943 0 326255 0
[pid=10978/tid=10979] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10979/stat : 10979 (toysat) S 10975 10978 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244144860400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=10978/tid=10980] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10980/stat : 10980 (toysat) S 10975 10978 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244134370544 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=10978/tid=10981] ppid=10975 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/10978/task/10981/stat : 10981 (toysat) S 10975 10978 6232 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4751687 1349062656 270467 33554432000 4194304 16246674 140733333090000 140244123897008 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1317444

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.04
CPU user time (s): 1799.42
CPU system time (s): 0.622905
CPU usage (%): 99.9683
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.622905
maximum resident set size= 1081868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270825
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= 446
involuntary context switches= 2514

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.41103 second user time and 9.28859 second system time

The end

Begin job on node134 at 2016-06-15 23:44:13
IDJOB=4089414
IDBENCH=107403
IDSOLVER=2542
FILE ID=node134/4089414-1466027053
RUNJOBID= node134-1466019588-9688
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

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

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

MD5SUM BENCH= 86f25cdee24789416770796be069d0aa
RANDOM SEED=2100890407

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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:        29301244 kB
Buffers:           24536 kB
Cached:            79156 kB
SwapCached:        17324 kB
Active:          1154520 kB
Inactive:          54820 kB
Active(anon):    1089996 kB
Inactive(anon):    17972 kB
Active(file):      64524 kB
Inactive(file):    36848 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083700 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       2829824 kB
Mapped:            10508 kB
Shmem:                 0 kB
Slab:             566904 kB
SReclaimable:      10944 kB
SUnreclaim:       555960 kB
KernelStack:        1496 kB
PageTables:         9668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2892464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1341440 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node134 at 2016-06-16 00:14:13