0.00/0.00	c 2016-06-15T19:23:34+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-4088637-1466011414.opb"]
0.00/0.01	c use --random-gen="1252745181 1807885751 420362359 2856086149 1914986427 3321998749 2439676842 4088266386 2657708279 3386727380 3716767993 2582795096 3437716292 2618240886 1935021367 2125917023 3275243502 3366729937 4283733808 1262962252 2011343810 3015151411 3258617558 2105724441 635912113 3863346967 553943678 3804501005 3793285799 3845593498 2748321975 1164661956 2018860992 4239033855 197654699 865938064 3656568601 1125887763 236861869 219874060 3167249520 1995459538 1419685064 3165576114 1574895916 4148315243 318505651 4135888763 4289574344 1373586178 3944485822 414054281 800747531 2542892369 2463196768 1683390356 2686648904 3529401890 680855289 2052645723 1323180397 1831881123 2167756398 90539490 558916272 2163375623 3202232409 816335403 1924351313 696607600 3477908321 587937290 1075573274 1318976602 2568372142 1233902156 522694514 3252311748 2482719506 467162020 1853368868 532909662 1574850004 3154808820 2989300832 3660793386 191808005 1962927563 3701478294 1039135462 1975575118 3005362036 4845067 1451129153 33097429 1637911815 3615608164 2372937742 2468556456 409426720 2656552667 3484626216 1784009207 3544889069 2537239700 598927644 2172193821 476913970 89888046 1535844084 3580222361 2615452826 3062351497 1219167687 3054237334 2748458583 2398154659 2895997079 3160981767 1011048102 1133536891 906993324 4032739309 968351781 3597140315 3156280205 41431683 4087966305 2479575412 3961241983 3125947845 538565950 3580625956 3618260499 603986625 3814929053 331751007 1561907379 1641691226 414294782 1899679179 522672294 3653240383 1967869833 1181777578 2836296501 724587090 4023026662 998683842 2051840279 502608274 2561149310 2277551858 1016354618 1224015031 1592166477 3090921182 2411176301 897354293 3086099923 2696552769 1422401113 603584609 1586545592 2730467163 3964371215 1931459840 104305391 983461255 644207131 3354794741 104790760 952028496 579816099 1091324716 1818115542 85470882 233667379 1537504302 2144410818 2485970892 3192931893 1914303681 143128739 2551552401 3232592613 2937841330 17917396 1176428586 1548022302 1153221768 3533708099 1217845953 159173236 2691703045 1656378851 2768937000 3892382504 164478720 4215179041 601798714 927380362 3627964246 3025116101 1742553238 703970453 255472551 939268462 2755416833 1681676593 3713841951 3765216620 1828016495 2525203971 3221839732 2442737390 2680099977 3981475964 2027023331 1971142728 2129446923 1060066991 1669677250 2949509241 2391634816 2231093842 1872685984 1647690768 3810069412 3300143903 2362217235 3549888250 3267736184 3349815079 3885516080 1290458669 152304491 474917973 4075020863 2526482913 927968312 4179700932 3465565516 3135362574 2146106600 3300371010 3689426162 2989624641 292302360 3450403517 980672501 3442708700 447376960 4101479637 2137877894 1108735699 255 362436" option to reproduce the execution
0.00/0.01	c #vars 701
0.00/0.01	c #constraints 351
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 |      467      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      435 |      100 |      467      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      901 |      250 |      514      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |     1524 |      475 |      566      0 |        0 |        0
0.00/0.09	c  0.1s |       4 |     2225 |      813 |      623      0 |        0 |        0
0.09/0.14	c  0.1s |       5 |     3058 |     1320 |      686      1 |        0 |        0
0.19/0.23	c  0.2s |       6 |     4428 |     2081 |      831      3 |        0 |        0
0.29/0.35	c  0.3s |       7 |     6332 |     3223 |      915      4 |        0 |        0
0.49/0.55	c  0.5s |       8 |     8633 |     4936 |     1007      7 |        0 |        0
0.79/0.88	c  0.9s |       9 |    11948 |     7506 |     1108     10 |        0 |        0
1.29/1.31	c  1.3s |      10 |    17331 |    11361 |     1219     15 |        0 |        0
1.79/1.85	c  1.8s |      11 |    24922 |    17144 |     1341     21 |        0 |        0
2.68/2.72	c  2.7s |      12 |    36399 |    25819 |     1476     30 |        0 |        0
4.08/4.13	c  4.1s |      13 |    52809 |    38832 |     1624     43 |        0 |        0
6.09/6.13	c  6.1s |      14 |    79211 |    58352 |     1787     63 |        0 |        0
8.09/8.14	c  8.1s |      14 |    99943 |    74752 |     1787     77 |        0 |        0
9.69/9.70	c  9.7s |      15 |   115980 |    87632 |     1966     88 |        0 |        0
11.69/11.72	c 11.7s |      15 |   134050 |   102132 |     1966    100 |        0 |        0
13.69/13.72	c 13.7s |      15 |   152426 |   116832 |     1966    113 |        0 |        0
15.29/15.37	c 15.3s |      16 |   172008 |   131552 |     2163    125 |        0 |        0
17.29/17.38	c 17.4s |      16 |   196319 |   149152 |     2163    138 |        0 |        0
19.29/19.39	c 19.4s |      16 |   219595 |   166752 |     2163    153 |        0 |        0
21.39/21.40	c 21.4s |      16 |   243484 |   185352 |     2163    168 |        0 |        0
22.59/22.64	c 22.6s |      17 |   259439 |   197432 |     2380    178 |        0 |        0
24.59/24.65	c 24.6s |      17 |   277914 |   212032 |     2380    188 |        0 |        0
26.59/26.65	c 26.6s |      17 |   298541 |   228232 |     2380    200 |        0 |        0
28.59/28.65	c 28.6s |      17 |   323515 |   247332 |     2380    213 |        0 |        0
30.58/30.66	c 30.6s |      17 |   343689 |   263132 |     2380    224 |        0 |        0
32.58/32.66	c 32.6s |      17 |   370451 |   282832 |     2380    238 |        0 |        0
34.28/34.30	c 34.3s |      18 |   388180 |   296252 |     2618    247 |        0 |        0
36.29/36.31	c 36.3s |      18 |   407745 |   311652 |     2618    258 |        0 |        0
38.28/38.32	c 38.3s |      18 |   430783 |   328652 |     2618    270 |        0 |        0
40.28/40.33	c 40.3s |      18 |   453716 |   345152 |     2618    281 |        0 |        0
42.28/42.33	c 42.3s |      18 |   474010 |   360052 |     2618    291 |        0 |        0
44.29/44.34	c 44.3s |      18 |   495063 |   375652 |     2618    301 |        0 |        0
46.29/46.35	c 46.3s |      18 |   517740 |   392852 |     2618    312 |        0 |        0
48.28/48.36	c 48.3s |      18 |   539945 |   409752 |     2618    323 |        0 |        0
50.28/50.37	c 50.3s |      18 |   557990 |   423952 |     2618    332 |        0 |        0
52.28/52.38	c 52.4s |      18 |   577121 |   438952 |     2618    342 |        0 |        0
52.98/53.08	c 53.1s |      19 |   585047 |   444482 |     2880    346 |        0 |        0
54.99/55.09	c 55.1s |      19 |   605378 |   458982 |     2880    355 |        0 |        0
56.98/57.09	c 57.1s |      19 |   623640 |   471982 |     2880    362 |        0 |        0
59.08/59.10	c 59.1s |      19 |   643240 |   485782 |     2880    371 |        0 |        0
61.07/61.10	c 61.1s |      19 |   666822 |   501982 |     2880    381 |        0 |        0
63.07/63.12	c 63.1s |      19 |   686047 |   516382 |     2880    390 |        0 |        0
65.08/65.13	c 65.1s |      19 |   703559 |   529782 |     2880    398 |        0 |        0
67.08/67.15	c 67.1s |      19 |   720723 |   542782 |     2880    406 |        0 |        0
69.07/69.16	c 69.1s |      19 |   738876 |   556782 |     2880    414 |        0 |        0
71.07/71.17	c 71.1s |      19 |   754092 |   569182 |     2880    422 |        0 |        0
73.07/73.18	c 73.2s |      19 |   773464 |   583582 |     2880    430 |        0 |        0
75.07/75.18	c 75.2s |      19 |   792831 |   597982 |     2880    439 |        0 |        0
77.07/77.19	c 77.2s |      19 |   816340 |   614382 |     2880    449 |        0 |        0
79.07/79.19	c 79.2s |      19 |   839449 |   631082 |     2880    459 |        0 |        0
81.06/81.20	c 81.2s |      19 |   862646 |   647982 |     2880    469 |        0 |        0
83.16/83.20	c 83.2s |      19 |   883891 |   663782 |     3169    479 |        0 |        0
83.46/83.60	c 83.6s |      20 |   887982 |   666827 |     3169    481 |        0 |        0
85.56/85.60	c 85.6s |      20 |   912703 |   684827 |     3169    491 |        0 |        0
87.56/87.61	c 87.6s |      20 |   938387 |   703127 |     3169    501 |        0 |        0
89.56/89.63	c 89.6s |      20 |   956358 |   717127 |     3169    508 |        0 |        0
91.56/91.64	c 91.6s |      20 |   971849 |   729427 |     3169    515 |        0 |        0
93.57/93.64	c 93.6s |      20 |   994865 |   746327 |     3169    525 |        0 |        0
95.56/95.64	c 95.6s |      20 |  1018984 |   764227 |     3169    535 |        0 |        0
97.56/97.65	c 97.6s |      20 |  1041871 |   781327 |     3169    544 |        0 |        0
99.56/99.66	c 99.6s |      20 |  1062344 |   796027 |     3169    553 |        0 |        0
101.56/101.67	c  101s |      20 |  1079484 |   809227 |     3169    560 |        0 |        0
103.56/103.67	c  103s |      20 |  1105117 |   828027 |     3169    571 |        0 |        0
105.57/105.68	c  105s |      20 |  1127182 |   844427 |     3169    580 |        0 |        0
107.56/107.68	c  107s |      20 |  1145188 |   858327 |     3169    587 |        0 |        0
109.56/109.69	c  109s |      20 |  1162450 |   871527 |     3169    595 |        0 |        0
111.56/111.69	c  111s |      20 |  1184964 |   888827 |     3169    604 |        0 |        0
113.66/113.70	c  113s |      20 |  1203218 |   902927 |     3169    612 |        0 |        0
115.65/115.71	c  115s |      20 |  1217481 |   914427 |     3169    619 |        0 |        0
117.66/117.72	c  117s |      20 |  1236921 |   928927 |     3169    627 |        0 |        0
119.65/119.74	c  119s |      20 |  1252012 |   941227 |     3169    634 |        0 |        0
121.65/121.75	c  121s |      20 |  1270902 |   955627 |     3169    642 |        0 |        0
123.65/123.77	c  123s |      20 |  1291745 |   971427 |     3169    650 |        0 |        0
125.65/125.77	c  125s |      20 |  1313784 |   987727 |     3169    660 |        0 |        0
127.45/127.57	c  127s |      21 |  1330119 |  1000345 |     3486    666 |        0 |        0
129.45/129.58	c  129s |      21 |  1353403 |  1017045 |     3486    675 |        0 |        0
131.45/131.58	c  131s |      21 |  1374548 |  1032545 |     3486    683 |        0 |        0
133.44/133.59	c  133s |      21 |  1396500 |  1049245 |     3486    691 |        0 |        0
135.44/135.60	c  135s |      21 |  1420992 |  1066945 |     3486    700 |        0 |        0
137.45/137.60	c  137s |      21 |  1442251 |  1083245 |     3486    709 |        0 |        0
139.54/139.60	c  139s |      21 |  1462237 |  1098245 |     3486    717 |        0 |        0
141.55/141.61	c  141s |      21 |  1482152 |  1113345 |     3486    725 |        0 |        0
143.55/143.61	c  143s |      21 |  1504202 |  1129445 |     3486    733 |        0 |        0
145.55/145.62	c  145s |      21 |  1522941 |  1144045 |     3486    740 |        0 |        0
147.54/147.62	c  147s |      21 |  1544743 |  1160045 |     3486    749 |        0 |        0
149.55/149.62	c  149s |      21 |  1562536 |  1174345 |     3486    756 |        0 |        0
151.54/151.63	c  151s |      21 |  1584512 |  1190945 |     3486    765 |        0 |        0
153.54/153.64	c  153s |      21 |  1607816 |  1207845 |     3486    774 |        0 |        0
155.54/155.64	c  155s |      21 |  1632738 |  1226545 |     3486    783 |        0 |        0
157.54/157.65	c  157s |      21 |  1653388 |  1242345 |     3486    792 |        0 |        0
159.55/159.66	c  159s |      21 |  1671884 |  1256545 |     3486    799 |        0 |        0
161.54/161.66	c  161s |      21 |  1696466 |  1274945 |     3486    809 |        0 |        0
163.54/163.66	c  163s |      21 |  1712529 |  1287945 |     3486    815 |        0 |        0
165.54/165.68	c  165s |      21 |  1737282 |  1306645 |     3486    825 |        0 |        0
167.63/167.70	c  167s |      21 |  1757714 |  1322345 |     3486    833 |        0 |        0
169.63/169.71	c  169s |      21 |  1780382 |  1339445 |     3486    842 |        0 |        0
171.64/171.72	c  171s |      21 |  1798884 |  1353145 |     3486    850 |        0 |        0
173.63/173.72	c  173s |      21 |  1821358 |  1370145 |     3486    858 |        0 |        0
175.62/175.73	c  175s |      21 |  1836462 |  1382645 |     3486    865 |        0 |        0
177.62/177.73	c  177s |      21 |  1855911 |  1397345 |     3486    873 |        0 |        0
179.62/179.74	c  179s |      21 |  1873707 |  1411345 |     3486    880 |        0 |        0
181.62/181.74	c  181s |      21 |  1894672 |  1427345 |     3486    888 |        0 |        0
183.63/183.75	c  183s |      21 |  1916533 |  1444145 |     3486    897 |        0 |        0
185.63/185.76	c  185s |      21 |  1941452 |  1462045 |     3486    907 |        0 |        0
187.63/187.76	c  187s |      21 |  1967638 |  1481045 |     3486    917 |        0 |        0
189.53/189.69	c  189s |      22 |  1994832 |  1500622 |     3835    926 |        0 |        0
191.53/191.69	c  191s |      22 |  2013319 |  1514922 |     3835    933 |        0 |        0
193.54/193.69	c  193s |      22 |  2034173 |  1530322 |     3835    940 |        0 |        0
195.63/195.70	c  195s |      22 |  2056521 |  1546622 |     3835    948 |        0 |        0
197.63/197.70	c  197s |      22 |  2074533 |  1560522 |     3835    954 |        0 |        0
199.62/199.70	c  199s |      22 |  2096473 |  1576122 |     3835    962 |        0 |        0
201.62/201.70	c  201s |      22 |  2120185 |  1593322 |     3835    970 |        0 |        0
203.62/203.71	c  203s |      22 |  2142827 |  1609722 |     3835    977 |        0 |        0
205.62/205.71	c  205s |      22 |  2162709 |  1624322 |     3835    984 |        0 |        0
207.62/207.72	c  207s |      22 |  2178224 |  1636822 |     3835    990 |        0 |        0
209.62/209.73	c  209s |      22 |  2195474 |  1650422 |     3835    996 |        0 |        0
211.61/211.73	c  211s |      22 |  2213246 |  1663622 |     3835   1003 |        0 |        0
213.61/213.73	c  213s |      22 |  2229984 |  1676822 |     3835   1009 |        0 |        0
215.62/215.74	c  215s |      22 |  2246378 |  1689922 |     3835   1015 |        0 |        0
217.61/217.74	c  217s |      22 |  2263087 |  1703022 |     3835   1021 |        0 |        0
219.61/219.74	c  219s |      22 |  2282814 |  1718322 |     3835   1028 |        0 |        0
221.61/221.75	c  221s |      22 |  2300845 |  1731922 |     3835   1035 |        0 |        0
223.71/223.81	c  223s |      22 |  2320210 |  1747122 |     3835   1042 |        0 |        0
225.71/225.81	c  225s |      22 |  2332135 |  1757322 |     3835   1047 |        0 |        0
227.72/227.83	c  227s |      22 |  2347718 |  1769822 |     3835   1052 |        0 |        0
229.71/229.84	c  229s |      22 |  2364265 |  1782622 |     3835   1058 |        0 |        0
231.71/231.85	c  231s |      22 |  2381637 |  1796122 |     3835   1065 |        0 |        0
233.71/233.86	c  233s |      22 |  2402736 |  1812022 |     3835   1072 |        0 |        0
235.71/235.86	c  235s |      22 |  2420943 |  1826122 |     3835   1079 |        0 |        0
237.70/237.87	c  237s |      22 |  2441505 |  1841822 |     3835   1086 |        0 |        0
239.71/239.87	c  239s |      22 |  2461543 |  1857422 |     3835   1094 |        0 |        0
241.70/241.88	c  241s |      22 |  2483371 |  1874022 |     3835   1102 |        0 |        0
243.70/243.88	c  243s |      22 |  2503420 |  1889122 |     3835   1109 |        0 |        0
245.70/245.88	c  245s |      22 |  2524668 |  1905222 |     3835   1116 |        0 |        0
247.70/247.89	c  247s |      22 |  2543724 |  1919822 |     3835   1123 |        0 |        0
249.80/249.90	c  249s |      22 |  2556793 |  1930622 |     3835   1128 |        0 |        0
251.81/251.90	c  251s |      22 |  2573395 |  1943722 |     3835   1134 |        0 |        0
253.80/253.92	c  253s |      22 |  2592895 |  1959022 |     3835   1141 |        0 |        0
255.80/255.92	c  255s |      22 |  2613659 |  1974722 |     3835   1149 |        0 |        0
257.80/257.92	c  257s |      22 |  2631121 |  1988722 |     3835   1155 |        0 |        0
259.79/259.93	c  259s |      22 |  2646907 |  2001422 |     3835   1161 |        0 |        0
261.80/261.93	c  261s |      22 |  2664112 |  2014922 |     3835   1168 |        0 |        0
263.79/263.94	c  263s |      22 |  2684629 |  2031022 |     3835   1175 |        0 |        0
265.79/265.94	c  265s |      22 |  2702688 |  2044922 |     3835   1182 |        0 |        0
267.79/267.95	c  267s |      22 |  2724917 |  2061822 |     3835   1190 |        0 |        0
269.79/269.96	c  269s |      22 |  2744963 |  2077022 |     3835   1197 |        0 |        0
271.79/271.97	c  271s |      22 |  2762931 |  2090922 |     3835   1203 |        0 |        0
273.80/273.98	c  273s |      22 |  2781846 |  2105522 |     3835   1210 |        0 |        0
275.79/275.98	c  275s |      22 |  2798634 |  2118222 |     3835   1217 |        0 |        0
277.78/277.99	c  277s |      22 |  2814940 |  2130722 |     3835   1222 |        0 |        0
279.88/280.00	c  279s |      22 |  2833406 |  2144622 |     3835   1229 |        0 |        0
281.88/282.01	c  281s |      22 |  2852605 |  2158822 |     3835   1236 |        0 |        0
283.88/284.01	c  283s |      22 |  2870680 |  2172222 |     3835   1242 |        0 |        0
285.88/286.02	c  285s |      22 |  2887753 |  2185222 |     3835   1248 |        0 |        0
287.88/288.05	c  288s |      22 |  2905598 |  2198622 |     3835   1255 |        0 |        0
289.88/290.07	c  290s |      22 |  2927794 |  2214022 |     3835   1262 |        0 |        0
291.88/292.08	c  292s |      22 |  2948823 |  2229022 |     3835   1269 |        0 |        0
293.98/294.10	c  294s |      22 |  2967559 |  2243422 |     4219   1275 |        0 |        0
295.08/295.22	c  295s |      23 |  2978113 |  2251038 |     4219   1279 |        0 |        0
297.07/297.22	c  297s |      23 |  2996590 |  2265238 |     4219   1285 |        0 |        0
299.08/299.22	c  299s |      23 |  3018271 |  2279838 |     4219   1291 |        0 |        0
301.07/301.23	c  301s |      23 |  3041400 |  2295938 |     4219   1298 |        0 |        0
303.07/303.23	c  303s |      23 |  3064902 |  2312638 |     4219   1305 |        0 |        0
305.07/305.23	c  305s |      23 |  3088878 |  2330238 |     4219   1313 |        0 |        0
307.07/307.24	c  307s |      23 |  3110594 |  2346438 |     4219   1320 |        0 |        0
309.08/309.25	c  309s |      23 |  3132534 |  2362338 |     4219   1327 |        0 |        0
311.07/311.28	c  311s |      23 |  3152318 |  2377038 |     4219   1334 |        0 |        0
313.07/313.28	c  313s |      23 |  3173926 |  2392838 |     4219   1340 |        0 |        0
315.07/315.29	c  315s |      23 |  3192604 |  2406838 |     4219   1346 |        0 |        0
317.07/317.29	c  317s |      23 |  3213256 |  2422438 |     4219   1353 |        0 |        0
319.16/319.30	c  319s |      23 |  3229756 |  2435538 |     4219   1359 |        0 |        0
321.17/321.32	c  321s |      23 |  3243246 |  2446438 |     4219   1364 |        0 |        0
323.16/323.32	c  323s |      23 |  3261133 |  2459738 |     4219   1369 |        0 |        0
325.16/325.34	c  325s |      23 |  3278299 |  2473138 |     4219   1375 |        0 |        0
327.16/327.35	c  327s |      23 |  3296719 |  2487138 |     4219   1381 |        0 |        0
329.16/329.36	c  329s |      23 |  3312510 |  2499738 |     4219   1387 |        0 |        0
331.16/331.36	c  331s |      23 |  3332422 |  2514138 |     4219   1393 |        0 |        0
333.17/333.37	c  333s |      23 |  3350097 |  2527338 |     4219   1399 |        0 |        0
335.16/335.37	c  335s |      23 |  3366458 |  2540538 |     4219   1404 |        0 |        0
337.15/337.38	c  337s |      23 |  3383852 |  2554238 |     4219   1410 |        0 |        0
339.25/339.40	c  339s |      23 |  3397719 |  2565638 |     4219   1415 |        0 |        0
341.25/341.40	c  341s |      23 |  3412644 |  2577538 |     4219   1420 |        0 |        0
343.25/343.41	c  343s |      23 |  3435662 |  2594538 |     4219   1428 |        0 |        0
345.26/345.41	c  345s |      23 |  3457145 |  2610738 |     4219   1435 |        0 |        0
347.25/347.42	c  347s |      23 |  3477111 |  2626038 |     4219   1441 |        0 |        0
349.25/349.43	c  349s |      23 |  3499099 |  2641838 |     4219   1448 |        0 |        0
351.25/351.44	c  351s |      23 |  3520245 |  2657538 |     4219   1455 |        0 |        0
353.24/353.44	c  353s |      23 |  3540664 |  2672838 |     4219   1462 |        0 |        0
355.25/355.45	c  355s |      23 |  3557862 |  2686438 |     4219   1467 |        0 |        0
357.24/357.45	c  357s |      23 |  3571755 |  2697938 |     4219   1472 |        0 |        0
359.24/359.46	c  359s |      23 |  3589069 |  2711338 |     4219   1478 |        0 |        0
361.24/361.46	c  361s |      23 |  3609715 |  2726838 |     4219   1485 |        0 |        0
363.24/363.46	c  363s |      23 |  3629771 |  2742038 |     4219   1492 |        0 |        0
365.25/365.47	c  365s |      23 |  3652639 |  2758838 |     4219   1499 |        0 |        0
367.25/367.48	c  367s |      23 |  3672933 |  2774338 |     4219   1506 |        0 |        0
369.24/369.48	c  369s |      23 |  3695333 |  2790738 |     4219   1513 |        0 |        0
371.24/371.49	c  371s |      23 |  3719140 |  2807638 |     4219   1520 |        0 |        0
373.24/373.49	c  373s |      23 |  3739765 |  2823038 |     4219   1527 |        0 |        0
375.34/375.50	c  375s |      23 |  3763346 |  2840138 |     4219   1534 |        0 |        0
377.34/377.51	c  377s |      23 |  3786498 |  2856938 |     4219   1541 |        0 |        0
379.34/379.53	c  379s |      23 |  3809596 |  2873538 |     4219   1549 |        0 |        0
381.33/381.54	c  381s |      23 |  3833951 |  2891338 |     4219   1556 |        0 |        0
383.33/383.54	c  383s |      23 |  3850997 |  2904738 |     4219   1562 |        0 |        0
385.33/385.55	c  385s |      23 |  3872341 |  2920738 |     4219   1569 |        0 |        0
387.33/387.55	c  387s |      23 |  3889828 |  2934238 |     4219   1575 |        0 |        0
389.33/389.55	c  389s |      23 |  3907312 |  2947338 |     4219   1581 |        0 |        0
391.32/391.55	c  391s |      23 |  3924451 |  2960838 |     4219   1586 |        0 |        0
393.32/393.56	c  393s |      23 |  3940115 |  2973038 |     4219   1592 |        0 |        0
395.32/395.57	c  395s |      23 |  3957755 |  2986538 |     4219   1598 |        0 |        0
397.32/397.58	c  397s |      23 |  3980044 |  3002638 |     4219   1605 |        0 |        0
399.32/399.59	c  399s |      23 |  4003467 |  3019738 |     4219   1612 |        0 |        0
401.34/401.59	c  401s |      23 |  4021792 |  3033638 |     4219   1618 |        0 |        0
403.33/403.59	c  403s |      23 |  4036347 |  3045138 |     4219   1623 |        0 |        0
405.33/405.60	c  405s |      23 |  4054374 |  3058438 |     4219   1629 |        0 |        0
407.43/407.60	c  407s |      23 |  4074686 |  3073438 |     4219   1636 |        0 |        0
409.43/409.60	c  409s |      23 |  4092073 |  3087238 |     4219   1641 |        0 |        0
411.43/411.62	c  411s |      23 |  4111266 |  3101138 |     4219   1647 |        0 |        0
413.43/413.63	c  413s |      23 |  4135113 |  3118438 |     4219   1655 |        0 |        0
415.42/415.63	c  415s |      23 |  4161198 |  3137038 |     4219   1663 |        0 |        0
417.42/417.63	c  417s |      23 |  4182958 |  3152638 |     4219   1670 |        0 |        0
419.42/419.65	c  419s |      23 |  4203608 |  3168338 |     4219   1677 |        0 |        0
421.42/421.65	c  421s |      23 |  4223458 |  3183238 |     4219   1683 |        0 |        0
423.43/423.65	c  423s |      23 |  4242494 |  3197838 |     4219   1689 |        0 |        0
425.42/425.66	c  425s |      23 |  4265267 |  3214738 |     4219   1697 |        0 |        0
427.42/427.66	c  427s |      23 |  4286261 |  3230238 |     4219   1704 |        0 |        0
429.42/429.66	c  429s |      23 |  4303190 |  3243438 |     4219   1709 |        0 |        0
431.42/431.67	c  431s |      23 |  4318868 |  3255638 |     4219   1715 |        0 |        0
433.42/433.67	c  433s |      23 |  4335449 |  3268538 |     4219   1720 |        0 |        0
435.42/435.67	c  435s |      23 |  4354951 |  3283438 |     4219   1727 |        0 |        0
437.41/437.69	c  437s |      23 |  4378820 |  3301238 |     4219   1734 |        0 |        0
439.51/439.70	c  439s |      23 |  4403359 |  3319338 |     4219   1742 |        0 |        0
441.51/441.71	c  441s |      23 |  4417606 |  3331538 |     4219   1747 |        0 |        0
443.51/443.71	c  443s |      23 |  4434284 |  3344338 |     4219   1753 |        0 |        0
445.51/445.72	c  445s |      23 |  4454732 |  3360138 |     4641   1759 |        0 |        0
447.51/447.73	c  447s |      23 |  4473823 |  3374738 |     4641   1765 |        0 |        0
447.80/448.03	c  448s |      24 |  4476253 |  3376662 |     4641   1766 |        0 |        0
449.81/450.04	c  450s |      24 |  4494707 |  3390762 |     4641   1771 |        0 |        0
451.80/452.06	c  452s |      24 |  4515312 |  3406062 |     4641   1778 |        0 |        0
453.81/454.06	c  454s |      24 |  4535172 |  3421162 |     4641   1783 |        0 |        0
455.81/456.07	c  456s |      24 |  4554934 |  3435662 |     4641   1789 |        0 |        0
457.81/458.07	c  458s |      24 |  4570084 |  3447662 |     4641   1794 |        0 |        0
459.81/460.08	c  460s |      24 |  4589336 |  3462562 |     4641   1800 |        0 |        0
461.81/462.09	c  462s |      24 |  4612510 |  3479962 |     4641   1807 |        0 |        0
463.80/464.09	c  464s |      24 |  4632319 |  3495262 |     4641   1814 |        0 |        0
465.90/466.10	c  466s |      24 |  4650889 |  3509262 |     4641   1819 |        0 |        0
467.90/468.11	c  468s |      24 |  4671152 |  3524862 |     4641   1826 |        0 |        0
469.90/470.11	c  470s |      24 |  4692733 |  3541062 |     4641   1832 |        0 |        0
471.90/472.12	c  472s |      24 |  4714704 |  3557662 |     4641   1839 |        0 |        0
473.90/474.12	c  474s |      24 |  4733969 |  3572762 |     4641   1845 |        0 |        0
475.89/476.13	c  476s |      24 |  4754737 |  3588462 |     4641   1851 |        0 |        0
477.89/478.13	c  478s |      24 |  4776705 |  3605062 |     4641   1858 |        0 |        0
479.89/480.13	c  480s |      24 |  4796823 |  3620862 |     4641   1864 |        0 |        0
481.89/482.15	c  482s |      24 |  4817090 |  3636062 |     4641   1871 |        0 |        0
483.90/484.15	c  484s |      24 |  4835582 |  3650362 |     4641   1876 |        0 |        0
485.88/486.16	c  486s |      24 |  4854747 |  3665162 |     4641   1882 |        0 |        0
487.88/488.16	c  488s |      24 |  4872394 |  3679362 |     4641   1888 |        0 |        0
489.88/490.17	c  490s |      24 |  4894387 |  3696062 |     4641   1895 |        0 |        0
491.88/492.17	c  492s |      24 |  4906155 |  3706162 |     4641   1899 |        0 |        0
493.88/494.18	c  494s |      24 |  4924140 |  3720262 |     4641   1905 |        0 |        0
495.88/496.19	c  496s |      24 |  4941061 |  3733562 |     4641   1910 |        0 |        0
497.88/498.20	c  498s |      24 |  4960971 |  3748862 |     4641   1916 |        0 |        0
499.98/500.20	c  500s |      24 |  4985900 |  3766962 |     4641   1924 |        0 |        0
501.97/502.20	c  502s |      24 |  5005979 |  3782462 |     4641   1930 |        0 |        0
503.97/504.21	c  504s |      24 |  5027081 |  3797962 |     4641   1936 |        0 |        0
505.97/506.21	c  506s |      24 |  5048073 |  3813362 |     4641   1942 |        0 |        0
507.97/508.23	c  508s |      24 |  5066462 |  3827662 |     4641   1948 |        0 |        0
509.97/510.24	c  510s |      24 |  5086449 |  3842462 |     4641   1954 |        0 |        0
511.97/512.24	c  512s |      24 |  5106839 |  3857862 |     4641   1961 |        0 |        0
513.97/514.25	c  514s |      24 |  5127280 |  3873262 |     4641   1967 |        0 |        0
515.96/516.26	c  516s |      24 |  5148698 |  3889162 |     4641   1973 |        0 |        0
517.97/518.28	c  518s |      24 |  5168534 |  3904162 |     4641   1979 |        0 |        0
519.96/520.28	c  520s |      24 |  5191750 |  3921462 |     4641   1987 |        0 |        0
521.96/522.28	c  522s |      24 |  5214070 |  3938362 |     4641   1993 |        0 |        0
523.96/524.29	c  524s |      24 |  5231992 |  3952062 |     4641   1999 |        0 |        0
526.05/526.30	c  526s |      24 |  5250215 |  3966262 |     4641   2005 |        0 |        0
528.06/528.31	c  528s |      24 |  5266787 |  3979262 |     4641   2010 |        0 |        0
530.07/530.32	c  530s |      24 |  5283111 |  3991662 |     4641   2015 |        0 |        0
532.06/532.33	c  532s |      24 |  5299921 |  4004662 |     4641   2020 |        0 |        0
534.06/534.34	c  534s |      24 |  5315924 |  4017262 |     4641   2025 |        0 |        0
536.06/536.35	c  536s |      24 |  5335878 |  4032362 |     4641   2031 |        0 |        0
538.06/538.35	c  538s |      24 |  5355331 |  4047262 |     4641   2038 |        0 |        0
540.06/540.37	c  540s |      24 |  5376674 |  4063162 |     4641   2044 |        0 |        0
542.06/542.37	c  542s |      24 |  5400209 |  4080762 |     4641   2051 |        0 |        0
544.15/544.41	c  544s |      24 |  5421120 |  4096262 |     4641   2058 |        0 |        0
546.15/546.41	c  546s |      24 |  5442246 |  4112162 |     4641   2064 |        0 |        0
548.15/548.41	c  548s |      24 |  5465666 |  4129362 |     4641   2071 |        0 |        0
550.15/550.42	c  550s |      24 |  5487772 |  4145762 |     4641   2078 |        0 |        0
552.15/552.44	c  552s |      24 |  5507563 |  4160562 |     4641   2084 |        0 |        0
554.15/554.44	c  554s |      24 |  5529469 |  4176762 |     4641   2091 |        0 |        0
556.15/556.44	c  556s |      24 |  5544419 |  4188962 |     4641   2096 |        0 |        0
558.14/558.44	c  558s |      24 |  5564113 |  4204462 |     4641   2102 |        0 |        0
560.14/560.45	c  560s |      24 |  5583653 |  4219862 |     4641   2108 |        0 |        0
562.14/562.45	c  562s |      24 |  5603784 |  4235162 |     4641   2115 |        0 |        0
564.15/564.46	c  564s |      24 |  5627583 |  4252762 |     4641   2122 |        0 |        0
566.15/566.47	c  566s |      24 |  5649146 |  4269062 |     4641   2129 |        0 |        0
568.15/568.48	c  568s |      24 |  5667957 |  4283862 |     4641   2135 |        0 |        0
570.15/570.49	c  570s |      24 |  5687557 |  4299062 |     4641   2141 |        0 |        0
572.15/572.49	c  572s |      24 |  5706375 |  4314062 |     4641   2147 |        0 |        0
574.15/574.49	c  574s |      24 |  5727322 |  4329762 |     4641   2153 |        0 |        0
576.15/576.49	c  576s |      24 |  5747809 |  4345262 |     4641   2160 |        0 |        0
578.15/578.49	c  578s |      24 |  5769963 |  4361962 |     4641   2167 |        0 |        0
580.24/580.50	c  580s |      24 |  5791632 |  4378762 |     4641   2173 |        0 |        0
582.24/582.50	c  582s |      24 |  5810589 |  4393562 |     4641   2179 |        0 |        0
584.24/584.51	c  584s |      24 |  5830033 |  4408662 |     4641   2186 |        0 |        0
586.24/586.52	c  586s |      24 |  5848622 |  4423162 |     4641   2191 |        0 |        0
588.25/588.53	c  588s |      24 |  5868133 |  4438162 |     4641   2198 |        0 |        0
590.24/590.54	c  590s |      24 |  5886203 |  4452662 |     4641   2204 |        0 |        0
592.24/592.56	c  592s |      24 |  5900358 |  4464362 |     4641   2208 |        0 |        0
594.24/594.56	c  594s |      24 |  5920139 |  4480062 |     4641   2215 |        0 |        0
596.23/596.58	c  596s |      24 |  5941684 |  4496362 |     4641   2222 |        0 |        0
598.24/598.58	c  598s |      24 |  5957606 |  4508562 |     4641   2227 |        0 |        0
600.23/600.59	c  600s |      24 |  5972973 |  4521162 |     4641   2232 |        0 |        0
602.33/602.60	c  602s |      24 |  5993043 |  4536262 |     4641   2238 |        0 |        0
604.33/604.60	c  604s |      24 |  6011373 |  4550262 |     4641   2244 |        0 |        0
606.33/606.60	c  606s |      24 |  6031261 |  4565562 |     4641   2250 |        0 |        0
608.33/608.61	c  608s |      24 |  6050966 |  4580462 |     4641   2256 |        0 |        0
610.34/610.62	c  610s |      24 |  6072601 |  4595762 |     4641   2262 |        0 |        0
612.33/612.63	c  612s |      24 |  6095165 |  4612262 |     4641   2269 |        0 |        0
614.32/614.63	c  614s |      24 |  6118734 |  4628962 |     4641   2276 |        0 |        0
616.33/616.64	c  616s |      24 |  6134542 |  4641862 |     4641   2281 |        0 |        0
618.33/618.64	c  618s |      24 |  6150294 |  4654362 |     4641   2286 |        0 |        0
620.33/620.65	c  620s |      24 |  6172510 |  4671062 |     4641   2293 |        0 |        0
622.33/622.66	c  622s |      24 |  6187681 |  4683262 |     4641   2298 |        0 |        0
624.33/624.66	c  624s |      24 |  6209491 |  4699462 |     4641   2305 |        0 |        0
626.32/626.67	c  626s |      24 |  6230061 |  4715162 |     4641   2311 |        0 |        0
628.32/628.67	c  628s |      24 |  6243351 |  4726262 |     4641   2315 |        0 |        0
630.42/630.71	c  630s |      24 |  6263409 |  4741262 |     4641   2322 |        0 |        0
632.42/632.72	c  632s |      24 |  6281801 |  4755362 |     4641   2327 |        0 |        0
634.43/634.72	c  634s |      24 |  6300079 |  4769262 |     4641   2333 |        0 |        0
636.42/636.73	c  636s |      24 |  6319258 |  4783862 |     4641   2339 |        0 |        0
638.42/638.74	c  638s |      24 |  6340094 |  4799262 |     4641   2346 |        0 |        0
640.42/640.76	c  640s |      24 |  6352893 |  4810162 |     4641   2350 |        0 |        0
642.42/642.77	c  642s |      24 |  6371692 |  4823862 |     4641   2356 |        0 |        0
644.42/644.78	c  644s |      24 |  6393216 |  4839862 |     4641   2362 |        0 |        0
646.41/646.79	c  646s |      24 |  6413673 |  4855462 |     4641   2368 |        0 |        0
648.41/648.79	c  648s |      24 |  6433378 |  4870562 |     4641   2374 |        0 |        0
650.41/650.79	c  650s |      24 |  6453660 |  4885962 |     4641   2381 |        0 |        0
652.41/652.79	c  652s |      24 |  6472946 |  4900162 |     4641   2386 |        0 |        0
654.41/654.80	c  654s |      24 |  6492846 |  4915362 |     4641   2393 |        0 |        0
656.41/656.80	c  656s |      24 |  6514266 |  4931562 |     4641   2399 |        0 |        0
658.50/658.81	c  658s |      24 |  6533640 |  4946562 |     4641   2405 |        0 |        0
660.50/660.82	c  660s |      24 |  6555642 |  4963262 |     4641   2412 |        0 |        0
662.50/662.82	c  662s |      24 |  6578420 |  4980062 |     4641   2419 |        0 |        0
664.50/664.82	c  664s |      24 |  6597384 |  4994562 |     4641   2425 |        0 |        0
666.50/666.83	c  666s |      24 |  6614581 |  5008362 |     4641   2430 |        0 |        0
668.50/668.83	c  668s |      24 |  6631228 |  5020862 |     4641   2435 |        0 |        0
670.50/670.85	c  670s |      24 |  6651058 |  5036262 |     5106   2441 |        0 |        0
672.49/672.85	c  672s |      24 |  6671213 |  5051362 |     5106   2447 |        0 |        0
674.49/674.86	c  674s |      24 |  6689140 |  5064962 |     5106   2452 |        0 |        0
674.49/674.88	c  674s |      25 |  6689327 |  5065098 |     5106   2452 |        0 |        0
676.49/676.89	c  676s |      25 |  6714976 |  5083098 |     5106   2458 |        0 |        0
678.59/678.90	c  678s |      25 |  6731782 |  5096398 |     5106   2463 |        0 |        0
680.59/680.92	c  680s |      25 |  6746933 |  5107898 |     5106   2468 |        0 |        0
682.59/682.92	c  682s |      25 |  6764473 |  5121298 |     5106   2472 |        0 |        0
684.60/684.93	c  684s |      25 |  6782477 |  5134698 |     5106   2477 |        0 |        0
686.59/686.95	c  686s |      25 |  6801266 |  5148198 |     5106   2482 |        0 |        0
688.59/688.95	c  688s |      25 |  6819305 |  5161498 |     5106   2487 |        0 |        0
690.60/690.95	c  690s |      25 |  6838147 |  5175698 |     5106   2492 |        0 |        0
692.59/692.96	c  692s |      25 |  6860561 |  5192198 |     5106   2498 |        0 |        0
694.59/694.96	c  694s |      25 |  6881154 |  5206998 |     5106   2504 |        0 |        0
696.59/696.96	c  696s |      25 |  6904348 |  5223698 |     5106   2510 |        0 |        0
698.59/698.97	c  698s |      25 |  6921997 |  5236998 |     5106   2515 |        0 |        0
700.59/700.97	c  700s |      25 |  6944559 |  5253498 |     5106   2521 |        0 |        0
702.59/702.98	c  702s |      25 |  6961805 |  5266298 |     5106   2525 |        0 |        0
704.69/705.00	c  704s |      25 |  6980615 |  5280498 |     5106   2531 |        0 |        0
706.68/707.00	c  706s |      25 |  6998599 |  5294098 |     5106   2536 |        0 |        0
708.68/709.01	c  708s |      25 |  7015364 |  5307398 |     5106   2540 |        0 |        0
710.68/711.02	c  710s |      25 |  7028678 |  5318298 |     5106   2544 |        0 |        0
712.68/713.03	c  713s |      25 |  7052275 |  5334698 |     5106   2550 |        0 |        0
714.69/715.04	c  715s |      25 |  7069535 |  5348198 |     5106   2555 |        0 |        0
716.68/717.05	c  717s |      25 |  7083667 |  5359498 |     5106   2559 |        0 |        0
718.68/719.05	c  719s |      25 |  7106277 |  5375798 |     5106   2565 |        0 |        0
720.68/721.06	c  721s |      25 |  7123387 |  5388498 |     5106   2570 |        0 |        0
722.68/723.09	c  723s |      25 |  7142345 |  5402598 |     5106   2575 |        0 |        0
724.69/725.09	c  725s |      25 |  7161391 |  5416698 |     5106   2580 |        0 |        0
726.68/727.10	c  727s |      25 |  7183523 |  5432898 |     5106   2586 |        0 |        0
728.78/729.10	c  729s |      25 |  7206221 |  5449698 |     5106   2592 |        0 |        0
730.78/731.11	c  731s |      25 |  7228368 |  5465998 |     5106   2598 |        0 |        0
732.78/733.12	c  733s |      25 |  7251392 |  5482398 |     5106   2604 |        0 |        0
734.78/735.13	c  735s |      25 |  7270767 |  5497198 |     5106   2609 |        0 |        0
736.79/737.13	c  737s |      25 |  7292851 |  5513098 |     5106   2615 |        0 |        0
738.78/739.15	c  739s |      25 |  7311801 |  5527398 |     5106   2620 |        0 |        0
740.78/741.16	c  741s |      25 |  7332306 |  5542998 |     5106   2626 |        0 |        0
742.78/743.16	c  743s |      25 |  7351856 |  5557498 |     5106   2631 |        0 |        0
744.78/745.16	c  745s |      25 |  7370148 |  5571498 |     5106   2636 |        0 |        0
746.78/747.16	c  747s |      25 |  7386055 |  5584298 |     5106   2641 |        0 |        0
748.79/749.17	c  749s |      25 |  7399923 |  5595998 |     5106   2645 |        0 |        0
750.78/751.17	c  751s |      25 |  7416344 |  5609098 |     5106   2650 |        0 |        0
752.78/753.18	c  753s |      25 |  7433333 |  5622098 |     5106   2655 |        0 |        0
754.78/755.19	c  755s |      25 |  7453684 |  5637798 |     5106   2660 |        0 |        0
756.78/757.19	c  757s |      25 |  7475030 |  5653898 |     5106   2666 |        0 |        0
758.79/759.20	c  759s |      25 |  7493575 |  5667498 |     5106   2671 |        0 |        0
760.88/761.21	c  761s |      25 |  7507057 |  5678198 |     5106   2675 |        0 |        0
762.88/763.22	c  763s |      25 |  7524597 |  5691798 |     5106   2680 |        0 |        0
764.88/765.22	c  765s |      25 |  7538611 |  5702798 |     5106   2684 |        0 |        0
766.87/767.23	c  767s |      25 |  7553439 |  5714398 |     5106   2688 |        0 |        0
768.87/769.25	c  769s |      25 |  7568969 |  5726398 |     5106   2692 |        0 |        0
770.88/771.25	c  771s |      25 |  7585151 |  5738798 |     5106   2697 |        0 |        0
772.88/773.25	c  773s |      25 |  7601628 |  5751798 |     5106   2701 |        0 |        0
774.88/775.27	c  775s |      25 |  7618446 |  5764698 |     5106   2706 |        0 |        0
776.88/777.30	c  777s |      25 |  7634718 |  5777298 |     5106   2711 |        0 |        0
778.98/779.30	c  779s |      25 |  7651044 |  5789898 |     5106   2715 |        0 |        0
780.98/781.31	c  781s |      25 |  7666750 |  5802398 |     5106   2720 |        0 |        0
782.99/783.31	c  783s |      25 |  7681949 |  5814398 |     5106   2724 |        0 |        0
784.98/785.31	c  785s |      25 |  7697138 |  5826298 |     5106   2728 |        0 |        0
786.98/787.32	c  787s |      25 |  7713624 |  5838798 |     5106   2733 |        0 |        0
788.98/789.32	c  789s |      25 |  7731198 |  5852598 |     5106   2738 |        0 |        0
790.98/791.32	c  791s |      25 |  7748622 |  5866298 |     5106   2743 |        0 |        0
792.97/793.33	c  793s |      25 |  7762201 |  5876498 |     5106   2747 |        0 |        0
794.98/795.34	c  795s |      25 |  7776446 |  5887998 |     5106   2751 |        0 |        0
796.97/797.34	c  797s |      25 |  7791126 |  5899698 |     5106   2755 |        0 |        0
798.97/799.35	c  799s |      25 |  7808958 |  5913498 |     5106   2760 |        0 |        0
800.97/801.36	c  801s |      25 |  7825732 |  5926698 |     5106   2765 |        0 |        0
802.97/803.37	c  803s |      25 |  7844792 |  5941398 |     5106   2770 |        0 |        0
804.98/805.37	c  805s |      25 |  7859782 |  5953398 |     5106   2775 |        0 |        0
806.97/807.37	c  807s |      25 |  7875738 |  5965798 |     5106   2779 |        0 |        0
809.07/809.40	c  809s |      25 |  7889588 |  5976598 |     5106   2783 |        0 |        0
811.07/811.41	c  811s |      25 |  7903924 |  5988098 |     5106   2787 |        0 |        0
813.07/813.41	c  813s |      25 |  7919546 |  6000398 |     5106   2792 |        0 |        0
815.07/815.43	c  815s |      25 |  7934676 |  6012298 |     5106   2796 |        0 |        0
817.07/817.43	c  817s |      25 |  7949990 |  6024798 |     5106   2800 |        0 |        0
819.07/819.44	c  819s |      25 |  7963941 |  6036098 |     5106   2805 |        0 |        0
821.07/821.47	c  821s |      25 |  7977429 |  6046898 |     5106   2809 |        0 |        0
823.07/823.48	c  823s |      25 |  7992204 |  6058398 |     5106   2813 |        0 |        0
825.07/825.49	c  825s |      25 |  8006684 |  6069698 |     5106   2817 |        0 |        0
827.07/827.49	c  827s |      25 |  8021341 |  6081398 |     5106   2821 |        0 |        0
829.18/829.51	c  829s |      25 |  8038392 |  6094798 |     5106   2826 |        0 |        0
831.17/831.52	c  831s |      25 |  8056131 |  6108298 |     5106   2831 |        0 |        0
833.17/833.52	c  833s |      25 |  8074874 |  6122698 |     5106   2836 |        0 |        0
835.17/835.54	c  835s |      25 |  8093760 |  6136998 |     5106   2841 |        0 |        0
837.17/837.54	c  837s |      25 |  8105312 |  6146798 |     5106   2845 |        0 |        0
839.17/839.54	c  839s |      25 |  8120990 |  6158898 |     5106   2849 |        0 |        0
841.18/841.56	c  841s |      25 |  8144195 |  6175298 |     5106   2855 |        0 |        0
843.17/843.56	c  843s |      25 |  8163584 |  6189598 |     5106   2861 |        0 |        0
845.17/845.57	c  845s |      25 |  8183045 |  6203898 |     5106   2866 |        0 |        0
847.17/847.57	c  847s |      25 |  8204004 |  6219298 |     5106   2871 |        0 |        0
849.16/849.58	c  849s |      25 |  8225839 |  6235498 |     5106   2877 |        0 |        0
851.17/851.59	c  851s |      25 |  8248974 |  6252498 |     5106   2884 |        0 |        0
853.27/853.62	c  853s |      25 |  8272036 |  6269098 |     5106   2890 |        0 |        0
855.26/855.62	c  855s |      25 |  8296585 |  6286498 |     5106   2896 |        0 |        0
857.26/857.64	c  857s |      25 |  8321774 |  6304498 |     5106   2903 |        0 |        0
859.26/859.64	c  859s |      25 |  8344468 |  6321098 |     5106   2909 |        0 |        0
861.26/861.65	c  861s |      25 |  8367162 |  6337498 |     5106   2915 |        0 |        0
863.27/863.65	c  863s |      25 |  8381484 |  6349098 |     5106   2919 |        0 |        0
865.26/865.66	c  865s |      25 |  8396190 |  6360798 |     5106   2923 |        0 |        0
867.27/867.67	c  867s |      25 |  8412874 |  6374198 |     5106   2928 |        0 |        0
869.27/869.67	c  869s |      25 |  8428985 |  6386398 |     5106   2932 |        0 |        0
871.27/871.68	c  871s |      25 |  8449727 |  6401598 |     5106   2938 |        0 |        0
873.27/873.68	c  873s |      25 |  8474091 |  6418598 |     5106   2944 |        0 |        0
875.27/875.68	c  875s |      25 |  8494397 |  6433998 |     5106   2950 |        0 |        0
877.27/877.69	c  877s |      25 |  8516402 |  6450498 |     5106   2956 |        0 |        0
879.36/879.71	c  879s |      25 |  8538279 |  6466698 |     5106   2962 |        0 |        0
881.36/881.72	c  881s |      25 |  8556687 |  6480798 |     5106   2967 |        0 |        0
883.36/883.74	c  883s |      25 |  8578426 |  6496598 |     5106   2972 |        0 |        0
885.36/885.75	c  885s |      25 |  8601110 |  6513298 |     5106   2978 |        0 |        0
887.37/887.75	c  887s |      25 |  8619375 |  6527398 |     5106   2983 |        0 |        0
889.36/889.75	c  889s |      25 |  8632157 |  6537998 |     5106   2987 |        0 |        0
891.36/891.77	c  891s |      25 |  8648122 |  6550298 |     5106   2992 |        0 |        0
893.36/893.78	c  893s |      25 |  8659991 |  6560298 |     5106   2995 |        0 |        0
895.36/895.79	c  895s |      25 |  8674054 |  6571598 |     5106   2999 |        0 |        0
897.46/897.80	c  897s |      25 |  8689412 |  6582998 |     5106   3004 |        0 |        0
899.47/899.80	c  899s |      25 |  8706770 |  6596198 |     5106   3008 |        0 |        0
901.46/901.82	c  901s |      25 |  8723471 |  6609098 |     5106   3013 |        0 |        0
903.46/903.82	c  903s |      25 |  8737991 |  6620598 |     5106   3017 |        0 |        0
905.46/905.83	c  905s |      25 |  8753594 |  6632798 |     5106   3022 |        0 |        0
907.46/907.85	c  907s |      25 |  8764530 |  6642198 |     5106   3025 |        0 |        0
909.47/909.86	c  909s |      25 |  8779150 |  6653598 |     5106   3029 |        0 |        0
911.46/911.88	c  911s |      25 |  8794564 |  6665298 |     5106   3033 |        0 |        0
913.46/913.88	c  913s |      25 |  8811474 |  6678298 |     5106   3038 |        0 |        0
915.45/915.88	c  915s |      25 |  8827096 |  6690698 |     5106   3043 |        0 |        0
917.45/917.88	c  917s |      25 |  8843526 |  6703998 |     5106   3047 |        0 |        0
919.45/919.89	c  919s |      25 |  8863540 |  6718898 |     5106   3053 |        0 |        0
921.46/921.89	c  921s |      25 |  8889588 |  6737498 |     5106   3060 |        0 |        0
923.55/923.90	c  923s |      25 |  8908171 |  6751298 |     5106   3065 |        0 |        0
925.55/925.90	c  925s |      25 |  8929882 |  6767098 |     5106   3070 |        0 |        0
927.55/927.92	c  927s |      25 |  8947491 |  6780298 |     5106   3075 |        0 |        0
929.56/929.96	c  929s |      25 |  8962123 |  6792398 |     5106   3080 |        0 |        0
931.56/931.97	c  931s |      25 |  8975399 |  6803198 |     5106   3083 |        0 |        0
933.56/933.99	c  933s |      25 |  8990780 |  6815098 |     5106   3088 |        0 |        0
935.56/936.00	c  935s |      25 |  9008860 |  6828998 |     5106   3093 |        0 |        0
937.66/938.00	c  937s |      25 |  9020186 |  6838498 |     5106   3096 |        0 |        0
939.66/940.00	c  939s |      25 |  9032994 |  6849298 |     5106   3100 |        0 |        0
941.65/942.01	c  941s |      25 |  9049966 |  6862098 |     5106   3105 |        0 |        0
943.65/944.01	c  943s |      25 |  9065285 |  6874598 |     5106   3109 |        0 |        0
945.66/946.01	c  945s |      25 |  9082726 |  6888098 |     5106   3114 |        0 |        0
947.65/948.02	c  947s |      25 |  9102034 |  6902698 |     5106   3119 |        0 |        0
949.65/950.03	c  950s |      25 |  9119020 |  6915898 |     5106   3124 |        0 |        0
951.65/952.05	c  952s |      25 |  9130352 |  6925398 |     5106   3127 |        0 |        0
953.65/954.07	c  954s |      25 |  9139653 |  6933698 |     5106   3131 |        0 |        0
955.66/956.08	c  956s |      25 |  9153120 |  6944298 |     5106   3134 |        0 |        0
957.75/958.10	c  958s |      25 |  9163022 |  6952598 |     5106   3137 |        0 |        0
959.75/960.11	c  960s |      25 |  9173235 |  6961098 |     5106   3141 |        0 |        0
961.75/962.12	c  962s |      25 |  9186419 |  6971498 |     5106   3144 |        0 |        0
963.75/964.12	c  964s |      25 |  9199514 |  6981998 |     5106   3148 |        0 |        0
965.75/966.13	c  966s |      25 |  9215345 |  6993998 |     5106   3153 |        0 |        0
967.75/968.14	c  968s |      25 |  9233066 |  7007398 |     5106   3158 |        0 |        0
969.74/970.15	c  970s |      25 |  9250180 |  7020198 |     5106   3162 |        0 |        0
971.74/972.15	c  972s |      25 |  9264880 |  7032098 |     5106   3167 |        0 |        0
973.74/974.16	c  974s |      25 |  9283432 |  7046298 |     5106   3172 |        0 |        0
975.74/976.16	c  976s |      25 |  9302044 |  7060898 |     5106   3177 |        0 |        0
977.74/978.16	c  978s |      25 |  9321014 |  7075198 |     5106   3182 |        0 |        0
979.75/980.17	c  980s |      25 |  9338279 |  7088298 |     5106   3187 |        0 |        0
981.74/982.17	c  982s |      25 |  9356136 |  7102898 |     5106   3193 |        0 |        0
983.74/984.17	c  984s |      25 |  9376461 |  7118698 |     5106   3198 |        0 |        0
985.74/986.19	c  986s |      25 |  9392756 |  7131498 |     5106   3203 |        0 |        0
987.74/988.19	c  988s |      25 |  9410118 |  7144998 |     5106   3208 |        0 |        0
989.84/990.21	c  990s |      25 |  9426273 |  7157798 |     5106   3213 |        0 |        0
991.85/992.21	c  992s |      25 |  9445822 |  7172598 |     5106   3218 |        0 |        0
993.84/994.22	c  994s |      25 |  9464209 |  7186898 |     5106   3223 |        0 |        0
995.85/996.24	c  996s |      25 |  9487240 |  7203498 |     5106   3230 |        0 |        0
997.85/998.24	c  998s |      25 |  9506198 |  7218298 |     5106   3235 |        0 |        0
999.85/1000.24	c 1000s |      25 |  9527060 |  7233598 |     5106   3241 |        0 |        0
1001.85/1002.25	c 1002s |      25 |  9546832 |  7248398 |     5106   3246 |        0 |        0
1003.84/1004.26	c 1004s |      25 |  9567991 |  7264598 |     5106   3252 |        0 |        0
1005.84/1006.26	c 1006s |      25 |  9589591 |  7280598 |     5106   3258 |        0 |        0
1007.84/1008.28	c 1008s |      25 |  9609573 |  7295098 |     5106   3263 |        0 |        0
1009.84/1010.28	c 1010s |      25 |  9627811 |  7308498 |     5106   3268 |        0 |        0
1011.94/1012.30	c 1012s |      25 |  9643709 |  7320398 |     5106   3273 |        0 |        0
1013.95/1014.31	c 1014s |      25 |  9664606 |  7335798 |     5106   3278 |        0 |        0
1015.94/1016.32	c 1016s |      25 |  9682319 |  7349198 |     5106   3283 |        0 |        0
1017.94/1018.33	c 1018s |      25 |  9700157 |  7363198 |     5106   3289 |        0 |        0
1019.94/1020.34	c 1020s |      25 |  9716378 |  7375198 |     5106   3293 |        0 |        0
1021.94/1022.34	c 1022s |      25 |  9734852 |  7389398 |     5106   3298 |        0 |        0
1023.94/1024.35	c 1024s |      25 |  9753661 |  7403898 |     5106   3303 |        0 |        0
1025.95/1026.35	c 1026s |      25 |  9776167 |  7420398 |     5106   3309 |        0 |        0
1027.94/1028.38	c 1028s |      25 |  9798491 |  7437098 |     5106   3316 |        0 |        0
1029.94/1030.38	c 1030s |      25 |  9819476 |  7452498 |     5106   3321 |        0 |        0
1031.94/1032.39	c 1032s |      25 |  9842278 |  7469098 |     5106   3327 |        0 |        0
1033.94/1034.39	c 1034s |      25 |  9859413 |  7482498 |     5106   3332 |        0 |        0
1035.94/1036.39	c 1036s |      25 |  9880914 |  7498098 |     5106   3338 |        0 |        0
1037.94/1038.40	c 1038s |      25 |  9902339 |  7513698 |     5106   3343 |        0 |        0
1040.03/1040.41	c 1040s |      25 |  9921268 |  7527798 |     5106   3349 |        0 |        0
1042.03/1042.41	c 1042s |      25 |  9941127 |  7542898 |     5106   3354 |        0 |        0
1044.03/1044.42	c 1044s |      25 |  9963137 |  7558898 |     5617   3359 |        0 |        0
1046.03/1046.42	c 1046s |      25 |  9982541 |  7573398 |     5617   3364 |        0 |        0
1048.05/1048.44	c 1048s |      25 | 10000805 |  7587098 |     5617   3369 |        0 |        0
1050.04/1050.44	c 1050s |      25 | 10010852 |  7595698 |     5617   3371 |        0 |        0
1050.44/1050.86	c 1050s |      26 | 10013265 |  7597752 |     5617   3372 |        0 |        0
1052.45/1052.87	c 1052s |      26 | 10034428 |  7613052 |     5617   3378 |        0 |        0
1054.44/1054.87	c 1054s |      26 | 10052206 |  7626652 |     5617   3382 |        0 |        0
1056.44/1056.88	c 1056s |      26 | 10068077 |  7639152 |     5617   3386 |        0 |        0
1058.44/1058.89	c 1058s |      26 | 10085777 |  7652452 |     5617   3391 |        0 |        0
1060.53/1060.91	c 1060s |      26 | 10102534 |  7665152 |     5617   3395 |        0 |        0
1062.53/1062.91	c 1062s |      26 | 10119023 |  7678052 |     5617   3399 |        0 |        0
1064.54/1064.92	c 1064s |      26 | 10141111 |  7694452 |     5617   3404 |        0 |        0
1066.53/1066.94	c 1066s |      26 | 10158998 |  7707752 |     5617   3409 |        0 |        0
1068.53/1068.94	c 1068s |      26 | 10175218 |  7720352 |     5617   3413 |        0 |        0
1070.53/1070.95	c 1070s |      26 | 10194100 |  7734352 |     5617   3418 |        0 |        0
1072.53/1072.96	c 1072s |      26 | 10214175 |  7749252 |     5617   3423 |        0 |        0
1074.53/1074.97	c 1074s |      26 | 10228973 |  7761152 |     5617   3426 |        0 |        0
1076.54/1076.98	c 1076s |      26 | 10242100 |  7772052 |     5617   3430 |        0 |        0
1078.53/1078.99	c 1078s |      26 | 10256767 |  7783652 |     5617   3434 |        0 |        0
1080.53/1080.99	c 1080s |      26 | 10275256 |  7797952 |     5617   3439 |        0 |        0
1082.63/1083.00	c 1082s |      26 | 10293176 |  7811952 |     5617   3443 |        0 |        0
1084.63/1085.02	c 1084s |      26 | 10309944 |  7824852 |     5617   3448 |        0 |        0
1086.63/1087.02	c 1086s |      26 | 10325406 |  7837252 |     5617   3452 |        0 |        0
1088.64/1089.02	c 1088s |      26 | 10341087 |  7849652 |     5617   3456 |        0 |        0
1090.63/1091.03	c 1091s |      26 | 10356992 |  7862252 |     5617   3460 |        0 |        0
1092.63/1093.03	c 1093s |      26 | 10371102 |  7873252 |     5617   3464 |        0 |        0
1094.63/1095.05	c 1095s |      26 | 10386462 |  7885552 |     5617   3467 |        0 |        0
1096.63/1097.05	c 1097s |      26 | 10399840 |  7896252 |     5617   3471 |        0 |        0
1098.64/1099.07	c 1099s |      26 | 10413413 |  7906852 |     5617   3475 |        0 |        0
1100.63/1101.07	c 1101s |      26 | 10427220 |  7918052 |     5617   3478 |        0 |        0
1102.63/1103.08	c 1103s |      26 | 10445079 |  7931752 |     5617   3483 |        0 |        0
1104.63/1105.09	c 1105s |      26 | 10466839 |  7948152 |     5617   3488 |        0 |        0
1106.63/1107.10	c 1107s |      26 | 10491495 |  7966652 |     5617   3494 |        0 |        0
1108.73/1109.10	c 1109s |      26 | 10506310 |  7978552 |     5617   3498 |        0 |        0
1110.63/1111.10	c 1111s |      26 | 10520590 |  7989952 |     5617   3502 |        0 |        0
1112.73/1113.10	c 1113s |      26 | 10536474 |  8002052 |     5617   3506 |        0 |        0
1114.73/1115.11	c 1115s |      26 | 10555848 |  8016452 |     5617   3511 |        0 |        0
1116.73/1117.11	c 1117s |      26 | 10574130 |  8030752 |     5617   3515 |        0 |        0
1118.73/1119.12	c 1119s |      26 | 10592112 |  8044352 |     5617   3520 |        0 |        0
1120.72/1121.13	c 1121s |      26 | 10611656 |  8059252 |     5617   3525 |        0 |        0
1122.73/1123.13	c 1123s |      26 | 10630555 |  8073552 |     5617   3530 |        0 |        0
1124.72/1125.14	c 1125s |      26 | 10651143 |  8088952 |     5617   3535 |        0 |        0
1126.72/1127.14	c 1127s |      26 | 10671317 |  8103852 |     5617   3540 |        0 |        0
1128.73/1129.14	c 1129s |      26 | 10690425 |  8118052 |     5617   3544 |        0 |        0
1130.73/1131.16	c 1131s |      26 | 10708808 |  8131952 |     5617   3549 |        0 |        0
1132.73/1133.16	c 1133s |      26 | 10727559 |  8145952 |     5617   3554 |        0 |        0
1134.72/1135.19	c 1135s |      26 | 10744256 |  8158652 |     5617   3558 |        0 |        0
1136.82/1137.21	c 1137s |      26 | 10765440 |  8174452 |     5617   3563 |        0 |        0
1138.82/1139.21	c 1139s |      26 | 10781956 |  8187652 |     5617   3568 |        0 |        0
1140.82/1141.22	c 1141s |      26 | 10800782 |  8201752 |     5617   3572 |        0 |        0
1142.82/1143.23	c 1143s |      26 | 10815168 |  8213652 |     5617   3576 |        0 |        0
1144.83/1145.23	c 1145s |      26 | 10830764 |  8225352 |     5617   3580 |        0 |        0
1146.82/1147.24	c 1147s |      26 | 10844582 |  8236652 |     5617   3584 |        0 |        0
1148.82/1149.26	c 1149s |      26 | 10860639 |  8249152 |     5617   3588 |        0 |        0
1150.82/1151.28	c 1151s |      26 | 10873744 |  8259952 |     5617   3592 |        0 |        0
1152.81/1153.28	c 1153s |      26 | 10891929 |  8273752 |     5617   3596 |        0 |        0
1154.81/1155.28	c 1155s |      26 | 10910954 |  8287452 |     5617   3601 |        0 |        0
1156.82/1157.29	c 1157s |      26 | 10929720 |  8301852 |     5617   3606 |        0 |        0
1158.82/1159.29	c 1159s |      26 | 10944016 |  8313252 |     5617   3609 |        0 |        0
1160.92/1161.31	c 1161s |      26 | 10962863 |  8327852 |     5617   3614 |        0 |        0
1162.92/1163.31	c 1163s |      26 | 10978111 |  8339352 |     5617   3618 |        0 |        0
1164.92/1165.33	c 1165s |      26 | 10995653 |  8352752 |     5617   3623 |        0 |        0
1166.92/1167.34	c 1167s |      26 | 11012806 |  8365852 |     5617   3627 |        0 |        0
1168.93/1169.35	c 1169s |      26 | 11031536 |  8380052 |     5617   3632 |        0 |        0
1170.92/1171.35	c 1171s |      26 | 11048910 |  8393952 |     5617   3636 |        0 |        0
1172.92/1173.35	c 1173s |      26 | 11067315 |  8408152 |     5617   3641 |        0 |        0
1174.92/1175.39	c 1175s |      26 | 11081961 |  8419552 |     5617   3645 |        0 |        0
1176.92/1177.39	c 1177s |      26 | 11094901 |  8430452 |     5617   3648 |        0 |        0
1178.92/1179.40	c 1179s |      26 | 11112735 |  8443852 |     5617   3653 |        0 |        0
1180.92/1181.40	c 1181s |      26 | 11130987 |  8458152 |     5617   3657 |        0 |        0
1183.02/1183.40	c 1183s |      26 | 11143563 |  8468452 |     5617   3661 |        0 |        0
1185.01/1185.40	c 1185s |      26 | 11157860 |  8479852 |     5617   3665 |        0 |        0
1187.01/1187.41	c 1187s |      26 | 11175593 |  8493352 |     5617   3669 |        0 |        0
1189.01/1189.43	c 1189s |      26 | 11192288 |  8506752 |     5617   3674 |        0 |        0
1191.02/1191.44	c 1191s |      26 | 11207679 |  8518752 |     5617   3677 |        0 |        0
1193.01/1193.45	c 1193s |      26 | 11224230 |  8531252 |     5617   3682 |        0 |        0
1195.01/1195.45	c 1195s |      26 | 11240893 |  8544452 |     5617   3686 |        0 |        0
1197.01/1197.45	c 1197s |      26 | 11254625 |  8555452 |     5617   3690 |        0 |        0
1199.01/1199.47	c 1199s |      26 | 11269608 |  8567552 |     5617   3694 |        0 |        0
1201.01/1201.47	c 1201s |      26 | 11284783 |  8579452 |     5617   3698 |        0 |        0
1203.02/1203.48	c 1203s |      26 | 11305333 |  8594752 |     5617   3703 |        0 |        0
1205.11/1205.51	c 1205s |      26 | 11318858 |  8606052 |     5617   3707 |        0 |        0
1207.11/1207.53	c 1207s |      26 | 11338624 |  8620852 |     5617   3711 |        0 |        0
1209.11/1209.54	c 1209s |      26 | 11359012 |  8636452 |     5617   3717 |        0 |        0
1211.11/1211.55	c 1211s |      26 | 11380341 |  8652852 |     5617   3722 |        0 |        0
1213.11/1213.55	c 1213s |      26 | 11402009 |  8669252 |     5617   3728 |        0 |        0
1215.11/1215.55	c 1215s |      26 | 11420647 |  8683652 |     5617   3732 |        0 |        0
1217.11/1217.56	c 1217s |      26 | 11436748 |  8696552 |     5617   3737 |        0 |        0
1219.10/1219.57	c 1219s |      26 | 11456226 |  8711152 |     5617   3742 |        0 |        0
1221.11/1221.58	c 1221s |      26 | 11472254 |  8723652 |     5617   3746 |        0 |        0
1223.10/1223.59	c 1223s |      26 | 11492638 |  8738752 |     5617   3751 |        0 |        0
1225.21/1225.60	c 1225s |      26 | 11508040 |  8750852 |     5617   3755 |        0 |        0
1227.22/1227.64	c 1227s |      26 | 11521790 |  8761252 |     5617   3759 |        0 |        0
1229.21/1229.64	c 1229s |      26 | 11538838 |  8774652 |     5617   3763 |        0 |        0
1231.21/1231.66	c 1231s |      26 | 11556703 |  8788252 |     5617   3768 |        0 |        0
1233.21/1233.67	c 1233s |      26 | 11575444 |  8802752 |     5617   3772 |        0 |        0
1235.21/1235.68	c 1235s |      26 | 11592302 |  8815952 |     5617   3777 |        0 |        0
1237.22/1237.69	c 1237s |      26 | 11609769 |  8829552 |     5617   3781 |        0 |        0
1239.32/1239.70	c 1239s |      26 | 11624847 |  8841352 |     5617   3785 |        0 |        0
1241.31/1241.71	c 1241s |      26 | 11637931 |  8851752 |     5617   3789 |        0 |        0
1243.31/1243.72	c 1243s |      26 | 11653821 |  8864352 |     5617   3793 |        0 |        0
1245.31/1245.72	c 1245s |      26 | 11666654 |  8874652 |     5617   3797 |        0 |        0
1247.31/1247.72	c 1247s |      26 | 11679764 |  8885452 |     5617   3800 |        0 |        0
1249.31/1249.72	c 1249s |      26 | 11695965 |  8897952 |     5617   3804 |        0 |        0
1251.30/1251.73	c 1251s |      26 | 11714751 |  8912252 |     5617   3809 |        0 |        0
1253.30/1253.74	c 1253s |      26 | 11731991 |  8925352 |     5617   3814 |        0 |        0
1255.30/1255.74	c 1255s |      26 | 11752663 |  8940852 |     5617   3819 |        0 |        0
1257.30/1257.75	c 1257s |      26 | 11769623 |  8954152 |     5617   3823 |        0 |        0
1259.30/1259.77	c 1259s |      26 | 11785015 |  8965852 |     5617   3827 |        0 |        0
1261.31/1261.79	c 1261s |      26 | 11802113 |  8978952 |     5617   3832 |        0 |        0
1263.30/1263.79	c 1263s |      26 | 11822942 |  8994552 |     5617   3837 |        0 |        0
1265.40/1265.80	c 1265s |      26 | 11843355 |  9009352 |     5617   3842 |        0 |        0
1267.40/1267.80	c 1267s |      26 | 11856954 |  9020252 |     5617   3845 |        0 |        0
1269.40/1269.80	c 1269s |      26 | 11870763 |  9031252 |     5617   3849 |        0 |        0
1271.40/1271.81	c 1271s |      26 | 11889101 |  9044952 |     5617   3854 |        0 |        0
1273.41/1273.82	c 1273s |      26 | 11909039 |  9059452 |     5617   3859 |        0 |        0
1275.40/1275.83	c 1275s |      26 | 11927107 |  9073252 |     5617   3863 |        0 |        0
1277.40/1277.83	c 1277s |      26 | 11946327 |  9087752 |     5617   3868 |        0 |        0
1279.40/1279.84	c 1279s |      26 | 11962729 |  9100252 |     5617   3872 |        0 |        0
1281.40/1281.85	c 1281s |      26 | 11980395 |  9114152 |     5617   3877 |        0 |        0
1283.40/1283.85	c 1283s |      26 | 11993320 |  9124852 |     5617   3880 |        0 |        0
1285.40/1285.86	c 1285s |      26 | 12011012 |  9138752 |     5617   3885 |        0 |        0
1287.40/1287.86	c 1287s |      26 | 12029623 |  9152952 |     5617   3890 |        0 |        0
1289.40/1289.88	c 1289s |      26 | 12046596 |  9166452 |     5617   3894 |        0 |        0
1291.40/1291.89	c 1291s |      26 | 12063510 |  9179052 |     5617   3898 |        0 |        0
1293.40/1293.89	c 1293s |      26 | 12083418 |  9193852 |     5617   3903 |        0 |        0
1295.40/1295.90	c 1295s |      26 | 12104538 |  9209352 |     5617   3909 |        0 |        0
1297.49/1297.91	c 1297s |      26 | 12124495 |  9224152 |     5617   3914 |        0 |        0
1299.49/1299.91	c 1299s |      26 | 12140940 |  9237252 |     5617   3918 |        0 |        0
1301.49/1301.91	c 1301s |      26 | 12160035 |  9251852 |     5617   3923 |        0 |        0
1303.49/1303.93	c 1303s |      26 | 12177493 |  9265352 |     5617   3927 |        0 |        0
1305.49/1305.93	c 1305s |      26 | 12193768 |  9277652 |     5617   3931 |        0 |        0
1307.50/1307.93	c 1307s |      26 | 12214415 |  9293152 |     5617   3937 |        0 |        0
1309.50/1309.94	c 1309s |      26 | 12233484 |  9307952 |     5617   3942 |        0 |        0
1311.50/1311.95	c 1311s |      26 | 12252737 |  9322152 |     5617   3946 |        0 |        0
1313.50/1313.96	c 1313s |      26 | 12268355 |  9335052 |     5617   3951 |        0 |        0
1315.50/1315.98	c 1315s |      26 | 12283006 |  9346752 |     5617   3955 |        0 |        0
1317.51/1317.96	c 1317s |      26 | 12297958 |  9358652 |     5617   3959 |        0 |        0
1319.50/1319.98	c 1319s |      26 | 12313109 |  9370152 |     5617   3962 |        0 |        0
1321.50/1321.98	c 1321s |      26 | 12327927 |  9381952 |     5617   3966 |        0 |        0
1323.60/1324.00	c 1323s |      26 | 12342775 |  9393852 |     5617   3970 |        0 |        0
1325.60/1326.02	c 1325s |      26 | 12353465 |  9402952 |     5617   3973 |        0 |        0
1327.59/1328.04	c 1328s |      26 | 12369317 |  9415252 |     5617   3977 |        0 |        0
1329.60/1330.05	c 1330s |      26 | 12382935 |  9426052 |     5617   3981 |        0 |        0
1331.59/1332.05	c 1332s |      26 | 12396068 |  9436852 |     5617   3984 |        0 |        0
1333.59/1334.06	c 1334s |      26 | 12416325 |  9451852 |     5617   3989 |        0 |        0
1335.59/1336.06	c 1336s |      26 | 12434518 |  9466052 |     5617   3994 |        0 |        0
1337.59/1338.07	c 1338s |      26 | 12451994 |  9479352 |     5617   3999 |        0 |        0
1339.59/1340.08	c 1340s |      26 | 12471048 |  9493552 |     5617   4003 |        0 |        0
1341.60/1342.08	c 1342s |      26 | 12491347 |  9509052 |     5617   4008 |        0 |        0
1343.59/1344.08	c 1344s |      26 | 12514420 |  9526152 |     5617   4014 |        0 |        0
1345.59/1346.08	c 1346s |      26 | 12537470 |  9543052 |     5617   4020 |        0 |        0
1347.59/1348.09	c 1348s |      26 | 12558734 |  9559352 |     5617   4025 |        0 |        0
1349.58/1350.10	c 1350s |      26 | 12576504 |  9572852 |     5617   4030 |        0 |        0
1351.69/1352.10	c 1352s |      26 | 12590473 |  9583952 |     5617   4033 |        0 |        0
1353.59/1354.10	c 1354s |      26 | 12607007 |  9596952 |     5617   4037 |        0 |        0
1355.69/1356.12	c 1356s |      26 | 12626951 |  9611652 |     5617   4042 |        0 |        0
1357.69/1358.12	c 1358s |      26 | 12647485 |  9626752 |     5617   4047 |        0 |        0
1359.69/1360.13	c 1360s |      26 | 12670545 |  9643252 |     5617   4053 |        0 |        0
1361.69/1362.14	c 1362s |      26 | 12695048 |  9660752 |     5617   4059 |        0 |        0
1363.70/1364.14	c 1364s |      26 | 12715601 |  9676052 |     5617   4064 |        0 |        0
1365.69/1366.15	c 1366s |      26 | 12735686 |  9690352 |     5617   4069 |        0 |        0
1367.69/1368.15	c 1368s |      26 | 12760808 |  9708452 |     5617   4075 |        0 |        0
1369.69/1370.16	c 1370s |      26 | 12782372 |  9724052 |     5617   4080 |        0 |        0
1371.69/1372.17	c 1372s |      26 | 12803502 |  9739652 |     5617   4085 |        0 |        0
1373.69/1374.17	c 1374s |      26 | 12816837 |  9750252 |     5617   4089 |        0 |        0
1375.69/1376.18	c 1376s |      26 | 12833943 |  9763352 |     5617   4093 |        0 |        0
1377.69/1378.18	c 1378s |      26 | 12848435 |  9775152 |     5617   4097 |        0 |        0
1379.69/1380.19	c 1380s |      26 | 12864426 |  9788052 |     5617   4101 |        0 |        0
1381.69/1382.19	c 1382s |      26 | 12882688 |  9802052 |     5617   4106 |        0 |        0
1383.78/1384.20	c 1384s |      26 | 12901025 |  9816252 |     5617   4111 |        0 |        0
1385.78/1386.21	c 1386s |      26 | 12916500 |  9827952 |     5617   4114 |        0 |        0
1387.79/1388.21	c 1388s |      26 | 12931302 |  9839952 |     5617   4118 |        0 |        0
1389.78/1390.22	c 1390s |      26 | 12947491 |  9852752 |     5617   4123 |        0 |        0
1391.78/1392.23	c 1392s |      26 | 12962447 |  9864552 |     5617   4126 |        0 |        0
1393.78/1394.24	c 1394s |      26 | 12982130 |  9879052 |     5617   4131 |        0 |        0
1395.78/1396.25	c 1396s |      26 | 13001246 |  9893252 |     5617   4136 |        0 |        0
1397.79/1398.26	c 1398s |      26 | 13019557 |  9906752 |     5617   4140 |        0 |        0
1399.78/1400.27	c 1400s |      26 | 13036080 |  9919652 |     5617   4145 |        0 |        0
1401.78/1402.28	c 1402s |      26 | 13054317 |  9933352 |     5617   4149 |        0 |        0
1403.88/1404.30	c 1404s |      26 | 13070174 |  9945952 |     5617   4153 |        0 |        0
1405.88/1406.30	c 1406s |      26 | 13086368 |  9958452 |     5617   4157 |        0 |        0
1407.88/1408.30	c 1408s |      26 | 13104044 |  9972052 |     5617   4162 |        0 |        0
1409.88/1410.32	c 1410s |      26 | 13120693 |  9984852 |     5617   4166 |        0 |        0
1411.88/1412.32	c 1412s |      26 | 13137007 |  9997352 |     5617   4170 |        0 |        0
1413.88/1414.33	c 1414s |      26 | 13154063 | 10010052 |     5617   4175 |        0 |        0
1415.88/1416.35	c 1416s |      26 | 13168636 | 10021552 |     5617   4178 |        0 |        0
1417.88/1418.36	c 1418s |      26 | 13186679 | 10035352 |     5617   4183 |        0 |        0
1419.88/1420.37	c 1420s |      26 | 13203515 | 10048652 |     5617   4187 |        0 |        0
1421.88/1422.38	c 1422s |      26 | 13220221 | 10061152 |     5617   4192 |        0 |        0
1423.88/1424.38	c 1424s |      26 | 13243959 | 10078052 |     5617   4197 |        0 |        0
1425.88/1426.39	c 1426s |      26 | 13262142 | 10091752 |     5617   4202 |        0 |        0
1427.98/1428.41	c 1428s |      26 | 13275336 | 10102652 |     5617   4205 |        0 |        0
1429.98/1430.42	c 1430s |      26 | 13295626 | 10117652 |     5617   4210 |        0 |        0
1431.98/1432.42	c 1432s |      26 | 13311703 | 10130652 |     5617   4215 |        0 |        0
1433.99/1434.42	c 1434s |      26 | 13327711 | 10143352 |     5617   4219 |        0 |        0
1435.98/1436.44	c 1436s |      26 | 13344506 | 10156352 |     5617   4223 |        0 |        0
1437.98/1438.45	c 1438s |      26 | 13362070 | 10170352 |     5617   4228 |        0 |        0
1439.98/1440.45	c 1440s |      26 | 13377887 | 10183152 |     5617   4232 |        0 |        0
1441.98/1442.46	c 1442s |      26 | 13391270 | 10193952 |     5617   4235 |        0 |        0
1443.98/1444.46	c 1444s |      26 | 13407521 | 10206752 |     5617   4240 |        0 |        0
1445.97/1446.46	c 1446s |      26 | 13424496 | 10220052 |     5617   4244 |        0 |        0
1447.97/1448.46	c 1448s |      26 | 13445974 | 10235952 |     5617   4249 |        0 |        0
1449.97/1450.47	c 1450s |      26 | 13462711 | 10248852 |     5617   4254 |        0 |        0
1451.97/1452.47	c 1452s |      26 | 13484006 | 10264752 |     5617   4259 |        0 |        0
1453.97/1454.48	c 1454s |      26 | 13509159 | 10282352 |     5617   4265 |        0 |        0
1455.98/1456.49	c 1456s |      26 | 13528788 | 10296752 |     5617   4270 |        0 |        0
1457.97/1458.49	c 1458s |      26 | 13544640 | 10308952 |     5617   4274 |        0 |        0
1460.07/1460.50	c 1460s |      26 | 13560862 | 10321152 |     5617   4278 |        0 |        0
1462.07/1462.51	c 1462s |      26 | 13578571 | 10335052 |     5617   4282 |        0 |        0
1464.07/1464.51	c 1464s |      26 | 13600056 | 10350852 |     5617   4288 |        0 |        0
1466.07/1466.52	c 1466s |      26 | 13614349 | 10362252 |     5617   4291 |        0 |        0
1468.07/1468.52	c 1468s |      26 | 13628709 | 10373652 |     5617   4295 |        0 |        0
1470.07/1470.53	c 1470s |      26 | 13645458 | 10386252 |     5617   4299 |        0 |        0
1472.08/1472.55	c 1472s |      26 | 13662762 | 10399152 |     5617   4303 |        0 |        0
1474.08/1474.56	c 1474s |      26 | 13683041 | 10413052 |     5617   4308 |        0 |        0
1476.07/1476.57	c 1476s |      26 | 13701756 | 10426552 |     5617   4313 |        0 |        0
1478.08/1478.57	c 1478s |      26 | 13718982 | 10439952 |     5617   4317 |        0 |        0
1480.07/1480.57	c 1480s |      26 | 13733714 | 10451252 |     5617   4321 |        0 |        0
1482.07/1482.58	c 1482s |      26 | 13756307 | 10467652 |     5617   4326 |        0 |        0
1484.07/1484.58	c 1484s |      26 | 13774838 | 10481852 |     5617   4331 |        0 |        0
1486.07/1486.59	c 1486s |      26 | 13791901 | 10495152 |     5617   4335 |        0 |        0
1488.17/1488.60	c 1488s |      26 | 13810304 | 10508852 |     5617   4340 |        0 |        0
1490.18/1490.61	c 1490s |      26 | 13829179 | 10523052 |     5617   4345 |        0 |        0
1492.17/1492.61	c 1492s |      26 | 13845632 | 10535352 |     5617   4349 |        0 |        0
1494.17/1494.62	c 1494s |      26 | 13861640 | 10547752 |     5617   4353 |        0 |        0
1496.17/1496.62	c 1496s |      26 | 13878053 | 10560652 |     5617   4357 |        0 |        0
1498.17/1498.63	c 1498s |      26 | 13892907 | 10572352 |     5617   4361 |        0 |        0
1500.17/1500.66	c 1500s |      26 | 13910867 | 10585652 |     5617   4366 |        0 |        0
1502.18/1502.67	c 1502s |      26 | 13925042 | 10597052 |     5617   4369 |        0 |        0
1504.17/1504.68	c 1504s |      26 | 13945216 | 10612152 |     5617   4374 |        0 |        0
1506.17/1506.68	c 1506s |      26 | 13963639 | 10626152 |     5617   4379 |        0 |        0
1508.17/1508.69	c 1508s |      26 | 13981049 | 10639352 |     5617   4383 |        0 |        0
1510.17/1510.69	c 1510s |      26 | 13996737 | 10651652 |     5617   4388 |        0 |        0
1512.27/1512.71	c 1512s |      26 | 14012602 | 10663852 |     5617   4392 |        0 |        0
1514.27/1514.71	c 1514s |      26 | 14031596 | 10678552 |     5617   4396 |        0 |        0
1516.26/1516.72	c 1516s |      26 | 14048598 | 10691552 |     5617   4401 |        0 |        0
1518.26/1518.73	c 1518s |      26 | 14065779 | 10704852 |     5617   4405 |        0 |        0
1520.26/1520.79	c 1520s |      26 | 14083516 | 10718352 |     5617   4410 |        0 |        0
1522.36/1522.80	c 1522s |      26 | 14102295 | 10732452 |     5617   4414 |        0 |        0
1524.36/1524.81	c 1524s |      26 | 14113856 | 10742452 |     5617   4417 |        0 |        0
1526.37/1526.83	c 1526s |      26 | 14122175 | 10749952 |     5617   4420 |        0 |        0
1528.36/1528.84	c 1528s |      26 | 14132654 | 10758752 |     5617   4423 |        0 |        0
1530.36/1530.85	c 1530s |      26 | 14143297 | 10767752 |     5617   4426 |        0 |        0
1532.36/1532.87	c 1532s |      26 | 14155904 | 10778252 |     5617   4429 |        0 |        0
1534.36/1534.89	c 1534s |      26 | 14169504 | 10789352 |     5617   4433 |        0 |        0
1536.46/1536.90	c 1536s |      26 | 14179650 | 10798352 |     5617   4436 |        0 |        0
1538.47/1538.91	c 1538s |      26 | 14198605 | 10812752 |     5617   4441 |        0 |        0
1540.46/1540.91	c 1540s |      26 | 14217708 | 10826852 |     5617   4445 |        0 |        0
1542.46/1542.92	c 1542s |      26 | 14236855 | 10840852 |     5617   4450 |        0 |        0
1544.46/1544.95	c 1544s |      26 | 14255744 | 10855452 |     5617   4455 |        0 |        0
1546.46/1546.96	c 1546s |      26 | 14277213 | 10871152 |     5617   4460 |        0 |        0
1548.46/1548.96	c 1548s |      26 | 14297783 | 10886352 |     5617   4465 |        0 |        0
1550.46/1550.97	c 1550s |      26 | 14315972 | 10900652 |     5617   4470 |        0 |        0
1552.46/1552.98	c 1552s |      26 | 14335276 | 10915252 |     5617   4475 |        0 |        0
1554.45/1554.98	c 1554s |      26 | 14354435 | 10929752 |     5617   4480 |        0 |        0
1556.45/1556.99	c 1556s |      26 | 14372427 | 10943252 |     5617   4484 |        0 |        0
1558.55/1559.00	c 1558s |      26 | 14393042 | 10958652 |     5617   4489 |        0 |        0
1560.56/1561.01	c 1560s |      26 | 14409676 | 10971452 |     5617   4494 |        0 |        0
1562.55/1563.03	c 1563s |      26 | 14429106 | 10986152 |     5617   4499 |        0 |        0
1564.55/1565.03	c 1565s |      26 | 14448300 | 11000652 |     5617   4503 |        0 |        0
1566.55/1567.04	c 1567s |      26 | 14461106 | 11011152 |     5617   4507 |        0 |        0
1568.56/1569.06	c 1569s |      26 | 14480019 | 11024752 |     5617   4511 |        0 |        0
1570.56/1571.07	c 1571s |      26 | 14501847 | 11041152 |     5617   4517 |        0 |        0
1572.57/1573.08	c 1573s |      26 | 14516894 | 11052952 |     5617   4521 |        0 |        0
1574.56/1575.09	c 1575s |      26 | 14538709 | 11069052 |     5617   4526 |        0 |        0
1576.56/1577.09	c 1577s |      26 | 14554211 | 11081752 |     5617   4530 |        0 |        0
1578.66/1579.11	c 1579s |      26 | 14570557 | 11094752 |     5617   4535 |        0 |        0
1580.65/1581.12	c 1581s |      26 | 14582623 | 11104752 |     5617   4538 |        0 |        0
1582.65/1583.12	c 1583s |      26 | 14597197 | 11116252 |     5617   4542 |        0 |        0
1584.66/1585.13	c 1585s |      26 | 14614466 | 11129452 |     5617   4546 |        0 |        0
1586.65/1587.13	c 1587s |      26 | 14630429 | 11141852 |     5617   4550 |        0 |        0
1588.65/1589.15	c 1589s |      26 | 14645601 | 11153852 |     5617   4554 |        0 |        0
1590.65/1591.16	c 1591s |      26 | 14663288 | 11167052 |     5617   4559 |        0 |        0
1592.65/1593.17	c 1593s |      26 | 14679569 | 11179952 |     5617   4563 |        0 |        0
1594.66/1595.18	c 1595s |      26 | 14697807 | 11193752 |     5617   4567 |        0 |        0
1596.65/1597.20	c 1597s |      26 | 14720367 | 11210652 |     5617   4573 |        0 |        0
1598.76/1599.20	c 1599s |      26 | 14741364 | 11225952 |     5617   4578 |        0 |        0
1600.75/1601.21	c 1601s |      26 | 14763389 | 11242352 |     5617   4583 |        0 |        0
1602.75/1603.22	c 1603s |      26 | 14782482 | 11256352 |     5617   4588 |        0 |        0
1604.75/1605.23	c 1605s |      26 | 14802130 | 11270852 |     5617   4593 |        0 |        0
1606.76/1607.28	c 1607s |      26 | 14817246 | 11282752 |     5617   4597 |        0 |        0
1608.75/1609.28	c 1609s |      26 | 14834308 | 11295952 |     5617   4601 |        0 |        0
1610.75/1611.29	c 1611s |      26 | 14847406 | 11306652 |     5617   4605 |        0 |        0
1612.85/1613.32	c 1613s |      26 | 14862192 | 11318352 |     6179   4609 |        0 |        0
1614.85/1615.33	c 1615s |      26 | 14876861 | 11329852 |     6179   4612 |        0 |        0
1616.85/1617.33	c 1617s |      26 | 14891320 | 11341352 |     6179   4616 |        0 |        0
1618.86/1619.34	c 1619s |      26 | 14907075 | 11354252 |     6179   4619 |        0 |        0
1620.85/1621.36	c 1621s |      26 | 14921272 | 11365652 |     6179   4623 |        0 |        0
1622.85/1623.37	c 1623s |      26 | 14935497 | 11376952 |     6179   4626 |        0 |        0
1624.85/1625.39	c 1625s |      26 | 14947218 | 11386552 |     6179   4629 |        0 |        0
1626.55/1627.03	c 1627s |      27 | 14960064 | 11396733 |     6179   4632 |        0 |        0
1628.55/1629.03	c 1629s |      27 | 14975352 | 11408933 |     6179   4636 |        0 |        0
1630.55/1631.03	c 1631s |      27 | 14985560 | 11417633 |     6179   4639 |        0 |        0
1632.54/1633.04	c 1633s |      27 | 15001323 | 11430033 |     6179   4643 |        0 |        0
1634.54/1635.04	c 1635s |      27 | 15020252 | 11444333 |     6179   4647 |        0 |        0
1636.54/1637.04	c 1637s |      27 | 15037650 | 11457333 |     6179   4651 |        0 |        0
1638.55/1639.05	c 1639s |      27 | 15053093 | 11469633 |     6179   4655 |        0 |        0
1640.54/1641.06	c 1641s |      27 | 15066566 | 11480233 |     6179   4658 |        0 |        0
1642.54/1643.06	c 1643s |      27 | 15081112 | 11491433 |     6179   4661 |        0 |        0
1644.54/1645.08	c 1645s |      27 | 15097974 | 11504133 |     6179   4665 |        0 |        0
1646.54/1647.09	c 1647s |      27 | 15116169 | 11517633 |     6179   4669 |        0 |        0
1648.55/1649.09	c 1649s |      27 | 15133083 | 11530433 |     6179   4673 |        0 |        0
1650.65/1651.11	c 1651s |      27 | 15151767 | 11544533 |     6179   4677 |        0 |        0
1652.64/1653.11	c 1653s |      27 | 15165324 | 11555433 |     6179   4681 |        0 |        0
1654.64/1655.13	c 1655s |      27 | 15180941 | 11567633 |     6179   4684 |        0 |        0
1656.64/1657.13	c 1657s |      27 | 15195004 | 11578533 |     6179   4688 |        0 |        0
1658.64/1659.15	c 1659s |      27 | 15210606 | 11590433 |     6179   4691 |        0 |        0
1660.65/1661.15	c 1661s |      27 | 15227343 | 11603133 |     6179   4695 |        0 |        0
1662.64/1663.15	c 1663s |      27 | 15244026 | 11616433 |     6179   4699 |        0 |        0
1664.64/1665.16	c 1665s |      27 | 15262814 | 11630133 |     6179   4704 |        0 |        0
1666.64/1667.17	c 1667s |      27 | 15284116 | 11645233 |     6179   4708 |        0 |        0
1668.64/1669.18	c 1669s |      27 | 15305378 | 11660933 |     6179   4713 |        0 |        0
1670.64/1671.18	c 1671s |      27 | 15327688 | 11677833 |     6179   4718 |        0 |        0
1672.64/1673.19	c 1673s |      27 | 15344869 | 11690633 |     6179   4722 |        0 |        0
1674.64/1675.19	c 1675s |      27 | 15366364 | 11706733 |     6179   4727 |        0 |        0
1676.74/1677.20	c 1677s |      27 | 15386431 | 11721633 |     6179   4732 |        0 |        0
1678.73/1679.20	c 1679s |      27 | 15403838 | 11735533 |     6179   4736 |        0 |        0
1680.73/1681.21	c 1681s |      27 | 15418323 | 11746733 |     6179   4739 |        0 |        0
1682.73/1683.23	c 1683s |      27 | 15432073 | 11758133 |     6179   4743 |        0 |        0
1684.74/1685.24	c 1685s |      27 | 15446656 | 11769433 |     6179   4746 |        0 |        0
1686.73/1687.24	c 1687s |      27 | 15466565 | 11784533 |     6179   4751 |        0 |        0
1688.73/1689.28	c 1689s |      27 | 15480848 | 11796133 |     6179   4755 |        0 |        0
1690.74/1691.29	c 1691s |      27 | 15500366 | 11810533 |     6179   4759 |        0 |        0
1692.84/1693.33	c 1693s |      27 | 15511971 | 11820433 |     6179   4762 |        0 |        0
1694.84/1695.34	c 1695s |      27 | 15525428 | 11831233 |     6179   4765 |        0 |        0
1696.85/1697.35	c 1697s |      27 | 15543156 | 11844733 |     6179   4770 |        0 |        0
1698.84/1699.39	c 1699s |      27 | 15559237 | 11857633 |     6179   4774 |        0 |        0
1700.94/1701.40	c 1701s |      27 | 15577993 | 11871433 |     6179   4778 |        0 |        0
1702.94/1703.41	c 1703s |      27 | 15599158 | 11887133 |     6179   4783 |        0 |        0
1704.94/1705.41	c 1705s |      27 | 15615111 | 11899433 |     6179   4786 |        0 |        0
1706.94/1707.41	c 1707s |      27 | 15635519 | 11914833 |     6179   4791 |        0 |        0
1708.94/1709.41	c 1709s |      27 | 15650015 | 11926133 |     6179   4795 |        0 |        0
1710.94/1711.42	c 1711s |      27 | 15668513 | 11940333 |     6179   4799 |        0 |        0
1712.93/1713.46	c 1713s |      27 | 15681484 | 11951033 |     6179   4803 |        0 |        0
1714.93/1715.48	c 1715s |      27 | 15698927 | 11964333 |     6179   4807 |        0 |        0
1717.03/1717.50	c 1717s |      27 | 15715170 | 11977133 |     6179   4811 |        0 |        0
1719.03/1719.51	c 1719s |      27 | 15732185 | 11990233 |     6179   4815 |        0 |        0
1721.04/1721.53	c 1721s |      27 | 15748155 | 12002733 |     6179   4818 |        0 |        0
1723.03/1723.53	c 1723s |      27 | 15763941 | 12015033 |     6179   4822 |        0 |        0
1725.03/1725.55	c 1725s |      27 | 15777147 | 12025633 |     6179   4825 |        0 |        0
1727.03/1727.57	c 1727s |      27 | 15789428 | 12035633 |     6179   4828 |        0 |        0
1729.03/1729.59	c 1729s |      27 | 15802821 | 12046033 |     6179   4832 |        0 |        0
1731.04/1731.59	c 1731s |      27 | 15816492 | 12056533 |     6179   4835 |        0 |        0
1733.03/1733.59	c 1733s |      27 | 15832715 | 12069133 |     6179   4839 |        0 |        0
1735.13/1735.60	c 1735s |      27 | 15849047 | 12081833 |     6179   4843 |        0 |        0
1737.13/1737.60	c 1737s |      27 | 15864125 | 12093733 |     6179   4846 |        0 |        0
1739.13/1739.62	c 1739s |      27 | 15880396 | 12106933 |     6179   4850 |        0 |        0
1741.13/1741.64	c 1741s |      27 | 15902292 | 12123233 |     6179   4856 |        0 |        0
1743.13/1743.65	c 1743s |      27 | 15920067 | 12136533 |     6179   4860 |        0 |        0
1745.12/1745.65	c 1745s |      27 | 15936367 | 12149033 |     6179   4864 |        0 |        0
1747.13/1747.66	c 1747s |      27 | 15954033 | 12162333 |     6179   4868 |        0 |        0
1749.13/1749.68	c 1749s |      27 | 15965212 | 12171533 |     6179   4870 |        0 |        0
1751.13/1751.69	c 1751s |      27 | 15979662 | 12182733 |     6179   4874 |        0 |        0
1753.23/1753.70	c 1753s |      27 | 15994683 | 12194733 |     6179   4878 |        0 |        0
1755.24/1755.72	c 1755s |      27 | 16009978 | 12206633 |     6179   4881 |        0 |        0
1757.23/1757.73	c 1757s |      27 | 16022481 | 12216533 |     6179   4884 |        0 |        0
1759.23/1759.73	c 1759s |      27 | 16039777 | 12229333 |     6179   4888 |        0 |        0
1761.22/1761.74	c 1761s |      27 | 16053599 | 12240533 |     6179   4892 |        0 |        0
1763.22/1763.74	c 1763s |      27 | 16068383 | 12252233 |     6179   4895 |        0 |        0
1765.22/1765.76	c 1765s |      27 | 16080589 | 12262233 |     6179   4898 |        0 |        0
1767.23/1767.77	c 1767s |      27 | 16094003 | 12273033 |     6179   4902 |        0 |        0
1769.22/1769.78	c 1769s |      27 | 16107031 | 12283533 |     6179   4905 |        0 |        0
1771.22/1771.79	c 1771s |      27 | 16120488 | 12294533 |     6179   4908 |        0 |        0
1773.22/1773.80	c 1773s |      27 | 16137377 | 12307733 |     6179   4912 |        0 |        0
1775.32/1775.80	c 1775s |      27 | 16153660 | 12320333 |     6179   4916 |        0 |        0
1777.32/1777.81	c 1777s |      27 | 16168933 | 12332533 |     6179   4920 |        0 |        0
1779.33/1779.81	c 1779s |      27 | 16185205 | 12345433 |     6179   4924 |        0 |        0
1781.32/1781.82	c 1781s |      27 | 16203425 | 12359233 |     6179   4928 |        0 |        0
1783.32/1783.82	c 1783s |      27 | 16222879 | 12373933 |     6179   4932 |        0 |        0
1785.33/1785.85	c 1785s |      27 | 16244588 | 12390033 |     6179   4938 |        0 |        0
1787.33/1787.87	c 1787s |      27 | 16264477 | 12405333 |     6179   4942 |        0 |        0
1789.33/1789.88	c 1789s |      27 | 16287571 | 12422233 |     6179   4947 |        0 |        0
1791.33/1791.89	c 1791s |      27 | 16302689 | 12434333 |     6179   4951 |        0 |        0
1793.43/1793.90	c 1793s |      27 | 16320655 | 12447833 |     6179   4955 |        0 |        0
1795.43/1795.92	c 1795s |      27 | 16340301 | 12462333 |     6179   4960 |        0 |        0
1797.43/1797.93	c 1797s |      27 | 16360534 | 12477833 |     6179   4965 |        0 |        0
1799.42/1799.93	c 1799s |      27 | 16377396 | 12491133 |     6179   4969 |        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-4088637-1466011414/watcher-4088637-1466011414 -o /tmp/evaluation-result-4088637-1466011414/solver-4088637-1466011414 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088637-1466011414.opb 

pid=6356
running on 4 cores: 1,3,5,7

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.10 2.09 2.09 3/179 6359
/proc/meminfo: memFree=30437924/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=687684 CPUtime=0 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 2561 0 0 0 0 0 0 0 20 0 4 0 3186863 704188416 2922 33554432000 4194304 16246674 140733311159248 140733311158672 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 172689 2931 442 2943 0 169583 0
[pid=6359/tid=6360] ppid=6356 vsize=706116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 723062784 2993 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=710212 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 727257088 3010 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=714308 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 731451392 3026 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.10 2.09 2.09 3/179 6359
/proc/meminfo: memFree=30437924/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 24179 0 0 0 6 3 0 0 20 0 4 0 3186863 1247350784 24529 33554432000 4194304 16246674 140733311159248 140733311142248 6074686 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 304529 24536 717 2943 0 301423 0
[pid=6359/tid=6360] ppid=6356 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1247350784 24541 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1247350784 24545 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1247350784 24551 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200601 s]
/proc/loadavg: 2.10 2.09 2.09 3/179 6359
/proc/meminfo: memFree=30437924/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 45722 0 0 0 13 6 0 0 20 0 4 0 3186863 1247350784 46072 33554432000 4194304 16246674 140733311159248 140733311142248 13192590 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 304529 46084 717 2943 0 301423 0
[pid=6359/tid=6360] ppid=6356 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1247350784 46089 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1247350784 46098 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1247350784 46104 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300495 s]
/proc/loadavg: 2.10 2.09 2.09 3/179 6359
/proc/meminfo: memFree=30437924/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 67524 0 0 0 21 8 0 0 20 0 4 0 3186863 1247350784 67874 33554432000 4194304 16246674 140733311159248 140733311142248 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 304529 67884 717 2943 0 301423 0
[pid=6359/tid=6360] ppid=6356 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1247350784 67891 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1247350784 67896 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1247350784 67902 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70036 s]
/proc/loadavg: 2.10 2.09 2.09 3/179 6359
/proc/meminfo: memFree=30437924/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 149446 0 0 0 49 20 0 0 20 0 4 0 3186863 1247350784 149797 33554432000 4194304 16246674 140733311159248 140733311142248 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 304529 149806 717 2943 0 301423 0
[pid=6359/tid=6360] ppid=6356 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1247350784 149811 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1247350784 149817 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1247350784 149821 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50038 s]
/proc/loadavg: 2.10 2.09 2.09 4/183 6363
/proc/meminfo: memFree=29511912/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 246312 0 0 0 116 33 0 0 20 0 4 0 3186863 1251545088 246642 33554432000 4194304 16246674 140733311159248 140733311158560 5823086 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 305553 246642 793 2943 0 302447 0
[pid=6359/tid=6360] ppid=6356 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1251545088 246642 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1251545088 246642 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1251545088 246642 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1222212

[startup+3.10043 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 6363
/proc/meminfo: memFree=29370428/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 267461 0 0 0 273 35 0 0 20 0 4 0 3186863 1337528320 267791 33554432000 4194304 16246674 140733311159248 140733311142248 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 326545 267795 793 2943 0 323439 0
[pid=6359/tid=6360] ppid=6356 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1337528320 267797 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1337528320 267799 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1337528320 267802 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30044 s]
/proc/loadavg: 2.09 2.09 2.09 4/183 6363
/proc/meminfo: memFree=29361056/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1312324 CPUtime=6.29 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 269110 0 0 0 593 36 0 0 20 0 4 0 3186863 1343819776 269440 33554432000 4194304 16246674 140733311159248 140733311141120 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 328081 269440 793 2943 0 324975 0
[pid=6359/tid=6360] ppid=6356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1343819776 269440 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1343819776 269440 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1343819776 269440 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.09 2.09 2.09 3/183 6363
/proc/meminfo: memFree=29360572/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1312324 CPUtime=12.69 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 269110 0 0 0 1233 36 0 0 20 0 4 0 3186863 1343819776 269440 33554432000 4194304 16246674 140733311159248 140733311142248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 328081 269440 793 2943 0 324975 0
[pid=6359/tid=6360] ppid=6356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1343819776 269440 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1343819776 269440 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1343819776 269440 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1312324

[startup+25.5005 s]
/proc/loadavg: 2.07 2.08 2.09 3/183 6363
/proc/meminfo: memFree=29360732/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1312324 CPUtime=25.49 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 269110 0 0 0 2513 36 0 0 20 0 4 0 3186863 1343819776 269440 33554432000 4194304 16246674 140733311159248 140733311141120 4220894 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 328081 269440 793 2943 0 324975 0
[pid=6359/tid=6360] ppid=6356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1343819776 269440 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1343819776 269440 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1343819776 269440 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1312324

[startup+51.1005 s]
/proc/loadavg: 2.04 2.08 2.08 3/183 6363
/proc/meminfo: memFree=29353260/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1320516 CPUtime=51.08 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 271020 0 0 0 5071 37 0 0 20 0 4 0 3186863 1352208384 271350 33554432000 4194304 16246674 140733311159248 140733311142248 5545894 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 330129 271350 795 2943 0 327023 0
[pid=6359/tid=6360] ppid=6356 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1352208384 271350 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1352208384 271350 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1352208384 271350 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1320516

[startup+102.301 s]
/proc/loadavg: 2.16 2.11 2.09 3/183 6365
/proc/meminfo: memFree=29352236/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1320516 CPUtime=102.26 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 271178 0 0 0 10189 37 0 0 20 0 4 0 3186863 1352208384 271490 33554432000 4194304 16246674 140733311159248 140733311141120 12477756 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 330129 271490 795 2943 0 327023 0
[pid=6359/tid=6360] ppid=6356 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1352208384 271490 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1352208384 271490 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1320516 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1352208384 271490 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1320516


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

/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1335876

[startup+1362.3 s]
/proc/loadavg: 2.07 2.05 2.04 3/183 6543
/proc/meminfo: memFree=29377584/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1335876 CPUtime=1361.89 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 275356 0 0 0 136126 63 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140733311142248 5723413 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 333969 275332 797 2943 0 330863 0
[pid=6359/tid=6360] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1335876

[startup+1422.3 s]
/proc/loadavg: 2.02 2.04 2.04 3/183 6544
/proc/meminfo: memFree=29378216/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1335876 CPUtime=1421.88 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 275356 0 0 0 142125 63 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140733311141120 5673135 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 333969 275332 797 2943 0 330863 0
[pid=6359/tid=6360] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1335876

[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.03 3/183 6545
/proc/meminfo: memFree=29378528/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1335876 CPUtime=1481.87 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 275356 0 0 0 148122 65 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140733311141120 5861500 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 333969 275332 797 2943 0 330863 0
[pid=6359/tid=6360] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1335876

[startup+1542.31 s]
/proc/loadavg: 2.14 2.05 2.04 3/183 6546
/proc/meminfo: memFree=29378128/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1335876 CPUtime=1541.87 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 275356 0 0 0 154122 65 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140733311141120 5545755 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 333969 275332 797 2943 0 330863 0
[pid=6359/tid=6360] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1335876

[startup+1602.3 s]
/proc/loadavg: 2.17 2.07 2.04 3/184 6551
/proc/meminfo: memFree=29377900/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1335876 CPUtime=1601.85 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 275356 0 0 0 160118 67 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140733311141120 5823131 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 333969 275332 797 2943 0 330863 0
[pid=6359/tid=6360] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1335876

[startup+1662.3 s]
/proc/loadavg: 2.26 2.10 2.05 3/183 6552
/proc/meminfo: memFree=29377832/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1335876 CPUtime=1661.84 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 275356 0 0 0 166117 67 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140733311142248 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 333969 275332 797 2943 0 330863 0
[pid=6359/tid=6360] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275332 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1335876

[startup+1722.3 s]
/proc/loadavg: 2.21 2.11 2.06 4/183 6553
/proc/meminfo: memFree=29375884/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1335876 CPUtime=1721.83 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 275357 0 0 0 172115 68 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140733311142248 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 333969 275588 797 2943 0 330863 0
[pid=6359/tid=6360] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1335876

[startup+1782.3 s]
/proc/loadavg: 2.31 2.15 2.07 3/183 6554
/proc/meminfo: memFree=29375736/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1335876 CPUtime=1781.82 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 275357 0 0 0 178113 69 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140733311142248 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 333969 275588 797 2943 0 330863 0
[pid=6359/tid=6360] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1335876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.16 2.07 3/183 6554
/proc/meminfo: memFree=29375736/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1335876 CPUtime=1800.02 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 275357 0 0 0 179932 70 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140733311142248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 333969 275588 797 2943 0 330863 0
[pid=6359/tid=6360] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1335876

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

[startup+1800.5 s]
/proc/loadavg: 2.28 2.16 2.07 3/183 6554
/proc/meminfo: memFree=29375736/32872528 swapFree=496356/529060
[pid=6359] ppid=6356 vsize=1335876 CPUtime=1800.02 cores=1,3,5,7
/proc/6359/stat : 6359 (toysat) R 6356 6359 5955 0 -1 4202496 275357 0 0 0 179932 70 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140733311142248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6359/statm: 333969 275588 797 2943 0 330863 0
[pid=6359/tid=6360] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6360/stat : 6360 (toysat) S 6356 6359 5955 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140488138009840 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6359/tid=6361] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6361/stat : 6361 (toysat) S 6356 6359 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140488127519984 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6359/tid=6362] ppid=6356 vsize=1335876 CPUtime=0 cores=1,3,5,7
/proc/6359/task/6362/stat : 6362 (toysat) S 6356 6359 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3186863 1367937024 275588 33554432000 4194304 16246674 140733311159248 140488044702896 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1335876

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.04
CPU user time (s): 1799.33
CPU system time (s): 0.701893
CPU usage (%): 99.9737
Max. virtual memory (cumulated for all children) (KiB): 1335876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.701893
maximum resident set size= 1102352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275357
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= 369
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7144 second user time and 17.9253 second system time

The end

Begin job on node141 at 2016-06-15 19:23:34
IDJOB=4088637
IDBENCH=107292
IDSOLVER=2542
FILE ID=node141/4088637-1466011414
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x70split.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088637-1466011414/watcher-4088637-1466011414 -o /tmp/evaluation-result-4088637-1466011414/solver-4088637-1466011414 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088637-1466011414.opb

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

MD5SUM BENCH= abb74cafd4f247e441952352ceb78345
RANDOM SEED=406428593

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.547
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.547
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.547
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:        30438212 kB
Buffers:            6912 kB
Cached:            70636 kB
SwapCached:        13076 kB
Active:          1174048 kB
Inactive:          31172 kB
Active(anon):    1118024 kB
Inactive(anon):    12008 kB
Active(file):      56024 kB
Inactive(file):    19164 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088052 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       1653208 kB
Mapped:            10392 kB
Shmem:                 0 kB
Slab:             565900 kB
SReclaimable:       9864 kB
SUnreclaim:       556036 kB
KernelStack:        1520 kB
PageTables:         7232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1787772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1150976 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= 71716 MiB
End job on node141 at 2016-06-15 19:53:35