0.00/0.00	c 2016-06-30T21:44:19+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-4121930-1467315858.opb"]
0.00/0.01	c use --random-gen="2022939258 3727439202 1868481156 2765652556 3850798338 1269972670 672101707 1580631178 2156298915 309601858 3842680834 3240211708 3145368564 3110515837 1834066713 298394059 2836868879 3436092302 3485050275 121666591 2477952618 1551456936 3624358427 48505377 1006098994 3386047758 218298511 2946311507 1387834451 2552680764 346130294 1535933343 3270171621 3638261765 3251878357 3742757568 852610247 2119571386 29946946 1592267890 3120722073 4098123758 3644015180 2339227970 3692965966 4154454493 3952798376 424664190 3921792292 1164485722 1718087938 1597053746 1689861562 2058717129 3439132485 3211419726 120863515 1203834214 3128580901 1915200816 4124342551 3177302327 3242282645 2110851581 2793555754 1259478049 2133599348 3982872083 1819534383 1713976656 1880705496 3100948813 3963928940 706119901 1108592061 1200478418 3968062043 3109777166 1706551280 494639352 1199642151 2294347005 3011649642 2816990359 1056205702 342244081 943834778 1210683570 915947980 1429578492 1253390002 3197560897 4164145689 2598957764 3041742447 2703354882 3923314109 3809220670 889358014 2792735704 1367142414 2704824564 1409349885 4260906406 3235570357 2509466454 4218971845 792315512 538984582 37260051 3898158698 182545367 386912740 2496581218 2990704946 2292458172 1290195186 4250713101 1748612754 4286495256 193182780 617354783 4138162512 3662168242 141331715 283088287 1452794522 870011690 1583833719 1201402083 2228356650 2164400837 3841549645 1006064323 2794772874 2352610379 479492710 384536097 2214300254 954053126 1294336420 4087457844 532647298 1081971750 2986268113 2418104892 1768973469 4189997198 2588913489 1661300596 1259823583 1744189516 1382159699 3230119627 1866552259 3572336163 2830332608 909996505 4018232227 2313155694 2894473750 1114325714 2791807013 2150713545 4049113838 2060198705 834422360 3869557702 4180609964 1770951444 3494910111 280679388 4272544364 3950992626 2914213598 741070841 825713483 3776507248 2174675296 2114710114 3696289787 3704424893 3348815511 3831997003 2980408254 1185741352 2466280513 4223606177 3988228924 4070799464 3334232179 2547891444 1017662416 3230359708 1237831768 2350363137 3538395027 1455547170 2519029039 684967390 2924250641 4221319037 2427366880 103782954 882415052 2481850440 3513792257 3435342202 3525103098 3617123557 793542080 3483770643 1437500030 3606999451 594934175 3702527036 2537474711 1446409373 1137742542 3255396225 3604644202 2943535298 278775051 1546665448 1323342958 3931349313 1196784009 2440707180 2792092532 3996002521 3678078061 418222443 3209608815 1106557623 1782319458 816723963 648266567 1521392970 1284236128 1025278966 143758797 1935254959 2847289496 1592502696 3949936602 1281929930 882931796 3756556899 1241776382 3685490321 1060994608 1785819179 272329208 3224944242 1155414558 1343704667 255 362436" option to reproduce the execution
0.00/0.02	c #vars 377
0.00/0.02	c #constraints 376
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 |      251      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      168 |      100 |      251      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      480 |      250 |      277      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      924 |      475 |      305      0 |        0 |        0
0.08/0.10	c  0.1s |       4 |     1536 |      813 |      336      1 |        0 |        0
0.08/0.16	c  0.1s |       5 |     2358 |     1320 |      370      3 |        0 |        0
0.19/0.24	c  0.2s |       6 |     3408 |     2081 |      449      5 |        0 |        0
0.29/0.39	c  0.4s |       7 |     4928 |     3223 |      494      8 |        0 |        0
0.48/0.59	c  0.6s |       8 |     7284 |     4936 |      544     13 |        0 |        0
0.88/0.92	c  0.9s |       9 |    11364 |     7506 |      599     19 |        0 |        0
1.28/1.34	c  1.3s |      10 |    16633 |    11361 |      659     28 |        0 |        0
1.78/1.86	c  1.8s |      11 |    24469 |    17144 |      725     41 |        0 |        0
2.68/2.70	c  2.7s |      12 |    36265 |    25819 |      798     60 |        0 |        0
3.89/3.95	c  3.9s |      13 |    53425 |    38832 |      878     85 |        0 |        0
5.89/5.92	c  5.9s |      14 |    78444 |    58352 |      966    120 |        0 |        0
7.89/7.93	c  7.9s |      14 |   106275 |    79052 |      966    157 |        0 |        0
8.79/8.86	c  8.8s |      15 |   117510 |    87632 |     1063    171 |        0 |        0
10.79/10.87	c 10.8s |      15 |   136931 |   103632 |     1063    195 |        0 |        0
12.79/12.87	c 12.8s |      15 |   158957 |   120932 |     1063    222 |        0 |        0
14.08/14.17	c 14.1s |      16 |   172054 |   131552 |     1170    238 |        0 |        0
16.08/16.18	c 16.2s |      16 |   194692 |   148652 |     1170    262 |        0 |        0
18.08/18.19	c 18.2s |      16 |   217760 |   166352 |     1170    287 |        0 |        0
20.09/20.19	c 20.2s |      16 |   240202 |   183452 |     1170    312 |        0 |        0
21.78/21.82	c 21.8s |      17 |   258347 |   197432 |     1287    332 |        0 |        0
23.78/23.83	c 23.8s |      17 |   281875 |   214332 |     1287    354 |        0 |        0
25.78/25.83	c 25.8s |      17 |   305278 |   231732 |     1287    377 |        0 |        0
27.79/27.84	c 27.8s |      17 |   326247 |   247932 |     1287    399 |        0 |        0
29.78/29.85	c 29.8s |      17 |   349754 |   265432 |     1287    422 |        0 |        0
31.78/31.85	c 31.8s |      17 |   373216 |   282932 |     1287    445 |        0 |        0
33.28/33.33	c 33.3s |      18 |   391465 |   296252 |     1416    462 |        0 |        0
35.28/35.35	c 35.3s |      18 |   411486 |   311852 |     1416    481 |        0 |        0
37.28/37.35	c 37.3s |      18 |   431511 |   327752 |     1416    500 |        0 |        0
39.28/39.35	c 39.3s |      18 |   454738 |   345152 |     1416    521 |        0 |        0
41.28/41.36	c 41.3s |      18 |   477816 |   362852 |     1416    543 |        0 |        0
43.28/43.36	c 43.3s |      18 |   500514 |   380052 |     1416    564 |        0 |        0
45.28/45.37	c 45.3s |      18 |   523491 |   397252 |     1416    584 |        0 |        0
47.27/47.37	c 47.3s |      18 |   544728 |   413752 |     1416    604 |        0 |        0
49.27/49.37	c 49.3s |      18 |   565871 |   430052 |     1416    624 |        0 |        0
51.07/51.12	c 51.1s |      19 |   584497 |   444482 |     1558    641 |        0 |        0
53.08/53.12	c 53.1s |      19 |   606476 |   461082 |     1558    661 |        0 |        0
55.07/55.12	c 55.1s |      19 |   627583 |   476882 |     1558    679 |        0 |        0
57.07/57.13	c 57.1s |      19 |   650848 |   493382 |     1558    697 |        0 |        0
59.07/59.14	c 59.1s |      19 |   672786 |   510582 |     1558    716 |        0 |        0
61.07/61.14	c 61.1s |      19 |   695257 |   527182 |     1558    735 |        0 |        0
63.07/63.14	c 63.1s |      19 |   718557 |   544282 |     1558    754 |        0 |        0
65.08/65.14	c 65.1s |      19 |   739416 |   560582 |     1558    773 |        0 |        0
67.07/67.15	c 67.1s |      19 |   760853 |   576782 |     1558    791 |        0 |        0
69.07/69.15	c 69.1s |      19 |   783644 |   593182 |     1558    809 |        0 |        0
71.07/71.16	c 71.1s |      19 |   805068 |   609182 |     1558    828 |        0 |        0
73.07/73.17	c 73.1s |      19 |   826172 |   625582 |     1558    846 |        0 |        0
75.07/75.18	c 75.2s |      19 |   849351 |   642382 |     1558    865 |        0 |        0
77.07/77.19	c 77.2s |      19 |   872508 |   659282 |     1558    885 |        0 |        0
77.97/78.09	c 78.1s |      20 |   882949 |   666827 |     1714    893 |        0 |        0
80.07/80.10	c 80.1s |      20 |   902831 |   682127 |     1714    908 |        0 |        0
82.08/82.10	c 82.1s |      20 |   923748 |   697627 |     1714    924 |        0 |        0
84.08/84.10	c 84.1s |      20 |   944044 |   712927 |     1714    939 |        0 |        0
86.08/86.10	c 86.1s |      20 |   964365 |   728427 |     1714    955 |        0 |        0
88.07/88.12	c 88.1s |      20 |   982538 |   743027 |     1714    970 |        0 |        0
90.07/90.12	c 90.1s |      20 |  1003317 |   758527 |     1714    986 |        0 |        0
92.07/92.12	c 92.1s |      20 |  1025097 |   774627 |     1714   1002 |        0 |        0
94.07/94.13	c 94.1s |      20 |  1044842 |   790227 |     1714   1018 |        0 |        0
96.07/96.14	c 96.1s |      20 |  1061850 |   803927 |     1714   1032 |        0 |        0
98.08/98.15	c 98.1s |      20 |  1082366 |   819627 |     1714   1048 |        0 |        0
100.07/100.15	c  100s |      20 |  1101224 |   834527 |     1714   1064 |        0 |        0
102.07/102.16	c  102s |      20 |  1121565 |   849927 |     1714   1079 |        0 |        0
104.07/104.17	c  104s |      20 |  1140824 |   865027 |     1714   1095 |        0 |        0
106.07/106.17	c  106s |      20 |  1161254 |   880927 |     1714   1111 |        0 |        0
108.08/108.17	c  108s |      20 |  1181543 |   896527 |     1714   1127 |        0 |        0
110.07/110.19	c  110s |      20 |  1202887 |   912427 |     1714   1143 |        0 |        0
112.17/112.20	c  112s |      20 |  1223303 |   928127 |     1714   1160 |        0 |        0
114.17/114.20	c  114s |      20 |  1243457 |   943827 |     1714   1176 |        0 |        0
116.17/116.20	c  116s |      20 |  1263158 |   959327 |     1714   1192 |        0 |        0
118.17/118.21	c  118s |      20 |  1282840 |   974827 |     1714   1207 |        0 |        0
120.17/120.21	c  120s |      20 |  1302659 |   990127 |     1714   1223 |        0 |        0
121.47/121.55	c  121s |      21 |  1315612 |  1000345 |     1886   1233 |        0 |        0
123.47/123.56	c  123s |      21 |  1337649 |  1016145 |     1886   1248 |        0 |        0
125.47/125.57	c  125s |      21 |  1356267 |  1030745 |     1886   1262 |        0 |        0
127.47/127.58	c  127s |      21 |  1376817 |  1046445 |     1886   1277 |        0 |        0
129.47/129.59	c  129s |      21 |  1396117 |  1061445 |     1886   1291 |        0 |        0
131.57/131.60	c  131s |      21 |  1416907 |  1077445 |     1886   1306 |        0 |        0
133.56/133.60	c  133s |      21 |  1440264 |  1093945 |     1886   1322 |        0 |        0
135.57/135.62	c  135s |      21 |  1458633 |  1108445 |     1886   1336 |        0 |        0
137.56/137.62	c  137s |      21 |  1477613 |  1122845 |     1886   1350 |        0 |        0
139.56/139.63	c  139s |      21 |  1498677 |  1138245 |     1886   1364 |        0 |        0
141.56/141.64	c  141s |      21 |  1519341 |  1153845 |     1886   1379 |        0 |        0
143.56/143.65	c  143s |      21 |  1540132 |  1169645 |     1886   1394 |        0 |        0
145.56/145.66	c  145s |      21 |  1559056 |  1184445 |     1886   1408 |        0 |        0
147.57/147.67	c  147s |      21 |  1580647 |  1200245 |     1886   1423 |        0 |        0
149.56/149.68	c  149s |      21 |  1601170 |  1215445 |     1886   1438 |        0 |        0
151.56/151.69	c  151s |      21 |  1623313 |  1231945 |     1886   1454 |        0 |        0
153.56/153.69	c  153s |      21 |  1643607 |  1246845 |     1886   1468 |        0 |        0
155.56/155.69	c  155s |      21 |  1663741 |  1262345 |     1886   1483 |        0 |        0
157.66/157.70	c  157s |      21 |  1683024 |  1277345 |     1886   1497 |        0 |        0
159.56/159.70	c  159s |      21 |  1703258 |  1292545 |     1886   1512 |        0 |        0
161.66/161.71	c  161s |      21 |  1721802 |  1307145 |     1886   1526 |        0 |        0
163.66/163.72	c  163s |      21 |  1741338 |  1322045 |     1886   1540 |        0 |        0
165.66/165.72	c  165s |      21 |  1763414 |  1338345 |     1886   1555 |        0 |        0
167.65/167.73	c  167s |      21 |  1782104 |  1353245 |     1886   1569 |        0 |        0
169.66/169.74	c  169s |      21 |  1802485 |  1368945 |     1886   1584 |        0 |        0
171.65/171.75	c  171s |      21 |  1823136 |  1384645 |     1886   1599 |        0 |        0
173.66/173.76	c  173s |      21 |  1843882 |  1400345 |     1886   1614 |        0 |        0
175.66/175.77	c  175s |      21 |  1865205 |  1416445 |     1886   1630 |        0 |        0
177.66/177.77	c  177s |      21 |  1884557 |  1431745 |     1886   1644 |        0 |        0
179.66/179.77	c  179s |      21 |  1903850 |  1446445 |     1886   1658 |        0 |        0
181.67/181.78	c  181s |      21 |  1923128 |  1460845 |     1886   1672 |        0 |        0
183.66/183.79	c  183s |      21 |  1942190 |  1475145 |     1886   1686 |        0 |        0
185.76/185.80	c  185s |      21 |  1963398 |  1490345 |     2075   1700 |        0 |        0
187.06/187.20	c  187s |      22 |  1977070 |  1500622 |     2075   1709 |        0 |        0
189.16/189.20	c  189s |      22 |  1995010 |  1514622 |     2075   1721 |        0 |        0
191.16/191.21	c  191s |      22 |  2013419 |  1529022 |     2075   1734 |        0 |        0
193.16/193.21	c  193s |      22 |  2033077 |  1543922 |     2075   1747 |        0 |        0
195.16/195.21	c  195s |      22 |  2051399 |  1558022 |     2075   1759 |        0 |        0
197.16/197.21	c  197s |      22 |  2069520 |  1571322 |     2075   1771 |        0 |        0
199.16/199.22	c  199s |      22 |  2087380 |  1585122 |     2075   1783 |        0 |        0
201.16/201.23	c  201s |      22 |  2107415 |  1600122 |     2075   1796 |        0 |        0
203.16/203.24	c  203s |      22 |  2127813 |  1615322 |     2075   1809 |        0 |        0
205.16/205.24	c  205s |      22 |  2147669 |  1629922 |     2075   1822 |        0 |        0
207.16/207.25	c  207s |      22 |  2167699 |  1644922 |     2075   1835 |        0 |        0
209.16/209.25	c  209s |      22 |  2189392 |  1660522 |     2075   1849 |        0 |        0
211.15/211.26	c  211s |      22 |  2208117 |  1674422 |     2075   1861 |        0 |        0
213.15/213.27	c  213s |      22 |  2226233 |  1688222 |     2075   1873 |        0 |        0
215.15/215.28	c  215s |      22 |  2243390 |  1701722 |     2075   1885 |        0 |        0
217.15/217.29	c  217s |      22 |  2262878 |  1716122 |     2075   1897 |        0 |        0
219.16/219.29	c  219s |      22 |  2281184 |  1729622 |     2075   1909 |        0 |        0
221.15/221.30	c  221s |      22 |  2299793 |  1743422 |     2075   1921 |        0 |        0
223.25/223.31	c  223s |      22 |  2320182 |  1758222 |     2075   1934 |        0 |        0
225.25/225.31	c  225s |      22 |  2341284 |  1773422 |     2075   1947 |        0 |        0
227.25/227.31	c  227s |      22 |  2361717 |  1788422 |     2075   1960 |        0 |        0
229.25/229.33	c  229s |      22 |  2379325 |  1801922 |     2075   1972 |        0 |        0
231.26/231.34	c  231s |      22 |  2398648 |  1816422 |     2075   1985 |        0 |        0
233.25/233.35	c  233s |      22 |  2417822 |  1830822 |     2075   1998 |        0 |        0
235.25/235.35	c  235s |      22 |  2436012 |  1844922 |     2075   2010 |        0 |        0
237.25/237.36	c  237s |      22 |  2455087 |  1859422 |     2075   2023 |        0 |        0
239.25/239.36	c  239s |      22 |  2474044 |  1873722 |     2075   2035 |        0 |        0
241.24/241.37	c  241s |      22 |  2491975 |  1886922 |     2075   2047 |        0 |        0
243.25/243.38	c  243s |      22 |  2507251 |  1899122 |     2075   2057 |        0 |        0
245.24/245.39	c  245s |      22 |  2525208 |  1912622 |     2075   2069 |        0 |        0
247.24/247.39	c  247s |      22 |  2544479 |  1926922 |     2075   2082 |        0 |        0
249.24/249.39	c  249s |      22 |  2562428 |  1940722 |     2075   2094 |        0 |        0
251.34/251.40	c  251s |      22 |  2581255 |  1955022 |     2075   2106 |        0 |        0
253.34/253.40	c  253s |      22 |  2600042 |  1968822 |     2075   2118 |        0 |        0
255.35/255.41	c  255s |      22 |  2617761 |  1982222 |     2075   2130 |        0 |        0
257.34/257.41	c  257s |      22 |  2636476 |  1996022 |     2075   2142 |        0 |        0
259.34/259.41	c  259s |      22 |  2656766 |  2010622 |     2075   2155 |        0 |        0
261.34/261.43	c  261s |      22 |  2673835 |  2024022 |     2075   2167 |        0 |        0
263.34/263.44	c  263s |      22 |  2694397 |  2038822 |     2075   2179 |        0 |        0
265.35/265.44	c  265s |      22 |  2713049 |  2053022 |     2075   2192 |        0 |        0
267.34/267.45	c  267s |      22 |  2733110 |  2067422 |     2075   2205 |        0 |        0
269.34/269.45	c  269s |      22 |  2752580 |  2081722 |     2075   2217 |        0 |        0
271.34/271.47	c  271s |      22 |  2772483 |  2096522 |     2075   2230 |        0 |        0
273.35/273.47	c  273s |      22 |  2789877 |  2110222 |     2075   2242 |        0 |        0
275.35/275.48	c  275s |      22 |  2806098 |  2123222 |     2075   2253 |        0 |        0
277.35/277.49	c  277s |      22 |  2824214 |  2137222 |     2075   2266 |        0 |        0
279.35/279.50	c  279s |      22 |  2845031 |  2152322 |     2075   2279 |        0 |        0
281.45/281.50	c  281s |      22 |  2864291 |  2166722 |     2075   2292 |        0 |        0
283.44/283.51	c  283s |      22 |  2881830 |  2180122 |     2075   2303 |        0 |        0
285.44/285.52	c  285s |      22 |  2900912 |  2194122 |     2075   2316 |        0 |        0
287.45/287.52	c  287s |      22 |  2918814 |  2207622 |     2075   2327 |        0 |        0
289.45/289.53	c  289s |      22 |  2937955 |  2222022 |     2075   2340 |        0 |        0
291.44/291.54	c  291s |      22 |  2955149 |  2235422 |     2283   2352 |        0 |        0
293.44/293.55	c  293s |      22 |  2973526 |  2249022 |     2283   2363 |        0 |        0
293.74/293.83	c  293s |      23 |  2976469 |  2251038 |     2283   2364 |        0 |        0
295.74/295.85	c  295s |      23 |  2995820 |  2265638 |     2283   2376 |        0 |        0
297.74/297.85	c  297s |      23 |  3015431 |  2280538 |     2283   2388 |        0 |        0
299.74/299.86	c  299s |      23 |  3033074 |  2294138 |     2283   2399 |        0 |        0
301.74/301.86	c  301s |      23 |  3051058 |  2308038 |     2283   2410 |        0 |        0
303.75/303.87	c  303s |      23 |  3070229 |  2322438 |     2283   2421 |        0 |        0
305.74/305.88	c  305s |      23 |  3089093 |  2336938 |     2283   2433 |        0 |        0
307.84/307.90	c  307s |      23 |  3106870 |  2350838 |     2283   2444 |        0 |        0
309.84/309.90	c  309s |      23 |  3125256 |  2364938 |     2283   2455 |        0 |        0
311.84/311.91	c  311s |      23 |  3144102 |  2379138 |     2283   2466 |        0 |        0
313.84/313.92	c  313s |      23 |  3161481 |  2392538 |     2283   2477 |        0 |        0
315.84/315.92	c  315s |      23 |  3180055 |  2406038 |     2283   2488 |        0 |        0
317.84/317.92	c  317s |      23 |  3199732 |  2420638 |     2283   2499 |        0 |        0
319.84/319.92	c  319s |      23 |  3217003 |  2434438 |     2283   2510 |        0 |        0
321.84/321.94	c  321s |      23 |  3235500 |  2448538 |     2283   2522 |        0 |        0
323.83/323.94	c  323s |      23 |  3253748 |  2462438 |     2283   2533 |        0 |        0
325.84/325.95	c  325s |      23 |  3271305 |  2476138 |     2283   2544 |        0 |        0
327.83/327.96	c  327s |      23 |  3288996 |  2490038 |     2283   2555 |        0 |        0
329.83/329.97	c  329s |      23 |  3307216 |  2504138 |     2283   2566 |        0 |        0
331.83/331.99	c  331s |      23 |  3325839 |  2518138 |     2283   2577 |        0 |        0
333.83/333.99	c  333s |      23 |  3342114 |  2531038 |     2283   2588 |        0 |        0
335.83/336.00	c  335s |      23 |  3356001 |  2542438 |     2283   2597 |        0 |        0
337.93/338.01	c  337s |      23 |  3372678 |  2555438 |     2283   2607 |        0 |        0
339.93/340.02	c  339s |      23 |  3391489 |  2569738 |     2283   2619 |        0 |        0
341.93/342.03	c  342s |      23 |  3410967 |  2584538 |     2283   2630 |        0 |        0
343.93/344.03	c  344s |      23 |  3428848 |  2598438 |     2283   2642 |        0 |        0
345.92/346.04	c  346s |      23 |  3446639 |  2612538 |     2283   2653 |        0 |        0
347.92/348.05	c  348s |      23 |  3463186 |  2626038 |     2283   2663 |        0 |        0
349.93/350.06	c  350s |      23 |  3481476 |  2639938 |     2283   2675 |        0 |        0
351.92/352.07	c  352s |      23 |  3502492 |  2655638 |     2283   2687 |        0 |        0
353.92/354.07	c  354s |      23 |  3521420 |  2670338 |     2283   2699 |        0 |        0
355.92/356.07	c  356s |      23 |  3541062 |  2684938 |     2283   2710 |        0 |        0
357.92/358.08	c  358s |      23 |  3558754 |  2698838 |     2283   2721 |        0 |        0
359.92/360.09	c  360s |      23 |  3577851 |  2713538 |     2283   2733 |        0 |        0
361.92/362.10	c  362s |      23 |  3596635 |  2728138 |     2283   2745 |        0 |        0
364.02/364.11	c  364s |      23 |  3616699 |  2743238 |     2283   2757 |        0 |        0
366.02/366.12	c  366s |      23 |  3634112 |  2756938 |     2283   2768 |        0 |        0
368.02/368.13	c  368s |      23 |  3652933 |  2771138 |     2283   2779 |        0 |        0
370.02/370.14	c  370s |      23 |  3672307 |  2785738 |     2283   2791 |        0 |        0
372.03/372.14	c  372s |      23 |  3689816 |  2799438 |     2283   2802 |        0 |        0
374.02/374.15	c  374s |      23 |  3707574 |  2813238 |     2283   2813 |        0 |        0
376.02/376.16	c  376s |      23 |  3725147 |  2827138 |     2283   2824 |        0 |        0
378.02/378.17	c  378s |      23 |  3745625 |  2841838 |     2283   2836 |        0 |        0
380.02/380.18	c  380s |      23 |  3765483 |  2856438 |     2283   2848 |        0 |        0
382.01/382.19	c  382s |      23 |  3783636 |  2870438 |     2283   2859 |        0 |        0
384.02/384.19	c  384s |      23 |  3801081 |  2883538 |     2283   2869 |        0 |        0
386.01/386.19	c  386s |      23 |  3819098 |  2897338 |     2283   2881 |        0 |        0
388.11/388.20	c  388s |      23 |  3839104 |  2912238 |     2283   2892 |        0 |        0
390.11/390.21	c  390s |      23 |  3858074 |  2926338 |     2283   2904 |        0 |        0
392.11/392.22	c  392s |      23 |  3877022 |  2940838 |     2283   2915 |        0 |        0
394.11/394.23	c  394s |      23 |  3895320 |  2955038 |     2283   2927 |        0 |        0
396.11/396.23	c  396s |      23 |  3915146 |  2970038 |     2283   2939 |        0 |        0
398.10/398.24	c  398s |      23 |  3935111 |  2984838 |     2283   2951 |        0 |        0
400.10/400.24	c  400s |      23 |  3955125 |  2999838 |     2283   2962 |        0 |        0
402.11/402.25	c  402s |      23 |  3972872 |  3012938 |     2283   2973 |        0 |        0
404.11/404.27	c  404s |      23 |  3992362 |  3027238 |     2283   2985 |        0 |        0
406.12/406.27	c  406s |      23 |  4011351 |  3041238 |     2283   2996 |        0 |        0
408.11/408.28	c  408s |      23 |  4030723 |  3055638 |     2283   3007 |        0 |        0
410.10/410.28	c  410s |      23 |  4049297 |  3069738 |     2283   3019 |        0 |        0
412.10/412.29	c  412s |      23 |  4066367 |  3083038 |     2283   3029 |        0 |        0
414.20/414.30	c  414s |      23 |  4084010 |  3096838 |     2283   3040 |        0 |        0
416.20/416.31	c  416s |      23 |  4102086 |  3110938 |     2283   3052 |        0 |        0
418.20/418.31	c  418s |      23 |  4119976 |  3125138 |     2283   3063 |        0 |        0
420.20/420.32	c  420s |      23 |  4136962 |  3138238 |     2283   3073 |        0 |        0
422.19/422.32	c  422s |      23 |  4154464 |  3152138 |     2283   3085 |        0 |        0
424.19/424.33	c  424s |      23 |  4170771 |  3164938 |     2283   3095 |        0 |        0
426.19/426.34	c  426s |      23 |  4189098 |  3178738 |     2283   3106 |        0 |        0
428.19/428.36	c  428s |      23 |  4208421 |  3193138 |     2283   3117 |        0 |        0
430.20/430.36	c  430s |      23 |  4228765 |  3208338 |     2283   3130 |        0 |        0
432.19/432.36	c  432s |      23 |  4246533 |  3222438 |     2283   3141 |        0 |        0
434.19/434.37	c  434s |      23 |  4266708 |  3237438 |     2283   3153 |        0 |        0
436.19/436.38	c  436s |      23 |  4286509 |  3252438 |     2283   3165 |        0 |        0
438.29/438.40	c  438s |      23 |  4304163 |  3266538 |     2283   3176 |        0 |        0
440.28/440.41	c  440s |      23 |  4322761 |  3280738 |     2283   3188 |        0 |        0
442.29/442.41	c  442s |      23 |  4341499 |  3294938 |     2283   3199 |        0 |        0
444.29/444.42	c  444s |      23 |  4360900 |  3309538 |     2283   3211 |        0 |        0
446.29/446.44	c  446s |      23 |  4380048 |  3323738 |     2283   3222 |        0 |        0
448.29/448.44	c  448s |      23 |  4399457 |  3338338 |     2283   3234 |        0 |        0
450.29/450.45	c  450s |      23 |  4418998 |  3353238 |     2512   3246 |        0 |        0
452.30/452.46	c  452s |      23 |  4436690 |  3366838 |     2512   3256 |        0 |        0
453.69/453.88	c  453s |      24 |  4450038 |  3376662 |     2512   3263 |        0 |        0
455.69/455.88	c  455s |      24 |  4468245 |  3390262 |     2512   3273 |        0 |        0
457.69/457.90	c  457s |      24 |  4486507 |  3404262 |     2512   3283 |        0 |        0
459.79/459.90	c  459s |      24 |  4503854 |  3417662 |     2512   3292 |        0 |        0
461.79/461.91	c  461s |      24 |  4521076 |  3430862 |     2512   3302 |        0 |        0
463.79/463.91	c  463s |      24 |  4537806 |  3444162 |     2512   3312 |        0 |        0
465.78/465.92	c  465s |      24 |  4555783 |  3458162 |     2512   3322 |        0 |        0
467.78/467.92	c  467s |      24 |  4572040 |  3470962 |     2512   3331 |        0 |        0
469.79/469.94	c  469s |      24 |  4590157 |  3484962 |     2512   3341 |        0 |        0
471.78/471.94	c  471s |      24 |  4609767 |  3499562 |     2512   3352 |        0 |        0
473.78/473.95	c  473s |      24 |  4626819 |  3513462 |     2512   3362 |        0 |        0
475.78/475.96	c  475s |      24 |  4644848 |  3527862 |     2512   3372 |        0 |        0
477.77/477.97	c  477s |      24 |  4661977 |  3541262 |     2512   3382 |        0 |        0
479.78/479.98	c  479s |      24 |  4679615 |  3555062 |     2512   3392 |        0 |        0
481.77/481.98	c  481s |      24 |  4696771 |  3568662 |     2512   3402 |        0 |        0
483.77/483.99	c  483s |      24 |  4713981 |  3582462 |     2512   3412 |        0 |        0
485.77/485.99	c  485s |      24 |  4729837 |  3595262 |     2512   3421 |        0 |        0
487.87/488.00	c  487s |      24 |  4747107 |  3608962 |     2512   3431 |        0 |        0
489.87/490.01	c  489s |      24 |  4763383 |  3622162 |     2512   3441 |        0 |        0
491.88/492.03	c  492s |      24 |  4778878 |  3634962 |     2512   3450 |        0 |        0
493.87/494.04	c  494s |      24 |  4794942 |  3647962 |     2512   3460 |        0 |        0
495.87/496.04	c  496s |      24 |  4810981 |  3661062 |     2512   3469 |        0 |        0
497.86/498.05	c  498s |      24 |  4828963 |  3675462 |     2512   3480 |        0 |        0
499.86/500.07	c  500s |      24 |  4845391 |  3688962 |     2512   3490 |        0 |        0
501.86/502.08	c  502s |      24 |  4862448 |  3702762 |     2512   3500 |        0 |        0
503.87/504.08	c  504s |      24 |  4878413 |  3715862 |     2512   3509 |        0 |        0
505.96/506.10	c  506s |      24 |  4895705 |  3729762 |     2512   3519 |        0 |        0
507.96/508.10	c  508s |      24 |  4911988 |  3742862 |     2512   3529 |        0 |        0
509.96/510.12	c  510s |      24 |  4928138 |  3756162 |     2512   3539 |        0 |        0
511.96/512.12	c  512s |      24 |  4942036 |  3768162 |     2512   3547 |        0 |        0
513.96/514.13	c  514s |      24 |  4958540 |  3781362 |     2512   3557 |        0 |        0
515.96/516.13	c  516s |      24 |  4975180 |  3794762 |     2512   3567 |        0 |        0
517.95/518.14	c  518s |      24 |  4991202 |  3808062 |     2512   3576 |        0 |        0
519.95/520.15	c  520s |      24 |  5008639 |  3821862 |     2512   3586 |        0 |        0
521.96/522.16	c  522s |      24 |  5025557 |  3835462 |     2512   3596 |        0 |        0
523.96/524.17	c  524s |      24 |  5040779 |  3847862 |     2512   3605 |        0 |        0
525.97/526.17	c  526s |      24 |  5057490 |  3861162 |     2512   3615 |        0 |        0
527.96/528.18	c  528s |      24 |  5074238 |  3874562 |     2512   3625 |        0 |        0
529.96/530.18	c  530s |      24 |  5090623 |  3887862 |     2512   3635 |        0 |        0
531.96/532.18	c  532s |      24 |  5107336 |  3901262 |     2512   3644 |        0 |        0
533.95/534.18	c  534s |      24 |  5124347 |  3914962 |     2512   3654 |        0 |        0
535.96/536.19	c  536s |      24 |  5140962 |  3928162 |     2512   3664 |        0 |        0
537.96/538.20	c  538s |      24 |  5158797 |  3941862 |     2512   3674 |        0 |        0
540.05/540.20	c  540s |      24 |  5175461 |  3955062 |     2512   3683 |        0 |        0
542.05/542.21	c  542s |      24 |  5193000 |  3968762 |     2512   3693 |        0 |        0
544.05/544.22	c  544s |      24 |  5211307 |  3982462 |     2512   3703 |        0 |        0
546.05/546.22	c  546s |      24 |  5230017 |  3996362 |     2512   3714 |        0 |        0
548.04/548.24	c  548s |      24 |  5248265 |  4010162 |     2512   3724 |        0 |        0
550.05/550.25	c  550s |      24 |  5266646 |  4024162 |     2512   3734 |        0 |        0
552.04/552.27	c  552s |      24 |  5283530 |  4037862 |     2512   3744 |        0 |        0
554.04/554.27	c  554s |      24 |  5300876 |  4051562 |     2512   3754 |        0 |        0
556.04/556.29	c  556s |      24 |  5317547 |  4064962 |     2512   3763 |        0 |        0
558.04/558.29	c  558s |      24 |  5334882 |  4078462 |     2512   3773 |        0 |        0
560.14/560.31	c  560s |      24 |  5352687 |  4092462 |     2512   3784 |        0 |        0
562.15/562.31	c  562s |      24 |  5370526 |  4106362 |     2512   3794 |        0 |        0
564.14/564.33	c  564s |      24 |  5387392 |  4119862 |     2512   3803 |        0 |        0
566.14/566.33	c  566s |      24 |  5404443 |  4133662 |     2512   3814 |        0 |        0
568.13/568.33	c  568s |      24 |  5421121 |  4147162 |     2512   3823 |        0 |        0
570.13/570.34	c  570s |      24 |  5438509 |  4160762 |     2512   3833 |        0 |        0
572.14/572.35	c  572s |      24 |  5455586 |  4174162 |     2512   3843 |        0 |        0
574.13/574.35	c  574s |      24 |  5471720 |  4186962 |     2512   3852 |        0 |        0
576.13/576.36	c  576s |      24 |  5489084 |  4200462 |     2512   3862 |        0 |        0
578.13/578.37	c  578s |      24 |  5506205 |  4214062 |     2512   3872 |        0 |        0
580.13/580.37	c  580s |      24 |  5523505 |  4227562 |     2512   3882 |        0 |        0
582.13/582.37	c  582s |      24 |  5541887 |  4241362 |     2512   3892 |        0 |        0
584.13/584.38	c  584s |      24 |  5560047 |  4255062 |     2512   3902 |        0 |        0
586.23/586.40	c  586s |      24 |  5578911 |  4269462 |     2512   3913 |        0 |        0
588.22/588.40	c  588s |      24 |  5597648 |  4284062 |     2512   3923 |        0 |        0
590.22/590.40	c  590s |      24 |  5614879 |  4297662 |     2512   3933 |        0 |        0
592.22/592.40	c  592s |      24 |  5633522 |  4311662 |     2512   3943 |        0 |        0
594.22/594.41	c  594s |      24 |  5652363 |  4326162 |     2512   3954 |        0 |        0
596.23/596.42	c  596s |      24 |  5668934 |  4339362 |     2512   3963 |        0 |        0
598.22/598.42	c  598s |      24 |  5686528 |  4353062 |     2512   3973 |        0 |        0
600.22/600.43	c  600s |      24 |  5703313 |  4366262 |     2512   3983 |        0 |        0
602.22/602.43	c  602s |      24 |  5723044 |  4381462 |     2512   3994 |        0 |        0
604.22/604.44	c  604s |      24 |  5741170 |  4395662 |     2512   4005 |        0 |        0
606.23/606.44	c  606s |      24 |  5758512 |  4409462 |     2512   4015 |        0 |        0
608.22/608.45	c  608s |      24 |  5776015 |  4423262 |     2512   4025 |        0 |        0
610.22/610.45	c  610s |      24 |  5795410 |  4437662 |     2512   4035 |        0 |        0
612.22/612.46	c  612s |      24 |  5814678 |  4452662 |     2512   4046 |        0 |        0
614.22/614.47	c  614s |      24 |  5833261 |  4467162 |     2512   4057 |        0 |        0
616.22/616.49	c  616s |      24 |  5848617 |  4479862 |     2512   4066 |        0 |        0
618.22/618.49	c  618s |      24 |  5865241 |  4493462 |     2512   4076 |        0 |        0
620.31/620.50	c  620s |      24 |  5883991 |  4507762 |     2512   4086 |        0 |        0
622.31/622.51	c  622s |      24 |  5903079 |  4521862 |     2512   4097 |        0 |        0
624.31/624.52	c  624s |      24 |  5921423 |  4535962 |     2512   4107 |        0 |        0
626.31/626.53	c  626s |      24 |  5939679 |  4550062 |     2512   4117 |        0 |        0
628.30/628.54	c  628s |      24 |  5958660 |  4564262 |     2512   4128 |        0 |        0
630.31/630.54	c  630s |      24 |  5975814 |  4577762 |     2512   4138 |        0 |        0
632.30/632.55	c  632s |      24 |  5992899 |  4591262 |     2512   4147 |        0 |        0
634.30/634.55	c  634s |      24 |  6009670 |  4604362 |     2512   4157 |        0 |        0
636.30/636.56	c  636s |      24 |  6027676 |  4618162 |     2512   4167 |        0 |        0
638.30/638.57	c  638s |      24 |  6046355 |  4632362 |     2512   4177 |        0 |        0
640.30/640.57	c  640s |      24 |  6063346 |  4645762 |     2512   4187 |        0 |        0
642.30/642.58	c  642s |      24 |  6079861 |  4658762 |     2512   4197 |        0 |        0
644.40/644.60	c  644s |      24 |  6094824 |  4671162 |     2512   4206 |        0 |        0
646.39/646.60	c  646s |      24 |  6110860 |  4684062 |     2512   4215 |        0 |        0
648.40/648.63	c  648s |      24 |  6126836 |  4696662 |     2512   4225 |        0 |        0
650.40/650.63	c  650s |      24 |  6142375 |  4709062 |     2512   4234 |        0 |        0
652.40/652.63	c  652s |      24 |  6157860 |  4721562 |     2512   4243 |        0 |        0
654.39/654.64	c  654s |      24 |  6173147 |  4733862 |     2512   4252 |        0 |        0
656.39/656.66	c  656s |      24 |  6189117 |  4746762 |     2512   4261 |        0 |        0
658.39/658.66	c  658s |      24 |  6205735 |  4759562 |     2512   4271 |        0 |        0
660.39/660.67	c  660s |      24 |  6224461 |  4773562 |     2512   4281 |        0 |        0
662.39/662.67	c  662s |      24 |  6244251 |  4788762 |     2512   4292 |        0 |        0
664.40/664.67	c  664s |      24 |  6261998 |  4802562 |     2512   4302 |        0 |        0
666.39/666.68	c  666s |      24 |  6281983 |  4817562 |     2512   4313 |        0 |        0
668.38/668.68	c  668s |      24 |  6302391 |  4832662 |     2512   4324 |        0 |        0
670.38/670.69	c  670s |      24 |  6320884 |  4846962 |     2512   4335 |        0 |        0
672.48/672.70	c  672s |      24 |  6339781 |  4861262 |     2512   4345 |        0 |        0
674.48/674.71	c  674s |      24 |  6359063 |  4875462 |     2512   4356 |        0 |        0
676.49/676.73	c  676s |      24 |  6379009 |  4890362 |     2512   4366 |        0 |        0
678.48/678.74	c  678s |      24 |  6398377 |  4905062 |     2512   4377 |        0 |        0
680.48/680.75	c  680s |      24 |  6415395 |  4919062 |     2512   4387 |        0 |        0
682.48/682.75	c  682s |      24 |  6434707 |  4933762 |     2512   4398 |        0 |        0
684.48/684.75	c  684s |      24 |  6453365 |  4947962 |     2512   4409 |        0 |        0
686.48/686.76	c  686s |      24 |  6471583 |  4961962 |     2512   4419 |        0 |        0
688.47/688.77	c  688s |      24 |  6489807 |  4975862 |     2512   4429 |        0 |        0
690.48/690.78	c  690s |      24 |  6508032 |  4989662 |     2512   4439 |        0 |        0
692.48/692.79	c  692s |      24 |  6526076 |  5003362 |     2512   4449 |        0 |        0
694.58/694.80	c  694s |      24 |  6544985 |  5017562 |     2512   4460 |        0 |        0
696.57/696.80	c  696s |      24 |  6563514 |  5032062 |     2764   4470 |        0 |        0
698.58/698.81	c  698s |      24 |  6583760 |  5046662 |     2764   4480 |        0 |        0
700.57/700.81	c  700s |      24 |  6602737 |  5061362 |     2764   4490 |        0 |        0
701.07/701.30	c  701s |      25 |  6607459 |  5065098 |     2764   4492 |        0 |        0
703.07/703.31	c  703s |      25 |  6624233 |  5078898 |     2764   4501 |        0 |        0
705.08/705.33	c  705s |      25 |  6641863 |  5092398 |     2764   4511 |        0 |        0
707.07/707.34	c  707s |      25 |  6657606 |  5105098 |     2764   4519 |        0 |        0
709.07/709.34	c  709s |      25 |  6674231 |  5117998 |     2764   4528 |        0 |        0
711.07/711.35	c  711s |      25 |  6691967 |  5131598 |     2764   4537 |        0 |        0
713.07/713.36	c  713s |      25 |  6706400 |  5142898 |     2764   4545 |        0 |        0
715.07/715.36	c  715s |      25 |  6723617 |  5155898 |     2764   4553 |        0 |        0
717.06/717.37	c  717s |      25 |  6740791 |  5168998 |     2764   4562 |        0 |        0
719.06/719.38	c  719s |      25 |  6759248 |  5183198 |     2764   4572 |        0 |        0
721.06/721.38	c  721s |      25 |  6777235 |  5196998 |     2764   4581 |        0 |        0
723.06/723.39	c  723s |      25 |  6794666 |  5210298 |     2764   4590 |        0 |        0
725.06/725.39	c  725s |      25 |  6813811 |  5224798 |     2764   4600 |        0 |        0
727.06/727.40	c  727s |      25 |  6829978 |  5237698 |     2764   4608 |        0 |        0
729.15/729.41	c  729s |      25 |  6847869 |  5251198 |     2764   4618 |        0 |        0
731.15/731.43	c  731s |      25 |  6866436 |  5265798 |     2764   4627 |        0 |        0
733.15/733.44	c  733s |      25 |  6883148 |  5279098 |     2764   4636 |        0 |        0
735.15/735.45	c  735s |      25 |  6900263 |  5292498 |     2764   4645 |        0 |        0
737.15/737.45	c  737s |      25 |  6915271 |  5304298 |     2764   4653 |        0 |        0
739.15/739.47	c  739s |      25 |  6928885 |  5315098 |     2764   4660 |        0 |        0
741.15/741.48	c  741s |      25 |  6940803 |  5325598 |     2764   4667 |        0 |        0
743.15/743.49	c  743s |      25 |  6953524 |  5335998 |     2764   4674 |        0 |        0
745.25/745.51	c  745s |      25 |  6966567 |  5346398 |     2764   4681 |        0 |        0
747.24/747.52	c  747s |      25 |  6982275 |  5358798 |     2764   4690 |        0 |        0
749.24/749.52	c  749s |      25 |  6999881 |  5372698 |     2764   4699 |        0 |        0
751.25/751.53	c  751s |      25 |  7015596 |  5384898 |     2764   4707 |        0 |        0
753.24/753.53	c  753s |      25 |  7030308 |  5396998 |     2764   4715 |        0 |        0
755.24/755.54	c  755s |      25 |  7048366 |  5410898 |     2764   4725 |        0 |        0
757.23/757.54	c  757s |      25 |  7065645 |  5423998 |     2764   4734 |        0 |        0
759.24/759.55	c  759s |      25 |  7081306 |  5436398 |     2764   4742 |        0 |        0
761.25/761.56	c  761s |      25 |  7097664 |  5449498 |     2764   4751 |        0 |        0
763.24/763.57	c  763s |      25 |  7115935 |  5463598 |     2764   4760 |        0 |        0
765.24/765.57	c  765s |      25 |  7132331 |  5476498 |     2764   4769 |        0 |        0
767.24/767.58	c  767s |      25 |  7150508 |  5489798 |     2764   4778 |        0 |        0
769.24/769.59	c  769s |      25 |  7168385 |  5503398 |     2764   4787 |        0 |        0
771.24/771.59	c  771s |      25 |  7184722 |  5516098 |     2764   4796 |        0 |        0
773.24/773.59	c  773s |      25 |  7201458 |  5529198 |     2764   4805 |        0 |        0
775.33/775.61	c  775s |      25 |  7217698 |  5541598 |     2764   4813 |        0 |        0
777.33/777.61	c  777s |      25 |  7234182 |  5554198 |     2764   4821 |        0 |        0
779.33/779.63	c  779s |      25 |  7250885 |  5567298 |     2764   4830 |        0 |        0
781.33/781.63	c  781s |      25 |  7269276 |  5580898 |     2764   4840 |        0 |        0
783.33/783.64	c  783s |      25 |  7286095 |  5593298 |     2764   4848 |        0 |        0
785.33/785.64	c  785s |      25 |  7303335 |  5606498 |     2764   4857 |        0 |        0
787.32/787.66	c  787s |      25 |  7317721 |  5617898 |     2764   4865 |        0 |        0
789.32/789.68	c  789s |      25 |  7333027 |  5629498 |     2764   4872 |        0 |        0
791.32/791.69	c  791s |      25 |  7349583 |  5641598 |     2764   4881 |        0 |        0
793.42/793.70	c  793s |      25 |  7364051 |  5653298 |     2764   4889 |        0 |        0
795.42/795.71	c  795s |      25 |  7379954 |  5665698 |     2764   4897 |        0 |        0
797.42/797.72	c  797s |      25 |  7395624 |  5677498 |     2764   4905 |        0 |        0
799.42/799.72	c  799s |      25 |  7413237 |  5690698 |     2764   4914 |        0 |        0
801.41/801.73	c  801s |      25 |  7428873 |  5702998 |     2764   4922 |        0 |        0
803.41/803.74	c  803s |      25 |  7444076 |  5715098 |     2764   4930 |        0 |        0
805.41/805.75	c  805s |      25 |  7459087 |  5726898 |     2764   4938 |        0 |        0
807.42/807.75	c  807s |      25 |  7473158 |  5737998 |     2764   4946 |        0 |        0
809.41/809.76	c  809s |      25 |  7488249 |  5749898 |     2764   4954 |        0 |        0
811.41/811.77	c  811s |      25 |  7502817 |  5761998 |     2764   4962 |        0 |        0
813.41/813.78	c  813s |      25 |  7521980 |  5776398 |     2764   4972 |        0 |        0
815.41/815.78	c  815s |      25 |  7540033 |  5790298 |     2764   4981 |        0 |        0
817.40/817.79	c  817s |      25 |  7558738 |  5804098 |     2764   4991 |        0 |        0
819.41/819.80	c  819s |      25 |  7576381 |  5817198 |     2764   4999 |        0 |        0
821.51/821.80	c  821s |      25 |  7593911 |  5830098 |     2764   5008 |        0 |        0
823.51/823.81	c  823s |      25 |  7612708 |  5843898 |     2764   5018 |        0 |        0
825.51/825.82	c  825s |      25 |  7627874 |  5856098 |     2764   5026 |        0 |        0
827.51/827.83	c  827s |      25 |  7645785 |  5870098 |     2764   5035 |        0 |        0
829.50/829.83	c  829s |      25 |  7661484 |  5882598 |     2764   5044 |        0 |        0
831.51/831.83	c  831s |      25 |  7677288 |  5894598 |     2764   5052 |        0 |        0
833.50/833.85	c  833s |      25 |  7694135 |  5907398 |     2764   5061 |        0 |        0
835.50/835.85	c  835s |      25 |  7710998 |  5920498 |     2764   5069 |        0 |        0
837.50/837.87	c  837s |      25 |  7727768 |  5933898 |     2764   5079 |        0 |        0
839.50/839.87	c  839s |      25 |  7743842 |  5946298 |     2764   5087 |        0 |        0
841.51/841.87	c  841s |      25 |  7761822 |  5959398 |     2764   5096 |        0 |        0
843.50/843.88	c  843s |      25 |  7778280 |  5972298 |     2764   5105 |        0 |        0
845.50/845.89	c  845s |      25 |  7793881 |  5984898 |     2764   5113 |        0 |        0
847.59/847.91	c  847s |      25 |  7809582 |  5996998 |     2764   5121 |        0 |        0
849.59/849.92	c  849s |      25 |  7826715 |  6010198 |     2764   5130 |        0 |        0
851.59/851.93	c  851s |      25 |  7842944 |  6022998 |     2764   5139 |        0 |        0
853.60/853.94	c  853s |      25 |  7860263 |  6036698 |     2764   5148 |        0 |        0
855.59/855.94	c  855s |      25 |  7877604 |  6050098 |     2764   5157 |        0 |        0
857.59/857.94	c  857s |      25 |  7894484 |  6063398 |     2764   5166 |        0 |        0
859.59/859.95	c  859s |      25 |  7911822 |  6077398 |     2764   5176 |        0 |        0
861.59/861.96	c  861s |      25 |  7930293 |  6091398 |     2764   5185 |        0 |        0
863.59/863.97	c  863s |      25 |  7948681 |  6105698 |     2764   5195 |        0 |        0
865.59/865.98	c  865s |      25 |  7966504 |  6119398 |     2764   5204 |        0 |        0
867.58/867.98	c  867s |      25 |  7983426 |  6132398 |     2764   5213 |        0 |        0
869.68/870.00	c  869s |      25 |  8001645 |  6146398 |     2764   5222 |        0 |        0
871.68/872.00	c  871s |      25 |  8018899 |  6159598 |     2764   5231 |        0 |        0
873.68/874.01	c  873s |      25 |  8034999 |  6172598 |     2764   5240 |        0 |        0
875.68/876.02	c  875s |      25 |  8052933 |  6186698 |     2764   5249 |        0 |        0
877.68/878.03	c  878s |      25 |  8069204 |  6199298 |     2764   5257 |        0 |        0
879.67/880.04	c  880s |      25 |  8086219 |  6212398 |     2764   5266 |        0 |        0
881.67/882.04	c  882s |      25 |  8104421 |  6226098 |     2764   5275 |        0 |        0
883.67/884.06	c  884s |      25 |  8118859 |  6237898 |     2764   5283 |        0 |        0
885.67/886.06	c  886s |      25 |  8136464 |  6250898 |     2764   5292 |        0 |        0
887.68/888.07	c  888s |      25 |  8153353 |  6263998 |     2764   5301 |        0 |        0
889.67/890.08	c  890s |      25 |  8172452 |  6278798 |     2764   5311 |        0 |        0
891.67/892.08	c  892s |      25 |  8189997 |  6292598 |     2764   5320 |        0 |        0
893.67/894.08	c  894s |      25 |  8205074 |  6304498 |     2764   5328 |        0 |        0
895.67/896.08	c  896s |      25 |  8219312 |  6315798 |     2764   5336 |        0 |        0
897.67/898.09	c  898s |      25 |  8235577 |  6328198 |     2764   5344 |        0 |        0
899.68/900.10	c  900s |      25 |  8250837 |  6340098 |     2764   5352 |        0 |        0
901.77/902.11	c  902s |      25 |  8265533 |  6351698 |     2764   5360 |        0 |        0
903.77/904.11	c  904s |      25 |  8282685 |  6365598 |     2764   5369 |        0 |        0
905.77/906.11	c  906s |      25 |  8300381 |  6379198 |     2764   5378 |        0 |        0
907.76/908.12	c  908s |      25 |  8318173 |  6393098 |     2764   5388 |        0 |        0
909.76/910.14	c  910s |      25 |  8336201 |  6407098 |     2764   5397 |        0 |        0
911.77/912.14	c  912s |      25 |  8356402 |  6421898 |     2764   5407 |        0 |        0
913.76/914.15	c  914s |      25 |  8374207 |  6435498 |     2764   5416 |        0 |        0
915.76/916.16	c  916s |      25 |  8392695 |  6449098 |     2764   5425 |        0 |        0
917.75/918.16	c  918s |      25 |  8409192 |  6462398 |     2764   5434 |        0 |        0
919.75/920.16	c  920s |      25 |  8425660 |  6474798 |     2764   5443 |        0 |        0
921.76/922.17	c  922s |      25 |  8442530 |  6487598 |     2764   5451 |        0 |        0
923.75/924.18	c  924s |      25 |  8460743 |  6501298 |     2764   5461 |        0 |        0
925.75/926.19	c  926s |      25 |  8478304 |  6515098 |     2764   5470 |        0 |        0
927.84/928.20	c  928s |      25 |  8496583 |  6529398 |     2764   5480 |        0 |        0
929.84/930.21	c  930s |      25 |  8513948 |  6543298 |     2764   5489 |        0 |        0
931.84/932.22	c  932s |      25 |  8532603 |  6557898 |     2764   5499 |        0 |        0
933.85/934.23	c  934s |      25 |  8548641 |  6570598 |     2764   5507 |        0 |        0
935.84/936.23	c  936s |      25 |  8565353 |  6583598 |     2764   5516 |        0 |        0
937.84/938.24	c  938s |      25 |  8579853 |  6595298 |     2764   5524 |        0 |        0
939.84/940.26	c  940s |      25 |  8595565 |  6607498 |     2764   5532 |        0 |        0
941.84/942.27	c  942s |      25 |  8611066 |  6619598 |     2764   5540 |        0 |        0
943.84/944.28	c  944s |      25 |  8626926 |  6631798 |     2764   5548 |        0 |        0
945.84/946.28	c  946s |      25 |  8643043 |  6643898 |     2764   5556 |        0 |        0
947.93/948.30	c  948s |      25 |  8658908 |  6655898 |     2764   5565 |        0 |        0
949.93/950.31	c  950s |      25 |  8675756 |  6668698 |     2764   5573 |        0 |        0
951.93/952.32	c  952s |      25 |  8692372 |  6681498 |     2764   5582 |        0 |        0
953.93/954.33	c  954s |      25 |  8709021 |  6694298 |     2764   5590 |        0 |        0
955.93/956.33	c  956s |      25 |  8724548 |  6706498 |     2764   5599 |        0 |        0
957.93/958.34	c  958s |      25 |  8739331 |  6718698 |     2764   5607 |        0 |        0
959.93/960.36	c  960s |      25 |  8756038 |  6731498 |     2764   5616 |        0 |        0
961.92/962.37	c  962s |      25 |  8772507 |  6744198 |     2764   5624 |        0 |        0
963.92/964.37	c  964s |      25 |  8789617 |  6756998 |     2764   5633 |        0 |        0
965.92/966.37	c  966s |      25 |  8805860 |  6769498 |     2764   5641 |        0 |        0
967.93/968.38	c  968s |      25 |  8821321 |  6781798 |     2764   5650 |        0 |        0
969.92/970.39	c  970s |      25 |  8837422 |  6794398 |     2764   5658 |        0 |        0
972.02/972.40	c  972s |      25 |  8853789 |  6806898 |     2764   5666 |        0 |        0
974.02/974.40	c  974s |      25 |  8869291 |  6819198 |     2764   5675 |        0 |        0
976.02/976.40	c  976s |      25 |  8885788 |  6831998 |     2764   5683 |        0 |        0
978.01/978.41	c  978s |      25 |  8902142 |  6844798 |     2764   5692 |        0 |        0
980.02/980.41	c  980s |      25 |  8917936 |  6857098 |     2764   5700 |        0 |        0
982.02/982.42	c  982s |      25 |  8935896 |  6870598 |     2764   5710 |        0 |        0
984.02/984.42	c  984s |      25 |  8953434 |  6884098 |     2764   5719 |        0 |        0
986.02/986.43	c  986s |      25 |  8970905 |  6897398 |     2764   5728 |        0 |        0
988.02/988.45	c  988s |      25 |  8988157 |  6910598 |     2764   5737 |        0 |        0
990.02/990.47	c  990s |      25 |  9007283 |  6925198 |     2764   5746 |        0 |        0
992.03/992.47	c  992s |      25 |  9024062 |  6938298 |     2764   5755 |        0 |        0
994.02/994.47	c  994s |      25 |  9041957 |  6951898 |     2764   5764 |        0 |        0
996.02/996.49	c  996s |      25 |  9059853 |  6965698 |     2764   5774 |        0 |        0
998.02/998.49	c  998s |      25 |  9077190 |  6978598 |     2764   5783 |        0 |        0
1000.02/1000.49	c 1000s |      25 |  9090975 |  6989698 |     2764   5790 |        0 |        0
1002.11/1002.50	c 1002s |      25 |  9108016 |  7002698 |     2764   5799 |        0 |        0
1004.12/1004.52	c 1004s |      25 |  9124368 |  7015398 |     2764   5807 |        0 |        0
1006.11/1006.52	c 1006s |      25 |  9141753 |  7028798 |     2764   5817 |        0 |        0
1008.11/1008.55	c 1008s |      25 |  9156742 |  7040498 |     2764   5825 |        0 |        0
1010.11/1010.55	c 1010s |      25 |  9172387 |  7052898 |     2764   5833 |        0 |        0
1012.11/1012.56	c 1012s |      25 |  9187941 |  7065198 |     2764   5841 |        0 |        0
1014.12/1014.57	c 1014s |      25 |  9205480 |  7078398 |     2764   5850 |        0 |        0
1016.11/1016.57	c 1016s |      25 |  9223722 |  7091998 |     2764   5859 |        0 |        0
1018.11/1018.58	c 1018s |      25 |  9239663 |  7104498 |     2764   5868 |        0 |        0
1020.11/1020.60	c 1020s |      25 |  9257657 |  7117998 |     2764   5877 |        0 |        0
1022.21/1022.60	c 1022s |      25 |  9274465 |  7130998 |     2764   5886 |        0 |        0
1024.21/1024.61	c 1024s |      25 |  9291569 |  7144198 |     2764   5895 |        0 |        0
1026.22/1026.61	c 1026s |      25 |  9307792 |  7156598 |     2764   5903 |        0 |        0
1028.21/1028.62	c 1028s |      25 |  9323393 |  7168898 |     2764   5912 |        0 |        0
1030.21/1030.62	c 1030s |      25 |  9339198 |  7181498 |     2764   5920 |        0 |        0
1032.21/1032.63	c 1032s |      25 |  9356845 |  7194898 |     2764   5929 |        0 |        0
1034.21/1034.63	c 1034s |      25 |  9372334 |  7207198 |     2764   5937 |        0 |        0
1036.21/1036.64	c 1036s |      25 |  9389471 |  7220198 |     2764   5946 |        0 |        0
1038.21/1038.65	c 1038s |      25 |  9406383 |  7233398 |     2764   5955 |        0 |        0
1040.20/1040.66	c 1040s |      25 |  9424029 |  7246898 |     2764   5964 |        0 |        0
1042.21/1042.67	c 1042s |      25 |  9440992 |  7259798 |     2764   5973 |        0 |        0
1044.21/1044.68	c 1044s |      25 |  9455243 |  7271398 |     2764   5981 |        0 |        0
1046.21/1046.69	c 1046s |      25 |  9470945 |  7283898 |     2764   5989 |        0 |        0
1048.31/1048.70	c 1048s |      25 |  9488716 |  7297098 |     2764   5998 |        0 |        0
1050.32/1050.70	c 1050s |      25 |  9502878 |  7308598 |     2764   6006 |        0 |        0
1052.31/1052.72	c 1052s |      25 |  9517068 |  7319698 |     2764   6014 |        0 |        0
1054.31/1054.74	c 1054s |      25 |  9532526 |  7331698 |     2764   6022 |        0 |        0
1056.31/1056.74	c 1056s |      25 |  9546300 |  7343198 |     2764   6029 |        0 |        0
1058.31/1058.74	c 1058s |      25 |  9562618 |  7355698 |     2764   6038 |        0 |        0
1060.32/1060.75	c 1060s |      25 |  9576997 |  7367198 |     2764   6046 |        0 |        0
1062.31/1062.76	c 1062s |      25 |  9593776 |  7379998 |     2764   6054 |        0 |        0
1064.31/1064.76	c 1064s |      25 |  9610557 |  7392898 |     2764   6063 |        0 |        0
1066.31/1066.77	c 1066s |      25 |  9627210 |  7405698 |     2764   6072 |        0 |        0
1068.31/1068.77	c 1068s |      25 |  9645707 |  7419698 |     2764   6081 |        0 |        0
1070.31/1070.79	c 1070s |      25 |  9662379 |  7432798 |     2764   6090 |        0 |        0
1072.31/1072.80	c 1072s |      25 |  9679596 |  7446098 |     2764   6099 |        0 |        0
1074.40/1074.82	c 1074s |      25 |  9697302 |  7459498 |     2764   6108 |        0 |        0
1076.40/1076.82	c 1076s |      25 |  9715931 |  7473398 |     2764   6118 |        0 |        0
1078.40/1078.82	c 1078s |      25 |  9733462 |  7486698 |     2764   6127 |        0 |        0
1080.40/1080.83	c 1080s |      25 |  9751281 |  7500198 |     2764   6136 |        0 |        0
1082.40/1082.85	c 1082s |      25 |  9766815 |  7512598 |     2764   6144 |        0 |        0
1084.41/1084.86	c 1084s |      25 |  9783974 |  7525698 |     2764   6153 |        0 |        0
1086.40/1086.88	c 1086s |      25 |  9802721 |  7539698 |     2764   6163 |        0 |        0
1088.40/1088.89	c 1088s |      25 |  9819586 |  7552298 |     3041   6170 |        0 |        0
1090.50/1090.90	c 1090s |      25 |  9837667 |  7566198 |     3041   6179 |        0 |        0
1092.50/1092.90	c 1092s |      25 |  9856394 |  7580598 |     3041   6188 |        0 |        0
1094.50/1094.90	c 1094s |      25 |  9875457 |  7595098 |     3041   6197 |        0 |        0
1094.90/1095.35	c 1095s |      26 |  9878851 |  7597752 |     3041   6198 |        0 |        0
1096.90/1097.36	c 1097s |      26 |  9894732 |  7610452 |     3041   6206 |        0 |        0
1098.90/1099.36	c 1099s |      26 |  9911021 |  7623152 |     3041   6214 |        0 |        0
1100.90/1101.37	c 1101s |      26 |  9926398 |  7635452 |     3041   6221 |        0 |        0
1102.90/1103.39	c 1103s |      26 |  9942735 |  7648452 |     3041   6229 |        0 |        0
1105.00/1105.40	c 1105s |      26 |  9958819 |  7660952 |     3041   6237 |        0 |        0
1106.99/1107.41	c 1107s |      26 |  9977058 |  7674952 |     3041   6246 |        0 |        0
1108.99/1109.42	c 1109s |      26 |  9992666 |  7687352 |     3041   6253 |        0 |        0
1110.99/1111.42	c 1111s |      26 | 10008426 |  7699452 |     3041   6261 |        0 |        0
1113.01/1113.44	c 1113s |      26 | 10024369 |  7711952 |     3041   6268 |        0 |        0
1115.00/1115.44	c 1115s |      26 | 10041631 |  7724952 |     3041   6276 |        0 |        0
1117.00/1117.45	c 1117s |      26 | 10059981 |  7738752 |     3041   6285 |        0 |        0
1119.00/1119.46	c 1119s |      26 | 10076205 |  7751352 |     3041   6292 |        0 |        0
1121.00/1121.46	c 1121s |      26 | 10092104 |  7763952 |     3041   6300 |        0 |        0
1123.01/1123.47	c 1123s |      26 | 10108166 |  7776052 |     3041   6307 |        0 |        0
1125.00/1125.49	c 1125s |      26 | 10124832 |  7788752 |     3041   6315 |        0 |        0
1127.00/1127.50	c 1127s |      26 | 10141260 |  7801552 |     3041   6323 |        0 |        0
1129.10/1129.50	c 1129s |      26 | 10158028 |  7814452 |     3041   6331 |        0 |        0
1131.10/1131.52	c 1131s |      26 | 10173732 |  7826952 |     3041   6338 |        0 |        0
1133.09/1133.52	c 1133s |      26 | 10189085 |  7839252 |     3041   6346 |        0 |        0
1135.10/1135.54	c 1135s |      26 | 10205094 |  7851552 |     3041   6353 |        0 |        0
1137.09/1137.54	c 1137s |      26 | 10220925 |  7863852 |     3041   6361 |        0 |        0
1139.09/1139.55	c 1139s |      26 | 10237367 |  7876452 |     3041   6369 |        0 |        0
1141.09/1141.57	c 1141s |      26 | 10255011 |  7889752 |     3041   6377 |        0 |        0
1143.09/1143.58	c 1143s |      26 | 10271361 |  7902852 |     3041   6385 |        0 |        0
1145.09/1145.58	c 1145s |      26 | 10288263 |  7915952 |     3041   6393 |        0 |        0
1147.10/1147.59	c 1147s |      26 | 10306340 |  7929452 |     3041   6401 |        0 |        0
1149.09/1149.59	c 1149s |      26 | 10322346 |  7941952 |     3041   6409 |        0 |        0
1151.19/1151.60	c 1151s |      26 | 10340609 |  7955452 |     3041   6417 |        0 |        0
1153.19/1153.61	c 1153s |      26 | 10357644 |  7968552 |     3041   6425 |        0 |        0
1155.19/1155.63	c 1155s |      26 | 10373155 |  7981052 |     3041   6433 |        0 |        0
1157.19/1157.64	c 1157s |      26 | 10391777 |  7995152 |     3041   6442 |        0 |        0
1159.19/1159.66	c 1159s |      26 | 10411263 |  8009652 |     3041   6451 |        0 |        0
1161.19/1161.68	c 1161s |      26 | 10428823 |  8022952 |     3041   6459 |        0 |        0
1163.19/1163.69	c 1163s |      26 | 10446204 |  8036052 |     3041   6467 |        0 |        0
1165.29/1165.70	c 1165s |      26 | 10463802 |  8048952 |     3041   6475 |        0 |        0
1167.29/1167.71	c 1167s |      26 | 10481136 |  8062152 |     3041   6483 |        0 |        0
1169.30/1169.73	c 1169s |      26 | 10496630 |  8074252 |     3041   6490 |        0 |        0
1171.30/1171.73	c 1171s |      26 | 10511730 |  8085452 |     3041   6497 |        0 |        0
1173.29/1173.74	c 1173s |      26 | 10526391 |  8096852 |     3041   6504 |        0 |        0
1175.29/1175.75	c 1175s |      26 | 10542705 |  8109152 |     3041   6511 |        0 |        0
1177.29/1177.76	c 1177s |      26 | 10558902 |  8121852 |     3041   6519 |        0 |        0
1179.29/1179.76	c 1179s |      26 | 10575095 |  8134552 |     3041   6527 |        0 |        0
1181.30/1181.77	c 1181s |      26 | 10590585 |  8146152 |     3041   6534 |        0 |        0
1183.29/1183.78	c 1183s |      26 | 10608708 |  8159352 |     3041   6542 |        0 |        0
1185.29/1185.78	c 1185s |      26 | 10627058 |  8172452 |     3041   6551 |        0 |        0
1187.29/1187.78	c 1187s |      26 | 10642542 |  8184152 |     3041   6558 |        0 |        0
1189.39/1189.80	c 1189s |      26 | 10659838 |  8196952 |     3041   6566 |        0 |        0
1191.39/1191.81	c 1191s |      26 | 10678723 |  8211352 |     3041   6575 |        0 |        0
1193.39/1193.81	c 1193s |      26 | 10696130 |  8224452 |     3041   6583 |        0 |        0
1195.39/1195.81	c 1195s |      26 | 10714690 |  8237652 |     3041   6591 |        0 |        0
1197.39/1197.81	c 1197s |      26 | 10730664 |  8250352 |     3041   6599 |        0 |        0
1199.39/1199.82	c 1199s |      26 | 10748124 |  8263552 |     3041   6607 |        0 |        0
1201.39/1201.83	c 1201s |      26 | 10764767 |  8276152 |     3041   6615 |        0 |        0
1203.39/1203.83	c 1203s |      26 | 10783062 |  8289252 |     3041   6623 |        0 |        0
1205.39/1205.84	c 1205s |      26 | 10801943 |  8302452 |     3041   6631 |        0 |        0
1207.38/1207.85	c 1207s |      26 | 10818902 |  8314952 |     3041   6639 |        0 |        0
1209.38/1209.85	c 1209s |      26 | 10836893 |  8328952 |     3041   6648 |        0 |        0
1211.38/1211.87	c 1211s |      26 | 10854059 |  8341652 |     3041   6655 |        0 |        0
1213.38/1213.88	c 1213s |      26 | 10872022 |  8355252 |     3041   6664 |        0 |        0
1215.39/1215.89	c 1215s |      26 | 10887513 |  8367252 |     3041   6671 |        0 |        0
1217.49/1217.91	c 1217s |      26 | 10905695 |  8380652 |     3041   6679 |        0 |        0
1219.48/1219.92	c 1219s |      26 | 10922803 |  8393852 |     3041   6687 |        0 |        0
1221.48/1221.92	c 1221s |      26 | 10941730 |  8407752 |     3041   6696 |        0 |        0
1223.48/1223.95	c 1223s |      26 | 10958533 |  8420252 |     3041   6704 |        0 |        0
1225.48/1225.96	c 1225s |      26 | 10974894 |  8432952 |     3041   6711 |        0 |        0
1227.49/1227.96	c 1227s |      26 | 10991653 |  8445752 |     3041   6719 |        0 |        0
1229.48/1229.98	c 1229s |      26 | 11008509 |  8458552 |     3041   6727 |        0 |        0
1231.48/1231.98	c 1231s |      26 | 11025811 |  8471652 |     3041   6735 |        0 |        0
1233.48/1233.99	c 1233s |      26 | 11043318 |  8484952 |     3041   6743 |        0 |        0
1235.58/1236.00	c 1235s |      26 | 11062258 |  8498652 |     3041   6752 |        0 |        0
1237.58/1238.00	c 1237s |      26 | 11079200 |  8511452 |     3041   6760 |        0 |        0
1239.59/1240.01	c 1239s |      26 | 11096815 |  8525252 |     3041   6768 |        0 |        0
1241.58/1242.02	c 1241s |      26 | 11114076 |  8538452 |     3041   6776 |        0 |        0
1243.58/1244.03	c 1244s |      26 | 11130890 |  8551652 |     3041   6784 |        0 |        0
1245.58/1246.05	c 1246s |      26 | 11147227 |  8564152 |     3041   6792 |        0 |        0
1247.58/1248.05	c 1248s |      26 | 11165968 |  8577652 |     3041   6800 |        0 |        0
1249.58/1250.06	c 1250s |      26 | 11184216 |  8591252 |     3041   6809 |        0 |        0
1251.58/1252.07	c 1252s |      26 | 11203004 |  8604652 |     3041   6817 |        0 |        0
1253.57/1254.08	c 1254s |      26 | 11220202 |  8617952 |     3041   6825 |        0 |        0
1255.57/1256.09	c 1256s |      26 | 11236688 |  8630752 |     3041   6833 |        0 |        0
1257.57/1258.09	c 1258s |      26 | 11255138 |  8645052 |     3041   6842 |        0 |        0
1259.67/1260.10	c 1260s |      26 | 11270627 |  8657252 |     3041   6850 |        0 |        0
1261.67/1262.10	c 1262s |      26 | 11286100 |  8669952 |     3041   6857 |        0 |        0
1263.68/1264.10	c 1264s |      26 | 11302322 |  8682752 |     3041   6865 |        0 |        0
1265.67/1266.11	c 1266s |      26 | 11317768 |  8694752 |     3041   6873 |        0 |        0
1267.68/1268.11	c 1268s |      26 | 11333801 |  8707352 |     3041   6880 |        0 |        0
1269.68/1270.11	c 1270s |      26 | 11351864 |  8721152 |     3041   6889 |        0 |        0
1271.67/1272.12	c 1272s |      26 | 11367036 |  8733152 |     3041   6896 |        0 |        0
1273.68/1274.12	c 1274s |      26 | 11384443 |  8745952 |     3041   6904 |        0 |        0
1275.67/1276.13	c 1276s |      26 | 11401927 |  8759352 |     3041   6912 |        0 |        0
1277.67/1278.14	c 1278s |      26 | 11420685 |  8772852 |     3041   6921 |        0 |        0
1279.67/1280.16	c 1280s |      26 | 11439644 |  8786852 |     3041   6929 |        0 |        0
1281.67/1282.17	c 1282s |      26 | 11458356 |  8800252 |     3041   6937 |        0 |        0
1283.67/1284.18	c 1284s |      26 | 11476115 |  8813952 |     3041   6946 |        0 |        0
1285.68/1286.19	c 1286s |      26 | 11493080 |  8826852 |     3041   6954 |        0 |        0
1287.77/1288.20	c 1288s |      26 | 11509552 |  8839452 |     3041   6961 |        0 |        0
1289.77/1290.21	c 1290s |      26 | 11526254 |  8852352 |     3041   6969 |        0 |        0
1291.77/1292.21	c 1292s |      26 | 11543954 |  8865652 |     3041   6978 |        0 |        0
1293.77/1294.22	c 1294s |      26 | 11561059 |  8878652 |     3041   6986 |        0 |        0
1295.77/1296.23	c 1296s |      26 | 11579547 |  8892552 |     3041   6994 |        0 |        0
1297.78/1298.24	c 1298s |      26 | 11596285 |  8905452 |     3041   7002 |        0 |        0
1299.77/1300.24	c 1300s |      26 | 11614883 |  8919252 |     3041   7011 |        0 |        0
1301.77/1302.24	c 1302s |      26 | 11633420 |  8932952 |     3041   7019 |        0 |        0
1303.77/1304.26	c 1304s |      26 | 11651993 |  8946752 |     3041   7028 |        0 |        0
1305.77/1306.27	c 1306s |      26 | 11669419 |  8960052 |     3041   7036 |        0 |        0
1307.77/1308.27	c 1308s |      26 | 11687056 |  8973252 |     3041   7044 |        0 |        0
1309.76/1310.27	c 1310s |      26 | 11704995 |  8986352 |     3041   7052 |        0 |        0
1311.76/1312.29	c 1312s |      26 | 11722506 |  8999352 |     3041   7060 |        0 |        0
1313.76/1314.29	c 1314s |      26 | 11739988 |  9012452 |     3041   7068 |        0 |        0
1315.86/1316.31	c 1316s |      26 | 11758026 |  9025752 |     3041   7076 |        0 |        0
1317.86/1318.32	c 1318s |      26 | 11775701 |  9039152 |     3041   7085 |        0 |        0
1319.88/1320.32	c 1320s |      26 | 11794807 |  9052852 |     3041   7093 |        0 |        0
1321.87/1322.33	c 1322s |      26 | 11813228 |  9066352 |     3041   7102 |        0 |        0
1323.87/1324.34	c 1324s |      26 | 11831301 |  9079852 |     3041   7110 |        0 |        0
1325.87/1326.34	c 1326s |      26 | 11848520 |  9092852 |     3041   7118 |        0 |        0
1327.87/1328.35	c 1328s |      26 | 11864623 |  9105052 |     3041   7125 |        0 |        0
1329.87/1330.36	c 1330s |      26 | 11881707 |  9117852 |     3041   7133 |        0 |        0
1331.87/1332.38	c 1332s |      26 | 11897971 |  9130252 |     3041   7141 |        0 |        0
1333.87/1334.39	c 1334s |      26 | 11915046 |  9143052 |     3041   7149 |        0 |        0
1335.97/1336.41	c 1336s |      26 | 11930458 |  9155552 |     3041   7157 |        0 |        0
1337.97/1338.42	c 1338s |      26 | 11945950 |  9168152 |     3041   7164 |        0 |        0
1339.97/1340.43	c 1340s |      26 | 11962564 |  9180752 |     3041   7172 |        0 |        0
1341.97/1342.45	c 1342s |      26 | 11977508 |  9192452 |     3041   7179 |        0 |        0
1343.97/1344.46	c 1344s |      26 | 11992384 |  9204052 |     3041   7186 |        0 |        0
1345.96/1346.48	c 1346s |      26 | 12008944 |  9216252 |     3041   7194 |        0 |        0
1347.96/1348.49	c 1348s |      26 | 12024777 |  9227852 |     3041   7201 |        0 |        0
1349.96/1350.50	c 1350s |      26 | 12042434 |  9240752 |     3041   7209 |        0 |        0
1352.06/1352.50	c 1352s |      26 | 12058212 |  9252952 |     3041   7217 |        0 |        0
1354.06/1354.52	c 1354s |      26 | 12074889 |  9265552 |     3041   7225 |        0 |        0
1356.07/1356.52	c 1356s |      26 | 12091721 |  9278152 |     3041   7232 |        0 |        0
1358.06/1358.54	c 1358s |      26 | 12106435 |  9290152 |     3041   7240 |        0 |        0
1360.06/1360.55	c 1360s |      26 | 12119703 |  9301352 |     3041   7246 |        0 |        0
1362.06/1362.55	c 1362s |      26 | 12136789 |  9314352 |     3041   7255 |        0 |        0
1364.06/1364.56	c 1364s |      26 | 12155210 |  9327752 |     3041   7263 |        0 |        0
1366.07/1366.56	c 1366s |      26 | 12171884 |  9340152 |     3041   7271 |        0 |        0
1368.06/1368.57	c 1368s |      26 | 12190135 |  9353252 |     3041   7279 |        0 |        0
1370.06/1370.58	c 1370s |      26 | 12206783 |  9366052 |     3041   7287 |        0 |        0
1372.06/1372.59	c 1372s |      26 | 12224173 |  9379052 |     3041   7295 |        0 |        0
1374.06/1374.59	c 1374s |      26 | 12241226 |  9391752 |     3041   7303 |        0 |        0
1376.16/1376.60	c 1376s |      26 | 12257960 |  9404752 |     3041   7311 |        0 |        0
1378.16/1378.61	c 1378s |      26 | 12276177 |  9418352 |     3041   7319 |        0 |        0
1380.16/1380.61	c 1380s |      26 | 12293119 |  9430752 |     3041   7327 |        0 |        0
1382.15/1382.63	c 1382s |      26 | 12309299 |  9442952 |     3041   7334 |        0 |        0
1384.15/1384.63	c 1384s |      26 | 12325206 |  9454952 |     3041   7342 |        0 |        0
1386.15/1386.64	c 1386s |      26 | 12343352 |  9468852 |     3041   7351 |        0 |        0
1388.15/1388.65	c 1388s |      26 | 12360283 |  9481652 |     3041   7359 |        0 |        0
1390.16/1390.65	c 1390s |      26 | 12375494 |  9493352 |     3041   7366 |        0 |        0
1392.15/1392.66	c 1392s |      26 | 12391323 |  9505452 |     3041   7373 |        0 |        0
1394.15/1394.67	c 1394s |      26 | 12406892 |  9517152 |     3041   7381 |        0 |        0
1396.15/1396.68	c 1396s |      26 | 12423226 |  9529052 |     3041   7388 |        0 |        0
1398.15/1398.68	c 1398s |      26 | 12437920 |  9540552 |     3041   7395 |        0 |        0
1400.16/1400.69	c 1400s |      26 | 12453253 |  9552352 |     3041   7402 |        0 |        0
1402.26/1402.71	c 1402s |      26 | 12468294 |  9563652 |     3041   7410 |        0 |        0
1404.25/1404.71	c 1404s |      26 | 12484660 |  9576152 |     3041   7417 |        0 |        0
1406.25/1406.72	c 1406s |      26 | 12497546 |  9586452 |     3041   7424 |        0 |        0
1408.25/1408.73	c 1408s |      26 | 12514257 |  9598252 |     3041   7431 |        0 |        0
1410.25/1410.73	c 1410s |      26 | 12530065 |  9609952 |     3041   7438 |        0 |        0
1412.26/1412.74	c 1412s |      26 | 12546042 |  9622052 |     3041   7446 |        0 |        0
1414.25/1414.75	c 1414s |      26 | 12562203 |  9634052 |     3041   7453 |        0 |        0
1416.25/1416.75	c 1416s |      26 | 12577635 |  9645752 |     3041   7461 |        0 |        0
1418.25/1418.76	c 1418s |      26 | 12593551 |  9657652 |     3041   7468 |        0 |        0
1420.25/1420.76	c 1420s |      26 | 12608263 |  9669052 |     3041   7475 |        0 |        0
1422.25/1422.77	c 1422s |      26 | 12623183 |  9680452 |     3041   7482 |        0 |        0
1424.26/1424.78	c 1424s |      26 | 12638848 |  9692052 |     3041   7489 |        0 |        0
1426.26/1426.78	c 1426s |      26 | 12654429 |  9703852 |     3041   7497 |        0 |        0
1428.25/1428.79	c 1428s |      26 | 12671333 |  9715952 |     3041   7504 |        0 |        0
1430.25/1430.79	c 1430s |      26 | 12687989 |  9727952 |     3041   7512 |        0 |        0
1432.35/1432.80	c 1432s |      26 | 12704310 |  9740152 |     3041   7519 |        0 |        0
1434.35/1434.81	c 1434s |      26 | 12721400 |  9753152 |     3041   7527 |        0 |        0
1436.36/1436.82	c 1436s |      26 | 12737568 |  9765252 |     3041   7535 |        0 |        0
1438.35/1438.83	c 1438s |      26 | 12752268 |  9776752 |     3041   7542 |        0 |        0
1440.35/1440.83	c 1440s |      26 | 12766787 |  9787652 |     3041   7549 |        0 |        0
1442.35/1442.84	c 1442s |      26 | 12781850 |  9798852 |     3041   7556 |        0 |        0
1444.35/1444.85	c 1444s |      26 | 12797020 |  9810352 |     3041   7563 |        0 |        0
1446.36/1446.87	c 1446s |      26 | 12813510 |  9822652 |     3041   7571 |        0 |        0
1448.35/1448.88	c 1448s |      26 | 12829798 |  9835052 |     3041   7578 |        0 |        0
1450.35/1450.89	c 1450s |      26 | 12847220 |  9847852 |     3041   7586 |        0 |        0
1452.35/1452.89	c 1452s |      26 | 12864376 |  9860352 |     3041   7594 |        0 |        0
1454.45/1454.92	c 1454s |      26 | 12880443 |  9872852 |     3041   7602 |        0 |        0
1456.45/1456.93	c 1456s |      26 | 12899073 |  9886752 |     3041   7610 |        0 |        0
1458.45/1458.94	c 1458s |      26 | 12914324 |  9898352 |     3041   7617 |        0 |        0
1460.45/1460.95	c 1460s |      26 | 12931741 |  9911552 |     3041   7626 |        0 |        0
1462.45/1462.95	c 1462s |      26 | 12949533 |  9925252 |     3041   7634 |        0 |        0
1464.45/1464.96	c 1464s |      26 | 12965065 |  9937552 |     3041   7642 |        0 |        0
1466.45/1466.98	c 1466s |      26 | 12981795 |  9950152 |     3041   7649 |        0 |        0
1468.45/1468.98	c 1468s |      26 | 12997438 |  9961952 |     3041   7657 |        0 |        0
1470.45/1470.99	c 1470s |      26 | 13012965 |  9973252 |     3041   7664 |        0 |        0
1472.55/1473.00	c 1472s |      26 | 13030903 |  9986652 |     3041   7672 |        0 |        0
1474.54/1475.02	c 1475s |      26 | 13046274 |  9998752 |     3041   7680 |        0 |        0
1476.54/1477.02	c 1477s |      26 | 13061549 | 10009752 |     3041   7686 |        0 |        0
1478.54/1479.03	c 1479s |      26 | 13076016 | 10020552 |     3041   7693 |        0 |        0
1480.54/1481.03	c 1481s |      26 | 13092631 | 10033152 |     3041   7701 |        0 |        0
1482.55/1483.03	c 1483s |      26 | 13108649 | 10045252 |     3041   7708 |        0 |        0
1484.54/1485.03	c 1485s |      26 | 13123840 | 10056652 |     3041   7716 |        0 |        0
1486.54/1487.04	c 1487s |      26 | 13141807 | 10069652 |     3041   7724 |        0 |        0
1488.54/1489.05	c 1489s |      26 | 13158500 | 10082552 |     3041   7731 |        0 |        0
1490.54/1491.05	c 1491s |      26 | 13174966 | 10095152 |     3041   7739 |        0 |        0
1492.55/1493.06	c 1493s |      26 | 13191343 | 10108052 |     3041   7747 |        0 |        0
1494.54/1495.06	c 1495s |      26 | 13207526 | 10120652 |     3041   7755 |        0 |        0
1496.54/1497.07	c 1497s |      26 | 13223949 | 10133152 |     3041   7762 |        0 |        0
1498.54/1499.09	c 1499s |      26 | 13238859 | 10144552 |     3041   7770 |        0 |        0
1500.54/1501.09	c 1501s |      26 | 13256562 | 10157652 |     3041   7778 |        0 |        0
1502.54/1503.10	c 1503s |      26 | 13270776 | 10168852 |     3041   7785 |        0 |        0
1504.64/1505.11	c 1505s |      26 | 13285155 | 10180452 |     3041   7792 |        0 |        0
1506.63/1507.11	c 1507s |      26 | 13301189 | 10192052 |     3041   7799 |        0 |        0
1508.63/1509.13	c 1509s |      26 | 13315272 | 10202752 |     3041   7806 |        0 |        0
1510.63/1511.14	c 1511s |      26 | 13329630 | 10214052 |     3041   7813 |        0 |        0
1512.63/1513.16	c 1513s |      26 | 13343081 | 10225252 |     3041   7819 |        0 |        0
1514.63/1515.16	c 1515s |      26 | 13360472 | 10237752 |     3041   7827 |        0 |        0
1516.64/1517.17	c 1517s |      26 | 13376534 | 10249552 |     3041   7834 |        0 |        0
1518.64/1519.18	c 1519s |      26 | 13393891 | 10262652 |     3041   7843 |        0 |        0
1520.64/1521.19	c 1521s |      26 | 13410512 | 10275852 |     3041   7851 |        0 |        0
1522.64/1523.19	c 1523s |      26 | 13426839 | 10288652 |     3041   7859 |        0 |        0
1524.64/1525.19	c 1525s |      26 | 13443479 | 10301452 |     3041   7866 |        0 |        0
1526.74/1527.20	c 1527s |      26 | 13460577 | 10314652 |     3041   7875 |        0 |        0
1528.75/1529.20	c 1529s |      26 | 13476807 | 10326952 |     3041   7882 |        0 |        0
1530.74/1531.21	c 1531s |      26 | 13491223 | 10338452 |     3041   7889 |        0 |        0
1532.74/1533.22	c 1533s |      26 | 13507134 | 10350752 |     3041   7897 |        0 |        0
1534.74/1535.23	c 1535s |      26 | 13521737 | 10362252 |     3041   7904 |        0 |        0
1536.74/1537.24	c 1537s |      26 | 13536582 | 10373752 |     3041   7911 |        0 |        0
1538.74/1539.25	c 1539s |      26 | 13552107 | 10385352 |     3041   7918 |        0 |        0
1540.74/1541.26	c 1541s |      26 | 13567808 | 10397452 |     3041   7926 |        0 |        0
1542.73/1543.28	c 1543s |      26 | 13583681 | 10408352 |     3041   7932 |        0 |        0
1544.73/1545.29	c 1545s |      26 | 13599524 | 10420052 |     3041   7940 |        0 |        0
1546.83/1547.30	c 1547s |      26 | 13614847 | 10431852 |     3041   7947 |        0 |        0
1548.83/1549.32	c 1549s |      26 | 13629180 | 10442652 |     3041   7954 |        0 |        0
1550.84/1551.32	c 1551s |      26 | 13644130 | 10453852 |     3041   7961 |        0 |        0
1552.83/1553.33	c 1553s |      26 | 13659028 | 10465252 |     3041   7968 |        0 |        0
1554.83/1555.34	c 1555s |      26 | 13674780 | 10476452 |     3041   7975 |        0 |        0
1556.83/1557.35	c 1557s |      26 | 13692107 | 10489552 |     3041   7983 |        0 |        0
1558.83/1559.37	c 1559s |      26 | 13710800 | 10503152 |     3041   7991 |        0 |        0
1560.83/1561.37	c 1561s |      26 | 13728075 | 10516252 |     3041   7999 |        0 |        0
1562.83/1563.38	c 1563s |      26 | 13743664 | 10528252 |     3041   8007 |        0 |        0
1564.83/1565.39	c 1565s |      26 | 13761678 | 10541652 |     3041   8015 |        0 |        0
1566.93/1567.41	c 1567s |      26 | 13776983 | 10553752 |     3041   8023 |        0 |        0
1568.93/1569.42	c 1569s |      26 | 13792894 | 10565452 |     3041   8030 |        0 |        0
1570.93/1571.42	c 1571s |      26 | 13808903 | 10577652 |     3041   8037 |        0 |        0
1572.92/1573.44	c 1573s |      26 | 13826045 | 10590752 |     3041   8046 |        0 |        0
1574.93/1575.45	c 1575s |      26 | 13844428 | 10604452 |     3041   8054 |        0 |        0
1576.92/1577.45	c 1577s |      26 | 13863244 | 10618052 |     3041   8063 |        0 |        0
1578.92/1579.45	c 1579s |      26 | 13882183 | 10631752 |     3041   8071 |        0 |        0
1580.92/1581.46	c 1581s |      26 | 13897942 | 10643552 |     3041   8078 |        0 |        0
1582.92/1583.48	c 1583s |      26 | 13916034 | 10656652 |     3041   8086 |        0 |        0
1584.93/1585.48	c 1585s |      26 | 13933102 | 10669152 |     3041   8094 |        0 |        0
1586.92/1587.50	c 1587s |      26 | 13946877 | 10680652 |     3041   8101 |        0 |        0
1589.02/1589.51	c 1589s |      26 | 13960827 | 10692052 |     3041   8108 |        0 |        0
1591.02/1591.51	c 1591s |      26 | 13975398 | 10703652 |     3041   8116 |        0 |        0
1593.02/1593.51	c 1593s |      26 | 13991460 | 10715852 |     3041   8123 |        0 |        0
1595.02/1595.51	c 1595s |      26 | 14007604 | 10727952 |     3041   8131 |        0 |        0
1597.03/1597.53	c 1597s |      26 | 14024562 | 10740452 |     3041   8139 |        0 |        0
1599.02/1599.54	c 1599s |      26 | 14041068 | 10752752 |     3041   8146 |        0 |        0
1601.02/1601.56	c 1601s |      26 | 14056157 | 10764252 |     3041   8153 |        0 |        0
1603.02/1603.56	c 1603s |      26 | 14073305 | 10776452 |     3041   8161 |        0 |        0
1605.02/1605.58	c 1605s |      26 | 14089622 | 10788352 |     3041   8168 |        0 |        0
1607.02/1607.59	c 1607s |      26 | 14103883 | 10799952 |     3041   8175 |        0 |        0
1609.13/1609.61	c 1609s |      26 | 14120121 | 10812652 |     3041   8183 |        0 |        0
1611.13/1611.62	c 1611s |      26 | 14132891 | 10823152 |     3041   8190 |        0 |        0
1613.13/1613.63	c 1613s |      26 | 14146998 | 10834452 |     3041   8197 |        0 |        0
1615.13/1615.64	c 1615s |      26 | 14163713 | 10847152 |     3041   8205 |        0 |        0
1617.13/1617.65	c 1617s |      26 | 14180131 | 10859952 |     3041   8213 |        0 |        0
1619.13/1619.65	c 1619s |      26 | 14197465 | 10872952 |     3041   8221 |        0 |        0
1621.13/1621.65	c 1621s |      26 | 14215414 | 10886252 |     3041   8229 |        0 |        0
1623.12/1623.66	c 1623s |      26 | 14231826 | 10898252 |     3041   8236 |        0 |        0
1625.12/1625.66	c 1625s |      26 | 14248947 | 10910952 |     3041   8244 |        0 |        0
1627.12/1627.68	c 1627s |      26 | 14267073 | 10924152 |     3041   8253 |        0 |        0
1629.12/1629.69	c 1629s |      26 | 14283937 | 10936852 |     3041   8260 |        0 |        0
1631.22/1631.70	c 1631s |      26 | 14301578 | 10950052 |     3041   8269 |        0 |        0
1633.23/1633.72	c 1633s |      26 | 14315514 | 10961252 |     3041   8276 |        0 |        0
1635.22/1635.73	c 1635s |      26 | 14330966 | 10972652 |     3041   8283 |        0 |        0
1637.22/1637.73	c 1637s |      26 | 14345725 | 10984252 |     3041   8290 |        0 |        0
1639.22/1639.73	c 1639s |      26 | 14362957 | 10996752 |     3041   8298 |        0 |        0
1641.22/1641.74	c 1641s |      26 | 14380176 | 11009552 |     3041   8305 |        0 |        0
1643.23/1643.74	c 1643s |      26 | 14398189 | 11022752 |     3041   8314 |        0 |        0
1645.22/1645.76	c 1645s |      26 | 14412192 | 11034752 |     3041   8321 |        0 |        0
1647.22/1647.76	c 1647s |      26 | 14426810 | 11046752 |     3041   8328 |        0 |        0
1649.22/1649.76	c 1649s |      26 | 14442818 | 11059352 |     3041   8336 |        0 |        0
1651.22/1651.76	c 1651s |      26 | 14459810 | 11072652 |     3041   8345 |        0 |        0
1653.22/1653.76	c 1653s |      26 | 14477556 | 11085852 |     3041   8353 |        0 |        0
1655.22/1655.77	c 1655s |      26 | 14493896 | 11098352 |     3041   8360 |        0 |        0
1657.22/1657.79	c 1657s |      26 | 14509653 | 11110152 |     3041   8368 |        0 |        0
1659.32/1659.80	c 1659s |      26 | 14525739 | 11122752 |     3041   8375 |        0 |        0
1661.32/1661.80	c 1661s |      26 | 14541596 | 11135552 |     3041   8383 |        0 |        0
1663.31/1663.81	c 1663s |      26 | 14559596 | 11149252 |     3041   8391 |        0 |        0
1665.31/1665.81	c 1665s |      26 | 14576332 | 11161852 |     3041   8399 |        0 |        0
1667.32/1667.82	c 1667s |      26 | 14591623 | 11173852 |     3041   8406 |        0 |        0
1669.31/1669.83	c 1669s |      26 | 14607485 | 11186452 |     3041   8414 |        0 |        0
1671.31/1671.84	c 1671s |      26 | 14623594 | 11198852 |     3041   8422 |        0 |        0
1673.31/1673.84	c 1673s |      26 | 14640483 | 11211552 |     3041   8430 |        0 |        0
1675.31/1675.87	c 1675s |      26 | 14657026 | 11224552 |     3041   8438 |        0 |        0
1677.32/1677.87	c 1677s |      26 | 14674343 | 11237552 |     3041   8446 |        0 |        0
1679.31/1679.87	c 1679s |      26 | 14691700 | 11250852 |     3041   8454 |        0 |        0
1681.31/1681.89	c 1681s |      26 | 14710317 | 11264652 |     3041   8462 |        0 |        0
1683.41/1683.90	c 1683s |      26 | 14725872 | 11277352 |     3041   8470 |        0 |        0
1685.41/1685.90	c 1685s |      26 | 14742608 | 11290452 |     3041   8478 |        0 |        0
1687.41/1687.91	c 1687s |      26 | 14759569 | 11303552 |     3041   8486 |        0 |        0
1689.41/1689.92	c 1689s |      26 | 14777890 | 11316452 |     3346   8494 |        0 |        0
1691.41/1691.93	c 1691s |      26 | 14792996 | 11328152 |     3346   8501 |        0 |        0
1693.41/1693.94	c 1693s |      26 | 14808740 | 11340452 |     3346   8508 |        0 |        0
1695.41/1695.94	c 1695s |      26 | 14825724 | 11353352 |     3346   8515 |        0 |        0
1697.41/1697.95	c 1697s |      26 | 14843095 | 11366552 |     3346   8523 |        0 |        0
1699.41/1699.96	c 1699s |      26 | 14861114 | 11380252 |     3346   8530 |        0 |        0
1701.41/1701.97	c 1701s |      26 | 14876280 | 11392052 |     3346   8537 |        0 |        0
1702.11/1702.69	c 1702s |      27 | 14882135 | 11396733 |     3346   8540 |        0 |        0
1704.20/1704.70	c 1704s |      27 | 14896788 | 11408633 |     3346   8546 |        0 |        0
1706.20/1706.71	c 1706s |      27 | 14910780 | 11419533 |     3346   8553 |        0 |        0
1708.20/1708.71	c 1708s |      27 | 14926107 | 11431133 |     3346   8559 |        0 |        0
1710.21/1710.73	c 1710s |      27 | 14941074 | 11442733 |     3346   8566 |        0 |        0
1712.21/1712.73	c 1712s |      27 | 14955004 | 11453533 |     3346   8572 |        0 |        0
1714.21/1714.74	c 1714s |      27 | 14970675 | 11465333 |     3346   8578 |        0 |        0
1716.21/1716.75	c 1716s |      27 | 14986378 | 11477433 |     3346   8585 |        0 |        0
1718.21/1718.77	c 1718s |      27 | 15001690 | 11489133 |     3346   8592 |        0 |        0
1720.22/1720.78	c 1720s |      27 | 15016132 | 11500533 |     3346   8598 |        0 |        0
1722.21/1722.80	c 1722s |      27 | 15030909 | 11512033 |     3346   8604 |        0 |        0
1724.31/1724.80	c 1724s |      27 | 15044329 | 11522133 |     3346   8610 |        0 |        0
1726.31/1726.80	c 1726s |      27 | 15058518 | 11533233 |     3346   8616 |        0 |        0
1728.31/1728.82	c 1728s |      27 | 15073230 | 11544433 |     3346   8622 |        0 |        0
1730.31/1730.83	c 1730s |      27 | 15088050 | 11556033 |     3346   8629 |        0 |        0
1732.31/1732.84	c 1732s |      27 | 15103851 | 11568333 |     3346   8636 |        0 |        0
1734.30/1734.84	c 1734s |      27 | 15117764 | 11579233 |     3346   8642 |        0 |        0
1736.30/1736.86	c 1736s |      27 | 15131526 | 11590233 |     3346   8648 |        0 |        0
1738.30/1738.87	c 1738s |      27 | 15144983 | 11601133 |     3346   8654 |        0 |        0
1740.30/1740.87	c 1740s |      27 | 15160239 | 11612733 |     3346   8661 |        0 |        0
1742.30/1742.89	c 1742s |      27 | 15175385 | 11624733 |     3346   8667 |        0 |        0
1744.31/1744.89	c 1744s |      27 | 15190157 | 11636033 |     3346   8674 |        0 |        0
1746.40/1746.90	c 1746s |      27 | 15205165 | 11647733 |     3346   8680 |        0 |        0
1748.40/1748.92	c 1748s |      27 | 15220713 | 11659733 |     3346   8687 |        0 |        0
1750.40/1750.92	c 1750s |      27 | 15236365 | 11671333 |     3346   8694 |        0 |        0
1752.40/1752.94	c 1752s |      27 | 15252129 | 11683333 |     3346   8700 |        0 |        0
1754.40/1754.95	c 1754s |      27 | 15267005 | 11695433 |     3346   8707 |        0 |        0
1756.41/1756.96	c 1756s |      27 | 15283246 | 11707533 |     3346   8714 |        0 |        0
1758.40/1758.98	c 1758s |      27 | 15298500 | 11719333 |     3346   8720 |        0 |        0
1760.40/1760.99	c 1760s |      27 | 15311418 | 11730033 |     3346   8726 |        0 |        0
1762.50/1763.00	c 1762s |      27 | 15324696 | 11740233 |     3346   8732 |        0 |        0
1764.50/1765.03	c 1765s |      27 | 15339206 | 11751533 |     3346   8739 |        0 |        0
1766.50/1767.04	c 1767s |      27 | 15353225 | 11762533 |     3346   8745 |        0 |        0
1768.50/1769.06	c 1769s |      27 | 15367547 | 11773833 |     3346   8751 |        0 |        0
1770.50/1771.06	c 1771s |      27 | 15383604 | 11786133 |     3346   8758 |        0 |        0
1772.50/1773.07	c 1773s |      27 | 15397081 | 11796433 |     3346   8764 |        0 |        0
1774.50/1775.08	c 1775s |      27 | 15414257 | 11809533 |     3346   8771 |        0 |        0
1776.50/1777.08	c 1777s |      27 | 15428435 | 11820533 |     3346   8777 |        0 |        0
1778.51/1779.09	c 1779s |      27 | 15443093 | 11831933 |     3346   8784 |        0 |        0
1780.61/1781.10	c 1781s |      27 | 15457528 | 11843533 |     3346   8790 |        0 |        0
1782.60/1783.12	c 1783s |      27 | 15471165 | 11854433 |     3346   8796 |        0 |        0
1784.60/1785.12	c 1785s |      27 | 15485769 | 11865833 |     3346   8803 |        0 |        0
1786.60/1787.12	c 1787s |      27 | 15501234 | 11877733 |     3346   8809 |        0 |        0
1788.60/1789.13	c 1789s |      27 | 15516380 | 11889333 |     3346   8816 |        0 |        0
1790.61/1791.14	c 1791s |      27 | 15532389 | 11901933 |     3346   8823 |        0 |        0
1792.60/1793.15	c 1793s |      27 | 15546666 | 11913333 |     3346   8829 |        0 |        0
1794.60/1795.16	c 1795s |      27 | 15562139 | 11924833 |     3346   8836 |        0 |        0
1796.60/1797.17	c 1797s |      27 | 15575341 | 11935633 |     3346   8842 |        0 |        0
1798.60/1799.18	c 1799s |      27 | 15590265 | 11947033 |     3346   8848 |        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-4121930-1467315858/watcher-4121930-1467315858 -o /tmp/evaluation-result-4121930-1467315858/solver-4121930-1467315858 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22697 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121930-1467315858.opb 

pid=24591
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.09 2.26 2.26 3/179 24594
/proc/meminfo: memFree=27225640/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 665 0 0 0 0 0 0 0 20 0 4 0 12537031 246870016 1029 33554432000 4194304 16246674 140735308342992 140735308342416 13389789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 60271 1037 415 2943 0 57165 0
[pid=24594/tid=24595] ppid=24591 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 246870016 1063 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 246870016 1068 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12537032 246870016 1078 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 2.09 2.26 2.26 3/179 24594
/proc/meminfo: memFree=27225640/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 23629 0 0 0 5 3 0 0 20 0 4 0 12537031 1247350784 23980 33554432000 4194304 16246674 140735308342992 140735308342416 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 304529 23987 707 2943 0 301423 0
[pid=24594/tid=24595] ppid=24591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1247350784 23991 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1247350784 23997 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12537032 1247350784 24004 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200492 s]
/proc/loadavg: 2.09 2.26 2.26 3/179 24594
/proc/meminfo: memFree=27225640/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 45485 0 0 0 13 6 0 0 20 0 4 0 12537031 1247350784 45836 33554432000 4194304 16246674 140735308342992 140735308342416 5516309 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 304529 45843 707 2943 0 301423 0
[pid=24594/tid=24595] ppid=24591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1247350784 45853 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1247350784 45857 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12537032 1247350784 45863 33554432000 4194304 16246674 140735308342992 140678459804848 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.300469 s]
/proc/loadavg: 2.09 2.26 2.26 3/179 24594
/proc/meminfo: memFree=27225640/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 67515 0 0 0 20 9 0 0 20 0 4 0 12537031 1247350784 67866 33554432000 4194304 16246674 140735308342992 140735308342416 5523315 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 304529 67876 707 2943 0 301423 0
[pid=24594/tid=24595] ppid=24591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1247350784 67882 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1247350784 67890 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12537032 1247350784 67899 33554432000 4194304 16246674 140735308342992 140678459804848 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.700389 s]
/proc/loadavg: 2.09 2.26 2.26 3/179 24594
/proc/meminfo: memFree=27225640/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 157063 0 0 0 47 22 0 0 20 0 4 0 12537031 1247350784 157413 33554432000 4194304 16246674 140735308342992 140735308324864 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 304529 157423 707 2943 0 301423 0
[pid=24594/tid=24595] ppid=24591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1247350784 157427 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1247350784 157433 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12537032 1247350784 157439 33554432000 4194304 16246674 140735308342992 140678459804848 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.50041 s]
/proc/loadavg: 2.09 2.26 2.26 3/183 24598
/proc/meminfo: memFree=26242212/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 245763 0 0 0 115 33 0 0 20 0 4 0 12537031 1248399360 246093 33554432000 4194304 16246674 140735308342992 140735308324864 5822263 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 304785 246093 784 2943 0 301679 0
[pid=24594/tid=24595] ppid=24591 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1248399360 246093 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1248399360 246093 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1248399360 246093 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.09 2.26 2.26 4/183 24598
/proc/meminfo: memFree=26156032/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 267418 0 0 0 272 36 0 0 20 0 4 0 12537031 1337528320 267748 33554432000 4194304 16246674 140735308342992 140735308325992 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 326545 267748 784 2943 0 323439 0
[pid=24594/tid=24595] ppid=24591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1337528320 267748 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1337528320 267748 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1337528320 267748 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.08 2.26 2.26 3/183 24598
/proc/meminfo: memFree=26153572/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 267802 0 0 0 592 37 0 0 20 0 4 0 12537031 1338576896 268132 33554432000 4194304 16246674 140735308342992 140735308324864 5833324 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 326801 268132 784 2943 0 323695 0
[pid=24594/tid=24595] ppid=24591 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1338576896 268132 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1338576896 268132 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1338576896 268132 33554432000 4194304 16246674 140735308342992 140678459804848 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.15 2.27 2.26 4/183 24598
/proc/meminfo: memFree=26151928/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 268080 0 0 0 1232 37 0 0 20 0 4 0 12537031 1339625472 268410 33554432000 4194304 16246674 140735308342992 140735308324864 5589602 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 327057 268410 786 2943 0 323951 0
[pid=24594/tid=24595] ppid=24591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1339625472 268410 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1339625472 268410 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1339625472 268410 33554432000 4194304 16246674 140735308342992 140678459804848 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.5004 s]
/proc/loadavg: 2.19 2.27 2.26 3/183 24598
/proc/meminfo: memFree=26152036/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1309252 CPUtime=25.49 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 268105 0 0 0 2512 37 0 0 20 0 4 0 12537031 1340674048 268435 33554432000 4194304 16246674 140735308342992 140735308325992 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 327313 268435 786 2943 0 324207 0
[pid=24594/tid=24595] ppid=24591 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1340674048 268435 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1340674048 268435 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1340674048 268435 33554432000 4194304 16246674 140735308342992 140678459804848 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) 1309252

[startup+51.1004 s]
/proc/loadavg: 2.20 2.27 2.26 3/182 24598
/proc/meminfo: memFree=26151976/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1309252 CPUtime=51.07 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 268105 0 0 0 5070 37 0 0 20 0 4 0 12537031 1340674048 268435 33554432000 4194304 16246674 140735308342992 140735308324864 5515846 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 327313 268435 786 2943 0 324207 0
[pid=24594/tid=24595] ppid=24591 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1340674048 268435 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1340674048 268435 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1340674048 268435 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1309252

[startup+102.3 s]
/proc/loadavg: 2.21 2.27 2.26 4/183 24600
/proc/meminfo: memFree=26148800/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1311300 CPUtime=102.27 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 268722 0 0 0 10189 38 0 0 20 0 4 0 12537031 1342771200 269052 33554432000 4194304 16246674 140735308342992 140735308325992 5861860 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 327825 269052 786 2943 0 324719 0
[pid=24594/tid=24595] ppid=24591 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1342771200 269052 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1342771200 269052 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1342771200 269052 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1311300


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

/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.87
Current children cumulated vsize (KiB) 1323588

[startup+1362.3 s]
/proc/loadavg: 2.37 2.30 2.28 4/183 24849
/proc/meminfo: memFree=26141092/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1323588 CPUtime=1361.86 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 272331 0 0 0 136129 57 0 0 20 0 4 0 12537031 1355354112 272254 33554432000 4194304 16246674 140735308342992 140735308324864 6011952 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 330897 272254 787 2943 0 327791 0
[pid=24594/tid=24595] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 1323588

[startup+1422.3 s]
/proc/loadavg: 2.37 2.30 2.28 3/183 24850
/proc/meminfo: memFree=26140880/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1323588 CPUtime=1421.85 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 272331 0 0 0 142128 57 0 0 20 0 4 0 12537031 1355354112 272254 33554432000 4194304 16246674 140735308342992 140735308324864 13818366 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 330897 272254 787 2943 0 327791 0
[pid=24594/tid=24595] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.85
Current children cumulated vsize (KiB) 1323588

[startup+1482.3 s]
/proc/loadavg: 2.22 2.27 2.27 3/183 24851
/proc/meminfo: memFree=26140824/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1323588 CPUtime=1481.84 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 272331 0 0 0 148126 58 0 0 20 0 4 0 12537031 1355354112 272254 33554432000 4194304 16246674 140735308342992 140735308325992 13950192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 330897 272254 787 2943 0 327791 0
[pid=24594/tid=24595] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1323588

[startup+1542.3 s]
/proc/loadavg: 2.30 2.28 2.27 4/183 24852
/proc/meminfo: memFree=26139772/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1323588 CPUtime=1541.83 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 272331 0 0 0 154124 59 0 0 20 0 4 0 12537031 1355354112 272254 33554432000 4194304 16246674 140735308342992 140735308324864 5673523 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 330897 272254 787 2943 0 327791 0
[pid=24594/tid=24595] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1323588

[startup+1602.3 s]
/proc/loadavg: 2.24 2.26 2.26 3/184 24857
/proc/meminfo: memFree=26139332/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1323588 CPUtime=1601.82 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 272331 0 0 0 160123 59 0 0 20 0 4 0 12537031 1355354112 272254 33554432000 4194304 16246674 140735308342992 140735308324864 5523000 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 330897 272254 787 2943 0 327791 0
[pid=24594/tid=24595] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.82
Current children cumulated vsize (KiB) 1323588

[startup+1662.3 s]
/proc/loadavg: 2.31 2.27 2.27 3/183 24858
/proc/meminfo: memFree=26139400/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1323588 CPUtime=1661.82 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 272331 0 0 0 166122 60 0 0 20 0 4 0 12537031 1355354112 272254 33554432000 4194304 16246674 140735308342992 140735308324864 5545776 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 330897 272254 787 2943 0 327791 0
[pid=24594/tid=24595] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1323588

[startup+1722.3 s]
/proc/loadavg: 2.33 2.28 2.27 4/183 24859
/proc/meminfo: memFree=26139752/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1323588 CPUtime=1721.81 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 272331 0 0 0 172120 61 0 0 20 0 4 0 12537031 1355354112 272254 33554432000 4194304 16246674 140735308342992 140735308324864 5754660 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 330897 272254 787 2943 0 327791 0
[pid=24594/tid=24595] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1323588

[startup+1782.31 s]
/proc/loadavg: 2.31 2.27 2.27 3/183 24860
/proc/meminfo: memFree=26140252/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1323588 CPUtime=1781.81 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 272331 0 0 0 178119 62 0 0 20 0 4 0 12537031 1355354112 272254 33554432000 4194304 16246674 140735308342992 140735308342088 5824140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 330897 272254 787 2943 0 327791 0
[pid=24594/tid=24595] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1323588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.24 2.26 2.26 3/183 24860
/proc/meminfo: memFree=26140376/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1323588 CPUtime=1800 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 272331 0 0 0 179938 62 0 0 20 0 4 0 12537031 1355354112 272254 33554432000 4194304 16246674 140735308342992 140735308324864 12478241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 330897 272254 787 2943 0 327791 0
[pid=24594/tid=24595] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1323588

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

[startup+1800.5 s]
/proc/loadavg: 2.24 2.26 2.26 3/183 24860
/proc/meminfo: memFree=26140376/32872528 swapFree=1459604/1655828
[pid=24594] ppid=24591 vsize=1323588 CPUtime=1800 cores=0,2,4,6
/proc/24594/stat : 24594 (toysat) R 24591 24594 22681 0 -1 4202496 272331 0 0 0 179938 62 0 0 20 0 4 0 12537031 1355354112 272254 33554432000 4194304 16246674 140735308342992 140735308324864 12478241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/24594/statm: 330897 272254 787 2943 0 327791 0
[pid=24594/tid=24595] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24595/stat : 24595 (toysat) S 24591 24594 22681 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678480768240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=24594/tid=24596] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24596/stat : 24596 (toysat) S 24591 24594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678470278384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=24594/tid=24597] ppid=24591 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/24594/task/24597/stat : 24597 (toysat) S 24591 24594 22681 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12537032 1355354112 272254 33554432000 4194304 16246674 140735308342992 140678459804848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1323588

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.39
CPU system time (s): 0.620905
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.620905
maximum resident set size= 1089016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272331
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= 423
involuntary context switches= 1862

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8475 second user time and 15.2027 second system time

The end

Begin job on node136 at 2016-06-30 21:44:18
IDJOB=4121930
IDBENCH=110763
IDSOLVER=2542
FILE ID=node136/4121930-1467315858
RUNJOBID= node136-1467309401-22697
PBS_JOBID= 20005289
Free space on /tmp= 71632 MiB

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

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

MD5SUM BENCH= f29f2b45fc2d5c1d439e07798545d1e1
RANDOM SEED=1926628041

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27225648 kB
Buffers:          199120 kB
Cached:          1932192 kB
SwapCached:            0 kB
Active:          1495544 kB
Inactive:        1745112 kB
Active(anon):    1111912 kB
Inactive(anon):        0 kB
Active(file):     383632 kB
Inactive(file):  1745112 kB
Unevictable:     1655828 kB
Mlocked:         1459604 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16636 kB
Writeback:             0 kB
AnonPages:       2767044 kB
Mapped:            17108 kB
Shmem:               204 kB
Slab:             615844 kB
SReclaimable:      59708 kB
SUnreclaim:       556136 kB
KernelStack:        1520 kB
PageTables:         9452 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2899824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    794624 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= 71612 MiB
End job on node136 at 2016-06-30 22:14:19