0.00/0.00	c 2016-06-15T23:53:04+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-4089449-1466027583.opb"]
0.00/0.01	c use --random-gen="689095163 581779501 234189487 687763302 1253649634 2657295724 3625054814 2130969371 3135802046 350773869 1673696686 3401486583 753724869 478142587 2285175295 875042801 3697196279 899350358 2432726929 705161418 3824355538 3266067504 1991485321 2206833546 1743552728 1727004045 3523899877 2705079700 952709800 3046360071 855528337 2852021145 2331694740 3417119753 3104764345 3477195033 3262465289 1590087638 1443794334 483281545 2106152742 700740654 3455313830 1449635336 2452906691 974999374 401089566 606907033 1266299402 723259520 652862901 2354466504 2940291569 3941472293 1012789666 4105023287 4093050207 3950498364 2012213032 3369949768 3649597250 4002692615 3383546034 2440243457 614475690 4082134881 1494115814 1753060634 3891638321 3822656237 553880195 2528942098 3200201684 457246693 1227974590 4037665355 3608872175 463645680 2673413633 4136325992 4178167017 2862809806 3320991764 4118221231 3479615073 2450486638 4260580221 3853256235 3292189837 3863429782 2771840512 1154784527 2371208406 3308210052 2501904582 2893759793 1692246144 2788910724 840218780 1128725414 1327478667 1198693763 3534598717 3518876785 2979275729 2334965029 4284114443 1760456010 1638774605 1727586753 247005999 2948947715 4043295983 2768618093 565891167 1942010891 3153164551 990942302 3661493967 3384533262 4318235 626226660 3438812698 3375831966 2116850431 499723442 3804492272 933074609 1641333992 1026863787 3435666971 1420690588 3962016153 2952094917 1824765051 230797584 3507988618 1724582006 2380872344 1644704891 2501366360 384193338 2800602881 1063716547 2872844143 1928736673 1572122175 1712641014 1022468167 2460598482 2513674220 3720177051 1334342369 2124022185 1772233822 4258201229 3843639540 1209864153 2193047304 46155557 1854427807 2475128762 2778365840 269543257 204463007 3758140761 2791710421 2068662308 2538434325 1211127035 1475171889 269199577 4194275630 836452062 1516934636 2794988106 113705781 3831154727 837196398 3674545533 838245889 3525878674 2839883175 3731338100 4189920611 771755128 121934552 4050270549 3022713739 607409015 2262297760 1797417566 3526209458 3782771668 3128973966 618882675 64670299 2037780336 2569274267 3067649536 618741770 3408094188 4051076281 3462984347 2136912142 3372574727 1388329790 1900632401 881761880 700472478 4165288439 3539567934 1744660830 3322881672 1849340699 1397702741 3744778358 3568052374 2502150897 3045938534 3061742317 3796814232 895858707 482291479 3942840431 1612842324 3539405063 1270142053 1621317788 2685480650 3683600080 3546539180 4268766612 606475106 3916552710 1363344885 1925196759 3238539975 1753457693 1794109046 1284560505 3893824207 4042107070 917224902 3249490719 3777874231 2080815841 3255263011 1335668954 217338776 731458066 3202334929 1050143312 2884836642 734545717 3462892326 255 362436" option to reproduce the execution
0.00/0.01	c #vars 120
0.00/0.01	c #constraints 241
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      120      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      153 |      100 |      120      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      359 |      250 |      132      1 |        0 |        0
0.00/0.08	c  0.1s |       3 |      633 |      475 |      146      3 |        0 |        0
0.09/0.14	c  0.1s |       4 |     1025 |      813 |      161      7 |        0 |        0
0.19/0.22	c  0.2s |       5 |     1585 |     1320 |      178     11 |        0 |        0
0.28/0.35	c  0.3s |       6 |     2400 |     2081 |      216     17 |        0 |        0
0.28/0.55	c  0.5s |       7 |     3605 |     3223 |      238     25 |        0 |        0
0.79/0.85	c  0.8s |       8 |     5385 |     4936 |      262     37 |        0 |        0
1.09/1.14	c  1.1s |       9 |     8027 |     7506 |      289     53 |        0 |        0
1.59/1.61	c  1.6s |      10 |    11997 |    11361 |      318     75 |        0 |        0
2.19/2.28	c  2.3s |      11 |    17959 |    17144 |      350    106 |        0 |        0
3.29/3.30	c  3.3s |      12 |    27093 |    25819 |      386    149 |        0 |        0
4.79/4.88	c  4.9s |      13 |    40552 |    38832 |      425    208 |        0 |        0
6.79/6.89	c  6.9s |      13 |    57443 |    55032 |      425    276 |        0 |        0
7.28/7.31	c  7.3s |      14 |    60863 |    58352 |      468    290 |        0 |        0
9.28/9.31	c  9.3s |      14 |    77384 |    74352 |      468    352 |        0 |        0
10.88/10.98	c 11.0s |      15 |    91038 |    87632 |      515    403 |        0 |        0
12.88/12.99	c 13.0s |      15 |   108451 |   103932 |      515    460 |        0 |        0
14.88/14.99	c 15.0s |      15 |   125299 |   119832 |      515    517 |        0 |        0
16.38/16.48	c 16.5s |      16 |   137777 |   131552 |      567    558 |        0 |        0
18.38/18.48	c 18.5s |      16 |   154673 |   147352 |      567    609 |        0 |        0
20.39/20.48	c 20.5s |      16 |   171119 |   162952 |      567    659 |        0 |        0
22.39/22.49	c 22.5s |      16 |   187508 |   178652 |      567    710 |        0 |        0
24.40/24.50	c 24.5s |      16 |   203565 |   194252 |      567    761 |        0 |        0
24.89/24.90	c 24.9s |      17 |   206855 |   197432 |      624    771 |        0 |        0
26.89/26.90	c 26.9s |      17 |   223528 |   213132 |      624    817 |        0 |        0
28.90/28.91	c 28.9s |      17 |   240437 |   228632 |      624    864 |        0 |        0
30.89/30.92	c 30.9s |      17 |   256704 |   244032 |      624    909 |        0 |        0
32.89/32.92	c 32.9s |      17 |   273889 |   259832 |      624    956 |        0 |        0
34.89/34.93	c 34.9s |      17 |   290873 |   275432 |      624   1003 |        0 |        0
36.89/36.94	c 36.9s |      17 |   307242 |   290832 |      624   1048 |        0 |        0
37.59/37.65	c 37.6s |      18 |   312871 |   296252 |      687   1064 |        0 |        0
39.59/39.65	c 39.6s |      18 |   329052 |   311652 |      687   1106 |        0 |        0
41.59/41.67	c 41.7s |      18 |   345390 |   326852 |      687   1147 |        0 |        0
43.59/43.67	c 43.7s |      18 |   361436 |   341852 |      687   1188 |        0 |        0
45.58/45.67	c 45.7s |      18 |   377210 |   356752 |      687   1228 |        0 |        0
47.59/47.68	c 47.7s |      18 |   393436 |   371852 |      687   1269 |        0 |        0
49.58/49.68	c 49.7s |      18 |   409411 |   386952 |      687   1310 |        0 |        0
51.58/51.68	c 51.7s |      18 |   425109 |   401852 |      687   1351 |        0 |        0
53.58/53.69	c 53.7s |      18 |   441028 |   416952 |      687   1392 |        0 |        0
55.68/55.70	c 55.7s |      18 |   456808 |   432052 |      687   1433 |        0 |        0
57.28/57.38	c 57.4s |      19 |   470085 |   444482 |      756   1466 |        0 |        0
59.28/59.39	c 59.4s |      19 |   486733 |   460082 |      756   1505 |        0 |        0
61.28/61.39	c 61.4s |      19 |   502760 |   475282 |      756   1542 |        0 |        0
63.38/63.40	c 63.4s |      19 |   518640 |   490382 |      756   1580 |        0 |        0
65.38/65.40	c 65.4s |      19 |   534539 |   505482 |      756   1617 |        0 |        0
67.38/67.40	c 67.4s |      19 |   550137 |   520382 |      756   1655 |        0 |        0
69.38/69.41	c 69.4s |      19 |   565945 |   535382 |      756   1692 |        0 |        0
71.38/71.42	c 71.4s |      19 |   581633 |   549982 |      756   1729 |        0 |        0
73.37/73.42	c 73.4s |      19 |   597041 |   564682 |      756   1765 |        0 |        0
75.37/75.42	c 75.4s |      19 |   612977 |   579682 |      756   1802 |        0 |        0
77.37/77.43	c 77.4s |      19 |   628669 |   594382 |      756   1839 |        0 |        0
79.38/79.43	c 79.4s |      19 |   644898 |   609282 |      756   1876 |        0 |        0
81.37/81.44	c 81.4s |      19 |   661395 |   623982 |      756   1912 |        0 |        0
83.37/83.44	c 83.4s |      19 |   677794 |   638482 |      756   1949 |        0 |        0
85.37/85.45	c 85.4s |      19 |   693720 |   653382 |      756   1985 |        0 |        0
87.18/87.28	c 87.3s |      20 |   707909 |   666827 |      832   2018 |        0 |        0
89.17/89.29	c 89.3s |      20 |   723903 |   681527 |      832   2051 |        0 |        0
91.17/91.29	c 91.3s |      20 |   740106 |   696127 |      832   2084 |        0 |        0
93.17/93.29	c 93.3s |      20 |   755960 |   710727 |      832   2117 |        0 |        0
95.17/95.29	c 95.3s |      20 |   772133 |   725027 |      832   2150 |        0 |        0
97.27/97.31	c 97.3s |      20 |   787495 |   739627 |      832   2183 |        0 |        0
99.28/99.31	c 99.3s |      20 |   802960 |   754227 |      832   2216 |        0 |        0
101.28/101.31	c  101s |      20 |   818193 |   768627 |      832   2249 |        0 |        0
103.28/103.33	c  103s |      20 |   833547 |   783127 |      832   2282 |        0 |        0
105.28/105.33	c  105s |      20 |   848778 |   797527 |      832   2315 |        0 |        0
107.28/107.34	c  107s |      20 |   863744 |   811927 |      832   2347 |        0 |        0
109.28/109.35	c  109s |      20 |   878927 |   826327 |      832   2380 |        0 |        0
111.28/111.36	c  111s |      20 |   894292 |   840527 |      832   2412 |        0 |        0
113.27/113.36	c  113s |      20 |   909574 |   854927 |      832   2445 |        0 |        0
115.27/115.36	c  115s |      20 |   924940 |   869427 |      832   2478 |        0 |        0
117.27/117.36	c  117s |      20 |   940232 |   883827 |      832   2511 |        0 |        0
119.27/119.38	c  119s |      20 |   955248 |   898027 |      832   2543 |        0 |        0
121.28/121.38	c  121s |      20 |   970207 |   912327 |      832   2575 |        0 |        0
123.27/123.38	c  123s |      20 |   985424 |   926827 |      832   2608 |        0 |        0
125.27/125.39	c  125s |      20 |  1000445 |   941127 |      832   2641 |        0 |        0
127.37/127.40	c  127s |      20 |  1015581 |   955527 |      832   2674 |        0 |        0
129.37/129.41	c  129s |      20 |  1030934 |   969727 |      832   2706 |        0 |        0
131.37/131.42	c  131s |      20 |  1046336 |   984127 |      832   2739 |        0 |        0
133.37/133.42	c  133s |      20 |  1061436 |   998427 |      916   2770 |        0 |        0
133.66/133.70	c  133s |      21 |  1063544 |  1000345 |      916   2774 |        0 |        0
135.66/135.71	c  135s |      21 |  1078925 |  1014545 |      916   2804 |        0 |        0
137.67/137.71	c  137s |      21 |  1093832 |  1028745 |      916   2833 |        0 |        0
139.66/139.72	c  139s |      21 |  1108685 |  1042945 |      916   2863 |        0 |        0
141.67/141.73	c  141s |      21 |  1123575 |  1057145 |      916   2892 |        0 |        0
143.67/143.73	c  143s |      21 |  1138722 |  1071345 |      916   2922 |        0 |        0
145.67/145.74	c  145s |      21 |  1154124 |  1085645 |      916   2951 |        0 |        0
147.68/147.75	c  147s |      21 |  1169229 |  1099745 |      916   2980 |        0 |        0
149.67/149.76	c  149s |      21 |  1184531 |  1113745 |      916   3009 |        0 |        0
151.67/151.76	c  151s |      21 |  1199454 |  1127545 |      916   3038 |        0 |        0
153.67/153.76	c  153s |      21 |  1214201 |  1141845 |      916   3068 |        0 |        0
155.67/155.77	c  155s |      21 |  1229026 |  1156145 |      916   3097 |        0 |        0
157.67/157.79	c  157s |      21 |  1243785 |  1170245 |      916   3127 |        0 |        0
159.67/159.80	c  159s |      21 |  1258421 |  1184345 |      916   3156 |        0 |        0
161.77/161.81	c  161s |      21 |  1273085 |  1198445 |      916   3185 |        0 |        0
163.77/163.82	c  163s |      21 |  1287706 |  1212545 |      916   3214 |        0 |        0
165.76/165.83	c  165s |      21 |  1302282 |  1226345 |      916   3243 |        0 |        0
167.76/167.83	c  167s |      21 |  1317130 |  1240545 |      916   3272 |        0 |        0
169.76/169.84	c  169s |      21 |  1331844 |  1254745 |      916   3302 |        0 |        0
171.77/171.85	c  171s |      21 |  1346439 |  1268845 |      916   3331 |        0 |        0
173.76/173.85	c  173s |      21 |  1361080 |  1282745 |      916   3360 |        0 |        0
175.76/175.86	c  175s |      21 |  1375913 |  1296845 |      916   3389 |        0 |        0
177.76/177.86	c  177s |      21 |  1390713 |  1310845 |      916   3418 |        0 |        0
179.76/179.86	c  179s |      21 |  1405511 |  1324945 |      916   3448 |        0 |        0
181.77/181.87	c  181s |      21 |  1420225 |  1338845 |      916   3476 |        0 |        0
183.76/183.88	c  183s |      21 |  1434914 |  1352745 |      916   3505 |        0 |        0
185.76/185.88	c  185s |      21 |  1449827 |  1366745 |      916   3534 |        0 |        0
187.76/187.89	c  187s |      21 |  1464725 |  1380645 |      916   3563 |        0 |        0
189.86/189.90	c  189s |      21 |  1479392 |  1394545 |      916   3592 |        0 |        0
191.86/191.90	c  191s |      21 |  1493902 |  1408245 |      916   3621 |        0 |        0
193.86/193.91	c  193s |      21 |  1508648 |  1422145 |      916   3650 |        0 |        0
195.86/195.92	c  195s |      21 |  1522951 |  1435945 |      916   3678 |        0 |        0
197.86/197.92	c  197s |      21 |  1537718 |  1449745 |      916   3707 |        0 |        0
199.86/199.92	c  199s |      21 |  1552507 |  1463345 |      916   3735 |        0 |        0
201.86/201.93	c  201s |      21 |  1567244 |  1477345 |      916   3764 |        0 |        0
203.86/203.94	c  203s |      21 |  1582198 |  1491645 |     1008   3793 |        0 |        0
205.16/205.22	c  205s |      22 |  1591637 |  1500622 |     1008   3810 |        0 |        0
207.16/207.23	c  207s |      22 |  1606841 |  1514822 |     1008   3837 |        0 |        0
209.16/209.24	c  209s |      22 |  1621476 |  1528822 |     1008   3864 |        0 |        0
211.15/211.25	c  211s |      22 |  1636190 |  1542722 |     1008   3890 |        0 |        0
213.15/213.26	c  213s |      22 |  1650789 |  1556522 |     1008   3916 |        0 |        0
215.15/215.26	c  215s |      22 |  1665922 |  1570822 |     1008   3943 |        0 |        0
217.15/217.26	c  217s |      22 |  1680923 |  1585022 |     1008   3970 |        0 |        0
219.16/219.27	c  219s |      22 |  1695601 |  1599022 |     1008   3997 |        0 |        0
221.15/221.28	c  221s |      22 |  1710575 |  1613022 |     1008   4023 |        0 |        0
223.15/223.29	c  223s |      22 |  1725170 |  1627122 |     1008   4050 |        0 |        0
225.25/225.30	c  225s |      22 |  1739890 |  1641222 |     1008   4076 |        0 |        0
227.26/227.30	c  227s |      22 |  1754067 |  1654822 |     1008   4102 |        0 |        0
229.26/229.32	c  229s |      22 |  1768770 |  1668822 |     1008   4129 |        0 |        0
231.26/231.33	c  231s |      22 |  1783361 |  1682822 |     1008   4155 |        0 |        0
233.26/233.34	c  233s |      22 |  1798462 |  1697022 |     1008   4182 |        0 |        0
235.26/235.34	c  235s |      22 |  1812887 |  1710722 |     1008   4208 |        0 |        0
237.25/237.35	c  237s |      22 |  1827917 |  1724522 |     1008   4234 |        0 |        0
239.25/239.35	c  239s |      22 |  1842696 |  1738622 |     1008   4261 |        0 |        0
241.25/241.36	c  241s |      22 |  1857348 |  1752622 |     1008   4287 |        0 |        0
243.26/243.36	c  243s |      22 |  1872015 |  1766322 |     1008   4313 |        0 |        0
245.25/245.37	c  245s |      22 |  1886446 |  1779922 |     1008   4339 |        0 |        0
247.25/247.37	c  247s |      22 |  1901010 |  1793922 |     1008   4365 |        0 |        0
249.25/249.38	c  249s |      22 |  1916228 |  1808222 |     1008   4393 |        0 |        0
251.25/251.39	c  251s |      22 |  1930864 |  1822122 |     1008   4419 |        0 |        0
253.26/253.40	c  253s |      22 |  1945403 |  1835922 |     1008   4445 |        0 |        0
255.36/255.41	c  255s |      22 |  1959887 |  1849622 |     1008   4471 |        0 |        0
257.35/257.41	c  257s |      22 |  1974318 |  1863322 |     1008   4497 |        0 |        0
259.35/259.42	c  259s |      22 |  1988670 |  1876922 |     1008   4523 |        0 |        0
261.35/261.42	c  261s |      22 |  2003082 |  1890522 |     1008   4548 |        0 |        0
263.35/263.42	c  263s |      22 |  2017390 |  1904022 |     1008   4574 |        0 |        0
265.35/265.43	c  265s |      22 |  2031986 |  1917822 |     1008   4600 |        0 |        0
267.35/267.43	c  267s |      22 |  2046424 |  1931622 |     1008   4626 |        0 |        0
269.35/269.45	c  269s |      22 |  2060797 |  1945322 |     1008   4652 |        0 |        0
271.34/271.46	c  271s |      22 |  2075461 |  1959322 |     1008   4678 |        0 |        0
273.34/273.46	c  273s |      22 |  2089544 |  1972922 |     1008   4704 |        0 |        0
275.34/275.46	c  275s |      22 |  2103737 |  1986622 |     1008   4730 |        0 |        0
277.35/277.46	c  277s |      22 |  2118684 |  2000722 |     1008   4757 |        0 |        0
279.34/279.47	c  279s |      22 |  2132805 |  2014422 |     1008   4783 |        0 |        0
281.34/281.49	c  281s |      22 |  2146985 |  2028122 |     1008   4809 |        0 |        0
283.34/283.49	c  283s |      22 |  2161467 |  2041822 |     1008   4835 |        0 |        0
285.44/285.50	c  285s |      22 |  2175637 |  2055422 |     1008   4861 |        0 |        0
287.44/287.51	c  287s |      22 |  2189955 |  2069022 |     1008   4887 |        0 |        0
289.45/289.51	c  289s |      22 |  2204414 |  2082822 |     1008   4913 |        0 |        0
291.44/291.51	c  291s |      22 |  2218832 |  2096622 |     1008   4939 |        0 |        0
293.44/293.52	c  293s |      22 |  2233375 |  2110522 |     1008   4965 |        0 |        0
295.45/295.53	c  295s |      22 |  2247815 |  2124322 |     1008   4991 |        0 |        0
297.45/297.54	c  297s |      22 |  2262103 |  2138022 |     1008   5017 |        0 |        0
299.45/299.55	c  299s |      22 |  2276195 |  2151622 |     1008   5043 |        0 |        0
301.45/301.56	c  301s |      22 |  2290778 |  2165522 |     1008   5069 |        0 |        0
303.45/303.56	c  303s |      22 |  2305009 |  2179022 |     1008   5095 |        0 |        0
305.45/305.57	c  305s |      22 |  2319184 |  2192422 |     1008   5120 |        0 |        0
307.45/307.58	c  307s |      22 |  2333832 |  2206122 |     1008   5146 |        0 |        0
309.44/309.59	c  309s |      22 |  2347967 |  2219622 |     1008   5172 |        0 |        0
311.45/311.59	c  311s |      22 |  2362302 |  2233222 |     1008   5197 |        0 |        0
313.44/313.59	c  313s |      22 |  2376372 |  2246722 |     1109   5221 |        0 |        0
314.14/314.23	c  314s |      23 |  2380960 |  2251038 |     1109   5229 |        0 |        0
316.14/316.24	c  316s |      23 |  2395633 |  2264838 |     1109   5252 |        0 |        0
318.15/318.25	c  318s |      23 |  2410485 |  2278438 |     1109   5276 |        0 |        0
320.14/320.25	c  320s |      23 |  2425015 |  2292038 |     1109   5299 |        0 |        0
322.14/322.26	c  322s |      23 |  2439480 |  2305438 |     1109   5322 |        0 |        0
324.14/324.27	c  324s |      23 |  2453585 |  2318938 |     1109   5346 |        0 |        0
326.14/326.27	c  326s |      23 |  2467705 |  2332138 |     1109   5368 |        0 |        0
328.14/328.28	c  328s |      23 |  2482311 |  2345438 |     1109   5391 |        0 |        0
330.14/330.28	c  330s |      23 |  2496908 |  2359038 |     1109   5415 |        0 |        0
332.24/332.30	c  332s |      23 |  2511275 |  2372138 |     1109   5438 |        0 |        0
334.24/334.31	c  334s |      23 |  2525374 |  2385338 |     1109   5460 |        0 |        0
336.24/336.32	c  336s |      23 |  2539701 |  2398738 |     1109   5483 |        0 |        0
338.24/338.33	c  338s |      23 |  2553904 |  2412038 |     1109   5506 |        0 |        0
340.24/340.34	c  340s |      23 |  2568201 |  2425438 |     1109   5530 |        0 |        0
342.24/342.35	c  342s |      23 |  2582321 |  2438738 |     1109   5553 |        0 |        0
344.23/344.35	c  344s |      23 |  2596479 |  2451938 |     1109   5575 |        0 |        0
346.23/346.36	c  346s |      23 |  2610710 |  2465138 |     1109   5598 |        0 |        0
348.23/348.36	c  348s |      23 |  2624603 |  2478438 |     1109   5621 |        0 |        0
350.23/350.37	c  350s |      23 |  2639144 |  2491938 |     1109   5644 |        0 |        0
352.24/352.38	c  352s |      23 |  2653374 |  2505438 |     1109   5668 |        0 |        0
354.24/354.39	c  354s |      23 |  2667528 |  2518638 |     1109   5691 |        0 |        0
356.34/356.40	c  356s |      23 |  2681684 |  2532038 |     1109   5714 |        0 |        0
358.34/358.41	c  358s |      23 |  2695987 |  2545438 |     1109   5737 |        0 |        0
360.34/360.41	c  360s |      23 |  2710002 |  2558438 |     1109   5760 |        0 |        0
362.34/362.42	c  362s |      23 |  2723892 |  2571838 |     1109   5783 |        0 |        0
364.34/364.43	c  364s |      23 |  2738120 |  2585338 |     1109   5806 |        0 |        0
366.34/366.44	c  366s |      23 |  2752660 |  2598538 |     1109   5829 |        0 |        0
368.33/368.44	c  368s |      23 |  2766816 |  2611938 |     1109   5852 |        0 |        0
370.33/370.45	c  370s |      23 |  2780609 |  2625238 |     1109   5875 |        0 |        0
372.33/372.45	c  372s |      23 |  2794571 |  2638338 |     1109   5898 |        0 |        0
374.33/374.47	c  374s |      23 |  2808190 |  2651438 |     1109   5921 |        0 |        0
376.34/376.47	c  376s |      23 |  2822142 |  2664538 |     1109   5943 |        0 |        0
378.33/378.48	c  378s |      23 |  2837106 |  2678238 |     1109   5967 |        0 |        0
380.33/380.50	c  380s |      23 |  2851575 |  2691938 |     1109   5991 |        0 |        0
382.43/382.50	c  382s |      23 |  2865861 |  2705338 |     1109   6014 |        0 |        0
384.43/384.50	c  384s |      23 |  2880241 |  2718738 |     1109   6037 |        0 |        0
386.43/386.51	c  386s |      23 |  2894815 |  2732338 |     1109   6060 |        0 |        0
388.43/388.53	c  388s |      23 |  2909326 |  2745938 |     1109   6084 |        0 |        0
390.43/390.54	c  390s |      23 |  2923838 |  2759438 |     1109   6107 |        0 |        0
392.43/392.54	c  392s |      23 |  2938191 |  2772838 |     1109   6130 |        0 |        0
394.43/394.56	c  394s |      23 |  2952427 |  2786238 |     1109   6154 |        0 |        0
396.42/396.56	c  396s |      23 |  2966586 |  2799438 |     1109   6176 |        0 |        0
398.43/398.57	c  398s |      23 |  2981052 |  2812638 |     1109   6199 |        0 |        0
400.42/400.58	c  400s |      23 |  2995393 |  2825438 |     1109   6221 |        0 |        0
402.42/402.60	c  402s |      23 |  3009740 |  2838938 |     1109   6245 |        0 |        0
404.52/404.60	c  404s |      23 |  3024257 |  2851938 |     1109   6267 |        0 |        0
406.52/406.62	c  406s |      23 |  3038412 |  2865038 |     1109   6290 |        0 |        0
408.53/408.62	c  408s |      23 |  3052276 |  2877938 |     1109   6312 |        0 |        0
410.54/410.64	c  410s |      23 |  3066622 |  2890838 |     1109   6334 |        0 |        0
412.53/412.64	c  412s |      23 |  3080643 |  2903838 |     1109   6357 |        0 |        0
414.53/414.66	c  414s |      23 |  3094399 |  2916838 |     1109   6379 |        0 |        0
416.53/416.67	c  416s |      23 |  3108308 |  2929938 |     1109   6402 |        0 |        0
418.53/418.68	c  418s |      23 |  3122177 |  2942838 |     1109   6424 |        0 |        0
420.53/420.68	c  420s |      23 |  3136603 |  2956038 |     1109   6447 |        0 |        0
422.53/422.69	c  422s |      23 |  3150588 |  2969138 |     1109   6470 |        0 |        0
424.63/424.70	c  424s |      23 |  3164549 |  2982338 |     1109   6493 |        0 |        0
426.63/426.71	c  426s |      23 |  3178360 |  2995438 |     1109   6515 |        0 |        0
428.63/428.72	c  428s |      23 |  3191986 |  3008438 |     1109   6538 |        0 |        0
430.63/430.73	c  430s |      23 |  3205877 |  3021538 |     1109   6561 |        0 |        0
432.63/432.74	c  432s |      23 |  3219585 |  3034438 |     1109   6583 |        0 |        0
434.63/434.74	c  434s |      23 |  3233818 |  3047838 |     1109   6606 |        0 |        0
436.62/436.74	c  436s |      23 |  3247828 |  3060738 |     1109   6628 |        0 |        0
438.62/438.75	c  438s |      23 |  3261502 |  3073738 |     1109   6651 |        0 |        0
440.62/440.76	c  440s |      23 |  3275290 |  3086938 |     1109   6674 |        0 |        0
442.62/442.77	c  442s |      23 |  3289356 |  3100238 |     1109   6697 |        0 |        0
444.63/444.78	c  444s |      23 |  3303529 |  3113438 |     1109   6720 |        0 |        0
446.62/446.79	c  446s |      23 |  3317263 |  3126638 |     1109   6742 |        0 |        0
448.72/448.81	c  448s |      23 |  3331118 |  3139738 |     1109   6765 |        0 |        0
450.72/450.82	c  450s |      23 |  3344988 |  3152638 |     1109   6787 |        0 |        0
452.72/452.83	c  452s |      23 |  3358899 |  3165638 |     1109   6810 |        0 |        0
454.71/454.83	c  454s |      23 |  3372879 |  3178838 |     1109   6833 |        0 |        0
456.72/456.84	c  456s |      23 |  3386783 |  3191938 |     1109   6855 |        0 |        0
458.71/458.85	c  458s |      23 |  3400732 |  3205038 |     1109   6878 |        0 |        0
460.71/460.86	c  460s |      23 |  3414164 |  3217638 |     1109   6900 |        0 |        0
462.72/462.87	c  462s |      23 |  3427951 |  3230438 |     1109   6922 |        0 |        0
464.72/464.87	c  464s |      23 |  3441968 |  3243438 |     1109   6945 |        0 |        0
466.72/466.88	c  466s |      23 |  3455816 |  3256338 |     1109   6967 |        0 |        0
468.73/468.89	c  468s |      23 |  3470120 |  3269438 |     1109   6990 |        0 |        0
470.82/470.90	c  470s |      23 |  3484299 |  3282738 |     1109   7013 |        0 |        0
472.82/472.91	c  472s |      23 |  3498617 |  3296238 |     1109   7036 |        0 |        0
474.82/474.91	c  474s |      23 |  3512410 |  3309338 |     1109   7059 |        0 |        0
476.82/476.93	c  476s |      23 |  3526580 |  3322538 |     1109   7081 |        0 |        0
478.82/478.94	c  478s |      23 |  3540459 |  3335638 |     1109   7104 |        0 |        0
480.82/480.94	c  480s |      23 |  3554367 |  3348438 |     1109   7126 |        0 |        0
482.82/482.96	c  482s |      23 |  3568101 |  3361138 |     1220   7147 |        0 |        0
484.81/484.96	c  484s |      23 |  3581915 |  3374038 |     1220   7167 |        0 |        0
485.22/485.36	c  485s |      24 |  3584625 |  3376662 |     1220   7171 |        0 |        0
487.21/487.37	c  487s |      24 |  3598643 |  3389862 |     1220   7192 |        0 |        0
489.21/489.38	c  489s |      24 |  3612853 |  3403262 |     1220   7213 |        0 |        0
491.21/491.38	c  491s |      24 |  3626965 |  3416362 |     1220   7234 |        0 |        0
493.21/493.39	c  493s |      24 |  3640799 |  3429462 |     1220   7254 |        0 |        0
495.31/495.40	c  495s |      24 |  3654472 |  3442562 |     1220   7275 |        0 |        0
497.21/497.40	c  497s |      24 |  3668361 |  3455662 |     1220   7295 |        0 |        0
499.31/499.40	c  499s |      24 |  3682358 |  3468962 |     1220   7316 |        0 |        0
501.31/501.42	c  501s |      24 |  3696092 |  3482162 |     1220   7337 |        0 |        0
503.32/503.42	c  503s |      24 |  3709834 |  3495162 |     1220   7358 |        0 |        0
505.32/505.43	c  505s |      24 |  3723387 |  3507962 |     1220   7378 |        0 |        0
507.32/507.44	c  507s |      24 |  3737132 |  3520862 |     1220   7398 |        0 |        0
509.31/509.44	c  509s |      24 |  3751116 |  3534262 |     1220   7419 |        0 |        0
511.31/511.45	c  511s |      24 |  3765476 |  3547662 |     1220   7440 |        0 |        0
513.31/513.47	c  513s |      24 |  3778988 |  3560762 |     1220   7461 |        0 |        0
515.31/515.48	c  515s |      24 |  3792929 |  3573962 |     1220   7482 |        0 |        0
517.31/517.48	c  517s |      24 |  3806587 |  3586862 |     1220   7502 |        0 |        0
519.32/519.50	c  519s |      24 |  3820007 |  3599762 |     1220   7523 |        0 |        0
521.41/521.50	c  521s |      24 |  3833488 |  3612762 |     1220   7543 |        0 |        0
523.41/523.51	c  523s |      24 |  3847033 |  3625762 |     1220   7564 |        0 |        0
525.41/525.51	c  525s |      24 |  3860819 |  3638962 |     1220   7584 |        0 |        0
527.41/527.53	c  527s |      24 |  3874549 |  3652062 |     1220   7605 |        0 |        0
529.41/529.54	c  529s |      24 |  3888256 |  3665162 |     1220   7626 |        0 |        0
531.42/531.54	c  531s |      24 |  3902125 |  3678062 |     1220   7646 |        0 |        0
533.41/533.55	c  533s |      24 |  3916203 |  3691262 |     1220   7667 |        0 |        0
535.41/535.55	c  535s |      24 |  3930084 |  3704562 |     1220   7688 |        0 |        0
537.41/537.55	c  537s |      24 |  3943926 |  3717662 |     1220   7708 |        0 |        0
539.41/539.56	c  539s |      24 |  3957691 |  3730762 |     1220   7729 |        0 |        0
541.41/541.57	c  541s |      24 |  3971971 |  3744362 |     1220   7751 |        0 |        0
543.41/543.58	c  543s |      24 |  3985723 |  3757562 |     1220   7771 |        0 |        0
545.41/545.59	c  545s |      24 |  3999556 |  3770762 |     1220   7792 |        0 |        0
547.40/547.59	c  547s |      24 |  4013156 |  3783762 |     1220   7813 |        0 |        0
549.50/549.60	c  549s |      24 |  4026843 |  3796762 |     1220   7833 |        0 |        0
551.50/551.60	c  551s |      24 |  4040253 |  3809662 |     1220   7854 |        0 |        0
553.51/553.60	c  553s |      24 |  4053708 |  3822562 |     1220   7874 |        0 |        0
555.50/555.61	c  555s |      24 |  4067170 |  3835462 |     1220   7894 |        0 |        0
557.50/557.61	c  557s |      24 |  4080723 |  3848162 |     1220   7914 |        0 |        0
559.50/559.61	c  559s |      24 |  4094229 |  3860962 |     1220   7935 |        0 |        0
561.50/561.62	c  561s |      24 |  4107839 |  3873662 |     1220   7955 |        0 |        0
563.50/563.64	c  563s |      24 |  4121659 |  3886662 |     1220   7975 |        0 |        0
565.51/565.65	c  565s |      24 |  4135126 |  3899262 |     1220   7995 |        0 |        0
567.50/567.66	c  567s |      24 |  4148685 |  3912262 |     1220   8016 |        0 |        0
569.50/569.66	c  569s |      24 |  4161985 |  3925062 |     1220   8036 |        0 |        0
571.51/571.67	c  571s |      24 |  4175540 |  3937962 |     1220   8056 |        0 |        0
573.50/573.67	c  573s |      24 |  4189234 |  3950862 |     1220   8077 |        0 |        0
575.51/575.67	c  575s |      24 |  4202868 |  3963862 |     1220   8097 |        0 |        0
577.50/577.68	c  577s |      24 |  4216773 |  3977162 |     1220   8118 |        0 |        0
579.50/579.68	c  579s |      24 |  4230525 |  3990162 |     1220   8139 |        0 |        0
581.50/581.68	c  581s |      24 |  4244383 |  4003162 |     1220   8159 |        0 |        0
583.50/583.69	c  583s |      24 |  4258007 |  4016162 |     1220   8180 |        0 |        0
585.50/585.69	c  585s |      24 |  4271750 |  4029062 |     1220   8200 |        0 |        0
587.51/587.69	c  587s |      24 |  4285394 |  4042162 |     1220   8221 |        0 |        0
589.50/589.69	c  589s |      24 |  4298890 |  4055062 |     1220   8241 |        0 |        0
591.60/591.70	c  591s |      24 |  4312542 |  4067762 |     1220   8261 |        0 |        0
593.60/593.71	c  593s |      24 |  4326284 |  4080862 |     1220   8282 |        0 |        0
595.60/595.72	c  595s |      24 |  4340001 |  4093962 |     1220   8303 |        0 |        0
597.60/597.73	c  597s |      24 |  4353983 |  4107062 |     1220   8323 |        0 |        0
599.60/599.74	c  599s |      24 |  4367834 |  4120062 |     1220   8344 |        0 |        0
601.59/601.75	c  601s |      24 |  4381363 |  4133062 |     1220   8364 |        0 |        0
603.59/603.75	c  603s |      24 |  4394808 |  4145862 |     1220   8385 |        0 |        0
605.59/605.76	c  605s |      24 |  4408194 |  4158562 |     1220   8405 |        0 |        0
607.59/607.78	c  607s |      24 |  4421844 |  4171562 |     1220   8425 |        0 |        0
609.60/609.78	c  609s |      24 |  4435357 |  4184362 |     1220   8445 |        0 |        0
611.59/611.80	c  611s |      24 |  4448815 |  4197062 |     1220   8465 |        0 |        0
613.69/613.81	c  613s |      24 |  4462446 |  4209762 |     1220   8486 |        0 |        0
615.69/615.81	c  615s |      24 |  4476152 |  4222562 |     1220   8506 |        0 |        0
617.69/617.82	c  617s |      24 |  4489875 |  4235562 |     1220   8526 |        0 |        0
619.70/619.82	c  619s |      24 |  4503521 |  4248562 |     1220   8547 |        0 |        0
621.71/621.83	c  621s |      24 |  4517374 |  4261562 |     1220   8567 |        0 |        0
623.70/623.83	c  623s |      24 |  4530734 |  4274462 |     1220   8588 |        0 |        0
625.70/625.83	c  625s |      24 |  4544179 |  4287362 |     1220   8608 |        0 |        0
627.70/627.83	c  627s |      24 |  4557740 |  4300362 |     1220   8629 |        0 |        0
629.70/629.83	c  629s |      24 |  4571380 |  4313262 |     1220   8649 |        0 |        0
631.70/631.84	c  631s |      24 |  4584697 |  4326062 |     1220   8669 |        0 |        0
633.70/633.85	c  633s |      24 |  4598821 |  4339262 |     1220   8690 |        0 |        0
635.70/635.86	c  635s |      24 |  4612444 |  4352062 |     1220   8711 |        0 |        0
637.70/637.88	c  637s |      24 |  4625953 |  4364862 |     1220   8731 |        0 |        0
639.69/639.89	c  639s |      24 |  4639186 |  4377362 |     1220   8751 |        0 |        0
641.79/641.90	c  641s |      24 |  4652986 |  4390462 |     1220   8771 |        0 |        0
643.79/643.90	c  643s |      24 |  4666502 |  4403262 |     1220   8792 |        0 |        0
645.80/645.91	c  645s |      24 |  4680084 |  4416162 |     1220   8812 |        0 |        0
647.79/647.91	c  647s |      24 |  4693477 |  4428662 |     1220   8832 |        0 |        0
649.79/649.92	c  649s |      24 |  4707516 |  4441662 |     1220   8853 |        0 |        0
651.79/651.94	c  651s |      24 |  4721383 |  4454262 |     1220   8873 |        0 |        0
653.79/653.95	c  653s |      24 |  4734969 |  4467162 |     1220   8893 |        0 |        0
655.80/655.96	c  655s |      24 |  4748542 |  4479862 |     1220   8913 |        0 |        0
657.79/657.97	c  657s |      24 |  4762425 |  4492862 |     1220   8934 |        0 |        0
659.79/659.97	c  659s |      24 |  4775908 |  4505662 |     1220   8954 |        0 |        0
661.79/661.97	c  661s |      24 |  4789640 |  4518362 |     1220   8974 |        0 |        0
663.79/663.98	c  663s |      24 |  4803353 |  4531262 |     1220   8995 |        0 |        0
665.79/665.99	c  665s |      24 |  4817168 |  4544362 |     1220   9015 |        0 |        0
667.79/668.00	c  667s |      24 |  4830898 |  4557262 |     1220   9036 |        0 |        0
669.89/670.00	c  669s |      24 |  4844765 |  4570062 |     1220   9056 |        0 |        0
671.89/672.01	c  671s |      24 |  4858101 |  4582762 |     1220   9076 |        0 |        0
673.89/674.01	c  674s |      24 |  4871479 |  4595462 |     1220   9096 |        0 |        0
675.89/676.02	c  676s |      24 |  4884676 |  4608162 |     1220   9116 |        0 |        0
677.88/678.03	c  678s |      24 |  4898315 |  4621162 |     1220   9136 |        0 |        0
679.89/680.03	c  680s |      24 |  4912191 |  4634262 |     1220   9157 |        0 |        0
681.88/682.05	c  682s |      24 |  4925908 |  4647162 |     1220   9178 |        0 |        0
683.88/684.05	c  684s |      24 |  4939800 |  4660162 |     1220   9198 |        0 |        0
685.88/686.06	c  686s |      24 |  4953272 |  4673062 |     1220   9218 |        0 |        0
687.88/688.06	c  688s |      24 |  4966523 |  4685862 |     1220   9239 |        0 |        0
689.89/690.07	c  690s |      24 |  4980585 |  4698762 |     1220   9259 |        0 |        0
691.88/692.09	c  692s |      24 |  4994249 |  4711662 |     1220   9280 |        0 |        0
693.89/694.09	c  694s |      24 |  5007988 |  4724662 |     1220   9300 |        0 |        0
695.99/696.11	c  696s |      24 |  5021492 |  4737362 |     1220   9320 |        0 |        0
697.99/698.12	c  698s |      24 |  5035831 |  4750362 |     1220   9341 |        0 |        0
699.99/700.13	c  700s |      24 |  5049473 |  4763062 |     1220   9361 |        0 |        0
701.99/702.13	c  702s |      24 |  5062855 |  4775862 |     1220   9381 |        0 |        0
703.98/704.15	c  704s |      24 |  5076743 |  4788962 |     1220   9402 |        0 |        0
705.98/706.16	c  706s |      24 |  5090627 |  4801762 |     1220   9422 |        0 |        0
707.98/708.16	c  708s |      24 |  5104569 |  4814662 |     1220   9443 |        0 |        0
709.98/710.17	c  710s |      24 |  5118235 |  4827562 |     1220   9463 |        0 |        0
711.98/712.18	c  712s |      24 |  5131565 |  4840162 |     1220   9483 |        0 |        0
713.99/714.18	c  714s |      24 |  5145245 |  4852962 |     1220   9503 |        0 |        0
715.98/716.19	c  716s |      24 |  5159372 |  4866062 |     1220   9524 |        0 |        0
718.08/718.21	c  718s |      24 |  5173082 |  4878762 |     1220   9544 |        0 |        0
720.08/720.21	c  720s |      24 |  5186599 |  4891362 |     1220   9564 |        0 |        0
722.07/722.21	c  722s |      24 |  5200409 |  4904062 |     1220   9584 |        0 |        0
724.07/724.22	c  724s |      24 |  5214487 |  4916762 |     1220   9604 |        0 |        0
726.08/726.23	c  726s |      24 |  5228324 |  4929562 |     1220   9624 |        0 |        0
728.07/728.24	c  728s |      24 |  5242036 |  4942362 |     1220   9644 |        0 |        0
730.07/730.24	c  730s |      24 |  5256031 |  4955162 |     1220   9665 |        0 |        0
732.07/732.25	c  732s |      24 |  5269707 |  4967862 |     1220   9685 |        0 |        0
734.07/734.26	c  734s |      24 |  5283535 |  4980762 |     1220   9705 |        0 |        0
736.08/736.27	c  736s |      24 |  5297532 |  4993562 |     1220   9725 |        0 |        0
738.07/738.27	c  738s |      24 |  5311694 |  5006462 |     1220   9746 |        0 |        0
740.07/740.28	c  740s |      24 |  5325713 |  5019462 |     1220   9766 |        0 |        0
742.06/742.29	c  742s |      24 |  5339349 |  5032362 |     1342   9786 |        0 |        0
744.16/744.30	c  744s |      24 |  5353442 |  5045362 |     1342   9805 |        0 |        0
746.17/746.32	c  746s |      24 |  5367404 |  5058362 |     1342   9823 |        0 |        0
747.17/747.37	c  747s |      25 |  5374592 |  5065098 |     1342   9833 |        0 |        0
749.18/749.38	c  749s |      25 |  5389073 |  5077998 |     1342   9851 |        0 |        0
751.16/751.38	c  751s |      25 |  5402894 |  5090798 |     1342   9870 |        0 |        0
753.16/753.39	c  753s |      25 |  5416936 |  5103498 |     1342   9888 |        0 |        0
755.17/755.39	c  755s |      25 |  5430635 |  5116298 |     1342   9906 |        0 |        0
757.26/757.41	c  757s |      25 |  5444374 |  5128998 |     1342   9925 |        0 |        0
759.26/759.41	c  759s |      25 |  5458277 |  5141798 |     1342   9943 |        0 |        0
761.27/761.43	c  761s |      25 |  5472305 |  5154498 |     1342   9961 |        0 |        0
763.26/763.43	c  763s |      25 |  5485989 |  5166998 |     1342   9979 |        0 |        0
765.26/765.43	c  765s |      25 |  5499508 |  5179598 |     1342   9998 |        0 |        0
767.26/767.44	c  767s |      25 |  5513290 |  5192398 |     1342  10016 |        0 |        0
769.26/769.45	c  769s |      25 |  5526820 |  5204898 |     1342  10034 |        0 |        0
771.26/771.45	c  771s |      25 |  5540379 |  5217698 |     1342  10052 |        0 |        0
773.26/773.45	c  773s |      25 |  5553693 |  5230298 |     1342  10070 |        0 |        0
775.26/775.46	c  775s |      25 |  5567102 |  5242898 |     1342  10088 |        0 |        0
777.25/777.47	c  777s |      25 |  5580746 |  5255598 |     1342  10107 |        0 |        0
779.25/779.47	c  779s |      25 |  5594617 |  5268598 |     1342  10125 |        0 |        0
781.25/781.48	c  781s |      25 |  5608194 |  5281198 |     1342  10144 |        0 |        0
783.26/783.48	c  783s |      25 |  5621872 |  5293998 |     1342  10162 |        0 |        0
785.25/785.49	c  785s |      25 |  5635506 |  5306598 |     1342  10180 |        0 |        0
787.25/787.50	c  787s |      25 |  5649195 |  5319498 |     1342  10199 |        0 |        0
789.35/789.50	c  789s |      25 |  5663107 |  5332298 |     1342  10217 |        0 |        0
791.35/791.51	c  791s |      25 |  5676821 |  5345198 |     1342  10236 |        0 |        0
793.35/793.52	c  793s |      25 |  5690736 |  5358398 |     1342  10255 |        0 |        0
795.35/795.55	c  795s |      25 |  5704598 |  5371598 |     1342  10274 |        0 |        0
797.34/797.55	c  797s |      25 |  5718400 |  5384698 |     1342  10292 |        0 |        0
799.34/799.56	c  799s |      25 |  5731893 |  5397498 |     1342  10311 |        0 |        0
801.34/801.57	c  801s |      25 |  5745488 |  5410498 |     1342  10329 |        0 |        0
803.34/803.57	c  803s |      25 |  5759047 |  5423198 |     1342  10348 |        0 |        0
805.35/805.59	c  805s |      25 |  5772993 |  5436298 |     1342  10367 |        0 |        0
807.34/807.59	c  807s |      25 |  5786815 |  5449298 |     1342  10385 |        0 |        0
809.44/809.61	c  809s |      25 |  5800265 |  5462198 |     1342  10404 |        0 |        0
811.44/811.62	c  811s |      25 |  5814053 |  5475098 |     1342  10423 |        0 |        0
813.44/813.62	c  813s |      25 |  5828053 |  5488098 |     1342  10441 |        0 |        0
815.44/815.64	c  815s |      25 |  5841659 |  5500798 |     1342  10460 |        0 |        0
817.45/817.65	c  817s |      25 |  5855276 |  5513698 |     1342  10478 |        0 |        0
819.44/819.65	c  819s |      25 |  5868952 |  5526598 |     1342  10497 |        0 |        0
821.44/821.67	c  821s |      25 |  5882963 |  5539398 |     1342  10515 |        0 |        0
823.44/823.68	c  823s |      25 |  5896464 |  5552298 |     1342  10534 |        0 |        0
825.44/825.68	c  825s |      25 |  5910141 |  5565098 |     1342  10552 |        0 |        0
827.54/827.70	c  827s |      25 |  5923754 |  5577898 |     1342  10571 |        0 |        0
829.54/829.71	c  829s |      25 |  5937411 |  5590798 |     1342  10589 |        0 |        0
831.53/831.72	c  831s |      25 |  5950868 |  5603598 |     1342  10607 |        0 |        0
833.53/833.72	c  833s |      25 |  5964221 |  5616298 |     1342  10626 |        0 |        0
835.53/835.74	c  835s |      25 |  5978443 |  5629298 |     1342  10644 |        0 |        0
837.53/837.75	c  837s |      25 |  5991859 |  5641898 |     1342  10662 |        0 |        0
839.53/839.77	c  839s |      25 |  6005100 |  5654598 |     1342  10681 |        0 |        0
841.54/841.78	c  841s |      25 |  6018396 |  5667398 |     1342  10699 |        0 |        0
843.53/843.78	c  843s |      25 |  6031570 |  5679998 |     1342  10717 |        0 |        0
845.53/845.79	c  845s |      25 |  6044795 |  5692698 |     1342  10736 |        0 |        0
847.63/847.80	c  847s |      25 |  6058459 |  5705698 |     1342  10754 |        0 |        0
849.62/849.81	c  849s |      25 |  6072270 |  5718598 |     1342  10773 |        0 |        0
851.62/851.82	c  851s |      25 |  6085810 |  5731498 |     1342  10791 |        0 |        0
853.63/853.82	c  853s |      25 |  6099479 |  5744398 |     1342  10810 |        0 |        0
855.62/855.83	c  855s |      25 |  6113148 |  5757098 |     1342  10828 |        0 |        0
857.62/857.84	c  857s |      25 |  6126834 |  5769898 |     1342  10847 |        0 |        0
859.62/859.84	c  859s |      25 |  6140876 |  5782698 |     1342  10865 |        0 |        0
861.62/861.84	c  861s |      25 |  6154449 |  5795398 |     1342  10883 |        0 |        0
863.62/863.85	c  863s |      25 |  6168044 |  5807898 |     1342  10901 |        0 |        0
865.61/865.86	c  865s |      25 |  6181621 |  5820298 |     1342  10919 |        0 |        0
867.61/867.86	c  867s |      25 |  6195129 |  5832898 |     1342  10937 |        0 |        0
869.61/869.86	c  869s |      25 |  6209127 |  5845598 |     1342  10956 |        0 |        0
871.61/871.87	c  871s |      25 |  6223250 |  5858398 |     1342  10974 |        0 |        0
873.61/873.89	c  873s |      25 |  6237542 |  5871598 |     1342  10993 |        0 |        0
875.61/875.90	c  875s |      25 |  6251642 |  5884298 |     1342  11011 |        0 |        0
877.71/877.90	c  877s |      25 |  6265397 |  5897098 |     1342  11030 |        0 |        0
879.71/879.90	c  879s |      25 |  6279360 |  5910098 |     1342  11048 |        0 |        0
881.71/881.91	c  881s |      25 |  6293125 |  5922898 |     1342  11067 |        0 |        0
883.70/883.92	c  883s |      25 |  6307008 |  5935898 |     1342  11086 |        0 |        0
885.71/885.93	c  885s |      25 |  6320978 |  5948798 |     1342  11104 |        0 |        0
887.72/887.93	c  887s |      25 |  6335099 |  5961698 |     1342  11123 |        0 |        0
889.71/889.94	c  889s |      25 |  6348964 |  5974698 |     1342  11141 |        0 |        0
891.71/891.94	c  891s |      25 |  6362642 |  5987798 |     1342  11160 |        0 |        0
893.71/893.95	c  893s |      25 |  6376829 |  6000898 |     1342  11179 |        0 |        0
895.70/895.96	c  895s |      25 |  6390645 |  6013898 |     1342  11198 |        0 |        0
897.71/897.96	c  897s |      25 |  6404662 |  6026898 |     1342  11217 |        0 |        0
899.70/899.97	c  899s |      25 |  6418669 |  6039798 |     1342  11235 |        0 |        0
901.70/901.98	c  901s |      25 |  6432270 |  6052598 |     1342  11254 |        0 |        0
903.70/903.98	c  903s |      25 |  6446696 |  6065698 |     1342  11272 |        0 |        0
905.70/905.99	c  905s |      25 |  6461334 |  6078498 |     1342  11291 |        0 |        0
907.70/907.99	c  907s |      25 |  6474790 |  6091098 |     1342  11309 |        0 |        0
909.80/910.01	c  909s |      25 |  6488535 |  6103998 |     1342  11328 |        0 |        0
911.79/912.01	c  911s |      25 |  6502044 |  6116698 |     1342  11346 |        0 |        0
913.79/914.02	c  914s |      25 |  6515667 |  6129198 |     1342  11364 |        0 |        0
915.79/916.03	c  916s |      25 |  6529784 |  6142198 |     1342  11383 |        0 |        0
917.79/918.05	c  918s |      25 |  6544116 |  6155198 |     1342  11401 |        0 |        0
919.79/920.05	c  920s |      25 |  6557941 |  6168298 |     1342  11420 |        0 |        0
921.79/922.06	c  922s |      25 |  6571557 |  6181398 |     1342  11439 |        0 |        0
923.78/924.07	c  924s |      25 |  6585450 |  6194598 |     1342  11458 |        0 |        0
925.79/926.07	c  926s |      25 |  6599271 |  6207398 |     1342  11477 |        0 |        0
927.79/928.08	c  928s |      25 |  6612971 |  6220298 |     1342  11495 |        0 |        0
929.79/930.09	c  930s |      25 |  6626763 |  6233298 |     1342  11514 |        0 |        0
931.89/932.10	c  932s |      25 |  6640486 |  6246198 |     1342  11533 |        0 |        0
933.89/934.11	c  934s |      25 |  6654506 |  6259298 |     1342  11551 |        0 |        0
935.89/936.13	c  936s |      25 |  6668924 |  6272498 |     1342  11570 |        0 |        0
937.89/938.14	c  938s |      25 |  6682683 |  6285298 |     1342  11589 |        0 |        0
939.89/940.15	c  940s |      25 |  6696582 |  6298098 |     1342  11607 |        0 |        0
941.88/942.15	c  942s |      25 |  6710739 |  6310898 |     1342  11625 |        0 |        0
943.89/944.16	c  944s |      25 |  6724932 |  6323898 |     1342  11644 |        0 |        0
945.88/946.16	c  946s |      25 |  6738951 |  6336898 |     1342  11663 |        0 |        0
947.88/948.17	c  948s |      25 |  6752613 |  6349498 |     1342  11681 |        0 |        0
949.88/950.18	c  950s |      25 |  6766421 |  6362298 |     1342  11699 |        0 |        0
951.87/952.18	c  952s |      25 |  6780161 |  6375198 |     1342  11718 |        0 |        0
953.87/954.19	c  954s |      25 |  6794195 |  6388198 |     1342  11737 |        0 |        0
955.88/956.20	c  956s |      25 |  6807946 |  6400898 |     1342  11755 |        0 |        0
957.97/958.21	c  958s |      25 |  6821762 |  6413598 |     1342  11773 |        0 |        0
959.97/960.21	c  960s |      25 |  6836373 |  6426598 |     1342  11792 |        0 |        0
961.96/962.22	c  962s |      25 |  6851005 |  6439598 |     1342  11810 |        0 |        0
963.96/964.22	c  964s |      25 |  6864890 |  6452198 |     1342  11828 |        0 |        0
965.96/966.23	c  966s |      25 |  6878544 |  6464798 |     1342  11846 |        0 |        0
967.97/968.24	c  968s |      25 |  6893155 |  6477998 |     1342  11865 |        0 |        0
969.96/970.25	c  970s |      25 |  6907305 |  6490898 |     1342  11884 |        0 |        0
971.96/972.26	c  972s |      25 |  6921210 |  6503998 |     1342  11903 |        0 |        0
973.96/974.27	c  974s |      25 |  6935270 |  6516898 |     1342  11921 |        0 |        0
975.96/976.28	c  976s |      25 |  6949016 |  6529498 |     1342  11940 |        0 |        0
977.97/978.29	c  978s |      25 |  6962567 |  6542198 |     1342  11958 |        0 |        0
979.96/980.30	c  980s |      25 |  6976328 |  6555098 |     1342  11976 |        0 |        0
982.06/982.31	c  982s |      25 |  6989908 |  6568098 |     1342  11995 |        0 |        0
984.06/984.32	c  984s |      25 |  7003886 |  6580998 |     1342  12014 |        0 |        0
986.06/986.33	c  986s |      25 |  7018026 |  6593998 |     1342  12032 |        0 |        0
988.05/988.33	c  988s |      25 |  7032112 |  6606898 |     1342  12051 |        0 |        0
990.07/990.34	c  990s |      25 |  7045869 |  6619798 |     1342  12069 |        0 |        0
992.06/992.34	c  992s |      25 |  7059514 |  6632498 |     1342  12088 |        0 |        0
994.06/994.35	c  994s |      25 |  7073448 |  6645398 |     1342  12106 |        0 |        0
996.06/996.37	c  996s |      25 |  7087271 |  6658498 |     1342  12125 |        0 |        0
998.06/998.38	c  998s |      25 |  7101540 |  6671398 |     1342  12144 |        0 |        0
1000.06/1000.38	c 1000s |      25 |  7115522 |  6684198 |     1342  12162 |        0 |        0
1002.06/1002.38	c 1002s |      25 |  7128946 |  6696998 |     1342  12181 |        0 |        0
1004.05/1004.39	c 1004s |      25 |  7142684 |  6709698 |     1342  12199 |        0 |        0
1006.15/1006.40	c 1006s |      25 |  7156737 |  6722598 |     1342  12217 |        0 |        0
1008.15/1008.40	c 1008s |      25 |  7170754 |  6735298 |     1342  12236 |        0 |        0
1010.15/1010.41	c 1010s |      25 |  7185386 |  6748098 |     1342  12254 |        0 |        0
1012.14/1012.41	c 1012s |      25 |  7199607 |  6760898 |     1342  12273 |        0 |        0
1014.15/1014.42	c 1014s |      25 |  7213831 |  6773798 |     1342  12291 |        0 |        0
1016.15/1016.43	c 1016s |      25 |  7227654 |  6786598 |     1342  12310 |        0 |        0
1018.15/1018.43	c 1018s |      25 |  7242236 |  6799698 |     1342  12329 |        0 |        0
1020.15/1020.44	c 1020s |      25 |  7256503 |  6812598 |     1342  12347 |        0 |        0
1022.14/1022.44	c 1022s |      25 |  7270060 |  6825298 |     1342  12365 |        0 |        0
1024.15/1024.45	c 1024s |      25 |  7283955 |  6838298 |     1342  12384 |        0 |        0
1026.14/1026.46	c 1026s |      25 |  7297949 |  6851298 |     1342  12403 |        0 |        0
1028.14/1028.47	c 1028s |      25 |  7311802 |  6864198 |     1342  12421 |        0 |        0
1030.14/1030.48	c 1030s |      25 |  7325729 |  6876998 |     1342  12440 |        0 |        0
1032.14/1032.49	c 1032s |      25 |  7339348 |  6889798 |     1342  12458 |        0 |        0
1034.24/1034.50	c 1034s |      25 |  7352838 |  6902598 |     1342  12477 |        0 |        0
1036.24/1036.51	c 1036s |      25 |  7366692 |  6915398 |     1342  12495 |        0 |        0
1038.24/1038.52	c 1038s |      25 |  7380624 |  6928198 |     1342  12514 |        0 |        0
1040.23/1040.53	c 1040s |      25 |  7393935 |  6940898 |     1342  12532 |        0 |        0
1042.23/1042.54	c 1042s |      25 |  7407337 |  6953798 |     1342  12550 |        0 |        0
1044.23/1044.55	c 1044s |      25 |  7421197 |  6966998 |     1342  12569 |        0 |        0
1046.23/1046.56	c 1046s |      25 |  7434801 |  6979998 |     1342  12588 |        0 |        0
1048.23/1048.58	c 1048s |      25 |  7448428 |  6992898 |     1342  12607 |        0 |        0
1050.23/1050.58	c 1050s |      25 |  7461929 |  7005598 |     1342  12625 |        0 |        0
1052.32/1052.60	c 1052s |      25 |  7475648 |  7018698 |     1342  12644 |        0 |        0
1054.32/1054.61	c 1054s |      25 |  7489699 |  7031798 |     1342  12663 |        0 |        0
1056.32/1056.62	c 1056s |      25 |  7503625 |  7045098 |     1342  12682 |        0 |        0
1058.32/1058.62	c 1058s |      25 |  7517202 |  7057998 |     1342  12700 |        0 |        0
1060.33/1060.64	c 1060s |      25 |  7531312 |  7071198 |     1342  12719 |        0 |        0
1062.32/1062.65	c 1062s |      25 |  7544812 |  7084198 |     1342  12738 |        0 |        0
1064.32/1064.66	c 1064s |      25 |  7558423 |  7097198 |     1342  12757 |        0 |        0
1066.32/1066.68	c 1066s |      25 |  7571949 |  7110098 |     1342  12776 |        0 |        0
1068.32/1068.69	c 1068s |      25 |  7585525 |  7123098 |     1342  12794 |        0 |        0
1070.33/1070.69	c 1070s |      25 |  7599478 |  7136198 |     1342  12813 |        0 |        0
1072.32/1072.70	c 1072s |      25 |  7613430 |  7149198 |     1342  12832 |        0 |        0
1074.42/1074.71	c 1074s |      25 |  7627346 |  7162198 |     1342  12850 |        0 |        0
1076.42/1076.71	c 1076s |      25 |  7640929 |  7175198 |     1342  12869 |        0 |        0
1078.42/1078.71	c 1078s |      25 |  7655017 |  7188298 |     1342  12888 |        0 |        0
1080.42/1080.72	c 1080s |      25 |  7669117 |  7201398 |     1342  12907 |        0 |        0
1082.42/1082.72	c 1082s |      25 |  7683092 |  7214398 |     1342  12925 |        0 |        0
1084.41/1084.73	c 1084s |      25 |  7696638 |  7227298 |     1342  12944 |        0 |        0
1086.41/1086.74	c 1086s |      25 |  7710292 |  7240198 |     1342  12963 |        0 |        0
1088.41/1088.75	c 1088s |      25 |  7724369 |  7253298 |     1342  12981 |        0 |        0
1090.41/1090.75	c 1090s |      25 |  7738399 |  7266298 |     1342  13000 |        0 |        0
1092.41/1092.77	c 1092s |      25 |  7752338 |  7279098 |     1342  13019 |        0 |        0
1094.42/1094.78	c 1094s |      25 |  7766341 |  7292198 |     1342  13037 |        0 |        0
1096.41/1096.79	c 1096s |      25 |  7780297 |  7305498 |     1342  13057 |        0 |        0
1098.51/1098.80	c 1098s |      25 |  7793982 |  7318698 |     1342  13076 |        0 |        0
1100.51/1100.80	c 1100s |      25 |  7807584 |  7331498 |     1342  13094 |        0 |        0
1102.51/1102.81	c 1102s |      25 |  7821690 |  7344498 |     1342  13113 |        0 |        0
1104.51/1104.81	c 1104s |      25 |  7835690 |  7357398 |     1342  13131 |        0 |        0
1106.51/1106.81	c 1106s |      25 |  7849961 |  7370698 |     1342  13150 |        0 |        0
1108.50/1108.81	c 1108s |      25 |  7863744 |  7383898 |     1342  13169 |        0 |        0
1110.50/1110.83	c 1110s |      25 |  7877852 |  7397098 |     1342  13189 |        0 |        0
1112.50/1112.84	c 1112s |      25 |  7891802 |  7410298 |     1342  13208 |        0 |        0
1114.50/1114.84	c 1114s |      25 |  7906188 |  7423598 |     1342  13227 |        0 |        0
1116.51/1116.85	c 1116s |      25 |  7920426 |  7436998 |     1342  13246 |        0 |        0
1118.50/1118.86	c 1118s |      25 |  7934544 |  7450198 |     1342  13265 |        0 |        0
1120.50/1120.86	c 1120s |      25 |  7948962 |  7463498 |     1342  13284 |        0 |        0
1122.49/1122.87	c 1122s |      25 |  7962999 |  7476698 |     1342  13303 |        0 |        0
1124.49/1124.88	c 1124s |      25 |  7976762 |  7489798 |     1342  13322 |        0 |        0
1126.50/1126.88	c 1126s |      25 |  7990739 |  7503098 |     1342  13341 |        0 |        0
1128.51/1128.90	c 1128s |      25 |  8005092 |  7516398 |     1342  13361 |        0 |        0
1130.60/1130.90	c 1130s |      25 |  8018921 |  7529798 |     1342  13380 |        0 |        0
1132.59/1132.91	c 1132s |      25 |  8032649 |  7542998 |     1342  13399 |        0 |        0
1134.59/1134.91	c 1134s |      25 |  8046289 |  7555998 |     1477  13416 |        0 |        0
1136.59/1136.93	c 1136s |      25 |  8059782 |  7568698 |     1477  13433 |        0 |        0
1138.59/1138.93	c 1138s |      25 |  8073481 |  7581498 |     1477  13449 |        0 |        0
1140.60/1140.93	c 1140s |      25 |  8087228 |  7594498 |     1477  13466 |        0 |        0
1141.09/1141.45	c 1141s |      26 |  8090664 |  7597752 |     1477  13471 |        0 |        0
1143.09/1143.47	c 1143s |      26 |  8104971 |  7610952 |     1477  13488 |        0 |        0
1145.10/1145.48	c 1145s |      26 |  8119464 |  7624452 |     1477  13506 |        0 |        0
1147.09/1147.49	c 1147s |      26 |  8133727 |  7637752 |     1477  13523 |        0 |        0
1149.19/1149.50	c 1149s |      26 |  8147684 |  7650852 |     1477  13540 |        0 |        0
1151.18/1151.51	c 1151s |      26 |  8161395 |  7663552 |     1477  13557 |        0 |        0
1153.18/1153.52	c 1153s |      26 |  8175683 |  7676352 |     1477  13573 |        0 |        0
1155.18/1155.52	c 1155s |      26 |  8189350 |  7689252 |     1477  13590 |        0 |        0
1157.19/1157.52	c 1157s |      26 |  8203169 |  7702152 |     1477  13607 |        0 |        0
1159.18/1159.53	c 1159s |      26 |  8216758 |  7714952 |     1477  13624 |        0 |        0
1161.17/1161.54	c 1161s |      26 |  8230670 |  7728052 |     1477  13641 |        0 |        0
1163.17/1163.55	c 1163s |      26 |  8244572 |  7740852 |     1477  13658 |        0 |        0
1165.17/1165.56	c 1165s |      26 |  8258396 |  7753652 |     1477  13674 |        0 |        0
1167.17/1167.56	c 1167s |      26 |  8272022 |  7766552 |     1477  13691 |        0 |        0
1169.18/1169.57	c 1169s |      26 |  8285621 |  7779352 |     1477  13708 |        0 |        0
1171.17/1171.58	c 1171s |      26 |  8299490 |  7792552 |     1477  13725 |        0 |        0
1173.18/1173.59	c 1173s |      26 |  8313106 |  7805452 |     1477  13742 |        0 |        0
1175.18/1175.59	c 1175s |      26 |  8326540 |  7818152 |     1477  13759 |        0 |        0
1177.17/1177.59	c 1177s |      26 |  8340412 |  7831052 |     1477  13775 |        0 |        0
1179.27/1179.60	c 1179s |      26 |  8354264 |  7844052 |     1477  13792 |        0 |        0
1181.17/1181.60	c 1181s |      26 |  8367771 |  7856752 |     1477  13809 |        0 |        0
1183.27/1183.61	c 1183s |      26 |  8381243 |  7869452 |     1477  13826 |        0 |        0
1185.27/1185.62	c 1185s |      26 |  8395485 |  7882152 |     1477  13842 |        0 |        0
1187.27/1187.63	c 1187s |      26 |  8409512 |  7895352 |     1477  13859 |        0 |        0
1189.27/1189.65	c 1189s |      26 |  8423610 |  7908552 |     1477  13877 |        0 |        0
1191.27/1191.66	c 1191s |      26 |  8437251 |  7921152 |     1477  13893 |        0 |        0
1193.26/1193.66	c 1193s |      26 |  8450773 |  7933852 |     1477  13910 |        0 |        0
1195.26/1195.67	c 1195s |      26 |  8464340 |  7946752 |     1477  13927 |        0 |        0
1197.26/1197.68	c 1197s |      26 |  8478402 |  7959952 |     1477  13944 |        0 |        0
1199.26/1199.68	c 1199s |      26 |  8492330 |  7973052 |     1477  13961 |        0 |        0
1201.26/1201.69	c 1201s |      26 |  8505673 |  7985752 |     1477  13978 |        0 |        0
1203.27/1203.70	c 1203s |      26 |  8519903 |  7999052 |     1477  13995 |        0 |        0
1205.36/1205.71	c 1205s |      26 |  8533706 |  8012152 |     1477  14012 |        0 |        0
1207.36/1207.72	c 1207s |      26 |  8547411 |  8025052 |     1477  14029 |        0 |        0
1209.36/1209.73	c 1209s |      26 |  8561240 |  8037952 |     1477  14046 |        0 |        0
1211.35/1211.74	c 1211s |      26 |  8574776 |  8050752 |     1477  14063 |        0 |        0
1213.35/1213.74	c 1213s |      26 |  8588361 |  8063552 |     1477  14080 |        0 |        0
1215.36/1215.75	c 1215s |      26 |  8601864 |  8076452 |     1477  14096 |        0 |        0
1217.35/1217.75	c 1217s |      26 |  8615584 |  8089352 |     1477  14113 |        0 |        0
1219.35/1219.76	c 1219s |      26 |  8629545 |  8102452 |     1477  14130 |        0 |        0
1221.35/1221.76	c 1221s |      26 |  8643072 |  8115252 |     1477  14147 |        0 |        0
1223.35/1223.77	c 1223s |      26 |  8656885 |  8127952 |     1477  14164 |        0 |        0
1225.36/1225.78	c 1225s |      26 |  8670900 |  8140852 |     1477  14181 |        0 |        0
1227.35/1227.79	c 1227s |      26 |  8685178 |  8154052 |     1477  14198 |        0 |        0
1229.35/1229.79	c 1229s |      26 |  8699272 |  8167252 |     1477  14215 |        0 |        0
1231.34/1231.79	c 1231s |      26 |  8713328 |  8180252 |     1477  14232 |        0 |        0
1233.44/1233.81	c 1233s |      26 |  8727337 |  8193352 |     1477  14249 |        0 |        0
1235.44/1235.81	c 1235s |      26 |  8741272 |  8206252 |     1477  14266 |        0 |        0
1237.45/1237.82	c 1237s |      26 |  8755051 |  8219152 |     1477  14283 |        0 |        0
1239.44/1239.83	c 1239s |      26 |  8768981 |  8232052 |     1477  14300 |        0 |        0
1241.44/1241.84	c 1241s |      26 |  8783001 |  8244752 |     1477  14317 |        0 |        0
1243.44/1243.85	c 1243s |      26 |  8796857 |  8257452 |     1477  14333 |        0 |        0
1245.44/1245.86	c 1245s |      26 |  8810674 |  8270152 |     1477  14350 |        0 |        0
1247.44/1247.86	c 1247s |      26 |  8824340 |  8282852 |     1477  14367 |        0 |        0
1249.45/1249.87	c 1249s |      26 |  8837601 |  8295252 |     1477  14383 |        0 |        0
1251.43/1251.87	c 1251s |      26 |  8851100 |  8308152 |     1477  14400 |        0 |        0
1253.43/1253.87	c 1253s |      26 |  8864433 |  8320752 |     1477  14416 |        0 |        0
1255.43/1255.89	c 1255s |      26 |  8877714 |  8333252 |     1477  14433 |        0 |        0
1257.43/1257.89	c 1257s |      26 |  8891911 |  8346552 |     1477  14450 |        0 |        0
1259.44/1259.89	c 1259s |      26 |  8906692 |  8360152 |     1477  14468 |        0 |        0
1261.43/1261.89	c 1261s |      26 |  8920712 |  8373252 |     1477  14485 |        0 |        0
1263.53/1263.90	c 1263s |      26 |  8934700 |  8386452 |     1477  14502 |        0 |        0
1265.52/1265.91	c 1265s |      26 |  8948803 |  8399452 |     1477  14519 |        0 |        0
1267.52/1267.92	c 1267s |      26 |  8962671 |  8412352 |     1477  14536 |        0 |        0
1269.52/1269.92	c 1269s |      26 |  8976732 |  8425652 |     1477  14553 |        0 |        0
1271.53/1271.93	c 1271s |      26 |  8990574 |  8438652 |     1477  14570 |        0 |        0
1273.52/1273.94	c 1273s |      26 |  9004356 |  8451352 |     1477  14587 |        0 |        0
1275.52/1275.94	c 1275s |      26 |  9018738 |  8464752 |     1477  14604 |        0 |        0
1277.52/1277.95	c 1277s |      26 |  9032849 |  8478152 |     1477  14622 |        0 |        0
1279.52/1279.95	c 1279s |      26 |  9047057 |  8491452 |     1477  14639 |        0 |        0
1281.52/1281.97	c 1281s |      26 |  9061262 |  8504352 |     1477  14656 |        0 |        0
1283.52/1283.97	c 1283s |      26 |  9075405 |  8517352 |     1477  14673 |        0 |        0
1285.52/1285.98	c 1285s |      26 |  9089484 |  8530452 |     1477  14690 |        0 |        0
1287.52/1287.98	c 1287s |      26 |  9103698 |  8543852 |     1477  14708 |        0 |        0
1289.51/1289.98	c 1289s |      26 |  9117373 |  8556752 |     1477  14725 |        0 |        0
1291.51/1291.99	c 1291s |      26 |  9131430 |  8569952 |     1477  14742 |        0 |        0
1293.62/1294.00	c 1293s |      26 |  9145491 |  8583252 |     1477  14759 |        0 |        0
1295.62/1296.01	c 1295s |      26 |  9159841 |  8596352 |     1477  14776 |        0 |        0
1297.62/1298.02	c 1298s |      26 |  9174163 |  8609552 |     1477  14794 |        0 |        0
1299.62/1300.02	c 1300s |      26 |  9188343 |  8622652 |     1477  14811 |        0 |        0
1301.61/1302.03	c 1302s |      26 |  9203008 |  8636052 |     1477  14828 |        0 |        0
1303.61/1304.03	c 1304s |      26 |  9217055 |  8649152 |     1477  14845 |        0 |        0
1305.62/1306.04	c 1306s |      26 |  9231027 |  8662152 |     1477  14863 |        0 |        0
1307.61/1308.04	c 1308s |      26 |  9244890 |  8675152 |     1477  14880 |        0 |        0
1309.61/1310.05	c 1310s |      26 |  9258634 |  8687952 |     1477  14896 |        0 |        0
1311.61/1312.06	c 1312s |      26 |  9272839 |  8701152 |     1477  14914 |        0 |        0
1313.61/1314.07	c 1314s |      26 |  9287050 |  8714052 |     1477  14930 |        0 |        0
1315.61/1316.07	c 1316s |      26 |  9301375 |  8727352 |     1477  14948 |        0 |        0
1317.61/1318.07	c 1318s |      26 |  9315656 |  8740452 |     1477  14965 |        0 |        0
1319.60/1320.09	c 1320s |      26 |  9329816 |  8753552 |     1477  14982 |        0 |        0
1321.60/1322.09	c 1322s |      26 |  9344823 |  8766752 |     1477  14999 |        0 |        0
1323.70/1324.10	c 1324s |      26 |  9359257 |  8779752 |     1477  15016 |        0 |        0
1325.70/1326.11	c 1326s |      26 |  9373309 |  8792852 |     1477  15034 |        0 |        0
1327.70/1328.11	c 1328s |      26 |  9387259 |  8806052 |     1477  15051 |        0 |        0
1329.70/1330.11	c 1330s |      26 |  9401435 |  8819252 |     1477  15068 |        0 |        0
1331.69/1332.11	c 1332s |      26 |  9415069 |  8831952 |     1477  15085 |        0 |        0
1333.69/1334.12	c 1334s |      26 |  9429392 |  8845252 |     1477  15102 |        0 |        0
1335.69/1336.12	c 1336s |      26 |  9443009 |  8858052 |     1477  15119 |        0 |        0
1337.69/1338.14	c 1338s |      26 |  9456944 |  8870852 |     1477  15135 |        0 |        0
1339.70/1340.14	c 1340s |      26 |  9470616 |  8883552 |     1477  15152 |        0 |        0
1341.69/1342.15	c 1342s |      26 |  9484607 |  8896252 |     1477  15169 |        0 |        0
1343.68/1344.15	c 1344s |      26 |  9498288 |  8909152 |     1477  15185 |        0 |        0
1345.69/1346.15	c 1346s |      26 |  9512130 |  8922252 |     1477  15202 |        0 |        0
1347.69/1348.17	c 1348s |      26 |  9526059 |  8935352 |     1477  15220 |        0 |        0
1349.69/1350.18	c 1350s |      26 |  9540029 |  8948352 |     1477  15237 |        0 |        0
1351.69/1352.18	c 1352s |      26 |  9553534 |  8961052 |     1477  15253 |        0 |        0
1353.69/1354.19	c 1354s |      26 |  9567187 |  8973752 |     1477  15270 |        0 |        0
1355.68/1356.20	c 1356s |      26 |  9580864 |  8986552 |     1477  15287 |        0 |        0
1357.78/1358.20	c 1358s |      26 |  9594966 |  8999652 |     1477  15304 |        0 |        0
1359.78/1360.21	c 1360s |      26 |  9609031 |  9012852 |     1477  15321 |        0 |        0
1361.78/1362.23	c 1362s |      26 |  9623013 |  9026052 |     1477  15338 |        0 |        0
1363.79/1364.24	c 1364s |      26 |  9637093 |  9039152 |     1477  15355 |        0 |        0
1365.78/1366.24	c 1366s |      26 |  9650765 |  9052052 |     1477  15372 |        0 |        0
1367.78/1368.25	c 1368s |      26 |  9664640 |  9064952 |     1477  15389 |        0 |        0
1369.78/1370.26	c 1370s |      26 |  9678796 |  9077752 |     1477  15406 |        0 |        0
1371.78/1372.27	c 1372s |      26 |  9692905 |  9090952 |     1477  15423 |        0 |        0
1373.79/1374.28	c 1374s |      26 |  9707192 |  9104152 |     1477  15441 |        0 |        0
1375.78/1376.29	c 1376s |      26 |  9721517 |  9117352 |     1477  15458 |        0 |        0
1377.88/1378.30	c 1378s |      26 |  9735484 |  9130352 |     1477  15475 |        0 |        0
1379.88/1380.31	c 1380s |      26 |  9749330 |  9143452 |     1477  15492 |        0 |        0
1381.88/1382.32	c 1382s |      26 |  9763099 |  9156352 |     1477  15509 |        0 |        0
1383.88/1384.33	c 1384s |      26 |  9776609 |  9168852 |     1477  15525 |        0 |        0
1385.89/1386.34	c 1386s |      26 |  9790451 |  9181852 |     1477  15542 |        0 |        0
1387.88/1388.35	c 1388s |      26 |  9804078 |  9194652 |     1477  15559 |        0 |        0
1389.88/1390.36	c 1390s |      26 |  9818428 |  9207852 |     1477  15576 |        0 |        0
1391.88/1392.37	c 1392s |      26 |  9832228 |  9220352 |     1477  15593 |        0 |        0
1393.88/1394.37	c 1394s |      26 |  9846050 |  9233052 |     1477  15609 |        0 |        0
1395.88/1396.39	c 1396s |      26 |  9860253 |  9245852 |     1477  15626 |        0 |        0
1397.89/1398.39	c 1398s |      26 |  9874105 |  9258752 |     1477  15643 |        0 |        0
1399.98/1400.40	c 1400s |      26 |  9887918 |  9271652 |     1477  15660 |        0 |        0
1401.98/1402.41	c 1402s |      26 |  9902132 |  9284552 |     1477  15677 |        0 |        0
1403.98/1404.43	c 1404s |      26 |  9916623 |  9297452 |     1477  15694 |        0 |        0
1405.98/1406.43	c 1406s |      26 |  9930736 |  9309952 |     1477  15710 |        0 |        0
1407.98/1408.43	c 1408s |      26 |  9944693 |  9322852 |     1477  15727 |        0 |        0
1409.98/1410.44	c 1410s |      26 |  9958625 |  9335652 |     1477  15743 |        0 |        0
1411.98/1412.45	c 1412s |      26 |  9972211 |  9348352 |     1477  15760 |        0 |        0
1413.98/1414.45	c 1414s |      26 |  9985450 |  9360652 |     1477  15776 |        0 |        0
1415.98/1416.46	c 1416s |      26 |  9999375 |  9373552 |     1477  15793 |        0 |        0
1417.98/1418.46	c 1418s |      26 | 10013113 |  9386452 |     1477  15810 |        0 |        0
1419.98/1420.46	c 1420s |      26 | 10026698 |  9399052 |     1477  15826 |        0 |        0
1421.98/1422.49	c 1422s |      26 | 10040765 |  9411852 |     1477  15843 |        0 |        0
1424.07/1424.50	c 1424s |      26 | 10055241 |  9424552 |     1477  15860 |        0 |        0
1426.07/1426.51	c 1426s |      26 | 10069394 |  9437152 |     1477  15876 |        0 |        0
1428.07/1428.51	c 1428s |      26 | 10083179 |  9450052 |     1477  15893 |        0 |        0
1430.07/1430.52	c 1430s |      26 | 10096913 |  9462752 |     1477  15910 |        0 |        0
1432.08/1432.52	c 1432s |      26 | 10111069 |  9475752 |     1477  15927 |        0 |        0
1434.07/1434.53	c 1434s |      26 | 10125008 |  9488652 |     1477  15944 |        0 |        0
1436.07/1436.53	c 1436s |      26 | 10138963 |  9501452 |     1477  15960 |        0 |        0
1438.07/1438.54	c 1438s |      26 | 10153145 |  9514452 |     1477  15977 |        0 |        0
1440.07/1440.54	c 1440s |      26 | 10167764 |  9527252 |     1477  15994 |        0 |        0
1442.07/1442.56	c 1442s |      26 | 10181490 |  9539852 |     1477  16011 |        0 |        0
1444.07/1444.57	c 1444s |      26 | 10195590 |  9552652 |     1477  16027 |        0 |        0
1446.07/1446.58	c 1446s |      26 | 10209855 |  9565852 |     1477  16045 |        0 |        0
1448.07/1448.58	c 1448s |      26 | 10223876 |  9578952 |     1477  16062 |        0 |        0
1450.07/1450.59	c 1450s |      26 | 10237663 |  9592152 |     1477  16079 |        0 |        0
1452.17/1452.60	c 1452s |      26 | 10251778 |  9605352 |     1477  16096 |        0 |        0
1454.17/1454.62	c 1454s |      26 | 10265675 |  9618352 |     1477  16113 |        0 |        0
1456.17/1456.63	c 1456s |      26 | 10279649 |  9631452 |     1477  16130 |        0 |        0
1458.17/1458.63	c 1458s |      26 | 10293180 |  9644152 |     1477  16147 |        0 |        0
1460.17/1460.64	c 1460s |      26 | 10306782 |  9657052 |     1477  16164 |        0 |        0
1462.17/1462.65	c 1462s |      26 | 10320637 |  9670052 |     1477  16181 |        0 |        0
1464.17/1464.67	c 1464s |      26 | 10334443 |  9683152 |     1477  16198 |        0 |        0
1466.18/1466.68	c 1466s |      26 | 10348625 |  9696552 |     1477  16215 |        0 |        0
1468.17/1468.69	c 1468s |      26 | 10363012 |  9709752 |     1477  16233 |        0 |        0
1470.27/1470.70	c 1470s |      26 | 10377149 |  9722952 |     1477  16250 |        0 |        0
1472.27/1472.70	c 1472s |      26 | 10392118 |  9736352 |     1477  16267 |        0 |        0
1474.27/1474.71	c 1474s |      26 | 10406413 |  9749552 |     1477  16285 |        0 |        0
1476.27/1476.72	c 1476s |      26 | 10420256 |  9762452 |     1477  16301 |        0 |        0
1478.27/1478.73	c 1478s |      26 | 10434030 |  9775552 |     1477  16319 |        0 |        0
1480.26/1480.74	c 1480s |      26 | 10448060 |  9788852 |     1477  16336 |        0 |        0
1482.26/1482.75	c 1482s |      26 | 10462093 |  9802052 |     1477  16353 |        0 |        0
1484.26/1484.77	c 1484s |      26 | 10476074 |  9815252 |     1477  16371 |        0 |        0
1486.26/1486.78	c 1486s |      26 | 10489814 |  9828352 |     1477  16388 |        0 |        0
1488.26/1488.79	c 1488s |      26 | 10503530 |  9841252 |     1477  16405 |        0 |        0
1490.27/1490.79	c 1490s |      26 | 10517372 |  9854152 |     1477  16421 |        0 |        0
1492.36/1492.80	c 1492s |      26 | 10531092 |  9867152 |     1477  16438 |        0 |        0
1494.36/1494.81	c 1494s |      26 | 10544516 |  9879952 |     1477  16455 |        0 |        0
1496.36/1496.82	c 1496s |      26 | 10558044 |  9892752 |     1477  16472 |        0 |        0
1498.37/1498.83	c 1498s |      26 | 10571793 |  9905752 |     1477  16489 |        0 |        0
1500.37/1500.83	c 1500s |      26 | 10586056 |  9918852 |     1477  16506 |        0 |        0
1502.37/1502.83	c 1502s |      26 | 10600061 |  9931752 |     1477  16523 |        0 |        0
1504.37/1504.84	c 1504s |      26 | 10614001 |  9944752 |     1477  16540 |        0 |        0
1506.37/1506.84	c 1506s |      26 | 10627985 |  9957752 |     1477  16557 |        0 |        0
1508.36/1508.85	c 1508s |      26 | 10642070 |  9971052 |     1477  16574 |        0 |        0
1510.36/1510.85	c 1510s |      26 | 10656065 |  9984152 |     1477  16592 |        0 |        0
1512.37/1512.85	c 1512s |      26 | 10669983 |  9997352 |     1477  16609 |        0 |        0
1514.36/1514.86	c 1514s |      26 | 10683910 | 10010252 |     1477  16626 |        0 |        0
1516.36/1516.87	c 1516s |      26 | 10697634 | 10023152 |     1477  16643 |        0 |        0
1518.36/1518.87	c 1518s |      26 | 10712032 | 10036252 |     1477  16660 |        0 |        0
1520.36/1520.87	c 1520s |      26 | 10725930 | 10049052 |     1477  16677 |        0 |        0
1522.36/1522.88	c 1522s |      26 | 10739900 | 10061752 |     1477  16693 |        0 |        0
1524.37/1524.89	c 1524s |      26 | 10753540 | 10074552 |     1477  16710 |        0 |        0
1526.46/1526.90	c 1526s |      26 | 10767063 | 10087452 |     1477  16727 |        0 |        0
1528.46/1528.91	c 1528s |      26 | 10780450 | 10100152 |     1477  16743 |        0 |        0
1530.46/1530.91	c 1530s |      26 | 10794287 | 10113252 |     1477  16761 |        0 |        0
1532.46/1532.92	c 1532s |      26 | 10808047 | 10126352 |     1477  16778 |        0 |        0
1534.45/1534.93	c 1534s |      26 | 10821662 | 10139352 |     1477  16795 |        0 |        0
1536.46/1536.94	c 1536s |      26 | 10835724 | 10152552 |     1477  16812 |        0 |        0
1538.45/1538.95	c 1538s |      26 | 10849719 | 10165452 |     1477  16829 |        0 |        0
1540.45/1540.96	c 1540s |      26 | 10863080 | 10177952 |     1477  16845 |        0 |        0
1542.45/1542.97	c 1542s |      26 | 10877065 | 10190952 |     1477  16862 |        0 |        0
1544.45/1544.98	c 1544s |      26 | 10890514 | 10203752 |     1477  16879 |        0 |        0
1546.46/1546.98	c 1546s |      26 | 10904146 | 10216652 |     1477  16895 |        0 |        0
1548.45/1548.98	c 1548s |      26 | 10918142 | 10229852 |     1477  16913 |        0 |        0
1550.46/1550.99	c 1550s |      26 | 10932213 | 10242952 |     1477  16930 |        0 |        0
1552.46/1552.99	c 1552s |      26 | 10946255 | 10256252 |     1477  16947 |        0 |        0
1554.56/1555.00	c 1554s |      26 | 10960368 | 10269352 |     1477  16964 |        0 |        0
1556.56/1557.01	c 1556s |      26 | 10974513 | 10282452 |     1477  16981 |        0 |        0
1558.56/1559.02	c 1559s |      26 | 10988668 | 10295652 |     1477  16999 |        0 |        0
1560.55/1561.02	c 1561s |      26 | 11002554 | 10308652 |     1477  17016 |        0 |        0
1562.55/1563.03	c 1563s |      26 | 11016373 | 10321652 |     1477  17033 |        0 |        0
1564.55/1565.03	c 1565s |      26 | 11030622 | 10335052 |     1477  17050 |        0 |        0
1566.55/1567.04	c 1567s |      26 | 11044540 | 10348052 |     1477  17067 |        0 |        0
1568.55/1569.05	c 1569s |      26 | 11058532 | 10360752 |     1477  17084 |        0 |        0
1570.56/1571.07	c 1571s |      26 | 11072059 | 10373552 |     1477  17101 |        0 |        0
1572.55/1573.09	c 1573s |      26 | 11085952 | 10386652 |     1477  17118 |        0 |        0
1574.65/1575.10	c 1575s |      26 | 11099896 | 10399952 |     1477  17135 |        0 |        0
1576.65/1577.10	c 1577s |      26 | 11113298 | 10412652 |     1477  17152 |        0 |        0
1578.65/1579.11	c 1579s |      26 | 11127066 | 10425752 |     1477  17169 |        0 |        0
1580.65/1581.11	c 1581s |      26 | 11140826 | 10438852 |     1477  17186 |        0 |        0
1582.65/1583.12	c 1583s |      26 | 11154935 | 10452152 |     1477  17203 |        0 |        0
1584.65/1585.13	c 1585s |      26 | 11168767 | 10465352 |     1477  17221 |        0 |        0
1586.65/1587.14	c 1587s |      26 | 11182993 | 10478752 |     1477  17238 |        0 |        0
1588.65/1589.15	c 1589s |      26 | 11197161 | 10492052 |     1477  17256 |        0 |        0
1590.64/1591.16	c 1591s |      26 | 11211489 | 10505052 |     1477  17273 |        0 |        0
1592.65/1593.17	c 1593s |      26 | 11225856 | 10518452 |     1477  17290 |        0 |        0
1594.64/1595.17	c 1595s |      26 | 11239639 | 10531552 |     1477  17307 |        0 |        0
1596.64/1597.18	c 1597s |      26 | 11253688 | 10544852 |     1477  17325 |        0 |        0
1598.65/1599.18	c 1599s |      26 | 11267592 | 10558052 |     1477  17342 |        0 |        0
1600.65/1601.18	c 1601s |      26 | 11281649 | 10571252 |     1477  17359 |        0 |        0
1602.75/1603.20	c 1603s |      26 | 11295826 | 10584652 |     1477  17377 |        0 |        0
1604.76/1605.21	c 1605s |      26 | 11310063 | 10597852 |     1477  17394 |        0 |        0
1606.75/1607.22	c 1607s |      26 | 11324270 | 10611152 |     1477  17412 |        0 |        0
1608.75/1609.22	c 1609s |      26 | 11338484 | 10624652 |     1477  17429 |        0 |        0
1610.75/1611.23	c 1611s |      26 | 11352628 | 10637952 |     1477  17447 |        0 |        0
1612.75/1613.24	c 1613s |      26 | 11366560 | 10651152 |     1477  17464 |        0 |        0
1614.75/1615.25	c 1615s |      26 | 11380797 | 10664552 |     1477  17481 |        0 |        0
1616.75/1617.26	c 1617s |      26 | 11394887 | 10677852 |     1477  17499 |        0 |        0
1618.75/1619.27	c 1619s |      26 | 11409192 | 10691352 |     1477  17516 |        0 |        0
1620.75/1621.27	c 1621s |      26 | 11423619 | 10704852 |     1477  17534 |        0 |        0
1622.75/1623.28	c 1623s |      26 | 11437844 | 10718052 |     1477  17552 |        0 |        0
1624.75/1625.28	c 1625s |      26 | 11452234 | 10731552 |     1477  17569 |        0 |        0
1626.75/1627.29	c 1627s |      26 | 11466268 | 10744852 |     1477  17587 |        0 |        0
1628.74/1629.29	c 1629s |      26 | 11480306 | 10757952 |     1477  17604 |        0 |        0
1630.74/1631.29	c 1631s |      26 | 11494252 | 10771052 |     1477  17621 |        0 |        0
1632.84/1633.31	c 1633s |      26 | 11508436 | 10784452 |     1477  17639 |        0 |        0
1634.84/1635.32	c 1635s |      26 | 11522564 | 10797752 |     1477  17656 |        0 |        0
1636.84/1637.32	c 1637s |      26 | 11536581 | 10810752 |     1477  17673 |        0 |        0
1638.85/1639.33	c 1639s |      26 | 11550618 | 10823752 |     1477  17690 |        0 |        0
1640.84/1641.34	c 1641s |      26 | 11564228 | 10836652 |     1477  17707 |        0 |        0
1642.84/1643.35	c 1643s |      26 | 11578020 | 10849452 |     1477  17724 |        0 |        0
1644.84/1645.36	c 1645s |      26 | 11592159 | 10862352 |     1477  17740 |        0 |        0
1646.84/1647.36	c 1647s |      26 | 11606335 | 10875452 |     1477  17758 |        0 |        0
1648.84/1649.37	c 1649s |      26 | 11620313 | 10888452 |     1477  17775 |        0 |        0
1650.84/1651.37	c 1651s |      26 | 11634268 | 10901352 |     1477  17792 |        0 |        0
1652.84/1653.38	c 1653s |      26 | 11648150 | 10914352 |     1477  17809 |        0 |        0
1654.83/1655.39	c 1655s |      26 | 11662593 | 10927352 |     1477  17826 |        0 |        0
1656.83/1657.39	c 1657s |      26 | 11676617 | 10940352 |     1477  17843 |        0 |        0
1658.93/1659.40	c 1659s |      26 | 11690627 | 10953252 |     1477  17860 |        0 |        0
1660.93/1661.40	c 1661s |      26 | 11704808 | 10966452 |     1477  17877 |        0 |        0
1662.94/1663.42	c 1663s |      26 | 11718796 | 10979652 |     1477  17894 |        0 |        0
1664.94/1665.42	c 1665s |      26 | 11733219 | 10992952 |     1477  17912 |        0 |        0
1666.94/1667.42	c 1667s |      26 | 11747189 | 11005952 |     1477  17929 |        0 |        0
1668.94/1669.43	c 1669s |      26 | 11761260 | 11018652 |     1477  17945 |        0 |        0
1670.94/1671.43	c 1671s |      26 | 11775340 | 11031652 |     1477  17962 |        0 |        0
1672.95/1673.44	c 1673s |      26 | 11789564 | 11044752 |     1477  17980 |        0 |        0
1674.94/1675.46	c 1675s |      26 | 11804351 | 11058352 |     1477  17997 |        0 |        0
1676.94/1677.46	c 1677s |      26 | 11819423 | 11072352 |     1477  18016 |        0 |        0
1678.93/1679.48	c 1679s |      26 | 11834039 | 11086152 |     1477  18034 |        0 |        0
1680.93/1681.48	c 1681s |      26 | 11848562 | 11099852 |     1477  18052 |        0 |        0
1682.93/1683.49	c 1683s |      26 | 11862676 | 11113152 |     1477  18069 |        0 |        0
1684.94/1685.49	c 1685s |      26 | 11876895 | 11126652 |     1477  18087 |        0 |        0
1687.03/1687.50	c 1687s |      26 | 11891314 | 11140252 |     1477  18104 |        0 |        0
1689.03/1689.51	c 1689s |      26 | 11905917 | 11154052 |     1477  18122 |        0 |        0
1691.03/1691.52	c 1691s |      26 | 11920111 | 11167652 |     1477  18140 |        0 |        0
1693.03/1693.52	c 1693s |      26 | 11934084 | 11181052 |     1477  18158 |        0 |        0
1695.03/1695.53	c 1695s |      26 | 11948607 | 11194752 |     1477  18176 |        0 |        0
1697.04/1697.54	c 1697s |      26 | 11962633 | 11208252 |     1477  18193 |        0 |        0
1699.03/1699.54	c 1699s |      26 | 11976329 | 11221352 |     1477  18210 |        0 |        0
1701.03/1701.55	c 1701s |      26 | 11990552 | 11234952 |     1477  18228 |        0 |        0
1703.03/1703.55	c 1703s |      26 | 12004727 | 11248452 |     1477  18246 |        0 |        0
1705.03/1705.57	c 1705s |      26 | 12019094 | 11261952 |     1477  18264 |        0 |        0
1707.03/1707.58	c 1707s |      26 | 12032889 | 11275252 |     1477  18281 |        0 |        0
1709.03/1709.59	c 1709s |      26 | 12047092 | 11288852 |     1477  18299 |        0 |        0
1711.13/1711.60	c 1711s |      26 | 12061374 | 11302552 |     1477  18317 |        0 |        0
1713.13/1713.61	c 1713s |      26 | 12075486 | 11316052 |     1625  18334 |        0 |        0
1715.13/1715.63	c 1715s |      26 | 12089854 | 11329752 |     1625  18350 |        0 |        0
1717.13/1717.63	c 1717s |      26 | 12104079 | 11343252 |     1625  18366 |        0 |        0
1719.14/1719.63	c 1719s |      26 | 12118221 | 11356752 |     1625  18383 |        0 |        0
1721.13/1721.65	c 1721s |      26 | 12132170 | 11370052 |     1625  18398 |        0 |        0
1723.13/1723.65	c 1723s |      26 | 12146274 | 11383252 |     1625  18414 |        0 |        0
1725.13/1725.67	c 1725s |      26 | 12160223 | 11396452 |     1625  18430 |        0 |        0
1725.23/1725.71	c 1725s |      27 | 12160525 | 11396733 |     1625  18430 |        0 |        0
1727.23/1727.72	c 1727s |      27 | 12174770 | 11410233 |     1625  18446 |        0 |        0
1729.23/1729.72	c 1729s |      27 | 12188866 | 11423533 |     1625  18462 |        0 |        0
1731.23/1731.73	c 1731s |      27 | 12202783 | 11436633 |     1625  18478 |        0 |        0
1733.23/1733.74	c 1733s |      27 | 12216592 | 11449833 |     1625  18493 |        0 |        0
1735.22/1735.74	c 1735s |      27 | 12230227 | 11462833 |     1625  18509 |        0 |        0
1737.22/1737.75	c 1737s |      27 | 12244755 | 11476233 |     1625  18525 |        0 |        0
1739.22/1739.75	c 1739s |      27 | 12259333 | 11489933 |     1625  18541 |        0 |        0
1741.22/1741.75	c 1741s |      27 | 12273430 | 11503133 |     1625  18557 |        0 |        0
1743.23/1743.77	c 1743s |      27 | 12288476 | 11516733 |     1625  18573 |        0 |        0
1745.22/1745.77	c 1745s |      27 | 12302687 | 11529933 |     1625  18589 |        0 |        0
1747.22/1747.77	c 1747s |      27 | 12316805 | 11543033 |     1625  18604 |        0 |        0
1749.22/1749.78	c 1749s |      27 | 12331192 | 11556133 |     1625  18620 |        0 |        0
1751.32/1751.80	c 1751s |      27 | 12345823 | 11569633 |     1625  18636 |        0 |        0
1753.32/1753.80	c 1753s |      27 | 12359990 | 11582733 |     1625  18652 |        0 |        0
1755.33/1755.81	c 1755s |      27 | 12373818 | 11595733 |     1625  18667 |        0 |        0
1757.33/1757.83	c 1757s |      27 | 12387595 | 11608633 |     1625  18683 |        0 |        0
1759.33/1759.83	c 1759s |      27 | 12401476 | 11621333 |     1625  18698 |        0 |        0
1761.33/1761.84	c 1761s |      27 | 12415318 | 11634433 |     1625  18713 |        0 |        0
1763.33/1763.85	c 1763s |      27 | 12429149 | 11647433 |     1625  18729 |        0 |        0
1765.33/1765.86	c 1765s |      27 | 12443299 | 11660633 |     1625  18744 |        0 |        0
1767.33/1767.87	c 1767s |      27 | 12457340 | 11673933 |     1625  18760 |        0 |        0
1769.33/1769.87	c 1769s |      27 | 12471098 | 11686933 |     1625  18776 |        0 |        0
1771.33/1771.88	c 1771s |      27 | 12484740 | 11699933 |     1625  18791 |        0 |        0
1773.33/1773.89	c 1773s |      27 | 12498660 | 11713033 |     1625  18807 |        0 |        0
1775.43/1775.90	c 1775s |      27 | 12512459 | 11726033 |     1625  18822 |        0 |        0
1777.43/1777.91	c 1777s |      27 | 12526553 | 11739233 |     1625  18838 |        0 |        0
1779.42/1779.92	c 1779s |      27 | 12540291 | 11752233 |     1625  18854 |        0 |        0
1781.42/1781.93	c 1781s |      27 | 12553895 | 11765233 |     1625  18869 |        0 |        0
1783.42/1783.93	c 1783s |      27 | 12567399 | 11777933 |     1625  18884 |        0 |        0
1785.42/1785.94	c 1785s |      27 | 12581135 | 11790833 |     1625  18900 |        0 |        0
1787.42/1787.95	c 1787s |      27 | 12595084 | 11804033 |     1625  18915 |        0 |        0
1789.43/1789.95	c 1789s |      27 | 12609127 | 11817333 |     1625  18931 |        0 |        0
1791.42/1791.96	c 1791s |      27 | 12623467 | 11830833 |     1625  18947 |        0 |        0
1793.42/1793.96	c 1793s |      27 | 12637494 | 11844033 |     1625  18963 |        0 |        0
1795.42/1795.97	c 1795s |      27 | 12651363 | 11857233 |     1625  18979 |        0 |        0
1797.42/1797.98	c 1797s |      27 | 12665239 | 11870433 |     1625  18994 |        0 |        0
1799.42/1799.98	c 1799s |      27 | 12679162 | 11883633 |     1625  19010 |        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-4089449-1466027583/watcher-4089449-1466027583 -o /tmp/evaluation-result-4089449-1466027583/solver-4089449-1466027583 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089449-1466027583.opb 

pid=7802
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.04 2.04 2.04 3/180 7805
/proc/meminfo: memFree=30419448/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=660924 CPUtime=0 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 2455 0 0 0 0 0 0 0 20 0 4 0 4808470 676786176 3327 33554432000 4194304 16246674 140734451299088 140734451298512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 165999 3337 441 2943 0 162893 0
[pid=7805/tid=7806] ppid=7802 vsize=678332 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 694611968 3394 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=682428 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 698806272 3408 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=686524 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 703000576 3426 33554432000 4194304 16246674 140734451299088 140627429813424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.04 2.04 2.04 3/180 7805
/proc/meminfo: memFree=30419448/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 29443 0 0 0 5 4 0 0 20 0 4 0 4808470 1247350784 30304 33554432000 4194304 16246674 140734451299088 140734451282080 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 304529 30312 711 2943 0 301423 0
[pid=7805/tid=7806] ppid=7802 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1247350784 30323 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1247350784 30333 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1247350784 30340 33554432000 4194304 16246674 140734451299088 140627429813424 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.200489 s]
/proc/loadavg: 2.04 2.04 2.04 3/180 7805
/proc/meminfo: memFree=30419448/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 58486 0 0 0 12 7 0 0 20 0 4 0 4808470 1247350784 59348 33554432000 4194304 16246674 140734451299088 140734451282080 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 304529 59361 711 2943 0 301423 0
[pid=7805/tid=7806] ppid=7802 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1247350784 59367 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1247350784 59373 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1247350784 59384 33554432000 4194304 16246674 140734451299088 140627429813424 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.300448 s]
/proc/loadavg: 2.04 2.04 2.04 3/180 7805
/proc/meminfo: memFree=30419448/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 87091 0 0 0 17 11 0 0 20 0 4 0 4808470 1247350784 87953 33554432000 4194304 16246674 140734451299088 140734451282080 12474890 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 304529 87964 711 2943 0 301423 0
[pid=7805/tid=7806] ppid=7802 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1247350784 87971 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1247350784 87982 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1247350784 87993 33554432000 4194304 16246674 140734451299088 140627429813424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700346 s]
/proc/loadavg: 2.04 2.04 2.04 3/180 7805
/proc/meminfo: memFree=30419448/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 204655 0 0 0 43 26 0 0 20 0 4 0 4808470 1247350784 205517 33554432000 4194304 16246674 140734451299088 140734451282088 5589077 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 304529 205535 711 2943 0 301423 0
[pid=7805/tid=7806] ppid=7802 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1247350784 205544 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1247350784 205550 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1247350784 205557 33554432000 4194304 16246674 140734451299088 140627429813424 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.50043 s]
/proc/loadavg: 2.04 2.04 2.04 3/184 7809
/proc/meminfo: memFree=29434464/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 267248 0 0 0 115 34 0 0 20 0 4 0 4808470 1336479744 268089 33554432000 4194304 16246674 140734451299088 140734451280960 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 326289 268089 791 2943 0 323183 0
[pid=7805/tid=7806] ppid=7802 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1336479744 268089 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1336479744 268089 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1336479744 268089 33554432000 4194304 16246674 140734451299088 140627429813424 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) 1305156

[startup+3.10036 s]
/proc/loadavg: 2.04 2.04 2.04 3/184 7809
/proc/meminfo: memFree=29346672/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 267395 0 0 0 275 34 0 0 20 0 4 0 4808470 1337528320 268236 33554432000 4194304 16246674 140734451299088 140734451280960 13928602 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 326545 268236 791 2943 0 323439 0
[pid=7805/tid=7806] ppid=7802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1337528320 268236 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1337528320 268236 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1337528320 268236 33554432000 4194304 16246674 140734451299088 140627429813424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 2.04 2.04 2.04 3/184 7809
/proc/meminfo: memFree=29346984/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 267435 0 0 0 595 34 0 0 20 0 4 0 4808470 1337528320 268276 33554432000 4194304 16246674 140734451299088 140734451280960 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 326545 268276 791 2943 0 323439 0
[pid=7805/tid=7806] ppid=7802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1337528320 268276 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1337528320 268276 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1337528320 268276 33554432000 4194304 16246674 140734451299088 140627429813424 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.04 2.04 2.04 3/184 7809
/proc/meminfo: memFree=29346920/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 267437 0 0 0 1234 34 0 0 20 0 4 0 4808470 1337528320 268278 33554432000 4194304 16246674 140734451299088 140734451282088 5706719 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 326545 268278 791 2943 0 323439 0
[pid=7805/tid=7806] ppid=7802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1337528320 268278 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1337528320 268278 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1337528320 268278 33554432000 4194304 16246674 140734451299088 140627429813424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.03 2.03 2.04 3/184 7809
/proc/meminfo: memFree=29345708/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1306180 CPUtime=25.5 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 267498 0 0 0 2515 35 0 0 20 0 4 0 4808470 1337528320 268339 33554432000 4194304 16246674 140734451299088 140734451282088 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 326545 268339 791 2943 0 323439 0
[pid=7805/tid=7806] ppid=7802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1337528320 268339 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1337528320 268339 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1337528320 268339 33554432000 4194304 16246674 140734451299088 140627429813424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.02 2.03 2.03 3/184 7810
/proc/meminfo: memFree=29343552/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 267582 0 0 0 5073 35 0 0 20 0 4 0 4808470 1338576896 268423 33554432000 4194304 16246674 140734451299088 140734451280960 13198652 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 326801 268423 791 2943 0 323695 0
[pid=7805/tid=7806] ppid=7802 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1338576896 268423 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1338576896 268423 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1338576896 268423 33554432000 4194304 16246674 140734451299088 140627429813424 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) 1307204

[startup+102.3 s]
/proc/loadavg: 2.04 2.04 2.03 3/183 7811
/proc/meminfo: memFree=29341492/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1308228 CPUtime=102.28 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 267905 0 0 0 10192 36 0 0 20 0 4 0 4808470 1339625472 268746 33554432000 4194304 16246674 140734451299088 140734451280960 13950218 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 327057 268746 792 2943 0 323951 0
[pid=7805/tid=7806] ppid=7802 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1339625472 268746 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1339625472 268746 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1339625472 268746 33554432000 4194304 16246674 140734451299088 140627429813424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627429813424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 1319492

[startup+1362.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/183 7865
/proc/meminfo: memFree=29317576/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1319492 CPUtime=1361.88 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 271336 0 0 0 136129 59 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140734451282088 5722674 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 329873 271745 793 2943 0 326767 0
[pid=7805/tid=7806] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627429813424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1319492

[startup+1422.3 s]
/proc/loadavg: 2.06 2.04 2.02 3/183 7866
/proc/meminfo: memFree=29317452/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1319492 CPUtime=1421.87 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 271336 0 0 0 142127 60 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140734451282088 5546072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 329873 271745 793 2943 0 326767 0
[pid=7805/tid=7806] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627429813424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 1319492

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.02 3/183 7867
/proc/meminfo: memFree=29317452/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1319492 CPUtime=1481.86 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 271336 0 0 0 148125 61 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140734451282088 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 329873 271745 793 2943 0 326767 0
[pid=7805/tid=7806] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627429813424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1319492

[startup+1542.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/183 7868
/proc/meminfo: memFree=29317820/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1319492 CPUtime=1541.85 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 271336 0 0 0 154123 62 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140734451282088 5721639 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 329873 271745 793 2943 0 326767 0
[pid=7805/tid=7806] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627429813424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/183 7967
/proc/meminfo: memFree=29329704/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1319492 CPUtime=1601.85 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 271336 0 0 0 160121 64 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140734451280960 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 329873 271745 793 2943 0 326767 0
[pid=7805/tid=7806] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627429813424 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) 1319492

[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/184 7971
/proc/meminfo: memFree=29329072/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1319492 CPUtime=1661.84 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 271336 0 0 0 166120 64 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140734451282088 13927401 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 329873 271745 793 2943 0 326767 0
[pid=7805/tid=7806] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627429813424 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) 1319492

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 7972
/proc/meminfo: memFree=29329080/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1319492 CPUtime=1721.83 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 271336 0 0 0 172117 66 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140734451280960 5808388 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 329873 271745 793 2943 0 326767 0
[pid=7805/tid=7806] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627429813424 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) 1319492

[startup+1782.31 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 7973
/proc/meminfo: memFree=29327228/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1319492 CPUtime=1781.83 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 271336 0 0 0 178116 67 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140734451280960 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 329873 271745 793 2943 0 326767 0
[pid=7805/tid=7806] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627429813424 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 7974
/proc/meminfo: memFree=29326724/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1319492 CPUtime=1800.02 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 271336 0 0 0 179935 67 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140734451282080 6012244 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 329873 271745 793 2943 0 326767 0
[pid=7805/tid=7806] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627429813424 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) 1319492

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

[startup+1800.5 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 7974
/proc/meminfo: memFree=29326724/32872528 swapFree=524788/557492
[pid=7805] ppid=7802 vsize=1319492 CPUtime=1800.02 cores=1,3,5,7
/proc/7805/stat : 7805 (toysat) R 7802 7805 5756 0 -1 4202496 271336 0 0 0 179935 67 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140734451282080 6012244 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7805/statm: 329873 271745 793 2943 0 326767 0
[pid=7805/tid=7806] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7806/stat : 7806 (toysat) S 7802 7805 5756 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627524168944 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7805/tid=7807] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7807/stat : 7807 (toysat) S 7802 7805 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627513679088 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7805/tid=7808] ppid=7802 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/7805/task/7808/stat : 7808 (toysat) S 7802 7805 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4808470 1351159808 271745 33554432000 4194304 16246674 140734451299088 140627429813424 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) 1319492

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.36
CPU system time (s): 0.674897
CPU usage (%): 99.9736
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.36
system time used= 0.674897
maximum resident set size= 1086980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271336
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= 449
involuntary context switches= 1840

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.1452 second user time and 11.5053 second system time

The end

Begin job on node106 at 2016-06-15 23:53:03
IDJOB=4089449
IDBENCH=107408
IDSOLVER=2542
FILE ID=node106/4089449-1466027583
RUNJOBID= node106-1466012020-5773
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid8x15-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089449-1466027583/watcher-4089449-1466027583 -o /tmp/evaluation-result-4089449-1466027583/solver-4089449-1466027583 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5773 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089449-1466027583.opb

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

MD5SUM BENCH= 8962e330cbd730b44c14f6c229952c4e
RANDOM SEED=455972458

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30420336 kB
Buffers:           33400 kB
Cached:            76592 kB
SwapCached:         1480 kB
Active:          1142592 kB
Inactive:          41512 kB
Active(anon):    1075172 kB
Inactive(anon):     1188 kB
Active(file):      67420 kB
Inactive(file):    40324 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16716 kB
Writeback:             0 kB
AnonPages:       1713916 kB
Mapped:            10468 kB
Shmem:                 0 kB
Slab:             576816 kB
SReclaimable:      20740 kB
SUnreclaim:       556076 kB
KernelStack:        1528 kB
PageTables:         7308 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1775720 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    116736 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= 71708 MiB
End job on node106 at 2016-06-16 00:23:04