0.00/0.00	c 2016-06-15T20:04:04+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-4088707-1466013843.opb"]
0.00/0.01	c use --random-gen="2992754526 3096547435 1919749981 1383773500 179390860 957198509 1430084489 4149231465 1174903331 2153507903 283920316 2800399184 1807764203 4027098631 1048150736 545675175 3499404254 2682423143 463420566 1222764886 327536104 43499516 852049536 3171004301 3662266840 3985978560 161662807 3477072680 3762058085 2632819400 1557000085 1090722452 2464030571 688197106 1516035184 1500763728 1809118398 4250029649 2686080777 1686688622 1578348664 2416559479 2351219501 516249149 773519735 2155480741 1838230021 1457758312 749697784 3744998674 2119097910 3117694234 1378036127 3059325393 4286662501 2305081886 960143098 3172425042 1898607638 2155534126 4140738805 3751849401 3540776497 37948748 484722049 4015599165 795179825 3805128020 2244279969 1356821216 1082582628 2147209353 1175570639 2979026942 1169754858 1358445541 4128992015 1872219145 1035422037 199159675 873089496 3152830132 1549157515 4136645974 976396176 1611809808 3190076063 3195159764 2646714483 1117125557 1226671331 905338982 63211603 2587665801 2883498290 2031925373 3173614287 1174130436 3920410435 3984634301 933483156 1254845230 1128146781 2391036761 860545795 2662511767 1215447540 1084956514 2056771821 3841085046 478022765 360386226 2405161779 2657175096 3668709012 3041175143 1221600983 1137017884 3937284947 938074986 3709956668 3017686105 2461617285 614519854 1547743821 2708606770 1713992482 949893591 1443381533 3773372724 3186937407 988267988 2882663819 1736512883 3286032559 2639732119 2186755197 1215813377 3677410112 1602497735 1022580045 1930488424 30850854 1300042144 2217665595 1043506934 3646685783 392776049 836884901 2024819688 444320781 2565113881 467870384 2959678480 2042221090 2263326984 2168555182 3420030913 741651056 101710505 2459053932 2488441111 1823573594 2366843560 2151070928 2390739670 1197570991 954146964 2635550272 343356224 2064763960 1525932731 2202093144 3752081335 2124567952 1767045810 1687391367 78826274 4231737829 660043335 3215334343 3772549784 1504585163 3947303513 2355660913 3209055383 2222781954 2745508736 4160417035 3264371569 2278678270 753859253 2707651136 3886231931 2649229027 28730455 1472977819 2972908779 2467894596 4051996563 2186229354 1409626456 4066669307 4004647163 3485952295 1611874336 3250322717 4264008202 2964086445 1578363515 1466657301 3368580461 1718336870 2772322563 237055070 3781275654 249870435 953064627 1369702417 1591135388 2884957804 1010794446 1799181109 1281997601 1606304430 229717124 3066357739 3309853720 1240837020 2805878769 3845157301 1445422270 795621137 3132731599 4291925234 194429334 1226071904 2279547855 2736665220 1309232384 1453950909 3549464650 100757132 2158402410 1949737548 1461245193 447409563 2019731066 2638782195 1249800242 1897107903 2951248260 2647166538 3663162657 3643496341 654440398 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1101
0.00/0.02	c #constraints 551
0.00/0.04	c Solving starts ...
0.00/0.04	c ============================[ Search Statistics ]============================
0.00/0.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.04	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.04	c =============================================================================
0.00/0.04	c  0.0s |       0 |        0 |        0 |      734      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      634 |      100 |      734      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |     1323 |      250 |      808      0 |        0 |        0
0.00/0.08	c  0.0s |       3 |     2111 |      475 |      889      0 |        0 |        0
0.09/0.11	c  0.1s |       4 |     3076 |      813 |      978      0 |        0 |        0
0.09/0.16	c  0.1s |       5 |     3814 |     1320 |     1076      1 |        0 |        0
0.19/0.23	c  0.2s |       6 |     5590 |     2081 |     1303      1 |        0 |        0
0.29/0.36	c  0.3s |       7 |     7641 |     3223 |     1434      2 |        0 |        0
0.49/0.58	c  0.5s |       8 |    10053 |     4936 |     1578      5 |        0 |        0
0.78/0.86	c  0.8s |       9 |    13925 |     7506 |     1736      7 |        0 |        0
1.29/1.37	c  1.3s |      10 |    20114 |    11361 |     1910     10 |        0 |        0
1.98/2.07	c  2.0s |      11 |    28290 |    17144 |     2101     16 |        0 |        0
2.99/3.02	c  3.0s |      12 |    40884 |    25819 |     2312     21 |        0 |        0
4.49/4.52	c  4.5s |      13 |    58140 |    38832 |     2544     31 |        0 |        0
6.49/6.53	c  6.5s |      13 |    82616 |    57232 |     2544     43 |        0 |        0
6.60/6.66	c  6.6s |      14 |    84165 |    58352 |     2799     43 |        0 |        0
8.58/8.66	c  8.6s |      14 |   108423 |    74952 |     2799     53 |        0 |        0
9.98/10.01	c 10.0s |      15 |   125842 |    87632 |     3079     61 |        0 |        0
11.97/12.02	c 12.0s |      15 |   148614 |   102832 |     3079     69 |        0 |        0
13.97/14.04	c 14.0s |      15 |   165819 |   116632 |     3079     76 |        0 |        0
15.97/16.01	c 16.0s |      16 |   187540 |   131552 |     3387     84 |        0 |        0
17.97/18.02	c 18.0s |      16 |   205061 |   145452 |     3387     92 |        0 |        0
19.97/20.03	c 20.0s |      16 |   224882 |   160752 |     3387    101 |        0 |        0
21.98/22.04	c 22.0s |      16 |   247143 |   177752 |     3387    111 |        0 |        0
23.97/24.04	c 24.0s |      16 |   267770 |   192752 |     3387    118 |        0 |        0
24.57/24.68	c 24.6s |      17 |   273689 |   197432 |     3726    120 |        0 |        0
26.57/26.69	c 26.7s |      17 |   292907 |   211632 |     3726    127 |        0 |        0
28.57/28.69	c 28.7s |      17 |   313228 |   226432 |     3726    133 |        0 |        0
30.67/30.70	c 30.7s |      17 |   333368 |   240832 |     3726    140 |        0 |        0
32.67/32.70	c 32.7s |      17 |   353042 |   254632 |     3726    146 |        0 |        0
34.67/34.71	c 34.7s |      17 |   373038 |   269232 |     3726    153 |        0 |        0
36.67/36.72	c 36.7s |      17 |   390533 |   282532 |     3726    159 |        0 |        0
38.67/38.73	c 38.7s |      17 |   408043 |   296132 |     4099    165 |        0 |        0
38.67/38.74	c 38.7s |      18 |   408229 |   296252 |     4099    165 |        0 |        0
40.67/40.76	c 40.7s |      18 |   427886 |   310352 |     4099    171 |        0 |        0
42.66/42.76	c 42.7s |      18 |   446264 |   324352 |     4099    176 |        0 |        0
44.67/44.77	c 44.7s |      18 |   466303 |   339652 |     4099    183 |        0 |        0
46.67/46.78	c 46.7s |      18 |   482235 |   351852 |     4099    188 |        0 |        0
48.67/48.79	c 48.8s |      18 |   498784 |   364852 |     4099    193 |        0 |        0
50.77/50.80	c 50.8s |      18 |   514686 |   377152 |     4099    198 |        0 |        0
52.78/52.82	c 52.8s |      18 |   532840 |   390652 |     4099    204 |        0 |        0
54.77/54.82	c 54.8s |      18 |   545834 |   401252 |     4099    208 |        0 |        0
56.77/56.83	c 56.8s |      18 |   564152 |   415052 |     4099    214 |        0 |        0
58.77/58.84	c 58.8s |      18 |   579289 |   426652 |     4099    218 |        0 |        0
60.77/60.86	c 60.8s |      18 |   595243 |   439152 |     4099    224 |        0 |        0
61.77/61.87	c 61.8s |      19 |   601553 |   444482 |     4509    226 |        0 |        0
63.77/63.89	c 63.9s |      19 |   624358 |   460682 |     4509    232 |        0 |        0
65.87/65.90	c 65.9s |      19 |   641419 |   473482 |     4509    237 |        0 |        0
67.86/67.91	c 67.9s |      19 |   661010 |   488282 |     4509    242 |        0 |        0
69.86/69.91	c 69.9s |      19 |   677511 |   501382 |     4509    247 |        0 |        0
71.86/71.92	c 71.9s |      19 |   696453 |   515782 |     4509    253 |        0 |        0
73.86/73.94	c 73.9s |      19 |   714770 |   530182 |     4509    259 |        0 |        0
75.86/75.94	c 75.9s |      19 |   733099 |   544482 |     4509    264 |        0 |        0
77.86/77.96	c 77.9s |      19 |   750191 |   557382 |     4509    269 |        0 |        0
79.86/79.97	c 79.9s |      19 |   768609 |   571382 |     4509    275 |        0 |        0
81.86/81.98	c 81.9s |      19 |   781608 |   582182 |     4509    279 |        0 |        0
83.86/83.98	c 83.9s |      19 |   799177 |   595082 |     4509    284 |        0 |        0
85.96/86.00	c 86.0s |      19 |   814183 |   606982 |     4509    289 |        0 |        0
87.86/88.00	c 88.0s |      19 |   832660 |   621182 |     4509    295 |        0 |        0
89.96/90.01	c 90.0s |      19 |   854202 |   637382 |     4509    301 |        0 |        0
91.96/92.02	c 92.0s |      19 |   872477 |   650882 |     4509    306 |        0 |        0
93.96/94.03	c 94.0s |      19 |   888887 |   663582 |     4960    311 |        0 |        0
94.57/94.65	c 94.6s |      20 |   892881 |   666827 |     4960    312 |        0 |        0
96.56/96.66	c 96.6s |      20 |   909496 |   679227 |     4960    317 |        0 |        0
98.56/98.66	c 98.6s |      20 |   923425 |   690327 |     4960    321 |        0 |        0
100.56/100.67	c  100s |      20 |   933898 |   699027 |     4960    324 |        0 |        0
102.56/102.68	c  102s |      20 |   948529 |   710327 |     4960    328 |        0 |        0
104.57/104.70	c  104s |      20 |   963826 |   722327 |     4960    332 |        0 |        0
106.56/106.70	c  106s |      20 |   979324 |   734027 |     4960    336 |        0 |        0
108.66/108.72	c  108s |      20 |   995899 |   746327 |     4960    341 |        0 |        0
110.66/110.73	c  110s |      20 |  1010121 |   757327 |     4960    344 |        0 |        0
112.66/112.75	c  112s |      20 |  1027773 |   770627 |     4960    349 |        0 |        0
114.66/114.76	c  114s |      20 |  1048154 |   785327 |     4960    354 |        0 |        0
116.67/116.76	c  116s |      20 |  1068709 |   800227 |     4960    360 |        0 |        0
118.66/118.76	c  118s |      20 |  1090596 |   816227 |     4960    365 |        0 |        0
120.66/120.76	c  120s |      20 |  1107309 |   828827 |     4960    370 |        0 |        0
122.66/122.77	c  122s |      20 |  1128434 |   844327 |     4960    375 |        0 |        0
124.66/124.78	c  124s |      20 |  1144180 |   856127 |     4960    379 |        0 |        0
126.66/126.78	c  126s |      20 |  1165619 |   871827 |     4960    385 |        0 |        0
128.76/128.81	c  128s |      20 |  1187340 |   887527 |     4960    391 |        0 |        0
130.76/130.81	c  130s |      20 |  1207103 |   902127 |     4960    396 |        0 |        0
132.76/132.81	c  132s |      20 |  1222939 |   914227 |     4960    400 |        0 |        0
134.75/134.82	c  134s |      20 |  1234597 |   923427 |     4960    403 |        0 |        0
136.75/136.83	c  136s |      20 |  1250638 |   935427 |     4960    408 |        0 |        0
138.75/138.84	c  138s |      20 |  1272297 |   951527 |     4960    413 |        0 |        0
140.76/140.85	c  140s |      20 |  1291817 |   966227 |     4960    418 |        0 |        0
142.75/142.86	c  142s |      20 |  1310132 |   980627 |     4960    424 |        0 |        0
144.75/144.87	c  144s |      20 |  1326118 |   993227 |     5456    428 |        0 |        0
146.05/146.16	c  146s |      21 |  1335721 |  1000345 |     5456    430 |        0 |        0
148.05/148.16	c  148s |      21 |  1352403 |  1012745 |     5456    435 |        0 |        0
150.05/150.16	c  150s |      21 |  1367816 |  1024445 |     5456    439 |        0 |        0
152.05/152.18	c  152s |      21 |  1386415 |  1038545 |     5456    444 |        0 |        0
154.05/154.18	c  154s |      21 |  1406117 |  1053045 |     5456    449 |        0 |        0
156.05/156.19	c  156s |      21 |  1425978 |  1067845 |     5456    454 |        0 |        0
158.05/158.19	c  158s |      21 |  1441527 |  1080245 |     5456    459 |        0 |        0
160.04/160.20	c  160s |      21 |  1459178 |  1093645 |     5456    463 |        0 |        0
162.15/162.22	c  162s |      21 |  1476702 |  1106345 |     5456    467 |        0 |        0
164.15/164.23	c  164s |      21 |  1492240 |  1117845 |     5456    471 |        0 |        0
166.16/166.25	c  166s |      21 |  1509398 |  1130845 |     5456    476 |        0 |        0
168.15/168.27	c  168s |      21 |  1529179 |  1145745 |     5456    481 |        0 |        0
170.15/170.27	c  170s |      21 |  1546825 |  1159745 |     5456    485 |        0 |        0
172.15/172.29	c  172s |      21 |  1563126 |  1172545 |     5456    489 |        0 |        0
174.15/174.29	c  174s |      21 |  1578943 |  1185145 |     5456    494 |        0 |        0
176.15/176.29	c  176s |      21 |  1594033 |  1196545 |     5456    497 |        0 |        0
178.15/178.30	c  178s |      21 |  1608547 |  1208445 |     5456    501 |        0 |        0
180.25/180.32	c  180s |      21 |  1621339 |  1218845 |     5456    505 |        0 |        0
182.25/182.33	c  182s |      21 |  1633651 |  1228445 |     5456    508 |        0 |        0
184.25/184.34	c  184s |      21 |  1648805 |  1240045 |     5456    512 |        0 |        0
186.24/186.36	c  186s |      21 |  1666023 |  1253145 |     5456    516 |        0 |        0
188.24/188.38	c  188s |      21 |  1680078 |  1264345 |     5456    520 |        0 |        0
190.25/190.38	c  190s |      21 |  1696060 |  1276745 |     5456    524 |        0 |        0
192.24/192.39	c  192s |      21 |  1715120 |  1290845 |     5456    529 |        0 |        0
194.34/194.40	c  194s |      21 |  1733739 |  1304745 |     5456    533 |        0 |        0
196.34/196.40	c  196s |      21 |  1746846 |  1315045 |     5456    536 |        0 |        0
198.34/198.42	c  198s |      21 |  1761594 |  1326245 |     5456    540 |        0 |        0
200.34/200.44	c  200s |      21 |  1777182 |  1338445 |     5456    544 |        0 |        0
202.34/202.45	c  202s |      21 |  1794747 |  1351345 |     5456    549 |        0 |        0
204.34/204.46	c  204s |      21 |  1810722 |  1363745 |     5456    553 |        0 |        0
206.35/206.47	c  206s |      21 |  1825439 |  1375045 |     5456    556 |        0 |        0
208.35/208.48	c  208s |      21 |  1838299 |  1385445 |     5456    560 |        0 |        0
210.35/210.48	c  210s |      21 |  1852994 |  1397345 |     5456    564 |        0 |        0
212.35/212.49	c  212s |      21 |  1864363 |  1406945 |     5456    567 |        0 |        0
214.34/214.50	c  214s |      21 |  1880230 |  1419645 |     5456    571 |        0 |        0
216.44/216.54	c  216s |      21 |  1898435 |  1432845 |     5456    575 |        0 |        0
218.44/218.55	c  218s |      21 |  1914314 |  1445045 |     5456    579 |        0 |        0
220.44/220.56	c  220s |      21 |  1925097 |  1453745 |     5456    582 |        0 |        0
222.44/222.57	c  222s |      21 |  1936539 |  1463245 |     5456    585 |        0 |        0
224.45/224.57	c  224s |      21 |  1952557 |  1475745 |     5456    589 |        0 |        0
226.44/226.58	c  226s |      21 |  1967903 |  1487845 |     5456    593 |        0 |        0
228.44/228.56	c  228s |      22 |  1984475 |  1500622 |     6002    597 |        0 |        0
230.44/230.58	c  230s |      22 |  2002139 |  1512922 |     6002    601 |        0 |        0
232.44/232.59	c  232s |      22 |  2016009 |  1523922 |     6002    604 |        0 |        0
234.54/234.60	c  234s |      22 |  2027270 |  1533322 |     6002    607 |        0 |        0
236.54/236.62	c  236s |      22 |  2038734 |  1542222 |     6002    610 |        0 |        0
238.53/238.63	c  238s |      22 |  2056854 |  1555122 |     6002    613 |        0 |        0
240.53/240.65	c  240s |      22 |  2070167 |  1565322 |     6002    616 |        0 |        0
242.53/242.65	c  242s |      22 |  2081741 |  1574322 |     6002    619 |        0 |        0
244.53/244.66	c  244s |      22 |  2096368 |  1585622 |     6002    622 |        0 |        0
246.53/246.67	c  246s |      22 |  2112536 |  1597622 |     6002    626 |        0 |        0
248.54/248.69	c  248s |      22 |  2127069 |  1609322 |     6002    629 |        0 |        0
250.63/250.70	c  250s |      22 |  2141974 |  1620922 |     6002    633 |        0 |        0
252.63/252.71	c  252s |      22 |  2158014 |  1633022 |     6002    636 |        0 |        0
254.63/254.72	c  254s |      22 |  2170921 |  1643022 |     6002    639 |        0 |        0
256.64/256.73	c  256s |      22 |  2185227 |  1654022 |     6002    643 |        0 |        0
258.64/258.73	c  258s |      22 |  2202224 |  1666522 |     6002    646 |        0 |        0
260.64/260.76	c  260s |      22 |  2216559 |  1677622 |     6002    650 |        0 |        0
262.64/262.77	c  262s |      22 |  2229626 |  1687522 |     6002    652 |        0 |        0
264.63/264.77	c  264s |      22 |  2244967 |  1699122 |     6002    656 |        0 |        0
266.63/266.78	c  266s |      22 |  2259826 |  1710722 |     6002    659 |        0 |        0
268.63/268.79	c  268s |      22 |  2278986 |  1724922 |     6002    663 |        0 |        0
270.73/270.82	c  270s |      22 |  2296000 |  1738222 |     6002    667 |        0 |        0
272.74/272.82	c  272s |      22 |  2310554 |  1749622 |     6002    671 |        0 |        0
274.73/274.83	c  274s |      22 |  2324836 |  1760622 |     6002    675 |        0 |        0
276.73/276.85	c  276s |      22 |  2338855 |  1771322 |     6002    678 |        0 |        0
278.73/278.85	c  278s |      22 |  2352632 |  1782122 |     6002    681 |        0 |        0
280.73/280.86	c  280s |      22 |  2369796 |  1795122 |     6002    685 |        0 |        0
282.74/282.87	c  282s |      22 |  2387696 |  1807022 |     6002    689 |        0 |        0
284.73/284.88	c  284s |      22 |  2405565 |  1819822 |     6002    693 |        0 |        0
286.73/286.89	c  286s |      22 |  2425352 |  1834322 |     6002    697 |        0 |        0
288.83/288.92	c  288s |      22 |  2444287 |  1847822 |     6002    701 |        0 |        0
290.83/290.95	c  290s |      22 |  2460824 |  1860722 |     6002    705 |        0 |        0
292.83/292.95	c  292s |      22 |  2479820 |  1874822 |     6002    710 |        0 |        0
294.83/294.96	c  294s |      22 |  2499158 |  1889022 |     6002    714 |        0 |        0
296.82/296.97	c  296s |      22 |  2520832 |  1904622 |     6002    719 |        0 |        0
298.82/298.97	c  298s |      22 |  2541082 |  1919622 |     6002    723 |        0 |        0
300.82/300.98	c  300s |      22 |  2559953 |  1933522 |     6002    728 |        0 |        0
302.82/302.99	c  302s |      22 |  2577605 |  1946722 |     6002    732 |        0 |        0
304.83/304.99	c  304s |      22 |  2596700 |  1960422 |     6002    736 |        0 |        0
306.84/307.00	c  306s |      22 |  2612936 |  1972722 |     6002    740 |        0 |        0
308.93/309.00	c  308s |      22 |  2632707 |  1987422 |     6002    744 |        0 |        0
310.93/311.00	c  310s |      22 |  2653715 |  2002622 |     6002    749 |        0 |        0
312.93/313.01	c  312s |      22 |  2672094 |  2016222 |     6002    753 |        0 |        0
314.93/315.02	c  314s |      22 |  2687887 |  2028222 |     6002    757 |        0 |        0
316.93/317.02	c  316s |      22 |  2702922 |  2039822 |     6002    760 |        0 |        0
318.93/319.02	c  318s |      22 |  2718320 |  2051422 |     6002    764 |        0 |        0
320.92/321.03	c  320s |      22 |  2734099 |  2063122 |     6002    767 |        0 |        0
322.92/323.04	c  323s |      22 |  2752481 |  2076722 |     6002    771 |        0 |        0
324.92/325.06	c  325s |      22 |  2769653 |  2089422 |     6002    775 |        0 |        0
326.92/327.06	c  327s |      22 |  2784458 |  2100622 |     6002    779 |        0 |        0
328.93/329.06	c  329s |      22 |  2796918 |  2110522 |     6002    782 |        0 |        0
330.92/331.06	c  331s |      22 |  2811961 |  2121622 |     6002    785 |        0 |        0
332.92/333.08	c  333s |      22 |  2829688 |  2134822 |     6002    789 |        0 |        0
334.92/335.09	c  335s |      22 |  2849771 |  2149722 |     6002    794 |        0 |        0
337.02/337.10	c  337s |      22 |  2861750 |  2159322 |     6002    797 |        0 |        0
339.02/339.10	c  339s |      22 |  2879908 |  2172422 |     6002    801 |        0 |        0
341.03/341.13	c  341s |      22 |  2890245 |  2181022 |     6002    804 |        0 |        0
343.02/343.14	c  343s |      22 |  2907481 |  2193722 |     6002    807 |        0 |        0
345.02/345.15	c  345s |      22 |  2926486 |  2207522 |     6002    812 |        0 |        0
347.02/347.15	c  347s |      22 |  2943995 |  2220322 |     6002    815 |        0 |        0
349.02/349.16	c  349s |      22 |  2963814 |  2234622 |     6002    820 |        0 |        0
351.02/351.16	c  351s |      22 |  2980142 |  2246622 |     6603    823 |        0 |        0
351.82/351.93	c  351s |      23 |  2985810 |  2251038 |     6603    824 |        0 |        0
353.82/353.95	c  353s |      23 |  3003159 |  2263538 |     6603    828 |        0 |        0
355.82/355.95	c  355s |      23 |  3020880 |  2276038 |     6603    831 |        0 |        0
357.82/357.96	c  357s |      23 |  3039295 |  2289738 |     6603    835 |        0 |        0
359.82/359.96	c  359s |      23 |  3059461 |  2304338 |     6603    839 |        0 |        0
361.82/361.97	c  361s |      23 |  3079395 |  2319038 |     6603    843 |        0 |        0
363.82/363.97	c  363s |      23 |  3096674 |  2332238 |     6603    847 |        0 |        0
365.92/366.00	c  365s |      23 |  3110399 |  2342538 |     6603    850 |        0 |        0
367.91/368.01	c  367s |      23 |  3130937 |  2357538 |     6603    854 |        0 |        0
369.91/370.02	c  369s |      23 |  3151123 |  2372438 |     6603    858 |        0 |        0
371.91/372.03	c  371s |      23 |  3164462 |  2382938 |     6603    861 |        0 |        0
373.92/374.04	c  374s |      23 |  3179094 |  2393938 |     6603    864 |        0 |        0
375.92/376.04	c  376s |      23 |  3197973 |  2408238 |     6603    867 |        0 |        0
377.92/378.05	c  378s |      23 |  3216396 |  2422138 |     6603    871 |        0 |        0
379.92/380.06	c  380s |      23 |  3234698 |  2436538 |     6603    875 |        0 |        0
381.92/382.06	c  382s |      23 |  3250726 |  2448438 |     6603    879 |        0 |        0
383.92/384.07	c  384s |      23 |  3267442 |  2460938 |     6603    882 |        0 |        0
385.92/386.08	c  386s |      23 |  3288540 |  2476538 |     6603    886 |        0 |        0
387.92/388.09	c  388s |      23 |  3309597 |  2491938 |     6603    891 |        0 |        0
389.92/390.09	c  390s |      23 |  3334715 |  2509238 |     6603    895 |        0 |        0
392.02/392.10	c  392s |      23 |  3350603 |  2521738 |     6603    899 |        0 |        0
394.02/394.12	c  394s |      23 |  3366834 |  2534438 |     6603    902 |        0 |        0
396.02/396.12	c  396s |      23 |  3380911 |  2545538 |     6603    905 |        0 |        0
398.01/398.13	c  398s |      23 |  3395829 |  2557438 |     6603    909 |        0 |        0
400.01/400.14	c  400s |      23 |  3412604 |  2569838 |     6603    912 |        0 |        0
402.01/402.15	c  402s |      23 |  3430102 |  2582838 |     6603    915 |        0 |        0
404.01/404.15	c  404s |      23 |  3441277 |  2592138 |     6603    918 |        0 |        0
406.01/406.15	c  406s |      23 |  3459683 |  2604938 |     6603    922 |        0 |        0
408.01/408.17	c  408s |      23 |  3478034 |  2618138 |     6603    925 |        0 |        0
410.01/410.17	c  410s |      23 |  3496396 |  2632138 |     6603    929 |        0 |        0
412.01/412.17	c  412s |      23 |  3516582 |  2646938 |     6603    933 |        0 |        0
414.02/414.19	c  414s |      23 |  3531852 |  2658938 |     6603    936 |        0 |        0
416.01/416.19	c  416s |      23 |  3546138 |  2670338 |     6603    939 |        0 |        0
418.11/418.20	c  418s |      23 |  3563254 |  2683438 |     6603    943 |        0 |        0
420.12/420.21	c  420s |      23 |  3575194 |  2693038 |     6603    946 |        0 |        0
422.11/422.22	c  422s |      23 |  3586930 |  2702238 |     6603    948 |        0 |        0
424.11/424.22	c  424s |      23 |  3598495 |  2711238 |     6603    951 |        0 |        0
426.11/426.24	c  426s |      23 |  3611047 |  2721038 |     6603    953 |        0 |        0
428.11/428.25	c  428s |      23 |  3625137 |  2732038 |     6603    956 |        0 |        0
430.12/430.26	c  430s |      23 |  3639304 |  2743238 |     6603    959 |        0 |        0
432.11/432.27	c  432s |      23 |  3652065 |  2753338 |     6603    962 |        0 |        0
434.11/434.29	c  434s |      23 |  3666064 |  2763938 |     6603    965 |        0 |        0
436.21/436.30	c  436s |      23 |  3674713 |  2771238 |     6603    967 |        0 |        0
438.21/438.32	c  438s |      23 |  3684526 |  2779438 |     6603    969 |        0 |        0
440.21/440.33	c  440s |      23 |  3698086 |  2789938 |     6603    972 |        0 |        0
442.21/442.34	c  442s |      23 |  3712731 |  2800838 |     6603    975 |        0 |        0
444.21/444.34	c  444s |      23 |  3726706 |  2811638 |     6603    978 |        0 |        0
446.21/446.35	c  446s |      23 |  3747541 |  2826038 |     6603    982 |        0 |        0
448.21/448.36	c  448s |      23 |  3767003 |  2840538 |     6603    986 |        0 |        0
450.20/450.38	c  450s |      23 |  3783748 |  2853238 |     6603    990 |        0 |        0
452.20/452.38	c  452s |      23 |  3809299 |  2870738 |     6603    994 |        0 |        0
454.21/454.39	c  454s |      23 |  3829097 |  2884938 |     6603    998 |        0 |        0
456.30/456.40	c  456s |      23 |  3847975 |  2898438 |     6603   1002 |        0 |        0
458.30/458.41	c  458s |      23 |  3867282 |  2911738 |     6603   1006 |        0 |        0
460.30/460.41	c  460s |      23 |  3889555 |  2928038 |     6603   1010 |        0 |        0
462.30/462.42	c  462s |      23 |  3908685 |  2942038 |     6603   1014 |        0 |        0
464.30/464.43	c  464s |      23 |  3931861 |  2958438 |     6603   1019 |        0 |        0
466.31/466.45	c  466s |      23 |  3948941 |  2970938 |     6603   1022 |        0 |        0
468.30/468.45	c  468s |      23 |  3969015 |  2985638 |     6603   1026 |        0 |        0
470.30/470.45	c  470s |      23 |  3985164 |  2997738 |     6603   1030 |        0 |        0
472.30/472.45	c  472s |      23 |  4000798 |  3009738 |     6603   1033 |        0 |        0
474.30/474.45	c  474s |      23 |  4010848 |  3018138 |     6603   1035 |        0 |        0
476.30/476.46	c  476s |      23 |  4029107 |  3031138 |     6603   1039 |        0 |        0
478.30/478.48	c  478s |      23 |  4044783 |  3043538 |     6603   1042 |        0 |        0
480.30/480.48	c  480s |      23 |  4055174 |  3051938 |     6603   1044 |        0 |        0
482.30/482.49	c  482s |      23 |  4074290 |  3065838 |     6603   1048 |        0 |        0
484.40/484.50	c  484s |      23 |  4092645 |  3079238 |     6603   1052 |        0 |        0
486.40/486.51	c  486s |      23 |  4107836 |  3091338 |     6603   1055 |        0 |        0
488.41/488.51	c  488s |      23 |  4124446 |  3103638 |     6603   1059 |        0 |        0
490.40/490.52	c  490s |      23 |  4139642 |  3115038 |     6603   1062 |        0 |        0
492.40/492.52	c  492s |      23 |  4158954 |  3129338 |     6603   1066 |        0 |        0
494.40/494.52	c  494s |      23 |  4177285 |  3142738 |     6603   1070 |        0 |        0
496.40/496.53	c  496s |      23 |  4193223 |  3155038 |     6603   1073 |        0 |        0
498.40/498.53	c  498s |      23 |  4207047 |  3165938 |     6603   1076 |        0 |        0
500.40/500.54	c  500s |      23 |  4221570 |  3177038 |     6603   1079 |        0 |        0
502.39/502.56	c  502s |      23 |  4236287 |  3188438 |     6603   1082 |        0 |        0
504.39/504.57	c  504s |      23 |  4251806 |  3199938 |     6603   1085 |        0 |        0
506.39/506.58	c  506s |      23 |  4266363 |  3210938 |     6603   1088 |        0 |        0
508.39/508.59	c  508s |      23 |  4283570 |  3223438 |     6603   1092 |        0 |        0
510.40/510.59	c  510s |      23 |  4299776 |  3235738 |     6603   1095 |        0 |        0
512.50/512.62	c  512s |      23 |  4315060 |  3247538 |     6603   1098 |        0 |        0
514.49/514.65	c  514s |      23 |  4327389 |  3257438 |     6603   1101 |        0 |        0
516.49/516.69	c  516s |      23 |  4343905 |  3270138 |     6603   1105 |        0 |        0
518.50/518.69	c  518s |      23 |  4361611 |  3284038 |     6603   1108 |        0 |        0
520.60/520.72	c  520s |      23 |  4376043 |  3295238 |     6603   1111 |        0 |        0
522.60/522.72	c  522s |      23 |  4389154 |  3305438 |     6603   1114 |        0 |        0
524.60/524.72	c  524s |      23 |  4406338 |  3318838 |     6603   1118 |        0 |        0
526.60/526.73	c  526s |      23 |  4422142 |  3331038 |     6603   1121 |        0 |        0
528.59/528.75	c  528s |      23 |  4434269 |  3340738 |     6603   1124 |        0 |        0
530.59/530.75	c  530s |      23 |  4450128 |  3352338 |     6603   1127 |        0 |        0
532.59/532.75	c  532s |      23 |  4465219 |  3363838 |     7264   1130 |        0 |        0
534.60/534.77	c  534s |      23 |  4481730 |  3376438 |     7264   1133 |        0 |        0
534.69/534.82	c  534s |      24 |  4481975 |  3376662 |     7264   1133 |        0 |        0
536.70/536.83	c  536s |      24 |  4498564 |  3389162 |     7264   1137 |        0 |        0
538.69/538.83	c  538s |      24 |  4511490 |  3399462 |     7264   1139 |        0 |        0
540.69/540.84	c  540s |      24 |  4527220 |  3411762 |     7264   1143 |        0 |        0
542.69/542.86	c  542s |      24 |  4543346 |  3423562 |     7264   1146 |        0 |        0
544.69/544.87	c  544s |      24 |  4558125 |  3434762 |     7264   1149 |        0 |        0
546.69/546.89	c  546s |      24 |  4568416 |  3443562 |     7264   1151 |        0 |        0
548.69/548.89	c  548s |      24 |  4578218 |  3451662 |     7264   1153 |        0 |        0
550.79/550.92	c  550s |      24 |  4588416 |  3459962 |     7264   1156 |        0 |        0
552.79/552.94	c  552s |      24 |  4604888 |  3471262 |     7264   1158 |        0 |        0
554.78/554.94	c  554s |      24 |  4616821 |  3480062 |     7264   1161 |        0 |        0
556.78/556.94	c  556s |      24 |  4627569 |  3488562 |     7264   1163 |        0 |        0
558.79/558.95	c  558s |      24 |  4643126 |  3499762 |     7264   1166 |        0 |        0
560.78/560.97	c  560s |      24 |  4656565 |  3509962 |     7264   1168 |        0 |        0
562.78/562.97	c  562s |      24 |  4668531 |  3518862 |     7264   1170 |        0 |        0
564.78/564.97	c  564s |      24 |  4684364 |  3530162 |     7264   1173 |        0 |        0
566.79/566.98	c  566s |      24 |  4698585 |  3540862 |     7264   1176 |        0 |        0
568.79/568.99	c  568s |      24 |  4711304 |  3550662 |     7264   1178 |        0 |        0
570.79/570.99	c  570s |      24 |  4728490 |  3563062 |     7264   1182 |        0 |        0
572.88/573.00	c  572s |      24 |  4744133 |  3574262 |     7264   1184 |        0 |        0
574.88/575.01	c  574s |      24 |  4755223 |  3582962 |     7264   1187 |        0 |        0
576.88/577.02	c  576s |      24 |  4766889 |  3592262 |     7264   1189 |        0 |        0
578.88/579.03	c  578s |      24 |  4776490 |  3600162 |     7264   1191 |        0 |        0
580.88/581.05	c  581s |      24 |  4788581 |  3609762 |     7264   1193 |        0 |        0
582.89/583.08	c  583s |      24 |  4798622 |  3617562 |     7264   1195 |        0 |        0
584.88/585.08	c  585s |      24 |  4810073 |  3625862 |     7264   1198 |        0 |        0
586.88/587.09	c  587s |      24 |  4824332 |  3636762 |     7264   1200 |        0 |        0
588.98/589.10	c  589s |      24 |  4837220 |  3646862 |     7264   1203 |        0 |        0
590.98/591.14	c  591s |      24 |  4852141 |  3658462 |     7264   1206 |        0 |        0
592.98/593.15	c  593s |      24 |  4866897 |  3669862 |     7264   1209 |        0 |        0
595.09/595.21	c  595s |      24 |  4880471 |  3680662 |     7264   1212 |        0 |        0
597.08/597.23	c  597s |      24 |  4895032 |  3691962 |     7264   1214 |        0 |        0
599.08/599.24	c  599s |      24 |  4909593 |  3703362 |     7264   1217 |        0 |        0
601.09/601.26	c  601s |      24 |  4924290 |  3714362 |     7264   1220 |        0 |        0
603.09/603.26	c  603s |      24 |  4941552 |  3726962 |     7264   1223 |        0 |        0
605.09/605.27	c  605s |      24 |  4954347 |  3736962 |     7264   1226 |        0 |        0
607.09/607.29	c  607s |      24 |  4967943 |  3747562 |     7264   1228 |        0 |        0
609.18/609.30	c  609s |      24 |  4980187 |  3756962 |     7264   1231 |        0 |        0
611.18/611.30	c  611s |      24 |  4990082 |  3765162 |     7264   1233 |        0 |        0
613.18/613.30	c  613s |      24 |  5002269 |  3775062 |     7264   1235 |        0 |        0
615.18/615.30	c  615s |      24 |  5013369 |  3783962 |     7264   1238 |        0 |        0
617.18/617.32	c  617s |      24 |  5027280 |  3794662 |     7264   1240 |        0 |        0
619.19/619.34	c  619s |      24 |  5040256 |  3804462 |     7264   1243 |        0 |        0
621.18/621.36	c  621s |      24 |  5051884 |  3813462 |     7264   1245 |        0 |        0
623.18/623.37	c  623s |      24 |  5066954 |  3824862 |     7264   1248 |        0 |        0
625.18/625.39	c  625s |      24 |  5080406 |  3835662 |     7264   1251 |        0 |        0
627.28/627.40	c  627s |      24 |  5088621 |  3842462 |     7264   1253 |        0 |        0
629.28/629.41	c  629s |      24 |  5103809 |  3853862 |     7264   1255 |        0 |        0
631.28/631.41	c  631s |      24 |  5117320 |  3864162 |     7264   1258 |        0 |        0
633.28/633.42	c  633s |      24 |  5131747 |  3874862 |     7264   1261 |        0 |        0
635.28/635.43	c  635s |      24 |  5146967 |  3886262 |     7264   1264 |        0 |        0
637.28/637.47	c  637s |      24 |  5160722 |  3896762 |     7264   1266 |        0 |        0
639.27/639.49	c  639s |      24 |  5174840 |  3907562 |     7264   1269 |        0 |        0
641.37/641.51	c  641s |      24 |  5187573 |  3917462 |     7264   1271 |        0 |        0
643.38/643.51	c  643s |      24 |  5202378 |  3928562 |     7264   1274 |        0 |        0
645.37/645.51	c  645s |      24 |  5212874 |  3936862 |     7264   1276 |        0 |        0
647.37/647.54	c  647s |      24 |  5226582 |  3947562 |     7264   1279 |        0 |        0
649.37/649.55	c  649s |      24 |  5238541 |  3957162 |     7264   1281 |        0 |        0
651.37/651.55	c  651s |      24 |  5247744 |  3964862 |     7264   1283 |        0 |        0
653.38/653.57	c  653s |      24 |  5254767 |  3971162 |     7264   1285 |        0 |        0
655.37/655.58	c  655s |      24 |  5262920 |  3978062 |     7264   1287 |        0 |        0
657.37/657.58	c  657s |      24 |  5273898 |  3986862 |     7264   1289 |        0 |        0
659.47/659.60	c  659s |      24 |  5286266 |  3996462 |     7264   1291 |        0 |        0
661.47/661.63	c  661s |      24 |  5296333 |  4004562 |     7264   1293 |        0 |        0
663.47/663.65	c  663s |      24 |  5310212 |  4015262 |     7264   1296 |        0 |        0
665.48/665.65	c  665s |      24 |  5323419 |  4025562 |     7264   1299 |        0 |        0
667.47/667.67	c  667s |      24 |  5332641 |  4033062 |     7264   1301 |        0 |        0
669.47/669.68	c  669s |      24 |  5340251 |  4039562 |     7264   1302 |        0 |        0
671.47/671.69	c  671s |      24 |  5349010 |  4046862 |     7264   1304 |        0 |        0
673.56/673.72	c  673s |      24 |  5360488 |  4056162 |     7264   1307 |        0 |        0
675.57/675.72	c  675s |      24 |  5372622 |  4065362 |     7264   1309 |        0 |        0
677.58/677.73	c  677s |      24 |  5385118 |  4075462 |     7264   1311 |        0 |        0
679.57/679.74	c  679s |      24 |  5396415 |  4084362 |     7264   1314 |        0 |        0
681.57/681.75	c  681s |      24 |  5409601 |  4095162 |     7264   1317 |        0 |        0
683.57/683.78	c  683s |      24 |  5418569 |  4102562 |     7264   1318 |        0 |        0
685.57/685.78	c  685s |      24 |  5433029 |  4113562 |     7264   1321 |        0 |        0
687.57/687.79	c  687s |      24 |  5440711 |  4120462 |     7264   1323 |        0 |        0
689.68/689.81	c  689s |      24 |  5448450 |  4127262 |     7264   1325 |        0 |        0
691.67/691.82	c  691s |      24 |  5459464 |  4136162 |     7264   1327 |        0 |        0
693.66/693.84	c  693s |      24 |  5469455 |  4144462 |     7264   1329 |        0 |        0
695.66/695.85	c  695s |      24 |  5481454 |  4153662 |     7264   1331 |        0 |        0
697.66/697.86	c  697s |      24 |  5491360 |  4161862 |     7264   1333 |        0 |        0
699.66/699.88	c  699s |      24 |  5501762 |  4170062 |     7264   1335 |        0 |        0
701.67/701.88	c  701s |      24 |  5514366 |  4179662 |     7264   1338 |        0 |        0
703.76/703.90	c  703s |      24 |  5530060 |  4191462 |     7264   1341 |        0 |        0
705.76/705.91	c  705s |      24 |  5542868 |  4201462 |     7264   1343 |        0 |        0
707.76/707.96	c  707s |      24 |  5553464 |  4209962 |     7264   1346 |        0 |        0
709.76/709.97	c  709s |      24 |  5565434 |  4219162 |     7264   1348 |        0 |        0
711.76/711.98	c  711s |      24 |  5578884 |  4229462 |     7264   1350 |        0 |        0
713.76/713.98	c  713s |      24 |  5592912 |  4240362 |     7264   1353 |        0 |        0
715.75/715.99	c  715s |      24 |  5604421 |  4249762 |     7264   1356 |        0 |        0
717.75/717.99	c  717s |      24 |  5615675 |  4258662 |     7264   1358 |        0 |        0
719.85/720.01	c  719s |      24 |  5630338 |  4270162 |     7264   1361 |        0 |        0
721.85/722.02	c  721s |      24 |  5649776 |  4284362 |     7264   1364 |        0 |        0
723.85/724.04	c  724s |      24 |  5662477 |  4294562 |     7264   1367 |        0 |        0
725.85/726.04	c  726s |      24 |  5677779 |  4306262 |     7264   1370 |        0 |        0
727.84/728.04	c  728s |      24 |  5694732 |  4318862 |     7264   1373 |        0 |        0
729.84/730.06	c  730s |      24 |  5708001 |  4329462 |     7264   1376 |        0 |        0
731.84/732.07	c  732s |      24 |  5720306 |  4339262 |     7264   1378 |        0 |        0
733.94/734.11	c  734s |      24 |  5731634 |  4348362 |     7264   1381 |        0 |        0
735.94/736.13	c  736s |      24 |  5742614 |  4357162 |     7264   1383 |        0 |        0
737.94/738.13	c  738s |      24 |  5756548 |  4368162 |     7264   1386 |        0 |        0
739.94/740.14	c  740s |      24 |  5767156 |  4376662 |     7264   1388 |        0 |        0
741.94/742.15	c  742s |      24 |  5779765 |  4386562 |     7264   1390 |        0 |        0
743.95/744.15	c  744s |      24 |  5792629 |  4396062 |     7264   1393 |        0 |        0
745.95/746.16	c  746s |      24 |  5804329 |  4405562 |     7264   1395 |        0 |        0
747.95/748.17	c  748s |      24 |  5815725 |  4414562 |     7264   1397 |        0 |        0
749.94/750.18	c  750s |      24 |  5827781 |  4423962 |     7264   1400 |        0 |        0
751.94/752.19	c  752s |      24 |  5842267 |  4434862 |     7264   1402 |        0 |        0
754.04/754.20	c  754s |      24 |  5861742 |  4449462 |     7264   1406 |        0 |        0
756.04/756.21	c  756s |      24 |  5878417 |  4461862 |     7264   1409 |        0 |        0
758.03/758.21	c  758s |      24 |  5897087 |  4475462 |     7264   1413 |        0 |        0
760.04/760.22	c  760s |      24 |  5915931 |  4489062 |     7264   1416 |        0 |        0
762.03/762.22	c  762s |      24 |  5933968 |  4502362 |     7264   1420 |        0 |        0
764.03/764.23	c  764s |      24 |  5951762 |  4515862 |     7264   1423 |        0 |        0
766.03/766.23	c  766s |      24 |  5967793 |  4527962 |     7264   1426 |        0 |        0
768.03/768.23	c  768s |      24 |  5986260 |  4541862 |     7264   1430 |        0 |        0
770.03/770.23	c  770s |      24 |  6002243 |  4554362 |     7264   1433 |        0 |        0
772.03/772.26	c  772s |      24 |  6014924 |  4564462 |     7264   1435 |        0 |        0
774.03/774.26	c  774s |      24 |  6033129 |  4578062 |     7264   1439 |        0 |        0
776.03/776.27	c  776s |      24 |  6051471 |  4591962 |     7264   1442 |        0 |        0
778.03/778.27	c  778s |      24 |  6063319 |  4601262 |     7264   1445 |        0 |        0
780.03/780.28	c  780s |      24 |  6083009 |  4615762 |     7264   1448 |        0 |        0
782.03/782.28	c  782s |      24 |  6100837 |  4629262 |     7264   1452 |        0 |        0
784.02/784.30	c  784s |      24 |  6121152 |  4643762 |     7264   1456 |        0 |        0
786.12/786.34	c  786s |      24 |  6136314 |  4655562 |     7264   1459 |        0 |        0
788.12/788.34	c  788s |      24 |  6154394 |  4669562 |     7264   1462 |        0 |        0
790.12/790.35	c  790s |      24 |  6167447 |  4679862 |     7264   1465 |        0 |        0
792.12/792.35	c  792s |      24 |  6180280 |  4689762 |     7264   1467 |        0 |        0
794.12/794.36	c  794s |      24 |  6192850 |  4699562 |     7264   1470 |        0 |        0
796.11/796.37	c  796s |      24 |  6207112 |  4710462 |     7264   1472 |        0 |        0
798.21/798.42	c  798s |      24 |  6221194 |  4721062 |     7264   1475 |        0 |        0
800.22/800.43	c  800s |      24 |  6238602 |  4734462 |     7264   1478 |        0 |        0
802.22/802.44	c  802s |      24 |  6255298 |  4746862 |     7264   1482 |        0 |        0
804.22/804.45	c  804s |      24 |  6269410 |  4758162 |     7264   1484 |        0 |        0
806.22/806.45	c  806s |      24 |  6282869 |  4768862 |     7264   1487 |        0 |        0
808.22/808.45	c  808s |      24 |  6294737 |  4778262 |     7264   1490 |        0 |        0
810.21/810.46	c  810s |      24 |  6310089 |  4789662 |     7264   1493 |        0 |        0
812.21/812.47	c  812s |      24 |  6317303 |  4796062 |     7264   1494 |        0 |        0
814.21/814.49	c  814s |      24 |  6324283 |  4801762 |     7264   1496 |        0 |        0
816.31/816.50	c  816s |      24 |  6339158 |  4812562 |     7264   1498 |        0 |        0
818.31/818.51	c  818s |      24 |  6352434 |  4822862 |     7264   1501 |        0 |        0
820.31/820.51	c  820s |      24 |  6367117 |  4833862 |     7264   1504 |        0 |        0
822.30/822.52	c  822s |      24 |  6382826 |  4845462 |     7264   1507 |        0 |        0
824.30/824.53	c  824s |      24 |  6401227 |  4859262 |     7264   1510 |        0 |        0
826.30/826.54	c  826s |      24 |  6418381 |  4872162 |     7264   1514 |        0 |        0
828.30/828.54	c  828s |      24 |  6437210 |  4886262 |     7264   1517 |        0 |        0
830.30/830.55	c  830s |      24 |  6456974 |  4900762 |     7264   1521 |        0 |        0
832.30/832.56	c  832s |      24 |  6472526 |  4912562 |     7264   1524 |        0 |        0
834.30/834.57	c  834s |      24 |  6488882 |  4925162 |     7264   1527 |        0 |        0
836.29/836.57	c  836s |      24 |  6503302 |  4936062 |     7264   1530 |        0 |        0
838.29/838.57	c  838s |      24 |  6513582 |  4944362 |     7264   1532 |        0 |        0
840.30/840.57	c  840s |      24 |  6531595 |  4958062 |     7264   1536 |        0 |        0
842.29/842.59	c  842s |      24 |  6546510 |  4969862 |     7264   1539 |        0 |        0
844.40/844.60	c  844s |      24 |  6556581 |  4978162 |     7264   1541 |        0 |        0
846.40/846.62	c  846s |      24 |  6568493 |  4987662 |     7264   1543 |        0 |        0
848.40/848.64	c  848s |      24 |  6579831 |  4996962 |     7264   1546 |        0 |        0
850.40/850.65	c  850s |      24 |  6597622 |  5010862 |     7264   1549 |        0 |        0
852.40/852.66	c  852s |      24 |  6614788 |  5024062 |     7264   1552 |        0 |        0
854.39/854.66	c  854s |      24 |  6626236 |  5032762 |     7991   1554 |        0 |        0
856.39/856.68	c  856s |      24 |  6641436 |  5044662 |     7991   1557 |        0 |        0
858.49/858.70	c  858s |      24 |  6649273 |  5051362 |     7991   1559 |        0 |        0
860.49/860.77	c  860s |      24 |  6666077 |  5063462 |     7991   1562 |        0 |        0
860.79/861.09	c  861s |      25 |  6668440 |  5065098 |     7991   1562 |        0 |        0
862.79/863.09	c  863s |      25 |  6684884 |  5077398 |     7991   1565 |        0 |        0
864.89/865.10	c  865s |      25 |  6700862 |  5089698 |     7991   1568 |        0 |        0
866.89/867.10	c  867s |      25 |  6716257 |  5101598 |     7991   1571 |        0 |        0
868.89/869.11	c  869s |      25 |  6730716 |  5112898 |     7991   1573 |        0 |        0
870.89/871.11	c  871s |      25 |  6747913 |  5125698 |     7991   1576 |        0 |        0
872.88/873.11	c  873s |      25 |  6761441 |  5135698 |     7991   1579 |        0 |        0
874.88/875.15	c  875s |      25 |  6777233 |  5147798 |     7991   1582 |        0 |        0
876.88/877.16	c  877s |      25 |  6793151 |  5159798 |     7991   1584 |        0 |        0
878.88/879.18	c  879s |      25 |  6809694 |  5172198 |     7991   1587 |        0 |        0
880.89/881.19	c  881s |      25 |  6826734 |  5184698 |     7991   1590 |        0 |        0
882.88/883.19	c  883s |      25 |  6839860 |  5194898 |     7991   1593 |        0 |        0
884.88/885.19	c  885s |      25 |  6853450 |  5205598 |     7991   1595 |        0 |        0
886.88/887.20	c  887s |      25 |  6867406 |  5216298 |     7991   1598 |        0 |        0
888.98/889.20	c  889s |      25 |  6883485 |  5228898 |     7991   1601 |        0 |        0
890.98/891.21	c  891s |      25 |  6899335 |  5241098 |     7991   1603 |        0 |        0
892.98/893.21	c  893s |      25 |  6913953 |  5252398 |     7991   1606 |        0 |        0
894.97/895.26	c  895s |      25 |  6927487 |  5262598 |     7991   1609 |        0 |        0
896.97/897.27	c  897s |      25 |  6941778 |  5273598 |     7991   1611 |        0 |        0
899.07/899.37	c  899s |      25 |  6954559 |  5283998 |     7991   1614 |        0 |        0
901.07/901.39	c  901s |      25 |  6961872 |  5290298 |     7991   1615 |        0 |        0
903.17/903.42	c  903s |      25 |  6969291 |  5296598 |     7991   1616 |        0 |        0
905.17/905.42	c  905s |      25 |  6976637 |  5302898 |     7991   1618 |        0 |        0
907.17/907.43	c  907s |      25 |  6989070 |  5312398 |     7991   1620 |        0 |        0
909.16/909.43	c  909s |      25 |  7002760 |  5323298 |     7991   1623 |        0 |        0
911.16/911.44	c  911s |      25 |  7016382 |  5333698 |     7991   1625 |        0 |        0
913.16/913.45	c  913s |      25 |  7030052 |  5344398 |     7991   1628 |        0 |        0
915.16/915.47	c  915s |      25 |  7046345 |  5356498 |     7991   1631 |        0 |        0
917.16/917.48	c  917s |      25 |  7061657 |  5368398 |     7991   1633 |        0 |        0
919.16/919.49	c  919s |      25 |  7077899 |  5380398 |     7991   1636 |        0 |        0
921.16/921.49	c  921s |      25 |  7091888 |  5391398 |     7991   1639 |        0 |        0
923.25/923.50	c  923s |      25 |  7106062 |  5402298 |     7991   1641 |        0 |        0
925.25/925.50	c  925s |      25 |  7122386 |  5414798 |     7991   1644 |        0 |        0
927.25/927.51	c  927s |      25 |  7139492 |  5427798 |     7991   1647 |        0 |        0
929.26/929.51	c  929s |      25 |  7155841 |  5440098 |     7991   1650 |        0 |        0
931.25/931.52	c  931s |      25 |  7170074 |  5451098 |     7991   1653 |        0 |        0
933.25/933.54	c  933s |      25 |  7188783 |  5465098 |     7991   1656 |        0 |        0
935.25/935.55	c  935s |      25 |  7203672 |  5477098 |     7991   1659 |        0 |        0
937.25/937.56	c  937s |      25 |  7220438 |  5489698 |     7991   1662 |        0 |        0
939.25/939.56	c  939s |      25 |  7233916 |  5500098 |     7991   1664 |        0 |        0
941.25/941.57	c  941s |      25 |  7251437 |  5513598 |     7991   1667 |        0 |        0
943.24/943.58	c  943s |      25 |  7263375 |  5522898 |     7991   1670 |        0 |        0
945.24/945.58	c  945s |      25 |  7279326 |  5535098 |     7991   1672 |        0 |        0
947.34/947.60	c  947s |      25 |  7290695 |  5544598 |     7991   1675 |        0 |        0
949.34/949.61	c  949s |      25 |  7306108 |  5556598 |     7991   1678 |        0 |        0
951.36/951.62	c  951s |      25 |  7321079 |  5567698 |     7991   1680 |        0 |        0
953.35/953.63	c  953s |      25 |  7332889 |  5577698 |     7991   1683 |        0 |        0
955.34/955.65	c  955s |      25 |  7346993 |  5588098 |     7991   1685 |        0 |        0
957.34/957.66	c  957s |      25 |  7360298 |  5598298 |     7991   1687 |        0 |        0
959.44/959.70	c  959s |      25 |  7371955 |  5607398 |     7991   1690 |        0 |        0
961.44/961.70	c  961s |      25 |  7386357 |  5618398 |     7991   1692 |        0 |        0
963.44/963.71	c  963s |      25 |  7400266 |  5628998 |     7991   1695 |        0 |        0
965.43/965.74	c  965s |      25 |  7416150 |  5640998 |     7991   1698 |        0 |        0
967.43/967.75	c  967s |      25 |  7434584 |  5654998 |     7991   1701 |        0 |        0
969.43/969.75	c  969s |      25 |  7450052 |  5666898 |     7991   1704 |        0 |        0
971.43/971.76	c  971s |      25 |  7467418 |  5679998 |     7991   1707 |        0 |        0
973.43/973.77	c  973s |      25 |  7485015 |  5693398 |     7991   1710 |        0 |        0
975.43/975.78	c  975s |      25 |  7498959 |  5704598 |     7991   1713 |        0 |        0
977.43/977.79	c  977s |      25 |  7517072 |  5717998 |     7991   1716 |        0 |        0
979.53/979.80	c  979s |      25 |  7533221 |  5730498 |     7991   1719 |        0 |        0
981.53/981.80	c  981s |      25 |  7550193 |  5742898 |     7991   1722 |        0 |        0
983.53/983.80	c  983s |      25 |  7560417 |  5751298 |     7991   1724 |        0 |        0
985.52/985.81	c  985s |      25 |  7576742 |  5763498 |     7991   1727 |        0 |        0
987.53/987.82	c  987s |      25 |  7590942 |  5774598 |     7991   1729 |        0 |        0
989.52/989.84	c  989s |      25 |  7600298 |  5781998 |     7991   1731 |        0 |        0
991.52/991.84	c  991s |      25 |  7610672 |  5790298 |     7991   1733 |        0 |        0
993.52/993.85	c  993s |      25 |  7622680 |  5799398 |     7991   1735 |        0 |        0
995.53/995.86	c  995s |      25 |  7637858 |  5811198 |     7991   1738 |        0 |        0
997.53/997.87	c  997s |      25 |  7653778 |  5823398 |     7991   1741 |        0 |        0
999.53/999.88	c  999s |      25 |  7666348 |  5833298 |     7991   1743 |        0 |        0
1001.62/1001.90	c 1001s |      25 |  7679863 |  5843998 |     7991   1745 |        0 |        0
1003.62/1003.91	c 1003s |      25 |  7691651 |  5853398 |     7991   1748 |        0 |        0
1005.62/1005.93	c 1005s |      25 |  7705536 |  5863898 |     7991   1750 |        0 |        0
1007.62/1007.93	c 1007s |      25 |  7717513 |  5873698 |     7991   1752 |        0 |        0
1009.63/1009.93	c 1009s |      25 |  7730129 |  5883498 |     7991   1755 |        0 |        0
1011.62/1011.94	c 1011s |      25 |  7746608 |  5896198 |     7991   1758 |        0 |        0
1013.62/1013.95	c 1013s |      25 |  7761213 |  5908198 |     7991   1761 |        0 |        0
1015.62/1015.95	c 1015s |      25 |  7774861 |  5918898 |     7991   1763 |        0 |        0
1017.62/1017.96	c 1017s |      25 |  7791000 |  5930998 |     7991   1766 |        0 |        0
1019.62/1019.97	c 1019s |      25 |  7805306 |  5942398 |     7991   1769 |        0 |        0
1021.62/1021.98	c 1021s |      25 |  7824705 |  5956998 |     7991   1772 |        0 |        0
1023.61/1023.98	c 1023s |      25 |  7840381 |  5969198 |     7991   1775 |        0 |        0
1025.61/1025.99	c 1025s |      25 |  7857532 |  5982198 |     7991   1778 |        0 |        0
1027.71/1028.01	c 1027s |      25 |  7869168 |  5991898 |     7991   1781 |        0 |        0
1029.71/1030.02	c 1029s |      25 |  7879523 |  6000598 |     7991   1783 |        0 |        0
1031.70/1032.03	c 1031s |      25 |  7891095 |  6010298 |     7991   1785 |        0 |        0
1033.70/1034.07	c 1034s |      25 |  7899634 |  6017398 |     7991   1787 |        0 |        0
1035.70/1036.07	c 1036s |      25 |  7913929 |  6028398 |     7991   1789 |        0 |        0
1037.70/1038.08	c 1038s |      25 |  7930433 |  6041298 |     7991   1792 |        0 |        0
1039.70/1040.09	c 1040s |      25 |  7945404 |  6052798 |     7991   1795 |        0 |        0
1041.70/1042.09	c 1042s |      25 |  7960467 |  6064198 |     7991   1798 |        0 |        0
1043.79/1044.11	c 1044s |      25 |  7974872 |  6075498 |     7991   1800 |        0 |        0
1045.80/1046.11	c 1046s |      25 |  7989052 |  6086498 |     7991   1803 |        0 |        0
1047.79/1048.11	c 1048s |      25 |  8004420 |  6097698 |     7991   1806 |        0 |        0
1049.79/1050.12	c 1050s |      25 |  8020983 |  6110298 |     7991   1809 |        0 |        0
1051.79/1052.14	c 1052s |      25 |  8040602 |  6124498 |     7991   1812 |        0 |        0
1053.80/1054.16	c 1054s |      25 |  8059039 |  6137698 |     7991   1815 |        0 |        0
1055.80/1056.16	c 1056s |      25 |  8075777 |  6150198 |     7991   1818 |        0 |        0
1057.80/1058.16	c 1058s |      25 |  8096081 |  6164598 |     7991   1821 |        0 |        0
1059.79/1060.17	c 1060s |      25 |  8117340 |  6180198 |     7991   1825 |        0 |        0
1061.79/1062.18	c 1062s |      25 |  8132581 |  6191898 |     7991   1828 |        0 |        0
1063.79/1064.19	c 1064s |      25 |  8153249 |  6206498 |     7991   1831 |        0 |        0
1065.89/1066.20	c 1066s |      25 |  8173854 |  6221698 |     7991   1835 |        0 |        0
1067.89/1068.21	c 1068s |      25 |  8190782 |  6233798 |     7991   1837 |        0 |        0
1069.89/1070.22	c 1070s |      25 |  8210189 |  6248298 |     7991   1841 |        0 |        0
1071.89/1072.23	c 1072s |      25 |  8228040 |  6261998 |     7991   1844 |        0 |        0
1073.88/1074.24	c 1074s |      25 |  8244779 |  6274998 |     7991   1847 |        0 |        0
1075.88/1076.24	c 1076s |      25 |  8264579 |  6289798 |     7991   1851 |        0 |        0
1077.88/1078.24	c 1078s |      25 |  8285642 |  6304898 |     7991   1854 |        0 |        0
1079.88/1080.25	c 1080s |      25 |  8304044 |  6318998 |     7991   1857 |        0 |        0
1081.88/1082.26	c 1082s |      25 |  8322615 |  6333398 |     7991   1861 |        0 |        0
1083.87/1084.28	c 1084s |      25 |  8333852 |  6342698 |     7991   1863 |        0 |        0
1085.97/1086.30	c 1086s |      25 |  8341145 |  6349298 |     7991   1865 |        0 |        0
1087.97/1088.31	c 1088s |      25 |  8352835 |  6358698 |     7991   1867 |        0 |        0
1089.97/1090.32	c 1090s |      25 |  8364174 |  6367698 |     7991   1869 |        0 |        0
1091.99/1092.32	c 1092s |      25 |  8378058 |  6378098 |     7991   1871 |        0 |        0
1093.97/1094.32	c 1094s |      25 |  8391061 |  6388398 |     7991   1874 |        0 |        0
1095.97/1096.37	c 1096s |      25 |  8407713 |  6400898 |     7991   1877 |        0 |        0
1098.07/1098.41	c 1098s |      25 |  8418470 |  6409998 |     7991   1879 |        0 |        0
1100.07/1100.43	c 1100s |      25 |  8433725 |  6421698 |     7991   1881 |        0 |        0
1102.07/1102.46	c 1102s |      25 |  8451528 |  6434998 |     7991   1885 |        0 |        0
1104.08/1104.47	c 1104s |      25 |  8466247 |  6446098 |     7991   1887 |        0 |        0
1106.07/1106.49	c 1106s |      25 |  8484414 |  6459698 |     7991   1890 |        0 |        0
1108.17/1108.50	c 1108s |      25 |  8501023 |  6472698 |     7991   1893 |        0 |        0
1110.17/1110.51	c 1110s |      25 |  8518385 |  6485798 |     7991   1896 |        0 |        0
1112.17/1112.51	c 1112s |      25 |  8532851 |  6497198 |     7991   1899 |        0 |        0
1114.16/1114.52	c 1114s |      25 |  8548747 |  6508898 |     7991   1902 |        0 |        0
1116.17/1116.52	c 1116s |      25 |  8570057 |  6524198 |     7991   1905 |        0 |        0
1118.16/1118.53	c 1118s |      25 |  8582293 |  6534198 |     7991   1908 |        0 |        0
1120.16/1120.55	c 1120s |      25 |  8598422 |  6546498 |     7991   1911 |        0 |        0
1122.16/1122.57	c 1122s |      25 |  8609691 |  6555698 |     7991   1913 |        0 |        0
1124.16/1124.57	c 1124s |      25 |  8629603 |  6570798 |     7991   1916 |        0 |        0
1126.16/1126.58	c 1126s |      25 |  8646103 |  6583598 |     7991   1919 |        0 |        0
1128.15/1128.58	c 1128s |      25 |  8663084 |  6596998 |     7991   1922 |        0 |        0
1130.25/1130.60	c 1130s |      25 |  8678797 |  6609498 |     7991   1925 |        0 |        0
1132.25/1132.61	c 1132s |      25 |  8693586 |  6620898 |     7991   1928 |        0 |        0
1134.25/1134.61	c 1134s |      25 |  8704819 |  6629898 |     7991   1930 |        0 |        0
1136.25/1136.61	c 1136s |      25 |  8718199 |  6640298 |     7991   1933 |        0 |        0
1138.26/1138.65	c 1138s |      25 |  8734548 |  6652498 |     7991   1936 |        0 |        0
1140.25/1140.70	c 1140s |      25 |  8746718 |  6662298 |     7991   1938 |        0 |        0
1142.35/1142.71	c 1142s |      25 |  8760318 |  6673498 |     7991   1940 |        0 |        0
1144.35/1144.72	c 1144s |      25 |  8776263 |  6685698 |     7991   1943 |        0 |        0
1146.35/1146.72	c 1146s |      25 |  8791079 |  6696998 |     7991   1946 |        0 |        0
1148.35/1148.73	c 1148s |      25 |  8810002 |  6710398 |     7991   1949 |        0 |        0
1150.35/1150.73	c 1150s |      25 |  8827184 |  6723398 |     7991   1952 |        0 |        0
1152.34/1152.73	c 1152s |      25 |  8845903 |  6737598 |     7991   1955 |        0 |        0
1154.34/1154.74	c 1154s |      25 |  8868652 |  6754398 |     7991   1959 |        0 |        0
1156.34/1156.76	c 1156s |      25 |  8883468 |  6765898 |     7991   1962 |        0 |        0
1158.34/1158.77	c 1158s |      25 |  8898183 |  6777198 |     7991   1965 |        0 |        0
1160.34/1160.78	c 1160s |      25 |  8913823 |  6789998 |     7991   1968 |        0 |        0
1162.34/1162.79	c 1162s |      25 |  8924056 |  6798898 |     7991   1970 |        0 |        0
1164.43/1164.84	c 1164s |      25 |  8931461 |  6805698 |     7991   1972 |        0 |        0
1166.43/1166.85	c 1166s |      25 |  8941838 |  6813898 |     7991   1973 |        0 |        0
1168.43/1168.85	c 1168s |      25 |  8954806 |  6823998 |     7991   1976 |        0 |        0
1170.43/1170.89	c 1170s |      25 |  8967600 |  6834298 |     7991   1978 |        0 |        0
1172.53/1172.91	c 1172s |      25 |  8984140 |  6847298 |     7991   1981 |        0 |        0
1174.53/1174.94	c 1174s |      25 |  8993445 |  6855198 |     7991   1983 |        0 |        0
1176.53/1176.94	c 1176s |      25 |  9001068 |  6861798 |     7991   1985 |        0 |        0
1178.53/1178.96	c 1178s |      25 |  9009494 |  6869098 |     7991   1986 |        0 |        0
1180.53/1180.97	c 1180s |      25 |  9017016 |  6875598 |     7991   1988 |        0 |        0
1182.52/1182.99	c 1182s |      25 |  9025568 |  6882898 |     7991   1990 |        0 |        0
1184.62/1185.01	c 1184s |      25 |  9033945 |  6889798 |     7991   1991 |        0 |        0
1186.63/1187.02	c 1186s |      25 |  9042599 |  6897098 |     7991   1993 |        0 |        0
1188.62/1189.04	c 1189s |      25 |  9050265 |  6903798 |     7991   1994 |        0 |        0
1190.62/1191.05	c 1191s |      25 |  9059524 |  6911198 |     7991   1996 |        0 |        0
1192.61/1193.07	c 1193s |      25 |  9070071 |  6919998 |     7991   1998 |        0 |        0
1194.61/1195.08	c 1195s |      25 |  9080636 |  6928598 |     7991   2000 |        0 |        0
1196.71/1197.16	c 1197s |      25 |  9089866 |  6936298 |     7991   2002 |        0 |        0
1198.72/1199.18	c 1199s |      25 |  9100785 |  6944998 |     7991   2004 |        0 |        0
1200.72/1201.19	c 1201s |      25 |  9111344 |  6953798 |     7991   2006 |        0 |        0
1202.82/1203.20	c 1203s |      25 |  9129237 |  6967398 |     7991   2009 |        0 |        0
1204.82/1205.20	c 1205s |      25 |  9149106 |  6982098 |     7991   2013 |        0 |        0
1206.82/1207.22	c 1207s |      25 |  9164500 |  6994398 |     7991   2016 |        0 |        0
1208.82/1209.22	c 1209s |      25 |  9178665 |  7005598 |     7991   2018 |        0 |        0
1210.82/1211.24	c 1211s |      25 |  9197249 |  7019898 |     7991   2022 |        0 |        0
1212.81/1213.26	c 1213s |      25 |  9213741 |  7031598 |     7991   2025 |        0 |        0
1214.81/1215.26	c 1215s |      25 |  9227516 |  7042798 |     7991   2027 |        0 |        0
1216.81/1217.27	c 1217s |      25 |  9239482 |  7052398 |     7991   2030 |        0 |        0
1218.81/1219.27	c 1219s |      25 |  9252522 |  7062798 |     7991   2032 |        0 |        0
1220.81/1221.29	c 1221s |      25 |  9271961 |  7076998 |     7991   2036 |        0 |        0
1222.81/1223.30	c 1223s |      25 |  9291676 |  7091198 |     7991   2039 |        0 |        0
1224.90/1225.31	c 1225s |      25 |  9305254 |  7101598 |     7991   2041 |        0 |        0
1226.90/1227.31	c 1227s |      25 |  9320458 |  7113498 |     7991   2044 |        0 |        0
1228.90/1229.31	c 1229s |      25 |  9332291 |  7123298 |     7991   2046 |        0 |        0
1230.90/1231.33	c 1231s |      25 |  9343990 |  7132898 |     7991   2049 |        0 |        0
1232.90/1233.36	c 1233s |      25 |  9354233 |  7141498 |     7991   2051 |        0 |        0
1234.90/1235.38	c 1235s |      25 |  9366122 |  7151098 |     7991   2053 |        0 |        0
1236.99/1237.40	c 1237s |      25 |  9376650 |  7159798 |     7991   2055 |        0 |        0
1238.99/1239.41	c 1239s |      25 |  9390087 |  7170098 |     7991   2057 |        0 |        0
1240.99/1241.41	c 1241s |      25 |  9404336 |  7181198 |     7991   2060 |        0 |        0
1242.99/1243.42	c 1243s |      25 |  9417664 |  7191698 |     7991   2062 |        0 |        0
1244.99/1245.42	c 1245s |      25 |  9430335 |  7201698 |     7991   2065 |        0 |        0
1246.99/1247.43	c 1247s |      25 |  9442306 |  7211398 |     7991   2067 |        0 |        0
1248.99/1249.45	c 1249s |      25 |  9458865 |  7223698 |     7991   2070 |        0 |        0
1250.98/1251.46	c 1251s |      25 |  9476384 |  7236998 |     7991   2073 |        0 |        0
1252.98/1253.46	c 1253s |      25 |  9494979 |  7250698 |     7991   2076 |        0 |        0
1254.99/1255.48	c 1255s |      25 |  9508977 |  7261898 |     7991   2079 |        0 |        0
1256.99/1257.48	c 1257s |      25 |  9522513 |  7272598 |     7991   2081 |        0 |        0
1258.99/1259.50	c 1259s |      25 |  9533308 |  7281598 |     7991   2083 |        0 |        0
1261.08/1261.50	c 1261s |      25 |  9550650 |  7295298 |     7991   2086 |        0 |        0
1263.08/1263.51	c 1263s |      25 |  9566555 |  7307298 |     7991   2089 |        0 |        0
1265.08/1265.53	c 1265s |      25 |  9581263 |  7319298 |     7991   2092 |        0 |        0
1267.08/1267.54	c 1267s |      25 |  9600841 |  7333998 |     7991   2095 |        0 |        0
1269.09/1269.54	c 1269s |      25 |  9621746 |  7349698 |     7991   2099 |        0 |        0
1271.08/1271.56	c 1271s |      25 |  9634617 |  7359998 |     7991   2102 |        0 |        0
1273.08/1273.57	c 1273s |      25 |  9646020 |  7369098 |     7991   2104 |        0 |        0
1275.08/1275.58	c 1275s |      25 |  9658691 |  7379198 |     7991   2106 |        0 |        0
1277.08/1277.59	c 1277s |      25 |  9666660 |  7386098 |     7991   2108 |        0 |        0
1279.08/1279.59	c 1279s |      25 |  9677302 |  7394898 |     7991   2110 |        0 |        0
1281.08/1281.59	c 1281s |      25 |  9687210 |  7402898 |     7991   2112 |        0 |        0
1283.08/1283.59	c 1283s |      25 |  9697936 |  7411698 |     7991   2114 |        0 |        0
1285.17/1285.60	c 1285s |      25 |  9707541 |  7419698 |     7991   2115 |        0 |        0
1287.17/1287.63	c 1287s |      25 |  9718411 |  7428398 |     7991   2118 |        0 |        0
1289.17/1289.64	c 1289s |      25 |  9727805 |  7436398 |     7991   2119 |        0 |        0
1291.17/1291.66	c 1291s |      25 |  9735911 |  7443298 |     7991   2121 |        0 |        0
1293.17/1293.68	c 1293s |      25 |  9747369 |  7452698 |     7991   2123 |        0 |        0
1295.27/1295.71	c 1295s |      25 |  9759840 |  7462298 |     7991   2126 |        0 |        0
1297.27/1297.71	c 1297s |      25 |  9772299 |  7472198 |     7991   2128 |        0 |        0
1299.27/1299.71	c 1299s |      25 |  9782645 |  7480598 |     7991   2130 |        0 |        0
1301.27/1301.73	c 1301s |      25 |  9795698 |  7490598 |     7991   2132 |        0 |        0
1303.26/1303.74	c 1303s |      25 |  9810285 |  7502198 |     7991   2135 |        0 |        0
1305.37/1305.83	c 1305s |      25 |  9820109 |  7510398 |     7991   2137 |        0 |        0
1307.47/1307.92	c 1307s |      25 |  9830012 |  7518498 |     7991   2139 |        0 |        0
1309.47/1309.92	c 1309s |      25 |  9840945 |  7527398 |     7991   2141 |        0 |        0
1311.47/1311.93	c 1311s |      25 |  9854955 |  7538298 |     7991   2143 |        0 |        0
1313.46/1313.94	c 1313s |      25 |  9869019 |  7549698 |     8791   2146 |        0 |        0
1315.46/1315.95	c 1315s |      25 |  9880611 |  7559198 |     8791   2148 |        0 |        0
1317.47/1317.96	c 1317s |      25 |  9892892 |  7568798 |     8791   2150 |        0 |        0
1319.46/1319.97	c 1319s |      25 |  9908609 |  7580598 |     8791   2152 |        0 |        0
1321.46/1321.97	c 1321s |      25 |  9928150 |  7595498 |     8791   2155 |        0 |        0
1321.87/1322.36	c 1322s |      26 |  9931102 |  7597752 |     8791   2156 |        0 |        0
1323.86/1324.37	c 1324s |      26 |  9945216 |  7607652 |     8791   2158 |        0 |        0
1325.86/1326.39	c 1326s |      26 |  9953212 |  7614052 |     8791   2159 |        0 |        0
1327.86/1328.39	c 1328s |      26 |  9964104 |  7621952 |     8791   2161 |        0 |        0
1329.86/1330.39	c 1330s |      26 |  9974557 |  7629752 |     8791   2163 |        0 |        0
1331.96/1332.40	c 1332s |      26 |  9984910 |  7637852 |     8791   2164 |        0 |        0
1333.96/1334.43	c 1334s |      26 |  9997324 |  7646652 |     8791   2166 |        0 |        0
1335.95/1336.44	c 1336s |      26 | 10012642 |  7657852 |     8791   2169 |        0 |        0
1337.95/1338.44	c 1338s |      26 | 10022068 |  7665952 |     8791   2170 |        0 |        0
1339.95/1340.46	c 1340s |      26 | 10035502 |  7675952 |     8791   2172 |        0 |        0
1341.95/1342.47	c 1342s |      26 | 10051428 |  7688052 |     8791   2175 |        0 |        0
1343.95/1344.48	c 1344s |      26 | 10065622 |  7698752 |     8791   2177 |        0 |        0
1345.96/1346.49	c 1346s |      26 | 10081061 |  7710052 |     8791   2180 |        0 |        0
1348.05/1348.50	c 1348s |      26 | 10095947 |  7721252 |     8791   2182 |        0 |        0
1350.05/1350.50	c 1350s |      26 | 10113605 |  7733852 |     8791   2185 |        0 |        0
1352.05/1352.51	c 1352s |      26 | 10130190 |  7746352 |     8791   2187 |        0 |        0
1354.05/1354.52	c 1354s |      26 | 10145695 |  7758352 |     8791   2190 |        0 |        0
1356.05/1356.53	c 1356s |      26 | 10162738 |  7771052 |     8791   2192 |        0 |        0
1358.05/1358.54	c 1358s |      26 | 10176238 |  7781752 |     8791   2195 |        0 |        0
1360.05/1360.55	c 1360s |      26 | 10191663 |  7792752 |     8791   2197 |        0 |        0
1362.05/1362.55	c 1362s |      26 | 10205459 |  7802952 |     8791   2199 |        0 |        0
1364.04/1364.56	c 1364s |      26 | 10218858 |  7813152 |     8791   2202 |        0 |        0
1366.04/1366.56	c 1366s |      26 | 10234027 |  7824952 |     8791   2204 |        0 |        0
1368.05/1368.57	c 1368s |      26 | 10250471 |  7837352 |     8791   2207 |        0 |        0
1370.04/1370.57	c 1370s |      26 | 10266672 |  7849352 |     8791   2209 |        0 |        0
1372.04/1372.59	c 1372s |      26 | 10282403 |  7861352 |     8791   2212 |        0 |        0
1374.14/1374.60	c 1374s |      26 | 10299573 |  7874252 |     8791   2214 |        0 |        0
1376.14/1376.61	c 1376s |      26 | 10314537 |  7885952 |     8791   2217 |        0 |        0
1378.14/1378.64	c 1378s |      26 | 10326808 |  7895952 |     8791   2219 |        0 |        0
1380.16/1380.65	c 1380s |      26 | 10343415 |  7908152 |     8791   2222 |        0 |        0
1382.15/1382.65	c 1382s |      26 | 10357978 |  7919252 |     8791   2224 |        0 |        0
1384.15/1384.66	c 1384s |      26 | 10371166 |  7929352 |     8791   2226 |        0 |        0
1386.15/1386.68	c 1386s |      26 | 10384928 |  7939852 |     8791   2228 |        0 |        0
1388.15/1388.68	c 1388s |      26 | 10401416 |  7952252 |     8791   2231 |        0 |        0
1390.15/1390.69	c 1390s |      26 | 10414820 |  7962852 |     8791   2233 |        0 |        0
1392.25/1392.71	c 1392s |      26 | 10425670 |  7971352 |     8791   2235 |        0 |        0
1394.25/1394.72	c 1394s |      26 | 10439955 |  7982752 |     8791   2237 |        0 |        0
1396.24/1396.73	c 1396s |      26 | 10452743 |  7992652 |     8791   2240 |        0 |        0
1398.24/1398.73	c 1398s |      26 | 10465422 |  8002352 |     8791   2242 |        0 |        0
1400.24/1400.74	c 1400s |      26 | 10479140 |  8013152 |     8791   2244 |        0 |        0
1402.24/1402.77	c 1402s |      26 | 10495049 |  8025152 |     8791   2246 |        0 |        0
1404.24/1404.77	c 1404s |      26 | 10508230 |  8035152 |     8791   2249 |        0 |        0
1406.24/1406.78	c 1406s |      26 | 10522391 |  8045752 |     8791   2251 |        0 |        0
1408.25/1408.79	c 1408s |      26 | 10535054 |  8055852 |     8791   2253 |        0 |        0
1410.34/1410.80	c 1410s |      26 | 10544893 |  8063752 |     8791   2255 |        0 |        0
1412.34/1412.80	c 1412s |      26 | 10560784 |  8075752 |     8791   2257 |        0 |        0
1414.34/1414.81	c 1414s |      26 | 10578086 |  8088652 |     8791   2260 |        0 |        0
1416.35/1416.82	c 1416s |      26 | 10589409 |  8098252 |     8791   2262 |        0 |        0
1418.44/1418.96	c 1418s |      26 | 10597886 |  8105652 |     8791   2264 |        0 |        0
1420.44/1420.96	c 1420s |      26 | 10612398 |  8116052 |     8791   2266 |        0 |        0
1422.44/1422.97	c 1422s |      26 | 10630188 |  8129052 |     8791   2268 |        0 |        0
1424.44/1424.98	c 1424s |      26 | 10647099 |  8141552 |     8791   2271 |        0 |        0
1426.54/1427.00	c 1426s |      26 | 10659924 |  8150852 |     8791   2273 |        0 |        0
1428.54/1429.01	c 1428s |      26 | 10671539 |  8159952 |     8791   2275 |        0 |        0
1430.54/1431.03	c 1430s |      26 | 10682623 |  8168752 |     8791   2277 |        0 |        0
1432.54/1433.04	c 1433s |      26 | 10693642 |  8177552 |     8791   2279 |        0 |        0
1434.53/1435.06	c 1435s |      26 | 10704602 |  8186652 |     8791   2281 |        0 |        0
1436.54/1437.08	c 1437s |      26 | 10713313 |  8194252 |     8791   2282 |        0 |        0
1438.54/1439.08	c 1439s |      26 | 10724470 |  8202552 |     8791   2284 |        0 |        0
1440.55/1441.08	c 1441s |      26 | 10739365 |  8214152 |     8791   2286 |        0 |        0
1442.64/1443.10	c 1443s |      26 | 10751108 |  8223152 |     8791   2288 |        0 |        0
1444.64/1445.12	c 1445s |      26 | 10766372 |  8234852 |     8791   2291 |        0 |        0
1446.64/1447.14	c 1447s |      26 | 10779271 |  8245052 |     8791   2293 |        0 |        0
1448.64/1449.17	c 1449s |      26 | 10793009 |  8255552 |     8791   2295 |        0 |        0
1450.64/1451.18	c 1451s |      26 | 10808470 |  8267052 |     8791   2298 |        0 |        0
1452.74/1453.21	c 1453s |      26 | 10821999 |  8277052 |     8791   2300 |        0 |        0
1454.73/1455.24	c 1455s |      26 | 10837110 |  8288152 |     8791   2302 |        0 |        0
1456.73/1457.25	c 1457s |      26 | 10852654 |  8300052 |     8791   2304 |        0 |        0
1458.73/1459.26	c 1459s |      26 | 10870606 |  8313152 |     8791   2307 |        0 |        0
1460.73/1461.26	c 1461s |      26 | 10888458 |  8326252 |     8791   2310 |        0 |        0
1462.73/1463.29	c 1463s |      26 | 10904187 |  8338352 |     8791   2312 |        0 |        0
1464.84/1465.30	c 1465s |      26 | 10915058 |  8346952 |     8791   2314 |        0 |        0
1466.83/1467.31	c 1467s |      26 | 10924395 |  8354252 |     8791   2316 |        0 |        0
1468.83/1469.32	c 1469s |      26 | 10934617 |  8362252 |     8791   2318 |        0 |        0
1470.83/1471.32	c 1471s |      26 | 10950611 |  8374152 |     8791   2320 |        0 |        0
1472.83/1473.34	c 1473s |      26 | 10962179 |  8383352 |     8791   2322 |        0 |        0
1474.83/1475.34	c 1475s |      26 | 10974739 |  8393352 |     8791   2324 |        0 |        0
1476.84/1477.35	c 1477s |      26 | 10987990 |  8403552 |     8791   2326 |        0 |        0
1478.83/1479.36	c 1479s |      26 | 11001510 |  8414252 |     8791   2328 |        0 |        0
1480.83/1481.37	c 1481s |      26 | 11013293 |  8423552 |     8791   2330 |        0 |        0
1482.83/1483.39	c 1483s |      26 | 11029557 |  8436052 |     8791   2333 |        0 |        0
1484.93/1485.41	c 1485s |      26 | 11043882 |  8446852 |     8791   2335 |        0 |        0
1486.93/1487.41	c 1487s |      26 | 11059394 |  8458252 |     8791   2338 |        0 |        0
1488.93/1489.43	c 1489s |      26 | 11069565 |  8466252 |     8791   2340 |        0 |        0
1490.92/1491.44	c 1491s |      26 | 11081318 |  8475552 |     8791   2341 |        0 |        0
1492.93/1493.46	c 1493s |      26 | 11092862 |  8484752 |     8791   2343 |        0 |        0
1494.93/1495.46	c 1495s |      26 | 11106917 |  8495652 |     8791   2346 |        0 |        0
1496.93/1497.48	c 1497s |      26 | 11119871 |  8505952 |     8791   2348 |        0 |        0
1498.94/1499.49	c 1499s |      26 | 11134641 |  8517252 |     8791   2350 |        0 |        0
1500.93/1501.50	c 1501s |      26 | 11147288 |  8527452 |     8791   2352 |        0 |        0
1503.03/1503.52	c 1503s |      26 | 11159843 |  8537252 |     8791   2355 |        0 |        0
1505.03/1505.53	c 1505s |      26 | 11172575 |  8547152 |     8791   2357 |        0 |        0
1507.03/1507.53	c 1507s |      26 | 11187514 |  8558652 |     8791   2359 |        0 |        0
1509.03/1509.54	c 1509s |      26 | 11202177 |  8570452 |     8791   2362 |        0 |        0
1511.04/1511.58	c 1511s |      26 | 11212344 |  8578852 |     8791   2363 |        0 |        0
1513.03/1513.59	c 1513s |      26 | 11223801 |  8587752 |     8791   2365 |        0 |        0
1515.03/1515.59	c 1515s |      26 | 11238207 |  8598352 |     8791   2367 |        0 |        0
1517.13/1517.60	c 1517s |      26 | 11251474 |  8608352 |     8791   2370 |        0 |        0
1519.13/1519.60	c 1519s |      26 | 11262671 |  8617452 |     8791   2371 |        0 |        0
1521.13/1521.62	c 1521s |      26 | 11277054 |  8628552 |     8791   2374 |        0 |        0
1523.14/1523.63	c 1523s |      26 | 11289362 |  8638352 |     8791   2376 |        0 |        0
1525.13/1525.64	c 1525s |      26 | 11299818 |  8646852 |     8791   2378 |        0 |        0
1527.13/1527.65	c 1527s |      26 | 11313293 |  8657452 |     8791   2380 |        0 |        0
1529.13/1529.67	c 1529s |      26 | 11328160 |  8669152 |     8791   2382 |        0 |        0
1531.13/1531.67	c 1531s |      26 | 11336139 |  8675652 |     8791   2384 |        0 |        0
1533.13/1533.69	c 1533s |      26 | 11352313 |  8687152 |     8791   2386 |        0 |        0
1535.23/1535.71	c 1535s |      26 | 11364040 |  8696152 |     8791   2388 |        0 |        0
1537.22/1537.71	c 1537s |      26 | 11374176 |  8703952 |     8791   2390 |        0 |        0
1539.22/1539.73	c 1539s |      26 | 11383099 |  8711052 |     8791   2391 |        0 |        0
1541.22/1541.75	c 1541s |      26 | 11393616 |  8719752 |     8791   2393 |        0 |        0
1543.22/1543.77	c 1543s |      26 | 11405892 |  8729552 |     8791   2395 |        0 |        0
1545.22/1545.78	c 1545s |      26 | 11417701 |  8738652 |     8791   2397 |        0 |        0
1547.23/1547.80	c 1547s |      26 | 11431487 |  8749352 |     8791   2399 |        0 |        0
1549.32/1549.82	c 1549s |      26 | 11444609 |  8759652 |     8791   2402 |        0 |        0
1551.32/1551.83	c 1551s |      26 | 11459573 |  8771052 |     8791   2404 |        0 |        0
1553.32/1553.85	c 1553s |      26 | 11478013 |  8785152 |     8791   2407 |        0 |        0
1555.32/1555.86	c 1555s |      26 | 11492954 |  8796952 |     8791   2409 |        0 |        0
1557.32/1557.87	c 1557s |      26 | 11509527 |  8809352 |     8791   2412 |        0 |        0
1559.33/1559.88	c 1559s |      26 | 11524423 |  8820752 |     8791   2414 |        0 |        0
1561.32/1561.89	c 1561s |      26 | 11537971 |  8831252 |     8791   2417 |        0 |        0
1563.32/1563.89	c 1563s |      26 | 11548136 |  8839652 |     8791   2418 |        0 |        0
1565.42/1565.91	c 1565s |      26 | 11561488 |  8849752 |     8791   2421 |        0 |        0
1567.42/1567.91	c 1567s |      26 | 11572407 |  8858252 |     8791   2422 |        0 |        0
1569.42/1569.92	c 1569s |      26 | 11584452 |  8868152 |     8791   2424 |        0 |        0
1571.42/1571.92	c 1571s |      26 | 11597067 |  8877952 |     8791   2426 |        0 |        0
1573.41/1573.92	c 1573s |      26 | 11615439 |  8891952 |     8791   2429 |        0 |        0
1575.41/1575.93	c 1575s |      26 | 11633153 |  8905352 |     8791   2432 |        0 |        0
1577.41/1577.93	c 1577s |      26 | 11645969 |  8914652 |     8791   2434 |        0 |        0
1579.41/1579.93	c 1579s |      26 | 11660392 |  8925852 |     8791   2437 |        0 |        0
1581.42/1581.95	c 1581s |      26 | 11673757 |  8936052 |     8791   2439 |        0 |        0
1583.41/1583.95	c 1583s |      26 | 11689352 |  8947752 |     8791   2441 |        0 |        0
1585.41/1585.96	c 1585s |      26 | 11706444 |  8960552 |     8791   2444 |        0 |        0
1587.41/1587.97	c 1587s |      26 | 11720240 |  8970952 |     8791   2446 |        0 |        0
1589.51/1590.02	c 1589s |      26 | 11735202 |  8982452 |     8791   2449 |        0 |        0
1591.52/1592.04	c 1592s |      26 | 11750980 |  8993852 |     8791   2451 |        0 |        0
1593.53/1594.04	c 1594s |      26 | 11765977 |  9004952 |     8791   2453 |        0 |        0
1595.52/1596.04	c 1596s |      26 | 11782271 |  9016452 |     8791   2456 |        0 |        0
1597.52/1598.06	c 1598s |      26 | 11798538 |  9029052 |     8791   2458 |        0 |        0
1599.52/1600.06	c 1600s |      26 | 11813184 |  9039952 |     8791   2461 |        0 |        0
1601.51/1602.07	c 1602s |      26 | 11827485 |  9051352 |     8791   2463 |        0 |        0
1603.51/1604.07	c 1604s |      26 | 11837768 |  9059752 |     8791   2465 |        0 |        0
1605.52/1606.07	c 1606s |      26 | 11855104 |  9072752 |     8791   2467 |        0 |        0
1607.51/1608.08	c 1608s |      26 | 11868750 |  9082752 |     8791   2470 |        0 |        0
1609.51/1610.09	c 1610s |      26 | 11881270 |  9092452 |     8791   2472 |        0 |        0
1611.51/1612.09	c 1612s |      26 | 11897665 |  9105052 |     8791   2474 |        0 |        0
1613.61/1614.12	c 1614s |      26 | 11909578 |  9114452 |     8791   2476 |        0 |        0
1615.61/1616.13	c 1616s |      26 | 11926455 |  9126652 |     8791   2479 |        0 |        0
1617.61/1618.16	c 1618s |      26 | 11938676 |  9136452 |     8791   2481 |        0 |        0
1619.61/1620.16	c 1620s |      26 | 11954007 |  9147952 |     8791   2483 |        0 |        0
1621.61/1622.17	c 1622s |      26 | 11966695 |  9158052 |     8791   2485 |        0 |        0
1623.61/1624.19	c 1624s |      26 | 11981650 |  9169552 |     8791   2488 |        0 |        0
1625.71/1626.21	c 1626s |      26 | 11993907 |  9179652 |     8791   2490 |        0 |        0
1627.71/1628.24	c 1628s |      26 | 12002100 |  9186652 |     8791   2492 |        0 |        0
1629.71/1630.27	c 1630s |      26 | 12009946 |  9193152 |     8791   2493 |        0 |        0
1631.70/1632.29	c 1632s |      26 | 12020624 |  9201652 |     8791   2495 |        0 |        0
1633.70/1634.29	c 1634s |      26 | 12032735 |  9210852 |     8791   2497 |        0 |        0
1635.81/1636.31	c 1636s |      26 | 12041952 |  9218652 |     8791   2498 |        0 |        0
1637.81/1638.33	c 1638s |      26 | 12048346 |  9224052 |     8791   2499 |        0 |        0
1639.81/1640.36	c 1640s |      26 | 12054113 |  9229252 |     8791   2501 |        0 |        0
1641.82/1642.36	c 1642s |      26 | 12062659 |  9236152 |     8791   2502 |        0 |        0
1643.81/1644.37	c 1644s |      26 | 12071433 |  9243552 |     8791   2504 |        0 |        0
1645.81/1646.37	c 1646s |      26 | 12083062 |  9252252 |     8791   2505 |        0 |        0
1647.81/1648.40	c 1648s |      26 | 12095393 |  9261652 |     8791   2507 |        0 |        0
1649.91/1650.41	c 1650s |      26 | 12109776 |  9272852 |     8791   2510 |        0 |        0
1651.91/1652.41	c 1652s |      26 | 12124188 |  9284152 |     8791   2512 |        0 |        0
1653.91/1654.41	c 1654s |      26 | 12136506 |  9293852 |     8791   2514 |        0 |        0
1655.91/1656.42	c 1656s |      26 | 12147856 |  9302752 |     8791   2516 |        0 |        0
1657.91/1658.43	c 1658s |      26 | 12155731 |  9309552 |     8791   2518 |        0 |        0
1659.91/1660.43	c 1660s |      26 | 12172181 |  9322052 |     8791   2520 |        0 |        0
1661.91/1662.44	c 1662s |      26 | 12181333 |  9329752 |     8791   2522 |        0 |        0
1663.91/1664.45	c 1664s |      26 | 12195018 |  9340452 |     8791   2524 |        0 |        0
1665.90/1666.45	c 1666s |      26 | 12207932 |  9350252 |     8791   2526 |        0 |        0
1667.90/1668.46	c 1668s |      26 | 12221508 |  9360752 |     8791   2528 |        0 |        0
1669.90/1670.47	c 1670s |      26 | 12238105 |  9373152 |     8791   2531 |        0 |        0
1671.90/1672.48	c 1672s |      26 | 12253867 |  9385052 |     8791   2534 |        0 |        0
1673.90/1674.48	c 1674s |      26 | 12268431 |  9396152 |     8791   2536 |        0 |        0
1675.91/1676.49	c 1676s |      26 | 12284336 |  9408552 |     8791   2539 |        0 |        0
1678.00/1678.51	c 1678s |      26 | 12301559 |  9421652 |     8791   2541 |        0 |        0
1680.00/1680.51	c 1680s |      26 | 12314718 |  9432152 |     8791   2544 |        0 |        0
1682.00/1682.52	c 1682s |      26 | 12330528 |  9444552 |     8791   2546 |        0 |        0
1684.00/1684.52	c 1684s |      26 | 12344414 |  9454852 |     8791   2548 |        0 |        0
1686.00/1686.53	c 1686s |      26 | 12360455 |  9466952 |     8791   2551 |        0 |        0
1688.00/1688.53	c 1688s |      26 | 12375210 |  9478352 |     8791   2553 |        0 |        0
1690.00/1690.60	c 1690s |      26 | 12388876 |  9488652 |     8791   2556 |        0 |        0
1692.10/1692.61	c 1692s |      26 | 12404678 |  9500152 |     8791   2558 |        0 |        0
1694.10/1694.61	c 1694s |      26 | 12420307 |  9511852 |     8791   2560 |        0 |        0
1696.10/1696.63	c 1696s |      26 | 12432976 |  9521452 |     8791   2563 |        0 |        0
1698.09/1698.63	c 1698s |      26 | 12447096 |  9532552 |     8791   2565 |        0 |        0
1700.10/1700.64	c 1700s |      26 | 12459368 |  9542052 |     8791   2567 |        0 |        0
1702.09/1702.67	c 1702s |      26 | 12469131 |  9549652 |     8791   2569 |        0 |        0
1704.09/1704.69	c 1704s |      26 | 12480693 |  9558752 |     8791   2570 |        0 |        0
1706.10/1706.69	c 1706s |      26 | 12493597 |  9568452 |     8791   2573 |        0 |        0
1708.20/1708.70	c 1708s |      26 | 12508682 |  9580052 |     8791   2575 |        0 |        0
1710.20/1710.72	c 1710s |      26 | 12525240 |  9591952 |     8791   2577 |        0 |        0
1712.21/1712.73	c 1712s |      26 | 12537455 |  9601552 |     8791   2580 |        0 |        0
1714.20/1714.73	c 1714s |      26 | 12552184 |  9612852 |     8791   2582 |        0 |        0
1716.20/1716.73	c 1716s |      26 | 12570550 |  9626152 |     8791   2585 |        0 |        0
1718.20/1718.75	c 1718s |      26 | 12586370 |  9638752 |     8791   2587 |        0 |        0
1720.20/1720.75	c 1720s |      26 | 12602648 |  9651452 |     8791   2590 |        0 |        0
1722.20/1722.76	c 1722s |      26 | 12616895 |  9662152 |     8791   2592 |        0 |        0
1724.20/1724.78	c 1724s |      26 | 12628824 |  9671152 |     8791   2594 |        0 |        0
1726.19/1726.79	c 1726s |      26 | 12639147 |  9679652 |     8791   2596 |        0 |        0
1728.19/1728.79	c 1728s |      26 | 12654062 |  9690552 |     8791   2598 |        0 |        0
1730.29/1730.82	c 1730s |      26 | 12671366 |  9702952 |     8791   2601 |        0 |        0
1732.29/1732.83	c 1732s |      26 | 12686559 |  9714252 |     8791   2603 |        0 |        0
1734.30/1734.84	c 1734s |      26 | 12701619 |  9725152 |     8791   2606 |        0 |        0
1736.29/1736.84	c 1736s |      26 | 12718413 |  9737952 |     8791   2608 |        0 |        0
1738.29/1738.86	c 1738s |      26 | 12734785 |  9749952 |     8791   2611 |        0 |        0
1740.29/1740.86	c 1740s |      26 | 12752999 |  9763352 |     8791   2614 |        0 |        0
1742.39/1742.93	c 1742s |      26 | 12770316 |  9775952 |     8791   2616 |        0 |        0
1744.39/1744.93	c 1744s |      26 | 12786114 |  9787552 |     8791   2619 |        0 |        0
1746.39/1746.94	c 1746s |      26 | 12802714 |  9799752 |     8791   2621 |        0 |        0
1748.39/1748.95	c 1748s |      26 | 12817640 |  9811752 |     8791   2624 |        0 |        0
1750.39/1750.95	c 1750s |      26 | 12835788 |  9825352 |     8791   2627 |        0 |        0
1752.39/1752.96	c 1752s |      26 | 12853570 |  9838952 |     8791   2630 |        0 |        0
1754.39/1754.99	c 1754s |      26 | 12865518 |  9848252 |     8791   2632 |        0 |        0
1756.49/1757.01	c 1756s |      26 | 12877158 |  9857352 |     8791   2634 |        0 |        0
1758.49/1759.02	c 1758s |      26 | 12892269 |  9869352 |     8791   2636 |        0 |        0
1760.48/1761.03	c 1760s |      26 | 12904353 |  9878452 |     8791   2638 |        0 |        0
1762.48/1763.05	c 1763s |      26 | 12919563 |  9890152 |     8791   2640 |        0 |        0
1764.48/1765.05	c 1765s |      26 | 12932984 |  9900452 |     8791   2643 |        0 |        0
1766.49/1767.05	c 1767s |      26 | 12947112 |  9911452 |     8791   2645 |        0 |        0
1768.49/1769.06	c 1769s |      26 | 12962014 |  9922952 |     8791   2647 |        0 |        0
1770.49/1771.06	c 1771s |      26 | 12975872 |  9933552 |     8791   2650 |        0 |        0
1772.49/1773.06	c 1773s |      26 | 12990635 |  9945152 |     8791   2652 |        0 |        0
1774.49/1775.06	c 1775s |      26 | 13003232 |  9954352 |     8791   2654 |        0 |        0
1776.49/1777.07	c 1777s |      26 | 13019958 |  9966552 |     8791   2657 |        0 |        0
1778.49/1779.07	c 1779s |      26 | 13038126 |  9980252 |     8791   2659 |        0 |        0
1780.49/1781.09	c 1781s |      26 | 13050056 |  9989352 |     8791   2661 |        0 |        0
1782.49/1783.09	c 1783s |      26 | 13063948 | 10000452 |     8791   2664 |        0 |        0
1784.48/1785.09	c 1785s |      26 | 13080050 | 10013052 |     8791   2666 |        0 |        0
1786.58/1787.10	c 1787s |      26 | 13092798 | 10023652 |     8791   2669 |        0 |        0
1788.58/1789.13	c 1789s |      26 | 13101928 | 10031252 |     8791   2670 |        0 |        0
1790.58/1791.16	c 1791s |      26 | 13115742 | 10041952 |     8791   2672 |        0 |        0
1792.59/1793.17	c 1793s |      26 | 13129182 | 10052252 |     8791   2675 |        0 |        0
1794.58/1795.18	c 1795s |      26 | 13141670 | 10061852 |     8791   2677 |        0 |        0
1796.68/1797.20	c 1797s |      26 | 13154546 | 10071852 |     8791   2679 |        0 |        0
1798.68/1799.21	c 1799s |      26 | 13167764 | 10081752 |     8791   2681 |        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-4088707-1466013843/watcher-4088707-1466013843 -o /tmp/evaluation-result-4088707-1466013843/solver-4088707-1466013843 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088707-1466013843.opb 

pid=5859
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.35 0.76 1.25 4/175 5867
/proc/meminfo: memFree=30566116/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=703932 CPUtime=0 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 2624 0 0 0 0 0 0 0 20 0 4 0 3430852 720826368 2985 33554432000 4194304 16246674 140733833114848 140733833114272 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5867/statm: 176495 2994 441 2943 0 173389 0
[pid=5867/tid=5868] ppid=5859 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 738652160 3053 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 742846464 3070 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=730556 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 748089344 3087 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100216 s]
/proc/loadavg: 0.35 0.76 1.25 4/175 5867
/proc/meminfo: memFree=30566116/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 23750 0 0 0 6 3 0 0 20 0 4 0 3430852 1247350784 24100 33554432000 4194304 16246674 140733833114848 140733833114272 5675010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5867/statm: 304529 24106 709 2943 0 301423 0
[pid=5867/tid=5868] ppid=5859 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1247350784 24112 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1247350784 24118 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1247350784 24124 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200551 s]
/proc/loadavg: 0.35 0.76 1.25 4/175 5867
/proc/meminfo: memFree=30566116/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 44295 0 0 0 13 6 0 0 20 0 4 0 3430852 1247350784 44645 33554432000 4194304 16246674 140733833114848 140733833097840 6843278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5867/statm: 304529 44655 716 2943 0 301423 0
[pid=5867/tid=5868] ppid=5859 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1247350784 44661 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1247350784 44666 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1247350784 44672 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300518 s]
/proc/loadavg: 0.35 0.76 1.25 4/175 5867
/proc/meminfo: memFree=30566116/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 64466 0 0 0 20 9 0 0 20 0 4 0 3430852 1247350784 64817 33554432000 4194304 16246674 140733833114848 140733833097848 12478189 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5867/statm: 304529 64826 716 2943 0 301423 0
[pid=5867/tid=5868] ppid=5859 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1247350784 64834 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1247350784 64841 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1247350784 64846 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70044 s]
/proc/loadavg: 0.35 0.76 1.25 4/175 5867
/proc/meminfo: memFree=30566116/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 145109 0 0 0 49 20 0 0 20 0 4 0 3430852 1247350784 145460 33554432000 4194304 16246674 140733833114848 140733833096768 5676365 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5867/statm: 304529 145467 716 2943 0 301423 0
[pid=5867/tid=5868] ppid=5859 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1247350784 145473 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1247350784 145480 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1247350784 145487 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50045 s]
/proc/loadavg: 0.35 0.76 1.25 4/183 5875
/proc/meminfo: memFree=28723028/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 228668 0 0 0 117 32 0 0 20 0 4 0 3430852 1251545088 228998 33554432000 4194304 16246674 140733833114848 140733833097840 5824017 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5867/statm: 305553 228998 791 2943 0 302447 0
[pid=5867/tid=5868] ppid=5859 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1251545088 228998 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1251545088 228998 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1251545088 228998 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1222212

[startup+3.10044 s]
/proc/loadavg: 0.35 0.76 1.25 4/183 5875
/proc/meminfo: memFree=28429364/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1308228 CPUtime=3.09 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 267863 0 0 0 272 37 0 0 20 0 4 0 3430852 1339625472 268193 33554432000 4194304 16246674 140733833114848 140733833097848 13192848 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5867/statm: 327057 268193 791 2943 0 323951 0
[pid=5867/tid=5868] ppid=5859 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1339625472 268193 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1339625472 268193 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1339625472 268193 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1308228

[startup+6.30045 s]
/proc/loadavg: 0.48 0.78 1.26 4/183 5924
/proc/meminfo: memFree=29279840/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1309252 CPUtime=6.29 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 268132 0 0 0 591 38 0 0 20 0 4 0 3430852 1340674048 268462 33554432000 4194304 16246674 140733833114848 140733833096768 13966160 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5867/statm: 327313 268462 791 2943 0 324207 0
[pid=5867/tid=5868] ppid=5859 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1340674048 268462 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1340674048 268462 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1340674048 268462 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1309252

[startup+12.7005 s]
/proc/loadavg: 0.69 0.82 1.27 3/183 5924
/proc/meminfo: memFree=28412988/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1312324 CPUtime=12.67 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 268930 0 0 0 1229 38 0 0 20 0 4 0 3430852 1343819776 269260 33554432000 4194304 16246674 140733833114848 140733833097848 5677537 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 328081 269260 793 2943 0 324975 0
[pid=5867/tid=5868] ppid=5859 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1343819776 269260 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1343819776 269260 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1343819776 269260 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 0.98 0.88 1.28 3/183 5924
/proc/meminfo: memFree=28414024/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1314372 CPUtime=25.47 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 269397 0 0 0 2509 38 0 0 20 0 4 0 3430852 1345916928 269727 33554432000 4194304 16246674 140733833114848 140733833097848 6016373 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 328593 269727 793 2943 0 325487 0
[pid=5867/tid=5868] ppid=5859 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1345916928 269727 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1345916928 269727 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1345916928 269727 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1314372

[startup+51.1005 s]
/proc/loadavg: 1.38 0.98 1.30 4/183 5924
/proc/meminfo: memFree=28397052/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1326660 CPUtime=51.07 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 272695 0 0 0 5068 39 0 0 20 0 4 0 3430852 1358499840 273025 33554432000 4194304 16246674 140733833114848 140733833113944 5674030 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 331665 273025 793 2943 0 328559 0
[pid=5867/tid=5868] ppid=5859 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1358499840 273025 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1358499840 273025 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1358499840 273025 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1326660

[startup+102.301 s]
/proc/loadavg: 1.89 1.18 1.35 3/183 5925
/proc/meminfo: memFree=28396232/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1326660 CPUtime=102.27 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 272696 0 0 0 10187 40 0 0 20 0 4 0 3430852 1358499840 273026 33554432000 4194304 16246674 140733833114848 140733833096768 6020488 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 331665 273026 794 2943 0 328559 0
[pid=5867/tid=5868] ppid=5859 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1358499840 273026 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1358499840 273026 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1358499840 273026 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1326660


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

/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1376325632 277635 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.89
Current children cumulated vsize (KiB) 1344068

[startup+1302.3 s]
/proc/loadavg: 2.19 2.18 1.94 3/183 5955
/proc/meminfo: memFree=28365756/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1344068 CPUtime=1301.87 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 277444 0 0 0 130126 61 0 0 20 0 4 0 3430852 1376325632 277635 33554432000 4194304 16246674 140733833114848 140733833097848 5675505 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 336017 277635 795 2943 0 332911 0
[pid=5867/tid=5868] ppid=5859 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1376325632 277635 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1376325632 277635 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1376325632 277635 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1344068

[startup+1362.3 s]
/proc/loadavg: 2.15 2.18 1.95 4/183 5956
/proc/meminfo: memFree=28365924/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1344068 CPUtime=1361.85 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 277461 0 0 0 136122 63 0 0 20 0 4 0 3430852 1376325632 277635 33554432000 4194304 16246674 140733833114848 140733833097848 5672213 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 336017 277635 795 2943 0 332911 0
[pid=5867/tid=5868] ppid=5859 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1376325632 277635 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1376325632 277635 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1376325632 277635 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1344068

[startup+1422.3 s]
/proc/loadavg: 2.19 2.19 1.97 3/183 5958
/proc/meminfo: memFree=28362376/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1347140 CPUtime=1421.84 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 278229 0 0 0 142119 65 0 0 20 0 4 0 3430852 1379471360 278403 33554432000 4194304 16246674 140733833114848 140733833097848 5823891 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 336785 278403 795 2943 0 333679 0
[pid=5867/tid=5868] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278403 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278403 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278403 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1347140

[startup+1482.3 s]
/proc/loadavg: 2.26 2.21 1.99 3/183 5959
/proc/meminfo: memFree=28362276/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1347140 CPUtime=1481.83 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 278229 0 0 0 148117 66 0 0 20 0 4 0 3430852 1379471360 278403 33554432000 4194304 16246674 140733833114848 140733833097848 13954552 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 336785 278403 795 2943 0 333679 0
[pid=5867/tid=5868] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278403 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278403 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278403 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1347140

[startup+1542.31 s]
/proc/loadavg: 2.13 2.18 2.00 4/183 5960
/proc/meminfo: memFree=28362184/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1347140 CPUtime=1541.83 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 278229 0 0 0 154116 67 0 0 20 0 4 0 3430852 1379471360 278403 33554432000 4194304 16246674 140733833114848 140733833096768 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 336785 278403 795 2943 0 333679 0
[pid=5867/tid=5868] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278403 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278403 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278403 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1347140

[startup+1602.3 s]
/proc/loadavg: 2.18 2.19 2.01 3/184 5964
/proc/meminfo: memFree=28362140/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1347140 CPUtime=1601.81 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 278230 0 0 0 160113 68 0 0 20 0 4 0 3430852 1379471360 278404 33554432000 4194304 16246674 140733833114848 140733833097848 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 336785 278404 796 2943 0 333679 0
[pid=5867/tid=5868] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1347140

[startup+1662.3 s]
/proc/loadavg: 2.22 2.20 2.02 3/183 5965
/proc/meminfo: memFree=28361940/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1347140 CPUtime=1661.81 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 278230 0 0 0 166112 69 0 0 20 0 4 0 3430852 1379471360 278404 33554432000 4194304 16246674 140733833114848 140733833096768 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 336785 278404 796 2943 0 333679 0
[pid=5867/tid=5868] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1347140

[startup+1722.3 s]
/proc/loadavg: 2.12 2.18 2.02 4/182 5967
/proc/meminfo: memFree=28360812/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1347140 CPUtime=1721.8 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 278230 0 0 0 172110 70 0 0 20 0 4 0 3430852 1379471360 278404 33554432000 4194304 16246674 140733833114848 140733833096768 5677888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 336785 278404 796 2943 0 333679 0
[pid=5867/tid=5868] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1347140

[startup+1782.3 s]
/proc/loadavg: 2.18 2.18 2.03 4/183 5969
/proc/meminfo: memFree=28358864/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1347140 CPUtime=1781.79 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 278230 0 0 0 178108 71 0 0 20 0 4 0 3430852 1379471360 278404 33554432000 4194304 16246674 140733833114848 140733833097848 12478009 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 336785 278404 796 2943 0 333679 0
[pid=5867/tid=5868] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1347140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.21 2.19 2.03 3/183 5969
/proc/meminfo: memFree=28359032/32872528 swapFree=1369816/1516984
[pid=5867] ppid=5859 vsize=1347140 CPUtime=1800.08 cores=1,3,5,7
/proc/5867/stat : 5867 (toysat) R 5859 5867 5822 0 -1 4202496 278230 0 0 0 179937 71 0 0 20 0 4 0 3430852 1379471360 278404 33554432000 4194304 16246674 140733833114848 140733833096768 5827784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/5867/statm: 336785 278404 796 2943 0 333679 0
[pid=5867/tid=5868] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5868/stat : 5868 (toysat) S 5859 5867 5822 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139953114688752 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5867/tid=5869] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5869/stat : 5869 (toysat) S 5859 5867 5822 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139953104198896 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5867/tid=5873] ppid=5859 vsize=1347140 CPUtime=0 cores=1,3,5,7
/proc/5867/task/5873/stat : 5873 (toysat) S 5859 5867 5822 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3430853 1379471360 278404 33554432000 4194304 16246674 140733833114848 139952985730224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1347140

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 5867 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.38
CPU system time (s): 0.71789
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1347140

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.71789
maximum resident set size= 1113616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278230
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= 424
involuntary context switches= 1874

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.2376 second user time and 19.2861 second system time

The end

Begin job on node129 at 2016-06-15 20:04:03
IDJOB=4088707
IDBENCH=107302
IDSOLVER=2542
FILE ID=node129/4088707-1466013843
RUNJOBID= node129-1466013843-5839
PBS_JOBID= 19902811
Free space on /tmp= 71736 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x110split.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088707-1466013843/watcher-4088707-1466013843 -o /tmp/evaluation-result-4088707-1466013843/solver-4088707-1466013843 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466013843-5839 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088707-1466013843.opb

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

MD5SUM BENCH= 89362364de17fe2ed91e08469c5a6887
RANDOM SEED=1464953587

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30569048 kB
Buffers:            1476 kB
Cached:            65280 kB
SwapCached:        20056 kB
Active:            54488 kB
Inactive:          31960 kB
Active(anon):       2760 kB
Inactive(anon):    19876 kB
Active(file):      51728 kB
Inactive(file):    12084 kB
Unevictable:     1516984 kB
Mlocked:         1369816 kB
SwapTotal:      67108856 kB
SwapFree:       67080816 kB
Dirty:             32608 kB
Writeback:             0 kB
AnonPages:       1517804 kB
Mapped:             6328 kB
Shmem:                 0 kB
Slab:             565940 kB
SReclaimable:      10180 kB
SUnreclaim:       555760 kB
KernelStack:        1352 kB
PageTables:         6388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1612824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node129 at 2016-06-15 20:34:04