0.00/0.00	c 2016-06-30T21:21:36+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-4121426-1467314496.opb"]
0.00/0.01	c use --random-gen="1994036328 527860091 3052045703 533294513 1445511701 513578312 2551830566 860283783 2237154272 4247933145 3042780171 2632909306 1663684344 197826624 2289599628 2442473788 687865909 3461310883 401283234 1227386231 193461385 4016126482 1200016611 3752761729 2061485211 1027130344 2778293281 3069015312 4210347032 202016452 597236319 3345343660 940786292 278201502 2620637900 2067151844 2709983669 1755720088 2236269450 204757420 3854023930 187626939 2306047410 1113611019 3899185261 2562997912 1602651282 1052878092 407832204 2106212929 854195688 2094889358 2739741009 2402441466 4283285402 907188052 2414935565 1918265551 158779988 4056385642 3888146005 1798112912 333960725 1451243003 1411072235 2442338888 2424763294 788478050 2547497297 624430507 1488198394 259007373 1219187511 2802361738 2913287080 2011496882 3159677046 1666104578 1761111390 1317815551 3035870949 1020867513 801294181 840056461 252204607 92898654 3285800460 1551438784 3376216866 2775581204 1760947762 3716439454 3833092971 775566515 1269799134 1676347194 1196463500 2925690364 4200603629 3295689972 288303265 3168432068 1752324858 316433394 3587674771 1395516974 169943677 181048992 1148756221 1929931276 2000154022 3111396649 1599023324 2121830358 2029216217 1293841888 3605768691 743537825 1389043780 2747466273 3660926489 3531629911 1699774620 3050412086 545884527 1197048850 2535034159 161790567 2920825230 693027499 2730348031 2789076963 1734677379 3789791278 1919452740 2479152676 928472266 2778573200 4044905529 182635317 373849329 1697627598 1544499002 1074482871 2814568447 3060181444 2092409720 3458129762 1979987661 3221242416 4258958091 1346118480 337380180 246136367 1679370195 2442738578 659266470 2395585443 1477868293 3652014564 3018760624 1260973451 265434784 2469558095 104385859 3708190695 672548145 3951994636 780354397 1301173703 384625373 2827399568 1152842864 3731125252 1107746060 4269375924 2913210444 3628317304 4184243615 2108052631 2294321477 2224160661 2790580610 4007339821 345697738 4082977016 1798257417 284655087 1792175275 3777794058 814475690 2927958389 479135081 717294867 3324665239 2585008713 2740376903 559962811 268104937 512576949 653125877 706625842 2910050541 1988044100 266558086 2606182423 1041547913 1282040335 3117460705 3904559356 1831679751 3105754658 1396887317 2827873258 1775116706 4112702047 1847223705 1449638768 3497958437 764037947 716023506 2611661214 2578027860 7115711 2575919425 1200424489 2377667724 356227237 3687519458 1849807034 2953216863 3424777748 2069859416 227349765 187369418 2078308270 1501450093 12595179 471113896 896166484 2972302943 754566191 1820964022 1579027645 256227806 1411300346 20403488 2707734556 2020530514 3051432077 2574974740 2235673299 2865600575 622964175 2829343222 3377735869 255 362436" option to reproduce the execution
0.00/0.01	c #vars 401
0.00/0.01	c #constraints 400
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      267      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      212 |      100 |      267      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      424 |      250 |      294      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      815 |      475 |      324      0 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1297 |      813 |      357      2 |        0 |        0
0.09/0.15	c  0.1s |       5 |     2091 |     1320 |      393      3 |        0 |        0
0.19/0.24	c  0.2s |       6 |     3253 |     2081 |      477      5 |        0 |        0
0.29/0.37	c  0.4s |       7 |     5031 |     3223 |      525      8 |        0 |        0
0.49/0.59	c  0.6s |       8 |     7581 |     4936 |      578     12 |        0 |        0
0.89/0.92	c  0.9s |       9 |    11263 |     7506 |      636     19 |        0 |        0
1.29/1.31	c  1.3s |      10 |    16766 |    11361 |      700     27 |        0 |        0
1.79/1.88	c  1.9s |      11 |    24434 |    17144 |      771     39 |        0 |        0
2.69/2.73	c  2.7s |      12 |    36486 |    25819 |      849     57 |        0 |        0
4.09/4.13	c  4.1s |      13 |    55717 |    38832 |      934     81 |        0 |        0
5.99/6.08	c  6.1s |      14 |    82635 |    58352 |     1028    116 |        0 |        0
7.99/8.08	c  8.1s |      14 |   104142 |    75052 |     1028    143 |        0 |        0
9.49/9.51	c  9.5s |      15 |   121295 |    87632 |     1131    163 |        0 |        0
11.49/11.53	c 11.5s |      15 |   142144 |   104032 |     1131    188 |        0 |        0
13.49/13.53	c 13.5s |      15 |   164071 |   120732 |     1131    213 |        0 |        0
14.79/14.80	c 14.8s |      16 |   178867 |   131552 |     1245    229 |        0 |        0
16.79/16.80	c 16.8s |      16 |   202639 |   149252 |     1245    253 |        0 |        0
18.79/18.81	c 18.8s |      16 |   227668 |   167952 |     1245    279 |        0 |        0
20.79/20.82	c 20.8s |      16 |   252648 |   186852 |     1245    304 |        0 |        0
21.89/21.92	c 21.9s |      17 |   266841 |   197432 |     1370    318 |        0 |        0
23.89/23.93	c 23.9s |      17 |   289607 |   214632 |     1370    340 |        0 |        0
25.89/25.94	c 25.9s |      17 |   310214 |   230532 |     1370    360 |        0 |        0
27.88/27.95	c 27.9s |      17 |   331781 |   247132 |     1370    380 |        0 |        0
29.88/29.96	c 29.9s |      17 |   354317 |   264332 |     1370    402 |        0 |        0
31.89/31.96	c 31.9s |      17 |   375615 |   280532 |     1370    422 |        0 |        0
33.58/33.69	c 33.7s |      18 |   396731 |   296252 |     1508    442 |        0 |        0
35.69/35.70	c 35.7s |      18 |   418319 |   312252 |     1508    460 |        0 |        0
37.69/37.71	c 37.7s |      18 |   438776 |   327852 |     1508    478 |        0 |        0
39.70/39.71	c 39.7s |      18 |   458855 |   343252 |     1508    495 |        0 |        0
41.69/41.72	c 41.7s |      18 |   479511 |   358952 |     1508    513 |        0 |        0
43.69/43.72	c 43.7s |      18 |   500568 |   374952 |     1508    531 |        0 |        0
45.69/45.73	c 45.7s |      18 |   521283 |   390652 |     1508    549 |        0 |        0
47.68/47.73	c 47.7s |      18 |   543021 |   406952 |     1508    568 |        0 |        0
49.68/49.74	c 49.7s |      18 |   566253 |   424452 |     1508    588 |        0 |        0
51.69/51.75	c 51.7s |      18 |   588895 |   441652 |     1659    607 |        0 |        0
51.98/52.09	c 52.1s |      19 |   592558 |   444482 |     1659    610 |        0 |        0
54.08/54.10	c 54.1s |      19 |   616469 |   461482 |     1659    628 |        0 |        0
55.98/56.10	c 56.1s |      19 |   641055 |   478682 |     1659    646 |        0 |        0
58.08/58.10	c 58.1s |      19 |   663821 |   495782 |     1659    665 |        0 |        0
60.08/60.11	c 60.1s |      19 |   685062 |   512282 |     1659    682 |        0 |        0
62.08/62.11	c 62.1s |      19 |   706988 |   528482 |     1659    699 |        0 |        0
64.07/64.11	c 64.1s |      19 |   726856 |   543782 |     1659    716 |        0 |        0
66.08/66.12	c 66.1s |      19 |   746833 |   558982 |     1659    732 |        0 |        0
68.07/68.13	c 68.1s |      19 |   769487 |   575582 |     1659    749 |        0 |        0
70.07/70.13	c 70.1s |      19 |   791623 |   592082 |     1659    768 |        0 |        0
72.07/72.14	c 72.1s |      19 |   813929 |   609082 |     1659    786 |        0 |        0
74.07/74.15	c 74.1s |      19 |   837308 |   626382 |     1659    805 |        0 |        0
76.07/76.16	c 76.1s |      19 |   861817 |   643782 |     1659    824 |        0 |        0
78.08/78.16	c 78.1s |      19 |   884994 |   660782 |     1659    843 |        0 |        0
78.87/78.94	c 78.9s |      20 |   893191 |   666827 |     1825    849 |        0 |        0
80.87/80.95	c 80.9s |      20 |   911315 |   681227 |     1825    863 |        0 |        0
82.87/82.95	c 82.9s |      20 |   928666 |   694627 |     1825    876 |        0 |        0
84.88/84.96	c 84.9s |      20 |   947250 |   709027 |     1825    890 |        0 |        0
86.88/86.97	c 86.9s |      20 |   967025 |   724227 |     1825    904 |        0 |        0
88.88/88.98	c 89.0s |      20 |   986001 |   739227 |     1825    919 |        0 |        0
90.88/90.99	c 91.0s |      20 |  1005326 |   754127 |     1825    933 |        0 |        0
92.88/92.99	c 93.0s |      20 |  1027182 |   770627 |     1825    949 |        0 |        0
94.98/95.00	c 95.0s |      20 |  1048484 |   786527 |     1825    965 |        0 |        0
96.98/97.00	c 97.0s |      20 |  1069080 |   801927 |     1825    980 |        0 |        0
98.98/99.00	c 99.0s |      20 |  1088624 |   816627 |     1825    994 |        0 |        0
100.97/101.02	c  100s |      20 |  1108782 |   831627 |     1825   1008 |        0 |        0
102.97/103.02	c  102s |      20 |  1126523 |   845627 |     1825   1022 |        0 |        0
104.97/105.02	c  105s |      20 |  1146588 |   860427 |     1825   1036 |        0 |        0
106.97/107.03	c  107s |      20 |  1165843 |   875127 |     1825   1050 |        0 |        0
108.97/109.04	c  109s |      20 |  1184523 |   889527 |     1825   1064 |        0 |        0
110.96/111.04	c  111s |      20 |  1205149 |   904427 |     1825   1079 |        0 |        0
112.96/113.04	c  113s |      20 |  1226869 |   920627 |     1825   1095 |        0 |        0
114.96/115.05	c  115s |      20 |  1248121 |   936327 |     1825   1110 |        0 |        0
116.97/117.05	c  117s |      20 |  1267985 |   951627 |     1825   1125 |        0 |        0
118.97/119.07	c  119s |      20 |  1288322 |   966827 |     1825   1139 |        0 |        0
120.98/121.07	c  121s |      20 |  1307976 |   981427 |     1825   1154 |        0 |        0
122.97/123.08	c  123s |      20 |  1328586 |   996927 |     2008   1168 |        0 |        0
123.47/123.55	c  123s |      21 |  1332924 |  1000345 |     2008   1171 |        0 |        0
125.47/125.55	c  125s |      21 |  1353046 |  1015745 |     2008   1185 |        0 |        0
127.47/127.56	c  127s |      21 |  1373879 |  1031045 |     2008   1198 |        0 |        0
129.47/129.56	c  129s |      21 |  1393955 |  1046445 |     2008   1212 |        0 |        0
131.47/131.57	c  131s |      21 |  1414736 |  1061445 |     2008   1226 |        0 |        0
133.46/133.58	c  133s |      21 |  1431788 |  1075145 |     2008   1238 |        0 |        0
135.46/135.59	c  135s |      21 |  1450637 |  1089645 |     2008   1251 |        0 |        0
137.47/137.59	c  137s |      21 |  1469911 |  1104745 |     2008   1265 |        0 |        0
139.46/139.59	c  139s |      21 |  1489847 |  1120145 |     2008   1278 |        0 |        0
141.46/141.59	c  141s |      21 |  1508798 |  1134645 |     2008   1291 |        0 |        0
143.56/143.60	c  143s |      21 |  1529001 |  1149945 |     2008   1305 |        0 |        0
145.55/145.61	c  145s |      21 |  1548820 |  1164945 |     2008   1319 |        0 |        0
147.55/147.61	c  147s |      21 |  1570232 |  1180745 |     2008   1333 |        0 |        0
149.56/149.62	c  149s |      21 |  1592502 |  1197145 |     2008   1348 |        0 |        0
151.55/151.63	c  151s |      21 |  1613628 |  1213245 |     2008   1362 |        0 |        0
153.55/153.64	c  153s |      21 |  1633070 |  1228445 |     2008   1376 |        0 |        0
155.55/155.64	c  155s |      21 |  1654448 |  1244845 |     2008   1391 |        0 |        0
157.55/157.65	c  157s |      21 |  1673965 |  1259945 |     2008   1404 |        0 |        0
159.56/159.65	c  159s |      21 |  1694810 |  1275945 |     2008   1418 |        0 |        0
161.55/161.66	c  161s |      21 |  1716914 |  1292645 |     2008   1433 |        0 |        0
163.55/163.66	c  163s |      21 |  1736823 |  1308045 |     2008   1447 |        0 |        0
165.55/165.66	c  165s |      21 |  1757646 |  1324045 |     2008   1461 |        0 |        0
167.55/167.67	c  167s |      21 |  1779094 |  1340245 |     2008   1476 |        0 |        0
169.55/169.68	c  169s |      21 |  1799656 |  1355945 |     2008   1490 |        0 |        0
171.55/171.68	c  171s |      21 |  1820110 |  1371445 |     2008   1504 |        0 |        0
173.54/173.69	c  173s |      21 |  1839793 |  1386745 |     2008   1518 |        0 |        0
175.64/175.70	c  175s |      21 |  1859555 |  1401745 |     2008   1531 |        0 |        0
177.64/177.70	c  177s |      21 |  1877775 |  1416145 |     2008   1544 |        0 |        0
179.64/179.71	c  179s |      21 |  1897356 |  1431045 |     2008   1557 |        0 |        0
181.64/181.72	c  181s |      21 |  1917062 |  1446245 |     2008   1571 |        0 |        0
183.65/183.72	c  183s |      21 |  1937628 |  1461745 |     2008   1584 |        0 |        0
185.64/185.72	c  185s |      21 |  1956917 |  1476145 |     2008   1597 |        0 |        0
187.64/187.72	c  187s |      21 |  1976230 |  1491045 |     2209   1611 |        0 |        0
189.04/189.15	c  189s |      22 |  1988975 |  1500622 |     2209   1618 |        0 |        0
191.05/191.17	c  191s |      22 |  2009357 |  1515822 |     2209   1631 |        0 |        0
193.05/193.17	c  193s |      22 |  2029499 |  1531022 |     2209   1643 |        0 |        0
195.04/195.18	c  195s |      22 |  2047968 |  1544822 |     2209   1654 |        0 |        0
197.04/197.19	c  197s |      22 |  2068961 |  1560322 |     2209   1667 |        0 |        0
199.05/199.19	c  199s |      22 |  2087780 |  1574822 |     2209   1679 |        0 |        0
201.14/201.20	c  201s |      22 |  2107086 |  1589722 |     2209   1691 |        0 |        0
203.14/203.21	c  203s |      22 |  2126292 |  1604622 |     2209   1704 |        0 |        0
205.13/205.22	c  205s |      22 |  2145240 |  1618922 |     2209   1715 |        0 |        0
207.13/207.23	c  207s |      22 |  2165636 |  1634122 |     2209   1728 |        0 |        0
209.13/209.23	c  209s |      22 |  2185986 |  1649622 |     2209   1740 |        0 |        0
211.14/211.24	c  211s |      22 |  2205341 |  1664522 |     2209   1753 |        0 |        0
213.13/213.25	c  213s |      22 |  2223643 |  1678422 |     2209   1764 |        0 |        0
215.13/215.26	c  215s |      22 |  2240245 |  1692122 |     2209   1775 |        0 |        0
217.13/217.27	c  217s |      22 |  2257332 |  1705922 |     2209   1786 |        0 |        0
219.13/219.28	c  219s |      22 |  2277100 |  1720922 |     2209   1799 |        0 |        0
221.14/221.28	c  221s |      22 |  2297618 |  1736422 |     2209   1811 |        0 |        0
223.13/223.29	c  223s |      22 |  2318429 |  1751422 |     2209   1824 |        0 |        0
225.13/225.29	c  225s |      22 |  2339242 |  1765722 |     2209   1836 |        0 |        0
227.23/227.30	c  227s |      22 |  2358369 |  1780522 |     2209   1848 |        0 |        0
229.23/229.30	c  229s |      22 |  2376193 |  1794522 |     2209   1859 |        0 |        0
231.23/231.32	c  231s |      22 |  2395107 |  1809622 |     2209   1872 |        0 |        0
233.23/233.33	c  233s |      22 |  2414356 |  1824522 |     2209   1884 |        0 |        0
235.22/235.33	c  235s |      22 |  2431558 |  1837822 |     2209   1895 |        0 |        0
237.22/237.34	c  237s |      22 |  2446746 |  1849922 |     2209   1905 |        0 |        0
239.22/239.35	c  239s |      22 |  2462283 |  1862422 |     2209   1915 |        0 |        0
241.22/241.36	c  241s |      22 |  2477491 |  1874522 |     2209   1925 |        0 |        0
243.22/243.38	c  243s |      22 |  2491673 |  1885922 |     2209   1935 |        0 |        0
245.23/245.38	c  245s |      22 |  2507053 |  1898022 |     2209   1945 |        0 |        0
247.22/247.38	c  247s |      22 |  2522801 |  1909922 |     2209   1954 |        0 |        0
249.22/249.38	c  249s |      22 |  2538892 |  1922322 |     2209   1965 |        0 |        0
251.32/251.40	c  251s |      22 |  2555136 |  1934722 |     2209   1975 |        0 |        0
253.32/253.41	c  253s |      22 |  2572208 |  1947822 |     2209   1986 |        0 |        0
255.31/255.41	c  255s |      22 |  2587098 |  1959422 |     2209   1995 |        0 |        0
257.32/257.42	c  257s |      22 |  2603042 |  1971522 |     2209   2005 |        0 |        0
259.31/259.43	c  259s |      22 |  2620801 |  1985222 |     2209   2017 |        0 |        0
261.31/261.44	c  261s |      22 |  2639886 |  1999322 |     2209   2028 |        0 |        0
263.31/263.46	c  263s |      22 |  2659169 |  2014022 |     2209   2041 |        0 |        0
265.31/265.47	c  265s |      22 |  2677880 |  2027922 |     2209   2052 |        0 |        0
267.31/267.47	c  267s |      22 |  2696644 |  2041922 |     2209   2064 |        0 |        0
269.31/269.48	c  269s |      22 |  2715128 |  2055922 |     2209   2075 |        0 |        0
271.31/271.49	c  271s |      22 |  2732046 |  2069022 |     2209   2086 |        0 |        0
273.41/273.50	c  273s |      22 |  2749884 |  2082622 |     2209   2098 |        0 |        0
275.40/275.51	c  275s |      22 |  2766773 |  2095322 |     2209   2108 |        0 |        0
277.40/277.53	c  277s |      22 |  2784680 |  2109022 |     2209   2119 |        0 |        0
279.41/279.54	c  279s |      22 |  2803650 |  2123522 |     2209   2131 |        0 |        0
281.40/281.54	c  281s |      22 |  2823169 |  2138222 |     2209   2143 |        0 |        0
283.41/283.56	c  283s |      22 |  2845468 |  2154622 |     2209   2157 |        0 |        0
285.40/285.57	c  285s |      22 |  2863055 |  2168422 |     2209   2168 |        0 |        0
287.40/287.58	c  287s |      22 |  2882328 |  2182422 |     2209   2180 |        0 |        0
289.40/289.59	c  289s |      22 |  2904636 |  2198122 |     2209   2193 |        0 |        0
291.41/291.60	c  291s |      22 |  2922836 |  2212722 |     2209   2205 |        0 |        0
293.50/293.60	c  293s |      22 |  2941200 |  2226222 |     2209   2216 |        0 |        0
295.50/295.61	c  295s |      22 |  2960009 |  2239922 |     2430   2227 |        0 |        0
297.01/297.16	c  297s |      23 |  2975155 |  2251038 |     2430   2235 |        0 |        0
299.00/299.17	c  299s |      23 |  2994612 |  2266338 |     2430   2247 |        0 |        0
301.00/301.18	c  301s |      23 |  3014614 |  2281438 |     2430   2258 |        0 |        0
303.00/303.19	c  303s |      23 |  3033744 |  2296038 |     2430   2269 |        0 |        0
305.10/305.21	c  305s |      23 |  3049804 |  2308438 |     2430   2278 |        0 |        0
307.10/307.22	c  307s |      23 |  3066819 |  2321338 |     2430   2288 |        0 |        0
309.10/309.22	c  309s |      23 |  3083805 |  2334538 |     2430   2298 |        0 |        0
311.09/311.23	c  311s |      23 |  3100205 |  2347338 |     2430   2307 |        0 |        0
313.09/313.24	c  313s |      23 |  3114855 |  2359238 |     2430   2316 |        0 |        0
315.09/315.24	c  315s |      23 |  3130678 |  2371738 |     2430   2325 |        0 |        0
317.09/317.26	c  317s |      23 |  3146667 |  2383838 |     2430   2335 |        0 |        0
319.09/319.26	c  319s |      23 |  3162340 |  2396038 |     2430   2344 |        0 |        0
321.09/321.27	c  321s |      23 |  3178804 |  2408838 |     2430   2353 |        0 |        0
323.09/323.28	c  323s |      23 |  3195946 |  2421538 |     2430   2363 |        0 |        0
325.08/325.30	c  325s |      23 |  3212788 |  2434338 |     2430   2373 |        0 |        0
327.18/327.30	c  327s |      23 |  3230947 |  2448138 |     2430   2383 |        0 |        0
329.18/329.31	c  329s |      23 |  3249616 |  2462438 |     2430   2394 |        0 |        0
331.18/331.32	c  331s |      23 |  3268735 |  2476938 |     2430   2405 |        0 |        0
333.19/333.33	c  333s |      23 |  3288307 |  2492038 |     2430   2416 |        0 |        0
335.18/335.34	c  335s |      23 |  3309084 |  2507638 |     2430   2427 |        0 |        0
337.18/337.35	c  337s |      23 |  3327898 |  2521838 |     2430   2438 |        0 |        0
339.18/339.35	c  339s |      23 |  3345343 |  2534838 |     2430   2448 |        0 |        0
341.18/341.35	c  341s |      23 |  3361617 |  2547838 |     2430   2457 |        0 |        0
343.18/343.36	c  343s |      23 |  3376613 |  2559838 |     2430   2466 |        0 |        0
345.17/345.37	c  345s |      23 |  3393308 |  2572538 |     2430   2476 |        0 |        0
347.17/347.38	c  347s |      23 |  3411343 |  2586138 |     2430   2486 |        0 |        0
349.27/349.40	c  349s |      23 |  3429820 |  2600138 |     2430   2497 |        0 |        0
351.27/351.40	c  351s |      23 |  3448079 |  2614238 |     2430   2507 |        0 |        0
353.27/353.41	c  353s |      23 |  3466654 |  2628238 |     2430   2517 |        0 |        0
355.27/355.41	c  355s |      23 |  3485320 |  2642738 |     2430   2528 |        0 |        0
357.26/357.42	c  357s |      23 |  3505066 |  2657438 |     2430   2539 |        0 |        0
359.26/359.42	c  359s |      23 |  3522390 |  2671038 |     2430   2549 |        0 |        0
361.26/361.43	c  361s |      23 |  3541186 |  2685738 |     2430   2560 |        0 |        0
363.26/363.43	c  363s |      23 |  3559401 |  2699838 |     2430   2571 |        0 |        0
365.26/365.44	c  365s |      23 |  3578819 |  2714638 |     2430   2582 |        0 |        0
367.26/367.44	c  367s |      23 |  3596633 |  2728838 |     2430   2593 |        0 |        0
369.26/369.44	c  369s |      23 |  3611560 |  2740938 |     2430   2602 |        0 |        0
371.26/371.45	c  371s |      23 |  3627207 |  2753338 |     2430   2611 |        0 |        0
373.25/373.46	c  373s |      23 |  3644651 |  2766638 |     2430   2621 |        0 |        0
375.25/375.46	c  375s |      23 |  3663297 |  2780838 |     2430   2632 |        0 |        0
377.26/377.47	c  377s |      23 |  3681640 |  2794738 |     2430   2642 |        0 |        0
379.26/379.47	c  379s |      23 |  3697977 |  2807838 |     2430   2652 |        0 |        0
381.26/381.48	c  381s |      23 |  3715035 |  2821538 |     2430   2662 |        0 |        0
383.26/383.48	c  383s |      23 |  3731601 |  2834838 |     2430   2672 |        0 |        0
385.25/385.49	c  385s |      23 |  3747687 |  2847638 |     2430   2681 |        0 |        0
387.25/387.49	c  387s |      23 |  3760418 |  2858938 |     2430   2690 |        0 |        0
389.26/389.50	c  389s |      23 |  3776773 |  2872238 |     2430   2700 |        0 |        0
391.35/391.50	c  391s |      23 |  3793541 |  2885438 |     2430   2710 |        0 |        0
393.35/393.52	c  393s |      23 |  3810786 |  2898538 |     2430   2720 |        0 |        0
395.35/395.53	c  395s |      23 |  3829317 |  2912538 |     2430   2730 |        0 |        0
397.35/397.54	c  397s |      23 |  3845583 |  2925138 |     2430   2740 |        0 |        0
399.35/399.55	c  399s |      23 |  3863408 |  2938538 |     2430   2750 |        0 |        0
401.36/401.56	c  401s |      23 |  3881030 |  2951938 |     2430   2760 |        0 |        0
403.35/403.57	c  403s |      23 |  3899762 |  2966538 |     2430   2771 |        0 |        0
405.34/405.57	c  405s |      23 |  3916081 |  2979838 |     2430   2781 |        0 |        0
407.34/407.58	c  407s |      23 |  3936046 |  2994938 |     2430   2792 |        0 |        0
409.34/409.59	c  409s |      23 |  3953854 |  3009038 |     2430   2802 |        0 |        0
411.44/411.61	c  411s |      23 |  3971420 |  3022438 |     2430   2812 |        0 |        0
413.44/413.62	c  413s |      23 |  3990842 |  3036838 |     2430   2823 |        0 |        0
415.43/415.62	c  415s |      23 |  4008282 |  3050438 |     2430   2834 |        0 |        0
417.43/417.63	c  417s |      23 |  4027348 |  3064538 |     2430   2844 |        0 |        0
419.43/419.64	c  419s |      23 |  4045767 |  3078338 |     2430   2855 |        0 |        0
421.43/421.65	c  421s |      23 |  4063220 |  3092038 |     2430   2865 |        0 |        0
423.44/423.66	c  423s |      23 |  4081219 |  3105838 |     2430   2875 |        0 |        0
425.43/425.66	c  425s |      23 |  4098057 |  3119038 |     2430   2885 |        0 |        0
427.43/427.67	c  427s |      23 |  4114907 |  3132138 |     2430   2895 |        0 |        0
429.43/429.68	c  429s |      23 |  4132401 |  3145738 |     2430   2905 |        0 |        0
431.43/431.69	c  431s |      23 |  4148793 |  3158438 |     2430   2915 |        0 |        0
433.52/433.70	c  433s |      23 |  4167138 |  3172338 |     2430   2925 |        0 |        0
435.53/435.71	c  435s |      23 |  4184547 |  3185638 |     2430   2935 |        0 |        0
437.52/437.71	c  437s |      23 |  4202664 |  3199338 |     2430   2946 |        0 |        0
439.53/439.73	c  439s |      23 |  4219517 |  3212438 |     2430   2956 |        0 |        0
441.53/441.74	c  441s |      23 |  4236718 |  3225738 |     2430   2966 |        0 |        0
443.53/443.74	c  443s |      23 |  4252870 |  3238138 |     2430   2975 |        0 |        0
445.53/445.75	c  445s |      23 |  4271413 |  3251838 |     2430   2985 |        0 |        0
447.53/447.76	c  447s |      23 |  4289273 |  3265338 |     2430   2995 |        0 |        0
449.52/449.76	c  449s |      23 |  4307281 |  3278538 |     2430   3005 |        0 |        0
451.52/451.77	c  451s |      23 |  4325856 |  3292638 |     2430   3016 |        0 |        0
453.52/453.78	c  453s |      23 |  4343014 |  3306238 |     2430   3026 |        0 |        0
455.52/455.79	c  455s |      23 |  4358891 |  3318838 |     2430   3035 |        0 |        0
457.62/457.80	c  457s |      23 |  4376608 |  3332438 |     2430   3046 |        0 |        0
459.63/459.82	c  459s |      23 |  4393956 |  3345738 |     2430   3056 |        0 |        0
461.62/461.83	c  461s |      23 |  4411021 |  3358638 |     2673   3065 |        0 |        0
463.61/463.83	c  463s |      23 |  4426694 |  3371138 |     2673   3073 |        0 |        0
464.51/464.78	c  464s |      24 |  4433536 |  3376662 |     2673   3077 |        0 |        0
466.51/466.79	c  466s |      24 |  4454466 |  3392462 |     2673   3088 |        0 |        0
468.52/468.79	c  468s |      24 |  4475425 |  3408462 |     2673   3099 |        0 |        0
470.51/470.79	c  470s |      24 |  4493388 |  3422662 |     2673   3109 |        0 |        0
472.61/472.80	c  472s |      24 |  4513691 |  3438362 |     2673   3119 |        0 |        0
474.61/474.80	c  474s |      24 |  4533819 |  3453862 |     2673   3130 |        0 |        0
476.61/476.81	c  476s |      24 |  4553224 |  3468562 |     2673   3140 |        0 |        0
478.61/478.81	c  478s |      24 |  4572794 |  3483362 |     2673   3150 |        0 |        0
480.62/480.82	c  480s |      24 |  4594184 |  3498762 |     2673   3161 |        0 |        0
482.61/482.82	c  482s |      24 |  4614765 |  3514362 |     2673   3172 |        0 |        0
484.60/484.82	c  484s |      24 |  4635695 |  3530162 |     2673   3183 |        0 |        0
486.60/486.83	c  486s |      24 |  4656280 |  3545662 |     2673   3193 |        0 |        0
488.60/488.83	c  488s |      24 |  4674863 |  3560062 |     2673   3203 |        0 |        0
490.60/490.84	c  490s |      24 |  4693733 |  3574462 |     2673   3213 |        0 |        0
492.61/492.84	c  492s |      24 |  4713720 |  3589062 |     2673   3223 |        0 |        0
494.60/494.85	c  494s |      24 |  4732094 |  3603362 |     2673   3233 |        0 |        0
496.60/496.86	c  496s |      24 |  4750939 |  3617962 |     2673   3243 |        0 |        0
498.60/498.87	c  498s |      24 |  4770768 |  3633462 |     2673   3253 |        0 |        0
500.60/500.88	c  500s |      24 |  4792015 |  3649062 |     2673   3264 |        0 |        0
502.60/502.89	c  502s |      24 |  4811980 |  3664262 |     2673   3275 |        0 |        0
504.70/504.90	c  504s |      24 |  4830875 |  3678862 |     2673   3285 |        0 |        0
506.69/506.92	c  506s |      24 |  4847840 |  3692462 |     2673   3294 |        0 |        0
508.69/508.92	c  508s |      24 |  4866639 |  3707262 |     2673   3304 |        0 |        0
510.70/510.93	c  510s |      24 |  4883988 |  3720762 |     2673   3313 |        0 |        0
512.70/512.93	c  512s |      24 |  4903186 |  3735362 |     2673   3323 |        0 |        0
514.70/514.93	c  514s |      24 |  4923324 |  3750662 |     2673   3334 |        0 |        0
516.70/516.94	c  516s |      24 |  4944499 |  3766662 |     2673   3345 |        0 |        0
518.69/518.95	c  518s |      24 |  4965560 |  3782562 |     2673   3356 |        0 |        0
520.69/520.95	c  520s |      24 |  4985047 |  3797362 |     2673   3366 |        0 |        0
522.69/522.96	c  522s |      24 |  5003273 |  3811462 |     2673   3376 |        0 |        0
524.69/524.97	c  524s |      24 |  5022328 |  3826262 |     2673   3386 |        0 |        0
526.70/526.97	c  526s |      24 |  5043371 |  3842062 |     2673   3397 |        0 |        0
528.69/528.98	c  528s |      24 |  5064728 |  3858562 |     2673   3408 |        0 |        0
530.69/530.99	c  530s |      24 |  5081058 |  3872062 |     2673   3417 |        0 |        0
532.79/533.00	c  532s |      24 |  5099177 |  3886562 |     2673   3427 |        0 |        0
534.78/535.01	c  534s |      24 |  5117770 |  3901062 |     2673   3437 |        0 |        0
536.78/537.02	c  537s |      24 |  5140208 |  3917262 |     2673   3449 |        0 |        0
538.79/539.02	c  539s |      24 |  5158510 |  3931862 |     2673   3459 |        0 |        0
540.78/541.04	c  541s |      24 |  5177599 |  3946262 |     2673   3469 |        0 |        0
542.78/543.04	c  543s |      24 |  5195441 |  3960362 |     2673   3478 |        0 |        0
544.78/545.04	c  545s |      24 |  5212361 |  3973862 |     2673   3488 |        0 |        0
546.77/547.05	c  547s |      24 |  5229747 |  3987562 |     2673   3497 |        0 |        0
548.78/549.05	c  549s |      24 |  5249363 |  4002462 |     2673   3507 |        0 |        0
550.77/551.06	c  551s |      24 |  5269855 |  4017462 |     2673   3518 |        0 |        0
552.78/553.07	c  553s |      24 |  5288159 |  4031962 |     2673   3527 |        0 |        0
554.78/555.07	c  555s |      24 |  5307085 |  4045962 |     2673   3537 |        0 |        0
556.78/557.07	c  557s |      24 |  5324762 |  4060262 |     2673   3547 |        0 |        0
558.78/559.08	c  559s |      24 |  5344486 |  4075262 |     2673   3557 |        0 |        0
560.78/561.09	c  561s |      24 |  5362212 |  4089462 |     2673   3567 |        0 |        0
562.77/563.09	c  563s |      24 |  5380818 |  4103762 |     2673   3577 |        0 |        0
564.87/565.10	c  565s |      24 |  5400138 |  4118962 |     2673   3587 |        0 |        0
566.87/567.10	c  567s |      24 |  5419232 |  4133162 |     2673   3597 |        0 |        0
568.87/569.11	c  569s |      24 |  5439294 |  4148662 |     2673   3608 |        0 |        0
570.87/571.12	c  571s |      24 |  5459395 |  4164362 |     2673   3619 |        0 |        0
572.87/573.13	c  573s |      24 |  5477130 |  4178162 |     2673   3628 |        0 |        0
574.86/575.14	c  575s |      24 |  5494689 |  4191362 |     2673   3637 |        0 |        0
576.86/577.15	c  577s |      24 |  5515077 |  4206962 |     2673   3648 |        0 |        0
578.86/579.16	c  579s |      24 |  5534776 |  4221962 |     2673   3658 |        0 |        0
580.85/581.17	c  581s |      24 |  5554995 |  4236962 |     2673   3669 |        0 |        0
582.86/583.17	c  583s |      24 |  5576319 |  4252362 |     2673   3679 |        0 |        0
584.85/585.18	c  585s |      24 |  5596403 |  4268262 |     2673   3690 |        0 |        0
586.85/587.18	c  587s |      24 |  5616105 |  4283862 |     2673   3701 |        0 |        0
588.85/589.18	c  589s |      24 |  5637445 |  4299762 |     2673   3712 |        0 |        0
590.85/591.19	c  591s |      24 |  5657071 |  4314962 |     2673   3722 |        0 |        0
592.95/593.20	c  593s |      24 |  5675901 |  4329262 |     2673   3732 |        0 |        0
594.95/595.20	c  595s |      24 |  5694830 |  4344462 |     2673   3743 |        0 |        0
596.94/597.22	c  597s |      24 |  5712980 |  4358762 |     2673   3752 |        0 |        0
598.94/599.23	c  599s |      24 |  5729680 |  4372062 |     2673   3762 |        0 |        0
600.94/601.24	c  601s |      24 |  5747084 |  4385862 |     2673   3771 |        0 |        0
602.94/603.24	c  603s |      24 |  5765448 |  4399562 |     2673   3780 |        0 |        0
604.94/605.25	c  605s |      24 |  5783267 |  4413262 |     2673   3790 |        0 |        0
606.94/607.26	c  607s |      24 |  5800817 |  4426862 |     2673   3799 |        0 |        0
608.94/609.26	c  609s |      24 |  5819407 |  4440962 |     2673   3809 |        0 |        0
610.94/611.27	c  611s |      24 |  5836808 |  4454762 |     2673   3818 |        0 |        0
612.94/613.28	c  613s |      24 |  5855587 |  4468862 |     2673   3828 |        0 |        0
614.94/615.29	c  615s |      24 |  5873769 |  4482662 |     2673   3838 |        0 |        0
617.04/617.31	c  617s |      24 |  5893494 |  4497862 |     2673   3848 |        0 |        0
619.05/619.31	c  619s |      24 |  5911985 |  4512362 |     2673   3858 |        0 |        0
621.04/621.33	c  621s |      24 |  5930586 |  4526562 |     2673   3868 |        0 |        0
623.04/623.33	c  623s |      24 |  5947488 |  4539862 |     2673   3877 |        0 |        0
625.03/625.35	c  625s |      24 |  5966079 |  4553862 |     2673   3887 |        0 |        0
627.03/627.36	c  627s |      24 |  5985726 |  4568562 |     2673   3897 |        0 |        0
629.04/629.36	c  629s |      24 |  6004106 |  4582462 |     2673   3906 |        0 |        0
631.03/631.36	c  631s |      24 |  6022054 |  4596062 |     2673   3916 |        0 |        0
633.03/633.37	c  633s |      24 |  6043976 |  4612162 |     2673   3927 |        0 |        0
635.03/635.37	c  635s |      24 |  6064471 |  4627562 |     2673   3937 |        0 |        0
637.03/637.39	c  637s |      24 |  6084953 |  4642862 |     2673   3948 |        0 |        0
639.13/639.40	c  639s |      24 |  6105027 |  4657962 |     2673   3958 |        0 |        0
641.14/641.41	c  641s |      24 |  6124473 |  4673062 |     2673   3969 |        0 |        0
643.13/643.42	c  643s |      24 |  6146202 |  4688662 |     2673   3980 |        0 |        0
645.12/645.42	c  645s |      24 |  6167151 |  4704462 |     2673   3990 |        0 |        0
647.12/647.42	c  647s |      24 |  6188434 |  4720162 |     2673   4001 |        0 |        0
649.12/649.42	c  649s |      24 |  6206792 |  4734762 |     2673   4011 |        0 |        0
651.12/651.43	c  651s |      24 |  6227072 |  4750762 |     2673   4022 |        0 |        0
653.13/653.45	c  653s |      24 |  6245972 |  4765362 |     2673   4032 |        0 |        0
655.12/655.45	c  655s |      24 |  6263093 |  4779162 |     2673   4042 |        0 |        0
657.12/657.46	c  657s |      24 |  6281491 |  4793662 |     2673   4052 |        0 |        0
659.12/659.47	c  659s |      24 |  6300748 |  4808162 |     2673   4062 |        0 |        0
661.12/661.48	c  661s |      24 |  6319845 |  4822762 |     2673   4072 |        0 |        0
663.12/663.49	c  663s |      24 |  6339106 |  4837262 |     2673   4082 |        0 |        0
665.11/665.50	c  665s |      24 |  6359392 |  4852762 |     2673   4092 |        0 |        0
667.21/667.50	c  667s |      24 |  6376383 |  4866362 |     2673   4102 |        0 |        0
669.21/669.51	c  669s |      24 |  6396209 |  4881362 |     2673   4112 |        0 |        0
671.21/671.52	c  671s |      24 |  6416165 |  4895762 |     2673   4122 |        0 |        0
673.21/673.53	c  673s |      24 |  6436918 |  4911562 |     2673   4133 |        0 |        0
675.21/675.54	c  675s |      24 |  6455619 |  4926062 |     2673   4143 |        0 |        0
677.20/677.55	c  677s |      24 |  6471416 |  4938862 |     2673   4152 |        0 |        0
679.20/679.56	c  679s |      24 |  6490715 |  4953562 |     2673   4162 |        0 |        0
681.20/681.56	c  681s |      24 |  6511421 |  4969162 |     2673   4173 |        0 |        0
683.20/683.57	c  683s |      24 |  6529817 |  4983562 |     2673   4183 |        0 |        0
685.20/685.57	c  685s |      24 |  6548358 |  4997862 |     2673   4192 |        0 |        0
687.21/687.57	c  687s |      24 |  6566976 |  5011762 |     2673   4202 |        0 |        0
689.20/689.59	c  689s |      24 |  6586156 |  5026362 |     2673   4212 |        0 |        0
691.20/691.60	c  691s |      24 |  6607198 |  5041962 |     2941   4222 |        0 |        0
693.30/693.61	c  693s |      24 |  6627758 |  5057262 |     2941   4231 |        0 |        0
694.40/694.73	c  694s |      25 |  6637968 |  5065098 |     2941   4236 |        0 |        0
696.40/696.74	c  696s |      25 |  6658306 |  5079998 |     2941   4247 |        0 |        0
698.40/698.74	c  698s |      25 |  6678705 |  5095098 |     2941   4257 |        0 |        0
700.40/700.74	c  700s |      25 |  6697890 |  5109798 |     2941   4266 |        0 |        0
702.40/702.75	c  702s |      25 |  6714077 |  5122498 |     2941   4275 |        0 |        0
704.40/704.75	c  704s |      25 |  6730832 |  5135298 |     2941   4283 |        0 |        0
706.40/706.76	c  706s |      25 |  6746799 |  5147898 |     2941   4292 |        0 |        0
708.40/708.77	c  708s |      25 |  6764175 |  5161198 |     2941   4301 |        0 |        0
710.41/710.79	c  710s |      25 |  6782515 |  5174798 |     2941   4310 |        0 |        0
712.51/712.81	c  712s |      25 |  6798288 |  5187298 |     2941   4318 |        0 |        0
714.50/714.81	c  714s |      25 |  6815956 |  5201198 |     2941   4328 |        0 |        0
716.50/716.82	c  716s |      25 |  6834021 |  5215198 |     2941   4337 |        0 |        0
718.50/718.82	c  718s |      25 |  6848900 |  5227198 |     2941   4344 |        0 |        0
720.50/720.83	c  720s |      25 |  6865827 |  5240298 |     2941   4352 |        0 |        0
722.51/722.83	c  722s |      25 |  6884126 |  5253798 |     2941   4361 |        0 |        0
724.50/724.84	c  724s |      25 |  6899314 |  5265898 |     2941   4368 |        0 |        0
726.50/726.85	c  726s |      25 |  6916873 |  5279398 |     2941   4377 |        0 |        0
728.50/728.87	c  728s |      25 |  6934895 |  5293298 |     2941   4386 |        0 |        0
730.50/730.87	c  730s |      25 |  6953003 |  5307398 |     2941   4394 |        0 |        0
732.49/732.89	c  732s |      25 |  6970905 |  5320998 |     2941   4403 |        0 |        0
734.50/734.90	c  734s |      25 |  6988331 |  5334498 |     2941   4411 |        0 |        0
736.59/736.90	c  736s |      25 |  7005432 |  5347698 |     2941   4420 |        0 |        0
738.59/738.92	c  738s |      25 |  7022521 |  5360598 |     2941   4428 |        0 |        0
740.59/740.92	c  740s |      25 |  7040124 |  5374698 |     2941   4437 |        0 |        0
742.59/742.94	c  742s |      25 |  7056716 |  5387998 |     2941   4445 |        0 |        0
744.59/744.94	c  744s |      25 |  7076083 |  5402598 |     2941   4454 |        0 |        0
746.60/746.96	c  746s |      25 |  7092420 |  5415798 |     2941   4462 |        0 |        0
748.59/748.97	c  748s |      25 |  7108107 |  5428298 |     2941   4470 |        0 |        0
750.59/750.97	c  750s |      25 |  7126055 |  5441798 |     2941   4478 |        0 |        0
752.69/753.00	c  752s |      25 |  7144927 |  5455698 |     2941   4487 |        0 |        0
754.70/755.01	c  754s |      25 |  7164047 |  5469998 |     2941   4496 |        0 |        0
756.70/757.02	c  756s |      25 |  7179550 |  5482498 |     2941   4504 |        0 |        0
758.70/759.02	c  759s |      25 |  7193709 |  5494098 |     2941   4511 |        0 |        0
760.70/761.02	c  761s |      25 |  7209334 |  5506498 |     2941   4519 |        0 |        0
762.69/763.04	c  763s |      25 |  7227273 |  5519798 |     2941   4527 |        0 |        0
764.69/765.04	c  765s |      25 |  7246803 |  5534098 |     2941   4536 |        0 |        0
766.69/767.06	c  767s |      25 |  7263383 |  5546898 |     2941   4544 |        0 |        0
768.70/769.07	c  769s |      25 |  7280058 |  5560098 |     2941   4553 |        0 |        0
770.69/771.07	c  771s |      25 |  7297649 |  5573298 |     2941   4561 |        0 |        0
772.69/773.08	c  773s |      25 |  7313848 |  5585698 |     2941   4569 |        0 |        0
774.69/775.08	c  775s |      25 |  7330507 |  5598898 |     2941   4577 |        0 |        0
776.69/777.09	c  777s |      25 |  7347886 |  5611898 |     2941   4585 |        0 |        0
778.79/779.10	c  779s |      25 |  7366423 |  5625798 |     2941   4594 |        0 |        0
780.80/781.11	c  781s |      25 |  7383093 |  5638998 |     2941   4602 |        0 |        0
782.79/783.12	c  783s |      25 |  7398361 |  5651398 |     2941   4610 |        0 |        0
784.79/785.13	c  785s |      25 |  7415310 |  5664998 |     2941   4618 |        0 |        0
786.79/787.14	c  787s |      25 |  7434241 |  5679098 |     2941   4627 |        0 |        0
788.79/789.15	c  789s |      25 |  7453581 |  5693698 |     2941   4636 |        0 |        0
790.78/791.16	c  791s |      25 |  7470601 |  5707098 |     2941   4645 |        0 |        0
792.79/793.17	c  793s |      25 |  7485782 |  5719598 |     2941   4652 |        0 |        0
794.78/795.18	c  795s |      25 |  7502394 |  5731998 |     2941   4660 |        0 |        0
796.78/797.19	c  797s |      25 |  7517455 |  5743798 |     2941   4668 |        0 |        0
798.88/799.20	c  799s |      25 |  7535345 |  5756698 |     2941   4676 |        0 |        0
800.88/801.21	c  801s |      25 |  7553508 |  5769998 |     2941   4684 |        0 |        0
802.88/803.22	c  803s |      25 |  7571642 |  5783798 |     2941   4693 |        0 |        0
804.89/805.22	c  805s |      25 |  7589605 |  5796598 |     2941   4701 |        0 |        0
806.88/807.23	c  807s |      25 |  7607804 |  5810298 |     2941   4709 |        0 |        0
808.89/809.25	c  809s |      25 |  7624617 |  5823098 |     2941   4717 |        0 |        0
810.89/811.26	c  811s |      25 |  7642875 |  5836298 |     2941   4726 |        0 |        0
812.89/813.27	c  813s |      25 |  7659359 |  5849398 |     2941   4734 |        0 |        0
814.90/815.29	c  815s |      25 |  7675063 |  5861598 |     2941   4742 |        0 |        0
816.89/817.30	c  817s |      25 |  7693155 |  5874998 |     2941   4750 |        0 |        0
818.99/819.31	c  819s |      25 |  7711834 |  5888998 |     2941   4759 |        0 |        0
820.99/821.31	c  821s |      25 |  7729822 |  5902498 |     2941   4767 |        0 |        0
822.99/823.33	c  823s |      25 |  7747372 |  5915698 |     2941   4776 |        0 |        0
824.99/825.34	c  825s |      25 |  7766483 |  5930198 |     2941   4785 |        0 |        0
826.99/827.34	c  827s |      25 |  7784111 |  5943398 |     2941   4793 |        0 |        0
828.99/829.36	c  829s |      25 |  7801843 |  5956898 |     2941   4801 |        0 |        0
830.98/831.36	c  831s |      25 |  7819458 |  5970698 |     2941   4810 |        0 |        0
832.98/833.37	c  833s |      25 |  7835717 |  5983298 |     2941   4818 |        0 |        0
834.98/835.38	c  835s |      25 |  7852201 |  5995798 |     2941   4826 |        0 |        0
836.98/837.39	c  837s |      25 |  7869971 |  6009298 |     2941   4834 |        0 |        0
838.99/839.39	c  839s |      25 |  7887522 |  6023098 |     2941   4843 |        0 |        0
841.08/841.40	c  841s |      25 |  7907191 |  6037998 |     2941   4852 |        0 |        0
843.08/843.41	c  843s |      25 |  7923300 |  6050398 |     2941   4860 |        0 |        0
845.08/845.41	c  845s |      25 |  7938882 |  6062298 |     2941   4867 |        0 |        0
847.08/847.42	c  847s |      25 |  7955184 |  6074698 |     2941   4875 |        0 |        0
849.08/849.43	c  849s |      25 |  7971680 |  6087898 |     2941   4883 |        0 |        0
851.09/851.43	c  851s |      25 |  7989041 |  6101198 |     2941   4892 |        0 |        0
853.08/853.45	c  853s |      25 |  8007764 |  6114398 |     2941   4900 |        0 |        0
855.08/855.45	c  855s |      25 |  8026044 |  6127998 |     2941   4908 |        0 |        0
857.08/857.46	c  857s |      25 |  8042222 |  6140798 |     2941   4916 |        0 |        0
859.08/859.47	c  859s |      25 |  8056254 |  6152298 |     2941   4924 |        0 |        0
861.09/861.48	c  861s |      25 |  8074059 |  6165598 |     2941   4932 |        0 |        0
863.08/863.48	c  863s |      25 |  8092958 |  6179598 |     2941   4941 |        0 |        0
865.08/865.49	c  865s |      25 |  8112606 |  6193898 |     2941   4950 |        0 |        0
867.08/867.49	c  867s |      25 |  8130128 |  6207698 |     2941   4958 |        0 |        0
869.18/869.50	c  869s |      25 |  8145911 |  6220098 |     2941   4966 |        0 |        0
871.17/871.52	c  871s |      25 |  8164298 |  6233398 |     2941   4975 |        0 |        0
873.18/873.53	c  873s |      25 |  8182074 |  6246598 |     2941   4983 |        0 |        0
875.17/875.54	c  875s |      25 |  8199421 |  6259998 |     2941   4991 |        0 |        0
877.17/877.55	c  877s |      25 |  8215875 |  6272998 |     2941   4999 |        0 |        0
879.17/879.55	c  879s |      25 |  8233240 |  6286198 |     2941   5008 |        0 |        0
881.17/881.55	c  881s |      25 |  8251383 |  6299998 |     2941   5016 |        0 |        0
883.17/883.56	c  883s |      25 |  8268317 |  6312598 |     2941   5024 |        0 |        0
885.18/885.56	c  885s |      25 |  8285788 |  6325598 |     2941   5032 |        0 |        0
887.17/887.58	c  887s |      25 |  8302685 |  6338698 |     2941   5040 |        0 |        0
889.17/889.58	c  889s |      25 |  8317563 |  6350498 |     2941   5048 |        0 |        0
891.17/891.58	c  891s |      25 |  8333665 |  6363198 |     2941   5056 |        0 |        0
893.17/893.58	c  893s |      25 |  8350904 |  6376498 |     2941   5064 |        0 |        0
895.18/895.59	c  895s |      25 |  8369223 |  6390298 |     2941   5073 |        0 |        0
897.17/897.59	c  897s |      25 |  8385097 |  6402898 |     2941   5081 |        0 |        0
899.27/899.60	c  899s |      25 |  8402312 |  6415998 |     2941   5089 |        0 |        0
901.28/901.61	c  901s |      25 |  8418830 |  6428498 |     2941   5097 |        0 |        0
903.27/903.63	c  903s |      25 |  8434831 |  6440698 |     2941   5104 |        0 |        0
905.27/905.63	c  905s |      25 |  8451984 |  6453598 |     2941   5112 |        0 |        0
907.28/907.64	c  907s |      25 |  8468634 |  6466498 |     2941   5120 |        0 |        0
909.27/909.65	c  909s |      25 |  8486051 |  6480098 |     2941   5129 |        0 |        0
911.27/911.66	c  911s |      25 |  8504282 |  6493798 |     2941   5138 |        0 |        0
913.27/913.68	c  913s |      25 |  8522773 |  6507998 |     2941   5146 |        0 |        0
915.27/915.69	c  915s |      25 |  8540212 |  6521698 |     2941   5155 |        0 |        0
917.37/917.73	c  917s |      25 |  8555550 |  6533798 |     2941   5163 |        0 |        0
919.38/919.73	c  919s |      25 |  8571849 |  6546098 |     2941   5170 |        0 |        0
921.37/921.74	c  921s |      25 |  8590246 |  6559898 |     2941   5179 |        0 |        0
923.37/923.75	c  923s |      25 |  8608557 |  6573798 |     2941   5188 |        0 |        0
925.37/925.77	c  925s |      25 |  8627392 |  6587698 |     2941   5196 |        0 |        0
927.37/927.78	c  927s |      25 |  8643352 |  6599598 |     2941   5204 |        0 |        0
929.37/929.78	c  929s |      25 |  8660983 |  6612498 |     2941   5212 |        0 |        0
931.37/931.79	c  931s |      25 |  8676448 |  6624798 |     2941   5220 |        0 |        0
933.37/933.79	c  933s |      25 |  8692615 |  6637798 |     2941   5228 |        0 |        0
935.46/935.80	c  935s |      25 |  8710003 |  6650798 |     2941   5236 |        0 |        0
937.46/937.80	c  937s |      25 |  8727352 |  6663898 |     2941   5244 |        0 |        0
939.46/939.81	c  939s |      25 |  8744958 |  6677398 |     2941   5253 |        0 |        0
941.46/941.83	c  941s |      25 |  8761530 |  6689898 |     2941   5260 |        0 |        0
943.47/943.84	c  943s |      25 |  8778047 |  6702498 |     2941   5268 |        0 |        0
945.46/945.85	c  945s |      25 |  8794845 |  6715298 |     2941   5276 |        0 |        0
947.46/947.86	c  947s |      25 |  8810716 |  6727498 |     2941   5284 |        0 |        0
949.46/949.87	c  949s |      25 |  8827564 |  6739898 |     2941   5292 |        0 |        0
951.46/951.88	c  951s |      25 |  8846479 |  6753698 |     2941   5300 |        0 |        0
953.47/953.88	c  953s |      25 |  8863683 |  6766798 |     2941   5308 |        0 |        0
955.46/955.89	c  955s |      25 |  8880784 |  6779798 |     2941   5317 |        0 |        0
957.56/957.90	c  957s |      25 |  8899015 |  6793398 |     2941   5325 |        0 |        0
959.56/959.90	c  959s |      25 |  8915885 |  6806198 |     2941   5333 |        0 |        0
961.56/961.92	c  961s |      25 |  8933223 |  6819498 |     2941   5342 |        0 |        0
963.56/963.92	c  963s |      25 |  8949662 |  6832098 |     2941   5350 |        0 |        0
965.56/965.93	c  965s |      25 |  8966768 |  6845098 |     2941   5358 |        0 |        0
967.56/967.93	c  967s |      25 |  8983740 |  6858198 |     2941   5366 |        0 |        0
969.56/969.93	c  969s |      25 |  9000030 |  6870798 |     2941   5374 |        0 |        0
971.56/971.95	c  971s |      25 |  9018606 |  6884998 |     2941   5383 |        0 |        0
973.56/973.97	c  973s |      25 |  9037048 |  6898798 |     2941   5392 |        0 |        0
975.56/975.98	c  975s |      25 |  9056098 |  6913098 |     2941   5401 |        0 |        0
977.57/977.99	c  977s |      25 |  9074366 |  6926698 |     2941   5409 |        0 |        0
979.56/979.99	c  979s |      25 |  9093263 |  6940198 |     2941   5417 |        0 |        0
981.66/982.01	c  981s |      25 |  9111355 |  6954498 |     2941   5426 |        0 |        0
983.66/984.01	c  983s |      25 |  9128603 |  6967498 |     2941   5435 |        0 |        0
985.66/986.02	c  986s |      25 |  9146423 |  6981198 |     2941   5443 |        0 |        0
987.66/988.03	c  988s |      25 |  9164342 |  6995198 |     2941   5452 |        0 |        0
989.67/990.03	c  990s |      25 |  9181653 |  7008498 |     2941   5460 |        0 |        0
991.66/992.03	c  992s |      25 |  9199406 |  7021998 |     2941   5469 |        0 |        0
993.66/994.05	c  994s |      25 |  9216450 |  7035198 |     2941   5477 |        0 |        0
995.66/996.06	c  996s |      25 |  9234486 |  7048598 |     2941   5485 |        0 |        0
997.66/998.08	c  998s |      25 |  9251491 |  7061798 |     2941   5493 |        0 |        0
999.66/1000.08	c 1000s |      25 |  9267787 |  7074298 |     2941   5501 |        0 |        0
1001.66/1002.10	c 1002s |      25 |  9284352 |  7086998 |     2941   5509 |        0 |        0
1003.76/1004.10	c 1004s |      25 |  9301318 |  7099898 |     2941   5517 |        0 |        0
1005.76/1006.10	c 1006s |      25 |  9319723 |  7113698 |     2941   5526 |        0 |        0
1007.75/1008.12	c 1008s |      25 |  9335502 |  7125898 |     2941   5534 |        0 |        0
1009.75/1010.13	c 1010s |      25 |  9351962 |  7138798 |     2941   5542 |        0 |        0
1011.76/1012.14	c 1012s |      25 |  9366778 |  7151098 |     2941   5549 |        0 |        0
1013.75/1014.14	c 1014s |      25 |  9383410 |  7163598 |     2941   5557 |        0 |        0
1015.75/1016.15	c 1016s |      25 |  9401817 |  7177298 |     2941   5566 |        0 |        0
1017.75/1018.16	c 1018s |      25 |  9421180 |  7191498 |     2941   5575 |        0 |        0
1019.75/1020.18	c 1020s |      25 |  9441026 |  7205698 |     2941   5583 |        0 |        0
1021.75/1022.19	c 1022s |      25 |  9458510 |  7218698 |     2941   5592 |        0 |        0
1023.76/1024.19	c 1024s |      25 |  9476919 |  7232098 |     2941   5600 |        0 |        0
1025.75/1026.19	c 1026s |      25 |  9495177 |  7245398 |     2941   5608 |        0 |        0
1027.75/1028.19	c 1028s |      25 |  9510968 |  7257398 |     2941   5616 |        0 |        0
1029.75/1030.20	c 1030s |      25 |  9529417 |  7270998 |     2941   5624 |        0 |        0
1031.85/1032.21	c 1032s |      25 |  9546622 |  7284298 |     2941   5633 |        0 |        0
1033.85/1034.21	c 1034s |      25 |  9563401 |  7297198 |     2941   5641 |        0 |        0
1035.85/1036.21	c 1036s |      25 |  9580433 |  7309898 |     2941   5649 |        0 |        0
1037.85/1038.21	c 1038s |      25 |  9598896 |  7323398 |     2941   5657 |        0 |        0
1039.85/1040.22	c 1040s |      25 |  9616602 |  7336798 |     2941   5665 |        0 |        0
1041.85/1042.23	c 1042s |      25 |  9635658 |  7351098 |     2941   5674 |        0 |        0
1043.85/1044.23	c 1044s |      25 |  9653010 |  7364698 |     2941   5683 |        0 |        0
1045.85/1046.24	c 1046s |      25 |  9671654 |  7378298 |     2941   5691 |        0 |        0
1047.84/1048.24	c 1048s |      25 |  9689856 |  7391798 |     2941   5700 |        0 |        0
1049.85/1050.25	c 1050s |      25 |  9707136 |  7405198 |     2941   5708 |        0 |        0
1051.85/1052.26	c 1052s |      25 |  9723411 |  7417898 |     2941   5716 |        0 |        0
1053.85/1054.27	c 1054s |      25 |  9739309 |  7430298 |     2941   5724 |        0 |        0
1055.85/1056.27	c 1056s |      25 |  9758470 |  7444098 |     2941   5733 |        0 |        0
1057.86/1058.27	c 1058s |      25 |  9779208 |  7458898 |     2941   5742 |        0 |        0
1059.85/1060.28	c 1060s |      25 |  9799499 |  7474098 |     2941   5751 |        0 |        0
1061.85/1062.29	c 1062s |      25 |  9817538 |  7487698 |     2941   5760 |        0 |        0
1063.95/1064.30	c 1064s |      25 |  9836375 |  7502098 |     2941   5769 |        0 |        0
1065.95/1066.32	c 1066s |      25 |  9853022 |  7515198 |     2941   5777 |        0 |        0
1067.95/1068.32	c 1068s |      25 |  9871460 |  7528998 |     2941   5786 |        0 |        0
1069.95/1070.33	c 1070s |      25 |  9888789 |  7542398 |     2941   5794 |        0 |        0
1071.95/1072.35	c 1072s |      25 |  9906236 |  7555398 |     3236   5801 |        0 |        0
1073.95/1074.36	c 1074s |      25 |  9920936 |  7567298 |     3236   5808 |        0 |        0
1075.95/1076.36	c 1076s |      25 |  9936330 |  7579498 |     3236   5815 |        0 |        0
1077.94/1078.37	c 1078s |      25 |  9950877 |  7590798 |     3236   5822 |        0 |        0
1079.14/1079.53	c 1079s |      26 |  9959492 |  7597752 |     3236   5826 |        0 |        0
1081.14/1081.54	c 1081s |      26 |  9975542 |  7609952 |     3236   5833 |        0 |        0
1083.15/1083.55	c 1083s |      26 |  9991705 |  7622452 |     3236   5840 |        0 |        0
1085.14/1085.56	c 1085s |      26 | 10007028 |  7634352 |     3236   5847 |        0 |        0
1087.14/1087.56	c 1087s |      26 | 10024020 |  7647352 |     3236   5854 |        0 |        0
1089.14/1089.57	c 1089s |      26 | 10041567 |  7660652 |     3236   5862 |        0 |        0
1091.14/1091.58	c 1091s |      26 | 10057381 |  7673252 |     3236   5869 |        0 |        0
1093.15/1093.58	c 1093s |      26 | 10074390 |  7685952 |     3236   5876 |        0 |        0
1095.14/1095.60	c 1095s |      26 | 10089062 |  7697852 |     3236   5883 |        0 |        0
1097.24/1097.60	c 1097s |      26 | 10104880 |  7710452 |     3236   5890 |        0 |        0
1099.24/1099.61	c 1099s |      26 | 10122773 |  7724352 |     3236   5898 |        0 |        0
1101.24/1101.61	c 1101s |      26 | 10137500 |  7736252 |     3236   5905 |        0 |        0
1103.24/1103.61	c 1103s |      26 | 10154679 |  7749152 |     3236   5913 |        0 |        0
1105.24/1105.62	c 1105s |      26 | 10170065 |  7761352 |     3236   5920 |        0 |        0
1107.23/1107.63	c 1107s |      26 | 10185347 |  7773552 |     3236   5927 |        0 |        0
1109.23/1109.63	c 1109s |      26 | 10201696 |  7786552 |     3236   5934 |        0 |        0
1111.24/1111.63	c 1111s |      26 | 10219347 |  7800352 |     3236   5942 |        0 |        0
1113.24/1113.64	c 1113s |      26 | 10235231 |  7812552 |     3236   5949 |        0 |        0
1115.24/1115.64	c 1115s |      26 | 10252665 |  7825652 |     3236   5957 |        0 |        0
1117.25/1117.65	c 1117s |      26 | 10269003 |  7838152 |     3236   5964 |        0 |        0
1119.24/1119.66	c 1119s |      26 | 10285649 |  7850752 |     3236   5971 |        0 |        0
1121.24/1121.66	c 1121s |      26 | 10301802 |  7863752 |     3236   5979 |        0 |        0
1123.24/1123.67	c 1123s |      26 | 10316824 |  7875852 |     3236   5986 |        0 |        0
1125.24/1125.68	c 1125s |      26 | 10334122 |  7889052 |     3236   5993 |        0 |        0
1127.24/1127.68	c 1127s |      26 | 10349696 |  7900852 |     3236   6000 |        0 |        0
1129.24/1129.68	c 1129s |      26 | 10364235 |  7912752 |     3236   6007 |        0 |        0
1131.24/1131.70	c 1131s |      26 | 10381029 |  7925452 |     3236   6014 |        0 |        0
1133.33/1133.71	c 1133s |      26 | 10396934 |  7937552 |     3236   6021 |        0 |        0
1135.33/1135.72	c 1135s |      26 | 10411649 |  7949152 |     3236   6028 |        0 |        0
1137.33/1137.73	c 1137s |      26 | 10428896 |  7962152 |     3236   6035 |        0 |        0
1139.34/1139.73	c 1139s |      26 | 10446295 |  7975052 |     3236   6043 |        0 |        0
1141.33/1141.73	c 1141s |      26 | 10462996 |  7987652 |     3236   6050 |        0 |        0
1143.33/1143.74	c 1143s |      26 | 10477785 |  7999152 |     3236   6057 |        0 |        0
1145.33/1145.78	c 1145s |      26 | 10493845 |  8011652 |     3236   6064 |        0 |        0
1147.33/1147.79	c 1147s |      26 | 10509129 |  8023652 |     3236   6071 |        0 |        0
1149.43/1149.81	c 1149s |      26 | 10524902 |  8035852 |     3236   6078 |        0 |        0
1151.44/1151.81	c 1151s |      26 | 10542058 |  8048752 |     3236   6085 |        0 |        0
1153.43/1153.83	c 1153s |      26 | 10557002 |  8060652 |     3236   6092 |        0 |        0
1155.43/1155.83	c 1155s |      26 | 10573305 |  8072952 |     3236   6099 |        0 |        0
1157.43/1157.85	c 1157s |      26 | 10586691 |  8083952 |     3236   6105 |        0 |        0
1159.43/1159.85	c 1159s |      26 | 10601457 |  8095752 |     3236   6112 |        0 |        0
1161.43/1161.86	c 1161s |      26 | 10617408 |  8107952 |     3236   6119 |        0 |        0
1163.43/1163.88	c 1163s |      26 | 10632317 |  8120152 |     3236   6126 |        0 |        0
1165.43/1165.88	c 1165s |      26 | 10648089 |  8132552 |     3236   6133 |        0 |        0
1167.43/1167.90	c 1167s |      26 | 10662963 |  8144652 |     3236   6140 |        0 |        0
1169.53/1169.90	c 1169s |      26 | 10677374 |  8156152 |     3236   6147 |        0 |        0
1171.52/1171.91	c 1171s |      26 | 10691560 |  8167852 |     3236   6154 |        0 |        0
1173.52/1173.92	c 1173s |      26 | 10708373 |  8180752 |     3236   6161 |        0 |        0
1175.54/1175.93	c 1175s |      26 | 10724992 |  8193752 |     3236   6169 |        0 |        0
1177.53/1177.94	c 1177s |      26 | 10740732 |  8205952 |     3236   6176 |        0 |        0
1179.53/1179.94	c 1179s |      26 | 10756842 |  8218252 |     3236   6183 |        0 |        0
1181.53/1181.95	c 1181s |      26 | 10775301 |  8232152 |     3236   6191 |        0 |        0
1183.53/1183.96	c 1183s |      26 | 10793477 |  8246252 |     3236   6199 |        0 |        0
1185.54/1185.97	c 1185s |      26 | 10811351 |  8260052 |     3236   6207 |        0 |        0
1187.53/1187.97	c 1187s |      26 | 10829616 |  8273652 |     3236   6215 |        0 |        0
1189.53/1189.98	c 1189s |      26 | 10847387 |  8286952 |     3236   6222 |        0 |        0
1191.53/1191.98	c 1191s |      26 | 10863481 |  8299452 |     3236   6230 |        0 |        0
1193.63/1194.00	c 1193s |      26 | 10880402 |  8312752 |     3236   6237 |        0 |        0
1195.63/1196.01	c 1195s |      26 | 10895780 |  8324552 |     3236   6244 |        0 |        0
1197.64/1198.02	c 1198s |      26 | 10911997 |  8337352 |     3236   6251 |        0 |        0
1199.63/1200.02	c 1200s |      26 | 10928811 |  8350252 |     3236   6259 |        0 |        0
1201.63/1202.02	c 1202s |      26 | 10942875 |  8361852 |     3236   6265 |        0 |        0
1203.63/1204.05	c 1204s |      26 | 10958071 |  8373452 |     3236   6272 |        0 |        0
1205.63/1206.06	c 1206s |      26 | 10973292 |  8385452 |     3236   6279 |        0 |        0
1207.62/1208.08	c 1208s |      26 | 10988579 |  8397652 |     3236   6286 |        0 |        0
1209.63/1210.08	c 1210s |      26 | 11003100 |  8408852 |     3236   6292 |        0 |        0
1211.72/1212.10	c 1212s |      26 | 11018663 |  8420752 |     3236   6299 |        0 |        0
1213.72/1214.10	c 1214s |      26 | 11036536 |  8434452 |     3236   6307 |        0 |        0
1215.72/1216.12	c 1216s |      26 | 11054036 |  8447852 |     3236   6315 |        0 |        0
1217.72/1218.13	c 1218s |      26 | 11071842 |  8461152 |     3236   6323 |        0 |        0
1219.72/1220.13	c 1220s |      26 | 11088603 |  8473952 |     3236   6330 |        0 |        0
1221.73/1222.15	c 1222s |      26 | 11104283 |  8486052 |     3236   6337 |        0 |        0
1223.72/1224.15	c 1224s |      26 | 11118884 |  8497252 |     3236   6343 |        0 |        0
1225.72/1226.16	c 1226s |      26 | 11134029 |  8509452 |     3236   6350 |        0 |        0
1227.72/1228.16	c 1228s |      26 | 11149916 |  8522052 |     3236   6358 |        0 |        0
1229.72/1230.16	c 1230s |      26 | 11162961 |  8532652 |     3236   6364 |        0 |        0
1231.73/1232.17	c 1232s |      26 | 11179523 |  8545452 |     3236   6371 |        0 |        0
1233.72/1234.18	c 1234s |      26 | 11196090 |  8558152 |     3236   6378 |        0 |        0
1235.72/1236.19	c 1236s |      26 | 11210178 |  8569852 |     3236   6385 |        0 |        0
1237.82/1238.21	c 1238s |      26 | 11225441 |  8581952 |     3236   6392 |        0 |        0
1239.82/1240.21	c 1240s |      26 | 11240168 |  8593852 |     3236   6399 |        0 |        0
1241.82/1242.24	c 1242s |      26 | 11257907 |  8607352 |     3236   6407 |        0 |        0
1243.82/1244.25	c 1244s |      26 | 11274482 |  8619952 |     3236   6414 |        0 |        0
1245.82/1246.26	c 1246s |      26 | 11289647 |  8632152 |     3236   6421 |        0 |        0
1247.81/1248.27	c 1248s |      26 | 11304712 |  8643952 |     3236   6428 |        0 |        0
1249.82/1250.27	c 1250s |      26 | 11320477 |  8656152 |     3236   6435 |        0 |        0
1251.82/1252.28	c 1252s |      26 | 11336618 |  8668452 |     3236   6442 |        0 |        0
1253.82/1254.28	c 1254s |      26 | 11352503 |  8681052 |     3236   6449 |        0 |        0
1255.83/1256.30	c 1256s |      26 | 11368623 |  8693752 |     3236   6456 |        0 |        0
1257.92/1258.32	c 1258s |      26 | 11384487 |  8706352 |     3236   6463 |        0 |        0
1259.92/1260.32	c 1260s |      26 | 11399765 |  8718152 |     3236   6470 |        0 |        0
1261.92/1262.33	c 1262s |      26 | 11414641 |  8730552 |     3236   6477 |        0 |        0
1263.92/1264.35	c 1264s |      26 | 11432352 |  8743952 |     3236   6485 |        0 |        0
1265.92/1266.36	c 1266s |      26 | 11448358 |  8756652 |     3236   6492 |        0 |        0
1267.92/1268.37	c 1268s |      26 | 11462877 |  8768552 |     3236   6499 |        0 |        0
1269.92/1270.38	c 1270s |      26 | 11477403 |  8780152 |     3236   6506 |        0 |        0
1271.92/1272.38	c 1272s |      26 | 11493190 |  8792352 |     3236   6513 |        0 |        0
1273.91/1274.39	c 1274s |      26 | 11508822 |  8804652 |     3236   6520 |        0 |        0
1276.01/1276.40	c 1276s |      26 | 11525276 |  8817352 |     3236   6527 |        0 |        0
1278.01/1278.41	c 1278s |      26 | 11542030 |  8830052 |     3236   6535 |        0 |        0
1280.02/1280.41	c 1280s |      26 | 11559024 |  8842952 |     3236   6542 |        0 |        0
1282.01/1282.43	c 1282s |      26 | 11574075 |  8854952 |     3236   6549 |        0 |        0
1284.01/1284.44	c 1284s |      26 | 11590406 |  8867252 |     3236   6556 |        0 |        0
1286.01/1286.45	c 1286s |      26 | 11605347 |  8879152 |     3236   6563 |        0 |        0
1288.01/1288.46	c 1288s |      26 | 11621806 |  8892052 |     3236   6570 |        0 |        0
1290.02/1290.46	c 1290s |      26 | 11637254 |  8904152 |     3236   6577 |        0 |        0
1292.02/1292.47	c 1292s |      26 | 11654837 |  8917652 |     3236   6585 |        0 |        0
1294.02/1294.48	c 1294s |      26 | 11671859 |  8930552 |     3236   6592 |        0 |        0
1296.02/1296.49	c 1296s |      26 | 11688356 |  8943652 |     3236   6600 |        0 |        0
1298.11/1298.50	c 1298s |      26 | 11703783 |  8955652 |     3236   6607 |        0 |        0
1300.11/1300.51	c 1300s |      26 | 11720917 |  8968352 |     3236   6614 |        0 |        0
1302.12/1302.52	c 1302s |      26 | 11736949 |  8980952 |     3236   6621 |        0 |        0
1304.11/1304.53	c 1304s |      26 | 11751770 |  8992852 |     3236   6628 |        0 |        0
1306.11/1306.53	c 1306s |      26 | 11766532 |  9004652 |     3236   6635 |        0 |        0
1308.11/1308.55	c 1308s |      26 | 11782376 |  9016752 |     3236   6642 |        0 |        0
1310.11/1310.56	c 1310s |      26 | 11798313 |  9028852 |     3236   6649 |        0 |        0
1312.11/1312.57	c 1312s |      26 | 11814537 |  9041252 |     3236   6656 |        0 |        0
1314.12/1314.58	c 1314s |      26 | 11831669 |  9054452 |     3236   6664 |        0 |        0
1316.11/1316.58	c 1316s |      26 | 11847451 |  9067052 |     3236   6671 |        0 |        0
1318.11/1318.59	c 1318s |      26 | 11863603 |  9079452 |     3236   6678 |        0 |        0
1320.11/1320.59	c 1320s |      26 | 11880665 |  9092452 |     3236   6686 |        0 |        0
1322.21/1322.60	c 1322s |      26 | 11897633 |  9105252 |     3236   6693 |        0 |        0
1324.21/1324.60	c 1324s |      26 | 11913196 |  9117652 |     3236   6700 |        0 |        0
1326.21/1326.61	c 1326s |      26 | 11929156 |  9129752 |     3236   6707 |        0 |        0
1328.21/1328.61	c 1328s |      26 | 11945046 |  9142552 |     3236   6714 |        0 |        0
1330.20/1330.61	c 1330s |      26 | 11958586 |  9153652 |     3236   6721 |        0 |        0
1332.20/1332.62	c 1332s |      26 | 11973635 |  9165752 |     3236   6728 |        0 |        0
1334.20/1334.62	c 1334s |      26 | 11989275 |  9177952 |     3236   6735 |        0 |        0
1336.21/1336.62	c 1336s |      26 | 12004650 |  9189652 |     3236   6741 |        0 |        0
1338.20/1338.62	c 1338s |      26 | 12019756 |  9201452 |     3236   6748 |        0 |        0
1340.20/1340.63	c 1340s |      26 | 12035780 |  9213552 |     3236   6755 |        0 |        0
1342.20/1342.63	c 1342s |      26 | 12050791 |  9224652 |     3236   6761 |        0 |        0
1344.20/1344.64	c 1344s |      26 | 12066425 |  9236852 |     3236   6768 |        0 |        0
1346.20/1346.64	c 1346s |      26 | 12081255 |  9248752 |     3236   6775 |        0 |        0
1348.21/1348.65	c 1348s |      26 | 12095775 |  9260252 |     3236   6782 |        0 |        0
1350.20/1350.65	c 1350s |      26 | 12110587 |  9271652 |     3236   6788 |        0 |        0
1352.20/1352.65	c 1352s |      26 | 12126162 |  9284052 |     3236   6796 |        0 |        0
1354.20/1354.65	c 1354s |      26 | 12140460 |  9295352 |     3236   6802 |        0 |        0
1356.20/1356.66	c 1356s |      26 | 12153791 |  9306652 |     3236   6809 |        0 |        0
1358.21/1358.67	c 1358s |      26 | 12168902 |  9318852 |     3236   6816 |        0 |        0
1360.20/1360.68	c 1360s |      26 | 12184985 |  9331352 |     3236   6823 |        0 |        0
1362.20/1362.68	c 1362s |      26 | 12202489 |  9344452 |     3236   6830 |        0 |        0
1364.20/1364.69	c 1364s |      26 | 12220191 |  9357952 |     3236   6838 |        0 |        0
1366.30/1366.71	c 1366s |      26 | 12238733 |  9371752 |     3236   6846 |        0 |        0
1368.30/1368.72	c 1368s |      26 | 12254673 |  9384352 |     3236   6853 |        0 |        0
1370.30/1370.72	c 1370s |      26 | 12271797 |  9397652 |     3236   6861 |        0 |        0
1372.30/1372.73	c 1372s |      26 | 12289041 |  9410952 |     3236   6869 |        0 |        0
1374.30/1374.74	c 1374s |      26 | 12307874 |  9425352 |     3236   6877 |        0 |        0
1376.29/1376.76	c 1376s |      26 | 12321699 |  9436752 |     3236   6883 |        0 |        0
1378.29/1378.77	c 1378s |      26 | 12337360 |  9448952 |     3236   6890 |        0 |        0
1380.30/1380.78	c 1380s |      26 | 12353635 |  9461552 |     3236   6898 |        0 |        0
1382.31/1382.80	c 1382s |      26 | 12371453 |  9475152 |     3236   6906 |        0 |        0
1384.40/1384.81	c 1384s |      26 | 12387412 |  9487952 |     3236   6913 |        0 |        0
1386.40/1386.81	c 1386s |      26 | 12401922 |  9499452 |     3236   6920 |        0 |        0
1388.40/1388.82	c 1388s |      26 | 12417709 |  9511652 |     3236   6927 |        0 |        0
1390.40/1390.83	c 1390s |      26 | 12434983 |  9524752 |     3236   6934 |        0 |        0
1392.40/1392.84	c 1392s |      26 | 12451079 |  9537252 |     3236   6941 |        0 |        0
1394.41/1394.84	c 1394s |      26 | 12466660 |  9549352 |     3236   6948 |        0 |        0
1396.40/1396.85	c 1396s |      26 | 12483110 |  9562152 |     3236   6956 |        0 |        0
1398.40/1398.85	c 1398s |      26 | 12500527 |  9575552 |     3236   6963 |        0 |        0
1400.40/1400.86	c 1400s |      26 | 12516297 |  9588152 |     3236   6971 |        0 |        0
1402.40/1402.87	c 1402s |      26 | 12531588 |  9599652 |     3236   6977 |        0 |        0
1404.40/1404.88	c 1404s |      26 | 12547596 |  9611552 |     3236   6984 |        0 |        0
1406.40/1406.89	c 1406s |      26 | 12563479 |  9623752 |     3236   6991 |        0 |        0
1408.49/1408.90	c 1408s |      26 | 12579359 |  9635852 |     3236   6998 |        0 |        0
1410.49/1410.90	c 1410s |      26 | 12595975 |  9648252 |     3236   7005 |        0 |        0
1412.49/1412.91	c 1412s |      26 | 12612744 |  9661352 |     3236   7013 |        0 |        0
1414.49/1414.91	c 1414s |      26 | 12628426 |  9673452 |     3236   7020 |        0 |        0
1416.50/1416.94	c 1416s |      26 | 12642866 |  9685152 |     3236   7027 |        0 |        0
1418.49/1418.95	c 1418s |      26 | 12658653 |  9697452 |     3236   7034 |        0 |        0
1420.49/1420.97	c 1420s |      26 | 12674996 |  9710352 |     3236   7041 |        0 |        0
1422.49/1422.97	c 1422s |      26 | 12693710 |  9724252 |     3236   7049 |        0 |        0
1424.49/1424.98	c 1424s |      26 | 12709951 |  9736852 |     3236   7056 |        0 |        0
1426.49/1426.98	c 1426s |      26 | 12725794 |  9749452 |     3236   7064 |        0 |        0
1428.50/1429.00	c 1428s |      26 | 12742263 |  9762552 |     3236   7071 |        0 |        0
1430.59/1431.00	c 1430s |      26 | 12757973 |  9775152 |     3236   7078 |        0 |        0
1432.59/1433.02	c 1433s |      26 | 12773194 |  9787452 |     3236   7086 |        0 |        0
1434.59/1435.04	c 1435s |      26 | 12787612 |  9799252 |     3236   7092 |        0 |        0
1436.58/1437.04	c 1437s |      26 | 12803690 |  9811952 |     3236   7100 |        0 |        0
1438.58/1439.04	c 1439s |      26 | 12818513 |  9823752 |     3236   7106 |        0 |        0
1440.60/1441.05	c 1441s |      26 | 12834629 |  9836452 |     3236   7114 |        0 |        0
1442.59/1443.06	c 1443s |      26 | 12851043 |  9849452 |     3236   7121 |        0 |        0
1444.59/1445.06	c 1445s |      26 | 12865683 |  9861252 |     3236   7128 |        0 |        0
1446.59/1447.08	c 1447s |      26 | 12880926 |  9872952 |     3236   7135 |        0 |        0
1448.59/1449.09	c 1449s |      26 | 12893014 |  9882852 |     3236   7141 |        0 |        0
1450.69/1451.10	c 1451s |      26 | 12906400 |  9893452 |     3236   7147 |        0 |        0
1452.69/1453.11	c 1453s |      26 | 12921572 |  9904852 |     3236   7153 |        0 |        0
1454.69/1455.12	c 1455s |      26 | 12935659 |  9915852 |     3236   7160 |        0 |        0
1456.69/1457.12	c 1457s |      26 | 12951750 |  9927852 |     3236   7166 |        0 |        0
1458.69/1459.13	c 1459s |      26 | 12966854 |  9939652 |     3236   7173 |        0 |        0
1460.69/1461.13	c 1461s |      26 | 12982775 |  9951852 |     3236   7180 |        0 |        0
1462.69/1463.15	c 1463s |      26 | 12999427 |  9964652 |     3236   7188 |        0 |        0
1464.68/1465.16	c 1465s |      26 | 13016434 |  9977652 |     3236   7195 |        0 |        0
1466.68/1467.17	c 1467s |      26 | 13031020 |  9989252 |     3236   7202 |        0 |        0
1468.78/1469.20	c 1469s |      26 | 13046271 | 10000752 |     3236   7209 |        0 |        0
1470.78/1471.21	c 1471s |      26 | 13061816 | 10012852 |     3236   7215 |        0 |        0
1472.78/1473.21	c 1473s |      26 | 13076707 | 10024652 |     3236   7222 |        0 |        0
1474.79/1475.21	c 1475s |      26 | 13091893 | 10036452 |     3236   7229 |        0 |        0
1476.78/1477.23	c 1477s |      26 | 13107637 | 10048552 |     3236   7236 |        0 |        0
1478.78/1479.24	c 1479s |      26 | 13124093 | 10061152 |     3236   7243 |        0 |        0
1480.78/1481.25	c 1481s |      26 | 13139390 | 10072952 |     3236   7250 |        0 |        0
1482.78/1483.26	c 1483s |      26 | 13154459 | 10084252 |     3236   7257 |        0 |        0
1484.78/1485.27	c 1485s |      26 | 13169548 | 10095952 |     3236   7263 |        0 |        0
1486.79/1487.27	c 1487s |      26 | 13185058 | 10107752 |     3236   7270 |        0 |        0
1488.78/1489.27	c 1489s |      26 | 13201028 | 10120052 |     3236   7277 |        0 |        0
1490.78/1491.29	c 1491s |      26 | 13214748 | 10131452 |     3236   7284 |        0 |        0
1492.88/1493.30	c 1493s |      26 | 13227792 | 10142352 |     3236   7290 |        0 |        0
1494.88/1495.30	c 1495s |      26 | 13242339 | 10154052 |     3236   7297 |        0 |        0
1496.88/1497.31	c 1497s |      26 | 13257129 | 10166152 |     3236   7304 |        0 |        0
1498.88/1499.32	c 1499s |      26 | 13270898 | 10177552 |     3236   7310 |        0 |        0
1500.88/1501.33	c 1501s |      26 | 13285407 | 10189152 |     3236   7317 |        0 |        0
1502.88/1503.33	c 1503s |      26 | 13299498 | 10200352 |     3236   7323 |        0 |        0
1504.87/1505.34	c 1505s |      26 | 13314902 | 10212252 |     3236   7330 |        0 |        0
1506.87/1507.35	c 1507s |      26 | 13332038 | 10225152 |     3236   7338 |        0 |        0
1508.88/1509.36	c 1509s |      26 | 13347827 | 10237752 |     3236   7345 |        0 |        0
1510.87/1511.36	c 1511s |      26 | 13362917 | 10249352 |     3236   7352 |        0 |        0
1512.87/1513.36	c 1513s |      26 | 13378263 | 10261152 |     3236   7359 |        0 |        0
1514.87/1515.36	c 1515s |      26 | 13392880 | 10272952 |     3236   7365 |        0 |        0
1516.87/1517.37	c 1517s |      26 | 13407494 | 10284452 |     3236   7372 |        0 |        0
1518.87/1519.38	c 1519s |      26 | 13420642 | 10295052 |     3236   7378 |        0 |        0
1520.89/1521.39	c 1521s |      26 | 13434640 | 10306152 |     3236   7384 |        0 |        0
1522.98/1523.41	c 1523s |      26 | 13448932 | 10317452 |     3236   7391 |        0 |        0
1524.98/1525.42	c 1525s |      26 | 13463316 | 10328952 |     3236   7398 |        0 |        0
1526.98/1527.43	c 1527s |      26 | 13476925 | 10339952 |     3236   7404 |        0 |        0
1528.98/1529.43	c 1529s |      26 | 13492907 | 10352452 |     3236   7411 |        0 |        0
1530.98/1531.44	c 1531s |      26 | 13509908 | 10365952 |     3236   7419 |        0 |        0
1532.98/1533.45	c 1533s |      26 | 13525695 | 10378152 |     3236   7426 |        0 |        0
1534.98/1535.45	c 1535s |      26 | 13542995 | 10391152 |     3236   7433 |        0 |        0
1536.98/1537.46	c 1537s |      26 | 13558134 | 10402652 |     3236   7440 |        0 |        0
1538.98/1539.47	c 1539s |      26 | 13574945 | 10415452 |     3236   7447 |        0 |        0
1540.97/1541.49	c 1541s |      26 | 13592160 | 10428752 |     3236   7455 |        0 |        0
1543.07/1543.51	c 1543s |      26 | 13608491 | 10441152 |     3236   7462 |        0 |        0
1545.08/1545.51	c 1545s |      26 | 13623674 | 10453152 |     3236   7469 |        0 |        0
1547.07/1547.53	c 1547s |      26 | 13639910 | 10465852 |     3236   7476 |        0 |        0
1549.07/1549.54	c 1549s |      26 | 13656309 | 10478852 |     3236   7484 |        0 |        0
1551.07/1551.55	c 1551s |      26 | 13672020 | 10491452 |     3236   7491 |        0 |        0
1553.07/1553.56	c 1553s |      26 | 13688012 | 10503852 |     3236   7498 |        0 |        0
1555.08/1555.56	c 1555s |      26 | 13704726 | 10516752 |     3236   7506 |        0 |        0
1557.07/1557.58	c 1557s |      26 | 13721390 | 10529952 |     3236   7513 |        0 |        0
1559.07/1559.58	c 1559s |      26 | 13737189 | 10542152 |     3236   7520 |        0 |        0
1561.07/1561.59	c 1561s |      26 | 13755260 | 10555352 |     3236   7528 |        0 |        0
1563.17/1563.60	c 1563s |      26 | 13772121 | 10568152 |     3236   7535 |        0 |        0
1565.17/1565.61	c 1565s |      26 | 13787652 | 10580152 |     3236   7542 |        0 |        0
1567.18/1567.62	c 1567s |      26 | 13803748 | 10592552 |     3236   7549 |        0 |        0
1569.17/1569.63	c 1569s |      26 | 13819380 | 10604352 |     3236   7556 |        0 |        0
1571.17/1571.64	c 1571s |      26 | 13834396 | 10616752 |     3236   7563 |        0 |        0
1573.17/1573.65	c 1573s |      26 | 13850750 | 10629252 |     3236   7571 |        0 |        0
1575.17/1575.66	c 1575s |      26 | 13867204 | 10642052 |     3236   7578 |        0 |        0
1577.16/1577.66	c 1577s |      26 | 13884408 | 10655152 |     3236   7585 |        0 |        0
1579.17/1579.68	c 1579s |      26 | 13900574 | 10667252 |     3236   7592 |        0 |        0
1581.16/1581.69	c 1581s |      26 | 13918503 | 10680652 |     3236   7600 |        0 |        0
1583.16/1583.70	c 1583s |      26 | 13934897 | 10693052 |     3236   7607 |        0 |        0
1585.27/1585.71	c 1585s |      26 | 13952120 | 10706252 |     3236   7615 |        0 |        0
1587.27/1587.71	c 1587s |      26 | 13968682 | 10718952 |     3236   7622 |        0 |        0
1589.27/1589.72	c 1589s |      26 | 13982931 | 10730552 |     3236   7629 |        0 |        0
1591.28/1591.73	c 1591s |      26 | 13999332 | 10743252 |     3236   7636 |        0 |        0
1593.27/1593.73	c 1593s |      26 | 14015713 | 10755752 |     3236   7643 |        0 |        0
1595.27/1595.74	c 1595s |      26 | 14033397 | 10768952 |     3236   7651 |        0 |        0
1597.27/1597.75	c 1597s |      26 | 14051213 | 10782552 |     3236   7659 |        0 |        0
1599.27/1599.76	c 1599s |      26 | 14068384 | 10795752 |     3236   7667 |        0 |        0
1601.28/1601.76	c 1601s |      26 | 14084119 | 10807952 |     3236   7674 |        0 |        0
1603.27/1603.77	c 1603s |      26 | 14099799 | 10819952 |     3236   7681 |        0 |        0
1605.27/1605.78	c 1605s |      26 | 14116254 | 10832252 |     3236   7688 |        0 |        0
1607.37/1607.80	c 1607s |      26 | 14131793 | 10844252 |     3236   7695 |        0 |        0
1609.37/1609.81	c 1609s |      26 | 14147948 | 10856752 |     3236   7702 |        0 |        0
1611.37/1611.82	c 1611s |      26 | 14164629 | 10869652 |     3236   7709 |        0 |        0
1613.37/1613.83	c 1613s |      26 | 14179633 | 10881352 |     3236   7716 |        0 |        0
1615.37/1615.84	c 1615s |      26 | 14196155 | 10894252 |     3236   7723 |        0 |        0
1617.37/1617.85	c 1617s |      26 | 14211606 | 10906352 |     3236   7730 |        0 |        0
1619.36/1619.86	c 1619s |      26 | 14225021 | 10917352 |     3236   7737 |        0 |        0
1621.36/1621.86	c 1621s |      26 | 14240750 | 10929852 |     3236   7744 |        0 |        0
1623.36/1623.87	c 1623s |      26 | 14255292 | 10941252 |     3236   7750 |        0 |        0
1625.37/1625.88	c 1625s |      26 | 14269279 | 10952452 |     3236   7757 |        0 |        0
1627.36/1627.89	c 1627s |      26 | 14285243 | 10964652 |     3236   7764 |        0 |        0
1629.36/1629.89	c 1629s |      26 | 14300256 | 10976452 |     3236   7771 |        0 |        0
1631.46/1631.90	c 1631s |      26 | 14315335 | 10988152 |     3236   7777 |        0 |        0
1633.46/1633.91	c 1633s |      26 | 14332224 | 11001152 |     3236   7785 |        0 |        0
1635.46/1635.92	c 1635s |      26 | 14347076 | 11012752 |     3236   7792 |        0 |        0
1637.47/1637.93	c 1637s |      26 | 14363396 | 11025352 |     3236   7799 |        0 |        0
1639.46/1639.94	c 1639s |      26 | 14379018 | 11037552 |     3236   7806 |        0 |        0
1641.46/1641.96	c 1641s |      26 | 14395455 | 11050652 |     3236   7813 |        0 |        0
1643.46/1643.96	c 1643s |      26 | 14410787 | 11062852 |     3236   7820 |        0 |        0
1645.46/1645.97	c 1645s |      26 | 14424547 | 11074152 |     3236   7827 |        0 |        0
1647.46/1647.97	c 1647s |      26 | 14436616 | 11084052 |     3236   7833 |        0 |        0
1649.46/1649.98	c 1649s |      26 | 14452170 | 11096152 |     3236   7840 |        0 |        0
1651.46/1651.98	c 1651s |      26 | 14468864 | 11108752 |     3236   7847 |        0 |        0
1653.55/1654.00	c 1653s |      26 | 14485558 | 11121552 |     3236   7854 |        0 |        0
1655.55/1656.00	c 1655s |      26 | 14501098 | 11133652 |     3236   7861 |        0 |        0
1657.55/1658.02	c 1657s |      26 | 14516581 | 11145752 |     3236   7868 |        0 |        0
1659.56/1660.02	c 1659s |      26 | 14530463 | 11156452 |     3236   7874 |        0 |        0
1661.55/1662.03	c 1662s |      26 | 14544319 | 11167652 |     3236   7881 |        0 |        0
1663.55/1664.04	c 1664s |      26 | 14558630 | 11178752 |     3236   7887 |        0 |        0
1665.55/1666.06	c 1666s |      26 | 14572092 | 11189852 |     3236   7894 |        0 |        0
1667.55/1668.07	c 1668s |      26 | 14585417 | 11200652 |     3236   7900 |        0 |        0
1669.55/1670.07	c 1670s |      26 | 14599719 | 11212152 |     3236   7906 |        0 |        0
1671.56/1672.08	c 1672s |      26 | 14615372 | 11224452 |     3236   7913 |        0 |        0
1673.65/1674.10	c 1674s |      26 | 14631396 | 11236952 |     3236   7921 |        0 |        0
1675.66/1676.10	c 1676s |      26 | 14647878 | 11249652 |     3236   7928 |        0 |        0
1677.66/1678.11	c 1678s |      26 | 14662522 | 11261252 |     3236   7935 |        0 |        0
1679.65/1680.11	c 1680s |      26 | 14676401 | 11272552 |     3236   7941 |        0 |        0
1681.65/1682.12	c 1682s |      26 | 14690907 | 11284252 |     3236   7948 |        0 |        0
1683.66/1684.13	c 1684s |      26 | 14704669 | 11295052 |     3236   7954 |        0 |        0
1685.65/1686.14	c 1686s |      26 | 14719932 | 11306852 |     3236   7961 |        0 |        0
1687.65/1688.15	c 1688s |      26 | 14733558 | 11318052 |     3560   7967 |        0 |        0
1689.65/1690.16	c 1690s |      26 | 14750445 | 11330752 |     3560   7974 |        0 |        0
1691.65/1692.17	c 1692s |      26 | 14764840 | 11342252 |     3560   7980 |        0 |        0
1693.66/1694.17	c 1694s |      26 | 14780905 | 11354552 |     3560   7986 |        0 |        0
1695.65/1696.18	c 1696s |      26 | 14796789 | 11366652 |     3560   7993 |        0 |        0
1697.75/1698.20	c 1698s |      26 | 14813467 | 11379452 |     3560   7999 |        0 |        0
1699.75/1700.21	c 1700s |      26 | 14829399 | 11391952 |     3560   8006 |        0 |        0
1700.65/1701.14	c 1701s |      27 | 14835201 | 11396733 |     3560   8009 |        0 |        0
1702.65/1703.14	c 1703s |      27 | 14850162 | 11408233 |     3560   8015 |        0 |        0
1704.65/1705.16	c 1705s |      27 | 14865278 | 11419933 |     3560   8021 |        0 |        0
1706.65/1707.17	c 1707s |      27 | 14879537 | 11430933 |     3560   8027 |        0 |        0
1708.65/1709.18	c 1709s |      27 | 14894226 | 11442133 |     3560   8032 |        0 |        0
1710.75/1711.20	c 1711s |      27 | 14908929 | 11453533 |     3560   8038 |        0 |        0
1712.74/1713.23	c 1713s |      27 | 14923982 | 11465033 |     3560   8045 |        0 |        0
1714.74/1715.23	c 1715s |      27 | 14941721 | 11477833 |     3560   8051 |        0 |        0
1716.75/1717.24	c 1717s |      27 | 14958304 | 11490133 |     3560   8058 |        0 |        0
1718.74/1719.25	c 1719s |      27 | 14975663 | 11502533 |     3560   8064 |        0 |        0
1720.74/1721.26	c 1721s |      27 | 14993280 | 11514733 |     3560   8071 |        0 |        0
1722.74/1723.27	c 1723s |      27 | 15009955 | 11526633 |     3560   8077 |        0 |        0
1724.74/1725.29	c 1725s |      27 | 15024508 | 11537633 |     3560   8083 |        0 |        0
1726.84/1727.30	c 1727s |      27 | 15041095 | 11549633 |     3560   8089 |        0 |        0
1728.75/1729.30	c 1729s |      27 | 15056480 | 11560633 |     3560   8095 |        0 |        0
1730.84/1731.31	c 1731s |      27 | 15073669 | 11572733 |     3560   8101 |        0 |        0
1732.84/1733.31	c 1733s |      27 | 15089779 | 11585133 |     3560   8108 |        0 |        0
1734.84/1735.32	c 1735s |      27 | 15106356 | 11597533 |     3560   8114 |        0 |        0
1736.84/1737.33	c 1737s |      27 | 15120632 | 11607933 |     3560   8120 |        0 |        0
1738.84/1739.35	c 1739s |      27 | 15135665 | 11619233 |     3560   8126 |        0 |        0
1740.85/1741.36	c 1741s |      27 | 15150871 | 11630833 |     3560   8132 |        0 |        0
1742.84/1743.37	c 1743s |      27 | 15166838 | 11643133 |     3560   8138 |        0 |        0
1744.84/1745.38	c 1745s |      27 | 15181555 | 11654633 |     3560   8145 |        0 |        0
1746.84/1747.38	c 1747s |      27 | 15197812 | 11666833 |     3560   8151 |        0 |        0
1748.84/1749.38	c 1749s |      27 | 15213082 | 11678433 |     3560   8157 |        0 |        0
1750.84/1751.39	c 1751s |      27 | 15228458 | 11690033 |     3560   8163 |        0 |        0
1752.84/1753.39	c 1753s |      27 | 15244573 | 11702133 |     3560   8170 |        0 |        0
1754.94/1755.40	c 1755s |      27 | 15260781 | 11714333 |     3560   8176 |        0 |        0
1756.94/1757.41	c 1757s |      27 | 15277338 | 11726433 |     3560   8182 |        0 |        0
1758.94/1759.43	c 1759s |      27 | 15294394 | 11739133 |     3560   8189 |        0 |        0
1760.94/1761.45	c 1761s |      27 | 15310437 | 11751033 |     3560   8196 |        0 |        0
1762.95/1763.45	c 1763s |      27 | 15326543 | 11762933 |     3560   8202 |        0 |        0
1764.94/1765.46	c 1765s |      27 | 15344502 | 11775833 |     3560   8209 |        0 |        0
1766.94/1767.46	c 1767s |      27 | 15360363 | 11788133 |     3560   8215 |        0 |        0
1768.94/1769.46	c 1769s |      27 | 15377052 | 11800333 |     3560   8222 |        0 |        0
1770.94/1771.47	c 1771s |      27 | 15394016 | 11812733 |     3560   8228 |        0 |        0
1772.94/1773.47	c 1773s |      27 | 15411303 | 11824933 |     3560   8235 |        0 |        0
1774.94/1775.48	c 1775s |      27 | 15427668 | 11837433 |     3560   8241 |        0 |        0
1777.04/1777.50	c 1777s |      27 | 15443728 | 11849333 |     3560   8247 |        0 |        0
1779.04/1779.50	c 1779s |      27 | 15460515 | 11861933 |     3560   8254 |        0 |        0
1781.04/1781.51	c 1781s |      27 | 15476539 | 11874133 |     3560   8261 |        0 |        0
1783.04/1783.53	c 1783s |      27 | 15493625 | 11887033 |     3560   8267 |        0 |        0
1785.03/1785.55	c 1785s |      27 | 15508599 | 11898533 |     3560   8274 |        0 |        0
1787.04/1787.55	c 1787s |      27 | 15526135 | 11911533 |     3560   8280 |        0 |        0
1789.03/1789.56	c 1789s |      27 | 15545043 | 11925233 |     3560   8288 |        0 |        0
1791.03/1791.57	c 1791s |      27 | 15562981 | 11939133 |     3560   8295 |        0 |        0
1793.03/1793.59	c 1793s |      27 | 15578607 | 11951333 |     3560   8301 |        0 |        0
1795.03/1795.59	c 1795s |      27 | 15593928 | 11963033 |     3560   8308 |        0 |        0
1797.13/1797.60	c 1797s |      27 | 15610753 | 11975433 |     3560   8314 |        0 |        0
1799.14/1799.62	c 1799s |      27 | 15625500 | 11986933 |     3560   8320 |        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-4121426-1467314496/watcher-4121426-1467314496 -o /tmp/evaluation-result-4121426-1467314496/solver-4121426-1467314496 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16107 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121426-1467314496.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 17547
/proc/meminfo: memFree=28005084/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 2767 0 0 0 0 0 0 0 20 0 4 0 12410437 758575104 3128 33554432000 4194304 16246674 140733344282816 140733344282240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 185711 3135 441 2943 0 182605 0
[pid=17547/tid=17548] ppid=17544 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 776400896 3196 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 780595200 3212 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=766396 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12410437 784789504 3228 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100129 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 17547
/proc/meminfo: memFree=28005084/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 24901 0 0 0 6 3 0 0 20 0 4 0 12410437 1247350784 25251 33554432000 4194304 16246674 140733344282816 140733344282240 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 304529 25257 707 2943 0 301423 0
[pid=17547/tid=17548] ppid=17544 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1247350784 25267 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1247350784 25272 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12410437 1247350784 25278 33554432000 4194304 16246674 140733344282816 139732589730992 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.200521 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 17547
/proc/meminfo: memFree=28005084/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 46552 0 0 0 12 7 0 0 20 0 4 0 12410437 1247350784 46901 33554432000 4194304 16246674 140733344282816 140733344282240 5724508 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 304529 46913 707 2943 0 301423 0
[pid=17547/tid=17548] ppid=17544 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1247350784 46919 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1247350784 46924 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12410437 1247350784 46931 33554432000 4194304 16246674 140733344282816 139732589730992 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.300477 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 17547
/proc/meminfo: memFree=28005084/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 68591 0 0 0 19 10 0 0 20 0 4 0 12410437 1247350784 68940 33554432000 4194304 16246674 140733344282816 140733344282240 5722381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 304529 68951 708 2943 0 301423 0
[pid=17547/tid=17548] ppid=17544 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1247350784 68958 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1247350784 68967 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12410437 1247350784 68972 33554432000 4194304 16246674 140733344282816 139732589730992 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.700397 s]
/proc/loadavg: 2.19 2.20 2.18 3/179 17547
/proc/meminfo: memFree=28005084/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 159486 0 0 0 46 23 0 0 20 0 4 0 12410437 1247350784 159835 33554432000 4194304 16246674 140733344282816 140733344264704 5665836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 304529 159846 708 2943 0 301423 0
[pid=17547/tid=17548] ppid=17544 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1247350784 159855 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1247350784 159864 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12410437 1247350784 159872 33554432000 4194304 16246674 140733344282816 139732589730992 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: 2.26 2.21 2.18 3/183 17551
/proc/meminfo: memFree=27021684/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1220164 CPUtime=1.49 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 245848 0 0 0 114 35 0 0 20 0 4 0 12410437 1249447936 246177 33554432000 4194304 16246674 140733344282816 140733344264704 5708153 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 305041 246177 784 2943 0 301935 0
[pid=17547/tid=17548] ppid=17544 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1249447936 246177 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1249447936 246177 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1220164 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1249447936 246177 33554432000 4194304 16246674 140733344282816 139732589730992 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) 1220164

[startup+3.10042 s]
/proc/loadavg: 2.26 2.21 2.18 3/183 17551
/proc/meminfo: memFree=26936364/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 267426 0 0 0 271 38 0 0 20 0 4 0 12410437 1337528320 267755 33554432000 4194304 16246674 140733344282816 140733344265816 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 326545 267755 784 2943 0 323439 0
[pid=17547/tid=17548] ppid=17544 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1337528320 267755 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1337528320 267755 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1337528320 267755 33554432000 4194304 16246674 140733344282816 139732589730992 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: 2.24 2.21 2.18 3/183 17551
/proc/meminfo: memFree=26933800/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 267664 0 0 0 591 38 0 0 20 0 4 0 12410437 1338576896 267993 33554432000 4194304 16246674 140733344282816 140733344264704 12483222 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 326801 267993 784 2943 0 323695 0
[pid=17547/tid=17548] ppid=17544 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1338576896 267993 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1338576896 267993 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1338576896 267993 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 17551
/proc/meminfo: memFree=26931968/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 268001 0 0 0 1231 38 0 0 20 0 4 0 12410437 1339625472 268330 33554432000 4194304 16246674 140733344282816 140733344264704 5668736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 327057 268330 784 2943 0 323951 0
[pid=17547/tid=17548] ppid=17544 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1339625472 268330 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1339625472 268330 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1339625472 268330 33554432000 4194304 16246674 140733344282816 139732589730992 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) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 17551
/proc/meminfo: memFree=26930936/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 268082 0 0 0 2511 38 0 0 20 0 4 0 12410437 1339625472 268666 33554432000 4194304 16246674 140733344282816 140733344264704 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 327057 268666 787 2943 0 323951 0
[pid=17547/tid=17548] ppid=17544 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1339625472 268666 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1339625472 268666 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1339625472 268666 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.30 2.22 2.19 3/183 17551
/proc/meminfo: memFree=26930288/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1309252 CPUtime=51.08 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 268178 0 0 0 5069 39 0 0 20 0 4 0 12410437 1340674048 268762 33554432000 4194304 16246674 140733344282816 140733344264704 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 327313 268762 787 2943 0 324207 0
[pid=17547/tid=17548] ppid=17544 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1340674048 268762 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1340674048 268762 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1340674048 268762 33554432000 4194304 16246674 140733344282816 139732589730992 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) 1309252

[startup+102.301 s]
/proc/loadavg: 2.27 2.22 2.18 3/183 17552
/proc/meminfo: memFree=26927424/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1311300 CPUtime=102.28 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 268859 0 0 0 10188 40 0 0 20 0 4 0 12410437 1342771200 269434 33554432000 4194304 16246674 140733344282816 140733344264704 5823682 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 327825 269434 787 2943 0 324719 0
[pid=17547/tid=17548] ppid=17544 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1342771200 269434 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1342771200 269434 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1342771200 269434 33554432000 4194304 16246674 140733344282816 139732589730992 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) 1311300


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

/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1320516

[startup+1362.3 s]
/proc/loadavg: 2.26 2.26 2.20 3/183 17827
/proc/meminfo: memFree=26919928/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1320516 CPUtime=1361.9 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 271490 0 0 0 136132 58 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 140733344264704 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 330129 271739 788 2943 0 327023 0
[pid=17547/tid=17548] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1320516

[startup+1422.3 s]
/proc/loadavg: 2.23 2.26 2.20 3/183 17876
/proc/meminfo: memFree=26923360/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1320516 CPUtime=1421.9 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 271490 0 0 0 142131 59 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 140733344265816 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 330129 271739 788 2943 0 327023 0
[pid=17547/tid=17548] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1320516

[startup+1482.3 s]
/proc/loadavg: 2.27 2.25 2.19 4/183 17877
/proc/meminfo: memFree=26922904/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1320516 CPUtime=1481.88 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 271490 0 0 0 148128 60 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 140733344264704 5808212 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 330129 271739 788 2943 0 327023 0
[pid=17547/tid=17548] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1320516

[startup+1542.31 s]
/proc/loadavg: 2.32 2.27 2.20 4/183 17879
/proc/meminfo: memFree=26922684/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1320516 CPUtime=1541.88 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 271490 0 0 0 154127 61 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 140733344264704 13923843 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 330129 271739 788 2943 0 327023 0
[pid=17547/tid=17548] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 1320516

[startup+1602.3 s]
/proc/loadavg: 2.23 2.25 2.19 3/183 17880
/proc/meminfo: memFree=26922956/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1320516 CPUtime=1601.87 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 271490 0 0 0 160125 62 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 140733344264704 5724015 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 330129 271739 788 2943 0 327023 0
[pid=17547/tid=17548] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1320516

[startup+1662.3 s]
/proc/loadavg: 2.34 2.27 2.20 4/183 17881
/proc/meminfo: memFree=26922800/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1320516 CPUtime=1661.85 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 271490 0 0 0 166123 62 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 140733344264704 5546116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 330129 271739 788 2943 0 327023 0
[pid=17547/tid=17548] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1320516

[startup+1722.3 s]
/proc/loadavg: 2.25 2.25 2.19 3/184 17885
/proc/meminfo: memFree=26922740/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1320516 CPUtime=1721.84 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 271490 0 0 0 172121 63 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 140733344265816 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 330129 271739 788 2943 0 327023 0
[pid=17547/tid=17548] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1320516

[startup+1782.3 s]
/proc/loadavg: 2.21 2.24 2.19 3/183 17886
/proc/meminfo: memFree=26921900/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1320516 CPUtime=1781.84 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 271490 0 0 0 178120 64 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 140733344264704 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 330129 271739 788 2943 0 327023 0
[pid=17547/tid=17548] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 1320516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.31 2.26 2.19 3/183 17887
/proc/meminfo: memFree=26921552/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1320516 CPUtime=1800.03 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 271490 0 0 0 179939 64 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 140733344264704 5823146 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 330129 271739 788 2943 0 327023 0
[pid=17547/tid=17548] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1320516

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

[startup+1800.5 s]
/proc/loadavg: 2.31 2.26 2.19 3/183 17887
/proc/meminfo: memFree=26921552/32872528 swapFree=1254912/1391860
[pid=17547] ppid=17544 vsize=1320516 CPUtime=1800.03 cores=0,2,4,6
/proc/17547/stat : 17547 (toysat) R 17544 17547 16091 0 -1 4202496 271490 0 0 0 179939 64 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 140733344264704 5823146 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17547/statm: 330129 271739 788 2943 0 327023 0
[pid=17547/tid=17548] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17548/stat : 17548 (toysat) S 17544 17547 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732685139184 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17547/tid=17549] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17549/stat : 17549 (toysat) S 17544 17547 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732600204528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17547/tid=17550] ppid=17544 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/17547/task/17550/stat : 17550 (toysat) S 17544 17547 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12410437 1352208384 271739 33554432000 4194304 16246674 140733344282816 139732589730992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1320516

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.4
CPU system time (s): 0.648901
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 1320516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.4
system time used= 0.648901
maximum resident set size= 1086956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271490
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= 349
involuntary context switches= 1973

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70328 second user time and 6.81896 second system time

The end

Begin job on node119 at 2016-06-30 21:21:36
IDJOB=4121426
IDBENCH=110482
IDSOLVER=2542
FILE ID=node119/4121426-1467314496
RUNJOBID= node119-1467308805-16107
PBS_JOBID= 20005280
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= d630f8ea1d97166a0d7525401c533e5b
RANDOM SEED=1297990326

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28005876 kB
Buffers:          202752 kB
Cached:          1432412 kB
SwapCached:            0 kB
Active:          1352204 kB
Inactive:        1376712 kB
Active(anon):    1090396 kB
Inactive(anon):     5936 kB
Active(file):     261808 kB
Inactive(file):  1370776 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2473024 kB
Mapped:            17116 kB
Shmem:               204 kB
Slab:             611912 kB
SReclaimable:      56080 kB
SUnreclaim:       555832 kB
KernelStack:        1520 kB
PageTables:         8520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2620636 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1198080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

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