0.00/0.00	c 2016-06-15T20:20:10+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-4088749-1466014810.opb"]
0.00/0.01	c use --random-gen="2891984350 2572513090 2028771301 69669488 2952389077 523734768 1273425027 3217572365 3433465491 760603449 106372246 2365132423 3418828878 2407557354 74797636 187805620 170203421 538308772 3412227833 3858495927 1586088190 470180083 4044415465 495910764 3103641187 2116264176 2501243708 481335556 1303466507 666063531 77968914 2382706117 2107280330 1011005545 3595133515 2226776658 3583951286 2488835785 2148055658 1970944222 4135552371 3017795430 1189503926 905818426 1252411392 798426063 3159650561 1059719949 2278673570 1726473115 2556752414 3342579128 969729865 4134717141 2114343147 717842372 1171205445 3815630883 591856994 3126678231 1836010907 2319857683 4020374131 639988463 502559304 21693957 4003166401 3732474654 4074910972 2570784097 699549590 1943274513 2028522428 1491921721 1034395577 405160018 3239682921 2765424335 1400498394 206822255 2078511274 498945378 4102729220 2562856731 106066425 4080246837 3972630673 1386012622 3927422232 2595678301 1055745344 3248707105 1591143906 3231326270 2334624086 2267936106 3053225261 2697796394 2645931754 907658616 1021591429 3967331456 1507903926 820044690 375784113 1574456125 3746975779 3815424950 612362141 357119855 2814875772 1954348809 2609258590 2296053702 2310052039 174354188 1493559093 3274696351 4014941499 4250869562 1801251876 111269119 3009756410 2649057713 1233603783 1622856525 676807342 3235726620 2230401236 641699822 4033568316 1816558022 2536405710 2578006782 1722867440 2192088543 3174265267 2806368763 3772269979 926162954 789688469 2609339884 1648487793 455406344 3102992244 763831353 3965756173 4263703081 1531822212 4029569337 1963241696 2701401595 2805958795 1811177665 4172090598 509226862 1945882613 2684052835 68190146 3580974653 2226981068 2277718140 1531775525 3259043255 1671292333 304445752 3412003196 1560328589 3430337088 3505135171 3585309090 1613281530 859035491 244315079 3280443576 1436967920 837573897 774580625 4273925661 3662489172 536321772 3068948149 1204468157 1969854236 1049400528 1481689140 1205960316 3108695698 2351191924 1273204322 2853372053 393063233 2181667840 2303103129 367010220 1666964328 2641093104 2279763844 1300340080 190654374 3931757250 2045067748 3865736740 3533324544 1193582579 2138894573 664166281 3235370544 2467996029 3399705234 174475580 3194704294 628642212 3952102976 2743120445 3681757287 1611511732 76200181 60204848 4245691700 2393325763 266521805 1541255297 1448131639 2584231135 2589488147 1514921347 4052375276 3519700594 2480568106 809565994 104715352 3887430745 1513825049 2620288612 95980953 3252932475 3650967659 3717457791 3459871044 4177545635 536151626 2135334400 4259865662 3801525272 801145703 3052328374 3063245350 4225636739 2906875665 1014685939 2375430270 3168518220 3700930852 2460609918 2514215015 255 362436" option to reproduce the execution
0.00/0.02	c #vars 1201
0.00/0.02	c #constraints 601
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 |      801      0 |        0 |        0
0.00/0.05	c  0.0s |       1 |      693 |      100 |      801      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |     1940 |      250 |      882      0 |        0 |        0
0.00/0.08	c  0.0s |       3 |     3823 |      475 |      971      0 |        0 |        0
0.08/0.11	c  0.1s |       4 |     4661 |      813 |     1069      0 |        0 |        0
0.08/0.17	c  0.1s |       5 |     5519 |     1320 |     1176      1 |        0 |        0
0.19/0.24	c  0.2s |       6 |     7257 |     2081 |     1424      1 |        0 |        0
0.29/0.39	c  0.4s |       7 |     8721 |     3223 |     1567      3 |        0 |        0
0.49/0.60	c  0.6s |       8 |    11003 |     4936 |     1724      5 |        0 |        0
0.89/0.95	c  0.9s |       9 |    14453 |     7506 |     1897      7 |        0 |        0
1.39/1.44	c  1.4s |      10 |    20432 |    11361 |     2087      9 |        0 |        0
2.30/2.31	c  2.3s |      11 |    29872 |    17144 |     2296     13 |        0 |        0
3.30/3.33	c  3.3s |      12 |    41654 |    25819 |     2526     19 |        0 |        0
4.79/4.84	c  4.8s |      13 |    60471 |    38832 |     2779     27 |        0 |        0
6.79/6.85	c  6.8s |      13 |    83503 |    54532 |     2779     36 |        0 |        0
7.29/7.37	c  7.3s |      14 |    88534 |    58352 |     3057     38 |        0 |        0
9.28/9.38	c  9.3s |      14 |   111300 |    74852 |     3057     48 |        0 |        0
10.68/10.80	c 10.8s |      15 |   127968 |    87632 |     3363     55 |        0 |        0
12.79/12.80	c 12.8s |      15 |   154551 |   104232 |     3363     63 |        0 |        0
14.79/14.80	c 14.8s |      15 |   181271 |   122332 |     3363     72 |        0 |        0
15.69/15.77	c 15.7s |      16 |   194751 |   131552 |     3700     76 |        0 |        0
17.69/17.79	c 17.8s |      16 |   210733 |   143252 |     3700     81 |        0 |        0
19.79/19.80	c 19.8s |      16 |   226005 |   154752 |     3700     86 |        0 |        0
21.79/21.81	c 21.8s |      16 |   241434 |   166352 |     3700     92 |        0 |        0
23.79/23.83	c 23.8s |      16 |   258234 |   178952 |     3700     97 |        0 |        0
25.79/25.84	c 25.8s |      16 |   276300 |   192452 |     3700    103 |        0 |        0
26.69/26.72	c 26.7s |      17 |   282558 |   197432 |     4071    105 |        0 |        0
28.69/28.73	c 28.7s |      17 |   303338 |   212532 |     4071    111 |        0 |        0
30.68/30.73	c 30.7s |      17 |   324297 |   228332 |     4071    118 |        0 |        0
32.68/32.74	c 32.7s |      17 |   347556 |   245532 |     4071    125 |        0 |        0
34.68/34.74	c 34.7s |      17 |   369361 |   261932 |     4071    132 |        0 |        0
36.68/36.76	c 36.7s |      17 |   389114 |   277632 |     4071    139 |        0 |        0
38.68/38.76	c 38.7s |      17 |   413558 |   295432 |     4479    146 |        0 |        0
38.78/38.89	c 38.9s |      18 |   414580 |   296252 |     4479    146 |        0 |        0
40.88/40.90	c 40.9s |      18 |   430969 |   308752 |     4479    151 |        0 |        0
42.89/42.91	c 42.9s |      18 |   444761 |   319152 |     4479    156 |        0 |        0
44.88/44.91	c 44.9s |      18 |   458706 |   330552 |     4479    160 |        0 |        0
46.88/46.93	c 46.9s |      18 |   474295 |   342852 |     4479    165 |        0 |        0
48.88/48.94	c 48.9s |      18 |   488445 |   354052 |     4479    169 |        0 |        0
50.88/50.94	c 50.9s |      18 |   504041 |   366652 |     4479    174 |        0 |        0
52.88/52.95	c 52.9s |      18 |   521076 |   379652 |     4479    179 |        0 |        0
54.88/54.95	c 54.9s |      18 |   537343 |   392052 |     4479    184 |        0 |        0
56.88/56.96	c 56.9s |      18 |   550628 |   402952 |     4479    188 |        0 |        0
58.88/58.96	c 58.9s |      18 |   566165 |   415152 |     4479    193 |        0 |        0
60.87/60.97	c 60.9s |      18 |   581571 |   427352 |     4479    198 |        0 |        0
62.88/63.00	c 63.0s |      18 |   595766 |   438952 |     4479    203 |        0 |        0
63.68/63.78	c 63.7s |      19 |   602963 |   444482 |     4927    204 |        0 |        0
65.68/65.79	c 65.8s |      19 |   623929 |   459682 |     4927    210 |        0 |        0
67.78/67.80	c 67.8s |      19 |   640922 |   472682 |     4927    215 |        0 |        0
69.78/69.80	c 69.8s |      19 |   658716 |   485882 |     4927    220 |        0 |        0
71.78/71.80	c 71.8s |      19 |   675122 |   498782 |     4927    225 |        0 |        0
73.79/73.81	c 73.8s |      19 |   695015 |   513282 |     4927    230 |        0 |        0
75.78/75.82	c 75.8s |      19 |   715842 |   528582 |     4927    236 |        0 |        0
77.78/77.83	c 77.8s |      19 |   736024 |   542682 |     4927    241 |        0 |        0
79.78/79.85	c 79.8s |      19 |   758259 |   557882 |     4927    246 |        0 |        0
81.78/81.85	c 81.8s |      19 |   778406 |   572682 |     4927    252 |        0 |        0
83.78/83.87	c 83.8s |      19 |   799463 |   588282 |     4927    257 |        0 |        0
85.78/85.89	c 85.9s |      19 |   815168 |   600882 |     4927    262 |        0 |        0
87.77/87.90	c 87.9s |      19 |   832090 |   613482 |     4927    266 |        0 |        0
89.87/89.90	c 89.9s |      19 |   843187 |   622482 |     4927    270 |        0 |        0
91.87/91.90	c 91.9s |      19 |   855674 |   632782 |     4927    273 |        0 |        0
93.87/93.90	c 93.9s |      19 |   868732 |   642482 |     4927    277 |        0 |        0
95.87/95.91	c 95.9s |      19 |   883524 |   653882 |     4927    281 |        0 |        0
97.88/97.91	c 97.9s |      19 |   900210 |   666182 |     5420    285 |        0 |        0
97.88/97.98	c 97.9s |      20 |   900986 |   666827 |     5420    285 |        0 |        0
99.87/99.98	c 99.9s |      20 |   918744 |   679627 |     5420    289 |        0 |        0
101.97/102.00	c  101s |      20 |   935363 |   691627 |     5420    293 |        0 |        0
103.97/104.02	c  103s |      20 |   954855 |   705627 |     5420    298 |        0 |        0
105.97/106.02	c  105s |      20 |   973086 |   719427 |     5420    302 |        0 |        0
107.97/108.02	c  107s |      20 |   987874 |   730727 |     5420    306 |        0 |        0
109.97/110.02	c  109s |      20 |  1002943 |   742427 |     5420    310 |        0 |        0
111.98/112.03	c  111s |      20 |  1020638 |   755627 |     5420    314 |        0 |        0
113.97/114.04	c  114s |      20 |  1037964 |   768527 |     5420    318 |        0 |        0
115.97/116.06	c  116s |      20 |  1053485 |   780527 |     5420    322 |        0 |        0
117.97/118.07	c  118s |      20 |  1068792 |   792027 |     5420    325 |        0 |        0
119.98/120.08	c  120s |      20 |  1082984 |   803027 |     5420    329 |        0 |        0
121.97/122.08	c  122s |      20 |  1097163 |   813827 |     5420    332 |        0 |        0
124.07/124.10	c  124s |      20 |  1113391 |   826627 |     5420    337 |        0 |        0
126.07/126.11	c  126s |      20 |  1129448 |   839027 |     5420    340 |        0 |        0
128.07/128.14	c  128s |      20 |  1140815 |   848527 |     5420    343 |        0 |        0
130.07/130.15	c  130s |      20 |  1152362 |   857127 |     5420    346 |        0 |        0
132.08/132.15	c  132s |      20 |  1165642 |   867527 |     5420    349 |        0 |        0
134.07/134.16	c  134s |      20 |  1178632 |   877427 |     5420    353 |        0 |        0
136.07/136.16	c  136s |      20 |  1194542 |   889127 |     5420    356 |        0 |        0
138.07/138.18	c  138s |      20 |  1211758 |   901927 |     5420    360 |        0 |        0
140.07/140.19	c  140s |      20 |  1224938 |   912327 |     5420    364 |        0 |        0
142.17/142.20	c  142s |      20 |  1243015 |   925427 |     5420    368 |        0 |        0
144.17/144.21	c  144s |      20 |  1259975 |   937927 |     5420    372 |        0 |        0
146.16/146.22	c  146s |      20 |  1275708 |   950227 |     5420    376 |        0 |        0
148.16/148.22	c  148s |      20 |  1289900 |   961527 |     5420    379 |        0 |        0
150.16/150.23	c  150s |      20 |  1304024 |   972627 |     5420    383 |        0 |        0
152.16/152.24	c  152s |      20 |  1323721 |   987227 |     5420    388 |        0 |        0
154.16/154.25	c  154s |      20 |  1340375 |   999727 |     5963    391 |        0 |        0
154.26/154.38	c  154s |      21 |  1341149 |  1000345 |     5963    392 |        0 |        0
156.27/156.39	c  156s |      21 |  1359719 |  1012945 |     5963    395 |        0 |        0
158.26/158.39	c  158s |      21 |  1376326 |  1025245 |     5963    399 |        0 |        0
160.36/160.40	c  160s |      21 |  1393767 |  1038645 |     5963    403 |        0 |        0
162.36/162.40	c  162s |      21 |  1409511 |  1050545 |     5963    407 |        0 |        0
164.36/164.41	c  164s |      21 |  1425532 |  1062745 |     5963    410 |        0 |        0
166.37/166.41	c  166s |      21 |  1445007 |  1076345 |     5963    414 |        0 |        0
168.37/168.42	c  168s |      21 |  1464234 |  1090845 |     5963    419 |        0 |        0
170.37/170.43	c  170s |      21 |  1482357 |  1104145 |     5963    423 |        0 |        0
172.37/172.43	c  172s |      21 |  1500523 |  1117645 |     5963    427 |        0 |        0
174.37/174.44	c  174s |      21 |  1519123 |  1131745 |     5963    431 |        0 |        0
176.37/176.44	c  176s |      21 |  1539114 |  1145945 |     5963    435 |        0 |        0
178.36/178.45	c  178s |      21 |  1560878 |  1161745 |     5963    440 |        0 |        0
180.37/180.46	c  180s |      21 |  1580079 |  1175845 |     5963    444 |        0 |        0
182.36/182.47	c  182s |      21 |  1599685 |  1189945 |     5963    449 |        0 |        0
184.36/184.47	c  184s |      21 |  1620471 |  1205245 |     5963    453 |        0 |        0
186.36/186.47	c  186s |      21 |  1634896 |  1216345 |     5963    457 |        0 |        0
188.36/188.47	c  188s |      21 |  1649754 |  1227745 |     5963    460 |        0 |        0
190.37/190.48	c  190s |      21 |  1661180 |  1236945 |     5963    463 |        0 |        0
192.36/192.50	c  192s |      21 |  1675915 |  1248345 |     5963    466 |        0 |        0
194.46/194.50	c  194s |      21 |  1689457 |  1258545 |     5963    469 |        0 |        0
196.46/196.51	c  196s |      21 |  1700975 |  1267745 |     5963    472 |        0 |        0
198.46/198.52	c  198s |      21 |  1712510 |  1277145 |     5963    475 |        0 |        0
200.46/200.54	c  200s |      21 |  1727854 |  1288945 |     5963    478 |        0 |        0
202.47/202.55	c  202s |      21 |  1746115 |  1303345 |     5963    483 |        0 |        0
204.46/204.56	c  204s |      21 |  1763215 |  1316145 |     5963    487 |        0 |        0
206.46/206.57	c  206s |      21 |  1782470 |  1330445 |     5963    491 |        0 |        0
208.46/208.57	c  208s |      21 |  1800836 |  1343945 |     5963    495 |        0 |        0
210.46/210.58	c  210s |      21 |  1818706 |  1356645 |     5963    499 |        0 |        0
212.45/212.59	c  212s |      21 |  1835283 |  1369245 |     5963    502 |        0 |        0
214.46/214.59	c  214s |      21 |  1848824 |  1379945 |     5963    506 |        0 |        0
216.45/216.59	c  216s |      21 |  1860961 |  1389345 |     5963    509 |        0 |        0
218.55/218.60	c  218s |      21 |  1877415 |  1401745 |     5963    512 |        0 |        0
220.55/220.61	c  220s |      21 |  1887794 |  1410245 |     5963    515 |        0 |        0
222.55/222.61	c  222s |      21 |  1907431 |  1424445 |     5963    519 |        0 |        0
224.55/224.62	c  224s |      21 |  1923507 |  1436945 |     5963    523 |        0 |        0
226.55/226.63	c  226s |      21 |  1941871 |  1450545 |     5963    527 |        0 |        0
228.54/228.64	c  228s |      21 |  1958166 |  1463345 |     5963    531 |        0 |        0
230.54/230.66	c  230s |      21 |  1973680 |  1475345 |     5963    534 |        0 |        0
232.54/232.67	c  232s |      21 |  1989162 |  1486945 |     5963    538 |        0 |        0
234.54/234.63	c  234s |      22 |  2007603 |  1500622 |     6560    542 |        0 |        0
236.56/236.64	c  236s |      22 |  2025646 |  1513622 |     6560    545 |        0 |        0
238.55/238.65	c  238s |      22 |  2039711 |  1524222 |     6560    548 |        0 |        0
240.55/240.66	c  240s |      22 |  2054623 |  1535822 |     6560    552 |        0 |        0
242.55/242.67	c  242s |      22 |  2074770 |  1550622 |     6560    556 |        0 |        0
244.55/244.67	c  244s |      22 |  2090582 |  1562722 |     6560    560 |        0 |        0
246.55/246.67	c  246s |      22 |  2111581 |  1578222 |     6560    564 |        0 |        0
248.55/248.68	c  248s |      22 |  2133358 |  1593522 |     6560    568 |        0 |        0
250.54/250.69	c  250s |      22 |  2152078 |  1607322 |     6560    572 |        0 |        0
252.64/252.70	c  252s |      22 |  2170331 |  1621422 |     6560    577 |        0 |        0
254.64/254.70	c  254s |      22 |  2186026 |  1633322 |     6560    580 |        0 |        0
256.64/256.70	c  256s |      22 |  2203892 |  1646722 |     6560    584 |        0 |        0
258.64/258.71	c  258s |      22 |  2218781 |  1658322 |     6560    587 |        0 |        0
260.64/260.72	c  260s |      22 |  2233756 |  1669822 |     6560    591 |        0 |        0
262.64/262.73	c  262s |      22 |  2248199 |  1680622 |     6560    594 |        0 |        0
264.64/264.73	c  264s |      22 |  2263972 |  1692422 |     6560    597 |        0 |        0
266.64/266.74	c  266s |      22 |  2280955 |  1705222 |     6560    601 |        0 |        0
268.63/268.75	c  268s |      22 |  2295563 |  1716922 |     6560    604 |        0 |        0
270.64/270.77	c  270s |      22 |  2309094 |  1727622 |     6560    607 |        0 |        0
272.63/272.78	c  272s |      22 |  2324504 |  1739322 |     6560    611 |        0 |        0
274.73/274.80	c  274s |      22 |  2338684 |  1750522 |     6560    614 |        0 |        0
276.73/276.80	c  276s |      22 |  2356431 |  1764022 |     6560    618 |        0 |        0
278.73/278.81	c  278s |      22 |  2370104 |  1774622 |     6560    621 |        0 |        0
280.73/280.83	c  280s |      22 |  2385703 |  1786422 |     6560    624 |        0 |        0
282.73/282.85	c  282s |      22 |  2399829 |  1797522 |     6560    627 |        0 |        0
284.73/284.85	c  284s |      22 |  2415578 |  1809222 |     6560    631 |        0 |        0
286.73/286.85	c  286s |      22 |  2430170 |  1820622 |     6560    634 |        0 |        0
288.72/288.86	c  288s |      22 |  2447671 |  1833922 |     6560    638 |        0 |        0
290.72/290.87	c  290s |      22 |  2462344 |  1845522 |     6560    641 |        0 |        0
292.73/292.87	c  292s |      22 |  2477478 |  1857022 |     6560    645 |        0 |        0
294.73/294.88	c  294s |      22 |  2491329 |  1867822 |     6560    648 |        0 |        0
296.73/296.89	c  296s |      22 |  2503902 |  1877722 |     6560    651 |        0 |        0
298.82/298.90	c  298s |      22 |  2518376 |  1888822 |     6560    654 |        0 |        0
300.82/300.91	c  300s |      22 |  2532628 |  1900122 |     6560    657 |        0 |        0
302.82/302.91	c  302s |      22 |  2546846 |  1911222 |     6560    660 |        0 |        0
304.82/304.92	c  304s |      22 |  2567040 |  1926222 |     6560    665 |        0 |        0
306.83/306.94	c  306s |      22 |  2580080 |  1936722 |     6560    668 |        0 |        0
308.82/308.94	c  308s |      22 |  2597021 |  1949422 |     6560    671 |        0 |        0
310.82/310.95	c  310s |      22 |  2610006 |  1959922 |     6560    674 |        0 |        0
312.82/312.97	c  312s |      22 |  2622653 |  1969822 |     6560    677 |        0 |        0
314.82/314.98	c  314s |      22 |  2639757 |  1982922 |     6560    681 |        0 |        0
316.92/317.00	c  316s |      22 |  2658099 |  1996822 |     6560    685 |        0 |        0
318.82/319.00	c  318s |      22 |  2677522 |  2011622 |     6560    689 |        0 |        0
320.92/321.02	c  320s |      22 |  2692318 |  2023422 |     6560    693 |        0 |        0
322.92/323.03	c  322s |      22 |  2708112 |  2035422 |     6560    696 |        0 |        0
324.92/325.06	c  325s |      22 |  2718623 |  2043822 |     6560    699 |        0 |        0
326.91/327.06	c  327s |      22 |  2733470 |  2054522 |     6560    702 |        0 |        0
328.92/329.08	c  329s |      22 |  2752367 |  2068722 |     6560    706 |        0 |        0
330.91/331.08	c  331s |      22 |  2765534 |  2079022 |     6560    709 |        0 |        0
332.91/333.09	c  333s |      22 |  2785066 |  2093222 |     6560    713 |        0 |        0
335.01/335.11	c  335s |      22 |  2802218 |  2106122 |     6560    717 |        0 |        0
337.01/337.11	c  337s |      22 |  2816332 |  2117322 |     6560    720 |        0 |        0
339.00/339.13	c  339s |      22 |  2832708 |  2129422 |     6560    723 |        0 |        0
341.01/341.14	c  341s |      22 |  2850722 |  2143122 |     6560    727 |        0 |        0
343.00/343.16	c  343s |      22 |  2869073 |  2157022 |     6560    731 |        0 |        0
345.00/345.16	c  345s |      22 |  2887216 |  2170022 |     6560    735 |        0 |        0
347.00/347.16	c  347s |      22 |  2902652 |  2182722 |     6560    739 |        0 |        0
349.00/349.17	c  349s |      22 |  2917566 |  2194322 |     6560    742 |        0 |        0
351.00/351.18	c  351s |      22 |  2935706 |  2207822 |     6560    746 |        0 |        0
353.01/353.19	c  353s |      22 |  2953984 |  2221122 |     6560    750 |        0 |        0
355.10/355.21	c  355s |      22 |  2965302 |  2230522 |     6560    753 |        0 |        0
357.10/357.21	c  357s |      22 |  2982732 |  2243122 |     7217    756 |        0 |        0
358.61/358.76	c  358s |      23 |  2992516 |  2251038 |     7217    758 |        0 |        0
360.60/360.76	c  360s |      23 |  3017551 |  2267738 |     7217    762 |        0 |        0
362.60/362.78	c  362s |      23 |  3036238 |  2281438 |     7217    766 |        0 |        0
364.60/364.78	c  364s |      23 |  3050629 |  2292038 |     7217    768 |        0 |        0
366.60/366.79	c  366s |      23 |  3064583 |  2302938 |     7217    771 |        0 |        0
368.70/368.82	c  368s |      23 |  3073338 |  2310438 |     7217    773 |        0 |        0
370.70/370.83	c  370s |      23 |  3089613 |  2321938 |     7217    776 |        0 |        0
372.70/372.86	c  372s |      23 |  3104695 |  2333038 |     7217    779 |        0 |        0
374.70/374.87	c  374s |      23 |  3119672 |  2344238 |     7217    781 |        0 |        0
376.69/376.88	c  376s |      23 |  3139012 |  2357738 |     7217    785 |        0 |        0
378.69/378.89	c  378s |      23 |  3151871 |  2367438 |     7217    787 |        0 |        0
380.79/380.90	c  380s |      23 |  3166945 |  2378638 |     7217    790 |        0 |        0
382.80/382.91	c  382s |      23 |  3181693 |  2389338 |     7217    793 |        0 |        0
384.79/384.92	c  384s |      23 |  3199200 |  2401738 |     7217    796 |        0 |        0
386.79/386.92	c  386s |      23 |  3217413 |  2414638 |     7217    799 |        0 |        0
388.79/388.93	c  388s |      23 |  3236103 |  2428138 |     7217    802 |        0 |        0
390.79/390.98	c  390s |      23 |  3252281 |  2440138 |     7217    806 |        0 |        0
392.79/392.98	c  392s |      23 |  3271603 |  2453938 |     7217    809 |        0 |        0
394.79/394.99	c  394s |      23 |  3292581 |  2469038 |     7217    813 |        0 |        0
396.88/397.01	c  396s |      23 |  3307505 |  2480238 |     7217    816 |        0 |        0
398.88/399.01	c  398s |      23 |  3321751 |  2490438 |     7217    818 |        0 |        0
400.88/401.03	c  400s |      23 |  3339949 |  2503738 |     7217    822 |        0 |        0
402.88/403.04	c  403s |      23 |  3357618 |  2517038 |     7217    825 |        0 |        0
404.88/405.06	c  405s |      23 |  3371691 |  2527538 |     7217    828 |        0 |        0
406.89/407.07	c  407s |      23 |  3389782 |  2539838 |     7217    831 |        0 |        0
408.88/409.07	c  409s |      23 |  3406318 |  2552738 |     7217    834 |        0 |        0
410.88/411.07	c  411s |      23 |  3425023 |  2566838 |     7217    837 |        0 |        0
412.88/413.09	c  413s |      23 |  3440337 |  2577638 |     7217    840 |        0 |        0
414.97/415.10	c  415s |      23 |  3459692 |  2591238 |     7217    844 |        0 |        0
416.98/417.12	c  417s |      23 |  3478361 |  2604738 |     7217    847 |        0 |        0
418.98/419.13	c  419s |      23 |  3497194 |  2617938 |     7217    850 |        0 |        0
420.98/421.13	c  421s |      23 |  3509740 |  2627338 |     7217    853 |        0 |        0
422.98/423.13	c  423s |      23 |  3526879 |  2640438 |     7217    856 |        0 |        0
424.98/425.15	c  425s |      23 |  3541601 |  2651238 |     7217    859 |        0 |        0
426.98/427.16	c  427s |      23 |  3560411 |  2664738 |     7217    862 |        0 |        0
428.98/429.16	c  429s |      23 |  3573536 |  2674538 |     7217    864 |        0 |        0
430.97/431.17	c  431s |      23 |  3586247 |  2683838 |     7217    867 |        0 |        0
432.97/433.18	c  433s |      23 |  3603902 |  2696938 |     7217    870 |        0 |        0
435.07/435.21	c  435s |      23 |  3623100 |  2710638 |     7217    874 |        0 |        0
437.07/437.23	c  437s |      23 |  3638842 |  2722538 |     7217    877 |        0 |        0
439.06/439.23	c  439s |      23 |  3652991 |  2733538 |     7217    879 |        0 |        0
441.07/441.23	c  441s |      23 |  3661200 |  2740238 |     7217    881 |        0 |        0
443.06/443.23	c  443s |      23 |  3675330 |  2750638 |     7217    884 |        0 |        0
445.06/445.24	c  445s |      23 |  3691664 |  2762538 |     7217    887 |        0 |        0
447.06/447.25	c  447s |      23 |  3708952 |  2775838 |     7217    890 |        0 |        0
449.06/449.27	c  449s |      23 |  3725158 |  2788438 |     7217    893 |        0 |        0
451.06/451.28	c  451s |      23 |  3738990 |  2798838 |     7217    896 |        0 |        0
453.06/453.28	c  453s |      23 |  3754701 |  2810438 |     7217    898 |        0 |        0
455.05/455.29	c  455s |      23 |  3770905 |  2822638 |     7217    902 |        0 |        0
457.16/457.30	c  457s |      23 |  3784407 |  2832938 |     7217    904 |        0 |        0
459.16/459.30	c  459s |      23 |  3797890 |  2842938 |     7217    907 |        0 |        0
461.16/461.30	c  461s |      23 |  3814299 |  2854938 |     7217    910 |        0 |        0
463.16/463.32	c  463s |      23 |  3828462 |  2866038 |     7217    912 |        0 |        0
465.17/465.32	c  465s |      23 |  3844418 |  2878038 |     7217    915 |        0 |        0
467.16/467.34	c  467s |      23 |  3857287 |  2888538 |     7217    918 |        0 |        0
469.16/469.36	c  469s |      23 |  3871386 |  2899738 |     7217    921 |        0 |        0
471.16/471.37	c  471s |      23 |  3883126 |  2908538 |     7217    923 |        0 |        0
473.16/473.39	c  473s |      23 |  3900242 |  2921538 |     7217    926 |        0 |        0
475.26/475.40	c  475s |      23 |  3911376 |  2930238 |     7217    928 |        0 |        0
477.26/477.43	c  477s |      23 |  3925649 |  2941638 |     7217    931 |        0 |        0
479.25/479.43	c  479s |      23 |  3936125 |  2950038 |     7217    933 |        0 |        0
481.25/481.44	c  481s |      23 |  3952356 |  2962438 |     7217    936 |        0 |        0
483.25/483.46	c  483s |      23 |  3966991 |  2973438 |     7217    939 |        0 |        0
485.25/485.47	c  485s |      23 |  3984359 |  2985838 |     7217    942 |        0 |        0
487.35/487.52	c  487s |      23 |  4007953 |  3002638 |     7217    947 |        0 |        0
489.35/489.53	c  489s |      23 |  4026259 |  3016338 |     7217    950 |        0 |        0
491.34/491.54	c  491s |      23 |  4040903 |  3027438 |     7217    953 |        0 |        0
493.34/493.54	c  493s |      23 |  4057332 |  3039038 |     7217    956 |        0 |        0
495.34/495.56	c  495s |      23 |  4075180 |  3052338 |     7217    959 |        0 |        0
497.34/497.56	c  497s |      23 |  4086873 |  3062138 |     7217    962 |        0 |        0
499.34/499.57	c  499s |      23 |  4100606 |  3072638 |     7217    964 |        0 |        0
501.33/501.58	c  501s |      23 |  4116989 |  3084738 |     7217    967 |        0 |        0
503.43/503.61	c  503s |      23 |  4134677 |  3097838 |     7217    970 |        0 |        0
505.43/505.62	c  505s |      23 |  4150924 |  3110138 |     7217    974 |        0 |        0
507.43/507.63	c  507s |      23 |  4166345 |  3121838 |     7217    976 |        0 |        0
509.43/509.65	c  509s |      23 |  4180937 |  3133838 |     7217    979 |        0 |        0
511.45/511.65	c  511s |      23 |  4198292 |  3146638 |     7217    983 |        0 |        0
513.44/513.65	c  513s |      23 |  4215115 |  3158538 |     7217    986 |        0 |        0
515.44/515.68	c  515s |      23 |  4228818 |  3169638 |     7217    988 |        0 |        0
517.44/517.69	c  517s |      23 |  4240816 |  3179138 |     7217    991 |        0 |        0
519.54/519.70	c  519s |      23 |  4254665 |  3190038 |     7217    993 |        0 |        0
521.54/521.70	c  521s |      23 |  4269645 |  3202038 |     7217    996 |        0 |        0
523.54/523.70	c  523s |      23 |  4286922 |  3215138 |     7217   1000 |        0 |        0
525.54/525.70	c  525s |      23 |  4295678 |  3222938 |     7217   1002 |        0 |        0
527.54/527.71	c  527s |      23 |  4309812 |  3234138 |     7217   1004 |        0 |        0
529.53/529.71	c  529s |      23 |  4325954 |  3246038 |     7217   1007 |        0 |        0
531.53/531.71	c  531s |      23 |  4341379 |  3257938 |     7217   1010 |        0 |        0
533.53/533.72	c  533s |      23 |  4357612 |  3269738 |     7217   1013 |        0 |        0
535.53/535.73	c  535s |      23 |  4373522 |  3282038 |     7217   1016 |        0 |        0
537.53/537.74	c  537s |      23 |  4386929 |  3292738 |     7217   1019 |        0 |        0
539.52/539.74	c  539s |      23 |  4403089 |  3304838 |     7217   1022 |        0 |        0
541.52/541.76	c  541s |      23 |  4417029 |  3315438 |     7217   1025 |        0 |        0
543.52/543.77	c  543s |      23 |  4432376 |  3327438 |     7217   1028 |        0 |        0
545.62/545.81	c  545s |      23 |  4445488 |  3337338 |     7217   1030 |        0 |        0
547.63/547.82	c  547s |      23 |  4461168 |  3349338 |     7217   1034 |        0 |        0
549.62/549.84	c  549s |      23 |  4476629 |  3360938 |     7939   1036 |        0 |        0
551.63/551.86	c  551s |      23 |  4494047 |  3373338 |     7939   1039 |        0 |        0
552.13/552.33	c  552s |      24 |  4498478 |  3376662 |     7939   1040 |        0 |        0
554.12/554.34	c  554s |      24 |  4518627 |  3390862 |     7939   1043 |        0 |        0
556.12/556.35	c  556s |      24 |  4536854 |  3404262 |     7939   1046 |        0 |        0
558.12/558.36	c  558s |      24 |  4556412 |  3418862 |     7939   1049 |        0 |        0
560.12/560.37	c  560s |      24 |  4574484 |  3432062 |     7939   1053 |        0 |        0
562.12/562.37	c  562s |      24 |  4595002 |  3446862 |     7939   1056 |        0 |        0
564.13/564.37	c  564s |      24 |  4611845 |  3459162 |     7939   1059 |        0 |        0
566.12/566.38	c  566s |      24 |  4631673 |  3473462 |     7939   1062 |        0 |        0
568.12/568.38	c  568s |      24 |  4648549 |  3486262 |     7939   1065 |        0 |        0
570.11/570.39	c  570s |      24 |  4666946 |  3499662 |     7939   1068 |        0 |        0
572.21/572.41	c  572s |      24 |  4681234 |  3510662 |     7939   1071 |        0 |        0
574.21/574.41	c  574s |      24 |  4697771 |  3522962 |     7939   1074 |        0 |        0
576.22/576.46	c  576s |      24 |  4709728 |  3532162 |     7939   1076 |        0 |        0
578.31/578.50	c  578s |      24 |  4726144 |  3544262 |     7939   1079 |        0 |        0
580.30/580.51	c  580s |      24 |  4741376 |  3556062 |     7939   1081 |        0 |        0
582.30/582.52	c  582s |      24 |  4754853 |  3566662 |     7939   1084 |        0 |        0
584.30/584.52	c  584s |      24 |  4768697 |  3576962 |     7939   1086 |        0 |        0
586.30/586.54	c  586s |      24 |  4784412 |  3588762 |     7939   1089 |        0 |        0
588.31/588.54	c  588s |      24 |  4798436 |  3599362 |     7939   1091 |        0 |        0
590.30/590.54	c  590s |      24 |  4811210 |  3609362 |     7939   1094 |        0 |        0
592.30/592.55	c  592s |      24 |  4824544 |  3620162 |     7939   1096 |        0 |        0
594.30/594.58	c  594s |      24 |  4832203 |  3626662 |     7939   1097 |        0 |        0
596.30/596.59	c  596s |      24 |  4846436 |  3637262 |     7939   1100 |        0 |        0
598.40/598.60	c  598s |      24 |  4862431 |  3649462 |     7939   1103 |        0 |        0
600.40/600.60	c  600s |      24 |  4875878 |  3660162 |     7939   1105 |        0 |        0
602.39/602.62	c  602s |      24 |  4892018 |  3672762 |     7939   1108 |        0 |        0
604.39/604.62	c  604s |      24 |  4905076 |  3682762 |     7939   1111 |        0 |        0
606.39/606.63	c  606s |      24 |  4922740 |  3695762 |     7939   1114 |        0 |        0
608.39/608.67	c  608s |      24 |  4940255 |  3708962 |     7939   1117 |        0 |        0
610.40/610.68	c  610s |      24 |  4957483 |  3721662 |     7939   1119 |        0 |        0
612.39/612.69	c  612s |      24 |  4969661 |  3731662 |     7939   1122 |        0 |        0
614.39/614.69	c  614s |      24 |  4982848 |  3741662 |     7939   1124 |        0 |        0
616.49/616.70	c  616s |      24 |  4995399 |  3751862 |     7939   1126 |        0 |        0
618.48/618.72	c  618s |      24 |  5012221 |  3764362 |     7939   1129 |        0 |        0
620.48/620.73	c  620s |      24 |  5028665 |  3776762 |     7939   1132 |        0 |        0
622.49/622.76	c  622s |      24 |  5046934 |  3790162 |     7939   1135 |        0 |        0
624.49/624.77	c  624s |      24 |  5057945 |  3799262 |     7939   1137 |        0 |        0
626.49/626.78	c  626s |      24 |  5068436 |  3807862 |     7939   1139 |        0 |        0
628.59/628.80	c  628s |      24 |  5079776 |  3817262 |     7939   1142 |        0 |        0
630.59/630.82	c  630s |      24 |  5088164 |  3824562 |     7939   1143 |        0 |        0
632.59/632.83	c  632s |      24 |  5098975 |  3833662 |     7939   1145 |        0 |        0
634.60/634.83	c  634s |      24 |  5113682 |  3844362 |     7939   1148 |        0 |        0
636.59/636.84	c  636s |      24 |  5123643 |  3852562 |     7939   1150 |        0 |        0
638.58/638.86	c  638s |      24 |  5134842 |  3861262 |     7939   1152 |        0 |        0
640.58/640.88	c  640s |      24 |  5152488 |  3874662 |     7939   1155 |        0 |        0
642.58/642.89	c  642s |      24 |  5166049 |  3885362 |     7939   1157 |        0 |        0
644.68/644.90	c  644s |      24 |  5183606 |  3898962 |     7939   1160 |        0 |        0
646.68/646.91	c  646s |      24 |  5198957 |  3910662 |     7939   1163 |        0 |        0
648.67/648.92	c  648s |      24 |  5210490 |  3920062 |     7939   1165 |        0 |        0
650.67/650.93	c  650s |      24 |  5220190 |  3928162 |     7939   1167 |        0 |        0
652.67/652.93	c  652s |      24 |  5228355 |  3935162 |     7939   1169 |        0 |        0
654.67/654.94	c  654s |      24 |  5238648 |  3943662 |     7939   1171 |        0 |        0
656.67/656.96	c  656s |      24 |  5250493 |  3953362 |     7939   1173 |        0 |        0
658.67/658.97	c  658s |      24 |  5261406 |  3962062 |     7939   1175 |        0 |        0
660.66/660.97	c  660s |      24 |  5273740 |  3971562 |     7939   1177 |        0 |        0
662.66/662.98	c  662s |      24 |  5285330 |  3980762 |     7939   1179 |        0 |        0
664.76/665.00	c  664s |      24 |  5302791 |  3993462 |     7939   1182 |        0 |        0
666.76/667.04	c  667s |      24 |  5314625 |  4003062 |     7939   1185 |        0 |        0
668.77/669.05	c  669s |      24 |  5324617 |  4011162 |     7939   1186 |        0 |        0
670.77/671.05	c  671s |      24 |  5341484 |  4023762 |     7939   1189 |        0 |        0
672.76/673.06	c  673s |      24 |  5352789 |  4032962 |     7939   1191 |        0 |        0
674.76/675.06	c  675s |      24 |  5369503 |  4045662 |     7939   1194 |        0 |        0
676.76/677.06	c  677s |      24 |  5391234 |  4061162 |     7939   1198 |        0 |        0
678.76/679.07	c  679s |      24 |  5410376 |  4075562 |     7939   1201 |        0 |        0
680.76/681.08	c  681s |      24 |  5427526 |  4088662 |     7939   1204 |        0 |        0
682.76/683.08	c  683s |      24 |  5445589 |  4102062 |     7939   1207 |        0 |        0
684.76/685.08	c  685s |      24 |  5460436 |  4113762 |     7939   1210 |        0 |        0
686.86/687.11	c  687s |      24 |  5468073 |  4120562 |     7939   1212 |        0 |        0
688.86/689.13	c  689s |      24 |  5476290 |  4127862 |     7939   1213 |        0 |        0
690.86/691.14	c  691s |      24 |  5485679 |  4135462 |     7939   1215 |        0 |        0
692.86/693.16	c  693s |      24 |  5497122 |  4144662 |     7939   1217 |        0 |        0
694.85/695.16	c  695s |      24 |  5510868 |  4155362 |     7939   1220 |        0 |        0
696.85/697.17	c  697s |      24 |  5527364 |  4167462 |     7939   1223 |        0 |        0
698.85/699.17	c  699s |      24 |  5541670 |  4178362 |     7939   1225 |        0 |        0
700.85/701.17	c  701s |      24 |  5557217 |  4190662 |     7939   1228 |        0 |        0
702.85/703.19	c  703s |      24 |  5570046 |  4200562 |     7939   1230 |        0 |        0
704.85/705.20	c  705s |      24 |  5586669 |  4212862 |     7939   1233 |        0 |        0
706.94/707.20	c  707s |      24 |  5606153 |  4227162 |     7939   1236 |        0 |        0
708.94/709.21	c  709s |      24 |  5625384 |  4241362 |     7939   1240 |        0 |        0
710.94/711.25	c  711s |      24 |  5641663 |  4254162 |     7939   1243 |        0 |        0
712.94/713.26	c  713s |      24 |  5657611 |  4265862 |     7939   1245 |        0 |        0
714.94/715.27	c  715s |      24 |  5674230 |  4277962 |     7939   1248 |        0 |        0
716.94/717.27	c  717s |      24 |  5687175 |  4288262 |     7939   1251 |        0 |        0
718.93/719.28	c  719s |      24 |  5701639 |  4299062 |     7939   1253 |        0 |        0
721.03/721.30	c  721s |      24 |  5714395 |  4308962 |     7939   1255 |        0 |        0
723.03/723.31	c  723s |      24 |  5727957 |  4319062 |     7939   1258 |        0 |        0
725.04/725.35	c  725s |      24 |  5744444 |  4331362 |     7939   1261 |        0 |        0
727.04/727.36	c  727s |      24 |  5763528 |  4345562 |     7939   1264 |        0 |        0
729.04/729.38	c  729s |      24 |  5780697 |  4358062 |     7939   1267 |        0 |        0
731.03/731.38	c  731s |      24 |  5798491 |  4371262 |     7939   1270 |        0 |        0
733.03/733.38	c  733s |      24 |  5819256 |  4386362 |     7939   1273 |        0 |        0
735.03/735.39	c  735s |      24 |  5831767 |  4396462 |     7939   1276 |        0 |        0
737.13/737.40	c  737s |      24 |  5842122 |  4405162 |     7939   1278 |        0 |        0
739.12/739.41	c  739s |      24 |  5862416 |  4419762 |     7939   1281 |        0 |        0
741.13/741.42	c  741s |      24 |  5874741 |  4429662 |     7939   1283 |        0 |        0
743.12/743.43	c  743s |      24 |  5887305 |  4439662 |     7939   1286 |        0 |        0
745.12/745.44	c  745s |      24 |  5899558 |  4449562 |     7939   1288 |        0 |        0
747.12/747.44	c  747s |      24 |  5911705 |  4459362 |     7939   1290 |        0 |        0
749.12/749.45	c  749s |      24 |  5924239 |  4469162 |     7939   1292 |        0 |        0
751.12/751.45	c  751s |      24 |  5939124 |  4480462 |     7939   1295 |        0 |        0
753.11/753.48	c  753s |      24 |  5957911 |  4494162 |     7939   1298 |        0 |        0
755.11/755.49	c  755s |      24 |  5976926 |  4508262 |     7939   1302 |        0 |        0
757.11/757.50	c  757s |      24 |  5994254 |  4521562 |     7939   1305 |        0 |        0
759.21/759.50	c  759s |      24 |  6007047 |  4532062 |     7939   1307 |        0 |        0
761.21/761.51	c  761s |      24 |  6022620 |  4544162 |     7939   1310 |        0 |        0
763.22/763.51	c  763s |      24 |  6040779 |  4558062 |     7939   1313 |        0 |        0
765.21/765.52	c  765s |      24 |  6060370 |  4572362 |     7939   1316 |        0 |        0
767.21/767.56	c  767s |      24 |  6071895 |  4581762 |     7939   1319 |        0 |        0
769.21/769.57	c  769s |      24 |  6085090 |  4592062 |     7939   1321 |        0 |        0
771.31/771.60	c  771s |      24 |  6099534 |  4603462 |     7939   1323 |        0 |        0
773.31/773.61	c  773s |      24 |  6111918 |  4613262 |     7939   1326 |        0 |        0
775.31/775.61	c  775s |      24 |  6128480 |  4625962 |     7939   1329 |        0 |        0
777.31/777.63	c  777s |      24 |  6147532 |  4640162 |     7939   1332 |        0 |        0
779.30/779.63	c  779s |      24 |  6167179 |  4654962 |     7939   1335 |        0 |        0
781.30/781.65	c  781s |      24 |  6184375 |  4668362 |     7939   1339 |        0 |        0
783.30/783.65	c  783s |      24 |  6198218 |  4679362 |     7939   1341 |        0 |        0
785.30/785.67	c  785s |      24 |  6211391 |  4689462 |     7939   1343 |        0 |        0
787.30/787.67	c  787s |      24 |  6224543 |  4699562 |     7939   1346 |        0 |        0
789.29/789.69	c  789s |      24 |  6236853 |  4709462 |     7939   1348 |        0 |        0
791.39/791.70	c  791s |      24 |  6250001 |  4720062 |     7939   1351 |        0 |        0
793.39/793.73	c  793s |      24 |  6260829 |  4728562 |     7939   1353 |        0 |        0
795.39/795.75	c  795s |      24 |  6273868 |  4738962 |     7939   1355 |        0 |        0
797.39/797.75	c  797s |      24 |  6287013 |  4749362 |     7939   1357 |        0 |        0
799.39/799.75	c  799s |      24 |  6299728 |  4759362 |     7939   1360 |        0 |        0
801.38/801.78	c  801s |      24 |  6312508 |  4769362 |     7939   1362 |        0 |        0
803.38/803.79	c  803s |      24 |  6325827 |  4779362 |     7939   1364 |        0 |        0
805.48/805.81	c  805s |      24 |  6337281 |  4788562 |     7939   1366 |        0 |        0
807.48/807.82	c  807s |      24 |  6352807 |  4800862 |     7939   1369 |        0 |        0
809.48/809.83	c  809s |      24 |  6367552 |  4812862 |     7939   1372 |        0 |        0
811.48/811.84	c  811s |      24 |  6382581 |  4824762 |     7939   1375 |        0 |        0
813.48/813.85	c  813s |      24 |  6400688 |  4839062 |     7939   1378 |        0 |        0
815.48/815.86	c  815s |      24 |  6415655 |  4850662 |     7939   1381 |        0 |        0
817.48/817.87	c  817s |      24 |  6428873 |  4861462 |     7939   1383 |        0 |        0
819.47/819.87	c  819s |      24 |  6440764 |  4871162 |     7939   1385 |        0 |        0
821.48/821.89	c  821s |      24 |  6451530 |  4880262 |     7939   1387 |        0 |        0
823.58/823.92	c  823s |      24 |  6459881 |  4887562 |     7939   1389 |        0 |        0
825.57/825.94	c  825s |      24 |  6469710 |  4895262 |     7939   1391 |        0 |        0
827.57/827.94	c  827s |      24 |  6483264 |  4905262 |     7939   1393 |        0 |        0
829.57/829.95	c  829s |      24 |  6494689 |  4914462 |     7939   1395 |        0 |        0
831.57/831.96	c  831s |      24 |  6505824 |  4923362 |     7939   1397 |        0 |        0
833.58/833.97	c  833s |      24 |  6516942 |  4932562 |     7939   1399 |        0 |        0
835.57/835.97	c  835s |      24 |  6530139 |  4943162 |     7939   1402 |        0 |        0
837.57/837.98	c  837s |      24 |  6543109 |  4953262 |     7939   1404 |        0 |        0
839.57/839.99	c  839s |      24 |  6560589 |  4966762 |     7939   1407 |        0 |        0
841.57/841.99	c  841s |      24 |  6579086 |  4980262 |     7939   1410 |        0 |        0
843.67/844.01	c  843s |      24 |  6596849 |  4993562 |     7939   1414 |        0 |        0
845.68/846.02	c  845s |      24 |  6615912 |  5008462 |     7939   1417 |        0 |        0
847.67/848.02	c  847s |      24 |  6635563 |  5023462 |     7939   1420 |        0 |        0
849.67/850.03	c  849s |      24 |  6653906 |  5037062 |     8733   1423 |        0 |        0
851.67/852.03	c  851s |      24 |  6667195 |  5047662 |     8733   1426 |        0 |        0
853.67/854.05	c  854s |      24 |  6679138 |  5056662 |     8733   1428 |        0 |        0
855.37/855.80	c  855s |      25 |  6689703 |  5065098 |     8733   1429 |        0 |        0
857.46/857.81	c  857s |      25 |  6704362 |  5076098 |     8733   1432 |        0 |        0
859.46/859.82	c  859s |      25 |  6718516 |  5087098 |     8733   1434 |        0 |        0
861.46/861.84	c  861s |      25 |  6734060 |  5099198 |     8733   1437 |        0 |        0
863.46/863.85	c  863s |      25 |  6751334 |  5112098 |     8733   1440 |        0 |        0
865.47/865.86	c  865s |      25 |  6771412 |  5127098 |     8733   1443 |        0 |        0
867.46/867.88	c  867s |      25 |  6784407 |  5137198 |     8733   1445 |        0 |        0
869.46/869.90	c  869s |      25 |  6798247 |  5148098 |     8733   1448 |        0 |        0
871.56/871.90	c  871s |      25 |  6814727 |  5159398 |     8733   1450 |        0 |        0
873.56/873.91	c  873s |      25 |  6831656 |  5171798 |     8733   1453 |        0 |        0
875.56/875.93	c  875s |      25 |  6847725 |  5184098 |     8733   1455 |        0 |        0
877.56/877.93	c  877s |      25 |  6861023 |  5194598 |     8733   1457 |        0 |        0
879.56/879.93	c  879s |      25 |  6879669 |  5207698 |     8733   1460 |        0 |        0
881.56/881.94	c  881s |      25 |  6895323 |  5219598 |     8733   1463 |        0 |        0
883.56/883.94	c  883s |      25 |  6905731 |  5228198 |     8733   1464 |        0 |        0
885.56/885.95	c  885s |      25 |  6919270 |  5238898 |     8733   1467 |        0 |        0
887.56/887.96	c  887s |      25 |  6934645 |  5250898 |     8733   1469 |        0 |        0
889.56/889.97	c  889s |      25 |  6948553 |  5261498 |     8733   1472 |        0 |        0
891.56/891.98	c  891s |      25 |  6966031 |  5274298 |     8733   1474 |        0 |        0
893.66/894.00	c  893s |      25 |  6977163 |  5283298 |     8733   1476 |        0 |        0
895.65/896.02	c  895s |      25 |  6985749 |  5290298 |     8733   1478 |        0 |        0
897.65/898.02	c  897s |      25 |  7001277 |  5302198 |     8733   1480 |        0 |        0
899.65/900.02	c  899s |      25 |  7019387 |  5315298 |     8733   1483 |        0 |        0
901.66/902.02	c  901s |      25 |  7035152 |  5326698 |     8733   1485 |        0 |        0
903.65/904.03	c  903s |      25 |  7055756 |  5341698 |     8733   1488 |        0 |        0
905.66/906.03	c  905s |      25 |  7074006 |  5355298 |     8733   1491 |        0 |        0
907.66/908.03	c  907s |      25 |  7093230 |  5369098 |     8733   1494 |        0 |        0
909.66/910.04	c  910s |      25 |  7113404 |  5383798 |     8733   1497 |        0 |        0
911.67/912.05	c  912s |      25 |  7130863 |  5396798 |     8733   1500 |        0 |        0
913.66/914.09	c  914s |      25 |  7145531 |  5407698 |     8733   1503 |        0 |        0
915.66/916.09	c  916s |      25 |  7161239 |  5419398 |     8733   1505 |        0 |        0
917.76/918.10	c  918s |      25 |  7177413 |  5431598 |     8733   1508 |        0 |        0
919.76/920.11	c  920s |      25 |  7191205 |  5442098 |     8733   1510 |        0 |        0
921.76/922.13	c  922s |      25 |  7206063 |  5452498 |     8733   1512 |        0 |        0
923.76/924.14	c  924s |      25 |  7217935 |  5460898 |     8733   1514 |        0 |        0
925.76/926.14	c  926s |      25 |  7232812 |  5471598 |     8733   1516 |        0 |        0
927.76/928.15	c  928s |      25 |  7247728 |  5482598 |     8733   1518 |        0 |        0
929.75/930.16	c  930s |      25 |  7260999 |  5492898 |     8733   1521 |        0 |        0
931.75/932.17	c  932s |      25 |  7279179 |  5506198 |     8733   1523 |        0 |        0
933.85/934.20	c  934s |      25 |  7294569 |  5517498 |     8733   1526 |        0 |        0
935.86/936.20	c  936s |      25 |  7306842 |  5527098 |     8733   1528 |        0 |        0
937.85/938.21	c  938s |      25 |  7318996 |  5536698 |     8733   1530 |        0 |        0
939.85/940.25	c  940s |      25 |  7336025 |  5549398 |     8733   1532 |        0 |        0
941.85/942.28	c  942s |      25 |  7355661 |  5563998 |     8733   1536 |        0 |        0
943.95/944.30	c  944s |      25 |  7371963 |  5576798 |     8733   1538 |        0 |        0
945.95/946.30	c  946s |      25 |  7389322 |  5589798 |     8733   1541 |        0 |        0
947.96/948.31	c  948s |      25 |  7408029 |  5603698 |     8733   1544 |        0 |        0
949.95/950.32	c  950s |      25 |  7426152 |  5617398 |     8733   1547 |        0 |        0
951.95/952.32	c  952s |      25 |  7442139 |  5629398 |     8733   1549 |        0 |        0
953.95/954.33	c  954s |      25 |  7459894 |  5642498 |     8733   1552 |        0 |        0
955.95/956.33	c  956s |      25 |  7481034 |  5657498 |     8733   1555 |        0 |        0
957.95/958.34	c  958s |      25 |  7497605 |  5669998 |     8733   1558 |        0 |        0
959.95/960.34	c  960s |      25 |  7512228 |  5680898 |     8733   1560 |        0 |        0
961.94/962.35	c  962s |      25 |  7529018 |  5693398 |     8733   1563 |        0 |        0
963.94/964.35	c  964s |      25 |  7546135 |  5705398 |     8733   1566 |        0 |        0
965.94/966.36	c  966s |      25 |  7564178 |  5718498 |     8733   1568 |        0 |        0
967.94/968.37	c  968s |      25 |  7577715 |  5728498 |     8733   1570 |        0 |        0
969.95/970.38	c  970s |      25 |  7592072 |  5739498 |     8733   1573 |        0 |        0
972.05/972.41	c  972s |      25 |  7601753 |  5747598 |     8733   1574 |        0 |        0
974.04/974.42	c  974s |      25 |  7614298 |  5757598 |     8733   1577 |        0 |        0
976.04/976.43	c  976s |      25 |  7624656 |  5765698 |     8733   1578 |        0 |        0
978.04/978.44	c  978s |      25 |  7636383 |  5775298 |     8733   1580 |        0 |        0
980.04/980.45	c  980s |      25 |  7651169 |  5786498 |     8733   1583 |        0 |        0
982.05/982.48	c  982s |      25 |  7663907 |  5796398 |     8733   1585 |        0 |        0
984.15/984.51	c  984s |      25 |  7681034 |  5809098 |     8733   1588 |        0 |        0
986.14/986.52	c  986s |      25 |  7695379 |  5819698 |     8733   1590 |        0 |        0
988.14/988.53	c  988s |      25 |  7707133 |  5828498 |     8733   1592 |        0 |        0
990.15/990.53	c  990s |      25 |  7721043 |  5838798 |     8733   1594 |        0 |        0
992.15/992.55	c  992s |      25 |  7734276 |  5848498 |     8733   1596 |        0 |        0
994.15/994.57	c  994s |      25 |  7748951 |  5859898 |     8733   1598 |        0 |        0
996.15/996.58	c  996s |      25 |  7766003 |  5872198 |     8733   1601 |        0 |        0
998.25/998.60	c  998s |      25 |  7782010 |  5884098 |     8733   1603 |        0 |        0
1000.25/1000.61	c 1000s |      25 |  7798032 |  5895898 |     8733   1606 |        0 |        0
1002.25/1002.61	c 1002s |      25 |  7816625 |  5909898 |     8733   1609 |        0 |        0
1004.25/1004.61	c 1004s |      25 |  7834284 |  5923098 |     8733   1612 |        0 |        0
1006.25/1006.62	c 1006s |      25 |  7847147 |  5932898 |     8733   1614 |        0 |        0
1008.24/1008.63	c 1008s |      25 |  7858761 |  5941998 |     8733   1616 |        0 |        0
1010.24/1010.64	c 1010s |      25 |  7872270 |  5952198 |     8733   1618 |        0 |        0
1012.24/1012.64	c 1012s |      25 |  7888841 |  5964998 |     8733   1620 |        0 |        0
1014.24/1014.64	c 1014s |      25 |  7905180 |  5977598 |     8733   1623 |        0 |        0
1016.24/1016.65	c 1016s |      25 |  7924340 |  5991698 |     8733   1626 |        0 |        0
1018.24/1018.65	c 1018s |      25 |  7940619 |  6003998 |     8733   1629 |        0 |        0
1020.24/1020.65	c 1020s |      25 |  7954467 |  6014698 |     8733   1631 |        0 |        0
1022.24/1022.66	c 1022s |      25 |  7966261 |  6024098 |     8733   1633 |        0 |        0
1024.24/1024.67	c 1024s |      25 |  7979631 |  6034398 |     8733   1635 |        0 |        0
1026.24/1026.69	c 1026s |      25 |  7998437 |  6048998 |     8733   1638 |        0 |        0
1028.34/1028.70	c 1028s |      25 |  8017843 |  6062998 |     8733   1641 |        0 |        0
1030.34/1030.71	c 1030s |      25 |  8034759 |  6075398 |     8733   1644 |        0 |        0
1032.34/1032.73	c 1032s |      25 |  8051911 |  6088598 |     8733   1647 |        0 |        0
1034.33/1034.73	c 1034s |      25 |  8073706 |  6103998 |     8733   1650 |        0 |        0
1036.33/1036.74	c 1036s |      25 |  8092396 |  6117298 |     8733   1653 |        0 |        0
1038.33/1038.76	c 1038s |      25 |  8108670 |  6129898 |     8733   1655 |        0 |        0
1040.34/1040.78	c 1040s |      25 |  8117112 |  6137098 |     8733   1657 |        0 |        0
1042.33/1042.80	c 1042s |      25 |  8129360 |  6146998 |     8733   1659 |        0 |        0
1044.43/1044.87	c 1044s |      25 |  8138258 |  6154598 |     8733   1661 |        0 |        0
1046.43/1046.88	c 1046s |      25 |  8149240 |  6163098 |     8733   1662 |        0 |        0
1048.43/1048.89	c 1048s |      25 |  8159363 |  6171098 |     8733   1664 |        0 |        0
1050.53/1050.90	c 1050s |      25 |  8172758 |  6180998 |     8733   1666 |        0 |        0
1052.54/1052.95	c 1052s |      25 |  8185926 |  6190798 |     8733   1668 |        0 |        0
1054.54/1054.96	c 1054s |      25 |  8198928 |  6200698 |     8733   1670 |        0 |        0
1056.64/1057.01	c 1056s |      25 |  8213379 |  6210998 |     8733   1673 |        0 |        0
1058.64/1059.03	c 1058s |      25 |  8228315 |  6222798 |     8733   1675 |        0 |        0
1060.64/1061.06	c 1061s |      25 |  8244144 |  6234598 |     8733   1678 |        0 |        0
1062.64/1063.07	c 1063s |      25 |  8260742 |  6247098 |     8733   1680 |        0 |        0
1064.63/1065.09	c 1065s |      25 |  8275191 |  6257798 |     8733   1682 |        0 |        0
1066.64/1067.10	c 1067s |      25 |  8290817 |  6269398 |     8733   1685 |        0 |        0
1068.73/1069.10	c 1069s |      25 |  8306493 |  6281398 |     8733   1687 |        0 |        0
1070.73/1071.10	c 1071s |      25 |  8322110 |  6293298 |     8733   1690 |        0 |        0
1072.73/1073.12	c 1073s |      25 |  8337484 |  6304998 |     8733   1693 |        0 |        0
1074.73/1075.14	c 1075s |      25 |  8354851 |  6318698 |     8733   1695 |        0 |        0
1076.73/1077.14	c 1077s |      25 |  8368567 |  6329598 |     8733   1698 |        0 |        0
1078.74/1079.15	c 1079s |      25 |  8379217 |  6338398 |     8733   1700 |        0 |        0
1080.73/1081.18	c 1081s |      25 |  8392785 |  6348998 |     8733   1702 |        0 |        0
1082.73/1083.18	c 1083s |      25 |  8403294 |  6357498 |     8733   1704 |        0 |        0
1084.73/1085.19	c 1085s |      25 |  8422295 |  6370498 |     8733   1707 |        0 |        0
1086.83/1087.20	c 1087s |      25 |  8435745 |  6381098 |     8733   1709 |        0 |        0
1088.83/1089.20	c 1089s |      25 |  8447446 |  6390298 |     8733   1711 |        0 |        0
1090.83/1091.22	c 1091s |      25 |  8456480 |  6398098 |     8733   1713 |        0 |        0
1092.82/1093.28	c 1093s |      25 |  8468747 |  6407398 |     8733   1715 |        0 |        0
1094.92/1095.30	c 1095s |      25 |  8482808 |  6418198 |     8733   1717 |        0 |        0
1096.92/1097.30	c 1097s |      25 |  8496057 |  6428698 |     8733   1719 |        0 |        0
1098.92/1099.31	c 1099s |      25 |  8513250 |  6441298 |     8733   1722 |        0 |        0
1100.92/1101.32	c 1101s |      25 |  8525713 |  6451198 |     8733   1724 |        0 |        0
1102.94/1103.32	c 1103s |      25 |  8538450 |  6461298 |     8733   1726 |        0 |        0
1104.93/1105.32	c 1105s |      25 |  8550271 |  6470298 |     8733   1728 |        0 |        0
1106.93/1107.33	c 1107s |      25 |  8566654 |  6482298 |     8733   1731 |        0 |        0
1108.93/1109.35	c 1109s |      25 |  8577579 |  6491398 |     8733   1733 |        0 |        0
1110.93/1111.35	c 1111s |      25 |  8591357 |  6501598 |     8733   1735 |        0 |        0
1112.94/1113.36	c 1113s |      25 |  8607765 |  6513398 |     8733   1737 |        0 |        0
1114.93/1115.37	c 1115s |      25 |  8619968 |  6523198 |     8733   1740 |        0 |        0
1116.93/1117.38	c 1117s |      25 |  8634382 |  6533398 |     8733   1742 |        0 |        0
1119.03/1119.41	c 1119s |      25 |  8648781 |  6544498 |     8733   1744 |        0 |        0
1121.03/1121.41	c 1121s |      25 |  8660529 |  6553598 |     8733   1746 |        0 |        0
1123.03/1123.43	c 1123s |      25 |  8673199 |  6563698 |     8733   1748 |        0 |        0
1125.03/1125.45	c 1125s |      25 |  8681397 |  6570798 |     8733   1750 |        0 |        0
1127.03/1127.46	c 1127s |      25 |  8688760 |  6576898 |     8733   1751 |        0 |        0
1129.03/1129.47	c 1129s |      25 |  8707408 |  6590398 |     8733   1754 |        0 |        0
1131.03/1131.49	c 1131s |      25 |  8717748 |  6598898 |     8733   1756 |        0 |        0
1133.12/1133.51	c 1133s |      25 |  8729206 |  6607598 |     8733   1758 |        0 |        0
1135.12/1135.51	c 1135s |      25 |  8741842 |  6617598 |     8733   1760 |        0 |        0
1137.13/1137.52	c 1137s |      25 |  8756288 |  6628498 |     8733   1762 |        0 |        0
1139.12/1139.52	c 1139s |      25 |  8768387 |  6638098 |     8733   1764 |        0 |        0
1141.12/1141.53	c 1141s |      25 |  8784430 |  6650398 |     8733   1767 |        0 |        0
1143.12/1143.54	c 1143s |      25 |  8800937 |  6662698 |     8733   1770 |        0 |        0
1145.12/1145.54	c 1145s |      25 |  8817356 |  6674798 |     8733   1772 |        0 |        0
1147.12/1147.54	c 1147s |      25 |  8832843 |  6686698 |     8733   1775 |        0 |        0
1149.13/1149.56	c 1149s |      25 |  8849271 |  6698798 |     8733   1778 |        0 |        0
1151.12/1151.57	c 1151s |      25 |  8868640 |  6712798 |     8733   1781 |        0 |        0
1153.12/1153.57	c 1153s |      25 |  8883153 |  6724298 |     8733   1783 |        0 |        0
1155.12/1155.58	c 1155s |      25 |  8897682 |  6735598 |     8733   1785 |        0 |        0
1157.12/1157.58	c 1157s |      25 |  8905501 |  6741898 |     8733   1787 |        0 |        0
1159.13/1159.59	c 1159s |      25 |  8921629 |  6753498 |     8733   1789 |        0 |        0
1161.12/1161.60	c 1161s |      25 |  8934631 |  6763798 |     8733   1792 |        0 |        0
1163.22/1163.61	c 1163s |      25 |  8947253 |  6774098 |     8733   1794 |        0 |        0
1165.22/1165.61	c 1165s |      25 |  8956607 |  6781598 |     8733   1795 |        0 |        0
1167.22/1167.61	c 1167s |      25 |  8967289 |  6789698 |     8733   1797 |        0 |        0
1169.22/1169.62	c 1169s |      25 |  8982806 |  6801498 |     8733   1800 |        0 |        0
1171.22/1171.62	c 1171s |      25 |  9001241 |  6814398 |     8733   1803 |        0 |        0
1173.21/1173.64	c 1173s |      25 |  9012547 |  6823298 |     8733   1804 |        0 |        0
1175.21/1175.65	c 1175s |      25 |  9030923 |  6836798 |     8733   1807 |        0 |        0
1177.21/1177.67	c 1177s |      25 |  9040969 |  6844998 |     8733   1809 |        0 |        0
1179.21/1179.67	c 1179s |      25 |  9054012 |  6854698 |     8733   1811 |        0 |        0
1181.21/1181.69	c 1181s |      25 |  9067838 |  6865198 |     8733   1813 |        0 |        0
1183.22/1183.69	c 1183s |      25 |  9080019 |  6874998 |     8733   1816 |        0 |        0
1185.31/1185.71	c 1185s |      25 |  9099848 |  6889398 |     8733   1819 |        0 |        0
1187.32/1187.71	c 1187s |      25 |  9120408 |  6904398 |     8733   1822 |        0 |        0
1189.31/1189.73	c 1189s |      25 |  9140190 |  6918398 |     8733   1825 |        0 |        0
1191.31/1191.73	c 1191s |      25 |  9150882 |  6926898 |     8733   1827 |        0 |        0
1193.31/1193.74	c 1193s |      25 |  9171094 |  6941398 |     8733   1830 |        0 |        0
1195.32/1195.74	c 1195s |      25 |  9183908 |  6951498 |     8733   1832 |        0 |        0
1197.31/1197.75	c 1197s |      25 |  9197795 |  6961898 |     8733   1834 |        0 |        0
1199.31/1199.75	c 1199s |      25 |  9210445 |  6971598 |     8733   1837 |        0 |        0
1201.31/1201.76	c 1201s |      25 |  9221812 |  6980398 |     8733   1839 |        0 |        0
1203.31/1203.77	c 1203s |      25 |  9240305 |  6993998 |     8733   1841 |        0 |        0
1205.32/1205.80	c 1205s |      25 |  9251278 |  7002998 |     8733   1843 |        0 |        0
1207.42/1207.82	c 1207s |      25 |  9260648 |  7010798 |     8733   1845 |        0 |        0
1209.41/1209.83	c 1209s |      25 |  9272866 |  7020198 |     8733   1847 |        0 |        0
1211.41/1211.86	c 1211s |      25 |  9282650 |  7027898 |     8733   1849 |        0 |        0
1213.41/1213.86	c 1213s |      25 |  9293645 |  7036898 |     8733   1851 |        0 |        0
1215.41/1215.88	c 1215s |      25 |  9304454 |  7045698 |     8733   1853 |        0 |        0
1217.51/1217.90	c 1217s |      25 |  9315588 |  7053998 |     8733   1855 |        0 |        0
1219.51/1219.91	c 1219s |      25 |  9333218 |  7067498 |     8733   1857 |        0 |        0
1221.51/1221.94	c 1221s |      25 |  9349003 |  7079698 |     8733   1860 |        0 |        0
1223.51/1223.95	c 1223s |      25 |  9357354 |  7086398 |     8733   1862 |        0 |        0
1225.51/1225.99	c 1225s |      25 |  9368737 |  7095598 |     8733   1864 |        0 |        0
1227.61/1228.00	c 1227s |      25 |  9385227 |  7107998 |     8733   1866 |        0 |        0
1229.60/1230.04	c 1230s |      25 |  9398086 |  7118298 |     8733   1869 |        0 |        0
1231.61/1232.05	c 1232s |      25 |  9406405 |  7125298 |     8733   1870 |        0 |        0
1233.60/1234.07	c 1234s |      25 |  9416859 |  7133698 |     8733   1872 |        0 |        0
1235.60/1236.09	c 1236s |      25 |  9433182 |  7145698 |     8733   1874 |        0 |        0
1237.70/1238.10	c 1238s |      25 |  9447976 |  7157598 |     8733   1877 |        0 |        0
1239.70/1240.12	c 1240s |      25 |  9462153 |  7168898 |     8733   1880 |        0 |        0
1241.70/1242.14	c 1242s |      25 |  9476962 |  7180298 |     8733   1882 |        0 |        0
1243.72/1244.14	c 1244s |      25 |  9495267 |  7193898 |     8733   1885 |        0 |        0
1245.71/1246.15	c 1246s |      25 |  9509751 |  7205098 |     8733   1887 |        0 |        0
1247.71/1248.17	c 1248s |      25 |  9527056 |  7217498 |     8733   1890 |        0 |        0
1249.71/1250.19	c 1250s |      25 |  9543684 |  7230198 |     8733   1893 |        0 |        0
1251.81/1252.21	c 1252s |      25 |  9552771 |  7237698 |     8733   1895 |        0 |        0
1253.81/1254.21	c 1254s |      25 |  9565780 |  7247798 |     8733   1897 |        0 |        0
1255.81/1256.22	c 1256s |      25 |  9582138 |  7260198 |     8733   1899 |        0 |        0
1257.81/1258.22	c 1258s |      25 |  9597621 |  7271998 |     8733   1902 |        0 |        0
1259.81/1260.24	c 1260s |      25 |  9610247 |  7282298 |     8733   1904 |        0 |        0
1261.80/1262.24	c 1262s |      25 |  9628225 |  7295998 |     8733   1907 |        0 |        0
1263.80/1264.25	c 1264s |      25 |  9646149 |  7309398 |     8733   1910 |        0 |        0
1265.81/1266.27	c 1266s |      25 |  9662785 |  7322698 |     8733   1913 |        0 |        0
1267.80/1268.27	c 1268s |      25 |  9672511 |  7330798 |     8733   1915 |        0 |        0
1269.80/1270.28	c 1270s |      25 |  9683055 |  7339298 |     8733   1917 |        0 |        0
1271.90/1272.32	c 1272s |      25 |  9702192 |  7352998 |     8733   1920 |        0 |        0
1273.90/1274.33	c 1274s |      25 |  9713598 |  7362298 |     8733   1922 |        0 |        0
1275.90/1276.34	c 1276s |      25 |  9733939 |  7376798 |     8733   1925 |        0 |        0
1277.91/1278.34	c 1278s |      25 |  9753749 |  7391598 |     8733   1928 |        0 |        0
1279.90/1280.34	c 1280s |      25 |  9774553 |  7406798 |     8733   1931 |        0 |        0
1281.90/1282.35	c 1282s |      25 |  9792870 |  7420498 |     8733   1934 |        0 |        0
1283.90/1284.35	c 1284s |      25 |  9813672 |  7435398 |     8733   1937 |        0 |        0
1285.90/1286.36	c 1286s |      25 |  9830068 |  7447698 |     8733   1940 |        0 |        0
1288.00/1288.43	c 1288s |      25 |  9844177 |  7458398 |     8733   1943 |        0 |        0
1290.00/1290.44	c 1290s |      25 |  9862793 |  7472098 |     8733   1945 |        0 |        0
1292.00/1292.46	c 1292s |      25 |  9877364 |  7483498 |     8733   1948 |        0 |        0
1293.99/1294.47	c 1294s |      25 |  9889741 |  7493598 |     8733   1950 |        0 |        0
1295.99/1296.49	c 1296s |      25 |  9901687 |  7503398 |     8733   1952 |        0 |        0
1298.10/1298.50	c 1298s |      25 |  9916403 |  7514698 |     8733   1955 |        0 |        0
1300.10/1300.51	c 1300s |      25 |  9930353 |  7525398 |     8733   1957 |        0 |        0
1302.11/1302.52	c 1302s |      25 |  9948024 |  7538098 |     8733   1960 |        0 |        0
1304.10/1304.53	c 1304s |      25 |  9959014 |  7547098 |     9607   1962 |        0 |        0
1306.10/1306.53	c 1306s |      25 |  9970651 |  7556198 |     9607   1963 |        0 |        0
1308.10/1308.54	c 1308s |      25 |  9986414 |  7567998 |     9607   1966 |        0 |        0
1310.10/1310.56	c 1310s |      25 |  9999033 |  7578298 |     9607   1968 |        0 |        0
1312.10/1312.59	c 1312s |      25 | 10010706 |  7587498 |     9607   1970 |        0 |        0
1314.20/1314.60	c 1314s |      25 | 10019747 |  7594998 |     9607   1971 |        0 |        0
1314.80/1315.21	c 1315s |      26 | 10023489 |  7597752 |     9607   1972 |        0 |        0
1316.80/1317.22	c 1317s |      26 | 10040545 |  7610652 |     9607   1974 |        0 |        0
1318.80/1319.24	c 1319s |      26 | 10051740 |  7619752 |     9607   1976 |        0 |        0
1320.80/1321.26	c 1321s |      26 | 10061057 |  7627852 |     9607   1978 |        0 |        0
1322.79/1323.27	c 1323s |      26 | 10072196 |  7637152 |     9607   1979 |        0 |        0
1324.79/1325.28	c 1325s |      26 | 10083903 |  7646452 |     9607   1981 |        0 |        0
1326.79/1327.28	c 1327s |      26 | 10096113 |  7656052 |     9607   1983 |        0 |        0
1328.79/1329.28	c 1329s |      26 | 10107357 |  7664952 |     9607   1985 |        0 |        0
1330.89/1331.30	c 1331s |      26 | 10117266 |  7673152 |     9607   1986 |        0 |        0
1332.90/1333.31	c 1333s |      26 | 10125132 |  7679552 |     9607   1987 |        0 |        0
1334.89/1335.32	c 1335s |      26 | 10134964 |  7686952 |     9607   1989 |        0 |        0
1336.89/1337.33	c 1337s |      26 | 10145751 |  7695352 |     9607   1990 |        0 |        0
1338.89/1339.37	c 1339s |      26 | 10153354 |  7702052 |     9607   1992 |        0 |        0
1340.89/1341.37	c 1341s |      26 | 10165162 |  7710752 |     9607   1993 |        0 |        0
1342.89/1343.37	c 1343s |      26 | 10181994 |  7723652 |     9607   1996 |        0 |        0
1344.90/1345.38	c 1345s |      26 | 10196690 |  7734352 |     9607   1998 |        0 |        0
1346.99/1347.40	c 1347s |      26 | 10209078 |  7744152 |     9607   2000 |        0 |        0
1348.99/1349.41	c 1349s |      26 | 10217998 |  7751252 |     9607   2001 |        0 |        0
1350.99/1351.42	c 1351s |      26 | 10231246 |  7760852 |     9607   2003 |        0 |        0
1352.99/1353.44	c 1353s |      26 | 10244357 |  7771152 |     9607   2005 |        0 |        0
1354.99/1355.45	c 1355s |      26 | 10253936 |  7779052 |     9607   2007 |        0 |        0
1357.00/1357.47	c 1357s |      26 | 10264010 |  7787452 |     9607   2008 |        0 |        0
1358.99/1359.48	c 1359s |      26 | 10275658 |  7796452 |     9607   2010 |        0 |        0
1361.09/1361.52	c 1361s |      26 | 10285461 |  7804652 |     9607   2012 |        0 |        0
1363.09/1363.56	c 1363s |      26 | 10296090 |  7813252 |     9607   2013 |        0 |        0
1365.09/1365.56	c 1365s |      26 | 10308402 |  7823252 |     9607   2015 |        0 |        0
1367.09/1367.57	c 1367s |      26 | 10317529 |  7830852 |     9607   2017 |        0 |        0
1369.20/1369.61	c 1369s |      26 | 10330048 |  7840452 |     9607   2019 |        0 |        0
1371.19/1371.63	c 1371s |      26 | 10344582 |  7851652 |     9607   2021 |        0 |        0
1373.19/1373.64	c 1373s |      26 | 10360709 |  7863852 |     9607   2023 |        0 |        0
1375.19/1375.66	c 1375s |      26 | 10375483 |  7874552 |     9607   2025 |        0 |        0
1377.18/1377.67	c 1377s |      26 | 10392437 |  7886952 |     9607   2027 |        0 |        0
1379.18/1379.68	c 1379s |      26 | 10407334 |  7898052 |     9607   2030 |        0 |        0
1381.19/1381.69	c 1381s |      26 | 10418207 |  7906852 |     9607   2031 |        0 |        0
1383.28/1383.71	c 1383s |      26 | 10429555 |  7915852 |     9607   2033 |        0 |        0
1385.28/1385.71	c 1385s |      26 | 10442421 |  7925452 |     9607   2035 |        0 |        0
1387.28/1387.73	c 1387s |      26 | 10458581 |  7937652 |     9607   2037 |        0 |        0
1389.28/1389.74	c 1389s |      26 | 10477855 |  7951052 |     9607   2040 |        0 |        0
1391.28/1391.74	c 1391s |      26 | 10495079 |  7963952 |     9607   2042 |        0 |        0
1393.29/1393.75	c 1393s |      26 | 10509248 |  7974752 |     9607   2044 |        0 |        0
1395.28/1395.77	c 1395s |      26 | 10519782 |  7983152 |     9607   2046 |        0 |        0
1397.29/1397.79	c 1397s |      26 | 10530469 |  7991452 |     9607   2048 |        0 |        0
1399.39/1399.80	c 1399s |      26 | 10544348 |  8001952 |     9607   2050 |        0 |        0
1401.39/1401.81	c 1401s |      26 | 10559145 |  8013252 |     9607   2052 |        0 |        0
1403.39/1403.83	c 1403s |      26 | 10575856 |  8025852 |     9607   2054 |        0 |        0
1405.39/1405.83	c 1405s |      26 | 10587578 |  8034952 |     9607   2056 |        0 |        0
1407.38/1407.86	c 1407s |      26 | 10599046 |  8044252 |     9607   2058 |        0 |        0
1409.38/1409.88	c 1409s |      26 | 10610698 |  8053452 |     9607   2060 |        0 |        0
1411.38/1411.89	c 1411s |      26 | 10621981 |  8062052 |     9607   2061 |        0 |        0
1413.48/1413.90	c 1413s |      26 | 10637740 |  8073152 |     9607   2063 |        0 |        0
1415.48/1415.90	c 1415s |      26 | 10654769 |  8085752 |     9607   2066 |        0 |        0
1417.49/1417.91	c 1417s |      26 | 10669379 |  8096952 |     9607   2068 |        0 |        0
1419.48/1419.92	c 1419s |      26 | 10683961 |  8107752 |     9607   2070 |        0 |        0
1421.48/1421.94	c 1421s |      26 | 10699768 |  8118852 |     9607   2072 |        0 |        0
1423.48/1423.95	c 1423s |      26 | 10712355 |  8128152 |     9607   2074 |        0 |        0
1425.47/1425.95	c 1425s |      26 | 10726475 |  8138252 |     9607   2076 |        0 |        0
1427.48/1427.95	c 1427s |      26 | 10740081 |  8148552 |     9607   2078 |        0 |        0
1429.47/1429.97	c 1429s |      26 | 10753911 |  8159152 |     9607   2080 |        0 |        0
1431.47/1431.99	c 1431s |      26 | 10770786 |  8171852 |     9607   2082 |        0 |        0
1433.47/1433.99	c 1433s |      26 | 10781050 |  8180352 |     9607   2084 |        0 |        0
1435.57/1436.01	c 1435s |      26 | 10793788 |  8190352 |     9607   2086 |        0 |        0
1437.57/1438.01	c 1437s |      26 | 10805958 |  8199652 |     9607   2088 |        0 |        0
1439.58/1440.02	c 1439s |      26 | 10818319 |  8208952 |     9607   2090 |        0 |        0
1441.57/1442.03	c 1441s |      26 | 10833587 |  8220152 |     9607   2092 |        0 |        0
1443.58/1444.03	c 1443s |      26 | 10845255 |  8229352 |     9607   2094 |        0 |        0
1445.58/1446.04	c 1446s |      26 | 10856469 |  8238252 |     9607   2095 |        0 |        0
1447.58/1448.04	c 1448s |      26 | 10871831 |  8249852 |     9607   2098 |        0 |        0
1449.58/1450.05	c 1450s |      26 | 10882728 |  8258352 |     9607   2099 |        0 |        0
1451.58/1452.05	c 1452s |      26 | 10895308 |  8267952 |     9607   2101 |        0 |        0
1453.58/1454.07	c 1454s |      26 | 10905287 |  8275552 |     9607   2102 |        0 |        0
1455.58/1456.08	c 1456s |      26 | 10919252 |  8285852 |     9607   2104 |        0 |        0
1457.58/1458.08	c 1458s |      26 | 10931788 |  8295652 |     9607   2106 |        0 |        0
1459.68/1460.10	c 1460s |      26 | 10944280 |  8305152 |     9607   2108 |        0 |        0
1461.67/1462.12	c 1462s |      26 | 10960057 |  8317152 |     9607   2110 |        0 |        0
1463.68/1464.14	c 1464s |      26 | 10974766 |  8328352 |     9607   2113 |        0 |        0
1465.67/1466.14	c 1466s |      26 | 10990013 |  8339952 |     9607   2115 |        0 |        0
1467.67/1468.16	c 1468s |      26 | 11007299 |  8352752 |     9607   2117 |        0 |        0
1469.67/1470.16	c 1470s |      26 | 11023485 |  8364452 |     9607   2120 |        0 |        0
1471.67/1472.18	c 1472s |      26 | 11041088 |  8377652 |     9607   2122 |        0 |        0
1473.68/1474.19	c 1474s |      26 | 11053078 |  8387652 |     9607   2124 |        0 |        0
1475.67/1476.19	c 1476s |      26 | 11070908 |  8400152 |     9607   2127 |        0 |        0
1477.77/1478.24	c 1478s |      26 | 11082970 |  8409552 |     9607   2128 |        0 |        0
1479.77/1480.24	c 1480s |      26 | 11094692 |  8418252 |     9607   2130 |        0 |        0
1481.77/1482.26	c 1482s |      26 | 11105950 |  8426652 |     9607   2132 |        0 |        0
1483.77/1484.26	c 1484s |      26 | 11116415 |  8434652 |     9607   2133 |        0 |        0
1485.77/1486.27	c 1486s |      26 | 11128710 |  8444052 |     9607   2135 |        0 |        0
1487.77/1488.29	c 1488s |      26 | 11142907 |  8454452 |     9607   2137 |        0 |        0
1489.77/1490.29	c 1490s |      26 | 11155549 |  8464152 |     9607   2139 |        0 |        0
1491.77/1492.29	c 1492s |      26 | 11168469 |  8474352 |     9607   2141 |        0 |        0
1493.87/1494.30	c 1494s |      26 | 11180537 |  8484052 |     9607   2143 |        0 |        0
1495.87/1496.33	c 1496s |      26 | 11190926 |  8492752 |     9607   2145 |        0 |        0
1497.87/1498.33	c 1498s |      26 | 11202495 |  8501852 |     9607   2146 |        0 |        0
1499.87/1500.33	c 1500s |      26 | 11213644 |  8511252 |     9607   2148 |        0 |        0
1501.86/1502.35	c 1502s |      26 | 11227098 |  8521652 |     9607   2150 |        0 |        0
1503.86/1504.36	c 1504s |      26 | 11241959 |  8532552 |     9607   2152 |        0 |        0
1505.86/1506.38	c 1506s |      26 | 11255707 |  8542852 |     9607   2154 |        0 |        0
1507.96/1508.40	c 1508s |      26 | 11271138 |  8554752 |     9607   2157 |        0 |        0
1509.87/1510.40	c 1510s |      26 | 11286552 |  8566052 |     9607   2159 |        0 |        0
1511.97/1512.40	c 1512s |      26 | 11300465 |  8576652 |     9607   2161 |        0 |        0
1513.97/1514.41	c 1514s |      26 | 11311063 |  8585152 |     9607   2163 |        0 |        0
1515.97/1516.42	c 1516s |      26 | 11320124 |  8592752 |     9607   2164 |        0 |        0
1517.97/1518.48	c 1518s |      26 | 11329902 |  8600452 |     9607   2166 |        0 |        0
1520.07/1520.50	c 1520s |      26 | 11342106 |  8610252 |     9607   2167 |        0 |        0
1521.97/1522.50	c 1522s |      26 | 11354986 |  8620352 |     9607   2169 |        0 |        0
1524.06/1524.50	c 1524s |      26 | 11365213 |  8628152 |     9607   2171 |        0 |        0
1526.06/1526.53	c 1526s |      26 | 11374964 |  8636252 |     9607   2172 |        0 |        0
1528.06/1528.53	c 1528s |      26 | 11381675 |  8641952 |     9607   2174 |        0 |        0
1530.06/1530.55	c 1530s |      26 | 11395309 |  8652052 |     9607   2175 |        0 |        0
1532.06/1532.55	c 1532s |      26 | 11409039 |  8662152 |     9607   2177 |        0 |        0
1534.06/1534.58	c 1534s |      26 | 11423376 |  8672652 |     9607   2179 |        0 |        0
1536.16/1536.60	c 1536s |      26 | 11437938 |  8683252 |     9607   2181 |        0 |        0
1538.16/1538.60	c 1538s |      26 | 11452778 |  8694252 |     9607   2184 |        0 |        0
1540.16/1540.62	c 1540s |      26 | 11469441 |  8706452 |     9607   2186 |        0 |        0
1542.16/1542.63	c 1542s |      26 | 11483342 |  8716852 |     9607   2188 |        0 |        0
1544.16/1544.64	c 1544s |      26 | 11497567 |  8727252 |     9607   2190 |        0 |        0
1546.16/1546.65	c 1546s |      26 | 11512533 |  8738452 |     9607   2192 |        0 |        0
1548.15/1548.65	c 1548s |      26 | 11526264 |  8748052 |     9607   2194 |        0 |        0
1550.15/1550.66	c 1550s |      26 | 11541797 |  8759152 |     9607   2196 |        0 |        0
1552.15/1552.67	c 1552s |      26 | 11556875 |  8770852 |     9607   2198 |        0 |        0
1554.15/1554.69	c 1554s |      26 | 11574312 |  8783652 |     9607   2201 |        0 |        0
1556.26/1556.70	c 1556s |      26 | 11591033 |  8796252 |     9607   2203 |        0 |        0
1558.26/1558.71	c 1558s |      26 | 11607438 |  8808452 |     9607   2206 |        0 |        0
1560.26/1560.72	c 1560s |      26 | 11625856 |  8822652 |     9607   2208 |        0 |        0
1562.26/1562.73	c 1562s |      26 | 11643248 |  8835152 |     9607   2211 |        0 |        0
1564.26/1564.73	c 1564s |      26 | 11658060 |  8846852 |     9607   2213 |        0 |        0
1566.25/1566.75	c 1566s |      26 | 11668481 |  8855652 |     9607   2215 |        0 |        0
1568.26/1568.75	c 1568s |      26 | 11677931 |  8863252 |     9607   2216 |        0 |        0
1570.25/1570.77	c 1570s |      26 | 11693708 |  8874252 |     9607   2218 |        0 |        0
1572.25/1572.78	c 1572s |      26 | 11708135 |  8884652 |     9607   2220 |        0 |        0
1574.35/1574.80	c 1574s |      26 | 11722049 |  8895352 |     9607   2222 |        0 |        0
1576.35/1576.84	c 1576s |      26 | 11736470 |  8906052 |     9607   2225 |        0 |        0
1578.35/1578.86	c 1578s |      26 | 11746409 |  8914252 |     9607   2226 |        0 |        0
1580.36/1580.86	c 1580s |      26 | 11760251 |  8924352 |     9607   2228 |        0 |        0
1582.35/1582.87	c 1582s |      26 | 11771740 |  8933552 |     9607   2230 |        0 |        0
1584.35/1584.87	c 1584s |      26 | 11784947 |  8943652 |     9607   2232 |        0 |        0
1586.35/1586.87	c 1586s |      26 | 11802473 |  8956552 |     9607   2234 |        0 |        0
1588.35/1588.88	c 1588s |      26 | 11819063 |  8968952 |     9607   2237 |        0 |        0
1590.36/1590.89	c 1590s |      26 | 11836541 |  8981852 |     9607   2239 |        0 |        0
1592.46/1592.92	c 1592s |      26 | 11852178 |  8993652 |     9607   2242 |        0 |        0
1594.45/1594.92	c 1594s |      26 | 11866674 |  9004452 |     9607   2244 |        0 |        0
1596.45/1596.95	c 1596s |      26 | 11877202 |  9013252 |     9607   2245 |        0 |        0
1598.55/1599.09	c 1599s |      26 | 11884810 |  9019652 |     9607   2247 |        0 |        0
1600.65/1601.10	c 1601s |      26 | 11895322 |  9028252 |     9607   2248 |        0 |        0
1602.65/1603.11	c 1603s |      26 | 11906182 |  9036452 |     9607   2250 |        0 |        0
1604.65/1605.13	c 1605s |      26 | 11922526 |  9048952 |     9607   2252 |        0 |        0
1606.66/1607.15	c 1607s |      26 | 11938062 |  9060652 |     9607   2255 |        0 |        0
1608.65/1609.15	c 1609s |      26 | 11952684 |  9071652 |     9607   2257 |        0 |        0
1610.65/1611.18	c 1611s |      26 | 11963211 |  9080452 |     9607   2258 |        0 |        0
1612.75/1613.20	c 1613s |      26 | 11976823 |  9090752 |     9607   2260 |        0 |        0
1614.75/1615.20	c 1615s |      26 | 11992756 |  9102652 |     9607   2263 |        0 |        0
1616.75/1617.23	c 1617s |      26 | 12003200 |  9111052 |     9607   2264 |        0 |        0
1618.85/1619.35	c 1619s |      26 | 12011274 |  9117452 |     9607   2266 |        0 |        0
1620.84/1621.35	c 1621s |      26 | 12023213 |  9126852 |     9607   2268 |        0 |        0
1622.84/1623.37	c 1623s |      26 | 12036769 |  9137152 |     9607   2269 |        0 |        0
1624.84/1625.38	c 1625s |      26 | 12050734 |  9147052 |     9607   2271 |        0 |        0
1626.84/1627.38	c 1627s |      26 | 12066196 |  9158352 |     9607   2274 |        0 |        0
1628.94/1629.43	c 1629s |      26 | 12080163 |  9168352 |     9607   2276 |        0 |        0
1631.04/1631.50	c 1631s |      26 | 12093817 |  9178852 |     9607   2278 |        0 |        0
1633.05/1633.51	c 1633s |      26 | 12111575 |  9192352 |     9607   2280 |        0 |        0
1635.04/1635.52	c 1635s |      26 | 12125054 |  9202852 |     9607   2282 |        0 |        0
1637.04/1637.53	c 1637s |      26 | 12136454 |  9211852 |     9607   2284 |        0 |        0
1639.05/1639.55	c 1639s |      26 | 12147904 |  9220652 |     9607   2286 |        0 |        0
1641.05/1641.57	c 1641s |      26 | 12159775 |  9230552 |     9607   2287 |        0 |        0
1643.06/1643.57	c 1643s |      26 | 12171982 |  9240052 |     9607   2289 |        0 |        0
1645.05/1645.60	c 1645s |      26 | 12187159 |  9251552 |     9607   2292 |        0 |        0
1647.15/1647.61	c 1647s |      26 | 12204988 |  9264452 |     9607   2294 |        0 |        0
1649.15/1649.61	c 1649s |      26 | 12215406 |  9272652 |     9607   2296 |        0 |        0
1651.15/1651.62	c 1651s |      26 | 12229531 |  9283752 |     9607   2298 |        0 |        0
1653.15/1653.63	c 1653s |      26 | 12245482 |  9295352 |     9607   2300 |        0 |        0
1655.15/1655.63	c 1655s |      26 | 12260989 |  9307452 |     9607   2302 |        0 |        0
1657.15/1657.64	c 1657s |      26 | 12279965 |  9321252 |     9607   2305 |        0 |        0
1659.14/1659.66	c 1659s |      26 | 12297943 |  9334352 |     9607   2307 |        0 |        0
1661.14/1661.67	c 1661s |      26 | 12314927 |  9346652 |     9607   2310 |        0 |        0
1663.14/1663.67	c 1663s |      26 | 12326928 |  9356352 |     9607   2312 |        0 |        0
1665.14/1665.68	c 1665s |      26 | 12336046 |  9363952 |     9607   2313 |        0 |        0
1667.15/1667.69	c 1667s |      26 | 12348880 |  9374052 |     9607   2315 |        0 |        0
1669.24/1669.71	c 1669s |      26 | 12358975 |  9382152 |     9607   2317 |        0 |        0
1671.24/1671.74	c 1671s |      26 | 12371616 |  9392052 |     9607   2319 |        0 |        0
1673.24/1673.76	c 1673s |      26 | 12382650 |  9401352 |     9607   2320 |        0 |        0
1675.24/1675.76	c 1675s |      26 | 12391731 |  9408652 |     9607   2322 |        0 |        0
1677.24/1677.78	c 1677s |      26 | 12402794 |  9417152 |     9607   2324 |        0 |        0
1679.24/1679.80	c 1679s |      26 | 12415435 |  9427052 |     9607   2325 |        0 |        0
1681.34/1681.80	c 1681s |      26 | 12427929 |  9436452 |     9607   2327 |        0 |        0
1683.34/1683.82	c 1683s |      26 | 12441979 |  9447052 |     9607   2329 |        0 |        0
1685.34/1685.86	c 1685s |      26 | 12456650 |  9458352 |     9607   2332 |        0 |        0
1687.34/1687.87	c 1687s |      26 | 12475416 |  9472352 |     9607   2334 |        0 |        0
1689.34/1689.87	c 1689s |      26 | 12492402 |  9485052 |     9607   2337 |        0 |        0
1691.34/1691.89	c 1691s |      26 | 12510200 |  9498252 |     9607   2339 |        0 |        0
1693.43/1693.90	c 1693s |      26 | 12527911 |  9510752 |     9607   2342 |        0 |        0
1695.43/1695.90	c 1695s |      26 | 12541514 |  9521452 |     9607   2344 |        0 |        0
1697.43/1697.98	c 1697s |      26 | 12551946 |  9530052 |     9607   2346 |        0 |        0
1699.43/1699.99	c 1699s |      26 | 12560944 |  9537252 |     9607   2347 |        0 |        0
1701.43/1701.99	c 1701s |      26 | 12575146 |  9547652 |     9607   2349 |        0 |        0
1703.45/1704.00	c 1703s |      26 | 12587929 |  9557052 |     9607   2351 |        0 |        0
1705.54/1706.00	c 1705s |      26 | 12601475 |  9567152 |     9607   2353 |        0 |        0
1707.54/1708.01	c 1707s |      26 | 12617572 |  9579152 |     9607   2355 |        0 |        0
1709.54/1710.02	c 1709s |      26 | 12632923 |  9590352 |     9607   2357 |        0 |        0
1711.54/1712.04	c 1712s |      26 | 12648008 |  9601152 |     9607   2359 |        0 |        0
1713.53/1714.04	c 1714s |      26 | 12662745 |  9612452 |     9607   2361 |        0 |        0
1715.54/1716.05	c 1716s |      26 | 12672708 |  9620652 |     9607   2363 |        0 |        0
1717.53/1718.06	c 1718s |      26 | 12682375 |  9628452 |     9607   2365 |        0 |        0
1719.53/1720.08	c 1720s |      26 | 12693559 |  9637452 |     9607   2366 |        0 |        0
1721.63/1722.12	c 1722s |      26 | 12709539 |  9648952 |     9607   2369 |        0 |        0
1723.63/1724.16	c 1724s |      26 | 12723658 |  9659252 |     9607   2371 |        0 |        0
1725.63/1726.18	c 1726s |      26 | 12738449 |  9670252 |     9607   2373 |        0 |        0
1727.64/1728.19	c 1728s |      26 | 12754847 |  9682552 |     9607   2375 |        0 |        0
1729.73/1730.20	c 1730s |      26 | 12773049 |  9695752 |     9607   2378 |        0 |        0
1731.73/1732.22	c 1732s |      26 | 12784366 |  9704952 |     9607   2379 |        0 |        0
1733.73/1734.23	c 1734s |      26 | 12797562 |  9714752 |     9607   2381 |        0 |        0
1735.73/1736.25	c 1736s |      26 | 12809746 |  9724352 |     9607   2383 |        0 |        0
1737.73/1738.25	c 1738s |      26 | 12825541 |  9736352 |     9607   2385 |        0 |        0
1739.73/1740.27	c 1740s |      26 | 12840107 |  9747652 |     9607   2388 |        0 |        0
1741.73/1742.27	c 1742s |      26 | 12857198 |  9760352 |     9607   2390 |        0 |        0
1743.73/1744.28	c 1744s |      26 | 12874295 |  9772652 |     9607   2392 |        0 |        0
1745.73/1746.28	c 1746s |      26 | 12884850 |  9780952 |     9607   2394 |        0 |        0
1747.83/1748.30	c 1748s |      26 | 12894157 |  9788152 |     9607   2395 |        0 |        0
1749.83/1750.31	c 1750s |      26 | 12904615 |  9796052 |     9607   2397 |        0 |        0
1751.83/1752.31	c 1752s |      26 | 12916875 |  9805852 |     9607   2399 |        0 |        0
1753.82/1754.32	c 1754s |      26 | 12931024 |  9816752 |     9607   2401 |        0 |        0
1755.82/1756.32	c 1756s |      26 | 12942468 |  9825952 |     9607   2403 |        0 |        0
1757.82/1758.33	c 1758s |      26 | 12953631 |  9835052 |     9607   2405 |        0 |        0
1759.82/1760.39	c 1760s |      26 | 12967289 |  9845352 |     9607   2407 |        0 |        0
1761.92/1762.40	c 1762s |      26 | 12982599 |  9856552 |     9607   2409 |        0 |        0
1763.93/1764.40	c 1764s |      26 | 12996461 |  9867552 |     9607   2411 |        0 |        0
1765.92/1766.45	c 1766s |      26 | 13008203 |  9877052 |     9607   2413 |        0 |        0
1768.03/1768.50	c 1768s |      26 | 13021419 |  9886952 |     9607   2415 |        0 |        0
1770.03/1770.50	c 1770s |      26 | 13041628 |  9900852 |     9607   2417 |        0 |        0
1772.03/1772.52	c 1772s |      26 | 13055933 |  9912152 |     9607   2419 |        0 |        0
1774.03/1774.53	c 1774s |      26 | 13069688 |  9922452 |     9607   2421 |        0 |        0
1776.03/1776.55	c 1776s |      26 | 13085200 |  9933052 |     9607   2423 |        0 |        0
1778.03/1778.56	c 1778s |      26 | 13098809 |  9943252 |     9607   2425 |        0 |        0
1780.03/1780.57	c 1780s |      26 | 13111771 |  9953052 |     9607   2427 |        0 |        0
1782.13/1782.61	c 1782s |      26 | 13129590 |  9965952 |     9607   2430 |        0 |        0
1784.12/1784.63	c 1784s |      26 | 13149414 |  9980552 |     9607   2433 |        0 |        0
1786.12/1786.63	c 1786s |      26 | 13164896 |  9992652 |     9607   2435 |        0 |        0
1788.13/1788.64	c 1788s |      26 | 13179670 | 10004152 |     9607   2437 |        0 |        0
1790.12/1790.64	c 1790s |      26 | 13192209 | 10013752 |     9607   2439 |        0 |        0
1792.12/1792.67	c 1792s |      26 | 13204929 | 10023652 |     9607   2441 |        0 |        0
1794.12/1794.67	c 1794s |      26 | 13219086 | 10034252 |     9607   2443 |        0 |        0
1796.12/1796.69	c 1796s |      26 | 13233943 | 10045052 |     9607   2445 |        0 |        0
1798.13/1798.69	c 1798s |      26 | 13251828 | 10058352 |     9607   2448 |        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-4088749-1466014810/watcher-4088749-1466014810 -o /tmp/evaluation-result-4088749-1466014810/solver-4088749-1466014810 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088749-1466014810.opb 

pid=6187
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: 2.26 2.19 2.10 3/180 6190
/proc/meminfo: memFree=30422744/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=659900 CPUtime=0 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 2448 0 0 0 0 0 0 0 20 0 4 0 3531099 675737600 3320 33554432000 4194304 16246674 140737230397328 140737230396752 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 165487 3329 441 2943 0 162381 0
[pid=6190/tid=6191] ppid=6187 vsize=677308 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 693563392 3389 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=681404 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 697757696 3403 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 701952000 3421 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.26 2.19 2.10 3/180 6190
/proc/meminfo: memFree=30422744/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 24122 0 0 0 5 3 0 0 20 0 4 0 3531099 1247350784 24983 33554432000 4194304 16246674 140737230397328 140737230396752 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 304529 24992 709 2943 0 301423 0
[pid=6190/tid=6191] ppid=6187 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1247350784 24997 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1247350784 25005 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1247350784 25011 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200497 s]
/proc/loadavg: 2.26 2.19 2.10 3/180 6190
/proc/meminfo: memFree=30422744/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 45142 0 0 0 12 7 0 0 20 0 4 0 3531099 1247350784 46004 33554432000 4194304 16246674 140737230397328 140737230396752 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 304529 46016 716 2943 0 301423 0
[pid=6190/tid=6191] ppid=6187 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1247350784 46022 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1247350784 46030 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1247350784 46036 33554432000 4194304 16246674 140737230397328 140253633440944 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.300465 s]
/proc/loadavg: 2.26 2.19 2.10 3/180 6190
/proc/meminfo: memFree=30422744/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 67035 0 0 0 19 10 0 0 20 0 4 0 3531099 1247350784 67896 33554432000 4194304 16246674 140737230397328 140737230396752 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 304529 67905 716 2943 0 301423 0
[pid=6190/tid=6191] ppid=6187 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1247350784 67910 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1247350784 67916 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1247350784 67923 33554432000 4194304 16246674 140737230397328 140253633440944 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.700465 s]
/proc/loadavg: 2.26 2.19 2.10 3/180 6190
/proc/meminfo: memFree=30422744/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 146549 0 0 0 48 21 0 0 20 0 4 0 3531099 1247350784 147410 33554432000 4194304 16246674 140737230397328 140737230396752 13194067 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 304529 147422 717 2943 0 301423 0
[pid=6190/tid=6191] ppid=6187 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1247350784 147426 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1247350784 147428 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1247350784 147433 33554432000 4194304 16246674 140737230397328 140253633440944 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: 2.24 2.19 2.10 3/184 6194
/proc/meminfo: memFree=29519376/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 234007 0 0 0 115 34 0 0 20 0 4 0 3531099 1251545088 234848 33554432000 4194304 16246674 140737230397328 140737230396640 5823538 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 305553 234848 791 2943 0 302447 0
[pid=6190/tid=6191] ppid=6187 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1251545088 234848 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1251545088 234848 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1251545088 234848 33554432000 4194304 16246674 140737230397328 140253633440944 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.10046 s]
/proc/loadavg: 2.24 2.19 2.10 3/184 6194
/proc/meminfo: memFree=29356936/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1307204 CPUtime=3.09 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 267691 0 0 0 271 38 0 0 20 0 4 0 3531099 1338576896 268532 33554432000 4194304 16246674 140737230397328 140737230379200 13821000 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 326801 268532 791 2943 0 323695 0
[pid=6190/tid=6191] ppid=6187 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1338576896 268532 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1338576896 268532 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1338576896 268532 33554432000 4194304 16246674 140737230397328 140253633440944 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) 1307204

[startup+6.30043 s]
/proc/loadavg: 2.24 2.19 2.10 4/184 6194
/proc/meminfo: memFree=29344924/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1311300 CPUtime=6.29 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 268781 0 0 0 591 38 0 0 20 0 4 0 3531099 1342771200 269622 33554432000 4194304 16246674 140737230397328 140737230379200 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 327825 269622 791 2943 0 324719 0
[pid=6190/tid=6191] ppid=6187 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1342771200 269622 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1342771200 269622 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1342771200 269622 33554432000 4194304 16246674 140737230397328 140253633440944 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) 1311300

[startup+12.7005 s]
/proc/loadavg: 2.20 2.18 2.10 3/184 6195
/proc/meminfo: memFree=29335028/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1321540 CPUtime=12.69 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 271412 0 0 0 1230 39 0 0 20 0 4 0 3531099 1353256960 272253 33554432000 4194304 16246674 140737230397328 140737230379200 5828883 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 330385 272253 794 2943 0 327279 0
[pid=6190/tid=6191] ppid=6187 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1353256960 272253 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1353256960 272253 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1353256960 272253 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1321540

[startup+25.5005 s]
/proc/loadavg: 2.17 2.17 2.10 4/184 6195
/proc/meminfo: memFree=29335548/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1321540 CPUtime=25.49 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 271412 0 0 0 2510 39 0 0 20 0 4 0 3531099 1353256960 272253 33554432000 4194304 16246674 140737230397328 140737230379200 5823947 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 330385 272253 794 2943 0 327279 0
[pid=6190/tid=6191] ppid=6187 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1353256960 272253 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1353256960 272253 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1353256960 272253 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1321540

[startup+51.1005 s]
/proc/loadavg: 2.17 2.17 2.10 4/184 6195
/proc/meminfo: memFree=29335396/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1321540 CPUtime=51.08 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 271412 0 0 0 5069 39 0 0 20 0 4 0 3531099 1353256960 272253 33554432000 4194304 16246674 140737230397328 140737230379200 7249904 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 330385 272253 794 2943 0 327279 0
[pid=6190/tid=6191] ppid=6187 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1353256960 272253 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1353256960 272253 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1353256960 272253 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1321540

[startup+102.301 s]
/proc/loadavg: 2.11 2.16 2.09 3/183 6196
/proc/meminfo: memFree=29332340/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1322564 CPUtime=102.28 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 271668 0 0 0 10188 40 0 0 20 0 4 0 3531099 1354305536 272509 33554432000 4194304 16246674 140737230397328 140737230379200 12477756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 330641 272509 794 2943 0 327535 0
[pid=6190/tid=6191] ppid=6187 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1354305536 272509 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1354305536 272509 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1322564 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1354305536 272509 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1322564


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

/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1350212

[startup+1362.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/183 6277
/proc/meminfo: memFree=29254900/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1350212 CPUtime=1361.89 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 278960 0 0 0 136127 62 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140737230395200 5822878 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 337553 279426 796 2943 0 334447 0
[pid=6190/tid=6191] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1350212

[startup+1422.3 s]
/proc/loadavg: 2.01 2.06 2.08 3/183 6278
/proc/meminfo: memFree=29254404/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1350212 CPUtime=1421.88 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 278960 0 0 0 142125 63 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140737230380328 5667184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 337553 279426 796 2943 0 334447 0
[pid=6190/tid=6191] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1350212

[startup+1482.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 6279
/proc/meminfo: memFree=29254408/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1350212 CPUtime=1481.87 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 278960 0 0 0 148123 64 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140737230379200 5824003 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 337553 279426 796 2943 0 334447 0
[pid=6190/tid=6191] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1350212

[startup+1542.31 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 6281
/proc/meminfo: memFree=29143304/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1350212 CPUtime=1541.86 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 278960 0 0 0 154121 65 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140737230379200 5823008 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 337553 279426 796 2943 0 334447 0
[pid=6190/tid=6191] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1350212

[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/183 6282
/proc/meminfo: memFree=29093084/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1350212 CPUtime=1601.85 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 278960 0 0 0 160118 67 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140737230380328 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 337553 279426 796 2943 0 334447 0
[pid=6190/tid=6191] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1350212

[startup+1662.3 s]
/proc/loadavg: 2.17 2.07 2.07 3/183 6283
/proc/meminfo: memFree=28927796/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1350212 CPUtime=1661.84 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 278960 0 0 0 166116 68 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140737230380328 5823230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 337553 279426 796 2943 0 334447 0
[pid=6190/tid=6191] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1350212

[startup+1722.3 s]
/proc/loadavg: 2.16 2.09 2.08 3/183 6284
/proc/meminfo: memFree=28776888/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1350212 CPUtime=1721.83 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 278960 0 0 0 172114 69 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140737230379200 5545784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 337553 279426 796 2943 0 334447 0
[pid=6190/tid=6191] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1350212

[startup+1782.3 s]
/proc/loadavg: 2.10 2.08 2.08 3/183 6285
/proc/meminfo: memFree=28758776/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1350212 CPUtime=1781.83 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 278960 0 0 0 178113 70 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140737230396424 5754972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 337553 279426 796 2943 0 334447 0
[pid=6190/tid=6191] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1350212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.07 2.08 2.08 3/184 6288
/proc/meminfo: memFree=28758260/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1350212 CPUtime=1800.02 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 278960 0 0 0 179932 70 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140737230379200 12467381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 337553 279426 796 2943 0 334447 0
[pid=6190/tid=6191] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1350212

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

[startup+1800.5 s]
/proc/loadavg: 2.07 2.08 2.08 3/184 6288
/proc/meminfo: memFree=28758260/32872528 swapFree=524788/557492
[pid=6190] ppid=6187 vsize=1350212 CPUtime=1800.02 cores=1,3,5,7
/proc/6190/stat : 6190 (toysat) R 6187 6190 5756 0 -1 4202496 278960 0 0 0 179932 70 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140737230379200 12467381 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6190/statm: 337553 279426 796 2943 0 334447 0
[pid=6190/tid=6191] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6191/stat : 6191 (toysat) S 6187 6190 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253723602160 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6190/tid=6192] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6192/stat : 6192 (toysat) S 6187 6190 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253713112304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6190/tid=6193] ppid=6187 vsize=1350212 CPUtime=0 cores=1,3,5,7
/proc/6190/task/6193/stat : 6193 (toysat) S 6187 6190 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3531099 1382617088 279426 33554432000 4194304 16246674 140737230397328 140253633440944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1350212

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.33
CPU system time (s): 0.704892
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1350212

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.704892
maximum resident set size= 1117704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 278960
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= 390
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8279 second user time and 13.7919 second system time

The end

Begin job on node106 at 2016-06-15 20:20:10
IDJOB=4088749
IDBENCH=107308
IDSOLVER=2542
FILE ID=node106/4088749-1466014810
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 3a410b85cc117734511eba1bece7c9b4
RANDOM SEED=470090793

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30423536 kB
Buffers:           12572 kB
Cached:            69112 kB
SwapCached:         1436 kB
Active:          1163240 kB
Inactive:          17076 kB
Active(anon):    1099768 kB
Inactive(anon):     1220 kB
Active(file):      63472 kB
Inactive(file):    15856 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099216 kB
Dirty:             16388 kB
Writeback:             0 kB
AnonPages:       1655048 kB
Mapped:             9808 kB
Shmem:                 0 kB
Slab:             576568 kB
SReclaimable:      20632 kB
SUnreclaim:       555936 kB
KernelStack:        1512 kB
PageTables:         7480 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1799216 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    841728 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 node106 at 2016-06-15 20:50:10