0.00/0.00	c 2016-06-16T20:30:53+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-4096099-1466101852.opb"]
0.00/0.01	c use --random-gen="3945660355 1587081171 2550421160 23979578 4254252965 2776368932 123912871 1972817473 2368969749 4245615064 181942736 2495022391 2930739512 2240967599 2444732804 806866590 27022855 3584464510 410026464 3508141157 3368837942 2034765708 166067562 2917388054 1466353756 1403511680 916272067 1836951690 3494002161 2473791567 2840535450 3957210621 1914503063 3611089543 68007293 2472348875 2654286937 2816996324 101315731 2987438525 121560202 3095812155 2104490772 523113067 863229201 3832619474 2672742487 3627346528 2547476915 2290623146 849189099 2512819509 3059965060 2115371218 2215675448 629440276 2683202098 1345557755 2321833456 3770583456 274525252 1443265910 3000638542 1214403311 670164849 4202673853 4220507419 1330556950 1709582888 3307675739 1362495403 4100062918 1030145706 3405381161 1932610090 4200234720 2155985345 1487932206 2134984622 4128627108 592141310 1974633224 1540252242 163206476 2659110114 173351847 3847599447 48609520 2531270882 784362655 384024725 1689128345 4219803714 117632569 727350250 2072589188 3521154259 217595974 3116816524 1278998089 1189256115 991405487 2604139511 1428850417 2999505986 3407349816 2997950395 578994517 1310050420 1795605795 1187512678 1842923066 3223463141 1217543805 1047567144 1951910861 2546470814 1027415752 2835039903 3861530111 1877840132 4106287826 3502850376 3896007552 3097831885 2029407337 1194130322 3758561422 3984426740 560560473 876861506 467499274 1290815739 2934510819 549422749 524602489 3655394976 1339087341 1796146841 184391 4098595196 2372645125 2565381441 1533862733 114523883 2154436431 3495232409 3430651046 2685667695 506677144 26419883 3071210771 1446141247 1911061363 94295132 2864212973 79735579 375976144 572927284 381503136 2663287742 1211096239 2073364426 2100401722 3895445604 3230803830 564465508 1274835910 2630494228 1866630589 3963317725 1172367917 956763434 3572063185 338911421 58913942 4152401751 4117003151 2360032469 3094536771 1542810152 1711490939 1518689961 3499144954 396967810 1507871312 2084215650 3981411357 3608292210 2603308633 1799544054 4183344528 2790055444 3228731803 3900107165 2868188396 3777638874 1945685282 2570407672 2955424147 2973300085 4188596239 871213754 3555873122 181906859 3649359619 1079010828 1339346399 824608276 392925395 2272418480 1392058747 3513482987 3226201596 3621469902 4198702984 1105199354 613157803 3618578259 930853665 1317175659 3658902990 1977411705 2745713145 2781342740 2248245924 3846415358 3824608943 3283092860 2715843991 1433815445 1035440242 2673681495 4003915523 943382277 4158175283 2337133761 4171776284 3148827185 2390152236 313139783 1821843409 881274482 226878086 3394005439 61622448 3233788861 4091898486 153195936 3127009583 2785735964 257801322 1371961062 3365887834 1909607322 2959983605 255 362436" option to reproduce the execution
0.00/0.01	c #vars 201
0.00/0.01	c #constraints 100
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 |      133      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      156 |      100 |      133      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      427 |      250 |      147      0 |        0 |        0
0.00/0.09	c  0.1s |       3 |      828 |      475 |      162      2 |        0 |        0
0.09/0.14	c  0.1s |       4 |     1293 |      813 |      179      4 |        0 |        0
0.19/0.21	c  0.2s |       5 |     2222 |     1320 |      197      8 |        0 |        0
0.29/0.35	c  0.3s |       6 |     3480 |     2081 |      239     13 |        0 |        0
0.48/0.56	c  0.5s |       7 |     5120 |     3223 |      263     20 |        0 |        0
0.79/0.85	c  0.8s |       8 |     8167 |     4936 |      290     31 |        0 |        0
1.19/1.22	c  1.2s |       9 |    11654 |     7506 |      319     45 |        0 |        0
1.58/1.63	c  1.6s |      10 |    17509 |    11361 |      351     63 |        0 |        0
2.30/2.37	c  2.4s |      11 |    27675 |    17144 |      387     91 |        0 |        0
3.49/3.54	c  3.5s |      12 |    40279 |    25819 |      426    130 |        0 |        0
5.29/5.30	c  5.3s |      13 |    58530 |    38832 |      469    182 |        0 |        0
7.29/7.31	c  7.3s |      13 |    76584 |    52432 |      469    234 |        0 |        0
8.19/8.20	c  8.2s |      14 |    83581 |    58352 |      516    256 |        0 |        0
10.18/10.22	c 10.2s |      14 |   104512 |    73552 |      516    308 |        0 |        0
12.19/12.22	c 12.2s |      15 |   122402 |    87632 |      568    355 |        0 |        0
14.18/14.22	c 14.2s |      15 |   139571 |   101232 |      568    397 |        0 |        0
16.18/16.23	c 16.2s |      15 |   155286 |   113832 |      568    437 |        0 |        0
18.18/18.25	c 18.2s |      15 |   169746 |   125632 |      568    474 |        0 |        0
19.18/19.23	c 19.2s |      16 |   177536 |   131552 |      625    492 |        0 |        0
21.18/21.23	c 21.2s |      16 |   194840 |   145952 |      625    533 |        0 |        0
23.19/23.23	c 23.2s |      16 |   211708 |   160052 |      625    574 |        0 |        0
25.18/25.25	c 25.2s |      16 |   227367 |   173452 |      625    613 |        0 |        0
27.18/27.26	c 27.2s |      16 |   243648 |   187152 |      625    653 |        0 |        0
28.69/28.76	c 28.7s |      17 |   256241 |   197432 |      688    683 |        0 |        0
30.69/30.76	c 30.7s |      17 |   271853 |   210432 |      688    717 |        0 |        0
32.69/32.77	c 32.8s |      17 |   290378 |   224632 |      688    755 |        0 |        0
34.69/34.78	c 34.8s |      17 |   309003 |   238932 |      688    793 |        0 |        0
36.69/36.79	c 36.8s |      17 |   326429 |   252432 |      688    830 |        0 |        0
38.69/38.79	c 38.8s |      17 |   342154 |   265132 |      688    863 |        0 |        0
40.69/40.80	c 40.8s |      17 |   357643 |   277832 |      688    897 |        0 |        0
42.79/42.80	c 42.8s |      17 |   373798 |   291032 |      688    932 |        0 |        0
43.59/43.67	c 43.7s |      18 |   379861 |   296252 |      757    946 |        0 |        0
45.59/45.68	c 45.7s |      18 |   396290 |   308952 |      757    977 |        0 |        0
47.58/47.69	c 47.7s |      18 |   413077 |   321652 |      757   1007 |        0 |        0
49.68/49.70	c 49.7s |      18 |   432492 |   334952 |      757   1039 |        0 |        0
51.69/51.71	c 51.7s |      18 |   453499 |   349252 |      757   1074 |        0 |        0
53.68/53.71	c 53.7s |      18 |   471992 |   363152 |      757   1108 |        0 |        0
55.68/55.72	c 55.7s |      18 |   489385 |   376352 |      757   1140 |        0 |        0
57.68/57.72	c 57.7s |      18 |   506147 |   389352 |      757   1172 |        0 |        0
59.68/59.73	c 59.7s |      18 |   521438 |   401652 |      757   1201 |        0 |        0
61.69/61.73	c 61.7s |      18 |   535309 |   413052 |      757   1229 |        0 |        0
63.68/63.74	c 63.7s |      18 |   551014 |   425552 |      757   1259 |        0 |        0
65.68/65.75	c 65.7s |      18 |   567159 |   438052 |      757   1290 |        0 |        0
66.68/66.73	c 66.7s |      19 |   575734 |   444482 |      833   1304 |        0 |        0
68.68/68.74	c 68.7s |      19 |   596161 |   457682 |      833   1334 |        0 |        0
70.68/70.74	c 70.7s |      19 |   615180 |   470982 |      833   1363 |        0 |        0
72.68/72.75	c 72.7s |      19 |   634005 |   484982 |      833   1395 |        0 |        0
74.68/74.75	c 74.7s |      19 |   654365 |   498782 |      833   1426 |        0 |        0
76.68/76.77	c 76.8s |      19 |   669968 |   511182 |      833   1453 |        0 |        0
78.68/78.77	c 78.8s |      19 |   687440 |   523782 |      833   1482 |        0 |        0
80.67/80.78	c 80.8s |      19 |   708444 |   537482 |      833   1512 |        0 |        0
82.67/82.79	c 82.8s |      19 |   727168 |   550182 |      833   1540 |        0 |        0
84.78/84.80	c 84.8s |      19 |   748356 |   564082 |      833   1572 |        0 |        0
86.77/86.81	c 86.8s |      19 |   767699 |   577682 |      833   1602 |        0 |        0
88.77/88.83	c 88.8s |      19 |   786087 |   590882 |      833   1631 |        0 |        0
90.77/90.83	c 90.8s |      19 |   805219 |   604682 |      833   1662 |        0 |        0
92.77/92.84	c 92.8s |      19 |   820252 |   616882 |      833   1689 |        0 |        0
94.77/94.84	c 94.8s |      19 |   837976 |   629482 |      833   1717 |        0 |        0
96.78/96.85	c 96.8s |      19 |   858953 |   642482 |      833   1746 |        0 |        0
98.77/98.86	c 98.8s |      19 |   880467 |   655882 |      833   1776 |        0 |        0
100.57/100.62	c  100s |      20 |   895780 |   666827 |      917   1799 |        0 |        0
102.57/102.63	c  102s |      20 |   909414 |   678327 |      917   1823 |        0 |        0
104.57/104.64	c  104s |      20 |   923405 |   690327 |      917   1848 |        0 |        0
106.57/106.65	c  106s |      20 |   939233 |   703227 |      917   1875 |        0 |        0
108.57/108.66	c  108s |      20 |   955195 |   716027 |      917   1901 |        0 |        0
110.58/110.67	c  110s |      20 |   972347 |   729027 |      917   1928 |        0 |        0
112.57/112.67	c  112s |      20 |   987406 |   741627 |      917   1954 |        0 |        0
114.57/114.68	c  114s |      20 |  1004443 |   754927 |      917   1982 |        0 |        0
116.58/116.69	c  116s |      20 |  1022305 |   768927 |      917   2011 |        0 |        0
118.67/118.70	c  118s |      20 |  1038806 |   782327 |      917   2039 |        0 |        0
120.67/120.70	c  120s |      20 |  1055375 |   795227 |      917   2065 |        0 |        0
122.67/122.72	c  122s |      20 |  1072261 |   808427 |      917   2093 |        0 |        0
124.67/124.73	c  124s |      20 |  1090261 |   822127 |      917   2122 |        0 |        0
126.67/126.74	c  126s |      20 |  1105730 |   835027 |      917   2149 |        0 |        0
128.68/128.75	c  128s |      20 |  1122716 |   848527 |      917   2177 |        0 |        0
130.67/130.75	c  130s |      20 |  1138792 |   861627 |      917   2204 |        0 |        0
132.67/132.77	c  132s |      20 |  1154105 |   874427 |      917   2231 |        0 |        0
134.67/134.77	c  134s |      20 |  1170808 |   887327 |      917   2257 |        0 |        0
136.67/136.78	c  136s |      20 |  1187739 |   900227 |      917   2284 |        0 |        0
138.67/138.79	c  138s |      20 |  1203676 |   912427 |      917   2309 |        0 |        0
140.67/140.79	c  140s |      20 |  1220743 |   925227 |      917   2336 |        0 |        0
142.77/142.80	c  142s |      20 |  1237018 |   938227 |      917   2363 |        0 |        0
144.77/144.81	c  144s |      20 |  1253629 |   951527 |      917   2391 |        0 |        0
146.77/146.82	c  146s |      20 |  1269692 |   964427 |      917   2418 |        0 |        0
148.77/148.84	c  148s |      20 |  1287077 |   977827 |      917   2445 |        0 |        0
150.77/150.85	c  150s |      20 |  1303309 |   990827 |      917   2473 |        0 |        0
152.26/152.31	c  152s |      21 |  1315611 |  1000345 |     1009   2491 |        0 |        0
154.26/154.31	c  154s |      21 |  1331752 |  1012245 |     1009   2513 |        0 |        0
156.27/156.32	c  156s |      21 |  1347584 |  1023945 |     1009   2534 |        0 |        0
158.27/158.33	c  158s |      21 |  1362193 |  1035445 |     1009   2556 |        0 |        0
160.27/160.33	c  160s |      21 |  1376484 |  1046845 |     1009   2577 |        0 |        0
162.27/162.34	c  162s |      21 |  1392080 |  1058645 |     1009   2598 |        0 |        0
164.27/164.34	c  164s |      21 |  1408077 |  1070945 |     1009   2621 |        0 |        0
166.27/166.35	c  166s |      21 |  1421840 |  1082445 |     1009   2642 |        0 |        0
168.27/168.37	c  168s |      21 |  1434978 |  1093845 |     1009   2663 |        0 |        0
170.27/170.37	c  170s |      21 |  1447942 |  1104645 |     1009   2683 |        0 |        0
172.26/172.37	c  172s |      21 |  1461253 |  1115545 |     1009   2704 |        0 |        0
174.26/174.38	c  174s |      21 |  1475651 |  1127345 |     1009   2725 |        0 |        0
176.26/176.38	c  176s |      21 |  1490320 |  1138945 |     1009   2747 |        0 |        0
178.27/178.40	c  178s |      21 |  1504961 |  1150445 |     1009   2768 |        0 |        0
180.26/180.40	c  180s |      21 |  1519157 |  1161645 |     1009   2789 |        0 |        0
182.36/182.41	c  182s |      21 |  1532094 |  1172145 |     1009   2809 |        0 |        0
184.36/184.41	c  184s |      21 |  1546448 |  1183445 |     1009   2830 |        0 |        0
186.36/186.43	c  186s |      21 |  1560487 |  1195145 |     1009   2852 |        0 |        0
188.36/188.44	c  188s |      21 |  1574055 |  1206545 |     1009   2873 |        0 |        0
190.36/190.45	c  190s |      21 |  1588554 |  1218445 |     1009   2895 |        0 |        0
192.35/192.46	c  192s |      21 |  1603021 |  1229845 |     1009   2916 |        0 |        0
194.36/194.47	c  194s |      21 |  1619093 |  1241845 |     1009   2939 |        0 |        0
196.36/196.48	c  196s |      21 |  1637850 |  1254345 |     1009   2962 |        0 |        0
198.36/198.48	c  198s |      21 |  1653995 |  1266045 |     1009   2984 |        0 |        0
200.36/200.49	c  200s |      21 |  1671283 |  1278245 |     1009   3007 |        0 |        0
202.47/202.50	c  202s |      21 |  1688558 |  1290945 |     1009   3030 |        0 |        0
204.46/204.51	c  204s |      21 |  1708705 |  1304345 |     1009   3055 |        0 |        0
206.46/206.52	c  206s |      21 |  1728199 |  1317045 |     1009   3079 |        0 |        0
208.46/208.52	c  208s |      21 |  1742773 |  1328245 |     1009   3100 |        0 |        0
210.46/210.53	c  210s |      21 |  1758021 |  1339745 |     1009   3121 |        0 |        0
212.46/212.54	c  212s |      21 |  1773404 |  1351845 |     1009   3144 |        0 |        0
214.46/214.54	c  214s |      21 |  1787486 |  1363245 |     1009   3165 |        0 |        0
216.46/216.56	c  216s |      21 |  1803768 |  1375645 |     1009   3189 |        0 |        0
218.46/218.57	c  218s |      21 |  1820397 |  1387845 |     1009   3211 |        0 |        0
220.46/220.59	c  220s |      21 |  1835446 |  1399645 |     1009   3233 |        0 |        0
222.46/222.60	c  222s |      21 |  1851650 |  1411945 |     1009   3256 |        0 |        0
224.56/224.60	c  224s |      21 |  1865542 |  1423445 |     1009   3278 |        0 |        0
226.56/226.60	c  226s |      21 |  1880412 |  1435345 |     1009   3300 |        0 |        0
228.56/228.62	c  228s |      21 |  1894038 |  1446145 |     1009   3320 |        0 |        0
230.55/230.63	c  230s |      21 |  1907276 |  1456845 |     1009   3340 |        0 |        0
232.55/232.64	c  232s |      21 |  1920906 |  1467945 |     1009   3360 |        0 |        0
234.55/234.65	c  234s |      21 |  1936048 |  1479545 |     1009   3382 |        0 |        0
236.56/236.66	c  236s |      21 |  1949170 |  1490245 |     1110   3401 |        0 |        0
238.45/238.57	c  238s |      22 |  1962075 |  1500622 |     1110   3419 |        0 |        0
240.45/240.58	c  240s |      22 |  1977306 |  1512622 |     1110   3439 |        0 |        0
242.45/242.58	c  242s |      22 |  1991101 |  1524222 |     1110   3459 |        0 |        0
244.45/244.58	c  244s |      22 |  2005147 |  1536022 |     1110   3479 |        0 |        0
246.46/246.59	c  246s |      22 |  2018604 |  1547422 |     1110   3498 |        0 |        0
248.56/248.60	c  248s |      22 |  2032181 |  1558422 |     1110   3517 |        0 |        0
250.55/250.60	c  250s |      22 |  2046103 |  1569522 |     1110   3536 |        0 |        0
252.55/252.61	c  252s |      22 |  2060416 |  1581022 |     1110   3556 |        0 |        0
254.55/254.62	c  254s |      22 |  2074181 |  1592222 |     1110   3575 |        0 |        0
256.55/256.63	c  256s |      22 |  2088415 |  1603522 |     1110   3594 |        0 |        0
258.56/258.64	c  258s |      22 |  2102178 |  1614922 |     1110   3613 |        0 |        0
260.55/260.66	c  260s |      22 |  2116007 |  1626422 |     1110   3632 |        0 |        0
262.55/262.67	c  262s |      22 |  2130008 |  1637822 |     1110   3652 |        0 |        0
264.54/264.68	c  264s |      22 |  2142056 |  1648422 |     1110   3670 |        0 |        0
266.64/266.70	c  266s |      22 |  2153961 |  1658922 |     1110   3687 |        0 |        0
268.64/268.71	c  268s |      22 |  2166140 |  1669622 |     1110   3705 |        0 |        0
270.65/270.72	c  270s |      22 |  2177955 |  1679922 |     1110   3722 |        0 |        0
272.64/272.74	c  272s |      22 |  2190162 |  1690622 |     1110   3741 |        0 |        0
274.64/274.74	c  274s |      22 |  2202918 |  1701422 |     1110   3759 |        0 |        0
276.64/276.76	c  276s |      22 |  2215838 |  1711922 |     1110   3777 |        0 |        0
278.64/278.76	c  278s |      22 |  2229832 |  1722722 |     1110   3795 |        0 |        0
280.64/280.77	c  280s |      22 |  2242778 |  1733522 |     1110   3813 |        0 |        0
282.65/282.77	c  282s |      22 |  2256208 |  1744222 |     1110   3832 |        0 |        0
284.64/284.79	c  284s |      22 |  2269653 |  1755122 |     1110   3850 |        0 |        0
286.64/286.79	c  286s |      22 |  2282382 |  1766022 |     1110   3869 |        0 |        0
288.64/288.79	c  288s |      22 |  2296592 |  1777722 |     1110   3889 |        0 |        0
290.75/290.80	c  290s |      22 |  2311564 |  1790122 |     1110   3910 |        0 |        0
292.75/292.80	c  292s |      22 |  2325245 |  1801422 |     1110   3929 |        0 |        0
294.75/294.81	c  294s |      22 |  2338473 |  1812522 |     1110   3948 |        0 |        0
296.75/296.82	c  296s |      22 |  2351380 |  1823522 |     1110   3966 |        0 |        0
298.75/298.82	c  298s |      22 |  2363065 |  1833822 |     1110   3984 |        0 |        0
300.75/300.83	c  300s |      22 |  2375501 |  1844622 |     1110   4002 |        0 |        0
302.75/302.84	c  302s |      22 |  2387184 |  1855122 |     1110   4020 |        0 |        0
304.75/304.86	c  304s |      22 |  2400226 |  1866222 |     1110   4039 |        0 |        0
306.74/306.87	c  306s |      22 |  2411596 |  1876622 |     1110   4057 |        0 |        0
308.74/308.87	c  308s |      22 |  2423849 |  1887422 |     1110   4075 |        0 |        0
310.74/310.88	c  310s |      22 |  2436224 |  1898222 |     1110   4094 |        0 |        0
312.84/312.90	c  312s |      22 |  2450116 |  1909822 |     1110   4114 |        0 |        0
314.84/314.90	c  314s |      22 |  2463378 |  1921022 |     1110   4133 |        0 |        0
316.85/316.91	c  316s |      22 |  2477132 |  1932522 |     1110   4153 |        0 |        0
318.84/318.92	c  318s |      22 |  2489648 |  1943422 |     1110   4172 |        0 |        0
320.84/320.93	c  320s |      22 |  2503199 |  1954922 |     1110   4191 |        0 |        0
322.84/322.95	c  322s |      22 |  2515768 |  1966022 |     1110   4210 |        0 |        0
324.84/324.95	c  324s |      22 |  2528831 |  1977322 |     1110   4229 |        0 |        0
326.84/326.95	c  326s |      22 |  2542358 |  1988622 |     1110   4248 |        0 |        0
328.85/328.97	c  328s |      22 |  2556212 |  1999822 |     1110   4267 |        0 |        0
330.84/330.97	c  330s |      22 |  2569464 |  2010822 |     1110   4286 |        0 |        0
332.84/332.98	c  332s |      22 |  2583581 |  2022022 |     1110   4305 |        0 |        0
334.84/334.98	c  334s |      22 |  2597476 |  2033022 |     1110   4324 |        0 |        0
336.93/337.00	c  336s |      22 |  2612266 |  2044822 |     1110   4345 |        0 |        0
338.93/339.01	c  338s |      22 |  2626629 |  2056322 |     1110   4364 |        0 |        0
340.94/341.01	c  340s |      22 |  2642480 |  2068722 |     1110   4385 |        0 |        0
342.93/343.02	c  343s |      22 |  2655958 |  2080022 |     1110   4405 |        0 |        0
344.93/345.03	c  345s |      22 |  2669171 |  2091222 |     1110   4424 |        0 |        0
346.94/347.05	c  347s |      22 |  2683650 |  2102822 |     1110   4444 |        0 |        0
348.94/349.06	c  349s |      22 |  2697252 |  2114422 |     1110   4464 |        0 |        0
350.94/351.07	c  351s |      22 |  2711854 |  2126022 |     1110   4484 |        0 |        0
352.94/353.08	c  353s |      22 |  2724673 |  2136722 |     1110   4502 |        0 |        0
354.94/355.08	c  355s |      22 |  2737185 |  2147622 |     1110   4521 |        0 |        0
357.03/357.10	c  357s |      22 |  2751502 |  2159422 |     1110   4541 |        0 |        0
359.03/359.10	c  359s |      22 |  2765610 |  2171422 |     1110   4562 |        0 |        0
361.03/361.12	c  361s |      22 |  2778571 |  2182822 |     1110   4581 |        0 |        0
363.04/363.13	c  363s |      22 |  2791493 |  2194122 |     1110   4601 |        0 |        0
365.03/365.13	c  365s |      22 |  2805690 |  2205822 |     1110   4621 |        0 |        0
367.03/367.14	c  367s |      22 |  2819784 |  2217522 |     1110   4641 |        0 |        0
369.03/369.14	c  369s |      22 |  2832108 |  2228322 |     1110   4659 |        0 |        0
371.03/371.14	c  371s |      22 |  2845132 |  2239522 |     1221   4678 |        0 |        0
373.03/373.15	c  373s |      22 |  2857384 |  2250422 |     1221   4695 |        0 |        0
373.13/373.25	c  373s |      23 |  2858109 |  2251038 |     1221   4696 |        0 |        0
375.13/375.26	c  375s |      23 |  2873649 |  2262638 |     1221   4714 |        0 |        0
377.13/377.27	c  377s |      23 |  2888729 |  2273738 |     1221   4731 |        0 |        0
379.13/379.28	c  379s |      23 |  2901378 |  2284338 |     1221   4747 |        0 |        0
381.13/381.29	c  381s |      23 |  2916638 |  2295638 |     1221   4765 |        0 |        0
383.22/383.30	c  383s |      23 |  2931264 |  2306838 |     1221   4782 |        0 |        0
385.22/385.31	c  385s |      23 |  2946122 |  2318538 |     1221   4800 |        0 |        0
387.23/387.32	c  387s |      23 |  2963703 |  2330738 |     1221   4819 |        0 |        0
389.23/389.32	c  389s |      23 |  2978630 |  2341938 |     1221   4837 |        0 |        0
391.23/391.33	c  391s |      23 |  2994407 |  2353338 |     1221   4855 |        0 |        0
393.23/393.34	c  393s |      23 |  3010705 |  2364738 |     1221   4872 |        0 |        0
395.23/395.36	c  395s |      23 |  3025264 |  2376438 |     1221   4890 |        0 |        0
397.23/397.38	c  397s |      23 |  3042775 |  2388338 |     1221   4909 |        0 |        0
399.24/399.39	c  399s |      23 |  3060592 |  2400638 |     1221   4928 |        0 |        0
401.33/401.40	c  401s |      23 |  3078426 |  2412638 |     1221   4947 |        0 |        0
403.33/403.41	c  403s |      23 |  3093978 |  2424438 |     1221   4966 |        0 |        0
405.33/405.42	c  405s |      23 |  3110876 |  2436438 |     1221   4984 |        0 |        0
407.33/407.44	c  407s |      23 |  3128753 |  2448438 |     1221   5003 |        0 |        0
409.33/409.46	c  409s |      23 |  3142920 |  2459838 |     1221   5021 |        0 |        0
411.33/411.47	c  411s |      23 |  3154502 |  2470138 |     1221   5037 |        0 |        0
413.33/413.48	c  413s |      23 |  3167078 |  2481038 |     1221   5054 |        0 |        0
415.43/415.50	c  415s |      23 |  3179660 |  2491538 |     1221   5071 |        0 |        0
417.43/417.52	c  417s |      23 |  3192285 |  2502038 |     1221   5088 |        0 |        0
419.43/419.52	c  419s |      23 |  3207425 |  2513638 |     1221   5106 |        0 |        0
421.42/421.54	c  421s |      23 |  3225099 |  2525538 |     1221   5124 |        0 |        0
423.43/423.55	c  423s |      23 |  3242355 |  2537438 |     1221   5143 |        0 |        0
425.42/425.56	c  425s |      23 |  3258872 |  2548838 |     1221   5161 |        0 |        0
427.42/427.57	c  427s |      23 |  3275747 |  2560638 |     1221   5179 |        0 |        0
429.42/429.57	c  429s |      23 |  3292072 |  2571538 |     1221   5196 |        0 |        0
431.42/431.58	c  431s |      23 |  3306906 |  2582438 |     1221   5213 |        0 |        0
433.43/433.59	c  433s |      23 |  3320844 |  2593438 |     1221   5230 |        0 |        0
435.42/435.59	c  435s |      23 |  3334889 |  2604138 |     1221   5247 |        0 |        0
437.52/437.61	c  437s |      23 |  3348982 |  2614838 |     1221   5263 |        0 |        0
439.52/439.63	c  439s |      23 |  3361574 |  2625038 |     1221   5279 |        0 |        0
441.52/441.64	c  441s |      23 |  3375737 |  2635638 |     1221   5296 |        0 |        0
443.52/443.64	c  443s |      23 |  3389033 |  2646338 |     1221   5313 |        0 |        0
445.52/445.66	c  445s |      23 |  3401930 |  2656638 |     1221   5329 |        0 |        0
447.52/447.66	c  447s |      23 |  3416735 |  2668138 |     1221   5347 |        0 |        0
449.52/449.67	c  449s |      23 |  3430807 |  2679138 |     1221   5364 |        0 |        0
451.52/451.69	c  451s |      23 |  3445164 |  2690138 |     1221   5381 |        0 |        0
453.52/453.69	c  453s |      23 |  3459575 |  2700638 |     1221   5397 |        0 |        0
455.51/455.69	c  455s |      23 |  3471669 |  2710938 |     1221   5414 |        0 |        0
457.62/457.71	c  457s |      23 |  3483793 |  2721138 |     1221   5430 |        0 |        0
459.61/459.71	c  459s |      23 |  3496444 |  2731538 |     1221   5446 |        0 |        0
461.61/461.73	c  461s |      23 |  3509125 |  2741938 |     1221   5462 |        0 |        0
463.61/463.73	c  463s |      23 |  3521726 |  2751938 |     1221   5478 |        0 |        0
465.62/465.73	c  465s |      23 |  3535503 |  2762138 |     1221   5494 |        0 |        0
467.62/467.73	c  467s |      23 |  3550947 |  2773838 |     1221   5512 |        0 |        0
469.63/469.74	c  469s |      23 |  3564346 |  2784638 |     1221   5529 |        0 |        0
471.62/471.75	c  471s |      23 |  3578586 |  2795938 |     1221   5546 |        0 |        0
473.62/473.76	c  473s |      23 |  3593494 |  2807338 |     1221   5564 |        0 |        0
475.62/475.77	c  475s |      23 |  3609887 |  2819438 |     1221   5583 |        0 |        0
477.62/477.78	c  477s |      23 |  3624794 |  2830838 |     1221   5601 |        0 |        0
479.62/479.78	c  479s |      23 |  3641024 |  2842638 |     1221   5619 |        0 |        0
481.61/481.79	c  481s |      23 |  3655549 |  2853838 |     1221   5636 |        0 |        0
483.61/483.79	c  483s |      23 |  3669842 |  2865138 |     1221   5654 |        0 |        0
485.61/485.79	c  485s |      23 |  3683972 |  2876238 |     1221   5671 |        0 |        0
487.71/487.81	c  487s |      23 |  3699118 |  2887738 |     1221   5689 |        0 |        0
489.71/489.81	c  489s |      23 |  3716962 |  2899838 |     1221   5708 |        0 |        0
491.72/491.82	c  491s |      23 |  3732584 |  2911338 |     1221   5726 |        0 |        0
493.71/493.83	c  493s |      23 |  3748535 |  2923238 |     1221   5745 |        0 |        0
495.71/495.84	c  495s |      23 |  3763732 |  2935038 |     1221   5763 |        0 |        0
497.71/497.86	c  497s |      23 |  3778342 |  2946738 |     1221   5782 |        0 |        0
499.71/499.86	c  499s |      23 |  3793713 |  2958338 |     1221   5800 |        0 |        0
501.71/501.87	c  501s |      23 |  3809460 |  2969838 |     1221   5818 |        0 |        0
503.71/503.88	c  503s |      23 |  3823447 |  2980838 |     1221   5835 |        0 |        0
505.72/505.88	c  505s |      23 |  3836070 |  2990938 |     1221   5851 |        0 |        0
507.71/507.88	c  507s |      23 |  3847936 |  3000938 |     1221   5866 |        0 |        0
509.71/509.89	c  509s |      23 |  3859045 |  3010538 |     1221   5881 |        0 |        0
511.81/511.90	c  511s |      23 |  3872626 |  3021238 |     1221   5898 |        0 |        0
513.81/513.90	c  513s |      23 |  3888137 |  3032938 |     1221   5916 |        0 |        0
515.71/515.90	c  515s |      23 |  3904243 |  3044838 |     1221   5935 |        0 |        0
517.81/517.92	c  517s |      23 |  3920747 |  3056938 |     1221   5954 |        0 |        0
519.81/519.93	c  519s |      23 |  3936651 |  3068938 |     1221   5972 |        0 |        0
521.81/521.94	c  521s |      23 |  3952259 |  3080938 |     1221   5991 |        0 |        0
523.81/523.95	c  523s |      23 |  3968627 |  3092838 |     1221   6010 |        0 |        0
525.82/525.97	c  525s |      23 |  3983995 |  3104938 |     1221   6029 |        0 |        0
527.81/527.97	c  527s |      23 |  3997930 |  3116338 |     1221   6046 |        0 |        0
529.81/529.98	c  529s |      23 |  4011198 |  3127438 |     1221   6064 |        0 |        0
531.81/531.99	c  531s |      23 |  4024138 |  3138438 |     1221   6081 |        0 |        0
533.91/534.00	c  533s |      23 |  4038723 |  3150038 |     1221   6099 |        0 |        0
535.91/536.01	c  535s |      23 |  4051076 |  3160938 |     1221   6116 |        0 |        0
537.91/538.02	c  538s |      23 |  4065015 |  3172138 |     1221   6134 |        0 |        0
539.91/540.03	c  540s |      23 |  4078638 |  3183438 |     1221   6151 |        0 |        0
541.91/542.04	c  542s |      23 |  4092514 |  3195038 |     1221   6170 |        0 |        0
543.91/544.06	c  544s |      23 |  4106300 |  3206438 |     1221   6188 |        0 |        0
545.91/546.07	c  546s |      23 |  4119832 |  3217438 |     1221   6205 |        0 |        0
547.90/548.07	c  548s |      23 |  4133433 |  3228738 |     1221   6222 |        0 |        0
549.91/550.09	c  550s |      23 |  4146985 |  3240238 |     1221   6240 |        0 |        0
552.00/552.10	c  552s |      23 |  4160770 |  3251938 |     1221   6259 |        0 |        0
554.00/554.11	c  554s |      23 |  4174456 |  3263338 |     1221   6277 |        0 |        0
556.00/556.11	c  556s |      23 |  4187463 |  3274238 |     1221   6294 |        0 |        0
558.00/558.11	c  558s |      23 |  4201039 |  3285438 |     1221   6312 |        0 |        0
560.00/560.13	c  560s |      23 |  4214099 |  3296638 |     1221   6329 |        0 |        0
562.01/562.14	c  562s |      23 |  4226634 |  3307538 |     1221   6346 |        0 |        0
564.00/564.14	c  564s |      23 |  4239375 |  3318438 |     1221   6363 |        0 |        0
566.00/566.15	c  566s |      23 |  4252086 |  3329038 |     1221   6380 |        0 |        0
568.00/568.15	c  568s |      23 |  4265235 |  3339938 |     1221   6397 |        0 |        0
570.00/570.16	c  570s |      23 |  4279765 |  3351238 |     1221   6414 |        0 |        0
572.01/572.17	c  572s |      23 |  4294338 |  3362538 |     1344   6430 |        0 |        0
574.00/574.18	c  574s |      23 |  4311096 |  3374338 |     1344   6447 |        0 |        0
574.50/574.63	c  574s |      24 |  4314189 |  3376662 |     1344   6451 |        0 |        0
576.50/576.64	c  576s |      24 |  4326393 |  3387462 |     1344   6466 |        0 |        0
578.50/578.65	c  578s |      24 |  4338594 |  3397962 |     1344   6481 |        0 |        0
580.50/580.65	c  580s |      24 |  4350654 |  3407962 |     1344   6495 |        0 |        0
582.49/582.67	c  582s |      24 |  4363606 |  3418362 |     1344   6510 |        0 |        0
584.49/584.69	c  584s |      24 |  4375835 |  3428962 |     1344   6525 |        0 |        0
586.59/586.70	c  586s |      24 |  4388908 |  3439662 |     1344   6540 |        0 |        0
588.59/588.71	c  588s |      24 |  4401166 |  3450162 |     1344   6555 |        0 |        0
590.61/590.72	c  590s |      24 |  4413255 |  3460462 |     1344   6569 |        0 |        0
592.60/592.73	c  592s |      24 |  4426037 |  3471062 |     1344   6584 |        0 |        0
594.60/594.74	c  594s |      24 |  4438741 |  3481362 |     1344   6599 |        0 |        0
596.60/596.76	c  596s |      24 |  4452924 |  3492462 |     1344   6615 |        0 |        0
598.60/598.76	c  598s |      24 |  4469031 |  3504262 |     1344   6632 |        0 |        0
600.61/600.76	c  600s |      24 |  4484478 |  3515862 |     1344   6648 |        0 |        0
602.60/602.77	c  602s |      24 |  4499889 |  3527362 |     1344   6665 |        0 |        0
604.60/604.78	c  604s |      24 |  4513090 |  3538062 |     1344   6680 |        0 |        0
606.60/606.78	c  606s |      24 |  4524591 |  3547962 |     1344   6694 |        0 |        0
608.70/608.81	c  608s |      24 |  4536446 |  3558062 |     1344   6708 |        0 |        0
610.70/610.81	c  610s |      24 |  4546846 |  3567362 |     1344   6722 |        0 |        0
612.70/612.83	c  612s |      24 |  4558037 |  3577262 |     1344   6736 |        0 |        0
614.70/614.84	c  614s |      24 |  4570887 |  3587762 |     1344   6751 |        0 |        0
616.70/616.84	c  616s |      24 |  4583537 |  3597962 |     1344   6765 |        0 |        0
618.70/618.85	c  618s |      24 |  4595511 |  3608162 |     1344   6780 |        0 |        0
620.70/620.85	c  620s |      24 |  4607971 |  3618262 |     1344   6794 |        0 |        0
622.70/622.86	c  622s |      24 |  4621048 |  3628762 |     1344   6809 |        0 |        0
624.70/624.86	c  624s |      24 |  4634779 |  3639562 |     1344   6825 |        0 |        0
626.69/626.89	c  626s |      24 |  4649243 |  3650562 |     1344   6841 |        0 |        0
628.79/628.90	c  628s |      24 |  4662840 |  3661362 |     1344   6856 |        0 |        0
630.79/630.92	c  630s |      24 |  4675655 |  3671662 |     1344   6871 |        0 |        0
632.79/632.93	c  632s |      24 |  4688669 |  3682062 |     1344   6885 |        0 |        0
634.79/634.93	c  634s |      24 |  4700932 |  3692562 |     1344   6900 |        0 |        0
636.80/636.93	c  636s |      24 |  4712996 |  3703062 |     1344   6915 |        0 |        0
638.79/638.95	c  638s |      24 |  4725671 |  3713862 |     1344   6931 |        0 |        0
640.79/640.96	c  640s |      24 |  4738607 |  3724962 |     1344   6946 |        0 |        0
642.79/642.97	c  642s |      24 |  4753453 |  3736962 |     1344   6963 |        0 |        0
644.79/644.99	c  644s |      24 |  4766861 |  3748262 |     1344   6979 |        0 |        0
646.80/646.99	c  646s |      24 |  4781648 |  3759862 |     1344   6996 |        0 |        0
648.90/649.01	c  648s |      24 |  4797255 |  3771962 |     1344   7013 |        0 |        0
650.89/651.02	c  651s |      24 |  4811952 |  3783662 |     1344   7030 |        0 |        0
652.89/653.03	c  653s |      24 |  4825831 |  3794862 |     1344   7046 |        0 |        0
654.89/655.04	c  655s |      24 |  4838804 |  3804962 |     1344   7060 |        0 |        0
656.89/657.06	c  657s |      24 |  4853664 |  3816562 |     1344   7076 |        0 |        0
658.89/659.08	c  659s |      24 |  4868647 |  3827962 |     1344   7093 |        0 |        0
660.89/661.09	c  661s |      24 |  4883572 |  3839462 |     1344   7109 |        0 |        0
662.89/663.09	c  663s |      24 |  4896040 |  3849662 |     1344   7123 |        0 |        0
664.89/665.09	c  665s |      24 |  4909484 |  3860462 |     1344   7139 |        0 |        0
666.99/667.10	c  667s |      24 |  4922408 |  3870962 |     1344   7154 |        0 |        0
668.99/669.11	c  669s |      24 |  4935700 |  3881862 |     1344   7169 |        0 |        0
670.99/671.12	c  671s |      24 |  4950031 |  3893062 |     1344   7185 |        0 |        0
672.99/673.13	c  673s |      24 |  4963035 |  3903762 |     1344   7200 |        0 |        0
674.99/675.15	c  675s |      24 |  4979388 |  3915762 |     1344   7217 |        0 |        0
676.99/677.15	c  677s |      24 |  4995760 |  3928062 |     1344   7235 |        0 |        0
678.98/679.16	c  679s |      24 |  5011373 |  3940262 |     1344   7252 |        0 |        0
680.98/681.17	c  681s |      24 |  5023243 |  3950562 |     1344   7267 |        0 |        0
682.99/683.18	c  683s |      24 |  5035260 |  3960762 |     1344   7282 |        0 |        0
684.99/685.19	c  685s |      24 |  5047228 |  3970862 |     1344   7296 |        0 |        0
687.09/687.21	c  687s |      24 |  5060893 |  3981662 |     1344   7312 |        0 |        0
689.09/689.21	c  689s |      24 |  5073490 |  3992162 |     1344   7327 |        0 |        0
691.09/691.23	c  691s |      24 |  5086212 |  4002462 |     1344   7341 |        0 |        0
693.08/693.24	c  693s |      24 |  5097029 |  4011662 |     1344   7355 |        0 |        0
695.09/695.25	c  695s |      24 |  5109067 |  4021262 |     1344   7368 |        0 |        0
697.08/697.25	c  697s |      24 |  5121029 |  4031362 |     1344   7383 |        0 |        0
699.08/699.27	c  699s |      24 |  5133137 |  4041562 |     1344   7398 |        0 |        0
701.08/701.28	c  701s |      24 |  5145089 |  4051462 |     1344   7412 |        0 |        0
703.08/703.28	c  703s |      24 |  5156707 |  4061162 |     1344   7426 |        0 |        0
705.18/705.30	c  705s |      24 |  5168414 |  4070962 |     1344   7440 |        0 |        0
707.19/707.31	c  707s |      24 |  5181501 |  4081762 |     1344   7455 |        0 |        0
709.18/709.33	c  709s |      24 |  5194530 |  4092062 |     1344   7470 |        0 |        0
711.18/711.34	c  711s |      24 |  5205191 |  4101262 |     1344   7483 |        0 |        0
713.18/713.36	c  713s |      24 |  5216043 |  4110762 |     1344   7497 |        0 |        0
715.17/715.36	c  715s |      24 |  5228193 |  4120462 |     1344   7511 |        0 |        0
717.18/717.36	c  717s |      24 |  5239534 |  4130462 |     1344   7525 |        0 |        0
719.17/719.36	c  719s |      24 |  5251020 |  4140062 |     1344   7538 |        0 |        0
721.18/721.37	c  721s |      24 |  5262711 |  4149462 |     1344   7552 |        0 |        0
723.18/723.38	c  723s |      24 |  5274241 |  4159362 |     1344   7566 |        0 |        0
725.18/725.39	c  725s |      24 |  5285061 |  4168862 |     1344   7579 |        0 |        0
727.28/727.41	c  727s |      24 |  5296120 |  4178262 |     1344   7593 |        0 |        0
729.29/729.42	c  729s |      24 |  5308791 |  4188962 |     1344   7608 |        0 |        0
731.28/731.43	c  731s |      24 |  5321588 |  4199562 |     1344   7623 |        0 |        0
733.28/733.44	c  733s |      24 |  5333445 |  4209762 |     1344   7637 |        0 |        0
735.28/735.45	c  735s |      24 |  5345638 |  4220062 |     1344   7652 |        0 |        0
737.28/737.46	c  737s |      24 |  5359716 |  4230962 |     1344   7668 |        0 |        0
739.28/739.46	c  739s |      24 |  5371405 |  4240862 |     1344   7682 |        0 |        0
741.28/741.48	c  741s |      24 |  5383181 |  4250662 |     1344   7696 |        0 |        0
743.38/743.50	c  743s |      24 |  5397096 |  4261862 |     1344   7712 |        0 |        0
745.38/745.50	c  745s |      24 |  5410511 |  4272862 |     1344   7727 |        0 |        0
747.38/747.51	c  747s |      24 |  5423230 |  4283262 |     1344   7742 |        0 |        0
749.38/749.52	c  749s |      24 |  5435310 |  4293362 |     1344   7756 |        0 |        0
751.38/751.52	c  751s |      24 |  5447831 |  4303562 |     1344   7771 |        0 |        0
753.38/753.52	c  753s |      24 |  5460625 |  4313762 |     1344   7786 |        0 |        0
755.38/755.53	c  755s |      24 |  5473557 |  4324162 |     1344   7800 |        0 |        0
757.37/757.54	c  757s |      24 |  5486752 |  4334562 |     1344   7815 |        0 |        0
759.37/759.55	c  759s |      24 |  5499614 |  4344862 |     1344   7830 |        0 |        0
761.37/761.55	c  761s |      24 |  5512908 |  4355162 |     1344   7844 |        0 |        0
763.38/763.57	c  763s |      24 |  5526276 |  4365962 |     1344   7860 |        0 |        0
765.37/765.58	c  765s |      24 |  5539543 |  4376762 |     1344   7875 |        0 |        0
767.47/767.60	c  767s |      24 |  5552777 |  4387262 |     1344   7890 |        0 |        0
769.47/769.62	c  769s |      24 |  5565433 |  4397462 |     1344   7904 |        0 |        0
771.47/771.63	c  771s |      24 |  5578473 |  4407962 |     1344   7919 |        0 |        0
773.47/773.64	c  773s |      24 |  5592647 |  4419062 |     1344   7935 |        0 |        0
775.48/775.66	c  775s |      24 |  5606981 |  4430262 |     1344   7951 |        0 |        0
777.47/777.66	c  777s |      24 |  5622121 |  4441662 |     1344   7967 |        0 |        0
779.47/779.67	c  779s |      24 |  5635790 |  4452762 |     1344   7983 |        0 |        0
781.47/781.68	c  781s |      24 |  5650079 |  4463562 |     1344   7998 |        0 |        0
783.47/783.70	c  783s |      24 |  5663193 |  4474662 |     1344   8014 |        0 |        0
785.57/785.71	c  785s |      24 |  5675745 |  4485262 |     1344   8030 |        0 |        0
787.58/787.73	c  787s |      24 |  5688124 |  4495762 |     1344   8045 |        0 |        0
789.57/789.73	c  789s |      24 |  5701749 |  4506662 |     1344   8060 |        0 |        0
791.57/791.74	c  791s |      24 |  5715802 |  4517862 |     1344   8076 |        0 |        0
793.57/793.74	c  793s |      24 |  5727706 |  4528062 |     1344   8091 |        0 |        0
795.57/795.75	c  795s |      24 |  5740625 |  4538762 |     1344   8106 |        0 |        0
797.57/797.76	c  797s |      24 |  5754987 |  4550162 |     1344   8123 |        0 |        0
799.57/799.77	c  799s |      24 |  5769144 |  4561462 |     1344   8139 |        0 |        0
801.57/801.77	c  801s |      24 |  5784895 |  4573462 |     1344   8156 |        0 |        0
803.56/803.79	c  803s |      24 |  5800943 |  4585762 |     1344   8174 |        0 |        0
805.56/805.80	c  805s |      24 |  5815872 |  4597562 |     1344   8190 |        0 |        0
807.66/807.80	c  807s |      24 |  5831188 |  4609462 |     1344   8208 |        0 |        0
809.66/809.81	c  809s |      24 |  5844541 |  4620662 |     1344   8224 |        0 |        0
811.67/811.81	c  811s |      24 |  5858914 |  4632162 |     1344   8240 |        0 |        0
813.66/813.82	c  813s |      24 |  5872571 |  4643262 |     1344   8256 |        0 |        0
815.66/815.83	c  815s |      24 |  5887716 |  4655062 |     1344   8273 |        0 |        0
817.66/817.83	c  817s |      24 |  5901978 |  4666262 |     1344   8289 |        0 |        0
819.66/819.85	c  819s |      24 |  5914945 |  4676962 |     1344   8304 |        0 |        0
821.67/821.87	c  821s |      24 |  5929932 |  4688262 |     1344   8321 |        0 |        0
823.66/823.88	c  823s |      24 |  5943931 |  4699062 |     1344   8336 |        0 |        0
825.66/825.89	c  825s |      24 |  5956919 |  4709562 |     1344   8351 |        0 |        0
827.76/827.91	c  827s |      24 |  5970602 |  4720462 |     1344   8367 |        0 |        0
829.76/829.91	c  829s |      24 |  5983877 |  4731062 |     1344   8382 |        0 |        0
831.76/831.91	c  831s |      24 |  5998810 |  4742362 |     1344   8398 |        0 |        0
833.77/833.92	c  833s |      24 |  6012375 |  4753562 |     1344   8414 |        0 |        0
835.76/835.94	c  835s |      24 |  6025124 |  4764462 |     1344   8429 |        0 |        0
837.76/837.95	c  837s |      24 |  6040077 |  4776162 |     1344   8446 |        0 |        0
839.76/839.96	c  839s |      24 |  6056034 |  4787862 |     1344   8463 |        0 |        0
841.76/841.96	c  841s |      24 |  6068389 |  4798462 |     1344   8478 |        0 |        0
843.76/843.98	c  843s |      24 |  6079182 |  4808162 |     1344   8492 |        0 |        0
845.76/845.99	c  845s |      24 |  6091749 |  4818862 |     1344   8507 |        0 |        0
847.86/848.01	c  847s |      24 |  6105392 |  4830062 |     1344   8523 |        0 |        0
849.85/850.01	c  849s |      24 |  6120038 |  4841762 |     1344   8540 |        0 |        0
851.85/852.02	c  852s |      24 |  6133487 |  4852762 |     1344   8555 |        0 |        0
853.85/854.03	c  854s |      24 |  6148255 |  4864362 |     1344   8572 |        0 |        0
855.85/856.05	c  856s |      24 |  6161481 |  4875362 |     1344   8588 |        0 |        0
857.87/858.05	c  858s |      24 |  6173621 |  4885962 |     1344   8603 |        0 |        0
859.86/860.05	c  860s |      24 |  6185550 |  4896162 |     1344   8617 |        0 |        0
861.86/862.06	c  862s |      24 |  6197677 |  4906362 |     1344   8632 |        0 |        0
863.86/864.06	c  864s |      24 |  6211491 |  4916962 |     1344   8647 |        0 |        0
865.86/866.09	c  866s |      24 |  6223656 |  4927062 |     1344   8662 |        0 |        0
867.87/868.09	c  868s |      24 |  6236588 |  4937662 |     1344   8677 |        0 |        0
869.86/870.09	c  870s |      24 |  6251517 |  4949062 |     1344   8693 |        0 |        0
871.96/872.10	c  872s |      24 |  6266294 |  4960662 |     1344   8709 |        0 |        0
873.96/874.11	c  874s |      24 |  6281793 |  4972362 |     1344   8726 |        0 |        0
875.96/876.12	c  876s |      24 |  6298664 |  4984662 |     1344   8744 |        0 |        0
877.96/878.13	c  878s |      24 |  6314356 |  4996762 |     1344   8761 |        0 |        0
879.96/880.14	c  880s |      24 |  6326793 |  5007462 |     1344   8776 |        0 |        0
881.96/882.14	c  882s |      24 |  6339504 |  5018362 |     1344   8792 |        0 |        0
883.96/884.15	c  884s |      24 |  6353160 |  5029562 |     1479   8808 |        0 |        0
885.96/886.16	c  886s |      24 |  6367507 |  5040762 |     1479   8823 |        0 |        0
887.95/888.16	c  888s |      24 |  6382259 |  5052062 |     1479   8838 |        0 |        0
889.95/890.18	c  890s |      24 |  6397276 |  5063362 |     1479   8852 |        0 |        0
890.35/890.50	c  890s |      25 |  6399274 |  5065098 |     1479   8855 |        0 |        0
892.35/892.52	c  892s |      25 |  6414371 |  5075698 |     1479   8868 |        0 |        0
894.35/894.52	c  894s |      25 |  6426551 |  5085598 |     1479   8881 |        0 |        0
896.36/896.53	c  896s |      25 |  6437850 |  5095398 |     1479   8894 |        0 |        0
898.35/898.53	c  898s |      25 |  6449832 |  5105398 |     1479   8906 |        0 |        0
900.35/900.54	c  900s |      25 |  6461636 |  5115598 |     1479   8919 |        0 |        0
902.35/902.55	c  902s |      25 |  6474098 |  5125998 |     1479   8933 |        0 |        0
904.35/904.55	c  904s |      25 |  6486226 |  5136198 |     1479   8946 |        0 |        0
906.35/906.57	c  906s |      25 |  6496812 |  5145498 |     1479   8958 |        0 |        0
908.35/908.57	c  908s |      25 |  6507271 |  5154498 |     1479   8970 |        0 |        0
910.35/910.58	c  910s |      25 |  6517463 |  5163198 |     1479   8981 |        0 |        0
912.35/912.58	c  912s |      25 |  6527140 |  5171398 |     1479   8991 |        0 |        0
914.35/914.58	c  914s |      25 |  6537056 |  5179798 |     1479   9002 |        0 |        0
916.44/916.61	c  916s |      25 |  6546115 |  5187898 |     1479   9013 |        0 |        0
918.45/918.61	c  918s |      25 |  6557810 |  5197598 |     1479   9025 |        0 |        0
920.44/920.62	c  920s |      25 |  6569476 |  5207398 |     1479   9038 |        0 |        0
922.44/922.64	c  922s |      25 |  6581652 |  5217398 |     1479   9050 |        0 |        0
924.44/924.65	c  924s |      25 |  6592788 |  5226898 |     1479   9063 |        0 |        0
926.44/926.66	c  926s |      25 |  6605228 |  5237098 |     1479   9076 |        0 |        0
928.45/928.66	c  928s |      25 |  6616474 |  5246598 |     1479   9088 |        0 |        0
930.46/930.67	c  930s |      25 |  6628318 |  5256298 |     1479   9100 |        0 |        0
932.45/932.69	c  932s |      25 |  6639963 |  5266098 |     1479   9113 |        0 |        0
934.45/934.69	c  934s |      25 |  6653539 |  5276698 |     1479   9127 |        0 |        0
936.55/936.71	c  936s |      25 |  6666632 |  5287098 |     1479   9140 |        0 |        0
938.55/938.73	c  938s |      25 |  6679003 |  5296998 |     1479   9153 |        0 |        0
940.55/940.74	c  940s |      25 |  6691327 |  5306898 |     1479   9166 |        0 |        0
942.55/942.76	c  942s |      25 |  6702371 |  5316398 |     1479   9178 |        0 |        0
944.55/944.78	c  944s |      25 |  6713642 |  5326098 |     1479   9190 |        0 |        0
946.65/946.80	c  946s |      25 |  6724890 |  5335498 |     1479   9202 |        0 |        0
948.65/948.81	c  948s |      25 |  6735784 |  5344898 |     1479   9214 |        0 |        0
950.65/950.82	c  950s |      25 |  6746905 |  5354498 |     1479   9227 |        0 |        0
952.64/952.83	c  952s |      25 |  6757267 |  5363598 |     1479   9238 |        0 |        0
954.65/954.84	c  954s |      25 |  6768446 |  5372898 |     1479   9250 |        0 |        0
956.64/956.84	c  956s |      25 |  6780935 |  5382698 |     1479   9263 |        0 |        0
958.64/958.85	c  958s |      25 |  6792331 |  5392098 |     1479   9275 |        0 |        0
960.64/960.86	c  960s |      25 |  6803275 |  5401298 |     1479   9287 |        0 |        0
962.64/962.87	c  962s |      25 |  6814170 |  5410498 |     1479   9299 |        0 |        0
964.65/964.87	c  964s |      25 |  6824947 |  5419698 |     1479   9311 |        0 |        0
966.64/966.87	c  966s |      25 |  6835287 |  5428698 |     1479   9322 |        0 |        0
968.64/968.89	c  968s |      25 |  6846548 |  5438098 |     1479   9334 |        0 |        0
970.74/970.90	c  970s |      25 |  6857864 |  5447698 |     1479   9346 |        0 |        0
972.74/972.91	c  972s |      25 |  6868039 |  5456598 |     1479   9358 |        0 |        0
974.74/974.93	c  974s |      25 |  6878302 |  5465698 |     1479   9369 |        0 |        0
976.75/976.93	c  976s |      25 |  6888844 |  5474698 |     1479   9381 |        0 |        0
978.74/978.94	c  978s |      25 |  6899123 |  5483398 |     1479   9392 |        0 |        0
980.74/980.95	c  980s |      25 |  6910680 |  5492798 |     1479   9404 |        0 |        0
982.74/982.97	c  982s |      25 |  6921619 |  5502198 |     1479   9416 |        0 |        0
984.74/984.98	c  984s |      25 |  6933308 |  5511798 |     1479   9429 |        0 |        0
986.84/987.00	c  986s |      25 |  6944441 |  5521198 |     1479   9441 |        0 |        0
988.84/989.02	c  989s |      25 |  6954511 |  5529998 |     1479   9452 |        0 |        0
990.83/991.04	c  991s |      25 |  6965079 |  5539098 |     1479   9463 |        0 |        0
992.83/993.04	c  993s |      25 |  6975406 |  5547998 |     1479   9475 |        0 |        0
994.83/995.05	c  995s |      25 |  6985594 |  5556998 |     1479   9486 |        0 |        0
996.83/997.06	c  997s |      25 |  6996172 |  5565998 |     1479   9498 |        0 |        0
998.83/999.07	c  999s |      25 |  7007355 |  5575698 |     1479   9510 |        0 |        0
1000.84/1001.08	c 1001s |      25 |  7017820 |  5584898 |     1479   9522 |        0 |        0
1002.93/1003.10	c 1003s |      25 |  7028999 |  5594398 |     1479   9534 |        0 |        0
1004.93/1005.12	c 1005s |      25 |  7039898 |  5603698 |     1479   9546 |        0 |        0
1006.93/1007.14	c 1007s |      25 |  7050216 |  5612498 |     1479   9558 |        0 |        0
1008.93/1009.14	c 1009s |      25 |  7061204 |  5621698 |     1479   9569 |        0 |        0
1010.93/1011.16	c 1011s |      25 |  7073726 |  5631298 |     1479   9582 |        0 |        0
1012.94/1013.17	c 1013s |      25 |  7085950 |  5640998 |     1479   9594 |        0 |        0
1014.93/1015.18	c 1015s |      25 |  7099707 |  5651098 |     1479   9607 |        0 |        0
1016.93/1017.19	c 1017s |      25 |  7111041 |  5660198 |     1479   9619 |        0 |        0
1019.03/1019.20	c 1019s |      25 |  7123383 |  5669598 |     1479   9631 |        0 |        0
1021.03/1021.20	c 1021s |      25 |  7135825 |  5679698 |     1479   9644 |        0 |        0
1023.03/1023.21	c 1023s |      25 |  7147171 |  5689798 |     1479   9657 |        0 |        0
1025.04/1025.23	c 1025s |      25 |  7159582 |  5699998 |     1479   9670 |        0 |        0
1027.03/1027.23	c 1027s |      25 |  7170589 |  5709698 |     1479   9683 |        0 |        0
1029.03/1029.25	c 1029s |      25 |  7181997 |  5719598 |     1479   9695 |        0 |        0
1031.03/1031.25	c 1031s |      25 |  7194158 |  5729498 |     1479   9708 |        0 |        0
1033.03/1033.26	c 1033s |      25 |  7204968 |  5738898 |     1479   9720 |        0 |        0
1035.03/1035.26	c 1035s |      25 |  7214979 |  5747898 |     1479   9732 |        0 |        0
1037.03/1037.26	c 1037s |      25 |  7225711 |  5757298 |     1479   9744 |        0 |        0
1039.03/1039.28	c 1039s |      25 |  7235757 |  5766298 |     1479   9755 |        0 |        0
1041.02/1041.29	c 1041s |      25 |  7246241 |  5775498 |     1479   9767 |        0 |        0
1043.12/1043.31	c 1043s |      25 |  7257257 |  5784898 |     1479   9779 |        0 |        0
1045.12/1045.32	c 1045s |      25 |  7268885 |  5794598 |     1479   9792 |        0 |        0
1047.13/1047.33	c 1047s |      25 |  7281489 |  5804798 |     1479   9805 |        0 |        0
1049.12/1049.34	c 1049s |      25 |  7296065 |  5815598 |     1479   9819 |        0 |        0
1051.12/1051.35	c 1051s |      25 |  7308780 |  5825698 |     1479   9832 |        0 |        0
1053.12/1053.36	c 1053s |      25 |  7321452 |  5835798 |     1479   9845 |        0 |        0
1055.12/1055.36	c 1055s |      25 |  7334594 |  5845798 |     1479   9857 |        0 |        0
1057.12/1057.37	c 1057s |      25 |  7346254 |  5855498 |     1479   9870 |        0 |        0
1059.13/1059.38	c 1059s |      25 |  7358785 |  5865398 |     1479   9883 |        0 |        0
1061.12/1061.38	c 1061s |      25 |  7372226 |  5875698 |     1479   9896 |        0 |        0
1063.12/1063.38	c 1063s |      25 |  7383875 |  5885398 |     1479   9909 |        0 |        0
1065.22/1065.40	c 1065s |      25 |  7398767 |  5895798 |     1479   9922 |        0 |        0
1067.22/1067.40	c 1067s |      25 |  7410071 |  5905198 |     1479   9934 |        0 |        0
1069.22/1069.43	c 1069s |      25 |  7422746 |  5915298 |     1479   9947 |        0 |        0
1071.24/1071.43	c 1071s |      25 |  7436028 |  5925498 |     1479   9960 |        0 |        0
1073.23/1073.44	c 1073s |      25 |  7449484 |  5935498 |     1479   9973 |        0 |        0
1075.23/1075.46	c 1075s |      25 |  7461751 |  5945698 |     1479   9986 |        0 |        0
1077.23/1077.48	c 1077s |      25 |  7474265 |  5955898 |     1479   9999 |        0 |        0
1079.23/1079.49	c 1079s |      25 |  7488249 |  5966698 |     1479  10013 |        0 |        0
1081.33/1081.50	c 1081s |      25 |  7500599 |  5976998 |     1479  10027 |        0 |        0
1083.33/1083.51	c 1083s |      25 |  7512904 |  5987198 |     1479  10040 |        0 |        0
1085.33/1085.51	c 1085s |      25 |  7524067 |  5996498 |     1479  10052 |        0 |        0
1087.32/1087.52	c 1087s |      25 |  7537501 |  6006798 |     1479  10065 |        0 |        0
1089.32/1089.53	c 1089s |      25 |  7553134 |  6017798 |     1479  10079 |        0 |        0
1091.32/1091.54	c 1091s |      25 |  7564209 |  6026998 |     1479  10091 |        0 |        0
1093.33/1093.54	c 1093s |      25 |  7575193 |  6036198 |     1479  10103 |        0 |        0
1095.32/1095.55	c 1095s |      25 |  7585836 |  6044998 |     1479  10114 |        0 |        0
1097.32/1097.55	c 1097s |      25 |  7600185 |  6055798 |     1479  10128 |        0 |        0
1099.32/1099.56	c 1099s |      25 |  7613614 |  6065798 |     1479  10141 |        0 |        0
1101.32/1101.58	c 1101s |      25 |  7624485 |  6074898 |     1479  10153 |        0 |        0
1103.32/1103.58	c 1103s |      25 |  7639404 |  6085398 |     1479  10166 |        0 |        0
1105.33/1105.59	c 1105s |      25 |  7652663 |  6095598 |     1479  10179 |        0 |        0
1107.42/1107.61	c 1107s |      25 |  7664237 |  6105098 |     1479  10192 |        0 |        0
1109.42/1109.62	c 1109s |      25 |  7676486 |  6114698 |     1479  10204 |        0 |        0
1111.42/1111.63	c 1111s |      25 |  7688983 |  6124598 |     1479  10217 |        0 |        0
1113.42/1113.63	c 1113s |      25 |  7699804 |  6133798 |     1479  10228 |        0 |        0
1115.42/1115.64	c 1115s |      25 |  7712535 |  6143498 |     1479  10241 |        0 |        0
1117.42/1117.65	c 1117s |      25 |  7723773 |  6152498 |     1479  10252 |        0 |        0
1119.42/1119.66	c 1119s |      25 |  7736537 |  6162498 |     1479  10265 |        0 |        0
1121.41/1121.66	c 1121s |      25 |  7750161 |  6172598 |     1479  10278 |        0 |        0
1123.41/1123.67	c 1123s |      25 |  7765900 |  6183398 |     1479  10292 |        0 |        0
1125.41/1125.68	c 1125s |      25 |  7776611 |  6192498 |     1479  10304 |        0 |        0
1127.42/1127.69	c 1127s |      25 |  7787094 |  6201498 |     1479  10316 |        0 |        0
1129.41/1129.69	c 1129s |      25 |  7801245 |  6211698 |     1479  10329 |        0 |        0
1131.51/1131.70	c 1131s |      25 |  7816411 |  6222498 |     1479  10343 |        0 |        0
1133.51/1133.72	c 1133s |      25 |  7831905 |  6233398 |     1479  10357 |        0 |        0
1135.51/1135.74	c 1135s |      25 |  7845787 |  6244098 |     1479  10370 |        0 |        0
1137.51/1137.75	c 1137s |      25 |  7857660 |  6254098 |     1479  10383 |        0 |        0
1139.52/1139.76	c 1139s |      25 |  7870642 |  6264398 |     1479  10397 |        0 |        0
1141.51/1141.78	c 1141s |      25 |  7882556 |  6274298 |     1479  10409 |        0 |        0
1143.52/1143.79	c 1143s |      25 |  7896102 |  6284598 |     1479  10423 |        0 |        0
1145.52/1145.79	c 1145s |      25 |  7909435 |  6294798 |     1479  10436 |        0 |        0
1147.62/1147.81	c 1147s |      25 |  7923272 |  6305498 |     1479  10449 |        0 |        0
1149.62/1149.81	c 1149s |      25 |  7938102 |  6315698 |     1479  10463 |        0 |        0
1151.62/1151.81	c 1151s |      25 |  7950780 |  6325698 |     1479  10475 |        0 |        0
1153.61/1153.82	c 1153s |      25 |  7962224 |  6335598 |     1479  10488 |        0 |        0
1155.61/1155.82	c 1155s |      25 |  7974132 |  6345498 |     1479  10501 |        0 |        0
1157.61/1157.84	c 1157s |      25 |  7986385 |  6355398 |     1479  10514 |        0 |        0
1159.61/1159.85	c 1159s |      25 |  8001085 |  6365798 |     1479  10527 |        0 |        0
1161.61/1161.86	c 1161s |      25 |  8013961 |  6375698 |     1479  10540 |        0 |        0
1163.62/1163.88	c 1163s |      25 |  8028230 |  6386298 |     1479  10553 |        0 |        0
1165.61/1165.89	c 1165s |      25 |  8041945 |  6396398 |     1479  10566 |        0 |        0
1167.71/1167.90	c 1167s |      25 |  8054518 |  6406398 |     1479  10579 |        0 |        0
1169.71/1169.91	c 1169s |      25 |  8067384 |  6416398 |     1479  10592 |        0 |        0
1171.71/1171.92	c 1171s |      25 |  8080361 |  6426298 |     1479  10605 |        0 |        0
1173.71/1173.93	c 1173s |      25 |  8093060 |  6435998 |     1479  10617 |        0 |        0
1175.71/1175.95	c 1175s |      25 |  8104701 |  6445398 |     1479  10629 |        0 |        0
1177.71/1177.96	c 1177s |      25 |  8115983 |  6455098 |     1479  10642 |        0 |        0
1179.71/1179.96	c 1179s |      25 |  8127223 |  6464698 |     1479  10654 |        0 |        0
1181.71/1181.98	c 1181s |      25 |  8137690 |  6473998 |     1479  10666 |        0 |        0
1183.71/1183.98	c 1183s |      25 |  8149188 |  6483898 |     1479  10679 |        0 |        0
1185.71/1185.99	c 1185s |      25 |  8159589 |  6493098 |     1479  10691 |        0 |        0
1187.70/1187.99	c 1187s |      25 |  8170728 |  6502698 |     1479  10703 |        0 |        0
1189.80/1190.01	c 1189s |      25 |  8182667 |  6512298 |     1479  10715 |        0 |        0
1191.80/1192.03	c 1192s |      25 |  8196053 |  6522198 |     1479  10728 |        0 |        0
1193.80/1194.04	c 1194s |      25 |  8209249 |  6532098 |     1479  10741 |        0 |        0
1195.80/1196.06	c 1196s |      25 |  8224229 |  6542198 |     1479  10754 |        0 |        0
1197.81/1198.06	c 1198s |      25 |  8235207 |  6551598 |     1479  10766 |        0 |        0
1199.80/1200.07	c 1200s |      25 |  8245968 |  6560998 |     1479  10778 |        0 |        0
1201.80/1202.08	c 1202s |      25 |  8256805 |  6570398 |     1479  10790 |        0 |        0
1203.89/1204.10	c 1204s |      25 |  8267399 |  6579598 |     1479  10802 |        0 |        0
1205.89/1206.11	c 1206s |      25 |  8278060 |  6588598 |     1479  10814 |        0 |        0
1207.89/1208.12	c 1208s |      25 |  8289389 |  6597898 |     1479  10826 |        0 |        0
1209.90/1210.13	c 1210s |      25 |  8300154 |  6606798 |     1479  10837 |        0 |        0
1211.89/1212.15	c 1212s |      25 |  8310676 |  6615698 |     1479  10849 |        0 |        0
1213.89/1214.17	c 1214s |      25 |  8321092 |  6624998 |     1479  10861 |        0 |        0
1215.89/1216.17	c 1216s |      25 |  8333379 |  6635098 |     1479  10874 |        0 |        0
1217.89/1218.18	c 1218s |      25 |  8345278 |  6645198 |     1479  10887 |        0 |        0
1219.99/1220.20	c 1220s |      25 |  8356415 |  6654698 |     1479  10899 |        0 |        0
1221.99/1222.21	c 1222s |      25 |  8367316 |  6664298 |     1479  10912 |        0 |        0
1223.98/1224.22	c 1224s |      25 |  8377799 |  6673598 |     1479  10924 |        0 |        0
1225.98/1226.24	c 1226s |      25 |  8388137 |  6682698 |     1479  10936 |        0 |        0
1227.98/1228.24	c 1228s |      25 |  8397806 |  6691398 |     1479  10947 |        0 |        0
1229.98/1230.25	c 1230s |      25 |  8408213 |  6700398 |     1479  10958 |        0 |        0
1231.98/1232.25	c 1232s |      25 |  8418359 |  6709298 |     1479  10970 |        0 |        0
1233.99/1234.25	c 1234s |      25 |  8427980 |  6717898 |     1479  10981 |        0 |        0
1235.98/1236.26	c 1236s |      25 |  8438436 |  6727198 |     1479  10993 |        0 |        0
1237.98/1238.27	c 1238s |      25 |  8448648 |  6736498 |     1479  11005 |        0 |        0
1239.98/1240.27	c 1240s |      25 |  8460053 |  6746298 |     1479  11017 |        0 |        0
1241.98/1242.27	c 1242s |      25 |  8471888 |  6755998 |     1479  11030 |        0 |        0
1243.98/1244.27	c 1244s |      25 |  8482604 |  6765098 |     1479  11041 |        0 |        0
1245.97/1246.28	c 1246s |      25 |  8493285 |  6774298 |     1479  11053 |        0 |        0
1247.97/1248.29	c 1248s |      25 |  8504532 |  6783998 |     1479  11066 |        0 |        0
1249.97/1250.29	c 1250s |      25 |  8515520 |  6793398 |     1479  11078 |        0 |        0
1252.07/1252.32	c 1252s |      25 |  8527230 |  6803198 |     1479  11090 |        0 |        0
1254.07/1254.32	c 1254s |      25 |  8538378 |  6812798 |     1479  11103 |        0 |        0
1256.08/1256.34	c 1256s |      25 |  8548340 |  6821698 |     1479  11114 |        0 |        0
1258.07/1258.35	c 1258s |      25 |  8559355 |  6830898 |     1479  11126 |        0 |        0
1260.07/1260.36	c 1260s |      25 |  8571167 |  6840598 |     1479  11138 |        0 |        0
1262.06/1262.37	c 1262s |      25 |  8581659 |  6849698 |     1479  11150 |        0 |        0
1264.06/1264.39	c 1264s |      25 |  8591688 |  6858798 |     1479  11162 |        0 |        0
1266.06/1266.39	c 1266s |      25 |  8604687 |  6869098 |     1479  11175 |        0 |        0
1268.17/1268.40	c 1268s |      25 |  8616353 |  6878998 |     1479  11187 |        0 |        0
1270.16/1270.41	c 1270s |      25 |  8628729 |  6889298 |     1479  11201 |        0 |        0
1272.15/1272.41	c 1272s |      25 |  8640939 |  6899298 |     1479  11213 |        0 |        0
1274.15/1274.42	c 1274s |      25 |  8653712 |  6909498 |     1479  11227 |        0 |        0
1276.15/1276.43	c 1276s |      25 |  8665052 |  6918998 |     1479  11239 |        0 |        0
1278.15/1278.46	c 1278s |      25 |  8675525 |  6927798 |     1479  11250 |        0 |        0
1280.16/1280.47	c 1280s |      25 |  8688225 |  6937798 |     1479  11263 |        0 |        0
1282.15/1282.48	c 1282s |      25 |  8699542 |  6947298 |     1479  11275 |        0 |        0
1284.15/1284.49	c 1284s |      25 |  8709453 |  6956198 |     1479  11287 |        0 |        0
1286.15/1286.49	c 1286s |      25 |  8720200 |  6965398 |     1479  11298 |        0 |        0
1288.25/1288.51	c 1288s |      25 |  8731164 |  6974698 |     1479  11310 |        0 |        0
1290.25/1290.53	c 1290s |      25 |  8741500 |  6983498 |     1479  11322 |        0 |        0
1292.25/1292.54	c 1292s |      25 |  8752054 |  6992498 |     1479  11333 |        0 |        0
1294.25/1294.56	c 1294s |      25 |  8761813 |  7001198 |     1479  11344 |        0 |        0
1296.25/1296.57	c 1296s |      25 |  8771104 |  7009398 |     1479  11355 |        0 |        0
1298.25/1298.58	c 1298s |      25 |  8782271 |  7018698 |     1479  11367 |        0 |        0
1300.25/1300.59	c 1300s |      25 |  8791860 |  7027298 |     1479  11378 |        0 |        0
1302.34/1302.60	c 1302s |      25 |  8803098 |  7036798 |     1479  11390 |        0 |        0
1304.35/1304.62	c 1304s |      25 |  8813380 |  7045798 |     1479  11402 |        0 |        0
1306.34/1306.64	c 1306s |      25 |  8824075 |  7054998 |     1479  11414 |        0 |        0
1308.34/1308.65	c 1308s |      25 |  8833925 |  7063698 |     1479  11425 |        0 |        0
1310.34/1310.65	c 1310s |      25 |  8843192 |  7071998 |     1479  11435 |        0 |        0
1312.33/1312.65	c 1312s |      25 |  8852825 |  7080498 |     1479  11446 |        0 |        0
1314.34/1314.66	c 1314s |      25 |  8862835 |  7089398 |     1479  11458 |        0 |        0
1316.33/1316.67	c 1316s |      25 |  8873157 |  7098398 |     1479  11469 |        0 |        0
1318.33/1318.68	c 1318s |      25 |  8882953 |  7107098 |     1479  11480 |        0 |        0
1320.33/1320.69	c 1320s |      25 |  8892564 |  7115698 |     1479  11491 |        0 |        0
1322.32/1322.70	c 1322s |      25 |  8902151 |  7124198 |     1479  11502 |        0 |        0
1324.42/1324.70	c 1324s |      25 |  8912072 |  7132798 |     1479  11513 |        0 |        0
1326.43/1326.70	c 1326s |      25 |  8921959 |  7141498 |     1479  11524 |        0 |        0
1328.42/1328.72	c 1328s |      25 |  8932808 |  7150798 |     1479  11536 |        0 |        0
1330.42/1330.75	c 1330s |      25 |  8942824 |  7159598 |     1479  11547 |        0 |        0
1332.41/1332.76	c 1332s |      25 |  8952796 |  7168298 |     1479  11559 |        0 |        0
1334.41/1334.79	c 1334s |      25 |  8962758 |  7177098 |     1479  11570 |        0 |        0
1336.41/1336.79	c 1336s |      25 |  8973221 |  7186098 |     1479  11582 |        0 |        0
1338.43/1338.79	c 1338s |      25 |  8984542 |  7195198 |     1479  11593 |        0 |        0
1340.42/1340.79	c 1340s |      25 |  8994219 |  7203798 |     1479  11604 |        0 |        0
1342.52/1342.80	c 1342s |      25 |  9004542 |  7212798 |     1479  11616 |        0 |        0
1344.52/1344.80	c 1344s |      25 |  9014812 |  7221698 |     1479  11627 |        0 |        0
1346.51/1346.81	c 1346s |      25 |  9024467 |  7230098 |     1479  11638 |        0 |        0
1348.51/1348.81	c 1348s |      25 |  9033976 |  7238398 |     1479  11649 |        0 |        0
1350.52/1350.82	c 1350s |      25 |  9046632 |  7247998 |     1479  11661 |        0 |        0
1352.51/1352.83	c 1352s |      25 |  9057728 |  7257098 |     1479  11673 |        0 |        0
1354.51/1354.84	c 1354s |      25 |  9070106 |  7266698 |     1479  11685 |        0 |        0
1356.51/1356.85	c 1356s |      25 |  9082637 |  7276798 |     1479  11698 |        0 |        0
1358.51/1358.86	c 1358s |      25 |  9095780 |  7286798 |     1479  11711 |        0 |        0
1360.51/1360.86	c 1360s |      25 |  9108679 |  7296398 |     1479  11723 |        0 |        0
1362.50/1362.87	c 1362s |      25 |  9120629 |  7305898 |     1479  11736 |        0 |        0
1364.59/1364.90	c 1364s |      25 |  9132661 |  7314998 |     1479  11747 |        0 |        0
1366.59/1366.91	c 1366s |      25 |  9146185 |  7324598 |     1479  11760 |        0 |        0
1368.59/1368.92	c 1368s |      25 |  9157280 |  7333698 |     1479  11771 |        0 |        0
1370.59/1370.92	c 1370s |      25 |  9169177 |  7342898 |     1479  11783 |        0 |        0
1372.60/1372.92	c 1372s |      25 |  9180706 |  7351898 |     1479  11795 |        0 |        0
1374.59/1374.94	c 1374s |      25 |  9193471 |  7362298 |     1479  11808 |        0 |        0
1376.59/1376.94	c 1376s |      25 |  9207734 |  7372698 |     1479  11822 |        0 |        0
1378.59/1378.95	c 1378s |      25 |  9221294 |  7383098 |     1479  11835 |        0 |        0
1380.59/1380.96	c 1380s |      25 |  9232749 |  7392498 |     1479  11847 |        0 |        0
1382.58/1382.98	c 1382s |      25 |  9242890 |  7401198 |     1479  11859 |        0 |        0
1384.59/1384.99	c 1384s |      25 |  9253278 |  7410298 |     1479  11870 |        0 |        0
1386.58/1386.99	c 1386s |      25 |  9263838 |  7419498 |     1479  11882 |        0 |        0
1388.69/1389.00	c 1388s |      25 |  9274774 |  7428798 |     1479  11894 |        0 |        0
1390.69/1391.01	c 1390s |      25 |  9286247 |  7438398 |     1479  11907 |        0 |        0
1392.68/1393.02	c 1393s |      25 |  9296896 |  7447498 |     1479  11918 |        0 |        0
1394.68/1395.02	c 1395s |      25 |  9307549 |  7456598 |     1479  11930 |        0 |        0
1396.69/1397.03	c 1397s |      25 |  9318660 |  7465998 |     1479  11942 |        0 |        0
1398.68/1399.04	c 1399s |      25 |  9329731 |  7475198 |     1479  11954 |        0 |        0
1400.68/1401.05	c 1401s |      25 |  9342328 |  7484998 |     1479  11967 |        0 |        0
1402.68/1403.07	c 1403s |      25 |  9355051 |  7494698 |     1479  11979 |        0 |        0
1404.67/1405.08	c 1405s |      25 |  9366978 |  7504098 |     1479  11991 |        0 |        0
1406.68/1407.09	c 1407s |      25 |  9380173 |  7514098 |     1479  12004 |        0 |        0
1408.67/1409.10	c 1409s |      25 |  9390844 |  7523498 |     1479  12016 |        0 |        0
1410.77/1411.12	c 1411s |      25 |  9402178 |  7533198 |     1479  12029 |        0 |        0
1412.77/1413.12	c 1413s |      25 |  9413522 |  7542698 |     1479  12041 |        0 |        0
1414.77/1415.13	c 1415s |      25 |  9424518 |  7552198 |     1627  12052 |        0 |        0
1416.77/1417.16	c 1417s |      25 |  9436752 |  7561698 |     1627  12064 |        0 |        0
1418.78/1419.16	c 1419s |      25 |  9448911 |  7571098 |     1627  12075 |        0 |        0
1420.77/1421.17	c 1421s |      25 |  9459162 |  7579998 |     1627  12085 |        0 |        0
1422.76/1423.19	c 1423s |      25 |  9470852 |  7589598 |     1627  12096 |        0 |        0
1424.66/1425.04	c 1425s |      26 |  9479914 |  7597752 |     1627  12106 |        0 |        0
1426.66/1427.05	c 1427s |      26 |  9491618 |  7607652 |     1627  12118 |        0 |        0
1428.67/1429.07	c 1429s |      26 |  9502801 |  7617052 |     1627  12129 |        0 |        0
1430.66/1431.09	c 1431s |      26 |  9514023 |  7626752 |     1627  12140 |        0 |        0
1432.66/1433.09	c 1433s |      26 |  9525112 |  7636352 |     1627  12151 |        0 |        0
1434.66/1435.09	c 1435s |      26 |  9536309 |  7645852 |     1627  12163 |        0 |        0
1436.76/1437.11	c 1437s |      26 |  9548118 |  7655452 |     1627  12174 |        0 |        0
1438.76/1439.13	c 1439s |      26 |  9559840 |  7664052 |     1627  12184 |        0 |        0
1440.76/1441.13	c 1441s |      26 |  9571900 |  7673052 |     1627  12195 |        0 |        0
1442.75/1443.14	c 1443s |      26 |  9582832 |  7682252 |     1627  12205 |        0 |        0
1444.75/1445.15	c 1445s |      26 |  9593272 |  7691352 |     1627  12216 |        0 |        0
1446.75/1447.17	c 1447s |      26 |  9605170 |  7700852 |     1627  12227 |        0 |        0
1448.74/1449.18	c 1449s |      26 |  9616646 |  7709952 |     1627  12238 |        0 |        0
1450.84/1451.21	c 1451s |      26 |  9627640 |  7718452 |     1627  12248 |        0 |        0
1452.85/1453.22	c 1453s |      26 |  9638170 |  7727352 |     1627  12258 |        0 |        0
1454.84/1455.24	c 1455s |      26 |  9648242 |  7735952 |     1627  12269 |        0 |        0
1456.84/1457.26	c 1457s |      26 |  9658926 |  7744752 |     1627  12279 |        0 |        0
1458.84/1459.26	c 1459s |      26 |  9668782 |  7753252 |     1627  12289 |        0 |        0
1460.84/1461.27	c 1461s |      26 |  9678667 |  7761552 |     1627  12299 |        0 |        0
1462.83/1463.29	c 1463s |      26 |  9688817 |  7770152 |     1627  12309 |        0 |        0
1464.84/1465.30	c 1465s |      26 |  9698721 |  7778552 |     1627  12319 |        0 |        0
1466.93/1467.30	c 1467s |      26 |  9708265 |  7786752 |     1627  12328 |        0 |        0
1468.93/1469.31	c 1469s |      26 |  9718839 |  7795452 |     1627  12338 |        0 |        0
1470.93/1471.32	c 1471s |      26 |  9728540 |  7803852 |     1627  12348 |        0 |        0
1472.93/1473.34	c 1473s |      26 |  9738872 |  7813052 |     1627  12359 |        0 |        0
1474.93/1475.35	c 1475s |      26 |  9749167 |  7822152 |     1627  12370 |        0 |        0
1476.93/1477.37	c 1477s |      26 |  9760021 |  7831752 |     1627  12381 |        0 |        0
1478.93/1479.37	c 1479s |      26 |  9770574 |  7841052 |     1627  12392 |        0 |        0
1480.93/1481.38	c 1481s |      26 |  9781948 |  7850652 |     1627  12403 |        0 |        0
1482.92/1483.39	c 1483s |      26 |  9792597 |  7859952 |     1627  12415 |        0 |        0
1484.92/1485.39	c 1485s |      26 |  9803944 |  7869252 |     1627  12426 |        0 |        0
1487.02/1487.41	c 1487s |      26 |  9815048 |  7878752 |     1627  12437 |        0 |        0
1489.03/1489.41	c 1489s |      26 |  9825436 |  7887752 |     1627  12447 |        0 |        0
1491.02/1491.42	c 1491s |      26 |  9835334 |  7896452 |     1627  12458 |        0 |        0
1493.02/1493.44	c 1493s |      26 |  9845493 |  7905452 |     1627  12468 |        0 |        0
1495.02/1495.44	c 1495s |      26 |  9856092 |  7914552 |     1627  12479 |        0 |        0
1497.02/1497.44	c 1497s |      26 |  9866073 |  7923352 |     1627  12489 |        0 |        0
1499.02/1499.46	c 1499s |      26 |  9876906 |  7932652 |     1627  12500 |        0 |        0
1501.01/1501.48	c 1501s |      26 |  9887104 |  7941652 |     1627  12511 |        0 |        0
1503.01/1503.49	c 1503s |      26 |  9897496 |  7950752 |     1627  12521 |        0 |        0
1505.01/1505.49	c 1505s |      26 |  9907237 |  7959452 |     1627  12532 |        0 |        0
1507.11/1507.51	c 1507s |      26 |  9919443 |  7969052 |     1627  12543 |        0 |        0
1509.12/1509.51	c 1509s |      26 |  9930972 |  7978452 |     1627  12554 |        0 |        0
1511.12/1511.54	c 1511s |      26 |  9943045 |  7988052 |     1627  12565 |        0 |        0
1513.11/1513.55	c 1513s |      26 |  9954490 |  7997352 |     1627  12576 |        0 |        0
1515.11/1515.57	c 1515s |      26 |  9966004 |  8007152 |     1627  12588 |        0 |        0
1517.11/1517.59	c 1517s |      26 |  9976800 |  8016552 |     1627  12599 |        0 |        0
1519.21/1519.61	c 1519s |      26 |  9986888 |  8024852 |     1627  12608 |        0 |        0
1521.21/1521.62	c 1521s |      26 |  9996696 |  8032952 |     1627  12618 |        0 |        0
1523.21/1523.64	c 1523s |      26 | 10006818 |  8041652 |     1627  12628 |        0 |        0
1525.20/1525.65	c 1525s |      26 | 10016863 |  8050152 |     1627  12638 |        0 |        0
1527.20/1527.67	c 1527s |      26 | 10026794 |  8058852 |     1627  12648 |        0 |        0
1529.20/1529.67	c 1529s |      26 | 10036628 |  8067352 |     1627  12658 |        0 |        0
1531.20/1531.68	c 1531s |      26 | 10048328 |  8076552 |     1627  12669 |        0 |        0
1533.20/1533.68	c 1533s |      26 | 10059363 |  8085152 |     1627  12679 |        0 |        0
1535.20/1535.70	c 1535s |      26 | 10070764 |  8093552 |     1627  12689 |        0 |        0
1537.30/1537.72	c 1537s |      26 | 10081915 |  8102352 |     1627  12699 |        0 |        0
1539.30/1539.73	c 1539s |      26 | 10093484 |  8111752 |     1627  12710 |        0 |        0
1541.30/1541.74	c 1541s |      26 | 10104819 |  8121252 |     1627  12721 |        0 |        0
1543.29/1543.76	c 1543s |      26 | 10115600 |  8130052 |     1627  12732 |        0 |        0
1545.29/1545.78	c 1545s |      26 | 10125673 |  8138552 |     1627  12742 |        0 |        0
1547.30/1547.79	c 1547s |      26 | 10136062 |  8147352 |     1627  12752 |        0 |        0
1549.29/1549.79	c 1549s |      26 | 10147693 |  8156352 |     1627  12763 |        0 |        0
1551.39/1551.80	c 1551s |      26 | 10159797 |  8165452 |     1627  12773 |        0 |        0
1553.39/1553.81	c 1553s |      26 | 10172071 |  8174952 |     1627  12785 |        0 |        0
1555.39/1555.82	c 1555s |      26 | 10184546 |  8184352 |     1627  12796 |        0 |        0
1557.39/1557.83	c 1557s |      26 | 10196497 |  8193752 |     1627  12807 |        0 |        0
1559.39/1559.83	c 1559s |      26 | 10208884 |  8203352 |     1627  12818 |        0 |        0
1561.38/1561.84	c 1561s |      26 | 10221921 |  8213152 |     1627  12830 |        0 |        0
1563.38/1563.86	c 1563s |      26 | 10233415 |  8222752 |     1627  12841 |        0 |        0
1565.38/1565.88	c 1565s |      26 | 10244976 |  8232352 |     1627  12852 |        0 |        0
1567.38/1567.89	c 1567s |      26 | 10256295 |  8241952 |     1627  12864 |        0 |        0
1569.48/1569.90	c 1569s |      26 | 10268087 |  8251752 |     1627  12875 |        0 |        0
1571.48/1571.92	c 1571s |      26 | 10278842 |  8260952 |     1627  12886 |        0 |        0
1573.47/1573.93	c 1573s |      26 | 10290250 |  8270352 |     1627  12897 |        0 |        0
1575.47/1575.94	c 1575s |      26 | 10301539 |  8279952 |     1627  12908 |        0 |        0
1577.47/1577.94	c 1577s |      26 | 10312199 |  8289252 |     1627  12919 |        0 |        0
1579.47/1579.95	c 1579s |      26 | 10322872 |  8298452 |     1627  12930 |        0 |        0
1581.48/1581.97	c 1581s |      26 | 10334758 |  8308052 |     1627  12942 |        0 |        0
1583.47/1583.98	c 1583s |      26 | 10346404 |  8317352 |     1627  12952 |        0 |        0
1585.48/1585.99	c 1585s |      26 | 10356937 |  8326252 |     1627  12963 |        0 |        0
1587.48/1587.99	c 1587s |      26 | 10366857 |  8334752 |     1627  12973 |        0 |        0
1589.58/1590.01	c 1589s |      26 | 10377982 |  8343852 |     1627  12984 |        0 |        0
1591.58/1592.02	c 1592s |      26 | 10389686 |  8353552 |     1627  12995 |        0 |        0
1593.58/1594.03	c 1594s |      26 | 10400818 |  8362652 |     1627  13006 |        0 |        0
1595.57/1596.05	c 1596s |      26 | 10410896 |  8371452 |     1627  13017 |        0 |        0
1597.57/1598.05	c 1598s |      26 | 10421399 |  8380452 |     1627  13027 |        0 |        0
1599.57/1600.07	c 1600s |      26 | 10432427 |  8389552 |     1627  13038 |        0 |        0
1601.57/1602.07	c 1602s |      26 | 10443921 |  8398752 |     1627  13049 |        0 |        0
1603.56/1604.07	c 1604s |      26 | 10455445 |  8408252 |     1627  13060 |        0 |        0
1605.57/1606.08	c 1606s |      26 | 10466905 |  8417652 |     1627  13071 |        0 |        0
1607.56/1608.09	c 1608s |      26 | 10478733 |  8426952 |     1627  13082 |        0 |        0
1609.56/1610.09	c 1610s |      26 | 10493939 |  8436852 |     1627  13094 |        0 |        0
1611.66/1612.10	c 1612s |      26 | 10504244 |  8445752 |     1627  13104 |        0 |        0
1613.66/1614.12	c 1614s |      26 | 10515452 |  8455052 |     1627  13115 |        0 |        0
1615.65/1616.12	c 1616s |      26 | 10526682 |  8464352 |     1627  13126 |        0 |        0
1617.66/1618.14	c 1618s |      26 | 10537806 |  8473552 |     1627  13137 |        0 |        0
1619.65/1620.14	c 1620s |      26 | 10549067 |  8482752 |     1627  13148 |        0 |        0
1621.65/1622.16	c 1622s |      26 | 10559819 |  8491652 |     1627  13159 |        0 |        0
1623.65/1624.16	c 1624s |      26 | 10573281 |  8501752 |     1627  13170 |        0 |        0
1625.65/1626.18	c 1626s |      26 | 10585548 |  8510952 |     1627  13181 |        0 |        0
1627.65/1628.18	c 1628s |      26 | 10596185 |  8520052 |     1627  13192 |        0 |        0
1629.64/1630.19	c 1630s |      26 | 10608719 |  8529852 |     1627  13204 |        0 |        0
1631.74/1632.20	c 1632s |      26 | 10620157 |  8539252 |     1627  13215 |        0 |        0
1633.74/1634.21	c 1634s |      26 | 10631626 |  8548552 |     1627  13226 |        0 |        0
1635.74/1636.22	c 1636s |      26 | 10641482 |  8556952 |     1627  13236 |        0 |        0
1637.74/1638.23	c 1638s |      26 | 10651513 |  8565352 |     1627  13245 |        0 |        0
1639.74/1640.25	c 1640s |      26 | 10661247 |  8573952 |     1627  13255 |        0 |        0
1641.74/1642.26	c 1642s |      26 | 10672196 |  8583252 |     1627  13266 |        0 |        0
1643.73/1644.26	c 1644s |      26 | 10682490 |  8592252 |     1627  13277 |        0 |        0
1645.73/1646.26	c 1646s |      26 | 10693713 |  8601752 |     1627  13288 |        0 |        0
1647.73/1648.27	c 1648s |      26 | 10704126 |  8610752 |     1627  13299 |        0 |        0
1649.73/1650.28	c 1650s |      26 | 10714023 |  8619552 |     1627  13309 |        0 |        0
1651.74/1652.29	c 1652s |      26 | 10725043 |  8628952 |     1627  13320 |        0 |        0
1653.83/1654.30	c 1654s |      26 | 10735676 |  8638052 |     1627  13331 |        0 |        0
1655.82/1656.30	c 1656s |      26 | 10745370 |  8646652 |     1627  13341 |        0 |        0
1657.82/1658.30	c 1658s |      26 | 10756160 |  8655952 |     1627  13352 |        0 |        0
1659.82/1660.31	c 1660s |      26 | 10766550 |  8665052 |     1627  13363 |        0 |        0
1661.82/1662.32	c 1662s |      26 | 10777610 |  8674352 |     1627  13374 |        0 |        0
1663.82/1664.33	c 1664s |      26 | 10787650 |  8683152 |     1627  13384 |        0 |        0
1665.82/1666.35	c 1666s |      26 | 10797690 |  8691752 |     1627  13394 |        0 |        0
1667.82/1668.37	c 1668s |      26 | 10807930 |  8700752 |     1627  13405 |        0 |        0
1669.82/1670.38	c 1670s |      26 | 10817976 |  8709452 |     1627  13415 |        0 |        0
1671.92/1672.40	c 1672s |      26 | 10827553 |  8718052 |     1627  13425 |        0 |        0
1673.92/1674.41	c 1674s |      26 | 10837366 |  8726552 |     1627  13435 |        0 |        0
1675.93/1676.43	c 1676s |      26 | 10847181 |  8734952 |     1627  13445 |        0 |        0
1677.92/1678.45	c 1678s |      26 | 10856938 |  8743452 |     1627  13455 |        0 |        0
1679.92/1680.46	c 1680s |      26 | 10866778 |  8751952 |     1627  13465 |        0 |        0
1681.92/1682.48	c 1682s |      26 | 10876257 |  8760252 |     1627  13475 |        0 |        0
1683.91/1684.49	c 1684s |      26 | 10885815 |  8768652 |     1627  13485 |        0 |        0
1686.01/1686.50	c 1686s |      26 | 10896009 |  8777452 |     1627  13496 |        0 |        0
1688.02/1688.52	c 1688s |      26 | 10905740 |  8785952 |     1627  13506 |        0 |        0
1690.01/1690.53	c 1690s |      26 | 10915454 |  8794452 |     1627  13516 |        0 |        0
1692.00/1692.55	c 1692s |      26 | 10925349 |  8802852 |     1627  13526 |        0 |        0
1694.00/1694.57	c 1694s |      26 | 10934964 |  8811252 |     1627  13536 |        0 |        0
1696.00/1696.58	c 1696s |      26 | 10946180 |  8820652 |     1627  13547 |        0 |        0
1698.01/1698.59	c 1698s |      26 | 10957389 |  8829852 |     1627  13557 |        0 |        0
1700.00/1700.60	c 1700s |      26 | 10967765 |  8838752 |     1627  13568 |        0 |        0
1702.10/1702.61	c 1702s |      26 | 10978798 |  8847952 |     1627  13579 |        0 |        0
1704.10/1704.62	c 1704s |      26 | 10991470 |  8858052 |     1627  13591 |        0 |        0
1706.10/1706.63	c 1706s |      26 | 11001962 |  8867052 |     1627  13601 |        0 |        0
1708.10/1708.65	c 1708s |      26 | 11013110 |  8876352 |     1627  13613 |        0 |        0
1710.10/1710.66	c 1710s |      26 | 11025069 |  8885852 |     1627  13624 |        0 |        0
1712.09/1712.67	c 1712s |      26 | 11035418 |  8894652 |     1627  13634 |        0 |        0
1714.09/1714.68	c 1714s |      26 | 11045136 |  8903252 |     1627  13644 |        0 |        0
1716.19/1716.70	c 1716s |      26 | 11055541 |  8911852 |     1627  13654 |        0 |        0
1718.19/1718.72	c 1718s |      26 | 11065636 |  8920452 |     1627  13665 |        0 |        0
1720.19/1720.74	c 1720s |      26 | 11075515 |  8928852 |     1627  13675 |        0 |        0
1722.19/1722.76	c 1722s |      26 | 11085565 |  8937552 |     1627  13685 |        0 |        0
1724.18/1724.76	c 1724s |      26 | 11095314 |  8946052 |     1627  13695 |        0 |        0
1726.18/1726.78	c 1726s |      26 | 11105863 |  8954852 |     1627  13705 |        0 |        0
1728.28/1728.80	c 1728s |      26 | 11116311 |  8963752 |     1627  13716 |        0 |        0
1730.28/1730.82	c 1730s |      26 | 11126812 |  8972852 |     1627  13726 |        0 |        0
1732.27/1732.83	c 1732s |      26 | 11136981 |  8981552 |     1627  13737 |        0 |        0
1734.28/1734.83	c 1734s |      26 | 11147756 |  8990652 |     1627  13748 |        0 |        0
1736.27/1736.85	c 1736s |      26 | 11158318 |  8999452 |     1627  13758 |        0 |        0
1738.27/1738.85	c 1738s |      26 | 11167532 |  9007352 |     1627  13767 |        0 |        0
1740.27/1740.87	c 1740s |      26 | 11177241 |  9015652 |     1627  13777 |        0 |        0
1742.27/1742.89	c 1742s |      26 | 11187638 |  9024252 |     1627  13787 |        0 |        0
1744.37/1744.90	c 1744s |      26 | 11198831 |  9033152 |     1627  13798 |        0 |        0
1746.38/1746.91	c 1746s |      26 | 11209109 |  9041952 |     1627  13808 |        0 |        0
1748.37/1748.92	c 1748s |      26 | 11219837 |  9051052 |     1627  13819 |        0 |        0
1750.37/1750.93	c 1750s |      26 | 11230060 |  9059852 |     1627  13829 |        0 |        0
1752.36/1752.93	c 1752s |      26 | 11241603 |  9069252 |     1627  13840 |        0 |        0
1754.36/1754.95	c 1754s |      26 | 11252937 |  9078452 |     1627  13851 |        0 |        0
1756.36/1756.96	c 1756s |      26 | 11263931 |  9087552 |     1627  13862 |        0 |        0
1758.37/1758.96	c 1758s |      26 | 11274909 |  9096752 |     1627  13873 |        0 |        0
1760.36/1760.98	c 1760s |      26 | 11286117 |  9105852 |     1627  13884 |        0 |        0
1762.35/1762.99	c 1762s |      26 | 11296482 |  9114752 |     1627  13894 |        0 |        0
1764.45/1765.01	c 1764s |      26 | 11307964 |  9124052 |     1627  13905 |        0 |        0
1766.45/1767.03	c 1767s |      26 | 11318866 |  9133052 |     1627  13916 |        0 |        0
1768.45/1769.03	c 1769s |      26 | 11329220 |  9141852 |     1627  13926 |        0 |        0
1770.46/1771.04	c 1771s |      26 | 11340089 |  9150752 |     1627  13937 |        0 |        0
1772.44/1773.04	c 1773s |      26 | 11350291 |  9159452 |     1627  13947 |        0 |        0
1774.44/1775.05	c 1775s |      26 | 11360230 |  9167752 |     1627  13957 |        0 |        0
1776.44/1777.07	c 1777s |      26 | 11370810 |  9176252 |     1627  13967 |        0 |        0
1778.44/1779.07	c 1779s |      26 | 11382397 |  9185552 |     1627  13978 |        0 |        0
1780.45/1781.09	c 1781s |      26 | 11394382 |  9194852 |     1627  13989 |        0 |        0
1782.45/1783.09	c 1783s |      26 | 11405590 |  9204052 |     1627  14000 |        0 |        0
1784.45/1785.09	c 1785s |      26 | 11415300 |  9212352 |     1627  14010 |        0 |        0
1786.55/1787.12	c 1787s |      26 | 11426471 |  9220752 |     1627  14020 |        0 |        0
1788.55/1789.14	c 1789s |      26 | 11438175 |  9229952 |     1627  14030 |        0 |        0
1790.54/1791.15	c 1791s |      26 | 11448675 |  9238552 |     1627  14041 |        0 |        0
1792.55/1793.15	c 1793s |      26 | 11459446 |  9247252 |     1627  14051 |        0 |        0
1794.54/1795.19	c 1795s |      26 | 11470935 |  9256252 |     1627  14062 |        0 |        0
1796.64/1797.21	c 1797s |      26 | 11481102 |  9265452 |     1627  14072 |        0 |        0
1798.64/1799.21	c 1799s |      26 | 11493205 |  9275352 |     1627  14084 |        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-4096099-1466101852/watcher-4096099-1466101852 -o /tmp/evaluation-result-4096099-1466101852/solver-4096099-1466101852 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466098250-27995 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096099-1466101852.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.35 2.24 2.19 3/180 28335
/proc/meminfo: memFree=29883952/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=626244 CPUtime=0 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 2317 0 0 0 0 0 0 0 20 0 4 0 12233986 641273856 3188 33554432000 4194304 16246674 140735938387056 140735938386480 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 157329 3198 442 2943 0 154223 0
[pid=28335/tid=28336] ppid=28332 vsize=643652 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 659099648 3258 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=647748 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 663293952 3274 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=651844 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12233986 667488256 3290 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.35 2.24 2.19 3/180 28335
/proc/meminfo: memFree=29883952/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 24964 0 0 0 5 4 0 0 20 0 4 0 12233986 1247350784 25824 33554432000 4194304 16246674 140735938387056 140735938386480 13191638 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 304529 25832 712 2943 0 301423 0
[pid=28335/tid=28336] ppid=28332 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1247350784 25839 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1247350784 25848 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12233986 1247350784 25857 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200522 s]
/proc/loadavg: 2.35 2.24 2.19 3/180 28335
/proc/meminfo: memFree=29883952/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 47861 0 0 0 12 7 0 0 20 0 4 0 12233986 1247350784 48722 33554432000 4194304 16246674 140735938387056 140735938386480 5523634 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 304529 48732 712 2943 0 301423 0
[pid=28335/tid=28336] ppid=28332 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1247350784 48741 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1247350784 48752 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12233986 1247350784 48760 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300494 s]
/proc/loadavg: 2.35 2.24 2.19 3/180 28335
/proc/meminfo: memFree=29883952/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 71220 0 0 0 19 10 0 0 20 0 4 0 12233986 1247350784 72080 33554432000 4194304 16246674 140735938387056 140735938386480 12483009 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 304529 72088 712 2943 0 301423 0
[pid=28335/tid=28336] ppid=28332 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1247350784 72095 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1247350784 72103 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12233986 1247350784 72115 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700421 s]
/proc/loadavg: 2.35 2.24 2.19 3/180 28335
/proc/meminfo: memFree=29883952/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 167010 0 0 0 48 21 0 0 20 0 4 0 12233986 1247350784 167871 33554432000 4194304 16246674 140735938387056 140735938386480 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 304529 167887 712 2943 0 301423 0
[pid=28335/tid=28336] ppid=28332 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1247350784 167892 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1247350784 167898 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12233986 1247350784 167905 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.35 2.24 2.19 3/184 28339
/proc/meminfo: memFree=28483172/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1219140 CPUtime=1.48 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 245552 0 0 0 115 33 0 0 20 0 4 0 12233986 1248399360 246392 33554432000 4194304 16246674 140735938387056 140735938386368 6026662 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 304785 246392 788 2943 0 301679 0
[pid=28335/tid=28336] ppid=28332 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1248399360 246392 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1248399360 246392 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1248399360 246392 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.35 2.24 2.19 3/184 28339
/proc/meminfo: memFree=28307968/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 267397 0 0 0 273 36 0 0 20 0 4 0 12233986 1337528320 268237 33554432000 4194304 16246674 140735938387056 140735938368960 5545840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 326545 268237 788 2943 0 323439 0
[pid=28335/tid=28336] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268237 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268237 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268237 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30043 s]
/proc/loadavg: 2.33 2.23 2.19 4/184 28339
/proc/meminfo: memFree=28306748/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 267453 0 0 0 593 36 0 0 20 0 4 0 12233986 1337528320 268293 33554432000 4194304 16246674 140735938387056 140735938368960 5661200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 326545 268293 788 2943 0 323439 0
[pid=28335/tid=28336] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268293 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268293 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268293 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.30 2.23 2.19 4/183 28339
/proc/meminfo: memFree=28306796/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 267454 0 0 0 1232 36 0 0 20 0 4 0 12233986 1337528320 268294 33554432000 4194304 16246674 140735938387056 140735938368960 13927373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 326545 268294 788 2943 0 323439 0
[pid=28335/tid=28336] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268294 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268294 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268294 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.30 2.23 2.19 3/183 28339
/proc/meminfo: memFree=28307132/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 267540 0 0 0 2512 36 0 0 20 0 4 0 12233986 1337528320 268380 33554432000 4194304 16246674 140735938387056 140735938370056 13191599 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 326545 268380 790 2943 0 323439 0
[pid=28335/tid=28336] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268380 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268380 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268380 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.25 2.23 2.19 3/183 28339
/proc/meminfo: memFree=28307016/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 267540 0 0 0 5071 37 0 0 20 0 4 0 12233986 1337528320 268380 33554432000 4194304 16246674 140735938387056 140735938368960 5763334 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 326545 268380 790 2943 0 323439 0
[pid=28335/tid=28336] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268380 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268380 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1337528320 268380 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.30 2.25 2.19 4/183 28341
/proc/meminfo: memFree=28305964/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1307204 CPUtime=102.27 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 267649 0 0 0 10190 37 0 0 20 0 4 0 12233986 1338576896 268489 33554432000 4194304 16246674 140735938387056 140735938368960 5822275 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 326801 268489 790 2943 0 323695 0
[pid=28335/tid=28336] ppid=28332 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1338576896 268489 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1338576896 268489 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1338576896 268489 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.27 2.27 2.20 3/183 28371
/proc/meminfo: memFree=28298612/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1308228 CPUtime=1302.04 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 268050 0 0 0 130150 54 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 140735938368960 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 327057 268809 792 2943 0 323951 0
[pid=28335/tid=28336] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.38 2.31 2.22 3/183 28372
/proc/meminfo: memFree=28298656/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1308228 CPUtime=1362 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 268097 0 0 0 136145 55 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 140735938368960 5823408 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 327057 268809 792 2943 0 323951 0
[pid=28335/tid=28336] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.51 2.35 2.23 3/183 28373
/proc/meminfo: memFree=28297800/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1308228 CPUtime=1421.97 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 268142 0 0 0 142141 56 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 140735938368960 5667359 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 327057 268809 792 2943 0 323951 0
[pid=28335/tid=28336] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.47 2.36 2.24 3/183 28374
/proc/meminfo: memFree=28298600/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1308228 CPUtime=1481.93 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 268177 0 0 0 148137 56 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 140735938368960 5676609 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 327057 268809 792 2943 0 323951 0
[pid=28335/tid=28336] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.36 2.35 2.25 3/183 28375
/proc/meminfo: memFree=28299084/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1308228 CPUtime=1541.9 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 268221 0 0 0 154133 57 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 140735938368960 6012906 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 327057 268809 792 2943 0 323951 0
[pid=28335/tid=28336] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.31 2.34 2.25 3/183 28377
/proc/meminfo: memFree=28298716/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1308228 CPUtime=1601.87 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 268262 0 0 0 160129 58 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 140735938368960 5661428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 327057 268809 792 2943 0 323951 0
[pid=28335/tid=28336] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.25 2.32 2.25 4/183 28378
/proc/meminfo: memFree=28298748/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1308228 CPUtime=1661.82 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 268308 0 0 0 166124 58 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 140735938368960 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 327057 268809 792 2943 0 323951 0
[pid=28335/tid=28336] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.13 2.27 2.24 3/183 28379
/proc/meminfo: memFree=28298444/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1308228 CPUtime=1721.79 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 268353 0 0 0 172120 59 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 140735938368960 5589602 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 327057 268809 792 2943 0 323951 0
[pid=28335/tid=28336] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.27 2.28 2.24 3/184 28383
/proc/meminfo: memFree=28297056/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1308228 CPUtime=1781.74 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 268400 0 0 0 178114 60 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 140735938368960 6049667 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 327057 268809 792 2943 0 323951 0
[pid=28335/tid=28336] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.21 2.27 2.24 3/184 28383
/proc/meminfo: memFree=28297668/32872528 swapFree=1430864/1543284
[pid=28335] ppid=28332 vsize=1308228 CPUtime=1800.04 cores=1,3,5,7
/proc/28335/stat : 28335 (toysat) R 28332 28335 27978 0 -1 4202496 268416 0 0 0 179943 61 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 140735938368960 5827753 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/28335/statm: 327057 268809 792 2943 0 323951 0
[pid=28335/tid=28336] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28336/stat : 28336 (toysat) S 28332 28335 27978 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796842261744 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=28335/tid=28337] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28337/stat : 28337 (toysat) S 28332 28335 27978 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796756278512 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=28335/tid=28338] ppid=28332 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/28335/task/28338/stat : 28338 (toysat) S 28332 28335 27978 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12233986 1339625472 268809 33554432000 4194304 16246674 140735938387056 139796745804976 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1308228

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.44
CPU system time (s): 0.611906
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.611906
maximum resident set size= 1075236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268416
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= 464
involuntary context switches= 1843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6353 second user time and 6.95494 second system time

The end

Begin job on node116 at 2016-06-16 20:30:53
IDJOB=4096099
IDBENCH=107566
IDSOLVER=2542
FILE ID=node116/4096099-1466101852
RUNJOBID= node116-1466098250-27995
PBS_JOBID= 19904066
Free space on /tmp= 71620 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-random4regular-50.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096099-1466101852/watcher-4096099-1466101852 -o /tmp/evaluation-result-4096099-1466101852/solver-4096099-1466101852 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1466098250-27995 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096099-1466101852.opb

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

MD5SUM BENCH= 4888476d8258258817e26748df2419bf
RANDOM SEED=1330231613

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.781
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.54
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.781
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.781
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:        29914348 kB
Buffers:           42376 kB
Cached:           129268 kB
SwapCached:         2820 kB
Active:           634340 kB
Inactive:          74156 kB
Active(anon):     537192 kB
Inactive(anon):     1948 kB
Active(file):      97148 kB
Inactive(file):    72208 kB
Unevictable:     1543284 kB
Mlocked:         1430864 kB
SwapTotal:      67108856 kB
SwapFree:       67099404 kB
Dirty:             32800 kB
Writeback:             0 kB
AnonPages:       2078888 kB
Mapped:            10044 kB
Shmem:                 0 kB
Slab:             571256 kB
SReclaimable:      14856 kB
SUnreclaim:       556400 kB
KernelStack:        1472 kB
PageTables:         9076 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2670436 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 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= 71620 MiB
End job on node116 at 2016-06-16 21:00:53