0.00/0.00	c 2016-06-16T01:33:31+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-4089785-1466033611.opb"]
0.00/0.01	c use --random-gen="2346057185 3405467569 2397038928 4251964394 1550937595 3445518837 4118169105 2280842096 1671506738 2121492883 288985222 3040747126 2570897206 2990975043 3619372706 2176830942 2548033867 2851944596 1313011240 4225566528 2128682479 1062262780 474966794 3932372708 4165553746 2520984634 4141442617 862695147 725929077 3081519187 845189613 2234162448 3559982789 3030449194 2925959985 1126650773 4121516956 458155504 3036155494 692546328 888743542 176661142 1979386060 593544651 2497719173 4019557178 1880296561 2676155031 758882866 3882343891 3542650762 3775028062 1952586585 2823750189 3860143966 3785256650 20139599 3903222236 704383222 3671223002 3367319712 2829982249 1808958620 2665383737 3455552768 3992026379 2509624488 3947611802 526549791 1186420243 3454943874 4280697517 1259200737 1534660296 4017663362 598432065 743878829 927854089 3868943427 2474559166 2797371766 742246172 735371274 2334573764 526194372 3856881355 2974891055 2068684109 2182655110 4029822848 2233051751 3150050672 669195177 471862247 78016932 4293001315 3854419379 3508259728 3571923199 2275731289 4203477924 2755184037 3328633561 2840950386 1932962195 4017626636 2816262584 3309800582 1229435043 1607872531 1887479923 2529639518 2440676196 3081904690 1115556931 3523293862 1998802552 3028906971 3008526385 2919790291 175996146 2016557435 3778529408 96116118 3402314679 212513516 24782078 2657350332 739471717 3418878999 1226633809 2101131264 3613833537 2992881456 4095661418 1164430427 920662634 3512621355 4228591155 3592392455 1527277271 1713133822 221906930 1386078266 1597471571 2905068227 3781432036 3115046850 1008653506 906387051 3023739540 997478967 2942284951 350920108 1932109411 2462215835 967367566 3843257468 2882779343 3819990956 3706562142 1148648116 4280651729 3596176162 1088866023 1099568808 3863454540 1234953934 2263519977 1367423639 2382774351 1092287638 3844439343 2001487634 152956301 784746489 3204499637 2500367724 841692871 2974157256 4025693406 1793514314 1795002026 2583669983 4056925758 2754999251 1671834453 1213929354 1300447999 2605933120 1465990740 2162154712 3341651649 3715440002 2840390116 3674605418 2574259773 694369518 1584700777 1644409438 1986815662 1654041314 896700786 983008601 2364242885 2927021075 97526128 2336269712 1447733404 910463090 144717917 4037933966 2505517366 45334157 3184986699 532512419 1372957288 3593545757 1181984641 2273306573 3784130931 474679450 1100566636 3388663360 3835975883 2385028567 3651024107 3764096269 2623447970 908587385 1452713742 194545114 2433553515 1150127811 2508105758 286663919 267964300 86308553 246627646 2789068233 2817567780 3213265455 3986472317 3545109667 2524903280 3203604404 1993388747 1635775745 2613858453 912204120 2403422932 3544981716 2481199149 3368420475 2762081436 1754519295 255 362436" option to reproduce the execution
0.00/0.01	c #vars 63
0.00/0.01	c #constraints 21
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 |       35      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      121 |      100 |       35      1 |        0 |        0
0.00/0.03	c  0.0s |       2 |      325 |      250 |       39      5 |        0 |        0
0.00/0.05	c  0.0s |       3 |      600 |      475 |       43     11 |        0 |        0
0.00/0.07	c  0.1s |       4 |     1006 |      813 |       48     19 |        0 |        0
0.09/0.11	c  0.1s |       5 |     1649 |     1320 |       53     32 |        0 |        0
0.09/0.18	c  0.2s |       6 |     2587 |     2081 |       65     50 |        0 |        0
0.18/0.27	c  0.3s |       7 |     3937 |     3223 |       72     76 |        0 |        0
0.39/0.40	c  0.4s |       8 |     5950 |     4936 |       80    113 |        0 |        0
0.59/0.61	c  0.6s |       9 |     9120 |     7506 |       88    163 |        0 |        0
0.69/0.91	c  0.9s |      10 |    13935 |    11361 |       97    230 |        0 |        0
1.19/1.25	c  1.2s |      11 |    20917 |    17144 |      107    328 |        0 |        0
1.59/1.69	c  1.7s |      12 |    31800 |    25819 |      118    463 |        0 |        0
2.39/2.40	c  2.4s |      13 |    48093 |    38832 |      130    653 |        0 |        0
3.39/3.45	c  3.4s |      14 |    72610 |    58352 |      143    916 |        0 |        0
4.98/5.07	c  5.1s |      15 |   108299 |    87632 |      158   1276 |        0 |        0
7.00/7.08	c  7.1s |      15 |   152760 |   123732 |      158   1685 |        0 |        0
7.49/7.51	c  7.5s |      16 |   162644 |   131552 |      174   1774 |        0 |        0
9.49/9.51	c  9.5s |      16 |   207452 |   167652 |      174   2152 |        0 |        0
11.09/11.18	c 11.2s |      17 |   244872 |   197432 |      192   2464 |        0 |        0
13.09/13.18	c 13.2s |      17 |   290995 |   234532 |      192   2822 |        0 |        0
15.08/15.18	c 15.2s |      17 |   334481 |   270432 |      192   3172 |        0 |        0
16.58/16.61	c 16.6s |      18 |   367423 |   296252 |      212   3420 |        0 |        0
18.58/18.62	c 18.6s |      18 |   414796 |   333152 |      212   3744 |        0 |        0
20.59/20.62	c 20.6s |      18 |   462241 |   370352 |      212   4074 |        0 |        0
22.59/22.62	c 22.6s |      18 |   508129 |   406952 |      212   4401 |        0 |        0
24.60/24.63	c 24.6s |      18 |   554882 |   443252 |      234   4722 |        0 |        0
24.69/24.70	c 24.7s |      19 |   556364 |   444482 |      234   4732 |        0 |        0
26.70/26.71	c 26.7s |      19 |   598114 |   479482 |      234   5010 |        0 |        0
28.69/28.71	c 28.7s |      19 |   644017 |   515482 |      234   5298 |        0 |        0
30.69/30.71	c 30.7s |      19 |   687405 |   550382 |      234   5579 |        0 |        0
32.69/32.71	c 32.7s |      19 |   730709 |   585382 |      234   5861 |        0 |        0
34.69/34.72	c 34.7s |      19 |   775018 |   620682 |      234   6146 |        0 |        0
36.69/36.72	c 36.7s |      19 |   822937 |   657582 |      234   6444 |        0 |        0
37.19/37.23	c 37.2s |      20 |   834693 |   666827 |      258   6516 |        0 |        0
39.18/39.23	c 39.2s |      20 |   884806 |   704027 |      258   6786 |        0 |        0
41.18/41.24	c 41.2s |      20 |   930175 |   739427 |      258   7044 |        0 |        0
43.19/43.24	c 43.2s |      20 |   972886 |   773627 |      258   7294 |        0 |        0
45.18/45.24	c 45.2s |      20 |  1016852 |   808227 |      258   7549 |        0 |        0
47.18/47.25	c 47.2s |      20 |  1062480 |   843727 |      258   7809 |        0 |        0
49.18/49.25	c 49.2s |      20 |  1104317 |   877427 |      258   8056 |        0 |        0
51.18/51.25	c 51.2s |      20 |  1151820 |   913327 |      258   8322 |        0 |        0
53.18/53.25	c 53.2s |      20 |  1197809 |   949127 |      258   8586 |        0 |        0
55.18/55.25	c 55.2s |      20 |  1246078 |   985427 |      258   8856 |        0 |        0
55.98/56.09	c 56.1s |      21 |  1265659 |  1000345 |      284   8960 |        0 |        0
57.99/58.09	c 58.1s |      21 |  1306335 |  1033545 |      284   9180 |        0 |        0
60.08/60.10	c 60.1s |      21 |  1346010 |  1065945 |      284   9396 |        0 |        0
62.08/62.10	c 62.1s |      21 |  1385096 |  1098145 |      284   9612 |        0 |        0
63.98/64.10	c 64.1s |      21 |  1425069 |  1131145 |      284   9834 |        0 |        0
66.08/66.11	c 66.1s |      21 |  1464533 |  1163345 |      284  10053 |        0 |        0
68.08/68.11	c 68.1s |      21 |  1504438 |  1195945 |      284  10273 |        0 |        0
70.08/70.11	c 70.1s |      21 |  1546240 |  1229645 |      284  10498 |        0 |        0
72.08/72.12	c 72.1s |      21 |  1590839 |  1264845 |      284  10734 |        0 |        0
74.09/74.12	c 74.1s |      21 |  1636361 |  1300245 |      284  10974 |        0 |        0
76.08/76.12	c 76.1s |      21 |  1679719 |  1334545 |      284  11205 |        0 |        0
78.08/78.12	c 78.1s |      21 |  1724525 |  1369845 |      284  11445 |        0 |        0
80.08/80.13	c 80.1s |      21 |  1769168 |  1404645 |      284  11682 |        0 |        0
82.08/82.13	c 82.1s |      21 |  1812743 |  1439045 |      284  11914 |        0 |        0
84.08/84.14	c 84.1s |      21 |  1856904 |  1473645 |      284  12146 |        0 |        0
85.68/85.72	c 85.7s |      22 |  1889964 |  1500622 |      313  12320 |        0 |        0
87.67/87.72	c 87.7s |      22 |  1930867 |  1533022 |      313  12516 |        0 |        0
89.67/89.73	c 89.7s |      22 |  1972978 |  1565922 |      313  12716 |        0 |        0
91.68/91.73	c 91.7s |      22 |  2017450 |  1599622 |      313  12921 |        0 |        0
93.67/93.74	c 93.7s |      22 |  2061922 |  1633522 |      313  13129 |        0 |        0
95.68/95.74	c 95.7s |      22 |  2104519 |  1666022 |      313  13327 |        0 |        0
97.68/97.74	c 97.7s |      22 |  2149708 |  1699622 |      313  13532 |        0 |        0
99.68/99.75	c 99.7s |      22 |  2189712 |  1731822 |      313  13729 |        0 |        0
101.68/101.75	c  101s |      22 |  2229258 |  1764222 |      313  13927 |        0 |        0
103.68/103.76	c  103s |      22 |  2266630 |  1795022 |      313  14113 |        0 |        0
105.67/105.76	c  105s |      22 |  2306202 |  1826822 |      313  14306 |        0 |        0
107.67/107.76	c  107s |      22 |  2345383 |  1858122 |      313  14498 |        0 |        0
109.67/109.76	c  109s |      22 |  2384521 |  1889722 |      313  14692 |        0 |        0
111.67/111.77	c  111s |      22 |  2426421 |  1922322 |      313  14892 |        0 |        0
113.68/113.77	c  113s |      22 |  2468228 |  1954622 |      313  15091 |        0 |        0
115.67/115.77	c  115s |      22 |  2513329 |  1988722 |      313  15301 |        0 |        0
117.67/117.77	c  117s |      22 |  2554302 |  2021222 |      313  15501 |        0 |        0
119.68/119.78	c  119s |      22 |  2595912 |  2053822 |      313  15702 |        0 |        0
121.68/121.78	c  121s |      22 |  2638140 |  2086822 |      313  15904 |        0 |        0
123.67/123.78	c  123s |      22 |  2682409 |  2120422 |      313  16111 |        0 |        0
125.68/125.79	c  125s |      22 |  2723675 |  2152822 |      313  16309 |        0 |        0
127.67/127.79	c  127s |      22 |  2761801 |  2183922 |      313  16501 |        0 |        0
129.67/129.79	c  129s |      22 |  2801400 |  2216122 |      313  16700 |        0 |        0
131.77/131.80	c  131s |      22 |  2841303 |  2248222 |      345  16890 |        0 |        0
131.87/131.98	c  131s |      23 |  2844818 |  2251038 |      345  16905 |        0 |        0
133.87/133.98	c  133s |      23 |  2884689 |  2282738 |      345  17080 |        0 |        0
135.87/135.99	c  135s |      23 |  2925176 |  2314238 |      345  17255 |        0 |        0
137.88/137.99	c  137s |      23 |  2964906 |  2346038 |      345  17431 |        0 |        0
139.87/139.99	c  139s |      23 |  3006789 |  2378738 |      345  17613 |        0 |        0
141.87/142.00	c  141s |      23 |  3044989 |  2410238 |      345  17789 |        0 |        0
143.97/144.00	c  143s |      23 |  3084383 |  2442138 |      345  17968 |        0 |        0
145.97/146.00	c  145s |      23 |  3126743 |  2474938 |      345  18152 |        0 |        0
147.97/148.00	c  147s |      23 |  3165941 |  2506638 |      345  18328 |        0 |        0
149.97/150.00	c  149s |      23 |  3206898 |  2538938 |      345  18509 |        0 |        0
151.96/152.01	c  151s |      23 |  3247731 |  2571338 |      345  18690 |        0 |        0
153.96/154.01	c  153s |      23 |  3284675 |  2601738 |      345  18861 |        0 |        0
155.96/156.01	c  156s |      23 |  3322917 |  2632938 |      345  19036 |        0 |        0
157.96/158.02	c  158s |      23 |  3362839 |  2664738 |      345  19214 |        0 |        0
159.96/160.02	c  160s |      23 |  3401944 |  2696438 |      345  19392 |        0 |        0
161.97/162.03	c  162s |      23 |  3436379 |  2725538 |      345  19553 |        0 |        0
163.96/164.03	c  164s |      23 |  3475079 |  2756838 |      345  19728 |        0 |        0
165.96/166.04	c  166s |      23 |  3515235 |  2788038 |      345  19902 |        0 |        0
167.97/168.04	c  168s |      23 |  3550988 |  2817638 |      345  20068 |        0 |        0
169.97/170.04	c  170s |      23 |  3589114 |  2848438 |      345  20240 |        0 |        0
171.97/172.04	c  172s |      23 |  3626025 |  2878838 |      345  20409 |        0 |        0
173.97/174.05	c  174s |      23 |  3664731 |  2909738 |      345  20583 |        0 |        0
175.97/176.05	c  176s |      23 |  3702475 |  2940438 |      345  20755 |        0 |        0
177.97/178.06	c  178s |      23 |  3739716 |  2970938 |      345  20927 |        0 |        0
179.97/180.06	c  180s |      23 |  3777868 |  3001838 |      345  21100 |        0 |        0
181.97/182.06	c  182s |      23 |  3816982 |  3033238 |      345  21276 |        0 |        0
183.97/184.06	c  184s |      23 |  3855403 |  3064138 |      345  21449 |        0 |        0
185.96/186.07	c  186s |      23 |  3892955 |  3095138 |      345  21624 |        0 |        0
187.96/188.07	c  188s |      23 |  3929839 |  3126038 |      345  21797 |        0 |        0
189.96/190.07	c  190s |      23 |  3967891 |  3156838 |      345  21969 |        0 |        0
191.96/192.08	c  192s |      23 |  4003520 |  3186738 |      345  22137 |        0 |        0
193.96/194.09	c  194s |      23 |  4039239 |  3216738 |      345  22306 |        0 |        0
195.96/196.09	c  196s |      23 |  4077407 |  3247738 |      345  22480 |        0 |        0
197.96/198.09	c  198s |      23 |  4115644 |  3278538 |      345  22654 |        0 |        0
199.96/200.09	c  200s |      23 |  4153449 |  3309238 |      345  22827 |        0 |        0
202.06/202.10	c  202s |      23 |  4190873 |  3339738 |      345  23001 |        0 |        0
204.06/204.10	c  204s |      23 |  4229097 |  3370438 |      380  23162 |        0 |        0
204.46/204.53	c  204s |      24 |  4236611 |  3376662 |      380  23194 |        0 |        0
206.46/206.54	c  206s |      24 |  4272359 |  3406562 |      380  23344 |        0 |        0
208.46/208.54	c  208s |      24 |  4309837 |  3437262 |      380  23499 |        0 |        0
210.47/210.55	c  210s |      24 |  4349958 |  3468562 |      380  23657 |        0 |        0
212.46/212.55	c  212s |      24 |  4388649 |  3499762 |      380  23816 |        0 |        0
214.46/214.55	c  214s |      24 |  4427525 |  3531062 |      380  23976 |        0 |        0
216.46/216.56	c  216s |      24 |  4470741 |  3563962 |      380  24142 |        0 |        0
218.46/218.57	c  218s |      24 |  4510814 |  3595462 |      380  24302 |        0 |        0
220.46/220.57	c  220s |      24 |  4552603 |  3627862 |      380  24467 |        0 |        0
222.46/222.57	c  222s |      24 |  4593874 |  3659662 |      380  24630 |        0 |        0
224.46/224.57	c  224s |      24 |  4633302 |  3691062 |      380  24790 |        0 |        0
226.45/226.58	c  226s |      24 |  4670993 |  3721962 |      380  24946 |        0 |        0
228.45/228.58	c  228s |      24 |  4708933 |  3752762 |      380  25102 |        0 |        0
230.45/230.58	c  230s |      24 |  4749061 |  3784062 |      380  25261 |        0 |        0
232.46/232.59	c  232s |      24 |  4789065 |  3815162 |      380  25420 |        0 |        0
234.45/234.59	c  234s |      24 |  4829062 |  3846662 |      380  25581 |        0 |        0
236.45/236.59	c  236s |      24 |  4869135 |  3878062 |      380  25742 |        0 |        0
238.55/238.60	c  238s |      24 |  4904449 |  3907662 |      380  25892 |        0 |        0
240.55/240.60	c  240s |      24 |  4939804 |  3937262 |      380  26043 |        0 |        0
242.55/242.61	c  242s |      24 |  4978906 |  3968962 |      380  26205 |        0 |        0
244.55/244.61	c  244s |      24 |  5015652 |  3999662 |      380  26363 |        0 |        0
246.55/246.61	c  246s |      24 |  5053598 |  4030562 |      380  26521 |        0 |        0
248.56/248.61	c  248s |      24 |  5090773 |  4061562 |      380  26680 |        0 |        0
250.55/250.62	c  250s |      24 |  5129578 |  4093062 |      380  26842 |        0 |        0
252.55/252.62	c  252s |      24 |  5167914 |  4124462 |      380  27001 |        0 |        0
254.56/254.63	c  254s |      24 |  5203424 |  4154662 |      380  27154 |        0 |        0
256.56/256.63	c  256s |      24 |  5241460 |  4186062 |      380  27315 |        0 |        0
258.55/258.63	c  258s |      24 |  5281846 |  4218162 |      380  27478 |        0 |        0
260.55/260.63	c  260s |      24 |  5322154 |  4249862 |      380  27639 |        0 |        0
262.55/262.64	c  262s |      24 |  5360245 |  4280562 |      380  27795 |        0 |        0
264.55/264.64	c  264s |      24 |  5400416 |  4312262 |      380  27957 |        0 |        0
266.56/266.65	c  266s |      24 |  5439336 |  4343462 |      380  28116 |        0 |        0
268.55/268.65	c  268s |      24 |  5476567 |  4374062 |      380  28272 |        0 |        0
270.55/270.66	c  270s |      24 |  5516117 |  4405562 |      380  28433 |        0 |        0
272.55/272.66	c  272s |      24 |  5557318 |  4437762 |      380  28598 |        0 |        0
274.55/274.66	c  274s |      24 |  5597033 |  4469362 |      380  28758 |        0 |        0
276.55/276.66	c  276s |      24 |  5634732 |  4500162 |      380  28916 |        0 |        0
278.55/278.66	c  278s |      24 |  5674308 |  4531462 |      380  29076 |        0 |        0
280.54/280.67	c  280s |      24 |  5713922 |  4562462 |      380  29234 |        0 |        0
282.54/282.67	c  282s |      24 |  5750761 |  4592262 |      380  29386 |        0 |        0
284.54/284.67	c  284s |      24 |  5783658 |  4620562 |      380  29531 |        0 |        0
286.55/286.67	c  286s |      24 |  5820170 |  4650362 |      380  29685 |        0 |        0
288.56/288.68	c  288s |      24 |  5857634 |  4681362 |      380  29844 |        0 |        0
290.55/290.68	c  290s |      24 |  5897314 |  4713562 |      380  30009 |        0 |        0
292.55/292.68	c  292s |      24 |  5937676 |  4745462 |      380  30173 |        0 |        0
294.55/294.69	c  294s |      24 |  5981281 |  4778362 |      380  30342 |        0 |        0
296.55/296.69	c  296s |      24 |  6023825 |  4810962 |      380  30511 |        0 |        0
298.65/298.70	c  298s |      24 |  6065726 |  4843062 |      380  30677 |        0 |        0
300.55/300.70	c  300s |      24 |  6107750 |  4874962 |      380  30840 |        0 |        0
302.65/302.70	c  302s |      24 |  6148951 |  4906662 |      380  31001 |        0 |        0
304.64/304.70	c  304s |      24 |  6190690 |  4938862 |      380  31165 |        0 |        0
306.64/306.70	c  306s |      24 |  6235044 |  4971662 |      380  31333 |        0 |        0
308.64/308.70	c  308s |      24 |  6278936 |  5004262 |      380  31500 |        0 |        0
310.64/310.71	c  310s |      24 |  6321807 |  5037162 |      419  31664 |        0 |        0
312.34/312.45	c  312s |      25 |  6356711 |  5065098 |      419  31794 |        0 |        0
314.34/314.45	c  314s |      25 |  6392298 |  5094898 |      419  31932 |        0 |        0
316.34/316.45	c  316s |      25 |  6428989 |  5125198 |      419  32071 |        0 |        0
318.34/318.46	c  318s |      25 |  6464714 |  5155198 |      419  32211 |        0 |        0
320.35/320.47	c  320s |      25 |  6502774 |  5185798 |      419  32352 |        0 |        0
322.34/322.47	c  322s |      25 |  6540195 |  5215798 |      419  32491 |        0 |        0
324.34/324.47	c  324s |      25 |  6570348 |  5242398 |      419  32614 |        0 |        0
326.34/326.47	c  326s |      25 |  6600696 |  5268998 |      419  32737 |        0 |        0
328.34/328.48	c  328s |      25 |  6635710 |  5297798 |      419  32870 |        0 |        0
330.35/330.48	c  330s |      25 |  6671264 |  5326398 |      419  33003 |        0 |        0
332.34/332.48	c  332s |      25 |  6710435 |  5357698 |      419  33147 |        0 |        0
334.34/334.49	c  334s |      25 |  6751157 |  5389198 |      419  33293 |        0 |        0
336.34/336.49	c  336s |      25 |  6790319 |  5419998 |      419  33436 |        0 |        0
338.34/338.49	c  338s |      25 |  6827643 |  5450398 |      419  33576 |        0 |        0
340.44/340.50	c  340s |      25 |  6862795 |  5479998 |      419  33714 |        0 |        0
342.35/342.50	c  342s |      25 |  6899683 |  5509998 |      419  33852 |        0 |        0
344.44/344.50	c  344s |      25 |  6938095 |  5540998 |      419  33996 |        0 |        0
346.44/346.51	c  346s |      25 |  6980246 |  5572998 |      419  34145 |        0 |        0
348.44/348.51	c  348s |      25 |  7020949 |  5604798 |      419  34293 |        0 |        0
350.44/350.52	c  350s |      25 |  7058805 |  5635498 |      419  34436 |        0 |        0
352.44/352.52	c  352s |      25 |  7093046 |  5664798 |      419  34572 |        0 |        0
354.44/354.52	c  354s |      25 |  7125323 |  5692898 |      419  34702 |        0 |        0
356.43/356.52	c  356s |      25 |  7159983 |  5721998 |      419  34836 |        0 |        0
358.43/358.52	c  358s |      25 |  7193647 |  5750298 |      419  34968 |        0 |        0
360.43/360.53	c  360s |      25 |  7228736 |  5779698 |      419  35104 |        0 |        0
362.43/362.53	c  362s |      25 |  7264788 |  5809598 |      419  35243 |        0 |        0
364.44/364.53	c  364s |      25 |  7300180 |  5839298 |      419  35381 |        0 |        0
366.43/366.54	c  366s |      25 |  7337438 |  5869298 |      419  35521 |        0 |        0
368.43/368.54	c  368s |      25 |  7374473 |  5899698 |      419  35663 |        0 |        0
370.43/370.54	c  370s |      25 |  7412783 |  5931098 |      419  35809 |        0 |        0
372.44/372.55	c  372s |      25 |  7450686 |  5961998 |      419  35953 |        0 |        0
374.44/374.55	c  374s |      25 |  7486189 |  5991898 |      419  36093 |        0 |        0
376.44/376.55	c  376s |      25 |  7524182 |  6022898 |      419  36237 |        0 |        0
378.43/378.56	c  378s |      25 |  7560048 |  6052798 |      419  36377 |        0 |        0
380.43/380.56	c  380s |      25 |  7596391 |  6083298 |      419  36520 |        0 |        0
382.43/382.56	c  382s |      25 |  7633063 |  6113698 |      419  36662 |        0 |        0
384.43/384.57	c  384s |      25 |  7673001 |  6144598 |      419  36806 |        0 |        0
386.44/386.57	c  386s |      25 |  7707857 |  6174098 |      419  36943 |        0 |        0
388.43/388.58	c  388s |      25 |  7745889 |  6204298 |      419  37082 |        0 |        0
390.43/390.58	c  390s |      25 |  7785213 |  6235098 |      419  37225 |        0 |        0
392.43/392.58	c  392s |      25 |  7824199 |  6265498 |      419  37366 |        0 |        0
394.43/394.59	c  394s |      25 |  7863245 |  6295898 |      419  37507 |        0 |        0
396.43/396.59	c  396s |      25 |  7906289 |  6327698 |      419  37655 |        0 |        0
398.43/398.60	c  398s |      25 |  7948304 |  6359398 |      419  37802 |        0 |        0
400.52/400.60	c  400s |      25 |  7988289 |  6390298 |      419  37946 |        0 |        0
402.52/402.60	c  402s |      25 |  8029081 |  6421498 |      419  38092 |        0 |        0
404.53/404.60	c  404s |      25 |  8072547 |  6453298 |      419  38241 |        0 |        0
406.53/406.61	c  406s |      25 |  8110241 |  6483398 |      419  38380 |        0 |        0
408.53/408.61	c  408s |      25 |  8147344 |  6513198 |      419  38518 |        0 |        0
410.54/410.61	c  410s |      25 |  8183778 |  6542598 |      419  38654 |        0 |        0
412.53/412.62	c  412s |      25 |  8222469 |  6572898 |      419  38796 |        0 |        0
414.53/414.62	c  414s |      25 |  8260534 |  6603198 |      419  38937 |        0 |        0
416.53/416.62	c  416s |      25 |  8300665 |  6634198 |      419  39081 |        0 |        0
418.53/418.62	c  418s |      25 |  8339438 |  6664498 |      419  39223 |        0 |        0
420.53/420.63	c  420s |      25 |  8378604 |  6695198 |      419  39367 |        0 |        0
422.53/422.63	c  422s |      25 |  8418002 |  6725798 |      419  39510 |        0 |        0
424.52/424.63	c  424s |      25 |  8458698 |  6757398 |      419  39659 |        0 |        0
426.52/426.64	c  426s |      25 |  8499313 |  6788698 |      419  39806 |        0 |        0
428.52/428.64	c  428s |      25 |  8533880 |  6817198 |      419  39938 |        0 |        0
430.52/430.65	c  430s |      25 |  8570805 |  6847198 |      419  40077 |        0 |        0
432.53/432.65	c  432s |      25 |  8605218 |  6876098 |      419  40211 |        0 |        0
434.52/434.65	c  434s |      25 |  8640992 |  6905498 |      419  40348 |        0 |        0
436.52/436.65	c  436s |      25 |  8676345 |  6934798 |      419  40484 |        0 |        0
438.53/438.66	c  438s |      25 |  8711311 |  6963998 |      419  40620 |        0 |        0
440.53/440.66	c  440s |      25 |  8748932 |  6993898 |      419  40759 |        0 |        0
442.53/442.66	c  442s |      25 |  8785847 |  7023498 |      419  40897 |        0 |        0
444.53/444.67	c  444s |      25 |  8824461 |  7053898 |      419  41039 |        0 |        0
446.53/446.67	c  446s |      25 |  8861440 |  7084198 |      419  41182 |        0 |        0
448.52/448.67	c  448s |      25 |  8896577 |  7113098 |      419  41317 |        0 |        0
450.52/450.67	c  450s |      25 |  8932289 |  7141798 |      419  41450 |        0 |        0
452.52/452.68	c  452s |      25 |  8966578 |  7169998 |      419  41581 |        0 |        0
454.53/454.68	c  454s |      25 |  9002539 |  7199198 |      419  41717 |        0 |        0
456.52/456.68	c  456s |      25 |  9036517 |  7227498 |      419  41850 |        0 |        0
458.52/458.69	c  458s |      25 |  9072612 |  7256798 |      419  41987 |        0 |        0
460.52/460.69	c  460s |      25 |  9108900 |  7286098 |      419  42123 |        0 |        0
462.52/462.69	c  462s |      25 |  9146377 |  7315498 |      419  42261 |        0 |        0
464.53/464.69	c  464s |      25 |  9185087 |  7345898 |      419  42404 |        0 |        0
466.52/466.70	c  466s |      25 |  9223758 |  7376298 |      419  42547 |        0 |        0
468.62/468.70	c  468s |      25 |  9261253 |  7406098 |      419  42686 |        0 |        0
470.62/470.71	c  470s |      25 |  9297615 |  7435298 |      419  42822 |        0 |        0
472.62/472.71	c  472s |      25 |  9331714 |  7463498 |      419  42954 |        0 |        0
474.62/474.71	c  474s |      25 |  9366794 |  7492398 |      419  43089 |        0 |        0
476.63/476.72	c  476s |      25 |  9400847 |  7520998 |      419  43222 |        0 |        0
478.62/478.72	c  478s |      25 |  9435299 |  7549598 |      461  43354 |        0 |        0
480.62/480.72	c  480s |      25 |  9473622 |  7579298 |      461  43481 |        0 |        0
481.92/482.01	c  481s |      26 |  9496983 |  7597752 |      461  43560 |        0 |        0
483.92/484.01	c  484s |      26 |  9533306 |  7626952 |      461  43682 |        0 |        0
485.92/486.01	c  486s |      26 |  9570236 |  7656252 |      461  43805 |        0 |        0
487.92/488.02	c  488s |      26 |  9606071 |  7685452 |      461  43928 |        0 |        0
489.92/490.02	c  490s |      26 |  9643030 |  7714952 |      461  44052 |        0 |        0
491.92/492.03	c  492s |      26 |  9681593 |  7744752 |      461  44178 |        0 |        0
493.91/494.03	c  494s |      26 |  9717962 |  7773952 |      461  44302 |        0 |        0
495.91/496.04	c  496s |      26 |  9747972 |  7800352 |      461  44413 |        0 |        0
497.91/498.04	c  498s |      26 |  9781041 |  7828252 |      461  44530 |        0 |        0
499.91/500.04	c  500s |      26 |  9817263 |  7857652 |      461  44655 |        0 |        0
501.92/502.04	c  502s |      26 |  9853721 |  7887052 |      461  44779 |        0 |        0
503.91/504.05	c  504s |      26 |  9889123 |  7915752 |      461  44901 |        0 |        0
505.91/506.05	c  506s |      26 |  9926581 |  7945252 |      461  45026 |        0 |        0
507.91/508.06	c  508s |      26 |  9962279 |  7973852 |      461  45147 |        0 |        0
509.91/510.06	c  510s |      26 | 10000931 |  8003852 |      461  45274 |        0 |        0
511.91/512.06	c  512s |      26 | 10038974 |  8033752 |      461  45400 |        0 |        0
513.92/514.06	c  514s |      26 | 10074232 |  8062252 |      461  45522 |        0 |        0
515.91/516.06	c  516s |      26 | 10111624 |  8091752 |      461  45646 |        0 |        0
517.91/518.07	c  518s |      26 | 10150838 |  8122652 |      461  45777 |        0 |        0
519.91/520.08	c  520s |      26 | 10192278 |  8154152 |      461  45910 |        0 |        0
521.91/522.08	c  522s |      26 | 10233271 |  8184952 |      461  46041 |        0 |        0
523.92/524.08	c  524s |      26 | 10271818 |  8214752 |      461  46166 |        0 |        0
525.91/526.08	c  526s |      26 | 10306498 |  8242852 |      461  46285 |        0 |        0
527.91/528.09	c  528s |      26 | 10344345 |  8272352 |      461  46411 |        0 |        0
529.91/530.09	c  530s |      26 | 10382229 |  8302052 |      461  46536 |        0 |        0
531.90/532.09	c  532s |      26 | 10417441 |  8330752 |      461  46658 |        0 |        0
534.00/534.10	c  534s |      26 | 10449022 |  8357552 |      461  46771 |        0 |        0
535.92/536.10	c  536s |      26 | 10481243 |  8384552 |      461  46886 |        0 |        0
538.01/538.10	c  538s |      26 | 10517936 |  8414052 |      461  47012 |        0 |        0
540.01/540.11	c  540s |      26 | 10552289 |  8442352 |      461  47132 |        0 |        0
542.01/542.11	c  542s |      26 | 10587024 |  8470952 |      461  47254 |        0 |        0
544.01/544.12	c  544s |      26 | 10622522 |  8499752 |      461  47376 |        0 |        0
546.01/546.12	c  546s |      26 | 10658966 |  8528552 |      461  47498 |        0 |        0
548.02/548.12	c  548s |      26 | 10697205 |  8557952 |      461  47623 |        0 |        0
550.01/550.13	c  550s |      26 | 10732863 |  8586752 |      461  47745 |        0 |        0
552.01/552.13	c  552s |      26 | 10770290 |  8616452 |      461  47871 |        0 |        0
554.00/554.13	c  554s |      26 | 10808072 |  8646252 |      461  47998 |        0 |        0
556.00/556.14	c  556s |      26 | 10847956 |  8677052 |      461  48130 |        0 |        0
558.01/558.14	c  558s |      26 | 10886453 |  8707652 |      461  48260 |        0 |        0
560.00/560.14	c  560s |      26 | 10926084 |  8738652 |      461  48392 |        0 |        0
562.00/562.14	c  562s |      26 | 10967311 |  8770252 |      461  48528 |        0 |        0
564.00/564.15	c  564s |      26 | 11007927 |  8800952 |      461  48657 |        0 |        0
566.00/566.15	c  566s |      26 | 11045860 |  8830852 |      461  48784 |        0 |        0
568.00/568.16	c  568s |      26 | 11084249 |  8861352 |      461  48913 |        0 |        0
570.01/570.16	c  570s |      26 | 11122639 |  8891752 |      461  49041 |        0 |        0
572.00/572.16	c  572s |      26 | 11160752 |  8921952 |      461  49169 |        0 |        0
574.00/574.17	c  574s |      26 | 11199119 |  8951652 |      461  49295 |        0 |        0
576.01/576.17	c  576s |      26 | 11237008 |  8981452 |      461  49422 |        0 |        0
578.01/578.18	c  578s |      26 | 11274722 |  9010952 |      461  49548 |        0 |        0
580.01/580.18	c  580s |      26 | 11313518 |  9040852 |      461  49675 |        0 |        0
582.00/582.19	c  582s |      26 | 11353375 |  9071052 |      461  49803 |        0 |        0
584.00/584.19	c  584s |      26 | 11391413 |  9100352 |      461  49927 |        0 |        0
586.00/586.19	c  586s |      26 | 11425538 |  9128452 |      461  50046 |        0 |        0
588.10/588.20	c  588s |      26 | 11462655 |  9157852 |      461  50171 |        0 |        0
590.10/590.21	c  590s |      26 | 11499433 |  9187352 |      461  50296 |        0 |        0
592.11/592.21	c  592s |      26 | 11539015 |  9218052 |      461  50427 |        0 |        0
594.10/594.22	c  594s |      26 | 11579831 |  9249252 |      461  50560 |        0 |        0
596.09/596.22	c  596s |      26 | 11618763 |  9279752 |      461  50689 |        0 |        0
598.09/598.22	c  598s |      26 | 11657664 |  9310052 |      461  50819 |        0 |        0
600.10/600.23	c  600s |      26 | 11695794 |  9339952 |      461  50946 |        0 |        0
602.10/602.23	c  602s |      26 | 11734191 |  9369952 |      461  51074 |        0 |        0
604.11/604.23	c  604s |      26 | 11773484 |  9400252 |      461  51204 |        0 |        0
606.10/606.24	c  606s |      26 | 11809009 |  9428852 |      461  51325 |        0 |        0
608.10/608.25	c  608s |      26 | 11842894 |  9456352 |      461  51441 |        0 |        0
610.10/610.25	c  610s |      26 | 11879974 |  9485252 |      461  51563 |        0 |        0
612.10/612.25	c  612s |      26 | 11919310 |  9515452 |      461  51691 |        0 |        0
614.11/614.26	c  614s |      26 | 11955067 |  9544152 |      461  51813 |        0 |        0
616.10/616.26	c  616s |      26 | 11993703 |  9574052 |      461  51941 |        0 |        0
618.10/618.26	c  618s |      26 | 12032872 |  9604452 |      461  52070 |        0 |        0
620.09/620.26	c  620s |      26 | 12066835 |  9632252 |      461  52188 |        0 |        0
622.09/622.26	c  622s |      26 | 12103124 |  9660852 |      461  52309 |        0 |        0
624.09/624.27	c  624s |      26 | 12139796 |  9689652 |      461  52431 |        0 |        0
626.10/626.27	c  626s |      26 | 12176828 |  9718552 |      461  52554 |        0 |        0
628.09/628.28	c  628s |      26 | 12213588 |  9747852 |      461  52678 |        0 |        0
630.09/630.28	c  630s |      26 | 12249957 |  9777152 |      461  52803 |        0 |        0
632.09/632.29	c  632s |      26 | 12288990 |  9807452 |      461  52933 |        0 |        0
634.09/634.29	c  634s |      26 | 12329796 |  9838452 |      461  53066 |        0 |        0
636.19/636.30	c  636s |      26 | 12367293 |  9867852 |      461  53191 |        0 |        0
638.09/638.30	c  638s |      26 | 12400797 |  9895252 |      461  53307 |        0 |        0
640.19/640.30	c  640s |      26 | 12435504 |  9923552 |      461  53427 |        0 |        0
642.19/642.31	c  642s |      26 | 12471151 |  9951852 |      461  53547 |        0 |        0
644.19/644.31	c  644s |      26 | 12507084 |  9980652 |      461  53670 |        0 |        0
646.19/646.31	c  646s |      26 | 12541983 | 10008552 |      461  53789 |        0 |        0
648.19/648.31	c  648s |      26 | 12574513 | 10035652 |      461  53904 |        0 |        0
650.19/650.32	c  650s |      26 | 12608839 | 10063352 |      461  54022 |        0 |        0
652.19/652.33	c  652s |      26 | 12644575 | 10092152 |      461  54146 |        0 |        0
654.19/654.33	c  654s |      26 | 12681835 | 10121452 |      461  54271 |        0 |        0
656.19/656.33	c  656s |      26 | 12718530 | 10150352 |      461  54394 |        0 |        0
658.19/658.33	c  658s |      26 | 12750886 | 10177852 |      461  54512 |        0 |        0
660.19/660.34	c  660s |      26 | 12785898 | 10206252 |      461  54634 |        0 |        0
662.19/662.34	c  662s |      26 | 12824895 | 10236552 |      461  54764 |        0 |        0
664.19/664.35	c  664s |      26 | 12865665 | 10267052 |      461  54894 |        0 |        0
666.19/666.35	c  666s |      26 | 12903389 | 10296752 |      461  55021 |        0 |        0
668.19/668.35	c  668s |      26 | 12937306 | 10325052 |      461  55142 |        0 |        0
670.20/670.35	c  670s |      26 | 12972595 | 10353952 |      461  55266 |        0 |        0
672.19/672.36	c  672s |      26 | 13005634 | 10381452 |      461  55383 |        0 |        0
674.19/674.36	c  674s |      26 | 13039112 | 10408852 |      461  55501 |        0 |        0
676.18/676.37	c  676s |      26 | 13072315 | 10436252 |      461  55618 |        0 |        0
678.18/678.37	c  678s |      26 | 13105729 | 10463752 |      461  55734 |        0 |        0
680.18/680.37	c  680s |      26 | 13140782 | 10491952 |      461  55853 |        0 |        0
682.20/682.38	c  682s |      26 | 13176373 | 10520352 |      461  55973 |        0 |        0
684.19/684.38	c  684s |      26 | 13213419 | 10549652 |      461  56097 |        0 |        0
686.19/686.39	c  686s |      26 | 13251037 | 10578852 |      461  56220 |        0 |        0
688.19/688.39	c  688s |      26 | 13287843 | 10607652 |      461  56343 |        0 |        0
690.19/690.39	c  690s |      26 | 13321312 | 10635052 |      461  56458 |        0 |        0
692.29/692.40	c  692s |      26 | 13354270 | 10662352 |      461  56573 |        0 |        0
694.19/694.40	c  694s |      26 | 13389278 | 10690352 |      461  56692 |        0 |        0
696.28/696.41	c  696s |      26 | 13426993 | 10719652 |      461  56816 |        0 |        0
698.28/698.41	c  698s |      26 | 13464647 | 10749152 |      461  56942 |        0 |        0
700.28/700.41	c  700s |      26 | 13498461 | 10777152 |      461  57061 |        0 |        0
702.28/702.41	c  702s |      26 | 13535719 | 10806652 |      461  57185 |        0 |        0
704.29/704.41	c  704s |      26 | 13572106 | 10835552 |      461  57307 |        0 |        0
706.29/706.42	c  706s |      26 | 13609398 | 10864252 |      461  57429 |        0 |        0
708.28/708.42	c  708s |      26 | 13644529 | 10892452 |      461  57549 |        0 |        0
710.28/710.43	c  710s |      26 | 13679895 | 10920952 |      461  57670 |        0 |        0
712.28/712.43	c  712s |      26 | 13716594 | 10950052 |      461  57793 |        0 |        0
714.28/714.44	c  714s |      26 | 13755478 | 10979752 |      461  57919 |        0 |        0
716.29/716.44	c  716s |      26 | 13790988 | 11008252 |      461  58040 |        0 |        0
718.28/718.44	c  718s |      26 | 13824221 | 11035752 |      461  58157 |        0 |        0
720.28/720.45	c  720s |      26 | 13858507 | 11063652 |      461  58276 |        0 |        0
722.28/722.45	c  722s |      26 | 13891992 | 11091652 |      461  58395 |        0 |        0
724.28/724.46	c  724s |      26 | 13925108 | 11119052 |      461  58512 |        0 |        0
726.29/726.46	c  726s |      26 | 13959016 | 11146952 |      461  58630 |        0 |        0
728.28/728.46	c  728s |      26 | 13991876 | 11174452 |      461  58746 |        0 |        0
730.28/730.47	c  730s |      26 | 14028058 | 11203452 |      461  58869 |        0 |        0
732.28/732.47	c  732s |      26 | 14063443 | 11231852 |      461  58989 |        0 |        0
734.28/734.48	c  734s |      26 | 14099673 | 11260852 |      461  59112 |        0 |        0
736.28/736.48	c  736s |      26 | 14136595 | 11289752 |      461  59235 |        0 |        0
738.28/738.48	c  738s |      26 | 14172666 | 11318652 |      508  59355 |        0 |        0
740.27/740.48	c  740s |      26 | 14207845 | 11346752 |      508  59464 |        0 |        0
742.27/742.49	c  742s |      26 | 14240632 | 11373752 |      508  59569 |        0 |        0
743.97/744.10	c  744s |      27 | 14269752 | 11396733 |      508  59658 |        0 |        0
745.87/746.10	c  746s |      27 | 14302080 | 11423833 |      508  59761 |        0 |        0
747.98/748.10	c  748s |      27 | 14337272 | 11452533 |      508  59871 |        0 |        0
749.98/750.11	c  750s |      27 | 14369984 | 11480233 |      508  59977 |        0 |        0
751.98/752.11	c  752s |      27 | 14405308 | 11508933 |      508  60088 |        0 |        0
753.98/754.12	c  754s |      27 | 14438366 | 11536133 |      508  60193 |        0 |        0
755.98/756.12	c  756s |      27 | 14471461 | 11563533 |      508  60298 |        0 |        0
757.98/758.13	c  758s |      27 | 14507114 | 11592333 |      508  60409 |        0 |        0
759.98/760.13	c  760s |      27 | 14539683 | 11619633 |      508  60513 |        0 |        0
761.98/762.13	c  762s |      27 | 14573667 | 11647333 |      508  60620 |        0 |        0
763.97/764.14	c  764s |      27 | 14606649 | 11674633 |      508  60725 |        0 |        0
765.97/766.14	c  766s |      27 | 14642513 | 11703133 |      508  60835 |        0 |        0
767.98/768.14	c  768s |      27 | 14678987 | 11732033 |      508  60946 |        0 |        0
769.97/770.14	c  770s |      27 | 14713939 | 11760633 |      508  61057 |        0 |        0
771.97/772.14	c  772s |      27 | 14746644 | 11788233 |      508  61163 |        0 |        0
773.97/774.15	c  774s |      27 | 14781290 | 11816533 |      508  61272 |        0 |        0
775.97/776.16	c  776s |      27 | 14816843 | 11845233 |      508  61383 |        0 |        0
777.97/778.16	c  778s |      27 | 14851102 | 11873333 |      508  61492 |        0 |        0
779.97/780.16	c  780s |      27 | 14884584 | 11901333 |      508  61600 |        0 |        0
781.97/782.16	c  782s |      27 | 14918167 | 11929333 |      508  61708 |        0 |        0
783.97/784.17	c  784s |      27 | 14951921 | 11957933 |      508  61818 |        0 |        0
785.97/786.18	c  786s |      27 | 14985235 | 11986233 |      508  61926 |        0 |        0
787.97/788.18	c  788s |      27 | 15018635 | 12014433 |      508  62035 |        0 |        0
789.98/790.18	c  790s |      27 | 15053606 | 12043333 |      508  62146 |        0 |        0
791.97/792.19	c  792s |      27 | 15084696 | 12070533 |      508  62251 |        0 |        0
793.97/794.19	c  794s |      27 | 15117492 | 12098233 |      508  62358 |        0 |        0
795.97/796.19	c  796s |      27 | 15153878 | 12128033 |      508  62473 |        0 |        0
797.97/798.19	c  798s |      27 | 15189989 | 12157533 |      508  62587 |        0 |        0
800.07/800.20	c  800s |      27 | 15228354 | 12187133 |      508  62701 |        0 |        0
802.07/802.21	c  802s |      27 | 15264415 | 12216133 |      508  62812 |        0 |        0
804.06/804.21	c  804s |      27 | 15302182 | 12245733 |      508  62927 |        0 |        0
806.06/806.22	c  806s |      27 | 15340349 | 12275333 |      508  63042 |        0 |        0
808.07/808.22	c  808s |      27 | 15378594 | 12304933 |      508  63156 |        0 |        0
810.07/810.22	c  810s |      27 | 15416009 | 12334533 |      508  63271 |        0 |        0
812.08/812.23	c  812s |      27 | 15454992 | 12364733 |      508  63389 |        0 |        0
814.07/814.23	c  814s |      27 | 15488708 | 12392533 |      508  63495 |        0 |        0
816.07/816.23	c  816s |      27 | 15523745 | 12420933 |      508  63604 |        0 |        0
818.07/818.24	c  818s |      27 | 15558900 | 12449433 |      508  63714 |        0 |        0
820.07/820.24	c  820s |      27 | 15594741 | 12477833 |      508  63823 |        0 |        0
822.07/822.24	c  822s |      27 | 15631863 | 12506733 |      508  63935 |        0 |        0
824.07/824.24	c  824s |      27 | 15666474 | 12535333 |      508  64046 |        0 |        0
826.06/826.25	c  826s |      27 | 15703552 | 12564633 |      508  64159 |        0 |        0
828.06/828.25	c  828s |      27 | 15737448 | 12592733 |      508  64267 |        0 |        0
830.06/830.26	c  830s |      27 | 15774201 | 12621233 |      508  64377 |        0 |        0
832.06/832.26	c  832s |      27 | 15808801 | 12649633 |      508  64487 |        0 |        0
834.07/834.27	c  834s |      27 | 15846805 | 12679133 |      508  64600 |        0 |        0
836.06/836.27	c  836s |      27 | 15884635 | 12708733 |      508  64715 |        0 |        0
838.06/838.28	c  838s |      27 | 15920836 | 12737733 |      508  64827 |        0 |        0
840.07/840.28	c  840s |      27 | 15956088 | 12766833 |      508  64940 |        0 |        0
842.07/842.28	c  842s |      27 | 15990951 | 12795633 |      508  65051 |        0 |        0
844.06/844.29	c  844s |      27 | 16028397 | 12825033 |      508  65165 |        0 |        0
846.07/846.29	c  846s |      27 | 16063035 | 12853233 |      508  65275 |        0 |        0
848.06/848.29	c  848s |      27 | 16097783 | 12881733 |      508  65385 |        0 |        0
850.06/850.29	c  850s |      27 | 16132280 | 12909833 |      508  65494 |        0 |        0
852.06/852.30	c  852s |      27 | 16166911 | 12937433 |      508  65600 |        0 |        0
854.16/854.30	c  854s |      27 | 16200097 | 12964833 |      508  65705 |        0 |        0
856.16/856.31	c  856s |      27 | 16231550 | 12991233 |      508  65807 |        0 |        0
858.17/858.31	c  858s |      27 | 16261295 | 13016833 |      508  65906 |        0 |        0
860.16/860.32	c  860s |      27 | 16293680 | 13043633 |      508  66009 |        0 |        0
862.16/862.32	c  862s |      27 | 16329542 | 13071533 |      508  66117 |        0 |        0
864.16/864.32	c  864s |      27 | 16364294 | 13099433 |      508  66225 |        0 |        0
866.16/866.33	c  866s |      27 | 16397879 | 13126733 |      508  66330 |        0 |        0
868.17/868.33	c  868s |      27 | 16432222 | 13154533 |      508  66438 |        0 |        0
870.16/870.33	c  870s |      27 | 16468576 | 13183533 |      508  66550 |        0 |        0
872.16/872.34	c  872s |      27 | 16503365 | 13212133 |      508  66661 |        0 |        0
874.15/874.34	c  874s |      27 | 16539534 | 13240933 |      508  66772 |        0 |        0
876.15/876.34	c  876s |      27 | 16576534 | 13270033 |      508  66885 |        0 |        0
878.16/878.34	c  878s |      27 | 16613665 | 13299133 |      508  66998 |        0 |        0
880.17/880.35	c  880s |      27 | 16649529 | 13328233 |      508  67110 |        0 |        0
882.16/882.35	c  882s |      27 | 16687363 | 13358133 |      508  67226 |        0 |        0
884.16/884.36	c  884s |      27 | 16727450 | 13387833 |      508  67341 |        0 |        0
886.16/886.36	c  886s |      27 | 16766309 | 13417733 |      508  67457 |        0 |        0
888.16/888.36	c  888s |      27 | 16803233 | 13447333 |      508  67572 |        0 |        0
890.16/890.37	c  890s |      27 | 16839444 | 13476333 |      508  67685 |        0 |        0
892.15/892.38	c  892s |      27 | 16873669 | 13504033 |      508  67792 |        0 |        0
894.15/894.38	c  894s |      27 | 16910428 | 13533033 |      508  67904 |        0 |        0
896.15/896.38	c  896s |      27 | 16947282 | 13561933 |      508  68016 |        0 |        0
898.15/898.39	c  898s |      27 | 16982933 | 13590433 |      508  68127 |        0 |        0
900.15/900.39	c  900s |      27 | 17017474 | 13618133 |      508  68235 |        0 |        0
902.16/902.39	c  902s |      27 | 17055674 | 13647233 |      508  68348 |        0 |        0
904.25/904.40	c  904s |      27 | 17092224 | 13676533 |      508  68462 |        0 |        0
906.25/906.40	c  906s |      27 | 17127920 | 13705533 |      508  68576 |        0 |        0
908.25/908.40	c  908s |      27 | 17164836 | 13734833 |      508  68689 |        0 |        0
910.25/910.41	c  910s |      27 | 17202870 | 13763733 |      508  68800 |        0 |        0
912.26/912.41	c  912s |      27 | 17240048 | 13792733 |      508  68912 |        0 |        0
914.26/914.42	c  914s |      27 | 17278939 | 13821933 |      508  69024 |        0 |        0
916.25/916.42	c  916s |      27 | 17315872 | 13850633 |      508  69135 |        0 |        0
918.25/918.43	c  918s |      27 | 17352510 | 13879233 |      508  69245 |        0 |        0
920.25/920.43	c  920s |      27 | 17389500 | 13907733 |      508  69355 |        0 |        0
922.25/922.44	c  922s |      27 | 17425949 | 13936133 |      508  69464 |        0 |        0
924.25/924.44	c  924s |      27 | 17461590 | 13963633 |      508  69570 |        0 |        0
926.25/926.44	c  926s |      27 | 17496877 | 13991133 |      508  69676 |        0 |        0
928.24/928.45	c  928s |      27 | 17532805 | 14019033 |      508  69784 |        0 |        0
930.24/930.45	c  930s |      27 | 17566267 | 14046233 |      508  69889 |        0 |        0
932.24/932.45	c  932s |      27 | 17599376 | 14073133 |      508  69992 |        0 |        0
934.25/934.46	c  934s |      27 | 17632673 | 14100033 |      508  70097 |        0 |        0
936.25/936.46	c  936s |      27 | 17668630 | 14128333 |      508  70206 |        0 |        0
938.24/938.47	c  938s |      27 | 17702023 | 14156033 |      508  70313 |        0 |        0
940.25/940.47	c  940s |      27 | 17734957 | 14183233 |      508  70417 |        0 |        0
942.25/942.47	c  942s |      27 | 17766128 | 14209333 |      508  70518 |        0 |        0
944.25/944.48	c  944s |      27 | 17797028 | 14235433 |      508  70618 |        0 |        0
946.26/946.48	c  946s |      27 | 17830606 | 14262133 |      508  70721 |        0 |        0
948.25/948.48	c  948s |      27 | 17866304 | 14290333 |      508  70831 |        0 |        0
950.25/950.48	c  950s |      27 | 17900702 | 14318133 |      508  70938 |        0 |        0
952.25/952.49	c  952s |      27 | 17936403 | 14346233 |      508  71047 |        0 |        0
954.25/954.49	c  954s |      27 | 17972150 | 14374133 |      508  71155 |        0 |        0
956.25/956.49	c  956s |      27 | 18008650 | 14402633 |      508  71265 |        0 |        0
958.25/958.49	c  958s |      27 | 18045586 | 14431333 |      508  71376 |        0 |        0
960.34/960.50	c  960s |      27 | 18084038 | 14460933 |      508  71491 |        0 |        0
962.34/962.50	c  962s |      27 | 18121354 | 14490133 |      508  71606 |        0 |        0
964.34/964.50	c  964s |      27 | 18159237 | 14519533 |      508  71719 |        0 |        0
966.34/966.51	c  966s |      27 | 18196352 | 14548533 |      508  71831 |        0 |        0
968.34/968.51	c  968s |      27 | 18231331 | 14576433 |      508  71939 |        0 |        0
970.35/970.51	c  970s |      27 | 18266707 | 14604233 |      508  72046 |        0 |        0
972.34/972.51	c  972s |      27 | 18300832 | 14631933 |      508  72153 |        0 |        0
974.34/974.52	c  974s |      27 | 18336023 | 14659933 |      508  72262 |        0 |        0
976.34/976.52	c  976s |      27 | 18370654 | 14687933 |      508  72370 |        0 |        0
978.34/978.53	c  978s |      27 | 18405513 | 14715633 |      508  72477 |        0 |        0
980.35/980.53	c  980s |      27 | 18443845 | 14745133 |      508  72592 |        0 |        0
982.34/982.53	c  982s |      27 | 18479232 | 14773333 |      508  72701 |        0 |        0
984.34/984.54	c  984s |      27 | 18514346 | 14801533 |      508  72811 |        0 |        0
986.34/986.54	c  986s |      27 | 18548140 | 14828633 |      508  72916 |        0 |        0
988.34/988.54	c  988s |      27 | 18579847 | 14854933 |      508  73017 |        0 |        0
990.34/990.55	c  990s |      27 | 18609892 | 14880433 |      508  73116 |        0 |        0
992.35/992.55	c  992s |      27 | 18645206 | 14908133 |      508  73223 |        0 |        0
994.34/994.55	c  994s |      27 | 18681420 | 14936433 |      508  73333 |        0 |        0
996.34/996.55	c  996s |      27 | 18717499 | 14964933 |      508  73444 |        0 |        0
998.34/998.55	c  998s |      27 | 18753458 | 14993333 |      508  73554 |        0 |        0
1000.34/1000.56	c 1000s |      27 | 18787402 | 15021533 |      508  73663 |        0 |        0
1002.35/1002.56	c 1002s |      27 | 18820425 | 15048633 |      508  73768 |        0 |        0
1004.34/1004.56	c 1004s |      27 | 18855174 | 15076333 |      508  73875 |        0 |        0
1006.34/1006.57	c 1006s |      27 | 18888091 | 15103333 |      508  73980 |        0 |        0
1008.33/1008.57	c 1008s |      27 | 18924286 | 15131833 |      508  74091 |        0 |        0
1010.33/1010.58	c 1010s |      27 | 18961104 | 15160933 |      508  74204 |        0 |        0
1012.33/1012.58	c 1012s |      27 | 18997734 | 15189833 |      508  74317 |        0 |        0
1014.34/1014.59	c 1014s |      27 | 19032961 | 15218233 |      508  74426 |        0 |        0
1016.33/1016.59	c 1016s |      27 | 19066281 | 15246333 |      508  74534 |        0 |        0
1018.33/1018.59	c 1018s |      27 | 19099030 | 15274033 |      508  74641 |        0 |        0
1020.43/1020.60	c 1020s |      27 | 19130914 | 15301533 |      508  74747 |        0 |        0
1022.43/1022.60	c 1022s |      27 | 19163385 | 15328933 |      508  74853 |        0 |        0
1024.43/1024.60	c 1024s |      27 | 19197316 | 15356933 |      508  74961 |        0 |        0
1026.44/1026.61	c 1026s |      27 | 19231681 | 15384833 |      508  75069 |        0 |        0
1028.43/1028.61	c 1028s |      27 | 19265308 | 15412633 |      508  75176 |        0 |        0
1030.43/1030.61	c 1030s |      27 | 19298653 | 15440833 |      508  75285 |        0 |        0
1032.43/1032.61	c 1032s |      27 | 19332444 | 15468933 |      508  75395 |        0 |        0
1034.44/1034.62	c 1034s |      27 | 19367250 | 15498033 |      508  75508 |        0 |        0
1036.44/1036.62	c 1036s |      27 | 19401503 | 15526033 |      508  75616 |        0 |        0
1038.44/1038.62	c 1038s |      27 | 19436421 | 15554333 |      508  75726 |        0 |        0
1040.43/1040.63	c 1040s |      27 | 19472044 | 15583233 |      508  75838 |        0 |        0
1042.43/1042.63	c 1042s |      27 | 19508448 | 15611833 |      508  75949 |        0 |        0
1044.43/1044.63	c 1044s |      27 | 19546011 | 15641033 |      508  76062 |        0 |        0
1046.44/1046.64	c 1046s |      27 | 19582840 | 15670133 |      508  76175 |        0 |        0
1048.44/1048.65	c 1048s |      27 | 19617155 | 15698333 |      508  76284 |        0 |        0
1050.43/1050.65	c 1050s |      27 | 19650057 | 15726133 |      508  76392 |        0 |        0
1052.43/1052.65	c 1052s |      27 | 19683824 | 15754033 |      508  76501 |        0 |        0
1054.43/1054.65	c 1054s |      27 | 19722374 | 15783933 |      508  76617 |        0 |        0
1056.43/1056.66	c 1056s |      27 | 19761557 | 15814033 |      508  76735 |        0 |        0
1058.44/1058.66	c 1058s |      27 | 19802583 | 15844433 |      508  76853 |        0 |        0
1060.43/1060.66	c 1060s |      27 | 19838951 | 15873333 |      508  76965 |        0 |        0
1062.43/1062.66	c 1062s |      27 | 19876550 | 15902633 |      508  77078 |        0 |        0
1064.43/1064.67	c 1064s |      27 | 19911962 | 15931033 |      508  77188 |        0 |        0
1066.43/1066.67	c 1066s |      27 | 19948866 | 15960433 |      508  77302 |        0 |        0
1068.43/1068.68	c 1068s |      27 | 19985734 | 15989233 |      508  77414 |        0 |        0
1070.43/1070.68	c 1070s |      27 | 20020607 | 16017133 |      508  77523 |        0 |        0
1072.43/1072.68	c 1072s |      27 | 20056815 | 16045333 |      508  77632 |        0 |        0
1074.42/1074.68	c 1074s |      27 | 20092645 | 16073633 |      508  77742 |        0 |        0
1076.43/1076.68	c 1076s |      27 | 20130066 | 16102233 |      508  77853 |        0 |        0
1078.43/1078.69	c 1078s |      27 | 20167974 | 16131533 |      508  77968 |        0 |        0
1080.44/1080.69	c 1080s |      27 | 20203589 | 16160033 |      508  78079 |        0 |        0
1082.43/1082.70	c 1082s |      27 | 20241299 | 16189133 |      508  78192 |        0 |        0
1084.53/1084.70	c 1084s |      27 | 20274625 | 16216833 |      508  78299 |        0 |        0
1086.53/1086.70	c 1086s |      27 | 20307518 | 16244333 |      508  78406 |        0 |        0
1088.53/1088.70	c 1088s |      27 | 20342532 | 16272733 |      508  78516 |        0 |        0
1090.53/1090.70	c 1090s |      27 | 20378249 | 16301633 |      508  78628 |        0 |        0
1092.53/1092.71	c 1092s |      27 | 20418093 | 16331633 |      508  78745 |        0 |        0
1094.52/1094.71	c 1094s |      27 | 20457069 | 16361033 |      508  78860 |        0 |        0
1096.52/1096.72	c 1096s |      27 | 20492779 | 16389633 |      508  78972 |        0 |        0
1098.52/1098.72	c 1098s |      27 | 20528861 | 16419033 |      508  79086 |        0 |        0
1100.52/1100.73	c 1100s |      27 | 20566977 | 16448933 |      508  79203 |        0 |        0
1102.52/1102.73	c 1102s |      27 | 20604208 | 16478333 |      508  79318 |        0 |        0
1104.53/1104.73	c 1104s |      27 | 20638860 | 16506333 |      508  79427 |        0 |        0
1106.52/1106.73	c 1106s |      27 | 20674763 | 16535133 |      508  79540 |        0 |        0
1108.52/1108.74	c 1108s |      27 | 20710123 | 16563633 |      508  79651 |        0 |        0
1110.52/1110.74	c 1110s |      27 | 20744580 | 16591833 |      508  79761 |        0 |        0
1112.52/1112.74	c 1112s |      27 | 20776265 | 16618733 |      508  79865 |        0 |        0
1114.53/1114.75	c 1114s |      27 | 20808018 | 16645433 |      508  79967 |        0 |        0
1116.52/1116.75	c 1116s |      27 | 20841820 | 16673133 |      508  80073 |        0 |        0
1118.52/1118.76	c 1118s |      27 | 20874824 | 16700433 |      508  80178 |        0 |        0
1120.52/1120.76	c 1120s |      27 | 20905757 | 16726733 |      508  80279 |        0 |        0
1122.52/1122.77	c 1122s |      27 | 20940187 | 16754233 |      508  80385 |        0 |        0
1124.52/1124.77	c 1124s |      27 | 20973280 | 16781133 |      508  80489 |        0 |        0
1126.52/1126.78	c 1126s |      27 | 21006740 | 16808333 |      508  80593 |        0 |        0
1128.52/1128.78	c 1128s |      27 | 21038589 | 16834933 |      508  80695 |        0 |        0
1130.52/1130.78	c 1130s |      27 | 21075405 | 16864033 |      508  80806 |        0 |        0
1132.52/1132.78	c 1132s |      27 | 21106630 | 16890533 |      508  80908 |        0 |        0
1134.52/1134.79	c 1134s |      27 | 21139981 | 16918133 |      508  81014 |        0 |        0
1136.53/1136.79	c 1136s |      27 | 21172809 | 16945233 |      508  81119 |        0 |        0
1138.52/1138.79	c 1138s |      27 | 21209776 | 16974033 |      559  81229 |        0 |        0
1140.62/1140.80	c 1140s |      27 | 21244535 | 17001533 |      559  81326 |        0 |        0
1142.62/1142.80	c 1142s |      27 | 21279793 | 17029333 |      559  81424 |        0 |        0
1144.62/1144.81	c 1144s |      27 | 21314041 | 17056633 |      559  81520 |        0 |        0
1146.61/1146.82	c 1146s |      27 | 21347686 | 17084133 |      559  81616 |        0 |        0
1147.42/1147.62	c 1147s |      28 | 21361546 | 17095205 |      559  81655 |        0 |        0
1149.41/1149.62	c 1149s |      28 | 21394657 | 17122105 |      559  81748 |        0 |        0
1151.41/1151.63	c 1151s |      28 | 21427220 | 17148705 |      559  81840 |        0 |        0
1153.41/1153.63	c 1153s |      28 | 21461394 | 17175905 |      559  81935 |        0 |        0
1155.41/1155.63	c 1155s |      28 | 21495929 | 17203405 |      559  82031 |        0 |        0
1157.43/1157.63	c 1157s |      28 | 21530669 | 17230805 |      559  82127 |        0 |        0
1159.42/1159.64	c 1159s |      28 | 21565297 | 17258405 |      559  82223 |        0 |        0
1161.42/1161.65	c 1161s |      28 | 21598267 | 17285105 |      559  82317 |        0 |        0
1163.41/1163.65	c 1163s |      28 | 21633165 | 17312605 |      559  82413 |        0 |        0
1165.41/1165.65	c 1165s |      28 | 21666335 | 17339505 |      559  82507 |        0 |        0
1167.41/1167.65	c 1167s |      28 | 21699420 | 17365905 |      559  82599 |        0 |        0
1169.42/1169.66	c 1169s |      28 | 21728528 | 17390505 |      559  82685 |        0 |        0
1171.41/1171.66	c 1171s |      28 | 21760663 | 17416705 |      559  82777 |        0 |        0
1173.41/1173.67	c 1173s |      28 | 21794450 | 17444005 |      559  82873 |        0 |        0
1175.41/1175.67	c 1175s |      28 | 21828906 | 17471605 |      559  82970 |        0 |        0
1177.42/1177.68	c 1177s |      28 | 21863861 | 17499405 |      559  83068 |        0 |        0
1179.42/1179.68	c 1179s |      28 | 21894113 | 17525205 |      559  83157 |        0 |        0
1181.41/1181.68	c 1181s |      28 | 21927260 | 17552105 |      559  83251 |        0 |        0
1183.41/1183.69	c 1183s |      28 | 21961525 | 17579905 |      559  83348 |        0 |        0
1185.41/1185.69	c 1185s |      28 | 21997598 | 17608505 |      559  83449 |        0 |        0
1187.51/1187.70	c 1187s |      28 | 22031786 | 17636305 |      559  83546 |        0 |        0
1189.51/1189.70	c 1189s |      28 | 22061251 | 17661905 |      559  83635 |        0 |        0
1191.42/1191.70	c 1191s |      28 | 22092504 | 17688105 |      559  83727 |        0 |        0
1193.51/1193.70	c 1193s |      28 | 22128426 | 17716305 |      559  83826 |        0 |        0
1195.51/1195.71	c 1195s |      28 | 22163734 | 17744305 |      559  83924 |        0 |        0
1197.51/1197.71	c 1197s |      28 | 22198326 | 17771905 |      559  84021 |        0 |        0
1199.51/1199.72	c 1199s |      28 | 22233507 | 17799705 |      559  84119 |        0 |        0
1201.51/1201.72	c 1201s |      28 | 22267225 | 17826805 |      559  84215 |        0 |        0
1203.51/1203.73	c 1203s |      28 | 22301544 | 17854005 |      559  84311 |        0 |        0
1205.50/1205.73	c 1205s |      28 | 22335544 | 17881205 |      559  84407 |        0 |        0
1207.50/1207.74	c 1207s |      28 | 22368543 | 17908105 |      559  84501 |        0 |        0
1209.50/1209.74	c 1209s |      28 | 22401349 | 17934905 |      559  84594 |        0 |        0
1211.50/1211.75	c 1211s |      28 | 22432081 | 17960805 |      559  84685 |        0 |        0
1213.51/1213.76	c 1213s |      28 | 22462981 | 17986605 |      559  84775 |        0 |        0
1215.51/1215.76	c 1215s |      28 | 22493139 | 18012205 |      559  84865 |        0 |        0
1217.51/1217.77	c 1217s |      28 | 22525629 | 18038805 |      559  84958 |        0 |        0
1219.51/1219.77	c 1219s |      28 | 22557595 | 18065305 |      559  85051 |        0 |        0
1221.51/1221.78	c 1221s |      28 | 22588941 | 18091305 |      559  85142 |        0 |        0
1223.50/1223.78	c 1223s |      28 | 22621793 | 18118105 |      559  85236 |        0 |        0
1225.51/1225.78	c 1225s |      28 | 22656583 | 18145805 |      559  85333 |        0 |        0
1227.50/1227.78	c 1227s |      28 | 22689696 | 18172905 |      559  85428 |        0 |        0
1229.50/1229.79	c 1229s |      28 | 22724335 | 18200505 |      559  85525 |        0 |        0
1231.50/1231.80	c 1231s |      28 | 22757878 | 18227705 |      559  85621 |        0 |        0
1233.60/1233.80	c 1233s |      28 | 22790970 | 18254705 |      559  85716 |        0 |        0
1235.60/1235.80	c 1235s |      28 | 22823606 | 18281405 |      559  85810 |        0 |        0
1237.50/1237.80	c 1237s |      28 | 22860317 | 18309905 |      559  85909 |        0 |        0
1239.60/1239.81	c 1239s |      28 | 22896165 | 18337905 |      559  86008 |        0 |        0
1241.59/1241.81	c 1241s |      28 | 22931447 | 18365805 |      559  86106 |        0 |        0
1243.59/1243.81	c 1243s |      28 | 22966415 | 18393505 |      559  86203 |        0 |        0
1245.59/1245.81	c 1245s |      28 | 23001947 | 18421305 |      559  86301 |        0 |        0
1247.59/1247.82	c 1247s |      28 | 23036740 | 18449305 |      559  86400 |        0 |        0
1249.59/1249.82	c 1249s |      28 | 23071016 | 18477105 |      559  86498 |        0 |        0
1251.58/1251.83	c 1251s |      28 | 23104926 | 18504605 |      559  86595 |        0 |        0
1253.58/1253.83	c 1253s |      28 | 23140338 | 18532805 |      559  86694 |        0 |        0
1255.59/1255.83	c 1255s |      28 | 23174152 | 18560505 |      559  86792 |        0 |        0
1257.59/1257.83	c 1257s |      28 | 23208534 | 18588405 |      559  86891 |        0 |        0
1259.60/1259.83	c 1259s |      28 | 23242913 | 18616105 |      559  86988 |        0 |        0
1261.59/1261.83	c 1261s |      28 | 23277640 | 18644305 |      559  87088 |        0 |        0
1263.58/1263.84	c 1263s |      28 | 23310532 | 18671705 |      559  87184 |        0 |        0
1265.58/1265.84	c 1265s |      28 | 23343501 | 18698505 |      559  87278 |        0 |        0
1267.58/1267.85	c 1267s |      28 | 23374798 | 18725105 |      559  87371 |        0 |        0
1269.59/1269.85	c 1269s |      28 | 23408737 | 18753105 |      559  87469 |        0 |        0
1271.58/1271.85	c 1271s |      28 | 23442384 | 18780605 |      559  87566 |        0 |        0
1273.58/1273.86	c 1273s |      28 | 23475063 | 18807805 |      559  87661 |        0 |        0
1275.57/1275.86	c 1275s |      28 | 23508275 | 18835005 |      559  87756 |        0 |        0
1277.58/1277.86	c 1277s |      28 | 23540516 | 18861705 |      559  87849 |        0 |        0
1279.58/1279.87	c 1279s |      28 | 23573433 | 18889005 |      559  87945 |        0 |        0
1281.59/1281.87	c 1281s |      28 | 23606585 | 18916305 |      559  88041 |        0 |        0
1283.58/1283.87	c 1283s |      28 | 23641984 | 18944505 |      559  88140 |        0 |        0
1285.58/1285.88	c 1285s |      28 | 23677367 | 18972905 |      559  88241 |        0 |        0
1287.58/1287.88	c 1287s |      28 | 23710124 | 19000205 |      559  88337 |        0 |        0
1289.58/1289.88	c 1289s |      28 | 23745558 | 19028405 |      559  88435 |        0 |        0
1291.58/1291.88	c 1291s |      28 | 23781481 | 19056305 |      559  88533 |        0 |        0
1293.57/1293.89	c 1293s |      28 | 23816112 | 19084105 |      559  88631 |        0 |        0
1295.57/1295.89	c 1295s |      28 | 23851405 | 19112505 |      559  88731 |        0 |        0
1297.57/1297.90	c 1297s |      28 | 23884597 | 19139605 |      559  88827 |        0 |        0
1299.67/1299.90	c 1299s |      28 | 23917872 | 19167005 |      559  88923 |        0 |        0
1301.66/1301.90	c 1301s |      28 | 23952621 | 19195205 |      559  89022 |        0 |        0
1303.67/1303.91	c 1303s |      28 | 23984683 | 19221805 |      559  89116 |        0 |        0
1305.66/1305.91	c 1305s |      28 | 24018372 | 19249405 |      559  89214 |        0 |        0
1307.66/1307.91	c 1307s |      28 | 24053525 | 19277505 |      559  89313 |        0 |        0
1309.66/1309.92	c 1309s |      28 | 24090542 | 19306705 |      559  89416 |        0 |        0
1311.66/1311.92	c 1311s |      28 | 24125529 | 19334305 |      559  89513 |        0 |        0
1313.66/1313.92	c 1313s |      28 | 24160593 | 19362505 |      559  89613 |        0 |        0
1315.67/1315.93	c 1315s |      28 | 24197020 | 19391405 |      559  89715 |        0 |        0
1317.66/1317.93	c 1317s |      28 | 24232084 | 19419705 |      559  89815 |        0 |        0
1319.66/1319.94	c 1319s |      28 | 24268928 | 19448405 |      559  89916 |        0 |        0
1321.66/1321.94	c 1321s |      28 | 24303782 | 19476705 |      559  90017 |        0 |        0
1323.65/1323.94	c 1323s |      28 | 24338204 | 19505305 |      559  90118 |        0 |        0
1325.66/1325.94	c 1325s |      28 | 24370918 | 19531505 |      559  90209 |        0 |        0
1327.65/1327.94	c 1327s |      28 | 24403085 | 19558005 |      559  90301 |        0 |        0
1329.65/1329.95	c 1329s |      28 | 24436060 | 19584605 |      559  90394 |        0 |        0
1331.65/1331.95	c 1331s |      28 | 24470552 | 19611705 |      559  90489 |        0 |        0
1333.64/1333.96	c 1333s |      28 | 24508330 | 19640505 |      559  90590 |        0 |        0
1335.65/1335.96	c 1335s |      28 | 24543221 | 19667905 |      559  90686 |        0 |        0
1337.66/1337.96	c 1337s |      28 | 24576158 | 19694705 |      559  90780 |        0 |        0
1339.65/1339.97	c 1339s |      28 | 24611225 | 19722405 |      559  90876 |        0 |        0
1341.65/1341.97	c 1341s |      28 | 24648055 | 19750505 |      559  90975 |        0 |        0
1343.64/1343.97	c 1343s |      28 | 24682222 | 19778005 |      559  91072 |        0 |        0
1345.64/1345.98	c 1345s |      28 | 24715048 | 19805305 |      559  91168 |        0 |        0
1347.65/1347.99	c 1347s |      28 | 24750949 | 19833605 |      559  91267 |        0 |        0
1349.64/1349.99	c 1349s |      28 | 24784970 | 19861505 |      559  91365 |        0 |        0
1351.64/1351.99	c 1351s |      28 | 24818390 | 19888605 |      559  91460 |        0 |        0
1353.74/1354.00	c 1353s |      28 | 24853054 | 19916305 |      559  91557 |        0 |        0
1355.74/1356.00	c 1355s |      28 | 24886600 | 19943605 |      559  91653 |        0 |        0
1357.74/1358.00	c 1357s |      28 | 24921474 | 19971705 |      559  91751 |        0 |        0
1359.74/1360.00	c 1359s |      28 | 24955403 | 19999105 |      559  91848 |        0 |        0
1361.73/1362.01	c 1361s |      28 | 24988829 | 20026305 |      559  91944 |        0 |        0
1363.73/1364.01	c 1364s |      28 | 25023106 | 20053905 |      559  92041 |        0 |        0
1365.73/1366.02	c 1366s |      28 | 25057020 | 20081205 |      559  92137 |        0 |        0
1367.73/1368.02	c 1368s |      28 | 25093956 | 20109605 |      559  92237 |        0 |        0
1369.73/1370.03	c 1370s |      28 | 25130078 | 20138005 |      559  92338 |        0 |        0
1371.73/1372.03	c 1372s |      28 | 25165005 | 20166005 |      559  92437 |        0 |        0
1373.72/1374.04	c 1374s |      28 | 25200456 | 20194005 |      559  92535 |        0 |        0
1375.72/1376.04	c 1376s |      28 | 25235557 | 20222205 |      559  92634 |        0 |        0
1377.72/1378.05	c 1378s |      28 | 25271539 | 20250505 |      559  92734 |        0 |        0
1379.72/1380.05	c 1380s |      28 | 25305598 | 20278105 |      559  92831 |        0 |        0
1381.72/1382.06	c 1382s |      28 | 25340115 | 20305705 |      559  92928 |        0 |        0
1383.71/1384.07	c 1384s |      28 | 25374336 | 20332905 |      559  93023 |        0 |        0
1385.71/1386.07	c 1386s |      28 | 25408938 | 20360305 |      559  93120 |        0 |        0
1387.71/1388.07	c 1388s |      28 | 25442538 | 20387905 |      559  93217 |        0 |        0
1389.72/1390.08	c 1390s |      28 | 25475550 | 20415005 |      559  93313 |        0 |        0
1391.71/1392.08	c 1392s |      28 | 25505908 | 20441005 |      559  93405 |        0 |        0
1393.72/1394.09	c 1394s |      28 | 25538429 | 20468005 |      559  93500 |        0 |        0
1395.71/1396.09	c 1396s |      28 | 25571740 | 20494905 |      559  93596 |        0 |        0
1397.71/1398.09	c 1398s |      28 | 25606736 | 20522305 |      559  93692 |        0 |        0
1399.71/1400.09	c 1400s |      28 | 25638620 | 20548605 |      559  93784 |        0 |        0
1401.71/1402.10	c 1402s |      28 | 25669570 | 20574605 |      559  93875 |        0 |        0
1403.81/1404.10	c 1404s |      28 | 25701512 | 20600505 |      559  93967 |        0 |        0
1405.81/1406.11	c 1406s |      28 | 25737054 | 20628305 |      559  94065 |        0 |        0
1407.80/1408.11	c 1408s |      28 | 25769891 | 20655405 |      559  94160 |        0 |        0
1409.80/1410.12	c 1410s |      28 | 25803708 | 20682805 |      559  94257 |        0 |        0
1411.81/1412.12	c 1412s |      28 | 25834599 | 20708905 |      559  94349 |        0 |        0
1413.80/1414.12	c 1414s |      28 | 25868167 | 20736205 |      559  94445 |        0 |        0
1415.81/1416.13	c 1416s |      28 | 25900429 | 20763105 |      559  94541 |        0 |        0
1417.80/1418.14	c 1418s |      28 | 25934043 | 20791005 |      559  94639 |        0 |        0
1419.80/1420.14	c 1420s |      28 | 25969372 | 20819505 |      559  94740 |        0 |        0
1421.79/1422.14	c 1422s |      28 | 26002555 | 20846805 |      559  94836 |        0 |        0
1423.79/1424.14	c 1424s |      28 | 26035593 | 20874305 |      559  94933 |        0 |        0
1425.79/1426.15	c 1426s |      28 | 26069389 | 20902305 |      559  95032 |        0 |        0
1427.80/1428.15	c 1428s |      28 | 26103472 | 20930005 |      559  95130 |        0 |        0
1429.79/1430.15	c 1430s |      28 | 26137840 | 20957805 |      559  95228 |        0 |        0
1431.79/1432.15	c 1432s |      28 | 26173480 | 20986505 |      559  95330 |        0 |        0
1433.79/1434.16	c 1434s |      28 | 26206900 | 21014105 |      559  95428 |        0 |        0
1435.78/1436.16	c 1436s |      28 | 26239476 | 21040905 |      559  95522 |        0 |        0
1437.79/1438.17	c 1438s |      28 | 26275611 | 21068605 |      559  95619 |        0 |        0
1439.78/1440.17	c 1440s |      28 | 26309981 | 21096005 |      559  95715 |        0 |        0
1441.78/1442.17	c 1442s |      28 | 26346183 | 21124305 |      559  95814 |        0 |        0
1443.78/1444.18	c 1444s |      28 | 26378104 | 21150805 |      559  95907 |        0 |        0
1445.79/1446.18	c 1446s |      28 | 26409549 | 21177105 |      559  96000 |        0 |        0
1447.79/1448.18	c 1448s |      28 | 26443559 | 21204305 |      559  96095 |        0 |        0
1449.79/1450.19	c 1450s |      28 | 26479880 | 21232405 |      559  96194 |        0 |        0
1451.78/1452.19	c 1452s |      28 | 26514369 | 21260005 |      559  96292 |        0 |        0
1453.78/1454.20	c 1454s |      28 | 26550035 | 21287905 |      559  96390 |        0 |        0
1455.88/1456.20	c 1456s |      28 | 26585417 | 21315605 |      559  96487 |        0 |        0
1457.88/1458.20	c 1458s |      28 | 26620509 | 21343705 |      559  96587 |        0 |        0
1459.88/1460.21	c 1460s |      28 | 26654859 | 21371605 |      559  96685 |        0 |        0
1461.88/1462.21	c 1462s |      28 | 26690205 | 21400005 |      559  96786 |        0 |        0
1463.87/1464.22	c 1464s |      28 | 26726781 | 21428705 |      559  96887 |        0 |        0
1465.87/1466.22	c 1466s |      28 | 26763833 | 21457305 |      559  96989 |        0 |        0
1467.87/1468.22	c 1468s |      28 | 26799071 | 21485005 |      559  97086 |        0 |        0
1469.87/1470.22	c 1470s |      28 | 26834194 | 21513105 |      559  97185 |        0 |        0
1471.87/1472.23	c 1472s |      28 | 26869041 | 21540905 |      559  97283 |        0 |        0
1473.86/1474.24	c 1474s |      28 | 26901950 | 21568405 |      559  97380 |        0 |        0
1475.86/1476.24	c 1476s |      28 | 26931759 | 21594305 |      559  97471 |        0 |        0
1477.87/1478.24	c 1478s |      28 | 26965076 | 21621705 |      559  97568 |        0 |        0
1479.87/1480.25	c 1480s |      28 | 26998397 | 21648705 |      559  97663 |        0 |        0
1481.86/1482.25	c 1482s |      28 | 27031026 | 21675505 |      559  97758 |        0 |        0
1483.87/1484.25	c 1484s |      28 | 27066836 | 21703805 |      559  97858 |        0 |        0
1485.86/1486.26	c 1486s |      28 | 27102162 | 21731705 |      559  97957 |        0 |        0
1487.86/1488.26	c 1488s |      28 | 27138047 | 21760105 |      559  98058 |        0 |        0
1489.86/1490.26	c 1490s |      28 | 27171301 | 21787105 |      559  98152 |        0 |        0
1491.86/1492.27	c 1492s |      28 | 27205364 | 21814105 |      559  98247 |        0 |        0
1493.86/1494.27	c 1494s |      28 | 27236980 | 21840305 |      559  98339 |        0 |        0
1495.85/1496.28	c 1496s |      28 | 27265085 | 21864905 |      559  98426 |        0 |        0
1497.85/1498.28	c 1498s |      28 | 27293854 | 21889805 |      559  98513 |        0 |        0
1499.85/1500.29	c 1500s |      28 | 27324033 | 21915405 |      559  98604 |        0 |        0
1501.85/1502.29	c 1502s |      28 | 27354769 | 21941505 |      559  98696 |        0 |        0
1503.95/1504.30	c 1504s |      28 | 27387655 | 21968805 |      559  98793 |        0 |        0
1505.85/1506.30	c 1506s |      28 | 27420354 | 21995905 |      559  98888 |        0 |        0
1507.94/1508.30	c 1508s |      28 | 27455422 | 22023705 |      559  98986 |        0 |        0
1509.94/1510.30	c 1510s |      28 | 27488409 | 22050605 |      559  99082 |        0 |        0
1511.94/1512.31	c 1512s |      28 | 27522106 | 22077605 |      559  99177 |        0 |        0
1513.95/1514.31	c 1514s |      28 | 27555836 | 22105205 |      559  99275 |        0 |        0
1515.95/1516.32	c 1516s |      28 | 27589467 | 22132305 |      559  99371 |        0 |        0
1517.95/1518.32	c 1518s |      28 | 27621538 | 22158905 |      559  99465 |        0 |        0
1519.94/1520.33	c 1520s |      28 | 27654388 | 22186205 |      559  99562 |        0 |        0
1521.94/1522.33	c 1522s |      28 | 27686152 | 22212905 |      559  99657 |        0 |        0
1523.94/1524.33	c 1524s |      28 | 27715396 | 22238605 |      559  99749 |        0 |        0
1525.94/1526.34	c 1526s |      28 | 27747079 | 22265405 |      559  99843 |        0 |        0
1527.95/1528.34	c 1528s |      28 | 27781633 | 22293705 |      559  99944 |        0 |        0
1529.94/1530.34	c 1530s |      28 | 27817169 | 22322505 |      559 100046 |        0 |        0
1531.93/1532.35	c 1532s |      28 | 27852333 | 22350705 |      559 100146 |        0 |        0
1533.93/1534.35	c 1534s |      28 | 27887740 | 22379005 |      559 100246 |        0 |        0
1535.93/1536.35	c 1536s |      28 | 27923517 | 22407505 |      559 100347 |        0 |        0
1537.93/1538.36	c 1538s |      28 | 27956597 | 22434805 |      559 100444 |        0 |        0
1539.94/1540.36	c 1540s |      28 | 27993050 | 22463405 |      559 100546 |        0 |        0
1541.92/1542.36	c 1542s |      28 | 28029330 | 22492305 |      559 100648 |        0 |        0
1543.93/1544.37	c 1544s |      28 | 28063955 | 22520305 |      559 100748 |        0 |        0
1545.93/1546.37	c 1546s |      28 | 28097907 | 22548105 |      559 100846 |        0 |        0
1547.93/1548.38	c 1548s |      28 | 28127466 | 22573505 |      559 100935 |        0 |        0
1549.93/1550.38	c 1550s |      28 | 28157345 | 22598405 |      559 101021 |        0 |        0
1551.92/1552.39	c 1552s |      28 | 28187255 | 22623605 |      559 101109 |        0 |        0
1553.92/1554.39	c 1554s |      28 | 28218763 | 22649505 |      559 101200 |        0 |        0
1555.92/1556.39	c 1556s |      28 | 28251063 | 22675605 |      559 101291 |        0 |        0
1558.02/1558.40	c 1558s |      28 | 28282606 | 22701705 |      559 101382 |        0 |        0
1560.02/1560.40	c 1560s |      28 | 28316780 | 22728805 |      559 101477 |        0 |        0
1562.02/1562.41	c 1562s |      28 | 28350790 | 22755905 |      559 101572 |        0 |        0
1564.02/1564.41	c 1564s |      28 | 28382538 | 22782105 |      559 101664 |        0 |        0
1566.01/1566.41	c 1566s |      28 | 28415205 | 22808705 |      559 101757 |        0 |        0
1568.01/1568.42	c 1568s |      28 | 28447467 | 22835305 |      559 101850 |        0 |        0
1570.01/1570.42	c 1570s |      28 | 28478387 | 22861205 |      559 101940 |        0 |        0
1572.01/1572.42	c 1572s |      28 | 28509932 | 22887305 |      559 102031 |        0 |        0
1574.01/1574.42	c 1574s |      28 | 28541298 | 22913105 |      559 102122 |        0 |        0
1576.00/1576.43	c 1576s |      28 | 28571509 | 22938405 |      559 102210 |        0 |        0
1578.00/1578.43	c 1578s |      28 | 28602530 | 22964005 |      559 102300 |        0 |        0
1580.01/1580.44	c 1580s |      28 | 28631277 | 22988905 |      559 102387 |        0 |        0
1582.01/1582.44	c 1582s |      28 | 28658200 | 23012605 |      559 102469 |        0 |        0
1584.01/1584.44	c 1584s |      28 | 28686686 | 23037205 |      559 102555 |        0 |        0
1586.00/1586.45	c 1586s |      28 | 28715691 | 23061905 |      559 102642 |        0 |        0
1588.00/1588.45	c 1588s |      28 | 28743540 | 23086105 |      559 102727 |        0 |        0
1590.00/1590.45	c 1590s |      28 | 28771134 | 23110105 |      559 102811 |        0 |        0
1592.00/1592.46	c 1592s |      28 | 28800242 | 23134805 |      559 102898 |        0 |        0
1594.00/1594.46	c 1594s |      28 | 28829981 | 23160305 |      559 102988 |        0 |        0
1596.00/1596.46	c 1596s |      28 | 28859308 | 23185505 |      559 103077 |        0 |        0
1597.99/1598.47	c 1598s |      28 | 28889679 | 23210905 |      559 103165 |        0 |        0
1599.99/1600.47	c 1600s |      28 | 28919918 | 23236405 |      559 103255 |        0 |        0
1601.99/1602.48	c 1602s |      28 | 28951498 | 23262405 |      559 103346 |        0 |        0
1603.99/1604.48	c 1604s |      28 | 28983797 | 23288705 |      559 103438 |        0 |        0
1605.99/1606.49	c 1606s |      28 | 29015542 | 23315005 |      559 103531 |        0 |        0
1607.98/1608.49	c 1608s |      28 | 29048020 | 23341405 |      559 103623 |        0 |        0
1609.98/1610.49	c 1610s |      28 | 29079649 | 23367705 |      559 103716 |        0 |        0
1612.08/1612.50	c 1612s |      28 | 29110130 | 23393705 |      559 103808 |        0 |        0
1614.09/1614.50	c 1614s |      28 | 29143736 | 23420705 |      559 103902 |        0 |        0
1616.09/1616.50	c 1616s |      28 | 29174939 | 23447005 |      559 103995 |        0 |        0
1618.09/1618.51	c 1618s |      28 | 29205176 | 23472605 |      559 104084 |        0 |        0
1620.08/1620.51	c 1620s |      28 | 29236098 | 23498805 |      559 104177 |        0 |        0
1622.08/1622.51	c 1622s |      28 | 29267615 | 23524905 |      559 104269 |        0 |        0
1624.08/1624.52	c 1624s |      28 | 29299758 | 23551105 |      559 104360 |        0 |        0
1626.08/1626.52	c 1626s |      28 | 29332189 | 23577305 |      559 104452 |        0 |        0
1628.08/1628.53	c 1628s |      28 | 29362913 | 23603005 |      559 104541 |        0 |        0
1630.08/1630.53	c 1630s |      28 | 29394896 | 23629005 |      559 104632 |        0 |        0
1632.07/1632.53	c 1632s |      28 | 29427187 | 23655005 |      559 104724 |        0 |        0
1634.07/1634.54	c 1634s |      28 | 29457857 | 23681205 |      559 104816 |        0 |        0
1636.07/1636.55	c 1636s |      28 | 29489198 | 23707305 |      559 104907 |        0 |        0
1638.07/1638.55	c 1638s |      28 | 29521267 | 23733605 |      559 105000 |        0 |        0
1640.08/1640.55	c 1640s |      28 | 29551779 | 23759505 |      559 105091 |        0 |        0
1642.06/1642.56	c 1642s |      28 | 29584898 | 23786505 |      559 105185 |        0 |        0
1644.06/1644.56	c 1644s |      28 | 29616801 | 23812905 |      559 105278 |        0 |        0
1646.06/1646.56	c 1646s |      28 | 29649986 | 23839905 |      559 105373 |        0 |        0
1648.07/1648.57	c 1648s |      28 | 29682482 | 23866505 |      559 105466 |        0 |        0
1650.07/1650.57	c 1650s |      28 | 29715105 | 23893305 |      559 105560 |        0 |        0
1652.07/1652.57	c 1652s |      28 | 29746411 | 23919305 |      559 105652 |        0 |        0
1654.06/1654.57	c 1654s |      28 | 29778525 | 23945505 |      559 105744 |        0 |        0
1656.06/1656.57	c 1656s |      28 | 29810346 | 23971405 |      559 105836 |        0 |        0
1658.06/1658.58	c 1658s |      28 | 29843594 | 23998105 |      559 105930 |        0 |        0
1660.06/1660.58	c 1660s |      28 | 29876377 | 24024605 |      559 106023 |        0 |        0
1662.06/1662.58	c 1662s |      28 | 29909756 | 24051605 |      559 106119 |        0 |        0
1664.05/1664.59	c 1664s |      28 | 29942725 | 24078505 |      559 106213 |        0 |        0
1666.05/1666.59	c 1666s |      28 | 29974106 | 24104305 |      559 106304 |        0 |        0
1668.05/1668.59	c 1668s |      28 | 30006428 | 24130505 |      559 106397 |        0 |        0
1670.05/1670.59	c 1670s |      28 | 30037634 | 24156205 |      559 106487 |        0 |        0
1672.04/1672.59	c 1672s |      28 | 30069324 | 24182305 |      559 106578 |        0 |        0
1674.05/1674.60	c 1674s |      28 | 30100831 | 24208505 |      559 106671 |        0 |        0
1676.14/1676.60	c 1676s |      28 | 30133062 | 24234905 |      559 106764 |        0 |        0
1678.14/1678.61	c 1678s |      28 | 30166065 | 24261405 |      559 106857 |        0 |        0
1680.14/1680.61	c 1680s |      28 | 30197361 | 24287305 |      559 106948 |        0 |        0
1682.14/1682.61	c 1682s |      28 | 30228611 | 24313205 |      559 107039 |        0 |        0
1684.14/1684.61	c 1684s |      28 | 30261221 | 24339905 |      559 107134 |        0 |        0
1686.15/1686.62	c 1686s |      28 | 30294171 | 24366805 |      559 107228 |        0 |        0
1688.14/1688.62	c 1688s |      28 | 30325938 | 24393305 |      559 107322 |        0 |        0
1690.14/1690.63	c 1690s |      28 | 30358713 | 24420005 |      559 107416 |        0 |        0
1692.14/1692.63	c 1692s |      28 | 30391111 | 24446605 |      559 107510 |        0 |        0
1694.14/1694.64	c 1694s |      28 | 30421661 | 24472405 |      559 107601 |        0 |        0
1696.14/1696.64	c 1696s |      28 | 30456900 | 24500005 |      559 107698 |        0 |        0
1698.14/1698.64	c 1698s |      28 | 30489589 | 24526805 |      559 107793 |        0 |        0
1700.14/1700.65	c 1700s |      28 | 30523641 | 24554105 |      559 107889 |        0 |        0
1702.14/1702.66	c 1702s |      28 | 30557590 | 24581305 |      559 107985 |        0 |        0
1704.13/1704.66	c 1704s |      28 | 30590059 | 24608105 |      559 108080 |        0 |        0
1706.13/1706.66	c 1706s |      28 | 30622595 | 24634905 |      559 108175 |        0 |        0
1708.14/1708.66	c 1708s |      28 | 30655662 | 24662005 |      559 108271 |        0 |        0
1710.13/1710.67	c 1710s |      28 | 30685900 | 24688105 |      559 108363 |        0 |        0
1712.13/1712.67	c 1712s |      28 | 30716459 | 24714305 |      559 108456 |        0 |        0
1714.13/1714.67	c 1714s |      28 | 30749446 | 24741205 |      559 108552 |        0 |        0
1716.13/1716.67	c 1716s |      28 | 30779774 | 24767005 |      559 108643 |        0 |        0
1718.13/1718.67	c 1718s |      28 | 30810631 | 24793305 |      559 108736 |        0 |        0
1720.12/1720.68	c 1720s |      28 | 30843703 | 24820505 |      559 108833 |        0 |        0
1722.13/1722.68	c 1722s |      28 | 30879071 | 24848705 |      559 108933 |        0 |        0
1724.13/1724.69	c 1724s |      28 | 30913457 | 24876505 |      559 109031 |        0 |        0
1726.13/1726.69	c 1726s |      28 | 30947482 | 24904005 |      559 109129 |        0 |        0
1728.13/1728.69	c 1728s |      28 | 30978688 | 24930405 |      559 109221 |        0 |        0
1730.13/1730.69	c 1730s |      28 | 31010588 | 24956905 |      559 109314 |        0 |        0
1732.12/1732.69	c 1732s |      28 | 31041648 | 24983005 |      559 109406 |        0 |        0
1734.22/1734.70	c 1734s |      28 | 31073267 | 25009605 |      559 109500 |        0 |        0
1736.22/1736.71	c 1736s |      28 | 31105067 | 25036205 |      559 109593 |        0 |        0
1738.22/1738.71	c 1738s |      28 | 31136151 | 25062105 |      559 109684 |        0 |        0
1740.22/1740.71	c 1740s |      28 | 31167829 | 25088605 |      559 109778 |        0 |        0
1742.22/1742.72	c 1742s |      28 | 31201349 | 25115805 |      559 109874 |        0 |        0
1744.21/1744.72	c 1744s |      28 | 31233696 | 25142705 |      559 109969 |        0 |        0
1746.21/1746.72	c 1746s |      28 | 31266001 | 25169605 |      559 110064 |        0 |        0
1748.21/1748.72	c 1748s |      28 | 31297854 | 25196605 |      559 110159 |        0 |        0
1750.21/1750.73	c 1750s |      28 | 31331396 | 25224005 |      559 110255 |        0 |        0
1752.21/1752.73	c 1752s |      28 | 31366581 | 25252305 |      559 110356 |        0 |        0
1754.20/1754.73	c 1754s |      28 | 31399909 | 25279505 |      559 110452 |        0 |        0
1756.20/1756.74	c 1756s |      28 | 31434064 | 25306805 |      559 110547 |        0 |        0
1758.20/1758.74	c 1758s |      28 | 31468606 | 25333905 |      559 110643 |        0 |        0
1760.20/1760.74	c 1760s |      28 | 31501020 | 25360105 |      559 110735 |        0 |        0
1762.20/1762.74	c 1762s |      28 | 31532992 | 25386205 |      559 110827 |        0 |        0
1764.20/1764.74	c 1764s |      28 | 31565912 | 25413105 |      559 110922 |        0 |        0
1766.20/1766.75	c 1766s |      28 | 31599624 | 25439705 |      559 111016 |        0 |        0
1768.19/1768.75	c 1768s |      28 | 31631312 | 25465605 |      615 111105 |        0 |        0
1770.19/1770.76	c 1770s |      28 | 31665126 | 25492505 |      615 111192 |        0 |        0
1772.19/1772.76	c 1772s |      28 | 31699013 | 25519405 |      615 111279 |        0 |        0
1774.20/1774.76	c 1774s |      28 | 31732159 | 25546605 |      615 111366 |        0 |        0
1776.20/1776.77	c 1776s |      28 | 31766610 | 25574605 |      615 111456 |        0 |        0
1778.20/1778.77	c 1778s |      28 | 31800157 | 25602205 |      615 111545 |        0 |        0
1780.19/1780.78	c 1780s |      28 | 31835203 | 25630305 |      615 111636 |        0 |        0
1781.19/1781.70	c 1781s |      29 | 31850831 | 25642913 |      615 111676 |        0 |        0
1783.19/1783.70	c 1783s |      29 | 31880681 | 25667713 |      615 111755 |        0 |        0
1785.10/1785.70	c 1785s |      29 | 31909577 | 25692013 |      615 111833 |        0 |        0
1787.19/1787.70	c 1787s |      29 | 31939173 | 25716813 |      615 111912 |        0 |        0
1789.19/1789.71	c 1789s |      29 | 31969483 | 25741913 |      615 111992 |        0 |        0
1791.19/1791.72	c 1791s |      29 | 32002523 | 25768413 |      615 112077 |        0 |        0
1793.19/1793.72	c 1793s |      29 | 32035398 | 25794913 |      615 112162 |        0 |        0
1795.19/1795.72	c 1795s |      29 | 32068241 | 25821313 |      615 112247 |        0 |        0
1797.19/1797.73	c 1797s |      29 | 32101095 | 25847613 |      615 112331 |        0 |        0
1799.18/1799.73	c 1799s |      29 | 32134910 | 25874213 |      615 112416 |        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-4089785-1466033611/watcher-4089785-1466033611 -o /tmp/evaluation-result-4089785-1466033611/solver-4089785-1466033611 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11970 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089785-1466033611.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.32 1.43 1.81 4/178 12052
/proc/meminfo: memFree=29339196/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=829884 CPUtime=0 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 3115 0 0 0 0 0 0 0 20 0 4 0 5406833 849801216 2965 33554432000 4194304 16246674 140735698339600 140735698339024 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 207983 2974 441 2943 0 204877 0
[pid=12052/tid=12053] ppid=12049 vsize=847292 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 867627008 3034 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=851388 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 871821312 3050 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=855484 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5406833 876015616 3067 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 1.32 1.43 1.81 4/178 12052
/proc/meminfo: memFree=29339196/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 26025 0 0 0 5 4 0 0 20 0 4 0 5406833 1247350784 25863 33554432000 4194304 16246674 140735698339600 140735698339024 5667714 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 304529 25874 713 2943 0 301423 0
[pid=12052/tid=12053] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 25880 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 25889 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 25896 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200462 s]
/proc/loadavg: 1.32 1.43 1.81 4/178 12052
/proc/meminfo: memFree=29339196/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 50037 0 0 0 11 7 0 0 20 0 4 0 5406833 1247350784 49875 33554432000 4194304 16246674 140735698339600 140735698339024 5763325 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 304529 49889 714 2943 0 301423 0
[pid=12052/tid=12053] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 49899 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 49909 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 49918 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.30043 s]
/proc/loadavg: 1.32 1.43 1.81 4/178 12052
/proc/meminfo: memFree=29339196/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 73462 0 0 0 18 11 0 0 20 0 4 0 5406833 1247350784 73300 33554432000 4194304 16246674 140735698339600 140735698339024 5515837 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 304529 73309 714 2943 0 301423 0
[pid=12052/tid=12053] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 73314 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 73322 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 73328 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700342 s]
/proc/loadavg: 1.32 1.43 1.81 4/178 12052
/proc/meminfo: memFree=29339196/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 167597 0 0 0 45 24 0 0 20 0 4 0 5406833 1247350784 167436 33554432000 4194304 16246674 140735698339600 140735698322600 5661217 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 304529 167445 714 2943 0 301423 0
[pid=12052/tid=12053] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 167453 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 167460 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 167466 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50764 s]
/proc/loadavg: 1.32 1.43 1.81 4/182 12056
/proc/meminfo: memFree=28358308/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1218116 CPUtime=1.5 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 245466 0 0 0 113 37 0 0 20 0 4 0 5406833 1247350784 245284 33554432000 4194304 16246674 140735698339600 140735698322600 5546072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 304529 245284 787 2943 0 301423 0
[pid=12052/tid=12053] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 245284 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 245284 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1247350784 245284 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 1.38 1.43 1.81 3/182 12056
/proc/meminfo: memFree=28270400/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267399 0 0 0 270 39 0 0 20 0 4 0 5406833 1337528320 267217 33554432000 4194304 16246674 140735698339600 140735698322600 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267217 787 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267217 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267217 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267217 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 1.38 1.43 1.81 3/182 12056
/proc/meminfo: memFree=28270804/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267400 0 0 0 589 40 0 0 20 0 4 0 5406833 1337528320 267218 33554432000 4194304 16246674 140735698339600 140735698322600 6023805 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267218 787 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267218 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267218 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267218 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.43 1.44 1.81 3/183 12057
/proc/meminfo: memFree=28270236/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267415 0 0 0 1229 40 0 0 20 0 4 0 5406833 1337528320 267233 33554432000 4194304 16246674 140735698339600 140735698322600 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267233 787 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267233 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267233 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267233 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 1.62 1.49 1.82 3/183 12057
/proc/meminfo: memFree=28270748/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267416 0 0 0 2508 41 0 0 20 0 4 0 5406833 1337528320 267234 33554432000 4194304 16246674 140735698339600 140735698322600 5553672 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267234 788 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267234 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267234 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267234 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 1.98 1.58 1.84 3/183 12057
/proc/meminfo: memFree=28270724/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267422 0 0 0 5067 41 0 0 20 0 4 0 5406833 1337528320 267240 33554432000 4194304 16246674 140735698339600 140735698322600 13950218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267240 788 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267240 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267240 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267240 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.13 1.67 1.85 3/183 12058
/proc/meminfo: memFree=28269988/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267461 0 0 0 10185 43 0 0 20 0 4 0 5406833 1337528320 267279 33554432000 4194304 16246674 140735698339600 140735698322600 12483406 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267279 788 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267279 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267279 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267279 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1306180

[startup+1362.3 s]
/proc/loadavg: 2.30 2.25 2.13 3/183 12089
/proc/meminfo: memFree=28264308/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=1362.03 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267630 0 0 0 136124 79 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 140735698321472 5523184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267353 791 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 1306180

[startup+1422.3 s]
/proc/loadavg: 2.27 2.25 2.14 4/183 12090
/proc/meminfo: memFree=28263952/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=1421.99 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267672 0 0 0 142118 81 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 140735698321472 5723965 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267353 791 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1306180

[startup+1482.3 s]
/proc/loadavg: 2.27 2.25 2.14 4/183 12092
/proc/meminfo: memFree=28264044/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=1481.96 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267713 0 0 0 148113 83 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 140735698321472 5672201 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267353 791 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1306180

[startup+1542.3 s]
/proc/loadavg: 2.38 2.27 2.15 3/183 12093
/proc/meminfo: memFree=28265168/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=1541.92 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267753 0 0 0 154108 84 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 140735698321472 5553608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267353 791 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1306180

[startup+1602.3 s]
/proc/loadavg: 2.29 2.27 2.16 3/184 12097
/proc/meminfo: memFree=28264112/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=1601.89 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267797 0 0 0 160103 86 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 140735698322600 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267353 791 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 1306180

[startup+1662.3 s]
/proc/loadavg: 2.27 2.26 2.16 3/184 12121
/proc/meminfo: memFree=28263388/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=1661.85 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267842 0 0 0 166097 88 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 140735698321472 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267353 791 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1306180

[startup+1722.3 s]
/proc/loadavg: 2.29 2.27 2.17 3/183 12122
/proc/meminfo: memFree=28263748/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=1721.83 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267881 0 0 0 172093 90 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 140735698321472 5717608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267353 791 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1306180

[startup+1782.3 s]
/proc/loadavg: 2.24 2.26 2.18 3/183 12124
/proc/meminfo: memFree=28263320/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=1781.8 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267922 0 0 0 178089 91 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 140735698322600 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267353 791 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1306180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.39 2.29 2.19 4/183 12173
/proc/meminfo: memFree=28269440/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=1800.08 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267928 0 0 0 179917 91 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 140735698322600 5708097 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267353 791 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1306180

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

[startup+1800.6 s]
/proc/loadavg: 2.39 2.29 2.19 4/183 12173
/proc/meminfo: memFree=28269440/32872528 swapFree=1401752/1579580
[pid=12052] ppid=12049 vsize=1306180 CPUtime=1800.08 cores=0,2,4,6
/proc/12052/stat : 12052 (toysat) R 12049 12052 5813 0 -1 4202496 267928 0 0 0 179917 91 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 140735698322600 5708097 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/12052/statm: 326545 267353 791 2943 0 323439 0
[pid=12052/tid=12053] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12053/stat : 12053 (toysat) S 12049 12052 5813 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756068383984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=12052/tid=12054] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12054/stat : 12054 (toysat) S 12049 12052 5813 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756057894128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=12052/tid=12055] ppid=12049 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12052/task/12055/stat : 12055 (toysat) S 12049 12052 5813 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5406833 1337528320 267353 33554432000 4194304 16246674 140735698339600 139756047420592 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1306180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.62
CPU time (s): 1800.11
CPU user time (s): 1799.19
CPU system time (s): 0.923859
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.923859
maximum resident set size= 1069412
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267928
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= 410
involuntary context switches= 1843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.3771 second user time and 14.7908 second system time

The end

Begin job on node139 at 2016-06-16 01:33:31
IDJOB=4089785
IDBENCH=107456
IDSOLVER=2542
FILE ID=node139/4089785-1466033611
RUNJOBID= node139-1466033607-11970
PBS_JOBID= 19902810
Free space on /tmp= 71612 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v021-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089785-1466033611/watcher-4089785-1466033611 -o /tmp/evaluation-result-4089785-1466033611/solver-4089785-1466033611 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466033607-11970 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089785-1466033611.opb

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

MD5SUM BENCH= 757f81685edbbf6af2b2483b2cd4cf75
RANDOM SEED=1129555816

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        29338824 kB
Buffers:           20404 kB
Cached:           149356 kB
SwapCached:         8924 kB
Active:          1145144 kB
Inactive:         105280 kB
Active(anon):    1074412 kB
Inactive(anon):     8356 kB
Active(file):      70732 kB
Inactive(file):    96924 kB
Unevictable:     1579580 kB
Mlocked:         1401752 kB
SwapTotal:      67108856 kB
SwapFree:       67093328 kB
Dirty:             32992 kB
Writeback:             0 kB
AnonPages:       2652296 kB
Mapped:            10636 kB
Shmem:                 0 kB
Slab:             568992 kB
SReclaimable:      12704 kB
SUnreclaim:       556288 kB
KernelStack:        1488 kB
PageTables:         8720 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2794068 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 71596 MiB
End job on node139 at 2016-06-16 02:03:32