0.00/0.00	c 2016-06-30T22:01:25+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-4122530-1467316885.opb"]
0.00/0.01	c use --random-gen="3195732224 3072223364 3864908706 1582645954 3993804439 3576887521 3328085701 3659608079 3891178813 3276844677 3218170358 2156489687 3789674862 682248651 4153442133 2712673402 116235413 275915676 346315008 2636175668 1878154270 3329949782 2725031646 139614628 3182852256 1971309103 1761197367 2236531449 720317986 3073518081 3494496396 4047697758 2856374463 3077957312 1502777106 1649427759 1951927256 2576395206 1139073972 75748959 2692231717 2187073663 2683280626 2812392518 1766346576 2596615917 796193511 3292698933 3227922759 3475191623 25762165 3683445463 1822742996 1874029709 301551344 3746788519 3057707430 3590300015 984935957 2217766791 2401032730 3378232211 1333905560 1175602128 3790359253 779968037 2932994028 622922155 3655578739 1470376512 3650503558 1525781909 2861658894 639876739 269491689 4228160615 1025258521 313071226 1951766320 1301567074 3150276116 16031670 1482828403 3944291617 1478521159 4029006647 109546109 1334913233 2255089033 4136829341 4180606332 3218116785 709000990 3719092163 1802192662 2860730065 1246025271 636984055 825892208 3286117366 3268901017 3640455502 3317790899 3987752073 2413738576 2372523289 492232317 2573331544 134768774 3452663597 670046099 1569209339 224161016 934216065 1386872649 2170952919 1813431534 3447268199 3689373310 1405524620 4182629002 817906055 419051904 2513984288 788393795 3974407265 3769916014 521666962 1550171454 392116284 591185614 3744326502 2300086103 2433617850 1583133150 357147873 605628273 3275218995 2901498099 1452404929 2095089492 4233457198 759072167 4114235715 3824198563 791003246 482918535 209454019 3578118360 1772264939 4033565618 3264298838 4211762020 2496427521 3723687364 2769050967 3731252328 16461067 2714329252 2317730558 644367272 3767378860 798911984 3453430766 3832603047 2425366646 842855984 4287095542 3164721559 516337274 2881382258 2548931822 1057880923 3615175401 1017957356 4112774605 2746317229 2072523316 754899800 438684231 4077620578 313738381 3074792855 2870781296 795806243 950675346 1586815096 928830985 2339772320 3549303363 1858939124 224220801 2445097543 3494370667 978370222 1179334685 726087248 3941443450 736286383 105075713 2170042298 2919751495 1496640371 3044147481 622731461 3924220727 4164206873 2176080493 1469951308 3346258630 704475493 3532853845 1803025051 3243082726 142145080 2542523266 2532053147 3670512915 337884206 45747587 3318399131 3220978174 1177648188 3789107781 1695371109 71456287 3664420388 1483624733 1793006408 2594424255 1011411014 3448909585 473438638 421957793 1719912283 3014125630 786981228 2542574410 2794937419 730407841 2278406828 1786310620 2281678352 4107651656 232567215 1261677250 3346006773 2703326077 3443026137 818315068 4072980142 2132863648 1700890199 1313105161 3872892716 990458052 255 362436" option to reproduce the execution
0.00/0.01	c #vars 369
0.00/0.01	c #constraints 368
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 |      245      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      170 |      100 |      245      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      489 |      250 |      270      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      855 |      475 |      297      1 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1340 |      813 |      327      2 |        0 |        0
0.09/0.15	c  0.1s |       5 |     2082 |     1320 |      360      4 |        0 |        0
0.19/0.24	c  0.2s |       6 |     3279 |     2081 |      437      6 |        0 |        0
0.29/0.36	c  0.3s |       7 |     5062 |     3223 |      481      9 |        0 |        0
0.49/0.57	c  0.6s |       8 |     7349 |     4936 |      530     14 |        0 |        0
0.79/0.87	c  0.9s |       9 |    10828 |     7506 |      583     24 |        0 |        0
1.29/1.31	c  1.3s |      10 |    16270 |    11361 |      642     32 |        0 |        0
1.79/1.85	c  1.8s |      11 |    23421 |    17144 |      707     45 |        0 |        0
2.59/2.63	c  2.6s |      12 |    34970 |    25819 |      778     66 |        0 |        0
3.79/3.80	c  3.8s |      13 |    52990 |    38832 |      856     95 |        0 |        0
5.79/5.80	c  5.8s |      13 |    78237 |    58232 |      942    130 |        0 |        0
5.79/5.82	c  5.8s |      14 |    78405 |    58352 |      942    131 |        0 |        0
7.79/7.82	c  7.8s |      14 |   104810 |    76752 |      942    162 |        0 |        0
8.89/8.92	c  8.9s |      15 |   120395 |    87632 |     1037    182 |        0 |        0
10.89/10.93	c 10.9s |      15 |   145885 |   107032 |     1037    214 |        0 |        0
12.89/12.93	c 12.9s |      15 |   169239 |   125432 |     1037    242 |        0 |        0
13.49/13.60	c 13.6s |      16 |   177242 |   131552 |     1141    252 |        0 |        0
15.58/15.60	c 15.6s |      16 |   204390 |   151652 |     1141    283 |        0 |        0
17.59/17.61	c 17.6s |      16 |   229617 |   171052 |     1141    314 |        0 |        0
19.58/19.62	c 19.6s |      16 |   254858 |   189952 |     1141    343 |        0 |        0
20.28/20.38	c 20.4s |      17 |   264482 |   197432 |     1256    355 |        0 |        0
22.28/22.39	c 22.4s |      17 |   289401 |   214432 |     1256    379 |        0 |        0
24.38/24.40	c 24.4s |      17 |   313627 |   231532 |     1256    403 |        0 |        0
26.28/26.40	c 26.4s |      17 |   338827 |   248832 |     1256    428 |        0 |        0
28.38/28.41	c 28.4s |      17 |   361406 |   264432 |     1256    450 |        0 |        0
30.38/30.42	c 30.4s |      17 |   385076 |   281432 |     1256    474 |        0 |        0
32.08/32.15	c 32.1s |      18 |   406403 |   296252 |     1382    494 |        0 |        0
34.10/34.16	c 34.1s |      18 |   428199 |   313152 |     1382    515 |        0 |        0
36.09/36.17	c 36.1s |      18 |   451801 |   330752 |     1382    537 |        0 |        0
38.09/38.17	c 38.1s |      18 |   475562 |   348352 |     1382    558 |        0 |        0
40.09/40.17	c 40.2s |      18 |   497889 |   365652 |     1382    580 |        0 |        0
42.09/42.18	c 42.2s |      18 |   522048 |   383752 |     1382    603 |        0 |        0
44.09/44.18	c 44.2s |      18 |   545295 |   401052 |     1382    624 |        0 |        0
46.09/46.19	c 46.2s |      18 |   567838 |   418252 |     1382    646 |        0 |        0
48.08/48.19	c 48.2s |      18 |   590476 |   435152 |     1382    667 |        0 |        0
49.28/49.35	c 49.3s |      19 |   602466 |   444482 |     1521    678 |        0 |        0
51.28/51.36	c 51.3s |      19 |   624462 |   460482 |     1521    697 |        0 |        0
53.28/53.37	c 53.3s |      19 |   644772 |   476182 |     1521    714 |        0 |        0
55.28/55.38	c 55.4s |      19 |   665402 |   491882 |     1521    733 |        0 |        0
57.29/57.38	c 57.4s |      19 |   684556 |   506582 |     1521    750 |        0 |        0
59.28/59.38	c 59.4s |      19 |   703164 |   520882 |     1521    767 |        0 |        0
61.28/61.38	c 61.4s |      19 |   724061 |   536082 |     1521    785 |        0 |        0
63.28/63.39	c 63.4s |      19 |   746642 |   552782 |     1521    804 |        0 |        0
65.28/65.39	c 65.4s |      19 |   768968 |   568982 |     1521    823 |        0 |        0
67.38/67.40	c 67.4s |      19 |   790687 |   585182 |     1521    842 |        0 |        0
69.39/69.41	c 69.4s |      19 |   813277 |   601382 |     1521    861 |        0 |        0
71.38/71.41	c 71.4s |      19 |   836725 |   618182 |     1521    880 |        0 |        0
73.38/73.42	c 73.4s |      19 |   859939 |   634882 |     1521    900 |        0 |        0
75.38/75.44	c 75.4s |      19 |   879156 |   650382 |     1521    918 |        0 |        0
77.38/77.44	c 77.4s |      19 |   899485 |   665582 |     1674    935 |        0 |        0
77.58/77.63	c 77.6s |      20 |   901074 |   666827 |     1674    936 |        0 |        0
79.57/79.63	c 79.6s |      20 |   921225 |   682727 |     1674    953 |        0 |        0
81.57/81.64	c 81.6s |      20 |   941408 |   698327 |     1674    969 |        0 |        0
83.58/83.65	c 83.6s |      20 |   962748 |   714427 |     1674    986 |        0 |        0
85.57/85.65	c 85.6s |      20 |   982773 |   730027 |     1674   1003 |        0 |        0
87.57/87.66	c 87.6s |      20 |  1004982 |   746627 |     1674   1020 |        0 |        0
89.57/89.67	c 89.7s |      20 |  1026336 |   763227 |     1674   1037 |        0 |        0
91.57/91.69	c 91.7s |      20 |  1048508 |   780227 |     1674   1056 |        0 |        0
93.59/93.69	c 93.7s |      20 |  1069947 |   796127 |     1674   1072 |        0 |        0
95.58/95.70	c 95.7s |      20 |  1090964 |   812027 |     1674   1089 |        0 |        0
97.68/97.70	c 97.7s |      20 |  1109994 |   827127 |     1674   1105 |        0 |        0
99.68/99.71	c 99.7s |      20 |  1129341 |   842327 |     1674   1121 |        0 |        0
101.68/101.72	c  101s |      20 |  1149473 |   857827 |     1674   1138 |        0 |        0
103.68/103.72	c  103s |      20 |  1170876 |   873827 |     1674   1155 |        0 |        0
105.68/105.73	c  105s |      20 |  1192692 |   889727 |     1674   1171 |        0 |        0
107.68/107.74	c  107s |      20 |  1212936 |   904727 |     1674   1187 |        0 |        0
109.68/109.75	c  109s |      20 |  1234281 |   920827 |     1674   1204 |        0 |        0
111.68/111.75	c  111s |      20 |  1255514 |   936527 |     1674   1221 |        0 |        0
113.67/113.76	c  113s |      20 |  1275887 |   952027 |     1674   1238 |        0 |        0
115.67/115.76	c  115s |      20 |  1296575 |   967627 |     1674   1254 |        0 |        0
117.68/117.77	c  117s |      20 |  1317959 |   983427 |     1674   1271 |        0 |        0
119.67/119.78	c  119s |      20 |  1339339 |   999227 |     1842   1287 |        0 |        0
119.88/119.94	c  119s |      21 |  1340759 |  1000345 |     1842   1288 |        0 |        0
121.87/121.95	c  121s |      21 |  1361691 |  1016145 |     1842   1304 |        0 |        0
123.87/123.95	c  123s |      21 |  1383547 |  1032645 |     1842   1319 |        0 |        0
125.87/125.97	c  125s |      21 |  1402968 |  1047845 |     1842   1335 |        0 |        0
127.87/127.97	c  127s |      21 |  1423445 |  1063445 |     1842   1350 |        0 |        0
129.88/129.97	c  129s |      21 |  1443509 |  1078445 |     1842   1364 |        0 |        0
131.87/131.98	c  131s |      21 |  1462468 |  1093545 |     1842   1379 |        0 |        0
133.87/133.99	c  133s |      21 |  1483643 |  1109745 |     1842   1395 |        0 |        0
135.86/135.99	c  135s |      21 |  1505434 |  1126045 |     1842   1410 |        0 |        0
137.87/137.99	c  137s |      21 |  1524714 |  1141045 |     1842   1425 |        0 |        0
139.97/140.00	c  139s |      21 |  1545017 |  1156245 |     1842   1440 |        0 |        0
141.98/142.01	c  141s |      21 |  1566033 |  1172045 |     1842   1455 |        0 |        0
143.97/144.02	c  144s |      21 |  1587688 |  1188445 |     1842   1472 |        0 |        0
145.97/146.02	c  146s |      21 |  1609351 |  1204645 |     1842   1487 |        0 |        0
147.97/148.03	c  148s |      21 |  1629178 |  1219845 |     1842   1502 |        0 |        0
149.97/150.04	c  150s |      21 |  1651522 |  1236045 |     1842   1518 |        0 |        0
151.97/152.05	c  152s |      21 |  1672385 |  1251745 |     1842   1534 |        0 |        0
153.97/154.05	c  154s |      21 |  1693679 |  1267745 |     1842   1550 |        0 |        0
155.97/156.06	c  156s |      21 |  1716213 |  1284345 |     1842   1567 |        0 |        0
157.97/158.06	c  158s |      21 |  1737313 |  1300345 |     1842   1583 |        0 |        0
159.96/160.07	c  160s |      21 |  1758713 |  1316645 |     1842   1599 |        0 |        0
161.96/162.08	c  162s |      21 |  1777843 |  1331645 |     1842   1614 |        0 |        0
163.97/164.08	c  164s |      21 |  1798757 |  1347845 |     1842   1630 |        0 |        0
165.96/166.10	c  166s |      21 |  1819571 |  1363245 |     1842   1645 |        0 |        0
168.06/168.11	c  168s |      21 |  1836446 |  1377045 |     1842   1659 |        0 |        0
170.06/170.12	c  170s |      21 |  1855847 |  1391945 |     1842   1673 |        0 |        0
172.06/172.12	c  172s |      21 |  1874746 |  1407145 |     1842   1688 |        0 |        0
174.06/174.12	c  174s |      21 |  1896044 |  1423245 |     1842   1704 |        0 |        0
176.07/176.13	c  176s |      21 |  1917365 |  1439145 |     1842   1720 |        0 |        0
178.06/178.13	c  178s |      21 |  1935694 |  1453745 |     1842   1734 |        0 |        0
180.07/180.14	c  180s |      21 |  1953659 |  1468145 |     1842   1748 |        0 |        0
182.07/182.15	c  182s |      21 |  1971752 |  1482145 |     1842   1762 |        0 |        0
184.07/184.15	c  184s |      21 |  1990262 |  1496445 |     2027   1776 |        0 |        0
184.57/184.70	c  184s |      22 |  1995229 |  1500622 |     2027   1779 |        0 |        0
186.66/186.70	c  186s |      22 |  2016009 |  1515922 |     2027   1793 |        0 |        0
188.66/188.71	c  188s |      22 |  2036293 |  1531322 |     2027   1806 |        0 |        0
190.66/190.72	c  190s |      22 |  2055046 |  1545322 |     2027   1819 |        0 |        0
192.66/192.74	c  192s |      22 |  2076051 |  1560622 |     2027   1832 |        0 |        0
194.67/194.74	c  194s |      22 |  2096339 |  1575822 |     2027   1845 |        0 |        0
196.66/196.74	c  196s |      22 |  2115632 |  1590622 |     2027   1858 |        0 |        0
198.66/198.74	c  198s |      22 |  2135655 |  1606022 |     2027   1872 |        0 |        0
200.66/200.74	c  200s |      22 |  2154896 |  1620922 |     2027   1885 |        0 |        0
202.66/202.75	c  202s |      22 |  2173868 |  1635722 |     2027   1898 |        0 |        0
204.66/204.77	c  204s |      22 |  2192504 |  1650422 |     2027   1911 |        0 |        0
206.66/206.77	c  206s |      22 |  2213173 |  1665422 |     2027   1924 |        0 |        0
208.66/208.78	c  208s |      22 |  2232288 |  1679622 |     2027   1937 |        0 |        0
210.66/210.78	c  210s |      22 |  2251288 |  1693722 |     2027   1949 |        0 |        0
212.76/212.80	c  212s |      22 |  2271200 |  1708422 |     2027   1962 |        0 |        0
214.76/214.80	c  214s |      22 |  2289111 |  1722222 |     2027   1974 |        0 |        0
216.76/216.81	c  216s |      22 |  2309478 |  1737122 |     2027   1988 |        0 |        0
218.76/218.81	c  218s |      22 |  2328171 |  1751322 |     2027   2000 |        0 |        0
220.76/220.81	c  220s |      22 |  2345851 |  1765222 |     2027   2013 |        0 |        0
222.76/222.82	c  222s |      22 |  2365362 |  1779522 |     2027   2025 |        0 |        0
224.75/224.82	c  224s |      22 |  2384480 |  1794022 |     2027   2038 |        0 |        0
226.75/226.82	c  226s |      22 |  2403810 |  1808422 |     2027   2051 |        0 |        0
228.76/228.83	c  228s |      22 |  2425708 |  1824422 |     2027   2065 |        0 |        0
230.75/230.83	c  230s |      22 |  2444982 |  1839222 |     2027   2078 |        0 |        0
232.75/232.84	c  232s |      22 |  2464120 |  1853822 |     2027   2092 |        0 |        0
234.75/234.85	c  234s |      22 |  2483751 |  1868722 |     2027   2105 |        0 |        0
236.75/236.85	c  236s |      22 |  2504772 |  1884022 |     2027   2119 |        0 |        0
238.76/238.87	c  238s |      22 |  2525887 |  1899522 |     2027   2134 |        0 |        0
240.75/240.87	c  240s |      22 |  2545872 |  1914222 |     2027   2147 |        0 |        0
242.75/242.88	c  242s |      22 |  2566273 |  1929722 |     2027   2161 |        0 |        0
244.75/244.89	c  244s |      22 |  2585298 |  1944322 |     2027   2175 |        0 |        0
246.75/246.89	c  246s |      22 |  2605781 |  1959422 |     2027   2188 |        0 |        0
248.85/248.90	c  248s |      22 |  2627722 |  1975222 |     2027   2203 |        0 |        0
250.76/250.90	c  250s |      22 |  2648404 |  1990422 |     2027   2217 |        0 |        0
252.85/252.91	c  252s |      22 |  2668792 |  2005822 |     2027   2231 |        0 |        0
254.85/254.91	c  254s |      22 |  2692089 |  2022122 |     2027   2246 |        0 |        0
256.85/256.91	c  256s |      22 |  2712114 |  2037122 |     2027   2260 |        0 |        0
258.85/258.91	c  258s |      22 |  2733649 |  2053022 |     2027   2274 |        0 |        0
260.85/260.92	c  260s |      22 |  2753953 |  2068022 |     2027   2288 |        0 |        0
262.85/262.93	c  262s |      22 |  2774331 |  2083222 |     2027   2302 |        0 |        0
264.84/264.94	c  264s |      22 |  2794312 |  2098222 |     2027   2316 |        0 |        0
266.84/266.95	c  266s |      22 |  2815069 |  2113622 |     2027   2330 |        0 |        0
268.84/268.95	c  268s |      22 |  2835194 |  2128922 |     2027   2344 |        0 |        0
270.84/270.95	c  270s |      22 |  2855401 |  2144022 |     2027   2358 |        0 |        0
272.85/272.96	c  272s |      22 |  2876225 |  2159422 |     2027   2372 |        0 |        0
274.85/274.96	c  274s |      22 |  2897153 |  2175222 |     2027   2386 |        0 |        0
276.85/276.96	c  276s |      22 |  2916432 |  2189922 |     2027   2400 |        0 |        0
278.85/278.97	c  278s |      22 |  2936117 |  2204622 |     2027   2414 |        0 |        0
280.85/280.99	c  280s |      22 |  2957259 |  2220322 |     2027   2428 |        0 |        0
282.95/283.00	c  282s |      22 |  2976356 |  2235022 |     2230   2441 |        0 |        0
284.96/285.01	c  284s |      22 |  2996391 |  2250222 |     2230   2453 |        0 |        0
285.05/285.12	c  285s |      23 |  2997515 |  2251038 |     2230   2454 |        0 |        0
287.06/287.13	c  287s |      23 |  3015123 |  2264738 |     2230   2465 |        0 |        0
289.05/289.14	c  289s |      23 |  3032775 |  2278438 |     2230   2476 |        0 |        0
291.04/291.14	c  291s |      23 |  3052339 |  2292938 |     2230   2488 |        0 |        0
293.04/293.15	c  293s |      23 |  3070265 |  2306738 |     2230   2499 |        0 |        0
295.04/295.15	c  295s |      23 |  3087804 |  2320538 |     2230   2511 |        0 |        0
297.05/297.16	c  297s |      23 |  3107956 |  2335538 |     2230   2523 |        0 |        0
299.04/299.17	c  299s |      23 |  3128806 |  2351038 |     2230   2536 |        0 |        0
301.04/301.18	c  301s |      23 |  3148814 |  2366238 |     2230   2549 |        0 |        0
303.04/303.19	c  303s |      23 |  3169134 |  2381438 |     2230   2561 |        0 |        0
305.14/305.20	c  305s |      23 |  3190926 |  2397338 |     2230   2575 |        0 |        0
307.14/307.22	c  307s |      23 |  3209017 |  2411638 |     2230   2586 |        0 |        0
309.14/309.22	c  309s |      23 |  3229690 |  2427138 |     2230   2599 |        0 |        0
311.13/311.24	c  311s |      23 |  3250459 |  2442238 |     2230   2612 |        0 |        0
313.13/313.24	c  313s |      23 |  3271131 |  2457638 |     2230   2625 |        0 |        0
315.13/315.26	c  315s |      23 |  3290770 |  2472538 |     2230   2637 |        0 |        0
317.13/317.27	c  317s |      23 |  3311524 |  2487838 |     2230   2650 |        0 |        0
319.13/319.28	c  319s |      23 |  3330611 |  2502138 |     2230   2662 |        0 |        0
321.13/321.28	c  321s |      23 |  3350553 |  2517038 |     2230   2675 |        0 |        0
323.12/323.28	c  323s |      23 |  3369225 |  2530938 |     2230   2686 |        0 |        0
325.12/325.29	c  325s |      23 |  3387572 |  2544538 |     2230   2698 |        0 |        0
327.12/327.29	c  327s |      23 |  3405119 |  2558138 |     2230   2709 |        0 |        0
329.22/329.30	c  329s |      23 |  3424468 |  2572538 |     2230   2721 |        0 |        0
331.22/331.30	c  331s |      23 |  3441119 |  2585938 |     2230   2732 |        0 |        0
333.23/333.31	c  333s |      23 |  3458077 |  2599338 |     2230   2743 |        0 |        0
335.22/335.32	c  335s |      23 |  3475019 |  2612838 |     2230   2755 |        0 |        0
337.22/337.33	c  337s |      23 |  3493988 |  2626738 |     2230   2766 |        0 |        0
339.22/339.33	c  339s |      23 |  3512706 |  2641038 |     2230   2778 |        0 |        0
341.22/341.34	c  341s |      23 |  3528181 |  2653638 |     2230   2789 |        0 |        0
343.23/343.34	c  343s |      23 |  3545289 |  2666738 |     2230   2800 |        0 |        0
345.22/345.35	c  345s |      23 |  3562590 |  2679638 |     2230   2811 |        0 |        0
347.22/347.36	c  347s |      23 |  3580436 |  2693638 |     2230   2822 |        0 |        0
349.22/349.37	c  349s |      23 |  3599562 |  2706638 |     2230   2833 |        0 |        0
351.22/351.37	c  351s |      23 |  3617701 |  2720038 |     2230   2844 |        0 |        0
353.22/353.38	c  353s |      23 |  3636796 |  2734238 |     2230   2856 |        0 |        0
355.23/355.38	c  355s |      23 |  3654440 |  2747838 |     2230   2868 |        0 |        0
357.22/357.39	c  357s |      23 |  3671685 |  2760938 |     2230   2879 |        0 |        0
359.21/359.39	c  359s |      23 |  3689893 |  2774738 |     2230   2890 |        0 |        0
361.21/361.39	c  361s |      23 |  3708743 |  2788538 |     2230   2902 |        0 |        0
363.31/363.40	c  363s |      23 |  3728267 |  2803338 |     2230   2914 |        0 |        0
365.31/365.41	c  365s |      23 |  3747052 |  2817838 |     2230   2927 |        0 |        0
367.32/367.41	c  367s |      23 |  3765749 |  2831938 |     2230   2938 |        0 |        0
369.31/369.41	c  369s |      23 |  3785380 |  2846738 |     2230   2951 |        0 |        0
371.31/371.42	c  371s |      23 |  3804371 |  2860938 |     2230   2962 |        0 |        0
373.31/373.43	c  373s |      23 |  3821501 |  2874438 |     2230   2974 |        0 |        0
375.30/375.43	c  375s |      23 |  3839487 |  2888538 |     2230   2985 |        0 |        0
377.31/377.43	c  377s |      23 |  3858434 |  2903038 |     2230   2998 |        0 |        0
379.31/379.44	c  379s |      23 |  3878413 |  2917838 |     2230   3010 |        0 |        0
381.31/381.44	c  381s |      23 |  3896663 |  2931938 |     2230   3022 |        0 |        0
383.31/383.44	c  383s |      23 |  3914763 |  2946038 |     2230   3034 |        0 |        0
385.31/385.45	c  385s |      23 |  3933781 |  2959938 |     2230   3045 |        0 |        0
387.31/387.46	c  387s |      23 |  3954633 |  2975138 |     2230   3058 |        0 |        0
389.31/389.46	c  389s |      23 |  3974123 |  2989738 |     2230   3070 |        0 |        0
391.30/391.47	c  391s |      23 |  3992852 |  3003938 |     2230   3082 |        0 |        0
393.30/393.48	c  393s |      23 |  4012630 |  3018738 |     2230   3095 |        0 |        0
395.30/395.49	c  395s |      23 |  4031359 |  3033038 |     2230   3107 |        0 |        0
397.40/397.50	c  397s |      23 |  4048332 |  3046438 |     2230   3118 |        0 |        0
399.40/399.51	c  399s |      23 |  4065689 |  3059638 |     2230   3129 |        0 |        0
401.40/401.52	c  401s |      23 |  4082646 |  3072438 |     2230   3140 |        0 |        0
403.40/403.53	c  403s |      23 |  4100470 |  3085638 |     2230   3151 |        0 |        0
405.40/405.54	c  405s |      23 |  4117610 |  3098738 |     2230   3162 |        0 |        0
407.40/407.55	c  407s |      23 |  4134369 |  3111138 |     2230   3172 |        0 |        0
409.39/409.55	c  409s |      23 |  4152444 |  3124638 |     2230   3183 |        0 |        0
411.40/411.56	c  411s |      23 |  4169234 |  3137538 |     2230   3194 |        0 |        0
413.39/413.58	c  413s |      23 |  4188185 |  3151638 |     2230   3206 |        0 |        0
415.39/415.59	c  415s |      23 |  4207610 |  3166538 |     2230   3218 |        0 |        0
417.39/417.59	c  417s |      23 |  4224665 |  3179538 |     2230   3229 |        0 |        0
419.49/419.60	c  419s |      23 |  4241880 |  3192238 |     2230   3240 |        0 |        0
421.48/421.61	c  421s |      23 |  4258400 |  3205138 |     2230   3251 |        0 |        0
423.49/423.63	c  423s |      23 |  4274862 |  3218038 |     2230   3262 |        0 |        0
425.48/425.64	c  425s |      23 |  4292175 |  3230838 |     2230   3272 |        0 |        0
427.48/427.65	c  427s |      23 |  4310557 |  3244638 |     2230   3284 |        0 |        0
429.48/429.66	c  429s |      23 |  4330658 |  3259538 |     2230   3296 |        0 |        0
431.48/431.67	c  431s |      23 |  4349387 |  3273838 |     2230   3308 |        0 |        0
433.48/433.67	c  433s |      23 |  4368054 |  3287738 |     2230   3320 |        0 |        0
435.49/435.70	c  435s |      23 |  4384233 |  3300238 |     2230   3331 |        0 |        0
437.58/437.70	c  437s |      23 |  4400213 |  3312738 |     2230   3341 |        0 |        0
439.57/439.71	c  439s |      23 |  4416518 |  3325238 |     2230   3352 |        0 |        0
441.57/441.72	c  441s |      23 |  4434786 |  3338838 |     2230   3363 |        0 |        0
443.57/443.72	c  443s |      23 |  4451668 |  3352538 |     2453   3374 |        0 |        0
445.58/445.72	c  445s |      23 |  4468346 |  3365638 |     2453   3384 |        0 |        0
447.28/447.40	c  447s |      24 |  4482574 |  3376662 |     2453   3393 |        0 |        0
449.28/449.41	c  449s |      24 |  4498716 |  3389562 |     2453   3402 |        0 |        0
451.28/451.41	c  451s |      24 |  4515346 |  3402462 |     2453   3412 |        0 |        0
453.28/453.42	c  453s |      24 |  4532081 |  3415662 |     2453   3422 |        0 |        0
455.28/455.42	c  455s |      24 |  4549382 |  3429262 |     2453   3432 |        0 |        0
457.28/457.43	c  457s |      24 |  4567896 |  3443562 |     2453   3443 |        0 |        0
459.27/459.44	c  459s |      24 |  4587013 |  3458062 |     2453   3454 |        0 |        0
461.27/461.44	c  461s |      24 |  4603616 |  3471562 |     2453   3464 |        0 |        0
463.27/463.44	c  463s |      24 |  4619796 |  3484162 |     2453   3473 |        0 |        0
465.28/465.45	c  465s |      24 |  4636400 |  3496962 |     2453   3483 |        0 |        0
467.27/467.46	c  467s |      24 |  4652763 |  3509762 |     2453   3492 |        0 |        0
469.26/469.48	c  469s |      24 |  4670087 |  3523362 |     2453   3503 |        0 |        0
471.26/471.48	c  471s |      24 |  4690939 |  3538862 |     2453   3514 |        0 |        0
473.26/473.49	c  473s |      24 |  4710543 |  3553762 |     2453   3525 |        0 |        0
475.26/475.49	c  475s |      24 |  4728570 |  3567662 |     2453   3536 |        0 |        0
477.37/477.50	c  477s |      24 |  4747040 |  3582062 |     2453   3547 |        0 |        0
479.36/479.51	c  479s |      24 |  4763908 |  3595262 |     2453   3556 |        0 |        0
481.36/481.52	c  481s |      24 |  4781631 |  3608762 |     2453   3567 |        0 |        0
483.36/483.52	c  483s |      24 |  4799040 |  3622462 |     2453   3577 |        0 |        0
485.36/485.53	c  485s |      24 |  4817879 |  3636462 |     2453   3587 |        0 |        0
487.36/487.53	c  487s |      24 |  4833945 |  3649162 |     2453   3597 |        0 |        0
489.36/489.54	c  489s |      24 |  4849393 |  3661662 |     2453   3606 |        0 |        0
491.35/491.56	c  491s |      24 |  4867155 |  3675062 |     2453   3616 |        0 |        0
493.35/493.56	c  493s |      24 |  4886748 |  3689762 |     2453   3627 |        0 |        0
495.35/495.57	c  495s |      24 |  4905291 |  3704362 |     2453   3638 |        0 |        0
497.35/497.57	c  497s |      24 |  4923622 |  3718762 |     2453   3649 |        0 |        0
499.35/499.57	c  499s |      24 |  4940911 |  3732462 |     2453   3659 |        0 |        0
501.34/501.58	c  501s |      24 |  4958380 |  3745862 |     2453   3669 |        0 |        0
503.34/503.59	c  503s |      24 |  4976233 |  3759462 |     2453   3679 |        0 |        0
505.44/505.60	c  505s |      24 |  4994665 |  3773762 |     2453   3690 |        0 |        0
507.44/507.60	c  507s |      24 |  5014476 |  3788362 |     2453   3701 |        0 |        0
509.43/509.61	c  509s |      24 |  5033672 |  3802762 |     2453   3712 |        0 |        0
511.44/511.62	c  511s |      24 |  5052823 |  3817162 |     2453   3723 |        0 |        0
513.43/513.62	c  513s |      24 |  5072678 |  3831862 |     2453   3734 |        0 |        0
515.43/515.62	c  515s |      24 |  5091929 |  3846362 |     2453   3744 |        0 |        0
517.43/517.64	c  517s |      24 |  5108915 |  3859662 |     2453   3754 |        0 |        0
519.43/519.65	c  519s |      24 |  5126038 |  3872562 |     2453   3764 |        0 |        0
521.43/521.65	c  521s |      24 |  5142864 |  3885562 |     2453   3774 |        0 |        0
523.43/523.66	c  523s |      24 |  5159305 |  3898362 |     2453   3783 |        0 |        0
525.43/525.68	c  525s |      24 |  5176948 |  3911962 |     2453   3794 |        0 |        0
527.53/527.70	c  527s |      24 |  5194308 |  3925362 |     2453   3804 |        0 |        0
529.52/529.71	c  529s |      24 |  5212240 |  3938862 |     2453   3814 |        0 |        0
531.53/531.72	c  531s |      24 |  5230779 |  3952962 |     2453   3824 |        0 |        0
533.53/533.73	c  533s |      24 |  5248865 |  3966662 |     2453   3835 |        0 |        0
535.54/535.74	c  535s |      24 |  5266992 |  3980462 |     2453   3845 |        0 |        0
537.53/537.74	c  537s |      24 |  5285093 |  3993962 |     2453   3855 |        0 |        0
539.53/539.75	c  539s |      24 |  5303305 |  4007462 |     2453   3865 |        0 |        0
541.53/541.75	c  541s |      24 |  5319179 |  4019662 |     2453   3874 |        0 |        0
543.53/543.76	c  543s |      24 |  5336198 |  4032762 |     2453   3884 |        0 |        0
545.53/545.77	c  545s |      24 |  5352257 |  4045662 |     2453   3894 |        0 |        0
547.53/547.78	c  547s |      24 |  5369325 |  4058662 |     2453   3904 |        0 |        0
549.52/549.78	c  549s |      24 |  5386919 |  4072262 |     2453   3914 |        0 |        0
551.52/551.79	c  551s |      24 |  5406354 |  4086862 |     2453   3925 |        0 |        0
553.62/553.80	c  553s |      24 |  5423505 |  4100662 |     2453   3935 |        0 |        0
555.62/555.80	c  555s |      24 |  5441472 |  4114562 |     2453   3945 |        0 |        0
557.52/557.80	c  557s |      24 |  5460334 |  4128662 |     2453   3956 |        0 |        0
559.61/559.80	c  559s |      24 |  5477235 |  4141662 |     2453   3966 |        0 |        0
561.61/561.81	c  561s |      24 |  5495694 |  4155862 |     2453   3976 |        0 |        0
563.61/563.83	c  563s |      24 |  5513060 |  4169562 |     2453   3987 |        0 |        0
565.61/565.83	c  565s |      24 |  5533062 |  4184762 |     2453   3998 |        0 |        0
567.61/567.84	c  567s |      24 |  5550019 |  4197862 |     2453   4008 |        0 |        0
569.61/569.85	c  569s |      24 |  5566048 |  4210862 |     2453   4018 |        0 |        0
571.61/571.87	c  571s |      24 |  5583537 |  4224262 |     2453   4028 |        0 |        0
573.61/573.87	c  573s |      24 |  5601707 |  4238062 |     2453   4038 |        0 |        0
575.61/575.88	c  575s |      24 |  5619966 |  4252162 |     2453   4048 |        0 |        0
577.61/577.88	c  577s |      24 |  5637030 |  4265762 |     2453   4058 |        0 |        0
579.61/579.89	c  579s |      24 |  5654182 |  4279162 |     2453   4068 |        0 |        0
581.60/581.89	c  581s |      24 |  5671085 |  4292262 |     2453   4078 |        0 |        0
583.70/583.90	c  583s |      24 |  5689510 |  4306162 |     2453   4089 |        0 |        0
585.70/585.91	c  585s |      24 |  5706923 |  4319262 |     2453   4099 |        0 |        0
587.70/587.92	c  587s |      24 |  5723930 |  4332362 |     2453   4108 |        0 |        0
589.70/589.92	c  589s |      24 |  5741567 |  4345962 |     2453   4119 |        0 |        0
591.70/591.93	c  591s |      24 |  5760414 |  4360262 |     2453   4129 |        0 |        0
593.70/593.94	c  593s |      24 |  5780387 |  4375262 |     2453   4141 |        0 |        0
595.70/595.96	c  595s |      24 |  5799425 |  4389662 |     2453   4151 |        0 |        0
597.70/597.96	c  597s |      24 |  5820463 |  4404962 |     2453   4163 |        0 |        0
599.69/599.96	c  599s |      24 |  5839405 |  4419462 |     2453   4174 |        0 |        0
601.69/601.97	c  601s |      24 |  5859518 |  4434862 |     2453   4185 |        0 |        0
603.70/603.97	c  603s |      24 |  5877885 |  4449062 |     2453   4196 |        0 |        0
605.69/605.98	c  605s |      24 |  5897769 |  4463662 |     2453   4207 |        0 |        0
607.69/607.99	c  607s |      24 |  5919285 |  4479562 |     2453   4219 |        0 |        0
609.79/610.00	c  609s |      24 |  5940236 |  4495062 |     2453   4231 |        0 |        0
611.79/612.01	c  611s |      24 |  5957936 |  4509062 |     2453   4241 |        0 |        0
613.79/614.01	c  613s |      24 |  5977344 |  4524062 |     2453   4252 |        0 |        0
615.80/616.01	c  615s |      24 |  5997060 |  4539162 |     2453   4264 |        0 |        0
617.79/618.03	c  618s |      24 |  6018251 |  4554462 |     2453   4275 |        0 |        0
619.79/620.04	c  620s |      24 |  6036657 |  4568762 |     2453   4286 |        0 |        0
621.79/622.04	c  622s |      24 |  6054171 |  4582362 |     2453   4296 |        0 |        0
623.79/624.05	c  624s |      24 |  6072215 |  4596162 |     2453   4306 |        0 |        0
625.80/626.05	c  626s |      24 |  6091756 |  4610762 |     2453   4317 |        0 |        0
627.79/628.06	c  628s |      24 |  6110454 |  4624762 |     2453   4328 |        0 |        0
629.79/630.06	c  630s |      24 |  6129930 |  4639162 |     2453   4338 |        0 |        0
631.79/632.06	c  632s |      24 |  6148218 |  4653362 |     2453   4349 |        0 |        0
633.78/634.07	c  634s |      24 |  6167547 |  4668162 |     2453   4360 |        0 |        0
635.78/636.08	c  636s |      24 |  6185930 |  4682162 |     2453   4370 |        0 |        0
637.79/638.10	c  638s |      24 |  6204825 |  4696362 |     2453   4381 |        0 |        0
639.88/640.10	c  640s |      24 |  6223736 |  4710762 |     2453   4392 |        0 |        0
641.88/642.10	c  642s |      24 |  6242923 |  4725362 |     2453   4403 |        0 |        0
643.88/644.11	c  644s |      24 |  6262237 |  4740262 |     2453   4414 |        0 |        0
645.88/646.11	c  646s |      24 |  6278140 |  4753062 |     2453   4424 |        0 |        0
647.88/648.12	c  648s |      24 |  6296191 |  4767262 |     2453   4434 |        0 |        0
649.88/650.14	c  650s |      24 |  6314856 |  4781962 |     2453   4445 |        0 |        0
651.87/652.14	c  652s |      24 |  6334178 |  4796662 |     2453   4456 |        0 |        0
653.87/654.15	c  654s |      24 |  6353846 |  4811562 |     2453   4467 |        0 |        0
655.87/656.16	c  656s |      24 |  6373789 |  4826462 |     2453   4478 |        0 |        0
657.87/658.16	c  658s |      24 |  6392391 |  4840862 |     2453   4489 |        0 |        0
659.87/660.16	c  660s |      24 |  6410389 |  4854862 |     2453   4500 |        0 |        0
661.86/662.17	c  662s |      24 |  6430569 |  4870262 |     2453   4511 |        0 |        0
663.86/664.18	c  664s |      24 |  6449576 |  4884962 |     2453   4522 |        0 |        0
665.86/666.18	c  666s |      24 |  6468450 |  4899162 |     2453   4533 |        0 |        0
667.86/668.18	c  668s |      24 |  6487081 |  4913462 |     2453   4544 |        0 |        0
669.86/670.18	c  670s |      24 |  6505783 |  4927362 |     2453   4554 |        0 |        0
671.86/672.19	c  672s |      24 |  6522846 |  4940662 |     2453   4564 |        0 |        0
673.96/674.20	c  674s |      24 |  6544268 |  4956662 |     2453   4576 |        0 |        0
675.96/676.21	c  676s |      24 |  6564032 |  4971862 |     2453   4587 |        0 |        0
677.96/678.22	c  678s |      24 |  6585583 |  4987762 |     2453   4599 |        0 |        0
679.95/680.22	c  680s |      24 |  6605316 |  5002762 |     2453   4610 |        0 |        0
681.95/682.23	c  682s |      24 |  6624408 |  5017262 |     2453   4621 |        0 |        0
683.96/684.23	c  684s |      24 |  6643740 |  5031962 |     2699   4632 |        0 |        0
685.95/686.24	c  686s |      24 |  6661316 |  5045562 |     2699   4641 |        0 |        0
687.95/688.25	c  688s |      24 |  6678622 |  5058662 |     2699   4650 |        0 |        0
688.95/689.29	c  689s |      25 |  6686666 |  5065098 |     2699   4655 |        0 |        0
691.05/691.30	c  691s |      25 |  6703254 |  5077998 |     2699   4664 |        0 |        0
693.04/693.32	c  693s |      25 |  6720096 |  5091198 |     2699   4673 |        0 |        0
695.06/695.33	c  695s |      25 |  6738308 |  5105498 |     2699   4682 |        0 |        0
697.05/697.33	c  697s |      25 |  6754344 |  5117998 |     2699   4691 |        0 |        0
699.04/699.34	c  699s |      25 |  6770489 |  5130698 |     2699   4700 |        0 |        0
701.04/701.35	c  701s |      25 |  6786197 |  5143198 |     2699   4708 |        0 |        0
703.04/703.37	c  703s |      25 |  6803201 |  5156398 |     2699   4718 |        0 |        0
705.04/705.38	c  705s |      25 |  6820881 |  5170198 |     2699   4727 |        0 |        0
707.05/707.39	c  707s |      25 |  6838359 |  5183498 |     2699   4736 |        0 |        0
709.14/709.40	c  709s |      25 |  6856390 |  5196898 |     2699   4746 |        0 |        0
711.14/711.41	c  711s |      25 |  6876204 |  5211398 |     2699   4756 |        0 |        0
713.14/713.42	c  713s |      25 |  6893488 |  5224898 |     2699   4765 |        0 |        0
715.14/715.42	c  715s |      25 |  6911892 |  5239098 |     2699   4775 |        0 |        0
717.14/717.43	c  717s |      25 |  6930325 |  5253598 |     2699   4785 |        0 |        0
719.14/719.44	c  719s |      25 |  6950045 |  5268398 |     2699   4795 |        0 |        0
721.13/721.44	c  721s |      25 |  6969541 |  5283198 |     2699   4805 |        0 |        0
723.13/723.45	c  723s |      25 |  6988579 |  5297698 |     2699   4815 |        0 |        0
725.13/725.47	c  725s |      25 |  7006361 |  5310998 |     2699   4825 |        0 |        0
727.12/727.48	c  727s |      25 |  7026320 |  5325798 |     2699   4835 |        0 |        0
729.13/729.49	c  729s |      25 |  7046555 |  5340898 |     2699   4846 |        0 |        0
731.12/731.49	c  731s |      25 |  7065874 |  5355598 |     2699   4856 |        0 |        0
733.22/733.50	c  733s |      25 |  7085130 |  5370198 |     2699   4867 |        0 |        0
735.23/735.50	c  735s |      25 |  7102609 |  5383698 |     2699   4876 |        0 |        0
737.23/737.51	c  737s |      25 |  7119407 |  5396998 |     2699   4885 |        0 |        0
739.22/739.52	c  739s |      25 |  7137401 |  5411098 |     2699   4895 |        0 |        0
741.23/741.52	c  741s |      25 |  7155963 |  5425098 |     2699   4905 |        0 |        0
743.22/743.53	c  743s |      25 |  7174284 |  5439098 |     2699   4915 |        0 |        0
745.22/745.53	c  745s |      25 |  7191067 |  5452298 |     2699   4924 |        0 |        0
747.22/747.54	c  747s |      25 |  7209084 |  5465798 |     2699   4934 |        0 |        0
749.22/749.55	c  749s |      25 |  7225086 |  5478398 |     2699   4943 |        0 |        0
751.21/751.56	c  751s |      25 |  7241298 |  5490998 |     2699   4951 |        0 |        0
753.22/753.57	c  753s |      25 |  7258458 |  5504298 |     2699   4961 |        0 |        0
755.21/755.58	c  755s |      25 |  7274928 |  5517298 |     2699   4970 |        0 |        0
757.21/757.58	c  757s |      25 |  7292569 |  5530998 |     2699   4979 |        0 |        0
759.21/759.58	c  759s |      25 |  7310836 |  5544798 |     2699   4989 |        0 |        0
761.21/761.59	c  761s |      25 |  7330094 |  5559198 |     2699   4999 |        0 |        0
763.22/763.59	c  763s |      25 |  7348629 |  5573198 |     2699   5009 |        0 |        0
765.21/765.60	c  765s |      25 |  7367869 |  5587198 |     2699   5019 |        0 |        0
767.31/767.60	c  767s |      25 |  7387791 |  5602198 |     2699   5029 |        0 |        0
769.30/769.61	c  769s |      25 |  7405428 |  5616098 |     2699   5039 |        0 |        0
771.30/771.62	c  771s |      25 |  7424945 |  5630598 |     2699   5050 |        0 |        0
773.30/773.63	c  773s |      25 |  7443824 |  5644898 |     2699   5060 |        0 |        0
775.31/775.63	c  775s |      25 |  7461296 |  5658598 |     2699   5069 |        0 |        0
777.30/777.65	c  777s |      25 |  7479331 |  5672398 |     2699   5079 |        0 |        0
779.29/779.65	c  779s |      25 |  7498081 |  5686698 |     2699   5088 |        0 |        0
781.29/781.66	c  781s |      25 |  7517543 |  5701398 |     2699   5099 |        0 |        0
783.29/783.67	c  783s |      25 |  7536254 |  5715798 |     2699   5109 |        0 |        0
785.29/785.67	c  785s |      25 |  7555883 |  5730498 |     2699   5119 |        0 |        0
787.30/787.68	c  787s |      25 |  7574411 |  5744998 |     2699   5129 |        0 |        0
789.39/789.70	c  789s |      25 |  7593522 |  5759298 |     2699   5140 |        0 |        0
791.39/791.70	c  791s |      25 |  7613232 |  5773798 |     2699   5150 |        0 |        0
793.39/793.70	c  793s |      25 |  7633067 |  5788698 |     2699   5160 |        0 |        0
795.39/795.71	c  795s |      25 |  7650768 |  5802498 |     2699   5170 |        0 |        0
797.39/797.71	c  797s |      25 |  7667288 |  5815598 |     2699   5179 |        0 |        0
799.39/799.72	c  799s |      25 |  7683055 |  5828198 |     2699   5187 |        0 |        0
801.38/801.73	c  801s |      25 |  7697683 |  5840098 |     2699   5196 |        0 |        0
803.38/803.74	c  803s |      25 |  7713473 |  5852698 |     2699   5204 |        0 |        0
805.38/805.75	c  805s |      25 |  7729866 |  5865498 |     2699   5213 |        0 |        0
807.38/807.76	c  807s |      25 |  7746548 |  5877998 |     2699   5222 |        0 |        0
809.39/809.77	c  809s |      25 |  7763175 |  5890798 |     2699   5231 |        0 |        0
811.38/811.78	c  811s |      25 |  7782037 |  5904698 |     2699   5241 |        0 |        0
813.48/813.80	c  813s |      25 |  7800460 |  5918898 |     2699   5251 |        0 |        0
815.48/815.81	c  815s |      25 |  7817962 |  5932498 |     2699   5260 |        0 |        0
817.48/817.82	c  817s |      25 |  7836112 |  5946398 |     2699   5270 |        0 |        0
819.47/819.83	c  819s |      25 |  7855052 |  5960798 |     2699   5280 |        0 |        0
821.49/821.84	c  821s |      25 |  7873606 |  5975098 |     2699   5290 |        0 |        0
823.48/823.85	c  823s |      25 |  7890845 |  5988698 |     2699   5300 |        0 |        0
825.48/825.85	c  825s |      25 |  7907558 |  6001698 |     2699   5309 |        0 |        0
827.48/827.86	c  827s |      25 |  7926172 |  6015598 |     2699   5319 |        0 |        0
829.47/829.87	c  829s |      25 |  7944293 |  6029498 |     2699   5328 |        0 |        0
831.47/831.87	c  831s |      25 |  7961214 |  6042998 |     2699   5338 |        0 |        0
833.48/833.88	c  833s |      25 |  7979154 |  6056998 |     2699   5348 |        0 |        0
835.47/835.89	c  835s |      25 |  7995843 |  6069598 |     2699   5356 |        0 |        0
837.57/837.91	c  837s |      25 |  8013219 |  6082698 |     2699   5366 |        0 |        0
839.57/839.91	c  839s |      25 |  8029421 |  6095398 |     2699   5375 |        0 |        0
841.57/841.91	c  841s |      25 |  8047033 |  6108098 |     2699   5384 |        0 |        0
843.56/843.91	c  843s |      25 |  8064658 |  6121498 |     2699   5393 |        0 |        0
845.57/845.93	c  845s |      25 |  8080864 |  6134398 |     2699   5402 |        0 |        0
847.56/847.95	c  847s |      25 |  8097929 |  6147598 |     2699   5412 |        0 |        0
849.56/849.96	c  849s |      25 |  8115387 |  6160798 |     2699   5421 |        0 |        0
851.56/851.97	c  851s |      25 |  8132359 |  6173598 |     2699   5430 |        0 |        0
853.56/853.99	c  853s |      25 |  8148804 |  6186398 |     2699   5439 |        0 |        0
855.66/856.00	c  855s |      25 |  8165369 |  6198798 |     2699   5448 |        0 |        0
857.66/858.01	c  857s |      25 |  8182881 |  6211998 |     2699   5457 |        0 |        0
859.65/860.02	c  860s |      25 |  8199356 |  6224698 |     2699   5466 |        0 |        0
861.65/862.04	c  862s |      25 |  8214435 |  6236498 |     2699   5474 |        0 |        0
863.65/864.05	c  864s |      25 |  8230205 |  6248698 |     2699   5483 |        0 |        0
865.65/866.05	c  866s |      25 |  8250321 |  6263798 |     2699   5493 |        0 |        0
867.65/868.06	c  868s |      25 |  8267619 |  6277098 |     2699   5503 |        0 |        0
869.64/870.07	c  870s |      25 |  8284636 |  6290198 |     2699   5512 |        0 |        0
871.64/872.08	c  872s |      25 |  8302416 |  6303598 |     2699   5521 |        0 |        0
873.64/874.09	c  874s |      25 |  8317899 |  6315898 |     2699   5530 |        0 |        0
875.74/876.10	c  876s |      25 |  8333241 |  6327898 |     2699   5539 |        0 |        0
877.74/878.11	c  878s |      25 |  8347775 |  6339498 |     2699   5547 |        0 |        0
879.75/880.11	c  880s |      25 |  8363438 |  6351498 |     2699   5555 |        0 |        0
881.74/882.13	c  882s |      25 |  8382043 |  6365798 |     2699   5565 |        0 |        0
883.74/884.13	c  884s |      25 |  8397726 |  6378298 |     2699   5574 |        0 |        0
885.74/886.15	c  886s |      25 |  8413311 |  6390398 |     2699   5583 |        0 |        0
887.74/888.16	c  888s |      25 |  8429613 |  6402798 |     2699   5591 |        0 |        0
889.74/890.16	c  890s |      25 |  8445704 |  6414898 |     2699   5600 |        0 |        0
891.74/892.18	c  892s |      25 |  8461683 |  6426998 |     2699   5608 |        0 |        0
893.74/894.19	c  894s |      25 |  8477536 |  6439398 |     2699   5617 |        0 |        0
895.73/896.20	c  896s |      25 |  8495133 |  6452498 |     2699   5626 |        0 |        0
897.73/898.20	c  898s |      25 |  8511465 |  6465198 |     2699   5635 |        0 |        0
899.83/900.21	c  900s |      25 |  8527992 |  6477698 |     2699   5644 |        0 |        0
901.83/902.22	c  902s |      25 |  8546050 |  6491398 |     2699   5654 |        0 |        0
903.84/904.23	c  904s |      25 |  8562356 |  6504198 |     2699   5663 |        0 |        0
905.83/906.24	c  906s |      25 |  8578534 |  6516898 |     2699   5672 |        0 |        0
907.83/908.25	c  908s |      25 |  8595021 |  6529598 |     2699   5681 |        0 |        0
909.82/910.25	c  910s |      25 |  8612263 |  6542498 |     2699   5690 |        0 |        0
911.82/912.25	c  912s |      25 |  8630136 |  6555598 |     2699   5699 |        0 |        0
913.83/914.26	c  914s |      25 |  8647385 |  6568998 |     2699   5708 |        0 |        0
915.82/916.27	c  916s |      25 |  8662885 |  6581098 |     2699   5717 |        0 |        0
917.82/918.28	c  918s |      25 |  8678800 |  6593298 |     2699   5725 |        0 |        0
919.81/920.28	c  920s |      25 |  8696021 |  6606198 |     2699   5735 |        0 |        0
921.81/922.29	c  922s |      25 |  8712853 |  6619198 |     2699   5744 |        0 |        0
923.91/924.30	c  924s |      25 |  8729671 |  6632498 |     2699   5753 |        0 |        0
925.92/926.31	c  926s |      25 |  8745837 |  6645198 |     2699   5762 |        0 |        0
927.91/928.31	c  928s |      25 |  8762647 |  6658598 |     2699   5771 |        0 |        0
929.91/930.32	c  930s |      25 |  8779543 |  6671798 |     2699   5780 |        0 |        0
931.91/932.33	c  932s |      25 |  8796056 |  6684598 |     2699   5789 |        0 |        0
933.91/934.33	c  934s |      25 |  8813831 |  6698598 |     2699   5799 |        0 |        0
935.91/936.33	c  936s |      25 |  8834486 |  6713698 |     2699   5810 |        0 |        0
937.91/938.33	c  938s |      25 |  8853320 |  6728098 |     2699   5820 |        0 |        0
939.91/940.33	c  940s |      25 |  8871830 |  6742198 |     2699   5830 |        0 |        0
941.91/942.35	c  942s |      25 |  8890116 |  6755898 |     2699   5840 |        0 |        0
943.91/944.37	c  944s |      25 |  8908900 |  6770098 |     2699   5850 |        0 |        0
945.91/946.38	c  946s |      25 |  8927702 |  6784298 |     2699   5859 |        0 |        0
947.91/948.39	c  948s |      25 |  8945363 |  6798098 |     2699   5869 |        0 |        0
949.91/950.39	c  950s |      25 |  8964012 |  6812598 |     2699   5879 |        0 |        0
952.01/952.40	c  952s |      25 |  8982511 |  6826798 |     2699   5889 |        0 |        0
954.01/954.41	c  954s |      25 |  8999620 |  6840298 |     2699   5899 |        0 |        0
956.01/956.41	c  956s |      25 |  9017992 |  6854498 |     2699   5909 |        0 |        0
958.01/958.41	c  958s |      25 |  9037546 |  6868998 |     2699   5919 |        0 |        0
960.02/960.42	c  960s |      25 |  9056678 |  6882998 |     2699   5929 |        0 |        0
962.01/962.42	c  962s |      25 |  9076610 |  6898098 |     2699   5940 |        0 |        0
964.01/964.42	c  964s |      25 |  9096237 |  6912998 |     2699   5950 |        0 |        0
966.01/966.43	c  966s |      25 |  9115429 |  6927498 |     2699   5961 |        0 |        0
968.01/968.44	c  968s |      25 |  9133733 |  6941598 |     2699   5970 |        0 |        0
970.01/970.45	c  970s |      25 |  9154454 |  6956798 |     2699   5981 |        0 |        0
972.01/972.45	c  972s |      25 |  9174144 |  6971498 |     2699   5992 |        0 |        0
974.01/974.46	c  974s |      25 |  9192460 |  6985398 |     2699   6001 |        0 |        0
976.01/976.46	c  976s |      25 |  9210950 |  6999298 |     2699   6011 |        0 |        0
978.01/978.48	c  978s |      25 |  9229670 |  7013698 |     2699   6021 |        0 |        0
980.01/980.48	c  980s |      25 |  9245542 |  7026298 |     2699   6030 |        0 |        0
982.01/982.49	c  982s |      25 |  9264416 |  7040698 |     2699   6040 |        0 |        0
984.00/984.49	c  984s |      25 |  9284035 |  7055398 |     2699   6051 |        0 |        0
986.00/986.49	c  986s |      25 |  9301882 |  7069598 |     2699   6061 |        0 |        0
988.00/988.49	c  988s |      25 |  9320330 |  7083998 |     2699   6071 |        0 |        0
990.00/990.49	c  990s |      25 |  9336439 |  7097398 |     2699   6080 |        0 |        0
992.10/992.50	c  992s |      25 |  9354755 |  7111398 |     2699   6090 |        0 |        0
994.11/994.51	c  994s |      25 |  9371806 |  7125298 |     2699   6100 |        0 |        0
996.10/996.51	c  996s |      25 |  9387105 |  7137798 |     2699   6109 |        0 |        0
998.10/998.52	c  998s |      25 |  9404028 |  7151398 |     2699   6119 |        0 |        0
1000.10/1000.52	c 1000s |      25 |  9422010 |  7165198 |     2699   6128 |        0 |        0
1002.10/1002.54	c 1002s |      25 |  9439103 |  7178698 |     2699   6138 |        0 |        0
1004.10/1004.55	c 1004s |      25 |  9455295 |  7191898 |     2699   6147 |        0 |        0
1006.11/1006.56	c 1006s |      25 |  9473681 |  7206198 |     2699   6157 |        0 |        0
1008.10/1008.57	c 1008s |      25 |  9490662 |  7219498 |     2699   6167 |        0 |        0
1010.10/1010.57	c 1010s |      25 |  9509087 |  7233898 |     2699   6177 |        0 |        0
1012.10/1012.58	c 1012s |      25 |  9527369 |  7247798 |     2699   6187 |        0 |        0
1014.10/1014.58	c 1014s |      25 |  9547296 |  7262998 |     2699   6198 |        0 |        0
1016.10/1016.59	c 1016s |      25 |  9564307 |  7276498 |     2699   6207 |        0 |        0
1018.10/1018.60	c 1018s |      25 |  9582923 |  7290298 |     2699   6217 |        0 |        0
1020.19/1020.61	c 1020s |      25 |  9600488 |  7303698 |     2699   6226 |        0 |        0
1022.19/1022.61	c 1022s |      25 |  9618896 |  7317498 |     2699   6236 |        0 |        0
1024.19/1024.62	c 1024s |      25 |  9637086 |  7331298 |     2699   6246 |        0 |        0
1026.19/1026.63	c 1026s |      25 |  9655392 |  7345198 |     2699   6256 |        0 |        0
1028.21/1028.63	c 1028s |      25 |  9672713 |  7358298 |     2699   6265 |        0 |        0
1030.20/1030.65	c 1030s |      25 |  9690683 |  7371898 |     2699   6274 |        0 |        0
1032.20/1032.66	c 1032s |      25 |  9708874 |  7385598 |     2699   6284 |        0 |        0
1034.20/1034.68	c 1034s |      25 |  9725875 |  7398698 |     2699   6293 |        0 |        0
1036.20/1036.69	c 1036s |      25 |  9744195 |  7412298 |     2699   6303 |        0 |        0
1038.30/1038.71	c 1038s |      25 |  9758930 |  7424398 |     2699   6312 |        0 |        0
1040.30/1040.72	c 1040s |      25 |  9777005 |  7438598 |     2699   6322 |        0 |        0
1042.30/1042.73	c 1042s |      25 |  9794126 |  7451898 |     2699   6331 |        0 |        0
1044.30/1044.75	c 1044s |      25 |  9812458 |  7465698 |     2699   6341 |        0 |        0
1046.30/1046.75	c 1046s |      25 |  9829462 |  7478998 |     2699   6350 |        0 |        0
1048.30/1048.75	c 1048s |      25 |  9846460 |  7491898 |     2699   6359 |        0 |        0
1050.30/1050.75	c 1050s |      25 |  9863684 |  7505298 |     2699   6369 |        0 |        0
1052.30/1052.76	c 1052s |      25 |  9880579 |  7518498 |     2699   6378 |        0 |        0
1054.29/1054.77	c 1054s |      25 |  9900745 |  7533798 |     2699   6389 |        0 |        0
1056.29/1056.77	c 1056s |      25 |  9918636 |  7547298 |     2969   6398 |        0 |        0
1058.29/1058.78	c 1058s |      25 |  9937242 |  7561698 |     2969   6407 |        0 |        0
1060.29/1060.80	c 1060s |      25 |  9956364 |  7575998 |     2969   6416 |        0 |        0
1062.39/1062.80	c 1062s |      25 |  9974376 |  7590098 |     2969   6426 |        0 |        0
1063.49/1063.96	c 1063s |      26 |  9983934 |  7597752 |     2969   6430 |        0 |        0
1065.50/1065.97	c 1065s |      26 | 10000493 |  7610452 |     2969   6438 |        0 |        0
1067.49/1067.98	c 1067s |      26 | 10016580 |  7622852 |     2969   6446 |        0 |        0
1069.49/1069.98	c 1069s |      26 | 10031789 |  7635152 |     2969   6454 |        0 |        0
1071.49/1071.99	c 1071s |      26 | 10049652 |  7648352 |     2969   6463 |        0 |        0
1073.59/1074.00	c 1073s |      26 | 10068289 |  7662252 |     2969   6471 |        0 |        0
1075.59/1076.00	c 1075s |      26 | 10085574 |  7676052 |     2969   6480 |        0 |        0
1077.59/1078.01	c 1077s |      26 | 10104197 |  7690052 |     2969   6489 |        0 |        0
1079.59/1080.02	c 1079s |      26 | 10122455 |  7703952 |     2969   6498 |        0 |        0
1081.59/1082.02	c 1081s |      26 | 10139732 |  7717452 |     2969   6506 |        0 |        0
1083.59/1084.02	c 1084s |      26 | 10156732 |  7730452 |     2969   6515 |        0 |        0
1085.59/1086.04	c 1086s |      26 | 10172313 |  7742952 |     2969   6523 |        0 |        0
1087.60/1088.04	c 1088s |      26 | 10188474 |  7755652 |     2969   6531 |        0 |        0
1089.59/1090.05	c 1090s |      26 | 10205841 |  7768952 |     2969   6539 |        0 |        0
1091.59/1092.05	c 1092s |      26 | 10220681 |  7780852 |     2969   6547 |        0 |        0
1093.59/1094.06	c 1094s |      26 | 10237950 |  7793552 |     2969   6555 |        0 |        0
1095.59/1096.06	c 1096s |      26 | 10254951 |  7806552 |     2969   6563 |        0 |        0
1097.59/1098.06	c 1098s |      26 | 10272063 |  7819352 |     2969   6571 |        0 |        0
1099.60/1100.07	c 1100s |      26 | 10289433 |  7832652 |     2969   6580 |        0 |        0
1101.59/1102.08	c 1102s |      26 | 10306223 |  7845452 |     2969   6588 |        0 |        0
1103.59/1104.08	c 1104s |      26 | 10323716 |  7858652 |     2969   6596 |        0 |        0
1105.69/1106.10	c 1106s |      26 | 10339424 |  7871052 |     2969   6604 |        0 |        0
1107.69/1108.10	c 1108s |      26 | 10354849 |  7883352 |     2969   6612 |        0 |        0
1109.68/1110.11	c 1110s |      26 | 10371706 |  7896452 |     2969   6620 |        0 |        0
1111.69/1112.12	c 1112s |      26 | 10387643 |  7908752 |     2969   6628 |        0 |        0
1113.68/1114.12	c 1114s |      26 | 10404382 |  7921652 |     2969   6636 |        0 |        0
1115.68/1116.14	c 1116s |      26 | 10419597 |  7933452 |     2969   6644 |        0 |        0
1117.68/1118.14	c 1118s |      26 | 10434845 |  7945152 |     2969   6651 |        0 |        0
1119.68/1120.16	c 1120s |      26 | 10451223 |  7957952 |     2969   6659 |        0 |        0
1121.69/1122.16	c 1122s |      26 | 10468646 |  7970752 |     2969   6667 |        0 |        0
1123.68/1124.17	c 1124s |      26 | 10483127 |  7982552 |     2969   6675 |        0 |        0
1125.68/1126.17	c 1126s |      26 | 10498023 |  7994252 |     2969   6682 |        0 |        0
1127.68/1128.18	c 1128s |      26 | 10512536 |  8005752 |     2969   6689 |        0 |        0
1129.68/1130.19	c 1130s |      26 | 10526810 |  8017152 |     2969   6697 |        0 |        0
1131.78/1132.22	c 1132s |      26 | 10539466 |  8027852 |     2969   6704 |        0 |        0
1133.79/1134.25	c 1134s |      26 | 10555756 |  8040352 |     2969   6712 |        0 |        0
1135.78/1136.26	c 1136s |      26 | 10570941 |  8051952 |     2969   6719 |        0 |        0
1137.78/1138.26	c 1138s |      26 | 10586459 |  8064052 |     2969   6727 |        0 |        0
1139.79/1140.26	c 1140s |      26 | 10601926 |  8075752 |     2969   6734 |        0 |        0
1141.79/1142.27	c 1142s |      26 | 10617438 |  8087752 |     2969   6742 |        0 |        0
1143.78/1144.29	c 1144s |      26 | 10633449 |  8100052 |     2969   6750 |        0 |        0
1145.79/1146.30	c 1146s |      26 | 10649280 |  8112052 |     2969   6757 |        0 |        0
1147.88/1148.31	c 1148s |      26 | 10665561 |  8124452 |     2969   6765 |        0 |        0
1149.88/1150.31	c 1150s |      26 | 10682734 |  8137652 |     2969   6774 |        0 |        0
1151.88/1152.31	c 1152s |      26 | 10698669 |  8150152 |     2969   6782 |        0 |        0
1153.88/1154.32	c 1154s |      26 | 10715441 |  8163152 |     2969   6790 |        0 |        0
1155.88/1156.33	c 1156s |      26 | 10732398 |  8176152 |     2969   6798 |        0 |        0
1157.88/1158.34	c 1158s |      26 | 10750193 |  8189152 |     2969   6807 |        0 |        0
1159.88/1160.35	c 1160s |      26 | 10768227 |  8202752 |     2969   6815 |        0 |        0
1161.88/1162.36	c 1162s |      26 | 10785914 |  8216152 |     2969   6824 |        0 |        0
1163.88/1164.37	c 1164s |      26 | 10803746 |  8229552 |     2969   6832 |        0 |        0
1165.87/1166.37	c 1166s |      26 | 10821879 |  8243152 |     2969   6841 |        0 |        0
1167.88/1168.38	c 1168s |      26 | 10838347 |  8256052 |     2969   6849 |        0 |        0
1169.87/1170.39	c 1170s |      26 | 10854765 |  8268452 |     2969   6857 |        0 |        0
1171.97/1172.40	c 1172s |      26 | 10872466 |  8281852 |     2969   6866 |        0 |        0
1173.97/1174.42	c 1174s |      26 | 10889350 |  8294552 |     2969   6874 |        0 |        0
1175.97/1176.43	c 1176s |      26 | 10905254 |  8307152 |     2969   6882 |        0 |        0
1177.97/1178.43	c 1178s |      26 | 10920285 |  8319352 |     2969   6889 |        0 |        0
1179.98/1180.44	c 1180s |      26 | 10936306 |  8331652 |     2969   6897 |        0 |        0
1181.97/1182.45	c 1182s |      26 | 10951133 |  8343152 |     2969   6905 |        0 |        0
1183.97/1184.46	c 1184s |      26 | 10966540 |  8355252 |     2969   6912 |        0 |        0
1185.97/1186.46	c 1186s |      26 | 10980601 |  8366552 |     2969   6919 |        0 |        0
1187.97/1188.48	c 1188s |      26 | 10994588 |  8377752 |     2969   6927 |        0 |        0
1189.97/1190.49	c 1190s |      26 | 11010999 |  8390352 |     2969   6935 |        0 |        0
1192.08/1192.51	c 1192s |      26 | 11027322 |  8403152 |     2969   6943 |        0 |        0
1194.07/1194.51	c 1194s |      26 | 11042467 |  8414552 |     2969   6950 |        0 |        0
1196.07/1196.52	c 1196s |      26 | 11057831 |  8426652 |     2969   6958 |        0 |        0
1198.07/1198.53	c 1198s |      26 | 11074855 |  8439552 |     2969   6966 |        0 |        0
1200.07/1200.54	c 1200s |      26 | 11092167 |  8452852 |     2969   6974 |        0 |        0
1202.07/1202.55	c 1202s |      26 | 11107923 |  8465052 |     2969   6982 |        0 |        0
1204.08/1204.57	c 1204s |      26 | 11124216 |  8477852 |     2969   6990 |        0 |        0
1206.08/1206.58	c 1206s |      26 | 11141621 |  8491252 |     2969   6999 |        0 |        0
1208.08/1208.58	c 1208s |      26 | 11157737 |  8503852 |     2969   7007 |        0 |        0
1210.08/1210.59	c 1210s |      26 | 11174243 |  8516652 |     2969   7015 |        0 |        0
1212.17/1212.60	c 1212s |      26 | 11192260 |  8530152 |     2969   7024 |        0 |        0
1214.17/1214.61	c 1214s |      26 | 11208630 |  8542652 |     2969   7032 |        0 |        0
1216.18/1216.61	c 1216s |      26 | 11225259 |  8555152 |     2969   7040 |        0 |        0
1218.17/1218.63	c 1218s |      26 | 11243085 |  8568952 |     2969   7049 |        0 |        0
1220.17/1220.65	c 1220s |      26 | 11260866 |  8582752 |     2969   7057 |        0 |        0
1222.17/1222.66	c 1222s |      26 | 11278675 |  8596452 |     2969   7066 |        0 |        0
1224.17/1224.66	c 1224s |      26 | 11296344 |  8610052 |     2969   7075 |        0 |        0
1226.18/1226.66	c 1226s |      26 | 11311483 |  8622152 |     2969   7082 |        0 |        0
1228.17/1228.67	c 1228s |      26 | 11328603 |  8635652 |     2969   7091 |        0 |        0
1230.17/1230.68	c 1230s |      26 | 11346079 |  8649052 |     2969   7099 |        0 |        0
1232.17/1232.68	c 1232s |      26 | 11361020 |  8660952 |     2969   7107 |        0 |        0
1234.27/1234.70	c 1234s |      26 | 11376226 |  8672652 |     2969   7115 |        0 |        0
1236.27/1236.70	c 1236s |      26 | 11394227 |  8685952 |     2969   7123 |        0 |        0
1238.27/1238.73	c 1238s |      26 | 11409200 |  8697752 |     2969   7131 |        0 |        0
1240.26/1240.75	c 1240s |      26 | 11422338 |  8708252 |     2969   7137 |        0 |        0
1242.26/1242.76	c 1242s |      26 | 11436545 |  8719252 |     2969   7144 |        0 |        0
1244.26/1244.77	c 1244s |      26 | 11450874 |  8730552 |     2969   7151 |        0 |        0
1246.26/1246.78	c 1246s |      26 | 11466861 |  8742552 |     2969   7159 |        0 |        0
1248.36/1248.80	c 1248s |      26 | 11480153 |  8753152 |     2969   7166 |        0 |        0
1250.37/1250.81	c 1250s |      26 | 11494762 |  8764552 |     2969   7173 |        0 |        0
1252.36/1252.82	c 1252s |      26 | 11511255 |  8776752 |     2969   7181 |        0 |        0
1254.36/1254.82	c 1254s |      26 | 11527934 |  8789252 |     2969   7189 |        0 |        0
1256.36/1256.82	c 1256s |      26 | 11543235 |  8801052 |     2969   7196 |        0 |        0
1258.36/1258.83	c 1258s |      26 | 11560008 |  8813852 |     2969   7205 |        0 |        0
1260.36/1260.85	c 1260s |      26 | 11576010 |  8826152 |     2969   7212 |        0 |        0
1262.37/1262.85	c 1262s |      26 | 11590873 |  8838052 |     2969   7220 |        0 |        0
1264.36/1264.86	c 1264s |      26 | 11607936 |  8850852 |     2969   7228 |        0 |        0
1266.37/1266.86	c 1266s |      26 | 11625627 |  8864252 |     2969   7237 |        0 |        0
1268.37/1268.87	c 1268s |      26 | 11642293 |  8876852 |     2969   7245 |        0 |        0
1270.37/1270.88	c 1270s |      26 | 11658792 |  8889752 |     2969   7253 |        0 |        0
1272.37/1272.89	c 1272s |      26 | 11674344 |  8901952 |     2969   7261 |        0 |        0
1274.47/1274.90	c 1274s |      26 | 11692016 |  8915552 |     2969   7269 |        0 |        0
1276.46/1276.91	c 1276s |      26 | 11708866 |  8928552 |     2969   7277 |        0 |        0
1278.46/1278.93	c 1278s |      26 | 11726083 |  8941452 |     2969   7286 |        0 |        0
1280.46/1280.93	c 1280s |      26 | 11742871 |  8954052 |     2969   7294 |        0 |        0
1282.46/1282.93	c 1282s |      26 | 11758099 |  8965552 |     2969   7301 |        0 |        0
1284.47/1284.94	c 1284s |      26 | 11773221 |  8977752 |     2969   7309 |        0 |        0
1286.46/1286.96	c 1286s |      26 | 11788737 |  8990052 |     2969   7316 |        0 |        0
1288.46/1288.97	c 1288s |      26 | 11805134 |  9002852 |     2969   7325 |        0 |        0
1290.46/1290.98	c 1290s |      26 | 11822329 |  9016152 |     2969   7333 |        0 |        0
1292.46/1292.98	c 1292s |      26 | 11838314 |  9028252 |     2969   7341 |        0 |        0
1294.46/1294.99	c 1294s |      26 | 11854776 |  9040752 |     2969   7349 |        0 |        0
1296.46/1296.99	c 1296s |      26 | 11871746 |  9053852 |     2969   7357 |        0 |        0
1298.46/1298.99	c 1298s |      26 | 11889147 |  9067152 |     2969   7365 |        0 |        0
1300.56/1301.00	c 1300s |      26 | 11904064 |  9079052 |     2969   7373 |        0 |        0
1302.56/1303.00	c 1302s |      26 | 11919388 |  9091252 |     2969   7380 |        0 |        0
1304.56/1305.02	c 1304s |      26 | 11935516 |  9103752 |     2969   7388 |        0 |        0
1306.56/1307.02	c 1307s |      26 | 11950550 |  9115652 |     2969   7396 |        0 |        0
1308.56/1309.03	c 1309s |      26 | 11966327 |  9128052 |     2969   7404 |        0 |        0
1310.56/1311.04	c 1311s |      26 | 11982744 |  9141052 |     2969   7412 |        0 |        0
1312.56/1313.05	c 1313s |      26 | 11997308 |  9152752 |     2969   7419 |        0 |        0
1314.56/1315.07	c 1315s |      26 | 12013461 |  9165352 |     2969   7427 |        0 |        0
1316.55/1317.07	c 1317s |      26 | 12029547 |  9177552 |     2969   7435 |        0 |        0
1318.56/1319.07	c 1319s |      26 | 12045534 |  9190052 |     2969   7443 |        0 |        0
1320.55/1321.09	c 1321s |      26 | 12062379 |  9203252 |     2969   7451 |        0 |        0
1322.65/1323.10	c 1323s |      26 | 12079824 |  9216352 |     2969   7459 |        0 |        0
1324.65/1325.11	c 1325s |      26 | 12096389 |  9229052 |     2969   7467 |        0 |        0
1326.65/1327.12	c 1327s |      26 | 12111697 |  9240952 |     2969   7475 |        0 |        0
1328.65/1329.12	c 1329s |      26 | 12125862 |  9252252 |     2969   7482 |        0 |        0
1330.66/1331.14	c 1331s |      26 | 12141756 |  9264152 |     2969   7490 |        0 |        0
1332.65/1333.14	c 1333s |      26 | 12157393 |  9275952 |     2969   7497 |        0 |        0
1334.65/1335.14	c 1335s |      26 | 12174626 |  9288952 |     2969   7506 |        0 |        0
1336.65/1337.15	c 1337s |      26 | 12191586 |  9302052 |     2969   7514 |        0 |        0
1338.65/1339.16	c 1339s |      26 | 12207866 |  9314352 |     2969   7522 |        0 |        0
1340.65/1341.17	c 1341s |      26 | 12223155 |  9326152 |     2969   7529 |        0 |        0
1342.65/1343.18	c 1343s |      26 | 12239822 |  9338652 |     2969   7537 |        0 |        0
1344.65/1345.19	c 1345s |      26 | 12255670 |  9350852 |     2969   7545 |        0 |        0
1346.75/1347.20	c 1347s |      26 | 12271759 |  9363352 |     2969   7553 |        0 |        0
1348.75/1349.22	c 1349s |      26 | 12287196 |  9375252 |     2969   7561 |        0 |        0
1350.75/1351.23	c 1351s |      26 | 12303187 |  9387552 |     2969   7569 |        0 |        0
1352.75/1353.24	c 1353s |      26 | 12319578 |  9400052 |     2969   7577 |        0 |        0
1354.75/1355.25	c 1355s |      26 | 12335176 |  9411852 |     2969   7584 |        0 |        0
1356.75/1357.26	c 1357s |      26 | 12349396 |  9423252 |     2969   7591 |        0 |        0
1358.75/1359.27	c 1359s |      26 | 12365679 |  9435852 |     2969   7599 |        0 |        0
1360.75/1361.27	c 1361s |      26 | 12381904 |  9448052 |     2969   7607 |        0 |        0
1362.74/1363.28	c 1363s |      26 | 12400184 |  9461452 |     2969   7616 |        0 |        0
1364.75/1365.28	c 1365s |      26 | 12416644 |  9473652 |     2969   7623 |        0 |        0
1366.74/1367.30	c 1367s |      26 | 12432592 |  9485752 |     2969   7631 |        0 |        0
1368.84/1369.31	c 1369s |      26 | 12450629 |  9499452 |     2969   7640 |        0 |        0
1370.84/1371.32	c 1371s |      26 | 12467543 |  9512252 |     2969   7648 |        0 |        0
1372.84/1373.32	c 1373s |      26 | 12485957 |  9525552 |     2969   7657 |        0 |        0
1374.84/1375.33	c 1375s |      26 | 12504415 |  9539252 |     2969   7665 |        0 |        0
1376.85/1377.34	c 1377s |      26 | 12522820 |  9552752 |     2969   7674 |        0 |        0
1378.84/1379.35	c 1379s |      26 | 12540757 |  9566052 |     2969   7683 |        0 |        0
1380.84/1381.36	c 1381s |      26 | 12558676 |  9579752 |     2969   7691 |        0 |        0
1382.84/1383.38	c 1383s |      26 | 12576727 |  9593552 |     2969   7700 |        0 |        0
1384.84/1385.38	c 1385s |      26 | 12594462 |  9607052 |     2969   7709 |        0 |        0
1386.84/1387.39	c 1387s |      26 | 12612905 |  9620952 |     2969   7718 |        0 |        0
1388.85/1389.39	c 1389s |      26 | 12630459 |  9633852 |     2969   7726 |        0 |        0
1390.94/1391.42	c 1391s |      26 | 12648858 |  9647452 |     2969   7735 |        0 |        0
1392.94/1393.43	c 1393s |      26 | 12665748 |  9660452 |     2969   7743 |        0 |        0
1394.94/1395.43	c 1395s |      26 | 12685553 |  9675352 |     2969   7752 |        0 |        0
1396.94/1397.44	c 1397s |      26 | 12702797 |  9688452 |     2969   7761 |        0 |        0
1398.94/1399.44	c 1399s |      26 | 12722669 |  9703052 |     2969   7770 |        0 |        0
1400.94/1401.45	c 1401s |      26 | 12739807 |  9716452 |     2969   7778 |        0 |        0
1402.94/1403.47	c 1403s |      26 | 12756292 |  9729252 |     2969   7786 |        0 |        0
1404.94/1405.48	c 1405s |      26 | 12770323 |  9740352 |     2969   7794 |        0 |        0
1406.94/1407.49	c 1407s |      26 | 12785807 |  9752652 |     2969   7801 |        0 |        0
1408.94/1409.49	c 1409s |      26 | 12801853 |  9765452 |     2969   7810 |        0 |        0
1410.94/1411.49	c 1411s |      26 | 12818602 |  9778152 |     2969   7818 |        0 |        0
1412.94/1413.50	c 1413s |      26 | 12836482 |  9791952 |     2969   7826 |        0 |        0
1415.04/1415.50	c 1415s |      26 | 12852952 |  9804552 |     2969   7834 |        0 |        0
1417.04/1417.51	c 1417s |      26 | 12869824 |  9817352 |     2969   7843 |        0 |        0
1419.04/1419.52	c 1419s |      26 | 12885767 |  9829652 |     2969   7850 |        0 |        0
1421.04/1421.53	c 1421s |      26 | 12901924 |  9842052 |     2969   7858 |        0 |        0
1423.04/1423.53	c 1423s |      26 | 12917400 |  9854352 |     2969   7866 |        0 |        0
1425.03/1425.53	c 1425s |      26 | 12934342 |  9867252 |     2969   7874 |        0 |        0
1427.03/1427.53	c 1427s |      26 | 12951584 |  9880652 |     2969   7883 |        0 |        0
1429.03/1429.53	c 1429s |      26 | 12969820 |  9894452 |     2969   7892 |        0 |        0
1431.03/1431.54	c 1431s |      26 | 12986478 |  9907452 |     2969   7900 |        0 |        0
1433.03/1433.55	c 1433s |      26 | 13002035 |  9919852 |     2969   7908 |        0 |        0
1435.05/1435.56	c 1435s |      26 | 13020074 |  9933752 |     2969   7917 |        0 |        0
1437.04/1437.57	c 1437s |      26 | 13037137 |  9946852 |     2969   7925 |        0 |        0
1439.04/1439.59	c 1439s |      26 | 13053937 |  9959852 |     2969   7933 |        0 |        0
1441.04/1441.59	c 1441s |      26 | 13070454 |  9972752 |     2969   7941 |        0 |        0
1443.14/1443.61	c 1443s |      26 | 13085555 |  9984952 |     2969   7949 |        0 |        0
1445.14/1445.61	c 1445s |      26 | 13102892 |  9998352 |     2969   7958 |        0 |        0
1447.14/1447.63	c 1447s |      26 | 13118279 | 10010452 |     2969   7965 |        0 |        0
1449.14/1449.64	c 1449s |      26 | 13135774 | 10023752 |     2969   7974 |        0 |        0
1451.14/1451.66	c 1451s |      26 | 13151037 | 10035752 |     2969   7982 |        0 |        0
1453.14/1453.67	c 1453s |      26 | 13167384 | 10048152 |     2969   7989 |        0 |        0
1455.14/1455.69	c 1455s |      26 | 13184128 | 10061252 |     2969   7998 |        0 |        0
1457.14/1457.70	c 1457s |      26 | 13200569 | 10074252 |     2969   8006 |        0 |        0
1459.24/1459.70	c 1459s |      26 | 13218365 | 10087552 |     2969   8014 |        0 |        0
1461.23/1461.72	c 1461s |      26 | 13235418 | 10101152 |     2969   8023 |        0 |        0
1463.23/1463.73	c 1463s |      26 | 13251816 | 10113752 |     2969   8031 |        0 |        0
1465.23/1465.74	c 1465s |      26 | 13269784 | 10127652 |     2969   8040 |        0 |        0
1467.23/1467.75	c 1467s |      26 | 13286402 | 10140152 |     2969   8048 |        0 |        0
1469.24/1469.77	c 1469s |      26 | 13303301 | 10153052 |     2969   8056 |        0 |        0
1471.23/1471.77	c 1471s |      26 | 13319729 | 10166052 |     2969   8064 |        0 |        0
1473.23/1473.77	c 1473s |      26 | 13335303 | 10178452 |     2969   8072 |        0 |        0
1475.23/1475.78	c 1475s |      26 | 13352500 | 10191652 |     2969   8081 |        0 |        0
1477.23/1477.78	c 1477s |      26 | 13369394 | 10204352 |     2969   8089 |        0 |        0
1479.33/1479.80	c 1479s |      26 | 13384698 | 10216252 |     2969   8096 |        0 |        0
1481.23/1481.80	c 1481s |      26 | 13402239 | 10229452 |     2969   8105 |        0 |        0
1483.33/1483.80	c 1483s |      26 | 13418465 | 10240952 |     2969   8112 |        0 |        0
1485.33/1485.82	c 1485s |      26 | 13433068 | 10251852 |     2969   8119 |        0 |        0
1487.33/1487.83	c 1487s |      26 | 13447761 | 10263252 |     2969   8126 |        0 |        0
1489.33/1489.83	c 1489s |      26 | 13462322 | 10274252 |     2969   8133 |        0 |        0
1491.33/1491.85	c 1491s |      26 | 13476358 | 10285052 |     2969   8140 |        0 |        0
1493.33/1493.86	c 1493s |      26 | 13491144 | 10296352 |     2969   8147 |        0 |        0
1495.32/1495.87	c 1495s |      26 | 13502909 | 10306052 |     2969   8153 |        0 |        0
1497.32/1497.88	c 1497s |      26 | 13517648 | 10317352 |     2969   8161 |        0 |        0
1499.32/1499.88	c 1499s |      26 | 13532180 | 10328552 |     2969   8168 |        0 |        0
1501.32/1501.89	c 1501s |      26 | 13547761 | 10340252 |     2969   8175 |        0 |        0
1503.42/1503.90	c 1503s |      26 | 13562481 | 10351652 |     2969   8183 |        0 |        0
1505.32/1505.90	c 1505s |      26 | 13577614 | 10363152 |     2969   8190 |        0 |        0
1507.42/1507.91	c 1507s |      26 | 13593007 | 10375052 |     2969   8197 |        0 |        0
1509.42/1509.92	c 1509s |      26 | 13607901 | 10386752 |     2969   8205 |        0 |        0
1511.42/1511.93	c 1511s |      26 | 13623071 | 10398752 |     2969   8213 |        0 |        0
1513.42/1513.93	c 1513s |      26 | 13639300 | 10410752 |     2969   8220 |        0 |        0
1515.43/1515.94	c 1515s |      26 | 13655086 | 10422852 |     2969   8228 |        0 |        0
1517.42/1517.94	c 1517s |      26 | 13671558 | 10435152 |     2969   8236 |        0 |        0
1519.42/1519.95	c 1519s |      26 | 13686625 | 10446852 |     2969   8243 |        0 |        0
1521.42/1521.96	c 1521s |      26 | 13701186 | 10458152 |     2969   8251 |        0 |        0
1523.42/1523.97	c 1523s |      26 | 13716912 | 10470252 |     2969   8258 |        0 |        0
1525.42/1525.97	c 1525s |      26 | 13733074 | 10482352 |     2969   8266 |        0 |        0
1527.43/1527.97	c 1527s |      26 | 13748279 | 10493952 |     2969   8273 |        0 |        0
1529.43/1529.98	c 1529s |      26 | 13764320 | 10506252 |     2969   8281 |        0 |        0
1531.43/1531.98	c 1531s |      26 | 13779038 | 10517952 |     2969   8289 |        0 |        0
1533.43/1533.99	c 1533s |      26 | 13793927 | 10529752 |     2969   8296 |        0 |        0
1535.43/1535.99	c 1535s |      26 | 13809349 | 10541452 |     2969   8304 |        0 |        0
1537.52/1538.01	c 1537s |      26 | 13826543 | 10554552 |     2969   8312 |        0 |        0
1539.53/1540.01	c 1539s |      26 | 13842271 | 10566752 |     2969   8320 |        0 |        0
1541.52/1542.01	c 1541s |      26 | 13859637 | 10579652 |     2969   8328 |        0 |        0
1543.52/1544.01	c 1543s |      26 | 13875676 | 10591852 |     2969   8336 |        0 |        0
1545.52/1546.02	c 1546s |      26 | 13892827 | 10604852 |     2969   8344 |        0 |        0
1547.52/1548.04	c 1548s |      26 | 13907474 | 10616152 |     2969   8351 |        0 |        0
1549.53/1550.05	c 1550s |      26 | 13923311 | 10628452 |     2969   8359 |        0 |        0
1551.52/1552.05	c 1552s |      26 | 13939786 | 10640952 |     2969   8367 |        0 |        0
1553.52/1554.06	c 1554s |      26 | 13955385 | 10652952 |     2969   8375 |        0 |        0
1555.52/1556.07	c 1556s |      26 | 13969478 | 10663652 |     2969   8382 |        0 |        0
1557.52/1558.07	c 1558s |      26 | 13985504 | 10675552 |     2969   8389 |        0 |        0
1559.52/1560.08	c 1560s |      26 | 14002867 | 10688652 |     2969   8397 |        0 |        0
1561.52/1562.10	c 1562s |      26 | 14020168 | 10701652 |     2969   8406 |        0 |        0
1563.62/1564.11	c 1564s |      26 | 14036103 | 10714152 |     2969   8414 |        0 |        0
1565.62/1566.11	c 1566s |      26 | 14053203 | 10727152 |     2969   8422 |        0 |        0
1567.62/1568.12	c 1568s |      26 | 14071072 | 10740952 |     2969   8431 |        0 |        0
1569.62/1570.12	c 1570s |      26 | 14088596 | 10754152 |     2969   8439 |        0 |        0
1571.62/1572.13	c 1572s |      26 | 14105883 | 10767852 |     2969   8448 |        0 |        0
1573.62/1574.14	c 1574s |      26 | 14123371 | 10781052 |     2969   8456 |        0 |        0
1575.61/1576.16	c 1576s |      26 | 14141116 | 10794152 |     2969   8465 |        0 |        0
1577.61/1578.17	c 1578s |      26 | 14159358 | 10808052 |     2969   8474 |        0 |        0
1579.61/1580.17	c 1580s |      26 | 14177234 | 10821852 |     2969   8482 |        0 |        0
1581.61/1582.18	c 1582s |      26 | 14194264 | 10834952 |     2969   8491 |        0 |        0
1583.62/1584.19	c 1584s |      26 | 14211130 | 10847852 |     2969   8499 |        0 |        0
1585.61/1586.19	c 1586s |      26 | 14229176 | 10861452 |     2969   8508 |        0 |        0
1587.71/1588.20	c 1588s |      26 | 14245726 | 10874652 |     2969   8516 |        0 |        0
1589.71/1590.20	c 1590s |      26 | 14263150 | 10888152 |     2969   8525 |        0 |        0
1591.71/1592.21	c 1592s |      26 | 14280794 | 10901952 |     2969   8533 |        0 |        0
1593.71/1594.22	c 1594s |      26 | 14297198 | 10914952 |     2969   8542 |        0 |        0
1595.72/1596.23	c 1596s |      26 | 14312140 | 10926752 |     2969   8549 |        0 |        0
1597.71/1598.23	c 1598s |      26 | 14326933 | 10938552 |     2969   8557 |        0 |        0
1599.71/1600.24	c 1600s |      26 | 14342159 | 10950652 |     2969   8564 |        0 |        0
1601.71/1602.25	c 1602s |      26 | 14358369 | 10963152 |     2969   8572 |        0 |        0
1603.71/1604.25	c 1604s |      26 | 14375587 | 10976052 |     2969   8580 |        0 |        0
1605.71/1606.26	c 1606s |      26 | 14392802 | 10989152 |     2969   8589 |        0 |        0
1607.71/1608.27	c 1608s |      26 | 14408372 | 11001152 |     2969   8596 |        0 |        0
1609.71/1610.28	c 1610s |      26 | 14426356 | 11014852 |     2969   8605 |        0 |        0
1611.71/1612.28	c 1612s |      26 | 14443048 | 11027552 |     2969   8613 |        0 |        0
1613.70/1614.28	c 1614s |      26 | 14458256 | 11039952 |     2969   8621 |        0 |        0
1615.70/1616.29	c 1616s |      26 | 14474968 | 11052652 |     2969   8629 |        0 |        0
1617.80/1618.31	c 1618s |      26 | 14492019 | 11065752 |     2969   8638 |        0 |        0
1619.81/1620.31	c 1620s |      26 | 14508952 | 11078552 |     2969   8646 |        0 |        0
1621.80/1622.31	c 1622s |      26 | 14524552 | 11090552 |     2969   8653 |        0 |        0
1623.81/1624.32	c 1624s |      26 | 14541889 | 11104252 |     2969   8662 |        0 |        0
1625.81/1626.33	c 1626s |      26 | 14559585 | 11117652 |     2969   8671 |        0 |        0
1627.81/1628.34	c 1628s |      26 | 14576327 | 11131052 |     2969   8679 |        0 |        0
1629.82/1630.35	c 1630s |      26 | 14590064 | 11141952 |     2969   8686 |        0 |        0
1631.81/1632.37	c 1632s |      26 | 14605478 | 11153752 |     2969   8693 |        0 |        0
1633.81/1634.38	c 1634s |      26 | 14624296 | 11167852 |     2969   8702 |        0 |        0
1635.81/1636.39	c 1636s |      26 | 14643368 | 11181952 |     2969   8711 |        0 |        0
1637.81/1638.39	c 1638s |      26 | 14660986 | 11194952 |     2969   8719 |        0 |        0
1639.90/1640.41	c 1640s |      26 | 14677399 | 11207652 |     2969   8727 |        0 |        0
1641.91/1642.42	c 1642s |      26 | 14694750 | 11220852 |     2969   8736 |        0 |        0
1643.90/1644.43	c 1644s |      26 | 14711775 | 11233952 |     2969   8744 |        0 |        0
1645.90/1646.44	c 1646s |      26 | 14728035 | 11247052 |     2969   8752 |        0 |        0
1647.90/1648.44	c 1648s |      26 | 14746276 | 11261052 |     2969   8761 |        0 |        0
1649.90/1650.45	c 1650s |      26 | 14762484 | 11273752 |     2969   8769 |        0 |        0
1651.90/1652.45	c 1652s |      26 | 14779786 | 11287352 |     2969   8778 |        0 |        0
1653.91/1654.47	c 1654s |      26 | 14796035 | 11300452 |     2969   8786 |        0 |        0
1655.90/1656.48	c 1656s |      26 | 14811612 | 11312652 |     2969   8794 |        0 |        0
1657.90/1658.48	c 1658s |      26 | 14827795 | 11324952 |     3266   8801 |        0 |        0
1659.90/1660.49	c 1660s |      26 | 14844532 | 11337852 |     3266   8809 |        0 |        0
1661.90/1662.49	c 1662s |      26 | 14860457 | 11350552 |     3266   8816 |        0 |        0
1663.90/1664.50	c 1664s |      26 | 14877277 | 11363752 |     3266   8824 |        0 |        0
1666.00/1666.51	c 1666s |      26 | 14894769 | 11377152 |     3266   8831 |        0 |        0
1668.00/1668.53	c 1668s |      26 | 14911756 | 11389852 |     3266   8839 |        0 |        0
1669.00/1669.59	c 1669s |      27 | 14921014 | 11396733 |     3266   8843 |        0 |        0
1671.10/1671.60	c 1671s |      27 | 14938138 | 11409633 |     3266   8850 |        0 |        0
1673.10/1673.60	c 1673s |      27 | 14956640 | 11423133 |     3266   8858 |        0 |        0
1675.10/1675.61	c 1675s |      27 | 14974535 | 11436933 |     3266   8866 |        0 |        0
1677.11/1677.62	c 1677s |      27 | 14993961 | 11451433 |     3266   8874 |        0 |        0
1679.10/1679.62	c 1679s |      27 | 15011660 | 11464133 |     3266   8882 |        0 |        0
1681.10/1681.63	c 1681s |      27 | 15029649 | 11478033 |     3266   8890 |        0 |        0
1683.10/1683.64	c 1683s |      27 | 15047374 | 11491133 |     3266   8897 |        0 |        0
1685.10/1685.64	c 1685s |      27 | 15065493 | 11504633 |     3266   8905 |        0 |        0
1687.10/1687.64	c 1687s |      27 | 15082322 | 11517333 |     3266   8912 |        0 |        0
1689.11/1689.66	c 1689s |      27 | 15098985 | 11530133 |     3266   8919 |        0 |        0
1691.10/1691.67	c 1691s |      27 | 15115035 | 11542333 |     3266   8926 |        0 |        0
1693.10/1693.68	c 1693s |      27 | 15131126 | 11554233 |     3266   8933 |        0 |        0
1695.10/1695.69	c 1695s |      27 | 15147213 | 11566033 |     3266   8940 |        0 |        0
1697.10/1697.69	c 1697s |      27 | 15164044 | 11578533 |     3266   8947 |        0 |        0
1699.20/1699.70	c 1699s |      27 | 15179751 | 11590933 |     3266   8954 |        0 |        0
1701.10/1701.70	c 1701s |      27 | 15196303 | 11603433 |     3266   8961 |        0 |        0
1703.20/1703.70	c 1703s |      27 | 15215141 | 11617233 |     3266   8969 |        0 |        0
1705.19/1705.71	c 1705s |      27 | 15233494 | 11630433 |     3266   8977 |        0 |        0
1707.19/1707.72	c 1707s |      27 | 15249263 | 11643033 |     3266   8984 |        0 |        0
1709.19/1709.72	c 1709s |      27 | 15264975 | 11655033 |     3266   8991 |        0 |        0
1711.20/1711.73	c 1711s |      27 | 15280220 | 11666833 |     3266   8997 |        0 |        0
1713.19/1713.74	c 1713s |      27 | 15295401 | 11679033 |     3266   9004 |        0 |        0
1715.19/1715.74	c 1715s |      27 | 15312045 | 11691933 |     3266   9012 |        0 |        0
1717.19/1717.75	c 1717s |      27 | 15329658 | 11705533 |     3266   9019 |        0 |        0
1719.19/1719.76	c 1719s |      27 | 15344500 | 11717133 |     3266   9026 |        0 |        0
1721.19/1721.77	c 1721s |      27 | 15359743 | 11729133 |     3266   9033 |        0 |        0
1723.20/1723.79	c 1723s |      27 | 15377037 | 11742433 |     3266   9041 |        0 |        0
1725.29/1725.80	c 1725s |      27 | 15393294 | 11754833 |     3266   9048 |        0 |        0
1727.29/1727.80	c 1727s |      27 | 15408889 | 11766933 |     3266   9054 |        0 |        0
1729.29/1729.82	c 1729s |      27 | 15425659 | 11779233 |     3266   9061 |        0 |        0
1731.29/1731.83	c 1731s |      27 | 15440864 | 11791033 |     3266   9068 |        0 |        0
1733.29/1733.84	c 1733s |      27 | 15456917 | 11803533 |     3266   9075 |        0 |        0
1735.29/1735.85	c 1735s |      27 | 15471835 | 11814933 |     3266   9082 |        0 |        0
1737.29/1737.86	c 1737s |      27 | 15487278 | 11826433 |     3266   9088 |        0 |        0
1739.29/1739.88	c 1739s |      27 | 15504174 | 11839633 |     3266   9096 |        0 |        0
1741.29/1741.88	c 1741s |      27 | 15518766 | 11851333 |     3266   9103 |        0 |        0
1743.39/1743.90	c 1743s |      27 | 15535677 | 11863833 |     3266   9110 |        0 |        0
1745.39/1745.90	c 1745s |      27 | 15551466 | 11875733 |     3266   9117 |        0 |        0
1747.40/1747.91	c 1747s |      27 | 15568532 | 11888133 |     3266   9124 |        0 |        0
1749.39/1749.91	c 1749s |      27 | 15585416 | 11900733 |     3266   9131 |        0 |        0
1751.39/1751.91	c 1751s |      27 | 15602554 | 11913533 |     3266   9138 |        0 |        0
1753.39/1753.91	c 1753s |      27 | 15619350 | 11926033 |     3266   9146 |        0 |        0
1755.39/1755.92	c 1755s |      27 | 15637971 | 11939333 |     3266   9153 |        0 |        0
1757.40/1757.93	c 1757s |      27 | 15654801 | 11951933 |     3266   9161 |        0 |        0
1759.39/1759.94	c 1759s |      27 | 15673567 | 11965033 |     3266   9168 |        0 |        0
1761.39/1761.95	c 1761s |      27 | 15691061 | 11978233 |     3266   9176 |        0 |        0
1763.39/1763.96	c 1763s |      27 | 15709221 | 11992233 |     3266   9184 |        0 |        0
1765.39/1765.97	c 1765s |      27 | 15724672 | 12004433 |     3266   9191 |        0 |        0
1767.39/1767.97	c 1767s |      27 | 15744621 | 12019133 |     3266   9199 |        0 |        0
1769.39/1769.97	c 1769s |      27 | 15763469 | 12032733 |     3266   9207 |        0 |        0
1771.38/1771.98	c 1771s |      27 | 15782074 | 12046433 |     3266   9215 |        0 |        0
1773.38/1774.00	c 1773s |      27 | 15797782 | 12058933 |     3266   9222 |        0 |        0
1775.48/1776.00	c 1775s |      27 | 15813994 | 12071633 |     3266   9229 |        0 |        0
1777.48/1778.01	c 1777s |      27 | 15830106 | 12083533 |     3266   9236 |        0 |        0
1779.48/1780.02	c 1779s |      27 | 15846987 | 12095933 |     3266   9243 |        0 |        0
1781.49/1782.02	c 1781s |      27 | 15862489 | 12108033 |     3266   9250 |        0 |        0
1783.48/1784.03	c 1784s |      27 | 15878313 | 12120133 |     3266   9257 |        0 |        0
1785.48/1786.03	c 1786s |      27 | 15894929 | 12132233 |     3266   9264 |        0 |        0
1787.48/1788.03	c 1788s |      27 | 15911479 | 12144533 |     3266   9271 |        0 |        0
1789.48/1790.03	c 1790s |      27 | 15928323 | 12156733 |     3266   9278 |        0 |        0
1791.49/1792.04	c 1792s |      27 | 15945305 | 12169433 |     3266   9285 |        0 |        0
1793.48/1794.05	c 1794s |      27 | 15962430 | 12182333 |     3266   9293 |        0 |        0
1795.48/1796.07	c 1796s |      27 | 15978965 | 12194633 |     3266   9300 |        0 |        0
1797.48/1798.07	c 1798s |      27 | 15995489 | 12206933 |     3266   9307 |        0 |        0
1799.48/1800.08	c 1800s |      27 | 16012081 | 12219433 |     3266   9314 |        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-4122530-1467316885/watcher-4122530-1467316885 -o /tmp/evaluation-result-4122530-1467316885/solver-4122530-1467316885 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467316293-17792 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122530-1467316885.opb 

pid=18153
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.06 1.94 1.76 4/180 18156
/proc/meminfo: memFree=29964804/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=620988 CPUtime=0 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 2300 0 0 0 0 0 0 0 20 0 4 0 10719568 635891712 3171 33554432000 4194304 16246674 140734611900416 140734611899352 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 156015 3182 441 2943 0 152909 0
[pid=18156/tid=18157] ppid=18153 vsize=643516 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 658960384 3256 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=647612 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 663154688 3275 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=651708 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 667348992 3291 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.10021 s]
/proc/loadavg: 2.06 1.94 1.76 4/180 18156
/proc/meminfo: memFree=29964804/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 25100 0 0 0 6 3 0 0 20 0 4 0 10719568 1247350784 25960 33554432000 4194304 16246674 140734611900416 140734611899352 5662075 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 304529 25969 709 2943 0 301423 0
[pid=18156/tid=18157] ppid=18153 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1247350784 25977 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1247350784 25983 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1247350784 25989 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200503 s]
/proc/loadavg: 2.06 1.94 1.76 4/180 18156
/proc/meminfo: memFree=29964804/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 47439 0 0 0 13 6 0 0 20 0 4 0 10719568 1247350784 48300 33554432000 4194304 16246674 140734611900416 140734611899352 12478957 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 304529 48313 709 2943 0 301423 0
[pid=18156/tid=18157] ppid=18153 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1247350784 48319 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1247350784 48326 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1247350784 48330 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.30047 s]
/proc/loadavg: 2.06 1.94 1.76 4/180 18156
/proc/meminfo: memFree=29964804/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 69861 0 0 0 20 9 0 0 20 0 4 0 10719568 1247350784 70721 33554432000 4194304 16246674 140734611900416 140734611899352 5829366 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 304529 70732 709 2943 0 301423 0
[pid=18156/tid=18157] ppid=18153 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1247350784 70741 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1247350784 70748 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1247350784 70754 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700386 s]
/proc/loadavg: 2.06 1.94 1.76 4/180 18156
/proc/meminfo: memFree=29964804/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 158688 0 0 0 49 20 0 0 20 0 4 0 10719568 1247350784 159548 33554432000 4194304 16246674 140734611900416 140734611899352 5523634 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 304529 159561 709 2943 0 301423 0
[pid=18156/tid=18157] ppid=18153 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1247350784 159565 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1247350784 159571 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1247350784 159580 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50035 s]
/proc/loadavg: 2.05 1.94 1.76 3/184 18160
/proc/meminfo: memFree=28979812/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 245761 0 0 0 116 33 0 0 20 0 4 0 10719568 1248399360 246601 33554432000 4194304 16246674 140734611900416 140734611899728 6026288 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 304785 246601 785 2943 0 301679 0
[pid=18156/tid=18157] ppid=18153 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1248399360 246601 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1248399360 246601 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1248399360 246601 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10039 s]
/proc/loadavg: 2.05 1.94 1.76 3/184 18160
/proc/meminfo: memFree=28893508/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 267486 0 0 0 273 36 0 0 20 0 4 0 10719568 1337528320 268326 33554432000 4194304 16246674 140734611900416 140734611882304 5546093 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 326545 268326 785 2943 0 323439 0
[pid=18156/tid=18157] ppid=18153 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1337528320 268326 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1337528320 268326 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1337528320 268326 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.05 1.94 1.76 3/184 18160
/proc/meminfo: memFree=28891120/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 267763 0 0 0 593 36 0 0 20 0 4 0 10719568 1338576896 268603 33554432000 4194304 16246674 140734611900416 140734611883416 12478212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 326801 268603 786 2943 0 323695 0
[pid=18156/tid=18157] ppid=18153 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1338576896 268603 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1338576896 268603 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1338576896 268603 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.05 1.94 1.76 3/184 18160
/proc/meminfo: memFree=28890312/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 267877 0 0 0 1233 36 0 0 20 0 4 0 10719568 1339625472 268717 33554432000 4194304 16246674 140734611900416 140734611882304 5662012 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 327057 268717 786 2943 0 323951 0
[pid=18156/tid=18157] ppid=18153 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1339625472 268717 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1339625472 268717 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1339625472 268717 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.04 1.94 1.76 3/184 18160
/proc/meminfo: memFree=28888840/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1309252 CPUtime=25.48 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 268335 0 0 0 2512 36 0 0 20 0 4 0 10719568 1340674048 269175 33554432000 4194304 16246674 140734611900416 140734611882304 6055844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 327313 269175 786 2943 0 324207 0
[pid=18156/tid=18157] ppid=18153 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1340674048 269175 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1340674048 269175 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1340674048 269175 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1309252

[startup+51.1005 s]
/proc/loadavg: 2.02 1.95 1.77 3/183 18160
/proc/meminfo: memFree=28889056/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 268336 0 0 0 5071 37 0 0 20 0 4 0 10719568 1340674048 269176 33554432000 4194304 16246674 140734611900416 140734611882304 5717450 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 327313 269176 787 2943 0 324207 0
[pid=18156/tid=18157] ppid=18153 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1340674048 269176 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1340674048 269176 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1340674048 269176 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.01 1.95 1.78 3/183 18161
/proc/meminfo: memFree=28887656/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1309252 CPUtime=102.28 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 268336 0 0 0 10190 38 0 0 20 0 4 0 10719568 1340674048 269176 33554432000 4194304 16246674 140734611900416 140734611882304 5824052 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 327313 269176 787 2943 0 324207 0
[pid=18156/tid=18157] ppid=18153 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1340674048 269176 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1340674048 269176 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1340674048 269176 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1319492

[startup+1302.3 s]
/proc/loadavg: 1.28 1.77 1.84 2/173 18223
/proc/meminfo: memFree=29968948/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1319492 CPUtime=1301.86 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 271326 0 0 0 130130 56 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140734611882304 4206577 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 329873 271740 788 2943 0 326767 0
[pid=18156/tid=18157] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 1.31 1.69 1.80 2/173 18224
/proc/meminfo: memFree=29969200/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1319492 CPUtime=1361.85 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 271326 0 0 0 136129 56 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140734611882304 5672788 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 329873 271740 788 2943 0 326767 0
[pid=18156/tid=18157] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 1.29 1.61 1.76 2/173 18225
/proc/meminfo: memFree=29969200/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1319492 CPUtime=1421.84 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 271326 0 0 0 142128 56 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140734611882304 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 329873 271740 788 2943 0 326767 0
[pid=18156/tid=18157] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 1.23 1.52 1.72 2/173 18226
/proc/meminfo: memFree=29969204/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1319492 CPUtime=1481.83 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 271326 0 0 0 148126 57 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140734611882304 5822492 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 329873 271740 788 2943 0 326767 0
[pid=18156/tid=18157] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1319492

[startup+1542.31 s]
/proc/loadavg: 1.18 1.46 1.69 2/173 18228
/proc/meminfo: memFree=29969332/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1319492 CPUtime=1541.83 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 271326 0 0 0 154125 58 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140734611883416 6013044 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 329873 271740 788 2943 0 326767 0
[pid=18156/tid=18157] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 1.06 1.37 1.64 2/173 18229
/proc/meminfo: memFree=29969464/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1319492 CPUtime=1601.81 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 271326 0 0 0 160123 58 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140734611882304 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 329873 271740 788 2943 0 326767 0
[pid=18156/tid=18157] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1319492

[startup+1662.3 s]
/proc/loadavg: 1.02 1.30 1.60 2/173 18230
/proc/meminfo: memFree=29969216/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1319492 CPUtime=1661.8 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 271326 0 0 0 166121 59 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140734611883416 6023973 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 329873 271740 788 2943 0 326767 0
[pid=18156/tid=18157] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1319492

[startup+1722.3 s]
/proc/loadavg: 1.01 1.24 1.56 2/174 18234
/proc/meminfo: memFree=29968628/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1319492 CPUtime=1721.79 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 271326 0 0 0 172119 60 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140734611882304 5672213 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 329873 271740 788 2943 0 326767 0
[pid=18156/tid=18157] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1319492

[startup+1782.3 s]
/proc/loadavg: 1.00 1.20 1.52 2/173 18235
/proc/meminfo: memFree=29968980/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1319492 CPUtime=1781.78 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 271326 0 0 0 178117 61 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140734611882304 5808200 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 329873 271740 788 2943 0 326767 0
[pid=18156/tid=18157] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.19 1.51 2/173 18235
/proc/meminfo: memFree=29968980/32872528 swapFree=240816/273520
[pid=18156] ppid=18153 vsize=1319492 CPUtime=1800.08 cores=0,2,4,6
/proc/18156/stat : 18156 (toysat) R 18153 18156 15535 0 -1 4202496 271326 0 0 0 179946 62 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140734611882304 5677537 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/18156/statm: 329873 271740 788 2943 0 326767 0
[pid=18156/tid=18157] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18157/stat : 18157 (toysat) S 18153 18156 15535 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639907851504 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=18156/tid=18158] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18158/stat : 18158 (toysat) S 18153 18156 15535 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639897361648 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=18156/tid=18159] ppid=18153 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/18156/task/18159/stat : 18159 (toysat) S 18153 18156 15535 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10719568 1351159808 271740 33554432000 4194304 16246674 140734611900416 140639777844400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1319492

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.47
CPU system time (s): 0.626904
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.626904
maximum resident set size= 1086960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271326
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= 442
involuntary context switches= 1895

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.99224 second user time and 6.98794 second system time

The end

Begin job on node107 at 2016-06-30 22:01:25
IDJOB=4122530
IDBENCH=111160
IDSOLVER=2542
FILE ID=node107/4122530-1467316885
RUNJOBID= node107-1467316293-17792
PBS_JOBID= 20005268
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-92.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-4122530-1467316885/watcher-4122530-1467316885 -o /tmp/evaluation-result-4122530-1467316885/solver-4122530-1467316885 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1467316293-17792 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122530-1467316885.opb

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

MD5SUM BENCH= 62cc0024098140ef1e3152906c1b4757
RANDOM SEED=281015666

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29965092 kB
Buffers:          135340 kB
Cached:           670092 kB
SwapCached:            0 kB
Active:          1347164 kB
Inactive:         543072 kB
Active(anon):    1087368 kB
Inactive(anon):        4 kB
Active(file):     259796 kB
Inactive(file):   543068 kB
Unevictable:      273520 kB
Mlocked:          240816 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1360248 kB
Mapped:            17120 kB
Shmem:               204 kB
Slab:             609164 kB
SReclaimable:      53204 kB
SUnreclaim:       555960 kB
KernelStack:        1528 kB
PageTables:         7080 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1496344 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    708608 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node107 at 2016-06-30 22:31:26