0.00/0.00	c 2016-06-15T23:14:12+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-4089316-1466025251.opb"]
0.00/0.01	c use --random-gen="1738142347 1199543946 406014578 4167067857 1720999880 2790354571 3382416918 422961094 4268539590 4011773217 1462732966 3612738755 3247327562 3126894198 2937135415 260360708 2627721102 1458224656 2795787060 140567172 3746627329 2222288816 3087813502 652053132 4232552541 3202673962 1801674366 1380228284 1500714853 3549151991 2071574418 1238410404 210836983 3360380822 2734843684 3379859096 237495606 977585799 135290018 971854102 3138603173 1431243655 1535040455 3095971340 2635456390 3633770482 1425387534 1871963346 3761867689 1305467731 1954029542 3142701792 1570054063 3287413443 2211284934 1634222830 2811614970 180987941 2566327705 416992964 4075218215 2694010368 3590985255 4011070258 1470665058 3026283204 3872832944 3233802042 3886242577 1316899732 2490056390 1180945978 2157767784 1224255207 2567868838 1436435468 2213051435 3100513108 1212099379 1657243680 1721992934 1490782364 252648040 4083309309 1629436767 3973202268 2928223749 3812606415 3530300019 4213974679 4223329688 3818650677 1238372933 2118921092 1297053874 1645650669 1099716654 314421930 1808091260 2959088994 3013881060 709770726 78040290 547457976 11534703 1568617054 838051842 3621871048 3887831876 2041687404 1681429505 573935946 3186593594 2564782583 2763432493 3335794421 3144318742 428248389 2469352114 2494098471 2245233421 1726719764 1813410644 1975534883 3905288155 394362341 946158636 2434552250 1739177008 2602708910 2600063153 1168811507 848604369 1769924517 2243794848 2634668791 17651252 3323835240 580411970 2807058710 1162331376 3312047801 721882066 2825630574 3727000106 1107778183 643407273 3533381968 569865498 4178839356 1706775229 942513497 539931325 1627263189 3548210505 600057163 725773709 2893589636 720977482 3737590547 2245562751 2562460076 3318410648 3764770008 1644304464 3727075357 4261172428 2371355715 1923967779 2960044987 3909804754 4113613984 603881199 620361247 3816285867 1670477992 4042855982 1602455450 2459550246 2149285572 2334890896 4174197580 3989759220 3259076522 280406308 63554404 3513831244 3684510608 2059269873 1812540121 3775513061 3969571535 1602968384 1436384442 3499186535 1221212063 1721006796 3932207491 4169181892 1857213950 1981225509 2558338152 1018160217 3686965434 3426078338 654675556 3670240239 1315234619 2758614335 2170556748 2717329495 1307983306 3968665661 1134910797 3485123560 1526548420 3558569139 933945154 1420715216 3466696319 947549423 2295683171 2297129412 1565941271 556403693 62437892 1116271771 1382908728 3268203946 1423196482 68555767 532185544 3113128795 1499918573 2681614075 2892303291 66090857 845967214 2499970548 2037426439 2712441467 4046920179 3889935058 1181765317 3558987891 2495171957 402109696 1804795567 4184536426 3391345376 2483307102 4178330957 357219016 3904974951 276743244 2384419229 255 362436" option to reproduce the execution
0.00/0.01	c #vars 108
0.00/0.01	c #constraints 217
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      108      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      158 |      100 |      108      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      370 |      250 |      119      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      644 |      475 |      131      4 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1045 |      813 |      145      7 |        0 |        0
0.19/0.20	c  0.2s |       5 |     1591 |     1320 |      160     12 |        0 |        0
0.29/0.32	c  0.3s |       6 |     2400 |     2081 |      194     19 |        0 |        0
0.39/0.49	c  0.5s |       7 |     3612 |     3223 |      214     29 |        0 |        0
0.69/0.75	c  0.7s |       8 |     5446 |     4936 |      236     42 |        0 |        0
0.99/1.04	c  1.0s |       9 |     8098 |     7506 |      260     60 |        0 |        0
1.39/1.44	c  1.4s |      10 |    12059 |    11361 |      286     85 |        0 |        0
1.99/2.03	c  2.0s |      11 |    18119 |    17144 |      315    120 |        0 |        0
2.89/2.93	c  2.9s |      12 |    27131 |    25819 |      347    168 |        0 |        0
4.19/4.28	c  4.3s |      13 |    40965 |    38832 |      382    235 |        0 |        0
6.19/6.29	c  6.3s |      13 |    60747 |    57632 |      382    323 |        0 |        0
6.29/6.37	c  6.4s |      14 |    61508 |    58352 |      421    327 |        0 |        0
8.29/8.38	c  8.4s |      14 |    81224 |    77052 |      421    407 |        0 |        0
9.49/9.50	c  9.5s |      15 |    92349 |    87632 |      464    453 |        0 |        0
11.49/11.51	c 11.5s |      15 |   111984 |   106332 |      464    527 |        0 |        0
13.49/13.51	c 13.5s |      15 |   131905 |   124932 |      464    600 |        0 |        0
14.18/14.23	c 14.2s |      16 |   138775 |   131552 |      511    626 |        0 |        0
16.18/16.24	c 16.2s |      16 |   158315 |   149852 |      511    692 |        0 |        0
18.18/18.25	c 18.2s |      16 |   177510 |   168052 |      511    758 |        0 |        0
20.18/20.25	c 20.2s |      16 |   197205 |   186152 |      511    824 |        0 |        0
21.38/21.49	c 21.5s |      17 |   208975 |   197432 |      563    864 |        0 |        0
23.48/23.50	c 23.5s |      17 |   228095 |   215432 |      563    924 |        0 |        0
25.48/25.51	c 25.5s |      17 |   247095 |   233232 |      563    983 |        0 |        0
27.49/27.51	c 27.5s |      17 |   265959 |   251132 |      563   1042 |        0 |        0
29.49/29.52	c 29.5s |      17 |   284646 |   268932 |      563   1101 |        0 |        0
31.49/31.53	c 31.5s |      17 |   303362 |   286732 |      563   1160 |        0 |        0
32.49/32.59	c 32.6s |      18 |   313402 |   296252 |      620   1191 |        0 |        0
34.48/34.59	c 34.6s |      18 |   332310 |   313852 |      620   1244 |        0 |        0
36.58/36.60	c 36.6s |      18 |   351026 |   331252 |      620   1296 |        0 |        0
38.59/38.61	c 38.6s |      18 |   370110 |   348952 |      620   1350 |        0 |        0
40.58/40.61	c 40.6s |      18 |   388614 |   366652 |      620   1404 |        0 |        0
42.58/42.61	c 42.6s |      18 |   407538 |   384252 |      620   1457 |        0 |        0
44.58/44.62	c 44.6s |      18 |   427352 |   401752 |      620   1509 |        0 |        0
46.58/46.63	c 46.6s |      18 |   446361 |   419352 |      620   1563 |        0 |        0
48.58/48.63	c 48.6s |      18 |   465167 |   436952 |      620   1616 |        0 |        0
49.38/49.49	c 49.5s |      19 |   473086 |   444482 |      682   1638 |        0 |        0
51.48/51.50	c 51.5s |      19 |   491803 |   461882 |      682   1686 |        0 |        0
53.48/53.50	c 53.5s |      19 |   510841 |   479382 |      682   1735 |        0 |        0
55.48/55.51	c 55.5s |      19 |   528909 |   496682 |      682   1783 |        0 |        0
57.48/57.51	c 57.5s |      19 |   547444 |   514082 |      682   1831 |        0 |        0
59.49/59.52	c 59.5s |      19 |   566083 |   531382 |      682   1879 |        0 |        0
61.48/61.52	c 61.5s |      19 |   584568 |   548782 |      682   1927 |        0 |        0
63.48/63.54	c 63.5s |      19 |   603037 |   566082 |      682   1975 |        0 |        0
65.48/65.54	c 65.5s |      19 |   622148 |   583282 |      682   2022 |        0 |        0
67.48/67.54	c 67.5s |      19 |   640571 |   600682 |      682   2070 |        0 |        0
69.48/69.54	c 69.5s |      19 |   658816 |   617882 |      682   2118 |        0 |        0
71.49/71.54	c 71.5s |      19 |   677257 |   634982 |      682   2166 |        0 |        0
73.48/73.55	c 73.5s |      19 |   696084 |   652382 |      682   2214 |        0 |        0
75.18/75.21	c 75.2s |      20 |   711532 |   666827 |      751   2252 |        0 |        0
77.18/77.21	c 77.2s |      20 |   730871 |   684327 |      751   2296 |        0 |        0
79.19/79.22	c 79.2s |      20 |   750468 |   701527 |      751   2340 |        0 |        0
81.18/81.23	c 81.2s |      20 |   769389 |   718727 |      751   2383 |        0 |        0
83.18/83.23	c 83.2s |      20 |   787512 |   735827 |      751   2426 |        0 |        0
85.18/85.23	c 85.2s |      20 |   805776 |   752627 |      751   2469 |        0 |        0
87.17/87.24	c 87.2s |      20 |   824605 |   769827 |      751   2512 |        0 |        0
89.18/89.25	c 89.2s |      20 |   842802 |   786827 |      751   2555 |        0 |        0
91.17/91.26	c 91.2s |      20 |   861166 |   804027 |      751   2599 |        0 |        0
93.17/93.27	c 93.3s |      20 |   879758 |   821027 |      751   2642 |        0 |        0
95.17/95.28	c 95.3s |      20 |   898113 |   838127 |      751   2685 |        0 |        0
97.17/97.29	c 97.3s |      20 |   916591 |   855327 |      751   2729 |        0 |        0
99.17/99.29	c 99.3s |      20 |   934971 |   872327 |      751   2772 |        0 |        0
101.28/101.30	c  101s |      20 |   953505 |   889627 |      751   2816 |        0 |        0
103.27/103.30	c  103s |      20 |   972308 |   906627 |      751   2859 |        0 |        0
105.27/105.31	c  105s |      20 |   990185 |   923627 |      751   2902 |        0 |        0
107.27/107.32	c  107s |      20 |  1008706 |   940727 |      751   2945 |        0 |        0
109.27/109.32	c  109s |      20 |  1026881 |   957627 |      751   2988 |        0 |        0
111.27/111.33	c  111s |      20 |  1045110 |   974427 |      751   3030 |        0 |        0
113.27/113.33	c  113s |      20 |  1063325 |   991227 |      751   3073 |        0 |        0
114.37/114.44	c  114s |      21 |  1073630 |  1000345 |      827   3094 |        0 |        0
116.37/116.45	c  116s |      21 |  1091354 |  1016945 |      827   3133 |        0 |        0
118.37/118.46	c  118s |      21 |  1109345 |  1033945 |      827   3172 |        0 |        0
120.37/120.46	c  120s |      21 |  1127144 |  1050645 |      827   3210 |        0 |        0
122.37/122.47	c  122s |      21 |  1145138 |  1067245 |      827   3249 |        0 |        0
124.37/124.47	c  124s |      21 |  1162845 |  1084045 |      827   3287 |        0 |        0
126.37/126.48	c  126s |      21 |  1180307 |  1100645 |      827   3326 |        0 |        0
128.37/128.48	c  128s |      21 |  1197916 |  1117145 |      827   3364 |        0 |        0
130.37/130.48	c  130s |      21 |  1215643 |  1133745 |      827   3402 |        0 |        0
132.37/132.49	c  132s |      21 |  1233093 |  1150445 |      827   3440 |        0 |        0
134.37/134.49	c  134s |      21 |  1251148 |  1167145 |      827   3479 |        0 |        0
136.38/136.50	c  136s |      21 |  1268975 |  1183945 |      827   3518 |        0 |        0
138.47/138.50	c  138s |      21 |  1287018 |  1200645 |      827   3556 |        0 |        0
140.47/140.50	c  140s |      21 |  1304563 |  1217245 |      827   3595 |        0 |        0
142.47/142.51	c  142s |      21 |  1322573 |  1233845 |      827   3633 |        0 |        0
144.47/144.51	c  144s |      21 |  1340682 |  1250545 |      827   3672 |        0 |        0
146.46/146.52	c  146s |      21 |  1358883 |  1267345 |      827   3710 |        0 |        0
148.47/148.52	c  148s |      21 |  1376618 |  1284145 |      827   3749 |        0 |        0
150.46/150.53	c  150s |      21 |  1394354 |  1300645 |      827   3787 |        0 |        0
152.46/152.53	c  152s |      21 |  1412306 |  1317045 |      827   3825 |        0 |        0
154.46/154.54	c  154s |      21 |  1430403 |  1333545 |      827   3863 |        0 |        0
156.46/156.55	c  156s |      21 |  1448393 |  1350145 |      827   3901 |        0 |        0
158.47/158.56	c  158s |      21 |  1466169 |  1366745 |      827   3940 |        0 |        0
160.46/160.56	c  160s |      21 |  1484398 |  1383145 |      827   3978 |        0 |        0
162.46/162.57	c  162s |      21 |  1501878 |  1399745 |      827   4016 |        0 |        0
164.46/164.58	c  164s |      21 |  1519486 |  1416245 |      827   4054 |        0 |        0
166.47/166.58	c  166s |      21 |  1536985 |  1433145 |      827   4093 |        0 |        0
168.47/168.59	c  168s |      21 |  1554639 |  1449845 |      827   4132 |        0 |        0
170.47/170.59	c  170s |      21 |  1572369 |  1466645 |      827   4171 |        0 |        0
172.56/172.60	c  172s |      21 |  1589856 |  1483445 |      827   4210 |        0 |        0
174.56/174.60	c  174s |      21 |  1607238 |  1499745 |      910   4245 |        0 |        0
174.66/174.71	c  174s |      22 |  1608151 |  1500622 |      910   4247 |        0 |        0
176.66/176.72	c  176s |      22 |  1625668 |  1517222 |      910   4282 |        0 |        0
178.66/178.72	c  178s |      22 |  1642952 |  1533622 |      910   4317 |        0 |        0
180.66/180.73	c  180s |      22 |  1660665 |  1550122 |      910   4351 |        0 |        0
182.67/182.73	c  182s |      22 |  1678488 |  1566322 |      910   4385 |        0 |        0
184.66/184.74	c  184s |      22 |  1695764 |  1582322 |      910   4419 |        0 |        0
186.66/186.75	c  186s |      22 |  1713010 |  1598422 |      910   4453 |        0 |        0
188.66/188.75	c  188s |      22 |  1730320 |  1614822 |      910   4487 |        0 |        0
190.66/190.75	c  190s |      22 |  1747757 |  1631122 |      910   4522 |        0 |        0
192.66/192.76	c  192s |      22 |  1765220 |  1647622 |      910   4557 |        0 |        0
194.66/194.76	c  194s |      22 |  1782513 |  1663922 |      910   4591 |        0 |        0
196.66/196.76	c  196s |      22 |  1800123 |  1680322 |      910   4626 |        0 |        0
198.65/198.77	c  198s |      22 |  1817697 |  1696522 |      910   4660 |        0 |        0
200.65/200.77	c  200s |      22 |  1834963 |  1712622 |      910   4694 |        0 |        0
202.66/202.77	c  202s |      22 |  1852475 |  1728722 |      910   4727 |        0 |        0
204.67/204.78	c  204s |      22 |  1869987 |  1744822 |      910   4761 |        0 |        0
206.66/206.78	c  206s |      22 |  1887294 |  1760922 |      910   4795 |        0 |        0
208.66/208.78	c  208s |      22 |  1904807 |  1777222 |      910   4830 |        0 |        0
210.66/210.78	c  210s |      22 |  1922039 |  1793322 |      910   4863 |        0 |        0
212.66/212.79	c  212s |      22 |  1939894 |  1809522 |      910   4898 |        0 |        0
214.76/214.80	c  214s |      22 |  1957553 |  1826022 |      910   4932 |        0 |        0
216.77/216.81	c  216s |      22 |  1975413 |  1842122 |      910   4966 |        0 |        0
218.76/218.81	c  218s |      22 |  1992812 |  1858622 |      910   5001 |        0 |        0
220.76/220.81	c  220s |      22 |  2010506 |  1875022 |      910   5036 |        0 |        0
222.76/222.82	c  222s |      22 |  2028195 |  1891422 |      910   5070 |        0 |        0
224.76/224.83	c  224s |      22 |  2046384 |  1907622 |      910   5104 |        0 |        0
226.76/226.83	c  226s |      22 |  2064267 |  1923822 |      910   5139 |        0 |        0
228.76/228.85	c  228s |      22 |  2082221 |  1940022 |      910   5173 |        0 |        0
230.76/230.86	c  230s |      22 |  2100714 |  1956422 |      910   5207 |        0 |        0
232.75/232.86	c  232s |      22 |  2119026 |  1972522 |      910   5241 |        0 |        0
234.75/234.87	c  234s |      22 |  2136625 |  1988522 |      910   5275 |        0 |        0
236.75/236.87	c  236s |      22 |  2155030 |  2004722 |      910   5309 |        0 |        0
238.76/238.88	c  238s |      22 |  2173240 |  2020822 |      910   5343 |        0 |        0
240.75/240.89	c  240s |      22 |  2190925 |  2037022 |      910   5377 |        0 |        0
242.75/242.89	c  242s |      22 |  2208746 |  2053122 |      910   5411 |        0 |        0
244.85/244.90	c  244s |      22 |  2226344 |  2069422 |      910   5445 |        0 |        0
246.85/246.90	c  246s |      22 |  2244409 |  2085322 |      910   5479 |        0 |        0
248.85/248.91	c  248s |      22 |  2262821 |  2101222 |      910   5512 |        0 |        0
250.86/250.91	c  250s |      22 |  2280664 |  2117422 |      910   5547 |        0 |        0
252.85/252.92	c  252s |      22 |  2298267 |  2133722 |      910   5581 |        0 |        0
254.85/254.93	c  254s |      22 |  2316592 |  2149722 |      910   5615 |        0 |        0
256.85/256.94	c  256s |      22 |  2334535 |  2165522 |      910   5648 |        0 |        0
258.85/258.94	c  258s |      22 |  2352287 |  2181622 |      910   5682 |        0 |        0
260.85/260.94	c  260s |      22 |  2369761 |  2197922 |      910   5717 |        0 |        0
262.85/262.95	c  262s |      22 |  2387899 |  2214022 |      910   5751 |        0 |        0
264.85/264.96	c  264s |      22 |  2404964 |  2229922 |      910   5784 |        0 |        0
266.85/266.97	c  266s |      22 |  2422596 |  2245822 |     1002   5815 |        0 |        0
267.55/267.64	c  267s |      23 |  2428187 |  2251038 |     1002   5825 |        0 |        0
269.56/269.64	c  269s |      23 |  2445369 |  2267238 |     1002   5856 |        0 |        0
271.55/271.65	c  271s |      23 |  2463325 |  2283038 |     1002   5887 |        0 |        0
273.55/273.65	c  273s |      23 |  2480560 |  2298738 |     1002   5917 |        0 |        0
275.55/275.66	c  275s |      23 |  2497852 |  2314538 |     1002   5947 |        0 |        0
277.55/277.67	c  277s |      23 |  2515427 |  2330238 |     1002   5977 |        0 |        0
279.55/279.68	c  279s |      23 |  2532431 |  2346038 |     1002   6008 |        0 |        0
281.55/281.68	c  281s |      23 |  2549043 |  2361638 |     1002   6038 |        0 |        0
283.55/283.69	c  283s |      23 |  2565741 |  2377538 |     1002   6068 |        0 |        0
285.65/285.70	c  285s |      23 |  2582901 |  2393538 |     1002   6099 |        0 |        0
287.65/287.70	c  287s |      23 |  2599530 |  2409438 |     1002   6129 |        0 |        0
289.64/289.71	c  289s |      23 |  2616323 |  2425238 |     1002   6160 |        0 |        0
291.64/291.72	c  291s |      23 |  2632802 |  2441238 |     1002   6190 |        0 |        0
293.65/293.73	c  293s |      23 |  2650239 |  2457138 |     1002   6221 |        0 |        0
295.64/295.73	c  295s |      23 |  2667521 |  2472938 |     1002   6251 |        0 |        0
297.64/297.74	c  297s |      23 |  2685185 |  2489138 |     1002   6282 |        0 |        0
299.64/299.74	c  299s |      23 |  2702795 |  2505238 |     1002   6313 |        0 |        0
301.64/301.75	c  301s |      23 |  2720161 |  2521138 |     1002   6344 |        0 |        0
303.65/303.75	c  303s |      23 |  2737113 |  2537138 |     1002   6375 |        0 |        0
305.64/305.76	c  305s |      23 |  2754078 |  2553038 |     1002   6405 |        0 |        0
307.65/307.76	c  307s |      23 |  2771075 |  2568938 |     1002   6436 |        0 |        0
309.64/309.76	c  309s |      23 |  2788692 |  2584738 |     1002   6466 |        0 |        0
311.64/311.77	c  311s |      23 |  2806625 |  2600538 |     1002   6497 |        0 |        0
313.64/313.77	c  313s |      23 |  2823917 |  2616338 |     1002   6527 |        0 |        0
315.65/315.78	c  315s |      23 |  2840895 |  2631838 |     1002   6557 |        0 |        0
317.64/317.78	c  317s |      23 |  2858189 |  2647838 |     1002   6587 |        0 |        0
319.64/319.79	c  319s |      23 |  2875427 |  2663538 |     1002   6617 |        0 |        0
321.64/321.79	c  321s |      23 |  2892572 |  2679438 |     1002   6648 |        0 |        0
323.64/323.79	c  323s |      23 |  2909717 |  2695238 |     1002   6678 |        0 |        0
325.74/325.80	c  325s |      23 |  2927100 |  2710938 |     1002   6708 |        0 |        0
327.75/327.81	c  327s |      23 |  2944131 |  2726538 |     1002   6738 |        0 |        0
329.74/329.82	c  329s |      23 |  2961650 |  2742538 |     1002   6769 |        0 |        0
331.74/331.82	c  331s |      23 |  2979487 |  2758438 |     1002   6800 |        0 |        0
333.74/333.84	c  333s |      23 |  2997057 |  2774538 |     1002   6831 |        0 |        0
335.74/335.84	c  335s |      23 |  3014881 |  2790438 |     1002   6861 |        0 |        0
337.74/337.85	c  337s |      23 |  3032082 |  2806138 |     1002   6891 |        0 |        0
339.74/339.86	c  339s |      23 |  3049101 |  2821838 |     1002   6921 |        0 |        0
341.74/341.86	c  341s |      23 |  3066780 |  2837738 |     1002   6952 |        0 |        0
343.74/343.87	c  343s |      23 |  3084206 |  2853638 |     1002   6983 |        0 |        0
345.74/345.87	c  345s |      23 |  3101881 |  2869238 |     1002   7013 |        0 |        0
347.74/347.87	c  347s |      23 |  3119480 |  2885038 |     1002   7043 |        0 |        0
349.74/349.88	c  349s |      23 |  3137291 |  2900938 |     1002   7074 |        0 |        0
351.73/351.89	c  351s |      23 |  3155270 |  2916838 |     1002   7104 |        0 |        0
353.83/353.90	c  353s |      23 |  3173097 |  2932638 |     1002   7135 |        0 |        0
355.83/355.91	c  355s |      23 |  3190078 |  2948338 |     1002   7165 |        0 |        0
357.83/357.92	c  357s |      23 |  3207108 |  2964038 |     1002   7195 |        0 |        0
359.83/359.92	c  359s |      23 |  3223867 |  2979638 |     1002   7225 |        0 |        0
361.84/361.92	c  361s |      23 |  3241303 |  2995338 |     1002   7255 |        0 |        0
363.83/363.93	c  363s |      23 |  3259112 |  3011138 |     1002   7285 |        0 |        0
365.83/365.94	c  365s |      23 |  3276560 |  3026838 |     1002   7315 |        0 |        0
367.83/367.96	c  367s |      23 |  3293592 |  3042838 |     1002   7346 |        0 |        0
369.83/369.96	c  369s |      23 |  3310893 |  3058838 |     1002   7377 |        0 |        0
371.84/371.97	c  371s |      23 |  3328863 |  3074638 |     1002   7407 |        0 |        0
373.83/373.97	c  373s |      23 |  3346464 |  3090438 |     1002   7438 |        0 |        0
375.83/375.98	c  375s |      23 |  3364097 |  3106038 |     1002   7468 |        0 |        0
377.84/377.98	c  377s |      23 |  3381656 |  3121638 |     1002   7498 |        0 |        0
379.84/379.99	c  379s |      23 |  3399607 |  3137538 |     1002   7528 |        0 |        0
381.93/382.00	c  381s |      23 |  3417373 |  3153238 |     1002   7559 |        0 |        0
383.94/384.01	c  383s |      23 |  3434754 |  3169038 |     1002   7589 |        0 |        0
385.93/386.01	c  385s |      23 |  3451749 |  3184838 |     1002   7619 |        0 |        0
387.93/388.01	c  387s |      23 |  3469013 |  3200638 |     1002   7650 |        0 |        0
389.93/390.02	c  390s |      23 |  3485746 |  3216138 |     1002   7680 |        0 |        0
391.93/392.02	c  392s |      23 |  3502884 |  3231838 |     1002   7710 |        0 |        0
393.93/394.03	c  394s |      23 |  3519798 |  3247538 |     1002   7740 |        0 |        0
395.93/396.04	c  396s |      23 |  3537193 |  3263438 |     1002   7771 |        0 |        0
397.92/398.04	c  398s |      23 |  3554481 |  3279238 |     1002   7801 |        0 |        0
399.92/400.04	c  400s |      23 |  3571893 |  3295338 |     1002   7832 |        0 |        0
401.92/402.05	c  402s |      23 |  3588906 |  3311238 |     1002   7863 |        0 |        0
403.92/404.06	c  404s |      23 |  3606427 |  3326938 |     1002   7894 |        0 |        0
405.92/406.07	c  406s |      23 |  3624083 |  3342938 |     1002   7924 |        0 |        0
407.91/408.07	c  408s |      23 |  3641844 |  3358838 |     1103   7954 |        0 |        0
409.91/410.08	c  410s |      23 |  3659442 |  3374538 |     1103   7982 |        0 |        0
410.22/410.35	c  410s |      24 |  3661789 |  3376662 |     1103   7985 |        0 |        0
412.21/412.35	c  412s |      24 |  3679014 |  3391962 |     1103   8012 |        0 |        0
414.22/414.35	c  414s |      24 |  3695446 |  3406862 |     1103   8038 |        0 |        0
416.22/416.36	c  416s |      24 |  3711797 |  3422062 |     1103   8065 |        0 |        0
418.22/418.37	c  418s |      24 |  3728010 |  3437262 |     1103   8091 |        0 |        0
420.23/420.38	c  420s |      24 |  3744295 |  3452462 |     1103   8118 |        0 |        0
422.22/422.39	c  422s |      24 |  3761393 |  3468062 |     1103   8145 |        0 |        0
424.22/424.39	c  424s |      24 |  3778193 |  3483262 |     1103   8172 |        0 |        0
426.32/426.40	c  426s |      24 |  3794963 |  3498662 |     1103   8199 |        0 |        0
428.32/428.40	c  428s |      24 |  3811437 |  3514162 |     1103   8226 |        0 |        0
430.32/430.41	c  430s |      24 |  3828368 |  3529462 |     1103   8253 |        0 |        0
432.32/432.41	c  432s |      24 |  3845375 |  3544762 |     1103   8280 |        0 |        0
434.31/434.43	c  434s |      24 |  3862353 |  3560162 |     1103   8306 |        0 |        0
436.31/436.43	c  436s |      24 |  3879300 |  3575562 |     1103   8334 |        0 |        0
438.31/438.44	c  438s |      24 |  3895791 |  3590862 |     1103   8360 |        0 |        0
440.31/440.44	c  440s |      24 |  3912301 |  3606262 |     1103   8387 |        0 |        0
442.31/442.45	c  442s |      24 |  3928586 |  3621362 |     1103   8414 |        0 |        0
444.31/444.46	c  444s |      24 |  3944909 |  3636762 |     1103   8441 |        0 |        0
446.30/446.47	c  446s |      24 |  3961165 |  3652162 |     1103   8468 |        0 |        0
448.30/448.48	c  448s |      24 |  3977392 |  3667562 |     1103   8495 |        0 |        0
450.30/450.48	c  450s |      24 |  3994666 |  3683062 |     1103   8522 |        0 |        0
452.30/452.48	c  452s |      24 |  4011259 |  3698562 |     1103   8549 |        0 |        0
454.31/454.49	c  454s |      24 |  4027796 |  3714062 |     1103   8576 |        0 |        0
456.30/456.49	c  456s |      24 |  4044670 |  3729362 |     1103   8603 |        0 |        0
458.40/458.51	c  458s |      24 |  4061475 |  3744362 |     1103   8629 |        0 |        0
460.40/460.52	c  460s |      24 |  4078216 |  3759662 |     1103   8656 |        0 |        0
462.40/462.53	c  462s |      24 |  4094916 |  3774962 |     1103   8682 |        0 |        0
464.39/464.53	c  464s |      24 |  4111805 |  3790162 |     1103   8709 |        0 |        0
466.40/466.54	c  466s |      24 |  4128718 |  3805262 |     1103   8735 |        0 |        0
468.39/468.54	c  468s |      24 |  4145562 |  3820462 |     1103   8762 |        0 |        0
470.39/470.55	c  470s |      24 |  4162467 |  3835962 |     1103   8789 |        0 |        0
472.39/472.56	c  472s |      24 |  4178874 |  3851262 |     1103   8816 |        0 |        0
474.39/474.56	c  474s |      24 |  4194929 |  3866362 |     1103   8843 |        0 |        0
476.39/476.57	c  476s |      24 |  4211515 |  3881662 |     1103   8869 |        0 |        0
478.40/478.57	c  478s |      24 |  4227976 |  3897062 |     1103   8896 |        0 |        0
480.39/480.57	c  480s |      24 |  4244694 |  3912362 |     1103   8923 |        0 |        0
482.39/482.57	c  482s |      24 |  4261426 |  3928062 |     1103   8951 |        0 |        0
484.38/484.58	c  484s |      24 |  4277972 |  3943662 |     1103   8978 |        0 |        0
486.38/486.59	c  486s |      24 |  4294881 |  3959162 |     1103   9005 |        0 |        0
488.48/488.60	c  488s |      24 |  4311744 |  3974662 |     1103   9033 |        0 |        0
490.38/490.60	c  490s |      24 |  4328346 |  3989962 |     1103   9059 |        0 |        0
492.48/492.61	c  492s |      24 |  4345295 |  4005462 |     1103   9087 |        0 |        0
494.48/494.61	c  494s |      24 |  4361851 |  4020862 |     1103   9114 |        0 |        0
496.48/496.62	c  496s |      24 |  4378888 |  4036362 |     1103   9141 |        0 |        0
498.48/498.63	c  498s |      24 |  4395651 |  4051962 |     1103   9168 |        0 |        0
500.48/500.64	c  500s |      24 |  4412358 |  4067262 |     1103   9195 |        0 |        0
502.48/502.65	c  502s |      24 |  4428488 |  4082662 |     1103   9222 |        0 |        0
504.47/504.65	c  504s |      24 |  4444987 |  4097862 |     1103   9248 |        0 |        0
506.47/506.65	c  506s |      24 |  4461087 |  4113062 |     1103   9275 |        0 |        0
508.47/508.65	c  508s |      24 |  4477954 |  4128362 |     1103   9302 |        0 |        0
510.47/510.66	c  510s |      24 |  4494624 |  4143762 |     1103   9329 |        0 |        0
512.48/512.67	c  512s |      24 |  4511139 |  4159162 |     1103   9356 |        0 |        0
514.47/514.68	c  514s |      24 |  4527522 |  4174562 |     1103   9383 |        0 |        0
516.46/516.68	c  516s |      24 |  4543980 |  4189862 |     1103   9409 |        0 |        0
518.46/518.69	c  518s |      24 |  4560592 |  4205362 |     1103   9437 |        0 |        0
520.56/520.70	c  520s |      24 |  4577575 |  4220762 |     1103   9464 |        0 |        0
522.56/522.70	c  522s |      24 |  4594462 |  4236262 |     1103   9491 |        0 |        0
524.56/524.71	c  524s |      24 |  4611273 |  4251562 |     1103   9518 |        0 |        0
526.57/526.71	c  526s |      24 |  4627529 |  4266662 |     1103   9544 |        0 |        0
528.57/528.72	c  528s |      24 |  4643619 |  4282162 |     1103   9571 |        0 |        0
530.57/530.72	c  530s |      24 |  4660308 |  4297662 |     1103   9598 |        0 |        0
532.57/532.74	c  532s |      24 |  4676818 |  4313162 |     1103   9626 |        0 |        0
534.57/534.74	c  534s |      24 |  4694140 |  4328662 |     1103   9653 |        0 |        0
536.56/536.74	c  536s |      24 |  4711100 |  4344262 |     1103   9680 |        0 |        0
538.56/538.75	c  538s |      24 |  4727861 |  4359962 |     1103   9708 |        0 |        0
540.56/540.76	c  540s |      24 |  4744675 |  4375362 |     1103   9735 |        0 |        0
542.56/542.77	c  542s |      24 |  4761519 |  4390762 |     1103   9762 |        0 |        0
544.55/544.78	c  544s |      24 |  4778760 |  4406262 |     1103   9789 |        0 |        0
546.56/546.79	c  546s |      24 |  4796168 |  4422062 |     1103   9817 |        0 |        0
548.55/548.79	c  548s |      24 |  4813004 |  4437562 |     1103   9844 |        0 |        0
550.65/550.80	c  550s |      24 |  4829720 |  4452362 |     1103   9870 |        0 |        0
552.65/552.80	c  552s |      24 |  4846402 |  4467462 |     1103   9896 |        0 |        0
554.64/554.81	c  554s |      24 |  4862684 |  4482462 |     1103   9922 |        0 |        0
556.64/556.82	c  556s |      24 |  4879362 |  4497762 |     1103   9949 |        0 |        0
558.65/558.83	c  558s |      24 |  4896145 |  4512962 |     1103   9975 |        0 |        0
560.64/560.84	c  560s |      24 |  4913057 |  4527962 |     1103  10002 |        0 |        0
562.64/562.84	c  562s |      24 |  4929814 |  4542962 |     1103  10028 |        0 |        0
564.64/564.85	c  564s |      24 |  4946006 |  4557962 |     1103  10054 |        0 |        0
566.63/566.85	c  566s |      24 |  4962344 |  4573162 |     1103  10081 |        0 |        0
568.64/568.86	c  568s |      24 |  4979132 |  4588162 |     1103  10107 |        0 |        0
570.63/570.87	c  570s |      24 |  4995419 |  4603462 |     1103  10134 |        0 |        0
572.64/572.87	c  572s |      24 |  5012227 |  4618462 |     1103  10160 |        0 |        0
574.64/574.87	c  574s |      24 |  5028733 |  4633262 |     1103  10186 |        0 |        0
576.64/576.88	c  576s |      24 |  5044906 |  4648262 |     1103  10212 |        0 |        0
578.64/578.89	c  578s |      24 |  5061281 |  4663662 |     1103  10239 |        0 |        0
580.64/580.90	c  580s |      24 |  5077376 |  4678862 |     1103  10266 |        0 |        0
582.73/582.91	c  582s |      24 |  5093271 |  4693662 |     1103  10292 |        0 |        0
584.72/584.91	c  584s |      24 |  5109088 |  4708462 |     1103  10318 |        0 |        0
586.72/586.93	c  586s |      24 |  5125157 |  4723162 |     1103  10344 |        0 |        0
588.72/588.93	c  588s |      24 |  5141864 |  4738262 |     1103  10370 |        0 |        0
590.72/590.94	c  590s |      24 |  5157918 |  4753462 |     1103  10396 |        0 |        0
592.73/592.94	c  592s |      24 |  5174346 |  4768462 |     1103  10423 |        0 |        0
594.72/594.95	c  594s |      24 |  5190976 |  4783462 |     1103  10449 |        0 |        0
596.72/596.96	c  596s |      24 |  5207492 |  4798362 |     1103  10475 |        0 |        0
598.72/598.97	c  598s |      24 |  5224271 |  4813562 |     1103  10502 |        0 |        0
600.72/600.98	c  600s |      24 |  5240281 |  4828662 |     1103  10528 |        0 |        0
602.72/602.98	c  602s |      24 |  5256169 |  4843562 |     1103  10554 |        0 |        0
604.71/604.99	c  604s |      24 |  5272434 |  4858562 |     1103  10581 |        0 |        0
606.81/607.00	c  606s |      24 |  5288831 |  4873762 |     1103  10608 |        0 |        0
608.81/609.01	c  608s |      24 |  5305156 |  4888962 |     1103  10634 |        0 |        0
610.81/611.01	c  611s |      24 |  5321253 |  4904062 |     1103  10661 |        0 |        0
612.81/613.02	c  613s |      24 |  5337677 |  4919262 |     1103  10688 |        0 |        0
614.82/615.03	c  615s |      24 |  5354051 |  4934562 |     1103  10714 |        0 |        0
616.81/617.04	c  617s |      24 |  5371003 |  4949462 |     1103  10741 |        0 |        0
618.81/619.05	c  619s |      24 |  5387519 |  4964662 |     1103  10767 |        0 |        0
620.81/621.05	c  621s |      24 |  5403892 |  4980162 |     1103  10795 |        0 |        0
622.81/623.06	c  623s |      24 |  5420219 |  4995362 |     1103  10821 |        0 |        0
624.81/625.07	c  625s |      24 |  5436573 |  5010562 |     1103  10848 |        0 |        0
626.81/627.08	c  627s |      24 |  5452937 |  5025762 |     1103  10875 |        0 |        0
628.81/629.09	c  629s |      24 |  5469312 |  5040862 |     1214  10899 |        0 |        0
630.91/631.10	c  631s |      24 |  5485450 |  5055962 |     1214  10923 |        0 |        0
632.10/632.33	c  632s |      25 |  5495156 |  5065098 |     1214  10938 |        0 |        0
634.10/634.34	c  634s |      25 |  5511049 |  5079798 |     1214  10961 |        0 |        0
636.10/636.35	c  636s |      25 |  5527068 |  5094598 |     1214  10985 |        0 |        0
638.10/638.36	c  638s |      25 |  5543094 |  5109198 |     1214  11008 |        0 |        0
640.11/640.37	c  640s |      25 |  5559368 |  5123798 |     1214  11031 |        0 |        0
642.10/642.38	c  642s |      25 |  5575610 |  5138798 |     1214  11055 |        0 |        0
644.09/644.39	c  644s |      25 |  5591823 |  5153598 |     1214  11079 |        0 |        0
646.09/646.39	c  646s |      25 |  5608025 |  5168298 |     1214  11103 |        0 |        0
648.09/648.39	c  648s |      25 |  5623938 |  5182898 |     1214  11126 |        0 |        0
650.19/650.41	c  650s |      25 |  5640731 |  5197698 |     1214  11150 |        0 |        0
652.19/652.42	c  652s |      25 |  5656948 |  5212598 |     1214  11173 |        0 |        0
654.18/654.42	c  654s |      25 |  5672990 |  5227098 |     1214  11197 |        0 |        0
656.19/656.43	c  656s |      25 |  5688511 |  5241398 |     1214  11220 |        0 |        0
658.19/658.43	c  658s |      25 |  5704979 |  5255898 |     1214  11243 |        0 |        0
660.19/660.44	c  660s |      25 |  5721759 |  5270598 |     1214  11266 |        0 |        0
662.19/662.45	c  662s |      25 |  5738102 |  5285198 |     1214  11289 |        0 |        0
664.19/664.46	c  664s |      25 |  5754434 |  5299998 |     1214  11313 |        0 |        0
666.18/666.46	c  666s |      25 |  5770280 |  5314498 |     1214  11336 |        0 |        0
668.18/668.47	c  668s |      25 |  5786569 |  5329198 |     1214  11360 |        0 |        0
670.18/670.48	c  670s |      25 |  5802948 |  5344098 |     1214  11383 |        0 |        0
672.18/672.48	c  672s |      25 |  5819066 |  5358798 |     1214  11407 |        0 |        0
674.18/674.48	c  674s |      25 |  5835904 |  5373598 |     1214  11431 |        0 |        0
676.18/676.48	c  676s |      25 |  5851562 |  5388298 |     1214  11454 |        0 |        0
678.28/678.50	c  678s |      25 |  5868022 |  5402998 |     1214  11478 |        0 |        0
680.28/680.50	c  680s |      25 |  5884322 |  5417898 |     1214  11501 |        0 |        0
682.28/682.50	c  682s |      25 |  5900872 |  5432398 |     1214  11524 |        0 |        0
684.27/684.51	c  684s |      25 |  5916776 |  5447198 |     1214  11548 |        0 |        0
686.28/686.51	c  686s |      25 |  5932979 |  5461798 |     1214  11571 |        0 |        0
688.27/688.52	c  688s |      25 |  5948859 |  5476298 |     1214  11595 |        0 |        0
690.27/690.52	c  690s |      25 |  5964830 |  5490998 |     1214  11618 |        0 |        0
692.27/692.53	c  692s |      25 |  5980468 |  5505798 |     1214  11642 |        0 |        0
694.26/694.53	c  694s |      25 |  5996094 |  5520398 |     1214  11665 |        0 |        0
696.26/696.54	c  696s |      25 |  6011606 |  5534998 |     1214  11688 |        0 |        0
698.27/698.54	c  698s |      25 |  6027283 |  5549498 |     1214  11711 |        0 |        0
700.26/700.55	c  700s |      25 |  6043036 |  5564298 |     1214  11735 |        0 |        0
702.26/702.55	c  702s |      25 |  6058656 |  5578898 |     1214  11758 |        0 |        0
704.26/704.56	c  704s |      25 |  6074756 |  5593498 |     1214  11782 |        0 |        0
706.25/706.57	c  706s |      25 |  6090753 |  5608198 |     1214  11805 |        0 |        0
708.26/708.57	c  708s |      25 |  6106165 |  5622598 |     1214  11828 |        0 |        0
710.25/710.57	c  710s |      25 |  6121969 |  5637298 |     1214  11851 |        0 |        0
712.25/712.58	c  712s |      25 |  6138440 |  5651998 |     1214  11875 |        0 |        0
714.25/714.59	c  714s |      25 |  6154639 |  5666498 |     1214  11898 |        0 |        0
716.25/716.59	c  716s |      25 |  6171130 |  5681198 |     1214  11921 |        0 |        0
718.25/718.60	c  718s |      25 |  6187301 |  5695698 |     1214  11945 |        0 |        0
720.35/720.61	c  720s |      25 |  6203658 |  5710098 |     1214  11968 |        0 |        0
722.35/722.62	c  722s |      25 |  6220114 |  5724898 |     1214  11991 |        0 |        0
724.34/724.63	c  724s |      25 |  6236726 |  5739698 |     1214  12015 |        0 |        0
726.34/726.63	c  726s |      25 |  6252586 |  5754598 |     1214  12039 |        0 |        0
728.35/728.64	c  728s |      25 |  6268567 |  5769398 |     1214  12062 |        0 |        0
730.35/730.64	c  730s |      25 |  6284353 |  5784098 |     1214  12086 |        0 |        0
732.35/732.64	c  732s |      25 |  6300003 |  5798598 |     1214  12109 |        0 |        0
734.34/734.65	c  734s |      25 |  6315965 |  5813298 |     1214  12132 |        0 |        0
736.34/736.65	c  736s |      25 |  6332229 |  5828198 |     1214  12156 |        0 |        0
738.34/738.65	c  738s |      25 |  6348930 |  5842798 |     1214  12180 |        0 |        0
740.34/740.66	c  740s |      25 |  6365398 |  5857698 |     1214  12203 |        0 |        0
742.35/742.66	c  742s |      25 |  6381584 |  5872198 |     1214  12227 |        0 |        0
744.33/744.68	c  744s |      25 |  6398132 |  5886898 |     1214  12250 |        0 |        0
746.33/746.68	c  746s |      25 |  6414230 |  5901598 |     1214  12274 |        0 |        0
748.33/748.69	c  748s |      25 |  6430704 |  5916298 |     1214  12297 |        0 |        0
750.43/750.70	c  750s |      25 |  6447887 |  5931098 |     1214  12321 |        0 |        0
752.43/752.70	c  752s |      25 |  6464209 |  5946198 |     1214  12345 |        0 |        0
754.44/754.72	c  754s |      25 |  6480577 |  5960998 |     1214  12369 |        0 |        0
756.43/756.73	c  756s |      25 |  6497415 |  5975898 |     1214  12392 |        0 |        0
758.43/758.73	c  758s |      25 |  6514097 |  5990698 |     1214  12416 |        0 |        0
760.43/760.73	c  760s |      25 |  6530446 |  6005498 |     1214  12440 |        0 |        0
762.43/762.73	c  762s |      25 |  6547065 |  6020398 |     1214  12464 |        0 |        0
764.42/764.73	c  764s |      25 |  6563608 |  6035098 |     1214  12487 |        0 |        0
766.43/766.74	c  766s |      25 |  6579931 |  6049698 |     1214  12511 |        0 |        0
768.42/768.74	c  768s |      25 |  6595269 |  6063998 |     1214  12533 |        0 |        0
770.42/770.75	c  770s |      25 |  6610863 |  6078498 |     1214  12557 |        0 |        0
772.42/772.76	c  772s |      25 |  6626424 |  6092898 |     1214  12580 |        0 |        0
774.41/774.77	c  774s |      25 |  6642502 |  6107198 |     1214  12602 |        0 |        0
776.42/776.78	c  776s |      25 |  6658195 |  6121698 |     1214  12625 |        0 |        0
778.41/778.80	c  778s |      25 |  6673677 |  6136398 |     1214  12649 |        0 |        0
780.51/780.80	c  780s |      25 |  6689338 |  6150998 |     1214  12672 |        0 |        0
782.51/782.82	c  782s |      25 |  6705176 |  6165798 |     1214  12696 |        0 |        0
784.50/784.82	c  784s |      25 |  6721345 |  6180498 |     1214  12719 |        0 |        0
786.51/786.83	c  786s |      25 |  6737510 |  6195098 |     1214  12743 |        0 |        0
788.52/788.84	c  788s |      25 |  6753417 |  6209798 |     1214  12766 |        0 |        0
790.51/790.85	c  790s |      25 |  6769138 |  6224298 |     1214  12789 |        0 |        0
792.51/792.86	c  792s |      25 |  6785126 |  6239098 |     1214  12813 |        0 |        0
794.50/794.87	c  794s |      25 |  6801206 |  6253698 |     1214  12836 |        0 |        0
796.50/796.87	c  796s |      25 |  6817250 |  6268398 |     1214  12860 |        0 |        0
798.50/798.88	c  798s |      25 |  6834482 |  6283298 |     1214  12883 |        0 |        0
800.51/800.88	c  800s |      25 |  6852323 |  6298298 |     1214  12907 |        0 |        0
802.50/802.88	c  802s |      25 |  6868948 |  6313198 |     1214  12931 |        0 |        0
804.50/804.89	c  804s |      25 |  6885271 |  6328098 |     1214  12955 |        0 |        0
806.50/806.89	c  806s |      25 |  6901924 |  6343098 |     1214  12979 |        0 |        0
808.50/808.90	c  808s |      25 |  6917699 |  6357798 |     1214  13002 |        0 |        0
810.59/810.90	c  810s |      25 |  6933763 |  6372598 |     1214  13026 |        0 |        0
812.60/812.90	c  812s |      25 |  6949591 |  6386998 |     1214  13049 |        0 |        0
814.59/814.91	c  814s |      25 |  6965433 |  6401098 |     1214  13071 |        0 |        0
816.59/816.92	c  816s |      25 |  6981283 |  6415298 |     1214  13094 |        0 |        0
818.59/818.93	c  818s |      25 |  6997330 |  6430098 |     1214  13118 |        0 |        0
820.59/820.94	c  820s |      25 |  7013162 |  6444698 |     1214  13141 |        0 |        0
822.59/822.95	c  822s |      25 |  7028969 |  6459098 |     1214  13164 |        0 |        0
824.58/824.96	c  824s |      25 |  7044661 |  6473698 |     1214  13187 |        0 |        0
826.58/826.97	c  826s |      25 |  7060219 |  6488298 |     1214  13211 |        0 |        0
828.58/828.97	c  828s |      25 |  7075552 |  6502798 |     1214  13234 |        0 |        0
830.58/830.98	c  830s |      25 |  7091468 |  6517598 |     1214  13257 |        0 |        0
832.59/832.99	c  832s |      25 |  7107110 |  6532098 |     1214  13281 |        0 |        0
834.59/835.00	c  834s |      25 |  7122599 |  6546698 |     1214  13304 |        0 |        0
836.68/837.01	c  836s |      25 |  7138300 |  6561298 |     1214  13327 |        0 |        0
838.68/839.02	c  839s |      25 |  7154384 |  6576098 |     1214  13351 |        0 |        0
840.68/841.02	c  841s |      25 |  7170391 |  6590798 |     1214  13374 |        0 |        0
842.68/843.03	c  843s |      25 |  7186749 |  6605598 |     1214  13398 |        0 |        0
844.68/845.03	c  845s |      25 |  7202785 |  6620198 |     1214  13421 |        0 |        0
846.68/847.04	c  847s |      25 |  7218496 |  6634698 |     1214  13444 |        0 |        0
848.68/849.04	c  849s |      25 |  7233948 |  6649098 |     1214  13468 |        0 |        0
850.68/851.05	c  851s |      25 |  7250481 |  6663598 |     1214  13491 |        0 |        0
852.68/853.06	c  853s |      25 |  7266284 |  6678498 |     1214  13514 |        0 |        0
854.67/855.06	c  855s |      25 |  7282077 |  6692998 |     1214  13538 |        0 |        0
856.68/857.07	c  857s |      25 |  7297789 |  6707598 |     1214  13561 |        0 |        0
858.67/859.08	c  859s |      25 |  7313645 |  6722098 |     1214  13584 |        0 |        0
860.67/861.08	c  861s |      25 |  7329412 |  6736798 |     1214  13608 |        0 |        0
862.67/863.09	c  863s |      25 |  7346181 |  6751498 |     1214  13631 |        0 |        0
864.67/865.09	c  865s |      25 |  7362791 |  6766298 |     1214  13655 |        0 |        0
866.67/867.09	c  867s |      25 |  7379526 |  6780898 |     1214  13678 |        0 |        0
868.67/869.10	c  869s |      25 |  7395308 |  6795498 |     1214  13702 |        0 |        0
870.77/871.10	c  871s |      25 |  7410771 |  6809898 |     1214  13725 |        0 |        0
872.77/873.11	c  873s |      25 |  7426455 |  6824398 |     1214  13748 |        0 |        0
874.76/875.12	c  875s |      25 |  7442205 |  6838898 |     1214  13771 |        0 |        0
876.76/877.12	c  877s |      25 |  7458155 |  6853598 |     1214  13795 |        0 |        0
878.76/879.12	c  879s |      25 |  7474348 |  6868398 |     1214  13818 |        0 |        0
880.77/881.12	c  881s |      25 |  7490647 |  6883098 |     1214  13842 |        0 |        0
882.76/883.13	c  883s |      25 |  7507611 |  6897998 |     1214  13866 |        0 |        0
884.75/885.13	c  885s |      25 |  7524088 |  6912798 |     1214  13890 |        0 |        0
886.75/887.13	c  887s |      25 |  7540656 |  6927498 |     1214  13913 |        0 |        0
888.75/889.13	c  889s |      25 |  7557080 |  6942098 |     1214  13936 |        0 |        0
890.76/891.14	c  891s |      25 |  7573304 |  6956698 |     1214  13960 |        0 |        0
892.75/893.14	c  893s |      25 |  7589434 |  6971198 |     1214  13983 |        0 |        0
894.75/895.15	c  895s |      25 |  7605791 |  6985998 |     1214  14007 |        0 |        0
896.75/897.16	c  897s |      25 |  7621587 |  7000698 |     1214  14030 |        0 |        0
898.75/899.16	c  899s |      25 |  7638116 |  7015398 |     1214  14054 |        0 |        0
900.75/901.18	c  901s |      25 |  7653404 |  7029898 |     1214  14077 |        0 |        0
902.75/903.19	c  903s |      25 |  7668880 |  7044498 |     1214  14100 |        0 |        0
904.74/905.19	c  905s |      25 |  7684274 |  7058898 |     1214  14123 |        0 |        0
906.84/907.20	c  907s |      25 |  7699860 |  7073498 |     1214  14147 |        0 |        0
908.85/909.22	c  909s |      25 |  7715404 |  7087998 |     1214  14170 |        0 |        0
910.85/911.22	c  911s |      25 |  7731088 |  7102198 |     1214  14192 |        0 |        0
912.85/913.22	c  913s |      25 |  7746529 |  7116698 |     1214  14215 |        0 |        0
914.85/915.23	c  915s |      25 |  7761413 |  7130798 |     1214  14238 |        0 |        0
916.84/917.24	c  917s |      25 |  7777129 |  7145198 |     1214  14261 |        0 |        0
918.84/919.25	c  919s |      25 |  7792564 |  7159498 |     1214  14284 |        0 |        0
920.84/921.26	c  921s |      25 |  7808504 |  7173698 |     1214  14306 |        0 |        0
922.84/923.27	c  923s |      25 |  7823765 |  7187798 |     1214  14329 |        0 |        0
924.84/925.27	c  925s |      25 |  7838996 |  7201898 |     1214  14351 |        0 |        0
926.83/927.29	c  927s |      25 |  7854428 |  7216298 |     1214  14375 |        0 |        0
928.93/929.30	c  929s |      25 |  7869925 |  7230698 |     1214  14398 |        0 |        0
930.93/931.30	c  931s |      25 |  7885179 |  7244998 |     1214  14420 |        0 |        0
932.93/933.31	c  933s |      25 |  7900517 |  7259398 |     1214  14443 |        0 |        0
934.93/935.32	c  935s |      25 |  7915719 |  7273798 |     1214  14467 |        0 |        0
936.93/937.33	c  937s |      25 |  7931201 |  7288398 |     1214  14490 |        0 |        0
938.92/939.33	c  939s |      25 |  7947164 |  7302698 |     1214  14513 |        0 |        0
940.92/941.34	c  941s |      25 |  7962545 |  7317098 |     1214  14536 |        0 |        0
942.92/943.36	c  943s |      25 |  7978449 |  7331398 |     1214  14559 |        0 |        0
944.92/945.37	c  945s |      25 |  7994211 |  7345798 |     1214  14582 |        0 |        0
946.92/947.38	c  947s |      25 |  8009838 |  7360298 |     1214  14605 |        0 |        0
948.93/949.38	c  949s |      25 |  8024910 |  7374498 |     1214  14628 |        0 |        0
951.02/951.40	c  951s |      25 |  8040375 |  7389198 |     1214  14651 |        0 |        0
953.02/953.41	c  953s |      25 |  8055822 |  7403398 |     1214  14674 |        0 |        0
955.02/955.42	c  955s |      25 |  8071380 |  7417598 |     1214  14696 |        0 |        0
957.02/957.43	c  957s |      25 |  8086427 |  7431798 |     1214  14719 |        0 |        0
959.02/959.43	c  959s |      25 |  8102437 |  7446498 |     1214  14743 |        0 |        0
961.02/961.44	c  961s |      25 |  8118156 |  7460898 |     1214  14766 |        0 |        0
963.01/963.45	c  963s |      25 |  8133638 |  7475198 |     1214  14789 |        0 |        0
965.01/965.46	c  965s |      25 |  8149411 |  7489598 |     1214  14812 |        0 |        0
967.01/967.47	c  967s |      25 |  8164854 |  7503898 |     1214  14835 |        0 |        0
969.01/969.48	c  969s |      25 |  8180100 |  7518498 |     1214  14858 |        0 |        0
971.02/971.48	c  971s |      25 |  8195278 |  7532998 |     1214  14881 |        0 |        0
973.02/973.49	c  973s |      25 |  8210594 |  7547398 |     1336  14904 |        0 |        0
975.01/975.49	c  975s |      25 |  8226259 |  7561898 |     1336  14925 |        0 |        0
977.11/977.50	c  977s |      25 |  8242052 |  7576198 |     1336  14946 |        0 |        0
979.11/979.50	c  979s |      25 |  8257473 |  7590398 |     1336  14967 |        0 |        0
980.11/980.54	c  980s |      26 |  8265920 |  7597752 |     1336  14977 |        0 |        0
982.11/982.55	c  982s |      26 |  8282686 |  7612152 |     1336  14998 |        0 |        0
984.11/984.56	c  984s |      26 |  8297760 |  7626152 |     1336  15019 |        0 |        0
986.10/986.57	c  986s |      26 |  8313327 |  7640252 |     1336  15039 |        0 |        0
988.10/988.58	c  988s |      26 |  8328628 |  7654452 |     1336  15060 |        0 |        0
990.10/990.59	c  990s |      26 |  8344046 |  7668652 |     1336  15080 |        0 |        0
992.20/992.60	c  992s |      26 |  8359975 |  7682652 |     1336  15101 |        0 |        0
994.19/994.61	c  994s |      26 |  8375361 |  7696652 |     1336  15121 |        0 |        0
996.20/996.63	c  996s |      26 |  8390681 |  7710652 |     1336  15141 |        0 |        0
998.19/998.63	c  998s |      26 |  8405889 |  7724652 |     1336  15162 |        0 |        0
1000.19/1000.64	c 1000s |      26 |  8421428 |  7738852 |     1336  15182 |        0 |        0
1002.19/1002.65	c 1002s |      26 |  8437382 |  7753052 |     1336  15203 |        0 |        0
1004.19/1004.66	c 1004s |      26 |  8453143 |  7767252 |     1336  15224 |        0 |        0
1006.20/1006.67	c 1006s |      26 |  8468222 |  7781352 |     1336  15244 |        0 |        0
1008.19/1008.67	c 1008s |      26 |  8483481 |  7795452 |     1336  15265 |        0 |        0
1010.19/1010.67	c 1010s |      26 |  8498314 |  7808952 |     1336  15284 |        0 |        0
1012.19/1012.68	c 1012s |      26 |  8513001 |  7822552 |     1336  15304 |        0 |        0
1014.18/1014.68	c 1014s |      26 |  8528028 |  7836152 |     1336  15324 |        0 |        0
1016.19/1016.68	c 1016s |      26 |  8543695 |  7850252 |     1336  15344 |        0 |        0
1018.19/1018.69	c 1018s |      26 |  8559054 |  7863852 |     1336  15364 |        0 |        0
1020.29/1020.71	c 1020s |      26 |  8574797 |  7878052 |     1336  15385 |        0 |        0
1022.29/1022.71	c 1022s |      26 |  8589910 |  7891752 |     1336  15405 |        0 |        0
1024.28/1024.72	c 1024s |      26 |  8605451 |  7905852 |     1336  15425 |        0 |        0
1026.28/1026.72	c 1026s |      26 |  8621175 |  7920052 |     1336  15446 |        0 |        0
1028.28/1028.73	c 1028s |      26 |  8636221 |  7934052 |     1336  15466 |        0 |        0
1030.29/1030.74	c 1030s |      26 |  8651493 |  7948052 |     1336  15486 |        0 |        0
1032.28/1032.74	c 1032s |      26 |  8666670 |  7961752 |     1336  15506 |        0 |        0
1034.28/1034.74	c 1034s |      26 |  8681816 |  7975652 |     1336  15527 |        0 |        0
1036.28/1036.75	c 1036s |      26 |  8697075 |  7989252 |     1336  15546 |        0 |        0
1038.28/1038.75	c 1038s |      26 |  8712107 |  8003052 |     1336  15566 |        0 |        0
1040.28/1040.75	c 1040s |      26 |  8727694 |  8016952 |     1336  15587 |        0 |        0
1042.27/1042.76	c 1042s |      26 |  8743705 |  8030952 |     1336  15607 |        0 |        0
1044.27/1044.77	c 1044s |      26 |  8759648 |  8044752 |     1336  15627 |        0 |        0
1046.27/1046.78	c 1046s |      26 |  8775238 |  8058852 |     1336  15647 |        0 |        0
1048.27/1048.79	c 1048s |      26 |  8790730 |  8072852 |     1336  15668 |        0 |        0
1050.37/1050.81	c 1050s |      26 |  8805855 |  8086552 |     1336  15688 |        0 |        0
1052.38/1052.81	c 1052s |      26 |  8821208 |  8100252 |     1336  15708 |        0 |        0
1054.37/1054.81	c 1054s |      26 |  8836220 |  8114252 |     1336  15728 |        0 |        0
1056.38/1056.82	c 1056s |      26 |  8851165 |  8128052 |     1336  15748 |        0 |        0
1058.38/1058.83	c 1058s |      26 |  8865617 |  8141352 |     1336  15767 |        0 |        0
1060.38/1060.84	c 1060s |      26 |  8880364 |  8154652 |     1336  15787 |        0 |        0
1062.38/1062.85	c 1062s |      26 |  8895497 |  8168652 |     1336  15807 |        0 |        0
1064.38/1064.85	c 1064s |      26 |  8910995 |  8182552 |     1336  15827 |        0 |        0
1066.38/1066.86	c 1066s |      26 |  8925832 |  8196152 |     1336  15847 |        0 |        0
1068.37/1068.86	c 1068s |      26 |  8941086 |  8210152 |     1336  15867 |        0 |        0
1070.37/1070.87	c 1070s |      26 |  8956249 |  8224152 |     1336  15888 |        0 |        0
1072.37/1072.88	c 1072s |      26 |  8971923 |  8238152 |     1336  15908 |        0 |        0
1074.38/1074.89	c 1074s |      26 |  8987664 |  8252252 |     1336  15929 |        0 |        0
1076.37/1076.90	c 1076s |      26 |  9003546 |  8266252 |     1336  15949 |        0 |        0
1078.47/1078.90	c 1078s |      26 |  9019017 |  8280252 |     1336  15969 |        0 |        0
1080.47/1080.90	c 1080s |      26 |  9034197 |  8294052 |     1336  15990 |        0 |        0
1082.47/1082.91	c 1082s |      26 |  9049144 |  8307952 |     1336  16010 |        0 |        0
1084.47/1084.91	c 1084s |      26 |  9065014 |  8322052 |     1336  16030 |        0 |        0
1086.48/1086.91	c 1086s |      26 |  9080100 |  8335952 |     1336  16051 |        0 |        0
1088.47/1088.92	c 1088s |      26 |  9095244 |  8349852 |     1336  16071 |        0 |        0
1090.47/1090.92	c 1090s |      26 |  9110229 |  8363752 |     1336  16091 |        0 |        0
1092.47/1092.93	c 1092s |      26 |  9125485 |  8377752 |     1336  16111 |        0 |        0
1094.47/1094.93	c 1094s |      26 |  9140662 |  8391552 |     1336  16131 |        0 |        0
1096.47/1096.94	c 1096s |      26 |  9156030 |  8405552 |     1336  16152 |        0 |        0
1098.47/1098.94	c 1098s |      26 |  9171595 |  8419752 |     1336  16173 |        0 |        0
1100.46/1100.95	c 1100s |      26 |  9186907 |  8433852 |     1336  16193 |        0 |        0
1102.46/1102.95	c 1102s |      26 |  9202503 |  8447852 |     1336  16214 |        0 |        0
1104.46/1104.97	c 1104s |      26 |  9217717 |  8461852 |     1336  16234 |        0 |        0
1106.46/1106.97	c 1106s |      26 |  9233439 |  8475952 |     1336  16255 |        0 |        0
1108.47/1108.98	c 1108s |      26 |  9249645 |  8490052 |     1336  16275 |        0 |        0
1110.46/1110.99	c 1110s |      26 |  9265840 |  8504552 |     1336  16296 |        0 |        0
1112.46/1112.99	c 1112s |      26 |  9281596 |  8518752 |     1336  16317 |        0 |        0
1114.46/1115.00	c 1114s |      26 |  9296640 |  8532352 |     1336  16337 |        0 |        0
1116.56/1117.00	c 1116s |      26 |  9311215 |  8546052 |     1336  16357 |        0 |        0
1118.56/1119.01	c 1118s |      26 |  9326018 |  8559952 |     1336  16377 |        0 |        0
1120.57/1121.01	c 1120s |      26 |  9341010 |  8573452 |     1336  16396 |        0 |        0
1122.56/1123.01	c 1122s |      26 |  9356223 |  8586752 |     1336  16416 |        0 |        0
1124.56/1125.01	c 1124s |      26 |  9371076 |  8600752 |     1336  16436 |        0 |        0
1126.56/1127.02	c 1127s |      26 |  9385890 |  8614552 |     1336  16456 |        0 |        0
1128.56/1129.02	c 1129s |      26 |  9400708 |  8628452 |     1336  16476 |        0 |        0
1130.56/1131.03	c 1131s |      26 |  9415638 |  8642352 |     1336  16497 |        0 |        0
1132.57/1133.04	c 1133s |      26 |  9430246 |  8655952 |     1336  16516 |        0 |        0
1134.57/1135.04	c 1135s |      26 |  9444914 |  8669652 |     1336  16536 |        0 |        0
1136.57/1137.05	c 1137s |      26 |  9459742 |  8682952 |     1336  16556 |        0 |        0
1138.56/1139.06	c 1139s |      26 |  9475234 |  8696252 |     1336  16575 |        0 |        0
1140.56/1141.07	c 1141s |      26 |  9489727 |  8709652 |     1336  16594 |        0 |        0
1142.57/1143.08	c 1143s |      26 |  9505153 |  8723552 |     1336  16615 |        0 |        0
1144.56/1145.09	c 1145s |      26 |  9520768 |  8737552 |     1336  16635 |        0 |        0
1146.66/1147.10	c 1147s |      26 |  9536227 |  8751452 |     1336  16655 |        0 |        0
1148.66/1149.11	c 1149s |      26 |  9550935 |  8765252 |     1336  16675 |        0 |        0
1150.66/1151.12	c 1151s |      26 |  9565893 |  8779052 |     1336  16695 |        0 |        0
1152.66/1153.12	c 1153s |      26 |  9580775 |  8793052 |     1336  16716 |        0 |        0
1154.67/1155.12	c 1155s |      26 |  9596040 |  8807252 |     1336  16737 |        0 |        0
1156.66/1157.13	c 1157s |      26 |  9611619 |  8821452 |     1336  16757 |        0 |        0
1158.66/1159.13	c 1159s |      26 |  9626585 |  8835452 |     1336  16778 |        0 |        0
1160.66/1161.14	c 1161s |      26 |  9640912 |  8848852 |     1336  16797 |        0 |        0
1162.66/1163.15	c 1163s |      26 |  9656098 |  8862552 |     1336  16817 |        0 |        0
1164.66/1165.17	c 1165s |      26 |  9671357 |  8876252 |     1336  16837 |        0 |        0
1166.66/1167.17	c 1167s |      26 |  9686538 |  8890352 |     1336  16858 |        0 |        0
1168.65/1169.17	c 1169s |      26 |  9702205 |  8904352 |     1336  16878 |        0 |        0
1170.65/1171.18	c 1171s |      26 |  9717900 |  8918252 |     1336  16898 |        0 |        0
1172.65/1173.19	c 1173s |      26 |  9733084 |  8932052 |     1336  16918 |        0 |        0
1174.75/1175.20	c 1175s |      26 |  9747967 |  8945752 |     1336  16938 |        0 |        0
1176.75/1177.20	c 1177s |      26 |  9763171 |  8959552 |     1336  16958 |        0 |        0
1178.76/1179.21	c 1179s |      26 |  9778461 |  8973352 |     1336  16978 |        0 |        0
1180.75/1181.22	c 1181s |      26 |  9793612 |  8987352 |     1336  16999 |        0 |        0
1182.75/1183.22	c 1183s |      26 |  9808158 |  9001052 |     1336  17019 |        0 |        0
1184.75/1185.23	c 1185s |      26 |  9823470 |  9015052 |     1336  17039 |        0 |        0
1186.75/1187.24	c 1187s |      26 |  9838077 |  9028652 |     1336  17059 |        0 |        0
1188.76/1189.24	c 1189s |      26 |  9853392 |  9042752 |     1336  17080 |        0 |        0
1190.75/1191.25	c 1191s |      26 |  9868577 |  9056652 |     1336  17100 |        0 |        0
1192.75/1193.26	c 1193s |      26 |  9883615 |  9070252 |     1336  17120 |        0 |        0
1194.76/1195.26	c 1195s |      26 |  9898549 |  9083952 |     1336  17140 |        0 |        0
1196.76/1197.27	c 1197s |      26 |  9913206 |  9097452 |     1336  17159 |        0 |        0
1198.76/1199.27	c 1199s |      26 |  9928491 |  9111352 |     1336  17180 |        0 |        0
1200.76/1201.27	c 1201s |      26 |  9944179 |  9125352 |     1336  17200 |        0 |        0
1202.76/1203.27	c 1203s |      26 |  9960118 |  9139452 |     1336  17220 |        0 |        0
1204.75/1205.28	c 1205s |      26 |  9976011 |  9153352 |     1336  17241 |        0 |        0
1206.75/1207.28	c 1207s |      26 |  9992075 |  9167252 |     1336  17261 |        0 |        0
1208.75/1209.28	c 1209s |      26 | 10008162 |  9181252 |     1336  17281 |        0 |        0
1210.76/1211.29	c 1211s |      26 | 10024333 |  9195152 |     1336  17301 |        0 |        0
1212.75/1213.29	c 1213s |      26 | 10039570 |  9209052 |     1336  17322 |        0 |        0
1214.85/1215.30	c 1215s |      26 | 10054868 |  9223052 |     1336  17342 |        0 |        0
1216.85/1217.31	c 1217s |      26 | 10069865 |  9236752 |     1336  17362 |        0 |        0
1218.85/1219.32	c 1219s |      26 | 10085227 |  9250452 |     1336  17382 |        0 |        0
1220.85/1221.32	c 1221s |      26 | 10100742 |  9263952 |     1336  17402 |        0 |        0
1222.86/1223.33	c 1223s |      26 | 10116304 |  9278152 |     1336  17422 |        0 |        0
1224.85/1225.34	c 1225s |      26 | 10131869 |  9292152 |     1336  17443 |        0 |        0
1226.85/1227.36	c 1227s |      26 | 10147899 |  9306452 |     1336  17464 |        0 |        0
1228.85/1229.36	c 1229s |      26 | 10163254 |  9320452 |     1336  17484 |        0 |        0
1230.85/1231.38	c 1231s |      26 | 10178843 |  9334552 |     1336  17505 |        0 |        0
1232.85/1233.38	c 1233s |      26 | 10194096 |  9348652 |     1336  17525 |        0 |        0
1234.85/1235.38	c 1235s |      26 | 10209167 |  9362452 |     1336  17545 |        0 |        0
1236.85/1237.39	c 1237s |      26 | 10224497 |  9376652 |     1336  17566 |        0 |        0
1238.85/1239.39	c 1239s |      26 | 10239958 |  9391052 |     1336  17587 |        0 |        0
1240.84/1241.39	c 1241s |      26 | 10255489 |  9405152 |     1336  17608 |        0 |        0
1242.94/1243.40	c 1243s |      26 | 10270212 |  9418552 |     1336  17627 |        0 |        0
1244.94/1245.40	c 1245s |      26 | 10285432 |  9432352 |     1336  17647 |        0 |        0
1246.95/1247.41	c 1247s |      26 | 10301190 |  9446752 |     1336  17668 |        0 |        0
1248.94/1249.42	c 1249s |      26 | 10317029 |  9461052 |     1336  17689 |        0 |        0
1250.94/1251.42	c 1251s |      26 | 10332771 |  9475152 |     1336  17710 |        0 |        0
1252.94/1253.43	c 1253s |      26 | 10348056 |  9489252 |     1336  17730 |        0 |        0
1254.94/1255.43	c 1255s |      26 | 10364009 |  9503452 |     1336  17751 |        0 |        0
1256.95/1257.44	c 1257s |      26 | 10379154 |  9517352 |     1336  17771 |        0 |        0
1258.94/1259.46	c 1259s |      26 | 10394612 |  9531652 |     1336  17792 |        0 |        0
1260.94/1261.47	c 1261s |      26 | 10409921 |  9545752 |     1336  17813 |        0 |        0
1262.94/1263.47	c 1263s |      26 | 10426009 |  9559652 |     1336  17833 |        0 |        0
1264.94/1265.48	c 1265s |      26 | 10442193 |  9573752 |     1336  17854 |        0 |        0
1266.94/1267.49	c 1267s |      26 | 10457786 |  9587752 |     1336  17874 |        0 |        0
1268.95/1269.49	c 1269s |      26 | 10473933 |  9601752 |     1336  17895 |        0 |        0
1270.94/1271.50	c 1271s |      26 | 10489474 |  9615952 |     1336  17915 |        0 |        0
1273.04/1273.51	c 1273s |      26 | 10505291 |  9630252 |     1336  17936 |        0 |        0
1275.04/1275.51	c 1275s |      26 | 10520814 |  9644452 |     1336  17957 |        0 |        0
1277.04/1277.52	c 1277s |      26 | 10536166 |  9658652 |     1336  17978 |        0 |        0
1279.04/1279.52	c 1279s |      26 | 10551044 |  9672052 |     1336  17997 |        0 |        0
1281.05/1281.53	c 1281s |      26 | 10565919 |  9685752 |     1336  18017 |        0 |        0
1283.04/1283.54	c 1283s |      26 | 10580684 |  9699352 |     1336  18037 |        0 |        0
1285.04/1285.55	c 1285s |      26 | 10596017 |  9712952 |     1336  18057 |        0 |        0
1287.04/1287.55	c 1287s |      26 | 10610893 |  9726352 |     1336  18076 |        0 |        0
1289.04/1289.56	c 1289s |      26 | 10626190 |  9739952 |     1336  18096 |        0 |        0
1291.04/1291.57	c 1291s |      26 | 10641532 |  9753752 |     1336  18116 |        0 |        0
1293.03/1293.57	c 1293s |      26 | 10657184 |  9767552 |     1336  18136 |        0 |        0
1295.03/1295.58	c 1295s |      26 | 10672313 |  9781452 |     1336  18156 |        0 |        0
1297.03/1297.59	c 1297s |      26 | 10687577 |  9795352 |     1336  18176 |        0 |        0
1299.13/1299.60	c 1299s |      26 | 10702792 |  9809252 |     1336  18197 |        0 |        0
1301.13/1301.60	c 1301s |      26 | 10717540 |  9823052 |     1336  18217 |        0 |        0
1303.14/1303.61	c 1303s |      26 | 10732702 |  9836952 |     1336  18237 |        0 |        0
1305.13/1305.62	c 1305s |      26 | 10748623 |  9850752 |     1336  18257 |        0 |        0
1307.13/1307.62	c 1307s |      26 | 10763937 |  9864652 |     1336  18277 |        0 |        0
1309.13/1309.64	c 1309s |      26 | 10778933 |  9878252 |     1336  18297 |        0 |        0
1311.13/1311.64	c 1311s |      26 | 10794386 |  9892052 |     1336  18317 |        0 |        0
1313.13/1313.65	c 1313s |      26 | 10810130 |  9906052 |     1336  18337 |        0 |        0
1315.15/1315.66	c 1315s |      26 | 10825748 |  9920152 |     1336  18358 |        0 |        0
1317.14/1317.66	c 1317s |      26 | 10841008 |  9933952 |     1336  18378 |        0 |        0
1319.14/1319.67	c 1319s |      26 | 10856009 |  9947852 |     1336  18398 |        0 |        0
1321.14/1321.67	c 1321s |      26 | 10871408 |  9961452 |     1336  18418 |        0 |        0
1323.14/1323.68	c 1323s |      26 | 10887014 |  9975152 |     1336  18438 |        0 |        0
1325.14/1325.69	c 1325s |      26 | 10901998 |  9988752 |     1336  18458 |        0 |        0
1327.14/1327.70	c 1327s |      26 | 10917453 | 10002152 |     1336  18477 |        0 |        0
1329.23/1329.70	c 1329s |      26 | 10932674 | 10015652 |     1336  18497 |        0 |        0
1331.23/1331.71	c 1331s |      26 | 10947640 | 10029152 |     1336  18516 |        0 |        0
1333.23/1333.72	c 1333s |      26 | 10962722 | 10042952 |     1336  18536 |        0 |        0
1335.23/1335.73	c 1335s |      26 | 10977284 | 10056752 |     1336  18556 |        0 |        0
1337.24/1337.73	c 1337s |      26 | 10992420 | 10070552 |     1336  18577 |        0 |        0
1339.23/1339.73	c 1339s |      26 | 11007671 | 10084452 |     1336  18597 |        0 |        0
1341.23/1341.74	c 1341s |      26 | 11022948 | 10098252 |     1336  18617 |        0 |        0
1343.23/1343.75	c 1343s |      26 | 11038585 | 10111952 |     1336  18637 |        0 |        0
1345.23/1345.76	c 1345s |      26 | 11053234 | 10125552 |     1336  18657 |        0 |        0
1347.22/1347.76	c 1347s |      26 | 11068175 | 10139152 |     1336  18677 |        0 |        0
1349.24/1349.77	c 1349s |      26 | 11083837 | 10153152 |     1336  18697 |        0 |        0
1351.23/1351.78	c 1351s |      26 | 11099056 | 10167252 |     1336  18718 |        0 |        0
1353.23/1353.79	c 1353s |      26 | 11114741 | 10181052 |     1336  18738 |        0 |        0
1355.33/1355.81	c 1355s |      26 | 11129966 | 10194952 |     1336  18758 |        0 |        0
1357.33/1357.82	c 1357s |      26 | 11145504 | 10208952 |     1336  18778 |        0 |        0
1359.33/1359.83	c 1359s |      26 | 11160933 | 10222952 |     1336  18799 |        0 |        0
1361.34/1361.84	c 1361s |      26 | 11176918 | 10237052 |     1336  18819 |        0 |        0
1363.33/1363.85	c 1363s |      26 | 11192418 | 10251152 |     1336  18840 |        0 |        0
1365.33/1365.86	c 1365s |      26 | 11207311 | 10265152 |     1336  18860 |        0 |        0
1367.33/1367.87	c 1367s |      26 | 11223071 | 10279152 |     1336  18881 |        0 |        0
1369.33/1369.87	c 1369s |      26 | 11238204 | 10293152 |     1336  18901 |        0 |        0
1371.33/1371.88	c 1371s |      26 | 11253634 | 10307252 |     1336  18922 |        0 |        0
1373.33/1373.89	c 1373s |      26 | 11268784 | 10321152 |     1336  18942 |        0 |        0
1375.42/1375.91	c 1375s |      26 | 11283900 | 10334952 |     1336  18962 |        0 |        0
1377.42/1377.91	c 1377s |      26 | 11298970 | 10348852 |     1336  18982 |        0 |        0
1379.42/1379.92	c 1379s |      26 | 11314557 | 10362852 |     1336  19003 |        0 |        0
1381.42/1381.93	c 1381s |      26 | 11330320 | 10377152 |     1336  19024 |        0 |        0
1383.43/1383.94	c 1383s |      26 | 11345660 | 10391452 |     1336  19044 |        0 |        0
1385.42/1385.94	c 1385s |      26 | 11360998 | 10405552 |     1336  19065 |        0 |        0
1387.42/1387.95	c 1387s |      26 | 11376411 | 10419952 |     1336  19086 |        0 |        0
1389.42/1389.96	c 1389s |      26 | 11391567 | 10434052 |     1336  19107 |        0 |        0
1391.42/1391.97	c 1391s |      26 | 11407912 | 10448452 |     1336  19127 |        0 |        0
1393.42/1393.97	c 1393s |      26 | 11423693 | 10462752 |     1336  19148 |        0 |        0
1395.43/1395.98	c 1395s |      26 | 11439152 | 10476952 |     1336  19169 |        0 |        0
1397.42/1397.98	c 1397s |      26 | 11453775 | 10490452 |     1336  19189 |        0 |        0
1399.42/1399.99	c 1399s |      26 | 11469386 | 10504352 |     1336  19209 |        0 |        0
1401.52/1402.00	c 1401s |      26 | 11484837 | 10518152 |     1336  19229 |        0 |        0
1403.52/1404.02	c 1404s |      26 | 11500577 | 10532152 |     1336  19249 |        0 |        0
1405.52/1406.02	c 1406s |      26 | 11516136 | 10546052 |     1336  19269 |        0 |        0
1407.52/1408.04	c 1408s |      26 | 11531278 | 10559852 |     1336  19289 |        0 |        0
1409.51/1410.05	c 1410s |      26 | 11545886 | 10573252 |     1336  19309 |        0 |        0
1411.51/1412.05	c 1412s |      26 | 11561234 | 10586952 |     1336  19329 |        0 |        0
1413.51/1414.05	c 1414s |      26 | 11576128 | 10600452 |     1336  19349 |        0 |        0
1415.51/1416.07	c 1416s |      26 | 11591922 | 10614152 |     1336  19369 |        0 |        0
1417.52/1418.07	c 1418s |      26 | 11607140 | 10628052 |     1336  19389 |        0 |        0
1419.51/1420.08	c 1420s |      26 | 11622605 | 10642152 |     1336  19409 |        0 |        0
1421.51/1422.08	c 1422s |      26 | 11638098 | 10655852 |     1336  19429 |        0 |        0
1423.52/1424.10	c 1424s |      26 | 11654058 | 10669852 |     1336  19450 |        0 |        0
1425.62/1426.11	c 1426s |      26 | 11669663 | 10684152 |     1336  19470 |        0 |        0
1427.62/1428.12	c 1428s |      26 | 11685548 | 10698652 |     1336  19492 |        0 |        0
1429.63/1430.14	c 1430s |      26 | 11700703 | 10712152 |     1336  19511 |        0 |        0
1431.62/1432.14	c 1432s |      26 | 11715240 | 10725652 |     1336  19531 |        0 |        0
1433.62/1434.15	c 1434s |      26 | 11729836 | 10739052 |     1336  19550 |        0 |        0
1435.62/1436.16	c 1436s |      26 | 11744533 | 10752552 |     1336  19570 |        0 |        0
1437.62/1438.16	c 1438s |      26 | 11759550 | 10766352 |     1336  19590 |        0 |        0
1439.62/1440.17	c 1440s |      26 | 11774131 | 10779952 |     1336  19609 |        0 |        0
1441.62/1442.18	c 1442s |      26 | 11788963 | 10793252 |     1336  19629 |        0 |        0
1443.62/1444.19	c 1444s |      26 | 11803678 | 10807052 |     1336  19649 |        0 |        0
1445.62/1446.20	c 1446s |      26 | 11818207 | 10820752 |     1336  19669 |        0 |        0
1447.72/1448.20	c 1448s |      26 | 11832750 | 10834452 |     1336  19689 |        0 |        0
1449.72/1450.22	c 1450s |      26 | 11848267 | 10848152 |     1336  19709 |        0 |        0
1451.72/1452.23	c 1452s |      26 | 11863136 | 10861652 |     1336  19728 |        0 |        0
1453.72/1454.24	c 1454s |      26 | 11878096 | 10875252 |     1336  19748 |        0 |        0
1455.72/1456.24	c 1456s |      26 | 11893455 | 10889052 |     1336  19768 |        0 |        0
1457.72/1458.26	c 1458s |      26 | 11908237 | 10902952 |     1336  19788 |        0 |        0
1459.72/1460.27	c 1460s |      26 | 11922622 | 10916452 |     1336  19808 |        0 |        0
1461.71/1462.28	c 1462s |      26 | 11937375 | 10929852 |     1336  19827 |        0 |        0
1463.72/1464.29	c 1464s |      26 | 11952223 | 10943452 |     1336  19847 |        0 |        0
1465.71/1466.30	c 1466s |      26 | 11966921 | 10956852 |     1336  19866 |        0 |        0
1467.81/1468.30	c 1468s |      26 | 11981562 | 10970152 |     1336  19886 |        0 |        0
1469.81/1470.31	c 1470s |      26 | 11996725 | 10983952 |     1336  19906 |        0 |        0
1471.81/1472.32	c 1472s |      26 | 12011872 | 10997552 |     1336  19926 |        0 |        0
1473.81/1474.33	c 1474s |      26 | 12027269 | 11011252 |     1336  19946 |        0 |        0
1475.82/1476.34	c 1476s |      26 | 12042326 | 11024752 |     1336  19965 |        0 |        0
1477.81/1478.36	c 1478s |      26 | 12057527 | 11038352 |     1336  19985 |        0 |        0
1479.81/1480.36	c 1480s |      26 | 12072619 | 11051852 |     1336  20005 |        0 |        0
1481.81/1482.37	c 1482s |      26 | 12087929 | 11065652 |     1336  20025 |        0 |        0
1483.81/1484.37	c 1484s |      26 | 12103038 | 11079352 |     1336  20044 |        0 |        0
1485.81/1486.38	c 1486s |      26 | 12118560 | 11092952 |     1336  20064 |        0 |        0
1487.81/1488.38	c 1488s |      26 | 12133686 | 11106552 |     1336  20084 |        0 |        0
1489.81/1490.39	c 1490s |      26 | 12149350 | 11120052 |     1336  20104 |        0 |        0
1491.81/1492.39	c 1492s |      26 | 12164737 | 11133652 |     1336  20123 |        0 |        0
1493.91/1494.40	c 1494s |      26 | 12180516 | 11147152 |     1336  20143 |        0 |        0
1495.91/1496.41	c 1496s |      26 | 12195341 | 11160952 |     1336  20163 |        0 |        0
1497.91/1498.42	c 1498s |      26 | 12210168 | 11174452 |     1336  20183 |        0 |        0
1499.91/1500.44	c 1500s |      26 | 12225073 | 11188052 |     1336  20202 |        0 |        0
1501.90/1502.44	c 1502s |      26 | 12239899 | 11201752 |     1336  20222 |        0 |        0
1503.90/1504.45	c 1504s |      26 | 12255362 | 11215452 |     1336  20242 |        0 |        0
1505.90/1506.46	c 1506s |      26 | 12270468 | 11229052 |     1336  20262 |        0 |        0
1507.90/1508.46	c 1508s |      26 | 12285082 | 11242552 |     1336  20281 |        0 |        0
1509.91/1510.47	c 1510s |      26 | 12299539 | 11256252 |     1336  20301 |        0 |        0
1511.90/1512.48	c 1512s |      26 | 12314256 | 11270252 |     1336  20322 |        0 |        0
1513.90/1514.48	c 1514s |      26 | 12328840 | 11284152 |     1336  20342 |        0 |        0
1515.90/1516.49	c 1516s |      26 | 12343892 | 11298052 |     1336  20362 |        0 |        0
1518.00/1518.50	c 1518s |      26 | 12359066 | 11311952 |     1336  20383 |        0 |        0
1520.00/1520.51	c 1520s |      26 | 12374398 | 11325752 |     1470  20401 |        0 |        0
1522.00/1522.52	c 1522s |      26 | 12388960 | 11339252 |     1470  20419 |        0 |        0
1524.00/1524.53	c 1524s |      26 | 12403537 | 11352652 |     1470  20437 |        0 |        0
1526.00/1526.54	c 1526s |      26 | 12417951 | 11366252 |     1470  20455 |        0 |        0
1528.00/1528.54	c 1528s |      26 | 12432443 | 11379752 |     1470  20472 |        0 |        0
1530.00/1530.55	c 1530s |      26 | 12447312 | 11393252 |     1470  20490 |        0 |        0
1530.50/1531.07	c 1531s |      27 | 12450892 | 11396733 |     1470  20495 |        0 |        0
1532.50/1533.08	c 1533s |      27 | 12465460 | 11410433 |     1470  20513 |        0 |        0
1534.50/1535.08	c 1535s |      27 | 12480101 | 11424033 |     1470  20531 |        0 |        0
1536.50/1537.09	c 1537s |      27 | 12494800 | 11437633 |     1470  20549 |        0 |        0
1538.60/1539.10	c 1539s |      27 | 12509126 | 11451133 |     1470  20567 |        0 |        0
1540.61/1541.11	c 1541s |      27 | 12523309 | 11464233 |     1470  20584 |        0 |        0
1542.60/1543.14	c 1543s |      27 | 12537723 | 11477633 |     1470  20602 |        0 |        0
1544.60/1545.14	c 1545s |      27 | 12552086 | 11490933 |     1470  20619 |        0 |        0
1546.60/1547.15	c 1547s |      27 | 12567201 | 11504633 |     1470  20637 |        0 |        0
1548.60/1549.16	c 1549s |      27 | 12581552 | 11517733 |     1470  20655 |        0 |        0
1550.61/1551.17	c 1551s |      27 | 12596518 | 11531233 |     1470  20673 |        0 |        0
1552.60/1553.17	c 1553s |      27 | 12611155 | 11544633 |     1470  20690 |        0 |        0
1554.60/1555.18	c 1555s |      27 | 12625379 | 11557833 |     1470  20708 |        0 |        0
1556.60/1557.18	c 1557s |      27 | 12639715 | 11571033 |     1470  20725 |        0 |        0
1558.60/1559.19	c 1559s |      27 | 12654386 | 11584433 |     1470  20743 |        0 |        0
1560.70/1561.20	c 1561s |      27 | 12668706 | 11598033 |     1470  20761 |        0 |        0
1562.61/1563.20	c 1563s |      27 | 12683772 | 11611633 |     1470  20779 |        0 |        0
1564.70/1565.21	c 1565s |      27 | 12697674 | 11624633 |     1470  20796 |        0 |        0
1566.70/1567.21	c 1567s |      27 | 12711785 | 11637533 |     1470  20813 |        0 |        0
1568.70/1569.22	c 1569s |      27 | 12725997 | 11650733 |     1470  20830 |        0 |        0
1570.70/1571.23	c 1571s |      27 | 12740219 | 11663833 |     1470  20848 |        0 |        0
1572.70/1573.24	c 1573s |      27 | 12754659 | 11677333 |     1470  20866 |        0 |        0
1574.70/1575.25	c 1575s |      27 | 12769170 | 11690833 |     1470  20883 |        0 |        0
1576.70/1577.26	c 1577s |      27 | 12783655 | 11704233 |     1470  20901 |        0 |        0
1578.70/1579.26	c 1579s |      27 | 12797996 | 11717533 |     1470  20919 |        0 |        0
1580.69/1581.27	c 1581s |      27 | 12812196 | 11730733 |     1470  20936 |        0 |        0
1582.69/1583.27	c 1583s |      27 | 12826789 | 11744033 |     1470  20954 |        0 |        0
1584.70/1585.28	c 1585s |      27 | 12841546 | 11757533 |     1470  20972 |        0 |        0
1586.69/1587.28	c 1587s |      27 | 12855938 | 11770733 |     1470  20989 |        0 |        0
1588.69/1589.29	c 1589s |      27 | 12870242 | 11783833 |     1470  21006 |        0 |        0
1590.69/1591.29	c 1591s |      27 | 12884693 | 11796933 |     1470  21024 |        0 |        0
1592.69/1593.29	c 1593s |      27 | 12899658 | 11810533 |     1470  21042 |        0 |        0
1594.79/1595.30	c 1595s |      27 | 12914036 | 11823733 |     1470  21059 |        0 |        0
1596.79/1597.32	c 1597s |      27 | 12928448 | 11836933 |     1470  21076 |        0 |        0
1598.79/1599.32	c 1599s |      27 | 12942726 | 11850333 |     1470  21094 |        0 |        0
1600.79/1601.32	c 1601s |      27 | 12957653 | 11863833 |     1470  21112 |        0 |        0
1602.79/1603.33	c 1603s |      27 | 12971831 | 11877233 |     1470  21130 |        0 |        0
1604.79/1605.34	c 1605s |      27 | 12986063 | 11890533 |     1470  21147 |        0 |        0
1606.79/1607.34	c 1607s |      27 | 13000763 | 11903933 |     1470  21165 |        0 |        0
1608.80/1609.35	c 1609s |      27 | 13015294 | 11917333 |     1470  21183 |        0 |        0
1610.79/1611.36	c 1611s |      27 | 13029915 | 11930633 |     1470  21200 |        0 |        0
1612.79/1613.36	c 1613s |      27 | 13044366 | 11943733 |     1470  21218 |        0 |        0
1614.79/1615.36	c 1615s |      27 | 13058682 | 11956833 |     1470  21235 |        0 |        0
1616.79/1617.37	c 1617s |      27 | 13073331 | 11970033 |     1470  21252 |        0 |        0
1618.79/1619.37	c 1619s |      27 | 13087322 | 11983233 |     1470  21270 |        0 |        0
1620.79/1621.37	c 1621s |      27 | 13101236 | 11996433 |     1470  21287 |        0 |        0
1622.79/1623.38	c 1623s |      27 | 13115679 | 12009833 |     1470  21305 |        0 |        0
1624.79/1625.38	c 1625s |      27 | 13129738 | 12023333 |     1470  21323 |        0 |        0
1626.78/1627.39	c 1627s |      27 | 13144148 | 12036933 |     1470  21341 |        0 |        0
1628.78/1629.39	c 1629s |      27 | 13158524 | 12050333 |     1470  21358 |        0 |        0
1630.89/1631.41	c 1631s |      27 | 13172928 | 12063833 |     1470  21376 |        0 |        0
1632.89/1633.41	c 1633s |      27 | 13186849 | 12077033 |     1470  21394 |        0 |        0
1634.89/1635.43	c 1635s |      27 | 13201593 | 12090533 |     1470  21412 |        0 |        0
1636.89/1637.43	c 1637s |      27 | 13215936 | 12103933 |     1470  21429 |        0 |        0
1638.89/1639.43	c 1639s |      27 | 13230745 | 12117533 |     1470  21447 |        0 |        0
1640.89/1641.43	c 1641s |      27 | 13245117 | 12131033 |     1470  21465 |        0 |        0
1642.90/1643.44	c 1643s |      27 | 13259334 | 12144133 |     1470  21482 |        0 |        0
1644.89/1645.45	c 1645s |      27 | 13273787 | 12157433 |     1470  21500 |        0 |        0
1646.89/1647.45	c 1647s |      27 | 13287943 | 12170633 |     1470  21518 |        0 |        0
1648.89/1649.46	c 1649s |      27 | 13302744 | 12184033 |     1470  21535 |        0 |        0
1650.89/1651.46	c 1651s |      27 | 13317064 | 12197733 |     1470  21553 |        0 |        0
1652.89/1653.47	c 1653s |      27 | 13331408 | 12211333 |     1470  21571 |        0 |        0
1654.88/1655.47	c 1655s |      27 | 13346167 | 12224933 |     1470  21589 |        0 |        0
1656.88/1657.47	c 1657s |      27 | 13360850 | 12238233 |     1470  21607 |        0 |        0
1658.88/1659.47	c 1659s |      27 | 13375580 | 12251533 |     1470  21625 |        0 |        0
1660.88/1661.48	c 1661s |      27 | 13390330 | 12265133 |     1470  21643 |        0 |        0
1662.88/1663.48	c 1663s |      27 | 13404944 | 12278433 |     1470  21660 |        0 |        0
1664.89/1665.49	c 1665s |      27 | 13419798 | 12292233 |     1470  21679 |        0 |        0
1666.98/1667.51	c 1667s |      27 | 13434554 | 12306133 |     1470  21697 |        0 |        0
1668.98/1669.52	c 1669s |      27 | 13450002 | 12319933 |     1470  21715 |        0 |        0
1670.98/1671.52	c 1671s |      27 | 13464557 | 12333233 |     1470  21733 |        0 |        0
1672.98/1673.53	c 1673s |      27 | 13479338 | 12346533 |     1470  21750 |        0 |        0
1674.98/1675.54	c 1675s |      27 | 13494644 | 12360433 |     1470  21769 |        0 |        0
1676.98/1677.55	c 1677s |      27 | 13509938 | 12374133 |     1470  21787 |        0 |        0
1678.98/1679.56	c 1679s |      27 | 13524876 | 12387833 |     1470  21805 |        0 |        0
1680.98/1681.57	c 1681s |      27 | 13539800 | 12401533 |     1470  21823 |        0 |        0
1682.98/1683.58	c 1683s |      27 | 13555577 | 12415233 |     1470  21841 |        0 |        0
1684.97/1685.58	c 1685s |      27 | 13570801 | 12428933 |     1470  21859 |        0 |        0
1686.98/1687.59	c 1687s |      27 | 13586092 | 12442533 |     1470  21877 |        0 |        0
1688.97/1689.60	c 1689s |      27 | 13601344 | 12456133 |     1470  21895 |        0 |        0
1691.07/1691.61	c 1691s |      27 | 13616409 | 12469833 |     1470  21913 |        0 |        0
1693.07/1693.61	c 1693s |      27 | 13631589 | 12483333 |     1470  21931 |        0 |        0
1695.07/1695.62	c 1695s |      27 | 13646289 | 12496933 |     1470  21949 |        0 |        0
1697.07/1697.62	c 1697s |      27 | 13661624 | 12510333 |     1470  21967 |        0 |        0
1699.08/1699.64	c 1699s |      27 | 13677268 | 12523733 |     1470  21984 |        0 |        0
1701.08/1701.65	c 1701s |      27 | 13691917 | 12536933 |     1470  22002 |        0 |        0
1703.08/1703.66	c 1703s |      27 | 13707142 | 12550733 |     1470  22020 |        0 |        0
1705.08/1705.67	c 1705s |      27 | 13722086 | 12564333 |     1470  22038 |        0 |        0
1707.08/1707.68	c 1707s |      27 | 13737168 | 12578133 |     1470  22056 |        0 |        0
1709.08/1709.69	c 1709s |      27 | 13752667 | 12592133 |     1470  22075 |        0 |        0
1711.08/1711.69	c 1711s |      27 | 13767941 | 12606033 |     1470  22093 |        0 |        0
1713.08/1713.69	c 1713s |      27 | 13782858 | 12619333 |     1470  22111 |        0 |        0
1715.18/1715.70	c 1715s |      27 | 13798144 | 12632933 |     1470  22129 |        0 |        0
1717.18/1717.70	c 1717s |      27 | 13812842 | 12646533 |     1470  22147 |        0 |        0
1719.18/1719.72	c 1719s |      27 | 13828089 | 12660233 |     1470  22165 |        0 |        0
1721.17/1721.73	c 1721s |      27 | 13842952 | 12673833 |     1470  22183 |        0 |        0
1723.18/1723.74	c 1723s |      27 | 13857461 | 12687333 |     1470  22201 |        0 |        0
1725.17/1725.75	c 1725s |      27 | 13872359 | 12701033 |     1470  22219 |        0 |        0
1727.17/1727.75	c 1727s |      27 | 13887810 | 12714633 |     1470  22237 |        0 |        0
1729.17/1729.76	c 1729s |      27 | 13902621 | 12728033 |     1470  22255 |        0 |        0
1731.17/1731.78	c 1731s |      27 | 13917883 | 12741433 |     1470  22273 |        0 |        0
1733.18/1733.79	c 1733s |      27 | 13932657 | 12754933 |     1470  22291 |        0 |        0
1735.17/1735.79	c 1735s |      27 | 13947389 | 12768233 |     1470  22308 |        0 |        0
1737.27/1737.80	c 1737s |      27 | 13962390 | 12781833 |     1470  22326 |        0 |        0
1739.27/1739.80	c 1739s |      27 | 13977176 | 12795133 |     1470  22344 |        0 |        0
1741.27/1741.82	c 1741s |      27 | 13992727 | 12808633 |     1470  22362 |        0 |        0
1743.27/1743.83	c 1743s |      27 | 14008383 | 12822333 |     1470  22380 |        0 |        0
1745.28/1745.84	c 1745s |      27 | 14023253 | 12836033 |     1470  22398 |        0 |        0
1747.27/1747.84	c 1747s |      27 | 14037672 | 12849433 |     1470  22415 |        0 |        0
1749.27/1749.85	c 1749s |      27 | 14052192 | 12862033 |     1470  22432 |        0 |        0
1751.27/1751.86	c 1751s |      27 | 14065917 | 12874833 |     1470  22449 |        0 |        0
1753.27/1753.87	c 1753s |      27 | 14080563 | 12888433 |     1470  22467 |        0 |        0
1755.27/1755.88	c 1755s |      27 | 14095073 | 12901833 |     1470  22485 |        0 |        0
1757.27/1757.89	c 1757s |      27 | 14110099 | 12915033 |     1470  22502 |        0 |        0
1759.27/1759.90	c 1759s |      27 | 14124779 | 12927933 |     1470  22519 |        0 |        0
1761.37/1761.91	c 1761s |      27 | 14139951 | 12940733 |     1470  22536 |        0 |        0
1763.37/1763.92	c 1763s |      27 | 14154434 | 12953533 |     1470  22553 |        0 |        0
1765.36/1765.92	c 1765s |      27 | 14169227 | 12966733 |     1470  22570 |        0 |        0
1767.36/1767.92	c 1767s |      27 | 14183881 | 12980133 |     1470  22588 |        0 |        0
1769.37/1769.93	c 1769s |      27 | 14199334 | 12993533 |     1470  22606 |        0 |        0
1771.36/1771.94	c 1771s |      27 | 14214037 | 13006533 |     1470  22623 |        0 |        0
1773.36/1773.94	c 1773s |      27 | 14229277 | 13019733 |     1470  22641 |        0 |        0
1775.36/1775.94	c 1775s |      27 | 14243219 | 13033133 |     1470  22658 |        0 |        0
1777.36/1777.95	c 1777s |      27 | 14257661 | 13046533 |     1470  22676 |        0 |        0
1779.37/1779.96	c 1779s |      27 | 14272101 | 13059833 |     1470  22693 |        0 |        0
1781.36/1781.96	c 1781s |      27 | 14286899 | 13073433 |     1470  22711 |        0 |        0
1783.36/1783.97	c 1783s |      27 | 14301698 | 13086933 |     1470  22729 |        0 |        0
1785.36/1785.97	c 1785s |      27 | 14316429 | 13100433 |     1470  22747 |        0 |        0
1787.36/1787.98	c 1787s |      27 | 14331864 | 13113833 |     1470  22765 |        0 |        0
1789.36/1789.99	c 1789s |      27 | 14346590 | 13126833 |     1470  22782 |        0 |        0
1791.36/1792.00	c 1791s |      27 | 14361219 | 13140133 |     1470  22800 |        0 |        0
1793.46/1794.01	c 1793s |      27 | 14376377 | 13153333 |     1470  22817 |        0 |        0
1795.46/1796.02	c 1796s |      27 | 14390687 | 13166433 |     1470  22834 |        0 |        0
1797.46/1798.02	c 1798s |      27 | 14405350 | 13179433 |     1470  22851 |        0 |        0
1799.46/1800.03	c 1800s |      27 | 14420498 | 13192833 |     1470  22869 |        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-4089316-1466025251/watcher-4089316-1466025251 -o /tmp/evaluation-result-4089316-1466025251/solver-4089316-1466025251 -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-4089316-1466025251.opb 

pid=10784
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.26 2.26 2.26 3/181 10787
/proc/meminfo: memFree=29320176/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=586172 CPUtime=0 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 2161 0 0 0 0 0 0 0 20 0 4 0 4571573 600240128 2521 33554432000 4194304 16246674 140737013755872 140737013755296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 147055 2529 441 2943 0 143949 0
[pid=10787/tid=10788] ppid=10784 vsize=603580 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 618065920 2590 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=607676 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 622260224 2609 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=611772 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 626454528 2625 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.26 2.26 2.26 3/181 10787
/proc/meminfo: memFree=29320176/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 28767 0 0 0 5 4 0 0 20 0 4 0 4571573 1247350784 29117 33554432000 4194304 16246674 140737013755872 140737013755296 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 304529 29124 710 2943 0 301423 0
[pid=10787/tid=10788] ppid=10784 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1247350784 29134 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1247350784 29144 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1247350784 29151 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200519 s]
/proc/loadavg: 2.26 2.26 2.26 3/181 10787
/proc/meminfo: memFree=29320176/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 57338 0 0 0 11 8 0 0 20 0 4 0 4571573 1247350784 57687 33554432000 4194304 16246674 140737013755872 140737013755296 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 304529 57704 711 2943 0 301423 0
[pid=10787/tid=10788] ppid=10784 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1247350784 57711 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1247350784 57717 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1247350784 57725 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300469 s]
/proc/loadavg: 2.26 2.26 2.26 3/181 10787
/proc/meminfo: memFree=29320176/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 85956 0 0 0 18 11 0 0 20 0 4 0 4571573 1247350784 86306 33554432000 4194304 16246674 140737013755872 140737013755296 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 304529 86315 711 2943 0 301423 0
[pid=10787/tid=10788] ppid=10784 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1247350784 86326 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1247350784 86336 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1247350784 86343 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700403 s]
/proc/loadavg: 2.26 2.26 2.26 3/181 10787
/proc/meminfo: memFree=29320176/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 200104 0 0 0 42 27 0 0 20 0 4 0 4571573 1247350784 200453 33554432000 4194304 16246674 140737013755872 140737013755296 6836566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 304529 200467 711 2943 0 301423 0
[pid=10787/tid=10788] ppid=10784 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1247350784 200479 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1247350784 200489 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1247350784 200497 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.26 2.26 2.26 3/185 10791
/proc/meminfo: memFree=28337620/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 267278 0 0 0 114 35 0 0 20 0 4 0 4571573 1336479744 267607 33554432000 4194304 16246674 140737013755872 140737013738872 6023094 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 326289 267607 788 2943 0 323183 0
[pid=10787/tid=10788] ppid=10784 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1336479744 267607 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1336479744 267607 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1336479744 267607 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10041 s]
/proc/loadavg: 2.26 2.26 2.26 3/185 10791
/proc/meminfo: memFree=28249812/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 267407 0 0 0 274 35 0 0 20 0 4 0 4571573 1337528320 267736 33554432000 4194304 16246674 140737013755872 140737013738872 5553796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 326545 267736 788 2943 0 323439 0
[pid=10787/tid=10788] ppid=10784 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1337528320 267736 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1337528320 267736 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1337528320 267736 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.23 2.26 2.26 4/185 10791
/proc/meminfo: memFree=28249316/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 267415 0 0 0 594 35 0 0 20 0 4 0 4571573 1337528320 267744 33554432000 4194304 16246674 140737013755872 140737013737792 5721388 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 326545 267744 788 2943 0 323439 0
[pid=10787/tid=10788] ppid=10784 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1337528320 267744 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1337528320 267744 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1337528320 267744 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.30 2.27 2.26 3/185 10791
/proc/meminfo: memFree=28249232/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 267447 0 0 0 1234 35 0 0 20 0 4 0 4571573 1337528320 267776 33554432000 4194304 16246674 140737013755872 140737013737792 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 326545 267776 788 2943 0 323439 0
[pid=10787/tid=10788] ppid=10784 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1337528320 267776 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1337528320 267776 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1337528320 267776 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.31 2.27 2.27 4/185 10791
/proc/meminfo: memFree=28249396/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 267502 0 0 0 2513 35 0 0 20 0 4 0 4571573 1337528320 267831 33554432000 4194304 16246674 140737013755872 140737013737792 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 326545 267831 788 2943 0 323439 0
[pid=10787/tid=10788] ppid=10784 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1337528320 267831 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1337528320 267831 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1337528320 267831 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.20 2.25 2.26 3/185 10791
/proc/meminfo: memFree=28249168/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 267643 0 0 0 5072 36 0 0 20 0 4 0 4571573 1338576896 267972 33554432000 4194304 16246674 140737013755872 140737013738872 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 326801 267972 788 2943 0 323695 0
[pid=10787/tid=10788] ppid=10784 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1338576896 267972 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1338576896 267972 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1338576896 267972 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.18 2.24 2.25 3/185 10793
/proc/meminfo: memFree=28247648/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 267828 0 0 0 10191 37 0 0 20 0 4 0 4571573 1338576896 268157 33554432000 4194304 16246674 140737013755872 140737013737792 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 326801 268157 790 2943 0 323695 0
[pid=10787/tid=10788] ppid=10784 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1338576896 268157 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1338576896 268157 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1338576896 268157 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1311300

[startup+1302.3 s]
/proc/loadavg: 2.33 2.25 2.22 3/185 10920
/proc/meminfo: memFree=28223688/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1311300 CPUtime=1301.83 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 269271 0 0 0 130124 59 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140737013737792 12474899 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 327825 269439 792 2943 0 324719 0
[pid=10787/tid=10788] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.32 2.25 2.22 3/185 10922
/proc/meminfo: memFree=28223452/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1311300 CPUtime=1361.83 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 269271 0 0 0 136122 61 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140737013738872 13191680 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 327825 269439 792 2943 0 324719 0
[pid=10787/tid=10788] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.34 2.27 2.22 4/185 10923
/proc/meminfo: memFree=28223360/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1311300 CPUtime=1421.83 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 269271 0 0 0 142121 62 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140737013738872 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 327825 269439 792 2943 0 324719 0
[pid=10787/tid=10788] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.27 2.26 2.22 3/185 10924
/proc/meminfo: memFree=28223456/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1311300 CPUtime=1481.81 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 269271 0 0 0 148119 62 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140737013737792 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 327825 269439 792 2943 0 324719 0
[pid=10787/tid=10788] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.37 2.29 2.23 3/185 10925
/proc/meminfo: memFree=28223720/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1311300 CPUtime=1541.81 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 269271 0 0 0 154118 63 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140737013737792 5523251 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 327825 269439 792 2943 0 324719 0
[pid=10787/tid=10788] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1342771200 269439 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.32 2.28 2.23 4/186 10929
/proc/meminfo: memFree=28222760/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1312324 CPUtime=1601.79 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 269527 0 0 0 160116 63 0 0 20 0 4 0 4571573 1343819776 269695 33554432000 4194304 16246674 140737013755872 140737013737792 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 328081 269695 792 2943 0 324975 0
[pid=10787/tid=10788] ppid=10784 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1343819776 269695 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1343819776 269695 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1343819776 269695 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.27 2.27 2.23 3/185 10931
/proc/meminfo: memFree=28220492/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1314372 CPUtime=1661.78 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 270039 0 0 0 166113 65 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140737013737792 13963975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 328593 270207 792 2943 0 325487 0
[pid=10787/tid=10788] ppid=10784 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.36 2.29 2.24 3/185 10932
/proc/meminfo: memFree=28220380/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1314372 CPUtime=1721.77 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 270039 0 0 0 172111 66 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140737013738872 5721540 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 328593 270207 792 2943 0 325487 0
[pid=10787/tid=10788] ppid=10784 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1314372

[startup+1782.3 s]
/proc/loadavg: 2.25 2.27 2.23 3/185 10933
/proc/meminfo: memFree=28219884/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1314372 CPUtime=1781.76 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 270039 0 0 0 178110 66 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140737013738864 6837186 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 328593 270207 792 2943 0 325487 0
[pid=10787/tid=10788] ppid=10784 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1314372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.18 2.25 2.22 3/185 10933
/proc/meminfo: memFree=28219884/32872528 swapFree=1481856/1661728
[pid=10787] ppid=10784 vsize=1314372 CPUtime=1800.06 cores=0,2,4,6
/proc/10787/stat : 10787 (toysat) R 10784 10787 6232 0 -1 4202496 270039 0 0 0 179939 67 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140737013737792 5808495 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/10787/statm: 328593 270207 792 2943 0 325487 0
[pid=10787/tid=10788] ppid=10784 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10788/stat : 10788 (toysat) S 10784 10787 6232 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140657558531312 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=10787/tid=10789] ppid=10784 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10789/stat : 10789 (toysat) S 10784 10787 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140657548041456 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=10787/tid=10790] ppid=10784 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/10787/task/10790/stat : 10790 (toysat) S 10784 10787 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4571573 1345916928 270207 33554432000 4194304 16246674 140737013755872 140657427475632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1314372

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10787 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.08
CPU user time (s): 1799.4
CPU system time (s): 0.670898
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.670898
maximum resident set size= 1080828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270039
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= 432
involuntary context switches= 1920

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.87926 second user time and 6.65299 second system time

The end

Begin job on node134 at 2016-06-15 23:14:12
IDJOB=4089316
IDBENCH=107389
IDSOLVER=2542
FILE ID=node134/4089316-1466025251
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-grid4x27.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089316-1466025251/watcher-4089316-1466025251 -o /tmp/evaluation-result-4089316-1466025251/solver-4089316-1466025251 -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-4089316-1466025251.opb

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

MD5SUM BENCH= 893c154cf230f5761a8a1710fc18b2c5
RANDOM SEED=2030079376

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:        29320556 kB
Buffers:           21604 kB
Cached:            78688 kB
SwapCached:        17324 kB
Active:          1138656 kB
Inactive:          51708 kB
Active(anon):    1074484 kB
Inactive(anon):    17972 kB
Active(file):      64172 kB
Inactive(file):    33736 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083700 kB
Dirty:             16468 kB
Writeback:             0 kB
AnonPages:       2734808 kB
Mapped:            10448 kB
Shmem:                 0 kB
Slab:             567076 kB
SReclaimable:      11012 kB
SUnreclaim:       556064 kB
KernelStack:        1504 kB
PageTables:         9204 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2879268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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-15 23:44:12