0.00/0.00	c 2016-06-30T20:59:39+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-4121002-1467313178.opb"]
0.00/0.01	c use --random-gen="43402540 2780334119 3342893898 893600045 1158642387 2989463356 82812081 758816217 2559128963 4089348303 38809399 1580791141 3939994499 2087899693 4105788073 4201195663 2085989844 53149707 3448938973 982715799 1558200944 1628690452 361183748 75258607 2513381461 371610385 27293882 241835844 928170559 3327415522 237938826 2054607931 3222611695 870300835 813741361 1981871617 2718190056 714808383 2964158084 3052119406 3460996619 1368838129 3764870005 2395639449 3863912023 2587786923 2390874265 3210651837 1716252498 3675481444 1382719943 3841780960 3599175268 2296844884 3210780364 2677404112 339074412 3292806559 3496708152 1875124876 228339300 377702687 676135416 770595577 1415661492 2045318013 1476488612 3411395233 2185402090 604127072 3078402589 2389556016 61699843 1844132431 3784125981 4028773236 4230964166 2891655308 1317797099 2484987455 1982296679 4066870743 1117047145 1715428006 3979150739 1522424658 225847681 3627086600 2305741893 1219029546 2485128374 1193427190 3887485209 89209856 2843749873 4077378022 413987109 1789678655 543398655 352672423 2431370417 3151539146 2818381942 192504922 2523083731 3464178025 368668215 2339287630 3616465936 3425091203 1789120960 1457433188 3791029082 2272263429 4207839711 154203718 1348987776 3229950955 377236348 339260147 1579177162 4079883748 1108031180 2522884253 1368284128 1310372680 443381095 3869751693 1161937141 2043538975 4125280417 401763996 934985019 1027798107 2535494958 3678099973 3413777748 3560658936 2814915346 2615968710 1910509290 2273550936 3483092280 2730391591 734923993 1538739140 4009469365 2880554181 3098209241 2437954455 505692056 2926600443 4018576013 4254671302 466022971 2582214040 3373967462 2970037181 897277617 2171144989 866588609 1708736060 381127886 674748996 2654175257 3617846897 2039006966 1018113887 1951577137 98032843 4044336346 2602326633 2922161972 438971824 851687812 1931276468 2211044279 3519776375 1772339195 2290344278 302767738 811080734 340780303 1365513501 1926535687 2678283700 1644277733 4165461357 2484976647 3920612812 3030306623 374893732 336868769 2343491292 2759166628 2182406859 4228171824 2288287906 3308291469 3284676750 3929157193 1409388653 1279317364 2232311681 1263113039 2129532755 3338371400 2783662621 4255734418 3865519018 3411324087 484425294 3153182590 1197073788 3694491738 2849754799 3827515663 1043391669 374084647 3081097405 3356077905 3576122907 360317570 2271525229 3547886815 1789334877 286775964 432916276 1027521729 2762958698 1258318306 1139155819 3834488443 167157055 147297407 1166408929 2209696171 2269254980 2158193668 1427463793 1243186907 4025466868 324424306 586791172 1778643843 3107201402 1422741181 1433540598 3145807087 1910087154 1420949171 1794503689 698448665 2881693620 1169055754 919696730 255 362436" option to reproduce the execution
0.00/0.02	c #vars 341
0.00/0.02	c #constraints 340
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      227      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      233 |      100 |      227      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      545 |      250 |      250      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |     1008 |      475 |      275      0 |        0 |        0
0.08/0.13	c  0.1s |       4 |     1934 |      813 |      303      3 |        0 |        0
0.08/0.20	c  0.2s |       5 |     2756 |     1320 |      334      4 |        0 |        0
0.18/0.29	c  0.3s |       6 |     4083 |     2081 |      405      7 |        0 |        0
0.37/0.44	c  0.4s |       7 |     5930 |     3223 |      446     11 |        0 |        0
0.58/0.67	c  0.6s |       8 |     9560 |     4936 |      491     17 |        0 |        0
0.98/1.01	c  1.0s |       9 |    14244 |     7506 |      541     25 |        0 |        0
1.28/1.37	c  1.4s |      10 |    20714 |    11361 |      596     38 |        0 |        0
1.88/1.93	c  1.9s |      11 |    29449 |    17144 |      656     53 |        0 |        0
2.68/2.77	c  2.7s |      12 |    41364 |    25819 |      722     73 |        0 |        0
3.98/4.00	c  4.0s |      13 |    57908 |    38832 |      795    100 |        0 |        0
5.88/5.95	c  5.9s |      14 |    85308 |    58352 |      875    140 |        0 |        0
7.88/7.95	c  7.9s |      14 |   112300 |    78252 |      875    177 |        0 |        0
8.88/8.99	c  9.0s |      15 |   124144 |    87632 |      963    194 |        0 |        0
10.87/11.00	c 11.0s |      15 |   153937 |   109232 |      963    238 |        0 |        0
12.97/13.00	c 13.0s |      15 |   179615 |   128732 |      963    272 |        0 |        0
13.18/13.29	c 13.3s |      16 |   183431 |   131552 |     1060    277 |        0 |        0
15.18/15.29	c 15.3s |      16 |   208880 |   150952 |     1060    307 |        0 |        0
17.28/17.30	c 17.3s |      16 |   235888 |   171152 |     1060    339 |        0 |        0
19.28/19.30	c 19.3s |      16 |   260335 |   190252 |     1060    370 |        0 |        0
19.98/20.06	c 20.0s |      17 |   269485 |   197432 |     1166    381 |        0 |        0
21.98/22.06	c 22.0s |      17 |   290157 |   213432 |     1166    405 |        0 |        0
23.97/24.07	c 24.0s |      17 |   314285 |   231332 |     1166    431 |        0 |        0
25.97/26.07	c 26.0s |      17 |   339970 |   250332 |     1166    459 |        0 |        0
27.97/28.07	c 28.0s |      17 |   364421 |   268432 |     1166    486 |        0 |        0
29.97/30.08	c 30.1s |      17 |   388650 |   286532 |     1166    513 |        0 |        0
31.08/31.14	c 31.1s |      18 |   401887 |   296252 |     1283    527 |        0 |        0
33.08/33.14	c 33.1s |      18 |   424413 |   313352 |     1283    550 |        0 |        0
35.07/35.15	c 35.1s |      18 |   449217 |   331252 |     1283    574 |        0 |        0
37.07/37.16	c 37.1s |      18 |   475423 |   350152 |     1283    600 |        0 |        0
39.07/39.17	c 39.1s |      18 |   499199 |   367852 |     1283    624 |        0 |        0
41.07/41.17	c 41.1s |      18 |   524289 |   386352 |     1283    649 |        0 |        0
43.07/43.18	c 43.2s |      18 |   549255 |   405152 |     1283    675 |        0 |        0
45.08/45.18	c 45.2s |      18 |   572111 |   422552 |     1283    698 |        0 |        0
47.07/47.19	c 47.2s |      18 |   597267 |   441252 |     1283    724 |        0 |        0
47.47/47.53	c 47.5s |      19 |   601533 |   444482 |     1412    728 |        0 |        0
49.47/49.54	c 49.5s |      19 |   621313 |   459782 |     1412    747 |        0 |        0
51.47/51.55	c 51.5s |      19 |   640822 |   474482 |     1412    765 |        0 |        0
53.47/53.55	c 53.5s |      19 |   661238 |   489682 |     1412    784 |        0 |        0
55.47/55.55	c 55.5s |      19 |   681858 |   505182 |     1412    803 |        0 |        0
57.47/57.56	c 57.5s |      19 |   704237 |   521682 |     1412    824 |        0 |        0
59.47/59.56	c 59.5s |      19 |   724583 |   537182 |     1412    843 |        0 |        0
61.46/61.57	c 61.5s |      19 |   746601 |   554182 |     1412    864 |        0 |        0
63.46/63.57	c 63.5s |      19 |   767923 |   570582 |     1412    884 |        0 |        0
65.46/65.58	c 65.6s |      19 |   787605 |   585682 |     1412    903 |        0 |        0
67.46/67.59	c 67.6s |      19 |   809663 |   602682 |     1412    924 |        0 |        0
69.46/69.59	c 69.6s |      19 |   829707 |   618482 |     1412    944 |        0 |        0
71.47/71.60	c 71.6s |      19 |   852623 |   635582 |     1412    965 |        0 |        0
73.56/73.61	c 73.6s |      19 |   875634 |   652982 |     1412    987 |        0 |        0
75.16/75.27	c 75.2s |      20 |   894159 |   666827 |     1554   1004 |        0 |        0
77.17/77.28	c 77.3s |      20 |   916477 |   683427 |     1554   1023 |        0 |        0
79.17/79.28	c 79.3s |      20 |   937549 |   699427 |     1554   1041 |        0 |        0
81.16/81.28	c 81.3s |      20 |   956681 |   714027 |     1554   1058 |        0 |        0
83.16/83.28	c 83.3s |      20 |   976545 |   729127 |     1554   1075 |        0 |        0
85.16/85.28	c 85.3s |      20 |   996259 |   744527 |     1554   1092 |        0 |        0
87.16/87.29	c 87.3s |      20 |  1018184 |   760727 |     1554   1110 |        0 |        0
89.26/89.30	c 89.3s |      20 |  1039388 |   776827 |     1554   1129 |        0 |        0
91.26/91.30	c 91.3s |      20 |  1060364 |   792527 |     1554   1147 |        0 |        0
93.25/93.31	c 93.3s |      20 |  1081840 |   808927 |     1554   1165 |        0 |        0
95.25/95.32	c 95.3s |      20 |  1104056 |   825127 |     1554   1184 |        0 |        0
97.25/97.32	c 97.3s |      20 |  1126601 |   841227 |     1554   1202 |        0 |        0
99.25/99.32	c 99.3s |      20 |  1147944 |   857227 |     1554   1220 |        0 |        0
101.25/101.33	c  101s |      20 |  1167825 |   872127 |     1554   1238 |        0 |        0
103.24/103.33	c  103s |      20 |  1185586 |   886627 |     1554   1254 |        0 |        0
105.25/105.34	c  105s |      20 |  1206292 |   902527 |     1554   1272 |        0 |        0
107.25/107.35	c  107s |      20 |  1225474 |   917927 |     1554   1290 |        0 |        0
109.25/109.35	c  109s |      20 |  1244824 |   932927 |     1554   1307 |        0 |        0
111.25/111.36	c  111s |      20 |  1266901 |   948927 |     1554   1326 |        0 |        0
113.25/113.36	c  113s |      20 |  1287853 |   964627 |     1554   1344 |        0 |        0
115.24/115.37	c  115s |      20 |  1307959 |   980427 |     1554   1362 |        0 |        0
117.24/117.38	c  117s |      20 |  1328329 |   995927 |     1710   1379 |        0 |        0
117.84/117.95	c  117s |      21 |  1333953 |  1000345 |     1710   1384 |        0 |        0
119.85/119.95	c  119s |      21 |  1353994 |  1016145 |     1710   1402 |        0 |        0
121.84/121.96	c  121s |      21 |  1374168 |  1031945 |     1710   1420 |        0 |        0
123.84/123.96	c  123s |      21 |  1396521 |  1049145 |     1710   1440 |        0 |        0
125.84/125.97	c  125s |      21 |  1418321 |  1065845 |     1710   1459 |        0 |        0
127.84/127.98	c  127s |      21 |  1439270 |  1082445 |     1710   1477 |        0 |        0
129.84/129.99	c  129s |      21 |  1459171 |  1098345 |     1710   1495 |        0 |        0
131.84/131.99	c  131s |      21 |  1479504 |  1113945 |     1710   1512 |        0 |        0
133.94/134.00	c  133s |      21 |  1501308 |  1130445 |     1710   1531 |        0 |        0
135.94/136.00	c  135s |      21 |  1521898 |  1146445 |     1710   1549 |        0 |        0
137.94/138.01	c  137s |      21 |  1542029 |  1162445 |     1710   1567 |        0 |        0
139.94/140.02	c  139s |      21 |  1561615 |  1178145 |     1710   1584 |        0 |        0
141.95/142.03	c  142s |      21 |  1582408 |  1194545 |     1710   1602 |        0 |        0
143.94/144.03	c  144s |      21 |  1602067 |  1210045 |     1710   1620 |        0 |        0
145.94/146.05	c  146s |      21 |  1621507 |  1225145 |     1710   1637 |        0 |        0
147.94/148.05	c  148s |      21 |  1641475 |  1240445 |     1710   1654 |        0 |        0
149.94/150.06	c  150s |      21 |  1662149 |  1256245 |     1710   1671 |        0 |        0
151.93/152.06	c  152s |      21 |  1682068 |  1271145 |     1710   1688 |        0 |        0
153.94/154.06	c  154s |      21 |  1702941 |  1286845 |     1710   1706 |        0 |        0
155.93/156.07	c  156s |      21 |  1720362 |  1300745 |     1710   1721 |        0 |        0
157.93/158.09	c  158s |      21 |  1738328 |  1314645 |     1710   1737 |        0 |        0
159.93/160.10	c  160s |      21 |  1757112 |  1329445 |     1710   1754 |        0 |        0
162.03/162.11	c  162s |      21 |  1775263 |  1343645 |     1710   1770 |        0 |        0
164.03/164.11	c  164s |      21 |  1795593 |  1359445 |     1710   1788 |        0 |        0
166.03/166.11	c  166s |      21 |  1816316 |  1375545 |     1710   1806 |        0 |        0
168.02/168.12	c  168s |      21 |  1835706 |  1390645 |     1710   1823 |        0 |        0
170.02/170.13	c  170s |      21 |  1856485 |  1406345 |     1710   1842 |        0 |        0
172.02/172.14	c  172s |      21 |  1877313 |  1422145 |     1710   1860 |        0 |        0
174.02/174.14	c  174s |      21 |  1897284 |  1437945 |     1710   1878 |        0 |        0
176.03/176.15	c  176s |      21 |  1916839 |  1453145 |     1710   1895 |        0 |        0
178.02/178.16	c  178s |      21 |  1937856 |  1469045 |     1710   1913 |        0 |        0
180.02/180.17	c  180s |      21 |  1958201 |  1484645 |     1710   1931 |        0 |        0
182.01/182.17	c  182s |      21 |  1978245 |  1500145 |     1882   1947 |        0 |        0
182.11/182.23	c  182s |      22 |  1978883 |  1500622 |     1882   1948 |        0 |        0
184.11/184.24	c  184s |      22 |  1999513 |  1515822 |     1882   1962 |        0 |        0
186.11/186.25	c  186s |      22 |  2017257 |  1529822 |     1882   1976 |        0 |        0
188.13/188.27	c  188s |      22 |  2034706 |  1543522 |     1882   1989 |        0 |        0
190.12/190.27	c  190s |      22 |  2053160 |  1558222 |     1882   2003 |        0 |        0
192.11/192.29	c  192s |      22 |  2070825 |  1572122 |     1882   2017 |        0 |        0
194.21/194.30	c  194s |      22 |  2087370 |  1585322 |     1882   2029 |        0 |        0
196.21/196.31	c  196s |      22 |  2104406 |  1598422 |     1882   2042 |        0 |        0
198.21/198.32	c  198s |      22 |  2122157 |  1612222 |     1882   2055 |        0 |        0
200.21/200.32	c  200s |      22 |  2140337 |  1626622 |     1882   2069 |        0 |        0
202.20/202.33	c  202s |      22 |  2158264 |  1640622 |     1882   2083 |        0 |        0
204.20/204.34	c  204s |      22 |  2178631 |  1655922 |     1882   2098 |        0 |        0
206.20/206.35	c  206s |      22 |  2197888 |  1670722 |     1882   2112 |        0 |        0
208.20/208.35	c  208s |      22 |  2214840 |  1684422 |     1882   2125 |        0 |        0
210.20/210.37	c  210s |      22 |  2231886 |  1698122 |     1882   2138 |        0 |        0
212.20/212.37	c  212s |      22 |  2249484 |  1711822 |     1882   2152 |        0 |        0
214.20/214.38	c  214s |      22 |  2265418 |  1724522 |     1882   2164 |        0 |        0
216.20/216.39	c  216s |      22 |  2281794 |  1737522 |     1882   2176 |        0 |        0
218.30/218.40	c  218s |      22 |  2298230 |  1750622 |     1882   2189 |        0 |        0
220.30/220.42	c  220s |      22 |  2315579 |  1764422 |     1882   2203 |        0 |        0
222.30/222.43	c  222s |      22 |  2331534 |  1777222 |     1882   2215 |        0 |        0
224.31/224.44	c  224s |      22 |  2347164 |  1790122 |     1882   2227 |        0 |        0
226.30/226.44	c  226s |      22 |  2363459 |  1803122 |     1882   2240 |        0 |        0
228.30/228.44	c  228s |      22 |  2382589 |  1817622 |     1882   2254 |        0 |        0
230.29/230.46	c  230s |      22 |  2399649 |  1831322 |     1882   2267 |        0 |        0
232.29/232.46	c  232s |      22 |  2416898 |  1844522 |     1882   2280 |        0 |        0
234.30/234.48	c  234s |      22 |  2433091 |  1857222 |     1882   2292 |        0 |        0
236.29/236.49	c  236s |      22 |  2450139 |  1870722 |     1882   2305 |        0 |        0
238.29/238.49	c  238s |      22 |  2466240 |  1883822 |     1882   2318 |        0 |        0
240.39/240.51	c  240s |      22 |  2481726 |  1896722 |     1882   2331 |        0 |        0
242.39/242.51	c  242s |      22 |  2498898 |  1910122 |     1882   2343 |        0 |        0
244.39/244.52	c  244s |      22 |  2516654 |  1924122 |     1882   2357 |        0 |        0
246.39/246.53	c  246s |      22 |  2535676 |  1938722 |     1882   2371 |        0 |        0
248.38/248.54	c  248s |      22 |  2553643 |  1952622 |     1882   2385 |        0 |        0
250.38/250.54	c  250s |      22 |  2571879 |  1966322 |     1882   2398 |        0 |        0
252.38/252.55	c  252s |      22 |  2589373 |  1979922 |     1882   2411 |        0 |        0
254.38/254.56	c  254s |      22 |  2609008 |  1994522 |     1882   2425 |        0 |        0
256.38/256.56	c  256s |      22 |  2624930 |  2007022 |     1882   2437 |        0 |        0
258.38/258.58	c  258s |      22 |  2642842 |  2021022 |     1882   2451 |        0 |        0
260.37/260.58	c  260s |      22 |  2660296 |  2034822 |     1882   2464 |        0 |        0
262.37/262.59	c  262s |      22 |  2679360 |  2049522 |     1882   2478 |        0 |        0
264.48/264.60	c  264s |      22 |  2698442 |  2064322 |     1882   2493 |        0 |        0
266.48/266.60	c  266s |      22 |  2717397 |  2078622 |     1882   2506 |        0 |        0
268.48/268.61	c  268s |      22 |  2735016 |  2092722 |     1882   2520 |        0 |        0
270.48/270.61	c  270s |      22 |  2752918 |  2106722 |     1882   2534 |        0 |        0
272.48/272.63	c  272s |      22 |  2769181 |  2120122 |     1882   2547 |        0 |        0
274.48/274.64	c  274s |      22 |  2786522 |  2134222 |     1882   2560 |        0 |        0
276.48/276.65	c  276s |      22 |  2804235 |  2148022 |     1882   2574 |        0 |        0
278.48/278.65	c  278s |      22 |  2822491 |  2162122 |     1882   2587 |        0 |        0
280.48/280.65	c  280s |      22 |  2841612 |  2176722 |     1882   2601 |        0 |        0
282.47/282.66	c  282s |      22 |  2858094 |  2189822 |     1882   2614 |        0 |        0
284.47/284.67	c  284s |      22 |  2877056 |  2204422 |     1882   2628 |        0 |        0
286.47/286.68	c  286s |      22 |  2895655 |  2219222 |     1882   2642 |        0 |        0
288.47/288.69	c  288s |      22 |  2915607 |  2234522 |     1882   2657 |        0 |        0
290.46/290.69	c  290s |      22 |  2933121 |  2247922 |     2071   2669 |        0 |        0
290.96/291.11	c  291s |      23 |  2937214 |  2251038 |     2071   2672 |        0 |        0
292.96/293.12	c  293s |      23 |  2955543 |  2265038 |     2071   2684 |        0 |        0
294.96/295.12	c  295s |      23 |  2973696 |  2279138 |     2071   2697 |        0 |        0
296.97/297.14	c  297s |      23 |  2991070 |  2292838 |     2071   2709 |        0 |        0
298.96/299.14	c  299s |      23 |  3005848 |  2304938 |     2071   2720 |        0 |        0
300.96/301.15	c  301s |      23 |  3023222 |  2318538 |     2071   2732 |        0 |        0
302.96/303.16	c  303s |      23 |  3040059 |  2331938 |     2071   2744 |        0 |        0
304.95/305.16	c  305s |      23 |  3055044 |  2344238 |     2071   2755 |        0 |        0
306.95/307.17	c  307s |      23 |  3071249 |  2357038 |     2071   2766 |        0 |        0
308.96/309.18	c  309s |      23 |  3088942 |  2370638 |     2071   2778 |        0 |        0
310.95/311.18	c  311s |      23 |  3105828 |  2383738 |     2071   2790 |        0 |        0
312.95/313.18	c  313s |      23 |  3123220 |  2397638 |     2071   2802 |        0 |        0
314.95/315.19	c  315s |      23 |  3138941 |  2410238 |     2071   2814 |        0 |        0
316.95/317.19	c  317s |      23 |  3155879 |  2423938 |     2071   2826 |        0 |        0
318.96/319.20	c  319s |      23 |  3172286 |  2437038 |     2071   2837 |        0 |        0
320.95/321.20	c  321s |      23 |  3188025 |  2449738 |     2071   2849 |        0 |        0
323.04/323.21	c  323s |      23 |  3205879 |  2464138 |     2071   2862 |        0 |        0
325.04/325.22	c  325s |      23 |  3223545 |  2477938 |     2071   2874 |        0 |        0
327.04/327.23	c  327s |      23 |  3241160 |  2491538 |     2071   2886 |        0 |        0
329.04/329.23	c  329s |      23 |  3259289 |  2505838 |     2071   2899 |        0 |        0
331.04/331.24	c  331s |      23 |  3278584 |  2520538 |     2071   2912 |        0 |        0
333.03/333.24	c  333s |      23 |  3296952 |  2534938 |     2071   2925 |        0 |        0
335.03/335.25	c  335s |      23 |  3315318 |  2549138 |     2071   2937 |        0 |        0
337.03/337.26	c  337s |      23 |  3332433 |  2562738 |     2071   2949 |        0 |        0
339.03/339.26	c  339s |      23 |  3351014 |  2576838 |     2071   2962 |        0 |        0
341.03/341.27	c  341s |      23 |  3369600 |  2591238 |     2071   2975 |        0 |        0
343.03/343.28	c  343s |      23 |  3388657 |  2605738 |     2071   2988 |        0 |        0
345.03/345.29	c  345s |      23 |  3407362 |  2620538 |     2071   3001 |        0 |        0
347.13/347.30	c  347s |      23 |  3425066 |  2634438 |     2071   3013 |        0 |        0
349.13/349.30	c  349s |      23 |  3441483 |  2647438 |     2071   3025 |        0 |        0
351.12/351.30	c  351s |      23 |  3459534 |  2661238 |     2071   3037 |        0 |        0
353.12/353.31	c  353s |      23 |  3477598 |  2675238 |     2071   3050 |        0 |        0
355.13/355.32	c  355s |      23 |  3496592 |  2689738 |     2071   3063 |        0 |        0
357.12/357.33	c  357s |      23 |  3516529 |  2704838 |     2071   3076 |        0 |        0
359.12/359.34	c  359s |      23 |  3537484 |  2720238 |     2071   3090 |        0 |        0
361.12/361.35	c  361s |      23 |  3555592 |  2734338 |     2071   3103 |        0 |        0
363.12/363.36	c  363s |      23 |  3576456 |  2749638 |     2071   3116 |        0 |        0
365.13/365.36	c  365s |      23 |  3598163 |  2765738 |     2071   3131 |        0 |        0
367.12/367.37	c  367s |      23 |  3616998 |  2780338 |     2071   3144 |        0 |        0
369.12/369.38	c  369s |      23 |  3636647 |  2795038 |     2071   3157 |        0 |        0
371.12/371.39	c  371s |      23 |  3654781 |  2809238 |     2071   3169 |        0 |        0
373.11/373.39	c  373s |      23 |  3677198 |  2825838 |     2071   3184 |        0 |        0
375.21/375.40	c  375s |      23 |  3695051 |  2840138 |     2071   3197 |        0 |        0
377.22/377.41	c  377s |      23 |  3714120 |  2854738 |     2071   3210 |        0 |        0
379.21/379.42	c  379s |      23 |  3732865 |  2869038 |     2071   3223 |        0 |        0
381.21/381.43	c  381s |      23 |  3751718 |  2883238 |     2071   3236 |        0 |        0
383.21/383.43	c  383s |      23 |  3771165 |  2897938 |     2071   3249 |        0 |        0
385.21/385.44	c  385s |      23 |  3790461 |  2912738 |     2071   3262 |        0 |        0
387.20/387.45	c  387s |      23 |  3810674 |  2927938 |     2071   3276 |        0 |        0
389.21/389.46	c  389s |      23 |  3830885 |  2943638 |     2071   3290 |        0 |        0
391.20/391.46	c  391s |      23 |  3850817 |  2958738 |     2071   3303 |        0 |        0
393.20/393.46	c  393s |      23 |  3871465 |  2974138 |     2071   3317 |        0 |        0
395.20/395.47	c  395s |      23 |  3890448 |  2988738 |     2071   3330 |        0 |        0
397.20/397.48	c  397s |      23 |  3910120 |  3003638 |     2071   3343 |        0 |        0
399.20/399.49	c  399s |      23 |  3929564 |  3018338 |     2071   3356 |        0 |        0
401.19/401.50	c  401s |      23 |  3947028 |  3032038 |     2071   3368 |        0 |        0
403.29/403.51	c  403s |      23 |  3965827 |  3046338 |     2071   3381 |        0 |        0
405.29/405.51	c  405s |      23 |  3984423 |  3060838 |     2071   3394 |        0 |        0
407.29/407.52	c  407s |      23 |  4004684 |  3076038 |     2071   3408 |        0 |        0
409.29/409.53	c  409s |      23 |  4025502 |  3091738 |     2071   3422 |        0 |        0
411.29/411.54	c  411s |      23 |  4045718 |  3106838 |     2071   3435 |        0 |        0
413.29/413.54	c  413s |      23 |  4066450 |  3122238 |     2071   3449 |        0 |        0
415.29/415.55	c  415s |      23 |  4086625 |  3137938 |     2071   3463 |        0 |        0
417.29/417.57	c  417s |      23 |  4104890 |  3152338 |     2071   3476 |        0 |        0
419.29/419.57	c  419s |      23 |  4124722 |  3167438 |     2071   3489 |        0 |        0
421.29/421.58	c  421s |      23 |  4143754 |  3182038 |     2071   3503 |        0 |        0
423.29/423.58	c  423s |      23 |  4165656 |  3197838 |     2071   3517 |        0 |        0
425.29/425.58	c  425s |      23 |  4185124 |  3212638 |     2071   3530 |        0 |        0
427.29/427.58	c  427s |      23 |  4206640 |  3228438 |     2071   3544 |        0 |        0
429.29/429.60	c  429s |      23 |  4226554 |  3243638 |     2071   3557 |        0 |        0
431.38/431.60	c  431s |      23 |  4247445 |  3259338 |     2071   3571 |        0 |        0
433.38/433.61	c  433s |      23 |  4268518 |  3275238 |     2071   3586 |        0 |        0
435.39/435.62	c  435s |      23 |  4288716 |  3290838 |     2071   3600 |        0 |        0
437.38/437.63	c  437s |      23 |  4306394 |  3304638 |     2071   3612 |        0 |        0
439.38/439.64	c  439s |      23 |  4325154 |  3319238 |     2071   3625 |        0 |        0
441.37/441.65	c  441s |      23 |  4344501 |  3333838 |     2071   3638 |        0 |        0
443.37/443.66	c  443s |      23 |  4362159 |  3347738 |     2071   3650 |        0 |        0
445.38/445.67	c  445s |      23 |  4380482 |  3361838 |     2279   3662 |        0 |        0
447.37/447.63	c  447s |      24 |  4400652 |  3376662 |     2279   3674 |        0 |        0
449.37/449.64	c  449s |      24 |  4417755 |  3390162 |     2279   3685 |        0 |        0
451.36/451.66	c  451s |      24 |  4433280 |  3402562 |     2279   3695 |        0 |        0
453.36/453.66	c  453s |      24 |  4449955 |  3415562 |     2279   3706 |        0 |        0
455.36/455.66	c  455s |      24 |  4466998 |  3428762 |     2279   3716 |        0 |        0
457.37/457.66	c  457s |      24 |  4484139 |  3441962 |     2279   3727 |        0 |        0
459.36/459.68	c  459s |      24 |  4501908 |  3455862 |     2279   3738 |        0 |        0
461.36/461.68	c  461s |      24 |  4519237 |  3469662 |     2279   3749 |        0 |        0
463.36/463.68	c  463s |      24 |  4536169 |  3482762 |     2279   3760 |        0 |        0
465.36/465.69	c  465s |      24 |  4553562 |  3496362 |     2279   3771 |        0 |        0
467.46/467.70	c  467s |      24 |  4570866 |  3509962 |     2279   3782 |        0 |        0
469.47/469.71	c  469s |      24 |  4588658 |  3523962 |     2279   3793 |        0 |        0
471.45/471.71	c  471s |      24 |  4606912 |  3537962 |     2279   3805 |        0 |        0
473.45/473.72	c  473s |      24 |  4624021 |  3551762 |     2279   3816 |        0 |        0
475.45/475.73	c  475s |      24 |  4642724 |  3565962 |     2279   3827 |        0 |        0
477.45/477.74	c  477s |      24 |  4658719 |  3578662 |     2279   3838 |        0 |        0
479.46/479.74	c  479s |      24 |  4676747 |  3592362 |     2279   3849 |        0 |        0
481.45/481.76	c  481s |      24 |  4694514 |  3606162 |     2279   3860 |        0 |        0
483.45/483.76	c  483s |      24 |  4711916 |  3619462 |     2279   3871 |        0 |        0
485.44/485.76	c  485s |      24 |  4728226 |  3632762 |     2279   3881 |        0 |        0
487.44/487.77	c  487s |      24 |  4745085 |  3645962 |     2279   3892 |        0 |        0
489.44/489.78	c  489s |      24 |  4762713 |  3659462 |     2279   3903 |        0 |        0
491.44/491.79	c  491s |      24 |  4778763 |  3672062 |     2279   3913 |        0 |        0
493.44/493.80	c  493s |      24 |  4796803 |  3686062 |     2279   3925 |        0 |        0
495.53/495.81	c  495s |      24 |  4814047 |  3699762 |     2279   3936 |        0 |        0
497.53/497.83	c  497s |      24 |  4832488 |  3714262 |     2279   3948 |        0 |        0
499.53/499.83	c  499s |      24 |  4852280 |  3729562 |     2279   3960 |        0 |        0
501.53/501.83	c  501s |      24 |  4868408 |  3742062 |     2279   3970 |        0 |        0
503.53/503.84	c  503s |      24 |  4885667 |  3755162 |     2279   3981 |        0 |        0
505.53/505.84	c  505s |      24 |  4902749 |  3768362 |     2279   3991 |        0 |        0
507.53/507.85	c  507s |      24 |  4922802 |  3783162 |     2279   4003 |        0 |        0
509.53/509.86	c  509s |      24 |  4940533 |  3797062 |     2279   4015 |        0 |        0
511.52/511.86	c  511s |      24 |  4959084 |  3810962 |     2279   4026 |        0 |        0
513.54/513.86	c  513s |      24 |  4976968 |  3824762 |     2279   4037 |        0 |        0
515.53/515.87	c  515s |      24 |  4994689 |  3838262 |     2279   4048 |        0 |        0
517.53/517.88	c  517s |      24 |  5012846 |  3851762 |     2279   4059 |        0 |        0
519.53/519.88	c  519s |      24 |  5030594 |  3865262 |     2279   4070 |        0 |        0
521.52/521.88	c  521s |      24 |  5047898 |  3878762 |     2279   4081 |        0 |        0
523.52/523.89	c  523s |      24 |  5066171 |  3892862 |     2279   4093 |        0 |        0
525.63/525.91	c  525s |      24 |  5084949 |  3907362 |     2279   4104 |        0 |        0
527.62/527.91	c  527s |      24 |  5104107 |  3922162 |     2279   4117 |        0 |        0
529.62/529.92	c  529s |      24 |  5121722 |  3935762 |     2279   4128 |        0 |        0
531.61/531.93	c  531s |      24 |  5140733 |  3950162 |     2279   4139 |        0 |        0
533.61/533.95	c  533s |      24 |  5158526 |  3963862 |     2279   4150 |        0 |        0
535.61/535.96	c  535s |      24 |  5177221 |  3978262 |     2279   4162 |        0 |        0
537.62/537.96	c  537s |      24 |  5195426 |  3992262 |     2279   4173 |        0 |        0
539.61/539.97	c  539s |      24 |  5212048 |  4005662 |     2279   4184 |        0 |        0
541.61/541.97	c  541s |      24 |  5229641 |  4019262 |     2279   4195 |        0 |        0
543.61/543.98	c  543s |      24 |  5248899 |  4033762 |     2279   4207 |        0 |        0
545.61/545.99	c  545s |      24 |  5265119 |  4046562 |     2279   4218 |        0 |        0
547.61/548.00	c  547s |      24 |  5282419 |  4059762 |     2279   4228 |        0 |        0
549.71/550.01	c  549s |      24 |  5300270 |  4073862 |     2279   4240 |        0 |        0
551.70/552.02	c  551s |      24 |  5318768 |  4088062 |     2279   4251 |        0 |        0
553.70/554.03	c  554s |      24 |  5337383 |  4101562 |     2279   4262 |        0 |        0
555.70/556.04	c  556s |      24 |  5356140 |  4115662 |     2279   4274 |        0 |        0
557.70/558.05	c  558s |      24 |  5372122 |  4128262 |     2279   4284 |        0 |        0
559.70/560.07	c  560s |      24 |  5388945 |  4141462 |     2279   4295 |        0 |        0
561.69/562.08	c  562s |      24 |  5406450 |  4155062 |     2279   4306 |        0 |        0
563.69/564.09	c  564s |      24 |  5423303 |  4168362 |     2279   4316 |        0 |        0
565.79/566.10	c  566s |      24 |  5440533 |  4181862 |     2279   4327 |        0 |        0
567.79/568.11	c  568s |      24 |  5459144 |  4195962 |     2279   4339 |        0 |        0
569.79/570.13	c  570s |      24 |  5476930 |  4209762 |     2279   4350 |        0 |        0
571.79/572.13	c  572s |      24 |  5494850 |  4223362 |     2279   4361 |        0 |        0
573.78/574.14	c  574s |      24 |  5514205 |  4237962 |     2279   4373 |        0 |        0
575.78/576.14	c  576s |      24 |  5532371 |  4251662 |     2279   4384 |        0 |        0
577.78/578.14	c  578s |      24 |  5552342 |  4266662 |     2279   4396 |        0 |        0
579.78/580.15	c  580s |      24 |  5569587 |  4280262 |     2279   4407 |        0 |        0
581.78/582.15	c  582s |      24 |  5588472 |  4294562 |     2279   4419 |        0 |        0
583.79/584.17	c  584s |      24 |  5606328 |  4308662 |     2279   4431 |        0 |        0
585.78/586.17	c  586s |      24 |  5624446 |  4322762 |     2279   4442 |        0 |        0
587.78/588.17	c  588s |      24 |  5643813 |  4337562 |     2279   4454 |        0 |        0
589.78/590.19	c  590s |      24 |  5661665 |  4351562 |     2279   4466 |        0 |        0
591.87/592.20	c  592s |      24 |  5680024 |  4365762 |     2279   4477 |        0 |        0
593.88/594.21	c  594s |      24 |  5696483 |  4378862 |     2279   4488 |        0 |        0
595.89/596.22	c  596s |      24 |  5714426 |  4392362 |     2279   4499 |        0 |        0
597.88/598.23	c  598s |      24 |  5732140 |  4405662 |     2279   4510 |        0 |        0
599.88/600.23	c  600s |      24 |  5750167 |  4419362 |     2279   4521 |        0 |        0
601.87/602.24	c  602s |      24 |  5767768 |  4432362 |     2279   4531 |        0 |        0
603.87/604.25	c  604s |      24 |  5785066 |  4445262 |     2279   4542 |        0 |        0
605.88/606.27	c  606s |      24 |  5802399 |  4458462 |     2279   4553 |        0 |        0
607.87/608.28	c  608s |      24 |  5822322 |  4473262 |     2279   4565 |        0 |        0
609.87/610.29	c  610s |      24 |  5839132 |  4486862 |     2279   4576 |        0 |        0
611.97/612.30	c  612s |      24 |  5856200 |  4500062 |     2279   4586 |        0 |        0
613.96/614.30	c  614s |      24 |  5871944 |  4512362 |     2279   4596 |        0 |        0
615.96/616.32	c  616s |      24 |  5890196 |  4526062 |     2279   4607 |        0 |        0
617.97/618.32	c  618s |      24 |  5905883 |  4537862 |     2279   4617 |        0 |        0
619.96/620.34	c  620s |      24 |  5921786 |  4550062 |     2279   4627 |        0 |        0
621.96/622.34	c  622s |      24 |  5937524 |  4561762 |     2279   4637 |        0 |        0
623.96/624.35	c  624s |      24 |  5952177 |  4572962 |     2279   4646 |        0 |        0
625.96/626.37	c  626s |      24 |  5966574 |  4584262 |     2279   4655 |        0 |        0
627.96/628.38	c  628s |      24 |  5982730 |  4596562 |     2279   4665 |        0 |        0
629.96/630.39	c  630s |      24 |  6000111 |  4609662 |     2279   4676 |        0 |        0
632.05/632.40	c  632s |      24 |  6017481 |  4622862 |     2279   4686 |        0 |        0
634.05/634.40	c  634s |      24 |  6033946 |  4635262 |     2279   4696 |        0 |        0
636.05/636.41	c  636s |      24 |  6050418 |  4648062 |     2279   4707 |        0 |        0
638.05/638.41	c  638s |      24 |  6067151 |  4660762 |     2279   4717 |        0 |        0
640.05/640.42	c  640s |      24 |  6084287 |  4673762 |     2279   4728 |        0 |        0
642.05/642.42	c  642s |      24 |  6101338 |  4686362 |     2279   4738 |        0 |        0
644.04/644.44	c  644s |      24 |  6117411 |  4699562 |     2279   4749 |        0 |        0
646.04/646.45	c  646s |      24 |  6134547 |  4712362 |     2279   4759 |        0 |        0
648.04/648.45	c  648s |      24 |  6151996 |  4725162 |     2279   4769 |        0 |        0
650.04/650.47	c  650s |      24 |  6169021 |  4738062 |     2279   4780 |        0 |        0
652.04/652.48	c  652s |      24 |  6186796 |  4751362 |     2279   4791 |        0 |        0
654.03/654.49	c  654s |      24 |  6203715 |  4764562 |     2279   4801 |        0 |        0
656.14/656.50	c  656s |      24 |  6220983 |  4778162 |     2279   4812 |        0 |        0
658.14/658.51	c  658s |      24 |  6237397 |  4790962 |     2279   4823 |        0 |        0
660.14/660.52	c  660s |      24 |  6253214 |  4803262 |     2279   4833 |        0 |        0
662.13/662.52	c  662s |      24 |  6268833 |  4815562 |     2279   4843 |        0 |        0
664.14/664.53	c  664s |      24 |  6285442 |  4827962 |     2279   4853 |        0 |        0
666.13/666.55	c  666s |      24 |  6301298 |  4840262 |     2279   4863 |        0 |        0
668.13/668.56	c  668s |      24 |  6316486 |  4851862 |     2279   4872 |        0 |        0
670.13/670.57	c  670s |      24 |  6330129 |  4862962 |     2279   4881 |        0 |        0
672.13/672.58	c  672s |      24 |  6345392 |  4874862 |     2279   4891 |        0 |        0
674.13/674.59	c  674s |      24 |  6361147 |  4886762 |     2279   4901 |        0 |        0
676.14/676.59	c  676s |      24 |  6376219 |  4898362 |     2279   4910 |        0 |        0
678.13/678.59	c  678s |      24 |  6392598 |  4910662 |     2279   4920 |        0 |        0
680.23/680.61	c  680s |      24 |  6408487 |  4922662 |     2279   4930 |        0 |        0
682.23/682.61	c  682s |      24 |  6424231 |  4934462 |     2279   4939 |        0 |        0
684.23/684.61	c  684s |      24 |  6439400 |  4946262 |     2279   4949 |        0 |        0
686.23/686.63	c  686s |      24 |  6454566 |  4957962 |     2279   4959 |        0 |        0
688.23/688.64	c  688s |      24 |  6471071 |  4970662 |     2279   4969 |        0 |        0
690.23/690.65	c  690s |      24 |  6486489 |  4982562 |     2279   4979 |        0 |        0
692.22/692.66	c  692s |      24 |  6501691 |  4994462 |     2279   4988 |        0 |        0
694.22/694.67	c  694s |      24 |  6517390 |  5006762 |     2279   4998 |        0 |        0
696.22/696.67	c  696s |      24 |  6532699 |  5018362 |     2279   5008 |        0 |        0
698.23/698.68	c  698s |      24 |  6548720 |  5030562 |     2507   5017 |        0 |        0
700.22/700.69	c  700s |      24 |  6565013 |  5042962 |     2507   5026 |        0 |        0
702.32/702.70	c  702s |      24 |  6579992 |  5054662 |     2507   5035 |        0 |        0
703.92/704.35	c  704s |      25 |  6593217 |  5065098 |     2507   5043 |        0 |        0
705.93/706.35	c  706s |      25 |  6609576 |  5077798 |     2507   5053 |        0 |        0
707.92/708.36	c  708s |      25 |  6627890 |  5091298 |     2507   5064 |        0 |        0
709.92/710.36	c  710s |      25 |  6644725 |  5103898 |     2507   5074 |        0 |        0
711.92/712.37	c  712s |      25 |  6662780 |  5117198 |     2507   5084 |        0 |        0
713.92/714.38	c  714s |      25 |  6680656 |  5130698 |     2507   5095 |        0 |        0
715.92/716.39	c  716s |      25 |  6696753 |  5142798 |     2507   5104 |        0 |        0
717.93/718.40	c  718s |      25 |  6713603 |  5155498 |     2507   5114 |        0 |        0
720.02/720.40	c  720s |      25 |  6731165 |  5168298 |     2507   5124 |        0 |        0
722.02/722.40	c  722s |      25 |  6748242 |  5181098 |     2507   5134 |        0 |        0
724.02/724.42	c  724s |      25 |  6765051 |  5193998 |     2507   5144 |        0 |        0
726.02/726.42	c  726s |      25 |  6782089 |  5206998 |     2507   5155 |        0 |        0
728.02/728.42	c  728s |      25 |  6800724 |  5220598 |     2507   5165 |        0 |        0
730.02/730.44	c  730s |      25 |  6819012 |  5233998 |     2507   5175 |        0 |        0
732.02/732.45	c  732s |      25 |  6834522 |  5246498 |     2507   5185 |        0 |        0
734.02/734.46	c  734s |      25 |  6851447 |  5259898 |     2507   5194 |        0 |        0
736.02/736.47	c  736s |      25 |  6868917 |  5272998 |     2507   5204 |        0 |        0
738.01/738.49	c  738s |      25 |  6886910 |  5286498 |     2507   5214 |        0 |        0
740.11/740.50	c  740s |      25 |  6903668 |  5299598 |     2507   5224 |        0 |        0
742.12/742.51	c  742s |      25 |  6922023 |  5313498 |     2507   5234 |        0 |        0
744.11/744.51	c  744s |      25 |  6940588 |  5327598 |     2507   5245 |        0 |        0
746.11/746.53	c  746s |      25 |  6957421 |  5340598 |     2507   5255 |        0 |        0
748.11/748.54	c  748s |      25 |  6973522 |  5353398 |     2507   5264 |        0 |        0
750.11/750.54	c  750s |      25 |  6989752 |  5365998 |     2507   5273 |        0 |        0
752.12/752.55	c  752s |      25 |  7009692 |  5380298 |     2507   5284 |        0 |        0
754.11/754.56	c  754s |      25 |  7028888 |  5394898 |     2507   5295 |        0 |        0
756.11/756.57	c  756s |      25 |  7047673 |  5408898 |     2507   5305 |        0 |        0
758.12/758.57	c  758s |      25 |  7066721 |  5423398 |     2507   5316 |        0 |        0
760.12/760.57	c  760s |      25 |  7086140 |  5437998 |     2507   5327 |        0 |        0
762.12/762.58	c  762s |      25 |  7104294 |  5451798 |     2507   5337 |        0 |        0
764.12/764.58	c  764s |      25 |  7122608 |  5465598 |     2507   5348 |        0 |        0
766.22/766.60	c  766s |      25 |  7139345 |  5479098 |     2507   5358 |        0 |        0
768.22/768.60	c  768s |      25 |  7156359 |  5491998 |     2507   5367 |        0 |        0
770.21/770.61	c  770s |      25 |  7175036 |  5506098 |     2507   5378 |        0 |        0
772.21/772.61	c  772s |      25 |  7193569 |  5520598 |     2507   5388 |        0 |        0
774.21/774.61	c  774s |      25 |  7209499 |  5533498 |     2507   5398 |        0 |        0
776.22/776.62	c  776s |      25 |  7228367 |  5547798 |     2507   5409 |        0 |        0
778.21/778.64	c  778s |      25 |  7247446 |  5561798 |     2507   5419 |        0 |        0
780.21/780.64	c  780s |      25 |  7261850 |  5573498 |     2507   5428 |        0 |        0
782.21/782.64	c  782s |      25 |  7279503 |  5587198 |     2507   5438 |        0 |        0
784.21/784.65	c  784s |      25 |  7298098 |  5601198 |     2507   5448 |        0 |        0
786.22/786.66	c  786s |      25 |  7315849 |  5614698 |     2507   5459 |        0 |        0
788.21/788.66	c  788s |      25 |  7335423 |  5629398 |     2507   5469 |        0 |        0
790.21/790.68	c  790s |      25 |  7353291 |  5643398 |     2507   5480 |        0 |        0
792.21/792.68	c  792s |      25 |  7370738 |  5656798 |     2507   5490 |        0 |        0
794.21/794.69	c  794s |      25 |  7387766 |  5669998 |     2507   5500 |        0 |        0
796.21/796.69	c  796s |      25 |  7406999 |  5683998 |     2507   5510 |        0 |        0
798.21/798.70	c  798s |      25 |  7426869 |  5698298 |     2507   5521 |        0 |        0
800.31/800.70	c  800s |      25 |  7444328 |  5711598 |     2507   5531 |        0 |        0
802.31/802.71	c  802s |      25 |  7464224 |  5725998 |     2507   5541 |        0 |        0
804.30/804.72	c  804s |      25 |  7483875 |  5740098 |     2507   5552 |        0 |        0
806.30/806.73	c  806s |      25 |  7503626 |  5754398 |     2507   5563 |        0 |        0
808.30/808.73	c  808s |      25 |  7520079 |  5767498 |     2507   5572 |        0 |        0
810.31/810.73	c  810s |      25 |  7535949 |  5780198 |     2507   5582 |        0 |        0
812.30/812.74	c  812s |      25 |  7555376 |  5794798 |     2507   5593 |        0 |        0
814.30/814.75	c  814s |      25 |  7572334 |  5807798 |     2507   5602 |        0 |        0
816.30/816.75	c  816s |      25 |  7588494 |  5820698 |     2507   5612 |        0 |        0
818.30/818.75	c  818s |      25 |  7604662 |  5833298 |     2507   5621 |        0 |        0
820.31/820.77	c  820s |      25 |  7622080 |  5847298 |     2507   5631 |        0 |        0
822.30/822.78	c  822s |      25 |  7641381 |  5861698 |     2507   5642 |        0 |        0
824.30/824.78	c  824s |      25 |  7660214 |  5875998 |     2507   5653 |        0 |        0
826.30/826.79	c  826s |      25 |  7677284 |  5889298 |     2507   5663 |        0 |        0
828.30/828.79	c  828s |      25 |  7694702 |  5902698 |     2507   5673 |        0 |        0
830.40/830.80	c  830s |      25 |  7711754 |  5915698 |     2507   5682 |        0 |        0
832.41/832.81	c  832s |      25 |  7731139 |  5929898 |     2507   5693 |        0 |        0
834.41/834.81	c  834s |      25 |  7747035 |  5942698 |     2507   5702 |        0 |        0
836.41/836.82	c  836s |      25 |  7763070 |  5955098 |     2507   5712 |        0 |        0
838.41/838.84	c  838s |      25 |  7778895 |  5967598 |     2507   5721 |        0 |        0
840.41/840.84	c  840s |      25 |  7795370 |  5980198 |     2507   5730 |        0 |        0
842.41/842.85	c  842s |      25 |  7811716 |  5992598 |     2507   5739 |        0 |        0
844.41/844.87	c  844s |      25 |  7827436 |  6004798 |     2507   5749 |        0 |        0
846.41/846.87	c  846s |      25 |  7842609 |  6016898 |     2507   5758 |        0 |        0
848.41/848.89	c  848s |      25 |  7860141 |  6029798 |     2507   5767 |        0 |        0
850.40/850.89	c  850s |      25 |  7877318 |  6042998 |     2507   5777 |        0 |        0
852.40/852.89	c  852s |      25 |  7896327 |  6057598 |     2507   5788 |        0 |        0
854.41/854.89	c  854s |      25 |  7916272 |  6072498 |     2507   5799 |        0 |        0
856.51/856.91	c  856s |      25 |  7935025 |  6086398 |     2507   5809 |        0 |        0
858.50/858.92	c  858s |      25 |  7951379 |  6099198 |     2507   5819 |        0 |        0
860.50/860.92	c  860s |      25 |  7968742 |  6112398 |     2507   5829 |        0 |        0
862.50/862.93	c  862s |      25 |  7985677 |  6125498 |     2507   5838 |        0 |        0
864.50/864.93	c  864s |      25 |  8004559 |  6140098 |     2507   5849 |        0 |        0
866.51/866.93	c  866s |      25 |  8022581 |  6154098 |     2507   5860 |        0 |        0
868.50/868.94	c  868s |      25 |  8040657 |  6168098 |     2507   5870 |        0 |        0
870.50/870.95	c  870s |      25 |  8059029 |  6182198 |     2507   5881 |        0 |        0
872.50/872.96	c  872s |      25 |  8078960 |  6197198 |     2507   5892 |        0 |        0
874.50/874.97	c  874s |      25 |  8098947 |  6211898 |     2507   5903 |        0 |        0
876.50/876.99	c  876s |      25 |  8120022 |  6227098 |     2507   5914 |        0 |        0
878.51/879.00	c  878s |      25 |  8136525 |  6239498 |     2507   5923 |        0 |        0
880.60/881.00	c  880s |      25 |  8153580 |  6252198 |     2507   5933 |        0 |        0
882.60/883.01	c  882s |      25 |  8172206 |  6266098 |     2507   5943 |        0 |        0
884.60/885.03	c  885s |      25 |  8190314 |  6279798 |     2507   5953 |        0 |        0
886.60/887.04	c  887s |      25 |  8208401 |  6293998 |     2507   5964 |        0 |        0
888.59/889.04	c  889s |      25 |  8223723 |  6306098 |     2507   5973 |        0 |        0
890.60/891.06	c  891s |      25 |  8240079 |  6318498 |     2507   5982 |        0 |        0
892.59/893.07	c  893s |      25 |  8256552 |  6331298 |     2507   5991 |        0 |        0
894.59/895.09	c  895s |      25 |  8272841 |  6343598 |     2507   6001 |        0 |        0
896.59/897.09	c  897s |      25 |  8290782 |  6356898 |     2507   6010 |        0 |        0
898.69/899.10	c  899s |      25 |  8307790 |  6369598 |     2507   6020 |        0 |        0
900.69/901.11	c  901s |      25 |  8324736 |  6382498 |     2507   6029 |        0 |        0
902.70/903.11	c  903s |      25 |  8340657 |  6394798 |     2507   6038 |        0 |        0
904.69/905.12	c  905s |      25 |  8355348 |  6406498 |     2507   6047 |        0 |        0
906.69/907.14	c  907s |      25 |  8371372 |  6418698 |     2507   6056 |        0 |        0
908.69/909.15	c  909s |      25 |  8387771 |  6430998 |     2507   6065 |        0 |        0
910.69/911.16	c  911s |      25 |  8404285 |  6443498 |     2507   6075 |        0 |        0
912.70/913.18	c  913s |      25 |  8421690 |  6456498 |     2507   6084 |        0 |        0
914.69/915.18	c  915s |      25 |  8438719 |  6469498 |     2507   6094 |        0 |        0
916.69/917.19	c  917s |      25 |  8455266 |  6481898 |     2507   6103 |        0 |        0
918.69/919.19	c  919s |      25 |  8471894 |  6494398 |     2507   6113 |        0 |        0
920.79/921.20	c  921s |      25 |  8488442 |  6506998 |     2507   6122 |        0 |        0
922.79/923.20	c  923s |      25 |  8503285 |  6518798 |     2507   6131 |        0 |        0
924.79/925.22	c  925s |      25 |  8518961 |  6530998 |     2507   6140 |        0 |        0
926.79/927.22	c  927s |      25 |  8534967 |  6543298 |     2507   6149 |        0 |        0
928.79/929.23	c  929s |      25 |  8553620 |  6557098 |     2507   6159 |        0 |        0
930.79/931.25	c  931s |      25 |  8571693 |  6570698 |     2507   6169 |        0 |        0
932.79/933.25	c  933s |      25 |  8589435 |  6583998 |     2507   6179 |        0 |        0
934.79/935.25	c  935s |      25 |  8608476 |  6598598 |     2507   6190 |        0 |        0
936.80/937.25	c  937s |      25 |  8623989 |  6611298 |     2507   6200 |        0 |        0
938.79/939.26	c  939s |      25 |  8640180 |  6623798 |     2507   6209 |        0 |        0
940.79/941.27	c  941s |      25 |  8656116 |  6636198 |     2507   6218 |        0 |        0
942.79/943.27	c  943s |      25 |  8673052 |  6649098 |     2507   6228 |        0 |        0
944.79/945.28	c  945s |      25 |  8688646 |  6661498 |     2507   6237 |        0 |        0
946.80/947.28	c  947s |      25 |  8702919 |  6673098 |     2507   6246 |        0 |        0
948.79/949.30	c  949s |      25 |  8720258 |  6686498 |     2507   6256 |        0 |        0
950.89/951.30	c  951s |      25 |  8737578 |  6699698 |     2507   6265 |        0 |        0
952.89/953.31	c  953s |      25 |  8755436 |  6713698 |     2507   6276 |        0 |        0
954.89/955.31	c  955s |      25 |  8773057 |  6727598 |     2507   6286 |        0 |        0
956.89/957.32	c  957s |      25 |  8788953 |  6740198 |     2507   6296 |        0 |        0
958.90/959.34	c  959s |      25 |  8806423 |  6753798 |     2507   6306 |        0 |        0
960.89/961.34	c  961s |      25 |  8823774 |  6767198 |     2507   6316 |        0 |        0
962.89/963.34	c  963s |      25 |  8842882 |  6781698 |     2507   6326 |        0 |        0
964.89/965.35	c  965s |      25 |  8862157 |  6796398 |     2507   6337 |        0 |        0
966.89/967.36	c  967s |      25 |  8881929 |  6811698 |     2507   6349 |        0 |        0
968.88/969.37	c  969s |      25 |  8899675 |  6824898 |     2507   6359 |        0 |        0
970.89/971.38	c  971s |      25 |  8917122 |  6838398 |     2507   6369 |        0 |        0
972.88/973.39	c  973s |      25 |  8934198 |  6851098 |     2507   6378 |        0 |        0
974.98/975.41	c  975s |      25 |  8951661 |  6864098 |     2507   6388 |        0 |        0
976.98/977.42	c  977s |      25 |  8968191 |  6876498 |     2507   6397 |        0 |        0
978.98/979.44	c  979s |      25 |  8986845 |  6889898 |     2507   6407 |        0 |        0
980.98/981.45	c  981s |      25 |  9001787 |  6902498 |     2507   6416 |        0 |        0
982.99/983.46	c  983s |      25 |  9019342 |  6916198 |     2507   6426 |        0 |        0
984.98/985.47	c  985s |      25 |  9035649 |  6929198 |     2507   6436 |        0 |        0
986.98/987.48	c  987s |      25 |  9053542 |  6942698 |     2507   6446 |        0 |        0
988.98/989.49	c  989s |      25 |  9069844 |  6955498 |     2507   6456 |        0 |        0
990.98/991.49	c  991s |      25 |  9087463 |  6968898 |     2507   6466 |        0 |        0
993.08/993.50	c  993s |      25 |  9106015 |  6982698 |     2507   6476 |        0 |        0
995.08/995.51	c  995s |      25 |  9123506 |  6996298 |     2507   6486 |        0 |        0
997.07/997.52	c  997s |      25 |  9142492 |  7010598 |     2507   6497 |        0 |        0
999.07/999.52	c  999s |      25 |  9159959 |  7024098 |     2507   6507 |        0 |        0
1001.07/1001.53	c 1001s |      25 |  9176114 |  7036898 |     2507   6516 |        0 |        0
1003.07/1003.54	c 1003s |      25 |  9192786 |  7049698 |     2507   6526 |        0 |        0
1005.09/1005.55	c 1005s |      25 |  9209815 |  7062798 |     2507   6535 |        0 |        0
1007.08/1007.55	c 1007s |      25 |  9226372 |  7075898 |     2507   6545 |        0 |        0
1009.08/1009.55	c 1009s |      25 |  9245263 |  7089898 |     2507   6555 |        0 |        0
1011.08/1011.55	c 1011s |      25 |  9263100 |  7103698 |     2507   6566 |        0 |        0
1013.08/1013.56	c 1013s |      25 |  9281933 |  7117698 |     2507   6576 |        0 |        0
1015.08/1015.57	c 1015s |      25 |  9298962 |  7131298 |     2507   6586 |        0 |        0
1017.09/1017.58	c 1017s |      25 |  9316532 |  7144998 |     2507   6596 |        0 |        0
1019.08/1019.58	c 1019s |      25 |  9331876 |  7156498 |     2507   6605 |        0 |        0
1021.18/1021.60	c 1021s |      25 |  9348688 |  7169298 |     2507   6615 |        0 |        0
1023.18/1023.62	c 1023s |      25 |  9362931 |  7180498 |     2507   6624 |        0 |        0
1025.18/1025.63	c 1025s |      25 |  9379016 |  7193298 |     2507   6633 |        0 |        0
1027.17/1027.63	c 1027s |      25 |  9393867 |  7204898 |     2507   6642 |        0 |        0
1029.18/1029.64	c 1029s |      25 |  9409164 |  7216798 |     2507   6651 |        0 |        0
1031.17/1031.64	c 1031s |      25 |  9424565 |  7228898 |     2507   6660 |        0 |        0
1033.17/1033.66	c 1033s |      25 |  9439463 |  7241098 |     2507   6669 |        0 |        0
1035.17/1035.66	c 1035s |      25 |  9456903 |  7254398 |     2507   6679 |        0 |        0
1037.17/1037.66	c 1037s |      25 |  9474425 |  7267998 |     2507   6689 |        0 |        0
1039.18/1039.66	c 1039s |      25 |  9491065 |  7280798 |     2507   6698 |        0 |        0
1041.17/1041.67	c 1041s |      25 |  9508143 |  7294098 |     2507   6708 |        0 |        0
1043.17/1043.67	c 1043s |      25 |  9524961 |  7306498 |     2507   6718 |        0 |        0
1045.17/1045.68	c 1045s |      25 |  9542443 |  7319798 |     2507   6727 |        0 |        0
1047.17/1047.68	c 1047s |      25 |  9558393 |  7332198 |     2507   6737 |        0 |        0
1049.17/1049.69	c 1049s |      25 |  9574681 |  7344598 |     2507   6746 |        0 |        0
1051.17/1051.70	c 1051s |      25 |  9591932 |  7357498 |     2507   6756 |        0 |        0
1053.27/1053.71	c 1053s |      25 |  9607420 |  7369498 |     2507   6765 |        0 |        0
1055.27/1055.72	c 1055s |      25 |  9623027 |  7381698 |     2507   6774 |        0 |        0
1057.27/1057.73	c 1057s |      25 |  9641187 |  7395298 |     2507   6784 |        0 |        0
1059.27/1059.74	c 1059s |      25 |  9657991 |  7408198 |     2507   6793 |        0 |        0
1061.27/1061.75	c 1061s |      25 |  9674888 |  7420998 |     2507   6803 |        0 |        0
1063.28/1063.76	c 1063s |      25 |  9693010 |  7434398 |     2507   6813 |        0 |        0
1065.27/1065.77	c 1065s |      25 |  9709935 |  7447298 |     2507   6823 |        0 |        0
1067.27/1067.78	c 1067s |      25 |  9727279 |  7460598 |     2507   6833 |        0 |        0
1069.27/1069.79	c 1069s |      25 |  9744676 |  7473598 |     2507   6842 |        0 |        0
1071.27/1071.79	c 1071s |      25 |  9762828 |  7486898 |     2507   6852 |        0 |        0
1073.37/1073.80	c 1073s |      25 |  9780732 |  7500598 |     2507   6862 |        0 |        0
1075.38/1075.81	c 1075s |      25 |  9800359 |  7515298 |     2507   6873 |        0 |        0
1077.37/1077.83	c 1077s |      25 |  9818292 |  7528598 |     2507   6883 |        0 |        0
1079.37/1079.83	c 1079s |      25 |  9837488 |  7542698 |     2507   6894 |        0 |        0
1081.37/1081.85	c 1081s |      25 |  9856551 |  7556498 |     2758   6903 |        0 |        0
1083.37/1083.85	c 1083s |      25 |  9874968 |  7569998 |     2758   6912 |        0 |        0
1085.37/1085.86	c 1085s |      25 |  9893384 |  7583998 |     2758   6922 |        0 |        0
1087.37/1087.87	c 1087s |      25 |  9910792 |  7597098 |     2758   6931 |        0 |        0
1087.47/1087.97	c 1087s |      26 |  9911590 |  7597752 |     2758   6931 |        0 |        0
1089.47/1089.99	c 1089s |      26 |  9926092 |  7609152 |     2758   6939 |        0 |        0
1091.57/1092.00	c 1091s |      26 |  9940082 |  7620552 |     2758   6947 |        0 |        0
1093.56/1094.01	c 1093s |      26 |  9955269 |  7632052 |     2758   6955 |        0 |        0
1095.56/1096.03	c 1096s |      26 |  9968969 |  7642752 |     2758   6962 |        0 |        0
1097.56/1098.04	c 1098s |      26 |  9982074 |  7653452 |     2758   6969 |        0 |        0
1099.57/1100.05	c 1100s |      26 |  9996768 |  7664452 |     2758   6977 |        0 |        0
1101.56/1102.05	c 1102s |      26 | 10010766 |  7675352 |     2758   6984 |        0 |        0
1103.56/1104.06	c 1104s |      26 | 10025494 |  7686452 |     2758   6992 |        0 |        0
1105.56/1106.08	c 1106s |      26 | 10040576 |  7697652 |     2758   7000 |        0 |        0
1107.56/1108.09	c 1108s |      26 | 10057377 |  7709752 |     2758   7008 |        0 |        0
1109.66/1110.10	c 1110s |      26 | 10073535 |  7722052 |     2758   7016 |        0 |        0
1111.67/1112.10	c 1112s |      26 | 10089378 |  7734152 |     2758   7024 |        0 |        0
1113.66/1114.12	c 1114s |      26 | 10105233 |  7746352 |     2758   7033 |        0 |        0
1115.66/1116.12	c 1116s |      26 | 10120756 |  7758152 |     2758   7040 |        0 |        0
1117.66/1118.14	c 1118s |      26 | 10136527 |  7769952 |     2758   7048 |        0 |        0
1119.66/1120.14	c 1120s |      26 | 10152774 |  7782152 |     2758   7057 |        0 |        0
1121.66/1122.15	c 1122s |      26 | 10168596 |  7794352 |     2758   7065 |        0 |        0
1123.66/1124.17	c 1124s |      26 | 10184348 |  7806352 |     2758   7073 |        0 |        0
1125.65/1126.17	c 1126s |      26 | 10200155 |  7818352 |     2758   7082 |        0 |        0
1127.65/1128.18	c 1128s |      26 | 10216085 |  7830452 |     2758   7090 |        0 |        0
1129.66/1130.19	c 1130s |      26 | 10231813 |  7842452 |     2758   7098 |        0 |        0
1131.76/1132.20	c 1132s |      26 | 10247337 |  7854252 |     2758   7106 |        0 |        0
1133.77/1134.21	c 1134s |      26 | 10262194 |  7865552 |     2758   7114 |        0 |        0
1135.76/1136.21	c 1136s |      26 | 10277716 |  7877352 |     2758   7122 |        0 |        0
1137.76/1138.24	c 1138s |      26 | 10293210 |  7888852 |     2758   7130 |        0 |        0
1139.76/1140.25	c 1140s |      26 | 10309219 |  7900752 |     2758   7138 |        0 |        0
1141.76/1142.26	c 1142s |      26 | 10326136 |  7913352 |     2758   7146 |        0 |        0
1143.76/1144.27	c 1144s |      26 | 10340708 |  7924652 |     2758   7154 |        0 |        0
1145.76/1146.27	c 1146s |      26 | 10356551 |  7936752 |     2758   7162 |        0 |        0
1147.76/1148.28	c 1148s |      26 | 10371581 |  7948252 |     2758   7170 |        0 |        0
1149.76/1150.28	c 1150s |      26 | 10386135 |  7959852 |     2758   7178 |        0 |        0
1151.86/1152.30	c 1152s |      26 | 10401664 |  7971652 |     2758   7186 |        0 |        0
1153.86/1154.30	c 1154s |      26 | 10415961 |  7983352 |     2758   7194 |        0 |        0
1155.85/1156.31	c 1156s |      26 | 10430729 |  7994752 |     2758   7202 |        0 |        0
1157.86/1158.32	c 1158s |      26 | 10445983 |  8006352 |     2758   7210 |        0 |        0
1159.85/1160.34	c 1160s |      26 | 10463411 |  8018852 |     2758   7218 |        0 |        0
1161.85/1162.34	c 1162s |      26 | 10480070 |  8031352 |     2758   7227 |        0 |        0
1163.85/1164.35	c 1164s |      26 | 10498128 |  8044352 |     2758   7236 |        0 |        0
1165.85/1166.36	c 1166s |      26 | 10515996 |  8057352 |     2758   7245 |        0 |        0
1167.86/1168.37	c 1168s |      26 | 10532290 |  8069352 |     2758   7253 |        0 |        0
1169.85/1170.38	c 1170s |      26 | 10548592 |  8082052 |     2758   7262 |        0 |        0
1171.85/1172.39	c 1172s |      26 | 10564088 |  8094152 |     2758   7270 |        0 |        0
1173.95/1174.40	c 1174s |      26 | 10581558 |  8106852 |     2758   7278 |        0 |        0
1175.95/1176.41	c 1176s |      26 | 10597205 |  8118852 |     2758   7287 |        0 |        0
1177.95/1178.43	c 1178s |      26 | 10614020 |  8131152 |     2758   7295 |        0 |        0
1179.96/1180.44	c 1180s |      26 | 10629994 |  8143652 |     2758   7304 |        0 |        0
1181.95/1182.45	c 1182s |      26 | 10646174 |  8155852 |     2758   7312 |        0 |        0
1183.95/1184.46	c 1184s |      26 | 10663713 |  8169152 |     2758   7321 |        0 |        0
1185.95/1186.47	c 1186s |      26 | 10681166 |  8182352 |     2758   7330 |        0 |        0
1187.95/1188.48	c 1188s |      26 | 10696815 |  8194552 |     2758   7338 |        0 |        0
1189.95/1190.48	c 1190s |      26 | 10714633 |  8208152 |     2758   7348 |        0 |        0
1191.95/1192.50	c 1192s |      26 | 10731948 |  8221652 |     2758   7357 |        0 |        0
1194.05/1194.51	c 1194s |      26 | 10750781 |  8235552 |     2758   7366 |        0 |        0
1196.05/1196.52	c 1196s |      26 | 10765874 |  8247052 |     2758   7374 |        0 |        0
1198.05/1198.53	c 1198s |      26 | 10782654 |  8259752 |     2758   7383 |        0 |        0
1200.05/1200.55	c 1200s |      26 | 10799831 |  8272652 |     2758   7392 |        0 |        0
1202.05/1202.57	c 1202s |      26 | 10817872 |  8285952 |     2758   7401 |        0 |        0
1204.05/1204.58	c 1204s |      26 | 10835292 |  8298952 |     2758   7409 |        0 |        0
1206.05/1206.58	c 1206s |      26 | 10850882 |  8310752 |     2758   7417 |        0 |        0
1208.05/1208.59	c 1208s |      26 | 10867810 |  8323152 |     2758   7426 |        0 |        0
1210.14/1210.60	c 1210s |      26 | 10886123 |  8336552 |     2758   7435 |        0 |        0
1212.14/1212.61	c 1212s |      26 | 10904454 |  8349652 |     2758   7444 |        0 |        0
1214.14/1214.64	c 1214s |      26 | 10920688 |  8362152 |     2758   7453 |        0 |        0
1216.15/1216.64	c 1216s |      26 | 10935878 |  8373452 |     2758   7460 |        0 |        0
1218.14/1218.65	c 1218s |      26 | 10952390 |  8386152 |     2758   7469 |        0 |        0
1220.14/1220.66	c 1220s |      26 | 10970135 |  8398952 |     2758   7478 |        0 |        0
1222.14/1222.66	c 1222s |      26 | 10988077 |  8412152 |     2758   7487 |        0 |        0
1224.14/1224.67	c 1224s |      26 | 11005627 |  8425052 |     2758   7495 |        0 |        0
1226.15/1226.68	c 1226s |      26 | 11022754 |  8437952 |     2758   7504 |        0 |        0
1228.14/1228.69	c 1228s |      26 | 11039666 |  8450452 |     2758   7513 |        0 |        0
1230.14/1230.69	c 1230s |      26 | 11056136 |  8463052 |     2758   7521 |        0 |        0
1232.25/1232.70	c 1232s |      26 | 11074090 |  8476452 |     2758   7531 |        0 |        0
1234.25/1234.72	c 1234s |      26 | 11092327 |  8489852 |     2758   7540 |        0 |        0
1236.25/1236.73	c 1236s |      26 | 11107565 |  8501552 |     2758   7548 |        0 |        0
1238.25/1238.74	c 1238s |      26 | 11122364 |  8513252 |     2758   7556 |        0 |        0
1240.25/1240.75	c 1240s |      26 | 11138205 |  8525352 |     2758   7564 |        0 |        0
1242.25/1242.77	c 1242s |      26 | 11153466 |  8537252 |     2758   7572 |        0 |        0
1244.24/1244.77	c 1244s |      26 | 11170419 |  8549652 |     2758   7580 |        0 |        0
1246.24/1246.79	c 1246s |      26 | 11189150 |  8563152 |     2758   7589 |        0 |        0
1248.24/1248.79	c 1248s |      26 | 11206986 |  8576852 |     2758   7599 |        0 |        0
1250.25/1250.79	c 1250s |      26 | 11224474 |  8589752 |     2758   7608 |        0 |        0
1252.34/1252.80	c 1252s |      26 | 11242822 |  8603152 |     2758   7617 |        0 |        0
1254.34/1254.80	c 1254s |      26 | 11261128 |  8616852 |     2758   7626 |        0 |        0
1256.34/1256.82	c 1256s |      26 | 11277833 |  8629652 |     2758   7635 |        0 |        0
1258.34/1258.83	c 1258s |      26 | 11293538 |  8642052 |     2758   7643 |        0 |        0
1260.34/1260.83	c 1260s |      26 | 11310237 |  8654852 |     2758   7652 |        0 |        0
1262.34/1262.85	c 1262s |      26 | 11329420 |  8669152 |     2758   7662 |        0 |        0
1264.34/1264.85	c 1264s |      26 | 11347243 |  8682652 |     2758   7671 |        0 |        0
1266.34/1266.87	c 1266s |      26 | 11364531 |  8695652 |     2758   7680 |        0 |        0
1268.34/1268.88	c 1268s |      26 | 11380274 |  8707952 |     2758   7689 |        0 |        0
1270.34/1270.89	c 1270s |      26 | 11395765 |  8719952 |     2758   7697 |        0 |        0
1272.44/1272.90	c 1272s |      26 | 11410843 |  8731652 |     2758   7705 |        0 |        0
1274.44/1274.91	c 1274s |      26 | 11426714 |  8743552 |     2758   7713 |        0 |        0
1276.43/1276.92	c 1276s |      26 | 11442646 |  8755352 |     2758   7721 |        0 |        0
1278.43/1278.92	c 1278s |      26 | 11459957 |  8768452 |     2758   7730 |        0 |        0
1280.43/1280.93	c 1280s |      26 | 11476929 |  8781352 |     2758   7739 |        0 |        0
1282.43/1282.94	c 1282s |      26 | 11494691 |  8794152 |     2758   7747 |        0 |        0
1284.44/1284.95	c 1284s |      26 | 11511578 |  8807452 |     2758   7756 |        0 |        0
1286.43/1286.96	c 1286s |      26 | 11527537 |  8819752 |     2758   7765 |        0 |        0
1288.43/1288.97	c 1288s |      26 | 11543789 |  8832352 |     2758   7773 |        0 |        0
1290.43/1290.97	c 1290s |      26 | 11558685 |  8844352 |     2758   7781 |        0 |        0
1292.44/1292.98	c 1292s |      26 | 11576553 |  8857352 |     2758   7790 |        0 |        0
1294.44/1294.99	c 1294s |      26 | 11591243 |  8869152 |     2758   7798 |        0 |        0
1296.44/1297.00	c 1296s |      26 | 11607996 |  8882052 |     2758   7807 |        0 |        0
1298.54/1299.01	c 1298s |      26 | 11625502 |  8894952 |     2758   7816 |        0 |        0
1300.54/1301.02	c 1300s |      26 | 11642643 |  8907752 |     2758   7825 |        0 |        0
1302.54/1303.03	c 1303s |      26 | 11660044 |  8920352 |     2758   7833 |        0 |        0
1304.54/1305.04	c 1305s |      26 | 11678304 |  8933552 |     2758   7842 |        0 |        0
1306.54/1307.06	c 1307s |      26 | 11694687 |  8945852 |     2758   7851 |        0 |        0
1308.54/1309.07	c 1309s |      26 | 11712647 |  8959352 |     2758   7860 |        0 |        0
1310.53/1311.08	c 1311s |      26 | 11727607 |  8971452 |     2758   7868 |        0 |        0
1312.63/1313.12	c 1313s |      26 | 11743204 |  8983752 |     2758   7876 |        0 |        0
1314.63/1315.12	c 1315s |      26 | 11759331 |  8995652 |     2758   7884 |        0 |        0
1316.63/1317.13	c 1317s |      26 | 11775662 |  9007952 |     2758   7893 |        0 |        0
1318.63/1319.14	c 1319s |      26 | 11792614 |  9020552 |     2758   7901 |        0 |        0
1320.64/1321.15	c 1321s |      26 | 11812201 |  9034252 |     2758   7911 |        0 |        0
1322.63/1323.15	c 1323s |      26 | 11829076 |  9046852 |     2758   7919 |        0 |        0
1324.63/1325.17	c 1325s |      26 | 11846374 |  9059952 |     2758   7928 |        0 |        0
1326.63/1327.17	c 1327s |      26 | 11865046 |  9073452 |     2758   7937 |        0 |        0
1328.63/1329.17	c 1329s |      26 | 11882470 |  9086352 |     2758   7946 |        0 |        0
1330.63/1331.18	c 1331s |      26 | 11899803 |  9099352 |     2758   7955 |        0 |        0
1332.62/1333.19	c 1333s |      26 | 11917662 |  9111952 |     2758   7964 |        0 |        0
1334.72/1335.20	c 1335s |      26 | 11933513 |  9123952 |     2758   7972 |        0 |        0
1336.72/1337.21	c 1337s |      26 | 11949654 |  9136052 |     2758   7980 |        0 |        0
1338.72/1339.22	c 1339s |      26 | 11965899 |  9148052 |     2758   7988 |        0 |        0
1340.72/1341.23	c 1341s |      26 | 11982136 |  9160252 |     2758   7996 |        0 |        0
1342.73/1343.24	c 1343s |      26 | 11999067 |  9172952 |     2758   8005 |        0 |        0
1344.72/1345.26	c 1345s |      26 | 12015089 |  9185152 |     2758   8013 |        0 |        0
1346.73/1347.27	c 1347s |      26 | 12029761 |  9197052 |     2758   8022 |        0 |        0
1348.73/1349.27	c 1349s |      26 | 12044225 |  9208152 |     2758   8029 |        0 |        0
1350.73/1351.27	c 1351s |      26 | 12059477 |  9219052 |     2758   8037 |        0 |        0
1352.73/1353.28	c 1353s |      26 | 12075273 |  9230752 |     2758   8045 |        0 |        0
1354.74/1355.29	c 1355s |      26 | 12091514 |  9243052 |     2758   8053 |        0 |        0
1356.73/1357.29	c 1357s |      26 | 12108704 |  9255952 |     2758   8062 |        0 |        0
1358.83/1359.30	c 1359s |      26 | 12124633 |  9267752 |     2758   8070 |        0 |        0
1360.83/1361.30	c 1361s |      26 | 12142106 |  9280152 |     2758   8078 |        0 |        0
1362.83/1363.31	c 1363s |      26 | 12159768 |  9292852 |     2758   8087 |        0 |        0
1364.83/1365.32	c 1365s |      26 | 12177782 |  9305952 |     2758   8096 |        0 |        0
1366.83/1367.34	c 1367s |      26 | 12193656 |  9318252 |     2758   8104 |        0 |        0
1368.82/1369.35	c 1369s |      26 | 12208678 |  9329952 |     2758   8112 |        0 |        0
1370.82/1371.35	c 1371s |      26 | 12226308 |  9343152 |     2758   8121 |        0 |        0
1372.82/1373.36	c 1373s |      26 | 12242817 |  9355552 |     2758   8130 |        0 |        0
1374.82/1375.37	c 1375s |      26 | 12259143 |  9367652 |     2758   8138 |        0 |        0
1376.83/1377.38	c 1377s |      26 | 12274898 |  9379752 |     2758   8146 |        0 |        0
1378.82/1379.39	c 1379s |      26 | 12291503 |  9392652 |     2758   8155 |        0 |        0
1380.92/1381.40	c 1381s |      26 | 12308042 |  9404852 |     2758   8163 |        0 |        0
1382.92/1383.41	c 1383s |      26 | 12325692 |  9417752 |     2758   8172 |        0 |        0
1384.92/1385.43	c 1385s |      26 | 12342893 |  9430552 |     2758   8181 |        0 |        0
1386.92/1387.43	c 1387s |      26 | 12360405 |  9443252 |     2758   8189 |        0 |        0
1388.93/1389.44	c 1389s |      26 | 12379187 |  9456552 |     2758   8198 |        0 |        0
1390.92/1391.45	c 1391s |      26 | 12392644 |  9467752 |     2758   8206 |        0 |        0
1392.92/1393.45	c 1393s |      26 | 12407910 |  9479552 |     2758   8214 |        0 |        0
1394.92/1395.46	c 1395s |      26 | 12424714 |  9491952 |     2758   8222 |        0 |        0
1396.92/1397.46	c 1397s |      26 | 12439415 |  9503252 |     2758   8230 |        0 |        0
1398.92/1399.47	c 1399s |      26 | 12455457 |  9515852 |     2758   8239 |        0 |        0
1400.92/1401.49	c 1401s |      26 | 12470915 |  9527752 |     2758   8247 |        0 |        0
1402.91/1403.49	c 1403s |      26 | 12488496 |  9540652 |     2758   8255 |        0 |        0
1405.01/1405.50	c 1405s |      26 | 12504253 |  9553052 |     2758   8264 |        0 |        0
1407.01/1407.51	c 1407s |      26 | 12523384 |  9566452 |     2758   8273 |        0 |        0
1409.01/1409.51	c 1409s |      26 | 12540510 |  9579252 |     2758   8282 |        0 |        0
1411.02/1411.52	c 1411s |      26 | 12557373 |  9591752 |     2758   8290 |        0 |        0
1413.03/1413.53	c 1413s |      26 | 12573527 |  9603752 |     2758   8298 |        0 |        0
1415.02/1415.54	c 1415s |      26 | 12589853 |  9616152 |     2758   8307 |        0 |        0
1417.02/1417.55	c 1417s |      26 | 12606094 |  9628452 |     2758   8315 |        0 |        0
1419.02/1419.55	c 1419s |      26 | 12622197 |  9640652 |     2758   8323 |        0 |        0
1421.02/1421.56	c 1421s |      26 | 12639525 |  9653452 |     2758   8332 |        0 |        0
1423.03/1423.56	c 1423s |      26 | 12654481 |  9665152 |     2758   8340 |        0 |        0
1425.02/1425.57	c 1425s |      26 | 12670083 |  9677252 |     2758   8348 |        0 |        0
1427.01/1427.59	c 1427s |      26 | 12686613 |  9689452 |     2758   8357 |        0 |        0
1429.01/1429.59	c 1429s |      26 | 12701666 |  9700952 |     2758   8364 |        0 |        0
1431.11/1431.60	c 1431s |      26 | 12718324 |  9713252 |     2758   8373 |        0 |        0
1433.11/1433.61	c 1433s |      26 | 12735798 |  9726652 |     2758   8382 |        0 |        0
1435.12/1435.63	c 1435s |      26 | 12750771 |  9738352 |     2758   8390 |        0 |        0
1437.11/1437.63	c 1437s |      26 | 12768072 |  9751252 |     2758   8399 |        0 |        0
1439.11/1439.64	c 1439s |      26 | 12785912 |  9764052 |     2758   8408 |        0 |        0
1441.11/1441.65	c 1441s |      26 | 12803418 |  9776952 |     2758   8416 |        0 |        0
1443.11/1443.65	c 1443s |      26 | 12820348 |  9790052 |     2758   8425 |        0 |        0
1445.11/1445.66	c 1445s |      26 | 12837443 |  9802452 |     2758   8434 |        0 |        0
1447.12/1447.68	c 1447s |      26 | 12854087 |  9814952 |     2758   8442 |        0 |        0
1449.21/1449.70	c 1449s |      26 | 12869818 |  9826852 |     2758   8451 |        0 |        0
1451.21/1451.71	c 1451s |      26 | 12886677 |  9839252 |     2758   8459 |        0 |        0
1453.21/1453.72	c 1453s |      26 | 12902074 |  9851752 |     2758   8467 |        0 |        0
1455.21/1455.74	c 1455s |      26 | 12917130 |  9863452 |     2758   8476 |        0 |        0
1457.21/1457.76	c 1457s |      26 | 12934247 |  9876152 |     2758   8484 |        0 |        0
1459.22/1459.77	c 1459s |      26 | 12949998 |  9888152 |     2758   8492 |        0 |        0
1461.21/1461.77	c 1461s |      26 | 12965695 |  9900052 |     2758   8501 |        0 |        0
1463.21/1463.78	c 1463s |      26 | 12981055 |  9912252 |     2758   8509 |        0 |        0
1465.31/1465.80	c 1465s |      26 | 12994608 |  9922852 |     2758   8516 |        0 |        0
1467.31/1467.80	c 1467s |      26 | 13010168 |  9934652 |     2758   8524 |        0 |        0
1469.31/1469.81	c 1469s |      26 | 13027188 |  9946952 |     2758   8533 |        0 |        0
1471.31/1471.82	c 1471s |      26 | 13043273 |  9959852 |     2758   8541 |        0 |        0
1473.31/1473.82	c 1473s |      26 | 13059205 |  9971752 |     2758   8549 |        0 |        0
1475.30/1475.82	c 1475s |      26 | 13077452 |  9984752 |     2758   8558 |        0 |        0
1477.30/1477.84	c 1477s |      26 | 13094694 |  9997952 |     2758   8567 |        0 |        0
1479.30/1479.84	c 1479s |      26 | 13112440 | 10011152 |     2758   8576 |        0 |        0
1481.31/1481.85	c 1481s |      26 | 13129293 | 10023852 |     2758   8585 |        0 |        0
1483.30/1483.87	c 1483s |      26 | 13148128 | 10037452 |     2758   8594 |        0 |        0
1485.30/1485.88	c 1485s |      26 | 13164767 | 10049752 |     2758   8603 |        0 |        0
1487.30/1487.89	c 1487s |      26 | 13181846 | 10062752 |     2758   8612 |        0 |        0
1489.40/1489.90	c 1489s |      26 | 13197611 | 10074952 |     2758   8620 |        0 |        0
1491.40/1491.92	c 1491s |      26 | 13215174 | 10088452 |     2758   8629 |        0 |        0
1493.41/1493.92	c 1493s |      26 | 13232436 | 10101452 |     2758   8638 |        0 |        0
1495.40/1495.92	c 1495s |      26 | 13250267 | 10114852 |     2758   8647 |        0 |        0
1497.40/1497.93	c 1497s |      26 | 13266744 | 10127252 |     2758   8656 |        0 |        0
1499.40/1499.94	c 1499s |      26 | 13283783 | 10140252 |     2758   8665 |        0 |        0
1501.41/1501.96	c 1501s |      26 | 13298718 | 10151852 |     2758   8673 |        0 |        0
1503.40/1503.97	c 1503s |      26 | 13315668 | 10164352 |     2758   8681 |        0 |        0
1505.41/1505.98	c 1505s |      26 | 13332225 | 10176552 |     2758   8690 |        0 |        0
1507.40/1507.99	c 1507s |      26 | 13347647 | 10188452 |     2758   8698 |        0 |        0
1509.50/1510.01	c 1509s |      26 | 13364233 | 10200952 |     2758   8706 |        0 |        0
1511.50/1512.01	c 1511s |      26 | 13381872 | 10214052 |     2758   8715 |        0 |        0
1513.50/1514.02	c 1513s |      26 | 13399647 | 10227252 |     2758   8724 |        0 |        0
1515.50/1516.02	c 1515s |      26 | 13417285 | 10240652 |     2758   8733 |        0 |        0
1517.51/1518.03	c 1518s |      26 | 13432915 | 10252952 |     2758   8742 |        0 |        0
1519.50/1520.04	c 1520s |      26 | 13449314 | 10265652 |     2758   8750 |        0 |        0
1521.50/1522.05	c 1522s |      26 | 13465750 | 10278052 |     2758   8759 |        0 |        0
1523.50/1524.06	c 1524s |      26 | 13483768 | 10291152 |     2758   8768 |        0 |        0
1525.50/1526.07	c 1526s |      26 | 13503261 | 10304752 |     2758   8777 |        0 |        0
1527.51/1528.07	c 1528s |      26 | 13519124 | 10316952 |     2758   8785 |        0 |        0
1529.50/1530.08	c 1530s |      26 | 13536479 | 10329352 |     2758   8794 |        0 |        0
1531.50/1532.09	c 1532s |      26 | 13552788 | 10341852 |     2758   8802 |        0 |        0
1533.50/1534.09	c 1534s |      26 | 13570028 | 10354552 |     2758   8811 |        0 |        0
1535.60/1536.11	c 1536s |      26 | 13585808 | 10366652 |     2758   8819 |        0 |        0
1537.60/1538.12	c 1538s |      26 | 13601639 | 10378552 |     2758   8827 |        0 |        0
1539.61/1540.13	c 1540s |      26 | 13619060 | 10391252 |     2758   8836 |        0 |        0
1541.60/1542.14	c 1542s |      26 | 13635921 | 10403452 |     2758   8844 |        0 |        0
1543.60/1544.15	c 1544s |      26 | 13652259 | 10415552 |     2758   8852 |        0 |        0
1545.60/1546.15	c 1546s |      26 | 13666256 | 10426652 |     2758   8860 |        0 |        0
1547.60/1548.16	c 1548s |      26 | 13681338 | 10438352 |     2758   8868 |        0 |        0
1549.60/1550.16	c 1550s |      26 | 13696522 | 10449952 |     2758   8876 |        0 |        0
1551.60/1552.16	c 1552s |      26 | 13712636 | 10461852 |     2758   8884 |        0 |        0
1553.59/1554.17	c 1554s |      26 | 13730699 | 10474752 |     2758   8893 |        0 |        0
1555.59/1556.18	c 1556s |      26 | 13746977 | 10487252 |     2758   8901 |        0 |        0
1557.59/1558.19	c 1558s |      26 | 13764319 | 10500052 |     2758   8910 |        0 |        0
1559.69/1560.20	c 1560s |      26 | 13780962 | 10512552 |     2758   8919 |        0 |        0
1561.69/1562.22	c 1562s |      26 | 13793731 | 10523052 |     2758   8926 |        0 |        0
1563.70/1564.23	c 1564s |      26 | 13807311 | 10533452 |     2758   8933 |        0 |        0
1565.69/1566.25	c 1566s |      26 | 13820780 | 10543552 |     2758   8940 |        0 |        0
1567.69/1568.25	c 1568s |      26 | 13836218 | 10555052 |     2758   8948 |        0 |        0
1569.69/1570.27	c 1570s |      26 | 13849637 | 10565552 |     2758   8955 |        0 |        0
1571.69/1572.28	c 1572s |      26 | 13863123 | 10575852 |     2758   8962 |        0 |        0
1573.70/1574.28	c 1574s |      26 | 13878264 | 10587352 |     2758   8970 |        0 |        0
1575.69/1576.29	c 1576s |      26 | 13892511 | 10598752 |     2758   8977 |        0 |        0
1577.69/1578.29	c 1578s |      26 | 13906545 | 10609752 |     2758   8985 |        0 |        0
1579.79/1580.30	c 1580s |      26 | 13920222 | 10620152 |     2758   8992 |        0 |        0
1581.79/1582.30	c 1582s |      26 | 13934541 | 10631352 |     2758   9000 |        0 |        0
1583.79/1584.30	c 1584s |      26 | 13948204 | 10642252 |     2758   9007 |        0 |        0
1585.80/1586.31	c 1586s |      26 | 13961357 | 10652752 |     2758   9014 |        0 |        0
1587.79/1588.32	c 1588s |      26 | 13976816 | 10664452 |     2758   9022 |        0 |        0
1589.79/1590.32	c 1590s |      26 | 13992113 | 10676552 |     2758   9031 |        0 |        0
1591.79/1592.32	c 1592s |      26 | 14008048 | 10688352 |     2758   9039 |        0 |        0
1593.78/1594.33	c 1594s |      26 | 14024484 | 10700752 |     2758   9047 |        0 |        0
1595.78/1596.34	c 1596s |      26 | 14039911 | 10712752 |     2758   9055 |        0 |        0
1597.79/1598.36	c 1598s |      26 | 14054610 | 10724452 |     2758   9063 |        0 |        0
1599.78/1600.37	c 1600s |      26 | 14069697 | 10736152 |     2758   9071 |        0 |        0
1601.78/1602.37	c 1602s |      26 | 14082562 | 10746452 |     2758   9078 |        0 |        0
1603.78/1604.39	c 1604s |      26 | 14097948 | 10758552 |     2758   9087 |        0 |        0
1605.88/1606.40	c 1606s |      26 | 14114856 | 10771152 |     2758   9095 |        0 |        0
1607.88/1608.41	c 1608s |      26 | 14131648 | 10783252 |     2758   9104 |        0 |        0
1609.89/1610.41	c 1610s |      26 | 14148963 | 10795752 |     2758   9112 |        0 |        0
1611.88/1612.43	c 1612s |      26 | 14164282 | 10808052 |     2758   9120 |        0 |        0
1613.89/1614.43	c 1614s |      26 | 14177108 | 10818352 |     2758   9127 |        0 |        0
1615.89/1616.43	c 1616s |      26 | 14190862 | 10829052 |     2758   9135 |        0 |        0
1617.89/1618.43	c 1618s |      26 | 14206324 | 10840352 |     2758   9142 |        0 |        0
1619.89/1620.44	c 1620s |      26 | 14221079 | 10851852 |     2758   9150 |        0 |        0
1621.89/1622.45	c 1622s |      26 | 14235555 | 10863252 |     2758   9158 |        0 |        0
1623.89/1624.45	c 1624s |      26 | 14250723 | 10874452 |     2758   9166 |        0 |        0
1625.89/1626.46	c 1626s |      26 | 14263732 | 10884752 |     2758   9173 |        0 |        0
1627.89/1628.47	c 1628s |      26 | 14280694 | 10897552 |     2758   9181 |        0 |        0
1629.89/1630.47	c 1630s |      26 | 14298235 | 10910552 |     2758   9190 |        0 |        0
1631.89/1632.49	c 1632s |      26 | 14314552 | 10922552 |     2758   9198 |        0 |        0
1633.88/1634.50	c 1634s |      26 | 14328736 | 10933452 |     2758   9206 |        0 |        0
1635.98/1636.51	c 1636s |      26 | 14346104 | 10946352 |     2758   9215 |        0 |        0
1637.98/1638.52	c 1638s |      26 | 14362509 | 10958652 |     2758   9223 |        0 |        0
1639.98/1640.52	c 1640s |      26 | 14378636 | 10970652 |     2758   9231 |        0 |        0
1641.98/1642.53	c 1642s |      26 | 14394428 | 10982352 |     2758   9239 |        0 |        0
1643.99/1644.54	c 1644s |      26 | 14411076 | 10995152 |     2758   9248 |        0 |        0
1645.98/1646.56	c 1646s |      26 | 14427836 | 11007752 |     2758   9256 |        0 |        0
1647.98/1648.57	c 1648s |      26 | 14445163 | 11020352 |     2758   9265 |        0 |        0
1649.98/1650.59	c 1650s |      26 | 14462344 | 11033252 |     2758   9274 |        0 |        0
1652.08/1652.60	c 1652s |      26 | 14477629 | 11045052 |     2758   9282 |        0 |        0
1654.08/1654.61	c 1654s |      26 | 14493400 | 11057152 |     2758   9290 |        0 |        0
1656.08/1656.61	c 1656s |      26 | 14509926 | 11069752 |     2758   9298 |        0 |        0
1658.08/1658.63	c 1658s |      26 | 14526491 | 11082552 |     2758   9307 |        0 |        0
1660.07/1660.64	c 1660s |      26 | 14542512 | 11094652 |     2758   9315 |        0 |        0
1662.07/1662.64	c 1662s |      26 | 14556067 | 11105652 |     2758   9323 |        0 |        0
1664.07/1664.65	c 1664s |      26 | 14573384 | 11118852 |     2758   9332 |        0 |        0
1666.08/1666.66	c 1666s |      26 | 14590464 | 11131352 |     2758   9340 |        0 |        0
1668.07/1668.67	c 1668s |      26 | 14608520 | 11144752 |     2758   9350 |        0 |        0
1670.07/1670.67	c 1670s |      26 | 14624685 | 11156852 |     2758   9358 |        0 |        0
1672.07/1672.67	c 1672s |      26 | 14644349 | 11170452 |     2758   9367 |        0 |        0
1674.08/1674.68	c 1674s |      26 | 14661459 | 11183352 |     2758   9376 |        0 |        0
1676.18/1676.70	c 1676s |      26 | 14675906 | 11194852 |     2758   9384 |        0 |        0
1678.18/1678.72	c 1678s |      26 | 14694048 | 11207752 |     2758   9393 |        0 |        0
1680.18/1680.72	c 1680s |      26 | 14712366 | 11221152 |     2758   9402 |        0 |        0
1682.18/1682.72	c 1682s |      26 | 14729922 | 11234452 |     2758   9411 |        0 |        0
1684.18/1684.72	c 1684s |      26 | 14746809 | 11247352 |     2758   9420 |        0 |        0
1686.18/1686.73	c 1686s |      26 | 14764332 | 11260752 |     2758   9429 |        0 |        0
1688.18/1688.73	c 1688s |      26 | 14780478 | 11272952 |     2758   9437 |        0 |        0
1690.18/1690.73	c 1690s |      26 | 14796965 | 11285752 |     2758   9446 |        0 |        0
1692.17/1692.74	c 1692s |      26 | 14814784 | 11298952 |     2758   9455 |        0 |        0
1694.17/1694.75	c 1694s |      26 | 14828946 | 11310352 |     2758   9463 |        0 |        0
1696.17/1696.76	c 1696s |      26 | 14845977 | 11322852 |     3034   9471 |        0 |        0
1698.17/1698.78	c 1698s |      26 | 14862679 | 11335452 |     3034   9478 |        0 |        0
1700.18/1700.78	c 1700s |      26 | 14879239 | 11347452 |     3034   9486 |        0 |        0
1702.17/1702.79	c 1702s |      26 | 14894145 | 11358952 |     3034   9493 |        0 |        0
1704.27/1704.80	c 1704s |      26 | 14907827 | 11369052 |     3034   9499 |        0 |        0
1706.27/1706.80	c 1706s |      26 | 14922205 | 11379552 |     3034   9506 |        0 |        0
1708.27/1708.80	c 1708s |      26 | 14935019 | 11389952 |     3034   9512 |        0 |        0
1709.57/1710.11	c 1710s |      27 | 14943672 | 11396733 |     3034   9517 |        0 |        0
1711.57/1712.12	c 1712s |      27 | 14958923 | 11408433 |     3034   9524 |        0 |        0
1713.57/1714.13	c 1714s |      27 | 14974294 | 11420433 |     3034   9531 |        0 |        0
1715.57/1716.14	c 1716s |      27 | 14989595 | 11432633 |     3034   9539 |        0 |        0
1717.57/1718.14	c 1718s |      27 | 15006064 | 11445233 |     3034   9547 |        0 |        0
1719.57/1720.16	c 1720s |      27 | 15022245 | 11457733 |     3034   9555 |        0 |        0
1721.57/1722.17	c 1722s |      27 | 15038792 | 11470333 |     3034   9562 |        0 |        0
1723.57/1724.19	c 1724s |      27 | 15053890 | 11481933 |     3034   9570 |        0 |        0
1725.67/1726.21	c 1726s |      27 | 15069499 | 11494433 |     3034   9577 |        0 |        0
1727.68/1728.21	c 1728s |      27 | 15086287 | 11507633 |     3034   9585 |        0 |        0
1729.67/1730.21	c 1730s |      27 | 15102275 | 11520033 |     3034   9593 |        0 |        0
1731.67/1732.22	c 1732s |      27 | 15118080 | 11532333 |     3034   9601 |        0 |        0
1733.67/1734.24	c 1734s |      27 | 15134299 | 11544733 |     3034   9609 |        0 |        0
1735.67/1736.26	c 1736s |      27 | 15150618 | 11557133 |     3034   9616 |        0 |        0
1737.67/1738.27	c 1738s |      27 | 15168196 | 11570233 |     3034   9624 |        0 |        0
1739.68/1740.27	c 1740s |      27 | 15184062 | 11582533 |     3034   9632 |        0 |        0
1741.67/1742.28	c 1742s |      27 | 15201611 | 11595533 |     3034   9640 |        0 |        0
1743.67/1744.28	c 1744s |      27 | 15219074 | 11609033 |     3034   9648 |        0 |        0
1745.67/1746.30	c 1746s |      27 | 15235192 | 11621333 |     3034   9656 |        0 |        0
1747.77/1748.30	c 1748s |      27 | 15252323 | 11634033 |     3034   9664 |        0 |        0
1749.77/1750.32	c 1750s |      27 | 15267876 | 11646333 |     3034   9672 |        0 |        0
1751.77/1752.33	c 1752s |      27 | 15282423 | 11657733 |     3034   9679 |        0 |        0
1753.77/1754.35	c 1754s |      27 | 15297619 | 11669033 |     3034   9686 |        0 |        0
1755.77/1756.35	c 1756s |      27 | 15314193 | 11681433 |     3034   9693 |        0 |        0
1757.76/1758.36	c 1758s |      27 | 15331497 | 11694133 |     3034   9701 |        0 |        0
1759.76/1760.36	c 1760s |      27 | 15348163 | 11706233 |     3034   9709 |        0 |        0
1761.77/1762.37	c 1762s |      27 | 15362259 | 11717333 |     3034   9716 |        0 |        0
1763.76/1764.38	c 1764s |      27 | 15377606 | 11729133 |     3034   9723 |        0 |        0
1765.76/1766.39	c 1766s |      27 | 15392978 | 11741233 |     3034   9731 |        0 |        0
1767.76/1768.39	c 1768s |      27 | 15409332 | 11753633 |     3034   9738 |        0 |        0
1769.76/1770.40	c 1770s |      27 | 15423483 | 11764833 |     3034   9745 |        0 |        0
1771.86/1772.41	c 1772s |      27 | 15440138 | 11777333 |     3034   9753 |        0 |        0
1773.87/1774.41	c 1774s |      27 | 15455615 | 11788933 |     3034   9760 |        0 |        0
1775.86/1776.43	c 1776s |      27 | 15470213 | 11800033 |     3034   9767 |        0 |        0
1777.86/1778.43	c 1778s |      27 | 15485966 | 11811533 |     3034   9774 |        0 |        0
1779.86/1780.44	c 1780s |      27 | 15500709 | 11823333 |     3034   9782 |        0 |        0
1781.86/1782.45	c 1782s |      27 | 15514333 | 11834033 |     3034   9788 |        0 |        0
1783.86/1784.45	c 1784s |      27 | 15529501 | 11845533 |     3034   9795 |        0 |        0
1785.87/1786.46	c 1786s |      27 | 15543096 | 11856533 |     3034   9802 |        0 |        0
1787.86/1788.47	c 1788s |      27 | 15558084 | 11868433 |     3034   9810 |        0 |        0
1789.86/1790.50	c 1790s |      27 | 15571894 | 11879533 |     3034   9816 |        0 |        0
1791.96/1792.52	c 1792s |      27 | 15587653 | 11891433 |     3034   9824 |        0 |        0
1793.96/1794.52	c 1794s |      27 | 15604449 | 11904033 |     3034   9832 |        0 |        0
1795.96/1796.52	c 1796s |      27 | 15620373 | 11916333 |     3034   9839 |        0 |        0
1797.96/1798.52	c 1798s |      27 | 15636322 | 11928433 |     3034   9847 |        0 |        0
1799.95/1800.54	c 1800s |      27 | 15651940 | 11940833 |     3034   9855 |        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-4121002-1467313178/watcher-4121002-1467313178 -o /tmp/evaluation-result-4121002-1467313178/solver-4121002-1467313178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16108 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121002-1467313178.opb 

pid=17193
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

[startup+0 s]
/proc/loadavg: 2.21 2.19 2.17 3/179 17196
/proc/meminfo: memFree=28001276/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=24328 CPUtime=0 cores=1,3,5,7
/proc/17196/stat : 17196 (runsolver) R 17193 16091 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 1 0 12278682 24911872 51 33554432000 4194304 4338465 140736900754800 140736900752336 272889830983 0 0 4096 24578 0 0 0 17 7 0 0 0 0 0
/proc/17196/statm: 6082 51 5 36 0 2655 0
Current StackSize limit: 10240 KiB


[startup+0.100178 s]
/proc/loadavg: 2.21 2.19 2.17 3/179 17196
/proc/meminfo: memFree=28001276/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 23685 0 0 0 6 2 0 0 20 0 4 0 12278682 1247350784 23525 33554432000 4194304 16246674 140735496247440 140735496246864 5675357 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/17196/statm: 304529 23533 708 2943 0 301423 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200384 s]
/proc/loadavg: 2.21 2.19 2.17 3/179 17196
/proc/meminfo: memFree=28001276/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 46471 0 0 0 12 6 0 0 20 0 4 0 12278682 1247350784 46310 33554432000 4194304 16246674 140735496247440 140735496230440 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 304529 46324 708 2943 0 301423 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300334 s]
/proc/loadavg: 2.21 2.19 2.17 3/179 17196
/proc/meminfo: memFree=28001276/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 69891 0 0 0 20 8 0 0 20 0 4 0 12278682 1247350784 69730 33554432000 4194304 16246674 140735496247440 140735496230440 5589077 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 304529 69747 708 2943 0 301423 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700308 s]
/proc/loadavg: 2.21 2.19 2.17 3/179 17196
/proc/meminfo: memFree=28001276/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 162886 0 0 0 49 19 0 0 20 0 4 0 12278682 1247350784 162725 33554432000 4194304 16246674 140735496247440 140735496230440 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 304529 162733 708 2943 0 301423 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.21 2.19 2.17 3/183 17200
/proc/meminfo: memFree=27020900/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 245630 0 0 0 116 32 0 0 20 0 4 0 12278682 1248399360 245449 33554432000 4194304 16246674 140735496247440 140735496246752 6021388 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 304785 245449 784 2943 0 301679 0
[pid=17196/tid=17198] ppid=17193 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1248399360 245449 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1248399360 245449 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1248399360 245449 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.21 2.19 2.17 3/183 17200
/proc/meminfo: memFree=26933976/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 267469 0 0 0 272 36 0 0 20 0 4 0 12278682 1337528320 267288 33554432000 4194304 16246674 140735496247440 140735496229312 13808416 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 326545 267288 786 2943 0 323439 0
[pid=17196/tid=17198] ppid=17193 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1337528320 267288 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1337528320 267288 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1337528320 267288 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.20 2.18 2.17 4/183 17200
/proc/meminfo: memFree=26932104/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1307204 CPUtime=6.28 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 267716 0 0 0 592 36 0 0 20 0 4 0 12278682 1338576896 267535 33554432000 4194304 16246674 140735496247440 140735496229312 13820120 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 326801 267535 786 2943 0 323695 0
[pid=17196/tid=17198] ppid=17193 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1338576896 267535 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1338576896 267535 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1338576896 267535 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7005 s]
/proc/loadavg: 2.18 2.18 2.16 3/183 17200
/proc/meminfo: memFree=26931028/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1308228 CPUtime=12.67 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 267971 0 0 0 1231 36 0 0 20 0 4 0 12278682 1339625472 267790 33554432000 4194304 16246674 140735496247440 140735496229312 6842957 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 327057 267790 786 2943 0 323951 0
[pid=17196/tid=17198] ppid=17193 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1339625472 267790 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1339625472 267790 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1339625472 267790 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.14 2.17 2.16 3/184 17203
/proc/meminfo: memFree=26932232/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1309252 CPUtime=25.47 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 268121 0 0 0 2510 37 0 0 20 0 4 0 12278682 1340674048 267940 33554432000 4194304 16246674 140735496247440 140735496230440 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 327313 267940 786 2943 0 324207 0
[pid=17196/tid=17198] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 267940 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 267940 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 267940 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.09 2.16 2.16 4/184 17203
/proc/meminfo: memFree=26931108/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1309252 CPUtime=51.07 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 268349 0 0 0 5069 38 0 0 20 0 4 0 12278682 1340674048 268159 33554432000 4194304 16246674 140735496247440 140735496229312 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 327313 268159 787 2943 0 324207 0
[pid=17196/tid=17198] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.04 2.13 2.15 3/184 17228
/proc/meminfo: memFree=26931616/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1309252 CPUtime=102.25 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 268368 0 0 0 10186 39 0 0 20 0 4 0 12278682 1340674048 268159 33554432000 4194304 16246674 140735496247440 140735496230440 5823723 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 327313 268159 787 2943 0 324207 0
[pid=17196/tid=17198] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1309252

[startup+162.3 s]
/proc/loadavg: 2.06 2.12 2.14 3/183 17229
/proc/meminfo: memFree=26931288/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1309252 CPUtime=162.23 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 268395 0 0 0 16182 41 0 0 20 0 4 0 12278682 1340674048 268159 33554432000 4194304 16246674 140735496247440 140735496230440 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 327313 268159 787 2943 0 324207 0
[pid=17196/tid=17198] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268159 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1309252

[startup+222.308 s]
/proc/loadavg: 2.12 2.12 2.14 3/183 17230
/proc/meminfo: memFree=26931752/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1309252 CPUtime=222.21 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 268421 0 0 0 22178 43 0 0 20 0 4 0 12278682 1340674048 268160 33554432000 4194304 16246674 140735496247440 140735496229312 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 327313 268160 788 2943 0 324207 0
[pid=17196/tid=17198] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268160 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268160 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1340674048 268160 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1309252


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

/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.15 2.19 2.18 3/183 17501
/proc/meminfo: memFree=26931768/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1314372 CPUtime=1301.84 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 130126 58 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496230440 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 328593 269441 789 2943 0 325487 0
[pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1314372

[startup+1362.3 s]
/proc/loadavg: 2.35 2.23 2.19 3/183 17551
/proc/meminfo: memFree=26930040/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1314372 CPUtime=1361.83 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 136124 59 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496229312 5823765 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 328593 269441 789 2943 0 325487 0
[pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1314372

[startup+1422.3 s]
/proc/loadavg: 2.27 2.22 2.18 3/183 17552
/proc/meminfo: memFree=26927160/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1314372 CPUtime=1421.83 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 142123 60 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496229312 5754712 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 328593 269441 789 2943 0 325487 0
[pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1314372

[startup+1482.3 s]
/proc/loadavg: 2.13 2.19 2.18 3/183 17553
/proc/meminfo: memFree=26927060/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1314372 CPUtime=1481.8 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 148120 60 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496230432 5672988 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 328593 269441 789 2943 0 325487 0
[pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1314372

[startup+1542.31 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 17554
/proc/meminfo: memFree=26926096/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1314372 CPUtime=1541.8 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 154119 61 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496229312 5827966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 328593 269441 789 2943 0 325487 0
[pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1314372

[startup+1602.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 17555
/proc/meminfo: memFree=26926116/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1314372 CPUtime=1601.78 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 160117 61 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496229312 5677716 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 328593 269441 789 2943 0 325487 0
[pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1314372

[startup+1662.3 s]
/proc/loadavg: 2.16 2.19 2.18 4/183 17557
/proc/meminfo: memFree=26925028/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1314372 CPUtime=1661.77 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270013 0 0 0 166115 62 0 0 20 0 4 0 12278682 1345916928 269441 33554432000 4194304 16246674 140735496247440 140735496229312 5722972 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 328593 269441 789 2943 0 325487 0
[pid=17196/tid=17198] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1345916928 269441 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1314372

[startup+1722.3 s]
/proc/loadavg: 2.24 2.20 2.18 3/183 17558
/proc/meminfo: memFree=26922084/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1317444 CPUtime=1721.77 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270557 0 0 0 172114 63 0 0 20 0 4 0 12278682 1349062656 269985 33554432000 4194304 16246674 140735496247440 140735496229312 5823863 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 329361 269985 789 2943 0 326255 0
[pid=17196/tid=17198] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 269985 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 269985 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 269985 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1317444

[startup+1782.3 s]
/proc/loadavg: 2.20 2.19 2.18 4/183 17559
/proc/meminfo: memFree=26920744/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1317444 CPUtime=1781.76 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270781 0 0 0 178112 64 0 0 20 0 4 0 12278682 1349062656 270209 33554432000 4194304 16246674 140735496247440 140735496229312 5672209 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 329361 270209 789 2943 0 326255 0
[pid=17196/tid=17198] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 270209 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 270209 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 270209 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1317444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.15 2.18 2.18 3/183 17560
/proc/meminfo: memFree=26920844/32872528 swapFree=1254912/1391860
[pid=17196] ppid=17193 vsize=1317444 CPUtime=1800.05 cores=1,3,5,7
/proc/17196/stat : 17196 (toysat) R 17193 17196 16091 0 -1 4202496 270781 0 0 0 179941 64 0 0 20 0 4 0 12278682 1349062656 270209 33554432000 4194304 16246674 140735496247440 140735496229312 12466597 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17196/statm: 329361 270209 789 2943 0 326255 0
[pid=17196/tid=17198] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17198/stat : 17198 (toysat) S 17193 17196 16091 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 270209 33554432000 4194304 16246674 140735496247440 140633476934896 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=17196/tid=17199] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17199/stat : 17199 (toysat) S 17193 17196 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 270209 33554432000 4194304 16246674 140735496247440 140633466445040 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=17196/tid=17200] ppid=17193 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/17196/task/17200/stat : 17200 (toysat) S 17193 17196 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12278683 1349062656 270209 33554432000 4194304 16246674 140735496247440 140633455971504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1317444

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17196 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.648901
maximum resident set size= 1080836
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270781
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= 404
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.43602 second user time and 9.94349 second system time

The end

Begin job on node119 at 2016-06-30 20:59:38
IDJOB=4121002
IDBENCH=110220
IDSOLVER=2542
FILE ID=node119/4121002-1467313178
RUNJOBID= node119-1467308805-16108
PBS_JOBID= 20005280
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-85.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121002-1467313178/watcher-4121002-1467313178 -o /tmp/evaluation-result-4121002-1467313178/solver-4121002-1467313178 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16108 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121002-1467313178.opb

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

MD5SUM BENCH= 97878ca4fcd9ab35d2b8b5c51c254217
RANDOM SEED=944717666

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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:        28001812 kB
Buffers:          201204 kB
Cached:          1431636 kB
SwapCached:            0 kB
Active:          1354292 kB
Inactive:        1375760 kB
Active(anon):    1093724 kB
Inactive(anon):     5936 kB
Active(file):     260568 kB
Inactive(file):  1369824 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16372 kB
Writeback:             0 kB
AnonPages:       2488620 kB
Mapped:            17088 kB
Shmem:               204 kB
Slab:             612312 kB
SReclaimable:      56208 kB
SUnreclaim:       556104 kB
KernelStack:        1464 kB
PageTables:         8524 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2621724 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1210368 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= 71700 MiB
End job on node119 at 2016-06-30 21:29:39