0.00/0.00	c 2016-06-15T23:02:34+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-4089260-1466024554.opb"]
0.00/0.01	c use --random-gen="3748040074 2115245780 259599831 3953084106 596660725 1400144217 1789340153 2322341175 1725632146 3393518731 334787770 3605730205 2381699106 1165475889 2515715168 265030705 3754813465 10244295 4201055129 2589120887 3983137815 178326389 2079677257 1221500200 460364638 3491944610 1919569129 3699554128 3838161021 2616782928 474326254 2853342338 2650561680 1948158800 1322690837 1939612799 4277613388 2194778132 1624537303 3542908 1301129290 3950088581 87236333 4124543310 1432675784 951349495 2319200128 1662763236 618835125 2267200188 607641766 922930732 3773221483 1524457744 2549205246 3277160459 3709484967 840339562 1370512269 1254343291 1089070979 1491385343 3084420568 1966887350 3221476964 3426858423 1688700457 890397890 2582235229 2089084744 53363386 323676121 3151779349 2185331578 2477257853 657925380 1218477804 2891280016 2347640059 1426819997 2547666063 2206018488 1895158752 689367775 3790809171 3412498635 3821916536 3819528947 152236050 3311559876 3303804938 2524366095 4016077299 2605877053 1464307790 2366182845 1198749990 201350418 1867904100 4011605868 2656665691 1352563676 4216408130 1838140340 1849630027 574004247 1733767490 3007483364 2587750333 1895624781 2461498370 330223315 3346301039 2471360942 396779134 3300992743 2402120769 3976870270 1492627646 1613917957 1957255239 1366512319 3526750631 888527351 368391139 2256998797 3645269045 2875491206 168011410 2941242600 2238833851 2917015808 539558892 3687423780 1983075487 783337012 2663967155 1975754220 1413430746 3525906671 3864073982 15334518 1275044048 2780547709 890928712 4259748239 165850218 3026208995 2081586666 1851736807 2933301535 1203479031 2521784520 885390205 2026815673 3628554046 2630560740 979869808 2724082351 2375596156 3142066492 4284211495 2005199760 149423430 3317663487 1167260367 3986455124 2902004848 2677342460 2010958773 3516547279 3906841459 1476011902 3140461905 3012594653 1694282716 3672698608 172587949 2714841118 4020230756 507806642 431285875 1020177976 3296724741 4017261906 4237013191 1306737523 3271510167 696209395 1018919762 2345060797 2883170945 2092381940 2301040235 2268728780 3408561083 2431820289 2017570084 2648457846 2086000722 2805382402 5780324 1488707933 2301143733 2908741312 2179444282 313167769 710396721 1163779439 1758184061 2146318123 3145857975 2067728976 984387791 1007524700 1635815379 906080073 3477721155 244996254 417562752 694463719 1147426415 1809187887 1631536866 1040497449 2542835176 1700241370 2242821339 189485501 3622004866 2238722494 2720576565 2986018296 1017561988 1471577178 327885221 1169094460 3539294660 2467548727 3949772216 1695613895 1368516171 1441833736 2420190177 313460122 579118024 3319773547 149009649 3177945622 3961005989 2098640723 1878625948 2969334188 2304935390 3242742911 2733872337 255 362436" option to reproduce the execution
0.00/0.01	c #vars 114
0.00/0.01	c #constraints 229
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 |      114      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      156 |      100 |      114      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      353 |      250 |      126      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      626 |      475 |      139      4 |        0 |        0
0.08/0.13	c  0.1s |       4 |     1010 |      813 |      153      7 |        0 |        0
0.19/0.21	c  0.2s |       5 |     1563 |     1320 |      169     11 |        0 |        0
0.29/0.34	c  0.3s |       6 |     2371 |     2081 |      205     18 |        0 |        0
0.49/0.53	c  0.5s |       7 |     3569 |     3223 |      226     27 |        0 |        0
0.79/0.81	c  0.8s |       8 |     5327 |     4936 |      249     39 |        0 |        0
0.99/1.09	c  1.1s |       9 |     7968 |     7506 |      274     56 |        0 |        0
1.48/1.53	c  1.5s |      10 |    11930 |    11361 |      302     80 |        0 |        0
2.08/2.15	c  2.1s |      11 |    17939 |    17144 |      333    113 |        0 |        0
3.08/3.10	c  3.1s |      12 |    26754 |    25819 |      367    158 |        0 |        0
4.49/4.56	c  4.5s |      13 |    40169 |    38832 |      404    220 |        0 |        0
6.48/6.56	c  6.5s |      13 |    58264 |    56432 |      404    298 |        0 |        0
6.69/6.78	c  6.8s |      14 |    60263 |    58352 |      445    306 |        0 |        0
8.68/8.79	c  8.8s |      14 |    78526 |    76052 |      445    378 |        0 |        0
10.08/10.14	c 10.1s |      15 |    90548 |    87632 |      490    425 |        0 |        0
12.09/12.15	c 12.1s |      15 |   108195 |   104732 |      490    489 |        0 |        0
14.09/14.15	c 14.1s |      15 |   125647 |   121532 |      490    551 |        0 |        0
15.29/15.34	c 15.3s |      16 |   136097 |   131552 |      539    588 |        0 |        0
17.29/17.34	c 17.3s |      16 |   153686 |   148452 |      539    646 |        0 |        0
19.29/19.35	c 19.3s |      16 |   171520 |   165452 |      539    704 |        0 |        0
21.29/21.35	c 21.3s |      16 |   188795 |   182052 |      539    761 |        0 |        0
23.19/23.22	c 23.2s |      17 |   204908 |   197432 |      593    813 |        0 |        0
25.19/25.23	c 25.2s |      17 |   222734 |   214332 |      593    866 |        0 |        0
27.18/27.24	c 27.2s |      17 |   240374 |   231032 |      593    918 |        0 |        0
29.18/29.25	c 29.2s |      17 |   258165 |   248032 |      593    971 |        0 |        0
31.18/31.25	c 31.2s |      17 |   275512 |   264532 |      593   1023 |        0 |        0
33.18/33.25	c 33.2s |      17 |   293379 |   281132 |      593   1075 |        0 |        0
34.98/35.10	c 35.1s |      18 |   309644 |   296252 |      653   1121 |        0 |        0
37.08/37.10	c 37.1s |      18 |   326697 |   312452 |      653   1167 |        0 |        0
39.08/39.11	c 39.1s |      18 |   343623 |   328552 |      653   1214 |        0 |        0
41.08/41.11	c 41.1s |      18 |   360111 |   344452 |      653   1259 |        0 |        0
43.08/43.12	c 43.1s |      18 |   377311 |   360752 |      653   1306 |        0 |        0
45.08/45.12	c 45.1s |      18 |   393944 |   376752 |      653   1352 |        0 |        0
47.08/47.13	c 47.1s |      18 |   410896 |   392952 |      653   1398 |        0 |        0
49.09/49.14	c 49.1s |      18 |   427558 |   408952 |      653   1444 |        0 |        0
51.09/51.15	c 51.1s |      18 |   444101 |   424752 |      653   1489 |        0 |        0
53.08/53.16	c 53.1s |      18 |   460721 |   440552 |      653   1534 |        0 |        0
53.58/53.66	c 53.6s |      19 |   464852 |   444482 |      719   1545 |        0 |        0
55.58/55.67	c 55.7s |      19 |   481851 |   460682 |      719   1587 |        0 |        0
57.58/57.67	c 57.7s |      19 |   498835 |   476782 |      719   1629 |        0 |        0
59.58/59.67	c 59.7s |      19 |   515625 |   492682 |      719   1671 |        0 |        0
61.59/61.68	c 61.7s |      19 |   532325 |   508682 |      719   1713 |        0 |        0
63.58/63.69	c 63.7s |      19 |   548977 |   524782 |      719   1755 |        0 |        0
65.68/65.70	c 65.7s |      19 |   565532 |   540782 |      719   1797 |        0 |        0
67.68/67.70	c 67.7s |      19 |   582055 |   556582 |      719   1838 |        0 |        0
69.68/69.71	c 69.7s |      19 |   598637 |   572482 |      719   1880 |        0 |        0
71.68/71.72	c 71.7s |      19 |   615468 |   588482 |      719   1922 |        0 |        0
73.69/73.73	c 73.7s |      19 |   632314 |   604482 |      719   1964 |        0 |        0
75.68/75.74	c 75.7s |      19 |   648988 |   620482 |      719   2006 |        0 |        0
77.68/77.76	c 77.7s |      19 |   665567 |   636282 |      719   2047 |        0 |        0
79.68/79.76	c 79.8s |      19 |   681922 |   651982 |      719   2088 |        0 |        0
81.58/81.65	c 81.6s |      20 |   697651 |   666827 |      791   2126 |        0 |        0
83.58/83.66	c 83.6s |      20 |   714952 |   682627 |      791   2164 |        0 |        0
85.58/85.67	c 85.7s |      20 |   731966 |   698227 |      791   2201 |        0 |        0
87.58/87.67	c 87.7s |      20 |   748281 |   713527 |      791   2238 |        0 |        0
89.58/89.67	c 89.7s |      20 |   765162 |   728627 |      791   2274 |        0 |        0
91.58/91.68	c 91.7s |      20 |   781482 |   743827 |      791   2310 |        0 |        0
93.58/93.69	c 93.7s |      20 |   798061 |   758927 |      791   2346 |        0 |        0
95.57/95.70	c 95.7s |      20 |   814915 |   774127 |      791   2382 |        0 |        0
97.67/97.70	c 97.7s |      20 |   831578 |   789727 |      791   2420 |        0 |        0
99.67/99.70	c 99.7s |      20 |   847802 |   805227 |      791   2457 |        0 |        0
101.67/101.71	c  101s |      20 |   864630 |   820927 |      791   2494 |        0 |        0
103.67/103.71	c  103s |      20 |   880692 |   836127 |      791   2530 |        0 |        0
105.68/105.73	c  105s |      20 |   896865 |   851327 |      791   2567 |        0 |        0
107.67/107.74	c  107s |      20 |   912949 |   866627 |      791   2603 |        0 |        0
109.67/109.74	c  109s |      20 |   928961 |   881627 |      791   2639 |        0 |        0
111.67/111.75	c  111s |      20 |   945480 |   897027 |      791   2676 |        0 |        0
113.67/113.76	c  113s |      20 |   962084 |   912227 |      791   2713 |        0 |        0
115.67/115.77	c  115s |      20 |   978016 |   927427 |      791   2749 |        0 |        0
117.67/117.78	c  117s |      20 |   994175 |   942627 |      791   2785 |        0 |        0
119.67/119.79	c  119s |      20 |  1010117 |   957627 |      791   2821 |        0 |        0
121.77/121.80	c  121s |      20 |  1026157 |   972727 |      791   2857 |        0 |        0
123.77/123.80	c  123s |      20 |  1041924 |   987827 |      791   2893 |        0 |        0
125.37/125.49	c  125s |      21 |  1055057 |  1000345 |      871   2922 |        0 |        0
127.36/127.49	c  127s |      21 |  1071257 |  1015845 |      871   2955 |        0 |        0
129.47/129.50	c  129s |      21 |  1087488 |  1031245 |      871   2989 |        0 |        0
131.47/131.50	c  131s |      21 |  1103683 |  1046545 |      871   3022 |        0 |        0
133.47/133.52	c  133s |      21 |  1119850 |  1061745 |      871   3056 |        0 |        0
135.47/135.52	c  135s |      21 |  1136078 |  1076945 |      871   3089 |        0 |        0
137.48/137.53	c  137s |      21 |  1152727 |  1091945 |      871   3122 |        0 |        0
139.47/139.54	c  139s |      21 |  1169151 |  1107445 |      871   3156 |        0 |        0
141.47/141.54	c  141s |      21 |  1185636 |  1122545 |      871   3189 |        0 |        0
143.47/143.54	c  143s |      21 |  1202165 |  1137745 |      871   3222 |        0 |        0
145.47/145.55	c  145s |      21 |  1218934 |  1152945 |      871   3255 |        0 |        0
147.47/147.56	c  147s |      21 |  1235068 |  1167845 |      871   3288 |        0 |        0
149.47/149.57	c  149s |      21 |  1250960 |  1182545 |      871   3320 |        0 |        0
151.47/151.57	c  151s |      21 |  1267791 |  1197645 |      871   3353 |        0 |        0
153.47/153.59	c  153s |      21 |  1284416 |  1212345 |      871   3385 |        0 |        0
155.57/155.60	c  155s |      21 |  1301261 |  1226945 |      871   3417 |        0 |        0
157.56/157.61	c  157s |      21 |  1317203 |  1241545 |      871   3448 |        0 |        0
159.57/159.62	c  159s |      21 |  1333774 |  1256745 |      871   3481 |        0 |        0
161.56/161.63	c  161s |      21 |  1350081 |  1271745 |      871   3514 |        0 |        0
163.56/163.64	c  163s |      21 |  1366801 |  1286445 |      871   3546 |        0 |        0
165.56/165.64	c  165s |      21 |  1382846 |  1301245 |      871   3579 |        0 |        0
167.56/167.65	c  167s |      21 |  1398645 |  1316145 |      871   3611 |        0 |        0
169.56/169.66	c  169s |      21 |  1414772 |  1331045 |      871   3644 |        0 |        0
171.57/171.66	c  171s |      21 |  1430781 |  1345945 |      871   3676 |        0 |        0
173.56/173.67	c  173s |      21 |  1446685 |  1360945 |      871   3709 |        0 |        0
175.56/175.68	c  175s |      21 |  1462320 |  1375745 |      871   3742 |        0 |        0
177.56/177.69	c  177s |      21 |  1478150 |  1390645 |      871   3774 |        0 |        0
179.66/179.70	c  179s |      21 |  1494611 |  1405645 |      871   3807 |        0 |        0
181.66/181.70	c  181s |      21 |  1510458 |  1420545 |      871   3840 |        0 |        0
183.67/183.71	c  183s |      21 |  1526048 |  1435245 |      871   3872 |        0 |        0
185.66/185.72	c  185s |      21 |  1542031 |  1450045 |      871   3904 |        0 |        0
187.66/187.72	c  187s |      21 |  1557720 |  1464645 |      871   3937 |        0 |        0
189.66/189.73	c  189s |      21 |  1573535 |  1479545 |      871   3969 |        0 |        0
191.66/191.73	c  191s |      21 |  1588990 |  1494145 |      959   4000 |        0 |        0
192.47/192.60	c  192s |      22 |  1595655 |  1500622 |      959   4013 |        0 |        0
194.56/194.60	c  194s |      22 |  1612200 |  1515622 |      959   4043 |        0 |        0
196.56/196.60	c  196s |      22 |  1628108 |  1530522 |      959   4072 |        0 |        0
198.56/198.61	c  198s |      22 |  1644283 |  1545322 |      959   4102 |        0 |        0
200.56/200.62	c  200s |      22 |  1660351 |  1560022 |      959   4131 |        0 |        0
202.56/202.63	c  202s |      22 |  1676970 |  1574822 |      959   4161 |        0 |        0
204.57/204.63	c  204s |      22 |  1694113 |  1589822 |      959   4191 |        0 |        0
206.56/206.64	c  206s |      22 |  1711151 |  1604822 |      959   4221 |        0 |        0
208.56/208.66	c  208s |      22 |  1727049 |  1619722 |      959   4250 |        0 |        0
210.56/210.66	c  210s |      22 |  1742850 |  1634522 |      959   4280 |        0 |        0
212.56/212.67	c  212s |      22 |  1758777 |  1649122 |      959   4309 |        0 |        0
214.56/214.67	c  214s |      22 |  1774590 |  1663622 |      959   4338 |        0 |        0
216.55/216.67	c  216s |      22 |  1790396 |  1678322 |      959   4367 |        0 |        0
218.55/218.68	c  218s |      22 |  1806364 |  1693022 |      959   4397 |        0 |        0
220.55/220.68	c  220s |      22 |  1822262 |  1707722 |      959   4426 |        0 |        0
222.55/222.68	c  222s |      22 |  1838157 |  1722522 |      959   4455 |        0 |        0
224.65/224.70	c  224s |      22 |  1854234 |  1737222 |      959   4485 |        0 |        0
226.66/226.71	c  226s |      22 |  1870023 |  1752222 |      959   4515 |        0 |        0
228.65/228.72	c  228s |      22 |  1886123 |  1767322 |      959   4545 |        0 |        0
230.65/230.73	c  230s |      22 |  1901868 |  1782422 |      959   4575 |        0 |        0
232.65/232.74	c  232s |      22 |  1917360 |  1797322 |      959   4605 |        0 |        0
234.65/234.75	c  234s |      22 |  1933128 |  1812422 |      959   4635 |        0 |        0
236.65/236.76	c  236s |      22 |  1949002 |  1827522 |      959   4665 |        0 |        0
238.65/238.76	c  238s |      22 |  1965033 |  1842422 |      959   4695 |        0 |        0
240.66/240.77	c  240s |      22 |  1981100 |  1857522 |      959   4725 |        0 |        0
242.66/242.77	c  242s |      22 |  1997328 |  1872422 |      959   4755 |        0 |        0
244.66/244.79	c  244s |      22 |  2013282 |  1887222 |      959   4785 |        0 |        0
246.66/246.79	c  246s |      22 |  2028987 |  1901922 |      959   4814 |        0 |        0
248.66/248.79	c  248s |      22 |  2045926 |  1917122 |      959   4844 |        0 |        0
250.76/250.81	c  250s |      22 |  2062037 |  1932022 |      959   4874 |        0 |        0
252.75/252.82	c  252s |      22 |  2078082 |  1946422 |      959   4903 |        0 |        0
254.75/254.82	c  254s |      22 |  2095658 |  1961322 |      959   4932 |        0 |        0
256.75/256.83	c  256s |      22 |  2112421 |  1976222 |      959   4962 |        0 |        0
258.75/258.83	c  258s |      22 |  2128691 |  1991122 |      959   4992 |        0 |        0
260.76/260.85	c  260s |      22 |  2145410 |  2006322 |      959   5022 |        0 |        0
262.75/262.85	c  262s |      22 |  2162199 |  2021222 |      959   5052 |        0 |        0
264.75/264.86	c  264s |      22 |  2178725 |  2035922 |      959   5082 |        0 |        0
266.75/266.87	c  266s |      22 |  2195724 |  2050722 |      959   5111 |        0 |        0
268.75/268.87	c  268s |      22 |  2213018 |  2065522 |      959   5141 |        0 |        0
270.75/270.89	c  270s |      22 |  2230074 |  2080422 |      959   5171 |        0 |        0
272.76/272.90	c  272s |      22 |  2246331 |  2095222 |      959   5200 |        0 |        0
274.85/274.90	c  274s |      22 |  2262253 |  2109922 |      959   5229 |        0 |        0
276.85/276.91	c  276s |      22 |  2279379 |  2124722 |      959   5259 |        0 |        0
278.85/278.91	c  278s |      22 |  2296312 |  2139122 |      959   5288 |        0 |        0
280.85/280.92	c  280s |      22 |  2313851 |  2153722 |      959   5317 |        0 |        0
282.85/282.93	c  282s |      22 |  2330595 |  2168422 |      959   5347 |        0 |        0
284.85/284.94	c  284s |      22 |  2347341 |  2183122 |      959   5376 |        0 |        0
286.84/286.94	c  286s |      22 |  2364871 |  2197522 |      959   5405 |        0 |        0
288.84/288.95	c  288s |      22 |  2380572 |  2211922 |      959   5434 |        0 |        0
290.84/290.95	c  290s |      22 |  2396831 |  2226222 |      959   5462 |        0 |        0
292.84/292.96	c  292s |      22 |  2413629 |  2240922 |     1055   5490 |        0 |        0
294.24/294.34	c  294s |      23 |  2425627 |  2251038 |     1055   5509 |        0 |        0
296.25/296.35	c  296s |      23 |  2441369 |  2265638 |     1055   5535 |        0 |        0
298.25/298.37	c  298s |      23 |  2457309 |  2280238 |     1055   5562 |        0 |        0
300.25/300.38	c  300s |      23 |  2472734 |  2294738 |     1055   5588 |        0 |        0
302.25/302.39	c  302s |      23 |  2487985 |  2309138 |     1055   5614 |        0 |        0
304.25/304.39	c  304s |      23 |  2503742 |  2323338 |     1055   5640 |        0 |        0
306.35/306.40	c  306s |      23 |  2519300 |  2337738 |     1055   5666 |        0 |        0
308.35/308.41	c  308s |      23 |  2535195 |  2352138 |     1055   5692 |        0 |        0
310.34/310.43	c  310s |      23 |  2551137 |  2366538 |     1055   5719 |        0 |        0
312.35/312.43	c  312s |      23 |  2567112 |  2380638 |     1055   5744 |        0 |        0
314.34/314.44	c  314s |      23 |  2582351 |  2394838 |     1055   5770 |        0 |        0
316.34/316.45	c  316s |      23 |  2597638 |  2409138 |     1055   5796 |        0 |        0
318.34/318.45	c  318s |      23 |  2613360 |  2423538 |     1055   5823 |        0 |        0
320.34/320.46	c  320s |      23 |  2629563 |  2438138 |     1055   5849 |        0 |        0
322.35/322.48	c  322s |      23 |  2645619 |  2452338 |     1055   5875 |        0 |        0
324.34/324.49	c  324s |      23 |  2661565 |  2466638 |     1055   5901 |        0 |        0
326.34/326.49	c  326s |      23 |  2677035 |  2481238 |     1055   5928 |        0 |        0
328.44/328.50	c  328s |      23 |  2692285 |  2495438 |     1055   5954 |        0 |        0
330.44/330.50	c  330s |      23 |  2707574 |  2509738 |     1055   5980 |        0 |        0
332.44/332.52	c  332s |      23 |  2722676 |  2524038 |     1055   6006 |        0 |        0
334.45/334.52	c  334s |      23 |  2738201 |  2538138 |     1055   6031 |        0 |        0
336.44/336.53	c  336s |      23 |  2753483 |  2552538 |     1055   6057 |        0 |        0
338.44/338.54	c  338s |      23 |  2768796 |  2566838 |     1055   6084 |        0 |        0
340.44/340.54	c  340s |      23 |  2784427 |  2581138 |     1055   6110 |        0 |        0
342.44/342.55	c  342s |      23 |  2799975 |  2595538 |     1055   6136 |        0 |        0
344.44/344.55	c  344s |      23 |  2815427 |  2609838 |     1055   6162 |        0 |        0
346.45/346.56	c  346s |      23 |  2831432 |  2624038 |     1055   6188 |        0 |        0
348.44/348.56	c  348s |      23 |  2847528 |  2638438 |     1055   6214 |        0 |        0
350.44/350.57	c  350s |      23 |  2863163 |  2652838 |     1055   6241 |        0 |        0
352.44/352.58	c  352s |      23 |  2878877 |  2667138 |     1055   6267 |        0 |        0
354.44/354.58	c  354s |      23 |  2895054 |  2681338 |     1055   6293 |        0 |        0
356.44/356.59	c  356s |      23 |  2910732 |  2695538 |     1055   6319 |        0 |        0
358.43/358.60	c  358s |      23 |  2926172 |  2709938 |     1055   6345 |        0 |        0
360.53/360.60	c  360s |      23 |  2942038 |  2724238 |     1055   6371 |        0 |        0
362.53/362.61	c  362s |      23 |  2957451 |  2738538 |     1055   6397 |        0 |        0
364.53/364.61	c  364s |      23 |  2972704 |  2752738 |     1055   6423 |        0 |        0
366.53/366.62	c  366s |      23 |  2988401 |  2767138 |     1055   6449 |        0 |        0
368.54/368.63	c  368s |      23 |  3004824 |  2781538 |     1055   6476 |        0 |        0
370.53/370.63	c  370s |      23 |  3021009 |  2795738 |     1055   6501 |        0 |        0
372.54/372.64	c  372s |      23 |  3036396 |  2809838 |     1055   6527 |        0 |        0
374.54/374.64	c  374s |      23 |  3051969 |  2824138 |     1055   6553 |        0 |        0
376.53/376.65	c  376s |      23 |  3068122 |  2838538 |     1055   6580 |        0 |        0
378.53/378.65	c  378s |      23 |  3083791 |  2852738 |     1055   6606 |        0 |        0
380.54/380.66	c  380s |      23 |  3099295 |  2866938 |     1055   6632 |        0 |        0
382.53/382.67	c  382s |      23 |  3115187 |  2880938 |     1055   6657 |        0 |        0
384.53/384.68	c  384s |      23 |  3130440 |  2894838 |     1055   6683 |        0 |        0
386.53/386.69	c  386s |      23 |  3145208 |  2908838 |     1055   6708 |        0 |        0
388.63/388.70	c  388s |      23 |  3160651 |  2923138 |     1055   6734 |        0 |        0
390.63/390.71	c  390s |      23 |  3176068 |  2937138 |     1055   6760 |        0 |        0
392.64/392.72	c  392s |      23 |  3191375 |  2951138 |     1055   6785 |        0 |        0
394.63/394.73	c  394s |      23 |  3206613 |  2965038 |     1055   6811 |        0 |        0
396.63/396.74	c  396s |      23 |  3221608 |  2979238 |     1055   6836 |        0 |        0
398.63/398.74	c  398s |      23 |  3236336 |  2993238 |     1055   6862 |        0 |        0
400.63/400.75	c  400s |      23 |  3251874 |  3007938 |     1055   6889 |        0 |        0
402.64/402.76	c  402s |      23 |  3267465 |  3022138 |     1055   6914 |        0 |        0
404.63/404.77	c  404s |      23 |  3283080 |  3036438 |     1055   6940 |        0 |        0
406.63/406.78	c  406s |      23 |  3298497 |  3050738 |     1055   6966 |        0 |        0
408.63/408.79	c  408s |      23 |  3313817 |  3064938 |     1055   6992 |        0 |        0
410.73/410.80	c  410s |      23 |  3328917 |  3078938 |     1055   7018 |        0 |        0
412.73/412.81	c  412s |      23 |  3344026 |  3092838 |     1055   7043 |        0 |        0
414.73/414.81	c  414s |      23 |  3359014 |  3106938 |     1055   7069 |        0 |        0
416.72/416.81	c  416s |      23 |  3374114 |  3121238 |     1055   7095 |        0 |        0
418.72/418.82	c  418s |      23 |  3389085 |  3135238 |     1055   7120 |        0 |        0
420.72/420.82	c  420s |      23 |  3403902 |  3149138 |     1055   7146 |        0 |        0
422.72/422.82	c  422s |      23 |  3419401 |  3163538 |     1055   7172 |        0 |        0
424.72/424.83	c  424s |      23 |  3434720 |  3177738 |     1055   7198 |        0 |        0
426.73/426.84	c  426s |      23 |  3449920 |  3191738 |     1055   7223 |        0 |        0
428.72/428.84	c  428s |      23 |  3465451 |  3206138 |     1055   7250 |        0 |        0
430.72/430.84	c  430s |      23 |  3481366 |  3220338 |     1055   7276 |        0 |        0
432.72/432.85	c  432s |      23 |  3496492 |  3234538 |     1055   7302 |        0 |        0
434.72/434.86	c  434s |      23 |  3512101 |  3248738 |     1055   7328 |        0 |        0
436.73/436.87	c  436s |      23 |  3527479 |  3263238 |     1055   7354 |        0 |        0
438.72/438.88	c  438s |      23 |  3542802 |  3277538 |     1055   7380 |        0 |        0
440.72/440.88	c  440s |      23 |  3557895 |  3291738 |     1055   7406 |        0 |        0
442.72/442.88	c  442s |      23 |  3573188 |  3305838 |     1055   7432 |        0 |        0
444.72/444.88	c  444s |      23 |  3587880 |  3319838 |     1055   7457 |        0 |        0
446.72/446.89	c  446s |      23 |  3603183 |  3333738 |     1055   7483 |        0 |        0
448.72/448.89	c  448s |      23 |  3618933 |  3347638 |     1055   7508 |        0 |        0
450.72/450.90	c  450s |      23 |  3634072 |  3361538 |     1161   7532 |        0 |        0
452.82/452.90	c  452s |      23 |  3649480 |  3375638 |     1161   7555 |        0 |        0
452.92/453.05	c  453s |      24 |  3650562 |  3376662 |     1161   7557 |        0 |        0
454.91/455.06	c  455s |      24 |  3666507 |  3391062 |     1161   7581 |        0 |        0
456.92/457.07	c  457s |      24 |  3682718 |  3405462 |     1161   7605 |        0 |        0
458.92/459.07	c  459s |      24 |  3698282 |  3419762 |     1161   7629 |        0 |        0
460.93/461.09	c  461s |      24 |  3713522 |  3433862 |     1161   7652 |        0 |        0
462.92/463.09	c  463s |      24 |  3728935 |  3448062 |     1161   7675 |        0 |        0
464.92/465.10	c  465s |      24 |  3744454 |  3462362 |     1161   7699 |        0 |        0
467.02/467.10	c  467s |      24 |  3760271 |  3476662 |     1161   7723 |        0 |        0
469.02/469.11	c  469s |      24 |  3775681 |  3490862 |     1161   7747 |        0 |        0
471.02/471.11	c  471s |      24 |  3791504 |  3504962 |     1161   7770 |        0 |        0
473.02/473.12	c  473s |      24 |  3807166 |  3519062 |     1161   7794 |        0 |        0
475.02/475.12	c  475s |      24 |  3823184 |  3533162 |     1161   7817 |        0 |        0
477.01/477.14	c  477s |      24 |  3839404 |  3547362 |     1161   7841 |        0 |        0
479.01/479.14	c  479s |      24 |  3855178 |  3561362 |     1161   7864 |        0 |        0
481.01/481.15	c  481s |      24 |  3871040 |  3575562 |     1161   7888 |        0 |        0
483.01/483.15	c  483s |      24 |  3887150 |  3589462 |     1161   7911 |        0 |        0
485.02/485.16	c  485s |      24 |  3902870 |  3603362 |     1161   7934 |        0 |        0
487.01/487.16	c  487s |      24 |  3918875 |  3617262 |     1161   7957 |        0 |        0
489.01/489.17	c  489s |      24 |  3934572 |  3631162 |     1161   7980 |        0 |        0
491.01/491.18	c  491s |      24 |  3950218 |  3645162 |     1161   8004 |        0 |        0
493.01/493.18	c  493s |      24 |  3967062 |  3659162 |     1161   8027 |        0 |        0
495.11/495.20	c  495s |      24 |  3983811 |  3673462 |     1161   8051 |        0 |        0
497.01/497.20	c  497s |      24 |  3999624 |  3687362 |     1161   8074 |        0 |        0
499.11/499.20	c  499s |      24 |  4014636 |  3701262 |     1161   8097 |        0 |        0
501.12/501.21	c  501s |      24 |  4029335 |  3715162 |     1161   8120 |        0 |        0
503.12/503.22	c  503s |      24 |  4044893 |  3729062 |     1161   8143 |        0 |        0
505.12/505.23	c  505s |      24 |  4059851 |  3742762 |     1161   8166 |        0 |        0
507.12/507.23	c  507s |      24 |  4075235 |  3756562 |     1161   8188 |        0 |        0
509.11/509.24	c  509s |      24 |  4089944 |  3770262 |     1161   8211 |        0 |        0
511.11/511.25	c  511s |      24 |  4105060 |  3784262 |     1161   8234 |        0 |        0
513.11/513.26	c  513s |      24 |  4119843 |  3798262 |     1161   8258 |        0 |        0
515.11/515.27	c  515s |      24 |  4135670 |  3812262 |     1161   8281 |        0 |        0
517.11/517.28	c  517s |      24 |  4151709 |  3826162 |     1161   8304 |        0 |        0
519.11/519.28	c  519s |      24 |  4166383 |  3839962 |     1161   8327 |        0 |        0
521.11/521.29	c  521s |      24 |  4181361 |  3853862 |     1161   8350 |        0 |        0
523.10/523.29	c  523s |      24 |  4196351 |  3868062 |     1161   8374 |        0 |        0
525.21/525.30	c  525s |      24 |  4211703 |  3881962 |     1161   8397 |        0 |        0
527.21/527.31	c  527s |      24 |  4227634 |  3895662 |     1161   8419 |        0 |        0
529.21/529.32	c  529s |      24 |  4242588 |  3909462 |     1161   8442 |        0 |        0
531.22/531.33	c  531s |      24 |  4258427 |  3923262 |     1161   8465 |        0 |        0
533.21/533.34	c  533s |      24 |  4273664 |  3937062 |     1161   8488 |        0 |        0
535.21/535.34	c  535s |      24 |  4289367 |  3951162 |     1161   8512 |        0 |        0
537.21/537.34	c  537s |      24 |  4304382 |  3964962 |     1161   8535 |        0 |        0
539.21/539.35	c  539s |      24 |  4319046 |  3978562 |     1161   8557 |        0 |        0
541.22/541.35	c  541s |      24 |  4334096 |  3992262 |     1161   8580 |        0 |        0
543.21/543.36	c  543s |      24 |  4349537 |  4006162 |     1161   8603 |        0 |        0
545.21/545.37	c  545s |      24 |  4365194 |  4020262 |     1161   8627 |        0 |        0
547.21/547.38	c  547s |      24 |  4380527 |  4034162 |     1161   8650 |        0 |        0
549.21/549.39	c  549s |      24 |  4396057 |  4048062 |     1161   8673 |        0 |        0
551.31/551.40	c  551s |      24 |  4410912 |  4061762 |     1161   8696 |        0 |        0
553.31/553.41	c  553s |      24 |  4425753 |  4075462 |     1161   8719 |        0 |        0
555.30/555.41	c  555s |      24 |  4440851 |  4089162 |     1161   8741 |        0 |        0
557.30/557.42	c  557s |      24 |  4455351 |  4102862 |     1161   8764 |        0 |        0
559.30/559.43	c  559s |      24 |  4471115 |  4116862 |     1161   8788 |        0 |        0
561.30/561.43	c  561s |      24 |  4486604 |  4130762 |     1161   8811 |        0 |        0
563.30/563.45	c  563s |      24 |  4501404 |  4144462 |     1161   8834 |        0 |        0
565.31/565.45	c  565s |      24 |  4516489 |  4158162 |     1161   8856 |        0 |        0
567.30/567.45	c  567s |      24 |  4531702 |  4172062 |     1161   8879 |        0 |        0
569.30/569.46	c  569s |      24 |  4546542 |  4185962 |     1161   8902 |        0 |        0
571.30/571.47	c  571s |      24 |  4561441 |  4200062 |     1161   8926 |        0 |        0
573.30/573.47	c  573s |      24 |  4576079 |  4213862 |     1161   8949 |        0 |        0
575.30/575.47	c  575s |      24 |  4590888 |  4227662 |     1161   8972 |        0 |        0
577.30/577.48	c  577s |      24 |  4605429 |  4241362 |     1161   8994 |        0 |        0
579.30/579.48	c  579s |      24 |  4620559 |  4255262 |     1161   9017 |        0 |        0
581.30/581.49	c  581s |      24 |  4634937 |  4268962 |     1161   9040 |        0 |        0
583.40/583.50	c  583s |      24 |  4649890 |  4282762 |     1161   9063 |        0 |        0
585.40/585.50	c  585s |      24 |  4664847 |  4296662 |     1161   9086 |        0 |        0
587.41/587.51	c  587s |      24 |  4679341 |  4310562 |     1161   9109 |        0 |        0
589.40/589.53	c  589s |      24 |  4694319 |  4324462 |     1161   9133 |        0 |        0
591.40/591.54	c  591s |      24 |  4709842 |  4338362 |     1161   9156 |        0 |        0
593.40/593.55	c  593s |      24 |  4725294 |  4352162 |     1161   9179 |        0 |        0
595.40/595.56	c  595s |      24 |  4740784 |  4366062 |     1161   9202 |        0 |        0
597.40/597.57	c  597s |      24 |  4755735 |  4379862 |     1161   9225 |        0 |        0
599.41/599.58	c  599s |      24 |  4771778 |  4393862 |     1161   9248 |        0 |        0
601.40/601.59	c  601s |      24 |  4787374 |  4407862 |     1161   9271 |        0 |        0
603.50/603.60	c  603s |      24 |  4802356 |  4421662 |     1161   9294 |        0 |        0
605.50/605.61	c  605s |      24 |  4817584 |  4435762 |     1161   9318 |        0 |        0
607.50/607.61	c  607s |      24 |  4832551 |  4449662 |     1161   9341 |        0 |        0
609.50/609.62	c  609s |      24 |  4847617 |  4463462 |     1161   9364 |        0 |        0
611.50/611.63	c  611s |      24 |  4862281 |  4477362 |     1161   9387 |        0 |        0
613.49/613.63	c  613s |      24 |  4877374 |  4491162 |     1161   9410 |        0 |        0
615.49/615.63	c  615s |      24 |  4891973 |  4504862 |     1161   9433 |        0 |        0
617.49/617.64	c  617s |      24 |  4906937 |  4518262 |     1161   9455 |        0 |        0
619.49/619.65	c  619s |      24 |  4921735 |  4531962 |     1161   9478 |        0 |        0
621.50/621.65	c  621s |      24 |  4936680 |  4546062 |     1161   9501 |        0 |        0
623.49/623.66	c  623s |      24 |  4951482 |  4560162 |     1161   9525 |        0 |        0
625.49/625.67	c  625s |      24 |  4966219 |  4573962 |     1161   9548 |        0 |        0
627.49/627.68	c  627s |      24 |  4981863 |  4587962 |     1161   9571 |        0 |        0
629.49/629.69	c  629s |      24 |  4996872 |  4601762 |     1161   9594 |        0 |        0
631.59/631.71	c  631s |      24 |  5011705 |  4615562 |     1161   9617 |        0 |        0
633.59/633.71	c  633s |      24 |  5026800 |  4629462 |     1161   9640 |        0 |        0
635.60/635.72	c  635s |      24 |  5041740 |  4643162 |     1161   9662 |        0 |        0
637.60/637.73	c  637s |      24 |  5056522 |  4656862 |     1161   9685 |        0 |        0
639.60/639.74	c  639s |      24 |  5071044 |  4670262 |     1161   9707 |        0 |        0
641.60/641.74	c  641s |      24 |  5085611 |  4684062 |     1161   9730 |        0 |        0
643.60/643.75	c  643s |      24 |  5100465 |  4697862 |     1161   9753 |        0 |        0
645.60/645.76	c  645s |      24 |  5115344 |  4711562 |     1161   9776 |        0 |        0
647.59/647.76	c  647s |      24 |  5130541 |  4725362 |     1161   9799 |        0 |        0
649.59/649.77	c  649s |      24 |  5145347 |  4739462 |     1161   9822 |        0 |        0
651.59/651.79	c  651s |      24 |  5160368 |  4753362 |     1161   9845 |        0 |        0
653.59/653.79	c  653s |      24 |  5175421 |  4767062 |     1161   9868 |        0 |        0
655.69/655.80	c  655s |      24 |  5190395 |  4780862 |     1161   9891 |        0 |        0
657.70/657.81	c  657s |      24 |  5205643 |  4794662 |     1161   9914 |        0 |        0
659.69/659.81	c  659s |      24 |  5220684 |  4808762 |     1161   9937 |        0 |        0
661.69/661.82	c  661s |      24 |  5235686 |  4822562 |     1161   9960 |        0 |        0
663.69/663.83	c  663s |      24 |  5250255 |  4836462 |     1161   9984 |        0 |        0
665.69/665.84	c  665s |      24 |  5264838 |  4850262 |     1161  10007 |        0 |        0
667.70/667.84	c  667s |      24 |  5280103 |  4864162 |     1161  10030 |        0 |        0
669.69/669.85	c  669s |      24 |  5294969 |  4877962 |     1161  10053 |        0 |        0
671.69/671.86	c  671s |      24 |  5309758 |  4891862 |     1161  10076 |        0 |        0
673.69/673.87	c  673s |      24 |  5324321 |  4905562 |     1161  10099 |        0 |        0
675.69/675.89	c  675s |      24 |  5339135 |  4919362 |     1161  10122 |        0 |        0
677.79/677.90	c  677s |      24 |  5353820 |  4932962 |     1161  10144 |        0 |        0
679.69/679.90	c  679s |      24 |  5368437 |  4946662 |     1161  10167 |        0 |        0
681.79/681.90	c  681s |      24 |  5383172 |  4960562 |     1161  10190 |        0 |        0
683.79/683.90	c  683s |      24 |  5397528 |  4974262 |     1161  10213 |        0 |        0
685.78/685.91	c  685s |      24 |  5412839 |  4988162 |     1161  10236 |        0 |        0
687.78/687.91	c  687s |      24 |  5427826 |  5002062 |     1161  10259 |        0 |        0
689.78/689.92	c  689s |      24 |  5442846 |  5016062 |     1161  10282 |        0 |        0
691.79/691.93	c  691s |      24 |  5458268 |  5029862 |     1278  10305 |        0 |        0
693.78/693.95	c  693s |      24 |  5472850 |  5043462 |     1278  10326 |        0 |        0
695.78/695.96	c  695s |      24 |  5487678 |  5057162 |     1278  10347 |        0 |        0
696.98/697.13	c  697s |      25 |  5496499 |  5065098 |     1278  10359 |        0 |        0
698.98/699.14	c  699s |      25 |  5511126 |  5078598 |     1278  10379 |        0 |        0
700.98/701.14	c  701s |      25 |  5525365 |  5091998 |     1278  10399 |        0 |        0
702.98/703.15	c  703s |      25 |  5539990 |  5105698 |     1278  10420 |        0 |        0
704.98/705.15	c  705s |      25 |  5554146 |  5119098 |     1278  10440 |        0 |        0
706.98/707.16	c  707s |      25 |  5568327 |  5132298 |     1278  10460 |        0 |        0
708.98/709.16	c  709s |      25 |  5582762 |  5145998 |     1278  10481 |        0 |        0
710.98/711.17	c  711s |      25 |  5596933 |  5159598 |     1278  10502 |        0 |        0
712.98/713.18	c  713s |      25 |  5611253 |  5172998 |     1278  10522 |        0 |        0
714.99/715.19	c  715s |      25 |  5625445 |  5186698 |     1278  10543 |        0 |        0
716.98/717.20	c  717s |      25 |  5639560 |  5200198 |     1278  10563 |        0 |        0
719.08/719.20	c  719s |      25 |  5653767 |  5213698 |     1278  10583 |        0 |        0
721.08/721.20	c  721s |      25 |  5668605 |  5227498 |     1278  10604 |        0 |        0
723.08/723.21	c  723s |      25 |  5683650 |  5241198 |     1278  10625 |        0 |        0
725.07/725.22	c  725s |      25 |  5698496 |  5254798 |     1278  10645 |        0 |        0
727.08/727.22	c  727s |      25 |  5712831 |  5268398 |     1278  10666 |        0 |        0
729.07/729.23	c  729s |      25 |  5727770 |  5282198 |     1278  10687 |        0 |        0
731.07/731.25	c  731s |      25 |  5742276 |  5295598 |     1278  10707 |        0 |        0
733.07/733.26	c  733s |      25 |  5756954 |  5309098 |     1278  10728 |        0 |        0
735.07/735.26	c  735s |      25 |  5771514 |  5322798 |     1278  10748 |        0 |        0
737.07/737.27	c  737s |      25 |  5786211 |  5336598 |     1278  10769 |        0 |        0
739.08/739.28	c  739s |      25 |  5800666 |  5350298 |     1278  10790 |        0 |        0
741.07/741.29	c  741s |      25 |  5815467 |  5363898 |     1278  10810 |        0 |        0
743.06/743.29	c  743s |      25 |  5829651 |  5377198 |     1278  10831 |        0 |        0
745.06/745.29	c  745s |      25 |  5844416 |  5390898 |     1278  10851 |        0 |        0
747.16/747.30	c  747s |      25 |  5859221 |  5404398 |     1278  10872 |        0 |        0
749.16/749.32	c  749s |      25 |  5874272 |  5418198 |     1278  10893 |        0 |        0
751.17/751.34	c  751s |      25 |  5889327 |  5431998 |     1278  10914 |        0 |        0
753.16/753.35	c  753s |      25 |  5903927 |  5445598 |     1278  10934 |        0 |        0
755.16/755.36	c  755s |      25 |  5918403 |  5458898 |     1278  10954 |        0 |        0
757.16/757.37	c  757s |      25 |  5932762 |  5472298 |     1278  10975 |        0 |        0
759.15/759.38	c  759s |      25 |  5947483 |  5485998 |     1278  10995 |        0 |        0
761.16/761.39	c  761s |      25 |  5961948 |  5499598 |     1278  11016 |        0 |        0
763.15/763.40	c  763s |      25 |  5976952 |  5513298 |     1278  11037 |        0 |        0
765.26/765.42	c  765s |      25 |  5992102 |  5526998 |     1278  11058 |        0 |        0
767.25/767.42	c  767s |      25 |  6006822 |  5540798 |     1278  11079 |        0 |        0
769.25/769.43	c  769s |      25 |  6021535 |  5554498 |     1278  11099 |        0 |        0
771.25/771.43	c  771s |      25 |  6035881 |  5568098 |     1278  11120 |        0 |        0
773.25/773.44	c  773s |      25 |  6050402 |  5581498 |     1278  11140 |        0 |        0
775.25/775.44	c  775s |      25 |  6064794 |  5594898 |     1278  11161 |        0 |        0
777.24/777.45	c  777s |      25 |  6079663 |  5608798 |     1278  11182 |        0 |        0
779.24/779.45	c  779s |      25 |  6093933 |  5622298 |     1278  11202 |        0 |        0
781.24/781.47	c  781s |      25 |  6109290 |  5635798 |     1278  11223 |        0 |        0
783.24/783.47	c  783s |      25 |  6123729 |  5649498 |     1278  11243 |        0 |        0
785.24/785.47	c  785s |      25 |  6138730 |  5663198 |     1278  11264 |        0 |        0
787.23/787.48	c  787s |      25 |  6153343 |  5676598 |     1278  11285 |        0 |        0
789.23/789.49	c  789s |      25 |  6167937 |  5689798 |     1278  11305 |        0 |        0
791.33/791.50	c  791s |      25 |  6182171 |  5703298 |     1278  11325 |        0 |        0
793.33/793.52	c  793s |      25 |  6196502 |  5716798 |     1278  11346 |        0 |        0
795.33/795.52	c  795s |      25 |  6210918 |  5729998 |     1278  11366 |        0 |        0
797.34/797.53	c  797s |      25 |  6225589 |  5743498 |     1278  11386 |        0 |        0
799.33/799.53	c  799s |      25 |  6240349 |  5757198 |     1278  11407 |        0 |        0
801.33/801.54	c  801s |      25 |  6254823 |  5770898 |     1278  11428 |        0 |        0
803.34/803.56	c  803s |      25 |  6269285 |  5784398 |     1278  11448 |        0 |        0
805.34/805.56	c  805s |      25 |  6283709 |  5797598 |     1278  11468 |        0 |        0
807.34/807.57	c  807s |      25 |  6298174 |  5811198 |     1278  11489 |        0 |        0
809.33/809.58	c  809s |      25 |  6312585 |  5824898 |     1278  11510 |        0 |        0
811.43/811.60	c  811s |      25 |  6327242 |  5838798 |     1278  11531 |        0 |        0
813.43/813.61	c  813s |      25 |  6341928 |  5852498 |     1278  11551 |        0 |        0
815.43/815.61	c  815s |      25 |  6356563 |  5866198 |     1278  11572 |        0 |        0
817.43/817.62	c  817s |      25 |  6371332 |  5879898 |     1278  11593 |        0 |        0
819.43/819.63	c  819s |      25 |  6386015 |  5893698 |     1278  11614 |        0 |        0
821.43/821.63	c  821s |      25 |  6400769 |  5907298 |     1278  11634 |        0 |        0
823.42/823.63	c  823s |      25 |  6415468 |  5921098 |     1278  11655 |        0 |        0
825.42/825.63	c  825s |      25 |  6430149 |  5934698 |     1278  11676 |        0 |        0
827.42/827.64	c  827s |      25 |  6444499 |  5948398 |     1278  11696 |        0 |        0
829.42/829.65	c  829s |      25 |  6459027 |  5962098 |     1278  11717 |        0 |        0
831.42/831.66	c  831s |      25 |  6473513 |  5975798 |     1278  11738 |        0 |        0
833.42/833.66	c  833s |      25 |  6488225 |  5989698 |     1278  11759 |        0 |        0
835.42/835.67	c  835s |      25 |  6502821 |  6003598 |     1278  11780 |        0 |        0
837.42/837.67	c  837s |      25 |  6517536 |  6017398 |     1278  11801 |        0 |        0
839.42/839.68	c  839s |      25 |  6531835 |  6031098 |     1278  11821 |        0 |        0
841.42/841.69	c  841s |      25 |  6546264 |  6044798 |     1278  11842 |        0 |        0
843.42/843.70	c  843s |      25 |  6561067 |  6058698 |     1278  11863 |        0 |        0
845.52/845.70	c  845s |      25 |  6575802 |  6072498 |     1278  11884 |        0 |        0
847.52/847.71	c  847s |      25 |  6590386 |  6086298 |     1278  11905 |        0 |        0
849.51/849.71	c  849s |      25 |  6605212 |  6099898 |     1278  11926 |        0 |        0
851.51/851.72	c  851s |      25 |  6620228 |  6113898 |     1278  11947 |        0 |        0
853.52/853.72	c  853s |      25 |  6635306 |  6127798 |     1278  11968 |        0 |        0
855.51/855.74	c  855s |      25 |  6650097 |  6141698 |     1278  11989 |        0 |        0
857.51/857.74	c  857s |      25 |  6664750 |  6155498 |     1278  12010 |        0 |        0
859.51/859.74	c  859s |      25 |  6679326 |  6169298 |     1278  12031 |        0 |        0
861.51/861.76	c  861s |      25 |  6693891 |  6183098 |     1278  12052 |        0 |        0
863.51/863.77	c  863s |      25 |  6708498 |  6197098 |     1278  12073 |        0 |        0
865.51/865.77	c  865s |      25 |  6723235 |  6210998 |     1278  12094 |        0 |        0
867.50/867.77	c  867s |      25 |  6737816 |  6224898 |     1278  12115 |        0 |        0
869.50/869.78	c  869s |      25 |  6752197 |  6238598 |     1278  12136 |        0 |        0
871.50/871.78	c  871s |      25 |  6766659 |  6252498 |     1278  12157 |        0 |        0
873.50/873.79	c  873s |      25 |  6780881 |  6266098 |     1278  12178 |        0 |        0
875.60/875.80	c  875s |      25 |  6795594 |  6279898 |     1278  12198 |        0 |        0
877.60/877.81	c  877s |      25 |  6810520 |  6293598 |     1278  12219 |        0 |        0
879.60/879.81	c  879s |      25 |  6824964 |  6307298 |     1278  12240 |        0 |        0
881.60/881.82	c  881s |      25 |  6839396 |  6320898 |     1278  12260 |        0 |        0
883.59/883.82	c  883s |      25 |  6854172 |  6334698 |     1278  12281 |        0 |        0
885.59/885.83	c  885s |      25 |  6868502 |  6348398 |     1278  12302 |        0 |        0
887.60/887.84	c  887s |      25 |  6883288 |  6362298 |     1278  12323 |        0 |        0
889.59/889.84	c  889s |      25 |  6897818 |  6376098 |     1278  12344 |        0 |        0
891.59/891.85	c  891s |      25 |  6912285 |  6389698 |     1278  12364 |        0 |        0
893.59/893.86	c  893s |      25 |  6927026 |  6403298 |     1278  12385 |        0 |        0
895.58/895.88	c  895s |      25 |  6941618 |  6417198 |     1278  12406 |        0 |        0
897.58/897.88	c  897s |      25 |  6956478 |  6431098 |     1278  12427 |        0 |        0
899.59/899.89	c  899s |      25 |  6971016 |  6444698 |     1278  12448 |        0 |        0
901.58/901.89	c  901s |      25 |  6985766 |  6458498 |     1278  12469 |        0 |        0
903.69/903.90	c  903s |      25 |  7000583 |  6472398 |     1278  12490 |        0 |        0
905.69/905.90	c  905s |      25 |  7015499 |  6485998 |     1278  12510 |        0 |        0
907.69/907.91	c  907s |      25 |  7030197 |  6499798 |     1278  12531 |        0 |        0
909.69/909.92	c  909s |      25 |  7044966 |  6513498 |     1278  12552 |        0 |        0
911.70/911.93	c  911s |      25 |  7059647 |  6527098 |     1278  12572 |        0 |        0
913.69/913.94	c  913s |      25 |  7074981 |  6540898 |     1278  12593 |        0 |        0
915.68/915.95	c  915s |      25 |  7089576 |  6554498 |     1278  12614 |        0 |        0
917.68/917.95	c  917s |      25 |  7104508 |  6568298 |     1278  12635 |        0 |        0
919.68/919.95	c  919s |      25 |  7119676 |  6581998 |     1278  12656 |        0 |        0
921.69/921.96	c  921s |      25 |  7134866 |  6595998 |     1278  12677 |        0 |        0
923.68/923.98	c  923s |      25 |  7150059 |  6609798 |     1278  12698 |        0 |        0
925.68/925.98	c  925s |      25 |  7164684 |  6623698 |     1278  12719 |        0 |        0
927.68/927.99	c  927s |      25 |  7179295 |  6637698 |     1278  12740 |        0 |        0
929.77/930.00	c  929s |      25 |  7193846 |  6651598 |     1278  12761 |        0 |        0
931.77/932.00	c  931s |      25 |  7208108 |  6665498 |     1278  12782 |        0 |        0
933.78/934.01	c  933s |      25 |  7222827 |  6679498 |     1278  12804 |        0 |        0
935.77/936.02	c  936s |      25 |  7237405 |  6693398 |     1278  12825 |        0 |        0
937.77/938.02	c  938s |      25 |  7252022 |  6707098 |     1278  12846 |        0 |        0
939.77/940.02	c  940s |      25 |  7267017 |  6720898 |     1278  12867 |        0 |        0
941.77/942.03	c  942s |      25 |  7281746 |  6734798 |     1278  12888 |        0 |        0
943.77/944.04	c  944s |      25 |  7296590 |  6748598 |     1278  12909 |        0 |        0
945.77/946.04	c  946s |      25 |  7311329 |  6762398 |     1278  12930 |        0 |        0
947.76/948.06	c  948s |      25 |  7325878 |  6775898 |     1278  12950 |        0 |        0
949.76/950.06	c  950s |      25 |  7340672 |  6789598 |     1278  12971 |        0 |        0
951.76/952.07	c  952s |      25 |  7355839 |  6803298 |     1278  12991 |        0 |        0
953.76/954.07	c  954s |      25 |  7370888 |  6816798 |     1278  13012 |        0 |        0
955.77/956.07	c  956s |      25 |  7385538 |  6830598 |     1278  13033 |        0 |        0
957.77/958.09	c  958s |      25 |  7400478 |  6844798 |     1278  13054 |        0 |        0
959.87/960.10	c  960s |      25 |  7415264 |  6858698 |     1278  13075 |        0 |        0
961.87/962.10	c  962s |      25 |  7429593 |  6872498 |     1278  13096 |        0 |        0
963.86/964.11	c  964s |      25 |  7444399 |  6886298 |     1278  13117 |        0 |        0
965.86/966.12	c  966s |      25 |  7458827 |  6899798 |     1278  13138 |        0 |        0
967.87/968.13	c  968s |      25 |  7474012 |  6913798 |     1278  13159 |        0 |        0
969.86/970.14	c  970s |      25 |  7489032 |  6927798 |     1278  13180 |        0 |        0
971.86/972.15	c  972s |      25 |  7504009 |  6941798 |     1278  13201 |        0 |        0
973.86/974.16	c  974s |      25 |  7519130 |  6955898 |     1278  13223 |        0 |        0
975.86/976.17	c  976s |      25 |  7534037 |  6969998 |     1278  13244 |        0 |        0
977.86/978.17	c  978s |      25 |  7549157 |  6984298 |     1278  13266 |        0 |        0
979.86/980.18	c  980s |      25 |  7564212 |  6998398 |     1278  13287 |        0 |        0
981.95/982.20	c  982s |      25 |  7579570 |  7012798 |     1278  13309 |        0 |        0
983.95/984.21	c  984s |      25 |  7594512 |  7026898 |     1278  13330 |        0 |        0
985.95/986.21	c  986s |      25 |  7609568 |  7040898 |     1278  13351 |        0 |        0
987.95/988.23	c  988s |      25 |  7624520 |  7054998 |     1278  13372 |        0 |        0
989.95/990.24	c  990s |      25 |  7639354 |  7068998 |     1278  13394 |        0 |        0
991.95/992.24	c  992s |      25 |  7654123 |  7083098 |     1278  13415 |        0 |        0
993.95/994.25	c  994s |      25 |  7668778 |  7096698 |     1278  13436 |        0 |        0
995.95/996.26	c  996s |      25 |  7683924 |  7110698 |     1278  13457 |        0 |        0
997.95/998.27	c  998s |      25 |  7699216 |  7124598 |     1278  13478 |        0 |        0
999.95/1000.28	c 1000s |      25 |  7714575 |  7138398 |     1278  13499 |        0 |        0
1001.95/1002.29	c 1002s |      25 |  7729356 |  7152398 |     1278  13520 |        0 |        0
1003.94/1004.29	c 1004s |      25 |  7744366 |  7166498 |     1278  13541 |        0 |        0
1005.94/1006.29	c 1006s |      25 |  7759360 |  7180498 |     1278  13563 |        0 |        0
1008.04/1008.30	c 1008s |      25 |  7774483 |  7194798 |     1278  13584 |        0 |        0
1010.04/1010.30	c 1010s |      25 |  7789572 |  7208898 |     1278  13606 |        0 |        0
1012.04/1012.31	c 1012s |      25 |  7804924 |  7222998 |     1278  13627 |        0 |        0
1014.04/1014.31	c 1014s |      25 |  7820173 |  7236998 |     1278  13648 |        0 |        0
1016.03/1016.33	c 1016s |      25 |  7835192 |  7250998 |     1278  13669 |        0 |        0
1018.03/1018.33	c 1018s |      25 |  7850387 |  7265398 |     1278  13691 |        0 |        0
1020.03/1020.35	c 1020s |      25 |  7865609 |  7279598 |     1278  13713 |        0 |        0
1022.03/1022.35	c 1022s |      25 |  7880770 |  7293798 |     1278  13734 |        0 |        0
1024.03/1024.36	c 1024s |      25 |  7895926 |  7307898 |     1278  13756 |        0 |        0
1026.04/1026.36	c 1026s |      25 |  7911105 |  7321998 |     1278  13777 |        0 |        0
1028.03/1028.38	c 1028s |      25 |  7926878 |  7336098 |     1278  13799 |        0 |        0
1030.03/1030.39	c 1030s |      25 |  7942036 |  7350098 |     1278  13820 |        0 |        0
1032.03/1032.39	c 1032s |      25 |  7957130 |  7363998 |     1278  13841 |        0 |        0
1034.12/1034.40	c 1034s |      25 |  7972183 |  7377898 |     1278  13862 |        0 |        0
1036.12/1036.41	c 1036s |      25 |  7987598 |  7392098 |     1278  13884 |        0 |        0
1038.13/1038.42	c 1038s |      25 |  8003245 |  7406398 |     1278  13905 |        0 |        0
1040.12/1040.42	c 1040s |      25 |  8018916 |  7420298 |     1278  13927 |        0 |        0
1042.12/1042.42	c 1042s |      25 |  8033973 |  7434498 |     1278  13948 |        0 |        0
1044.12/1044.43	c 1044s |      25 |  8049562 |  7448598 |     1278  13970 |        0 |        0
1046.12/1046.44	c 1046s |      25 |  8065193 |  7463098 |     1278  13991 |        0 |        0
1048.12/1048.45	c 1048s |      25 |  8081479 |  7477198 |     1278  14013 |        0 |        0
1050.12/1050.46	c 1050s |      25 |  8097186 |  7491298 |     1278  14034 |        0 |        0
1052.11/1052.47	c 1052s |      25 |  8112479 |  7505198 |     1278  14055 |        0 |        0
1054.11/1054.48	c 1054s |      25 |  8127790 |  7519098 |     1278  14076 |        0 |        0
1056.11/1056.48	c 1056s |      25 |  8143034 |  7533098 |     1278  14097 |        0 |        0
1058.11/1058.49	c 1058s |      25 |  8158520 |  7547398 |     1406  14119 |        0 |        0
1060.12/1060.49	c 1060s |      25 |  8173979 |  7561698 |     1406  14138 |        0 |        0
1062.21/1062.50	c 1062s |      25 |  8189698 |  7575998 |     1406  14158 |        0 |        0
1064.22/1064.50	c 1064s |      25 |  8204908 |  7590098 |     1406  14177 |        0 |        0
1065.22/1065.59	c 1065s |      26 |  8213231 |  7597752 |     1406  14188 |        0 |        0
1067.32/1067.61	c 1067s |      26 |  8227881 |  7611452 |     1406  14207 |        0 |        0
1069.32/1069.62	c 1069s |      26 |  8242896 |  7625452 |     1406  14226 |        0 |        0
1071.31/1071.62	c 1071s |      26 |  8258939 |  7639652 |     1406  14246 |        0 |        0
1073.32/1073.63	c 1073s |      26 |  8276332 |  7653652 |     1406  14265 |        0 |        0
1075.31/1075.63	c 1075s |      26 |  8291758 |  7667352 |     1406  14284 |        0 |        0
1077.31/1077.63	c 1077s |      26 |  8307017 |  7681352 |     1406  14303 |        0 |        0
1079.31/1079.64	c 1079s |      26 |  8321985 |  7695152 |     1406  14322 |        0 |        0
1081.31/1081.65	c 1081s |      26 |  8336971 |  7708952 |     1406  14341 |        0 |        0
1083.31/1083.65	c 1083s |      26 |  8351642 |  7722752 |     1406  14360 |        0 |        0
1085.30/1085.66	c 1085s |      26 |  8367163 |  7736752 |     1406  14379 |        0 |        0
1087.30/1087.68	c 1087s |      26 |  8382400 |  7750352 |     1406  14398 |        0 |        0
1089.30/1089.68	c 1089s |      26 |  8396854 |  7763752 |     1406  14416 |        0 |        0
1091.30/1091.68	c 1091s |      26 |  8412191 |  7777752 |     1406  14435 |        0 |        0
1093.29/1093.68	c 1093s |      26 |  8427511 |  7791752 |     1406  14455 |        0 |        0
1095.30/1095.69	c 1095s |      26 |  8443170 |  7805852 |     1406  14474 |        0 |        0
1097.29/1097.69	c 1097s |      26 |  8459290 |  7819852 |     1406  14493 |        0 |        0
1099.39/1099.70	c 1099s |      26 |  8475137 |  7833952 |     1406  14513 |        0 |        0
1101.39/1101.71	c 1101s |      26 |  8491180 |  7848052 |     1406  14532 |        0 |        0
1103.39/1103.72	c 1103s |      26 |  8507348 |  7862152 |     1406  14551 |        0 |        0
1105.39/1105.72	c 1105s |      26 |  8523735 |  7875852 |     1406  14570 |        0 |        0
1107.39/1107.73	c 1107s |      26 |  8539540 |  7889552 |     1406  14589 |        0 |        0
1109.38/1109.74	c 1109s |      26 |  8555675 |  7903252 |     1406  14608 |        0 |        0
1111.38/1111.74	c 1111s |      26 |  8570829 |  7917252 |     1406  14627 |        0 |        0
1113.38/1113.75	c 1113s |      26 |  8586188 |  7931552 |     1406  14647 |        0 |        0
1115.38/1115.77	c 1115s |      26 |  8601964 |  7945952 |     1406  14667 |        0 |        0
1117.38/1117.77	c 1117s |      26 |  8617992 |  7960352 |     1406  14686 |        0 |        0
1119.38/1119.78	c 1119s |      26 |  8633096 |  7974552 |     1406  14706 |        0 |        0
1121.39/1121.79	c 1121s |      26 |  8648412 |  7988752 |     1406  14726 |        0 |        0
1123.48/1123.81	c 1123s |      26 |  8663725 |  8002652 |     1406  14745 |        0 |        0
1125.48/1125.82	c 1125s |      26 |  8679090 |  8016152 |     1406  14763 |        0 |        0
1127.48/1127.83	c 1127s |      26 |  8694140 |  8030152 |     1406  14782 |        0 |        0
1129.49/1129.84	c 1129s |      26 |  8709638 |  8044152 |     1406  14802 |        0 |        0
1131.48/1131.84	c 1131s |      26 |  8726276 |  8058452 |     1406  14821 |        0 |        0
1133.47/1133.85	c 1133s |      26 |  8742670 |  8072552 |     1406  14841 |        0 |        0
1135.47/1135.85	c 1135s |      26 |  8758240 |  8086652 |     1406  14860 |        0 |        0
1137.47/1137.86	c 1137s |      26 |  8773878 |  8100852 |     1406  14880 |        0 |        0
1139.47/1139.87	c 1139s |      26 |  8789357 |  8114752 |     1406  14899 |        0 |        0
1141.48/1141.87	c 1141s |      26 |  8804708 |  8128252 |     1406  14918 |        0 |        0
1143.46/1143.88	c 1143s |      26 |  8820592 |  8142152 |     1406  14937 |        0 |        0
1145.46/1145.88	c 1145s |      26 |  8837334 |  8156152 |     1406  14956 |        0 |        0
1147.56/1147.90	c 1147s |      26 |  8853315 |  8170252 |     1406  14976 |        0 |        0
1149.56/1149.91	c 1149s |      26 |  8868861 |  8184152 |     1406  14995 |        0 |        0
1151.56/1151.92	c 1151s |      26 |  8883697 |  8197752 |     1406  15013 |        0 |        0
1153.56/1153.92	c 1153s |      26 |  8898493 |  8211252 |     1406  15032 |        0 |        0
1155.55/1155.93	c 1155s |      26 |  8912925 |  8224952 |     1406  15051 |        0 |        0
1157.55/1157.94	c 1157s |      26 |  8928055 |  8238852 |     1406  15070 |        0 |        0
1159.55/1159.95	c 1159s |      26 |  8943248 |  8252552 |     1406  15089 |        0 |        0
1161.55/1161.95	c 1161s |      26 |  8958064 |  8266252 |     1406  15107 |        0 |        0
1163.56/1163.96	c 1163s |      26 |  8973105 |  8280052 |     1406  15126 |        0 |        0
1165.55/1165.96	c 1165s |      26 |  8989083 |  8293852 |     1406  15145 |        0 |        0
1167.55/1167.97	c 1167s |      26 |  9003694 |  8307252 |     1406  15164 |        0 |        0
1169.55/1169.97	c 1169s |      26 |  9019363 |  8320852 |     1406  15183 |        0 |        0
1171.55/1171.98	c 1171s |      26 |  9034746 |  8335152 |     1406  15202 |        0 |        0
1173.54/1173.99	c 1173s |      26 |  9049457 |  8349052 |     1406  15221 |        0 |        0
1175.65/1176.00	c 1175s |      26 |  9064770 |  8363152 |     1406  15241 |        0 |        0
1177.64/1178.01	c 1178s |      26 |  9080614 |  8377352 |     1406  15260 |        0 |        0
1179.64/1180.02	c 1180s |      26 |  9095704 |  8391152 |     1406  15279 |        0 |        0
1181.65/1182.02	c 1182s |      26 |  9111038 |  8404952 |     1406  15298 |        0 |        0
1183.64/1184.03	c 1184s |      26 |  9126916 |  8418852 |     1406  15317 |        0 |        0
1185.64/1186.04	c 1186s |      26 |  9143075 |  8432952 |     1406  15337 |        0 |        0
1187.65/1188.04	c 1188s |      26 |  9158718 |  8447452 |     1406  15357 |        0 |        0
1189.64/1190.06	c 1190s |      26 |  9173809 |  8461552 |     1406  15376 |        0 |        0
1191.64/1192.07	c 1192s |      26 |  9188773 |  8475452 |     1406  15395 |        0 |        0
1193.64/1194.08	c 1194s |      26 |  9204538 |  8489652 |     1406  15415 |        0 |        0
1195.64/1196.09	c 1196s |      26 |  9219699 |  8503752 |     1406  15434 |        0 |        0
1197.64/1198.09	c 1198s |      26 |  9234658 |  8517652 |     1406  15453 |        0 |        0
1199.63/1200.10	c 1200s |      26 |  9249781 |  8531552 |     1406  15472 |        0 |        0
1201.73/1202.11	c 1202s |      26 |  9265487 |  8545552 |     1406  15491 |        0 |        0
1203.73/1204.11	c 1204s |      26 |  9282559 |  8559452 |     1406  15511 |        0 |        0
1205.73/1206.11	c 1206s |      26 |  9298797 |  8573452 |     1406  15530 |        0 |        0
1207.73/1208.12	c 1208s |      26 |  9314716 |  8587152 |     1406  15549 |        0 |        0
1209.73/1210.12	c 1210s |      26 |  9329862 |  8601052 |     1406  15568 |        0 |        0
1211.72/1212.13	c 1212s |      26 |  9345853 |  8614852 |     1406  15587 |        0 |        0
1213.73/1214.14	c 1214s |      26 |  9361500 |  8628752 |     1406  15606 |        0 |        0
1215.73/1216.14	c 1216s |      26 |  9378527 |  8642752 |     1406  15625 |        0 |        0
1217.73/1218.15	c 1218s |      26 |  9394413 |  8656652 |     1406  15645 |        0 |        0
1219.73/1220.16	c 1220s |      26 |  9410035 |  8670352 |     1406  15663 |        0 |        0
1221.73/1222.16	c 1222s |      26 |  9426107 |  8684052 |     1406  15682 |        0 |        0
1223.72/1224.16	c 1224s |      26 |  9442612 |  8697952 |     1406  15701 |        0 |        0
1225.72/1226.17	c 1226s |      26 |  9459682 |  8712352 |     1406  15721 |        0 |        0
1227.72/1228.18	c 1228s |      26 |  9476770 |  8726452 |     1406  15741 |        0 |        0
1229.72/1230.19	c 1230s |      26 |  9492679 |  8740852 |     1406  15761 |        0 |        0
1231.82/1232.20	c 1232s |      26 |  9507725 |  8754852 |     1406  15780 |        0 |        0
1233.83/1234.20	c 1234s |      26 |  9522630 |  8768652 |     1406  15799 |        0 |        0
1235.82/1236.21	c 1236s |      26 |  9537292 |  8782252 |     1406  15817 |        0 |        0
1237.82/1238.22	c 1238s |      26 |  9552536 |  8796452 |     1406  15837 |        0 |        0
1239.82/1240.23	c 1240s |      26 |  9567478 |  8810552 |     1406  15856 |        0 |        0
1241.82/1242.24	c 1242s |      26 |  9582150 |  8824352 |     1406  15875 |        0 |        0
1243.82/1244.24	c 1244s |      26 |  9597319 |  8838152 |     1406  15894 |        0 |        0
1245.81/1246.26	c 1246s |      26 |  9612308 |  8852252 |     1406  15914 |        0 |        0
1247.81/1248.27	c 1248s |      26 |  9627583 |  8866252 |     1406  15933 |        0 |        0
1249.81/1250.28	c 1250s |      26 |  9642635 |  8880052 |     1406  15952 |        0 |        0
1251.81/1252.28	c 1252s |      26 |  9657660 |  8893752 |     1406  15971 |        0 |        0
1253.80/1254.29	c 1254s |      26 |  9672866 |  8907452 |     1406  15990 |        0 |        0
1255.81/1256.29	c 1256s |      26 |  9687749 |  8921252 |     1406  16009 |        0 |        0
1257.80/1258.29	c 1258s |      26 |  9702806 |  8935252 |     1406  16028 |        0 |        0
1259.90/1260.30	c 1260s |      26 |  9717632 |  8948952 |     1406  16047 |        0 |        0
1261.90/1262.31	c 1262s |      26 |  9733069 |  8962952 |     1406  16066 |        0 |        0
1263.90/1264.32	c 1264s |      26 |  9748809 |  8976852 |     1406  16085 |        0 |        0
1265.90/1266.32	c 1266s |      26 |  9765068 |  8990752 |     1406  16104 |        0 |        0
1267.91/1268.33	c 1268s |      26 |  9781240 |  9004852 |     1406  16124 |        0 |        0
1269.90/1270.33	c 1270s |      26 |  9796523 |  9018652 |     1406  16143 |        0 |        0
1271.90/1272.33	c 1272s |      26 |  9812165 |  9032352 |     1406  16162 |        0 |        0
1273.90/1274.35	c 1274s |      26 |  9828444 |  9046352 |     1406  16181 |        0 |        0
1275.90/1276.35	c 1276s |      26 |  9844856 |  9060452 |     1406  16201 |        0 |        0
1277.91/1278.36	c 1278s |      26 |  9860357 |  9074752 |     1406  16220 |        0 |        0
1279.90/1280.36	c 1280s |      26 |  9875369 |  9088852 |     1406  16239 |        0 |        0
1281.90/1282.37	c 1282s |      26 |  9890037 |  9102852 |     1406  16259 |        0 |        0
1283.89/1284.38	c 1284s |      26 |  9905479 |  9117052 |     1406  16278 |        0 |        0
1285.89/1286.38	c 1286s |      26 |  9920397 |  9131152 |     1406  16298 |        0 |        0
1287.89/1288.38	c 1288s |      26 |  9935120 |  9145052 |     1406  16317 |        0 |        0
1289.90/1290.39	c 1290s |      26 |  9950003 |  9159252 |     1406  16336 |        0 |        0
1291.89/1292.39	c 1292s |      26 |  9965203 |  9173352 |     1406  16356 |        0 |        0
1293.99/1294.40	c 1294s |      26 |  9980510 |  9187552 |     1406  16375 |        0 |        0
1295.99/1296.41	c 1296s |      26 |  9995450 |  9201352 |     1406  16394 |        0 |        0
1297.99/1298.42	c 1298s |      26 | 10010426 |  9215252 |     1406  16413 |        0 |        0
1299.99/1300.42	c 1300s |      26 | 10025993 |  9229352 |     1406  16433 |        0 |        0
1301.99/1302.43	c 1302s |      26 | 10040881 |  9243552 |     1406  16452 |        0 |        0
1303.98/1304.44	c 1304s |      26 | 10056640 |  9257752 |     1406  16472 |        0 |        0
1305.98/1306.44	c 1306s |      26 | 10071510 |  9271952 |     1406  16491 |        0 |        0
1307.98/1308.46	c 1308s |      26 | 10086718 |  9286252 |     1406  16511 |        0 |        0
1309.98/1310.46	c 1310s |      26 | 10101956 |  9300452 |     1406  16531 |        0 |        0
1311.99/1312.46	c 1312s |      26 | 10117206 |  9314352 |     1406  16550 |        0 |        0
1313.97/1314.47	c 1314s |      26 | 10132035 |  9328252 |     1406  16569 |        0 |        0
1315.97/1316.48	c 1316s |      26 | 10147007 |  9342252 |     1406  16588 |        0 |        0
1317.97/1318.48	c 1318s |      26 | 10161995 |  9356052 |     1406  16607 |        0 |        0
1319.97/1320.48	c 1320s |      26 | 10177224 |  9370152 |     1406  16627 |        0 |        0
1321.97/1322.49	c 1322s |      26 | 10192369 |  9384152 |     1406  16646 |        0 |        0
1323.97/1324.50	c 1324s |      26 | 10206870 |  9397952 |     1406  16665 |        0 |        0
1326.07/1326.51	c 1326s |      26 | 10222063 |  9411852 |     1406  16684 |        0 |        0
1328.07/1328.52	c 1328s |      26 | 10237304 |  9425852 |     1406  16703 |        0 |        0
1330.07/1330.53	c 1330s |      26 | 10252168 |  9439752 |     1406  16723 |        0 |        0
1332.07/1332.54	c 1332s |      26 | 10266783 |  9453452 |     1406  16742 |        0 |        0
1334.06/1334.54	c 1334s |      26 | 10281698 |  9467152 |     1406  16760 |        0 |        0
1336.07/1336.55	c 1336s |      26 | 10297504 |  9481352 |     1406  16780 |        0 |        0
1338.06/1338.56	c 1338s |      26 | 10312548 |  9494952 |     1406  16799 |        0 |        0
1340.06/1340.58	c 1340s |      26 | 10328684 |  9509352 |     1406  16819 |        0 |        0
1342.06/1342.58	c 1342s |      26 | 10344137 |  9523752 |     1406  16838 |        0 |        0
1344.16/1344.60	c 1344s |      26 | 10359196 |  9537752 |     1406  16857 |        0 |        0
1346.16/1346.60	c 1346s |      26 | 10373932 |  9551552 |     1406  16876 |        0 |        0
1348.16/1348.61	c 1348s |      26 | 10389255 |  9565852 |     1406  16896 |        0 |        0
1350.16/1350.61	c 1350s |      26 | 10404362 |  9580052 |     1406  16916 |        0 |        0
1352.16/1352.62	c 1352s |      26 | 10419568 |  9594352 |     1406  16935 |        0 |        0
1354.15/1354.63	c 1354s |      26 | 10434702 |  9608352 |     1406  16955 |        0 |        0
1356.15/1356.63	c 1356s |      26 | 10450023 |  9622552 |     1406  16974 |        0 |        0
1358.17/1358.64	c 1358s |      26 | 10465049 |  9636252 |     1406  16993 |        0 |        0
1360.16/1360.64	c 1360s |      26 | 10479795 |  9650252 |     1406  17012 |        0 |        0
1362.16/1362.64	c 1362s |      26 | 10494647 |  9664152 |     1406  17031 |        0 |        0
1364.16/1364.65	c 1364s |      26 | 10509201 |  9677752 |     1406  17050 |        0 |        0
1366.16/1366.66	c 1366s |      26 | 10523959 |  9691552 |     1406  17069 |        0 |        0
1368.16/1368.67	c 1368s |      26 | 10539159 |  9705652 |     1406  17088 |        0 |        0
1370.16/1370.67	c 1370s |      26 | 10554457 |  9719652 |     1406  17108 |        0 |        0
1372.16/1372.69	c 1372s |      26 | 10569976 |  9734052 |     1406  17128 |        0 |        0
1374.26/1374.70	c 1374s |      26 | 10585558 |  9748252 |     1406  17147 |        0 |        0
1376.26/1376.70	c 1376s |      26 | 10601756 |  9762552 |     1406  17167 |        0 |        0
1378.26/1378.70	c 1378s |      26 | 10616933 |  9776552 |     1406  17186 |        0 |        0
1380.26/1380.70	c 1380s |      26 | 10632128 |  9790552 |     1406  17205 |        0 |        0
1382.26/1382.72	c 1382s |      26 | 10646903 |  9804652 |     1406  17225 |        0 |        0
1384.25/1384.72	c 1384s |      26 | 10661929 |  9818852 |     1406  17244 |        0 |        0
1386.25/1386.73	c 1386s |      26 | 10677439 |  9833152 |     1406  17264 |        0 |        0
1388.25/1388.73	c 1388s |      26 | 10692732 |  9847352 |     1406  17283 |        0 |        0
1390.25/1390.73	c 1390s |      26 | 10707917 |  9861452 |     1406  17303 |        0 |        0
1392.26/1392.74	c 1392s |      26 | 10723893 |  9875852 |     1406  17323 |        0 |        0
1394.25/1394.76	c 1394s |      26 | 10739566 |  9890152 |     1406  17343 |        0 |        0
1396.25/1396.77	c 1396s |      26 | 10754350 |  9903952 |     1406  17362 |        0 |        0
1398.25/1398.78	c 1398s |      26 | 10769518 |  9917952 |     1406  17381 |        0 |        0
1400.25/1400.78	c 1400s |      26 | 10784724 |  9931952 |     1406  17400 |        0 |        0
1402.25/1402.79	c 1402s |      26 | 10800153 |  9946252 |     1406  17420 |        0 |        0
1404.25/1404.80	c 1404s |      26 | 10816540 |  9960652 |     1406  17440 |        0 |        0
1406.35/1406.80	c 1406s |      26 | 10832836 |  9974852 |     1406  17459 |        0 |        0
1408.34/1408.81	c 1408s |      26 | 10849867 |  9989152 |     1406  17479 |        0 |        0
1410.34/1410.81	c 1410s |      26 | 10865708 | 10003552 |     1406  17499 |        0 |        0
1412.34/1412.82	c 1412s |      26 | 10881717 | 10017952 |     1406  17519 |        0 |        0
1414.34/1414.82	c 1414s |      26 | 10897174 | 10032152 |     1406  17538 |        0 |        0
1416.35/1416.83	c 1416s |      26 | 10912596 | 10046252 |     1406  17558 |        0 |        0
1418.34/1418.83	c 1418s |      26 | 10927905 | 10060052 |     1406  17577 |        0 |        0
1420.34/1420.84	c 1420s |      26 | 10943392 | 10074152 |     1406  17596 |        0 |        0
1422.35/1422.85	c 1422s |      26 | 10958808 | 10088152 |     1406  17616 |        0 |        0
1424.35/1424.85	c 1424s |      26 | 10974176 | 10102252 |     1406  17635 |        0 |        0
1426.36/1426.86	c 1426s |      26 | 10989552 | 10116452 |     1406  17654 |        0 |        0
1428.35/1428.87	c 1428s |      26 | 11005674 | 10130752 |     1406  17674 |        0 |        0
1430.35/1430.87	c 1430s |      26 | 11021798 | 10145152 |     1406  17694 |        0 |        0
1432.35/1432.88	c 1432s |      26 | 11038388 | 10159452 |     1406  17714 |        0 |        0
1434.35/1434.89	c 1434s |      26 | 11054688 | 10173652 |     1406  17733 |        0 |        0
1436.45/1436.90	c 1436s |      26 | 11070740 | 10187752 |     1406  17753 |        0 |        0
1438.45/1438.91	c 1438s |      26 | 11086848 | 10201752 |     1406  17772 |        0 |        0
1440.45/1440.91	c 1440s |      26 | 11102507 | 10215952 |     1406  17791 |        0 |        0
1442.45/1442.92	c 1442s |      26 | 11118355 | 10230452 |     1406  17811 |        0 |        0
1444.45/1444.93	c 1444s |      26 | 11134150 | 10244652 |     1406  17831 |        0 |        0
1446.44/1446.93	c 1446s |      26 | 11150384 | 10258852 |     1406  17850 |        0 |        0
1448.44/1448.93	c 1448s |      26 | 11166405 | 10272852 |     1406  17870 |        0 |        0
1450.45/1450.95	c 1450s |      26 | 11183035 | 10287152 |     1406  17890 |        0 |        0
1452.44/1452.96	c 1452s |      26 | 11198812 | 10301252 |     1406  17909 |        0 |        0
1454.44/1454.97	c 1454s |      26 | 11214669 | 10315452 |     1406  17929 |        0 |        0
1456.44/1456.97	c 1456s |      26 | 11230762 | 10329452 |     1406  17948 |        0 |        0
1458.44/1458.98	c 1458s |      26 | 11245936 | 10343352 |     1406  17967 |        0 |        0
1460.44/1460.99	c 1460s |      26 | 11261972 | 10357252 |     1406  17986 |        0 |        0
1462.44/1462.99	c 1462s |      26 | 11278958 | 10371552 |     1406  18006 |        0 |        0
1464.54/1465.01	c 1464s |      26 | 11295154 | 10385752 |     1406  18026 |        0 |        0
1466.54/1467.02	c 1467s |      26 | 11311616 | 10400152 |     1406  18045 |        0 |        0
1468.54/1469.02	c 1469s |      26 | 11327513 | 10414352 |     1406  18065 |        0 |        0
1470.54/1471.03	c 1471s |      26 | 11344234 | 10428552 |     1406  18085 |        0 |        0
1472.54/1473.04	c 1473s |      26 | 11360227 | 10442852 |     1406  18104 |        0 |        0
1474.53/1475.05	c 1475s |      26 | 11375918 | 10456952 |     1406  18124 |        0 |        0
1476.53/1477.05	c 1477s |      26 | 11391527 | 10470952 |     1406  18143 |        0 |        0
1478.53/1479.06	c 1479s |      26 | 11407291 | 10484952 |     1406  18162 |        0 |        0
1480.54/1481.06	c 1481s |      26 | 11422481 | 10499052 |     1406  18182 |        0 |        0
1482.54/1483.07	c 1483s |      26 | 11438541 | 10513452 |     1406  18201 |        0 |        0
1484.55/1485.07	c 1485s |      26 | 11454000 | 10527652 |     1406  18221 |        0 |        0
1486.54/1487.09	c 1487s |      26 | 11469903 | 10541952 |     1406  18241 |        0 |        0
1488.54/1489.09	c 1489s |      26 | 11485775 | 10555852 |     1406  18260 |        0 |        0
1490.64/1491.10	c 1491s |      26 | 11502159 | 10569852 |     1406  18279 |        0 |        0
1492.64/1493.11	c 1493s |      26 | 11518550 | 10584052 |     1406  18299 |        0 |        0
1494.64/1495.12	c 1495s |      26 | 11534736 | 10598052 |     1406  18318 |        0 |        0
1496.64/1497.13	c 1497s |      26 | 11550438 | 10612052 |     1406  18337 |        0 |        0
1498.64/1499.14	c 1499s |      26 | 11565685 | 10626152 |     1406  18357 |        0 |        0
1500.64/1501.15	c 1501s |      26 | 11581876 | 10640252 |     1406  18376 |        0 |        0
1502.64/1503.16	c 1503s |      26 | 11598203 | 10654552 |     1406  18396 |        0 |        0
1504.64/1505.17	c 1505s |      26 | 11614829 | 10668752 |     1406  18416 |        0 |        0
1506.64/1507.18	c 1507s |      26 | 11630192 | 10682752 |     1406  18435 |        0 |        0
1508.63/1509.18	c 1509s |      26 | 11645261 | 10696852 |     1406  18454 |        0 |        0
1510.63/1511.19	c 1511s |      26 | 11661067 | 10711152 |     1406  18474 |        0 |        0
1512.73/1513.20	c 1513s |      26 | 11676782 | 10725452 |     1406  18494 |        0 |        0
1514.73/1515.20	c 1515s |      26 | 11692681 | 10739652 |     1406  18513 |        0 |        0
1516.73/1517.21	c 1517s |      26 | 11708894 | 10754252 |     1406  18533 |        0 |        0
1518.74/1519.21	c 1519s |      26 | 11724478 | 10768552 |     1406  18553 |        0 |        0
1520.73/1521.22	c 1521s |      26 | 11740371 | 10782852 |     1406  18572 |        0 |        0
1522.73/1523.22	c 1523s |      26 | 11755778 | 10797052 |     1406  18592 |        0 |        0
1524.73/1525.23	c 1525s |      26 | 11770966 | 10811052 |     1406  18611 |        0 |        0
1526.73/1527.24	c 1527s |      26 | 11786608 | 10825452 |     1406  18631 |        0 |        0
1528.73/1529.25	c 1529s |      26 | 11801973 | 10839652 |     1406  18650 |        0 |        0
1530.73/1531.26	c 1531s |      26 | 11817179 | 10853752 |     1406  18670 |        0 |        0
1532.73/1533.27	c 1533s |      26 | 11832139 | 10867752 |     1406  18689 |        0 |        0
1534.73/1535.27	c 1535s |      26 | 11847111 | 10881552 |     1406  18708 |        0 |        0
1536.73/1537.28	c 1537s |      26 | 11862595 | 10895752 |     1406  18727 |        0 |        0
1538.73/1539.28	c 1539s |      26 | 11878158 | 10910452 |     1406  18748 |        0 |        0
1540.73/1541.29	c 1541s |      26 | 11893542 | 10924852 |     1406  18767 |        0 |        0
1542.72/1543.30	c 1543s |      26 | 11908933 | 10939152 |     1406  18787 |        0 |        0
1544.82/1545.30	c 1545s |      26 | 11924436 | 10953452 |     1406  18807 |        0 |        0
1546.82/1547.31	c 1547s |      26 | 11939948 | 10967652 |     1406  18826 |        0 |        0
1548.82/1549.31	c 1549s |      26 | 11954587 | 10981552 |     1406  18846 |        0 |        0
1550.82/1551.31	c 1551s |      26 | 11970245 | 10996052 |     1406  18865 |        0 |        0
1552.83/1553.32	c 1553s |      26 | 11985833 | 11010552 |     1406  18885 |        0 |        0
1554.82/1555.32	c 1555s |      26 | 12001393 | 11025052 |     1406  18905 |        0 |        0
1556.83/1557.34	c 1557s |      26 | 12017506 | 11039652 |     1406  18926 |        0 |        0
1558.83/1559.35	c 1559s |      26 | 12033216 | 11054052 |     1406  18945 |        0 |        0
1560.83/1561.36	c 1561s |      26 | 12049135 | 11068452 |     1406  18965 |        0 |        0
1562.83/1563.37	c 1563s |      26 | 12065229 | 11082852 |     1406  18985 |        0 |        0
1564.84/1565.38	c 1565s |      26 | 12081462 | 11097152 |     1406  19005 |        0 |        0
1566.83/1567.38	c 1567s |      26 | 12097763 | 11111452 |     1406  19024 |        0 |        0
1568.83/1569.39	c 1569s |      26 | 12113634 | 11125852 |     1406  19044 |        0 |        0
1570.83/1571.39	c 1571s |      26 | 12129427 | 11140352 |     1406  19064 |        0 |        0
1572.82/1573.40	c 1573s |      26 | 12144937 | 11154652 |     1406  19084 |        0 |        0
1574.83/1575.40	c 1575s |      26 | 12160439 | 11168852 |     1406  19104 |        0 |        0
1576.93/1577.41	c 1577s |      26 | 12176336 | 11183152 |     1406  19123 |        0 |        0
1578.92/1579.42	c 1579s |      26 | 12192186 | 11197052 |     1406  19143 |        0 |        0
1580.92/1581.44	c 1581s |      26 | 12207645 | 11211052 |     1406  19162 |        0 |        0
1582.92/1583.44	c 1583s |      26 | 12223340 | 11225252 |     1406  19181 |        0 |        0
1584.92/1585.44	c 1585s |      26 | 12239773 | 11239352 |     1406  19201 |        0 |        0
1586.93/1587.45	c 1587s |      26 | 12255900 | 11253652 |     1406  19220 |        0 |        0
1588.92/1589.45	c 1589s |      26 | 12271736 | 11267752 |     1406  19240 |        0 |        0
1590.92/1591.46	c 1591s |      26 | 12287806 | 11282052 |     1406  19259 |        0 |        0
1592.92/1593.46	c 1593s |      26 | 12303498 | 11296152 |     1406  19279 |        0 |        0
1594.92/1595.47	c 1595s |      26 | 12319064 | 11310252 |     1406  19298 |        0 |        0
1596.92/1597.48	c 1597s |      26 | 12335483 | 11324452 |     1547  19317 |        0 |        0
1598.93/1599.49	c 1599s |      26 | 12352422 | 11338352 |     1547  19334 |        0 |        0
1600.92/1601.49	c 1601s |      26 | 12368127 | 11352552 |     1547  19352 |        0 |        0
1603.02/1603.50	c 1603s |      26 | 12383377 | 11366452 |     1547  19369 |        0 |        0
1605.02/1605.51	c 1605s |      26 | 12399204 | 11380352 |     1547  19387 |        0 |        0
1607.02/1607.52	c 1607s |      26 | 12416371 | 11394552 |     1547  19405 |        0 |        0
1607.32/1607.82	c 1607s |      27 | 12418842 | 11396733 |     1547  19407 |        0 |        0
1609.32/1609.83	c 1609s |      27 | 12434929 | 11411233 |     1547  19425 |        0 |        0
1611.32/1611.84	c 1611s |      27 | 12449615 | 11425133 |     1547  19443 |        0 |        0
1613.32/1613.84	c 1613s |      27 | 12464978 | 11439333 |     1547  19461 |        0 |        0
1615.31/1615.86	c 1615s |      27 | 12479872 | 11453333 |     1547  19478 |        0 |        0
1617.31/1617.86	c 1617s |      27 | 12495231 | 11467433 |     1547  19496 |        0 |        0
1619.31/1619.88	c 1619s |      27 | 12510887 | 11481633 |     1547  19514 |        0 |        0
1621.31/1621.88	c 1621s |      27 | 12526582 | 11495533 |     1547  19531 |        0 |        0
1623.31/1623.89	c 1623s |      27 | 12541953 | 11509533 |     1547  19549 |        0 |        0
1625.32/1625.90	c 1625s |      27 | 12558028 | 11523633 |     1547  19566 |        0 |        0
1627.41/1627.91	c 1627s |      27 | 12573456 | 11537333 |     1547  19583 |        0 |        0
1629.41/1629.92	c 1629s |      27 | 12590766 | 11551733 |     1547  19601 |        0 |        0
1631.41/1631.93	c 1631s |      27 | 12606187 | 11566033 |     1547  19619 |        0 |        0
1633.42/1633.94	c 1633s |      27 | 12622400 | 11580133 |     1547  19637 |        0 |        0
1635.42/1635.95	c 1635s |      27 | 12637306 | 11593933 |     1547  19654 |        0 |        0
1637.43/1637.96	c 1637s |      27 | 12652422 | 11607533 |     1547  19671 |        0 |        0
1639.42/1639.97	c 1639s |      27 | 12667143 | 11620933 |     1547  19688 |        0 |        0
1641.42/1641.98	c 1641s |      27 | 12682994 | 11635133 |     1547  19706 |        0 |        0
1643.42/1643.98	c 1643s |      27 | 12697840 | 11649033 |     1547  19723 |        0 |        0
1645.41/1645.99	c 1645s |      27 | 12713202 | 11662933 |     1547  19741 |        0 |        0
1647.51/1648.00	c 1647s |      27 | 12728710 | 11676933 |     1547  19758 |        0 |        0
1649.52/1650.01	c 1649s |      27 | 12744581 | 11690833 |     1547  19776 |        0 |        0
1651.51/1652.02	c 1652s |      27 | 12760761 | 11705133 |     1547  19794 |        0 |        0
1653.51/1654.02	c 1654s |      27 | 12777332 | 11719433 |     1547  19812 |        0 |        0
1655.51/1656.03	c 1656s |      27 | 12792933 | 11733733 |     1547  19829 |        0 |        0
1657.51/1658.04	c 1658s |      27 | 12808678 | 11747833 |     1547  19847 |        0 |        0
1659.52/1660.04	c 1660s |      27 | 12824150 | 11762033 |     1547  19865 |        0 |        0
1661.51/1662.06	c 1662s |      27 | 12840194 | 11776533 |     1547  19883 |        0 |        0
1663.51/1664.07	c 1664s |      27 | 12855882 | 11790533 |     1547  19901 |        0 |        0
1665.51/1666.07	c 1666s |      27 | 12871158 | 11804333 |     1547  19918 |        0 |        0
1667.51/1668.08	c 1668s |      27 | 12887016 | 11818633 |     1547  19936 |        0 |        0
1669.51/1670.09	c 1670s |      27 | 12903195 | 11832933 |     1547  19954 |        0 |        0
1671.61/1672.11	c 1672s |      27 | 12918357 | 11846933 |     1547  19972 |        0 |        0
1673.60/1674.12	c 1674s |      27 | 12933941 | 11861433 |     1547  19990 |        0 |        0
1675.60/1676.13	c 1676s |      27 | 12949711 | 11875733 |     1547  20008 |        0 |        0
1677.61/1678.13	c 1678s |      27 | 12965857 | 11889933 |     1547  20025 |        0 |        0
1679.61/1680.14	c 1680s |      27 | 12981559 | 11904233 |     1547  20043 |        0 |        0
1681.61/1682.15	c 1682s |      27 | 12997230 | 11918933 |     1547  20062 |        0 |        0
1683.62/1684.15	c 1684s |      27 | 13012972 | 11933333 |     1547  20080 |        0 |        0
1685.61/1686.16	c 1686s |      27 | 13028842 | 11947633 |     1547  20098 |        0 |        0
1687.61/1688.17	c 1688s |      27 | 13044052 | 11961633 |     1547  20116 |        0 |        0
1689.61/1690.18	c 1690s |      27 | 13059665 | 11976233 |     1547  20134 |        0 |        0
1691.61/1692.18	c 1692s |      27 | 13076093 | 11990533 |     1547  20152 |        0 |        0
1693.61/1694.19	c 1694s |      27 | 13091325 | 12004533 |     1547  20169 |        0 |        0
1695.61/1696.19	c 1696s |      27 | 13107247 | 12018433 |     1547  20187 |        0 |        0
1697.71/1698.20	c 1698s |      27 | 13123350 | 12032733 |     1547  20205 |        0 |        0
1699.71/1700.21	c 1700s |      27 | 13139419 | 12046733 |     1547  20223 |        0 |        0
1701.70/1702.21	c 1702s |      27 | 13155616 | 12060733 |     1547  20240 |        0 |        0
1703.70/1704.22	c 1704s |      27 | 13171789 | 12074633 |     1547  20258 |        0 |        0
1705.71/1706.23	c 1706s |      27 | 13187857 | 12088633 |     1547  20275 |        0 |        0
1707.70/1708.23	c 1708s |      27 | 13203948 | 12102533 |     1547  20293 |        0 |        0
1709.70/1710.24	c 1710s |      27 | 13220592 | 12116833 |     1547  20310 |        0 |        0
1711.70/1712.25	c 1712s |      27 | 13236531 | 12130733 |     1547  20328 |        0 |        0
1713.70/1714.25	c 1714s |      27 | 13252614 | 12144433 |     1547  20345 |        0 |        0
1715.70/1716.25	c 1716s |      27 | 13268099 | 12158333 |     1547  20362 |        0 |        0
1717.70/1718.25	c 1718s |      27 | 13284105 | 12172633 |     1547  20380 |        0 |        0
1719.70/1720.25	c 1720s |      27 | 13300059 | 12187033 |     1547  20398 |        0 |        0
1721.70/1722.26	c 1722s |      27 | 13316765 | 12201433 |     1547  20416 |        0 |        0
1723.70/1724.28	c 1724s |      27 | 13333212 | 12215333 |     1547  20434 |        0 |        0
1725.70/1726.28	c 1726s |      27 | 13349374 | 12229833 |     1547  20452 |        0 |        0
1727.71/1728.28	c 1728s |      27 | 13365355 | 12243933 |     1547  20470 |        0 |        0
1729.70/1730.28	c 1730s |      27 | 13381789 | 12257933 |     1547  20487 |        0 |        0
1731.70/1732.29	c 1732s |      27 | 13398043 | 12272033 |     1547  20505 |        0 |        0
1733.80/1734.30	c 1734s |      27 | 13414907 | 12286333 |     1547  20523 |        0 |        0
1735.80/1736.30	c 1736s |      27 | 13430462 | 12300133 |     1547  20540 |        0 |        0
1737.80/1738.31	c 1738s |      27 | 13447690 | 12314233 |     1547  20558 |        0 |        0
1739.81/1740.33	c 1740s |      27 | 13465070 | 12328433 |     1547  20576 |        0 |        0
1741.80/1742.33	c 1742s |      27 | 13482282 | 12342533 |     1547  20594 |        0 |        0
1743.80/1744.34	c 1744s |      27 | 13500320 | 12356833 |     1547  20611 |        0 |        0
1745.80/1746.35	c 1746s |      27 | 13517982 | 12371033 |     1547  20629 |        0 |        0
1747.80/1748.35	c 1748s |      27 | 13532878 | 12384933 |     1547  20647 |        0 |        0
1749.80/1750.36	c 1750s |      27 | 13548392 | 12399233 |     1547  20665 |        0 |        0
1751.80/1752.36	c 1752s |      27 | 13563620 | 12413533 |     1547  20683 |        0 |        0
1753.80/1754.36	c 1754s |      27 | 13579119 | 12427733 |     1547  20700 |        0 |        0
1755.80/1756.36	c 1756s |      27 | 13594184 | 12441633 |     1547  20718 |        0 |        0
1757.80/1758.38	c 1758s |      27 | 13609076 | 12455733 |     1547  20736 |        0 |        0
1759.79/1760.38	c 1760s |      27 | 13624600 | 12469833 |     1547  20753 |        0 |        0
1761.80/1762.39	c 1762s |      27 | 13640293 | 12484333 |     1547  20771 |        0 |        0
1763.79/1764.40	c 1764s |      27 | 13655941 | 12498833 |     1547  20789 |        0 |        0
1765.89/1766.40	c 1766s |      27 | 13671223 | 12513233 |     1547  20808 |        0 |        0
1767.89/1768.41	c 1768s |      27 | 13686889 | 12527333 |     1547  20825 |        0 |        0
1769.89/1770.42	c 1770s |      27 | 13701923 | 12541633 |     1547  20843 |        0 |        0
1771.89/1772.42	c 1772s |      27 | 13717028 | 12555733 |     1547  20861 |        0 |        0
1773.90/1774.43	c 1774s |      27 | 13732435 | 12570033 |     1547  20879 |        0 |        0
1775.89/1776.43	c 1776s |      27 | 13747775 | 12584133 |     1547  20896 |        0 |        0
1777.89/1778.44	c 1778s |      27 | 13763303 | 12598333 |     1547  20914 |        0 |        0
1779.89/1780.45	c 1780s |      27 | 13778884 | 12612633 |     1547  20932 |        0 |        0
1781.89/1782.45	c 1782s |      27 | 13793932 | 12626833 |     1547  20950 |        0 |        0
1783.89/1784.46	c 1784s |      27 | 13809147 | 12641133 |     1547  20968 |        0 |        0
1785.89/1786.46	c 1786s |      27 | 13824746 | 12655333 |     1547  20986 |        0 |        0
1787.89/1788.46	c 1788s |      27 | 13840110 | 12669533 |     1547  21003 |        0 |        0
1789.89/1790.47	c 1790s |      27 | 13855494 | 12683733 |     1547  21021 |        0 |        0
1791.89/1792.47	c 1792s |      27 | 13871426 | 12698133 |     1547  21039 |        0 |        0
1793.89/1794.48	c 1794s |      27 | 13886933 | 12711833 |     1547  21056 |        0 |        0
1795.90/1796.48	c 1796s |      27 | 13902243 | 12725733 |     1547  21074 |        0 |        0
1797.89/1798.49	c 1798s |      27 | 13917640 | 12739933 |     1547  21092 |        0 |        0
1799.89/1800.49	c 1800s |      27 | 13933039 | 12753933 |     1547  21109 |        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-4089260-1466024554/watcher-4089260-1466024554 -o /tmp/evaluation-result-4089260-1466024554/solver-4089260-1466024554 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089260-1466024554.opb 

pid=8043
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.04 2.11 2.09 3/179 8046
/proc/meminfo: memFree=30452828/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=625084 CPUtime=0 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 2313 0 0 0 0 0 0 0 20 0 4 0 4500810 640086016 2673 33554432000 4194304 16246674 140734759448352 140734759447776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 156783 2683 441 2943 0 153677 0
[pid=8046/tid=8047] ppid=8043 vsize=642492 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 657911808 2743 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=646588 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 662106112 2759 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=650684 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 666300416 2776 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.04 2.11 2.09 3/179 8046
/proc/meminfo: memFree=30452828/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 29420 0 0 0 5 3 0 0 20 0 4 0 4500810 1247350784 29769 33554432000 4194304 16246674 140734759448352 140734759447776 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 304529 29785 713 2943 0 301423 0
[pid=8046/tid=8047] ppid=8043 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1247350784 29793 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1247350784 29800 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1247350784 29805 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200516 s]
/proc/loadavg: 2.04 2.11 2.09 3/179 8046
/proc/meminfo: memFree=30452828/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 58094 0 0 0 11 8 0 0 20 0 4 0 4500810 1247350784 58444 33554432000 4194304 16246674 140734759448352 140734759447776 13192110 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 304529 58451 713 2943 0 301423 0
[pid=8046/tid=8047] ppid=8043 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1247350784 58458 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1247350784 58468 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1247350784 58481 33554432000 4194304 16246674 140734759448352 140007276801200 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.300481 s]
/proc/loadavg: 2.04 2.11 2.09 3/179 8046
/proc/meminfo: memFree=30452828/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 87166 0 0 0 17 12 0 0 20 0 4 0 4500810 1247350784 87515 33554432000 4194304 16246674 140734759448352 140734759447776 5707789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 304529 87532 713 2943 0 301423 0
[pid=8046/tid=8047] ppid=8043 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1247350784 87541 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1247350784 87550 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1247350784 87557 33554432000 4194304 16246674 140734759448352 140007276801200 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.700396 s]
/proc/loadavg: 2.04 2.11 2.09 3/179 8046
/proc/meminfo: memFree=30452828/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 204353 0 0 0 41 27 0 0 20 0 4 0 4500810 1247350784 204703 33554432000 4194304 16246674 140734759448352 140734759430272 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 304529 204714 713 2943 0 301423 0
[pid=8046/tid=8047] ppid=8043 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1247350784 204722 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1247350784 204732 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1247350784 204741 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50035 s]
/proc/loadavg: 2.04 2.11 2.09 3/183 8050
/proc/meminfo: memFree=29470808/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1305156 CPUtime=1.48 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 267273 0 0 0 112 36 0 0 20 0 4 0 4500810 1336479744 267602 33554432000 4194304 16246674 140734759448352 140734759447664 12875598 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 326289 267602 791 2943 0 323183 0
[pid=8046/tid=8047] ppid=8043 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1336479744 267602 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1336479744 267602 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1336479744 267602 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1305156

[startup+3.1004 s]
/proc/loadavg: 2.04 2.11 2.09 3/183 8050
/proc/meminfo: memFree=29382504/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 267444 0 0 0 272 36 0 0 20 0 4 0 4500810 1337528320 267773 33554432000 4194304 16246674 140734759448352 140734759431352 5717656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 326545 267773 791 2943 0 323439 0
[pid=8046/tid=8047] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267773 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267773 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267773 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.04 2.11 2.09 3/183 8050
/proc/meminfo: memFree=29382308/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 267445 0 0 0 592 36 0 0 20 0 4 0 4500810 1337528320 267774 33554432000 4194304 16246674 140734759448352 140734759431352 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 326545 267774 791 2943 0 323439 0
[pid=8046/tid=8047] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267774 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267774 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267774 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.03 2.11 2.08 3/183 8050
/proc/meminfo: memFree=29381776/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 267470 0 0 0 1232 36 0 0 20 0 4 0 4500810 1337528320 267799 33554432000 4194304 16246674 140734759448352 140734759431352 5667556 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 326545 267799 792 2943 0 323439 0
[pid=8046/tid=8047] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267799 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267799 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267799 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.03 2.10 2.08 3/183 8050
/proc/meminfo: memFree=29381364/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 267478 0 0 0 2512 37 0 0 20 0 4 0 4500810 1337528320 267807 33554432000 4194304 16246674 140734759448352 140734759431352 12483464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 326545 267807 792 2943 0 323439 0
[pid=8046/tid=8047] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267807 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267807 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267807 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.08 2.11 2.09 3/183 8050
/proc/meminfo: memFree=29380852/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 267527 0 0 0 5071 38 0 0 20 0 4 0 4500810 1337528320 267856 33554432000 4194304 16246674 140734759448352 140734759431352 6020448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 326545 267856 792 2943 0 323439 0
[pid=8046/tid=8047] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267856 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267856 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1337528320 267856 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.07 2.10 2.09 4/183 8052
/proc/meminfo: memFree=29379376/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 267787 0 0 0 10190 38 0 0 20 0 4 0 4500810 1338576896 268116 33554432000 4194304 16246674 140734759448352 140734759431352 5546023 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 326801 268116 792 2943 0 323695 0
[pid=8046/tid=8047] ppid=8043 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1338576896 268116 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1338576896 268116 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1338576896 268116 33554432000 4194304 16246674 140734759448352 140007276801200 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/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 1317444

[startup+1302.3 s]
/proc/loadavg: 2.06 2.09 2.08 4/183 8082
/proc/meminfo: memFree=29360976/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1317444 CPUtime=1301.89 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 270770 0 0 0 130129 60 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140734759431352 5675997 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 329361 270976 793 2943 0 326255 0
[pid=8046/tid=8047] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1317444

[startup+1362.3 s]
/proc/loadavg: 2.09 2.09 2.08 3/183 8083
/proc/meminfo: memFree=29360252/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1317444 CPUtime=1361.86 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 270812 0 0 0 136125 61 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140734759430272 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 329361 270976 793 2943 0 326255 0
[pid=8046/tid=8047] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1317444

[startup+1422.3 s]
/proc/loadavg: 2.18 2.11 2.09 3/183 8084
/proc/meminfo: memFree=29360292/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1317444 CPUtime=1421.86 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 270812 0 0 0 142124 62 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140734759431352 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 329361 270976 793 2943 0 326255 0
[pid=8046/tid=8047] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1317444

[startup+1482.3 s]
/proc/loadavg: 2.17 2.12 2.09 3/183 8085
/proc/meminfo: memFree=29360640/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1317444 CPUtime=1481.84 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 270812 0 0 0 148121 63 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140734759430272 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 329361 270976 793 2943 0 326255 0
[pid=8046/tid=8047] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1317444

[startup+1542.31 s]
/proc/loadavg: 2.11 2.11 2.09 3/183 8086
/proc/meminfo: memFree=29360752/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1317444 CPUtime=1541.83 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 270812 0 0 0 154120 63 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140734759430272 5588976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 329361 270976 793 2943 0 326255 0
[pid=8046/tid=8047] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1317444

[startup+1602.3 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 8088
/proc/meminfo: memFree=29360856/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1317444 CPUtime=1601.82 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 270812 0 0 0 160118 64 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140734759431352 5723568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 329361 270976 793 2943 0 326255 0
[pid=8046/tid=8047] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1317444

[startup+1662.3 s]
/proc/loadavg: 2.16 2.11 2.09 3/184 8141
/proc/meminfo: memFree=29370020/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1317444 CPUtime=1661.81 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 270812 0 0 0 166116 65 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140734759447528 5722604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 329361 270976 793 2943 0 326255 0
[pid=8046/tid=8047] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1317444

[startup+1722.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/183 8142
/proc/meminfo: memFree=29369444/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1317444 CPUtime=1721.8 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 270812 0 0 0 172114 66 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140734759430272 5721365 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 329361 270976 793 2943 0 326255 0
[pid=8046/tid=8047] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.06 2.09 2.09 3/183 8143
/proc/meminfo: memFree=29368880/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1317444 CPUtime=1781.79 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 270812 0 0 0 178112 67 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140734759431352 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 329361 270976 793 2943 0 326255 0
[pid=8046/tid=8047] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.05 2.08 2.08 3/183 8143
/proc/meminfo: memFree=29368636/32872528 swapFree=496356/529060
[pid=8046] ppid=8043 vsize=1317444 CPUtime=1800.09 cores=0,2,4,6
/proc/8046/stat : 8046 (toysat) R 8043 8046 5955 0 -1 4202496 270812 0 0 0 179941 68 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140734759431352 6836953 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8046/statm: 329361 270976 793 2943 0 326255 0
[pid=8046/tid=8047] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8047/stat : 8047 (toysat) S 8043 8046 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007368010992 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8046/tid=8048] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8048/stat : 8048 (toysat) S 8043 8046 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007357521136 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=8046/tid=8049] ppid=8043 vsize=1317444 CPUtime=0 cores=0,2,4,6
/proc/8046/task/8049/stat : 8049 (toysat) S 8043 8046 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4500810 1349062656 270976 33554432000 4194304 16246674 140734759448352 140007276801200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1317444

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8046 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.1
CPU user time (s): 1799.42
CPU system time (s): 0.681896
CPU usage (%): 99.972
Max. virtual memory (cumulated for all children) (KiB): 1317444

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.681896
maximum resident set size= 1083904
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270812
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= 435
involuntary context switches= 1973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.62599 second user time and 8.73867 second system time

The end

Begin job on node141 at 2016-06-15 23:02:34
IDJOB=4089260
IDBENCH=107381
IDSOLVER=2542
FILE ID=node141/4089260-1466024554
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= 5cdf9332d1f457bd7da81a11151fa573
RANDOM SEED=1755424962

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30453000 kB
Buffers:           28488 kB
Cached:            75440 kB
SwapCached:        13072 kB
Active:          1136276 kB
Inactive:          54112 kB
Active(anon):    1076676 kB
Inactive(anon):    12008 kB
Active(file):      59600 kB
Inactive(file):    42104 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16420 kB
Writeback:             0 kB
AnonPages:       1603184 kB
Mapped:            10388 kB
Shmem:                 0 kB
Slab:             566836 kB
SReclaimable:      10640 kB
SUnreclaim:       556196 kB
KernelStack:        1464 kB
PageTables:         6960 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1747776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71716 MiB
End job on node141 at 2016-06-15 23:32:35