0.00/0.00	c 2016-06-16T19:29:09+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-4095854-1466098149.opb"]
0.00/0.01	c use --random-gen="3788386124 3064083191 1952071722 1363449743 52532609 3637098500 1675787888 4220212528 3118973411 3415910297 1964340861 1500136683 2222377029 3915180191 4261262834 1701548201 1395282435 3796812309 3929152267 3645482992 1773495873 2208808736 2938072463 3432143064 4092662501 977679003 2773605528 2286286553 1407005691 323668025 1206409980 997165188 1653833617 2653706727 2389926344 1518579231 2353964318 3981043707 2748625643 3119771117 592357586 4172113009 1645008924 299278451 4161038105 3955599033 3733020170 673121998 2279792511 476605281 1911605038 3624617354 1815838624 1652541654 4033949312 1260515586 1898565481 2410101133 1231712076 2652354305 264497503 3369290230 2348518983 1492790006 4246381913 2840512650 925045406 1103683183 547688273 1311455985 268342456 4274793843 3605791066 3621520435 2983458539 3682978299 1793113092 2731701159 1335885324 1679768511 3925121354 3094474097 1525095630 1339597787 2445377465 617330582 889663738 3137262254 1373825447 948282380 2769921567 1353349466 1712261698 3940589636 3547966750 808142930 1069022074 165668366 175914605 4012909106 1267254579 2807798550 3920540762 2190586791 1794557875 3549028224 194883652 3655918577 1109002335 2225023880 1581260382 2363518952 946857925 3578024624 3153804604 3170143316 3783706004 313321685 2028675414 886079944 1027187022 601412074 1563024174 2438617043 1028494602 3474669253 147482856 983171905 1965676121 1199612607 137673852 3421645159 3795554922 1249732548 196566085 564046394 1852386962 980323507 3327061253 4001182326 2584900514 957101022 184517329 2766964623 3973467833 2305046416 3241073052 334077509 782949656 603367294 374382100 1831411785 3345232756 2744874480 2563441095 1149734334 3704001269 582361780 1576494360 1031636117 725481853 3518212827 2172246717 4263274053 1880596050 1715454401 545528985 1465387572 1523855856 1789151305 3161964678 1270860194 270557979 1794361236 2361895616 2720249724 2324325208 18610927 3818801584 4197704359 1741961042 2754187102 1781967499 1035839084 4066152797 2614019052 3119423057 1150144766 2979178151 939181958 1372268544 3059054882 2966781466 1230064288 1777471810 1746408315 3498836608 3240900392 2713080846 2995423006 4055587747 1992906981 1124152253 2706658374 3427768485 3914781162 1671088448 2923128147 958461029 985702360 4068636082 1055400568 2898140182 282473453 1174562625 608701574 3563178563 1934250285 3940386111 1419190185 2612409572 3920519452 1961878283 3070802242 1323437855 3655744948 3130782768 1535397240 1682270051 3186499042 3467892456 942683380 2972089474 4239371573 4058063113 645650058 3118039171 858282051 1748596048 1574768366 3968362228 2352644012 2924516788 2228178590 3439127636 3834127612 2666151893 2770517257 1145624747 3599141362 1076788093 2327997230 409556736 3581218532 2541522140 4200187376 255 362436" option to reproduce the execution
0.00/0.01	c #vars 141
0.00/0.01	c #constraints 70
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       93      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      178 |      100 |       93      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      395 |      250 |      103      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      800 |      475 |      114      5 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1275 |      813 |      126      9 |        0 |        0
0.09/0.17	c  0.2s |       5 |     2083 |     1320 |      139     14 |        0 |        0
0.19/0.26	c  0.2s |       6 |     3347 |     2081 |      169     21 |        0 |        0
0.39/0.41	c  0.4s |       7 |     4955 |     3223 |      186     32 |        0 |        0
0.59/0.66	c  0.6s |       8 |     7034 |     4936 |      205     46 |        0 |        0
0.99/1.00	c  1.0s |       9 |    10584 |     7506 |      226     66 |        0 |        0
1.29/1.35	c  1.3s |      10 |    16267 |    11361 |      249     94 |        0 |        0
1.89/1.93	c  1.9s |      11 |    23700 |    17144 |      274    134 |        0 |        0
2.69/2.71	c  2.7s |      12 |    36190 |    25819 |      302    188 |        0 |        0
3.79/3.89	c  3.9s |      13 |    54698 |    38832 |      333    264 |        0 |        0
5.69/5.77	c  5.8s |      14 |    81066 |    58352 |      367    368 |        0 |        0
7.70/7.78	c  7.8s |      14 |   105161 |    77652 |      367    462 |        0 |        0
8.69/8.78	c  8.8s |      15 |   117618 |    87632 |      404    511 |        0 |        0
10.69/10.79	c 10.8s |      15 |   144750 |   108732 |      404    605 |        0 |        0
12.79/12.80	c 12.8s |      15 |   167461 |   127532 |      404    687 |        0 |        0
13.20/13.25	c 13.2s |      16 |   172249 |   131552 |      445    704 |        0 |        0
15.19/15.25	c 15.2s |      16 |   196393 |   149852 |      445    779 |        0 |        0
17.19/17.25	c 17.2s |      16 |   219679 |   168452 |      445    855 |        0 |        0
19.19/19.26	c 19.2s |      16 |   242562 |   186752 |      445    930 |        0 |        0
20.39/20.42	c 20.4s |      17 |   255098 |   197432 |      490    973 |        0 |        0
22.38/22.43	c 22.4s |      17 |   278108 |   215532 |      490   1041 |        0 |        0
24.38/24.44	c 24.4s |      17 |   302155 |   234732 |      490   1112 |        0 |        0
26.39/26.44	c 26.4s |      17 |   326190 |   254032 |      490   1184 |        0 |        0
28.38/28.45	c 28.4s |      17 |   346740 |   271632 |      490   1250 |        0 |        0
30.39/30.45	c 30.4s |      17 |   368442 |   289632 |      490   1318 |        0 |        0
31.19/31.24	c 31.2s |      18 |   375935 |   296252 |      539   1342 |        0 |        0
33.19/33.25	c 33.2s |      18 |   400136 |   314452 |      539   1404 |        0 |        0
35.19/35.25	c 35.2s |      18 |   422217 |   331552 |      539   1464 |        0 |        0
37.19/37.25	c 37.2s |      18 |   444969 |   349352 |      539   1525 |        0 |        0
39.19/39.25	c 39.2s |      18 |   466562 |   366652 |      539   1585 |        0 |        0
41.19/41.25	c 41.2s |      18 |   488686 |   384052 |      539   1645 |        0 |        0
43.19/43.26	c 43.2s |      18 |   511351 |   401452 |      539   1705 |        0 |        0
45.19/45.27	c 45.3s |      18 |   535792 |   419352 |      539   1767 |        0 |        0
47.18/47.27	c 47.3s |      18 |   560081 |   437352 |      539   1829 |        0 |        0
47.98/48.03	c 48.0s |      19 |   569411 |   444482 |      593   1853 |        0 |        0
49.98/50.03	c 50.0s |      19 |   591307 |   462782 |      593   1910 |        0 |        0
51.98/52.04	c 52.0s |      19 |   613415 |   480982 |      593   1967 |        0 |        0
53.99/54.05	c 54.0s |      19 |   633997 |   498082 |      593   2021 |        0 |        0
55.98/56.06	c 56.0s |      19 |   655189 |   515382 |      593   2075 |        0 |        0
57.98/58.06	c 58.0s |      19 |   675058 |   532182 |      593   2128 |        0 |        0
59.98/60.07	c 60.1s |      19 |   695447 |   549282 |      593   2181 |        0 |        0
61.98/62.07	c 62.1s |      19 |   717537 |   567282 |      593   2239 |        0 |        0
63.98/64.08	c 64.1s |      19 |   742052 |   586282 |      593   2299 |        0 |        0
65.99/66.09	c 66.1s |      19 |   762706 |   603882 |      593   2354 |        0 |        0
67.98/68.09	c 68.1s |      19 |   783631 |   620782 |      593   2407 |        0 |        0
70.08/70.10	c 70.1s |      19 |   804236 |   637982 |      593   2461 |        0 |        0
72.08/72.10	c 72.1s |      19 |   826861 |   655982 |      593   2518 |        0 |        0
73.27/73.36	c 73.3s |      20 |   840250 |   666827 |      653   2550 |        0 |        0
75.27/75.37	c 75.4s |      20 |   872249 |   687227 |      653   2610 |        0 |        0
77.28/77.38	c 77.4s |      20 |   897021 |   705927 |      653   2664 |        0 |        0
79.29/79.38	c 79.4s |      20 |   925392 |   725327 |      653   2720 |        0 |        0
81.28/81.39	c 81.4s |      20 |   951951 |   744027 |      653   2774 |        0 |        0
83.28/83.39	c 83.4s |      20 |   976614 |   762427 |      653   2827 |        0 |        0
85.38/85.40	c 85.4s |      20 |   998175 |   779827 |      653   2877 |        0 |        0
87.38/87.41	c 87.4s |      20 |  1021789 |   797827 |      653   2929 |        0 |        0
89.38/89.42	c 89.4s |      20 |  1043207 |   815427 |      653   2981 |        0 |        0
91.38/91.42	c 91.4s |      20 |  1066504 |   833327 |      653   3033 |        0 |        0
93.37/93.43	c 93.4s |      20 |  1090094 |   851627 |      653   3085 |        0 |        0
95.37/95.44	c 95.4s |      20 |  1111088 |   868727 |      653   3135 |        0 |        0
97.37/97.44	c 97.4s |      20 |  1133560 |   886427 |      653   3186 |        0 |        0
99.37/99.45	c 99.4s |      20 |  1155856 |   904227 |      653   3238 |        0 |        0
101.37/101.46	c  101s |      20 |  1176159 |   921127 |      653   3288 |        0 |        0
103.38/103.47	c  103s |      20 |  1199376 |   939227 |      653   3341 |        0 |        0
105.37/105.47	c  105s |      20 |  1222398 |   956827 |      653   3392 |        0 |        0
107.37/107.47	c  107s |      20 |  1242134 |   972727 |      653   3437 |        0 |        0
109.37/109.48	c  109s |      20 |  1264068 |   989327 |      653   3485 |        0 |        0
110.67/110.72	c  110s |      21 |  1279873 |  1000345 |      719   3515 |        0 |        0
112.68/112.73	c  112s |      21 |  1301695 |  1017845 |      719   3561 |        0 |        0
114.68/114.74	c  114s |      21 |  1324005 |  1035045 |      719   3606 |        0 |        0
116.68/116.74	c  116s |      21 |  1344303 |  1051745 |      719   3651 |        0 |        0
118.67/118.75	c  118s |      21 |  1366017 |  1068945 |      719   3696 |        0 |        0
120.67/120.75	c  120s |      21 |  1387901 |  1086345 |      719   3741 |        0 |        0
122.67/122.76	c  122s |      21 |  1409022 |  1102945 |      719   3785 |        0 |        0
124.67/124.76	c  124s |      21 |  1431287 |  1120245 |      719   3830 |        0 |        0
126.67/126.77	c  126s |      21 |  1452401 |  1137145 |      719   3875 |        0 |        0
128.68/128.77	c  128s |      21 |  1474642 |  1154945 |      719   3922 |        0 |        0
130.67/130.78	c  130s |      21 |  1492871 |  1170645 |      719   3963 |        0 |        0
132.67/132.79	c  132s |      21 |  1514551 |  1187645 |      719   4008 |        0 |        0
134.67/134.79	c  134s |      21 |  1534031 |  1203845 |      719   4052 |        0 |        0
136.77/136.81	c  136s |      21 |  1553075 |  1219545 |      719   4092 |        0 |        0
138.77/138.82	c  138s |      21 |  1572210 |  1235545 |      719   4134 |        0 |        0
140.77/140.82	c  140s |      21 |  1590619 |  1251045 |      719   4174 |        0 |        0
142.77/142.82	c  142s |      21 |  1609075 |  1266345 |      719   4214 |        0 |        0
144.77/144.83	c  144s |      21 |  1627286 |  1281445 |      719   4253 |        0 |        0
146.76/146.83	c  146s |      21 |  1642295 |  1295045 |      719   4288 |        0 |        0
148.76/148.83	c  148s |      21 |  1660296 |  1309845 |      719   4326 |        0 |        0
150.77/150.84	c  150s |      21 |  1680070 |  1325745 |      719   4367 |        0 |        0
152.76/152.84	c  152s |      21 |  1698502 |  1340945 |      719   4406 |        0 |        0
154.76/154.84	c  154s |      21 |  1717886 |  1356745 |      719   4448 |        0 |        0
156.76/156.85	c  156s |      21 |  1740170 |  1374045 |      719   4493 |        0 |        0
158.76/158.85	c  158s |      21 |  1764878 |  1391845 |      719   4540 |        0 |        0
160.76/160.86	c  160s |      21 |  1790576 |  1410245 |      719   4589 |        0 |        0
162.77/162.86	c  162s |      21 |  1815275 |  1428545 |      719   4637 |        0 |        0
164.77/164.87	c  164s |      21 |  1837059 |  1446245 |      719   4684 |        0 |        0
166.77/166.87	c  166s |      21 |  1857350 |  1462845 |      719   4728 |        0 |        0
168.77/168.88	c  168s |      21 |  1877767 |  1479745 |      719   4773 |        0 |        0
170.77/170.88	c  170s |      21 |  1900225 |  1497445 |      791   4818 |        0 |        0
171.17/171.25	c  171s |      22 |  1904829 |  1500622 |      791   4826 |        0 |        0
173.17/173.26	c  173s |      22 |  1928162 |  1517022 |      791   4865 |        0 |        0
175.17/175.26	c  175s |      22 |  1951255 |  1533622 |      791   4905 |        0 |        0
177.17/177.26	c  177s |      22 |  1975026 |  1551522 |      791   4947 |        0 |        0
179.16/179.28	c  179s |      22 |  2000043 |  1569822 |      791   4992 |        0 |        0
181.16/181.28	c  181s |      22 |  2026353 |  1588822 |      791   5037 |        0 |        0
183.16/183.29	c  183s |      22 |  2053295 |  1607622 |      791   5083 |        0 |        0
185.26/185.30	c  185s |      22 |  2079176 |  1626122 |      791   5127 |        0 |        0
187.26/187.31	c  187s |      22 |  2104641 |  1645322 |      791   5173 |        0 |        0
189.27/189.31	c  189s |      22 |  2131157 |  1664522 |      791   5220 |        0 |        0
191.26/191.31	c  191s |      22 |  2156364 |  1682522 |      791   5263 |        0 |        0
193.26/193.31	c  193s |      22 |  2179026 |  1699922 |      791   5304 |        0 |        0
195.26/195.32	c  195s |      22 |  2202812 |  1717622 |      791   5347 |        0 |        0
197.26/197.32	c  197s |      22 |  2225970 |  1735322 |      791   5389 |        0 |        0
199.26/199.32	c  199s |      22 |  2250136 |  1753722 |      791   5434 |        0 |        0
201.26/201.33	c  201s |      22 |  2274513 |  1771822 |      791   5477 |        0 |        0
203.25/203.34	c  203s |      22 |  2301979 |  1791222 |      791   5524 |        0 |        0
205.25/205.34	c  205s |      22 |  2326634 |  1809622 |      791   5569 |        0 |        0
207.25/207.35	c  207s |      22 |  2352150 |  1828022 |      791   5613 |        0 |        0
209.26/209.36	c  209s |      22 |  2378678 |  1846322 |      791   5658 |        0 |        0
211.27/211.36	c  211s |      22 |  2405576 |  1864822 |      791   5702 |        0 |        0
213.26/213.36	c  213s |      22 |  2430254 |  1882722 |      791   5745 |        0 |        0
215.26/215.37	c  215s |      22 |  2454302 |  1900522 |      791   5788 |        0 |        0
217.26/217.37	c  217s |      22 |  2476275 |  1917622 |      791   5829 |        0 |        0
219.26/219.38	c  219s |      22 |  2501213 |  1935922 |      791   5873 |        0 |        0
221.26/221.39	c  221s |      22 |  2523085 |  1953022 |      791   5913 |        0 |        0
223.27/223.39	c  223s |      22 |  2546892 |  1970422 |      791   5955 |        0 |        0
225.26/225.40	c  225s |      22 |  2572127 |  1988722 |      791   5999 |        0 |        0
227.36/227.40	c  227s |      22 |  2594236 |  2005422 |      791   6040 |        0 |        0
229.36/229.41	c  229s |      22 |  2617378 |  2022522 |      791   6081 |        0 |        0
231.35/231.42	c  231s |      22 |  2639124 |  2039122 |      791   6121 |        0 |        0
233.35/233.43	c  233s |      22 |  2659453 |  2054822 |      791   6159 |        0 |        0
235.36/235.44	c  235s |      22 |  2678050 |  2070022 |      791   6195 |        0 |        0
237.35/237.44	c  237s |      22 |  2700315 |  2086722 |      791   6235 |        0 |        0
239.35/239.45	c  239s |      22 |  2719800 |  2102622 |      791   6274 |        0 |        0
241.35/241.45	c  241s |      22 |  2739895 |  2118422 |      791   6312 |        0 |        0
243.35/243.45	c  243s |      22 |  2761164 |  2134522 |      791   6350 |        0 |        0
245.36/245.45	c  245s |      22 |  2784634 |  2151722 |      791   6392 |        0 |        0
247.35/247.45	c  247s |      22 |  2808963 |  2169422 |      791   6434 |        0 |        0
249.35/249.46	c  249s |      22 |  2834834 |  2187522 |      791   6478 |        0 |        0
251.35/251.46	c  251s |      22 |  2856502 |  2204422 |      791   6519 |        0 |        0
253.36/253.47	c  253s |      22 |  2878749 |  2221222 |      791   6559 |        0 |        0
255.35/255.48	c  255s |      22 |  2903700 |  2239422 |      871   6602 |        0 |        0
256.85/256.93	c  256s |      23 |  2918765 |  2251038 |      871   6628 |        0 |        0
258.85/258.94	c  258s |      23 |  2938107 |  2266438 |      871   6662 |        0 |        0
260.85/260.94	c  260s |      23 |  2958595 |  2281938 |      871   6696 |        0 |        0
262.86/262.95	c  262s |      23 |  2976787 |  2296838 |      871   6729 |        0 |        0
264.85/264.95	c  264s |      23 |  2996484 |  2311938 |      871   6762 |        0 |        0
266.85/266.95	c  266s |      23 |  3016145 |  2327538 |      871   6797 |        0 |        0
268.85/268.96	c  268s |      23 |  3038738 |  2344338 |      871   6834 |        0 |        0
270.85/270.97	c  270s |      23 |  3064138 |  2362038 |      871   6872 |        0 |        0
272.85/272.97	c  272s |      23 |  3090455 |  2380238 |      871   6912 |        0 |        0
274.85/274.97	c  274s |      23 |  3114988 |  2398138 |      871   6952 |        0 |        0
276.85/276.97	c  276s |      23 |  3136864 |  2415038 |      871   6989 |        0 |        0
278.85/278.98	c  278s |      23 |  3156286 |  2429938 |      871   7022 |        0 |        0
280.85/280.99	c  280s |      23 |  3171701 |  2443838 |      871   7052 |        0 |        0
282.85/282.99	c  282s |      23 |  3187021 |  2457538 |      871   7082 |        0 |        0
284.85/285.00	c  284s |      23 |  3203699 |  2471838 |      871   7114 |        0 |        0
286.94/287.00	c  286s |      23 |  3219891 |  2485538 |      871   7143 |        0 |        0
288.94/289.01	c  288s |      23 |  3235703 |  2499238 |      871   7173 |        0 |        0
290.94/291.02	c  291s |      23 |  3251768 |  2513138 |      871   7204 |        0 |        0
292.94/293.02	c  293s |      23 |  3269604 |  2528038 |      871   7237 |        0 |        0
294.94/295.03	c  295s |      23 |  3288106 |  2543238 |      871   7270 |        0 |        0
296.95/297.03	c  297s |      23 |  3305580 |  2557838 |      871   7303 |        0 |        0
298.94/299.04	c  299s |      23 |  3324041 |  2573338 |      871   7337 |        0 |        0
300.94/301.04	c  301s |      23 |  3343182 |  2588738 |      871   7371 |        0 |        0
302.94/303.05	c  303s |      23 |  3362008 |  2603738 |      871   7403 |        0 |        0
304.95/305.06	c  305s |      23 |  3380786 |  2619138 |      871   7437 |        0 |        0
306.96/307.07	c  307s |      23 |  3399910 |  2634438 |      871   7471 |        0 |        0
308.95/309.08	c  309s |      23 |  3419197 |  2649638 |      871   7504 |        0 |        0
310.95/311.09	c  311s |      23 |  3439089 |  2665138 |      871   7539 |        0 |        0
312.95/313.09	c  313s |      23 |  3462684 |  2681538 |      871   7575 |        0 |        0
314.94/315.09	c  315s |      23 |  3485054 |  2698238 |      871   7612 |        0 |        0
317.04/317.10	c  317s |      23 |  3507149 |  2714538 |      871   7648 |        0 |        0
319.05/319.11	c  319s |      23 |  3527032 |  2730538 |      871   7683 |        0 |        0
321.04/321.12	c  321s |      23 |  3546656 |  2746238 |      871   7718 |        0 |        0
323.04/323.12	c  323s |      23 |  3566661 |  2762038 |      871   7753 |        0 |        0
325.04/325.13	c  325s |      23 |  3585704 |  2777638 |      871   7787 |        0 |        0
327.04/327.14	c  327s |      23 |  3603397 |  2792638 |      871   7821 |        0 |        0
329.04/329.14	c  329s |      23 |  3619631 |  2806838 |      871   7852 |        0 |        0
331.05/331.15	c  331s |      23 |  3635875 |  2820938 |      871   7883 |        0 |        0
333.04/333.15	c  333s |      23 |  3654083 |  2835738 |      871   7916 |        0 |        0
335.04/335.17	c  335s |      23 |  3672145 |  2850938 |      871   7950 |        0 |        0
337.04/337.18	c  337s |      23 |  3689899 |  2865938 |      871   7983 |        0 |        0
339.04/339.18	c  339s |      23 |  3708393 |  2881138 |      871   8016 |        0 |        0
341.04/341.19	c  341s |      23 |  3726983 |  2896538 |      871   8050 |        0 |        0
343.04/343.20	c  343s |      23 |  3744859 |  2911738 |      871   8084 |        0 |        0
345.14/345.20	c  345s |      23 |  3762220 |  2926338 |      871   8116 |        0 |        0
347.14/347.21	c  347s |      23 |  3776131 |  2938838 |      871   8143 |        0 |        0
349.13/349.21	c  349s |      23 |  3794619 |  2953838 |      871   8176 |        0 |        0
351.13/351.22	c  351s |      23 |  3814864 |  2970338 |      871   8212 |        0 |        0
353.14/353.22	c  353s |      23 |  3833590 |  2985638 |      871   8246 |        0 |        0
355.13/355.23	c  355s |      23 |  3852583 |  3000938 |      871   8280 |        0 |        0
357.13/357.24	c  357s |      23 |  3872550 |  3016738 |      871   8315 |        0 |        0
359.13/359.24	c  359s |      23 |  3891271 |  3032238 |      871   8349 |        0 |        0
361.13/361.25	c  361s |      23 |  3912801 |  3048138 |      871   8384 |        0 |        0
363.14/363.26	c  363s |      23 |  3934584 |  3064538 |      871   8420 |        0 |        0
365.14/365.27	c  365s |      23 |  3955225 |  3080238 |      871   8455 |        0 |        0
367.14/367.27	c  367s |      23 |  3976736 |  3096538 |      871   8491 |        0 |        0
369.13/369.28	c  369s |      23 |  3997134 |  3112638 |      871   8527 |        0 |        0
371.13/371.28	c  371s |      23 |  4016647 |  3128038 |      871   8561 |        0 |        0
373.13/373.29	c  373s |      23 |  4037058 |  3144338 |      871   8597 |        0 |        0
375.23/375.30	c  375s |      23 |  4056803 |  3160238 |      871   8632 |        0 |        0
377.13/377.30	c  377s |      23 |  4076019 |  3175838 |      871   8667 |        0 |        0
379.23/379.31	c  379s |      23 |  4096084 |  3191538 |      871   8702 |        0 |        0
381.23/381.32	c  381s |      23 |  4117514 |  3207838 |      871   8738 |        0 |        0
383.23/383.32	c  383s |      23 |  4138122 |  3223038 |      871   8772 |        0 |        0
385.23/385.32	c  385s |      23 |  4159734 |  3239038 |      871   8807 |        0 |        0
387.24/387.33	c  387s |      23 |  4180211 |  3254938 |      871   8842 |        0 |        0
389.23/389.34	c  389s |      23 |  4199919 |  3270038 |      871   8876 |        0 |        0
391.23/391.35	c  391s |      23 |  4219230 |  3284838 |      871   8908 |        0 |        0
393.23/393.35	c  393s |      23 |  4238605 |  3299538 |      871   8941 |        0 |        0
395.23/395.35	c  395s |      23 |  4258682 |  3314938 |      871   8975 |        0 |        0
397.23/397.36	c  397s |      23 |  4276679 |  3329738 |      871   9008 |        0 |        0
399.23/399.37	c  399s |      23 |  4293385 |  3343838 |      871   9039 |        0 |        0
401.23/401.38	c  401s |      23 |  4312306 |  3358538 |      959   9070 |        0 |        0
403.23/403.39	c  403s |      23 |  4333497 |  3373638 |      959   9100 |        0 |        0
403.73/403.81	c  403s |      24 |  4337363 |  3376662 |      959   9106 |        0 |        0
405.73/405.82	c  405s |      24 |  4356964 |  3392062 |      959   9137 |        0 |        0
407.73/407.83	c  407s |      24 |  4378700 |  3408562 |      959   9170 |        0 |        0
409.73/409.83	c  409s |      24 |  4399938 |  3424262 |      959   9201 |        0 |        0
411.73/411.83	c  411s |      24 |  4420039 |  3440062 |      959   9233 |        0 |        0
413.73/413.84	c  413s |      24 |  4442867 |  3456362 |      959   9266 |        0 |        0
415.74/415.84	c  415s |      24 |  4464225 |  3471362 |      959   9296 |        0 |        0
417.73/417.85	c  417s |      24 |  4485694 |  3486562 |      959   9326 |        0 |        0
419.73/419.87	c  419s |      24 |  4507411 |  3502062 |      959   9358 |        0 |        0
421.73/421.87	c  421s |      24 |  4525468 |  3516662 |      959   9387 |        0 |        0
423.73/423.88	c  423s |      24 |  4543281 |  3531162 |      959   9416 |        0 |        0
425.73/425.88	c  425s |      24 |  4561207 |  3545862 |      959   9446 |        0 |        0
427.72/427.88	c  427s |      24 |  4579258 |  3560362 |      959   9475 |        0 |        0
429.72/429.89	c  429s |      24 |  4598481 |  3575662 |      959   9506 |        0 |        0
431.72/431.89	c  431s |      24 |  4618042 |  3590362 |      959   9535 |        0 |        0
433.82/433.90	c  433s |      24 |  4635785 |  3604862 |      959   9565 |        0 |        0
435.82/435.90	c  435s |      24 |  4653420 |  3619462 |      959   9594 |        0 |        0
437.83/437.91	c  437s |      24 |  4673168 |  3634562 |      959   9624 |        0 |        0
439.82/439.92	c  439s |      24 |  4692322 |  3649862 |      959   9655 |        0 |        0
441.82/441.93	c  441s |      24 |  4710684 |  3664862 |      959   9686 |        0 |        0
443.82/443.94	c  443s |      24 |  4727344 |  3678762 |      959   9714 |        0 |        0
445.82/445.95	c  445s |      24 |  4745889 |  3693462 |      959   9744 |        0 |        0
447.82/447.96	c  447s |      24 |  4765233 |  3708962 |      959   9775 |        0 |        0
449.83/449.97	c  449s |      24 |  4782980 |  3723562 |      959   9804 |        0 |        0
451.82/451.97	c  451s |      24 |  4801239 |  3738062 |      959   9833 |        0 |        0
453.82/453.98	c  453s |      24 |  4820000 |  3752762 |      959   9863 |        0 |        0
455.82/455.99	c  455s |      24 |  4838171 |  3766962 |      959   9892 |        0 |        0
457.92/458.00	c  457s |      24 |  4856991 |  3781962 |      959   9922 |        0 |        0
459.92/460.01	c  459s |      24 |  4873945 |  3796162 |      959   9951 |        0 |        0
461.92/462.02	c  462s |      24 |  4890479 |  3809962 |      959   9978 |        0 |        0
463.92/464.04	c  464s |      24 |  4906350 |  3823762 |      959  10006 |        0 |        0
465.92/466.04	c  466s |      24 |  4923385 |  3837962 |      959  10035 |        0 |        0
467.92/468.05	c  468s |      24 |  4941240 |  3852362 |      959  10064 |        0 |        0
469.92/470.07	c  470s |      24 |  4959179 |  3866662 |      959  10093 |        0 |        0
471.93/472.07	c  472s |      24 |  4976569 |  3880762 |      959  10121 |        0 |        0
473.92/474.08	c  474s |      24 |  4995685 |  3895962 |      959  10152 |        0 |        0
475.92/476.08	c  476s |      24 |  5012950 |  3910462 |      959  10181 |        0 |        0
477.92/478.08	c  478s |      24 |  5031997 |  3925462 |      959  10211 |        0 |        0
479.92/480.09	c  480s |      24 |  5051314 |  3940362 |      959  10242 |        0 |        0
482.02/482.10	c  482s |      24 |  5071617 |  3956062 |      959  10273 |        0 |        0
484.03/484.11	c  484s |      24 |  5092309 |  3971762 |      959  10305 |        0 |        0
486.02/486.11	c  486s |      24 |  5113761 |  3987862 |      959  10337 |        0 |        0
488.02/488.12	c  488s |      24 |  5132751 |  4003162 |      959  10368 |        0 |        0
490.02/490.12	c  490s |      24 |  5153295 |  4019062 |      959  10400 |        0 |        0
492.02/492.12	c  492s |      24 |  5171863 |  4034162 |      959  10431 |        0 |        0
494.02/494.13	c  494s |      24 |  5192577 |  4050462 |      959  10464 |        0 |        0
496.02/496.13	c  496s |      24 |  5214460 |  4067462 |      959  10498 |        0 |        0
498.02/498.14	c  498s |      24 |  5237138 |  4084762 |      959  10533 |        0 |        0
500.02/500.15	c  500s |      24 |  5258339 |  4101262 |      959  10567 |        0 |        0
502.01/502.16	c  502s |      24 |  5279565 |  4117862 |      959  10600 |        0 |        0
504.01/504.17	c  504s |      24 |  5300164 |  4133962 |      959  10633 |        0 |        0
506.02/506.18	c  506s |      24 |  5320912 |  4150262 |      959  10666 |        0 |        0
508.01/508.18	c  508s |      24 |  5340333 |  4166062 |      959  10698 |        0 |        0
510.01/510.18	c  510s |      24 |  5360306 |  4182262 |      959  10730 |        0 |        0
512.11/512.20	c  512s |      24 |  5380102 |  4198362 |      959  10763 |        0 |        0
514.11/514.21	c  514s |      24 |  5398277 |  4213862 |      959  10794 |        0 |        0
516.11/516.22	c  516s |      24 |  5418272 |  4229862 |      959  10827 |        0 |        0
518.12/518.22	c  518s |      24 |  5436905 |  4245362 |      959  10858 |        0 |        0
520.11/520.23	c  520s |      24 |  5455701 |  4260462 |      959  10888 |        0 |        0
522.11/522.24	c  522s |      24 |  5475697 |  4276462 |      959  10921 |        0 |        0
524.11/524.24	c  524s |      24 |  5495560 |  4292262 |      959  10953 |        0 |        0
526.11/526.25	c  526s |      24 |  5515386 |  4308162 |      959  10985 |        0 |        0
528.11/528.25	c  528s |      24 |  5538778 |  4324962 |      959  11019 |        0 |        0
530.11/530.26	c  530s |      24 |  5559751 |  4341462 |      959  11052 |        0 |        0
532.11/532.27	c  532s |      24 |  5580930 |  4357662 |      959  11085 |        0 |        0
534.10/534.28	c  534s |      24 |  5602354 |  4373962 |      959  11118 |        0 |        0
536.10/536.29	c  536s |      24 |  5622146 |  4389762 |      959  11150 |        0 |        0
538.10/538.30	c  538s |      24 |  5643109 |  4405962 |      959  11183 |        0 |        0
540.20/540.30	c  540s |      24 |  5662788 |  4421362 |      959  11214 |        0 |        0
542.21/542.31	c  542s |      24 |  5685580 |  4438162 |      959  11248 |        0 |        0
544.21/544.31	c  544s |      24 |  5706811 |  4454362 |      959  11281 |        0 |        0
546.21/546.32	c  546s |      24 |  5726391 |  4470162 |      959  11313 |        0 |        0
548.21/548.32	c  548s |      24 |  5745237 |  4485462 |      959  11344 |        0 |        0
550.21/550.32	c  550s |      24 |  5761639 |  4499362 |      959  11372 |        0 |        0
552.22/552.33	c  552s |      24 |  5778762 |  4513662 |      959  11401 |        0 |        0
554.21/554.34	c  554s |      24 |  5798852 |  4529162 |      959  11432 |        0 |        0
556.21/556.34	c  556s |      24 |  5819085 |  4545162 |      959  11464 |        0 |        0
558.21/558.35	c  558s |      24 |  5837862 |  4560562 |      959  11495 |        0 |        0
560.21/560.36	c  560s |      24 |  5856934 |  4575962 |      959  11526 |        0 |        0
562.21/562.36	c  562s |      24 |  5875698 |  4591062 |      959  11557 |        0 |        0
564.21/564.37	c  564s |      24 |  5895466 |  4606562 |      959  11588 |        0 |        0
566.21/566.37	c  566s |      24 |  5916995 |  4622962 |      959  11621 |        0 |        0
568.21/568.37	c  568s |      24 |  5936528 |  4638462 |      959  11653 |        0 |        0
570.20/570.38	c  570s |      24 |  5954719 |  4653062 |      959  11682 |        0 |        0
572.20/572.38	c  572s |      24 |  5973079 |  4668062 |      959  11713 |        0 |        0
574.21/574.39	c  574s |      24 |  5992739 |  4683662 |      959  11744 |        0 |        0
576.20/576.39	c  576s |      24 |  6014641 |  4700062 |      959  11777 |        0 |        0
578.30/578.40	c  578s |      24 |  6032181 |  4714662 |      959  11807 |        0 |        0
580.30/580.41	c  580s |      24 |  6051653 |  4729962 |      959  11838 |        0 |        0
582.30/582.42	c  582s |      24 |  6071235 |  4745362 |      959  11869 |        0 |        0
584.30/584.43	c  584s |      24 |  6091738 |  4761162 |      959  11902 |        0 |        0
586.31/586.44	c  586s |      24 |  6109483 |  4776162 |      959  11932 |        0 |        0
588.30/588.45	c  588s |      24 |  6126255 |  4790562 |      959  11961 |        0 |        0
590.30/590.45	c  590s |      24 |  6144329 |  4805462 |      959  11992 |        0 |        0
592.30/592.47	c  592s |      24 |  6162017 |  4820162 |      959  12022 |        0 |        0
594.30/594.48	c  594s |      24 |  6180839 |  4835462 |      959  12053 |        0 |        0
596.30/596.48	c  596s |      24 |  6197741 |  4849562 |      959  12081 |        0 |        0
598.31/598.49	c  598s |      24 |  6214894 |  4863862 |      959  12110 |        0 |        0
600.40/600.50	c  600s |      24 |  6234559 |  4879262 |      959  12142 |        0 |        0
602.40/602.51	c  602s |      24 |  6251774 |  4893762 |      959  12171 |        0 |        0
604.40/604.51	c  604s |      24 |  6269284 |  4908162 |      959  12200 |        0 |        0
606.40/606.52	c  606s |      24 |  6287579 |  4922762 |      959  12229 |        0 |        0
608.40/608.52	c  608s |      24 |  6304853 |  4936862 |      959  12257 |        0 |        0
610.40/610.53	c  610s |      24 |  6321175 |  4950562 |      959  12285 |        0 |        0
612.39/612.53	c  612s |      24 |  6337805 |  4964362 |      959  12313 |        0 |        0
614.39/614.54	c  614s |      24 |  6353413 |  4977762 |      959  12340 |        0 |        0
616.39/616.55	c  616s |      24 |  6373215 |  4992362 |      959  12369 |        0 |        0
618.40/618.56	c  618s |      24 |  6389113 |  5005862 |      959  12396 |        0 |        0
620.41/620.57	c  620s |      24 |  6404901 |  5019262 |      959  12423 |        0 |        0
622.40/622.58	c  622s |      24 |  6419882 |  5032262 |     1055  12449 |        0 |        0
624.40/624.59	c  624s |      24 |  6435702 |  5045662 |     1055  12473 |        0 |        0
626.50/626.61	c  626s |      24 |  6451537 |  5058962 |     1055  12498 |        0 |        0
627.30/627.47	c  627s |      25 |  6458451 |  5065098 |     1055  12509 |        0 |        0
629.29/629.48	c  629s |      25 |  6476633 |  5079898 |     1055  12536 |        0 |        0
631.30/631.49	c  631s |      25 |  6494338 |  5094398 |     1055  12562 |        0 |        0
633.39/633.50	c  633s |      25 |  6513285 |  5109398 |     1055  12589 |        0 |        0
635.39/635.51	c  635s |      25 |  6531816 |  5123998 |     1055  12616 |        0 |        0
637.39/637.53	c  637s |      25 |  6550412 |  5138998 |     1055  12644 |        0 |        0
639.39/639.53	c  639s |      25 |  6568953 |  5153998 |     1055  12671 |        0 |        0
641.39/641.54	c  641s |      25 |  6590184 |  5169598 |     1055  12699 |        0 |        0
643.40/643.54	c  643s |      25 |  6609106 |  5184298 |     1055  12726 |        0 |        0
645.39/645.54	c  645s |      25 |  6628234 |  5199898 |     1055  12755 |        0 |        0
647.39/647.56	c  647s |      25 |  6645906 |  5214598 |     1055  12782 |        0 |        0
649.39/649.56	c  649s |      25 |  6664188 |  5229198 |     1055  12809 |        0 |        0
651.39/651.56	c  651s |      25 |  6681617 |  5243398 |     1055  12835 |        0 |        0
653.39/653.56	c  653s |      25 |  6698919 |  5257598 |     1055  12862 |        0 |        0
655.39/655.56	c  655s |      25 |  6716205 |  5271798 |     1055  12888 |        0 |        0
657.39/657.58	c  657s |      25 |  6734535 |  5286798 |     1055  12916 |        0 |        0
659.39/659.59	c  659s |      25 |  6752375 |  5301198 |     1055  12942 |        0 |        0
661.49/661.60	c  661s |      25 |  6769690 |  5315198 |     1055  12968 |        0 |        0
663.49/663.61	c  663s |      25 |  6788954 |  5330298 |     1055  12996 |        0 |        0
665.50/665.62	c  665s |      25 |  6806314 |  5344898 |     1055  13023 |        0 |        0
667.49/667.62	c  667s |      25 |  6823642 |  5359598 |     1055  13050 |        0 |        0
669.49/669.62	c  669s |      25 |  6840794 |  5374198 |     1055  13076 |        0 |        0
671.49/671.63	c  671s |      25 |  6858266 |  5388498 |     1055  13102 |        0 |        0
673.49/673.63	c  673s |      25 |  6873905 |  5402098 |     1055  13126 |        0 |        0
675.49/675.63	c  675s |      25 |  6890105 |  5415698 |     1055  13151 |        0 |        0
677.50/677.64	c  677s |      25 |  6905524 |  5428998 |     1055  13175 |        0 |        0
679.49/679.64	c  679s |      25 |  6921238 |  5442898 |     1055  13200 |        0 |        0
681.49/681.64	c  681s |      25 |  6937355 |  5456698 |     1055  13225 |        0 |        0
683.49/683.65	c  683s |      25 |  6955080 |  5471298 |     1055  13252 |        0 |        0
685.49/685.66	c  685s |      25 |  6972332 |  5485898 |     1055  13279 |        0 |        0
687.49/687.67	c  687s |      25 |  6989508 |  5500098 |     1055  13305 |        0 |        0
689.49/689.67	c  689s |      25 |  7007187 |  5514598 |     1055  13332 |        0 |        0
691.48/691.68	c  691s |      25 |  7024964 |  5529298 |     1055  13359 |        0 |        0
693.48/693.69	c  693s |      25 |  7041550 |  5543598 |     1055  13385 |        0 |        0
695.48/695.69	c  695s |      25 |  7060302 |  5558698 |     1055  13413 |        0 |        0
697.58/697.70	c  697s |      25 |  7080833 |  5574498 |     1055  13442 |        0 |        0
699.59/699.71	c  699s |      25 |  7099362 |  5589398 |     1055  13470 |        0 |        0
701.58/701.72	c  701s |      25 |  7117937 |  5604398 |     1055  13497 |        0 |        0
703.58/703.73	c  703s |      25 |  7133874 |  5618098 |     1055  13522 |        0 |        0
705.58/705.73	c  705s |      25 |  7149440 |  5631698 |     1055  13547 |        0 |        0
707.58/707.74	c  707s |      25 |  7167082 |  5646198 |     1055  13574 |        0 |        0
709.58/709.74	c  709s |      25 |  7184479 |  5660398 |     1055  13600 |        0 |        0
711.59/711.75	c  711s |      25 |  7202101 |  5674598 |     1055  13626 |        0 |        0
713.58/713.76	c  713s |      25 |  7220064 |  5688998 |     1055  13653 |        0 |        0
715.58/715.76	c  715s |      25 |  7238373 |  5703698 |     1055  13680 |        0 |        0
717.58/717.77	c  717s |      25 |  7256491 |  5718298 |     1055  13707 |        0 |        0
719.58/719.78	c  719s |      25 |  7273748 |  5732598 |     1055  13733 |        0 |        0
721.59/721.78	c  721s |      25 |  7292842 |  5747898 |     1055  13761 |        0 |        0
723.58/723.79	c  723s |      25 |  7310013 |  5761998 |     1055  13787 |        0 |        0
725.58/725.79	c  725s |      25 |  7327674 |  5776198 |     1055  13813 |        0 |        0
727.68/727.80	c  727s |      25 |  7344559 |  5790598 |     1055  13839 |        0 |        0
729.68/729.81	c  729s |      25 |  7362412 |  5805198 |     1055  13866 |        0 |        0
731.67/731.81	c  731s |      25 |  7379536 |  5819998 |     1055  13893 |        0 |        0
733.68/733.81	c  733s |      25 |  7399522 |  5835698 |     1055  13922 |        0 |        0
735.67/735.81	c  735s |      25 |  7418356 |  5851198 |     1055  13950 |        0 |        0
737.67/737.82	c  737s |      25 |  7437232 |  5866398 |     1055  13978 |        0 |        0
739.67/739.82	c  739s |      25 |  7456165 |  5881398 |     1055  14006 |        0 |        0
741.67/741.82	c  741s |      25 |  7475240 |  5896598 |     1055  14034 |        0 |        0
743.67/743.83	c  743s |      25 |  7494989 |  5911998 |     1055  14062 |        0 |        0
745.68/745.84	c  745s |      25 |  7513425 |  5926898 |     1055  14089 |        0 |        0
747.67/747.84	c  747s |      25 |  7531836 |  5941798 |     1055  14117 |        0 |        0
749.67/749.84	c  749s |      25 |  7551342 |  5957598 |     1055  14146 |        0 |        0
751.67/751.85	c  751s |      25 |  7569436 |  5972398 |     1055  14172 |        0 |        0
753.68/753.86	c  753s |      25 |  7587197 |  5986898 |     1055  14199 |        0 |        0
755.69/755.86	c  755s |      25 |  7606421 |  6002398 |     1055  14227 |        0 |        0
757.68/757.86	c  757s |      25 |  7626085 |  6017798 |     1055  14256 |        0 |        0
759.68/759.86	c  759s |      25 |  7644212 |  6032898 |     1055  14284 |        0 |        0
761.68/761.87	c  761s |      25 |  7663461 |  6048298 |     1055  14312 |        0 |        0
763.68/763.88	c  763s |      25 |  7683400 |  6063898 |     1055  14341 |        0 |        0
765.78/765.90	c  765s |      25 |  7702538 |  6079198 |     1055  14369 |        0 |        0
767.68/767.90	c  767s |      25 |  7722103 |  6094498 |     1055  14397 |        0 |        0
769.78/769.90	c  769s |      25 |  7740139 |  6109098 |     1055  14424 |        0 |        0
771.78/771.90	c  771s |      25 |  7756999 |  6123298 |     1055  14450 |        0 |        0
773.78/773.90	c  773s |      25 |  7776118 |  6138798 |     1055  14478 |        0 |        0
775.78/775.91	c  775s |      25 |  7795141 |  6154598 |     1055  14507 |        0 |        0
777.78/777.91	c  777s |      25 |  7813113 |  6169598 |     1055  14535 |        0 |        0
779.78/779.92	c  779s |      25 |  7831610 |  6184898 |     1055  14563 |        0 |        0
781.78/781.92	c  781s |      25 |  7849244 |  6199598 |     1055  14591 |        0 |        0
783.77/783.93	c  783s |      25 |  7866349 |  6214198 |     1055  14617 |        0 |        0
785.77/785.93	c  785s |      25 |  7884626 |  6229398 |     1055  14646 |        0 |        0
787.77/787.94	c  787s |      25 |  7902875 |  6244498 |     1055  14673 |        0 |        0
789.78/789.94	c  789s |      25 |  7918875 |  6258298 |     1055  14699 |        0 |        0
791.77/791.95	c  791s |      25 |  7935256 |  6272198 |     1055  14724 |        0 |        0
793.77/793.96	c  793s |      25 |  7951165 |  6285998 |     1055  14750 |        0 |        0
795.77/795.96	c  795s |      25 |  7966934 |  6299198 |     1055  14774 |        0 |        0
797.77/797.97	c  797s |      25 |  7983885 |  6313098 |     1055  14799 |        0 |        0
799.77/799.98	c  799s |      25 |  8000032 |  6326598 |     1055  14824 |        0 |        0
801.78/801.99	c  801s |      25 |  8016688 |  6340298 |     1055  14850 |        0 |        0
803.87/804.00	c  803s |      25 |  8031461 |  6353198 |     1055  14873 |        0 |        0
805.87/806.01	c  805s |      25 |  8048452 |  6367698 |     1055  14900 |        0 |        0
807.87/808.02	c  808s |      25 |  8067636 |  6383198 |     1055  14929 |        0 |        0
809.87/810.03	c  810s |      25 |  8085030 |  6397898 |     1055  14956 |        0 |        0
811.87/812.03	c  812s |      25 |  8102838 |  6412498 |     1055  14982 |        0 |        0
813.87/814.04	c  814s |      25 |  8121806 |  6427698 |     1055  15010 |        0 |        0
815.87/816.05	c  816s |      25 |  8139753 |  6441898 |     1055  15037 |        0 |        0
817.87/818.05	c  818s |      25 |  8156652 |  6456098 |     1055  15063 |        0 |        0
819.87/820.05	c  820s |      25 |  8174052 |  6470998 |     1055  15090 |        0 |        0
821.87/822.06	c  822s |      25 |  8191365 |  6485798 |     1055  15117 |        0 |        0
823.87/824.07	c  824s |      25 |  8207477 |  6499698 |     1055  15143 |        0 |        0
825.87/826.08	c  826s |      25 |  8222223 |  6512698 |     1055  15166 |        0 |        0
827.87/828.08	c  828s |      25 |  8237317 |  6525798 |     1055  15191 |        0 |        0
829.86/830.08	c  830s |      25 |  8254007 |  6539698 |     1055  15216 |        0 |        0
831.86/832.09	c  832s |      25 |  8270920 |  6554098 |     1055  15242 |        0 |        0
833.86/834.09	c  834s |      25 |  8286817 |  6567798 |     1055  15268 |        0 |        0
835.87/836.09	c  836s |      25 |  8303783 |  6581798 |     1055  15293 |        0 |        0
837.96/838.11	c  838s |      25 |  8323611 |  6597098 |     1055  15322 |        0 |        0
839.96/840.11	c  840s |      25 |  8341017 |  6611398 |     1055  15348 |        0 |        0
841.96/842.11	c  842s |      25 |  8361269 |  6625998 |     1055  15375 |        0 |        0
843.96/844.12	c  844s |      25 |  8378721 |  6639998 |     1055  15401 |        0 |        0
845.96/846.13	c  846s |      25 |  8397363 |  6654398 |     1055  15427 |        0 |        0
847.97/848.14	c  848s |      25 |  8414294 |  6668798 |     1055  15454 |        0 |        0
849.96/850.14	c  850s |      25 |  8429314 |  6681998 |     1055  15478 |        0 |        0
851.96/852.14	c  852s |      25 |  8446640 |  6696498 |     1055  15504 |        0 |        0
853.96/854.15	c  854s |      25 |  8464577 |  6711298 |     1055  15532 |        0 |        0
855.96/856.15	c  856s |      25 |  8480113 |  6724998 |     1055  15557 |        0 |        0
857.97/858.16	c  858s |      25 |  8499931 |  6739998 |     1055  15584 |        0 |        0
859.96/860.17	c  860s |      25 |  8519489 |  6755298 |     1055  15613 |        0 |        0
861.96/862.19	c  862s |      25 |  8538248 |  6770798 |     1055  15641 |        0 |        0
863.96/864.19	c  864s |      25 |  8557200 |  6785798 |     1055  15669 |        0 |        0
865.96/866.19	c  866s |      25 |  8574389 |  6799898 |     1055  15695 |        0 |        0
868.06/868.20	c  868s |      25 |  8592006 |  6814098 |     1055  15721 |        0 |        0
869.96/870.20	c  870s |      25 |  8609167 |  6828498 |     1055  15748 |        0 |        0
872.05/872.21	c  872s |      25 |  8626531 |  6843098 |     1055  15774 |        0 |        0
874.05/874.21	c  874s |      25 |  8644553 |  6858398 |     1055  15803 |        0 |        0
876.05/876.22	c  876s |      25 |  8662733 |  6873598 |     1055  15831 |        0 |        0
878.05/878.23	c  878s |      25 |  8684019 |  6889398 |     1055  15860 |        0 |        0
880.05/880.23	c  880s |      25 |  8705919 |  6905798 |     1055  15890 |        0 |        0
882.06/882.23	c  882s |      25 |  8723847 |  6920398 |     1055  15917 |        0 |        0
884.05/884.25	c  884s |      25 |  8743016 |  6935798 |     1055  15945 |        0 |        0
886.05/886.26	c  886s |      25 |  8762063 |  6950998 |     1055  15973 |        0 |        0
888.05/888.26	c  888s |      25 |  8780130 |  6965598 |     1055  16000 |        0 |        0
890.05/890.26	c  890s |      25 |  8797610 |  6979998 |     1055  16027 |        0 |        0
892.06/892.27	c  892s |      25 |  8816327 |  6994498 |     1055  16053 |        0 |        0
894.05/894.27	c  894s |      25 |  8834054 |  7008998 |     1055  16080 |        0 |        0
896.05/896.28	c  896s |      25 |  8851524 |  7023398 |     1055  16106 |        0 |        0
898.06/898.28	c  898s |      25 |  8871606 |  7039098 |     1055  16135 |        0 |        0
900.06/900.28	c  900s |      25 |  8890315 |  7053998 |     1055  16163 |        0 |        0
902.05/902.28	c  902s |      25 |  8908751 |  7068798 |     1055  16190 |        0 |        0
904.06/904.28	c  904s |      25 |  8928363 |  7084098 |     1055  16218 |        0 |        0
906.05/906.28	c  906s |      25 |  8946473 |  7099098 |     1055  16246 |        0 |        0
908.05/908.29	c  908s |      25 |  8966801 |  7115198 |     1055  16276 |        0 |        0
910.05/910.29	c  910s |      25 |  8986905 |  7130998 |     1055  16305 |        0 |        0
912.15/912.30	c  912s |      25 |  9006113 |  7146498 |     1055  16333 |        0 |        0
914.15/914.31	c  914s |      25 |  9025972 |  7162398 |     1055  16363 |        0 |        0
916.16/916.32	c  916s |      25 |  9044637 |  7177598 |     1055  16391 |        0 |        0
918.15/918.33	c  918s |      25 |  9062246 |  7192298 |     1055  16418 |        0 |        0
920.15/920.33	c  920s |      25 |  9081127 |  7207498 |     1055  16446 |        0 |        0
922.15/922.34	c  922s |      25 |  9099011 |  7222198 |     1055  16473 |        0 |        0
924.15/924.35	c  924s |      25 |  9116858 |  7236998 |     1055  16500 |        0 |        0
926.16/926.35	c  926s |      25 |  9136627 |  7252598 |     1055  16528 |        0 |        0
928.15/928.36	c  928s |      25 |  9154484 |  7267398 |     1055  16556 |        0 |        0
930.15/930.36	c  930s |      25 |  9171898 |  7282298 |     1055  16583 |        0 |        0
932.15/932.37	c  932s |      25 |  9189221 |  7296898 |     1055  16610 |        0 |        0
934.15/934.38	c  934s |      25 |  9208064 |  7312298 |     1055  16639 |        0 |        0
936.14/936.38	c  936s |      25 |  9226505 |  7327398 |     1055  16667 |        0 |        0
938.15/938.39	c  938s |      25 |  9244028 |  7342098 |     1055  16694 |        0 |        0
940.24/940.40	c  940s |      25 |  9261551 |  7356798 |     1055  16721 |        0 |        0
942.24/942.41	c  942s |      25 |  9279601 |  7371498 |     1055  16748 |        0 |        0
944.24/944.41	c  944s |      25 |  9299638 |  7386998 |     1055  16777 |        0 |        0
946.24/946.42	c  946s |      25 |  9317632 |  7401598 |     1055  16804 |        0 |        0
948.24/948.43	c  948s |      25 |  9334910 |  7415698 |     1055  16829 |        0 |        0
950.25/950.44	c  950s |      25 |  9351922 |  7430098 |     1055  16856 |        0 |        0
952.24/952.44	c  952s |      25 |  9369801 |  7444898 |     1055  16883 |        0 |        0
954.25/954.45	c  954s |      25 |  9388843 |  7459998 |     1055  16911 |        0 |        0
956.25/956.46	c  956s |      25 |  9406427 |  7474798 |     1055  16938 |        0 |        0
958.25/958.47	c  958s |      25 |  9424626 |  7489898 |     1055  16966 |        0 |        0
960.25/960.47	c  960s |      25 |  9443376 |  7505098 |     1055  16994 |        0 |        0
962.25/962.48	c  962s |      25 |  9460926 |  7519698 |     1055  17021 |        0 |        0
964.25/964.49	c  964s |      25 |  9477737 |  7533898 |     1055  17047 |        0 |        0
966.25/966.49	c  966s |      25 |  9493268 |  7547498 |     1161  17071 |        0 |        0
968.35/968.51	c  968s |      25 |  9508480 |  7560498 |     1161  17093 |        0 |        0
970.35/970.52	c  970s |      25 |  9524369 |  7573898 |     1161  17115 |        0 |        0
972.35/972.53	c  972s |      25 |  9540645 |  7587498 |     1161  17138 |        0 |        0
973.84/974.05	c  974s |      26 |  9553020 |  7597752 |     1161  17155 |        0 |        0
975.84/976.06	c  976s |      26 |  9570707 |  7612052 |     1161  17179 |        0 |        0
977.85/978.06	c  978s |      26 |  9587347 |  7625952 |     1161  17202 |        0 |        0
979.84/980.07	c  980s |      26 |  9603390 |  7639652 |     1161  17225 |        0 |        0
981.84/982.07	c  982s |      26 |  9620132 |  7653552 |     1161  17248 |        0 |        0
983.84/984.08	c  984s |      26 |  9637619 |  7667752 |     1161  17271 |        0 |        0
985.84/986.09	c  986s |      26 |  9655388 |  7682252 |     1161  17296 |        0 |        0
987.94/988.10	c  988s |      26 |  9672335 |  7696352 |     1161  17319 |        0 |        0
989.94/990.11	c  990s |      26 |  9688548 |  7710052 |     1161  17342 |        0 |        0
991.94/992.12	c  992s |      26 |  9705532 |  7724152 |     1161  17365 |        0 |        0
993.93/994.13	c  994s |      26 |  9721167 |  7737652 |     1161  17388 |        0 |        0
995.93/996.13	c  996s |      26 |  9736875 |  7751052 |     1161  17410 |        0 |        0
997.93/998.13	c  998s |      26 |  9754941 |  7765552 |     1161  17435 |        0 |        0
999.93/1000.14	c 1000s |      26 |  9772281 |  7779652 |     1161  17458 |        0 |        0
1001.95/1002.15	c 1002s |      26 |  9791823 |  7794852 |     1161  17483 |        0 |        0
1003.94/1004.16	c 1004s |      26 |  9810606 |  7809552 |     1161  17508 |        0 |        0
1005.94/1006.17	c 1006s |      26 |  9830305 |  7824852 |     1161  17533 |        0 |        0
1007.94/1008.18	c 1008s |      26 |  9846168 |  7838452 |     1161  17556 |        0 |        0
1009.94/1010.19	c 1010s |      26 |  9862399 |  7851952 |     1161  17579 |        0 |        0
1012.04/1012.20	c 1012s |      26 |  9879088 |  7865352 |     1161  17601 |        0 |        0
1014.05/1014.21	c 1014s |      26 |  9895773 |  7879452 |     1161  17624 |        0 |        0
1016.04/1016.22	c 1016s |      26 |  9913847 |  7894252 |     1161  17649 |        0 |        0
1018.04/1018.22	c 1018s |      26 |  9930353 |  7908152 |     1161  17672 |        0 |        0
1020.04/1020.23	c 1020s |      26 |  9945237 |  7921052 |     1161  17693 |        0 |        0
1022.04/1022.23	c 1022s |      26 |  9960558 |  7934152 |     1161  17715 |        0 |        0
1024.04/1024.23	c 1024s |      26 |  9976907 |  7948052 |     1161  17738 |        0 |        0
1026.04/1026.23	c 1026s |      26 |  9993551 |  7962152 |     1161  17761 |        0 |        0
1028.03/1028.24	c 1028s |      26 | 10010927 |  7976452 |     1161  17785 |        0 |        0
1030.03/1030.25	c 1030s |      26 | 10027455 |  7990652 |     1161  17809 |        0 |        0
1032.03/1032.25	c 1032s |      26 | 10044416 |  8004552 |     1161  17832 |        0 |        0
1034.03/1034.26	c 1034s |      26 | 10061067 |  8018652 |     1161  17856 |        0 |        0
1036.04/1036.26	c 1036s |      26 | 10077558 |  8032652 |     1161  17879 |        0 |        0
1038.03/1038.27	c 1038s |      26 | 10092952 |  8046052 |     1161  17901 |        0 |        0
1040.03/1040.28	c 1040s |      26 | 10109997 |  8060252 |     1161  17925 |        0 |        0
1042.03/1042.29	c 1042s |      26 | 10127507 |  8074452 |     1161  17949 |        0 |        0
1044.13/1044.30	c 1044s |      26 | 10146291 |  8089452 |     1161  17974 |        0 |        0
1046.13/1046.31	c 1046s |      26 | 10163759 |  8103852 |     1161  17998 |        0 |        0
1048.14/1048.32	c 1048s |      26 | 10181574 |  8118352 |     1161  18022 |        0 |        0
1050.13/1050.33	c 1050s |      26 | 10200095 |  8132952 |     1161  18046 |        0 |        0
1052.13/1052.34	c 1052s |      26 | 10219465 |  8148352 |     1161  18072 |        0 |        0
1054.13/1054.34	c 1054s |      26 | 10237046 |  8162752 |     1161  18096 |        0 |        0
1056.13/1056.35	c 1056s |      26 | 10252413 |  8176052 |     1161  18118 |        0 |        0
1058.13/1058.36	c 1058s |      26 | 10269124 |  8190052 |     1161  18142 |        0 |        0
1060.13/1060.37	c 1060s |      26 | 10286586 |  8204452 |     1161  18166 |        0 |        0
1062.13/1062.37	c 1062s |      26 | 10303457 |  8218452 |     1161  18189 |        0 |        0
1064.13/1064.38	c 1064s |      26 | 10321659 |  8233252 |     1161  18214 |        0 |        0
1066.13/1066.39	c 1066s |      26 | 10338527 |  8247352 |     1161  18237 |        0 |        0
1068.12/1068.39	c 1068s |      26 | 10353946 |  8260452 |     1161  18259 |        0 |        0
1070.23/1070.41	c 1070s |      26 | 10369958 |  8274052 |     1161  18282 |        0 |        0
1072.22/1072.42	c 1072s |      26 | 10387073 |  8287952 |     1161  18305 |        0 |        0
1074.22/1074.42	c 1074s |      26 | 10402866 |  8301252 |     1161  18327 |        0 |        0
1076.22/1076.44	c 1076s |      26 | 10417561 |  8314052 |     1161  18348 |        0 |        0
1078.22/1078.44	c 1078s |      26 | 10433254 |  8327452 |     1161  18371 |        0 |        0
1080.22/1080.45	c 1080s |      26 | 10448311 |  8340452 |     1161  18392 |        0 |        0
1082.22/1082.46	c 1082s |      26 | 10463677 |  8353752 |     1161  18415 |        0 |        0
1084.22/1084.47	c 1084s |      26 | 10479341 |  8367452 |     1161  18437 |        0 |        0
1086.21/1086.47	c 1086s |      26 | 10494133 |  8380352 |     1161  18459 |        0 |        0
1088.21/1088.48	c 1088s |      26 | 10509942 |  8393652 |     1161  18481 |        0 |        0
1090.21/1090.49	c 1090s |      26 | 10525099 |  8406952 |     1161  18504 |        0 |        0
1092.31/1092.51	c 1092s |      26 | 10539965 |  8420052 |     1161  18526 |        0 |        0
1094.32/1094.51	c 1094s |      26 | 10554114 |  8432552 |     1161  18546 |        0 |        0
1096.31/1096.53	c 1096s |      26 | 10569443 |  8445652 |     1161  18568 |        0 |        0
1098.31/1098.54	c 1098s |      26 | 10584288 |  8458652 |     1161  18590 |        0 |        0
1100.31/1100.54	c 1100s |      26 | 10600069 |  8472252 |     1161  18612 |        0 |        0
1102.31/1102.54	c 1102s |      26 | 10615383 |  8485552 |     1161  18634 |        0 |        0
1104.32/1104.55	c 1104s |      26 | 10630248 |  8498552 |     1161  18656 |        0 |        0
1106.31/1106.55	c 1106s |      26 | 10644418 |  8511252 |     1161  18677 |        0 |        0
1108.31/1108.56	c 1108s |      26 | 10659296 |  8524252 |     1161  18699 |        0 |        0
1110.31/1110.56	c 1110s |      26 | 10674892 |  8537852 |     1161  18721 |        0 |        0
1112.31/1112.57	c 1112s |      26 | 10688611 |  8550352 |     1161  18742 |        0 |        0
1114.31/1114.57	c 1114s |      26 | 10703392 |  8563252 |     1161  18763 |        0 |        0
1116.31/1116.57	c 1116s |      26 | 10720964 |  8577552 |     1161  18787 |        0 |        0
1118.31/1118.57	c 1118s |      26 | 10737969 |  8591852 |     1161  18811 |        0 |        0
1120.30/1120.58	c 1120s |      26 | 10753255 |  8605252 |     1161  18833 |        0 |        0
1122.30/1122.59	c 1122s |      26 | 10769592 |  8619252 |     1161  18857 |        0 |        0
1124.30/1124.59	c 1124s |      26 | 10786633 |  8633152 |     1161  18880 |        0 |        0
1126.40/1126.60	c 1126s |      26 | 10803808 |  8647452 |     1161  18904 |        0 |        0
1128.41/1128.61	c 1128s |      26 | 10819904 |  8661152 |     1161  18927 |        0 |        0
1130.40/1130.62	c 1130s |      26 | 10837970 |  8675652 |     1161  18951 |        0 |        0
1132.39/1132.62	c 1132s |      26 | 10854516 |  8689752 |     1161  18974 |        0 |        0
1134.39/1134.63	c 1134s |      26 | 10871202 |  8703452 |     1161  18997 |        0 |        0
1136.39/1136.63	c 1136s |      26 | 10885908 |  8715952 |     1161  19018 |        0 |        0
1138.40/1138.64	c 1138s |      26 | 10901489 |  8729252 |     1161  19040 |        0 |        0
1140.39/1140.64	c 1140s |      26 | 10916854 |  8742552 |     1161  19062 |        0 |        0
1142.40/1142.64	c 1142s |      26 | 10932187 |  8755652 |     1161  19084 |        0 |        0
1144.40/1144.65	c 1144s |      26 | 10948092 |  8769152 |     1161  19106 |        0 |        0
1146.40/1146.66	c 1146s |      26 | 10963997 |  8782752 |     1161  19129 |        0 |        0
1148.40/1148.68	c 1148s |      26 | 10980294 |  8796352 |     1161  19152 |        0 |        0
1150.40/1150.68	c 1150s |      26 | 10997749 |  8810452 |     1161  19175 |        0 |        0
1152.49/1152.70	c 1152s |      26 | 11014074 |  8823952 |     1161  19198 |        0 |        0
1154.49/1154.71	c 1154s |      26 | 11033634 |  8839152 |     1161  19223 |        0 |        0
1156.49/1156.72	c 1156s |      26 | 11052502 |  8853952 |     1161  19248 |        0 |        0
1158.49/1158.72	c 1158s |      26 | 11071551 |  8869052 |     1161  19273 |        0 |        0
1160.48/1160.72	c 1160s |      26 | 11090536 |  8883652 |     1161  19298 |        0 |        0
1162.49/1162.72	c 1162s |      26 | 11108185 |  8897752 |     1161  19321 |        0 |        0
1164.48/1164.73	c 1164s |      26 | 11126404 |  8912452 |     1161  19346 |        0 |        0
1166.48/1166.75	c 1166s |      26 | 11144856 |  8927452 |     1161  19371 |        0 |        0
1168.48/1168.76	c 1168s |      26 | 11162201 |  8941952 |     1161  19395 |        0 |        0
1170.47/1170.76	c 1170s |      26 | 11178225 |  8955452 |     1161  19418 |        0 |        0
1172.48/1172.77	c 1172s |      26 | 11194308 |  8968852 |     1161  19440 |        0 |        0
1174.47/1174.78	c 1174s |      26 | 11210118 |  8982252 |     1161  19463 |        0 |        0
1176.47/1176.78	c 1176s |      26 | 11225766 |  8995152 |     1161  19484 |        0 |        0
1178.47/1178.78	c 1178s |      26 | 11243043 |  9009652 |     1161  19508 |        0 |        0
1180.47/1180.79	c 1180s |      26 | 11260615 |  9024152 |     1161  19533 |        0 |        0
1182.57/1182.80	c 1182s |      26 | 11279223 |  9039652 |     1161  19558 |        0 |        0
1184.57/1184.81	c 1184s |      26 | 11297095 |  9054152 |     1161  19583 |        0 |        0
1186.57/1186.81	c 1186s |      26 | 11313990 |  9067852 |     1161  19605 |        0 |        0
1188.57/1188.82	c 1188s |      26 | 11329238 |  9080752 |     1161  19627 |        0 |        0
1190.56/1190.83	c 1190s |      26 | 11343497 |  9093052 |     1161  19647 |        0 |        0
1192.56/1192.84	c 1192s |      26 | 11359728 |  9106752 |     1161  19670 |        0 |        0
1194.56/1194.84	c 1194s |      26 | 11374301 |  9119452 |     1161  19691 |        0 |        0
1196.57/1196.86	c 1196s |      26 | 11389108 |  9132452 |     1161  19713 |        0 |        0
1198.56/1198.86	c 1198s |      26 | 11405678 |  9146552 |     1161  19736 |        0 |        0
1200.55/1200.87	c 1200s |      26 | 11420031 |  9159352 |     1161  19757 |        0 |        0
1202.56/1202.88	c 1202s |      26 | 11435859 |  9172552 |     1161  19779 |        0 |        0
1204.56/1204.88	c 1204s |      26 | 11450932 |  9185652 |     1161  19801 |        0 |        0
1206.57/1206.88	c 1206s |      26 | 11465739 |  9198452 |     1161  19822 |        0 |        0
1208.56/1208.90	c 1208s |      26 | 11480412 |  9211352 |     1161  19844 |        0 |        0
1210.66/1210.91	c 1210s |      26 | 11495279 |  9224152 |     1161  19865 |        0 |        0
1212.65/1212.91	c 1212s |      26 | 11510363 |  9237152 |     1161  19887 |        0 |        0
1214.65/1214.92	c 1214s |      26 | 11525363 |  9250252 |     1161  19909 |        0 |        0
1216.65/1216.94	c 1216s |      26 | 11540749 |  9263952 |     1161  19932 |        0 |        0
1218.66/1218.95	c 1218s |      26 | 11555466 |  9276852 |     1161  19953 |        0 |        0
1220.65/1220.96	c 1220s |      26 | 11570544 |  9290152 |     1161  19975 |        0 |        0
1222.65/1222.97	c 1222s |      26 | 11585658 |  9303552 |     1161  19998 |        0 |        0
1224.65/1224.98	c 1224s |      26 | 11600582 |  9316652 |     1161  20020 |        0 |        0
1226.65/1226.99	c 1226s |      26 | 11615550 |  9329652 |     1161  20041 |        0 |        0
1228.65/1228.99	c 1228s |      26 | 11630488 |  9342652 |     1161  20063 |        0 |        0
1230.65/1230.99	c 1230s |      26 | 11648010 |  9357152 |     1161  20087 |        0 |        0
1232.64/1233.00	c 1232s |      26 | 11666870 |  9372052 |     1161  20112 |        0 |        0
1234.74/1235.00	c 1234s |      26 | 11683629 |  9386152 |     1161  20136 |        0 |        0
1236.74/1237.01	c 1236s |      26 | 11699668 |  9399752 |     1161  20159 |        0 |        0
1238.74/1239.02	c 1239s |      26 | 11715424 |  9413352 |     1161  20181 |        0 |        0
1240.74/1241.03	c 1241s |      26 | 11732154 |  9427252 |     1161  20205 |        0 |        0
1242.75/1243.05	c 1243s |      26 | 11748613 |  9441052 |     1161  20228 |        0 |        0
1244.74/1245.06	c 1245s |      26 | 11765481 |  9455352 |     1161  20252 |        0 |        0
1246.74/1247.06	c 1247s |      26 | 11781822 |  9469052 |     1161  20275 |        0 |        0
1248.73/1249.08	c 1249s |      26 | 11796997 |  9482252 |     1161  20297 |        0 |        0
1250.73/1251.09	c 1251s |      26 | 11812528 |  9495952 |     1161  20319 |        0 |        0
1252.83/1253.10	c 1253s |      26 | 11827912 |  9509452 |     1161  20342 |        0 |        0
1254.73/1255.10	c 1255s |      26 | 11843610 |  9522852 |     1161  20364 |        0 |        0
1256.83/1257.12	c 1257s |      26 | 11859634 |  9536452 |     1161  20387 |        0 |        0
1258.83/1259.13	c 1259s |      26 | 11876225 |  9550352 |     1161  20410 |        0 |        0
1260.83/1261.13	c 1261s |      26 | 11892998 |  9564252 |     1161  20433 |        0 |        0
1262.82/1263.14	c 1263s |      26 | 11909840 |  9578152 |     1161  20456 |        0 |        0
1264.83/1265.14	c 1265s |      26 | 11925742 |  9591552 |     1161  20478 |        0 |        0
1266.82/1267.15	c 1267s |      26 | 11940767 |  9604652 |     1161  20500 |        0 |        0
1268.82/1269.15	c 1269s |      26 | 11955929 |  9617952 |     1161  20523 |        0 |        0
1270.82/1271.17	c 1271s |      26 | 11971616 |  9631752 |     1161  20546 |        0 |        0
1272.82/1273.17	c 1273s |      26 | 11988684 |  9646152 |     1161  20570 |        0 |        0
1274.82/1275.18	c 1275s |      26 | 12006486 |  9660852 |     1161  20594 |        0 |        0
1276.83/1277.19	c 1277s |      26 | 12023887 |  9675252 |     1161  20618 |        0 |        0
1278.92/1279.20	c 1279s |      26 | 12040792 |  9689552 |     1161  20642 |        0 |        0
1280.92/1281.20	c 1281s |      26 | 12056572 |  9703052 |     1161  20665 |        0 |        0
1282.92/1283.20	c 1283s |      26 | 12070865 |  9715352 |     1161  20685 |        0 |        0
1284.92/1285.21	c 1285s |      26 | 12087712 |  9728852 |     1161  20708 |        0 |        0
1286.92/1287.21	c 1287s |      26 | 12105084 |  9742852 |     1161  20731 |        0 |        0
1288.92/1289.21	c 1289s |      26 | 12121822 |  9756852 |     1161  20754 |        0 |        0
1290.91/1291.22	c 1291s |      26 | 12137502 |  9770152 |     1161  20776 |        0 |        0
1292.91/1293.23	c 1293s |      26 | 12154491 |  9784152 |     1161  20800 |        0 |        0
1294.92/1295.23	c 1295s |      26 | 12171799 |  9798052 |     1161  20823 |        0 |        0
1296.92/1297.24	c 1297s |      26 | 12188109 |  9811852 |     1161  20846 |        0 |        0
1298.92/1299.25	c 1299s |      26 | 12203194 |  9825052 |     1161  20868 |        0 |        0
1300.91/1301.26	c 1301s |      26 | 12219044 |  9838752 |     1161  20891 |        0 |        0
1302.91/1303.27	c 1303s |      26 | 12235086 |  9852552 |     1161  20914 |        0 |        0
1304.91/1305.27	c 1305s |      26 | 12250956 |  9866252 |     1161  20936 |        0 |        0
1306.91/1307.28	c 1307s |      26 | 12268400 |  9880552 |     1161  20960 |        0 |        0
1308.91/1309.29	c 1309s |      26 | 12284318 |  9894352 |     1161  20983 |        0 |        0
1310.91/1311.29	c 1311s |      26 | 12299895 |  9907652 |     1161  21006 |        0 |        0
1313.01/1313.30	c 1313s |      26 | 12315599 |  9921352 |     1161  21028 |        0 |        0
1315.01/1315.30	c 1315s |      26 | 12331241 |  9934852 |     1161  21051 |        0 |        0
1317.01/1317.31	c 1317s |      26 | 12346656 |  9948352 |     1161  21073 |        0 |        0
1319.00/1319.32	c 1319s |      26 | 12363801 |  9962852 |     1161  21098 |        0 |        0
1321.00/1321.32	c 1321s |      26 | 12380329 |  9976852 |     1161  21121 |        0 |        0
1323.01/1323.33	c 1323s |      26 | 12395335 |  9990052 |     1161  21143 |        0 |        0
1325.00/1325.34	c 1325s |      26 | 12411127 | 10003352 |     1161  21165 |        0 |        0
1327.00/1327.35	c 1327s |      26 | 12427008 | 10016852 |     1161  21188 |        0 |        0
1328.99/1329.36	c 1329s |      26 | 12443169 | 10031052 |     1161  21212 |        0 |        0
1330.99/1331.37	c 1331s |      26 | 12457984 | 10044352 |     1161  21234 |        0 |        0
1333.00/1333.39	c 1333s |      26 | 12472566 | 10057252 |     1161  21255 |        0 |        0
1334.99/1335.40	c 1335s |      26 | 12488867 | 10071352 |     1161  21279 |        0 |        0
1337.09/1337.41	c 1337s |      26 | 12507215 | 10086652 |     1161  21305 |        0 |        0
1339.09/1339.42	c 1339s |      26 | 12523582 | 10100652 |     1161  21328 |        0 |        0
1341.09/1341.43	c 1341s |      26 | 12537679 | 10112952 |     1161  21349 |        0 |        0
1343.08/1343.44	c 1343s |      26 | 12551910 | 10125452 |     1161  21369 |        0 |        0
1345.09/1345.44	c 1345s |      26 | 12566807 | 10137952 |     1161  21390 |        0 |        0
1347.08/1347.45	c 1347s |      26 | 12581611 | 10150552 |     1161  21411 |        0 |        0
1349.08/1349.45	c 1349s |      26 | 12597221 | 10163452 |     1161  21432 |        0 |        0
1351.08/1351.45	c 1351s |      26 | 12612745 | 10176852 |     1161  21454 |        0 |        0
1353.09/1353.45	c 1353s |      26 | 12628127 | 10190252 |     1161  21476 |        0 |        0
1355.09/1355.47	c 1355s |      26 | 12642678 | 10203152 |     1161  21498 |        0 |        0
1357.09/1357.48	c 1357s |      26 | 12657981 | 10216652 |     1161  21520 |        0 |        0
1359.08/1359.49	c 1359s |      26 | 12673271 | 10230152 |     1161  21542 |        0 |        0
1361.18/1361.51	c 1361s |      26 | 12688867 | 10243552 |     1161  21565 |        0 |        0
1363.18/1363.52	c 1363s |      26 | 12704041 | 10256852 |     1161  21587 |        0 |        0
1365.18/1365.52	c 1365s |      26 | 12720950 | 10270852 |     1161  21610 |        0 |        0
1367.18/1367.52	c 1367s |      26 | 12736934 | 10284552 |     1161  21633 |        0 |        0
1369.18/1369.53	c 1369s |      26 | 12753552 | 10298352 |     1161  21656 |        0 |        0
1371.18/1371.54	c 1371s |      26 | 12769270 | 10311852 |     1161  21678 |        0 |        0
1373.18/1373.55	c 1373s |      26 | 12788666 | 10327152 |     1161  21703 |        0 |        0
1375.18/1375.55	c 1375s |      26 | 12806544 | 10342152 |     1161  21728 |        0 |        0
1377.17/1377.56	c 1377s |      26 | 12824286 | 10356952 |     1161  21753 |        0 |        0
1379.18/1379.57	c 1379s |      26 | 12840838 | 10371152 |     1161  21777 |        0 |        0
1381.17/1381.58	c 1381s |      26 | 12857409 | 10385252 |     1161  21800 |        0 |        0
1383.17/1383.58	c 1383s |      26 | 12875259 | 10399752 |     1161  21824 |        0 |        0
1385.17/1385.59	c 1385s |      26 | 12893704 | 10414352 |     1161  21849 |        0 |        0
1387.17/1387.60	c 1387s |      26 | 12910237 | 10428452 |     1161  21872 |        0 |        0
1389.26/1389.60	c 1389s |      26 | 12927364 | 10442752 |     1161  21896 |        0 |        0
1391.17/1391.60	c 1391s |      26 | 12945831 | 10457752 |     1161  21921 |        0 |        0
1393.26/1393.61	c 1393s |      26 | 12964102 | 10472452 |     1161  21945 |        0 |        0
1395.26/1395.61	c 1395s |      26 | 12980785 | 10486152 |     1161  21968 |        0 |        0
1397.26/1397.62	c 1397s |      26 | 12998369 | 10500452 |     1161  21992 |        0 |        0
1399.26/1399.63	c 1399s |      26 | 13016446 | 10515252 |     1161  22017 |        0 |        0
1401.26/1401.63	c 1401s |      26 | 13032731 | 10529452 |     1161  22041 |        0 |        0
1403.26/1403.65	c 1403s |      26 | 13047905 | 10542852 |     1161  22063 |        0 |        0
1405.25/1405.66	c 1405s |      26 | 13063467 | 10556352 |     1161  22085 |        0 |        0
1407.25/1407.67	c 1407s |      26 | 13078789 | 10569952 |     1161  22108 |        0 |        0
1409.26/1409.67	c 1409s |      26 | 13093665 | 10583152 |     1161  22130 |        0 |        0
1411.26/1411.68	c 1411s |      26 | 13110325 | 10597552 |     1161  22154 |        0 |        0
1413.26/1413.69	c 1413s |      26 | 13125097 | 10610752 |     1161  22176 |        0 |        0
1415.25/1415.70	c 1415s |      26 | 13142015 | 10625252 |     1161  22200 |        0 |        0
1417.35/1417.70	c 1417s |      26 | 13159904 | 10640052 |     1161  22225 |        0 |        0
1419.35/1419.71	c 1419s |      26 | 13175738 | 10653852 |     1161  22248 |        0 |        0
1421.35/1421.71	c 1421s |      26 | 13192111 | 10667652 |     1161  22271 |        0 |        0
1423.35/1423.72	c 1423s |      26 | 13209637 | 10682452 |     1161  22296 |        0 |        0
1425.35/1425.74	c 1425s |      26 | 13226881 | 10696752 |     1161  22320 |        0 |        0
1427.35/1427.74	c 1427s |      26 | 13243062 | 10710452 |     1161  22342 |        0 |        0
1429.34/1429.76	c 1429s |      26 | 13258915 | 10724252 |     1161  22366 |        0 |        0
1431.34/1431.77	c 1431s |      26 | 13275178 | 10738352 |     1161  22389 |        0 |        0
1433.34/1433.78	c 1433s |      26 | 13291393 | 10752452 |     1161  22413 |        0 |        0
1435.34/1435.79	c 1435s |      26 | 13309193 | 10767252 |     1161  22437 |        0 |        0
1437.35/1437.79	c 1437s |      26 | 13324650 | 10780852 |     1161  22460 |        0 |        0
1439.34/1439.79	c 1439s |      26 | 13339811 | 10794152 |     1161  22482 |        0 |        0
1441.44/1441.80	c 1441s |      26 | 13355034 | 10807252 |     1161  22504 |        0 |        0
1443.44/1443.81	c 1443s |      26 | 13370370 | 10820552 |     1161  22526 |        0 |        0
1445.44/1445.81	c 1445s |      26 | 13385657 | 10833752 |     1161  22548 |        0 |        0
1447.44/1447.82	c 1447s |      26 | 13403166 | 10848152 |     1161  22572 |        0 |        0
1449.44/1449.82	c 1449s |      26 | 13419204 | 10861752 |     1161  22594 |        0 |        0
1451.43/1451.83	c 1451s |      26 | 13437946 | 10876652 |     1161  22619 |        0 |        0
1453.43/1453.83	c 1453s |      26 | 13455576 | 10891052 |     1161  22643 |        0 |        0
1455.43/1455.84	c 1455s |      26 | 13473260 | 10905452 |     1161  22667 |        0 |        0
1457.43/1457.85	c 1457s |      26 | 13490664 | 10919752 |     1161  22691 |        0 |        0
1459.43/1459.85	c 1459s |      26 | 13507627 | 10934052 |     1161  22715 |        0 |        0
1461.42/1461.86	c 1461s |      26 | 13523823 | 10947552 |     1161  22738 |        0 |        0
1463.42/1463.87	c 1463s |      26 | 13539842 | 10961052 |     1161  22761 |        0 |        0
1465.42/1465.87	c 1465s |      26 | 13557566 | 10975552 |     1161  22785 |        0 |        0
1467.42/1467.87	c 1467s |      26 | 13575405 | 10990352 |     1161  22809 |        0 |        0
1469.42/1469.88	c 1469s |      26 | 13593993 | 11005452 |     1161  22835 |        0 |        0
1471.43/1471.89	c 1471s |      26 | 13610312 | 11019552 |     1161  22858 |        0 |        0
1473.42/1473.89	c 1473s |      26 | 13628403 | 11034352 |     1161  22883 |        0 |        0
1475.42/1475.90	c 1475s |      26 | 13646389 | 11049352 |     1161  22908 |        0 |        0
1477.52/1477.90	c 1477s |      26 | 13663497 | 11063752 |     1161  22932 |        0 |        0
1479.51/1479.92	c 1479s |      26 | 13681254 | 11078452 |     1161  22957 |        0 |        0
1481.51/1481.93	c 1481s |      26 | 13696841 | 11092152 |     1161  22980 |        0 |        0
1483.52/1483.94	c 1483s |      26 | 13713756 | 11106452 |     1161  23003 |        0 |        0
1485.51/1485.94	c 1485s |      26 | 13730654 | 11120652 |     1161  23027 |        0 |        0
1487.51/1487.94	c 1487s |      26 | 13746433 | 11134152 |     1161  23050 |        0 |        0
1489.50/1489.96	c 1489s |      26 | 13763337 | 11148052 |     1161  23073 |        0 |        0
1491.50/1491.96	c 1491s |      26 | 13781322 | 11162552 |     1161  23097 |        0 |        0
1493.51/1493.97	c 1493s |      26 | 13799182 | 11177052 |     1161  23121 |        0 |        0
1495.50/1495.98	c 1495s |      26 | 13817256 | 11191752 |     1161  23146 |        0 |        0
1497.50/1497.99	c 1497s |      26 | 13835697 | 11206552 |     1161  23171 |        0 |        0
1499.60/1500.00	c 1499s |      26 | 13851622 | 11220152 |     1161  23193 |        0 |        0
1501.60/1502.01	c 1501s |      26 | 13867429 | 11233252 |     1161  23215 |        0 |        0
1503.60/1504.01	c 1503s |      26 | 13882643 | 11246452 |     1161  23237 |        0 |        0
1505.61/1506.01	c 1505s |      26 | 13897943 | 11259952 |     1161  23259 |        0 |        0
1507.61/1508.02	c 1508s |      26 | 13913970 | 11273752 |     1161  23282 |        0 |        0
1509.60/1510.02	c 1510s |      26 | 13928987 | 11286852 |     1161  23304 |        0 |        0
1511.60/1512.03	c 1512s |      26 | 13945262 | 11300752 |     1161  23327 |        0 |        0
1513.60/1514.03	c 1514s |      26 | 13960313 | 11313752 |     1161  23349 |        0 |        0
1515.60/1516.04	c 1516s |      26 | 13975603 | 11326752 |     1278  23368 |        0 |        0
1517.61/1518.05	c 1518s |      26 | 13989693 | 11339252 |     1278  23387 |        0 |        0
1519.60/1520.05	c 1520s |      26 | 14004627 | 11352452 |     1278  23407 |        0 |        0
1521.60/1522.06	c 1522s |      26 | 14019994 | 11365752 |     1278  23427 |        0 |        0
1523.60/1524.07	c 1524s |      26 | 14036418 | 11379552 |     1278  23448 |        0 |        0
1525.60/1526.08	c 1526s |      26 | 14053199 | 11393752 |     1278  23470 |        0 |        0
1526.10/1526.50	c 1526s |      27 | 14056804 | 11396733 |     1278  23475 |        0 |        0
1528.10/1528.51	c 1528s |      27 | 14077520 | 11411833 |     1278  23498 |        0 |        0
1530.09/1530.51	c 1530s |      27 | 14095789 | 11426433 |     1278  23520 |        0 |        0
1532.09/1532.52	c 1532s |      27 | 14114555 | 11441133 |     1278  23542 |        0 |        0
1534.10/1534.53	c 1534s |      27 | 14135026 | 11456133 |     1278  23565 |        0 |        0
1536.09/1536.54	c 1536s |      27 | 14156211 | 11471133 |     1278  23588 |        0 |        0
1538.09/1538.54	c 1538s |      27 | 14176154 | 11486133 |     1278  23611 |        0 |        0
1540.09/1540.55	c 1540s |      27 | 14194567 | 11500533 |     1278  23633 |        0 |        0
1542.09/1542.56	c 1542s |      27 | 14213278 | 11514733 |     1278  23654 |        0 |        0
1544.09/1544.57	c 1544s |      27 | 14227610 | 11527333 |     1278  23673 |        0 |        0
1546.09/1546.57	c 1546s |      27 | 14242796 | 11540433 |     1278  23693 |        0 |        0
1548.09/1548.58	c 1548s |      27 | 14259275 | 11554333 |     1278  23714 |        0 |        0
1550.09/1550.58	c 1550s |      27 | 14275189 | 11567633 |     1278  23734 |        0 |        0
1552.09/1552.59	c 1552s |      27 | 14292357 | 11581233 |     1278  23755 |        0 |        0
1554.18/1554.60	c 1554s |      27 | 14310306 | 11595233 |     1278  23776 |        0 |        0
1556.09/1556.60	c 1556s |      27 | 14326942 | 11609433 |     1278  23798 |        0 |        0
1558.18/1558.60	c 1558s |      27 | 14344136 | 11623833 |     1278  23820 |        0 |        0
1560.18/1560.61	c 1560s |      27 | 14361158 | 11637733 |     1278  23841 |        0 |        0
1562.18/1562.61	c 1562s |      27 | 14380640 | 11652733 |     1278  23864 |        0 |        0
1564.18/1564.62	c 1564s |      27 | 14400122 | 11668133 |     1278  23888 |        0 |        0
1566.18/1566.63	c 1566s |      27 | 14416603 | 11682133 |     1278  23909 |        0 |        0
1568.18/1568.64	c 1568s |      27 | 14434796 | 11696233 |     1278  23930 |        0 |        0
1570.17/1570.65	c 1570s |      27 | 14452869 | 11710833 |     1278  23953 |        0 |        0
1572.17/1572.66	c 1572s |      27 | 14470674 | 11725033 |     1278  23974 |        0 |        0
1574.17/1574.67	c 1574s |      27 | 14488810 | 11738933 |     1278  23996 |        0 |        0
1576.17/1576.68	c 1576s |      27 | 14508815 | 11753733 |     1278  24018 |        0 |        0
1578.18/1578.69	c 1578s |      27 | 14527887 | 11768433 |     1278  24041 |        0 |        0
1580.27/1580.71	c 1580s |      27 | 14546537 | 11782733 |     1278  24062 |        0 |        0
1582.26/1582.71	c 1582s |      27 | 14566178 | 11797133 |     1278  24084 |        0 |        0
1584.26/1584.72	c 1584s |      27 | 14588454 | 11812633 |     1278  24108 |        0 |        0
1586.26/1586.73	c 1586s |      27 | 14608285 | 11827433 |     1278  24131 |        0 |        0
1588.26/1588.74	c 1588s |      27 | 14628738 | 11842933 |     1278  24154 |        0 |        0
1590.26/1590.75	c 1590s |      27 | 14647678 | 11857333 |     1278  24176 |        0 |        0
1592.25/1592.76	c 1592s |      27 | 14666911 | 11871933 |     1278  24199 |        0 |        0
1594.25/1594.76	c 1594s |      27 | 14687981 | 11887533 |     1278  24222 |        0 |        0
1596.25/1596.77	c 1596s |      27 | 14708436 | 11902533 |     1278  24245 |        0 |        0
1598.26/1598.77	c 1598s |      27 | 14726091 | 11916433 |     1278  24267 |        0 |        0
1600.26/1600.78	c 1600s |      27 | 14744509 | 11931033 |     1278  24289 |        0 |        0
1602.26/1602.78	c 1602s |      27 | 14763714 | 11945633 |     1278  24311 |        0 |        0
1604.26/1604.80	c 1604s |      27 | 14782742 | 11960833 |     1278  24334 |        0 |        0
1606.35/1606.80	c 1606s |      27 | 14804161 | 11975933 |     1278  24358 |        0 |        0
1608.35/1608.81	c 1608s |      27 | 14825489 | 11991333 |     1278  24381 |        0 |        0
1610.35/1610.82	c 1610s |      27 | 14848954 | 12006933 |     1278  24405 |        0 |        0
1612.35/1612.83	c 1612s |      27 | 14871221 | 12022233 |     1278  24428 |        0 |        0
1614.36/1614.84	c 1614s |      27 | 14891749 | 12037533 |     1278  24452 |        0 |        0
1616.35/1616.85	c 1616s |      27 | 14912641 | 12051833 |     1278  24473 |        0 |        0
1618.35/1618.85	c 1618s |      27 | 14935105 | 12066333 |     1278  24496 |        0 |        0
1620.35/1620.86	c 1620s |      27 | 14956342 | 12081233 |     1278  24519 |        0 |        0
1622.35/1622.88	c 1622s |      27 | 14979984 | 12096333 |     1278  24542 |        0 |        0
1624.35/1624.88	c 1624s |      27 | 15004340 | 12111433 |     1278  24565 |        0 |        0
1626.34/1626.89	c 1626s |      27 | 15026618 | 12126733 |     1278  24588 |        0 |        0
1628.44/1628.90	c 1628s |      27 | 15049785 | 12142133 |     1278  24612 |        0 |        0
1630.44/1630.90	c 1630s |      27 | 15071347 | 12158133 |     1278  24636 |        0 |        0
1632.44/1632.91	c 1632s |      27 | 15092632 | 12173633 |     1278  24660 |        0 |        0
1634.44/1634.91	c 1634s |      27 | 15110924 | 12187933 |     1278  24682 |        0 |        0
1636.44/1636.92	c 1636s |      27 | 15130247 | 12202633 |     1278  24704 |        0 |        0
1638.44/1638.93	c 1638s |      27 | 15152838 | 12217733 |     1278  24727 |        0 |        0
1640.43/1640.94	c 1640s |      27 | 15173149 | 12232133 |     1278  24750 |        0 |        0
1642.43/1642.94	c 1642s |      27 | 15191011 | 12245733 |     1278  24770 |        0 |        0
1644.43/1644.96	c 1644s |      27 | 15208187 | 12259233 |     1278  24791 |        0 |        0
1646.43/1646.96	c 1646s |      27 | 15226133 | 12273533 |     1278  24813 |        0 |        0
1648.43/1648.96	c 1648s |      27 | 15243229 | 12287533 |     1278  24834 |        0 |        0
1650.42/1650.97	c 1650s |      27 | 15260194 | 12301333 |     1278  24855 |        0 |        0
1652.42/1652.98	c 1652s |      27 | 15278102 | 12315433 |     1278  24876 |        0 |        0
1654.42/1654.99	c 1654s |      27 | 15296019 | 12329533 |     1278  24898 |        0 |        0
1656.42/1656.99	c 1656s |      27 | 15312957 | 12343233 |     1278  24919 |        0 |        0
1658.53/1659.00	c 1658s |      27 | 15330333 | 12356833 |     1278  24939 |        0 |        0
1660.42/1661.00	c 1660s |      27 | 15346258 | 12370433 |     1278  24960 |        0 |        0
1662.52/1663.00	c 1662s |      27 | 15365752 | 12384833 |     1278  24982 |        0 |        0
1664.52/1665.01	c 1664s |      27 | 15386246 | 12399133 |     1278  25004 |        0 |        0
1666.52/1667.01	c 1666s |      27 | 15404486 | 12413433 |     1278  25025 |        0 |        0
1668.52/1669.01	c 1669s |      27 | 15422472 | 12427833 |     1278  25047 |        0 |        0
1670.52/1671.01	c 1671s |      27 | 15440976 | 12442233 |     1278  25069 |        0 |        0
1672.52/1673.02	c 1673s |      27 | 15460837 | 12456733 |     1278  25091 |        0 |        0
1674.52/1675.03	c 1675s |      27 | 15482711 | 12471733 |     1278  25114 |        0 |        0
1676.52/1677.04	c 1677s |      27 | 15504291 | 12486933 |     1278  25137 |        0 |        0
1678.51/1679.04	c 1679s |      27 | 15527331 | 12501933 |     1278  25160 |        0 |        0
1680.51/1681.06	c 1681s |      27 | 15547864 | 12517333 |     1278  25184 |        0 |        0
1682.52/1683.07	c 1683s |      27 | 15569453 | 12532833 |     1278  25207 |        0 |        0
1684.51/1685.08	c 1685s |      27 | 15589398 | 12547833 |     1278  25230 |        0 |        0
1686.51/1687.09	c 1687s |      27 | 15611034 | 12562633 |     1278  25253 |        0 |        0
1688.61/1689.10	c 1689s |      27 | 15635275 | 12577733 |     1278  25276 |        0 |        0
1690.61/1691.11	c 1691s |      27 | 15659066 | 12593633 |     1278  25300 |        0 |        0
1692.60/1693.12	c 1693s |      27 | 15683179 | 12609933 |     1278  25325 |        0 |        0
1694.61/1695.12	c 1695s |      27 | 15704732 | 12624733 |     1278  25348 |        0 |        0
1696.60/1697.13	c 1697s |      27 | 15726532 | 12640533 |     1278  25372 |        0 |        0
1698.60/1699.14	c 1699s |      27 | 15749363 | 12656433 |     1278  25396 |        0 |        0
1700.60/1701.14	c 1701s |      27 | 15769574 | 12671333 |     1278  25419 |        0 |        0
1702.60/1703.14	c 1703s |      27 | 15789667 | 12686433 |     1278  25442 |        0 |        0
1704.60/1705.15	c 1705s |      27 | 15809753 | 12701533 |     1278  25465 |        0 |        0
1706.60/1707.16	c 1707s |      27 | 15831945 | 12717633 |     1278  25490 |        0 |        0
1708.60/1709.17	c 1709s |      27 | 15851648 | 12732633 |     1278  25513 |        0 |        0
1710.59/1711.17	c 1711s |      27 | 15873359 | 12748033 |     1278  25536 |        0 |        0
1712.59/1713.18	c 1713s |      27 | 15893885 | 12763133 |     1278  25559 |        0 |        0
1714.59/1715.18	c 1715s |      27 | 15912813 | 12778133 |     1278  25582 |        0 |        0
1716.60/1717.19	c 1717s |      27 | 15935381 | 12793833 |     1278  25607 |        0 |        0
1718.69/1719.20	c 1719s |      27 | 15956868 | 12808733 |     1278  25629 |        0 |        0
1720.69/1721.22	c 1721s |      27 | 15978398 | 12824533 |     1278  25654 |        0 |        0
1722.69/1723.24	c 1723s |      27 | 15999298 | 12840133 |     1278  25678 |        0 |        0
1724.69/1725.24	c 1725s |      27 | 16019278 | 12855633 |     1278  25701 |        0 |        0
1726.69/1727.25	c 1727s |      27 | 16039211 | 12871133 |     1278  25725 |        0 |        0
1728.70/1729.25	c 1729s |      27 | 16060005 | 12886633 |     1278  25749 |        0 |        0
1730.69/1731.25	c 1731s |      27 | 16079034 | 12901333 |     1278  25771 |        0 |        0
1732.69/1733.26	c 1733s |      27 | 16098980 | 12916633 |     1278  25794 |        0 |        0
1734.69/1735.27	c 1735s |      27 | 16119368 | 12931133 |     1278  25817 |        0 |        0
1736.69/1737.27	c 1737s |      27 | 16138606 | 12945433 |     1278  25838 |        0 |        0
1738.69/1739.27	c 1739s |      27 | 16155836 | 12959033 |     1278  25859 |        0 |        0
1740.69/1741.28	c 1741s |      27 | 16177719 | 12974433 |     1278  25883 |        0 |        0
1742.69/1743.29	c 1743s |      27 | 16198965 | 12989333 |     1278  25905 |        0 |        0
1744.78/1745.30	c 1745s |      27 | 16215253 | 13002433 |     1278  25925 |        0 |        0
1746.78/1747.31	c 1747s |      27 | 16229017 | 13014533 |     1278  25943 |        0 |        0
1748.79/1749.31	c 1749s |      27 | 16245234 | 13028133 |     1278  25964 |        0 |        0
1750.80/1751.32	c 1751s |      27 | 16260200 | 13041033 |     1278  25984 |        0 |        0
1752.79/1753.33	c 1753s |      27 | 16274520 | 13053633 |     1278  26003 |        0 |        0
1754.79/1755.34	c 1755s |      27 | 16288956 | 13065933 |     1278  26022 |        0 |        0
1756.79/1757.35	c 1757s |      27 | 16302445 | 13077933 |     1278  26040 |        0 |        0
1758.79/1759.35	c 1759s |      27 | 16317167 | 13090833 |     1278  26059 |        0 |        0
1760.79/1761.36	c 1761s |      27 | 16333383 | 13104133 |     1278  26080 |        0 |        0
1762.79/1763.37	c 1763s |      27 | 16347839 | 13116833 |     1278  26099 |        0 |        0
1764.79/1765.37	c 1765s |      27 | 16361933 | 13129233 |     1278  26118 |        0 |        0
1766.79/1767.38	c 1767s |      27 | 16379699 | 13143533 |     1278  26140 |        0 |        0
1768.79/1769.39	c 1769s |      27 | 16397673 | 13157433 |     1278  26161 |        0 |        0
1770.78/1771.39	c 1771s |      27 | 16415320 | 13171333 |     1278  26182 |        0 |        0
1772.88/1773.41	c 1773s |      27 | 16433562 | 13185233 |     1278  26204 |        0 |        0
1774.89/1775.42	c 1775s |      27 | 16452486 | 13199333 |     1278  26225 |        0 |        0
1776.88/1777.42	c 1777s |      27 | 16470036 | 13212933 |     1278  26246 |        0 |        0
1778.88/1779.43	c 1779s |      27 | 16490712 | 13227333 |     1278  26268 |        0 |        0
1780.88/1781.44	c 1781s |      27 | 16509762 | 13241833 |     1278  26290 |        0 |        0
1782.88/1783.44	c 1783s |      27 | 16531154 | 13257133 |     1278  26314 |        0 |        0
1784.89/1785.45	c 1785s |      27 | 16553006 | 13272333 |     1278  26337 |        0 |        0
1786.89/1787.46	c 1787s |      27 | 16576753 | 13288133 |     1278  26361 |        0 |        0
1788.89/1789.46	c 1789s |      27 | 16597470 | 13303633 |     1278  26385 |        0 |        0
1790.89/1791.47	c 1791s |      27 | 16620270 | 13319433 |     1278  26409 |        0 |        0
1792.89/1793.48	c 1793s |      27 | 16637297 | 13332633 |     1278  26429 |        0 |        0
1794.89/1795.49	c 1795s |      27 | 16656634 | 13347033 |     1278  26451 |        0 |        0
1796.89/1797.49	c 1797s |      27 | 16678623 | 13363233 |     1278  26476 |        0 |        0
1798.98/1799.50	c 1799s |      27 | 16701763 | 13379633 |     1278  26501 |        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-4095854-1466098149/watcher-4095854-1466098149 -o /tmp/evaluation-result-4095854-1466098149/solver-4095854-1466098149 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466098149-16012 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095854-1466098149.opb 

pid=16034
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: 1.20 1.81 2.03 4/175 16041
/proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=642492 CPUtime=0 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 2383 0 0 0 0 0 0 0 20 0 4 0 11862016 657911808 2743 33554432000 4194304 16246674 140736916552400 140736916551824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 161391 2754 441 2943 0 158285 0
[pid=16040/tid=16042] ppid=16034 vsize=668092 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 684126208 2840 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=672188 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 688320512 2859 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=676284 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 692514816 2875 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 1.20 1.81 2.03 4/175 16041
/proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 24680 0 0 0 6 3 0 0 20 0 4 0 11862016 1247350784 25030 33554432000 4194304 16246674 140736916552400 140736916551824 5523634 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 304529 25038 712 2943 0 301423 0
[pid=16040/tid=16042] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 25044 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 25051 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 25056 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200504 s]
/proc/loadavg: 1.20 1.81 2.03 4/175 16041
/proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 47559 0 0 0 13 6 0 0 20 0 4 0 11862016 1247350784 47908 33554432000 4194304 16246674 140736916552400 140736916551824 12476925 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 304529 47919 713 2943 0 301423 0
[pid=16040/tid=16042] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 47927 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 47935 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 47942 33554432000 4194304 16246674 140736916552400 139818954640560 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.300472 s]
/proc/loadavg: 1.20 1.81 2.03 4/175 16041
/proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 70257 0 0 0 20 9 0 0 20 0 4 0 11862016 1247350784 70606 33554432000 4194304 16246674 140736916552400 140736916551824 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 304529 70621 713 2943 0 301423 0
[pid=16040/tid=16042] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 70627 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 70633 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 70640 33554432000 4194304 16246674 140736916552400 139818954640560 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.700399 s]
/proc/loadavg: 1.20 1.81 2.03 4/175 16041
/proc/meminfo: memFree=30212140/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 161994 0 0 0 48 21 0 0 20 0 4 0 11862016 1247350784 162343 33554432000 4194304 16246674 140736916552400 140736916534272 5523634 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 304529 162354 713 2943 0 301423 0
[pid=16040/tid=16042] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 162362 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 162368 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 162374 33554432000 4194304 16246674 140736916552400 139818954640560 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.5004 s]
/proc/loadavg: 1.20 1.81 2.03 4/183 16049
/proc/meminfo: memFree=28245220/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 245514 0 0 0 119 30 0 0 20 0 4 0 11862016 1247350784 245843 33554432000 4194304 16246674 140736916552400 140736916551712 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 304529 245843 786 2943 0 301423 0
[pid=16040/tid=16042] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 245843 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 245843 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1247350784 245843 33554432000 4194304 16246674 140736916552400 139818954640560 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) 1218116

[startup+3.1004 s]
/proc/loadavg: 1.20 1.81 2.03 4/183 16049
/proc/meminfo: memFree=28069512/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 267402 0 0 0 275 34 0 0 20 0 4 0 11862016 1337528320 267731 33554432000 4194304 16246674 140736916552400 140736916534272 5546224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 326545 267731 786 2943 0 323439 0
[pid=16040/tid=16042] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267731 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267731 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267731 33554432000 4194304 16246674 140736916552400 139818954640560 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.30041 s]
/proc/loadavg: 1.26 1.81 2.03 5/183 16049
/proc/meminfo: memFree=28067676/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 267421 0 0 0 595 34 0 0 20 0 4 0 11862016 1337528320 267750 33554432000 4194304 16246674 140736916552400 140736916535400 5721559 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 326545 267750 786 2943 0 323439 0
[pid=16040/tid=16042] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267750 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267750 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267750 33554432000 4194304 16246674 140736916552400 139818954640560 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 1.32 1.82 2.03 4/183 16049
/proc/meminfo: memFree=28068076/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 267423 0 0 0 1235 34 0 0 20 0 4 0 11862016 1337528320 267752 33554432000 4194304 16246674 140736916552400 140736916535400 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 326545 267752 786 2943 0 323439 0
[pid=16040/tid=16042] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267752 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267752 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267752 33554432000 4194304 16246674 140736916552400 139818954640560 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) 1306180

[startup+25.5005 s]
/proc/loadavg: 1.47 1.83 2.03 4/183 16049
/proc/meminfo: memFree=28068652/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 267471 0 0 0 2514 34 0 0 20 0 4 0 11862016 1337528320 267800 33554432000 4194304 16246674 140736916552400 140736916535400 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 326545 267800 789 2943 0 323439 0
[pid=16040/tid=16042] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267800 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267800 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267800 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 1.77 1.87 2.04 4/183 16049
/proc/meminfo: memFree=28068684/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 267475 0 0 0 5073 35 0 0 20 0 4 0 11862016 1337528320 267804 33554432000 4194304 16246674 140736916552400 140736916534272 5546190 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 326545 267804 790 2943 0 323439 0
[pid=16040/tid=16042] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267804 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267804 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267804 33554432000 4194304 16246674 140736916552400 139818954640560 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) 1306180

[startup+102.3 s]
/proc/loadavg: 2.07 1.93 2.05 4/184 16053
/proc/meminfo: memFree=28068292/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 267515 0 0 0 10192 36 0 0 20 0 4 0 11862016 1337528320 267844 33554432000 4194304 16246674 140736916552400 140736916535400 5672951 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 326545 267844 790 2943 0 323439 0
[pid=16040/tid=16042] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267844 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267844 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1337528320 267844 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/184 16083
/proc/meminfo: memFree=28061364/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1307204 CPUtime=1302.01 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 267912 0 0 0 130145 56 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 140736916534272 5672197 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 326801 268072 791 2943 0 323695 0
[pid=16040/tid=16042] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.13 2.18 2.17 4/183 16085
/proc/meminfo: memFree=28061280/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1307204 CPUtime=1361.98 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 267954 0 0 0 136141 57 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 140736916534272 5573320 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 326801 268072 791 2943 0 323695 0
[pid=16040/tid=16042] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.13 2.18 2.17 4/182 16086
/proc/meminfo: memFree=28062056/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1307204 CPUtime=1421.95 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 267995 0 0 0 142137 58 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 140736916534272 5823363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 326801 268072 791 2943 0 323695 0
[pid=16040/tid=16042] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268072 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.36 2.22 2.19 5/183 16088
/proc/meminfo: memFree=28061844/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1307204 CPUtime=1481.91 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 268046 0 0 0 148133 58 0 0 20 0 4 0 11862016 1338576896 268079 33554432000 4194304 16246674 140736916552400 140736916534272 5861368 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 326801 268079 791 2943 0 323695 0
[pid=16040/tid=16042] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268079 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268079 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268079 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.30 2.22 2.19 4/183 16089
/proc/meminfo: memFree=28061252/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1307204 CPUtime=1541.9 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 268091 0 0 0 154131 59 0 0 20 0 4 0 11862016 1338576896 268079 33554432000 4194304 16246674 140736916552400 140736916534272 5669395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 326801 268079 791 2943 0 323695 0
[pid=16040/tid=16042] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268079 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268079 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268079 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.19 2.21 2.18 4/183 16090
/proc/meminfo: memFree=28060904/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1307204 CPUtime=1601.86 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 268134 0 0 0 160126 60 0 0 20 0 4 0 11862016 1338576896 268079 33554432000 4194304 16246674 140736916552400 140736916534272 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 326801 268079 791 2943 0 323695 0
[pid=16040/tid=16042] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268079 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268079 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1338576896 268079 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.26 2.23 2.19 4/183 16092
/proc/meminfo: memFree=28059808/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1308228 CPUtime=1661.82 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 268426 0 0 0 166121 61 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 140736916535400 5822848 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 327057 268330 792 2943 0 323951 0
[pid=16040/tid=16042] ppid=16034 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.31 2.25 2.19 4/183 16093
/proc/meminfo: memFree=28059792/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1308228 CPUtime=1721.79 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 268457 0 0 0 172118 61 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 140736916534272 5822432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 327057 268330 792 2943 0 323951 0
[pid=16040/tid=16042] ppid=16034 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.33 2.27 2.20 4/183 16094
/proc/meminfo: memFree=28058912/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1308228 CPUtime=1781.78 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 268457 0 0 0 178116 62 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 140736916534272 5724272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 327057 268330 792 2943 0 323951 0
[pid=16040/tid=16042] ppid=16034 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.38 2.29 2.20 4/183 16094
/proc/meminfo: memFree=28058880/32872528 swapFree=17100/1797424
[pid=16040] ppid=16034 vsize=1308228 CPUtime=1800.08 cores=0,2,4,6
/proc/16040/stat : 16040 (toysat) R 16034 16040 15996 0 -1 4202496 268457 0 0 0 179945 63 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 140736916534272 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16040/statm: 327057 268330 792 2943 0 323951 0
[pid=16040/tid=16042] ppid=16034 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16042/stat : 16042 (toysat) S 16034 16040 15996 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 139818975603952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=16040/tid=16044] ppid=16034 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16044/stat : 16044 (toysat) S 16034 16040 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 139818965114096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=16040/tid=16046] ppid=16034 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16040/task/16046/stat : 16046 (toysat) S 16034 16040 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11862016 1339625472 268330 33554432000 4194304 16246674 140736916552400 139818954640560 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1308228

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

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.631903
maximum resident set size= 1073320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268457
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= 475
involuntary context switches= 2966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.79612 second user time and 8.68668 second system time

The end

Begin job on node123 at 2016-06-16 19:29:09
IDJOB=4095854
IDBENCH=107531
IDSOLVER=2542
FILE ID=node123/4095854-1466098149
RUNJOBID= node123-1466098149-16012
PBS_JOBID= 19904045
Free space on /tmp= 71636 MiB

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

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

MD5SUM BENCH= 92876cf3b3a80044ca4481032e499e15
RANDOM SEED=510169253

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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:        30213848 kB
Buffers:           36240 kB
Cached:           119104 kB
SwapCached:         2184 kB
Active:            88624 kB
Inactive:          69008 kB
Active(anon):       3908 kB
Inactive(anon):     1392 kB
Active(file):      84716 kB
Inactive(file):    67616 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67099016 kB
Dirty:             32620 kB
Writeback:             0 kB
AnonPages:       1799192 kB
Mapped:             6836 kB
Shmem:                 0 kB
Slab:             568248 kB
SReclaimable:      12728 kB
SUnreclaim:       555520 kB
KernelStack:        1360 kB
PageTables:         8132 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1893832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1783808 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= 71604 MiB
End job on node123 at 2016-06-16 19:59:10