0.00/0.00	c 2016-06-30T22:03:16+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-4122602-1467316996.opb"]
0.00/0.01	c use --random-gen="1622765289 1551364793 1700790139 3514157077 3697600351 485241143 311476631 868416316 3579309954 299988999 4288926396 2445922429 3464376960 1327960409 3876966446 1305848695 4090397125 742735598 483211764 206811256 1960106252 573210623 704210770 4188970307 3201211402 2771601751 313163015 568141872 2542209968 2007708266 2443775955 3605441481 3636685285 3193842841 1257727680 4091943051 2150297980 2771386964 2278907676 2283680556 1891519526 3640983989 2976550149 3369584302 3125714201 3620475994 2240481395 2862940516 871195386 2863544213 977380109 2649508000 3993558933 2194842264 3154038992 218503597 28354767 2986194947 221402721 1145454568 4008457477 1928915156 1009191305 1396164640 3869577585 1589395959 82531009 1023389782 2599496733 3393325895 398268085 4165062535 3087853488 662306158 514820669 3702092789 2532807097 2538787706 665201671 3769024486 451315733 4106350348 3662063177 699925793 422218657 3330348452 1258208601 3844935784 2585826682 4219898356 2970135035 2982175170 1650679181 1484776978 4034962514 3149838536 1620222641 4126093809 624215598 1549142831 2708306876 884400344 2899938606 3707413458 4047024861 589934054 3447546124 2317147853 2143868006 3392147939 1251113807 3582355575 1188040306 3793708478 752013012 99039277 2079400650 429639190 1310713141 2487286825 652262055 4163734544 3728245760 2966389635 1610447393 1792318356 3179106209 309047844 2953546568 4042537428 4152196604 3924731351 3956691290 1595193849 352323763 3159807681 952272858 2409221317 1080794322 3074251568 4071297309 1794641413 3482975987 1979487788 2818460350 1528488682 2511022544 470104025 3346661589 3293764929 1363146171 635139159 2824473543 87148890 2436367569 2719480589 3152289311 3850759573 253358127 3995203162 245547055 2065194779 853878347 3558004747 2135011386 195176397 4130224131 678224592 1754011464 353895077 590698186 2308125923 1668912634 4175341654 1592847962 1111676265 2942995561 3031400863 3403420738 2253501619 479410812 4097393203 1745177636 1745235018 2094580414 438328480 551323924 3742500000 4221649911 2155470349 1196307879 2878638906 3149581927 684211199 1203645308 2140720765 872223295 268339043 187770487 1084598981 2531581060 356536705 3352115294 3497638725 152778834 1288591922 825637545 916812760 3053644792 1648605799 3330875014 2730784579 1462679092 4093523759 1973924523 1830044584 1294681259 3409725457 2566488049 3712132075 600971329 2497910991 3676640953 3937345187 3390133471 3280113675 2277798689 2615038088 2037223306 2612604067 1087004036 2367288001 76634240 3795479203 828236517 1619021567 2919043847 4058914567 3335990599 573358617 2947365523 3617253200 4020971496 1020339989 1588414821 2896271772 2835204054 3404256719 501504145 3561907640 4158624184 706110175 2885335510 3702945816 53513335 2487994155 255 362436" option to reproduce the execution
0.00/0.01	c #vars 109
0.00/0.01	c #constraints 108
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 |       72      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      154 |      100 |       72      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      492 |      250 |       80      3 |        0 |        0
0.00/0.05	c  0.0s |       3 |      893 |      475 |       88      6 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1595 |      813 |       97     12 |        0 |        0
0.09/0.13	c  0.1s |       5 |     2474 |     1320 |      107     20 |        0 |        0
0.09/0.19	c  0.2s |       6 |     3994 |     2081 |      130     30 |        0 |        0
0.19/0.29	c  0.3s |       7 |     5576 |     3223 |      143     45 |        0 |        0
0.39/0.44	c  0.4s |       8 |     8500 |     4936 |      158     64 |        0 |        0
0.59/0.68	c  0.7s |       9 |    12096 |     7506 |      174     92 |        0 |        0
0.99/1.05	c  1.0s |      10 |    18251 |    11361 |      192    130 |        0 |        0
1.39/1.44	c  1.4s |      11 |    26818 |    17144 |      212    184 |        0 |        0
1.99/2.04	c  2.0s |      12 |    39731 |    25819 |      234    258 |        0 |        0
2.89/2.92	c  2.9s |      13 |    57247 |    38832 |      258    361 |        0 |        0
4.19/4.25	c  4.2s |      14 |    83917 |    58352 |      284    502 |        0 |        0
6.19/6.25	c  6.2s |      14 |   119765 |    85452 |      284    681 |        0 |        0
6.39/6.42	c  6.4s |      15 |   122522 |    87632 |      313    695 |        0 |        0
8.39/8.42	c  8.4s |      15 |   161770 |   116832 |      313    871 |        0 |        0
9.39/9.49	c  9.5s |      16 |   181161 |   131552 |      345    959 |        0 |        0
11.39/11.49	c 11.5s |      16 |   219575 |   159052 |      345   1112 |        0 |        0
13.39/13.49	c 13.5s |      16 |   258263 |   187352 |      345   1269 |        0 |        0
14.09/14.17	c 14.2s |      17 |   273643 |   197432 |      380   1324 |        0 |        0
16.09/16.18	c 16.2s |      17 |   310094 |   224632 |      380   1461 |        0 |        0
18.09/18.18	c 18.2s |      17 |   345377 |   251632 |      380   1597 |        0 |        0
20.09/20.18	c 20.2s |      17 |   385893 |   280132 |      380   1742 |        0 |        0
21.29/21.34	c 21.3s |      18 |   408198 |   296252 |      419   1822 |        0 |        0
23.29/23.34	c 23.3s |      18 |   444176 |   322752 |      419   1942 |        0 |        0
25.29/25.35	c 25.3s |      18 |   478253 |   348252 |      419   2059 |        0 |        0
27.28/27.36	c 27.3s |      18 |   511380 |   373952 |      419   2177 |        0 |        0
29.28/29.36	c 29.3s |      18 |   545196 |   399552 |      419   2294 |        0 |        0
31.28/31.37	c 31.4s |      18 |   574994 |   423252 |      419   2403 |        0 |        0
32.99/33.10	c 33.1s |      19 |   602156 |   444482 |      461   2499 |        0 |        0
35.08/35.10	c 35.1s |      19 |   641408 |   470982 |      461   2609 |        0 |        0
37.08/37.10	c 37.1s |      19 |   678298 |   496982 |      461   2719 |        0 |        0
39.08/39.10	c 39.1s |      19 |   709048 |   520682 |      461   2818 |        0 |        0
41.09/41.11	c 41.1s |      19 |   738845 |   544282 |      461   2917 |        0 |        0
43.09/43.11	c 43.1s |      19 |   771104 |   568882 |      461   3019 |        0 |        0
45.09/45.12	c 45.1s |      19 |   803653 |   593982 |      461   3123 |        0 |        0
47.09/47.12	c 47.1s |      19 |   835783 |   618482 |      461   3226 |        0 |        0
49.08/49.12	c 49.1s |      19 |   870675 |   644282 |      461   3334 |        0 |        0
50.88/50.93	c 50.9s |      20 |   900241 |   666827 |      508   3427 |        0 |        0
52.89/52.93	c 52.9s |      20 |   934689 |   692027 |      508   3522 |        0 |        0
54.88/54.93	c 54.9s |      20 |   966063 |   715627 |      508   3612 |        0 |        0
56.88/56.94	c 56.9s |      20 |   998980 |   740227 |      508   3706 |        0 |        0
58.88/58.95	c 58.9s |      20 |  1034595 |   765627 |      508   3804 |        0 |        0
60.88/60.95	c 60.9s |      20 |  1063236 |   788927 |      508   3893 |        0 |        0
62.88/62.95	c 62.9s |      20 |  1094645 |   813327 |      508   3986 |        0 |        0
64.88/64.95	c 64.9s |      20 |  1127562 |   838127 |      508   4082 |        0 |        0
66.88/66.96	c 66.9s |      20 |  1159661 |   862927 |      508   4177 |        0 |        0
68.88/68.96	c 68.9s |      20 |  1190296 |   886927 |      508   4269 |        0 |        0
70.88/70.97	c 71.0s |      20 |  1220771 |   910627 |      508   4359 |        0 |        0
72.88/72.97	c 73.0s |      20 |  1249595 |   933427 |      508   4447 |        0 |        0
74.89/74.98	c 75.0s |      20 |  1279175 |   956427 |      508   4534 |        0 |        0
76.88/76.98	c 77.0s |      20 |  1307929 |   979427 |      508   4620 |        0 |        0
78.77/78.82	c 78.8s |      21 |  1334006 |  1000345 |      559   4697 |        0 |        0
80.77/80.83	c 80.8s |      21 |  1369786 |  1026245 |      559   4787 |        0 |        0
82.78/82.84	c 82.8s |      21 |  1405305 |  1051945 |      559   4876 |        0 |        0
84.79/84.84	c 84.8s |      21 |  1438844 |  1076545 |      559   4962 |        0 |        0
86.78/86.84	c 86.8s |      21 |  1472504 |  1101345 |      559   5048 |        0 |        0
88.78/88.85	c 88.8s |      21 |  1508762 |  1127845 |      559   5141 |        0 |        0
90.78/90.85	c 90.8s |      21 |  1540545 |  1152245 |      559   5226 |        0 |        0
92.78/92.85	c 92.8s |      21 |  1571964 |  1176745 |      559   5311 |        0 |        0
94.78/94.86	c 94.8s |      21 |  1604099 |  1201345 |      559   5397 |        0 |        0
96.78/96.86	c 96.8s |      21 |  1635872 |  1225445 |      559   5481 |        0 |        0
98.77/98.87	c 98.9s |      21 |  1665521 |  1248545 |      559   5561 |        0 |        0
100.77/100.87	c  100s |      21 |  1696211 |  1272545 |      559   5645 |        0 |        0
102.78/102.87	c  102s |      21 |  1727220 |  1296645 |      559   5729 |        0 |        0
104.78/104.88	c  104s |      21 |  1761338 |  1322345 |      559   5818 |        0 |        0
106.78/106.88	c  106s |      21 |  1794502 |  1347645 |      559   5907 |        0 |        0
108.78/108.88	c  108s |      21 |  1825335 |  1371045 |      559   5988 |        0 |        0
110.78/110.88	c  110s |      21 |  1853217 |  1393345 |      559   6065 |        0 |        0
112.77/112.88	c  112s |      21 |  1881157 |  1415545 |      559   6143 |        0 |        0
114.77/114.88	c  114s |      21 |  1913122 |  1439645 |      559   6227 |        0 |        0
116.77/116.89	c  116s |      21 |  1944377 |  1463445 |      559   6310 |        0 |        0
118.77/118.90	c  118s |      21 |  1975404 |  1487345 |      559   6394 |        0 |        0
119.87/120.00	c  119s |      22 |  1992786 |  1500622 |      615   6436 |        0 |        0
121.97/122.01	c  121s |      22 |  2025641 |  1525822 |      615   6516 |        0 |        0
123.97/124.01	c  124s |      22 |  2057086 |  1550222 |      615   6594 |        0 |        0
125.97/126.02	c  126s |      22 |  2091672 |  1575722 |      615   6674 |        0 |        0
127.97/128.02	c  128s |      22 |  2124473 |  1600522 |      615   6753 |        0 |        0
129.97/130.03	c  130s |      22 |  2158848 |  1625722 |      615   6834 |        0 |        0
131.97/132.03	c  132s |      22 |  2192324 |  1650722 |      615   6913 |        0 |        0
133.97/134.04	c  134s |      22 |  2226600 |  1676222 |      615   6994 |        0 |        0
135.97/136.04	c  136s |      22 |  2257027 |  1699622 |      615   7069 |        0 |        0
137.97/138.05	c  138s |      22 |  2289376 |  1724122 |      615   7147 |        0 |        0
139.97/140.05	c  140s |      22 |  2321808 |  1748722 |      615   7226 |        0 |        0
141.98/142.06	c  142s |      22 |  2352430 |  1772422 |      615   7301 |        0 |        0
143.97/144.06	c  144s |      22 |  2386000 |  1797322 |      615   7381 |        0 |        0
145.97/146.07	c  146s |      22 |  2419332 |  1822022 |      615   7460 |        0 |        0
147.97/148.07	c  148s |      22 |  2452491 |  1846422 |      615   7538 |        0 |        0
149.97/150.07	c  150s |      22 |  2487750 |  1871622 |      615   7618 |        0 |        0
151.97/152.08	c  152s |      22 |  2519824 |  1896022 |      615   7695 |        0 |        0
153.97/154.09	c  154s |      22 |  2553029 |  1920622 |      615   7773 |        0 |        0
155.97/156.09	c  156s |      22 |  2587688 |  1946122 |      615   7855 |        0 |        0
157.97/158.09	c  158s |      22 |  2622290 |  1971622 |      615   7936 |        0 |        0
159.96/160.10	c  160s |      22 |  2655743 |  1996622 |      615   8016 |        0 |        0
162.06/162.10	c  162s |      22 |  2685916 |  2020322 |      615   8092 |        0 |        0
164.06/164.10	c  164s |      22 |  2718638 |  2044822 |      615   8170 |        0 |        0
166.07/166.11	c  166s |      22 |  2751422 |  2069322 |      615   8248 |        0 |        0
168.06/168.11	c  168s |      22 |  2781151 |  2092822 |      615   8323 |        0 |        0
170.07/170.11	c  170s |      22 |  2814047 |  2117422 |      615   8402 |        0 |        0
172.07/172.12	c  172s |      22 |  2840305 |  2139422 |      615   8472 |        0 |        0
174.07/174.13	c  174s |      22 |  2867944 |  2162222 |      615   8545 |        0 |        0
176.07/176.13	c  176s |      22 |  2897792 |  2185822 |      615   8620 |        0 |        0
178.06/178.14	c  178s |      22 |  2928371 |  2209622 |      615   8696 |        0 |        0
180.06/180.15	c  180s |      22 |  2959464 |  2233522 |      615   8772 |        0 |        0
181.47/181.58	c  181s |      23 |  2981841 |  2251038 |      677   8824 |        0 |        0
183.46/183.58	c  183s |      23 |  3011849 |  2274338 |      677   8891 |        0 |        0
185.46/185.58	c  185s |      23 |  3041977 |  2297538 |      677   8958 |        0 |        0
187.46/187.59	c  187s |      23 |  3075724 |  2322138 |      677   9029 |        0 |        0
189.46/189.59	c  189s |      23 |  3108663 |  2346438 |      677   9099 |        0 |        0
191.56/191.60	c  191s |      23 |  3142567 |  2371538 |      677   9172 |        0 |        0
193.46/193.60	c  193s |      23 |  3172274 |  2394538 |      677   9238 |        0 |        0
195.56/195.61	c  195s |      23 |  3202000 |  2417438 |      677   9305 |        0 |        0
197.56/197.61	c  197s |      23 |  3229540 |  2439438 |      677   9369 |        0 |        0
199.56/199.62	c  199s |      23 |  3261143 |  2463038 |      677   9437 |        0 |        0
201.56/201.62	c  201s |      23 |  3291622 |  2486238 |      677   9503 |        0 |        0
203.57/203.63	c  203s |      23 |  3319308 |  2508338 |      677   9566 |        0 |        0
205.56/205.63	c  205s |      23 |  3348269 |  2530838 |      677   9631 |        0 |        0
207.56/207.64	c  207s |      23 |  3380835 |  2554438 |      677   9699 |        0 |        0
209.56/209.64	c  209s |      23 |  3413316 |  2578438 |      677   9769 |        0 |        0
211.56/211.64	c  211s |      23 |  3445028 |  2601938 |      677   9836 |        0 |        0
213.56/213.65	c  213s |      23 |  3476373 |  2625338 |      677   9904 |        0 |        0
215.56/215.65	c  215s |      23 |  3509533 |  2649538 |      677   9974 |        0 |        0
217.56/217.66	c  217s |      23 |  3539800 |  2672538 |      677  10040 |        0 |        0
219.56/219.67	c  219s |      23 |  3569273 |  2695238 |      677  10106 |        0 |        0
221.56/221.67	c  221s |      23 |  3597014 |  2717038 |      677  10169 |        0 |        0
223.55/223.68	c  223s |      23 |  3628951 |  2740338 |      677  10236 |        0 |        0
225.56/225.68	c  225s |      23 |  3659775 |  2763738 |      677  10304 |        0 |        0
227.55/227.68	c  227s |      23 |  3691405 |  2787538 |      677  10373 |        0 |        0
229.55/229.69	c  229s |      23 |  3724567 |  2811838 |      677  10443 |        0 |        0
231.56/231.70	c  231s |      23 |  3760596 |  2837338 |      677  10517 |        0 |        0
233.56/233.70	c  233s |      23 |  3792326 |  2861638 |      677  10588 |        0 |        0
235.66/235.70	c  235s |      23 |  3823371 |  2885438 |      677  10657 |        0 |        0
237.56/237.70	c  237s |      23 |  3855328 |  2909438 |      677  10727 |        0 |        0
239.66/239.70	c  239s |      23 |  3887568 |  2933838 |      677  10798 |        0 |        0
241.66/241.71	c  241s |      23 |  3919974 |  2957738 |      677  10867 |        0 |        0
243.65/243.72	c  243s |      23 |  3950334 |  2980738 |      677  10934 |        0 |        0
245.65/245.72	c  245s |      23 |  3980881 |  3003638 |      677  11000 |        0 |        0
247.65/247.72	c  247s |      23 |  4012767 |  3026638 |      677  11067 |        0 |        0
249.66/249.72	c  249s |      23 |  4045036 |  3050138 |      677  11135 |        0 |        0
251.66/251.73	c  251s |      23 |  4075109 |  3072838 |      677  11201 |        0 |        0
253.65/253.73	c  253s |      23 |  4106234 |  3096138 |      677  11268 |        0 |        0
255.65/255.74	c  255s |      23 |  4139129 |  3120738 |      677  11340 |        0 |        0
257.65/257.75	c  257s |      23 |  4172897 |  3145138 |      677  11411 |        0 |        0
259.66/259.75	c  259s |      23 |  4208673 |  3170038 |      677  11483 |        0 |        0
261.65/261.75	c  261s |      23 |  4239989 |  3193638 |      677  11552 |        0 |        0
263.65/263.76	c  263s |      23 |  4273694 |  3217638 |      677  11622 |        0 |        0
265.65/265.76	c  265s |      23 |  4301348 |  3239538 |      677  11685 |        0 |        0
267.65/267.76	c  267s |      23 |  4331020 |  3262038 |      677  11750 |        0 |        0
269.65/269.77	c  269s |      23 |  4361791 |  3285438 |      677  11818 |        0 |        0
271.66/271.77	c  271s |      23 |  4394030 |  3309138 |      677  11887 |        0 |        0
273.65/273.77	c  273s |      23 |  4420851 |  3330738 |      677  11949 |        0 |        0
275.65/275.77	c  275s |      23 |  4448652 |  3352538 |      745  12012 |        0 |        0
277.65/277.78	c  277s |      23 |  4473813 |  3372938 |      745  12065 |        0 |        0
278.05/278.12	c  278s |      24 |  4478396 |  3376662 |      745  12075 |        0 |        0
280.05/280.13	c  280s |      24 |  4505429 |  3397962 |      745  12131 |        0 |        0
282.05/282.14	c  282s |      24 |  4531104 |  3418862 |      745  12185 |        0 |        0
284.04/284.14	c  284s |      24 |  4555909 |  3439262 |      745  12238 |        0 |        0
286.05/286.15	c  286s |      24 |  4580830 |  3459662 |      745  12292 |        0 |        0
288.04/288.15	c  288s |      24 |  4608816 |  3481462 |      745  12349 |        0 |        0
290.05/290.15	c  290s |      24 |  4632146 |  3501262 |      745  12400 |        0 |        0
292.05/292.16	c  292s |      24 |  4652936 |  3519062 |      745  12447 |        0 |        0
294.05/294.17	c  294s |      24 |  4679299 |  3539962 |      745  12501 |        0 |        0
296.05/296.17	c  296s |      24 |  4707820 |  3561662 |      745  12558 |        0 |        0
298.05/298.18	c  298s |      24 |  4734491 |  3583262 |      745  12615 |        0 |        0
300.05/300.19	c  300s |      24 |  4762002 |  3603662 |      745  12668 |        0 |        0
302.05/302.19	c  302s |      24 |  4792357 |  3626162 |      745  12727 |        0 |        0
304.15/304.20	c  304s |      24 |  4820276 |  3647762 |      745  12784 |        0 |        0
306.14/306.20	c  306s |      24 |  4847164 |  3668862 |      745  12839 |        0 |        0
308.14/308.21	c  308s |      24 |  4876512 |  3691662 |      745  12900 |        0 |        0
310.14/310.22	c  310s |      24 |  4904608 |  3714062 |      745  12959 |        0 |        0
312.14/312.22	c  312s |      24 |  4932623 |  3736362 |      745  13017 |        0 |        0
314.14/314.22	c  314s |      24 |  4961757 |  3758762 |      745  13076 |        0 |        0
316.14/316.22	c  316s |      24 |  4991719 |  3781462 |      745  13136 |        0 |        0
318.14/318.23	c  318s |      24 |  5020797 |  3803962 |      745  13196 |        0 |        0
320.14/320.24	c  320s |      24 |  5051593 |  3827662 |      745  13258 |        0 |        0
322.14/322.25	c  322s |      24 |  5077120 |  3848862 |      745  13314 |        0 |        0
324.14/324.25	c  324s |      24 |  5105262 |  3870562 |      745  13371 |        0 |        0
326.14/326.25	c  326s |      24 |  5134235 |  3892862 |      745  13430 |        0 |        0
328.14/328.26	c  328s |      24 |  5161563 |  3914762 |      745  13487 |        0 |        0
330.14/330.26	c  330s |      24 |  5184651 |  3934462 |      745  13538 |        0 |        0
332.15/332.27	c  332s |      24 |  5209262 |  3954562 |      745  13591 |        0 |        0
334.14/334.27	c  334s |      24 |  5233749 |  3974662 |      745  13644 |        0 |        0
336.14/336.28	c  336s |      24 |  5261685 |  3996462 |      745  13701 |        0 |        0
338.14/338.29	c  338s |      24 |  5286695 |  4016962 |      745  13756 |        0 |        0
340.14/340.29	c  340s |      24 |  5313011 |  4038562 |      745  13813 |        0 |        0
342.15/342.30	c  342s |      24 |  5340820 |  4060662 |      745  13871 |        0 |        0
344.14/344.30	c  344s |      24 |  5370743 |  4083662 |      745  13931 |        0 |        0
346.24/346.30	c  346s |      24 |  5399859 |  4106462 |      745  13991 |        0 |        0
348.24/348.31	c  348s |      24 |  5430271 |  4129462 |      745  14052 |        0 |        0
350.23/350.32	c  350s |      24 |  5459068 |  4152162 |      745  14111 |        0 |        0
352.23/352.32	c  352s |      24 |  5487858 |  4174362 |      745  14170 |        0 |        0
354.24/354.32	c  354s |      24 |  5517176 |  4196762 |      745  14228 |        0 |        0
356.23/356.33	c  356s |      24 |  5546230 |  4219162 |      745  14287 |        0 |        0
358.23/358.33	c  358s |      24 |  5574189 |  4241662 |      745  14347 |        0 |        0
360.23/360.34	c  360s |      24 |  5600628 |  4263262 |      745  14403 |        0 |        0
362.23/362.34	c  362s |      24 |  5626676 |  4284262 |      745  14457 |        0 |        0
364.24/364.34	c  364s |      24 |  5654333 |  4306062 |      745  14514 |        0 |        0
366.24/366.35	c  366s |      24 |  5680124 |  4326862 |      745  14569 |        0 |        0
368.24/368.36	c  368s |      24 |  5708526 |  4348762 |      745  14626 |        0 |        0
370.24/370.37	c  370s |      24 |  5734693 |  4369462 |      745  14680 |        0 |        0
372.24/372.37	c  372s |      24 |  5760386 |  4390062 |      745  14733 |        0 |        0
374.24/374.38	c  374s |      24 |  5787015 |  4411262 |      745  14789 |        0 |        0
376.24/376.38	c  376s |      24 |  5813332 |  4432062 |      745  14844 |        0 |        0
378.24/378.38	c  378s |      24 |  5839469 |  4453462 |      745  14900 |        0 |        0
380.24/380.39	c  380s |      24 |  5865711 |  4474662 |      745  14956 |        0 |        0
382.33/382.40	c  382s |      24 |  5889903 |  4494762 |      745  15009 |        0 |        0
384.33/384.40	c  384s |      24 |  5916490 |  4515862 |      745  15064 |        0 |        0
386.33/386.41	c  386s |      24 |  5944489 |  4537262 |      745  15121 |        0 |        0
388.34/388.41	c  388s |      24 |  5975009 |  4559462 |      745  15179 |        0 |        0
390.33/390.42	c  390s |      24 |  6001443 |  4580262 |      745  15234 |        0 |        0
392.33/392.42	c  392s |      24 |  6029099 |  4601962 |      745  15291 |        0 |        0
394.33/394.43	c  394s |      24 |  6052931 |  4621762 |      745  15344 |        0 |        0
396.33/396.44	c  396s |      24 |  6075908 |  4641362 |      745  15395 |        0 |        0
398.33/398.45	c  398s |      24 |  6100547 |  4661662 |      745  15449 |        0 |        0
400.33/400.45	c  400s |      24 |  6123408 |  4680962 |      745  15500 |        0 |        0
402.32/402.46	c  402s |      24 |  6148971 |  4701762 |      745  15555 |        0 |        0
404.32/404.46	c  404s |      24 |  6175396 |  4722862 |      745  15610 |        0 |        0
406.33/406.47	c  406s |      24 |  6203291 |  4744662 |      745  15667 |        0 |        0
408.33/408.48	c  408s |      24 |  6228363 |  4765062 |      745  15721 |        0 |        0
410.34/410.49	c  410s |      24 |  6252097 |  4785062 |      745  15774 |        0 |        0
412.33/412.50	c  412s |      24 |  6278176 |  4805762 |      745  15828 |        0 |        0
414.43/414.50	c  414s |      24 |  6303771 |  4826262 |      745  15882 |        0 |        0
416.42/416.51	c  416s |      24 |  6328766 |  4846862 |      745  15936 |        0 |        0
418.42/418.51	c  418s |      24 |  6352427 |  4866762 |      745  15989 |        0 |        0
420.42/420.51	c  420s |      24 |  6375350 |  4885762 |      745  16039 |        0 |        0
422.43/422.52	c  422s |      24 |  6399762 |  4906062 |      745  16092 |        0 |        0
424.42/424.52	c  424s |      24 |  6424926 |  4926562 |      745  16146 |        0 |        0
426.42/426.53	c  426s |      24 |  6452435 |  4948362 |      745  16204 |        0 |        0
428.42/428.53	c  428s |      24 |  6474133 |  4967162 |      745  16253 |        0 |        0
430.42/430.53	c  430s |      24 |  6494093 |  4984962 |      745  16300 |        0 |        0
432.42/432.54	c  432s |      24 |  6517735 |  5004462 |      745  16351 |        0 |        0
434.43/434.54	c  434s |      24 |  6541788 |  5024062 |      745  16403 |        0 |        0
436.43/436.54	c  436s |      24 |  6564677 |  5043462 |      820  16450 |        0 |        0
438.43/438.55	c  438s |      24 |  6591261 |  5063962 |      820  16500 |        0 |        0
438.53/438.67	c  438s |      25 |  6592651 |  5065098 |      820  16502 |        0 |        0
440.52/440.67	c  440s |      25 |  6619342 |  5085998 |      820  16552 |        0 |        0
442.52/442.67	c  442s |      25 |  6644985 |  5106498 |      820  16601 |        0 |        0
444.52/444.67	c  444s |      25 |  6670150 |  5126398 |      820  16649 |        0 |        0
446.53/446.67	c  446s |      25 |  6696071 |  5146498 |      820  16696 |        0 |        0
448.52/448.68	c  448s |      25 |  6718776 |  5165098 |      820  16741 |        0 |        0
450.52/450.68	c  450s |      25 |  6744771 |  5185398 |      820  16789 |        0 |        0
452.52/452.69	c  452s |      25 |  6770142 |  5205398 |      820  16837 |        0 |        0
454.52/454.70	c  454s |      25 |  6796607 |  5226398 |      820  16888 |        0 |        0
456.62/456.70	c  456s |      25 |  6820039 |  5245798 |      820  16934 |        0 |        0
458.52/458.70	c  458s |      25 |  6844743 |  5265998 |      820  16982 |        0 |        0
460.62/460.70	c  460s |      25 |  6870591 |  5286698 |      820  17032 |        0 |        0
462.62/462.71	c  462s |      25 |  6897069 |  5307198 |      820  17081 |        0 |        0
464.62/464.71	c  464s |      25 |  6922050 |  5326998 |      820  17128 |        0 |        0
466.62/466.72	c  466s |      25 |  6947489 |  5346998 |      820  17176 |        0 |        0
468.63/468.73	c  468s |      25 |  6972545 |  5367198 |      820  17225 |        0 |        0
470.62/470.73	c  470s |      25 |  6998700 |  5387498 |      820  17273 |        0 |        0
472.62/472.73	c  472s |      25 |  7024413 |  5407698 |      820  17321 |        0 |        0
474.62/474.74	c  474s |      25 |  7048737 |  5427298 |      820  17368 |        0 |        0
476.62/476.74	c  476s |      25 |  7074592 |  5447898 |      820  17418 |        0 |        0
478.62/478.75	c  478s |      25 |  7101230 |  5468698 |      820  17468 |        0 |        0
480.62/480.76	c  480s |      25 |  7127477 |  5489498 |      820  17518 |        0 |        0
482.62/482.76	c  482s |      25 |  7153684 |  5509998 |      820  17567 |        0 |        0
484.62/484.77	c  484s |      25 |  7182989 |  5531498 |      820  17618 |        0 |        0
486.61/486.77	c  486s |      25 |  7208831 |  5552098 |      820  17668 |        0 |        0
488.61/488.78	c  488s |      25 |  7235247 |  5572798 |      820  17718 |        0 |        0
490.62/490.78	c  490s |      25 |  7259061 |  5592498 |      820  17765 |        0 |        0
492.61/492.78	c  492s |      25 |  7283968 |  5612398 |      820  17812 |        0 |        0
494.61/494.79	c  494s |      25 |  7308255 |  5632298 |      820  17860 |        0 |        0
496.71/496.80	c  496s |      25 |  7332726 |  5651998 |      820  17908 |        0 |        0
498.72/498.80	c  498s |      25 |  7358175 |  5672398 |      820  17956 |        0 |        0
500.72/500.81	c  500s |      25 |  7381823 |  5691698 |      820  18003 |        0 |        0
502.72/502.81	c  502s |      25 |  7406312 |  5711498 |      820  18050 |        0 |        0
504.72/504.82	c  504s |      25 |  7429891 |  5730698 |      820  18096 |        0 |        0
506.72/506.83	c  506s |      25 |  7452160 |  5749498 |      820  18141 |        0 |        0
508.72/508.83	c  508s |      25 |  7477435 |  5769798 |      820  18189 |        0 |        0
510.71/510.83	c  510s |      25 |  7501198 |  5789498 |      820  18236 |        0 |        0
512.71/512.84	c  512s |      25 |  7524728 |  5809198 |      820  18284 |        0 |        0
514.72/514.84	c  514s |      25 |  7548762 |  5829198 |      820  18332 |        0 |        0
516.71/516.85	c  516s |      25 |  7572043 |  5848298 |      820  18378 |        0 |        0
518.71/518.85	c  518s |      25 |  7599860 |  5869698 |      820  18430 |        0 |        0
520.71/520.86	c  520s |      25 |  7622582 |  5889098 |      820  18476 |        0 |        0
522.71/522.87	c  522s |      25 |  7646301 |  5908598 |      820  18523 |        0 |        0
524.71/524.87	c  524s |      25 |  7667572 |  5927098 |      820  18567 |        0 |        0
526.71/526.87	c  526s |      25 |  7693417 |  5947798 |      820  18617 |        0 |        0
528.71/528.88	c  528s |      25 |  7716390 |  5966598 |      820  18662 |        0 |        0
530.71/530.88	c  530s |      25 |  7740545 |  5986298 |      820  18709 |        0 |        0
532.71/532.88	c  532s |      25 |  7763677 |  6005698 |      820  18755 |        0 |        0
534.71/534.89	c  534s |      25 |  7785958 |  6024398 |      820  18800 |        0 |        0
536.71/536.90	c  536s |      25 |  7810001 |  6044198 |      820  18848 |        0 |        0
538.81/538.90	c  538s |      25 |  7836493 |  6064698 |      820  18897 |        0 |        0
540.81/540.91	c  540s |      25 |  7860686 |  6084498 |      820  18944 |        0 |        0
542.81/542.91	c  542s |      25 |  7886537 |  6104598 |      820  18992 |        0 |        0
544.81/544.92	c  544s |      25 |  7910676 |  6124098 |      820  19039 |        0 |        0
546.80/546.92	c  546s |      25 |  7935711 |  6144398 |      820  19087 |        0 |        0
548.81/548.92	c  548s |      25 |  7959705 |  6163898 |      820  19134 |        0 |        0
550.80/550.93	c  550s |      25 |  7985619 |  6184398 |      820  19183 |        0 |        0
552.80/552.93	c  552s |      25 |  8010215 |  6204298 |      820  19231 |        0 |        0
554.80/554.94	c  554s |      25 |  8033451 |  6223298 |      820  19277 |        0 |        0
556.80/556.95	c  556s |      25 |  8057064 |  6242398 |      820  19322 |        0 |        0
558.81/558.95	c  558s |      25 |  8079491 |  6260998 |      820  19367 |        0 |        0
560.80/560.96	c  560s |      25 |  8102236 |  6279898 |      820  19412 |        0 |        0
562.81/562.97	c  562s |      25 |  8127575 |  6299798 |      820  19460 |        0 |        0
564.81/564.98	c  564s |      25 |  8149210 |  6318198 |      820  19504 |        0 |        0
566.81/566.98	c  566s |      25 |  8171683 |  6337098 |      820  19549 |        0 |        0
568.81/568.99	c  568s |      25 |  8194440 |  6356098 |      820  19595 |        0 |        0
570.81/570.99	c  570s |      25 |  8219345 |  6376298 |      820  19643 |        0 |        0
572.90/573.00	c  572s |      25 |  8244718 |  6396898 |      820  19693 |        0 |        0
574.90/575.01	c  574s |      25 |  8274691 |  6419198 |      820  19746 |        0 |        0
576.90/577.02	c  577s |      25 |  8302558 |  6440498 |      820  19798 |        0 |        0
578.90/579.02	c  579s |      25 |  8326678 |  6460298 |      820  19845 |        0 |        0
580.90/581.02	c  581s |      25 |  8353297 |  6480698 |      820  19894 |        0 |        0
582.90/583.03	c  583s |      25 |  8379787 |  6501498 |      820  19944 |        0 |        0
584.90/585.03	c  585s |      25 |  8406752 |  6522598 |      820  19995 |        0 |        0
586.90/587.04	c  587s |      25 |  8432617 |  6543298 |      820  20045 |        0 |        0
588.90/589.04	c  589s |      25 |  8456237 |  6562998 |      820  20092 |        0 |        0
590.90/591.04	c  591s |      25 |  8478250 |  6581898 |      820  20138 |        0 |        0
592.90/593.05	c  593s |      25 |  8500448 |  6600798 |      820  20183 |        0 |        0
594.89/595.05	c  595s |      25 |  8524276 |  6620298 |      820  20230 |        0 |        0
596.90/597.06	c  597s |      25 |  8547557 |  6639398 |      820  20275 |        0 |        0
598.90/599.06	c  599s |      25 |  8572493 |  6659398 |      820  20323 |        0 |        0
600.90/601.07	c  601s |      25 |  8599863 |  6680598 |      820  20374 |        0 |        0
602.90/603.07	c  603s |      25 |  8625647 |  6700998 |      820  20423 |        0 |        0
604.90/605.08	c  605s |      25 |  8654469 |  6722398 |      820  20475 |        0 |        0
606.90/607.08	c  607s |      25 |  8679987 |  6742698 |      820  20524 |        0 |        0
608.90/609.09	c  609s |      25 |  8708228 |  6763798 |      820  20574 |        0 |        0
610.90/611.10	c  611s |      25 |  8735854 |  6784498 |      820  20624 |        0 |        0
612.90/613.10	c  613s |      25 |  8761765 |  6804698 |      820  20672 |        0 |        0
615.00/615.10	c  615s |      25 |  8788430 |  6825198 |      820  20722 |        0 |        0
616.90/617.10	c  617s |      25 |  8813723 |  6845598 |      820  20771 |        0 |        0
618.99/619.10	c  619s |      25 |  8840615 |  6866298 |      820  20821 |        0 |        0
620.99/621.10	c  621s |      25 |  8868688 |  6887398 |      820  20872 |        0 |        0
622.99/623.11	c  623s |      25 |  8892056 |  6906298 |      820  20917 |        0 |        0
624.99/625.12	c  625s |      25 |  8913203 |  6924398 |      820  20961 |        0 |        0
627.00/627.12	c  627s |      25 |  8937244 |  6943698 |      820  21007 |        0 |        0
628.99/629.13	c  629s |      25 |  8965592 |  6964598 |      820  21057 |        0 |        0
630.99/631.13	c  631s |      25 |  8989913 |  6983998 |      820  21104 |        0 |        0
632.99/633.13	c  633s |      25 |  9014753 |  7003898 |      820  21152 |        0 |        0
634.99/635.14	c  635s |      25 |  9038037 |  7022998 |      820  21198 |        0 |        0
637.00/637.15	c  637s |      25 |  9062516 |  7042598 |      820  21245 |        0 |        0
639.00/639.15	c  639s |      25 |  9088910 |  7062698 |      820  21293 |        0 |        0
641.00/641.15	c  641s |      25 |  9114869 |  7082098 |      820  21340 |        0 |        0
643.00/643.16	c  643s |      25 |  9140943 |  7101998 |      820  21388 |        0 |        0
645.00/645.16	c  645s |      25 |  9166683 |  7121998 |      820  21436 |        0 |        0
647.00/647.17	c  647s |      25 |  9191364 |  7141498 |      820  21482 |        0 |        0
649.00/649.18	c  649s |      25 |  9215477 |  7160498 |      820  21528 |        0 |        0
651.00/651.18	c  651s |      25 |  9240172 |  7180198 |      820  21576 |        0 |        0
652.99/653.18	c  653s |      25 |  9264664 |  7199998 |      820  21623 |        0 |        0
654.99/655.19	c  655s |      25 |  9289230 |  7219598 |      820  21671 |        0 |        0
657.09/657.20	c  657s |      25 |  9314307 |  7239498 |      820  21719 |        0 |        0
659.09/659.21	c  659s |      25 |  9338319 |  7258798 |      820  21765 |        0 |        0
661.09/661.21	c  661s |      25 |  9363131 |  7278398 |      820  21812 |        0 |        0
663.09/663.21	c  663s |      25 |  9388314 |  7298298 |      820  21860 |        0 |        0
665.09/665.22	c  665s |      25 |  9413646 |  7318298 |      820  21909 |        0 |        0
667.09/667.22	c  667s |      25 |  9438790 |  7338198 |      820  21957 |        0 |        0
669.09/669.23	c  669s |      25 |  9463207 |  7357798 |      820  22004 |        0 |        0
671.09/671.23	c  671s |      25 |  9485156 |  7376198 |      820  22048 |        0 |        0
673.09/673.24	c  673s |      25 |  9507370 |  7394698 |      820  22093 |        0 |        0
675.08/675.25	c  675s |      25 |  9530411 |  7413598 |      820  22138 |        0 |        0
677.08/677.25	c  677s |      25 |  9553706 |  7433198 |      820  22185 |        0 |        0
679.08/679.25	c  679s |      25 |  9576246 |  7452298 |      820  22231 |        0 |        0
681.08/681.26	c  681s |      25 |  9599814 |  7471898 |      820  22278 |        0 |        0
683.09/683.27	c  683s |      25 |  9623652 |  7491498 |      820  22325 |        0 |        0
685.09/685.27	c  685s |      25 |  9648593 |  7511398 |      820  22372 |        0 |        0
687.09/687.28	c  687s |      25 |  9672217 |  7530898 |      820  22419 |        0 |        0
689.09/689.28	c  689s |      25 |  9698120 |  7551198 |      903  22466 |        0 |        0
691.09/691.28	c  691s |      25 |  9721514 |  7570298 |      903  22508 |        0 |        0
693.09/693.29	c  693s |      25 |  9747424 |  7590198 |      903  22551 |        0 |        0
693.89/694.10	c  694s |      26 |  9756401 |  7597752 |      903  22567 |        0 |        0
695.99/696.10	c  696s |      26 |  9779359 |  7616652 |      903  22608 |        0 |        0
697.99/698.10	c  698s |      26 |  9802340 |  7635052 |      903  22648 |        0 |        0
699.99/700.10	c  700s |      26 |  9828824 |  7655152 |      903  22692 |        0 |        0
701.99/702.10	c  702s |      26 |  9855308 |  7675552 |      903  22736 |        0 |        0
703.99/704.11	c  704s |      26 |  9879996 |  7695352 |      903  22780 |        0 |        0
705.98/706.12	c  706s |      26 |  9902772 |  7714052 |      903  22820 |        0 |        0
707.98/708.12	c  708s |      26 |  9925282 |  7732752 |      903  22861 |        0 |        0
709.98/710.13	c  710s |      26 |  9949515 |  7751952 |      903  22903 |        0 |        0
711.98/712.13	c  712s |      26 |  9976604 |  7772452 |      903  22948 |        0 |        0
713.98/714.13	c  714s |      26 | 10000284 |  7791552 |      903  22989 |        0 |        0
715.99/716.13	c  716s |      26 | 10022591 |  7810052 |      903  23029 |        0 |        0
717.98/718.14	c  718s |      26 | 10046181 |  7829152 |      903  23071 |        0 |        0
719.98/720.14	c  720s |      26 | 10069181 |  7848252 |      903  23113 |        0 |        0
721.98/722.14	c  722s |      26 | 10092115 |  7866952 |      903  23153 |        0 |        0
723.98/724.15	c  724s |      26 | 10116365 |  7886352 |      903  23195 |        0 |        0
725.99/726.16	c  726s |      26 | 10141343 |  7905952 |      903  23238 |        0 |        0
727.98/728.17	c  728s |      26 | 10166569 |  7925852 |      903  23282 |        0 |        0
729.98/730.17	c  730s |      26 | 10190428 |  7945052 |      903  23323 |        0 |        0
731.98/732.18	c  732s |      26 | 10215349 |  7964652 |      903  23366 |        0 |        0
733.98/734.19	c  734s |      26 | 10238342 |  7983252 |      903  23407 |        0 |        0
736.08/736.20	c  736s |      26 | 10260123 |  8001352 |      903  23446 |        0 |        0
737.98/738.20	c  738s |      26 | 10280594 |  8018952 |      903  23484 |        0 |        0
740.07/740.20	c  740s |      26 | 10301308 |  8036652 |      903  23523 |        0 |        0
742.07/742.21	c  742s |      26 | 10326263 |  8056152 |      903  23566 |        0 |        0
744.07/744.22	c  744s |      26 | 10351926 |  8075852 |      903  23609 |        0 |        0
746.07/746.22	c  746s |      26 | 10377170 |  8095352 |      903  23651 |        0 |        0
748.07/748.23	c  748s |      26 | 10401439 |  8114752 |      903  23693 |        0 |        0
750.08/750.24	c  750s |      26 | 10423261 |  8132852 |      903  23733 |        0 |        0
752.07/752.24	c  752s |      26 | 10447505 |  8151852 |      903  23774 |        0 |        0
754.07/754.25	c  754s |      26 | 10466467 |  8168752 |      903  23811 |        0 |        0
756.07/756.25	c  756s |      26 | 10487515 |  8186552 |      903  23850 |        0 |        0
758.07/758.26	c  758s |      26 | 10508094 |  8204152 |      903  23888 |        0 |        0
760.08/760.27	c  760s |      26 | 10528664 |  8221652 |      903  23927 |        0 |        0
762.07/762.27	c  762s |      26 | 10550136 |  8239452 |      903  23966 |        0 |        0
764.07/764.27	c  764s |      26 | 10571856 |  8257652 |      903  24005 |        0 |        0
766.07/766.28	c  766s |      26 | 10597067 |  8277252 |      903  24048 |        0 |        0
768.08/768.28	c  768s |      26 | 10620631 |  8296152 |      903  24089 |        0 |        0
770.07/770.28	c  770s |      26 | 10640461 |  8313052 |      903  24125 |        0 |        0
772.08/772.29	c  772s |      26 | 10660986 |  8330452 |      903  24163 |        0 |        0
774.07/774.29	c  774s |      26 | 10686281 |  8349452 |      903  24205 |        0 |        0
776.17/776.30	c  776s |      26 | 10709297 |  8368352 |      903  24246 |        0 |        0
778.17/778.30	c  778s |      26 | 10730408 |  8386252 |      903  24285 |        0 |        0
780.17/780.31	c  780s |      26 | 10751913 |  8404452 |      903  24325 |        0 |        0
782.17/782.31	c  782s |      26 | 10775376 |  8423352 |      903  24366 |        0 |        0
784.18/784.32	c  784s |      26 | 10800310 |  8443252 |      903  24409 |        0 |        0
786.17/786.33	c  786s |      26 | 10824205 |  8462552 |      903  24451 |        0 |        0
788.17/788.34	c  788s |      26 | 10848432 |  8482152 |      903  24494 |        0 |        0
790.17/790.34	c  790s |      26 | 10875753 |  8503052 |      903  24540 |        0 |        0
792.17/792.36	c  792s |      26 | 10899225 |  8522252 |      903  24581 |        0 |        0
794.18/794.36	c  794s |      26 | 10920982 |  8540452 |      903  24621 |        0 |        0
796.17/796.37	c  796s |      26 | 10943847 |  8559152 |      903  24662 |        0 |        0
798.17/798.37	c  798s |      26 | 10969264 |  8579152 |      903  24706 |        0 |        0
800.17/800.37	c  800s |      26 | 10992077 |  8597752 |      903  24746 |        0 |        0
802.17/802.37	c  802s |      26 | 11014872 |  8616452 |      903  24787 |        0 |        0
804.17/804.38	c  804s |      26 | 11037171 |  8635052 |      903  24827 |        0 |        0
806.17/806.39	c  806s |      26 | 11058007 |  8653152 |      903  24866 |        0 |        0
808.17/808.39	c  808s |      26 | 11077382 |  8670352 |      903  24904 |        0 |        0
810.26/810.40	c  810s |      26 | 11099433 |  8688852 |      903  24944 |        0 |        0
812.26/812.40	c  812s |      26 | 11121047 |  8707152 |      903  24983 |        0 |        0
814.26/814.41	c  814s |      26 | 11144658 |  8726152 |      903  25024 |        0 |        0
816.26/816.42	c  816s |      26 | 11163833 |  8742652 |      903  25060 |        0 |        0
818.27/818.43	c  818s |      26 | 11184656 |  8760352 |      903  25098 |        0 |        0
820.26/820.43	c  820s |      26 | 11206378 |  8778652 |      903  25138 |        0 |        0
822.26/822.44	c  822s |      26 | 11227668 |  8796552 |      903  25176 |        0 |        0
824.26/824.44	c  824s |      26 | 11250233 |  8815152 |      903  25217 |        0 |        0
826.26/826.45	c  826s |      26 | 11272652 |  8833752 |      903  25257 |        0 |        0
828.27/828.46	c  828s |      26 | 11296064 |  8852852 |      903  25299 |        0 |        0
830.26/830.46	c  830s |      26 | 11322758 |  8873952 |      903  25345 |        0 |        0
832.26/832.47	c  832s |      26 | 11346303 |  8893452 |      903  25387 |        0 |        0
834.26/834.48	c  834s |      26 | 11366932 |  8911252 |      903  25425 |        0 |        0
836.26/836.48	c  836s |      26 | 11388705 |  8929252 |      903  25465 |        0 |        0
838.26/838.49	c  838s |      26 | 11412405 |  8948352 |      903  25506 |        0 |        0
840.26/840.50	c  840s |      26 | 11433842 |  8966252 |      903  25545 |        0 |        0
842.37/842.50	c  842s |      26 | 11455908 |  8984552 |      903  25585 |        0 |        0
844.37/844.51	c  844s |      26 | 11476767 |  9002352 |      903  25623 |        0 |        0
846.36/846.52	c  846s |      26 | 11496743 |  9019752 |      903  25661 |        0 |        0
848.36/848.52	c  848s |      26 | 11516968 |  9037152 |      903  25699 |        0 |        0
850.36/850.53	c  850s |      26 | 11537770 |  9054752 |      903  25737 |        0 |        0
852.37/852.53	c  852s |      26 | 11559424 |  9073252 |      903  25777 |        0 |        0
854.36/854.53	c  854s |      26 | 11581296 |  9091652 |      903  25817 |        0 |        0
856.36/856.54	c  856s |      26 | 11601501 |  9109352 |      903  25856 |        0 |        0
858.36/858.56	c  858s |      26 | 11622243 |  9127052 |      903  25895 |        0 |        0
860.36/860.56	c  860s |      26 | 11644237 |  9145452 |      903  25935 |        0 |        0
862.36/862.57	c  862s |      26 | 11665932 |  9163852 |      903  25975 |        0 |        0
864.36/864.57	c  864s |      26 | 11686585 |  9181552 |      903  26014 |        0 |        0
866.36/866.58	c  866s |      26 | 11709919 |  9200952 |      903  26056 |        0 |        0
868.36/868.59	c  868s |      26 | 11734551 |  9220552 |      903  26099 |        0 |        0
870.35/870.59	c  870s |      26 | 11758849 |  9239852 |      903  26141 |        0 |        0
872.35/872.59	c  872s |      26 | 11782432 |  9259252 |      903  26183 |        0 |        0
874.36/874.59	c  874s |      26 | 11809703 |  9280452 |      903  26230 |        0 |        0
876.45/876.60	c  876s |      26 | 11838172 |  9302052 |      903  26277 |        0 |        0
878.45/878.60	c  878s |      26 | 11865432 |  9322852 |      903  26323 |        0 |        0
880.46/880.61	c  880s |      26 | 11892237 |  9343452 |      903  26368 |        0 |        0
882.46/882.62	c  882s |      26 | 11917198 |  9363552 |      903  26411 |        0 |        0
884.46/884.62	c  884s |      26 | 11941641 |  9383152 |      903  26454 |        0 |        0
886.46/886.63	c  886s |      26 | 11965350 |  9402352 |      903  26496 |        0 |        0
888.46/888.64	c  888s |      26 | 11988591 |  9421452 |      903  26538 |        0 |        0
890.45/890.65	c  890s |      26 | 12013402 |  9441352 |      903  26581 |        0 |        0
892.45/892.66	c  892s |      26 | 12036372 |  9460152 |      903  26622 |        0 |        0
894.45/894.66	c  894s |      26 | 12056697 |  9477952 |      903  26661 |        0 |        0
896.46/896.66	c  896s |      26 | 12078709 |  9496152 |      903  26701 |        0 |        0
898.45/898.67	c  898s |      26 | 12102119 |  9515252 |      903  26743 |        0 |        0
900.45/900.68	c  900s |      26 | 12123167 |  9532952 |      903  26782 |        0 |        0
902.45/902.68	c  902s |      26 | 12145139 |  9551352 |      903  26822 |        0 |        0
904.45/904.69	c  904s |      26 | 12166261 |  9569252 |      903  26860 |        0 |        0
906.55/906.70	c  906s |      26 | 12188724 |  9587652 |      903  26900 |        0 |        0
908.45/908.70	c  908s |      26 | 12209824 |  9605252 |      903  26939 |        0 |        0
910.55/910.70	c  910s |      26 | 12232467 |  9623452 |      903  26978 |        0 |        0
912.55/912.71	c  912s |      26 | 12252461 |  9640852 |      903  27016 |        0 |        0
914.55/914.71	c  914s |      26 | 12273927 |  9659252 |      903  27056 |        0 |        0
916.55/916.71	c  916s |      26 | 12296911 |  9677452 |      903  27096 |        0 |        0
918.55/918.72	c  918s |      26 | 12319762 |  9695852 |      903  27135 |        0 |        0
920.55/920.72	c  920s |      26 | 12341616 |  9714052 |      903  27175 |        0 |        0
922.54/922.72	c  922s |      26 | 12363060 |  9731852 |      903  27214 |        0 |        0
924.54/924.74	c  924s |      26 | 12384547 |  9749752 |      903  27253 |        0 |        0
926.54/926.74	c  926s |      26 | 12407190 |  9768152 |      903  27292 |        0 |        0
928.54/928.74	c  928s |      26 | 12429492 |  9786752 |      903  27333 |        0 |        0
930.56/930.75	c  930s |      26 | 12452527 |  9805552 |      903  27374 |        0 |        0
932.55/932.75	c  932s |      26 | 12474502 |  9823752 |      903  27414 |        0 |        0
934.55/934.76	c  934s |      26 | 12496760 |  9842052 |      903  27453 |        0 |        0
936.55/936.76	c  936s |      26 | 12518124 |  9859952 |      903  27493 |        0 |        0
938.55/938.76	c  938s |      26 | 12539599 |  9877952 |      903  27532 |        0 |        0
940.55/940.76	c  940s |      26 | 12562084 |  9896352 |      903  27572 |        0 |        0
942.55/942.76	c  942s |      26 | 12585460 |  9914952 |      903  27612 |        0 |        0
944.54/944.77	c  944s |      26 | 12607006 |  9932852 |      903  27651 |        0 |        0
946.54/946.78	c  946s |      26 | 12629349 |  9950952 |      903  27690 |        0 |        0
948.54/948.78	c  948s |      26 | 12652514 |  9969352 |      903  27730 |        0 |        0
950.55/950.78	c  950s |      26 | 12673073 |  9986652 |      903  27768 |        0 |        0
952.56/952.79	c  952s |      26 | 12693346 | 10004052 |      903  27805 |        0 |        0
954.55/954.80	c  954s |      26 | 12713713 | 10021452 |      903  27843 |        0 |        0
956.65/956.81	c  956s |      26 | 12735499 | 10039452 |      903  27882 |        0 |        0
958.65/958.82	c  958s |      26 | 12756875 | 10057452 |      903  27921 |        0 |        0
960.65/960.82	c  960s |      26 | 12777886 | 10075252 |      903  27960 |        0 |        0
962.64/962.83	c  962s |      26 | 12800060 | 10093752 |      903  28000 |        0 |        0
964.65/964.83	c  964s |      26 | 12822038 | 10112152 |      903  28040 |        0 |        0
966.64/966.84	c  966s |      26 | 12843019 | 10129852 |      903  28078 |        0 |        0
968.64/968.85	c  968s |      26 | 12864036 | 10147552 |      903  28117 |        0 |        0
970.64/970.85	c  970s |      26 | 12884788 | 10164952 |      903  28155 |        0 |        0
972.64/972.86	c  972s |      26 | 12906906 | 10183152 |      903  28194 |        0 |        0
974.64/974.87	c  974s |      26 | 12928723 | 10201252 |      903  28233 |        0 |        0
976.64/976.88	c  976s |      26 | 12951507 | 10220252 |      903  28274 |        0 |        0
978.64/978.88	c  978s |      26 | 12970795 | 10237252 |      903  28311 |        0 |        0
980.64/980.89	c  980s |      26 | 12990888 | 10254852 |      903  28349 |        0 |        0
982.64/982.89	c  982s |      26 | 13012478 | 10273352 |      903  28389 |        0 |        0
984.74/984.90	c  984s |      26 | 13036360 | 10292752 |      903  28431 |        0 |        0
986.74/986.90	c  986s |      26 | 13061114 | 10312752 |      903  28475 |        0 |        0
988.64/988.90	c  988s |      26 | 13084980 | 10331952 |      903  28517 |        0 |        0
990.74/990.91	c  990s |      26 | 13107032 | 10350552 |      903  28558 |        0 |        0
992.74/992.92	c  992s |      26 | 13129177 | 10369152 |      903  28598 |        0 |        0
994.74/994.92	c  994s |      26 | 13150554 | 10387252 |      903  28638 |        0 |        0
996.74/996.93	c  996s |      26 | 13171903 | 10405552 |      903  28678 |        0 |        0
998.75/998.93	c  998s |      26 | 13195603 | 10424752 |      903  28720 |        0 |        0
1000.74/1000.94	c 1000s |      26 | 13217844 | 10443352 |      903  28760 |        0 |        0
1002.74/1002.94	c 1002s |      26 | 13241377 | 10462452 |      903  28802 |        0 |        0
1004.73/1004.95	c 1004s |      26 | 13264341 | 10481452 |      903  28844 |        0 |        0
1006.73/1006.96	c 1006s |      26 | 13288400 | 10500652 |      903  28886 |        0 |        0
1008.74/1008.97	c 1008s |      26 | 13311056 | 10519452 |      903  28927 |        0 |        0
1010.75/1010.97	c 1010s |      26 | 13332697 | 10537552 |      903  28966 |        0 |        0
1012.74/1012.98	c 1012s |      26 | 13357084 | 10557252 |      903  29010 |        0 |        0
1014.74/1014.98	c 1014s |      26 | 13380384 | 10576352 |      903  29051 |        0 |        0
1016.74/1016.99	c 1016s |      26 | 13405454 | 10596152 |      903  29095 |        0 |        0
1018.74/1018.99	c 1018s |      26 | 13431297 | 10616452 |      903  29139 |        0 |        0
1020.74/1021.00	c 1020s |      26 | 13454479 | 10635752 |      903  29181 |        0 |        0
1022.84/1023.00	c 1022s |      26 | 13476954 | 10654452 |      903  29222 |        0 |        0
1024.84/1025.01	c 1024s |      26 | 13501244 | 10674052 |      903  29265 |        0 |        0
1026.83/1027.01	c 1027s |      26 | 13527638 | 10694452 |      903  29310 |        0 |        0
1028.83/1029.02	c 1029s |      26 | 13553044 | 10714552 |      903  29354 |        0 |        0
1030.83/1031.02	c 1031s |      26 | 13578973 | 10734852 |      903  29398 |        0 |        0
1032.84/1033.03	c 1033s |      26 | 13601829 | 10753752 |      903  29440 |        0 |        0
1034.83/1035.03	c 1035s |      26 | 13627574 | 10773752 |      903  29483 |        0 |        0
1036.83/1037.04	c 1037s |      26 | 13654668 | 10793952 |      903  29528 |        0 |        0
1038.83/1039.04	c 1039s |      26 | 13676224 | 10812052 |      903  29567 |        0 |        0
1040.83/1041.05	c 1041s |      26 | 13697168 | 10829952 |      903  29606 |        0 |        0
1042.83/1043.05	c 1043s |      26 | 13720449 | 10849052 |      903  29648 |        0 |        0
1044.84/1045.06	c 1045s |      26 | 13744037 | 10868552 |      903  29690 |        0 |        0
1046.83/1047.06	c 1047s |      26 | 13765712 | 10886652 |      903  29729 |        0 |        0
1048.83/1049.07	c 1049s |      26 | 13785402 | 10903952 |      903  29767 |        0 |        0
1050.83/1051.07	c 1051s |      26 | 13804264 | 10920752 |      903  29803 |        0 |        0
1052.83/1053.08	c 1053s |      26 | 13824242 | 10938052 |      903  29841 |        0 |        0
1054.84/1055.09	c 1055s |      26 | 13845109 | 10955652 |      903  29879 |        0 |        0
1056.83/1057.09	c 1057s |      26 | 13866383 | 10973352 |      903  29918 |        0 |        0
1058.93/1059.10	c 1059s |      26 | 13888952 | 10992052 |      903  29959 |        0 |        0
1060.93/1061.10	c 1061s |      26 | 13912425 | 11011252 |      903  30001 |        0 |        0
1062.93/1063.10	c 1063s |      26 | 13936575 | 11030452 |      903  30043 |        0 |        0
1064.93/1065.11	c 1065s |      26 | 13958902 | 11048552 |      903  30082 |        0 |        0
1066.94/1067.11	c 1067s |      26 | 13981492 | 11067052 |      903  30123 |        0 |        0
1068.93/1069.12	c 1069s |      26 | 14006316 | 11086352 |      903  30165 |        0 |        0
1070.93/1071.13	c 1071s |      26 | 14030024 | 11105452 |      903  30206 |        0 |        0
1072.92/1073.13	c 1073s |      26 | 14051763 | 11123552 |      903  30245 |        0 |        0
1074.92/1075.14	c 1075s |      26 | 14072908 | 11141452 |      903  30284 |        0 |        0
1076.92/1077.14	c 1077s |      26 | 14094732 | 11159752 |      903  30324 |        0 |        0
1078.93/1079.14	c 1079s |      26 | 14120838 | 11179952 |      903  30368 |        0 |        0
1080.93/1081.15	c 1081s |      26 | 14146486 | 11200052 |      903  30412 |        0 |        0
1082.93/1083.16	c 1083s |      26 | 14170661 | 11219852 |      903  30455 |        0 |        0
1084.93/1085.16	c 1085s |      26 | 14192620 | 11238452 |      903  30495 |        0 |        0
1086.93/1087.17	c 1087s |      26 | 14213530 | 11256452 |      903  30534 |        0 |        0
1088.93/1089.17	c 1089s |      26 | 14236659 | 11275252 |      903  30575 |        0 |        0
1090.92/1091.18	c 1091s |      26 | 14259715 | 11294052 |      903  30616 |        0 |        0
1092.92/1093.18	c 1093s |      26 | 14280339 | 11311552 |      903  30654 |        0 |        0
1094.92/1095.18	c 1095s |      26 | 14300291 | 11328552 |      994  30688 |        0 |        0
1096.92/1097.19	c 1097s |      26 | 14321817 | 11346452 |      994  30723 |        0 |        0
1098.92/1099.20	c 1099s |      26 | 14342160 | 11363552 |      994  30757 |        0 |        0
1100.93/1101.20	c 1101s |      26 | 14361965 | 11380352 |      994  30790 |        0 |        0
1102.92/1103.20	c 1103s |      27 | 14381126 | 11396733 |      994  30822 |        0 |        0
1105.02/1105.20	c 1105s |      27 | 14406762 | 11416633 |      994  30862 |        0 |        0
1107.02/1107.21	c 1107s |      27 | 14432254 | 11436233 |      994  30901 |        0 |        0
1109.03/1109.22	c 1109s |      27 | 14456314 | 11455233 |      994  30938 |        0 |        0
1111.03/1111.22	c 1111s |      27 | 14480980 | 11474733 |      994  30977 |        0 |        0
1113.03/1113.22	c 1113s |      27 | 14508154 | 11494833 |      994  31017 |        0 |        0
1115.02/1115.23	c 1115s |      27 | 14535381 | 11515233 |      994  31057 |        0 |        0
1117.02/1117.23	c 1117s |      27 | 14561696 | 11535233 |      994  31097 |        0 |        0
1119.02/1119.24	c 1119s |      27 | 14587071 | 11554733 |      994  31135 |        0 |        0
1121.02/1121.25	c 1121s |      27 | 14612576 | 11574433 |      994  31174 |        0 |        0
1123.03/1123.25	c 1123s |      27 | 14635671 | 11593033 |      994  31211 |        0 |        0
1125.02/1125.26	c 1125s |      27 | 14661316 | 11612433 |      994  31249 |        0 |        0
1127.02/1127.26	c 1127s |      27 | 14684681 | 11631033 |      994  31286 |        0 |        0
1129.02/1129.27	c 1129s |      27 | 14707719 | 11649333 |      994  31322 |        0 |        0
1131.02/1131.28	c 1131s |      27 | 14733552 | 11668933 |      994  31361 |        0 |        0
1133.02/1133.28	c 1133s |      27 | 14758241 | 11688433 |      994  31400 |        0 |        0
1135.02/1135.29	c 1135s |      27 | 14783037 | 11708033 |      994  31439 |        0 |        0
1137.11/1137.30	c 1137s |      27 | 14806614 | 11727133 |      994  31477 |        0 |        0
1139.11/1139.31	c 1139s |      27 | 14832249 | 11747033 |      994  31516 |        0 |        0
1141.11/1141.31	c 1141s |      27 | 14857409 | 11766633 |      994  31555 |        0 |        0
1143.11/1143.31	c 1143s |      27 | 14881879 | 11785933 |      994  31593 |        0 |        0
1145.11/1145.33	c 1145s |      27 | 14904003 | 11804433 |      994  31629 |        0 |        0
1147.12/1147.33	c 1147s |      27 | 14927878 | 11823433 |      994  31667 |        0 |        0
1149.12/1149.34	c 1149s |      27 | 14951262 | 11842433 |      994  31705 |        0 |        0
1151.12/1151.35	c 1151s |      27 | 14974543 | 11861233 |      994  31742 |        0 |        0
1153.12/1153.35	c 1153s |      27 | 14995506 | 11878633 |      994  31777 |        0 |        0
1155.12/1155.36	c 1155s |      27 | 15016994 | 11896633 |      994  31812 |        0 |        0
1157.12/1157.38	c 1157s |      27 | 15040635 | 11915533 |      994  31850 |        0 |        0
1159.12/1159.38	c 1159s |      27 | 15063032 | 11933533 |      994  31885 |        0 |        0
1161.12/1161.39	c 1161s |      27 | 15085333 | 11951533 |      994  31921 |        0 |        0
1163.12/1163.39	c 1163s |      27 | 15107966 | 11969833 |      994  31957 |        0 |        0
1165.22/1165.40	c 1165s |      27 | 15132163 | 11989233 |      994  31996 |        0 |        0
1167.21/1167.40	c 1167s |      27 | 15153001 | 12006433 |      994  32029 |        0 |        0
1169.22/1169.41	c 1169s |      27 | 15174198 | 12023833 |      994  32064 |        0 |        0
1171.21/1171.41	c 1171s |      27 | 15195523 | 12041433 |      994  32099 |        0 |        0
1173.21/1173.42	c 1173s |      27 | 15216848 | 12058833 |      994  32133 |        0 |        0
1175.21/1175.42	c 1175s |      27 | 15239479 | 12077233 |      994  32169 |        0 |        0
1177.21/1177.42	c 1177s |      27 | 15261096 | 12095133 |      994  32205 |        0 |        0
1179.21/1179.43	c 1179s |      27 | 15282705 | 12112933 |      994  32240 |        0 |        0
1181.21/1181.43	c 1181s |      27 | 15305029 | 12131233 |      994  32276 |        0 |        0
1183.21/1183.43	c 1183s |      27 | 15327975 | 12149733 |      994  32313 |        0 |        0
1185.21/1185.44	c 1185s |      27 | 15352041 | 12168433 |      994  32350 |        0 |        0
1187.21/1187.44	c 1187s |      27 | 15373969 | 12186233 |      994  32385 |        0 |        0
1189.21/1189.44	c 1189s |      27 | 15397124 | 12204733 |      994  32422 |        0 |        0
1191.21/1191.45	c 1191s |      27 | 15418423 | 12222333 |      994  32457 |        0 |        0
1193.20/1193.46	c 1193s |      27 | 15439662 | 12239833 |      994  32491 |        0 |        0
1195.20/1195.46	c 1195s |      27 | 15463298 | 12258033 |      994  32527 |        0 |        0
1197.20/1197.46	c 1197s |      27 | 15487499 | 12276933 |      994  32565 |        0 |        0
1199.20/1199.47	c 1199s |      27 | 15513426 | 12296533 |      994  32603 |        0 |        0
1201.20/1201.48	c 1201s |      27 | 15537438 | 12315433 |      994  32641 |        0 |        0
1203.21/1203.48	c 1203s |      27 | 15563346 | 12334733 |      994  32679 |        0 |        0
1205.20/1205.49	c 1205s |      27 | 15587923 | 12353633 |      994  32716 |        0 |        0
1207.30/1207.50	c 1207s |      27 | 15612119 | 12372233 |      994  32753 |        0 |        0
1209.31/1209.50	c 1209s |      27 | 15634739 | 12390433 |      994  32789 |        0 |        0
1211.31/1211.50	c 1211s |      27 | 15656041 | 12407533 |      994  32823 |        0 |        0
1213.31/1213.51	c 1213s |      27 | 15680248 | 12426333 |      994  32860 |        0 |        0
1215.32/1215.51	c 1215s |      27 | 15706146 | 12445933 |      994  32899 |        0 |        0
1217.31/1217.52	c 1217s |      27 | 15729284 | 12464533 |      994  32936 |        0 |        0
1219.31/1219.52	c 1219s |      27 | 15755132 | 12484333 |      994  32975 |        0 |        0
1221.31/1221.53	c 1221s |      27 | 15780299 | 12503833 |      994  33013 |        0 |        0
1223.30/1223.53	c 1223s |      27 | 15801768 | 12521533 |      994  33048 |        0 |        0
1225.31/1225.53	c 1225s |      27 | 15825241 | 12540233 |      994  33085 |        0 |        0
1227.30/1227.53	c 1227s |      27 | 15848613 | 12558633 |      994  33122 |        0 |        0
1229.30/1229.53	c 1229s |      27 | 15870277 | 12576533 |      994  33157 |        0 |        0
1231.30/1231.54	c 1231s |      27 | 15894134 | 12595333 |      994  33194 |        0 |        0
1233.30/1233.54	c 1233s |      27 | 15915588 | 12613233 |      994  33230 |        0 |        0
1235.30/1235.55	c 1235s |      27 | 15938000 | 12631333 |      994  33265 |        0 |        0
1237.31/1237.55	c 1237s |      27 | 15961205 | 12649633 |      994  33302 |        0 |        0
1239.30/1239.55	c 1239s |      27 | 15982188 | 12666733 |      994  33336 |        0 |        0
1241.30/1241.57	c 1241s |      27 | 16005765 | 12685533 |      994  33373 |        0 |        0
1243.30/1243.57	c 1243s |      27 | 16028338 | 12703533 |      994  33408 |        0 |        0
1245.30/1245.57	c 1245s |      27 | 16050146 | 12721033 |      994  33443 |        0 |        0
1247.31/1247.58	c 1247s |      27 | 16072334 | 12738833 |      994  33478 |        0 |        0
1249.30/1249.59	c 1249s |      27 | 16096049 | 12757133 |      994  33514 |        0 |        0
1251.30/1251.59	c 1251s |      27 | 16120951 | 12776333 |      994  33552 |        0 |        0
1253.40/1253.60	c 1253s |      27 | 16146293 | 12795633 |      994  33590 |        0 |        0
1255.40/1255.61	c 1255s |      27 | 16166814 | 12812933 |      994  33625 |        0 |        0
1257.40/1257.61	c 1257s |      27 | 16187973 | 12830733 |      994  33660 |        0 |        0
1259.40/1259.62	c 1259s |      27 | 16210718 | 12849133 |      994  33697 |        0 |        0
1261.39/1261.63	c 1261s |      27 | 16231602 | 12866433 |      994  33731 |        0 |        0
1263.39/1263.63	c 1263s |      27 | 16251768 | 12883533 |      994  33765 |        0 |        0
1265.39/1265.63	c 1265s |      27 | 16274132 | 12902133 |      994  33802 |        0 |        0
1267.39/1267.64	c 1267s |      27 | 16297957 | 12921133 |      994  33840 |        0 |        0
1269.39/1269.65	c 1269s |      27 | 16322033 | 12940133 |      994  33877 |        0 |        0
1271.40/1271.65	c 1271s |      27 | 16343804 | 12958133 |      994  33913 |        0 |        0
1273.39/1273.66	c 1273s |      27 | 16365500 | 12975933 |      994  33949 |        0 |        0
1275.40/1275.67	c 1275s |      27 | 16389433 | 12994633 |      994  33986 |        0 |        0
1277.40/1277.67	c 1277s |      27 | 16415247 | 13013733 |      994  34024 |        0 |        0
1279.40/1279.68	c 1279s |      27 | 16438293 | 13032233 |      994  34060 |        0 |        0
1281.41/1281.68	c 1281s |      27 | 16460820 | 13050333 |      994  34096 |        0 |        0
1283.40/1283.68	c 1283s |      27 | 16484701 | 13068733 |      994  34133 |        0 |        0
1285.40/1285.69	c 1285s |      27 | 16508639 | 13087233 |      994  34169 |        0 |        0
1287.40/1287.69	c 1287s |      27 | 16532564 | 13105933 |      994  34207 |        0 |        0
1289.50/1289.70	c 1289s |      27 | 16557946 | 13125233 |      994  34245 |        0 |        0
1291.49/1291.71	c 1291s |      27 | 16582390 | 13144433 |      994  34283 |        0 |        0
1293.50/1293.72	c 1293s |      27 | 16606173 | 13163733 |      994  34322 |        0 |        0
1295.49/1295.72	c 1295s |      27 | 16630793 | 13182533 |      994  34359 |        0 |        0
1297.49/1297.72	c 1297s |      27 | 16655439 | 13201533 |      994  34397 |        0 |        0
1299.49/1299.73	c 1299s |      27 | 16678770 | 13219933 |      994  34433 |        0 |        0
1301.49/1301.73	c 1301s |      27 | 16701189 | 13237933 |      994  34469 |        0 |        0
1303.49/1303.74	c 1303s |      27 | 16723807 | 13256233 |      994  34505 |        0 |        0
1305.49/1305.74	c 1305s |      27 | 16746852 | 13274533 |      994  34542 |        0 |        0
1307.49/1307.75	c 1307s |      27 | 16772172 | 13293233 |      994  34579 |        0 |        0
1309.49/1309.75	c 1309s |      27 | 16796671 | 13311733 |      994  34616 |        0 |        0
1311.49/1311.76	c 1311s |      27 | 16816454 | 13328433 |      994  34649 |        0 |        0
1313.49/1313.76	c 1313s |      27 | 16837440 | 13345833 |      994  34683 |        0 |        0
1315.49/1315.77	c 1315s |      27 | 16859328 | 13363733 |      994  34719 |        0 |        0
1317.48/1317.78	c 1317s |      27 | 16881987 | 13381833 |      994  34755 |        0 |        0
1319.49/1319.79	c 1319s |      27 | 16904673 | 13399933 |      994  34791 |        0 |        0
1321.59/1321.80	c 1321s |      27 | 16926549 | 13417833 |      994  34827 |        0 |        0
1323.59/1323.80	c 1323s |      27 | 16949880 | 13436133 |      994  34863 |        0 |        0
1325.59/1325.80	c 1325s |      27 | 16973862 | 13454333 |      994  34899 |        0 |        0
1327.60/1327.80	c 1327s |      27 | 16997563 | 13472333 |      994  34934 |        0 |        0
1329.59/1329.81	c 1329s |      27 | 17020184 | 13490033 |      994  34970 |        0 |        0
1331.59/1331.82	c 1331s |      27 | 17043634 | 13508233 |      994  35006 |        0 |        0
1333.59/1333.83	c 1333s |      27 | 17065049 | 13525733 |      994  35040 |        0 |        0
1335.59/1335.83	c 1335s |      27 | 17086407 | 13543133 |      994  35075 |        0 |        0
1337.59/1337.84	c 1337s |      27 | 17107318 | 13560033 |      994  35108 |        0 |        0
1339.59/1339.85	c 1339s |      27 | 17129094 | 13577633 |      994  35143 |        0 |        0
1341.59/1341.86	c 1341s |      27 | 17151982 | 13595533 |      994  35178 |        0 |        0
1343.59/1343.86	c 1343s |      27 | 17174769 | 13613433 |      994  35214 |        0 |        0
1345.58/1345.87	c 1345s |      27 | 17196503 | 13631133 |      994  35249 |        0 |        0
1347.58/1347.89	c 1347s |      27 | 17219793 | 13649433 |      994  35285 |        0 |        0
1349.59/1349.89	c 1349s |      27 | 17239943 | 13666133 |      994  35318 |        0 |        0
1351.58/1351.89	c 1351s |      27 | 17264100 | 13684333 |      994  35355 |        0 |        0
1353.68/1353.90	c 1353s |      27 | 17286355 | 13702333 |      994  35390 |        0 |        0
1355.68/1355.90	c 1355s |      27 | 17308780 | 13720433 |      994  35426 |        0 |        0
1357.68/1357.90	c 1357s |      27 | 17330434 | 13738233 |      994  35462 |        0 |        0
1359.68/1359.91	c 1359s |      27 | 17351345 | 13755333 |      994  35496 |        0 |        0
1361.69/1361.92	c 1361s |      27 | 17370080 | 13771533 |      994  35528 |        0 |        0
1363.68/1363.92	c 1363s |      27 | 17392520 | 13789533 |      994  35563 |        0 |        0
1365.68/1365.93	c 1365s |      27 | 17416092 | 13807833 |      994  35600 |        0 |        0
1367.69/1367.94	c 1367s |      27 | 17438007 | 13825333 |      994  35634 |        0 |        0
1369.69/1369.95	c 1369s |      27 | 17459004 | 13842433 |      994  35668 |        0 |        0
1371.69/1371.95	c 1371s |      27 | 17480033 | 13859633 |      994  35702 |        0 |        0
1373.69/1373.96	c 1373s |      27 | 17499932 | 13876233 |      994  35735 |        0 |        0
1375.68/1375.96	c 1375s |      27 | 17521824 | 13893933 |      994  35770 |        0 |        0
1377.68/1377.97	c 1377s |      27 | 17543635 | 13911733 |      994  35805 |        0 |        0
1379.68/1379.98	c 1379s |      27 | 17564293 | 13929333 |      994  35840 |        0 |        0
1381.68/1381.98	c 1381s |      27 | 17585812 | 13947233 |      994  35876 |        0 |        0
1383.69/1383.99	c 1383s |      27 | 17607844 | 13964933 |      994  35911 |        0 |        0
1385.68/1385.99	c 1385s |      27 | 17630917 | 13983033 |      994  35947 |        0 |        0
1387.78/1388.00	c 1387s |      27 | 17653112 | 14000833 |      994  35982 |        0 |        0
1389.78/1390.00	c 1389s |      27 | 17675335 | 14018533 |      994  36017 |        0 |        0
1391.78/1392.01	c 1391s |      27 | 17697043 | 14036133 |      994  36052 |        0 |        0
1393.78/1394.01	c 1394s |      27 | 17720249 | 14054133 |      994  36088 |        0 |        0
1395.79/1396.02	c 1396s |      27 | 17741904 | 14071633 |      994  36123 |        0 |        0
1397.78/1398.02	c 1398s |      27 | 17762492 | 14088433 |      994  36156 |        0 |        0
1399.78/1400.02	c 1400s |      27 | 17783849 | 14105533 |      994  36190 |        0 |        0
1401.78/1402.03	c 1402s |      27 | 17804870 | 14123133 |      994  36225 |        0 |        0
1403.78/1404.04	c 1404s |      27 | 17825440 | 14140433 |      994  36259 |        0 |        0
1405.78/1406.04	c 1406s |      27 | 17847057 | 14158033 |      994  36294 |        0 |        0
1407.78/1408.05	c 1408s |      27 | 17866543 | 14174433 |      994  36327 |        0 |        0
1409.77/1410.06	c 1410s |      27 | 17885671 | 14190733 |      994  36359 |        0 |        0
1411.77/1412.06	c 1412s |      27 | 17905095 | 14207033 |      994  36392 |        0 |        0
1413.77/1414.07	c 1414s |      27 | 17926297 | 14223833 |      994  36425 |        0 |        0
1415.77/1416.08	c 1416s |      27 | 17949874 | 14242233 |      994  36461 |        0 |        0
1417.78/1418.09	c 1418s |      27 | 17971992 | 14259933 |      994  36496 |        0 |        0
1419.77/1420.10	c 1420s |      27 | 17995808 | 14278333 |      994  36533 |        0 |        0
1421.87/1422.10	c 1422s |      27 | 18017249 | 14295833 |      994  36567 |        0 |        0
1423.87/1424.10	c 1424s |      27 | 18039277 | 14313133 |      994  36602 |        0 |        0
1425.87/1426.11	c 1426s |      27 | 18062075 | 14331233 |      994  36638 |        0 |        0
1427.87/1428.11	c 1428s |      27 | 18085559 | 14350033 |      994  36675 |        0 |        0
1429.87/1430.12	c 1430s |      27 | 18109181 | 14368733 |      994  36712 |        0 |        0
1431.88/1432.13	c 1432s |      27 | 18131560 | 14386633 |      994  36748 |        0 |        0
1433.88/1434.13	c 1434s |      27 | 18157356 | 14406233 |      994  36787 |        0 |        0
1435.88/1436.13	c 1436s |      27 | 18180486 | 14424833 |      994  36823 |        0 |        0
1437.88/1438.14	c 1438s |      27 | 18204844 | 14444333 |      994  36862 |        0 |        0
1439.87/1440.14	c 1440s |      27 | 18230275 | 14464033 |      994  36901 |        0 |        0
1441.88/1442.15	c 1442s |      27 | 18254240 | 14483033 |      994  36938 |        0 |        0
1443.87/1444.16	c 1444s |      27 | 18280305 | 14502933 |      994  36978 |        0 |        0
1445.87/1446.16	c 1446s |      27 | 18305584 | 14522333 |      994  37017 |        0 |        0
1447.87/1448.18	c 1448s |      27 | 18331507 | 14542033 |      994  37056 |        0 |        0
1449.87/1450.18	c 1450s |      27 | 18355483 | 14561133 |      994  37094 |        0 |        0
1451.87/1452.19	c 1452s |      27 | 18379284 | 14579933 |      994  37131 |        0 |        0
1453.87/1454.19	c 1454s |      27 | 18399903 | 14597333 |      994  37165 |        0 |        0
1455.86/1456.20	c 1456s |      27 | 18420021 | 14614233 |      994  37199 |        0 |        0
1457.96/1458.20	c 1458s |      27 | 18442594 | 14632233 |      994  37234 |        0 |        0
1459.97/1460.21	c 1460s |      27 | 18465299 | 14650333 |      994  37270 |        0 |        0
1461.97/1462.22	c 1462s |      27 | 18488857 | 14669033 |      994  37307 |        0 |        0
1463.98/1464.22	c 1464s |      27 | 18512617 | 14687633 |      994  37344 |        0 |        0
1465.97/1466.23	c 1466s |      27 | 18535046 | 14705833 |      994  37380 |        0 |        0
1467.97/1468.23	c 1468s |      27 | 18556469 | 14723733 |      994  37416 |        0 |        0
1469.97/1470.24	c 1470s |      27 | 18578845 | 14741833 |      994  37452 |        0 |        0
1471.97/1472.24	c 1472s |      27 | 18599387 | 14758933 |      994  37486 |        0 |        0
1473.97/1474.25	c 1474s |      27 | 18618870 | 14775733 |      994  37519 |        0 |        0
1475.97/1476.25	c 1476s |      27 | 18640739 | 14793533 |      994  37554 |        0 |        0
1477.96/1478.26	c 1478s |      27 | 18663518 | 14811733 |      994  37590 |        0 |        0
1479.96/1480.26	c 1480s |      27 | 18686590 | 14830433 |      994  37627 |        0 |        0
1481.96/1482.27	c 1482s |      27 | 18711389 | 14849633 |      994  37666 |        0 |        0
1483.96/1484.27	c 1484s |      27 | 18734434 | 14868633 |      994  37704 |        0 |        0
1485.97/1486.28	c 1486s |      27 | 18757737 | 14887733 |      994  37742 |        0 |        0
1487.96/1488.29	c 1488s |      27 | 18781150 | 14906833 |      994  37780 |        0 |        0
1489.96/1490.29	c 1490s |      27 | 18805070 | 14925633 |      994  37817 |        0 |        0
1491.96/1492.29	c 1492s |      27 | 18829027 | 14944633 |      994  37854 |        0 |        0
1494.07/1494.30	c 1494s |      27 | 18851679 | 14962333 |      994  37889 |        0 |        0
1496.07/1496.31	c 1496s |      27 | 18875629 | 14981133 |      994  37927 |        0 |        0
1498.07/1498.32	c 1498s |      27 | 18897162 | 14998633 |      994  37961 |        0 |        0
1500.06/1500.32	c 1500s |      27 | 18920384 | 15017133 |      994  37998 |        0 |        0
1502.06/1502.33	c 1502s |      27 | 18944154 | 15036033 |      994  38035 |        0 |        0
1504.06/1504.33	c 1504s |      27 | 18966772 | 15054433 |      994  38072 |        0 |        0
1506.06/1506.34	c 1506s |      27 | 18989306 | 15072633 |      994  38108 |        0 |        0
1508.06/1508.34	c 1508s |      27 | 19013804 | 15091333 |      994  38145 |        0 |        0
1510.07/1510.34	c 1510s |      27 | 19036485 | 15109533 |      994  38181 |        0 |        0
1512.06/1512.35	c 1512s |      27 | 19059416 | 15127733 |      994  38217 |        0 |        0
1514.06/1514.35	c 1514s |      27 | 19082903 | 15146233 |      994  38254 |        0 |        0
1516.06/1516.36	c 1516s |      27 | 19107344 | 15164933 |      994  38291 |        0 |        0
1518.06/1518.37	c 1518s |      27 | 19133148 | 15184633 |      994  38330 |        0 |        0
1520.06/1520.38	c 1520s |      27 | 19157566 | 15204133 |      994  38369 |        0 |        0
1522.06/1522.38	c 1522s |      27 | 19183298 | 15224133 |      994  38409 |        0 |        0
1524.06/1524.38	c 1524s |      27 | 19206106 | 15242433 |      994  38445 |        0 |        0
1526.06/1526.39	c 1526s |      27 | 19227664 | 15260133 |      994  38480 |        0 |        0
1528.15/1528.40	c 1528s |      27 | 19250965 | 15278633 |      994  38517 |        0 |        0
1530.15/1530.40	c 1530s |      27 | 19273873 | 15297233 |      994  38554 |        0 |        0
1532.16/1532.41	c 1532s |      27 | 19298268 | 15316333 |      994  38592 |        0 |        0
1534.15/1534.42	c 1534s |      27 | 19320170 | 15333933 |      994  38627 |        0 |        0
1536.15/1536.42	c 1536s |      27 | 19342170 | 15352033 |      994  38663 |        0 |        0
1538.16/1538.43	c 1538s |      27 | 19365463 | 15370833 |      994  38700 |        0 |        0
1540.16/1540.44	c 1540s |      27 | 19389421 | 15389733 |      994  38738 |        0 |        0
1542.16/1542.44	c 1542s |      27 | 19413580 | 15408633 |      994  38775 |        0 |        0
1544.16/1544.44	c 1544s |      27 | 19434987 | 15426433 |      994  38811 |        0 |        0
1546.16/1546.45	c 1546s |      27 | 19456242 | 15444233 |      994  38846 |        0 |        0
1548.15/1548.45	c 1548s |      27 | 19477491 | 15461633 |      994  38881 |        0 |        0
1550.15/1550.46	c 1550s |      27 | 19498665 | 15479333 |      994  38916 |        0 |        0
1552.15/1552.47	c 1552s |      27 | 19520275 | 15497433 |      994  38952 |        0 |        0
1554.16/1554.48	c 1554s |      27 | 19541149 | 15514733 |      994  38986 |        0 |        0
1556.15/1556.49	c 1556s |      27 | 19565767 | 15533533 |      994  39024 |        0 |        0
1558.15/1558.49	c 1558s |      27 | 19590141 | 15552033 |      994  39060 |        0 |        0
1560.25/1560.50	c 1560s |      27 | 19614340 | 15570933 |      994  39098 |        0 |        0
1562.25/1562.51	c 1562s |      27 | 19640456 | 15590233 |      994  39136 |        0 |        0
1564.25/1564.52	c 1564s |      27 | 19663268 | 15608433 |      994  39172 |        0 |        0
1566.26/1566.52	c 1566s |      27 | 19687344 | 15627533 |      994  39210 |        0 |        0
1568.25/1568.53	c 1568s |      27 | 19710685 | 15645733 |      994  39246 |        0 |        0
1570.25/1570.55	c 1570s |      27 | 19732720 | 15663733 |      994  39282 |        0 |        0
1572.25/1572.55	c 1572s |      27 | 19753620 | 15681233 |      994  39317 |        0 |        0
1574.25/1574.55	c 1574s |      27 | 19776208 | 15699233 |      994  39353 |        0 |        0
1576.25/1576.56	c 1576s |      27 | 19800180 | 15717833 |      994  39390 |        0 |        0
1578.26/1578.57	c 1578s |      27 | 19825320 | 15737033 |      994  39428 |        0 |        0
1580.25/1580.57	c 1580s |      27 | 19848674 | 15755633 |      994  39464 |        0 |        0
1582.25/1582.57	c 1582s |      27 | 19872381 | 15774433 |      994  39502 |        0 |        0
1584.25/1584.58	c 1584s |      27 | 19895779 | 15793033 |      994  39539 |        0 |        0
1586.25/1586.59	c 1586s |      27 | 19920197 | 15812033 |      994  39576 |        0 |        0
1588.34/1588.60	c 1588s |      27 | 19945387 | 15831533 |      994  39615 |        0 |        0
1590.24/1590.60	c 1590s |      27 | 19967795 | 15850133 |      994  39652 |        0 |        0
1592.34/1592.61	c 1592s |      27 | 19991827 | 15869133 |      994  39690 |        0 |        0
1594.34/1594.62	c 1594s |      27 | 20015424 | 15887833 |      994  39727 |        0 |        0
1596.34/1596.62	c 1596s |      27 | 20038512 | 15906133 |      994  39763 |        0 |        0
1598.34/1598.63	c 1598s |      27 | 20060750 | 15924033 |      994  39799 |        0 |        0
1600.34/1600.63	c 1600s |      27 | 20083759 | 15942133 |      994  39834 |        0 |        0
1602.33/1602.64	c 1602s |      27 | 20107049 | 15960533 |      994  39871 |        0 |        0
1604.33/1604.64	c 1604s |      27 | 20130727 | 15979233 |      994  39908 |        0 |        0
1606.33/1606.64	c 1606s |      27 | 20153519 | 15997533 |      994  39944 |        0 |        0
1608.32/1608.65	c 1608s |      27 | 20175959 | 16015333 |      994  39980 |        0 |        0
1610.32/1610.65	c 1610s |      27 | 20197231 | 16032833 |      994  40014 |        0 |        0
1612.33/1612.66	c 1612s |      27 | 20217967 | 16050033 |      994  40048 |        0 |        0
1614.33/1614.67	c 1614s |      27 | 20242601 | 16068733 |      994  40085 |        0 |        0
1616.33/1616.67	c 1616s |      27 | 20267572 | 16086933 |      994  40121 |        0 |        0
1618.33/1618.68	c 1618s |      27 | 20291230 | 16104933 |      994  40157 |        0 |        0
1620.33/1620.68	c 1620s |      27 | 20314341 | 16123033 |      994  40193 |        0 |        0
1622.33/1622.69	c 1622s |      27 | 20337617 | 16141433 |      994  40230 |        0 |        0
1624.32/1624.69	c 1624s |      27 | 20361357 | 16160333 |      994  40267 |        0 |        0
1626.32/1626.69	c 1626s |      27 | 20384571 | 16178733 |      994  40304 |        0 |        0
1628.42/1628.70	c 1628s |      27 | 20405611 | 16196133 |      994  40338 |        0 |        0
1630.42/1630.70	c 1630s |      27 | 20427313 | 16213833 |      994  40373 |        0 |        0
1632.42/1632.71	c 1632s |      27 | 20450352 | 16231933 |      994  40409 |        0 |        0
1634.43/1634.72	c 1634s |      27 | 20474362 | 16250433 |      994  40446 |        0 |        0
1636.42/1636.73	c 1636s |      27 | 20497892 | 16269233 |      994  40483 |        0 |        0
1638.42/1638.73	c 1638s |      27 | 20519708 | 16287333 |      994  40519 |        0 |        0
1640.42/1640.74	c 1640s |      27 | 20542669 | 16306033 |      994  40556 |        0 |        0
1642.42/1642.74	c 1642s |      27 | 20566411 | 16324533 |      994  40593 |        0 |        0
1644.42/1644.75	c 1644s |      27 | 20590546 | 16342833 |      994  40629 |        0 |        0
1646.42/1646.76	c 1646s |      27 | 20614880 | 16361533 |      994  40667 |        0 |        0
1648.41/1648.77	c 1648s |      27 | 20638567 | 16380133 |      994  40704 |        0 |        0
1650.41/1650.77	c 1650s |      27 | 20661104 | 16398533 |      994  40740 |        0 |        0
1652.41/1652.77	c 1652s |      27 | 20685583 | 16417933 |      994  40779 |        0 |        0
1654.41/1654.78	c 1654s |      27 | 20710526 | 16437233 |      994  40817 |        0 |        0
1656.41/1656.78	c 1656s |      27 | 20734138 | 16456133 |      994  40855 |        0 |        0
1658.41/1658.79	c 1658s |      27 | 20756924 | 16474133 |      994  40891 |        0 |        0
1660.40/1660.79	c 1660s |      27 | 20779292 | 16492633 |      994  40927 |        0 |        0
1662.50/1662.80	c 1662s |      27 | 20798223 | 16509233 |      994  40960 |        0 |        0
1664.50/1664.80	c 1664s |      27 | 20818800 | 16526433 |      994  40994 |        0 |        0
1666.51/1666.81	c 1666s |      27 | 20843040 | 16545533 |      994  41032 |        0 |        0
1668.51/1668.81	c 1668s |      27 | 20866793 | 16564633 |      994  41070 |        0 |        0
1670.51/1670.81	c 1670s |      27 | 20892383 | 16584333 |      994  41109 |        0 |        0
1672.50/1672.81	c 1672s |      27 | 20915461 | 16603133 |      994  41147 |        0 |        0
1674.50/1674.82	c 1674s |      27 | 20936601 | 16620533 |      994  41182 |        0 |        0
1676.50/1676.83	c 1676s |      27 | 20958048 | 16638233 |      994  41217 |        0 |        0
1678.49/1678.84	c 1678s |      27 | 20979188 | 16656033 |      994  41252 |        0 |        0
1680.50/1680.85	c 1680s |      27 | 21001431 | 16674033 |      994  41288 |        0 |        0
1682.49/1682.85	c 1682s |      27 | 21021937 | 16691433 |      994  41323 |        0 |        0
1684.49/1684.86	c 1684s |      27 | 21041812 | 16708533 |      994  41357 |        0 |        0
1686.49/1686.86	c 1686s |      27 | 21061612 | 16725533 |      994  41390 |        0 |        0
1688.49/1688.86	c 1688s |      27 | 21082644 | 16742633 |      994  41424 |        0 |        0
1690.49/1690.87	c 1690s |      27 | 21104184 | 16760033 |      994  41459 |        0 |        0
1692.48/1692.87	c 1692s |      27 | 21122882 | 16776233 |      994  41491 |        0 |        0
1694.48/1694.88	c 1694s |      27 | 21142464 | 16793233 |      994  41525 |        0 |        0
1696.48/1696.88	c 1696s |      27 | 21160612 | 16809033 |      994  41556 |        0 |        0
1698.48/1698.88	c 1698s |      27 | 21181748 | 16826433 |      994  41591 |        0 |        0
1700.58/1700.90	c 1700s |      27 | 21202735 | 16843933 |      994  41626 |        0 |        0
1702.58/1702.91	c 1702s |      27 | 21222625 | 16861033 |      994  41659 |        0 |        0
1704.58/1704.91	c 1704s |      27 | 21243331 | 16878133 |      994  41694 |        0 |        0
1706.58/1706.91	c 1706s |      27 | 21265107 | 16895833 |      994  41729 |        0 |        0
1708.58/1708.93	c 1708s |      27 | 21285415 | 16912633 |      994  41762 |        0 |        0
1710.58/1710.94	c 1710s |      27 | 21307757 | 16930433 |      994  41798 |        0 |        0
1712.58/1712.95	c 1712s |      27 | 21330355 | 16948733 |      994  41834 |        0 |        0
1714.58/1714.95	c 1714s |      27 | 21355155 | 16967633 |      994  41872 |        0 |        0
1716.57/1716.96	c 1716s |      27 | 21377082 | 16985433 |     1094  41905 |        0 |        0
1718.57/1718.96	c 1718s |      27 | 21401486 | 17004633 |     1094  41939 |        0 |        0
1720.57/1720.96	c 1720s |      27 | 21426123 | 17023933 |     1094  41974 |        0 |        0
1722.57/1722.96	c 1722s |      27 | 21451922 | 17043533 |     1094  42010 |        0 |        0
1724.57/1724.96	c 1724s |      27 | 21473676 | 17061433 |     1094  42042 |        0 |        0
1726.57/1726.97	c 1726s |      27 | 21499038 | 17081033 |     1094  42078 |        0 |        0
1728.06/1728.43	c 1728s |      28 | 21517062 | 17095205 |     1094  42104 |        0 |        0
1730.07/1730.45	c 1730s |      28 | 21540337 | 17114005 |     1094  42138 |        0 |        0
1732.06/1732.45	c 1732s |      28 | 21562768 | 17132505 |     1094  42171 |        0 |        0
1734.07/1734.45	c 1734s |      28 | 21586339 | 17151805 |     1094  42205 |        0 |        0
1736.06/1736.46	c 1736s |      28 | 21610755 | 17171405 |     1094  42241 |        0 |        0
1738.06/1738.46	c 1738s |      28 | 21634588 | 17190505 |     1094  42275 |        0 |        0
1740.06/1740.47	c 1740s |      28 | 21657695 | 17209405 |     1094  42309 |        0 |        0
1742.07/1742.47	c 1742s |      28 | 21680880 | 17228305 |     1094  42343 |        0 |        0
1744.06/1744.48	c 1744s |      28 | 21701847 | 17245605 |     1094  42374 |        0 |        0
1746.06/1746.48	c 1746s |      28 | 21723889 | 17263705 |     1094  42407 |        0 |        0
1748.05/1748.48	c 1748s |      28 | 21746410 | 17282005 |     1094  42440 |        0 |        0
1750.05/1750.49	c 1750s |      28 | 21770741 | 17300905 |     1094  42474 |        0 |        0
1752.06/1752.49	c 1752s |      28 | 21795131 | 17319705 |     1094  42508 |        0 |        0
1754.05/1754.49	c 1754s |      28 | 21816557 | 17337305 |     1094  42540 |        0 |        0
1756.05/1756.49	c 1756s |      28 | 21840926 | 17356105 |     1094  42573 |        0 |        0
1758.15/1758.50	c 1758s |      28 | 21861867 | 17373405 |     1094  42604 |        0 |        0
1760.15/1760.50	c 1760s |      28 | 21882871 | 17390705 |     1094  42635 |        0 |        0
1762.15/1762.51	c 1762s |      28 | 21905658 | 17408705 |     1094  42668 |        0 |        0
1764.16/1764.52	c 1764s |      28 | 21930793 | 17427505 |     1094  42702 |        0 |        0
1766.15/1766.52	c 1766s |      28 | 21952959 | 17445205 |     1094  42734 |        0 |        0
1768.14/1768.52	c 1768s |      28 | 21975991 | 17463405 |     1094  42766 |        0 |        0
1770.14/1770.53	c 1770s |      28 | 21997753 | 17481305 |     1094  42798 |        0 |        0
1772.14/1772.54	c 1772s |      28 | 22022461 | 17500705 |     1094  42833 |        0 |        0
1774.14/1774.54	c 1774s |      28 | 22047263 | 17519805 |     1094  42867 |        0 |        0
1776.14/1776.55	c 1776s |      28 | 22071027 | 17538505 |     1094  42901 |        0 |        0
1778.13/1778.55	c 1778s |      28 | 22092999 | 17556505 |     1094  42933 |        0 |        0
1780.13/1780.55	c 1780s |      28 | 22114331 | 17574105 |     1094  42965 |        0 |        0
1782.13/1782.55	c 1782s |      28 | 22135594 | 17591605 |     1094  42996 |        0 |        0
1784.13/1784.56	c 1784s |      28 | 22156007 | 17609005 |     1094  43028 |        0 |        0
1786.14/1786.57	c 1786s |      28 | 22179738 | 17627405 |     1094  43061 |        0 |        0
1788.13/1788.57	c 1788s |      28 | 22204650 | 17646405 |     1094  43095 |        0 |        0
1790.13/1790.58	c 1790s |      28 | 22232805 | 17666805 |     1094  43132 |        0 |        0
1792.13/1792.58	c 1792s |      28 | 22258135 | 17686505 |     1094  43167 |        0 |        0
1794.13/1794.58	c 1794s |      28 | 22283786 | 17706005 |     1094  43202 |        0 |        0
1796.13/1796.58	c 1796s |      28 | 22305442 | 17724005 |     1094  43235 |        0 |        0
1798.13/1798.59	c 1798s |      28 | 22329915 | 17742905 |     1094  43269 |        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-4122602-1467316996/watcher-4122602-1467316996 -o /tmp/evaluation-result-4122602-1467316996/solver-4122602-1467316996 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467316924-3975 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122602-1467316996.opb 

pid=4152
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: 1.97 1.55 1.74 3/179 4155
/proc/meminfo: memFree=28923236/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=547260 CPUtime=0 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 2012 0 0 0 0 0 0 0 20 0 4 0 21728228 560394240 1862 33554432000 4194304 16246674 140733280428240 140733280427664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 137583 1872 441 2943 0 134477 0
[pid=4155/tid=4156] ppid=4152 vsize=580028 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 593948672 1990 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=585148 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 599191552 2010 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=590268 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 21728228 604434432 2029 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 1.97 1.55 1.74 3/179 4155
/proc/meminfo: memFree=28923236/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 24400 0 0 0 5 4 0 0 20 0 4 0 21728228 1247350784 24239 33554432000 4194304 16246674 140733280428240 140733280427664 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 304529 24246 707 2943 0 301423 0
[pid=4155/tid=4156] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 24250 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 24256 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 24262 33554432000 4194304 16246674 140733280428240 140077620513968 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.200517 s]
/proc/loadavg: 1.97 1.55 1.74 3/179 4155
/proc/meminfo: memFree=28923236/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 46341 0 0 0 11 8 0 0 20 0 4 0 21728228 1247350784 46181 33554432000 4194304 16246674 140733280428240 140733280427664 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 304529 46190 707 2943 0 301423 0
[pid=4155/tid=4156] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 46196 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 46201 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 46207 33554432000 4194304 16246674 140733280428240 140077620513968 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.300474 s]
/proc/loadavg: 1.97 1.55 1.74 3/179 4155
/proc/meminfo: memFree=28923236/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 68693 0 0 0 18 11 0 0 20 0 4 0 21728228 1247350784 68532 33554432000 4194304 16246674 140733280428240 140733280427664 13954518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 304529 68544 708 2943 0 301423 0
[pid=4155/tid=4156] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 68549 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 68556 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 68562 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700363 s]
/proc/loadavg: 1.97 1.55 1.74 3/179 4155
/proc/meminfo: memFree=28923236/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 159124 0 0 0 45 23 0 0 20 0 4 0 21728228 1247350784 158964 33554432000 4194304 16246674 140733280428240 140733280411240 5708022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 304529 158975 708 2943 0 301423 0
[pid=4155/tid=4156] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 158984 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 158989 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 158997 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50046 s]
/proc/loadavg: 1.97 1.55 1.74 3/183 4159
/proc/meminfo: memFree=27943564/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 245487 0 0 0 115 34 0 0 20 0 4 0 21728228 1247350784 245306 33554432000 4194304 16246674 140733280428240 140733280411240 5667946 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 304529 245306 785 2943 0 301423 0
[pid=4155/tid=4156] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 245306 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 245306 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1247350784 245306 33554432000 4194304 16246674 140733280428240 140077620513968 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) 1218116

[startup+3.10039 s]
/proc/loadavg: 1.97 1.55 1.74 3/183 4159
/proc/meminfo: memFree=27855524/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267379 0 0 0 272 37 0 0 20 0 4 0 21728228 1337528320 267198 33554432000 4194304 16246674 140733280428240 140733280411240 5860816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326545 267198 785 2943 0 323439 0
[pid=4155/tid=4156] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267198 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267198 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267198 33554432000 4194304 16246674 140733280428240 140077620513968 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.30051 s]
/proc/loadavg: 1.97 1.55 1.74 3/183 4159
/proc/meminfo: memFree=27854664/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267408 0 0 0 591 38 0 0 20 0 4 0 21728228 1337528320 267227 33554432000 4194304 16246674 140733280428240 140733280411240 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326545 267227 785 2943 0 323439 0
[pid=4155/tid=4156] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267227 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267227 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267227 33554432000 4194304 16246674 140733280428240 140077620513968 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: 1.97 1.57 1.74 3/183 4159
/proc/meminfo: memFree=27854080/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267418 0 0 0 1231 38 0 0 20 0 4 0 21728228 1337528320 267237 33554432000 4194304 16246674 140733280428240 140733280411240 5754966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326545 267237 785 2943 0 323439 0
[pid=4155/tid=4156] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267237 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267237 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267237 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.05 1.60 1.75 3/183 4159
/proc/meminfo: memFree=27854592/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267421 0 0 0 2511 38 0 0 20 0 4 0 21728228 1337528320 267240 33554432000 4194304 16246674 140733280428240 140733280411240 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326545 267240 786 2943 0 323439 0
[pid=4155/tid=4156] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267240 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267240 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267240 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.17 1.66 1.77 3/183 4159
/proc/meminfo: memFree=27854844/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267423 0 0 0 5069 39 0 0 20 0 4 0 21728228 1337528320 267242 33554432000 4194304 16246674 140733280428240 140733280411240 5519832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326545 267242 786 2943 0 323439 0
[pid=4155/tid=4156] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267242 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267242 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267242 33554432000 4194304 16246674 140733280428240 140077620513968 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) 1306180

[startup+102.301 s]
/proc/loadavg: 2.15 1.75 1.79 3/183 4161
/proc/meminfo: memFree=27854604/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1306180 CPUtime=102.29 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267425 0 0 0 10187 42 0 0 20 0 4 0 21728228 1337528320 267244 33554432000 4194304 16246674 140733280428240 140733280411240 5822687 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326545 267244 786 2943 0 323439 0
[pid=4155/tid=4156] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267244 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267244 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1337528320 267244 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1306180


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

/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267494 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.53 2.36 2.15 3/183 4191
/proc/meminfo: memFree=27848604/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1307204 CPUtime=1302.09 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267770 0 0 0 130134 75 0 0 20 0 4 0 21728228 1338576896 267589 33554432000 4194304 16246674 140733280428240 140733280410112 5523416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326801 267589 787 2943 0 323695 0
[pid=4155/tid=4156] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267589 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267589 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267589 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.48 2.37 2.17 3/183 4192
/proc/meminfo: memFree=27848136/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1307204 CPUtime=1362.08 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267818 0 0 0 136132 76 0 0 20 0 4 0 21728228 1338576896 267637 33554432000 4194304 16246674 140733280428240 140733280411240 12483212 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326801 267637 787 2943 0 323695 0
[pid=4155/tid=4156] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267637 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267637 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267637 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.39 2.36 2.18 3/183 4193
/proc/meminfo: memFree=27848660/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1307204 CPUtime=1422.08 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267826 0 0 0 142131 77 0 0 20 0 4 0 21728228 1338576896 267645 33554432000 4194304 16246674 140733280428240 140733280411240 5721248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326801 267645 787 2943 0 323695 0
[pid=4155/tid=4156] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267645 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267645 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267645 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.32 2.34 2.18 3/183 4194
/proc/meminfo: memFree=27848688/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1307204 CPUtime=1482.06 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267826 0 0 0 148127 79 0 0 20 0 4 0 21728228 1338576896 267645 33554432000 4194304 16246674 140733280428240 140733280411240 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326801 267645 787 2943 0 323695 0
[pid=4155/tid=4156] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267645 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267645 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267645 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.40 2.35 2.19 3/183 4195
/proc/meminfo: memFree=27848352/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1307204 CPUtime=1542.07 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267826 0 0 0 154126 81 0 0 20 0 4 0 21728228 1338576896 267645 33554432000 4194304 16246674 140733280428240 140733280411240 6015997 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326801 267645 787 2943 0 323695 0
[pid=4155/tid=4156] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267645 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267645 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267645 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.07
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.49 2.38 2.21 4/183 4197
/proc/meminfo: memFree=27846416/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1307204 CPUtime=1602.03 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267844 0 0 0 160121 82 0 0 20 0 4 0 21728228 1338576896 267901 33554432000 4194304 16246674 140733280428240 140733280411240 13808416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326801 267901 787 2943 0 323695 0
[pid=4155/tid=4156] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267901 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267901 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267901 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.36 2.35 2.21 3/184 4201
/proc/meminfo: memFree=27847164/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1307204 CPUtime=1662 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267880 0 0 0 166116 84 0 0 20 0 4 0 21728228 1338576896 267901 33554432000 4194304 16246674 140733280428240 140733280411240 5545872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326801 267901 787 2943 0 323695 0
[pid=4155/tid=4156] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267901 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267901 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267901 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.32 2.34 2.21 3/183 4202
/proc/meminfo: memFree=27846972/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1307204 CPUtime=1721.97 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267923 0 0 0 172111 86 0 0 20 0 4 0 21728228 1338576896 267901 33554432000 4194304 16246674 140733280428240 140733280411240 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326801 267901 787 2943 0 323695 0
[pid=4155/tid=4156] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267901 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267901 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267901 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 1.61 2.13 2.14 2/173 4233
/proc/meminfo: memFree=28937520/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1307204 CPUtime=1781.93 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267966 0 0 0 178106 87 0 0 20 0 4 0 21728228 1338576896 267902 33554432000 4194304 16246674 140733280428240 140733280411240 5673345 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326801 267902 788 2943 0 323695 0
[pid=4155/tid=4156] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267902 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267902 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267902 33554432000 4194304 16246674 140733280428240 140077620513968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.48 2.08 2.12 2/173 4234
/proc/meminfo: memFree=28937860/32872528 swapFree=1394584/1580588
[pid=4155] ppid=4152 vsize=1307204 CPUtime=1800.02 cores=1,3,5,7
/proc/4155/stat : 4155 (toysat) R 4152 4155 31393 0 -1 4202496 267978 0 0 0 179914 88 0 0 20 0 4 0 21728228 1338576896 267902 33554432000 4194304 16246674 140733280428240 140733280411240 13192518 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4155/statm: 326801 267902 788 2943 0 323695 0
[pid=4155/tid=4156] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4156/stat : 4156 (toysat) S 4152 4155 31393 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267902 33554432000 4194304 16246674 140733280428240 140077641477360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=4155/tid=4157] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4157/stat : 4157 (toysat) S 4152 4155 31393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267902 33554432000 4194304 16246674 140733280428240 140077630987504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=4155/tid=4158] ppid=4152 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/4155/task/4158/stat : 4158 (toysat) S 4152 4155 31393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 21728228 1338576896 267902 33554432000 4194304 16246674 140733280428240 140077620513968 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) 1307204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.45
CPU time (s): 1800.08
CPU user time (s): 1799.15
CPU system time (s): 0.929858
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.15
system time used= 0.929858
maximum resident set size= 1071608
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267978
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= 166
involuntary context switches= 1987

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.27389 second user time and 16.8334 second system time

The end

Begin job on node139 at 2016-06-30 22:03:16
IDJOB=4122602
IDBENCH=111201
IDSOLVER=2542
FILE ID=node139/4122602-1467316996
RUNJOBID= node139-1467316924-3975
PBS_JOBID= 20005284
Free space on /tmp= 71696 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n27-d4-i3.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122602-1467316996/watcher-4122602-1467316996 -o /tmp/evaluation-result-4122602-1467316996/solver-4122602-1467316996 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467316924-3975 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122602-1467316996.opb

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

MD5SUM BENCH= f4af71148b4f085531f880549cf1a906
RANDOM SEED=1332132161

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.092
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.48
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.092
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:        28923772 kB
Buffers:          182324 kB
Cached:           371772 kB
SwapCached:         3804 kB
Active:          1342000 kB
Inactive:         286812 kB
Active(anon):    1073436 kB
Inactive(anon):     3900 kB
Active(file):     268564 kB
Inactive(file):   282912 kB
Unevictable:     1580588 kB
Mlocked:         1394584 kB
SwapTotal:      67108856 kB
SwapFree:       67097620 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2655304 kB
Mapped:            10912 kB
Shmem:                 0 kB
Slab:             604856 kB
SReclaimable:      48988 kB
SUnreclaim:       555868 kB
KernelStack:        1520 kB
PageTables:         9632 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2798092 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    188416 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= 71696 MiB
End job on node139 at 2016-06-30 22:33:17