0.00/0.00	c 2016-06-30T20:37:54+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-4120634-1467311873.opb"]
0.00/0.01	c use --random-gen="2532803511 2146059934 3665345825 2014888650 2021226483 3691967255 4049314334 426779379 3339591765 442832846 4237810029 4088915387 2574988961 4271371455 2768802661 883936145 3425331596 257008127 2230812417 4219114228 4178981263 596869536 849814698 4235056517 3333983416 2189368312 3229402454 1931338622 2289017194 371199250 1206698864 4113337609 2312113840 2422264396 2916839013 948948076 2946168916 158107975 932530734 1393434788 1532383100 2992107721 638560089 1001404890 276909549 4094238024 2877297181 2269046998 544268246 4056753219 360628804 2232880659 4040189891 2421487736 2684239281 928354657 665013295 880791868 4052076932 408225483 818675382 375993737 304519918 3146642546 3781894555 4153952890 3766736960 1934105376 484518056 1101425370 2219612594 1102044749 957147173 2225190061 4147302738 2037837844 2952689692 2893771126 4059302617 2811441089 2012748017 4005433469 507683715 1229860511 1206672381 2021998021 148770051 3513410306 780130324 4001817366 1894956739 1141681779 1499317568 3051248199 3687202461 3166453359 2474770668 3906725668 2463905347 3344860680 3182021587 575824764 4216939158 2413304960 1001040392 3575161595 3704056860 3631503438 1131019100 4147067189 1372617441 2595750794 945726397 696649285 1976296499 563683462 1427475940 737209500 3894716799 1367195470 2476059898 1910814159 2595276481 1172642197 3053770403 2868774207 3535065162 1158448261 3391583168 1481753987 107572372 3417900116 1396292750 4224324461 618240130 1784304539 2346538314 1264346344 3169068092 2080289158 2495473436 3601104317 1855307133 4272572277 2428521435 3535807881 2748908298 1440882108 456050223 4135475909 637625933 2021019639 3555120831 1006249520 1838457256 2719883468 2992147151 2124720261 1243494880 1128881334 466000571 2723263007 3276886810 1847457153 1624082665 3652617133 3475205287 3286024920 3556257627 761996053 1153338718 1639047345 1383510901 2066721065 2716751317 1559642616 508553295 3083943840 2960354171 568911028 3937689972 2191796689 1488627782 1658735790 2491143518 321351652 1274714826 3101465471 3887366923 1570486237 726606357 522433171 2650474382 3081114408 264684252 3232706220 2573394062 4166317784 2686692034 3928258628 4170199272 3191575272 4241865246 1695803514 2748572556 1311565941 2475220392 596942571 1353002057 1010170728 894271866 3721662739 3180331557 706605028 175168262 1376955813 2773291084 1518766152 1973456178 3662189595 1168309677 3159027695 547588442 1695404349 1394328990 949782239 1719973657 3509371998 475166772 364456290 3915276804 3260546931 2821767936 1099307533 2159716631 2554140537 2760913430 4267081656 1368195578 3334166552 2588257049 3975262679 4251988025 1807351652 3123100117 3133532767 3319145066 2835455279 2959907197 3657727398 3941610512 2813144048 582128236 2108486755 4290829491 3501957456 255 362436" option to reproduce the execution
0.00/0.01	c #vars 293
0.00/0.01	c #constraints 292
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 |      195      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      177 |      100 |      195      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      507 |      250 |      215      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      851 |      475 |      237      1 |        0 |        0
0.08/0.11	c  0.1s |       4 |     1294 |      813 |      261      3 |        0 |        0
0.08/0.16	c  0.1s |       5 |     2114 |     1320 |      288      5 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3241 |     2081 |      349      8 |        0 |        0
0.29/0.36	c  0.3s |       7 |     4850 |     3223 |      384     13 |        0 |        0
0.49/0.55	c  0.5s |       8 |     7214 |     4936 |      423     18 |        0 |        0
0.79/0.83	c  0.8s |       9 |    10905 |     7506 |      466     26 |        0 |        0
1.20/1.24	c  1.2s |      10 |    15901 |    11361 |      513     38 |        0 |        0
1.69/1.71	c  1.7s |      11 |    24570 |    17144 |      565     55 |        0 |        0
2.39/2.49	c  2.5s |      12 |    36488 |    25819 |      622     77 |        0 |        0
3.69/3.72	c  3.7s |      13 |    54791 |    38832 |      685    111 |        0 |        0
5.50/5.51	c  5.5s |      14 |    79941 |    58352 |      754    157 |        0 |        0
7.49/7.52	c  7.5s |      14 |   107794 |    78752 |      754    201 |        0 |        0
8.39/8.41	c  8.4s |      15 |   119475 |    87632 |      830    220 |        0 |        0
10.39/10.42	c 10.4s |      15 |   148197 |   108932 |      830    262 |        0 |        0
12.39/12.43	c 12.4s |      15 |   174686 |   129132 |      830    302 |        0 |        0
12.59/12.64	c 12.6s |      16 |   178020 |   131552 |      914    307 |        0 |        0
14.59/14.64	c 14.6s |      16 |   203522 |   150952 |      914    343 |        0 |        0
16.60/16.65	c 16.6s |      16 |   228208 |   169552 |      914    377 |        0 |        0
18.59/18.65	c 18.6s |      16 |   251835 |   187452 |      914    410 |        0 |        0
19.69/19.72	c 19.7s |      17 |   264724 |   197432 |     1006    429 |        0 |        0
21.69/21.73	c 21.7s |      17 |   290274 |   216632 |     1006    461 |        0 |        0
23.69/23.74	c 23.7s |      17 |   316063 |   236032 |     1006    494 |        0 |        0
25.69/25.75	c 25.7s |      17 |   341330 |   255432 |     1006    527 |        0 |        0
27.69/27.76	c 27.7s |      17 |   367239 |   275332 |     1006    561 |        0 |        0
29.69/29.76	c 29.7s |      17 |   392543 |   295132 |     1107    594 |        0 |        0
29.79/29.88	c 29.9s |      18 |   393919 |   296252 |     1107    596 |        0 |        0
31.78/31.88	c 31.9s |      18 |   416383 |   314052 |     1107    623 |        0 |        0
33.78/33.89	c 33.9s |      18 |   441543 |   333452 |     1107    654 |        0 |        0
35.78/35.89	c 35.9s |      18 |   468063 |   353052 |     1107    685 |        0 |        0
37.78/37.89	c 37.9s |      18 |   494259 |   372952 |     1107    716 |        0 |        0
39.88/39.90	c 39.9s |      18 |   521115 |   392452 |     1107    747 |        0 |        0
41.89/41.91	c 41.9s |      18 |   547891 |   412152 |     1107    779 |        0 |        0
43.89/43.92	c 43.9s |      18 |   574841 |   431652 |     1107    809 |        0 |        0
45.28/45.36	c 45.3s |      19 |   591275 |   444482 |     1218    829 |        0 |        0
47.29/47.36	c 47.3s |      19 |   613060 |   461482 |     1218    854 |        0 |        0
49.28/49.37	c 49.4s |      19 |   634423 |   478482 |     1218    878 |        0 |        0
51.28/51.37	c 51.4s |      19 |   657652 |   496482 |     1218    905 |        0 |        0
53.28/53.38	c 53.4s |      19 |   682843 |   515482 |     1218    932 |        0 |        0
55.28/55.39	c 55.4s |      19 |   705966 |   533982 |     1218    959 |        0 |        0
57.28/57.39	c 57.4s |      19 |   729069 |   552182 |     1218    986 |        0 |        0
59.38/59.41	c 59.4s |      19 |   753054 |   569882 |     1218   1012 |        0 |        0
61.37/61.41	c 61.4s |      19 |   776263 |   587382 |     1218   1037 |        0 |        0
63.37/63.42	c 63.4s |      19 |   798359 |   604282 |     1218   1061 |        0 |        0
65.37/65.42	c 65.4s |      19 |   821448 |   622082 |     1218   1088 |        0 |        0
67.37/67.42	c 67.4s |      19 |   845749 |   641082 |     1218   1115 |        0 |        0
69.38/69.42	c 69.4s |      19 |   870743 |   659582 |     1218   1142 |        0 |        0
70.18/70.20	c 70.2s |      20 |   880501 |   666827 |     1340   1152 |        0 |        0
72.18/72.20	c 72.2s |      20 |   903956 |   684827 |     1340   1175 |        0 |        0
74.17/74.20	c 74.2s |      20 |   927567 |   703327 |     1340   1200 |        0 |        0
76.17/76.21	c 76.2s |      20 |   952182 |   721927 |     1340   1225 |        0 |        0
78.18/78.21	c 78.2s |      20 |   975502 |   739727 |     1340   1249 |        0 |        0
80.17/80.22	c 80.2s |      20 |   999425 |   757827 |     1340   1273 |        0 |        0
82.17/82.23	c 82.2s |      20 |  1020153 |   773827 |     1340   1295 |        0 |        0
84.17/84.24	c 84.2s |      20 |  1038726 |   789827 |     1340   1316 |        0 |        0
86.16/86.25	c 86.2s |      20 |  1062413 |   807727 |     1340   1340 |        0 |        0
88.16/88.25	c 88.2s |      20 |  1086501 |   825527 |     1340   1364 |        0 |        0
90.17/90.25	c 90.2s |      20 |  1108927 |   842427 |     1340   1386 |        0 |        0
92.16/92.26	c 92.2s |      20 |  1132601 |   860727 |     1340   1411 |        0 |        0
94.16/94.27	c 94.3s |      20 |  1156773 |   878927 |     1340   1435 |        0 |        0
96.17/96.28	c 96.3s |      20 |  1180516 |   896827 |     1340   1460 |        0 |        0
98.17/98.28	c 98.3s |      20 |  1205935 |   915927 |     1340   1485 |        0 |        0
100.17/100.29	c  100s |      20 |  1229667 |   934027 |     1340   1510 |        0 |        0
102.17/102.29	c  102s |      20 |  1253897 |   951927 |     1340   1534 |        0 |        0
104.17/104.29	c  104s |      20 |  1277075 |   969827 |     1340   1558 |        0 |        0
106.26/106.30	c  106s |      20 |  1301788 |   988327 |     1340   1582 |        0 |        0
107.56/107.69	c  107s |      21 |  1317089 |  1000345 |     1475   1597 |        0 |        0
109.66/109.70	c  109s |      21 |  1336839 |  1016045 |     1475   1617 |        0 |        0
111.66/111.70	c  111s |      21 |  1357125 |  1031845 |     1475   1636 |        0 |        0
113.66/113.72	c  113s |      21 |  1379526 |  1049145 |     1475   1657 |        0 |        0
115.66/115.72	c  115s |      21 |  1402605 |  1066645 |     1475   1678 |        0 |        0
117.67/117.73	c  117s |      21 |  1424299 |  1083445 |     1475   1699 |        0 |        0
119.66/119.74	c  119s |      21 |  1447089 |  1101145 |     1475   1721 |        0 |        0
121.66/121.75	c  121s |      21 |  1468603 |  1117945 |     1475   1741 |        0 |        0
123.66/123.76	c  123s |      21 |  1491119 |  1135345 |     1475   1762 |        0 |        0
125.66/125.77	c  125s |      21 |  1514310 |  1152645 |     1475   1784 |        0 |        0
127.66/127.78	c  127s |      21 |  1536557 |  1169945 |     1475   1805 |        0 |        0
129.65/129.78	c  129s |      21 |  1558321 |  1186845 |     1475   1825 |        0 |        0
131.65/131.78	c  131s |      21 |  1580682 |  1203745 |     1475   1846 |        0 |        0
133.65/133.79	c  133s |      21 |  1601329 |  1220145 |     1475   1866 |        0 |        0
135.65/135.79	c  135s |      21 |  1620927 |  1235445 |     1475   1885 |        0 |        0
137.75/137.80	c  137s |      21 |  1642520 |  1252045 |     1475   1906 |        0 |        0
139.75/139.81	c  139s |      21 |  1665557 |  1269445 |     1475   1927 |        0 |        0
141.74/141.82	c  141s |      21 |  1687653 |  1285945 |     1475   1947 |        0 |        0
143.75/143.83	c  143s |      21 |  1709507 |  1302545 |     1475   1968 |        0 |        0
145.75/145.84	c  145s |      21 |  1731124 |  1318845 |     1475   1988 |        0 |        0
147.75/147.84	c  147s |      21 |  1753879 |  1335745 |     1475   2008 |        0 |        0
149.75/149.85	c  149s |      21 |  1776656 |  1352845 |     1475   2029 |        0 |        0
151.75/151.87	c  151s |      21 |  1798924 |  1369445 |     1475   2050 |        0 |        0
153.75/153.88	c  153s |      21 |  1820489 |  1385945 |     1475   2070 |        0 |        0
155.75/155.89	c  155s |      21 |  1842549 |  1402645 |     1475   2090 |        0 |        0
157.75/157.89	c  157s |      21 |  1866269 |  1420045 |     1475   2111 |        0 |        0
159.74/159.90	c  159s |      21 |  1889383 |  1437445 |     1475   2133 |        0 |        0
161.84/161.90	c  161s |      21 |  1912133 |  1455245 |     1475   2155 |        0 |        0
163.85/163.91	c  163s |      21 |  1934063 |  1472145 |     1475   2175 |        0 |        0
165.84/165.92	c  165s |      21 |  1955513 |  1488545 |     1475   2196 |        0 |        0
167.25/167.33	c  167s |      22 |  1971993 |  1500622 |     1623   2209 |        0 |        0
169.24/169.33	c  169s |      22 |  1993740 |  1517522 |     1623   2228 |        0 |        0
171.24/171.33	c  171s |      22 |  2014388 |  1533422 |     1623   2246 |        0 |        0
173.24/173.34	c  173s |      22 |  2036000 |  1549722 |     1623   2264 |        0 |        0
175.24/175.34	c  175s |      22 |  2057904 |  1566422 |     1623   2283 |        0 |        0
177.24/177.35	c  177s |      22 |  2078279 |  1582422 |     1623   2301 |        0 |        0
179.24/179.36	c  179s |      22 |  2102067 |  1599522 |     1623   2321 |        0 |        0
181.23/181.37	c  181s |      22 |  2125118 |  1616722 |     1623   2340 |        0 |        0
183.23/183.37	c  183s |      22 |  2148570 |  1634322 |     1623   2360 |        0 |        0
185.23/185.39	c  185s |      22 |  2170320 |  1650622 |     1623   2379 |        0 |        0
187.23/187.39	c  187s |      22 |  2193153 |  1667822 |     1623   2398 |        0 |        0
189.33/189.40	c  189s |      22 |  2215084 |  1684322 |     1623   2417 |        0 |        0
191.33/191.41	c  191s |      22 |  2238649 |  1701622 |     1623   2436 |        0 |        0
193.33/193.42	c  193s |      22 |  2258976 |  1717522 |     1623   2455 |        0 |        0
195.32/195.42	c  195s |      22 |  2280021 |  1733822 |     1623   2473 |        0 |        0
197.32/197.43	c  197s |      22 |  2301862 |  1750422 |     1623   2492 |        0 |        0
199.32/199.43	c  199s |      22 |  2322720 |  1766722 |     1623   2511 |        0 |        0
201.33/201.44	c  201s |      22 |  2345056 |  1783622 |     1623   2530 |        0 |        0
203.32/203.44	c  203s |      22 |  2365859 |  1800022 |     1623   2549 |        0 |        0
205.31/205.45	c  205s |      22 |  2386664 |  1816122 |     1623   2567 |        0 |        0
207.31/207.45	c  207s |      22 |  2407309 |  1832022 |     1623   2586 |        0 |        0
209.31/209.46	c  209s |      22 |  2427736 |  1847422 |     1623   2603 |        0 |        0
211.31/211.46	c  211s |      22 |  2448366 |  1863322 |     1623   2621 |        0 |        0
213.32/213.46	c  213s |      22 |  2470234 |  1879822 |     1623   2640 |        0 |        0
215.31/215.47	c  215s |      22 |  2491654 |  1895922 |     1623   2659 |        0 |        0
217.31/217.47	c  217s |      22 |  2512774 |  1912222 |     1623   2678 |        0 |        0
219.32/219.48	c  219s |      22 |  2534890 |  1928722 |     1623   2697 |        0 |        0
221.32/221.48	c  221s |      22 |  2557052 |  1945222 |     1623   2716 |        0 |        0
223.32/223.49	c  223s |      22 |  2576350 |  1960622 |     1623   2733 |        0 |        0
225.31/225.50	c  225s |      22 |  2599388 |  1977722 |     1623   2753 |        0 |        0
227.41/227.50	c  227s |      22 |  2619612 |  1993422 |     1623   2771 |        0 |        0
229.41/229.51	c  229s |      22 |  2640392 |  2009922 |     1623   2790 |        0 |        0
231.41/231.53	c  231s |      22 |  2663355 |  2027522 |     1623   2811 |        0 |        0
233.41/233.53	c  233s |      22 |  2684186 |  2044022 |     1623   2830 |        0 |        0
235.41/235.55	c  235s |      22 |  2705388 |  2060322 |     1623   2849 |        0 |        0
237.40/237.55	c  237s |      22 |  2726536 |  2076422 |     1623   2867 |        0 |        0
239.40/239.55	c  239s |      22 |  2747427 |  2092422 |     1623   2886 |        0 |        0
241.40/241.55	c  241s |      22 |  2768777 |  2108622 |     1623   2904 |        0 |        0
243.40/243.56	c  243s |      22 |  2791364 |  2125622 |     1623   2924 |        0 |        0
245.39/245.57	c  245s |      22 |  2813990 |  2142922 |     1623   2944 |        0 |        0
247.40/247.58	c  247s |      22 |  2836556 |  2160122 |     1623   2963 |        0 |        0
249.39/249.58	c  249s |      22 |  2859919 |  2177922 |     1623   2983 |        0 |        0
251.39/251.58	c  251s |      22 |  2882771 |  2195622 |     1623   3003 |        0 |        0
253.49/253.60	c  253s |      22 |  2904082 |  2212322 |     1623   3023 |        0 |        0
255.50/255.61	c  255s |      22 |  2927660 |  2229822 |     1623   3042 |        0 |        0
257.50/257.61	c  257s |      22 |  2949589 |  2246722 |     1786   3060 |        0 |        0
258.00/258.15	c  258s |      23 |  2955224 |  2251038 |     1786   3065 |        0 |        0
260.00/260.16	c  260s |      23 |  2977418 |  2267838 |     1786   3082 |        0 |        0
262.00/262.16	c  262s |      23 |  2999209 |  2284638 |     1786   3099 |        0 |        0
264.00/264.17	c  264s |      23 |  3021798 |  2301938 |     1786   3117 |        0 |        0
265.99/266.18	c  266s |      23 |  3043430 |  2318638 |     1786   3134 |        0 |        0
267.99/268.19	c  268s |      23 |  3065274 |  2335138 |     1786   3151 |        0 |        0
269.99/270.19	c  270s |      23 |  3088748 |  2352438 |     1786   3169 |        0 |        0
271.99/272.20	c  272s |      23 |  3111249 |  2369538 |     1786   3186 |        0 |        0
274.09/274.21	c  274s |      23 |  3133614 |  2386438 |     1786   3204 |        0 |        0
276.10/276.21	c  276s |      23 |  3155311 |  2403338 |     1786   3221 |        0 |        0
278.09/278.22	c  278s |      23 |  3179590 |  2421238 |     1786   3240 |        0 |        0
280.09/280.22	c  280s |      23 |  3201626 |  2438238 |     1786   3257 |        0 |        0
282.09/282.23	c  282s |      23 |  3224332 |  2455838 |     1786   3275 |        0 |        0
284.09/284.23	c  284s |      23 |  3247312 |  2473138 |     1786   3293 |        0 |        0
286.09/286.23	c  286s |      23 |  3269603 |  2490038 |     1786   3310 |        0 |        0
288.09/288.23	c  288s |      23 |  3291107 |  2506438 |     1786   3327 |        0 |        0
290.09/290.24	c  290s |      23 |  3314117 |  2523638 |     1786   3345 |        0 |        0
292.09/292.25	c  292s |      23 |  3336272 |  2540938 |     1786   3363 |        0 |        0
294.08/294.26	c  294s |      23 |  3359726 |  2558138 |     1786   3380 |        0 |        0
296.08/296.27	c  296s |      23 |  3382836 |  2575338 |     1786   3398 |        0 |        0
298.08/298.27	c  298s |      23 |  3405641 |  2592638 |     1786   3416 |        0 |        0
300.08/300.27	c  300s |      23 |  3429215 |  2609938 |     1786   3434 |        0 |        0
302.08/302.28	c  302s |      23 |  3451197 |  2626738 |     1786   3451 |        0 |        0
304.08/304.28	c  304s |      23 |  3472461 |  2643238 |     1786   3468 |        0 |        0
306.07/306.29	c  306s |      23 |  3494519 |  2660038 |     1786   3486 |        0 |        0
308.07/308.29	c  308s |      23 |  3516186 |  2677238 |     1786   3504 |        0 |        0
310.07/310.30	c  310s |      23 |  3539594 |  2695538 |     1786   3523 |        0 |        0
312.17/312.30	c  312s |      23 |  3562809 |  2713538 |     1786   3542 |        0 |        0
314.17/314.30	c  314s |      23 |  3585306 |  2731338 |     1786   3560 |        0 |        0
316.17/316.31	c  316s |      23 |  3607598 |  2748638 |     1786   3578 |        0 |        0
318.16/318.32	c  318s |      23 |  3631701 |  2766738 |     1786   3597 |        0 |        0
320.16/320.32	c  320s |      23 |  3656754 |  2785038 |     1786   3617 |        0 |        0
322.18/322.32	c  322s |      23 |  3680607 |  2803138 |     1786   3636 |        0 |        0
324.17/324.33	c  324s |      23 |  3705542 |  2820938 |     1786   3654 |        0 |        0
326.17/326.34	c  326s |      23 |  3728668 |  2838238 |     1786   3672 |        0 |        0
328.17/328.35	c  328s |      23 |  3749266 |  2853838 |     1786   3689 |        0 |        0
330.17/330.36	c  330s |      23 |  3769914 |  2869438 |     1786   3705 |        0 |        0
332.17/332.36	c  332s |      23 |  3790006 |  2884838 |     1786   3722 |        0 |        0
334.17/334.37	c  334s |      23 |  3811087 |  2900738 |     1786   3738 |        0 |        0
336.16/336.38	c  336s |      23 |  3831086 |  2916438 |     1786   3755 |        0 |        0
338.16/338.38	c  338s |      23 |  3849807 |  2931438 |     1786   3770 |        0 |        0
340.26/340.40	c  340s |      23 |  3870851 |  2947538 |     1786   3787 |        0 |        0
342.26/342.40	c  342s |      23 |  3890356 |  2962438 |     1786   3803 |        0 |        0
344.27/344.41	c  344s |      23 |  3910061 |  2977538 |     1786   3819 |        0 |        0
346.26/346.41	c  346s |      23 |  3929146 |  2992538 |     1786   3835 |        0 |        0
348.26/348.41	c  348s |      23 |  3949413 |  3007938 |     1786   3851 |        0 |        0
350.26/350.42	c  350s |      23 |  3971754 |  3024738 |     1786   3869 |        0 |        0
352.25/352.42	c  352s |      23 |  3994481 |  3041638 |     1786   3887 |        0 |        0
354.25/354.43	c  354s |      23 |  4017909 |  3059038 |     1786   3905 |        0 |        0
356.26/356.44	c  356s |      23 |  4039869 |  3075338 |     1786   3922 |        0 |        0
358.25/358.44	c  358s |      23 |  4061713 |  3092238 |     1786   3940 |        0 |        0
360.25/360.44	c  360s |      23 |  4082372 |  3108238 |     1786   3956 |        0 |        0
362.25/362.46	c  362s |      23 |  4104260 |  3124338 |     1786   3973 |        0 |        0
364.25/364.46	c  364s |      23 |  4125319 |  3140538 |     1786   3990 |        0 |        0
366.25/366.46	c  366s |      23 |  4145866 |  3156238 |     1786   4007 |        0 |        0
368.25/368.48	c  368s |      23 |  4167121 |  3172338 |     1786   4024 |        0 |        0
370.25/370.48	c  370s |      23 |  4189981 |  3189138 |     1786   4042 |        0 |        0
372.25/372.49	c  372s |      23 |  4210194 |  3204938 |     1786   4058 |        0 |        0
374.35/374.51	c  374s |      23 |  4231401 |  3221438 |     1786   4076 |        0 |        0
376.34/376.51	c  376s |      23 |  4254316 |  3238638 |     1786   4094 |        0 |        0
378.35/378.52	c  378s |      23 |  4278264 |  3256838 |     1786   4112 |        0 |        0
380.34/380.52	c  380s |      23 |  4301874 |  3274638 |     1786   4131 |        0 |        0
382.34/382.53	c  382s |      23 |  4323973 |  3291638 |     1786   4148 |        0 |        0
384.34/384.53	c  384s |      23 |  4345433 |  3308338 |     1786   4166 |        0 |        0
386.34/386.54	c  386s |      23 |  4366955 |  3325338 |     1786   4183 |        0 |        0
388.33/388.54	c  388s |      23 |  4388587 |  3341838 |     1786   4201 |        0 |        0
390.34/390.54	c  390s |      23 |  4411622 |  3359138 |     1965   4218 |        0 |        0
392.33/392.56	c  392s |      23 |  4433972 |  3376138 |     1965   4234 |        0 |        0
392.43/392.63	c  392s |      24 |  4434570 |  3376662 |     1965   4235 |        0 |        0
394.43/394.64	c  394s |      24 |  4454766 |  3392262 |     1965   4249 |        0 |        0
396.43/396.65	c  396s |      24 |  4476470 |  3408562 |     1965   4265 |        0 |        0
398.43/398.67	c  398s |      24 |  4497471 |  3424462 |     1965   4279 |        0 |        0
400.43/400.67	c  400s |      24 |  4520308 |  3440962 |     1965   4295 |        0 |        0
402.43/402.68	c  402s |      24 |  4541447 |  3456762 |     1965   4310 |        0 |        0
404.43/404.68	c  404s |      24 |  4561350 |  3472262 |     1965   4324 |        0 |        0
406.42/406.69	c  406s |      24 |  4583016 |  3488262 |     1965   4340 |        0 |        0
408.52/408.70	c  408s |      24 |  4604224 |  3504262 |     1965   4355 |        0 |        0
410.52/410.70	c  410s |      24 |  4624547 |  3519762 |     1965   4369 |        0 |        0
412.52/412.71	c  412s |      24 |  4645303 |  3535262 |     1965   4384 |        0 |        0
414.52/414.71	c  414s |      24 |  4667096 |  3551562 |     1965   4400 |        0 |        0
416.52/416.71	c  416s |      24 |  4689431 |  3567562 |     1965   4415 |        0 |        0
418.52/418.72	c  418s |      24 |  4710772 |  3583062 |     1965   4429 |        0 |        0
420.52/420.72	c  420s |      24 |  4731537 |  3598362 |     1965   4444 |        0 |        0
422.52/422.73	c  422s |      24 |  4750689 |  3612862 |     1965   4458 |        0 |        0
424.52/424.73	c  424s |      24 |  4771858 |  3627962 |     1965   4472 |        0 |        0
426.52/426.74	c  426s |      24 |  4793756 |  3643962 |     1965   4487 |        0 |        0
428.52/428.75	c  428s |      24 |  4814008 |  3659262 |     1965   4502 |        0 |        0
430.52/430.76	c  430s |      24 |  4833071 |  3674062 |     1965   4516 |        0 |        0
432.52/432.76	c  432s |      24 |  4854410 |  3690262 |     1965   4531 |        0 |        0
434.51/434.77	c  434s |      24 |  4873906 |  3705262 |     1965   4545 |        0 |        0
436.52/436.77	c  436s |      24 |  4893651 |  3720262 |     1965   4560 |        0 |        0
438.51/438.78	c  438s |      24 |  4915431 |  3736062 |     1965   4575 |        0 |        0
440.51/440.79	c  440s |      24 |  4936189 |  3751162 |     1965   4589 |        0 |        0
442.51/442.79	c  442s |      24 |  4955841 |  3765962 |     1965   4603 |        0 |        0
444.61/444.80	c  444s |      24 |  4976171 |  3780762 |     1965   4617 |        0 |        0
446.61/446.81	c  446s |      24 |  4996435 |  3796162 |     1965   4632 |        0 |        0
448.61/448.81	c  448s |      24 |  5018185 |  3812062 |     1965   4647 |        0 |        0
450.60/450.82	c  450s |      24 |  5038730 |  3827862 |     1965   4662 |        0 |        0
452.60/452.82	c  452s |      24 |  5062149 |  3845062 |     1965   4678 |        0 |        0
454.60/454.82	c  454s |      24 |  5084799 |  3861962 |     1965   4694 |        0 |        0
456.60/456.83	c  456s |      24 |  5106127 |  3878262 |     1965   4710 |        0 |        0
458.60/458.84	c  458s |      24 |  5128743 |  3895462 |     1965   4726 |        0 |        0
460.60/460.84	c  460s |      24 |  5149730 |  3911562 |     1965   4741 |        0 |        0
462.60/462.85	c  462s |      24 |  5170910 |  3927662 |     1965   4757 |        0 |        0
464.59/464.86	c  464s |      24 |  5190830 |  3943162 |     1965   4771 |        0 |        0
466.59/466.86	c  466s |      24 |  5210550 |  3958462 |     1965   4786 |        0 |        0
468.59/468.86	c  468s |      24 |  5231107 |  3974262 |     1965   4800 |        0 |        0
470.60/470.86	c  470s |      24 |  5254660 |  3991362 |     1965   4817 |        0 |        0
472.59/472.87	c  472s |      24 |  5276866 |  4007662 |     1965   4832 |        0 |        0
474.58/474.88	c  474s |      24 |  5298397 |  4023762 |     1965   4847 |        0 |        0
476.58/476.88	c  476s |      24 |  5319089 |  4040262 |     1965   4863 |        0 |        0
478.58/478.88	c  478s |      24 |  5340621 |  4057162 |     1965   4879 |        0 |        0
480.59/480.88	c  480s |      24 |  5364166 |  4074262 |     1965   4895 |        0 |        0
482.58/482.89	c  482s |      24 |  5384439 |  4089862 |     1965   4910 |        0 |        0
484.68/484.90	c  484s |      24 |  5404277 |  4104962 |     1965   4924 |        0 |        0
486.68/486.91	c  486s |      24 |  5426532 |  4121362 |     1965   4939 |        0 |        0
488.68/488.91	c  488s |      24 |  5449573 |  4137762 |     1965   4955 |        0 |        0
490.68/490.92	c  490s |      24 |  5470938 |  4153562 |     1965   4970 |        0 |        0
492.69/492.93	c  492s |      24 |  5491760 |  4169362 |     1965   4985 |        0 |        0
494.67/494.93	c  494s |      24 |  5513353 |  4185062 |     1965   5000 |        0 |        0
496.67/496.94	c  496s |      24 |  5535251 |  4201762 |     1965   5016 |        0 |        0
498.67/498.95	c  498s |      24 |  5557124 |  4218162 |     1965   5031 |        0 |        0
500.67/500.95	c  500s |      24 |  5580315 |  4235062 |     1965   5047 |        0 |        0
502.67/502.95	c  502s |      24 |  5603329 |  4251462 |     1965   5063 |        0 |        0
504.67/504.96	c  504s |      24 |  5623735 |  4266662 |     1965   5077 |        0 |        0
506.67/506.96	c  506s |      24 |  5645247 |  4282662 |     1965   5093 |        0 |        0
508.67/508.96	c  508s |      24 |  5666244 |  4298262 |     1965   5107 |        0 |        0
510.67/510.97	c  510s |      24 |  5686841 |  4313962 |     1965   5122 |        0 |        0
512.67/512.98	c  512s |      24 |  5709212 |  4330562 |     1965   5138 |        0 |        0
514.67/514.99	c  514s |      24 |  5730437 |  4346262 |     1965   5153 |        0 |        0
516.66/516.99	c  516s |      24 |  5751551 |  4361962 |     1965   5168 |        0 |        0
518.66/518.99	c  518s |      24 |  5773570 |  4378262 |     1965   5184 |        0 |        0
520.76/521.00	c  520s |      24 |  5795197 |  4394562 |     1965   5199 |        0 |        0
522.77/523.00	c  522s |      24 |  5816631 |  4410862 |     1965   5215 |        0 |        0
524.76/525.00	c  524s |      24 |  5837251 |  4426362 |     1965   5229 |        0 |        0
526.77/527.00	c  526s |      24 |  5861880 |  4443862 |     1965   5246 |        0 |        0
528.76/529.00	c  528s |      24 |  5884580 |  4460062 |     1965   5261 |        0 |        0
530.76/531.01	c  530s |      24 |  5906098 |  4476462 |     1965   5277 |        0 |        0
532.76/533.01	c  532s |      24 |  5927860 |  4493162 |     1965   5293 |        0 |        0
534.76/535.02	c  535s |      24 |  5949820 |  4509562 |     1965   5308 |        0 |        0
536.76/537.03	c  537s |      24 |  5972830 |  4526362 |     1965   5324 |        0 |        0
538.76/539.03	c  539s |      24 |  5994632 |  4542762 |     1965   5339 |        0 |        0
540.75/541.04	c  541s |      24 |  6016364 |  4558962 |     1965   5355 |        0 |        0
542.76/543.05	c  543s |      24 |  6037553 |  4574762 |     1965   5370 |        0 |        0
544.75/545.05	c  545s |      24 |  6059620 |  4590962 |     1965   5385 |        0 |        0
546.75/547.06	c  547s |      24 |  6083344 |  4607662 |     1965   5401 |        0 |        0
548.76/549.07	c  549s |      24 |  6105239 |  4623862 |     1965   5416 |        0 |        0
550.75/551.08	c  551s |      24 |  6125131 |  4639062 |     1965   5431 |        0 |        0
552.75/553.09	c  553s |      24 |  6145747 |  4654962 |     1965   5446 |        0 |        0
554.75/555.10	c  555s |      24 |  6167886 |  4671562 |     1965   5461 |        0 |        0
556.84/557.11	c  557s |      24 |  6192423 |  4689762 |     1965   5478 |        0 |        0
558.84/559.11	c  559s |      24 |  6212142 |  4705362 |     1965   5493 |        0 |        0
560.85/561.12	c  561s |      24 |  6234506 |  4722462 |     1965   5509 |        0 |        0
562.84/563.13	c  563s |      24 |  6257146 |  4739662 |     1965   5525 |        0 |        0
564.84/565.14	c  565s |      24 |  6278713 |  4755862 |     1965   5541 |        0 |        0
566.84/567.15	c  567s |      24 |  6298299 |  4771062 |     1965   5555 |        0 |        0
568.84/569.15	c  569s |      24 |  6318529 |  4786862 |     1965   5570 |        0 |        0
570.84/571.16	c  571s |      24 |  6338864 |  4802462 |     1965   5585 |        0 |        0
572.84/573.17	c  573s |      24 |  6360762 |  4818362 |     1965   5600 |        0 |        0
574.84/575.17	c  575s |      24 |  6380309 |  4833962 |     1965   5615 |        0 |        0
576.84/577.18	c  577s |      24 |  6401088 |  4849662 |     1965   5630 |        0 |        0
578.84/579.18	c  579s |      24 |  6423537 |  4866262 |     1965   5645 |        0 |        0
580.83/581.19	c  581s |      24 |  6445088 |  4882362 |     1965   5661 |        0 |        0
582.94/583.21	c  583s |      24 |  6466139 |  4898062 |     1965   5676 |        0 |        0
584.94/585.22	c  585s |      24 |  6488117 |  4914162 |     1965   5691 |        0 |        0
586.93/587.22	c  587s |      24 |  6510148 |  4930762 |     1965   5706 |        0 |        0
588.93/589.23	c  589s |      24 |  6531634 |  4947262 |     1965   5722 |        0 |        0
590.93/591.24	c  591s |      24 |  6553898 |  4964062 |     1965   5738 |        0 |        0
592.93/593.24	c  593s |      24 |  6575250 |  4979762 |     1965   5753 |        0 |        0
594.93/595.25	c  595s |      24 |  6598549 |  4996562 |     1965   5769 |        0 |        0
596.93/597.26	c  597s |      24 |  6619340 |  5012462 |     1965   5784 |        0 |        0
598.93/599.26	c  599s |      24 |  6640089 |  5028562 |     1965   5799 |        0 |        0
600.93/601.27	c  601s |      24 |  6661588 |  5044562 |     2162   5813 |        0 |        0
602.93/603.27	c  603s |      24 |  6684141 |  5060562 |     2162   5827 |        0 |        0
603.53/603.84	c  603s |      25 |  6690803 |  5065098 |     2162   5831 |        0 |        0
605.53/605.84	c  605s |      25 |  6712434 |  5081298 |     2162   5845 |        0 |        0
607.53/607.84	c  607s |      25 |  6730728 |  5096398 |     2162   5858 |        0 |        0
609.53/609.85	c  609s |      25 |  6752682 |  5113298 |     2162   5873 |        0 |        0
611.53/611.85	c  611s |      25 |  6774011 |  5129598 |     2162   5887 |        0 |        0
613.54/613.86	c  613s |      25 |  6795278 |  5146198 |     2162   5901 |        0 |        0
615.53/615.87	c  615s |      25 |  6815276 |  5161898 |     2162   5915 |        0 |        0
617.53/617.88	c  617s |      25 |  6837209 |  5178398 |     2162   5929 |        0 |        0
619.52/619.88	c  619s |      25 |  6857834 |  5194798 |     2162   5943 |        0 |        0
621.52/621.89	c  621s |      25 |  6880074 |  5211998 |     2162   5958 |        0 |        0
623.62/623.90	c  623s |      25 |  6902143 |  5228498 |     2162   5973 |        0 |        0
625.62/625.91	c  625s |      25 |  6921455 |  5242398 |     2162   5985 |        0 |        0
627.62/627.92	c  627s |      25 |  6941876 |  5258098 |     2162   5998 |        0 |        0
629.62/629.92	c  629s |      25 |  6963180 |  5274198 |     2162   6012 |        0 |        0
631.62/631.93	c  631s |      25 |  6982829 |  5289198 |     2162   6025 |        0 |        0
633.62/633.93	c  633s |      25 |  7003927 |  5305198 |     2162   6039 |        0 |        0
635.62/635.94	c  635s |      25 |  7024796 |  5321098 |     2162   6053 |        0 |        0
637.61/637.94	c  637s |      25 |  7044187 |  5336698 |     2162   6067 |        0 |        0
639.61/639.95	c  639s |      25 |  7063290 |  5351898 |     2162   6080 |        0 |        0
641.61/641.95	c  641s |      25 |  7083071 |  5367398 |     2162   6093 |        0 |        0
643.61/643.96	c  643s |      25 |  7102998 |  5383098 |     2162   6107 |        0 |        0
645.61/645.96	c  645s |      25 |  7123021 |  5398198 |     2162   6120 |        0 |        0
647.61/647.97	c  647s |      25 |  7143755 |  5414098 |     2162   6134 |        0 |        0
649.61/649.98	c  649s |      25 |  7163011 |  5429498 |     2162   6147 |        0 |        0
651.61/651.99	c  651s |      25 |  7181349 |  5443998 |     2162   6160 |        0 |        0
653.61/653.99	c  653s |      25 |  7200690 |  5459298 |     2162   6173 |        0 |        0
655.70/656.00	c  655s |      25 |  7222105 |  5475898 |     2162   6188 |        0 |        0
657.70/658.00	c  657s |      25 |  7243275 |  5492398 |     2162   6202 |        0 |        0
659.71/660.01	c  659s |      25 |  7262860 |  5507698 |     2162   6215 |        0 |        0
661.70/662.01	c  661s |      25 |  7284657 |  5524098 |     2162   6230 |        0 |        0
663.70/664.01	c  663s |      25 |  7304382 |  5538998 |     2162   6243 |        0 |        0
665.70/666.02	c  665s |      25 |  7323812 |  5553498 |     2162   6255 |        0 |        0
667.70/668.02	c  668s |      25 |  7345067 |  5569598 |     2162   6269 |        0 |        0
669.70/670.02	c  670s |      25 |  7363211 |  5583698 |     2162   6282 |        0 |        0
671.69/672.03	c  672s |      25 |  7383895 |  5598798 |     2162   6295 |        0 |        0
673.69/674.04	c  674s |      25 |  7402608 |  5613498 |     2162   6307 |        0 |        0
675.69/676.05	c  676s |      25 |  7421183 |  5627598 |     2162   6320 |        0 |        0
677.69/678.05	c  678s |      25 |  7440263 |  5642298 |     2162   6333 |        0 |        0
679.69/680.06	c  680s |      25 |  7457466 |  5656198 |     2162   6345 |        0 |        0
681.70/682.07	c  682s |      25 |  7476616 |  5670798 |     2162   6358 |        0 |        0
683.69/684.08	c  684s |      25 |  7495622 |  5685398 |     2162   6370 |        0 |        0
685.69/686.08	c  686s |      25 |  7513024 |  5699098 |     2162   6382 |        0 |        0
687.69/688.09	c  688s |      25 |  7532031 |  5713798 |     2162   6395 |        0 |        0
689.79/690.10	c  690s |      25 |  7551976 |  5729098 |     2162   6408 |        0 |        0
691.79/692.10	c  692s |      25 |  7571560 |  5744098 |     2162   6421 |        0 |        0
693.79/694.11	c  694s |      25 |  7591343 |  5759298 |     2162   6435 |        0 |        0
695.79/696.12	c  696s |      25 |  7611109 |  5774898 |     2162   6448 |        0 |        0
697.79/698.13	c  698s |      25 |  7631913 |  5790998 |     2162   6462 |        0 |        0
699.79/700.14	c  700s |      25 |  7651923 |  5806298 |     2162   6476 |        0 |        0
701.79/702.15	c  702s |      25 |  7671335 |  5821898 |     2162   6489 |        0 |        0
703.79/704.16	c  704s |      25 |  7692180 |  5837998 |     2162   6503 |        0 |        0
705.79/706.17	c  706s |      25 |  7712837 |  5854098 |     2162   6517 |        0 |        0
707.79/708.18	c  708s |      25 |  7732277 |  5869498 |     2162   6531 |        0 |        0
709.79/710.18	c  710s |      25 |  7752557 |  5884598 |     2162   6544 |        0 |        0
711.79/712.19	c  712s |      25 |  7772920 |  5900398 |     2162   6558 |        0 |        0
713.89/714.20	c  714s |      25 |  7792216 |  5915798 |     2162   6571 |        0 |        0
715.80/716.20	c  716s |      25 |  7810288 |  5930298 |     2162   6584 |        0 |        0
717.89/718.21	c  718s |      25 |  7829105 |  5944798 |     2162   6596 |        0 |        0
719.89/720.22	c  720s |      25 |  7847700 |  5959098 |     2162   6609 |        0 |        0
721.89/722.23	c  722s |      25 |  7867384 |  5974598 |     2162   6622 |        0 |        0
723.89/724.24	c  724s |      25 |  7887316 |  5989998 |     2162   6636 |        0 |        0
725.89/726.25	c  726s |      25 |  7908420 |  6005998 |     2162   6650 |        0 |        0
727.89/728.25	c  728s |      25 |  7926678 |  6020698 |     2162   6663 |        0 |        0
729.89/730.26	c  730s |      25 |  7946217 |  6035598 |     2162   6676 |        0 |        0
731.88/732.26	c  732s |      25 |  7967155 |  6051198 |     2162   6689 |        0 |        0
733.88/734.27	c  734s |      25 |  7987615 |  6066898 |     2162   6703 |        0 |        0
735.88/736.28	c  736s |      25 |  8007251 |  6082198 |     2162   6716 |        0 |        0
737.89/738.28	c  738s |      25 |  8026669 |  6096798 |     2162   6729 |        0 |        0
739.88/740.28	c  740s |      25 |  8044636 |  6111198 |     2162   6741 |        0 |        0
741.88/742.29	c  742s |      25 |  8065122 |  6126298 |     2162   6754 |        0 |        0
743.98/744.30	c  744s |      25 |  8083966 |  6140998 |     2162   6767 |        0 |        0
745.98/746.31	c  746s |      25 |  8103791 |  6156498 |     2162   6781 |        0 |        0
747.98/748.32	c  748s |      25 |  8124217 |  6172198 |     2162   6794 |        0 |        0
749.99/750.33	c  750s |      25 |  8143293 |  6187198 |     2162   6807 |        0 |        0
751.98/752.33	c  752s |      25 |  8162462 |  6201898 |     2162   6820 |        0 |        0
753.98/754.34	c  754s |      25 |  8181951 |  6216898 |     2162   6833 |        0 |        0
755.98/756.35	c  756s |      25 |  8201828 |  6231698 |     2162   6846 |        0 |        0
757.98/758.36	c  758s |      25 |  8222062 |  6247198 |     2162   6860 |        0 |        0
759.98/760.36	c  760s |      25 |  8242035 |  6262198 |     2162   6873 |        0 |        0
761.98/762.37	c  762s |      25 |  8261674 |  6277298 |     2162   6886 |        0 |        0
763.98/764.37	c  764s |      25 |  8281943 |  6292798 |     2162   6899 |        0 |        0
765.98/766.37	c  766s |      25 |  8303034 |  6308498 |     2162   6913 |        0 |        0
767.98/768.38	c  768s |      25 |  8325422 |  6325198 |     2162   6927 |        0 |        0
769.97/770.38	c  770s |      25 |  8343932 |  6339398 |     2162   6940 |        0 |        0
771.98/772.39	c  772s |      25 |  8362228 |  6353798 |     2162   6952 |        0 |        0
773.97/774.39	c  774s |      25 |  8383603 |  6369298 |     2162   6966 |        0 |        0
776.07/776.40	c  776s |      25 |  8403567 |  6384398 |     2162   6979 |        0 |        0
778.08/778.41	c  778s |      25 |  8422893 |  6399298 |     2162   6992 |        0 |        0
780.08/780.43	c  780s |      25 |  8444680 |  6415598 |     2162   7007 |        0 |        0
782.08/782.44	c  782s |      25 |  8465115 |  6430898 |     2162   7020 |        0 |        0
784.09/784.45	c  784s |      25 |  8484651 |  6445698 |     2162   7033 |        0 |        0
786.08/786.45	c  786s |      25 |  8506004 |  6461098 |     2162   7047 |        0 |        0
788.08/788.45	c  788s |      25 |  8525014 |  6475498 |     2162   7059 |        0 |        0
790.08/790.45	c  790s |      25 |  8544420 |  6489998 |     2162   7072 |        0 |        0
792.08/792.46	c  792s |      25 |  8565518 |  6505798 |     2162   7086 |        0 |        0
794.08/794.47	c  794s |      25 |  8585095 |  6520298 |     2162   7099 |        0 |        0
796.08/796.47	c  796s |      25 |  8606677 |  6536198 |     2162   7113 |        0 |        0
798.08/798.48	c  798s |      25 |  8626008 |  6550898 |     2162   7126 |        0 |        0
800.08/800.49	c  800s |      25 |  8645915 |  6565998 |     2162   7139 |        0 |        0
802.08/802.49	c  802s |      25 |  8667598 |  6582098 |     2162   7153 |        0 |        0
804.18/804.51	c  804s |      25 |  8688312 |  6597598 |     2162   7167 |        0 |        0
806.17/806.51	c  806s |      25 |  8709324 |  6613198 |     2162   7180 |        0 |        0
808.18/808.52	c  808s |      25 |  8729098 |  6628098 |     2162   7193 |        0 |        0
810.17/810.53	c  810s |      25 |  8748608 |  6643298 |     2162   7207 |        0 |        0
812.17/812.54	c  812s |      25 |  8766357 |  6657198 |     2162   7219 |        0 |        0
814.17/814.55	c  814s |      25 |  8784658 |  6671298 |     2162   7231 |        0 |        0
816.17/816.56	c  816s |      25 |  8803653 |  6685698 |     2162   7244 |        0 |        0
818.18/818.57	c  818s |      25 |  8823788 |  6700498 |     2162   7257 |        0 |        0
820.17/820.57	c  820s |      25 |  8844478 |  6715898 |     2162   7270 |        0 |        0
822.17/822.57	c  822s |      25 |  8866244 |  6732098 |     2162   7285 |        0 |        0
824.17/824.58	c  824s |      25 |  8887503 |  6747898 |     2162   7299 |        0 |        0
826.17/826.58	c  826s |      25 |  8908468 |  6763198 |     2162   7312 |        0 |        0
828.17/828.58	c  828s |      25 |  8928944 |  6778498 |     2162   7325 |        0 |        0
830.17/830.60	c  830s |      25 |  8947855 |  6793098 |     2162   7338 |        0 |        0
832.27/832.61	c  832s |      25 |  8968198 |  6808098 |     2162   7351 |        0 |        0
834.27/834.61	c  834s |      25 |  8988647 |  6822998 |     2162   7364 |        0 |        0
836.27/836.62	c  836s |      25 |  9008365 |  6837998 |     2162   7378 |        0 |        0
838.27/838.63	c  838s |      25 |  9027376 |  6852598 |     2162   7391 |        0 |        0
840.27/840.64	c  840s |      25 |  9047275 |  6867598 |     2162   7404 |        0 |        0
842.27/842.65	c  842s |      25 |  9066432 |  6882098 |     2162   7417 |        0 |        0
844.27/844.65	c  844s |      25 |  9085749 |  6896798 |     2162   7430 |        0 |        0
846.26/846.67	c  846s |      25 |  9105066 |  6911498 |     2162   7442 |        0 |        0
848.26/848.67	c  848s |      25 |  9121830 |  6925098 |     2162   7454 |        0 |        0
850.27/850.67	c  850s |      25 |  9140377 |  6939598 |     2162   7467 |        0 |        0
852.28/852.68	c  852s |      25 |  9159983 |  6954898 |     2162   7481 |        0 |        0
854.27/854.69	c  854s |      25 |  9180337 |  6970398 |     2162   7494 |        0 |        0
856.37/856.70	c  856s |      25 |  9199241 |  6984898 |     2162   7507 |        0 |        0
858.37/858.72	c  858s |      25 |  9218330 |  6998998 |     2162   7519 |        0 |        0
860.37/860.72	c  860s |      25 |  9238637 |  7014198 |     2162   7533 |        0 |        0
862.37/862.72	c  862s |      25 |  9257292 |  7028398 |     2162   7545 |        0 |        0
864.38/864.74	c  864s |      25 |  9276207 |  7042898 |     2162   7558 |        0 |        0
866.37/866.75	c  866s |      25 |  9297674 |  7058598 |     2162   7572 |        0 |        0
868.37/868.75	c  868s |      25 |  9318073 |  7073498 |     2162   7585 |        0 |        0
870.37/870.75	c  870s |      25 |  9338695 |  7088898 |     2162   7598 |        0 |        0
872.37/872.76	c  872s |      25 |  9359768 |  7104598 |     2162   7612 |        0 |        0
874.37/874.77	c  874s |      25 |  9380962 |  7120398 |     2162   7626 |        0 |        0
876.37/876.77	c  876s |      25 |  9401452 |  7135598 |     2162   7640 |        0 |        0
878.37/878.77	c  878s |      25 |  9421159 |  7150198 |     2162   7652 |        0 |        0
880.37/880.78	c  880s |      25 |  9440903 |  7164798 |     2162   7665 |        0 |        0
882.37/882.78	c  882s |      25 |  9460976 |  7180398 |     2162   7679 |        0 |        0
884.37/884.79	c  884s |      25 |  9481457 |  7195698 |     2162   7692 |        0 |        0
886.47/886.80	c  886s |      25 |  9498760 |  7209198 |     2162   7704 |        0 |        0
888.47/888.81	c  888s |      25 |  9519514 |  7224998 |     2162   7718 |        0 |        0
890.46/890.81	c  890s |      25 |  9541365 |  7241098 |     2162   7732 |        0 |        0
892.46/892.81	c  892s |      25 |  9560023 |  7255698 |     2162   7745 |        0 |        0
894.46/894.81	c  894s |      25 |  9578511 |  7269898 |     2162   7758 |        0 |        0
896.46/896.81	c  896s |      25 |  9598311 |  7284698 |     2162   7771 |        0 |        0
898.47/898.82	c  898s |      25 |  9618284 |  7299898 |     2162   7784 |        0 |        0
900.46/900.83	c  900s |      25 |  9639032 |  7315398 |     2162   7798 |        0 |        0
902.46/902.83	c  902s |      25 |  9659135 |  7330598 |     2162   7811 |        0 |        0
904.46/904.84	c  904s |      25 |  9678184 |  7345498 |     2162   7824 |        0 |        0
906.46/906.84	c  906s |      25 |  9700051 |  7362298 |     2162   7839 |        0 |        0
908.46/908.85	c  908s |      25 |  9722398 |  7379198 |     2162   7854 |        0 |        0
910.46/910.85	c  910s |      25 |  9743386 |  7395098 |     2162   7868 |        0 |        0
912.45/912.86	c  912s |      25 |  9764491 |  7410998 |     2162   7882 |        0 |        0
914.46/914.86	c  914s |      25 |  9783479 |  7425898 |     2162   7895 |        0 |        0
916.45/916.87	c  916s |      25 |  9802287 |  7440298 |     2162   7908 |        0 |        0
918.45/918.88	c  918s |      25 |  9822196 |  7455198 |     2162   7921 |        0 |        0
920.46/920.89	c  920s |      25 |  9839880 |  7469598 |     2162   7933 |        0 |        0
922.57/922.90	c  922s |      25 |  9860205 |  7484398 |     2162   7946 |        0 |        0
924.56/924.90	c  924s |      25 |  9879966 |  7499398 |     2162   7959 |        0 |        0
926.56/926.91	c  926s |      25 |  9899558 |  7514398 |     2162   7973 |        0 |        0
928.56/928.92	c  928s |      25 |  9918891 |  7528998 |     2162   7985 |        0 |        0
930.56/930.93	c  930s |      25 |  9937721 |  7543298 |     2162   7998 |        0 |        0
932.56/932.93	c  932s |      25 |  9956570 |  7557198 |     2379   8009 |        0 |        0
934.56/934.93	c  934s |      25 |  9975692 |  7571498 |     2379   8021 |        0 |        0
936.56/936.94	c  936s |      25 |  9996351 |  7586698 |     2379   8033 |        0 |        0
938.06/938.44	c  938s |      26 | 10011139 |  7597752 |     2379   8042 |        0 |        0
940.05/940.45	c  940s |      26 | 10028342 |  7611352 |     2379   8052 |        0 |        0
942.05/942.45	c  942s |      26 | 10047987 |  7626652 |     2379   8064 |        0 |        0
944.05/944.45	c  944s |      26 | 10066831 |  7641352 |     2379   8076 |        0 |        0
946.05/946.46	c  946s |      26 | 10087594 |  7656552 |     2379   8088 |        0 |        0
948.05/948.47	c  948s |      26 | 10108203 |  7672252 |     2379   8100 |        0 |        0
950.06/950.47	c  950s |      26 | 10128232 |  7687552 |     2379   8112 |        0 |        0
952.05/952.48	c  952s |      26 | 10148791 |  7703352 |     2379   8125 |        0 |        0
954.05/954.49	c  954s |      26 | 10169440 |  7718852 |     2379   8137 |        0 |        0
956.05/956.49	c  956s |      26 | 10189041 |  7733552 |     2379   8148 |        0 |        0
958.15/958.50	c  958s |      26 | 10206308 |  7747452 |     2379   8159 |        0 |        0
960.15/960.50	c  960s |      26 | 10224449 |  7761552 |     2379   8170 |        0 |        0
962.15/962.51	c  962s |      26 | 10243297 |  7776252 |     2379   8182 |        0 |        0
964.15/964.52	c  964s |      26 | 10263099 |  7791252 |     2379   8194 |        0 |        0
966.15/966.53	c  966s |      26 | 10283377 |  7806652 |     2379   8206 |        0 |        0
968.15/968.53	c  968s |      26 | 10303727 |  7822052 |     2379   8218 |        0 |        0
970.14/970.55	c  970s |      26 | 10322867 |  7836952 |     2379   8230 |        0 |        0
972.15/972.55	c  972s |      26 | 10343016 |  7851952 |     2379   8242 |        0 |        0
974.14/974.56	c  974s |      26 | 10363974 |  7868152 |     2379   8254 |        0 |        0
976.14/976.57	c  976s |      26 | 10384269 |  7883452 |     2379   8266 |        0 |        0
978.14/978.57	c  978s |      26 | 10405084 |  7899152 |     2379   8279 |        0 |        0
980.14/980.58	c  980s |      26 | 10424948 |  7914052 |     2379   8291 |        0 |        0
982.14/982.58	c  982s |      26 | 10444348 |  7929052 |     2379   8303 |        0 |        0
984.15/984.58	c  984s |      26 | 10463945 |  7943852 |     2379   8314 |        0 |        0
986.24/986.60	c  986s |      26 | 10482917 |  7958152 |     2379   8326 |        0 |        0
988.24/988.60	c  988s |      26 | 10502441 |  7973052 |     2379   8337 |        0 |        0
990.24/990.61	c  990s |      26 | 10522581 |  7988252 |     2379   8349 |        0 |        0
992.25/992.63	c  992s |      26 | 10541534 |  8003152 |     2379   8361 |        0 |        0
994.25/994.63	c  994s |      26 | 10561266 |  8018052 |     2379   8373 |        0 |        0
996.25/996.63	c  996s |      26 | 10579924 |  8032352 |     2379   8385 |        0 |        0
998.25/998.63	c  998s |      26 | 10598797 |  8047052 |     2379   8396 |        0 |        0
1000.25/1000.63	c 1000s |      26 | 10616460 |  8060952 |     2379   8407 |        0 |        0
1002.25/1002.65	c 1002s |      26 | 10634515 |  8075152 |     2379   8419 |        0 |        0
1004.25/1004.66	c 1004s |      26 | 10652624 |  8089052 |     2379   8430 |        0 |        0
1006.25/1006.67	c 1006s |      26 | 10671047 |  8103052 |     2379   8441 |        0 |        0
1008.25/1008.67	c 1008s |      26 | 10689120 |  8116952 |     2379   8452 |        0 |        0
1010.25/1010.68	c 1010s |      26 | 10707191 |  8131152 |     2379   8464 |        0 |        0
1012.25/1012.68	c 1012s |      26 | 10724390 |  8144552 |     2379   8475 |        0 |        0
1014.24/1014.68	c 1014s |      26 | 10740712 |  8157652 |     2379   8485 |        0 |        0
1016.24/1016.69	c 1016s |      26 | 10758996 |  8171852 |     2379   8497 |        0 |        0
1018.25/1018.69	c 1018s |      26 | 10775477 |  8184452 |     2379   8507 |        0 |        0
1020.34/1020.70	c 1020s |      26 | 10792187 |  8197852 |     2379   8518 |        0 |        0
1022.34/1022.71	c 1022s |      26 | 10811636 |  8212352 |     2379   8529 |        0 |        0
1024.34/1024.72	c 1024s |      26 | 10828511 |  8225752 |     2379   8540 |        0 |        0
1026.34/1026.73	c 1026s |      26 | 10846892 |  8239852 |     2379   8551 |        0 |        0
1028.34/1028.73	c 1028s |      26 | 10864099 |  8253352 |     2379   8562 |        0 |        0
1030.35/1030.75	c 1030s |      26 | 10881547 |  8266752 |     2379   8573 |        0 |        0
1032.34/1032.76	c 1032s |      26 | 10899934 |  8281052 |     2379   8584 |        0 |        0
1034.34/1034.77	c 1034s |      26 | 10918199 |  8295252 |     2379   8596 |        0 |        0
1036.34/1036.77	c 1036s |      26 | 10936725 |  8309452 |     2379   8607 |        0 |        0
1038.34/1038.78	c 1038s |      26 | 10954999 |  8323752 |     2379   8619 |        0 |        0
1040.44/1040.80	c 1040s |      26 | 10974213 |  8338252 |     2379   8631 |        0 |        0
1042.34/1042.80	c 1042s |      26 | 10991830 |  8351852 |     2379   8642 |        0 |        0
1044.44/1044.82	c 1044s |      26 | 11009477 |  8365552 |     2379   8653 |        0 |        0
1046.44/1046.83	c 1046s |      26 | 11026898 |  8378752 |     2379   8663 |        0 |        0
1048.44/1048.84	c 1048s |      26 | 11044530 |  8392352 |     2379   8674 |        0 |        0
1050.44/1050.85	c 1050s |      26 | 11062594 |  8405952 |     2379   8685 |        0 |        0
1052.44/1052.87	c 1052s |      26 | 11078850 |  8418852 |     2379   8696 |        0 |        0
1054.43/1054.87	c 1054s |      26 | 11097683 |  8433452 |     2379   8707 |        0 |        0
1056.43/1056.89	c 1056s |      26 | 11118326 |  8448752 |     2379   8720 |        0 |        0
1058.43/1058.89	c 1058s |      26 | 11138123 |  8463752 |     2379   8732 |        0 |        0
1060.53/1060.90	c 1060s |      26 | 11155668 |  8477152 |     2379   8742 |        0 |        0
1062.53/1062.90	c 1062s |      26 | 11174871 |  8491952 |     2379   8754 |        0 |        0
1064.54/1064.90	c 1064s |      26 | 11192912 |  8506152 |     2379   8765 |        0 |        0
1066.53/1066.91	c 1066s |      26 | 11211048 |  8520052 |     2379   8777 |        0 |        0
1068.53/1068.92	c 1068s |      26 | 11229829 |  8534952 |     2379   8789 |        0 |        0
1070.53/1070.93	c 1070s |      26 | 11249306 |  8549952 |     2379   8800 |        0 |        0
1072.53/1072.93	c 1072s |      26 | 11269708 |  8565552 |     2379   8813 |        0 |        0
1074.53/1074.94	c 1074s |      26 | 11289475 |  8580752 |     2379   8825 |        0 |        0
1076.54/1076.96	c 1076s |      26 | 11309502 |  8596052 |     2379   8837 |        0 |        0
1078.54/1078.96	c 1078s |      26 | 11329830 |  8611352 |     2379   8850 |        0 |        0
1080.54/1080.97	c 1080s |      26 | 11349167 |  8626352 |     2379   8861 |        0 |        0
1082.54/1082.98	c 1082s |      26 | 11369877 |  8641952 |     2379   8874 |        0 |        0
1084.54/1084.98	c 1084s |      26 | 11390642 |  8657652 |     2379   8887 |        0 |        0
1086.54/1086.99	c 1086s |      26 | 11410657 |  8673152 |     2379   8899 |        0 |        0
1088.53/1089.00	c 1088s |      26 | 11431028 |  8688452 |     2379   8911 |        0 |        0
1090.63/1091.00	c 1090s |      26 | 11452012 |  8704252 |     2379   8924 |        0 |        0
1092.63/1093.00	c 1092s |      26 | 11471129 |  8719152 |     2379   8936 |        0 |        0
1094.63/1095.02	c 1095s |      26 | 11489717 |  8733552 |     2379   8948 |        0 |        0
1096.63/1097.02	c 1097s |      26 | 11505628 |  8746552 |     2379   8958 |        0 |        0
1098.64/1099.04	c 1099s |      26 | 11524386 |  8760652 |     2379   8969 |        0 |        0
1100.63/1101.05	c 1101s |      26 | 11542860 |  8774952 |     2379   8981 |        0 |        0
1102.63/1103.05	c 1103s |      26 | 11562034 |  8789752 |     2379   8993 |        0 |        0
1104.63/1105.05	c 1105s |      26 | 11580739 |  8804252 |     2379   9004 |        0 |        0
1106.63/1107.06	c 1107s |      26 | 11599403 |  8818652 |     2379   9016 |        0 |        0
1108.63/1109.08	c 1109s |      26 | 11619898 |  8834052 |     2379   9029 |        0 |        0
1110.63/1111.08	c 1111s |      26 | 11638781 |  8848852 |     2379   9041 |        0 |        0
1112.62/1113.08	c 1113s |      26 | 11658764 |  8864052 |     2379   9053 |        0 |        0
1114.62/1115.08	c 1115s |      26 | 11677062 |  8878552 |     2379   9065 |        0 |        0
1116.62/1117.09	c 1117s |      26 | 11699248 |  8894952 |     2379   9078 |        0 |        0
1118.72/1119.10	c 1119s |      26 | 11718062 |  8909852 |     2379   9089 |        0 |        0
1120.72/1121.10	c 1121s |      26 | 11737388 |  8924552 |     2379   9101 |        0 |        0
1122.62/1123.10	c 1123s |      26 | 11758781 |  8940452 |     2379   9114 |        0 |        0
1124.72/1125.11	c 1125s |      26 | 11777460 |  8954652 |     2379   9125 |        0 |        0
1126.72/1127.11	c 1127s |      26 | 11794671 |  8967852 |     2379   9136 |        0 |        0
1128.72/1129.12	c 1129s |      26 | 11812608 |  8981352 |     2379   9147 |        0 |        0
1130.72/1131.14	c 1131s |      26 | 11830886 |  8995152 |     2379   9158 |        0 |        0
1132.73/1133.14	c 1133s |      26 | 11849201 |  9009552 |     2379   9169 |        0 |        0
1134.72/1135.15	c 1135s |      26 | 11868158 |  9024252 |     2379   9181 |        0 |        0
1136.72/1137.16	c 1137s |      26 | 11888268 |  9039452 |     2379   9193 |        0 |        0
1138.72/1139.17	c 1139s |      26 | 11907756 |  9054052 |     2379   9204 |        0 |        0
1140.72/1141.17	c 1141s |      26 | 11928106 |  9070452 |     2379   9217 |        0 |        0
1142.72/1143.17	c 1143s |      26 | 11946106 |  9085052 |     2379   9229 |        0 |        0
1144.72/1145.18	c 1145s |      26 | 11965724 |  9100052 |     2379   9240 |        0 |        0
1146.72/1147.19	c 1147s |      26 | 11986609 |  9115852 |     2379   9253 |        0 |        0
1148.82/1149.20	c 1149s |      26 | 12007511 |  9131752 |     2379   9266 |        0 |        0
1150.83/1151.22	c 1151s |      26 | 12026383 |  9146452 |     2379   9277 |        0 |        0
1152.82/1153.22	c 1153s |      26 | 12044201 |  9160652 |     2379   9288 |        0 |        0
1154.82/1155.23	c 1155s |      26 | 12062191 |  9174752 |     2379   9300 |        0 |        0
1156.83/1157.23	c 1157s |      26 | 12080254 |  9188252 |     2379   9310 |        0 |        0
1158.82/1159.23	c 1159s |      26 | 12098773 |  9202752 |     2379   9322 |        0 |        0
1160.82/1161.24	c 1161s |      26 | 12117696 |  9217252 |     2379   9333 |        0 |        0
1162.82/1163.25	c 1163s |      26 | 12136496 |  9231752 |     2379   9345 |        0 |        0
1164.82/1165.25	c 1165s |      26 | 12156869 |  9246952 |     2379   9357 |        0 |        0
1166.83/1167.26	c 1167s |      26 | 12178691 |  9263052 |     2379   9370 |        0 |        0
1168.82/1169.27	c 1169s |      26 | 12198928 |  9278452 |     2379   9382 |        0 |        0
1170.82/1171.27	c 1171s |      26 | 12217774 |  9293152 |     2379   9394 |        0 |        0
1172.82/1173.28	c 1173s |      26 | 12237833 |  9307852 |     2379   9405 |        0 |        0
1174.82/1175.29	c 1175s |      26 | 12255967 |  9322352 |     2379   9417 |        0 |        0
1176.92/1177.30	c 1177s |      26 | 12275963 |  9337552 |     2379   9429 |        0 |        0
1178.92/1179.31	c 1179s |      26 | 12295492 |  9352452 |     2379   9441 |        0 |        0
1180.92/1181.31	c 1181s |      26 | 12316257 |  9367952 |     2379   9453 |        0 |        0
1182.92/1183.32	c 1183s |      26 | 12335453 |  9382552 |     2379   9465 |        0 |        0
1184.91/1185.33	c 1185s |      26 | 12354144 |  9397252 |     2379   9477 |        0 |        0
1186.91/1187.34	c 1187s |      26 | 12372368 |  9411552 |     2379   9488 |        0 |        0
1188.91/1189.34	c 1189s |      26 | 12392713 |  9426952 |     2379   9501 |        0 |        0
1190.92/1191.34	c 1191s |      26 | 12410627 |  9441252 |     2379   9512 |        0 |        0
1192.91/1193.35	c 1193s |      26 | 12428418 |  9454952 |     2379   9523 |        0 |        0
1194.91/1195.36	c 1195s |      26 | 12445587 |  9468152 |     2379   9534 |        0 |        0
1196.91/1197.37	c 1197s |      26 | 12462117 |  9480852 |     2379   9544 |        0 |        0
1198.91/1199.37	c 1199s |      26 | 12478719 |  9493452 |     2379   9554 |        0 |        0
1200.92/1201.38	c 1201s |      26 | 12496325 |  9506452 |     2379   9565 |        0 |        0
1202.91/1203.40	c 1203s |      26 | 12514726 |  9519852 |     2379   9576 |        0 |        0
1205.02/1205.41	c 1205s |      26 | 12533138 |  9534452 |     2379   9587 |        0 |        0
1207.02/1207.41	c 1207s |      26 | 12551708 |  9548252 |     2379   9598 |        0 |        0
1209.02/1209.42	c 1209s |      26 | 12569360 |  9561352 |     2379   9609 |        0 |        0
1211.02/1211.42	c 1211s |      26 | 12588459 |  9576052 |     2379   9621 |        0 |        0
1213.02/1213.42	c 1213s |      26 | 12606812 |  9590552 |     2379   9633 |        0 |        0
1215.02/1215.43	c 1215s |      26 | 12627330 |  9606652 |     2379   9646 |        0 |        0
1217.02/1217.43	c 1217s |      26 | 12646863 |  9621952 |     2379   9658 |        0 |        0
1219.01/1219.43	c 1219s |      26 | 12668021 |  9637752 |     2379   9671 |        0 |        0
1221.01/1221.44	c 1221s |      26 | 12689723 |  9653652 |     2379   9683 |        0 |        0
1223.01/1223.45	c 1223s |      26 | 12707059 |  9666852 |     2379   9694 |        0 |        0
1225.02/1225.45	c 1225s |      26 | 12725572 |  9680452 |     2379   9705 |        0 |        0
1227.01/1227.46	c 1227s |      26 | 12744263 |  9694952 |     2379   9717 |        0 |        0
1229.01/1229.46	c 1229s |      26 | 12760935 |  9707552 |     2379   9728 |        0 |        0
1231.01/1231.48	c 1231s |      26 | 12779975 |  9722052 |     2379   9739 |        0 |        0
1233.01/1233.48	c 1233s |      26 | 12797220 |  9735952 |     2379   9751 |        0 |        0
1235.11/1235.50	c 1235s |      26 | 12816392 |  9750552 |     2379   9763 |        0 |        0
1237.01/1237.50	c 1237s |      26 | 12835934 |  9765652 |     2379   9775 |        0 |        0
1239.11/1239.51	c 1239s |      26 | 12855715 |  9781252 |     2379   9787 |        0 |        0
1241.11/1241.52	c 1241s |      26 | 12878315 |  9798052 |     2379   9801 |        0 |        0
1243.11/1243.52	c 1243s |      26 | 12898383 |  9813252 |     2379   9813 |        0 |        0
1245.11/1245.53	c 1245s |      26 | 12919269 |  9829052 |     2379   9826 |        0 |        0
1247.11/1247.54	c 1247s |      26 | 12941693 |  9845652 |     2379   9839 |        0 |        0
1249.10/1249.55	c 1249s |      26 | 12961092 |  9860152 |     2379   9850 |        0 |        0
1251.10/1251.56	c 1251s |      26 | 12980303 |  9874452 |     2379   9862 |        0 |        0
1253.10/1253.56	c 1253s |      26 | 12999440 |  9889552 |     2379   9873 |        0 |        0
1255.10/1255.57	c 1255s |      26 | 13019646 |  9904652 |     2379   9885 |        0 |        0
1257.10/1257.58	c 1257s |      26 | 13037883 |  9918952 |     2379   9897 |        0 |        0
1259.11/1259.58	c 1259s |      26 | 13056012 |  9933152 |     2379   9908 |        0 |        0
1261.10/1261.59	c 1261s |      26 | 13077186 |  9948552 |     2379   9921 |        0 |        0
1263.10/1263.59	c 1263s |      26 | 13097270 |  9962652 |     2379   9932 |        0 |        0
1265.21/1265.60	c 1265s |      26 | 13117075 |  9977152 |     2379   9944 |        0 |        0
1267.21/1267.61	c 1267s |      26 | 13136420 |  9991752 |     2379   9956 |        0 |        0
1269.21/1269.61	c 1269s |      26 | 13153476 | 10004752 |     2379   9967 |        0 |        0
1271.21/1271.62	c 1271s |      26 | 13171518 | 10018252 |     2379   9978 |        0 |        0
1273.21/1273.63	c 1273s |      26 | 13189268 | 10031652 |     2379   9989 |        0 |        0
1275.21/1275.63	c 1275s |      26 | 13206779 | 10045052 |     2379  10000 |        0 |        0
1277.20/1277.65	c 1277s |      26 | 13222499 | 10057352 |     2379  10010 |        0 |        0
1279.20/1279.66	c 1279s |      26 | 13239523 | 10070552 |     2379  10020 |        0 |        0
1281.21/1281.66	c 1281s |      26 | 13258721 | 10085152 |     2379  10032 |        0 |        0
1283.20/1283.67	c 1283s |      26 | 13279543 | 10100752 |     2379  10044 |        0 |        0
1285.20/1285.68	c 1285s |      26 | 13299456 | 10116052 |     2379  10057 |        0 |        0
1287.20/1287.69	c 1287s |      26 | 13320709 | 10132052 |     2379  10069 |        0 |        0
1289.20/1289.69	c 1289s |      26 | 13338995 | 10146152 |     2379  10081 |        0 |        0
1291.30/1291.70	c 1291s |      26 | 13355561 | 10158752 |     2379  10091 |        0 |        0
1293.31/1293.71	c 1293s |      26 | 13370215 | 10170152 |     2379  10101 |        0 |        0
1295.30/1295.73	c 1295s |      26 | 13388131 | 10183552 |     2379  10112 |        0 |        0
1297.30/1297.73	c 1297s |      26 | 13404776 | 10196052 |     2379  10122 |        0 |        0
1299.30/1299.75	c 1299s |      26 | 13425135 | 10211452 |     2379  10134 |        0 |        0
1301.30/1301.76	c 1301s |      26 | 13445994 | 10226952 |     2379  10146 |        0 |        0
1303.30/1303.77	c 1303s |      26 | 13465903 | 10241952 |     2379  10158 |        0 |        0
1305.30/1305.78	c 1305s |      26 | 13484848 | 10256852 |     2379  10170 |        0 |        0
1307.29/1307.78	c 1307s |      26 | 13503878 | 10271652 |     2379  10182 |        0 |        0
1309.39/1309.80	c 1309s |      26 | 13523147 | 10286452 |     2379  10194 |        0 |        0
1311.39/1311.81	c 1311s |      26 | 13541966 | 10301052 |     2379  10206 |        0 |        0
1313.40/1313.81	c 1313s |      26 | 13560913 | 10315752 |     2379  10218 |        0 |        0
1315.40/1315.83	c 1315s |      26 | 13579233 | 10329852 |     2379  10229 |        0 |        0
1317.41/1317.84	c 1317s |      26 | 13597447 | 10344152 |     2379  10241 |        0 |        0
1319.40/1319.84	c 1319s |      26 | 13616519 | 10359152 |     2379  10253 |        0 |        0
1321.40/1321.84	c 1321s |      26 | 13637295 | 10375252 |     2379  10266 |        0 |        0
1323.40/1323.85	c 1323s |      26 | 13659018 | 10391452 |     2379  10279 |        0 |        0
1325.39/1325.86	c 1325s |      26 | 13680240 | 10407252 |     2379  10292 |        0 |        0
1327.40/1327.86	c 1327s |      26 | 13699529 | 10422252 |     2379  10304 |        0 |        0
1329.39/1329.87	c 1329s |      26 | 13719473 | 10437452 |     2379  10316 |        0 |        0
1331.39/1331.87	c 1331s |      26 | 13738982 | 10452252 |     2379  10328 |        0 |        0
1333.39/1333.87	c 1333s |      26 | 13759896 | 10468052 |     2379  10340 |        0 |        0
1335.39/1335.87	c 1335s |      26 | 13778083 | 10482252 |     2379  10351 |        0 |        0
1337.39/1337.89	c 1337s |      26 | 13797100 | 10497052 |     2379  10363 |        0 |        0
1339.40/1339.90	c 1339s |      26 | 13815425 | 10511852 |     2379  10375 |        0 |        0
1341.49/1341.91	c 1341s |      26 | 13836364 | 10527752 |     2379  10387 |        0 |        0
1343.49/1343.92	c 1343s |      26 | 13855173 | 10542852 |     2379  10400 |        0 |        0
1345.49/1345.93	c 1345s |      26 | 13875425 | 10558452 |     2379  10412 |        0 |        0
1347.49/1347.94	c 1347s |      26 | 13895127 | 10573652 |     2379  10424 |        0 |        0
1349.49/1349.95	c 1349s |      26 | 13915796 | 10589352 |     2379  10437 |        0 |        0
1351.50/1351.96	c 1351s |      26 | 13935536 | 10604152 |     2379  10448 |        0 |        0
1353.49/1353.96	c 1353s |      26 | 13953411 | 10618052 |     2379  10460 |        0 |        0
1355.49/1355.96	c 1355s |      26 | 13973250 | 10632952 |     2379  10472 |        0 |        0
1357.49/1357.98	c 1357s |      26 | 13990675 | 10646852 |     2379  10483 |        0 |        0
1359.49/1359.98	c 1359s |      26 | 14010103 | 10661752 |     2379  10495 |        0 |        0
1361.49/1361.98	c 1361s |      26 | 14029965 | 10677052 |     2379  10507 |        0 |        0
1363.49/1363.99	c 1363s |      26 | 14048526 | 10691252 |     2379  10519 |        0 |        0
1365.59/1366.00	c 1365s |      26 | 14068647 | 10706552 |     2379  10531 |        0 |        0
1367.59/1368.02	c 1368s |      26 | 14089388 | 10721952 |     2379  10543 |        0 |        0
1369.59/1370.02	c 1370s |      26 | 14109354 | 10736852 |     2379  10556 |        0 |        0
1371.58/1372.04	c 1372s |      26 | 14128886 | 10751052 |     2379  10567 |        0 |        0
1373.59/1374.04	c 1374s |      26 | 14146734 | 10764652 |     2379  10578 |        0 |        0
1375.58/1376.05	c 1376s |      26 | 14164541 | 10778752 |     2379  10589 |        0 |        0
1377.58/1378.05	c 1378s |      26 | 14182347 | 10792752 |     2379  10601 |        0 |        0
1379.58/1380.06	c 1380s |      26 | 14201363 | 10807252 |     2379  10612 |        0 |        0
1381.59/1382.06	c 1382s |      26 | 14220397 | 10821752 |     2379  10624 |        0 |        0
1383.59/1384.08	c 1384s |      26 | 14240636 | 10836952 |     2379  10637 |        0 |        0
1385.59/1386.08	c 1386s |      26 | 14260412 | 10851452 |     2379  10648 |        0 |        0
1387.58/1388.09	c 1388s |      26 | 14277758 | 10865752 |     2379  10660 |        0 |        0
1389.68/1390.10	c 1390s |      26 | 14295383 | 10879652 |     2379  10671 |        0 |        0
1391.68/1392.10	c 1392s |      26 | 14314707 | 10894752 |     2379  10683 |        0 |        0
1393.68/1394.11	c 1394s |      26 | 14333375 | 10908652 |     2379  10695 |        0 |        0
1395.68/1396.13	c 1396s |      26 | 14350672 | 10922152 |     2379  10706 |        0 |        0
1397.69/1398.13	c 1398s |      26 | 14366829 | 10934852 |     2379  10716 |        0 |        0
1399.68/1400.14	c 1400s |      26 | 14383398 | 10947852 |     2379  10726 |        0 |        0
1401.68/1402.14	c 1402s |      26 | 14401340 | 10961552 |     2379  10737 |        0 |        0
1403.68/1404.15	c 1404s |      26 | 14418106 | 10974452 |     2379  10748 |        0 |        0
1405.68/1406.16	c 1406s |      26 | 14436361 | 10989152 |     2379  10759 |        0 |        0
1407.69/1408.16	c 1408s |      26 | 14455185 | 11003452 |     2379  10771 |        0 |        0
1409.68/1410.16	c 1410s |      26 | 14474228 | 11018052 |     2379  10783 |        0 |        0
1411.68/1412.16	c 1412s |      26 | 14491668 | 11031652 |     2379  10794 |        0 |        0
1413.69/1414.18	c 1414s |      26 | 14508554 | 11044852 |     2379  10805 |        0 |        0
1415.68/1416.18	c 1416s |      26 | 14527571 | 11058952 |     2379  10816 |        0 |        0
1417.68/1418.18	c 1418s |      26 | 14546036 | 11073052 |     2379  10828 |        0 |        0
1419.69/1420.18	c 1420s |      26 | 14564164 | 11087052 |     2379  10839 |        0 |        0
1421.68/1422.19	c 1422s |      26 | 14581883 | 11100952 |     2379  10850 |        0 |        0
1423.68/1424.20	c 1424s |      26 | 14601150 | 11115752 |     2379  10863 |        0 |        0
1425.78/1426.20	c 1426s |      26 | 14621400 | 11131252 |     2379  10875 |        0 |        0
1427.78/1428.21	c 1428s |      26 | 14639851 | 11145252 |     2379  10886 |        0 |        0
1429.78/1430.21	c 1430s |      26 | 14659443 | 11160452 |     2379  10898 |        0 |        0
1431.79/1432.22	c 1432s |      26 | 14677673 | 11174452 |     2379  10909 |        0 |        0
1433.78/1434.23	c 1434s |      26 | 14697013 | 11189252 |     2379  10920 |        0 |        0
1435.78/1436.24	c 1436s |      26 | 14716482 | 11204052 |     2379  10932 |        0 |        0
1437.78/1438.25	c 1438s |      26 | 14734530 | 11218252 |     2379  10943 |        0 |        0
1439.78/1440.26	c 1440s |      26 | 14754560 | 11233452 |     2379  10955 |        0 |        0
1441.78/1442.26	c 1442s |      26 | 14775690 | 11249152 |     2379  10968 |        0 |        0
1443.78/1444.26	c 1444s |      26 | 14795654 | 11264352 |     2379  10980 |        0 |        0
1445.78/1446.26	c 1446s |      26 | 14814570 | 11279152 |     2379  10992 |        0 |        0
1447.78/1448.27	c 1448s |      26 | 14833538 | 11293852 |     2379  11004 |        0 |        0
1449.78/1450.28	c 1450s |      26 | 14851778 | 11308052 |     2379  11015 |        0 |        0
1451.88/1452.30	c 1452s |      26 | 14869916 | 11321152 |     2617  11025 |        0 |        0
1453.88/1454.31	c 1454s |      26 | 14886425 | 11334252 |     2617  11035 |        0 |        0
1455.87/1456.31	c 1456s |      26 | 14902843 | 11346452 |     2617  11044 |        0 |        0
1457.87/1458.31	c 1458s |      26 | 14920950 | 11359652 |     2617  11054 |        0 |        0
1459.87/1460.33	c 1460s |      26 | 14938121 | 11372652 |     2617  11063 |        0 |        0
1461.87/1462.33	c 1462s |      26 | 14954760 | 11385852 |     2617  11073 |        0 |        0
1463.47/1463.99	c 1463s |      27 | 14968893 | 11396733 |     2617  11081 |        0 |        0
1465.57/1466.00	c 1465s |      27 | 14984900 | 11409433 |     2617  11090 |        0 |        0
1467.57/1468.00	c 1467s |      27 | 15001464 | 11422233 |     2617  11099 |        0 |        0
1469.57/1470.01	c 1469s |      27 | 15017054 | 11434633 |     2617  11108 |        0 |        0
1471.57/1472.02	c 1472s |      27 | 15034675 | 11447933 |     2617  11118 |        0 |        0
1473.58/1474.02	c 1474s |      27 | 15051802 | 11461233 |     2617  11127 |        0 |        0
1475.57/1476.04	c 1476s |      27 | 15069721 | 11474833 |     2617  11137 |        0 |        0
1477.57/1478.04	c 1478s |      27 | 15086777 | 11488233 |     2617  11146 |        0 |        0
1479.57/1480.05	c 1480s |      27 | 15104358 | 11501333 |     2617  11156 |        0 |        0
1481.57/1482.05	c 1482s |      27 | 15121895 | 11515033 |     2617  11166 |        0 |        0
1483.58/1484.06	c 1484s |      27 | 15139061 | 11528533 |     2617  11175 |        0 |        0
1485.57/1486.06	c 1486s |      27 | 15157209 | 11542333 |     2617  11185 |        0 |        0
1487.57/1488.06	c 1488s |      27 | 15175306 | 11556533 |     2617  11196 |        0 |        0
1489.57/1490.06	c 1490s |      27 | 15193475 | 11570933 |     2617  11206 |        0 |        0
1491.57/1492.06	c 1492s |      27 | 15212862 | 11585833 |     2617  11217 |        0 |        0
1493.57/1494.06	c 1494s |      27 | 15232032 | 11600533 |     2617  11227 |        0 |        0
1495.57/1496.08	c 1496s |      27 | 15252548 | 11615933 |     2617  11239 |        0 |        0
1497.57/1498.08	c 1498s |      27 | 15272456 | 11630333 |     2617  11249 |        0 |        0
1499.57/1500.08	c 1500s |      27 | 15292267 | 11645033 |     2617  11260 |        0 |        0
1501.57/1502.09	c 1502s |      27 | 15311740 | 11659833 |     2617  11270 |        0 |        0
1503.67/1504.10	c 1504s |      27 | 15330654 | 11673933 |     2617  11280 |        0 |        0
1505.67/1506.10	c 1506s |      27 | 15349860 | 11688533 |     2617  11291 |        0 |        0
1507.67/1508.11	c 1508s |      27 | 15368462 | 11702933 |     2617  11301 |        0 |        0
1509.66/1510.12	c 1510s |      27 | 15387885 | 11717733 |     2617  11312 |        0 |        0
1511.66/1512.13	c 1512s |      27 | 15406045 | 11732033 |     2617  11322 |        0 |        0
1513.66/1514.16	c 1514s |      27 | 15424631 | 11746333 |     2617  11333 |        0 |        0
1515.66/1516.17	c 1516s |      27 | 15443615 | 11761033 |     2617  11344 |        0 |        0
1517.67/1518.18	c 1518s |      27 | 15461519 | 11774933 |     2617  11354 |        0 |        0
1519.66/1520.19	c 1520s |      27 | 15479953 | 11789133 |     2617  11364 |        0 |        0
1521.76/1522.20	c 1522s |      27 | 15499938 | 11804133 |     2617  11375 |        0 |        0
1523.76/1524.20	c 1524s |      27 | 15518086 | 11818233 |     2617  11385 |        0 |        0
1525.76/1526.21	c 1526s |      27 | 15537898 | 11833233 |     2617  11395 |        0 |        0
1527.76/1528.22	c 1528s |      27 | 15557145 | 11848133 |     2617  11406 |        0 |        0
1529.77/1530.22	c 1530s |      27 | 15574878 | 11861833 |     2617  11416 |        0 |        0
1531.76/1532.23	c 1532s |      27 | 15593966 | 11876433 |     2617  11427 |        0 |        0
1533.76/1534.24	c 1534s |      27 | 15614016 | 11891333 |     2617  11437 |        0 |        0
1535.76/1536.25	c 1536s |      27 | 15632353 | 11905633 |     2617  11448 |        0 |        0
1537.76/1538.25	c 1538s |      27 | 15651328 | 11920033 |     2617  11458 |        0 |        0
1539.76/1540.27	c 1540s |      27 | 15668874 | 11934133 |     2617  11468 |        0 |        0
1541.76/1542.27	c 1542s |      27 | 15687673 | 11948433 |     2617  11479 |        0 |        0
1543.76/1544.28	c 1544s |      27 | 15707345 | 11963133 |     2617  11489 |        0 |        0
1545.87/1546.30	c 1546s |      27 | 15725729 | 11977433 |     2617  11500 |        0 |        0
1547.86/1548.30	c 1548s |      27 | 15742896 | 11990933 |     2617  11509 |        0 |        0
1549.86/1550.31	c 1550s |      27 | 15763123 | 12005733 |     2617  11520 |        0 |        0
1551.86/1552.32	c 1552s |      27 | 15782257 | 12020233 |     2617  11530 |        0 |        0
1553.87/1554.32	c 1554s |      27 | 15801294 | 12035033 |     2617  11541 |        0 |        0
1555.86/1556.33	c 1556s |      27 | 15820577 | 12049533 |     2617  11551 |        0 |        0
1557.86/1558.34	c 1558s |      27 | 15839841 | 12064033 |     2617  11562 |        0 |        0
1559.86/1560.36	c 1560s |      27 | 15857728 | 12077733 |     2617  11572 |        0 |        0
1561.86/1562.36	c 1562s |      27 | 15876488 | 12092033 |     2617  11582 |        0 |        0
1563.86/1564.37	c 1564s |      27 | 15894067 | 12105833 |     2617  11592 |        0 |        0
1565.86/1566.38	c 1566s |      27 | 15911363 | 12119433 |     2617  11602 |        0 |        0
1567.86/1568.38	c 1568s |      27 | 15930275 | 12133733 |     2617  11612 |        0 |        0
1569.96/1570.40	c 1570s |      27 | 15948912 | 12148033 |     2617  11622 |        0 |        0
1571.96/1572.41	c 1572s |      27 | 15967239 | 12162033 |     2617  11632 |        0 |        0
1573.95/1574.43	c 1574s |      27 | 15987090 | 12177133 |     2617  11643 |        0 |        0
1575.96/1576.44	c 1576s |      27 | 16004472 | 12190533 |     2617  11653 |        0 |        0
1577.95/1578.44	c 1578s |      27 | 16024068 | 12205133 |     2617  11664 |        0 |        0
1579.95/1580.46	c 1580s |      27 | 16042129 | 12219133 |     2617  11674 |        0 |        0
1581.95/1582.46	c 1582s |      27 | 16061001 | 12233033 |     2617  11684 |        0 |        0
1583.95/1584.47	c 1584s |      27 | 16079671 | 12247033 |     2617  11694 |        0 |        0
1585.95/1586.47	c 1586s |      27 | 16098908 | 12261433 |     2617  11704 |        0 |        0
1587.96/1588.49	c 1588s |      27 | 16115764 | 12274533 |     2617  11714 |        0 |        0
1589.95/1590.49	c 1590s |      27 | 16132593 | 12287133 |     2617  11723 |        0 |        0
1592.05/1592.50	c 1592s |      27 | 16149578 | 12299933 |     2617  11732 |        0 |        0
1594.05/1594.50	c 1594s |      27 | 16166135 | 12312433 |     2617  11741 |        0 |        0
1596.05/1596.51	c 1596s |      27 | 16185110 | 12326633 |     2617  11752 |        0 |        0
1598.05/1598.51	c 1598s |      27 | 16204146 | 12340733 |     2617  11762 |        0 |        0
1600.06/1600.51	c 1600s |      27 | 16221420 | 12354233 |     2617  11772 |        0 |        0
1602.05/1602.52	c 1602s |      27 | 16240523 | 12368333 |     2617  11782 |        0 |        0
1604.05/1604.53	c 1604s |      27 | 16259665 | 12383133 |     2617  11793 |        0 |        0
1606.05/1606.53	c 1606s |      27 | 16277467 | 12396433 |     2617  11803 |        0 |        0
1608.05/1608.54	c 1608s |      27 | 16297084 | 12410533 |     2617  11813 |        0 |        0
1610.05/1610.55	c 1610s |      27 | 16313985 | 12423833 |     2617  11822 |        0 |        0
1612.05/1612.55	c 1612s |      27 | 16331119 | 12437033 |     2617  11832 |        0 |        0
1614.05/1614.56	c 1614s |      27 | 16349756 | 12451133 |     2617  11842 |        0 |        0
1616.05/1616.57	c 1616s |      27 | 16370263 | 12466033 |     2617  11853 |        0 |        0
1618.05/1618.57	c 1618s |      27 | 16388093 | 12479833 |     2617  11863 |        0 |        0
1620.05/1620.57	c 1620s |      27 | 16405128 | 12492733 |     2617  11872 |        0 |        0
1622.06/1622.59	c 1622s |      27 | 16422264 | 12506033 |     2617  11882 |        0 |        0
1624.15/1624.60	c 1624s |      27 | 16440184 | 12519533 |     2617  11892 |        0 |        0
1626.15/1626.61	c 1626s |      27 | 16458608 | 12533433 |     2617  11902 |        0 |        0
1628.15/1628.62	c 1628s |      27 | 16475841 | 12546833 |     2617  11912 |        0 |        0
1630.15/1630.63	c 1630s |      27 | 16493821 | 12560033 |     2617  11921 |        0 |        0
1632.15/1632.63	c 1632s |      27 | 16511973 | 12574133 |     2617  11931 |        0 |        0
1634.16/1634.63	c 1634s |      27 | 16528904 | 12587433 |     2617  11941 |        0 |        0
1636.15/1636.64	c 1636s |      27 | 16545347 | 12600233 |     2617  11950 |        0 |        0
1638.15/1638.64	c 1638s |      27 | 16563673 | 12614033 |     2617  11960 |        0 |        0
1640.15/1640.65	c 1640s |      27 | 16581817 | 12628033 |     2617  11971 |        0 |        0
1642.15/1642.65	c 1642s |      27 | 16599770 | 12641533 |     2617  11980 |        0 |        0
1644.16/1644.67	c 1644s |      27 | 16616210 | 12654233 |     2617  11990 |        0 |        0
1646.15/1646.68	c 1646s |      27 | 16634824 | 12667933 |     2617  12000 |        0 |        0
1648.25/1648.70	c 1648s |      27 | 16650533 | 12680133 |     2617  12009 |        0 |        0
1650.25/1650.72	c 1650s |      27 | 16666361 | 12692233 |     2617  12017 |        0 |        0
1652.25/1652.72	c 1652s |      27 | 16682468 | 12704433 |     2617  12026 |        0 |        0
1654.25/1654.73	c 1654s |      27 | 16698051 | 12716433 |     2617  12035 |        0 |        0
1656.25/1656.74	c 1656s |      27 | 16714740 | 12729433 |     2617  12044 |        0 |        0
1658.25/1658.75	c 1658s |      27 | 16731841 | 12742433 |     2617  12054 |        0 |        0
1660.25/1660.75	c 1660s |      27 | 16749532 | 12755733 |     2617  12063 |        0 |        0
1662.25/1662.75	c 1662s |      27 | 16766519 | 12768533 |     2617  12073 |        0 |        0
1664.24/1664.76	c 1664s |      27 | 16785375 | 12782133 |     2617  12083 |        0 |        0
1666.24/1666.76	c 1666s |      27 | 16802916 | 12795433 |     2617  12092 |        0 |        0
1668.25/1668.77	c 1668s |      27 | 16820811 | 12808933 |     2617  12102 |        0 |        0
1670.24/1670.78	c 1670s |      27 | 16837970 | 12822033 |     2617  12112 |        0 |        0
1672.24/1672.79	c 1672s |      27 | 16851820 | 12833333 |     2617  12120 |        0 |        0
1674.24/1674.79	c 1674s |      27 | 16869783 | 12846833 |     2617  12130 |        0 |        0
1676.24/1676.79	c 1676s |      27 | 16887656 | 12860433 |     2617  12139 |        0 |        0
1678.34/1678.80	c 1678s |      27 | 16905185 | 12873533 |     2617  12149 |        0 |        0
1680.24/1680.80	c 1680s |      27 | 16923525 | 12887333 |     2617  12159 |        0 |        0
1682.34/1682.81	c 1682s |      27 | 16941034 | 12900433 |     2617  12169 |        0 |        0
1684.34/1684.82	c 1684s |      27 | 16958876 | 12913833 |     2617  12178 |        0 |        0
1686.34/1686.83	c 1686s |      27 | 16977765 | 12927633 |     2617  12188 |        0 |        0
1688.34/1688.84	c 1688s |      27 | 16995201 | 12941233 |     2617  12198 |        0 |        0
1690.34/1690.84	c 1690s |      27 | 17010400 | 12953233 |     2617  12207 |        0 |        0
1692.34/1692.86	c 1692s |      27 | 17026873 | 12965733 |     2617  12216 |        0 |        0
1694.34/1694.87	c 1694s |      27 | 17043802 | 12978733 |     2617  12225 |        0 |        0
1696.34/1696.88	c 1696s |      27 | 17060797 | 12991533 |     2617  12235 |        0 |        0
1698.33/1698.88	c 1698s |      27 | 17077656 | 13004433 |     2617  12244 |        0 |        0
1700.33/1700.88	c 1700s |      27 | 17094440 | 13017233 |     2617  12253 |        0 |        0
1702.34/1702.89	c 1702s |      27 | 17110470 | 13029533 |     2617  12262 |        0 |        0
1704.33/1704.89	c 1704s |      27 | 17128480 | 13043133 |     2617  12272 |        0 |        0
1706.43/1706.91	c 1706s |      27 | 17145184 | 13055933 |     2617  12282 |        0 |        0
1708.43/1708.92	c 1708s |      27 | 17161136 | 13068433 |     2617  12291 |        0 |        0
1710.43/1710.93	c 1710s |      27 | 17177406 | 13081133 |     2617  12300 |        0 |        0
1712.43/1712.93	c 1712s |      27 | 17194632 | 13094333 |     2617  12309 |        0 |        0
1714.44/1714.94	c 1714s |      27 | 17210415 | 13106133 |     2617  12318 |        0 |        0
1716.43/1716.94	c 1716s |      27 | 17225830 | 13117733 |     2617  12327 |        0 |        0
1718.43/1718.95	c 1718s |      27 | 17242679 | 13130733 |     2617  12336 |        0 |        0
1720.43/1720.95	c 1720s |      27 | 17259269 | 13143433 |     2617  12345 |        0 |        0
1722.43/1722.96	c 1722s |      27 | 17278012 | 13157333 |     2617  12355 |        0 |        0
1724.44/1724.96	c 1724s |      27 | 17296575 | 13171033 |     2617  12365 |        0 |        0
1726.43/1726.97	c 1726s |      27 | 17313497 | 13184233 |     2617  12375 |        0 |        0
1728.43/1728.98	c 1728s |      27 | 17331670 | 13197733 |     2617  12385 |        0 |        0
1730.53/1731.00	c 1730s |      27 | 17351358 | 13212333 |     2617  12395 |        0 |        0
1732.53/1733.00	c 1732s |      27 | 17370763 | 13226733 |     2617  12406 |        0 |        0
1734.53/1735.01	c 1734s |      27 | 17389761 | 13241233 |     2617  12416 |        0 |        0
1736.53/1737.01	c 1736s |      27 | 17407456 | 13254933 |     2617  12426 |        0 |        0
1738.53/1739.01	c 1738s |      27 | 17424506 | 13267733 |     2617  12435 |        0 |        0
1740.53/1741.02	c 1740s |      27 | 17442275 | 13281033 |     2617  12445 |        0 |        0
1742.53/1743.03	c 1743s |      27 | 17459527 | 13294733 |     2617  12455 |        0 |        0
1744.53/1745.04	c 1745s |      27 | 17477234 | 13307633 |     2617  12464 |        0 |        0
1746.53/1747.04	c 1747s |      27 | 17495696 | 13321333 |     2617  12474 |        0 |        0
1748.53/1749.05	c 1749s |      27 | 17512041 | 13333933 |     2617  12483 |        0 |        0
1750.52/1751.05	c 1751s |      27 | 17529905 | 13347133 |     2617  12493 |        0 |        0
1752.52/1753.06	c 1753s |      27 | 17546556 | 13359833 |     2617  12502 |        0 |        0
1754.52/1755.07	c 1755s |      27 | 17563440 | 13372833 |     2617  12512 |        0 |        0
1756.53/1757.08	c 1757s |      27 | 17579541 | 13385233 |     2617  12521 |        0 |        0
1758.54/1759.09	c 1759s |      27 | 17595964 | 13397933 |     2617  12530 |        0 |        0
1760.53/1761.09	c 1761s |      27 | 17612562 | 13410833 |     2617  12539 |        0 |        0
1762.63/1763.10	c 1763s |      27 | 17630352 | 13424533 |     2617  12549 |        0 |        0
1764.63/1765.10	c 1765s |      27 | 17648413 | 13438433 |     2617  12559 |        0 |        0
1766.63/1767.11	c 1767s |      27 | 17667090 | 13452733 |     2617  12570 |        0 |        0
1768.63/1769.13	c 1769s |      27 | 17684747 | 13466133 |     2617  12580 |        0 |        0
1770.63/1771.13	c 1771s |      27 | 17702604 | 13479433 |     2617  12589 |        0 |        0
1772.63/1773.14	c 1773s |      27 | 17720282 | 13493133 |     2617  12599 |        0 |        0
1774.63/1775.14	c 1775s |      27 | 17738559 | 13506833 |     2617  12609 |        0 |        0
1776.63/1777.16	c 1777s |      27 | 17755320 | 13519933 |     2617  12619 |        0 |        0
1778.63/1779.17	c 1779s |      27 | 17772720 | 13533433 |     2617  12628 |        0 |        0
1780.62/1781.17	c 1781s |      27 | 17790166 | 13546933 |     2617  12638 |        0 |        0
1782.63/1783.18	c 1783s |      27 | 17808616 | 13560133 |     2617  12648 |        0 |        0
1784.72/1785.20	c 1785s |      27 | 17826661 | 13573833 |     2617  12658 |        0 |        0
1786.72/1787.21	c 1787s |      27 | 17845533 | 13588033 |     2617  12668 |        0 |        0
1788.72/1789.22	c 1789s |      27 | 17863201 | 13601533 |     2617  12677 |        0 |        0
1790.72/1791.22	c 1791s |      27 | 17881103 | 13615333 |     2617  12687 |        0 |        0
1792.72/1793.23	c 1793s |      27 | 17897640 | 13628233 |     2617  12697 |        0 |        0
1794.73/1795.23	c 1795s |      27 | 17915502 | 13642033 |     2617  12707 |        0 |        0
1796.72/1797.24	c 1797s |      27 | 17932702 | 13655133 |     2617  12716 |        0 |        0
1798.72/1799.25	c 1799s |      27 | 17952125 | 13668933 |     2617  12726 |        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-4120634-1467311873/watcher-4120634-1467311873 -o /tmp/evaluation-result-4120634-1467311873/solver-4120634-1467311873 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16107 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120634-1467311873.opb 

pid=17064
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.24 2.23 2.15 3/179 17067
/proc/meminfo: memFree=28011428/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 2738 0 0 0 0 0 0 0 20 0 4 0 12148178 751235072 3099 33554432000 4194304 16246674 140733681209584 140733681209008 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 184175 3108 441 2943 0 181069 0
[pid=17067/tid=17068] ppid=17064 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 769060864 3168 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 774303744 3186 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12148178 778498048 3203 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.24 2.23 2.15 3/179 17067
/proc/meminfo: memFree=28011428/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 24908 0 0 0 5 3 0 0 20 0 4 0 12148178 1247350784 25257 33554432000 4194304 16246674 140733681209584 140733681209008 5708022 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 304529 25265 707 2943 0 301423 0
[pid=17067/tid=17068] ppid=17064 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1247350784 25273 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1247350784 25281 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12148178 1247350784 25285 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200506 s]
/proc/loadavg: 2.24 2.23 2.15 3/179 17067
/proc/meminfo: memFree=28011428/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 47083 0 0 0 12 7 0 0 20 0 4 0 12148178 1247350784 47432 33554432000 4194304 16246674 140733681209584 140733681209008 13954410 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 304529 47445 707 2943 0 301423 0
[pid=17067/tid=17068] ppid=17064 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1247350784 47451 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1247350784 47456 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12148178 1247350784 47463 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300474 s]
/proc/loadavg: 2.24 2.23 2.15 3/179 17067
/proc/meminfo: memFree=28011428/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 69232 0 0 0 20 9 0 0 20 0 4 0 12148178 1247350784 69582 33554432000 4194304 16246674 140733681209584 140733681209008 5668190 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 304529 69594 707 2943 0 301423 0
[pid=17067/tid=17068] ppid=17064 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1247350784 69599 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1247350784 69605 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12148178 1247350784 69614 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700368 s]
/proc/loadavg: 2.24 2.23 2.15 3/179 17067
/proc/meminfo: memFree=28011428/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 156948 0 0 0 47 22 0 0 20 0 4 0 12148178 1247350784 157297 33554432000 4194304 16246674 140733681209584 140733681209008 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 304529 157303 708 2943 0 301423 0
[pid=17067/tid=17068] ppid=17064 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1247350784 157307 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1247350784 157315 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12148178 1247350784 157321 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.24 2.23 2.15 4/183 17071
/proc/meminfo: memFree=27029260/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 245676 0 0 0 116 33 0 0 20 0 4 0 12148178 1248399360 246005 33554432000 4194304 16246674 140733681209584 140733681208896 5823013 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 304785 246005 783 2943 0 301679 0
[pid=17067/tid=17068] ppid=17064 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1248399360 246005 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1248399360 246005 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1248399360 246005 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.24 2.23 2.15 4/183 17071
/proc/meminfo: memFree=26941468/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 267453 0 0 0 273 36 0 0 20 0 4 0 12148178 1337528320 267782 33554432000 4194304 16246674 140733681209584 140733681192584 6020686 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 326545 267782 783 2943 0 323439 0
[pid=17067/tid=17068] ppid=17064 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1337528320 267782 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1337528320 267782 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1337528320 267782 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.30 2.24 2.15 3/183 17071
/proc/meminfo: memFree=26940108/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 267716 0 0 0 593 36 0 0 20 0 4 0 12148178 1338576896 268045 33554432000 4194304 16246674 140733681209584 140733681192584 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 326801 268045 784 2943 0 323695 0
[pid=17067/tid=17068] ppid=17064 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1338576896 268045 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1338576896 268045 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1338576896 268045 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.27 2.24 2.15 3/183 17071
/proc/meminfo: memFree=26940048/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 267716 0 0 0 1232 37 0 0 20 0 4 0 12148178 1338576896 268045 33554432000 4194304 16246674 140733681209584 140733681191488 5677667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 326801 268045 784 2943 0 323695 0
[pid=17067/tid=17068] ppid=17064 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1338576896 268045 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1338576896 268045 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1338576896 268045 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.21 2.23 2.15 4/183 17071
/proc/meminfo: memFree=26940248/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 267904 0 0 0 2512 37 0 0 20 0 4 0 12148178 1339625472 268233 33554432000 4194304 16246674 140733681209584 140733681191488 13943604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 327057 268233 784 2943 0 323951 0
[pid=17067/tid=17068] ppid=17064 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1339625472 268233 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1339625472 268233 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1339625472 268233 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.22 2.22 2.15 3/183 17071
/proc/meminfo: memFree=26939660/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 267987 0 0 0 5070 38 0 0 20 0 4 0 12148178 1339625472 268307 33554432000 4194304 16246674 140733681209584 140733681191488 5666984 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 327057 268307 784 2943 0 323951 0
[pid=17067/tid=17068] ppid=17064 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1339625472 268307 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1339625472 268307 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1339625472 268307 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.21 2.22 2.15 4/183 17072
/proc/meminfo: memFree=26935924/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1309252 CPUtime=102.27 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 268206 0 0 0 10187 40 0 0 20 0 4 0 12148178 1340674048 268512 33554432000 4194304 16246674 140733681209584 140733681192584 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 327313 268512 786 2943 0 324207 0
[pid=17067/tid=17068] ppid=17064 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1340674048 268512 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1340674048 268512 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1340674048 268512 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1309252


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

/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.08 2.15 2.16 3/184 17203
/proc/meminfo: memFree=26931232/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1315396 CPUtime=1361.89 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 270231 0 0 0 136132 57 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140733681191488 5754820 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 328849 270204 788 2943 0 325743 0
[pid=17067/tid=17068] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.03 2.12 2.14 3/184 17228
/proc/meminfo: memFree=26931580/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1315396 CPUtime=1421.89 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 270231 0 0 0 142130 59 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140733681192584 5808141 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 328849 270204 788 2943 0 325743 0
[pid=17067/tid=17068] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.04 2.11 2.14 4/183 17229
/proc/meminfo: memFree=26931396/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1315396 CPUtime=1481.87 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 270231 0 0 0 148128 59 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140733681191488 13193512 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 328849 270204 788 2943 0 325743 0
[pid=17067/tid=17068] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.17 2.13 2.14 3/183 17230
/proc/meminfo: memFree=26931488/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1315396 CPUtime=1541.86 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 270231 0 0 0 154127 59 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140733681191488 5754648 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 328849 270204 788 2943 0 325743 0
[pid=17067/tid=17068] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.12 2.12 2.14 3/183 17231
/proc/meminfo: memFree=26931632/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1315396 CPUtime=1601.85 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 270231 0 0 0 160125 60 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140733681191488 13905548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 328849 270204 788 2943 0 325743 0
[pid=17067/tid=17068] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1346965504 270204 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.19 2.14 2.14 4/183 17232
/proc/meminfo: memFree=26931172/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1316420 CPUtime=1661.85 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 270267 0 0 0 166124 61 0 0 20 0 4 0 12148178 1348014080 270240 33554432000 4194304 16246674 140733681209584 140733681191488 12483303 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 329105 270240 788 2943 0 325999 0
[pid=17067/tid=17068] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270240 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270240 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270240 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.19 2.14 2.14 3/183 17234
/proc/meminfo: memFree=26931012/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1316420 CPUtime=1721.83 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 270267 0 0 0 172122 61 0 0 20 0 4 0 12148178 1348014080 270240 33554432000 4194304 16246674 140733681209584 140733681191488 13923792 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 329105 270240 788 2943 0 325999 0
[pid=17067/tid=17068] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270240 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270240 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270240 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1316420

[startup+1782.3 s]
/proc/loadavg: 2.20 2.15 2.14 3/183 17235
/proc/meminfo: memFree=26929036/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1316420 CPUtime=1781.82 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 270487 0 0 0 178120 62 0 0 20 0 4 0 12148178 1348014080 270460 33554432000 4194304 16246674 140733681209584 140733681192584 6020879 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 329105 270460 788 2943 0 325999 0
[pid=17067/tid=17068] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270460 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270460 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270460 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1316420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.17 2.15 3/183 17236
/proc/meminfo: memFree=26928868/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1316420 CPUtime=1800.02 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 270487 0 0 0 179940 62 0 0 20 0 4 0 12148178 1348014080 270460 33554432000 4194304 16246674 140733681209584 140733681191488 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 329105 270460 788 2943 0 325999 0
[pid=17067/tid=17068] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270460 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270460 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270460 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1316420

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

[startup+1800.5 s]
/proc/loadavg: 2.28 2.17 2.15 3/183 17236
/proc/meminfo: memFree=26928868/32872528 swapFree=1254912/1391860
[pid=17067] ppid=17064 vsize=1316420 CPUtime=1800.02 cores=0,2,4,6
/proc/17067/stat : 17067 (toysat) R 17064 17067 16091 0 -1 4202496 270487 0 0 0 179940 62 0 0 20 0 4 0 12148178 1348014080 270460 33554432000 4194304 16246674 140733681209584 140733681191488 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17067/statm: 329105 270460 788 2943 0 325999 0
[pid=17067/tid=17068] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17068/stat : 17068 (toysat) S 17064 17067 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270460 33554432000 4194304 16246674 140733681209584 140515062295792 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17067/tid=17069] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17069/stat : 17069 (toysat) S 17064 17067 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270460 33554432000 4194304 16246674 140733681209584 140515051805936 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17067/tid=17070] ppid=17064 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/17067/task/17070/stat : 17070 (toysat) S 17064 17067 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12148178 1348014080 270460 33554432000 4194304 16246674 140733681209584 140515041332400 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1316420

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.41
CPU system time (s): 0.627904
CPU usage (%): 99.9738
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.627904
maximum resident set size= 1081840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270487
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= 370
involuntary context switches= 1979

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.6498 second user time and 14.2378 second system time

The end

Begin job on node119 at 2016-06-30 20:37:53
IDJOB=4120634
IDBENCH=110045
IDSOLVER=2542
FILE ID=node119/4120634-1467311873
RUNJOBID= node119-1467308805-16107
PBS_JOBID= 20005280
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= 7d6010427961f87601a0df1fe25d92e9
RANDOM SEED=53269985

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28012328 kB
Buffers:          199788 kB
Cached:          1431532 kB
SwapCached:            0 kB
Active:          1346664 kB
Inactive:        1374600 kB
Active(anon):    1086592 kB
Inactive(anon):     5936 kB
Active(file):     260072 kB
Inactive(file):  1368664 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16720 kB
Writeback:             0 kB
AnonPages:       2481688 kB
Mapped:            17108 kB
Shmem:               204 kB
Slab:             612440 kB
SReclaimable:      56032 kB
SUnreclaim:       556408 kB
KernelStack:        1480 kB
PageTables:         8896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2615528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1198080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node119 at 2016-06-30 21:07:54