0.00/0.00	c 2016-06-15T22:02: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-4089071-1466020951.opb"]
0.00/0.01	c use --random-gen="138801486 3430562121 2200368195 196272854 1492207412 460665729 2632542834 3609086309 2877628903 1527607279 3374994593 1349976434 4263148260 2353781953 3228003234 2668363834 3936376674 4013909939 944436284 445124434 2627708056 3151592110 2658045709 1074510744 3488560155 922456299 4210661845 3653697752 262628273 3657536345 1235768741 2044264248 1666106880 750377072 1904972880 3572507976 3707327619 2223583380 2519302375 3999124620 2399642623 1704993718 2159373790 467129139 2663193369 239141159 3202904610 310199526 2674144714 2609451627 2905461669 2751438750 382813041 240128678 1012340705 207573338 1693351574 3724102778 2383730982 3180436315 1960311213 572865092 2292247732 1020036391 2763057997 1466528476 2070590443 3607206081 1786503141 2049292155 1997794921 1203082459 3963445893 1981936291 1561217006 2875274361 4241685365 406032168 2868440366 1012615446 589831079 3328451646 526527266 3084290668 3430547095 255270123 824459963 2402424186 2770223868 3133630511 1986344958 3438287552 425066837 3420656723 3214337518 1748056133 3816303277 999318683 316903267 1610673981 277462727 2148759456 3150733850 44637870 3111768481 992239896 49700670 3726365689 3513221357 3705076536 3429300646 840837574 4136581194 490653247 3042041980 2047452051 954838933 2536266603 1802855365 1528550714 2701198896 3601433775 2336355469 251243931 1116602015 1999412124 1697986804 211657272 2099474566 534692430 721007432 3911884332 446250128 199418703 625884831 1740098066 1777643903 3631975829 2705639380 2882394761 351010394 614571517 1171023465 771137708 1769877481 1299493563 2068088703 4227209408 2837576226 1986767987 3306807967 2562764933 1533656330 3869057869 2475370946 1779428540 671898813 942419530 3629816274 2509076971 3994238854 1011007109 1514865931 1127135041 3041900306 2378006919 2413321022 1055082013 3452155743 907728708 984845826 1178126341 502585487 3424335980 3663613880 4209336789 3033906965 2084306725 3353171887 1747836549 458879713 537062400 2854830064 2525610421 1389131944 3697549123 3030610922 2155035055 4174643198 875656226 1365188397 1960074524 2486795749 4026687349 1982885349 699565138 289705392 1460608120 3838868085 2379185721 3081391443 2684031607 4244568334 2632477341 2751533078 2636626218 3668006126 3465598575 102478454 3504326025 3598562835 701750075 2150263243 913262443 2472024314 3605506125 1197855503 534927455 3200570043 1474833273 2363020560 2441800148 16885494 2326847445 1421084693 318219633 132913574 3771506180 2474481636 1561633599 571650765 2879712039 352763604 1898816572 2820096464 1516085599 3132194284 4172630082 1612024764 1000925468 3394963986 3199871063 754256008 4130832386 1115851379 4076614555 1103967342 3273038078 1988415160 4261961495 1850525944 2785677311 1031542498 1195091304 2943610772 762717027 255 362436" option to reproduce the execution
0.00/0.01	c #vars 138
0.00/0.01	c #constraints 277
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 |      138      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      163 |      100 |      138      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      389 |      250 |      152      1 |        0 |        0
0.00/0.09	c  0.1s |       3 |      671 |      475 |      168      3 |        0 |        0
0.09/0.15	c  0.1s |       4 |     1064 |      813 |      185      5 |        0 |        0
0.19/0.26	c  0.2s |       5 |     1631 |     1320 |      204      9 |        0 |        0
0.39/0.41	c  0.4s |       6 |     2460 |     2081 |      248     14 |        0 |        0
0.59/0.65	c  0.6s |       7 |     3674 |     3223 |      273     22 |        0 |        0
0.89/0.95	c  0.9s |       8 |     5473 |     4936 |      301     32 |        0 |        0
1.29/1.30	c  1.3s |       9 |     8129 |     7506 |      332     46 |        0 |        0
1.79/1.85	c  1.8s |      10 |    12081 |    11361 |      366     65 |        0 |        0
2.59/2.65	c  2.6s |      11 |    18021 |    17144 |      403     92 |        0 |        0
3.79/3.85	c  3.8s |      12 |    27033 |    25819 |      444    130 |        0 |        0
5.59/5.67	c  5.7s |      13 |    40359 |    38832 |      489    181 |        0 |        0
7.58/7.68	c  7.7s |      13 |    54713 |    52832 |      489    232 |        0 |        0
8.38/8.49	c  8.5s |      14 |    60489 |    58352 |      538    252 |        0 |        0
10.38/10.49	c 10.5s |      14 |    74791 |    72052 |      538    298 |        0 |        0
12.48/12.50	c 12.5s |      14 |    88800 |    85752 |      538    344 |        0 |        0
12.68/12.77	c 12.8s |      15 |    90726 |    87632 |      592    350 |        0 |        0
14.68/14.78	c 14.8s |      15 |   105197 |   101432 |      592    392 |        0 |        0
16.68/16.79	c 16.8s |      15 |   119506 |   115332 |      592    435 |        0 |        0
18.69/18.80	c 18.8s |      15 |   133664 |   128832 |      592    477 |        0 |        0
19.18/19.20	c 19.2s |      16 |   136494 |   131552 |      652    485 |        0 |        0
21.18/21.22	c 21.2s |      16 |   150484 |   144952 |      652    522 |        0 |        0
23.19/23.22	c 23.2s |      16 |   163808 |   157952 |      652    559 |        0 |        0
25.18/25.23	c 25.2s |      16 |   177659 |   171252 |      652    596 |        0 |        0
27.18/27.23	c 27.2s |      16 |   191570 |   184352 |      652    633 |        0 |        0
29.18/29.24	c 29.2s |      17 |   205532 |   197432 |      718    670 |        0 |        0
31.19/31.25	c 31.2s |      17 |   219678 |   210632 |      718    703 |        0 |        0
33.19/33.25	c 33.2s |      17 |   233019 |   223432 |      718    736 |        0 |        0
35.19/35.26	c 35.2s |      17 |   246415 |   236432 |      718    770 |        0 |        0
37.19/37.26	c 37.3s |      17 |   259963 |   249532 |      718    804 |        0 |        0
39.19/39.28	c 39.3s |      17 |   273720 |   262632 |      718    838 |        0 |        0
41.29/41.30	c 41.3s |      17 |   287255 |   275532 |      718    871 |        0 |        0
43.29/43.30	c 43.3s |      17 |   300553 |   288232 |      718    904 |        0 |        0
44.48/44.55	c 44.5s |      18 |   309112 |   296252 |      790    924 |        0 |        0
46.48/46.55	c 46.5s |      18 |   323154 |   309652 |      790    955 |        0 |        0
48.49/48.55	c 48.5s |      18 |   336602 |   322452 |      790    986 |        0 |        0
50.48/50.56	c 50.6s |      18 |   350221 |   335352 |      790   1016 |        0 |        0
52.48/52.58	c 52.6s |      18 |   363993 |   348352 |      790   1047 |        0 |        0
54.48/54.58	c 54.6s |      18 |   377572 |   361252 |      790   1077 |        0 |        0
56.48/56.59	c 56.6s |      18 |   391745 |   374352 |      790   1108 |        0 |        0
58.58/58.60	c 58.6s |      18 |   405143 |   387052 |      790   1138 |        0 |        0
60.49/60.60	c 60.6s |      18 |   418460 |   399752 |      790   1168 |        0 |        0
62.58/62.60	c 62.6s |      18 |   431917 |   412452 |      790   1198 |        0 |        0
64.58/64.61	c 64.6s |      18 |   444848 |   424852 |      790   1227 |        0 |        0
66.58/66.62	c 66.6s |      18 |   458494 |   437352 |      790   1257 |        0 |        0
67.68/67.77	c 67.8s |      19 |   466303 |   444482 |      870   1273 |        0 |        0
69.68/69.77	c 69.8s |      19 |   479451 |   457082 |      870   1300 |        0 |        0
71.68/71.79	c 71.8s |      19 |   492579 |   469682 |      870   1327 |        0 |        0
73.68/73.80	c 73.8s |      19 |   505487 |   481982 |      870   1354 |        0 |        0
75.78/75.82	c 75.8s |      19 |   519044 |   494682 |      870   1381 |        0 |        0
77.78/77.82	c 77.8s |      19 |   532276 |   507082 |      870   1408 |        0 |        0
79.77/79.83	c 79.8s |      19 |   545325 |   519482 |      870   1434 |        0 |        0
81.77/81.85	c 81.8s |      19 |   558323 |   531782 |      870   1461 |        0 |        0
83.77/83.85	c 83.8s |      19 |   571186 |   544082 |      870   1487 |        0 |        0
85.78/85.85	c 85.8s |      19 |   584009 |   556282 |      870   1514 |        0 |        0
87.77/87.86	c 87.8s |      19 |   597069 |   568782 |      870   1541 |        0 |        0
89.77/89.86	c 89.8s |      19 |   609974 |   581082 |      870   1567 |        0 |        0
91.77/91.86	c 91.8s |      19 |   622677 |   593282 |      870   1594 |        0 |        0
93.77/93.87	c 93.9s |      19 |   635739 |   605682 |      870   1620 |        0 |        0
95.78/95.88	c 95.9s |      19 |   648609 |   617882 |      870   1647 |        0 |        0
97.77/97.89	c 97.9s |      19 |   661270 |   630082 |      870   1673 |        0 |        0
99.87/99.90	c 99.9s |      19 |   674096 |   642382 |      870   1700 |        0 |        0
101.87/101.90	c  101s |      19 |   686724 |   654482 |      870   1726 |        0 |        0
103.87/103.90	c  103s |      19 |   699053 |   666482 |      958   1751 |        0 |        0
103.87/103.96	c  103s |      20 |   699420 |   666827 |      958   1752 |        0 |        0
105.87/105.96	c  105s |      20 |   712568 |   679327 |      958   1776 |        0 |        0
107.88/107.97	c  107s |      20 |   725952 |   691927 |      958   1801 |        0 |        0
109.87/109.98	c  109s |      20 |   738939 |   704127 |      958   1825 |        0 |        0
111.97/112.00	c  111s |      20 |   752111 |   716227 |      958   1849 |        0 |        0
113.97/114.01	c  113s |      20 |   765268 |   728627 |      958   1873 |        0 |        0
115.97/116.02	c  116s |      20 |   778596 |   741027 |      958   1897 |        0 |        0
117.97/118.03	c  118s |      20 |   791671 |   753127 |      958   1921 |        0 |        0
119.97/120.03	c  120s |      20 |   805288 |   764927 |      958   1945 |        0 |        0
121.97/122.04	c  122s |      20 |   818770 |   777127 |      958   1969 |        0 |        0
123.97/124.04	c  124s |      20 |   831671 |   789327 |      958   1993 |        0 |        0
125.97/126.05	c  126s |      20 |   844554 |   801527 |      958   2017 |        0 |        0
127.97/128.06	c  128s |      20 |   856972 |   813427 |      958   2040 |        0 |        0
129.97/130.07	c  130s |      20 |   869671 |   825427 |      958   2064 |        0 |        0
131.98/132.07	c  132s |      20 |   881955 |   837127 |      958   2087 |        0 |        0
133.97/134.08	c  134s |      20 |   894728 |   849127 |      958   2110 |        0 |        0
135.97/136.09	c  136s |      20 |   907189 |   860927 |      958   2134 |        0 |        0
138.07/138.10	c  138s |      20 |   920272 |   873127 |      958   2158 |        0 |        0
140.07/140.11	c  140s |      20 |   932815 |   884927 |      958   2181 |        0 |        0
142.07/142.12	c  142s |      20 |   945544 |   896727 |      958   2204 |        0 |        0
144.07/144.12	c  144s |      20 |   957870 |   908627 |      958   2227 |        0 |        0
146.07/146.13	c  146s |      20 |   970462 |   920627 |      958   2251 |        0 |        0
148.07/148.13	c  148s |      20 |   983429 |   932527 |      958   2275 |        0 |        0
150.07/150.14	c  150s |      20 |   996562 |   944327 |      958   2298 |        0 |        0
152.07/152.14	c  152s |      20 |  1009148 |   956027 |      958   2321 |        0 |        0
154.07/154.16	c  154s |      20 |  1022041 |   968027 |      958   2345 |        0 |        0
156.07/156.17	c  156s |      20 |  1035157 |   980127 |      958   2369 |        0 |        0
158.07/158.18	c  158s |      20 |  1047638 |   991927 |      958   2392 |        0 |        0
159.57/159.64	c  159s |      21 |  1056566 |  1000345 |     1054   2407 |        0 |        0
161.56/161.65	c  161s |      21 |  1069944 |  1012745 |     1054   2429 |        0 |        0
163.56/163.65	c  163s |      21 |  1082816 |  1024745 |     1054   2451 |        0 |        0
165.56/165.65	c  165s |      21 |  1095362 |  1036745 |     1054   2472 |        0 |        0
167.56/167.66	c  167s |      21 |  1107837 |  1048445 |     1054   2494 |        0 |        0
169.56/169.67	c  169s |      21 |  1120248 |  1060245 |     1054   2515 |        0 |        0
171.57/171.68	c  171s |      21 |  1133003 |  1072345 |     1054   2537 |        0 |        0
173.56/173.69	c  173s |      21 |  1145864 |  1084445 |     1054   2558 |        0 |        0
175.56/175.69	c  175s |      21 |  1158278 |  1096345 |     1054   2580 |        0 |        0
177.66/177.70	c  177s |      21 |  1171206 |  1108445 |     1054   2602 |        0 |        0
179.66/179.71	c  179s |      21 |  1183722 |  1120345 |     1054   2623 |        0 |        0
181.66/181.72	c  181s |      21 |  1196140 |  1132145 |     1054   2644 |        0 |        0
183.66/183.72	c  183s |      21 |  1208378 |  1143545 |     1054   2665 |        0 |        0
185.66/185.74	c  185s |      21 |  1221163 |  1155345 |     1054   2686 |        0 |        0
187.66/187.74	c  187s |      21 |  1233736 |  1167145 |     1054   2708 |        0 |        0
189.66/189.76	c  189s |      21 |  1246117 |  1178745 |     1054   2728 |        0 |        0
191.66/191.76	c  191s |      21 |  1258608 |  1190145 |     1054   2749 |        0 |        0
193.67/193.77	c  193s |      21 |  1270851 |  1201645 |     1054   2770 |        0 |        0
195.66/195.77	c  195s |      21 |  1283106 |  1213145 |     1054   2791 |        0 |        0
197.66/197.78	c  197s |      21 |  1295800 |  1224945 |     1054   2812 |        0 |        0
199.66/199.79	c  199s |      21 |  1309202 |  1237145 |     1054   2834 |        0 |        0
201.76/201.80	c  201s |      21 |  1322427 |  1249045 |     1054   2855 |        0 |        0
203.76/203.81	c  203s |      21 |  1335292 |  1260845 |     1054   2877 |        0 |        0
205.77/205.83	c  205s |      21 |  1348099 |  1272545 |     1054   2898 |        0 |        0
207.76/207.83	c  207s |      21 |  1360675 |  1284145 |     1054   2919 |        0 |        0
209.76/209.84	c  209s |      21 |  1373368 |  1296045 |     1054   2940 |        0 |        0
211.76/211.84	c  211s |      21 |  1386194 |  1307745 |     1054   2961 |        0 |        0
213.76/213.86	c  213s |      21 |  1399134 |  1319545 |     1054   2983 |        0 |        0
215.76/215.87	c  215s |      21 |  1411865 |  1331445 |     1054   3004 |        0 |        0
217.76/217.87	c  217s |      21 |  1424174 |  1342945 |     1054   3025 |        0 |        0
219.76/219.88	c  219s |      21 |  1436407 |  1354445 |     1054   3046 |        0 |        0
221.76/221.89	c  221s |      21 |  1448985 |  1366045 |     1054   3067 |        0 |        0
223.76/223.90	c  223s |      21 |  1461651 |  1377545 |     1054   3087 |        0 |        0
225.85/225.91	c  225s |      21 |  1473788 |  1388745 |     1054   3107 |        0 |        0
227.85/227.92	c  227s |      21 |  1486087 |  1399945 |     1054   3128 |        0 |        0
229.86/229.93	c  229s |      21 |  1499441 |  1412445 |     1054   3150 |        0 |        0
231.85/231.93	c  231s |      21 |  1512525 |  1424345 |     1054   3172 |        0 |        0
233.85/233.93	c  233s |      21 |  1525030 |  1436045 |     1054   3193 |        0 |        0
235.85/235.94	c  235s |      21 |  1537873 |  1448045 |     1054   3214 |        0 |        0
237.85/237.94	c  237s |      21 |  1550635 |  1459645 |     1054   3235 |        0 |        0
239.86/239.95	c  239s |      21 |  1563377 |  1471345 |     1054   3256 |        0 |        0
241.85/241.95	c  241s |      21 |  1576596 |  1483445 |     1054   3278 |        0 |        0
243.85/243.97	c  243s |      21 |  1589410 |  1495045 |     1160   3298 |        0 |        0
244.85/244.94	c  244s |      22 |  1595488 |  1500622 |     1160   3307 |        0 |        0
246.85/246.95	c  246s |      22 |  1608451 |  1512522 |     1160   3326 |        0 |        0
248.86/248.96	c  248s |      22 |  1621014 |  1524222 |     1160   3346 |        0 |        0
250.86/250.96	c  250s |      22 |  1633407 |  1535922 |     1160   3365 |        0 |        0
252.85/252.97	c  252s |      22 |  1646979 |  1547722 |     1160   3384 |        0 |        0
254.85/254.97	c  254s |      22 |  1660450 |  1559522 |     1160   3404 |        0 |        0
256.85/256.98	c  256s |      22 |  1673247 |  1571022 |     1160   3422 |        0 |        0
258.85/258.98	c  258s |      22 |  1686666 |  1583122 |     1160   3442 |        0 |        0
260.95/261.00	c  260s |      22 |  1699712 |  1595022 |     1160   3462 |        0 |        0
262.86/263.00	c  262s |      22 |  1712927 |  1606722 |     1160   3481 |        0 |        0
264.95/265.01	c  264s |      22 |  1725393 |  1618422 |     1160   3500 |        0 |        0
266.95/267.03	c  267s |      22 |  1737852 |  1630122 |     1160   3520 |        0 |        0
268.95/269.03	c  269s |      22 |  1750686 |  1641622 |     1160   3539 |        0 |        0
270.95/271.04	c  271s |      22 |  1762975 |  1652922 |     1160   3557 |        0 |        0
272.95/273.05	c  273s |      22 |  1776533 |  1664722 |     1160   3577 |        0 |        0
274.96/275.06	c  275s |      22 |  1789763 |  1676522 |     1160   3596 |        0 |        0
276.95/277.07	c  277s |      22 |  1803493 |  1688022 |     1160   3615 |        0 |        0
278.95/279.08	c  279s |      22 |  1816280 |  1699422 |     1160   3634 |        0 |        0
280.95/281.08	c  281s |      22 |  1828568 |  1710622 |     1160   3652 |        0 |        0
283.05/283.10	c  283s |      22 |  1841149 |  1722022 |     1160   3671 |        0 |        0
285.05/285.11	c  285s |      22 |  1853377 |  1733722 |     1160   3690 |        0 |        0
287.05/287.11	c  287s |      22 |  1865789 |  1745422 |     1160   3709 |        0 |        0
289.05/289.11	c  289s |      22 |  1878280 |  1757022 |     1160   3728 |        0 |        0
291.04/291.12	c  291s |      22 |  1891630 |  1768922 |     1160   3748 |        0 |        0
293.04/293.13	c  293s |      22 |  1904192 |  1780622 |     1160   3767 |        0 |        0
295.04/295.15	c  295s |      22 |  1916805 |  1792422 |     1160   3787 |        0 |        0
297.05/297.15	c  297s |      22 |  1929322 |  1803922 |     1160   3806 |        0 |        0
299.04/299.16	c  299s |      22 |  1942144 |  1815522 |     1160   3825 |        0 |        0
301.04/301.17	c  301s |      22 |  1954849 |  1827322 |     1160   3844 |        0 |        0
303.04/303.17	c  303s |      22 |  1967442 |  1838822 |     1160   3863 |        0 |        0
305.04/305.18	c  305s |      22 |  1979650 |  1850222 |     1160   3882 |        0 |        0
307.14/307.20	c  307s |      22 |  1992206 |  1862022 |     1160   3901 |        0 |        0
309.15/309.21	c  309s |      22 |  2004801 |  1873622 |     1160   3921 |        0 |        0
311.14/311.21	c  311s |      22 |  2018008 |  1885122 |     1160   3940 |        0 |        0
313.14/313.22	c  313s |      22 |  2030742 |  1896622 |     1160   3958 |        0 |        0
315.14/315.22	c  315s |      22 |  2042998 |  1907922 |     1160   3977 |        0 |        0
317.14/317.22	c  317s |      22 |  2054962 |  1919022 |     1160   3995 |        0 |        0
319.14/319.22	c  319s |      22 |  2067412 |  1930322 |     1160   4014 |        0 |        0
321.14/321.23	c  321s |      22 |  2079915 |  1941522 |     1160   4032 |        0 |        0
323.13/323.23	c  323s |      22 |  2092269 |  1952922 |     1160   4051 |        0 |        0
325.13/325.23	c  325s |      22 |  2104426 |  1964122 |     1160   4069 |        0 |        0
327.14/327.24	c  327s |      22 |  2116864 |  1975422 |     1160   4088 |        0 |        0
329.14/329.25	c  329s |      22 |  2129779 |  1987122 |     1160   4107 |        0 |        0
331.15/331.25	c  331s |      22 |  2142220 |  1998222 |     1160   4126 |        0 |        0
333.14/333.26	c  333s |      22 |  2154417 |  2009422 |     1160   4144 |        0 |        0
335.14/335.27	c  335s |      22 |  2167157 |  2020922 |     1160   4163 |        0 |        0
337.14/337.27	c  337s |      22 |  2179923 |  2032122 |     1160   4181 |        0 |        0
339.14/339.28	c  339s |      22 |  2193656 |  2043422 |     1160   4200 |        0 |        0
341.24/341.30	c  341s |      22 |  2205796 |  2054722 |     1160   4219 |        0 |        0
343.25/343.31	c  343s |      22 |  2217479 |  2065622 |     1160   4237 |        0 |        0
345.24/345.32	c  345s |      22 |  2229728 |  2076822 |     1160   4255 |        0 |        0
347.24/347.32	c  347s |      22 |  2241897 |  2088122 |     1160   4274 |        0 |        0
349.24/349.33	c  349s |      22 |  2253651 |  2099322 |     1160   4292 |        0 |        0
351.24/351.34	c  351s |      22 |  2265615 |  2110522 |     1160   4310 |        0 |        0
353.24/353.36	c  353s |      22 |  2277773 |  2121922 |     1160   4329 |        0 |        0
355.24/355.36	c  355s |      22 |  2289424 |  2133022 |     1160   4347 |        0 |        0
357.23/357.36	c  357s |      22 |  2301105 |  2144022 |     1160   4366 |        0 |        0
359.23/359.37	c  359s |      22 |  2313094 |  2155222 |     1160   4384 |        0 |        0
361.23/361.38	c  361s |      22 |  2325324 |  2166422 |     1160   4402 |        0 |        0
363.23/363.39	c  363s |      22 |  2337030 |  2177422 |     1160   4421 |        0 |        0
365.33/365.40	c  365s |      22 |  2348341 |  2188222 |     1160   4438 |        0 |        0
367.34/367.41	c  367s |      22 |  2360098 |  2199122 |     1160   4456 |        0 |        0
369.33/369.41	c  369s |      22 |  2371740 |  2210022 |     1160   4474 |        0 |        0
371.33/371.42	c  371s |      22 |  2383720 |  2220722 |     1160   4492 |        0 |        0
373.33/373.43	c  373s |      22 |  2395051 |  2231222 |     1160   4509 |        0 |        0
375.33/375.44	c  375s |      22 |  2406861 |  2242022 |     1276   4526 |        0 |        0
376.93/377.07	c  377s |      23 |  2416367 |  2251038 |     1276   4539 |        0 |        0
378.93/379.07	c  379s |      23 |  2428565 |  2262638 |     1276   4557 |        0 |        0
380.93/381.09	c  381s |      23 |  2440739 |  2274138 |     1276   4574 |        0 |        0
382.93/383.09	c  383s |      23 |  2452566 |  2285338 |     1276   4591 |        0 |        0
385.04/385.11	c  385s |      23 |  2464753 |  2296638 |     1276   4608 |        0 |        0
387.03/387.11	c  387s |      23 |  2476542 |  2307838 |     1276   4624 |        0 |        0
389.03/389.12	c  389s |      23 |  2488835 |  2319438 |     1276   4642 |        0 |        0
391.03/391.13	c  391s |      23 |  2500793 |  2330738 |     1276   4659 |        0 |        0
393.03/393.13	c  393s |      23 |  2512731 |  2341938 |     1276   4676 |        0 |        0
395.03/395.14	c  395s |      23 |  2525130 |  2353338 |     1276   4693 |        0 |        0
397.03/397.14	c  397s |      23 |  2537130 |  2364338 |     1276   4709 |        0 |        0
399.03/399.15	c  399s |      23 |  2549185 |  2375738 |     1276   4726 |        0 |        0
401.02/401.16	c  401s |      23 |  2561341 |  2387138 |     1276   4744 |        0 |        0
403.02/403.18	c  403s |      23 |  2573436 |  2398438 |     1276   4760 |        0 |        0
405.02/405.18	c  405s |      23 |  2585709 |  2409738 |     1276   4777 |        0 |        0
407.04/407.19	c  407s |      23 |  2597854 |  2421138 |     1276   4795 |        0 |        0
409.03/409.20	c  409s |      23 |  2609889 |  2432238 |     1276   4811 |        0 |        0
411.13/411.21	c  411s |      23 |  2621646 |  2443438 |     1276   4828 |        0 |        0
413.13/413.22	c  413s |      23 |  2633641 |  2454838 |     1276   4845 |        0 |        0
415.13/415.22	c  415s |      23 |  2645631 |  2466238 |     1276   4862 |        0 |        0
417.13/417.23	c  417s |      23 |  2657359 |  2477438 |     1276   4879 |        0 |        0
419.14/419.24	c  419s |      23 |  2669187 |  2488738 |     1276   4896 |        0 |        0
421.13/421.25	c  421s |      23 |  2681185 |  2499938 |     1276   4913 |        0 |        0
423.13/423.25	c  423s |      23 |  2692676 |  2510838 |     1276   4930 |        0 |        0
425.13/425.25	c  425s |      23 |  2704488 |  2522138 |     1276   4946 |        0 |        0
427.13/427.26	c  427s |      23 |  2716678 |  2533738 |     1276   4964 |        0 |        0
429.12/429.28	c  429s |      23 |  2728424 |  2544938 |     1276   4981 |        0 |        0
431.13/431.29	c  431s |      23 |  2740590 |  2556138 |     1276   4997 |        0 |        0
433.22/433.30	c  433s |      23 |  2752477 |  2567338 |     1276   5014 |        0 |        0
435.22/435.31	c  435s |      23 |  2764443 |  2578538 |     1276   5031 |        0 |        0
437.22/437.32	c  437s |      23 |  2776248 |  2589638 |     1276   5048 |        0 |        0
439.22/439.32	c  439s |      23 |  2787684 |  2600538 |     1276   5064 |        0 |        0
441.22/441.32	c  441s |      23 |  2799258 |  2611438 |     1276   5081 |        0 |        0
443.23/443.34	c  443s |      23 |  2811723 |  2622838 |     1276   5098 |        0 |        0
445.22/445.34	c  445s |      23 |  2823682 |  2633938 |     1276   5114 |        0 |        0
447.22/447.34	c  447s |      23 |  2835189 |  2644738 |     1276   5131 |        0 |        0
449.22/449.35	c  449s |      23 |  2846994 |  2655738 |     1276   5147 |        0 |        0
451.22/451.37	c  451s |      23 |  2858964 |  2666638 |     1276   5164 |        0 |        0
453.23/453.38	c  453s |      23 |  2870578 |  2677538 |     1276   5180 |        0 |        0
455.22/455.39	c  455s |      23 |  2882767 |  2689038 |     1276   5197 |        0 |        0
457.32/457.40	c  457s |      23 |  2895003 |  2700238 |     1276   5214 |        0 |        0
459.32/459.41	c  459s |      23 |  2907056 |  2711338 |     1276   5231 |        0 |        0
461.32/461.43	c  461s |      23 |  2919233 |  2722538 |     1276   5248 |        0 |        0
463.32/463.43	c  463s |      23 |  2931055 |  2733638 |     1276   5264 |        0 |        0
465.32/465.44	c  465s |      23 |  2943056 |  2744838 |     1276   5281 |        0 |        0
467.32/467.45	c  467s |      23 |  2954982 |  2755938 |     1276   5298 |        0 |        0
469.32/469.47	c  469s |      23 |  2966761 |  2766938 |     1276   5314 |        0 |        0
471.32/471.48	c  471s |      23 |  2978563 |  2778038 |     1276   5331 |        0 |        0
473.31/473.49	c  473s |      23 |  2990517 |  2789238 |     1276   5348 |        0 |        0
475.41/475.51	c  475s |      23 |  3003387 |  2800838 |     1276   5365 |        0 |        0
477.42/477.51	c  477s |      23 |  3015957 |  2812138 |     1276   5382 |        0 |        0
479.41/479.53	c  479s |      23 |  3028320 |  2823338 |     1276   5399 |        0 |        0
481.41/481.55	c  481s |      23 |  3040254 |  2834338 |     1276   5416 |        0 |        0
483.41/483.56	c  483s |      23 |  3052332 |  2845538 |     1276   5433 |        0 |        0
485.41/485.58	c  485s |      23 |  3064085 |  2856538 |     1276   5449 |        0 |        0
487.42/487.58	c  487s |      23 |  3076077 |  2867738 |     1276   5466 |        0 |        0
489.43/489.60	c  489s |      23 |  3088139 |  2878838 |     1276   5483 |        0 |        0
491.52/491.60	c  491s |      23 |  3100165 |  2890038 |     1276   5500 |        0 |        0
493.52/493.60	c  493s |      23 |  3112088 |  2901238 |     1276   5516 |        0 |        0
495.52/495.61	c  495s |      23 |  3124077 |  2912338 |     1276   5533 |        0 |        0
497.52/497.62	c  497s |      23 |  3136164 |  2923638 |     1276   5550 |        0 |        0
499.52/499.64	c  499s |      23 |  3148021 |  2934738 |     1276   5567 |        0 |        0
501.52/501.66	c  501s |      23 |  3160375 |  2946038 |     1276   5584 |        0 |        0
503.52/503.66	c  503s |      23 |  3172373 |  2956938 |     1276   5600 |        0 |        0
505.52/505.67	c  505s |      23 |  3184003 |  2967738 |     1276   5616 |        0 |        0
507.52/507.67	c  507s |      23 |  3195822 |  2978838 |     1276   5633 |        0 |        0
509.51/509.69	c  509s |      23 |  3207568 |  2990038 |     1276   5650 |        0 |        0
511.61/511.70	c  511s |      23 |  3219168 |  3000938 |     1276   5666 |        0 |        0
513.51/513.70	c  513s |      23 |  3230682 |  3011838 |     1276   5682 |        0 |        0
515.61/515.71	c  515s |      23 |  3242015 |  3022738 |     1276   5699 |        0 |        0
517.61/517.71	c  517s |      23 |  3253437 |  3033538 |     1276   5715 |        0 |        0
519.61/519.72	c  519s |      23 |  3264901 |  3044338 |     1276   5731 |        0 |        0
521.61/521.73	c  521s |      23 |  3276496 |  3055238 |     1276   5747 |        0 |        0
523.62/523.74	c  523s |      23 |  3288373 |  3066638 |     1276   5765 |        0 |        0
525.61/525.76	c  525s |      23 |  3300179 |  3077938 |     1276   5782 |        0 |        0
527.61/527.76	c  527s |      23 |  3312089 |  3089138 |     1276   5798 |        0 |        0
529.61/529.76	c  529s |      23 |  3323609 |  3100238 |     1276   5815 |        0 |        0
531.61/531.78	c  531s |      23 |  3335254 |  3111238 |     1276   5832 |        0 |        0
533.61/533.79	c  533s |      23 |  3346693 |  3121938 |     1276   5848 |        0 |        0
535.62/535.80	c  535s |      23 |  3358229 |  3132938 |     1276   5864 |        0 |        0
537.71/537.80	c  537s |      23 |  3369875 |  3143838 |     1276   5881 |        0 |        0
539.71/539.81	c  539s |      23 |  3381273 |  3154638 |     1276   5897 |        0 |        0
541.70/541.83	c  541s |      23 |  3392689 |  3165538 |     1276   5913 |        0 |        0
543.70/543.84	c  543s |      23 |  3404414 |  3176738 |     1276   5930 |        0 |        0
545.70/545.85	c  545s |      23 |  3416456 |  3187938 |     1276   5947 |        0 |        0
547.71/547.86	c  547s |      23 |  3428407 |  3199038 |     1276   5964 |        0 |        0
549.70/549.88	c  549s |      23 |  3439925 |  3209838 |     1276   5980 |        0 |        0
551.71/551.89	c  551s |      23 |  3451571 |  3220538 |     1276   5996 |        0 |        0
553.81/553.90	c  553s |      23 |  3462990 |  3231438 |     1276   6013 |        0 |        0
555.81/555.92	c  555s |      23 |  3474664 |  3242238 |     1276   6029 |        0 |        0
557.81/557.93	c  557s |      23 |  3486403 |  3253138 |     1276   6045 |        0 |        0
559.81/559.95	c  559s |      23 |  3497841 |  3263938 |     1276   6062 |        0 |        0
561.80/561.96	c  561s |      23 |  3509057 |  3274538 |     1276   6078 |        0 |        0
563.80/563.96	c  563s |      23 |  3520363 |  3285038 |     1276   6094 |        0 |        0
565.81/565.96	c  565s |      23 |  3531833 |  3295838 |     1276   6110 |        0 |        0
567.80/567.97	c  567s |      23 |  3543578 |  3306838 |     1276   6126 |        0 |        0
569.81/569.99	c  569s |      23 |  3555043 |  3317738 |     1276   6143 |        0 |        0
571.91/572.01	c  571s |      23 |  3567079 |  3328938 |     1276   6159 |        0 |        0
573.90/574.01	c  573s |      23 |  3578367 |  3339838 |     1276   6176 |        0 |        0
575.90/576.02	c  576s |      23 |  3589874 |  3350838 |     1276   6192 |        0 |        0
577.90/578.02	c  578s |      23 |  3601245 |  3361738 |     1404   6207 |        0 |        0
579.90/580.03	c  580s |      23 |  3612365 |  3372538 |     1404   6222 |        0 |        0
580.70/580.81	c  580s |      24 |  3616665 |  3376662 |     1404   6228 |        0 |        0
582.70/582.83	c  582s |      24 |  3628509 |  3387962 |     1404   6243 |        0 |        0
584.70/584.84	c  584s |      24 |  3640063 |  3398862 |     1404   6258 |        0 |        0
586.70/586.85	c  586s |      24 |  3651177 |  3409562 |     1404   6272 |        0 |        0
588.70/588.86	c  588s |      24 |  3662402 |  3420162 |     1404   6287 |        0 |        0
590.70/590.87	c  590s |      24 |  3673723 |  3431062 |     1404   6302 |        0 |        0
592.69/592.88	c  592s |      24 |  3684970 |  3441862 |     1404   6317 |        0 |        0
594.70/594.89	c  594s |      24 |  3696422 |  3452462 |     1404   6331 |        0 |        0
596.79/596.91	c  596s |      24 |  3708479 |  3463762 |     1404   6347 |        0 |        0
598.80/598.92	c  598s |      24 |  3720130 |  3474762 |     1404   6362 |        0 |        0
600.80/600.94	c  600s |      24 |  3731649 |  3485562 |     1404   6376 |        0 |        0
602.81/602.96	c  602s |      24 |  3743014 |  3496362 |     1404   6391 |        0 |        0
604.80/604.96	c  604s |      24 |  3754193 |  3507062 |     1404   6406 |        0 |        0
606.80/606.98	c  606s |      24 |  3765291 |  3517762 |     1404   6420 |        0 |        0
608.80/608.99	c  608s |      24 |  3776235 |  3528162 |     1404   6434 |        0 |        0
610.90/611.00	c  610s |      24 |  3787621 |  3538962 |     1404   6449 |        0 |        0
612.90/613.01	c  613s |      24 |  3799250 |  3549862 |     1404   6464 |        0 |        0
614.90/615.02	c  615s |      24 |  3810698 |  3560562 |     1404   6479 |        0 |        0
616.89/617.02	c  617s |      24 |  3822285 |  3571262 |     1404   6493 |        0 |        0
618.89/619.03	c  619s |      24 |  3833879 |  3582162 |     1404   6508 |        0 |        0
620.89/621.03	c  621s |      24 |  3845104 |  3592762 |     1404   6523 |        0 |        0
622.89/623.05	c  623s |      24 |  3856499 |  3603662 |     1404   6538 |        0 |        0
624.89/625.06	c  625s |      24 |  3867900 |  3614362 |     1404   6552 |        0 |        0
626.90/627.07	c  627s |      24 |  3879182 |  3625162 |     1404   6567 |        0 |        0
628.89/629.09	c  629s |      24 |  3890241 |  3635862 |     1404   6582 |        0 |        0
630.89/631.09	c  631s |      24 |  3901509 |  3646762 |     1404   6596 |        0 |        0
632.99/633.10	c  633s |      24 |  3912840 |  3657462 |     1404   6611 |        0 |        0
634.99/635.10	c  635s |      24 |  3924241 |  3668262 |     1404   6626 |        0 |        0
636.99/637.11	c  637s |      24 |  3935507 |  3679062 |     1404   6641 |        0 |        0
639.00/639.12	c  639s |      24 |  3946817 |  3689562 |     1404   6655 |        0 |        0
640.99/641.12	c  641s |      24 |  3958072 |  3700162 |     1404   6669 |        0 |        0
642.99/643.13	c  643s |      24 |  3969249 |  3710762 |     1404   6684 |        0 |        0
644.99/645.14	c  645s |      24 |  3980372 |  3721462 |     1404   6699 |        0 |        0
646.99/647.16	c  647s |      24 |  3991409 |  3731962 |     1404   6713 |        0 |        0
649.00/649.17	c  649s |      24 |  4002600 |  3742462 |     1404   6727 |        0 |        0
650.99/651.18	c  651s |      24 |  4013731 |  3752862 |     1404   6742 |        0 |        0
652.99/653.19	c  653s |      24 |  4025971 |  3763662 |     1404   6756 |        0 |        0
654.99/655.19	c  655s |      24 |  4036924 |  3773962 |     1404   6770 |        0 |        0
657.09/657.20	c  657s |      24 |  4047781 |  3784262 |     1404   6784 |        0 |        0
659.09/659.21	c  659s |      24 |  4058755 |  3794762 |     1404   6799 |        0 |        0
661.09/661.23	c  661s |      24 |  4070066 |  3805262 |     1404   6813 |        0 |        0
663.09/663.24	c  663s |      24 |  4081037 |  3815662 |     1404   6827 |        0 |        0
665.08/665.26	c  665s |      24 |  4092109 |  3826262 |     1404   6842 |        0 |        0
667.08/667.26	c  667s |      24 |  4103134 |  3836662 |     1404   6856 |        0 |        0
669.08/669.27	c  669s |      24 |  4114473 |  3846762 |     1404   6870 |        0 |        0
671.08/671.29	c  671s |      24 |  4126014 |  3857162 |     1404   6884 |        0 |        0
673.09/673.30	c  673s |      24 |  4137151 |  3867362 |     1404   6898 |        0 |        0
675.18/675.32	c  675s |      24 |  4148976 |  3877762 |     1404   6913 |        0 |        0
677.18/677.33	c  677s |      24 |  4160425 |  3888062 |     1404   6927 |        0 |        0
679.18/679.35	c  679s |      24 |  4171503 |  3898262 |     1404   6941 |        0 |        0
681.18/681.36	c  681s |      24 |  4183810 |  3909462 |     1404   6956 |        0 |        0
683.18/683.37	c  683s |      24 |  4195668 |  3920362 |     1404   6971 |        0 |        0
685.20/685.37	c  685s |      24 |  4207083 |  3931162 |     1404   6985 |        0 |        0
687.19/687.38	c  687s |      24 |  4218192 |  3941762 |     1404   7000 |        0 |        0
689.19/689.39	c  689s |      24 |  4229277 |  3952162 |     1404   7014 |        0 |        0
691.18/691.39	c  691s |      24 |  4240391 |  3962762 |     1404   7029 |        0 |        0
693.18/693.39	c  693s |      24 |  4251619 |  3973562 |     1404   7043 |        0 |        0
695.19/695.39	c  695s |      24 |  4262990 |  3984162 |     1404   7058 |        0 |        0
697.18/697.40	c  697s |      24 |  4274282 |  3994862 |     1404   7072 |        0 |        0
699.28/699.41	c  699s |      24 |  4285842 |  4005862 |     1404   7087 |        0 |        0
701.28/701.42	c  701s |      24 |  4297962 |  4016762 |     1404   7102 |        0 |        0
703.28/703.43	c  703s |      24 |  4309319 |  4027662 |     1404   7117 |        0 |        0
705.28/705.44	c  705s |      24 |  4320854 |  4038262 |     1404   7132 |        0 |        0
707.29/707.45	c  707s |      24 |  4332545 |  4048962 |     1404   7146 |        0 |        0
709.28/709.46	c  709s |      24 |  4343902 |  4059462 |     1404   7161 |        0 |        0
711.28/711.47	c  711s |      24 |  4355590 |  4070262 |     1404   7175 |        0 |        0
713.28/713.48	c  713s |      24 |  4367228 |  4081062 |     1404   7190 |        0 |        0
715.28/715.49	c  715s |      24 |  4378530 |  4091862 |     1404   7205 |        0 |        0
717.38/717.50	c  717s |      24 |  4389913 |  4102562 |     1404   7219 |        0 |        0
719.28/719.50	c  719s |      24 |  4401319 |  4113062 |     1404   7234 |        0 |        0
721.37/721.50	c  721s |      24 |  4412629 |  4123562 |     1404   7248 |        0 |        0
723.37/723.52	c  723s |      24 |  4424040 |  4134162 |     1404   7263 |        0 |        0
725.37/725.54	c  725s |      24 |  4435719 |  4144662 |     1404   7277 |        0 |        0
727.37/727.56	c  727s |      24 |  4447133 |  4155162 |     1404   7291 |        0 |        0
729.37/729.56	c  729s |      24 |  4458612 |  4166062 |     1404   7306 |        0 |        0
731.37/731.58	c  731s |      24 |  4470217 |  4176962 |     1404   7321 |        0 |        0
733.37/733.58	c  733s |      24 |  4481536 |  4187362 |     1404   7335 |        0 |        0
735.37/735.58	c  735s |      24 |  4492592 |  4197962 |     1404   7350 |        0 |        0
737.37/737.59	c  737s |      24 |  4504337 |  4208562 |     1404   7365 |        0 |        0
739.37/739.59	c  739s |      24 |  4515639 |  4218962 |     1404   7379 |        0 |        0
741.47/741.60	c  741s |      24 |  4526537 |  4229262 |     1404   7393 |        0 |        0
743.48/743.60	c  743s |      24 |  4537896 |  4240062 |     1404   7407 |        0 |        0
745.47/745.62	c  745s |      24 |  4549309 |  4250762 |     1404   7422 |        0 |        0
747.47/747.63	c  747s |      24 |  4560803 |  4261562 |     1404   7437 |        0 |        0
749.47/749.64	c  749s |      24 |  4572038 |  4272262 |     1404   7451 |        0 |        0
751.47/751.64	c  751s |      24 |  4583327 |  4282962 |     1404   7466 |        0 |        0
753.47/753.65	c  753s |      24 |  4594505 |  4293562 |     1404   7481 |        0 |        0
755.47/755.65	c  755s |      24 |  4605836 |  4304162 |     1404   7495 |        0 |        0
757.47/757.66	c  757s |      24 |  4617166 |  4314762 |     1404   7509 |        0 |        0
759.47/759.66	c  759s |      24 |  4628231 |  4325262 |     1404   7524 |        0 |        0
761.46/761.67	c  761s |      24 |  4639676 |  4335762 |     1404   7538 |        0 |        0
763.46/763.67	c  763s |      24 |  4650906 |  4345562 |     1404   7552 |        0 |        0
765.46/765.69	c  765s |      24 |  4661930 |  4355962 |     1404   7566 |        0 |        0
767.46/767.69	c  767s |      24 |  4672863 |  4366462 |     1404   7580 |        0 |        0
769.56/769.70	c  769s |      24 |  4684300 |  4376762 |     1404   7594 |        0 |        0
771.56/771.72	c  771s |      24 |  4695252 |  4386962 |     1404   7608 |        0 |        0
773.55/773.72	c  773s |      24 |  4707415 |  4397462 |     1404   7623 |        0 |        0
775.55/775.73	c  775s |      24 |  4719037 |  4408162 |     1404   7637 |        0 |        0
777.56/777.74	c  777s |      24 |  4730507 |  4418562 |     1404   7651 |        0 |        0
779.55/779.76	c  779s |      24 |  4741409 |  4428862 |     1404   7666 |        0 |        0
781.55/781.78	c  781s |      24 |  4752371 |  4439162 |     1404   7680 |        0 |        0
783.55/783.79	c  783s |      24 |  4763853 |  4449962 |     1404   7694 |        0 |        0
785.55/785.79	c  785s |      24 |  4775253 |  4460762 |     1404   7709 |        0 |        0
787.64/787.80	c  787s |      24 |  4786555 |  4471562 |     1404   7724 |        0 |        0
789.65/789.82	c  789s |      24 |  4798039 |  4482362 |     1404   7739 |        0 |        0
791.64/791.85	c  791s |      24 |  4809927 |  4493362 |     1404   7754 |        0 |        0
793.64/793.86	c  793s |      24 |  4821313 |  4503962 |     1404   7768 |        0 |        0
795.64/795.87	c  795s |      24 |  4833519 |  4514462 |     1404   7782 |        0 |        0
797.64/797.88	c  797s |      24 |  4844734 |  4525362 |     1404   7797 |        0 |        0
799.65/799.89	c  799s |      24 |  4856448 |  4536462 |     1404   7812 |        0 |        0
801.75/801.90	c  801s |      24 |  4868075 |  4547362 |     1404   7827 |        0 |        0
803.74/803.92	c  803s |      24 |  4880041 |  4558262 |     1404   7842 |        0 |        0
805.74/805.93	c  805s |      24 |  4891345 |  4568862 |     1404   7857 |        0 |        0
807.74/807.94	c  807s |      24 |  4902851 |  4579362 |     1404   7871 |        0 |        0
809.74/809.94	c  809s |      24 |  4913976 |  4589762 |     1404   7885 |        0 |        0
811.75/811.94	c  811s |      24 |  4925561 |  4600862 |     1404   7900 |        0 |        0
813.74/813.95	c  813s |      24 |  4937156 |  4611762 |     1404   7915 |        0 |        0
815.74/815.96	c  815s |      24 |  4948749 |  4622562 |     1404   7930 |        0 |        0
817.74/817.97	c  817s |      24 |  4960329 |  4633362 |     1404   7945 |        0 |        0
819.74/819.98	c  819s |      24 |  4971717 |  4644162 |     1404   7959 |        0 |        0
821.74/821.98	c  821s |      24 |  4982811 |  4654762 |     1404   7974 |        0 |        0
823.74/824.00	c  823s |      24 |  4994218 |  4665362 |     1404   7988 |        0 |        0
825.83/826.01	c  825s |      24 |  5005287 |  4675662 |     1404   8002 |        0 |        0
827.83/828.02	c  828s |      24 |  5017250 |  4686562 |     1404   8017 |        0 |        0
829.83/830.03	c  830s |      24 |  5028702 |  4697362 |     1404   8032 |        0 |        0
831.83/832.03	c  832s |      24 |  5040463 |  4708262 |     1404   8047 |        0 |        0
833.82/834.04	c  834s |      24 |  5052095 |  4718962 |     1404   8062 |        0 |        0
835.83/836.04	c  836s |      24 |  5063304 |  4729762 |     1404   8076 |        0 |        0
837.82/838.04	c  838s |      24 |  5074740 |  4740662 |     1404   8091 |        0 |        0
839.82/840.05	c  840s |      24 |  5086343 |  4751362 |     1404   8106 |        0 |        0
841.82/842.06	c  842s |      24 |  5098009 |  4762162 |     1404   8121 |        0 |        0
843.81/844.07	c  844s |      24 |  5109339 |  4772962 |     1404   8135 |        0 |        0
845.82/846.08	c  846s |      24 |  5120769 |  4783762 |     1404   8150 |        0 |        0
847.82/848.09	c  848s |      24 |  5132169 |  4794562 |     1404   8165 |        0 |        0
849.92/850.10	c  850s |      24 |  5143799 |  4805162 |     1404   8179 |        0 |        0
851.92/852.11	c  852s |      24 |  5154947 |  4815662 |     1404   8194 |        0 |        0
853.92/854.12	c  854s |      24 |  5165961 |  4826162 |     1404   8208 |        0 |        0
855.92/856.12	c  856s |      24 |  5178249 |  4837262 |     1404   8223 |        0 |        0
857.92/858.13	c  858s |      24 |  5189681 |  4848262 |     1404   8238 |        0 |        0
859.92/860.14	c  860s |      24 |  5201259 |  4859262 |     1404   8253 |        0 |        0
861.91/862.15	c  862s |      24 |  5212644 |  4870162 |     1404   8268 |        0 |        0
863.91/864.16	c  864s |      24 |  5223771 |  4880862 |     1404   8283 |        0 |        0
865.91/866.16	c  866s |      24 |  5235070 |  4891662 |     1404   8298 |        0 |        0
867.91/868.18	c  868s |      24 |  5246441 |  4902562 |     1404   8313 |        0 |        0
869.92/870.19	c  870s |      24 |  5257665 |  4913362 |     1404   8327 |        0 |        0
872.01/872.20	c  872s |      24 |  5268881 |  4924162 |     1404   8342 |        0 |        0
874.00/874.20	c  874s |      24 |  5279877 |  4934862 |     1404   8357 |        0 |        0
876.00/876.23	c  876s |      24 |  5291085 |  4945662 |     1404   8372 |        0 |        0
878.00/878.24	c  878s |      24 |  5302196 |  4956262 |     1404   8386 |        0 |        0
880.00/880.25	c  880s |      24 |  5313574 |  4967262 |     1404   8401 |        0 |        0
882.01/882.27	c  882s |      24 |  5324732 |  4977862 |     1404   8416 |        0 |        0
884.00/884.28	c  884s |      24 |  5335759 |  4988462 |     1404   8430 |        0 |        0
886.00/886.29	c  886s |      24 |  5346810 |  4999162 |     1404   8445 |        0 |        0
888.10/888.30	c  888s |      24 |  5357921 |  5009862 |     1404   8460 |        0 |        0
890.10/890.31	c  890s |      24 |  5369312 |  5020862 |     1404   8475 |        0 |        0
892.10/892.31	c  892s |      24 |  5380742 |  5031862 |     1545   8489 |        0 |        0
894.10/894.32	c  894s |      24 |  5392059 |  5042762 |     1545   8503 |        0 |        0
896.09/896.33	c  896s |      24 |  5403202 |  5053262 |     1545   8516 |        0 |        0
898.09/898.34	c  898s |      24 |  5414553 |  5063962 |     1545   8529 |        0 |        0
898.29/898.55	c  898s |      25 |  5415727 |  5065098 |     1545   8530 |        0 |        0
900.29/900.56	c  900s |      25 |  5428264 |  5076498 |     1545   8545 |        0 |        0
902.29/902.57	c  902s |      25 |  5440300 |  5087798 |     1545   8559 |        0 |        0
904.28/904.58	c  904s |      25 |  5452099 |  5098998 |     1545   8572 |        0 |        0
906.29/906.59	c  906s |      25 |  5463869 |  5110198 |     1545   8586 |        0 |        0
908.28/908.60	c  908s |      25 |  5475749 |  5121298 |     1545   8600 |        0 |        0
910.38/910.61	c  910s |      25 |  5487379 |  5132198 |     1545   8614 |        0 |        0
912.38/912.62	c  912s |      25 |  5499203 |  5143498 |     1545   8628 |        0 |        0
914.38/914.63	c  914s |      25 |  5510681 |  5154498 |     1545   8641 |        0 |        0
916.38/916.65	c  916s |      25 |  5523294 |  5165898 |     1545   8656 |        0 |        0
918.39/918.65	c  918s |      25 |  5535268 |  5176898 |     1545   8669 |        0 |        0
920.38/920.67	c  920s |      25 |  5546978 |  5187998 |     1545   8683 |        0 |        0
922.38/922.67	c  922s |      25 |  5559104 |  5199398 |     1545   8697 |        0 |        0
924.37/924.68	c  924s |      25 |  5571101 |  5210598 |     1545   8711 |        0 |        0
926.47/926.70	c  926s |      25 |  5583494 |  5221698 |     1545   8725 |        0 |        0
928.47/928.70	c  928s |      25 |  5595783 |  5232898 |     1545   8739 |        0 |        0
930.48/930.72	c  930s |      25 |  5608668 |  5243998 |     1545   8753 |        0 |        0
932.47/932.72	c  932s |      25 |  5620939 |  5255198 |     1545   8767 |        0 |        0
934.47/934.74	c  934s |      25 |  5633032 |  5266298 |     1545   8780 |        0 |        0
936.47/936.75	c  936s |      25 |  5644770 |  5277298 |     1545   8794 |        0 |        0
938.47/938.75	c  938s |      25 |  5656531 |  5288298 |     1545   8808 |        0 |        0
940.47/940.75	c  940s |      25 |  5668427 |  5299098 |     1545   8821 |        0 |        0
942.47/942.77	c  942s |      25 |  5680328 |  5310498 |     1545   8836 |        0 |        0
944.47/944.79	c  944s |      25 |  5692158 |  5321798 |     1545   8850 |        0 |        0
946.47/946.79	c  946s |      25 |  5703565 |  5332698 |     1545   8863 |        0 |        0
948.57/948.81	c  948s |      25 |  5715258 |  5343798 |     1545   8877 |        0 |        0
950.57/950.81	c  950s |      25 |  5726784 |  5354798 |     1545   8891 |        0 |        0
952.57/952.82	c  952s |      25 |  5739471 |  5366398 |     1545   8905 |        0 |        0
954.57/954.83	c  954s |      25 |  5752214 |  5377598 |     1545   8919 |        0 |        0
956.56/956.85	c  956s |      25 |  5764195 |  5388398 |     1545   8933 |        0 |        0
958.56/958.86	c  958s |      25 |  5775760 |  5399098 |     1545   8946 |        0 |        0
960.56/960.87	c  960s |      25 |  5788247 |  5410298 |     1545   8960 |        0 |        0
962.56/962.87	c  962s |      25 |  5800324 |  5421398 |     1545   8974 |        0 |        0
964.56/964.88	c  964s |      25 |  5812002 |  5432198 |     1545   8987 |        0 |        0
966.55/966.90	c  966s |      25 |  5824048 |  5443298 |     1545   9001 |        0 |        0
968.65/968.90	c  968s |      25 |  5836182 |  5454298 |     1545   9015 |        0 |        0
970.65/970.90	c  970s |      25 |  5848701 |  5465298 |     1545   9028 |        0 |        0
972.65/972.92	c  972s |      25 |  5860733 |  5476198 |     1545   9042 |        0 |        0
974.66/974.92	c  974s |      25 |  5872896 |  5487698 |     1545   9056 |        0 |        0
976.67/976.92	c  976s |      25 |  5884625 |  5498798 |     1545   9070 |        0 |        0
978.66/978.92	c  978s |      25 |  5896451 |  5509998 |     1545   9084 |        0 |        0
980.66/980.94	c  980s |      25 |  5908459 |  5521398 |     1545   9098 |        0 |        0
982.66/982.95	c  982s |      25 |  5920757 |  5532998 |     1545   9113 |        0 |        0
984.65/984.96	c  984s |      25 |  5932808 |  5544398 |     1545   9127 |        0 |        0
986.65/986.96	c  986s |      25 |  5944471 |  5555298 |     1545   9140 |        0 |        0
988.65/988.96	c  988s |      25 |  5956142 |  5566498 |     1545   9154 |        0 |        0
990.65/990.98	c  990s |      25 |  5967795 |  5577298 |     1545   9168 |        0 |        0
992.65/992.99	c  992s |      25 |  5979435 |  5588198 |     1545   9181 |        0 |        0
994.65/994.99	c  994s |      25 |  5991089 |  5599298 |     1545   9195 |        0 |        0
996.75/997.00	c  996s |      25 |  6002362 |  5610098 |     1545   9209 |        0 |        0
998.75/999.01	c  998s |      25 |  6013827 |  5620798 |     1545   9222 |        0 |        0
1000.75/1001.01	c 1000s |      25 |  6025803 |  5631798 |     1545   9236 |        0 |        0
1002.74/1003.01	c 1002s |      25 |  6037354 |  5642698 |     1545   9249 |        0 |        0
1004.74/1005.03	c 1005s |      25 |  6048815 |  5653598 |     1545   9263 |        0 |        0
1006.74/1007.04	c 1007s |      25 |  6060557 |  5664498 |     1545   9277 |        0 |        0
1008.74/1009.05	c 1009s |      25 |  6071975 |  5675298 |     1545   9290 |        0 |        0
1010.75/1011.06	c 1011s |      25 |  6083667 |  5685998 |     1545   9303 |        0 |        0
1012.74/1013.08	c 1013s |      25 |  6095378 |  5696898 |     1545   9317 |        0 |        0
1014.73/1015.09	c 1015s |      25 |  6107361 |  5707798 |     1545   9331 |        0 |        0
1016.73/1017.10	c 1017s |      25 |  6119809 |  5718998 |     1545   9344 |        0 |        0
1018.83/1019.11	c 1019s |      25 |  6131748 |  5729998 |     1545   9358 |        0 |        0
1020.83/1021.12	c 1021s |      25 |  6143793 |  5741198 |     1545   9372 |        0 |        0
1022.84/1023.13	c 1023s |      25 |  6155290 |  5751998 |     1545   9386 |        0 |        0
1024.83/1025.14	c 1025s |      25 |  6167181 |  5762898 |     1545   9399 |        0 |        0
1026.83/1027.15	c 1027s |      25 |  6178718 |  5773598 |     1545   9412 |        0 |        0
1028.83/1029.15	c 1029s |      25 |  6190917 |  5784498 |     1545   9426 |        0 |        0
1030.83/1031.17	c 1031s |      25 |  6202969 |  5795398 |     1545   9440 |        0 |        0
1032.83/1033.18	c 1033s |      25 |  6215184 |  5806598 |     1545   9454 |        0 |        0
1034.83/1035.19	c 1035s |      25 |  6226992 |  5817698 |     1545   9467 |        0 |        0
1036.92/1037.20	c 1037s |      25 |  6238658 |  5828698 |     1545   9481 |        0 |        0
1038.92/1039.23	c 1039s |      25 |  6250206 |  5839598 |     1545   9495 |        0 |        0
1040.92/1041.24	c 1041s |      25 |  6262196 |  5850398 |     1545   9508 |        0 |        0
1042.92/1043.24	c 1043s |      25 |  6274075 |  5861198 |     1545   9522 |        0 |        0
1044.91/1045.24	c 1045s |      25 |  6286028 |  5872298 |     1545   9535 |        0 |        0
1046.92/1047.25	c 1047s |      25 |  6298421 |  5883598 |     1545   9549 |        0 |        0
1048.92/1049.25	c 1049s |      25 |  6310390 |  5894798 |     1545   9563 |        0 |        0
1050.92/1051.26	c 1051s |      25 |  6322268 |  5905898 |     1545   9577 |        0 |        0
1052.92/1053.27	c 1053s |      25 |  6334375 |  5917098 |     1545   9591 |        0 |        0
1054.92/1055.28	c 1055s |      25 |  6346234 |  5927998 |     1545   9605 |        0 |        0
1057.02/1057.30	c 1057s |      25 |  6357993 |  5938998 |     1545   9618 |        0 |        0
1058.91/1059.30	c 1059s |      25 |  6369944 |  5949998 |     1545   9632 |        0 |        0
1061.01/1061.31	c 1061s |      25 |  6381672 |  5960798 |     1545   9645 |        0 |        0
1063.01/1063.32	c 1063s |      25 |  6393398 |  5971698 |     1545   9659 |        0 |        0
1065.01/1065.33	c 1065s |      25 |  6405356 |  5982698 |     1545   9673 |        0 |        0
1067.01/1067.34	c 1067s |      25 |  6417646 |  5993898 |     1545   9687 |        0 |        0
1069.01/1069.35	c 1069s |      25 |  6429328 |  6004798 |     1545   9700 |        0 |        0
1071.01/1071.36	c 1071s |      25 |  6440573 |  6015198 |     1545   9713 |        0 |        0
1073.01/1073.37	c 1073s |      25 |  6452780 |  6026198 |     1545   9727 |        0 |        0
1075.00/1075.38	c 1075s |      25 |  6464563 |  6036998 |     1545   9740 |        0 |        0
1077.00/1077.39	c 1077s |      25 |  6476008 |  6047698 |     1545   9754 |        0 |        0
1079.00/1079.40	c 1079s |      25 |  6488152 |  6058698 |     1545   9767 |        0 |        0
1081.01/1081.40	c 1081s |      25 |  6499809 |  6069298 |     1545   9780 |        0 |        0
1083.10/1083.41	c 1083s |      25 |  6511769 |  6080198 |     1545   9794 |        0 |        0
1085.10/1085.41	c 1085s |      25 |  6523425 |  6090898 |     1545   9807 |        0 |        0
1087.10/1087.41	c 1087s |      25 |  6535238 |  6101798 |     1545   9821 |        0 |        0
1089.10/1089.42	c 1089s |      25 |  6547547 |  6112998 |     1545   9835 |        0 |        0
1091.10/1091.43	c 1091s |      25 |  6559402 |  6123798 |     1545   9848 |        0 |        0
1093.10/1093.43	c 1093s |      25 |  6571350 |  6134698 |     1545   9862 |        0 |        0
1095.09/1095.45	c 1095s |      25 |  6583011 |  6145498 |     1545   9875 |        0 |        0
1097.09/1097.45	c 1097s |      25 |  6594668 |  6156298 |     1545   9889 |        0 |        0
1099.09/1099.45	c 1099s |      25 |  6606472 |  6167198 |     1545   9902 |        0 |        0
1101.09/1101.46	c 1101s |      25 |  6618079 |  6177798 |     1545   9916 |        0 |        0
1103.10/1103.46	c 1103s |      25 |  6630402 |  6189098 |     1545   9930 |        0 |        0
1105.09/1105.46	c 1105s |      25 |  6642814 |  6200398 |     1545   9944 |        0 |        0
1107.09/1107.47	c 1107s |      25 |  6654354 |  6211398 |     1545   9957 |        0 |        0
1109.09/1109.48	c 1109s |      25 |  6666565 |  6222498 |     1545   9971 |        0 |        0
1111.09/1111.49	c 1111s |      25 |  6678722 |  6233798 |     1545   9985 |        0 |        0
1113.19/1113.50	c 1113s |      25 |  6691144 |  6245198 |     1545   9999 |        0 |        0
1115.19/1115.51	c 1115s |      25 |  6703833 |  6256698 |     1545  10014 |        0 |        0
1117.18/1117.53	c 1117s |      25 |  6716312 |  6268098 |     1545  10028 |        0 |        0
1119.18/1119.54	c 1119s |      25 |  6728446 |  6279198 |     1545  10042 |        0 |        0
1121.18/1121.55	c 1121s |      25 |  6740607 |  6290598 |     1545  10056 |        0 |        0
1123.18/1123.55	c 1123s |      25 |  6752924 |  6301898 |     1545  10070 |        0 |        0
1125.18/1125.56	c 1125s |      25 |  6765438 |  6312998 |     1545  10084 |        0 |        0
1127.18/1127.57	c 1127s |      25 |  6777563 |  6323998 |     1545  10098 |        0 |        0
1129.18/1129.57	c 1129s |      25 |  6789519 |  6335098 |     1545  10111 |        0 |        0
1131.18/1131.58	c 1131s |      25 |  6801735 |  6346398 |     1545  10126 |        0 |        0
1133.18/1133.58	c 1133s |      25 |  6813669 |  6357698 |     1545  10140 |        0 |        0
1135.17/1135.59	c 1135s |      25 |  6825831 |  6368698 |     1545  10153 |        0 |        0
1137.18/1137.60	c 1137s |      25 |  6838116 |  6379898 |     1545  10167 |        0 |        0
1139.28/1139.60	c 1139s |      25 |  6850365 |  6391298 |     1545  10182 |        0 |        0
1141.27/1141.62	c 1141s |      25 |  6862221 |  6402598 |     1545  10196 |        0 |        0
1143.27/1143.63	c 1143s |      25 |  6874642 |  6413898 |     1545  10210 |        0 |        0
1145.26/1145.64	c 1145s |      25 |  6886787 |  6425298 |     1545  10224 |        0 |        0
1147.26/1147.66	c 1147s |      25 |  6898570 |  6436298 |     1545  10238 |        0 |        0
1149.27/1149.67	c 1149s |      25 |  6910267 |  6447298 |     1545  10251 |        0 |        0
1151.26/1151.67	c 1151s |      25 |  6922265 |  6458598 |     1545  10265 |        0 |        0
1153.27/1153.68	c 1153s |      25 |  6934310 |  6469898 |     1545  10279 |        0 |        0
1155.27/1155.68	c 1155s |      25 |  6946257 |  6481098 |     1545  10293 |        0 |        0
1157.27/1157.69	c 1157s |      25 |  6958123 |  6492198 |     1545  10307 |        0 |        0
1159.37/1159.70	c 1159s |      25 |  6970468 |  6503198 |     1545  10321 |        0 |        0
1161.37/1161.72	c 1161s |      25 |  6982341 |  6513998 |     1545  10334 |        0 |        0
1163.36/1163.73	c 1163s |      25 |  6994089 |  6524998 |     1545  10348 |        0 |        0
1165.36/1165.74	c 1165s |      25 |  7006302 |  6535998 |     1545  10362 |        0 |        0
1167.36/1167.75	c 1167s |      25 |  7018235 |  6547198 |     1545  10376 |        0 |        0
1169.36/1169.75	c 1169s |      25 |  7029840 |  6557998 |     1545  10389 |        0 |        0
1171.36/1171.76	c 1171s |      25 |  7042311 |  6569398 |     1545  10403 |        0 |        0
1173.36/1173.77	c 1173s |      25 |  7054705 |  6580698 |     1545  10418 |        0 |        0
1175.35/1175.78	c 1175s |      25 |  7066700 |  6591798 |     1545  10431 |        0 |        0
1177.35/1177.79	c 1177s |      25 |  7078796 |  6603098 |     1545  10445 |        0 |        0
1179.45/1179.80	c 1179s |      25 |  7091424 |  6614598 |     1545  10460 |        0 |        0
1181.45/1181.81	c 1181s |      25 |  7103817 |  6626098 |     1545  10474 |        0 |        0
1183.44/1183.82	c 1183s |      25 |  7116179 |  6637298 |     1545  10488 |        0 |        0
1185.45/1185.82	c 1185s |      25 |  7128194 |  6648498 |     1545  10502 |        0 |        0
1187.44/1187.83	c 1187s |      25 |  7140525 |  6659898 |     1545  10516 |        0 |        0
1189.44/1189.84	c 1189s |      25 |  7152619 |  6671298 |     1545  10531 |        0 |        0
1191.45/1191.84	c 1191s |      25 |  7164381 |  6682398 |     1545  10544 |        0 |        0
1193.45/1193.86	c 1193s |      25 |  7176429 |  6693698 |     1545  10558 |        0 |        0
1195.45/1195.87	c 1195s |      25 |  7189067 |  6704898 |     1545  10572 |        0 |        0
1197.45/1197.89	c 1197s |      25 |  7200823 |  6715698 |     1545  10586 |        0 |        0
1199.55/1199.91	c 1199s |      25 |  7212665 |  6726498 |     1545  10599 |        0 |        0
1201.54/1201.92	c 1201s |      25 |  7224184 |  6737298 |     1545  10613 |        0 |        0
1203.54/1203.92	c 1203s |      25 |  7236618 |  6748698 |     1545  10627 |        0 |        0
1205.54/1205.93	c 1205s |      25 |  7249219 |  6759998 |     1545  10641 |        0 |        0
1207.55/1207.94	c 1207s |      25 |  7261810 |  6771398 |     1545  10655 |        0 |        0
1209.54/1209.94	c 1209s |      25 |  7273834 |  6782598 |     1545  10669 |        0 |        0
1211.54/1211.94	c 1211s |      25 |  7285707 |  6793698 |     1545  10683 |        0 |        0
1213.54/1213.95	c 1213s |      25 |  7297537 |  6804798 |     1545  10697 |        0 |        0
1215.54/1215.96	c 1215s |      25 |  7309372 |  6815898 |     1545  10711 |        0 |        0
1217.53/1217.97	c 1217s |      25 |  7321283 |  6826798 |     1545  10725 |        0 |        0
1219.54/1219.97	c 1219s |      25 |  7333263 |  6837598 |     1545  10738 |        0 |        0
1221.53/1221.99	c 1221s |      25 |  7344942 |  6848398 |     1545  10752 |        0 |        0
1223.63/1224.00	c 1223s |      25 |  7356686 |  6859198 |     1545  10765 |        0 |        0
1225.63/1226.00	c 1225s |      25 |  7368430 |  6870098 |     1545  10779 |        0 |        0
1227.63/1228.01	c 1227s |      25 |  7380147 |  6881298 |     1545  10793 |        0 |        0
1229.62/1230.01	c 1229s |      25 |  7392303 |  6892398 |     1545  10806 |        0 |        0
1231.64/1232.01	c 1232s |      25 |  7404630 |  6903698 |     1545  10821 |        0 |        0
1233.63/1234.03	c 1234s |      25 |  7416992 |  6915198 |     1545  10835 |        0 |        0
1235.63/1236.05	c 1236s |      25 |  7428865 |  6926398 |     1545  10849 |        0 |        0
1237.63/1238.06	c 1238s |      25 |  7440859 |  6937598 |     1545  10863 |        0 |        0
1239.63/1240.07	c 1240s |      25 |  7453027 |  6948898 |     1545  10877 |        0 |        0
1241.64/1242.09	c 1242s |      25 |  7464699 |  6959798 |     1545  10891 |        0 |        0
1243.73/1244.10	c 1244s |      25 |  7476575 |  6970898 |     1545  10904 |        0 |        0
1245.72/1246.12	c 1246s |      25 |  7488398 |  6981698 |     1545  10918 |        0 |        0
1247.72/1248.14	c 1248s |      25 |  7500544 |  6992598 |     1545  10931 |        0 |        0
1249.72/1250.15	c 1250s |      25 |  7513103 |  7003398 |     1545  10945 |        0 |        0
1251.72/1252.16	c 1252s |      25 |  7524975 |  7014098 |     1545  10958 |        0 |        0
1253.72/1254.17	c 1254s |      25 |  7537325 |  7025098 |     1545  10972 |        0 |        0
1255.72/1256.18	c 1256s |      25 |  7549924 |  7036198 |     1545  10986 |        0 |        0
1257.71/1258.19	c 1258s |      25 |  7561811 |  7047198 |     1545  11000 |        0 |        0
1259.81/1260.20	c 1260s |      25 |  7573882 |  7058198 |     1545  11013 |        0 |        0
1261.81/1262.22	c 1262s |      25 |  7586266 |  7069698 |     1545  11028 |        0 |        0
1263.81/1264.23	c 1264s |      25 |  7598741 |  7080998 |     1545  11042 |        0 |        0
1265.82/1266.24	c 1266s |      25 |  7610829 |  7092098 |     1545  11055 |        0 |        0
1267.81/1268.25	c 1268s |      25 |  7622879 |  7103098 |     1545  11069 |        0 |        0
1269.81/1270.26	c 1270s |      25 |  7634969 |  7114198 |     1545  11083 |        0 |        0
1271.80/1272.26	c 1272s |      25 |  7646847 |  7125198 |     1545  11096 |        0 |        0
1273.80/1274.27	c 1274s |      25 |  7658546 |  7136198 |     1545  11110 |        0 |        0
1275.80/1276.28	c 1276s |      25 |  7670741 |  7147498 |     1545  11124 |        0 |        0
1277.81/1278.29	c 1278s |      25 |  7682650 |  7158498 |     1545  11138 |        0 |        0
1279.90/1280.30	c 1280s |      25 |  7694790 |  7169798 |     1545  11152 |        0 |        0
1281.90/1282.30	c 1282s |      25 |  7706501 |  7180798 |     1545  11166 |        0 |        0
1283.90/1284.32	c 1284s |      25 |  7718207 |  7191698 |     1545  11179 |        0 |        0
1285.90/1286.32	c 1286s |      25 |  7730048 |  7202498 |     1545  11193 |        0 |        0
1287.90/1288.33	c 1288s |      25 |  7742270 |  7213898 |     1545  11207 |        0 |        0
1289.91/1290.35	c 1290s |      25 |  7754306 |  7224998 |     1545  11221 |        0 |        0
1291.90/1292.35	c 1292s |      25 |  7766044 |  7236098 |     1545  11234 |        0 |        0
1293.90/1294.36	c 1294s |      25 |  7777846 |  7247098 |     1545  11248 |        0 |        0
1295.90/1296.38	c 1296s |      25 |  7789566 |  7257898 |     1545  11262 |        0 |        0
1297.89/1298.38	c 1298s |      25 |  7801271 |  7268898 |     1545  11275 |        0 |        0
1299.99/1300.40	c 1300s |      25 |  7813601 |  7280098 |     1545  11289 |        0 |        0
1301.89/1302.40	c 1302s |      25 |  7825314 |  7290798 |     1545  11303 |        0 |        0
1303.99/1304.41	c 1304s |      25 |  7837545 |  7302098 |     1545  11317 |        0 |        0
1305.99/1306.41	c 1306s |      25 |  7849476 |  7312998 |     1545  11330 |        0 |        0
1307.99/1308.43	c 1308s |      25 |  7861333 |  7323698 |     1545  11344 |        0 |        0
1309.99/1310.43	c 1310s |      25 |  7873236 |  7334898 |     1545  11358 |        0 |        0
1311.99/1312.44	c 1312s |      25 |  7885663 |  7346198 |     1545  11372 |        0 |        0
1313.98/1314.45	c 1314s |      25 |  7898231 |  7357398 |     1545  11386 |        0 |        0
1315.98/1316.45	c 1316s |      25 |  7910056 |  7368298 |     1545  11399 |        0 |        0
1317.98/1318.47	c 1318s |      25 |  7921953 |  7379198 |     1545  11413 |        0 |        0
1319.98/1320.47	c 1320s |      25 |  7933590 |  7390098 |     1545  11426 |        0 |        0
1321.98/1322.47	c 1322s |      25 |  7945301 |  7400898 |     1545  11440 |        0 |        0
1323.99/1324.47	c 1324s |      25 |  7957216 |  7411898 |     1545  11454 |        0 |        0
1325.98/1326.48	c 1326s |      25 |  7968907 |  7422698 |     1545  11467 |        0 |        0
1327.98/1328.49	c 1328s |      25 |  7980556 |  7433698 |     1545  11481 |        0 |        0
1330.08/1330.50	c 1330s |      25 |  7992550 |  7444398 |     1545  11494 |        0 |        0
1332.08/1332.51	c 1332s |      25 |  8003920 |  7454898 |     1545  11507 |        0 |        0
1334.07/1334.52	c 1334s |      25 |  8015344 |  7465498 |     1545  11521 |        0 |        0
1336.08/1336.52	c 1336s |      25 |  8026868 |  7475998 |     1545  11534 |        0 |        0
1338.08/1338.53	c 1338s |      25 |  8039333 |  7487298 |     1545  11548 |        0 |        0
1340.08/1340.54	c 1340s |      25 |  8051398 |  7498398 |     1545  11562 |        0 |        0
1342.08/1342.55	c 1342s |      25 |  8063720 |  7509598 |     1545  11576 |        0 |        0
1344.07/1344.57	c 1344s |      25 |  8075966 |  7520698 |     1545  11589 |        0 |        0
1346.08/1346.57	c 1346s |      25 |  8087627 |  7531398 |     1545  11603 |        0 |        0
1348.07/1348.59	c 1348s |      25 |  8099670 |  7542298 |     1545  11616 |        0 |        0
1350.07/1350.59	c 1350s |      25 |  8111245 |  7553198 |     1700  11629 |        0 |        0
1352.17/1352.60	c 1352s |      25 |  8123138 |  7564198 |     1700  11641 |        0 |        0
1354.17/1354.60	c 1354s |      25 |  8134770 |  7574798 |     1700  11653 |        0 |        0
1356.17/1356.60	c 1356s |      25 |  8146319 |  7585598 |     1700  11666 |        0 |        0
1358.17/1358.62	c 1358s |      25 |  8158168 |  7596298 |     1700  11678 |        0 |        0
1358.37/1358.89	c 1358s |      26 |  8159886 |  7597752 |     1700  11680 |        0 |        0
1360.37/1360.89	c 1360s |      26 |  8172104 |  7609252 |     1700  11693 |        0 |        0
1362.47/1362.92	c 1362s |      26 |  8184306 |  7620752 |     1700  11706 |        0 |        0
1364.46/1364.93	c 1364s |      26 |  8196539 |  7631952 |     1700  11718 |        0 |        0
1366.46/1366.95	c 1366s |      26 |  8208877 |  7643452 |     1700  11731 |        0 |        0
1368.46/1368.96	c 1368s |      26 |  8221170 |  7654752 |     1700  11744 |        0 |        0
1370.46/1370.97	c 1370s |      26 |  8233632 |  7666352 |     1700  11757 |        0 |        0
1372.47/1372.97	c 1372s |      26 |  8246402 |  7677752 |     1700  11770 |        0 |        0
1374.46/1374.98	c 1374s |      26 |  8258668 |  7688752 |     1700  11783 |        0 |        0
1376.46/1376.98	c 1376s |      26 |  8271337 |  7700352 |     1700  11796 |        0 |        0
1378.56/1379.00	c 1378s |      26 |  8283561 |  7711752 |     1700  11809 |        0 |        0
1380.56/1381.00	c 1380s |      26 |  8295688 |  7723052 |     1700  11822 |        0 |        0
1382.56/1383.03	c 1383s |      26 |  8307727 |  7734352 |     1700  11835 |        0 |        0
1384.57/1385.03	c 1385s |      26 |  8319753 |  7745552 |     1700  11847 |        0 |        0
1386.56/1387.04	c 1387s |      26 |  8332316 |  7757252 |     1700  11861 |        0 |        0
1388.56/1389.05	c 1389s |      26 |  8344626 |  7768752 |     1700  11874 |        0 |        0
1390.56/1391.06	c 1391s |      26 |  8356834 |  7780152 |     1700  11887 |        0 |        0
1392.55/1393.07	c 1393s |      26 |  8368848 |  7791352 |     1700  11899 |        0 |        0
1394.55/1395.08	c 1395s |      26 |  8380816 |  7802252 |     1700  11912 |        0 |        0
1396.56/1397.10	c 1397s |      26 |  8393133 |  7813452 |     1700  11925 |        0 |        0
1398.55/1399.10	c 1399s |      26 |  8405130 |  7824452 |     1700  11937 |        0 |        0
1400.65/1401.11	c 1401s |      26 |  8417728 |  7835652 |     1700  11950 |        0 |        0
1402.66/1403.11	c 1403s |      26 |  8429888 |  7847052 |     1700  11963 |        0 |        0
1404.66/1405.12	c 1405s |      26 |  8442157 |  7858052 |     1700  11975 |        0 |        0
1406.66/1407.12	c 1407s |      26 |  8454049 |  7868952 |     1700  11988 |        0 |        0
1408.67/1409.13	c 1409s |      26 |  8466437 |  7879952 |     1700  12000 |        0 |        0
1410.66/1411.13	c 1411s |      26 |  8479312 |  7891352 |     1700  12013 |        0 |        0
1412.66/1413.14	c 1413s |      26 |  8491843 |  7902452 |     1700  12026 |        0 |        0
1414.66/1415.14	c 1415s |      26 |  8503900 |  7913552 |     1700  12038 |        0 |        0
1416.66/1417.15	c 1417s |      26 |  8516118 |  7924452 |     1700  12051 |        0 |        0
1418.67/1419.17	c 1419s |      26 |  8528388 |  7935652 |     1700  12063 |        0 |        0
1420.66/1421.18	c 1421s |      26 |  8540412 |  7946652 |     1700  12076 |        0 |        0
1422.66/1423.19	c 1423s |      26 |  8552983 |  7957852 |     1700  12089 |        0 |        0
1424.76/1425.20	c 1425s |      26 |  8565386 |  7969152 |     1700  12101 |        0 |        0
1426.76/1427.20	c 1427s |      26 |  8578040 |  7980452 |     1700  12114 |        0 |        0
1428.76/1429.20	c 1429s |      26 |  8590495 |  7992052 |     1700  12127 |        0 |        0
1430.76/1431.23	c 1431s |      26 |  8602795 |  8003552 |     1700  12141 |        0 |        0
1432.75/1433.25	c 1433s |      26 |  8614993 |  8014952 |     1700  12154 |        0 |        0
1434.75/1435.25	c 1435s |      26 |  8627225 |  8026352 |     1700  12166 |        0 |        0
1436.75/1437.27	c 1437s |      26 |  8639222 |  8037552 |     1700  12179 |        0 |        0
1438.75/1439.28	c 1439s |      26 |  8651794 |  8048952 |     1700  12192 |        0 |        0
1440.75/1441.29	c 1441s |      26 |  8664354 |  8060452 |     1700  12205 |        0 |        0
1442.86/1443.31	c 1443s |      26 |  8676713 |  8071652 |     1700  12218 |        0 |        0
1444.85/1445.32	c 1445s |      26 |  8689008 |  8083052 |     1700  12231 |        0 |        0
1446.85/1447.32	c 1447s |      26 |  8700882 |  8094052 |     1700  12244 |        0 |        0
1448.85/1449.34	c 1449s |      26 |  8712748 |  8105152 |     1700  12256 |        0 |        0
1450.85/1451.35	c 1451s |      26 |  8725061 |  8116552 |     1700  12269 |        0 |        0
1452.85/1453.36	c 1453s |      26 |  8737304 |  8127852 |     1700  12282 |        0 |        0
1454.85/1455.37	c 1455s |      26 |  8749480 |  8139152 |     1700  12295 |        0 |        0
1456.85/1457.37	c 1457s |      26 |  8761332 |  8150452 |     1700  12308 |        0 |        0
1458.85/1459.38	c 1459s |      26 |  8773380 |  8161552 |     1700  12320 |        0 |        0
1460.85/1461.39	c 1461s |      26 |  8785407 |  8172452 |     1700  12333 |        0 |        0
1462.94/1463.40	c 1463s |      26 |  8798001 |  8183852 |     1700  12346 |        0 |        0
1464.94/1465.40	c 1465s |      26 |  8809975 |  8194952 |     1700  12358 |        0 |        0
1466.95/1467.41	c 1467s |      26 |  8821690 |  8205852 |     1700  12371 |        0 |        0
1468.94/1469.42	c 1469s |      26 |  8833453 |  8216852 |     1700  12383 |        0 |        0
1470.94/1471.43	c 1471s |      26 |  8845754 |  8228052 |     1700  12396 |        0 |        0
1472.94/1473.44	c 1473s |      26 |  8858006 |  8239152 |     1700  12409 |        0 |        0
1474.94/1475.45	c 1475s |      26 |  8869860 |  8250152 |     1700  12421 |        0 |        0
1476.95/1477.47	c 1477s |      26 |  8882077 |  8261152 |     1700  12434 |        0 |        0
1478.94/1479.49	c 1479s |      26 |  8894337 |  8271852 |     1700  12446 |        0 |        0
1481.04/1481.50	c 1481s |      26 |  8906180 |  8282452 |     1700  12458 |        0 |        0
1483.04/1483.50	c 1483s |      26 |  8917929 |  8293252 |     1700  12470 |        0 |        0
1485.04/1485.51	c 1485s |      26 |  8929784 |  8304152 |     1700  12482 |        0 |        0
1487.04/1487.53	c 1487s |      26 |  8941957 |  8315352 |     1700  12495 |        0 |        0
1489.05/1489.54	c 1489s |      26 |  8953806 |  8326252 |     1700  12507 |        0 |        0
1491.05/1491.55	c 1491s |      26 |  8965915 |  8337152 |     1700  12520 |        0 |        0
1493.05/1493.55	c 1493s |      26 |  8977911 |  8347852 |     1700  12532 |        0 |        0
1495.05/1495.57	c 1495s |      26 |  8990040 |  8358852 |     1700  12545 |        0 |        0
1497.05/1497.58	c 1497s |      26 |  9002538 |  8370352 |     1700  12558 |        0 |        0
1499.05/1499.59	c 1499s |      26 |  9015011 |  8381652 |     1700  12570 |        0 |        0
1501.15/1501.61	c 1501s |      26 |  9027493 |  8392752 |     1700  12583 |        0 |        0
1503.14/1503.61	c 1503s |      26 |  9039207 |  8403552 |     1700  12595 |        0 |        0
1505.14/1505.61	c 1505s |      26 |  9051638 |  8415152 |     1700  12608 |        0 |        0
1507.14/1507.62	c 1507s |      26 |  9064162 |  8426552 |     1700  12621 |        0 |        0
1509.14/1509.63	c 1509s |      26 |  9076244 |  8437752 |     1700  12634 |        0 |        0
1511.14/1511.64	c 1511s |      26 |  9088806 |  8448952 |     1700  12647 |        0 |        0
1513.15/1513.65	c 1513s |      26 |  9101597 |  8460452 |     1700  12660 |        0 |        0
1515.14/1515.65	c 1515s |      26 |  9113777 |  8471852 |     1700  12673 |        0 |        0
1517.14/1517.66	c 1517s |      26 |  9125895 |  8483052 |     1700  12685 |        0 |        0
1519.14/1519.68	c 1519s |      26 |  9138136 |  8494452 |     1700  12698 |        0 |        0
1521.14/1521.68	c 1521s |      26 |  9150064 |  8505452 |     1700  12711 |        0 |        0
1523.15/1523.70	c 1523s |      26 |  9162557 |  8517052 |     1700  12724 |        0 |        0
1525.24/1525.70	c 1525s |      26 |  9174798 |  8528352 |     1700  12737 |        0 |        0
1527.24/1527.71	c 1527s |      26 |  9187246 |  8539652 |     1700  12750 |        0 |        0
1529.24/1529.73	c 1529s |      26 |  9199562 |  8550852 |     1700  12763 |        0 |        0
1531.24/1531.73	c 1531s |      26 |  9211898 |  8561952 |     1700  12775 |        0 |        0
1533.24/1533.74	c 1533s |      26 |  9223811 |  8572952 |     1700  12788 |        0 |        0
1535.24/1535.75	c 1535s |      26 |  9236103 |  8583852 |     1700  12800 |        0 |        0
1537.23/1537.77	c 1537s |      26 |  9248978 |  8595452 |     1700  12813 |        0 |        0
1539.23/1539.77	c 1539s |      26 |  9261702 |  8607052 |     1700  12826 |        0 |        0
1541.33/1541.80	c 1541s |      26 |  9274390 |  8618552 |     1700  12840 |        0 |        0
1543.33/1543.81	c 1543s |      26 |  9287103 |  8629952 |     1700  12852 |        0 |        0
1545.33/1545.81	c 1545s |      26 |  9299057 |  8641152 |     1700  12865 |        0 |        0
1547.34/1547.82	c 1547s |      26 |  9311270 |  8652352 |     1700  12878 |        0 |        0
1549.33/1549.84	c 1549s |      26 |  9323262 |  8663452 |     1700  12891 |        0 |        0
1551.33/1551.84	c 1551s |      26 |  9335179 |  8674552 |     1700  12903 |        0 |        0
1553.34/1553.85	c 1553s |      26 |  9346903 |  8685552 |     1700  12916 |        0 |        0
1555.34/1555.87	c 1555s |      26 |  9358567 |  8696352 |     1700  12928 |        0 |        0
1557.34/1557.87	c 1557s |      26 |  9370568 |  8707552 |     1700  12941 |        0 |        0
1559.34/1559.88	c 1559s |      26 |  9382462 |  8718452 |     1700  12953 |        0 |        0
1561.34/1561.89	c 1561s |      26 |  9394459 |  8729452 |     1700  12966 |        0 |        0
1563.43/1563.90	c 1563s |      26 |  9406696 |  8740552 |     1700  12978 |        0 |        0
1565.43/1565.91	c 1565s |      26 |  9418187 |  8751152 |     1700  12990 |        0 |        0
1567.43/1567.92	c 1567s |      26 |  9429765 |  8761852 |     1700  13003 |        0 |        0
1569.43/1569.93	c 1569s |      26 |  9442708 |  8773452 |     1700  13016 |        0 |        0
1571.44/1571.94	c 1571s |      26 |  9455810 |  8784852 |     1700  13029 |        0 |        0
1573.43/1573.94	c 1573s |      26 |  9467730 |  8795952 |     1700  13041 |        0 |        0
1575.43/1575.94	c 1575s |      26 |  9479725 |  8806952 |     1700  13054 |        0 |        0
1577.43/1577.95	c 1577s |      26 |  9491872 |  8818252 |     1700  13067 |        0 |        0
1579.43/1579.96	c 1579s |      26 |  9504161 |  8829652 |     1700  13080 |        0 |        0
1581.44/1581.97	c 1581s |      26 |  9516322 |  8840952 |     1700  13092 |        0 |        0
1583.43/1583.99	c 1583s |      26 |  9528116 |  8851852 |     1700  13105 |        0 |        0
1585.43/1585.99	c 1585s |      26 |  9540451 |  8862952 |     1700  13117 |        0 |        0
1587.53/1588.00	c 1587s |      26 |  9552594 |  8873852 |     1700  13130 |        0 |        0
1589.53/1590.02	c 1590s |      26 |  9564779 |  8884752 |     1700  13142 |        0 |        0
1591.53/1592.03	c 1592s |      26 |  9577076 |  8895852 |     1700  13155 |        0 |        0
1593.53/1594.03	c 1594s |      26 |  9589005 |  8906452 |     1700  13167 |        0 |        0
1595.53/1596.04	c 1596s |      26 |  9601272 |  8918052 |     1700  13180 |        0 |        0
1597.53/1598.05	c 1598s |      26 |  9613365 |  8929252 |     1700  13193 |        0 |        0
1599.52/1600.06	c 1600s |      26 |  9625919 |  8940852 |     1700  13206 |        0 |        0
1601.52/1602.07	c 1602s |      26 |  9638032 |  8952152 |     1700  13219 |        0 |        0
1603.52/1604.08	c 1604s |      26 |  9650218 |  8963552 |     1700  13231 |        0 |        0
1605.53/1606.08	c 1606s |      26 |  9662056 |  8974652 |     1700  13244 |        0 |        0
1607.52/1608.09	c 1608s |      26 |  9674009 |  8985552 |     1700  13256 |        0 |        0
1609.62/1610.13	c 1610s |      26 |  9685865 |  8996652 |     1700  13269 |        0 |        0
1611.62/1612.13	c 1612s |      26 |  9697922 |  9007952 |     1700  13282 |        0 |        0
1613.62/1614.15	c 1614s |      26 |  9709867 |  9019052 |     1700  13295 |        0 |        0
1615.62/1616.16	c 1616s |      26 |  9721895 |  9030252 |     1700  13307 |        0 |        0
1617.63/1618.18	c 1618s |      26 |  9734104 |  9041652 |     1700  13320 |        0 |        0
1619.62/1620.19	c 1620s |      26 |  9746040 |  9052852 |     1700  13333 |        0 |        0
1621.73/1622.20	c 1622s |      26 |  9757862 |  9063852 |     1700  13345 |        0 |        0
1623.73/1624.21	c 1624s |      26 |  9769829 |  9074852 |     1700  13358 |        0 |        0
1625.73/1626.23	c 1626s |      26 |  9781886 |  9085952 |     1700  13371 |        0 |        0
1627.73/1628.24	c 1628s |      26 |  9794094 |  9096952 |     1700  13383 |        0 |        0
1629.73/1630.26	c 1630s |      26 |  9806308 |  9108052 |     1700  13396 |        0 |        0
1631.73/1632.27	c 1632s |      26 |  9818380 |  9119152 |     1700  13408 |        0 |        0
1633.73/1634.29	c 1634s |      26 |  9830194 |  9130052 |     1700  13421 |        0 |        0
1635.83/1636.30	c 1636s |      26 |  9842650 |  9141052 |     1700  13433 |        0 |        0
1637.82/1638.32	c 1638s |      26 |  9854840 |  9152052 |     1700  13446 |        0 |        0
1639.82/1640.32	c 1640s |      26 |  9866853 |  9163052 |     1700  13458 |        0 |        0
1641.83/1642.33	c 1642s |      26 |  9878604 |  9174052 |     1700  13471 |        0 |        0
1643.82/1644.33	c 1644s |      26 |  9890067 |  9184852 |     1700  13483 |        0 |        0
1645.82/1646.34	c 1646s |      26 |  9901954 |  9195752 |     1700  13495 |        0 |        0
1647.82/1648.35	c 1648s |      26 |  9914660 |  9207252 |     1700  13508 |        0 |        0
1649.82/1650.37	c 1650s |      26 |  9927281 |  9218852 |     1700  13521 |        0 |        0
1651.82/1652.37	c 1652s |      26 |  9939435 |  9229952 |     1700  13534 |        0 |        0
1653.82/1654.37	c 1654s |      26 |  9951535 |  9240952 |     1700  13547 |        0 |        0
1655.82/1656.38	c 1656s |      26 |  9964115 |  9252152 |     1700  13559 |        0 |        0
1657.81/1658.39	c 1658s |      26 |  9976616 |  9263452 |     1700  13572 |        0 |        0
1659.91/1660.40	c 1660s |      26 |  9988932 |  9274652 |     1700  13585 |        0 |        0
1661.91/1662.42	c 1662s |      26 | 10001101 |  9285652 |     1700  13597 |        0 |        0
1663.92/1664.44	c 1664s |      26 | 10013382 |  9296952 |     1700  13610 |        0 |        0
1665.91/1666.45	c 1666s |      26 | 10025726 |  9307852 |     1700  13622 |        0 |        0
1667.91/1668.47	c 1668s |      26 | 10037703 |  9318652 |     1700  13635 |        0 |        0
1669.92/1670.48	c 1670s |      26 | 10049912 |  9329852 |     1700  13647 |        0 |        0
1671.92/1672.49	c 1672s |      26 | 10062445 |  9340952 |     1700  13660 |        0 |        0
1673.92/1674.49	c 1674s |      26 | 10074340 |  9351852 |     1700  13672 |        0 |        0
1675.92/1676.50	c 1676s |      26 | 10086415 |  9362952 |     1700  13685 |        0 |        0
1678.02/1678.50	c 1678s |      26 | 10098358 |  9374052 |     1700  13697 |        0 |        0
1680.01/1680.51	c 1680s |      26 | 10110477 |  9384952 |     1700  13710 |        0 |        0
1682.01/1682.53	c 1682s |      26 | 10122609 |  9395752 |     1700  13722 |        0 |        0
1684.01/1684.55	c 1684s |      26 | 10134509 |  9406852 |     1700  13735 |        0 |        0
1686.01/1686.56	c 1686s |      26 | 10146726 |  9418152 |     1700  13747 |        0 |        0
1688.02/1688.56	c 1688s |      26 | 10158811 |  9429352 |     1700  13760 |        0 |        0
1690.01/1690.58	c 1690s |      26 | 10170981 |  9440552 |     1700  13773 |        0 |        0
1692.01/1692.58	c 1692s |      26 | 10183268 |  9451852 |     1700  13786 |        0 |        0
1694.11/1694.60	c 1694s |      26 | 10195622 |  9462752 |     1700  13798 |        0 |        0
1696.11/1696.62	c 1696s |      26 | 10208262 |  9473952 |     1700  13811 |        0 |        0
1698.11/1698.63	c 1698s |      26 | 10220382 |  9484752 |     1700  13823 |        0 |        0
1700.12/1700.64	c 1700s |      26 | 10233372 |  9495852 |     1700  13836 |        0 |        0
1702.11/1702.65	c 1702s |      26 | 10245483 |  9506952 |     1700  13848 |        0 |        0
1704.11/1704.65	c 1704s |      26 | 10257483 |  9518052 |     1700  13861 |        0 |        0
1706.11/1706.66	c 1706s |      26 | 10269426 |  9529152 |     1700  13874 |        0 |        0
1708.11/1708.67	c 1708s |      26 | 10281391 |  9540352 |     1700  13886 |        0 |        0
1710.12/1710.68	c 1710s |      26 | 10293470 |  9551552 |     1700  13899 |        0 |        0
1712.11/1712.70	c 1712s |      26 | 10305987 |  9562552 |     1700  13912 |        0 |        0
1714.21/1714.71	c 1714s |      26 | 10317722 |  9573652 |     1700  13924 |        0 |        0
1716.21/1716.71	c 1716s |      26 | 10329607 |  9584552 |     1700  13937 |        0 |        0
1718.21/1718.72	c 1718s |      26 | 10341243 |  9595052 |     1700  13948 |        0 |        0
1720.21/1720.74	c 1720s |      26 | 10353532 |  9606552 |     1700  13962 |        0 |        0
1722.21/1722.74	c 1722s |      26 | 10366712 |  9618152 |     1700  13975 |        0 |        0
1724.20/1724.75	c 1724s |      26 | 10379445 |  9629552 |     1700  13988 |        0 |        0
1726.20/1726.75	c 1726s |      26 | 10391916 |  9640752 |     1700  14000 |        0 |        0
1728.20/1728.76	c 1728s |      26 | 10404132 |  9652152 |     1700  14013 |        0 |        0
1730.20/1730.77	c 1730s |      26 | 10416196 |  9663452 |     1700  14026 |        0 |        0
1732.20/1732.77	c 1732s |      26 | 10428473 |  9674652 |     1700  14039 |        0 |        0
1734.21/1734.78	c 1734s |      26 | 10440649 |  9685852 |     1700  14051 |        0 |        0
1736.20/1736.79	c 1736s |      26 | 10452803 |  9696952 |     1700  14064 |        0 |        0
1738.21/1738.79	c 1738s |      26 | 10465259 |  9708152 |     1700  14077 |        0 |        0
1740.31/1740.80	c 1740s |      26 | 10478062 |  9719252 |     1700  14089 |        0 |        0
1742.31/1742.81	c 1742s |      26 | 10490435 |  9730452 |     1700  14102 |        0 |        0
1744.31/1744.82	c 1744s |      26 | 10502724 |  9741752 |     1700  14115 |        0 |        0
1746.31/1746.83	c 1746s |      26 | 10515002 |  9752852 |     1700  14127 |        0 |        0
1748.31/1748.83	c 1748s |      26 | 10527109 |  9763952 |     1700  14140 |        0 |        0
1750.30/1750.84	c 1750s |      26 | 10539492 |  9774952 |     1700  14153 |        0 |        0
1752.30/1752.85	c 1752s |      26 | 10551750 |  9786352 |     1700  14166 |        0 |        0
1754.30/1754.86	c 1754s |      26 | 10563966 |  9797652 |     1700  14178 |        0 |        0
1756.31/1756.87	c 1756s |      26 | 10575902 |  9808652 |     1700  14191 |        0 |        0
1758.30/1758.88	c 1758s |      26 | 10587804 |  9819752 |     1700  14203 |        0 |        0
1760.30/1760.89	c 1760s |      26 | 10599930 |  9830852 |     1700  14216 |        0 |        0
1762.30/1762.89	c 1762s |      26 | 10611934 |  9841952 |     1700  14229 |        0 |        0
1764.40/1764.90	c 1764s |      26 | 10623803 |  9853152 |     1700  14241 |        0 |        0
1766.40/1766.90	c 1766s |      26 | 10635864 |  9864352 |     1700  14254 |        0 |        0
1768.41/1768.92	c 1768s |      26 | 10648432 |  9875552 |     1700  14267 |        0 |        0
1770.40/1770.92	c 1770s |      26 | 10660640 |  9887052 |     1700  14280 |        0 |        0
1772.40/1772.92	c 1772s |      26 | 10673044 |  9898452 |     1700  14293 |        0 |        0
1774.40/1774.93	c 1774s |      26 | 10685695 |  9909652 |     1700  14306 |        0 |        0
1776.40/1776.94	c 1776s |      26 | 10697786 |  9920852 |     1700  14318 |        0 |        0
1778.40/1778.95	c 1778s |      26 | 10710118 |  9932152 |     1700  14331 |        0 |        0
1780.40/1780.96	c 1780s |      26 | 10721924 |  9943352 |     1700  14344 |        0 |        0
1782.40/1782.97	c 1782s |      26 | 10733700 |  9954452 |     1700  14357 |        0 |        0
1784.40/1784.97	c 1784s |      26 | 10745570 |  9965452 |     1700  14369 |        0 |        0
1786.40/1786.99	c 1786s |      26 | 10757697 |  9976452 |     1700  14382 |        0 |        0
1788.39/1788.99	c 1788s |      26 | 10769624 |  9987352 |     1700  14394 |        0 |        0
1790.41/1790.99	c 1790s |      26 | 10781983 |  9998352 |     1700  14407 |        0 |        0
1792.40/1792.99	c 1792s |      26 | 10794354 | 10009552 |     1700  14419 |        0 |        0
1794.50/1795.01	c 1794s |      26 | 10806173 | 10020452 |     1700  14432 |        0 |        0
1796.50/1797.02	c 1797s |      26 | 10818002 | 10031152 |     1700  14444 |        0 |        0
1798.50/1799.02	c 1799s |      26 | 10829869 | 10042152 |     1700  14456 |        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-4089071-1466020951/watcher-4089071-1466020951 -o /tmp/evaluation-result-4089071-1466020951/solver-4089071-1466020951 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089071-1466020951.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.10 2.13 2.09 2/179 7690
/proc/meminfo: memFree=30458772/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 2684 0 0 0 0 0 0 0 20 0 4 0 4140572 736555008 3044 33554432000 4194304 16246674 140734534063664 140734534063088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 180335 3053 441 2943 0 177229 0
[pid=7690/tid=7691] ppid=7687 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 754380800 3111 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 758575104 3129 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4140573 762769408 3145 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.10 2.13 2.09 2/179 7690
/proc/meminfo: memFree=30458772/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 29406 0 0 0 5 4 0 0 20 0 4 0 4140572 1247350784 29755 33554432000 4194304 16246674 140734534063664 140734534063088 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 304529 29768 711 2943 0 301423 0
[pid=7690/tid=7691] ppid=7687 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1247350784 29779 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1247350784 29789 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4140573 1247350784 29797 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200508 s]
/proc/loadavg: 2.10 2.13 2.09 2/179 7690
/proc/meminfo: memFree=30458772/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 58869 0 0 0 11 8 0 0 20 0 4 0 4140572 1247350784 59220 33554432000 4194304 16246674 140734534063664 140734534063088 13191638 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 304529 59229 711 2943 0 301423 0
[pid=7690/tid=7691] ppid=7687 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1247350784 59237 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1247350784 59248 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4140573 1247350784 59258 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300472 s]
/proc/loadavg: 2.10 2.13 2.09 2/179 7690
/proc/meminfo: memFree=30458772/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 88132 0 0 0 17 12 0 0 20 0 4 0 4140572 1247350784 88481 33554432000 4194304 16246674 140734534063664 140734534063088 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 304529 88502 712 2943 0 301423 0
[pid=7690/tid=7691] ppid=7687 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1247350784 88513 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1247350784 88525 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4140573 1247350784 88536 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700404 s]
/proc/loadavg: 2.10 2.13 2.09 2/179 7690
/proc/meminfo: memFree=30458772/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 205466 0 0 0 42 27 0 0 20 0 4 0 4140572 1247350784 205816 33554432000 4194304 16246674 140734534063664 140734534063088 5667714 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 304529 205828 712 2943 0 301423 0
[pid=7690/tid=7691] ppid=7687 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1247350784 205838 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1247350784 205850 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4140573 1247350784 205861 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 7694
/proc/meminfo: memFree=29475488/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 267251 0 0 0 114 35 0 0 20 0 4 0 4140572 1336479744 267580 33554432000 4194304 16246674 140734534063664 140734534046664 5823666 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 326289 267580 788 2943 0 323183 0
[pid=7690/tid=7691] ppid=7687 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1336479744 267580 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1336479744 267580 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1336479744 267580 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.10 2.13 2.09 3/183 7694
/proc/meminfo: memFree=29387936/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 267447 0 0 0 274 35 0 0 20 0 4 0 4140572 1337528320 267776 33554432000 4194304 16246674 140734534063664 140734534046664 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 326545 267776 788 2943 0 323439 0
[pid=7690/tid=7691] ppid=7687 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1337528320 267776 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1337528320 267776 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1337528320 267776 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.10 2.12 2.09 3/183 7694
/proc/meminfo: memFree=29387600/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 267453 0 0 0 594 35 0 0 20 0 4 0 4140572 1337528320 267782 33554432000 4194304 16246674 140734534063664 140734534045568 5823619 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 326545 267782 788 2943 0 323439 0
[pid=7690/tid=7691] ppid=7687 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1337528320 267782 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1337528320 267782 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1337528320 267782 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.09 2.12 2.09 3/183 7694
/proc/meminfo: memFree=29387524/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 267474 0 0 0 1233 35 0 0 20 0 4 0 4140572 1337528320 267803 33554432000 4194304 16246674 140734534063664 140734534045568 13192057 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 326545 267803 789 2943 0 323439 0
[pid=7690/tid=7691] ppid=7687 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1337528320 267803 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1337528320 267803 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1337528320 267803 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.07 2.11 2.09 3/183 7694
/proc/meminfo: memFree=29386476/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1307204 CPUtime=25.48 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 267620 0 0 0 2513 35 0 0 20 0 4 0 4140572 1338576896 267949 33554432000 4194304 16246674 140734534063664 140734534045568 5722656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 326801 267949 791 2943 0 323695 0
[pid=7690/tid=7691] ppid=7687 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1338576896 267949 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1338576896 267949 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1338576896 267949 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.04 2.10 2.09 4/183 7694
/proc/meminfo: memFree=29386328/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 267677 0 0 0 5072 36 0 0 20 0 4 0 4140572 1338576896 268006 33554432000 4194304 16246674 140734534063664 140734534045568 5667329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 326801 268006 791 2943 0 323695 0
[pid=7690/tid=7691] ppid=7687 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1338576896 268006 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1338576896 268006 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1338576896 268006 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.02 2.09 2.08 3/183 7695
/proc/meminfo: memFree=29385972/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 267786 0 0 0 10192 36 0 0 20 0 4 0 4140572 1338576896 268115 33554432000 4194304 16246674 140734534063664 140734534045568 5545708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 326801 268115 792 2943 0 323695 0
[pid=7690/tid=7691] ppid=7687 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1338576896 268115 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1338576896 268115 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1338576896 268115 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.02 2.06 2.08 3/183 7727
/proc/meminfo: memFree=29362060/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1318468 CPUtime=1361.87 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 271067 0 0 0 136131 56 0 0 20 0 4 0 4140572 1350111232 270980 33554432000 4194304 16246674 140734534063664 140734534046664 13927331 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 329617 270980 793 2943 0 326511 0
[pid=7690/tid=7691] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/183 7728
/proc/meminfo: memFree=29362712/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1318468 CPUtime=1421.86 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 271067 0 0 0 142129 57 0 0 20 0 4 0 4140572 1350111232 270980 33554432000 4194304 16246674 140734534063664 140734534045568 5722668 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 329617 270980 793 2943 0 326511 0
[pid=7690/tid=7691] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/183 7729
/proc/meminfo: memFree=29362524/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1318468 CPUtime=1481.84 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 271067 0 0 0 148127 57 0 0 20 0 4 0 4140572 1350111232 270980 33554432000 4194304 16246674 140734534063664 140734534045568 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 329617 270980 793 2943 0 326511 0
[pid=7690/tid=7691] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.00 2.03 2.06 3/183 7731
/proc/meminfo: memFree=29363004/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1318468 CPUtime=1541.84 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 271067 0 0 0 154126 58 0 0 20 0 4 0 4140572 1350111232 270980 33554432000 4194304 16246674 140734534063664 140734534045568 13191272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 329617 270980 793 2943 0 326511 0
[pid=7690/tid=7691] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.05 2.03 2.06 3/183 7732
/proc/meminfo: memFree=29362848/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1318468 CPUtime=1601.83 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 271067 0 0 0 160124 59 0 0 20 0 4 0 4140572 1350111232 270980 33554432000 4194304 16246674 140734534063664 140734534046664 13194525 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 329617 270980 793 2943 0 326511 0
[pid=7690/tid=7691] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.08 2.04 2.06 3/184 7785
/proc/meminfo: memFree=29372908/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1318468 CPUtime=1661.81 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 271067 0 0 0 166121 60 0 0 20 0 4 0 4140572 1350111232 270980 33554432000 4194304 16246674 140734534063664 140734534045568 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 329617 270980 793 2943 0 326511 0
[pid=7690/tid=7691] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.06 3/183 7786
/proc/meminfo: memFree=29372204/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1318468 CPUtime=1721.81 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 271067 0 0 0 172120 61 0 0 20 0 4 0 4140572 1350111232 270980 33554432000 4194304 16246674 140734534063664 140734534046664 12483406 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 329617 270980 793 2943 0 326511 0
[pid=7690/tid=7691] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.06 3/183 7787
/proc/meminfo: memFree=29370612/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1318468 CPUtime=1781.8 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 271067 0 0 0 178118 62 0 0 20 0 4 0 4140572 1350111232 270980 33554432000 4194304 16246674 140734534063664 140734534045568 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 329617 270980 793 2943 0 326511 0
[pid=7690/tid=7691] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.14 2.06 2.06 3/183 7787
/proc/meminfo: memFree=29370744/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1318468 CPUtime=1800 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 271067 0 0 0 179937 63 0 0 20 0 4 0 4140572 1350111232 270980 33554432000 4194304 16246674 140734534063664 140734534046664 5523208 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 329617 270980 793 2943 0 326511 0
[pid=7690/tid=7691] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1318468

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

[startup+1800.5 s]
/proc/loadavg: 2.14 2.06 2.06 3/183 7787
/proc/meminfo: memFree=29370744/32872528 swapFree=496356/529060
[pid=7690] ppid=7687 vsize=1318468 CPUtime=1800 cores=0,2,4,6
/proc/7690/stat : 7690 (toysat) R 7687 7690 5955 0 -1 4202496 271067 0 0 0 179937 63 0 0 20 0 4 0 4140572 1350111232 270980 33554432000 4194304 16246674 140734534063664 140734534046664 5523208 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/7690/statm: 329617 270980 793 2943 0 326511 0
[pid=7690/tid=7691] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7691/stat : 7691 (toysat) S 7687 7690 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406958304496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=7690/tid=7692] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7692/stat : 7692 (toysat) S 7687 7690 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406947814640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=7690/tid=7693] ppid=7687 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/7690/task/7693/stat : 7693 (toysat) S 7687 7690 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4140573 1350111232 270980 33554432000 4194304 16246674 140734534063664 140406937341104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1318468

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.01
CPU user time (s): 1799.38
CPU system time (s): 0.632903
CPU usage (%): 99.9724
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.632903
maximum resident set size= 1083920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271067
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= 433
involuntary context switches= 1978

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4473 second user time and 17.9623 second system time

The end

Begin job on node141 at 2016-06-15 22:02:31
IDJOB=4089071
IDBENCH=107354
IDSOLVER=2542
FILE ID=node141/4089071-1466020951
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= f56d72df87ffa4deaca06ea56c7299ad
RANDOM SEED=1690101996

node141.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30459200 kB
Buffers:           22716 kB
Cached:            74504 kB
SwapCached:        13072 kB
Active:          1136260 kB
Inactive:          48460 kB
Active(anon):    1077844 kB
Inactive(anon):    12008 kB
Active(file):      58416 kB
Inactive(file):    36452 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16480 kB
Writeback:             0 kB
AnonPages:       1604796 kB
Mapped:            10308 kB
Shmem:                 0 kB
Slab:             566948 kB
SReclaimable:      10680 kB
SUnreclaim:       556268 kB
KernelStack:        1448 kB
PageTables:         7160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1748804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-15 22:32:32