0.00/0.00	c 2016-06-16T20:00:13+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-4095980-1466100013.opb"]
0.00/0.01	c use --random-gen="665900378 3081036108 1839431308 3319366338 2523716762 1152418029 1795090895 4158857478 3003045744 4016873007 3166048711 998661493 3607038532 4151895870 1793204959 3030889416 1830521584 28999586 3201033648 1148472963 2521506338 1809698189 2037906813 437002612 2646828515 1761221815 1989031836 2399336163 331116284 302007789 2024577091 3393113158 1275973650 1796101916 678121948 3907811722 3618305119 387826604 4115698405 2365292696 2396722427 2890991471 2793240380 534426380 1519616646 545342413 2794346104 2231926951 476965233 1393966055 1747876251 2087462401 3860823710 2477555426 173873731 494274088 1078272827 3832514638 1751275639 1421884885 3939020177 4048971647 97557828 188146730 2435620715 3907787697 4026813100 2307733693 4281591279 3424475270 3293991121 4206266642 3198653381 1247009536 1613277092 2123338846 4088560933 2592361107 744544468 3323031297 760161392 2065795036 2072419825 3405557859 190599671 1315507532 480878155 3747143519 2726218584 3075841269 507251509 1314521105 4074030511 2069531542 1609351914 4078967849 3608364131 2286528252 2545794566 2839667364 3188550343 3087167530 3598645159 1707807874 215728212 3161394851 1098575784 3303516965 4220324516 1827736334 1423538499 2070155765 1353203205 3414762194 4076818931 96608090 343324097 1101642249 1541969537 3262049083 1644885247 2559074983 1873428838 3909203230 1710473585 3260803260 2965080286 4001524160 402029924 278332618 1637191468 3897764039 1500663517 1281216236 2769109473 1274594501 707333793 2967787899 1654436949 2028947272 2436257720 1234070317 1270209415 1856129306 3038313606 147795464 843010829 3675195352 500385074 2480730126 3356348144 573966557 3439649161 3996835706 1506421951 871049198 2693157560 1088694271 647151141 1070523176 1873203129 80380712 3676598507 3971980601 1873222850 4218696500 2864217121 785821822 1686340612 2210167765 2987602590 3512150793 4126468354 3489983713 2141754370 399183158 1154775423 3243317672 1706258240 1569332032 610601852 1994839531 85595557 530163757 3602448309 3897256370 4000732560 658147816 249096535 2339349041 488586381 2644971593 298587149 993989864 3656273861 81136942 3304451901 1292042361 194382123 3264265391 2731841928 2773397471 965585352 1983984126 4287953401 2736537150 2336804871 907463683 135821782 1786454821 3003781163 1861411162 2192006356 2009116223 930512085 642573386 876575098 3502147047 2406873588 1434454798 2644416207 721165510 269744816 3896748144 1092325371 1281175768 3573104936 4150201283 1939542523 2466046285 2183051663 3214346000 996976522 2165780889 1797489599 326827019 3942905723 1451881756 2139335940 3474717419 4267630679 177670325 4184353951 763746875 3803866374 1004816382 3841297480 2276876924 3124961190 3875407609 4244617128 152839555 2869822762 3144171749 2985094897 1335040549 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 |      100      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      187 |      100 |      100      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      431 |      250 |      111      2 |        0 |        0
0.00/0.07	c  0.1s |       3 |      958 |      475 |      123      4 |        0 |        0
0.08/0.12	c  0.1s |       4 |     1573 |      813 |      136      7 |        0 |        0
0.08/0.18	c  0.2s |       5 |     2569 |     1320 |      150     12 |        0 |        0
0.29/0.31	c  0.3s |       6 |     3642 |     2081 |      182     18 |        0 |        0
0.49/0.51	c  0.5s |       7 |     5362 |     3223 |      201     27 |        0 |        0
0.79/0.82	c  0.8s |       8 |     8020 |     4936 |      222     39 |        0 |        0
1.19/1.21	c  1.2s |       9 |    11234 |     7506 |      245     56 |        0 |        0
1.59/1.67	c  1.7s |      10 |    18093 |    11361 |      270     80 |        0 |        0
2.29/2.36	c  2.4s |      11 |    25957 |    17144 |      297    113 |        0 |        0
3.29/3.35	c  3.3s |      12 |    37721 |    25819 |      327    161 |        0 |        0
4.69/4.76	c  4.7s |      13 |    55879 |    38832 |      360    231 |        0 |        0
6.69/6.76	c  6.8s |      13 |    80100 |    55932 |      360    314 |        0 |        0
6.99/7.02	c  7.0s |      14 |    83593 |    58352 |      397    325 |        0 |        0
8.99/9.02	c  9.0s |      14 |   103626 |    73952 |      397    394 |        0 |        0
10.69/10.74	c 10.7s |      15 |   121639 |    87632 |      437    454 |        0 |        0
12.69/12.74	c 12.7s |      15 |   145185 |   104332 |      437    522 |        0 |        0
14.68/14.75	c 14.7s |      15 |   166194 |   120332 |      437    586 |        0 |        0
15.98/16.05	c 16.0s |      16 |   182812 |   131552 |      481    632 |        0 |        0
17.98/18.05	c 18.0s |      16 |   207025 |   148252 |      481    695 |        0 |        0
19.98/20.05	c 20.0s |      16 |   231165 |   164652 |      481    756 |        0 |        0
21.99/22.06	c 22.1s |      16 |   258012 |   181052 |      481    819 |        0 |        0
23.98/24.07	c 24.1s |      16 |   282274 |   197252 |      530    880 |        0 |        0
23.98/24.10	c 24.1s |      17 |   282482 |   197432 |      530    880 |        0 |        0
26.08/26.10	c 26.1s |      17 |   307747 |   213532 |      530    935 |        0 |        0
28.08/28.11	c 28.1s |      17 |   330752 |   229832 |      530    990 |        0 |        0
30.08/30.12	c 30.1s |      17 |   351161 |   245332 |      530   1043 |        0 |        0
32.08/32.13	c 32.1s |      17 |   372707 |   261732 |      530   1098 |        0 |        0
34.09/34.14	c 34.1s |      17 |   390929 |   276632 |      530   1149 |        0 |        0
36.08/36.14	c 36.1s |      17 |   410003 |   292132 |      530   1201 |        0 |        0
36.58/36.69	c 36.7s |      18 |   414983 |   296252 |      583   1214 |        0 |        0
38.68/38.70	c 38.7s |      18 |   437063 |   311552 |      583   1263 |        0 |        0
40.59/40.70	c 40.7s |      18 |   456079 |   326352 |      583   1309 |        0 |        0
42.68/42.71	c 42.7s |      18 |   475228 |   341752 |      583   1358 |        0 |        0
44.68/44.72	c 44.7s |      18 |   494896 |   356852 |      583   1406 |        0 |        0
46.68/46.73	c 46.7s |      18 |   512980 |   371552 |      583   1453 |        0 |        0
48.68/48.73	c 48.7s |      18 |   531751 |   386552 |      583   1500 |        0 |        0
50.69/50.74	c 50.7s |      18 |   549906 |   401152 |      583   1547 |        0 |        0
52.68/52.74	c 52.7s |      18 |   567489 |   415752 |      583   1593 |        0 |        0
54.68/54.74	c 54.7s |      18 |   585657 |   430652 |      583   1640 |        0 |        0
56.58/56.62	c 56.6s |      19 |   602887 |   444482 |      642   1684 |        0 |        0
58.58/58.63	c 58.6s |      19 |   620317 |   459082 |      642   1725 |        0 |        0
60.58/60.64	c 60.6s |      19 |   637314 |   473482 |      642   1766 |        0 |        0
62.58/62.64	c 62.6s |      19 |   655020 |   488182 |      642   1808 |        0 |        0
64.58/64.65	c 64.6s |      19 |   673674 |   502882 |      642   1851 |        0 |        0
66.57/66.65	c 66.6s |      19 |   690639 |   516782 |      642   1891 |        0 |        0
68.57/68.65	c 68.6s |      19 |   709654 |   531382 |      642   1933 |        0 |        0
70.57/70.66	c 70.7s |      19 |   730737 |   546482 |      642   1977 |        0 |        0
72.58/72.67	c 72.7s |      19 |   751380 |   561382 |      642   2020 |        0 |        0
74.57/74.68	c 74.7s |      19 |   770929 |   575782 |      642   2061 |        0 |        0
76.57/76.68	c 76.7s |      19 |   787266 |   588882 |      642   2099 |        0 |        0
78.57/78.69	c 78.7s |      19 |   805515 |   602582 |      642   2139 |        0 |        0
80.67/80.70	c 80.7s |      19 |   824239 |   616382 |      642   2178 |        0 |        0
82.67/82.70	c 82.7s |      19 |   841479 |   629982 |      642   2217 |        0 |        0
84.69/84.71	c 84.7s |      19 |   861261 |   644482 |      642   2259 |        0 |        0
86.68/86.72	c 86.7s |      19 |   880867 |   658882 |      642   2300 |        0 |        0
87.68/87.78	c 87.8s |      20 |   891409 |   666827 |      707   2322 |        0 |        0
89.68/89.79	c 89.8s |      20 |   908530 |   680227 |      707   2357 |        0 |        0
91.78/91.80	c 91.8s |      20 |   924149 |   693027 |      707   2390 |        0 |        0
93.78/93.81	c 93.8s |      20 |   940020 |   705627 |      707   2424 |        0 |        0
95.78/95.81	c 95.8s |      20 |   955713 |   718227 |      707   2457 |        0 |        0
97.78/97.81	c 97.8s |      20 |   971861 |   731227 |      707   2491 |        0 |        0
99.78/99.83	c 99.8s |      20 |   985966 |   743227 |      707   2522 |        0 |        0
101.78/101.83	c  101s |      20 |  1001462 |   755627 |      707   2555 |        0 |        0
103.78/103.84	c  103s |      20 |  1015728 |   767427 |      707   2586 |        0 |        0
105.77/105.84	c  105s |      20 |  1030696 |   779827 |      707   2619 |        0 |        0
107.78/107.85	c  107s |      20 |  1047400 |   792627 |      707   2652 |        0 |        0
109.77/109.85	c  109s |      20 |  1063660 |   805527 |      707   2686 |        0 |        0
111.77/111.86	c  111s |      20 |  1079430 |   818927 |      707   2721 |        0 |        0
113.77/113.86	c  113s |      20 |  1095841 |   832527 |      707   2756 |        0 |        0
115.77/115.86	c  115s |      20 |  1112347 |   846227 |      707   2792 |        0 |        0
117.78/117.87	c  117s |      20 |  1129358 |   859927 |      707   2828 |        0 |        0
119.77/119.88	c  119s |      20 |  1144678 |   872627 |      707   2861 |        0 |        0
121.77/121.89	c  121s |      20 |  1161921 |   885827 |      707   2896 |        0 |        0
123.87/123.90	c  123s |      20 |  1178775 |   898727 |      707   2930 |        0 |        0
125.87/125.91	c  125s |      20 |  1195514 |   912327 |      707   2966 |        0 |        0
127.87/127.91	c  127s |      20 |  1212598 |   925727 |      707   3000 |        0 |        0
129.87/129.92	c  129s |      20 |  1230212 |   939527 |      707   3037 |        0 |        0
131.87/131.93	c  131s |      20 |  1247913 |   953227 |      707   3073 |        0 |        0
133.86/133.94	c  133s |      20 |  1263400 |   965927 |      707   3107 |        0 |        0
135.86/135.95	c  135s |      20 |  1278731 |   978527 |      707   3140 |        0 |        0
137.86/137.97	c  137s |      20 |  1294096 |   991327 |      707   3174 |        0 |        0
139.36/139.44	c  139s |      21 |  1304964 |  1000345 |      778   3196 |        0 |        0
141.36/141.45	c  141s |      21 |  1321131 |  1013445 |      778   3227 |        0 |        0
143.36/143.45	c  143s |      21 |  1338397 |  1026445 |      778   3258 |        0 |        0
145.36/145.46	c  145s |      21 |  1354601 |  1039545 |      778   3289 |        0 |        0
147.37/147.47	c  147s |      21 |  1369686 |  1052045 |      778   3319 |        0 |        0
149.36/149.48	c  149s |      21 |  1384725 |  1064445 |      778   3349 |        0 |        0
151.37/151.48	c  151s |      21 |  1401981 |  1077745 |      778   3381 |        0 |        0
153.47/153.50	c  153s |      21 |  1420096 |  1091445 |      778   3414 |        0 |        0
155.47/155.51	c  155s |      21 |  1438011 |  1104345 |      778   3445 |        0 |        0
157.47/157.51	c  157s |      21 |  1455876 |  1117545 |      778   3476 |        0 |        0
159.48/159.52	c  159s |      21 |  1473926 |  1130745 |      778   3508 |        0 |        0
161.47/161.52	c  161s |      21 |  1488903 |  1143345 |      778   3539 |        0 |        0
163.47/163.52	c  163s |      21 |  1505431 |  1156645 |      778   3571 |        0 |        0
165.47/165.53	c  165s |      21 |  1520720 |  1169245 |      778   3601 |        0 |        0
167.47/167.53	c  167s |      21 |  1537976 |  1182545 |      778   3633 |        0 |        0
169.47/169.55	c  169s |      21 |  1554257 |  1196045 |      778   3666 |        0 |        0
171.47/171.55	c  171s |      21 |  1571454 |  1210045 |      778   3700 |        0 |        0
173.47/173.56	c  173s |      21 |  1589288 |  1223745 |      778   3733 |        0 |        0
175.47/175.56	c  175s |      21 |  1606081 |  1237045 |      778   3765 |        0 |        0
177.47/177.57	c  177s |      21 |  1623796 |  1250045 |      778   3796 |        0 |        0
179.46/179.58	c  179s |      21 |  1639877 |  1262945 |      778   3827 |        0 |        0
181.47/181.59	c  181s |      21 |  1658657 |  1276845 |      778   3860 |        0 |        0
183.46/183.59	c  183s |      21 |  1675115 |  1290245 |      778   3893 |        0 |        0
185.56/185.60	c  185s |      21 |  1691184 |  1303545 |      778   3925 |        0 |        0
187.56/187.61	c  187s |      21 |  1708014 |  1317045 |      778   3958 |        0 |        0
189.56/189.61	c  189s |      21 |  1725633 |  1330845 |      778   3991 |        0 |        0
191.56/191.62	c  191s |      21 |  1742225 |  1344145 |      778   4023 |        0 |        0
193.57/193.62	c  193s |      21 |  1759814 |  1357645 |      778   4055 |        0 |        0
195.56/195.63	c  195s |      21 |  1777164 |  1371045 |      778   4088 |        0 |        0
197.56/197.64	c  197s |      21 |  1792871 |  1383945 |      778   4119 |        0 |        0
199.56/199.64	c  199s |      21 |  1809117 |  1397145 |      778   4150 |        0 |        0
201.56/201.64	c  201s |      21 |  1824975 |  1409945 |      778   4181 |        0 |        0
203.56/203.65	c  203s |      21 |  1841808 |  1423245 |      778   4214 |        0 |        0
205.55/205.67	c  205s |      21 |  1857675 |  1436145 |      778   4245 |        0 |        0
207.55/207.67	c  207s |      21 |  1874895 |  1449345 |      778   4276 |        0 |        0
209.55/209.68	c  209s |      21 |  1891201 |  1462045 |      778   4307 |        0 |        0
211.55/211.69	c  211s |      21 |  1907535 |  1474945 |      778   4338 |        0 |        0
213.55/213.69	c  213s |      21 |  1923292 |  1487645 |      778   4368 |        0 |        0
215.57/215.70	c  215s |      21 |  1938924 |  1500345 |      856   4396 |        0 |        0
215.67/215.74	c  215s |      22 |  1939227 |  1500622 |      856   4397 |        0 |        0
217.66/217.75	c  217s |      22 |  1958050 |  1514722 |      856   4428 |        0 |        0
219.66/219.75	c  219s |      22 |  1976498 |  1528322 |      856   4457 |        0 |        0
221.66/221.76	c  221s |      22 |  1993981 |  1541922 |      856   4487 |        0 |        0
223.66/223.76	c  223s |      22 |  2011733 |  1555822 |      856   4518 |        0 |        0
225.66/225.77	c  225s |      22 |  2030846 |  1570622 |      856   4550 |        0 |        0
227.67/227.77	c  227s |      22 |  2048398 |  1584722 |      856   4581 |        0 |        0
229.66/229.78	c  229s |      22 |  2067179 |  1599122 |      856   4613 |        0 |        0
231.66/231.79	c  231s |      22 |  2086960 |  1613822 |      856   4645 |        0 |        0
233.76/233.80	c  233s |      22 |  2106077 |  1628522 |      856   4678 |        0 |        0
235.76/235.81	c  235s |      22 |  2124012 |  1642922 |      856   4710 |        0 |        0
237.76/237.82	c  237s |      22 |  2142849 |  1657022 |      856   4741 |        0 |        0
239.76/239.82	c  239s |      22 |  2158004 |  1669822 |      856   4769 |        0 |        0
241.75/241.83	c  241s |      22 |  2173974 |  1682722 |      856   4798 |        0 |        0
243.75/243.84	c  243s |      22 |  2190869 |  1695722 |      856   4826 |        0 |        0
245.75/245.84	c  245s |      22 |  2205562 |  1707622 |      856   4852 |        0 |        0
247.75/247.85	c  247s |      22 |  2221036 |  1720122 |      856   4879 |        0 |        0
249.76/249.86	c  249s |      22 |  2236583 |  1732522 |      856   4906 |        0 |        0
251.75/251.87	c  251s |      22 |  2252763 |  1746022 |      856   4935 |        0 |        0
253.75/253.88	c  253s |      22 |  2271515 |  1760422 |      856   4967 |        0 |        0
255.75/255.89	c  255s |      22 |  2289589 |  1774422 |      856   4998 |        0 |        0
257.75/257.89	c  257s |      22 |  2308278 |  1788422 |      856   5029 |        0 |        0
259.85/259.90	c  259s |      22 |  2325214 |  1802022 |      856   5058 |        0 |        0
261.75/261.90	c  261s |      22 |  2342012 |  1815522 |      856   5088 |        0 |        0
263.84/263.90	c  263s |      22 |  2358715 |  1829122 |      856   5118 |        0 |        0
265.84/265.91	c  265s |      22 |  2375735 |  1842822 |      856   5148 |        0 |        0
267.84/267.92	c  267s |      22 |  2394091 |  1856922 |      856   5179 |        0 |        0
269.85/269.93	c  269s |      22 |  2410667 |  1870222 |      856   5208 |        0 |        0
271.85/271.93	c  271s |      22 |  2426410 |  1882622 |      856   5235 |        0 |        0
273.86/273.94	c  273s |      22 |  2442145 |  1895522 |      856   5263 |        0 |        0
275.85/275.94	c  275s |      22 |  2458164 |  1908422 |      856   5292 |        0 |        0
277.85/277.96	c  277s |      22 |  2474615 |  1921822 |      856   5321 |        0 |        0
279.85/279.97	c  279s |      22 |  2491355 |  1935322 |      856   5351 |        0 |        0
281.85/281.99	c  281s |      22 |  2506197 |  1947822 |      856   5379 |        0 |        0
283.85/283.99	c  283s |      22 |  2522088 |  1960422 |      856   5406 |        0 |        0
285.84/286.00	c  285s |      22 |  2539500 |  1973822 |      856   5436 |        0 |        0
287.94/288.01	c  287s |      22 |  2560491 |  1988122 |      856   5467 |        0 |        0
289.94/290.02	c  290s |      22 |  2580024 |  2002022 |      856   5498 |        0 |        0
291.94/292.02	c  292s |      22 |  2595924 |  2015222 |      856   5527 |        0 |        0
293.94/294.03	c  294s |      22 |  2613072 |  2028622 |      856   5557 |        0 |        0
295.95/296.03	c  296s |      22 |  2630627 |  2042722 |      856   5588 |        0 |        0
297.94/298.03	c  298s |      22 |  2647177 |  2055822 |      856   5617 |        0 |        0
299.94/300.04	c  300s |      22 |  2664277 |  2069222 |      856   5646 |        0 |        0
301.94/302.04	c  302s |      22 |  2681240 |  2082322 |      856   5675 |        0 |        0
303.94/304.04	c  304s |      22 |  2697690 |  2095422 |      856   5704 |        0 |        0
305.94/306.06	c  306s |      22 |  2715120 |  2108522 |      856   5733 |        0 |        0
307.95/308.07	c  308s |      22 |  2731209 |  2121522 |      856   5761 |        0 |        0
309.94/310.08	c  310s |      22 |  2745660 |  2133722 |      856   5788 |        0 |        0
311.94/312.08	c  312s |      22 |  2761567 |  2146422 |      856   5816 |        0 |        0
313.94/314.09	c  314s |      22 |  2776946 |  2158922 |      856   5844 |        0 |        0
316.04/316.10	c  316s |      22 |  2793418 |  2172622 |      856   5874 |        0 |        0
318.04/318.11	c  318s |      22 |  2810967 |  2186322 |      856   5904 |        0 |        0
320.05/320.11	c  320s |      22 |  2826841 |  2199622 |      856   5934 |        0 |        0
322.04/322.13	c  322s |      22 |  2844521 |  2213722 |      856   5965 |        0 |        0
324.04/324.14	c  324s |      22 |  2860887 |  2227022 |      856   5994 |        0 |        0
326.04/326.14	c  326s |      22 |  2878958 |  2240822 |      942   6023 |        0 |        0
327.44/327.58	c  327s |      23 |  2892596 |  2251038 |      942   6044 |        0 |        0
329.44/329.59	c  329s |      23 |  2909463 |  2263638 |      942   6069 |        0 |        0
331.44/331.59	c  331s |      23 |  2926867 |  2276438 |      942   6095 |        0 |        0
333.54/333.60	c  333s |      23 |  2943490 |  2288738 |      942   6120 |        0 |        0
335.55/335.61	c  335s |      23 |  2957567 |  2300538 |      942   6143 |        0 |        0
337.54/337.62	c  337s |      23 |  2974194 |  2313138 |      942   6169 |        0 |        0
339.54/339.63	c  339s |      23 |  2991065 |  2325938 |      942   6195 |        0 |        0
341.54/341.63	c  341s |      23 |  3011524 |  2339338 |      942   6222 |        0 |        0
343.54/343.63	c  343s |      23 |  3030578 |  2352438 |      942   6249 |        0 |        0
345.54/345.63	c  345s |      23 |  3050839 |  2366738 |      942   6278 |        0 |        0
347.54/347.64	c  347s |      23 |  3068663 |  2380338 |      942   6306 |        0 |        0
349.54/349.65	c  349s |      23 |  3086601 |  2393938 |      942   6334 |        0 |        0
351.54/351.66	c  351s |      23 |  3106811 |  2408038 |      942   6362 |        0 |        0
353.53/353.67	c  353s |      23 |  3121999 |  2420038 |      942   6386 |        0 |        0
355.53/355.67	c  355s |      23 |  3139124 |  2432938 |      942   6412 |        0 |        0
357.54/357.69	c  357s |      23 |  3154223 |  2445238 |      942   6438 |        0 |        0
359.53/359.69	c  359s |      23 |  3168046 |  2457138 |      942   6462 |        0 |        0
361.63/361.71	c  361s |      23 |  3182980 |  2469338 |      942   6487 |        0 |        0
363.63/363.72	c  363s |      23 |  3198673 |  2481838 |      942   6512 |        0 |        0
365.63/365.72	c  365s |      23 |  3213537 |  2494138 |      942   6537 |        0 |        0
367.63/367.73	c  367s |      23 |  3227393 |  2505438 |      942   6560 |        0 |        0
369.64/369.74	c  369s |      23 |  3244412 |  2518038 |      942   6585 |        0 |        0
371.63/371.75	c  371s |      23 |  3260263 |  2530238 |      942   6610 |        0 |        0
373.63/373.76	c  373s |      23 |  3274889 |  2542238 |      942   6634 |        0 |        0
375.63/375.77	c  375s |      23 |  3287187 |  2553038 |      942   6656 |        0 |        0
377.63/377.79	c  377s |      23 |  3300145 |  2564138 |      942   6678 |        0 |        0
379.73/379.81	c  379s |      23 |  3312928 |  2574838 |      942   6700 |        0 |        0
381.74/381.81	c  381s |      23 |  3328480 |  2586738 |      942   6724 |        0 |        0
383.73/383.82	c  383s |      23 |  3344334 |  2599038 |      942   6749 |        0 |        0
385.73/385.84	c  385s |      23 |  3358795 |  2610938 |      942   6773 |        0 |        0
387.73/387.84	c  387s |      23 |  3378104 |  2624438 |      942   6801 |        0 |        0
389.73/389.85	c  389s |      23 |  3395269 |  2637138 |      942   6827 |        0 |        0
391.73/391.86	c  391s |      23 |  3412938 |  2649938 |      942   6852 |        0 |        0
393.73/393.87	c  393s |      23 |  3429917 |  2662238 |      942   6877 |        0 |        0
395.73/395.87	c  395s |      23 |  3448110 |  2674538 |      942   6902 |        0 |        0
397.73/397.88	c  397s |      23 |  3463213 |  2686438 |      942   6926 |        0 |        0
399.73/399.88	c  399s |      23 |  3479123 |  2699038 |      942   6952 |        0 |        0
401.72/401.89	c  401s |      23 |  3494550 |  2711438 |      942   6977 |        0 |        0
403.82/403.91	c  403s |      23 |  3510209 |  2724138 |      942   7002 |        0 |        0
405.83/405.92	c  405s |      23 |  3527295 |  2737238 |      942   7029 |        0 |        0
407.82/407.93	c  407s |      23 |  3543296 |  2749738 |      942   7054 |        0 |        0
409.82/409.94	c  409s |      23 |  3557899 |  2761738 |      942   7078 |        0 |        0
411.82/411.95	c  411s |      23 |  3571848 |  2773238 |      942   7101 |        0 |        0
413.82/413.96	c  413s |      23 |  3586603 |  2785238 |      942   7125 |        0 |        0
415.83/415.96	c  415s |      23 |  3601601 |  2797038 |      942   7149 |        0 |        0
417.82/417.97	c  417s |      23 |  3617676 |  2809838 |      942   7174 |        0 |        0
419.82/419.98	c  419s |      23 |  3630971 |  2821338 |      942   7197 |        0 |        0
421.82/421.98	c  421s |      23 |  3644612 |  2833038 |      942   7221 |        0 |        0
423.82/423.99	c  423s |      23 |  3658515 |  2844738 |      942   7245 |        0 |        0
425.92/426.00	c  425s |      23 |  3672355 |  2856438 |      942   7268 |        0 |        0
427.83/428.00	c  427s |      23 |  3686856 |  2868538 |      942   7292 |        0 |        0
429.92/430.01	c  429s |      23 |  3700940 |  2880338 |      942   7316 |        0 |        0
431.92/432.01	c  432s |      23 |  3716148 |  2893038 |      942   7342 |        0 |        0
433.92/434.03	c  434s |      23 |  3730405 |  2905238 |      942   7367 |        0 |        0
435.92/436.04	c  436s |      23 |  3745343 |  2917538 |      942   7392 |        0 |        0
437.93/438.05	c  438s |      23 |  3759425 |  2929438 |      942   7415 |        0 |        0
439.93/440.05	c  440s |      23 |  3773214 |  2941138 |      942   7439 |        0 |        0
441.93/442.06	c  442s |      23 |  3786617 |  2952638 |      942   7462 |        0 |        0
443.93/444.07	c  444s |      23 |  3801074 |  2964438 |      942   7487 |        0 |        0
445.93/446.08	c  446s |      23 |  3814024 |  2975738 |      942   7510 |        0 |        0
447.92/448.08	c  448s |      23 |  3826523 |  2986738 |      942   7533 |        0 |        0
449.93/450.09	c  450s |      23 |  3841470 |  2999038 |      942   7558 |        0 |        0
451.92/452.10	c  452s |      23 |  3857816 |  3011838 |      942   7584 |        0 |        0
454.02/454.11	c  454s |      23 |  3873983 |  3024338 |      942   7609 |        0 |        0
456.02/456.12	c  456s |      23 |  3888575 |  3036538 |      942   7634 |        0 |        0
458.02/458.14	c  458s |      23 |  3903779 |  3048838 |      942   7659 |        0 |        0
460.02/460.15	c  460s |      23 |  3918905 |  3060938 |      942   7683 |        0 |        0
462.03/462.15	c  462s |      23 |  3932442 |  3072138 |      942   7706 |        0 |        0
464.02/464.16	c  464s |      23 |  3945825 |  3083238 |      942   7728 |        0 |        0
466.02/466.16	c  466s |      23 |  3960230 |  3094738 |      942   7751 |        0 |        0
468.02/468.18	c  468s |      23 |  3974621 |  3106438 |      942   7774 |        0 |        0
470.02/470.18	c  470s |      23 |  3989850 |  3118138 |      942   7798 |        0 |        0
472.02/472.19	c  472s |      23 |  4004529 |  3130138 |      942   7823 |        0 |        0
474.02/474.20	c  474s |      23 |  4019838 |  3142138 |      942   7847 |        0 |        0
476.12/476.21	c  476s |      23 |  4033345 |  3153638 |      942   7870 |        0 |        0
478.12/478.21	c  478s |      23 |  4049198 |  3165538 |      942   7894 |        0 |        0
480.11/480.21	c  480s |      23 |  4065942 |  3177738 |      942   7919 |        0 |        0
482.11/482.22	c  482s |      23 |  4081197 |  3189738 |      942   7943 |        0 |        0
484.11/484.24	c  484s |      23 |  4095287 |  3201238 |      942   7967 |        0 |        0
486.12/486.25	c  486s |      23 |  4108717 |  3212638 |      942   7991 |        0 |        0
488.11/488.26	c  488s |      23 |  4122847 |  3223838 |      942   8013 |        0 |        0
490.11/490.28	c  490s |      23 |  4138023 |  3235838 |      942   8037 |        0 |        0
492.11/492.28	c  492s |      23 |  4153877 |  3248138 |      942   8063 |        0 |        0
494.11/494.29	c  494s |      23 |  4171581 |  3260538 |      942   8088 |        0 |        0
496.21/496.30	c  496s |      23 |  4190166 |  3273338 |      942   8114 |        0 |        0
498.11/498.30	c  498s |      23 |  4207599 |  3286138 |      942   8139 |        0 |        0
500.21/500.30	c  500s |      23 |  4223296 |  3298738 |      942   8165 |        0 |        0
502.21/502.31	c  502s |      23 |  4238292 |  3310538 |      942   8188 |        0 |        0
504.21/504.31	c  504s |      23 |  4253730 |  3322738 |      942   8213 |        0 |        0
506.21/506.32	c  506s |      23 |  4270336 |  3335838 |      942   8240 |        0 |        0
508.22/508.32	c  508s |      23 |  4285309 |  3347938 |      942   8265 |        0 |        0
510.21/510.33	c  510s |      23 |  4298816 |  3359638 |     1037   8288 |        0 |        0
512.21/512.34	c  512s |      23 |  4312445 |  3371038 |     1037   8309 |        0 |        0
513.21/513.36	c  513s |      24 |  4319348 |  3376662 |     1037   8319 |        0 |        0
515.21/515.36	c  515s |      24 |  4335922 |  3389462 |     1037   8343 |        0 |        0
517.21/517.37	c  517s |      24 |  4349334 |  3400462 |     1037   8363 |        0 |        0
519.22/519.37	c  519s |      24 |  4361596 |  3411162 |     1037   8383 |        0 |        0
521.21/521.37	c  521s |      24 |  4374815 |  3422262 |     1037   8403 |        0 |        0
523.21/523.38	c  523s |      24 |  4389645 |  3433862 |     1037   8425 |        0 |        0
525.21/525.38	c  525s |      24 |  4402230 |  3444562 |     1037   8445 |        0 |        0
527.21/527.39	c  527s |      24 |  4414766 |  3455062 |     1037   8464 |        0 |        0
529.21/529.39	c  529s |      24 |  4428415 |  3466062 |     1037   8485 |        0 |        0
531.22/531.40	c  531s |      24 |  4440985 |  3476762 |     1037   8504 |        0 |        0
533.31/533.40	c  533s |      24 |  4453692 |  3487762 |     1037   8525 |        0 |        0
535.31/535.41	c  535s |      24 |  4466232 |  3498562 |     1037   8545 |        0 |        0
537.31/537.42	c  537s |      24 |  4479470 |  3509962 |     1037   8566 |        0 |        0
539.31/539.42	c  539s |      24 |  4492300 |  3521162 |     1037   8587 |        0 |        0
541.31/541.44	c  541s |      24 |  4505273 |  3532462 |     1037   8607 |        0 |        0
543.31/543.45	c  543s |      24 |  4517796 |  3543562 |     1037   8628 |        0 |        0
545.31/545.46	c  545s |      24 |  4530336 |  3554762 |     1037   8649 |        0 |        0
547.30/547.47	c  547s |      24 |  4543201 |  3565862 |     1037   8670 |        0 |        0
549.30/549.49	c  549s |      24 |  4556655 |  3577062 |     1037   8691 |        0 |        0
551.40/551.50	c  551s |      24 |  4568869 |  3588062 |     1037   8711 |        0 |        0
553.40/553.51	c  553s |      24 |  4581225 |  3598962 |     1037   8731 |        0 |        0
555.41/555.51	c  555s |      24 |  4594184 |  3610462 |     1037   8753 |        0 |        0
557.40/557.53	c  557s |      24 |  4607210 |  3621862 |     1037   8774 |        0 |        0
559.40/559.54	c  559s |      24 |  4620813 |  3633162 |     1037   8795 |        0 |        0
561.40/561.55	c  561s |      24 |  4634231 |  3644462 |     1037   8816 |        0 |        0
563.40/563.56	c  563s |      24 |  4647063 |  3655362 |     1037   8837 |        0 |        0
565.41/565.57	c  565s |      24 |  4661050 |  3666662 |     1037   8857 |        0 |        0
567.40/567.57	c  567s |      24 |  4674596 |  3677662 |     1037   8878 |        0 |        0
569.40/569.57	c  569s |      24 |  4689255 |  3689262 |     1037   8899 |        0 |        0
571.41/571.59	c  571s |      24 |  4703077 |  3700562 |     1037   8920 |        0 |        0
573.51/573.60	c  573s |      24 |  4716299 |  3711962 |     1037   8941 |        0 |        0
575.51/575.62	c  575s |      24 |  4729567 |  3723262 |     1037   8962 |        0 |        0
577.51/577.63	c  577s |      24 |  4742509 |  3734362 |     1037   8983 |        0 |        0
579.50/579.63	c  579s |      24 |  4755113 |  3745262 |     1037   9003 |        0 |        0
581.50/581.63	c  581s |      24 |  4767418 |  3755862 |     1037   9023 |        0 |        0
583.50/583.65	c  583s |      24 |  4778507 |  3765862 |     1037   9041 |        0 |        0
585.50/585.66	c  585s |      24 |  4790197 |  3776062 |     1037   9060 |        0 |        0
587.50/587.66	c  587s |      24 |  4802647 |  3786862 |     1037   9080 |        0 |        0
589.51/589.68	c  589s |      24 |  4816393 |  3798162 |     1037   9101 |        0 |        0
591.50/591.69	c  591s |      24 |  4828860 |  3808862 |     1037   9121 |        0 |        0
593.60/593.70	c  593s |      24 |  4842283 |  3819962 |     1037   9141 |        0 |        0
595.60/595.72	c  595s |      24 |  4855705 |  3831262 |     1037   9162 |        0 |        0
597.60/597.72	c  597s |      24 |  4869276 |  3842662 |     1037   9183 |        0 |        0
599.60/599.72	c  599s |      24 |  4881781 |  3853562 |     1037   9203 |        0 |        0
601.60/601.73	c  601s |      24 |  4894235 |  3864362 |     1037   9223 |        0 |        0
603.60/603.74	c  603s |      24 |  4907233 |  3875462 |     1037   9244 |        0 |        0
605.60/605.76	c  605s |      24 |  4919941 |  3886662 |     1037   9265 |        0 |        0
607.60/607.78	c  607s |      24 |  4932004 |  3897262 |     1037   9285 |        0 |        0
609.59/609.79	c  609s |      24 |  4944291 |  3907962 |     1037   9304 |        0 |        0
611.69/611.80	c  611s |      24 |  4956369 |  3918462 |     1037   9324 |        0 |        0
613.59/613.80	c  613s |      24 |  4968668 |  3929062 |     1037   9343 |        0 |        0
615.69/615.82	c  615s |      24 |  4980604 |  3939562 |     1037   9363 |        0 |        0
617.69/617.82	c  617s |      24 |  4992488 |  3949962 |     1037   9382 |        0 |        0
619.69/619.84	c  619s |      24 |  5003487 |  3959862 |     1037   9401 |        0 |        0
621.70/621.85	c  621s |      24 |  5015575 |  3970362 |     1037   9420 |        0 |        0
623.70/623.87	c  623s |      24 |  5026542 |  3980362 |     1037   9439 |        0 |        0
625.70/625.88	c  625s |      24 |  5039207 |  3991162 |     1037   9459 |        0 |        0
627.69/627.88	c  627s |      24 |  5051331 |  4001662 |     1037   9478 |        0 |        0
629.79/629.90	c  629s |      24 |  5064178 |  4012462 |     1037   9498 |        0 |        0
631.79/631.91	c  631s |      24 |  5077503 |  4023662 |     1037   9519 |        0 |        0
633.79/633.92	c  633s |      24 |  5091083 |  4035062 |     1037   9540 |        0 |        0
635.80/635.93	c  635s |      24 |  5104567 |  4046562 |     1037   9561 |        0 |        0
637.79/637.94	c  637s |      24 |  5118509 |  4058462 |     1037   9583 |        0 |        0
639.79/639.96	c  639s |      24 |  5132928 |  4070462 |     1037   9606 |        0 |        0
641.79/641.96	c  641s |      24 |  5147478 |  4082662 |     1037   9628 |        0 |        0
643.79/643.97	c  643s |      24 |  5160603 |  4094062 |     1037   9649 |        0 |        0
645.79/645.99	c  645s |      24 |  5173275 |  4104962 |     1037   9670 |        0 |        0
647.80/648.00	c  647s |      24 |  5186021 |  4115862 |     1037   9690 |        0 |        0
649.89/650.01	c  649s |      24 |  5199045 |  4127062 |     1037   9711 |        0 |        0
651.89/652.02	c  652s |      24 |  5212556 |  4138462 |     1037   9732 |        0 |        0
653.89/654.03	c  654s |      24 |  5226972 |  4149962 |     1037   9753 |        0 |        0
655.89/656.03	c  656s |      24 |  5240493 |  4161362 |     1037   9774 |        0 |        0
657.89/658.03	c  658s |      24 |  5255233 |  4173262 |     1037   9796 |        0 |        0
659.89/660.04	c  660s |      24 |  5269585 |  4184862 |     1037   9818 |        0 |        0
661.89/662.05	c  662s |      24 |  5283181 |  4196162 |     1037   9839 |        0 |        0
663.89/664.06	c  664s |      24 |  5296171 |  4207362 |     1037   9860 |        0 |        0
665.88/666.07	c  666s |      24 |  5308782 |  4218362 |     1037   9880 |        0 |        0
667.88/668.08	c  668s |      24 |  5321894 |  4229362 |     1037   9901 |        0 |        0
669.89/670.09	c  670s |      24 |  5336162 |  4240962 |     1037   9922 |        0 |        0
671.89/672.09	c  672s |      24 |  5350994 |  4252962 |     1037   9944 |        0 |        0
673.89/674.09	c  674s |      24 |  5364562 |  4264162 |     1037   9965 |        0 |        0
675.99/676.11	c  676s |      24 |  5377693 |  4275262 |     1037   9986 |        0 |        0
677.99/678.11	c  678s |      24 |  5390931 |  4286262 |     1037  10006 |        0 |        0
679.99/680.12	c  680s |      24 |  5406911 |  4298662 |     1037  10029 |        0 |        0
681.99/682.12	c  682s |      24 |  5422444 |  4310762 |     1037  10052 |        0 |        0
683.99/684.14	c  684s |      24 |  5436593 |  4322562 |     1037  10074 |        0 |        0
685.99/686.14	c  686s |      24 |  5450619 |  4334362 |     1037  10095 |        0 |        0
687.99/688.15	c  688s |      24 |  5465755 |  4346262 |     1037  10117 |        0 |        0
689.99/690.16	c  690s |      24 |  5481111 |  4358262 |     1037  10140 |        0 |        0
691.99/692.17	c  692s |      24 |  5495272 |  4369862 |     1037  10161 |        0 |        0
693.99/694.18	c  694s |      24 |  5507955 |  4380762 |     1037  10181 |        0 |        0
695.98/696.18	c  696s |      24 |  5520132 |  4391262 |     1037  10201 |        0 |        0
698.08/698.20	c  698s |      24 |  5533476 |  4402262 |     1037  10221 |        0 |        0
700.08/700.21	c  700s |      24 |  5547315 |  4413262 |     1037  10242 |        0 |        0
702.08/702.22	c  702s |      24 |  5560516 |  4424262 |     1037  10262 |        0 |        0
704.08/704.23	c  704s |      24 |  5575907 |  4436062 |     1037  10284 |        0 |        0
706.08/706.25	c  706s |      24 |  5589803 |  4447662 |     1037  10306 |        0 |        0
708.08/708.25	c  708s |      24 |  5603583 |  4459262 |     1037  10327 |        0 |        0
710.08/710.26	c  710s |      24 |  5617534 |  4470762 |     1037  10349 |        0 |        0
712.08/712.26	c  712s |      24 |  5630627 |  4481862 |     1037  10369 |        0 |        0
714.07/714.27	c  714s |      24 |  5644157 |  4493062 |     1037  10390 |        0 |        0
716.08/716.27	c  716s |      24 |  5658324 |  4504362 |     1037  10411 |        0 |        0
718.07/718.28	c  718s |      24 |  5672685 |  4515862 |     1037  10432 |        0 |        0
720.07/720.28	c  720s |      24 |  5686556 |  4527262 |     1037  10453 |        0 |        0
722.07/722.28	c  722s |      24 |  5699851 |  4538462 |     1037  10474 |        0 |        0
724.06/724.29	c  724s |      24 |  5711369 |  4548662 |     1037  10493 |        0 |        0
726.06/726.29	c  726s |      24 |  5723499 |  4559062 |     1037  10512 |        0 |        0
728.07/728.29	c  728s |      24 |  5736901 |  4570162 |     1037  10532 |        0 |        0
730.16/730.31	c  730s |      24 |  5751321 |  4582062 |     1037  10555 |        0 |        0
732.16/732.31	c  732s |      24 |  5766140 |  4593762 |     1037  10576 |        0 |        0
734.16/734.32	c  734s |      24 |  5781195 |  4605662 |     1037  10598 |        0 |        0
736.16/736.33	c  736s |      24 |  5795819 |  4617762 |     1037  10621 |        0 |        0
738.15/738.34	c  738s |      24 |  5808311 |  4628662 |     1037  10641 |        0 |        0
740.16/740.35	c  740s |      24 |  5821821 |  4639862 |     1037  10662 |        0 |        0
742.15/742.37	c  742s |      24 |  5835745 |  4651362 |     1037  10683 |        0 |        0
744.15/744.38	c  744s |      24 |  5850608 |  4663362 |     1037  10706 |        0 |        0
746.15/746.39	c  746s |      24 |  5864888 |  4674862 |     1037  10727 |        0 |        0
748.25/748.40	c  748s |      24 |  5879467 |  4686462 |     1037  10749 |        0 |        0
750.25/750.41	c  750s |      24 |  5894088 |  4698062 |     1037  10770 |        0 |        0
752.26/752.42	c  752s |      24 |  5908878 |  4709662 |     1037  10792 |        0 |        0
754.24/754.44	c  754s |      24 |  5924152 |  4721862 |     1037  10814 |        0 |        0
756.24/756.45	c  756s |      24 |  5938184 |  4733362 |     1037  10836 |        0 |        0
758.24/758.47	c  758s |      24 |  5952682 |  4745062 |     1037  10858 |        0 |        0
760.25/760.47	c  760s |      24 |  5966555 |  4756362 |     1037  10879 |        0 |        0
762.25/762.49	c  762s |      24 |  5980507 |  4767762 |     1037  10900 |        0 |        0
764.24/764.49	c  764s |      24 |  5996164 |  4779962 |     1037  10923 |        0 |        0
766.34/766.50	c  766s |      24 |  6012546 |  4792262 |     1037  10945 |        0 |        0
768.34/768.50	c  768s |      24 |  6026045 |  4803662 |     1037  10967 |        0 |        0
770.34/770.52	c  770s |      24 |  6038685 |  4814762 |     1037  10987 |        0 |        0
772.34/772.52	c  772s |      24 |  6052200 |  4825962 |     1037  11008 |        0 |        0
774.34/774.54	c  774s |      24 |  6066342 |  4837162 |     1037  11028 |        0 |        0
776.33/776.54	c  776s |      24 |  6080434 |  4848662 |     1037  11050 |        0 |        0
778.33/778.55	c  778s |      24 |  6094850 |  4860362 |     1037  11071 |        0 |        0
780.33/780.57	c  780s |      24 |  6109302 |  4872062 |     1037  11093 |        0 |        0
782.33/782.57	c  782s |      24 |  6122609 |  4883062 |     1037  11114 |        0 |        0
784.32/784.58	c  784s |      24 |  6136207 |  4894262 |     1037  11134 |        0 |        0
786.33/786.59	c  786s |      24 |  6149861 |  4905362 |     1037  11155 |        0 |        0
788.42/788.60	c  788s |      24 |  6163788 |  4916662 |     1037  11176 |        0 |        0
790.42/790.62	c  790s |      24 |  6179042 |  4928462 |     1037  11198 |        0 |        0
792.42/792.62	c  792s |      24 |  6194812 |  4940562 |     1037  11221 |        0 |        0
794.42/794.63	c  794s |      24 |  6209667 |  4952162 |     1037  11242 |        0 |        0
796.42/796.65	c  796s |      24 |  6224660 |  4963962 |     1037  11264 |        0 |        0
798.43/798.65	c  798s |      24 |  6240511 |  4976162 |     1037  11287 |        0 |        0
800.42/800.66	c  800s |      24 |  6256983 |  4988562 |     1037  11310 |        0 |        0
802.42/802.66	c  802s |      24 |  6274937 |  5001862 |     1037  11335 |        0 |        0
804.41/804.68	c  804s |      24 |  6292440 |  5015262 |     1037  11360 |        0 |        0
806.41/806.69	c  806s |      24 |  6310833 |  5028762 |     1037  11385 |        0 |        0
808.51/808.70	c  808s |      24 |  6327314 |  5041462 |     1141  11406 |        0 |        0
810.52/810.71	c  810s |      24 |  6343945 |  5053962 |     1141  11428 |        0 |        0
812.11/812.37	c  812s |      25 |  6360158 |  5065098 |     1141  11446 |        0 |        0
814.11/814.38	c  814s |      25 |  6375055 |  5076398 |     1141  11465 |        0 |        0
816.11/816.39	c  816s |      25 |  6389407 |  5087998 |     1141  11484 |        0 |        0
818.10/818.40	c  818s |      25 |  6403127 |  5098998 |     1141  11503 |        0 |        0
820.20/820.41	c  820s |      25 |  6418442 |  5110998 |     1141  11523 |        0 |        0
822.20/822.43	c  822s |      25 |  6432390 |  5122298 |     1141  11542 |        0 |        0
824.20/824.43	c  824s |      25 |  6446687 |  5133298 |     1141  11560 |        0 |        0
826.20/826.44	c  826s |      25 |  6462359 |  5144798 |     1141  11579 |        0 |        0
828.21/828.45	c  828s |      25 |  6477410 |  5156598 |     1141  11599 |        0 |        0
830.20/830.46	c  830s |      25 |  6492318 |  5167998 |     1141  11618 |        0 |        0
832.20/832.47	c  832s |      25 |  6505899 |  5179298 |     1141  11637 |        0 |        0
834.19/834.48	c  834s |      25 |  6521899 |  5191098 |     1141  11657 |        0 |        0
836.19/836.48	c  836s |      25 |  6537648 |  5202698 |     1141  11676 |        0 |        0
838.29/838.50	c  838s |      25 |  6553155 |  5214298 |     1141  11695 |        0 |        0
840.31/840.52	c  840s |      25 |  6569517 |  5226198 |     1141  11715 |        0 |        0
842.30/842.52	c  842s |      25 |  6585204 |  5237598 |     1141  11735 |        0 |        0
844.30/844.53	c  844s |      25 |  6599121 |  5248898 |     1141  11753 |        0 |        0
846.30/846.55	c  846s |      25 |  6613347 |  5260098 |     1141  11772 |        0 |        0
848.29/848.56	c  848s |      25 |  6629018 |  5272098 |     1141  11792 |        0 |        0
850.29/850.57	c  850s |      25 |  6643606 |  5283498 |     1141  11811 |        0 |        0
852.30/852.58	c  852s |      25 |  6657906 |  5294698 |     1141  11830 |        0 |        0
854.39/854.60	c  854s |      25 |  6673974 |  5306498 |     1141  11850 |        0 |        0
856.39/856.61	c  856s |      25 |  6686829 |  5316898 |     1141  11868 |        0 |        0
858.39/858.62	c  858s |      25 |  6700017 |  5327898 |     1141  11886 |        0 |        0
860.39/860.62	c  860s |      25 |  6716529 |  5339698 |     1141  11906 |        0 |        0
862.39/862.63	c  862s |      25 |  6731025 |  5350698 |     1141  11925 |        0 |        0
864.39/864.64	c  864s |      25 |  6743572 |  5360698 |     1141  11941 |        0 |        0
866.38/866.64	c  866s |      25 |  6756028 |  5370598 |     1141  11958 |        0 |        0
868.38/868.64	c  868s |      25 |  6768807 |  5380598 |     1141  11975 |        0 |        0
870.38/870.65	c  870s |      25 |  6783442 |  5391498 |     1141  11993 |        0 |        0
872.38/872.66	c  872s |      25 |  6796512 |  5401998 |     1141  12011 |        0 |        0
874.38/874.66	c  874s |      25 |  6808842 |  5412298 |     1141  12029 |        0 |        0
876.38/876.66	c  876s |      25 |  6820900 |  5422498 |     1141  12046 |        0 |        0
878.38/878.68	c  878s |      25 |  6832825 |  5432498 |     1141  12063 |        0 |        0
880.37/880.68	c  880s |      25 |  6849137 |  5444498 |     1141  12083 |        0 |        0
882.37/882.69	c  882s |      25 |  6863958 |  5455898 |     1141  12102 |        0 |        0
884.47/884.70	c  884s |      25 |  6878025 |  5466698 |     1141  12120 |        0 |        0
886.38/886.70	c  886s |      25 |  6892014 |  5477598 |     1141  12139 |        0 |        0
888.47/888.70	c  888s |      25 |  6904825 |  5488098 |     1141  12156 |        0 |        0
890.47/890.73	c  890s |      25 |  6917709 |  5498398 |     1141  12174 |        0 |        0
892.47/892.74	c  892s |      25 |  6930539 |  5508598 |     1141  12191 |        0 |        0
894.46/894.75	c  894s |      25 |  6944090 |  5519498 |     1141  12209 |        0 |        0
896.46/896.75	c  896s |      25 |  6958801 |  5530398 |     1141  12227 |        0 |        0
898.47/898.77	c  898s |      25 |  6971858 |  5541198 |     1141  12245 |        0 |        0
900.46/900.77	c  900s |      25 |  6984898 |  5551798 |     1141  12263 |        0 |        0
902.46/902.79	c  902s |      25 |  6999336 |  5562598 |     1141  12281 |        0 |        0
904.55/904.80	c  904s |      25 |  7013703 |  5573398 |     1141  12299 |        0 |        0
906.56/906.81	c  906s |      25 |  7027691 |  5584798 |     1141  12318 |        0 |        0
908.56/908.81	c  908s |      25 |  7041326 |  5595798 |     1141  12336 |        0 |        0
910.57/910.82	c  910s |      25 |  7055601 |  5606698 |     1141  12355 |        0 |        0
912.56/912.83	c  912s |      25 |  7068561 |  5617298 |     1141  12372 |        0 |        0
914.55/914.84	c  914s |      25 |  7082638 |  5628198 |     1141  12391 |        0 |        0
916.55/916.85	c  916s |      25 |  7095867 |  5638798 |     1141  12408 |        0 |        0
918.55/918.86	c  918s |      25 |  7110431 |  5649798 |     1141  12427 |        0 |        0
920.56/920.86	c  920s |      25 |  7124266 |  5660498 |     1141  12445 |        0 |        0
922.55/922.86	c  922s |      25 |  7137677 |  5671298 |     1141  12463 |        0 |        0
924.55/924.87	c  924s |      25 |  7152511 |  5682398 |     1141  12482 |        0 |        0
926.55/926.88	c  926s |      25 |  7165851 |  5693198 |     1141  12500 |        0 |        0
928.54/928.89	c  928s |      25 |  7180294 |  5704198 |     1141  12518 |        0 |        0
930.64/930.90	c  930s |      25 |  7194802 |  5715198 |     1141  12536 |        0 |        0
932.65/932.91	c  932s |      25 |  7207939 |  5725598 |     1141  12554 |        0 |        0
934.64/934.91	c  934s |      25 |  7221534 |  5735998 |     1141  12571 |        0 |        0
936.64/936.92	c  936s |      25 |  7236673 |  5746898 |     1141  12589 |        0 |        0
938.64/938.92	c  938s |      25 |  7253805 |  5758598 |     1141  12609 |        0 |        0
940.64/940.92	c  940s |      25 |  7270146 |  5771298 |     1141  12630 |        0 |        0
942.64/942.93	c  942s |      25 |  7284810 |  5783098 |     1141  12650 |        0 |        0
944.64/944.94	c  944s |      25 |  7301220 |  5795398 |     1141  12671 |        0 |        0
946.63/946.95	c  946s |      25 |  7316137 |  5807298 |     1141  12691 |        0 |        0
948.63/948.95	c  948s |      25 |  7330404 |  5818598 |     1141  12709 |        0 |        0
950.63/950.96	c  950s |      25 |  7344203 |  5829698 |     1141  12728 |        0 |        0
952.63/952.96	c  952s |      25 |  7359143 |  5841098 |     1141  12747 |        0 |        0
954.63/954.98	c  954s |      25 |  7373276 |  5852298 |     1141  12765 |        0 |        0
956.62/956.99	c  956s |      25 |  7386300 |  5862998 |     1141  12783 |        0 |        0
958.72/959.00	c  958s |      25 |  7398454 |  5873298 |     1141  12800 |        0 |        0
960.72/961.01	c  960s |      25 |  7410513 |  5883398 |     1141  12817 |        0 |        0
962.72/963.03	c  963s |      25 |  7424029 |  5894398 |     1141  12835 |        0 |        0
964.71/965.04	c  965s |      25 |  7436737 |  5904998 |     1141  12853 |        0 |        0
966.72/967.05	c  967s |      25 |  7450779 |  5915998 |     1141  12872 |        0 |        0
968.71/969.05	c  969s |      25 |  7465464 |  5927298 |     1141  12890 |        0 |        0
970.71/971.06	c  971s |      25 |  7478963 |  5938398 |     1141  12909 |        0 |        0
972.71/973.08	c  973s |      25 |  7492799 |  5949898 |     1141  12928 |        0 |        0
974.71/975.09	c  975s |      25 |  7505699 |  5960898 |     1141  12946 |        0 |        0
976.81/977.10	c  977s |      25 |  7520096 |  5972498 |     1141  12966 |        0 |        0
978.71/979.10	c  979s |      25 |  7536703 |  5984198 |     1141  12985 |        0 |        0
980.81/981.10	c  981s |      25 |  7554190 |  5996198 |     1141  13005 |        0 |        0
982.81/983.11	c  983s |      25 |  7571618 |  6008098 |     1141  13026 |        0 |        0
984.80/985.12	c  985s |      25 |  7586347 |  6019298 |     1141  13044 |        0 |        0
986.80/987.14	c  987s |      25 |  7598946 |  6029798 |     1141  13062 |        0 |        0
988.80/989.15	c  989s |      25 |  7612120 |  6039898 |     1141  13079 |        0 |        0
990.81/991.16	c  991s |      25 |  7623788 |  6049798 |     1141  13096 |        0 |        0
992.80/993.17	c  993s |      25 |  7636771 |  6060198 |     1141  13113 |        0 |        0
994.79/995.18	c  995s |      25 |  7653121 |  6071398 |     1141  13132 |        0 |        0
996.80/997.19	c  997s |      25 |  7666984 |  6082098 |     1141  13150 |        0 |        0
998.90/999.20	c  999s |      25 |  7680985 |  6093198 |     1141  13169 |        0 |        0
1000.90/1001.21	c 1001s |      25 |  7696217 |  6104398 |     1141  13187 |        0 |        0
1002.91/1003.22	c 1003s |      25 |  7710745 |  6115698 |     1141  13207 |        0 |        0
1004.90/1005.22	c 1005s |      25 |  7724889 |  6126498 |     1141  13225 |        0 |        0
1006.90/1007.23	c 1007s |      25 |  7739705 |  6138098 |     1141  13244 |        0 |        0
1008.89/1009.24	c 1009s |      25 |  7753640 |  6148798 |     1141  13262 |        0 |        0
1010.89/1011.25	c 1011s |      25 |  7766182 |  6159098 |     1141  13280 |        0 |        0
1012.90/1013.26	c 1013s |      25 |  7778608 |  6169298 |     1141  13297 |        0 |        0
1014.89/1015.26	c 1015s |      25 |  7791098 |  6179398 |     1141  13314 |        0 |        0
1016.89/1017.27	c 1017s |      25 |  7804439 |  6189898 |     1141  13332 |        0 |        0
1018.89/1019.27	c 1019s |      25 |  7816863 |  6199998 |     1141  13349 |        0 |        0
1020.89/1021.27	c 1021s |      25 |  7829215 |  6210198 |     1141  13366 |        0 |        0
1022.89/1023.29	c 1023s |      25 |  7841092 |  6220298 |     1141  13383 |        0 |        0
1024.89/1025.30	c 1025s |      25 |  7852021 |  6229998 |     1141  13400 |        0 |        0
1026.98/1027.31	c 1027s |      25 |  7863694 |  6239798 |     1141  13416 |        0 |        0
1028.98/1029.33	c 1029s |      25 |  7875579 |  6249398 |     1141  13432 |        0 |        0
1030.98/1031.35	c 1031s |      25 |  7888180 |  6260198 |     1141  13451 |        0 |        0
1032.98/1033.36	c 1033s |      25 |  7900742 |  6270498 |     1141  13468 |        0 |        0
1034.98/1035.36	c 1035s |      25 |  7913977 |  6281198 |     1141  13486 |        0 |        0
1036.99/1037.38	c 1037s |      25 |  7928624 |  6292298 |     1141  13504 |        0 |        0
1038.98/1039.38	c 1039s |      25 |  7942144 |  6303198 |     1141  13523 |        0 |        0
1040.98/1041.39	c 1041s |      25 |  7954342 |  6313498 |     1141  13540 |        0 |        0
1043.08/1043.40	c 1043s |      25 |  7966742 |  6323898 |     1141  13557 |        0 |        0
1045.07/1045.41	c 1045s |      25 |  7979131 |  6334298 |     1141  13575 |        0 |        0
1047.07/1047.41	c 1047s |      25 |  7991626 |  6344598 |     1141  13592 |        0 |        0
1049.08/1049.41	c 1049s |      25 |  8004106 |  6354798 |     1141  13609 |        0 |        0
1051.07/1051.42	c 1051s |      25 |  8016150 |  6364798 |     1141  13626 |        0 |        0
1053.07/1053.44	c 1053s |      25 |  8028670 |  6375298 |     1141  13644 |        0 |        0
1055.07/1055.45	c 1055s |      25 |  8041170 |  6385898 |     1141  13661 |        0 |        0
1057.07/1057.45	c 1057s |      25 |  8055152 |  6397398 |     1141  13681 |        0 |        0
1059.07/1059.45	c 1059s |      25 |  8070149 |  6409098 |     1141  13700 |        0 |        0
1061.06/1061.46	c 1061s |      25 |  8084229 |  6420198 |     1141  13719 |        0 |        0
1063.06/1063.46	c 1063s |      25 |  8097774 |  6430898 |     1141  13737 |        0 |        0
1065.06/1065.47	c 1065s |      25 |  8110742 |  6441198 |     1141  13754 |        0 |        0
1067.06/1067.48	c 1067s |      25 |  8125243 |  6452298 |     1141  13773 |        0 |        0
1069.06/1069.50	c 1069s |      25 |  8139253 |  6463098 |     1141  13791 |        0 |        0
1071.16/1071.51	c 1071s |      25 |  8156822 |  6474598 |     1141  13810 |        0 |        0
1073.15/1073.51	c 1073s |      25 |  8173001 |  6485598 |     1141  13829 |        0 |        0
1075.15/1075.53	c 1075s |      25 |  8186617 |  6495998 |     1141  13846 |        0 |        0
1077.15/1077.54	c 1077s |      25 |  8200910 |  6506898 |     1141  13865 |        0 |        0
1079.15/1079.54	c 1079s |      25 |  8214756 |  6517898 |     1141  13883 |        0 |        0
1081.15/1081.54	c 1081s |      25 |  8230033 |  6529598 |     1141  13903 |        0 |        0
1083.16/1083.55	c 1083s |      25 |  8244214 |  6541098 |     1141  13922 |        0 |        0
1085.15/1085.56	c 1085s |      25 |  8256669 |  6551398 |     1141  13939 |        0 |        0
1087.14/1087.56	c 1087s |      25 |  8268252 |  6561398 |     1141  13956 |        0 |        0
1089.14/1089.57	c 1089s |      25 |  8281683 |  6571998 |     1141  13974 |        0 |        0
1091.14/1091.58	c 1091s |      25 |  8293781 |  6581998 |     1141  13991 |        0 |        0
1093.24/1093.61	c 1093s |      25 |  8305411 |  6591798 |     1141  14008 |        0 |        0
1095.24/1095.61	c 1095s |      25 |  8317341 |  6601598 |     1141  14024 |        0 |        0
1097.24/1097.61	c 1097s |      25 |  8329567 |  6611998 |     1141  14042 |        0 |        0
1099.23/1099.62	c 1099s |      25 |  8342318 |  6622398 |     1141  14059 |        0 |        0
1101.23/1101.62	c 1101s |      25 |  8355753 |  6633198 |     1141  14077 |        0 |        0
1103.23/1103.63	c 1103s |      25 |  8369251 |  6644398 |     1141  14096 |        0 |        0
1105.24/1105.65	c 1105s |      25 |  8381177 |  6654898 |     1141  14114 |        0 |        0
1107.23/1107.65	c 1107s |      25 |  8394387 |  6665598 |     1141  14132 |        0 |        0
1109.23/1109.66	c 1109s |      25 |  8407832 |  6676298 |     1141  14150 |        0 |        0
1111.23/1111.66	c 1111s |      25 |  8420982 |  6686798 |     1141  14167 |        0 |        0
1113.23/1113.67	c 1113s |      25 |  8432782 |  6696698 |     1141  14184 |        0 |        0
1115.23/1115.67	c 1115s |      25 |  8445574 |  6706398 |     1141  14200 |        0 |        0
1117.24/1117.67	c 1117s |      25 |  8460962 |  6717698 |     1141  14219 |        0 |        0
1119.23/1119.68	c 1119s |      25 |  8473324 |  6727498 |     1141  14236 |        0 |        0
1121.23/1121.69	c 1121s |      25 |  8485694 |  6737598 |     1141  14252 |        0 |        0
1123.23/1123.69	c 1123s |      25 |  8499004 |  6748198 |     1141  14270 |        0 |        0
1125.32/1125.71	c 1125s |      25 |  8513954 |  6759298 |     1141  14289 |        0 |        0
1127.32/1127.72	c 1127s |      25 |  8525937 |  6768898 |     1141  14305 |        0 |        0
1129.33/1129.73	c 1129s |      25 |  8539603 |  6779298 |     1141  14322 |        0 |        0
1131.32/1131.74	c 1131s |      25 |  8550978 |  6788698 |     1141  14337 |        0 |        0
1133.32/1133.76	c 1133s |      25 |  8561433 |  6797698 |     1141  14352 |        0 |        0
1135.32/1135.76	c 1135s |      25 |  8574483 |  6808098 |     1141  14370 |        0 |        0
1137.32/1137.78	c 1137s |      25 |  8587530 |  6817998 |     1141  14386 |        0 |        0
1139.32/1139.78	c 1139s |      25 |  8600828 |  6828598 |     1141  14404 |        0 |        0
1141.31/1141.79	c 1141s |      25 |  8613594 |  6839298 |     1141  14422 |        0 |        0
1143.41/1143.81	c 1143s |      25 |  8627169 |  6849998 |     1141  14439 |        0 |        0
1145.41/1145.83	c 1145s |      25 |  8639504 |  6860198 |     1141  14457 |        0 |        0
1147.41/1147.84	c 1147s |      25 |  8651193 |  6870198 |     1141  14473 |        0 |        0
1149.41/1149.85	c 1149s |      25 |  8664552 |  6880698 |     1141  14491 |        0 |        0
1151.42/1151.86	c 1151s |      25 |  8678469 |  6890998 |     1141  14508 |        0 |        0
1153.41/1153.87	c 1153s |      25 |  8693123 |  6901898 |     1141  14527 |        0 |        0
1155.41/1155.87	c 1155s |      25 |  8707753 |  6912998 |     1141  14545 |        0 |        0
1157.41/1157.88	c 1157s |      25 |  8720845 |  6923398 |     1141  14563 |        0 |        0
1159.51/1159.90	c 1159s |      25 |  8734938 |  6934598 |     1141  14581 |        0 |        0
1161.51/1161.90	c 1161s |      25 |  8748473 |  6945198 |     1141  14599 |        0 |        0
1163.51/1163.91	c 1163s |      25 |  8761070 |  6955398 |     1141  14616 |        0 |        0
1165.50/1165.93	c 1165s |      25 |  8772850 |  6965298 |     1141  14633 |        0 |        0
1167.50/1167.94	c 1167s |      25 |  8785164 |  6975198 |     1141  14649 |        0 |        0
1169.50/1169.94	c 1169s |      25 |  8798462 |  6985598 |     1141  14667 |        0 |        0
1171.50/1171.96	c 1171s |      25 |  8810261 |  6995598 |     1141  14684 |        0 |        0
1173.49/1173.96	c 1173s |      25 |  8822780 |  7005698 |     1141  14701 |        0 |        0
1175.50/1175.96	c 1175s |      25 |  8835959 |  7015798 |     1141  14718 |        0 |        0
1177.49/1177.97	c 1177s |      25 |  8848598 |  7025898 |     1141  14734 |        0 |        0
1179.49/1179.98	c 1179s |      25 |  8862713 |  7036798 |     1141  14753 |        0 |        0
1181.49/1181.98	c 1181s |      25 |  8877414 |  7047798 |     1141  14771 |        0 |        0
1183.49/1183.99	c 1183s |      25 |  8890096 |  7058098 |     1141  14789 |        0 |        0
1185.49/1185.99	c 1185s |      25 |  8903403 |  7068698 |     1141  14807 |        0 |        0
1187.59/1188.01	c 1188s |      25 |  8916591 |  7079098 |     1141  14824 |        0 |        0
1189.59/1190.03	c 1190s |      25 |  8930153 |  7089498 |     1141  14842 |        0 |        0
1191.59/1192.03	c 1192s |      25 |  8944140 |  7100198 |     1141  14860 |        0 |        0
1193.58/1194.03	c 1194s |      25 |  8957957 |  7110998 |     1141  14878 |        0 |        0
1195.58/1196.05	c 1196s |      25 |  8971772 |  7121598 |     1141  14896 |        0 |        0
1197.59/1198.07	c 1198s |      25 |  8983673 |  7131398 |     1141  14912 |        0 |        0
1199.58/1200.07	c 1200s |      25 |  8994481 |  7140698 |     1141  14928 |        0 |        0
1201.58/1202.09	c 1202s |      25 |  9006302 |  7150398 |     1141  14944 |        0 |        0
1203.68/1204.11	c 1204s |      25 |  9021025 |  7160498 |     1141  14961 |        0 |        0
1205.68/1206.12	c 1206s |      25 |  9035290 |  7171998 |     1141  14980 |        0 |        0
1207.68/1208.12	c 1208s |      25 |  9050262 |  7183998 |     1141  15000 |        0 |        0
1209.68/1210.13	c 1210s |      25 |  9065959 |  7196098 |     1141  15021 |        0 |        0
1211.67/1212.14	c 1212s |      25 |  9082255 |  7208398 |     1141  15041 |        0 |        0
1213.67/1214.15	c 1214s |      25 |  9096614 |  7219798 |     1141  15061 |        0 |        0
1215.67/1216.15	c 1216s |      25 |  9112447 |  7231598 |     1141  15080 |        0 |        0
1217.67/1218.16	c 1218s |      25 |  9128882 |  7243698 |     1141  15101 |        0 |        0
1219.67/1220.17	c 1220s |      25 |  9145587 |  7255898 |     1141  15121 |        0 |        0
1221.67/1222.18	c 1222s |      25 |  9161460 |  7267498 |     1141  15141 |        0 |        0
1223.66/1224.18	c 1224s |      25 |  9176453 |  7278798 |     1141  15160 |        0 |        0
1225.66/1226.19	c 1226s |      25 |  9191767 |  7290398 |     1141  15179 |        0 |        0
1227.66/1228.19	c 1228s |      25 |  9209798 |  7302598 |     1141  15200 |        0 |        0
1229.76/1230.20	c 1230s |      25 |  9224404 |  7313698 |     1141  15218 |        0 |        0
1231.76/1232.22	c 1232s |      25 |  9239063 |  7324998 |     1141  15237 |        0 |        0
1233.76/1234.24	c 1234s |      25 |  9253407 |  7336398 |     1141  15256 |        0 |        0
1235.76/1236.24	c 1236s |      25 |  9266586 |  7346898 |     1141  15273 |        0 |        0
1237.75/1238.24	c 1238s |      25 |  9281520 |  7357998 |     1141  15292 |        0 |        0
1239.75/1240.25	c 1240s |      25 |  9298242 |  7370198 |     1141  15313 |        0 |        0
1241.75/1242.26	c 1242s |      25 |  9312085 |  7380698 |     1141  15330 |        0 |        0
1243.76/1244.28	c 1244s |      25 |  9326428 |  7391498 |     1141  15349 |        0 |        0
1245.75/1246.29	c 1246s |      25 |  9338784 |  7401898 |     1141  15366 |        0 |        0
1247.75/1248.30	c 1248s |      25 |  9352854 |  7412898 |     1141  15385 |        0 |        0
1249.85/1250.31	c 1250s |      25 |  9368611 |  7424798 |     1141  15405 |        0 |        0
1251.85/1252.31	c 1252s |      25 |  9383264 |  7436098 |     1141  15424 |        0 |        0
1253.84/1254.32	c 1254s |      25 |  9398084 |  7447898 |     1141  15444 |        0 |        0
1255.85/1256.33	c 1256s |      25 |  9412240 |  7459298 |     1141  15463 |        0 |        0
1257.84/1258.33	c 1258s |      25 |  9427494 |  7470898 |     1141  15482 |        0 |        0
1259.84/1260.35	c 1260s |      25 |  9442807 |  7482698 |     1141  15503 |        0 |        0
1261.84/1262.35	c 1262s |      25 |  9459474 |  7494998 |     1141  15523 |        0 |        0
1263.83/1264.37	c 1264s |      25 |  9475602 |  7507598 |     1141  15545 |        0 |        0
1265.83/1266.38	c 1266s |      25 |  9491180 |  7519898 |     1141  15565 |        0 |        0
1267.84/1268.40	c 1268s |      25 |  9506297 |  7531798 |     1141  15585 |        0 |        0
1269.93/1270.41	c 1270s |      25 |  9523290 |  7544298 |     1256  15606 |        0 |        0
1271.93/1272.42	c 1272s |      25 |  9538634 |  7555998 |     1256  15624 |        0 |        0
1273.94/1274.43	c 1274s |      25 |  9555388 |  7568298 |     1256  15643 |        0 |        0
1275.94/1276.45	c 1276s |      25 |  9571647 |  7580398 |     1256  15661 |        0 |        0
1277.94/1278.45	c 1278s |      25 |  9586233 |  7591998 |     1256  15679 |        0 |        0
1278.94/1279.43	c 1279s |      26 |  9593879 |  7597752 |     1256  15688 |        0 |        0
1280.94/1281.44	c 1281s |      26 |  9607586 |  7608752 |     1256  15705 |        0 |        0
1282.94/1283.45	c 1283s |      26 |  9623278 |  7620852 |     1256  15724 |        0 |        0
1284.93/1285.45	c 1285s |      26 |  9638390 |  7632652 |     1256  15742 |        0 |        0
1286.93/1287.46	c 1287s |      26 |  9655596 |  7645152 |     1256  15761 |        0 |        0
1288.93/1289.46	c 1289s |      26 |  9670227 |  7656852 |     1256  15779 |        0 |        0
1290.93/1291.48	c 1291s |      26 |  9685659 |  7668752 |     1256  15797 |        0 |        0
1292.93/1293.49	c 1293s |      26 |  9700401 |  7680552 |     1256  15815 |        0 |        0
1295.02/1295.50	c 1295s |      26 |  9714171 |  7691852 |     1256  15833 |        0 |        0
1297.02/1297.51	c 1297s |      26 |  9727782 |  7703052 |     1256  15850 |        0 |        0
1299.02/1299.52	c 1299s |      26 |  9741347 |  7713952 |     1256  15866 |        0 |        0
1301.02/1301.54	c 1301s |      26 |  9755112 |  7725252 |     1256  15884 |        0 |        0
1303.03/1303.55	c 1303s |      26 |  9769077 |  7736152 |     1256  15901 |        0 |        0
1305.01/1305.56	c 1305s |      26 |  9781621 |  7746552 |     1256  15917 |        0 |        0
1307.01/1307.57	c 1307s |      26 |  9794899 |  7756752 |     1256  15932 |        0 |        0
1309.01/1309.58	c 1309s |      26 |  9808288 |  7767252 |     1256  15948 |        0 |        0
1311.01/1311.58	c 1311s |      26 |  9821510 |  7778052 |     1256  15965 |        0 |        0
1313.02/1313.59	c 1313s |      26 |  9834262 |  7788452 |     1256  15981 |        0 |        0
1315.01/1315.59	c 1315s |      26 |  9851006 |  7800352 |     1256  15999 |        0 |        0
1317.11/1317.60	c 1317s |      26 |  9864564 |  7811552 |     1256  16016 |        0 |        0
1319.11/1319.61	c 1319s |      26 |  9877738 |  7822452 |     1256  16032 |        0 |        0
1321.11/1321.61	c 1321s |      26 |  9890608 |  7833152 |     1256  16049 |        0 |        0
1323.10/1323.62	c 1323s |      26 |  9903324 |  7843752 |     1256  16065 |        0 |        0
1325.11/1325.63	c 1325s |      26 |  9916076 |  7854452 |     1256  16081 |        0 |        0
1327.10/1327.64	c 1327s |      26 |  9929392 |  7865452 |     1256  16098 |        0 |        0
1329.10/1329.66	c 1329s |      26 |  9943606 |  7876852 |     1256  16116 |        0 |        0
1331.10/1331.67	c 1331s |      26 |  9958281 |  7888452 |     1256  16133 |        0 |        0
1333.10/1333.68	c 1333s |      26 |  9972820 |  7899652 |     1256  16151 |        0 |        0
1335.09/1335.68	c 1335s |      26 |  9986717 |  7910552 |     1256  16167 |        0 |        0
1337.20/1337.70	c 1337s |      26 |  9998983 |  7920652 |     1256  16183 |        0 |        0
1339.20/1339.72	c 1339s |      26 | 10012163 |  7931052 |     1256  16198 |        0 |        0
1341.20/1341.73	c 1341s |      26 | 10025531 |  7941552 |     1256  16214 |        0 |        0
1343.20/1343.73	c 1343s |      26 | 10038348 |  7951452 |     1256  16230 |        0 |        0
1345.19/1345.75	c 1345s |      26 | 10051753 |  7962052 |     1256  16246 |        0 |        0
1347.19/1347.76	c 1347s |      26 | 10063879 |  7972152 |     1256  16261 |        0 |        0
1349.20/1349.76	c 1349s |      26 | 10076393 |  7982452 |     1256  16277 |        0 |        0
1351.19/1351.77	c 1351s |      26 | 10089590 |  7992752 |     1256  16293 |        0 |        0
1353.19/1353.78	c 1353s |      26 | 10103180 |  8003052 |     1256  16308 |        0 |        0
1355.19/1355.79	c 1355s |      26 | 10118992 |  8014452 |     1256  16326 |        0 |        0
1357.29/1357.80	c 1357s |      26 | 10132034 |  8024652 |     1256  16341 |        0 |        0
1359.28/1359.81	c 1359s |      26 | 10144437 |  8034952 |     1256  16357 |        0 |        0
1361.29/1361.82	c 1361s |      26 | 10157773 |  8045752 |     1256  16373 |        0 |        0
1363.28/1363.84	c 1363s |      26 | 10171688 |  8056952 |     1256  16391 |        0 |        0
1365.28/1365.86	c 1365s |      26 | 10186057 |  8068052 |     1256  16408 |        0 |        0
1367.28/1367.86	c 1367s |      26 | 10199867 |  8079052 |     1256  16425 |        0 |        0
1369.28/1369.87	c 1369s |      26 | 10213172 |  8089652 |     1256  16441 |        0 |        0
1371.29/1371.89	c 1371s |      26 | 10224747 |  8099152 |     1256  16455 |        0 |        0
1373.28/1373.89	c 1373s |      26 | 10235029 |  8107952 |     1256  16468 |        0 |        0
1375.38/1375.91	c 1375s |      26 | 10246818 |  8117252 |     1256  16483 |        0 |        0
1377.38/1377.93	c 1377s |      26 | 10260630 |  8127852 |     1256  16499 |        0 |        0
1379.38/1379.93	c 1379s |      26 | 10274969 |  8138552 |     1256  16515 |        0 |        0
1381.38/1381.95	c 1381s |      26 | 10288174 |  8149352 |     1256  16532 |        0 |        0
1383.38/1383.97	c 1383s |      26 | 10301513 |  8160352 |     1256  16549 |        0 |        0
1385.38/1385.99	c 1385s |      26 | 10316002 |  8171852 |     1256  16566 |        0 |        0
1387.38/1387.99	c 1387s |      26 | 10331103 |  8183352 |     1256  16584 |        0 |        0
1389.48/1390.00	c 1389s |      26 | 10346106 |  8194852 |     1256  16602 |        0 |        0
1391.48/1392.02	c 1392s |      26 | 10360698 |  8206252 |     1256  16619 |        0 |        0
1393.48/1394.03	c 1394s |      26 | 10374614 |  8217252 |     1256  16636 |        0 |        0
1395.48/1396.04	c 1396s |      26 | 10387384 |  8227852 |     1256  16652 |        0 |        0
1397.47/1398.05	c 1398s |      26 | 10401186 |  8238852 |     1256  16669 |        0 |        0
1399.47/1400.05	c 1400s |      26 | 10415362 |  8249952 |     1256  16686 |        0 |        0
1401.47/1402.07	c 1402s |      26 | 10429825 |  8261652 |     1256  16704 |        0 |        0
1403.47/1404.08	c 1404s |      26 | 10443298 |  8272952 |     1256  16721 |        0 |        0
1405.47/1406.09	c 1406s |      26 | 10457323 |  8284052 |     1256  16738 |        0 |        0
1407.58/1408.10	c 1408s |      26 | 10472104 |  8295152 |     1256  16756 |        0 |        0
1409.57/1410.11	c 1410s |      26 | 10487807 |  8307052 |     1256  16774 |        0 |        0
1411.57/1412.11	c 1412s |      26 | 10503162 |  8318652 |     1256  16792 |        0 |        0
1413.57/1414.12	c 1414s |      26 | 10519689 |  8330552 |     1256  16810 |        0 |        0
1415.57/1416.12	c 1416s |      26 | 10535034 |  8342052 |     1256  16828 |        0 |        0
1417.57/1418.13	c 1418s |      26 | 10549222 |  8353152 |     1256  16845 |        0 |        0
1419.58/1420.14	c 1420s |      26 | 10564078 |  8364552 |     1256  16862 |        0 |        0
1421.58/1422.14	c 1422s |      26 | 10578802 |  8376152 |     1256  16880 |        0 |        0
1423.58/1424.16	c 1424s |      26 | 10593343 |  8387552 |     1256  16897 |        0 |        0
1425.58/1426.17	c 1426s |      26 | 10605952 |  8398152 |     1256  16914 |        0 |        0
1427.58/1428.19	c 1428s |      26 | 10619148 |  8408752 |     1256  16930 |        0 |        0
1429.58/1430.19	c 1430s |      26 | 10632332 |  8419052 |     1256  16946 |        0 |        0
1431.68/1432.21	c 1432s |      26 | 10646127 |  8429452 |     1256  16962 |        0 |        0
1433.67/1434.22	c 1434s |      26 | 10661106 |  8440852 |     1256  16979 |        0 |        0
1435.67/1436.23	c 1436s |      26 | 10676411 |  8452252 |     1256  16997 |        0 |        0
1437.67/1438.24	c 1438s |      26 | 10692404 |  8463952 |     1256  17015 |        0 |        0
1439.67/1440.24	c 1440s |      26 | 10706899 |  8475252 |     1256  17032 |        0 |        0
1441.67/1442.24	c 1442s |      26 | 10720878 |  8486152 |     1256  17049 |        0 |        0
1443.67/1444.25	c 1444s |      26 | 10733810 |  8496352 |     1256  17065 |        0 |        0
1445.67/1446.26	c 1446s |      26 | 10747159 |  8507152 |     1256  17081 |        0 |        0
1447.67/1448.27	c 1448s |      26 | 10761225 |  8518252 |     1256  17098 |        0 |        0
1449.67/1450.27	c 1450s |      26 | 10774232 |  8528752 |     1256  17114 |        0 |        0
1451.67/1452.29	c 1452s |      26 | 10786880 |  8539252 |     1256  17130 |        0 |        0
1453.78/1454.31	c 1454s |      26 | 10800229 |  8550252 |     1256  17147 |        0 |        0
1455.77/1456.31	c 1456s |      26 | 10813937 |  8561452 |     1256  17164 |        0 |        0
1457.77/1458.32	c 1458s |      26 | 10827702 |  8572252 |     1256  17181 |        0 |        0
1459.77/1460.34	c 1460s |      26 | 10841644 |  8583152 |     1256  17197 |        0 |        0
1461.77/1462.34	c 1462s |      26 | 10854586 |  8593652 |     1256  17213 |        0 |        0
1463.77/1464.36	c 1464s |      26 | 10868192 |  8604352 |     1256  17229 |        0 |        0
1465.78/1466.37	c 1466s |      26 | 10881284 |  8614952 |     1256  17245 |        0 |        0
1467.77/1468.38	c 1468s |      26 | 10894138 |  8625052 |     1256  17261 |        0 |        0
1469.87/1470.40	c 1470s |      26 | 10908640 |  8635852 |     1256  17278 |        0 |        0
1471.87/1472.40	c 1472s |      26 | 10921521 |  8645852 |     1256  17293 |        0 |        0
1473.87/1474.41	c 1474s |      26 | 10935814 |  8656752 |     1256  17309 |        0 |        0
1475.87/1476.43	c 1476s |      26 | 10948321 |  8666952 |     1256  17325 |        0 |        0
1477.88/1478.44	c 1478s |      26 | 10960806 |  8677452 |     1256  17341 |        0 |        0
1479.87/1480.45	c 1480s |      26 | 10972371 |  8687352 |     1256  17356 |        0 |        0
1481.87/1482.47	c 1482s |      26 | 10984732 |  8697252 |     1256  17371 |        0 |        0
1483.87/1484.49	c 1484s |      26 | 10996153 |  8706952 |     1256  17386 |        0 |        0
1485.87/1486.49	c 1486s |      26 | 11007748 |  8716852 |     1256  17401 |        0 |        0
1487.96/1488.51	c 1488s |      26 | 11019489 |  8726752 |     1256  17416 |        0 |        0
1489.97/1490.52	c 1490s |      26 | 11031408 |  8736452 |     1256  17431 |        0 |        0
1491.96/1492.52	c 1492s |      26 | 11044603 |  8746452 |     1256  17446 |        0 |        0
1493.96/1494.53	c 1494s |      26 | 11058833 |  8757252 |     1256  17463 |        0 |        0
1495.96/1496.54	c 1496s |      26 | 11072553 |  8768452 |     1256  17480 |        0 |        0
1497.96/1498.55	c 1498s |      26 | 11085509 |  8779252 |     1256  17497 |        0 |        0
1499.97/1500.56	c 1500s |      26 | 11099099 |  8790252 |     1256  17514 |        0 |        0
1501.96/1502.57	c 1502s |      26 | 11112583 |  8800652 |     1256  17529 |        0 |        0
1503.96/1504.58	c 1504s |      26 | 11127404 |  8812052 |     1256  17547 |        0 |        0
1505.96/1506.59	c 1506s |      26 | 11143696 |  8823952 |     1256  17565 |        0 |        0
1508.06/1508.61	c 1508s |      26 | 11158650 |  8834952 |     1256  17582 |        0 |        0
1510.06/1510.62	c 1510s |      26 | 11173093 |  8845452 |     1256  17598 |        0 |        0
1512.06/1512.62	c 1512s |      26 | 11187019 |  8856152 |     1256  17615 |        0 |        0
1514.06/1514.63	c 1514s |      26 | 11202065 |  8867352 |     1256  17632 |        0 |        0
1516.06/1516.64	c 1516s |      26 | 11214805 |  8877652 |     1256  17648 |        0 |        0
1518.05/1518.64	c 1518s |      26 | 11227600 |  8887652 |     1256  17663 |        0 |        0
1520.05/1520.66	c 1520s |      26 | 11240727 |  8897752 |     1256  17678 |        0 |        0
1522.05/1522.67	c 1522s |      26 | 11256055 |  8908752 |     1256  17695 |        0 |        0
1524.07/1524.69	c 1524s |      26 | 11270818 |  8920252 |     1256  17713 |        0 |        0
1526.06/1526.69	c 1526s |      26 | 11285126 |  8931652 |     1256  17731 |        0 |        0
1528.06/1528.69	c 1528s |      26 | 11299862 |  8942852 |     1256  17748 |        0 |        0
1530.16/1530.71	c 1530s |      26 | 11312791 |  8953052 |     1256  17763 |        0 |        0
1532.16/1532.71	c 1532s |      26 | 11327545 |  8964252 |     1256  17780 |        0 |        0
1534.16/1534.72	c 1534s |      26 | 11343410 |  8975852 |     1256  17798 |        0 |        0
1536.17/1536.72	c 1536s |      26 | 11356139 |  8986252 |     1256  17814 |        0 |        0
1538.16/1538.73	c 1538s |      26 | 11370584 |  8997152 |     1256  17831 |        0 |        0
1540.16/1540.73	c 1540s |      26 | 11383061 |  9007252 |     1256  17846 |        0 |        0
1542.16/1542.74	c 1542s |      26 | 11397405 |  9018052 |     1256  17863 |        0 |        0
1544.16/1544.75	c 1544s |      26 | 11410716 |  9028452 |     1256  17878 |        0 |        0
1546.16/1546.76	c 1546s |      26 | 11424409 |  9039052 |     1256  17895 |        0 |        0
1548.16/1548.77	c 1548s |      26 | 11438798 |  9050052 |     1256  17912 |        0 |        0
1550.16/1550.77	c 1550s |      26 | 11451837 |  9060552 |     1256  17928 |        0 |        0
1552.16/1552.79	c 1552s |      26 | 11465610 |  9071452 |     1256  17945 |        0 |        0
1554.25/1554.80	c 1554s |      26 | 11479495 |  9082652 |     1256  17962 |        0 |        0
1556.25/1556.82	c 1556s |      26 | 11492678 |  9093552 |     1256  17978 |        0 |        0
1558.26/1558.83	c 1558s |      26 | 11505326 |  9104252 |     1256  17994 |        0 |        0
1560.25/1560.84	c 1560s |      26 | 11517813 |  9114652 |     1256  18010 |        0 |        0
1562.25/1562.84	c 1562s |      26 | 11529170 |  9124452 |     1256  18024 |        0 |        0
1564.25/1564.86	c 1564s |      26 | 11541721 |  9134652 |     1256  18040 |        0 |        0
1566.25/1566.88	c 1566s |      26 | 11555631 |  9145652 |     1256  18057 |        0 |        0
1568.25/1568.89	c 1568s |      26 | 11569848 |  9156752 |     1256  18074 |        0 |        0
1570.36/1570.91	c 1570s |      26 | 11582934 |  9167452 |     1256  18090 |        0 |        0
1572.35/1572.92	c 1572s |      26 | 11597319 |  9179352 |     1256  18108 |        0 |        0
1574.35/1574.93	c 1574s |      26 | 11611071 |  9191152 |     1256  18125 |        0 |        0
1576.35/1576.95	c 1576s |      26 | 11624070 |  9202352 |     1256  18142 |        0 |        0
1578.35/1578.96	c 1578s |      26 | 11636464 |  9212652 |     1256  18158 |        0 |        0
1580.35/1580.98	c 1580s |      26 | 11648999 |  9222652 |     1256  18173 |        0 |        0
1582.35/1582.99	c 1582s |      26 | 11662525 |  9233052 |     1256  18189 |        0 |        0
1584.44/1585.00	c 1584s |      26 | 11676573 |  9243852 |     1256  18205 |        0 |        0
1586.45/1587.01	c 1586s |      26 | 11688469 |  9253652 |     1256  18220 |        0 |        0
1588.45/1589.03	c 1589s |      26 | 11700436 |  9263352 |     1256  18235 |        0 |        0
1590.45/1591.03	c 1591s |      26 | 11712606 |  9273352 |     1256  18250 |        0 |        0
1592.45/1593.04	c 1593s |      26 | 11724930 |  9283352 |     1256  18265 |        0 |        0
1594.46/1595.04	c 1595s |      26 | 11737235 |  9293152 |     1256  18280 |        0 |        0
1596.45/1597.05	c 1597s |      26 | 11752657 |  9305052 |     1256  18298 |        0 |        0
1598.45/1599.06	c 1599s |      26 | 11768536 |  9316852 |     1256  18316 |        0 |        0
1600.45/1601.08	c 1601s |      26 | 11784742 |  9328652 |     1256  18334 |        0 |        0
1602.45/1603.08	c 1603s |      26 | 11798726 |  9339752 |     1256  18351 |        0 |        0
1604.46/1605.09	c 1605s |      26 | 11813177 |  9350852 |     1256  18368 |        0 |        0
1606.56/1607.11	c 1607s |      26 | 11828784 |  9362352 |     1256  18386 |        0 |        0
1608.55/1609.11	c 1609s |      26 | 11840232 |  9371952 |     1256  18401 |        0 |        0
1610.55/1611.11	c 1611s |      26 | 11853052 |  9381952 |     1256  18416 |        0 |        0
1612.55/1613.12	c 1613s |      26 | 11867252 |  9392452 |     1256  18432 |        0 |        0
1614.55/1615.12	c 1615s |      26 | 11880208 |  9403152 |     1256  18448 |        0 |        0
1616.55/1617.14	c 1617s |      26 | 11893121 |  9413952 |     1256  18465 |        0 |        0
1618.55/1619.15	c 1619s |      26 | 11905253 |  9424452 |     1256  18481 |        0 |        0
1620.54/1621.15	c 1621s |      26 | 11918802 |  9435452 |     1256  18498 |        0 |        0
1622.54/1623.16	c 1623s |      26 | 11932228 |  9446352 |     1256  18515 |        0 |        0
1624.54/1625.18	c 1625s |      26 | 11945883 |  9457152 |     1256  18531 |        0 |        0
1626.54/1627.19	c 1627s |      26 | 11958755 |  9467852 |     1256  18548 |        0 |        0
1628.55/1629.20	c 1629s |      26 | 11971732 |  9478552 |     1256  18564 |        0 |        0
1630.64/1631.22	c 1631s |      26 | 11986008 |  9489752 |     1256  18581 |        0 |        0
1632.64/1633.24	c 1633s |      26 | 12000692 |  9501452 |     1256  18599 |        0 |        0
1634.64/1635.24	c 1635s |      26 | 12014610 |  9512452 |     1256  18616 |        0 |        0
1636.64/1637.25	c 1637s |      26 | 12028182 |  9523152 |     1256  18632 |        0 |        0
1638.64/1639.26	c 1639s |      26 | 12042027 |  9533852 |     1256  18649 |        0 |        0
1640.65/1641.27	c 1641s |      26 | 12056924 |  9545252 |     1256  18666 |        0 |        0
1642.64/1643.27	c 1643s |      26 | 12071147 |  9556552 |     1256  18684 |        0 |        0
1644.64/1645.29	c 1645s |      26 | 12085251 |  9567852 |     1256  18701 |        0 |        0
1646.74/1647.30	c 1647s |      26 | 12100039 |  9579152 |     1256  18718 |        0 |        0
1648.74/1649.31	c 1649s |      26 | 12113532 |  9590252 |     1256  18735 |        0 |        0
1650.74/1651.31	c 1651s |      26 | 12127302 |  9601152 |     1256  18752 |        0 |        0
1652.74/1653.32	c 1653s |      26 | 12140038 |  9611252 |     1256  18768 |        0 |        0
1654.74/1655.35	c 1655s |      26 | 12153395 |  9621452 |     1256  18784 |        0 |        0
1656.74/1657.36	c 1657s |      26 | 12167873 |  9632052 |     1256  18800 |        0 |        0
1658.74/1659.36	c 1659s |      26 | 12180035 |  9641752 |     1256  18815 |        0 |        0
1660.74/1661.37	c 1661s |      26 | 12196142 |  9653252 |     1256  18833 |        0 |        0
1662.74/1663.38	c 1663s |      26 | 12211350 |  9664352 |     1256  18850 |        0 |        0
1664.74/1665.39	c 1665s |      26 | 12226774 |  9675352 |     1256  18866 |        0 |        0
1666.73/1667.39	c 1667s |      26 | 12239872 |  9685652 |     1256  18882 |        0 |        0
1668.83/1669.40	c 1669s |      26 | 12252461 |  9695452 |     1256  18897 |        0 |        0
1670.83/1671.42	c 1671s |      26 | 12265963 |  9705852 |     1256  18913 |        0 |        0
1672.83/1673.43	c 1673s |      26 | 12279796 |  9716552 |     1256  18930 |        0 |        0
1674.84/1675.44	c 1675s |      26 | 12296337 |  9728352 |     1256  18948 |        0 |        0
1676.84/1677.45	c 1677s |      26 | 12315638 |  9740452 |     1256  18966 |        0 |        0
1678.84/1679.46	c 1679s |      26 | 12332090 |  9751852 |     1256  18984 |        0 |        0
1680.84/1681.46	c 1681s |      26 | 12349599 |  9763352 |     1256  19001 |        0 |        0
1682.84/1683.47	c 1683s |      26 | 12365075 |  9774652 |     1256  19019 |        0 |        0
1684.84/1685.48	c 1685s |      26 | 12379164 |  9785452 |     1256  19035 |        0 |        0
1686.94/1687.50	c 1687s |      26 | 12392921 |  9795952 |     1256  19052 |        0 |        0
1688.94/1689.51	c 1689s |      26 | 12408813 |  9807252 |     1256  19069 |        0 |        0
1690.94/1691.52	c 1691s |      26 | 12425751 |  9818452 |     1256  19086 |        0 |        0
1692.94/1693.53	c 1693s |      26 | 12443319 |  9829652 |     1256  19103 |        0 |        0
1694.93/1695.55	c 1695s |      26 | 12461399 |  9840752 |     1256  19120 |        0 |        0
1696.93/1697.56	c 1697s |      26 | 12477172 |  9851452 |     1256  19137 |        0 |        0
1698.94/1699.58	c 1699s |      26 | 12492717 |  9862452 |     1256  19153 |        0 |        0
1700.93/1701.59	c 1701s |      26 | 12508966 |  9873652 |     1256  19171 |        0 |        0
1702.93/1703.59	c 1703s |      26 | 12526865 |  9885752 |     1256  19189 |        0 |        0
1705.03/1705.60	c 1705s |      26 | 12542515 |  9897052 |     1256  19207 |        0 |        0
1707.03/1707.61	c 1707s |      26 | 12556646 |  9907652 |     1256  19223 |        0 |        0
1709.03/1709.62	c 1709s |      26 | 12570597 |  9918552 |     1256  19240 |        0 |        0
1711.04/1711.63	c 1711s |      26 | 12585980 |  9929952 |     1256  19257 |        0 |        0
1713.03/1713.64	c 1713s |      26 | 12603349 |  9941752 |     1256  19276 |        0 |        0
1715.03/1715.64	c 1715s |      26 | 12620763 |  9953252 |     1256  19293 |        0 |        0
1717.03/1717.66	c 1717s |      26 | 12636079 |  9964552 |     1256  19311 |        0 |        0
1719.03/1719.66	c 1719s |      26 | 12652431 |  9976252 |     1256  19329 |        0 |        0
1721.04/1721.68	c 1721s |      26 | 12668859 |  9988052 |     1256  19347 |        0 |        0
1723.03/1723.68	c 1723s |      26 | 12683996 |  9998952 |     1256  19364 |        0 |        0
1725.03/1725.69	c 1725s |      26 | 12699962 | 10009952 |     1256  19381 |        0 |        0
1727.13/1727.71	c 1727s |      26 | 12714346 | 10020352 |     1256  19396 |        0 |        0
1729.13/1729.71	c 1729s |      26 | 12731057 | 10031452 |     1256  19414 |        0 |        0
1731.13/1731.71	c 1731s |      26 | 12747891 | 10042852 |     1256  19431 |        0 |        0
1733.13/1733.72	c 1733s |      26 | 12764006 | 10054052 |     1256  19448 |        0 |        0
1735.13/1735.73	c 1735s |      26 | 12780059 | 10065152 |     1256  19465 |        0 |        0
1737.13/1737.75	c 1737s |      26 | 12795814 | 10075752 |     1256  19482 |        0 |        0
1739.12/1739.76	c 1739s |      26 | 12809171 | 10085552 |     1256  19497 |        0 |        0
1741.12/1741.76	c 1741s |      26 | 12822722 | 10095552 |     1256  19512 |        0 |        0
1743.12/1743.77	c 1743s |      26 | 12836516 | 10105752 |     1256  19528 |        0 |        0
1745.13/1745.77	c 1745s |      26 | 12852633 | 10116852 |     1256  19545 |        0 |        0
1747.12/1747.78	c 1747s |      26 | 12869136 | 10127952 |     1256  19562 |        0 |        0
1749.12/1749.79	c 1749s |      26 | 12884434 | 10138552 |     1256  19578 |        0 |        0
1751.12/1751.79	c 1751s |      26 | 12899194 | 10148652 |     1256  19593 |        0 |        0
1753.22/1753.80	c 1753s |      26 | 12912221 | 10158852 |     1256  19609 |        0 |        0
1755.22/1755.81	c 1755s |      26 | 12926589 | 10169352 |     1256  19625 |        0 |        0
1757.23/1757.83	c 1757s |      26 | 12940418 | 10179752 |     1256  19641 |        0 |        0
1759.22/1759.83	c 1759s |      26 | 12953329 | 10189852 |     1256  19656 |        0 |        0
1761.22/1761.85	c 1761s |      26 | 12967838 | 10200152 |     1256  19672 |        0 |        0
1763.22/1763.85	c 1763s |      26 | 12985853 | 10212052 |     1256  19690 |        0 |        0
1765.22/1765.86	c 1765s |      26 | 13004470 | 10224152 |     1256  19709 |        0 |        0
1767.23/1767.88	c 1767s |      26 | 13022133 | 10235752 |     1256  19727 |        0 |        0
1769.22/1769.88	c 1769s |      26 | 13036681 | 10246652 |     1256  19743 |        0 |        0
1771.32/1771.90	c 1771s |      26 | 13052623 | 10257852 |     1256  19761 |        0 |        0
1773.32/1773.91	c 1773s |      26 | 13068471 | 10269552 |     1256  19779 |        0 |        0
1775.32/1775.91	c 1775s |      26 | 13085196 | 10281252 |     1256  19796 |        0 |        0
1777.32/1777.92	c 1777s |      26 | 13100077 | 10292452 |     1256  19814 |        0 |        0
1779.32/1779.92	c 1779s |      26 | 13118953 | 10304352 |     1256  19832 |        0 |        0
1781.31/1781.92	c 1781s |      26 | 13136355 | 10316152 |     1256  19850 |        0 |        0
1783.31/1783.93	c 1783s |      26 | 13152828 | 10327152 |     1256  19867 |        0 |        0
1785.31/1785.93	c 1785s |      26 | 13168909 | 10338052 |     1256  19884 |        0 |        0
1787.31/1787.93	c 1787s |      26 | 13187223 | 10349952 |     1256  19902 |        0 |        0
1789.31/1789.94	c 1789s |      26 | 13200256 | 10360552 |     1256  19918 |        0 |        0
1791.33/1791.96	c 1791s |      26 | 13212367 | 10370952 |     1256  19934 |        0 |        0
1793.32/1793.96	c 1793s |      26 | 13224747 | 10381252 |     1256  19950 |        0 |        0
1795.32/1795.96	c 1795s |      26 | 13237235 | 10391552 |     1256  19966 |        0 |        0
1797.32/1797.97	c 1797s |      26 | 13250153 | 10402052 |     1256  19982 |        0 |        0
1799.32/1799.98	c 1799s |      26 | 13264152 | 10412552 |     1256  19998 |        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-4095980-1466100013/watcher-4095980-1466100013 -o /tmp/evaluation-result-4095980-1466100013/solver-4095980-1466100013 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466098211-20849 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095980-1466100013.opb 

pid=21021
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.30 2.27 3/182 21024
/proc/meminfo: memFree=30266412/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 3048 0 0 0 0 0 0 0 20 0 4 0 12047681 831975424 2898 33554432000 4194304 16246674 140736775528736 140736775528160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 203631 2906 441 2943 0 200525 0
[pid=21024/tid=21025] ppid=21021 vsize=829884 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 849801216 2966 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=833980 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 853995520 2982 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=838076 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12047681 858189824 2998 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.35 2.30 2.27 3/182 21024
/proc/meminfo: memFree=30266412/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 25115 0 0 0 5 3 0 0 20 0 4 0 12047681 1247350784 24955 33554432000 4194304 16246674 140736775528736 140736775528160 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 304529 24964 707 2943 0 301423 0
[pid=21024/tid=21025] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 24970 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 24981 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 24988 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200533 s]
/proc/loadavg: 2.35 2.30 2.27 3/182 21024
/proc/meminfo: memFree=30266412/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 48377 0 0 0 12 7 0 0 20 0 4 0 12047681 1247350784 48216 33554432000 4194304 16246674 140736775528736 140736775528160 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 304529 48225 708 2943 0 301423 0
[pid=21024/tid=21025] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 48232 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 48241 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 48249 33554432000 4194304 16246674 140736775528736 139704526687408 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.300483 s]
/proc/loadavg: 2.35 2.30 2.27 3/182 21024
/proc/meminfo: memFree=30266412/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 71848 0 0 0 19 10 0 0 20 0 4 0 12047681 1247350784 71687 33554432000 4194304 16246674 140736775528736 140736775528160 5523709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 304529 71700 708 2943 0 301423 0
[pid=21024/tid=21025] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 71707 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 71711 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 71717 33554432000 4194304 16246674 140736775528736 139704526687408 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.700413 s]
/proc/loadavg: 2.35 2.30 2.27 3/182 21024
/proc/meminfo: memFree=30266412/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 167796 0 0 0 45 24 0 0 20 0 4 0 12047681 1247350784 167635 33554432000 4194304 16246674 140736775528736 140736775528160 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 304529 167645 708 2943 0 301423 0
[pid=21024/tid=21025] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 167651 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 167661 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 167672 33554432000 4194304 16246674 140736775528736 139704526687408 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.50041 s]
/proc/loadavg: 2.35 2.30 2.27 3/186 21028
/proc/meminfo: memFree=28364600/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 245523 0 0 0 115 34 0 0 20 0 4 0 12047681 1247350784 245342 33554432000 4194304 16246674 140736775528736 140736775528048 6011952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 304529 245342 783 2943 0 301423 0
[pid=21024/tid=21025] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 245342 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 245342 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1247350784 245342 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10043 s]
/proc/loadavg: 2.35 2.30 2.27 3/186 21028
/proc/meminfo: memFree=28188644/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 267407 0 0 0 272 37 0 0 20 0 4 0 12047681 1337528320 267226 33554432000 4194304 16246674 140736775528736 140736775510656 5754712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 326545 267226 783 2943 0 323439 0
[pid=21024/tid=21025] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267226 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267226 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267226 33554432000 4194304 16246674 140736775528736 139704526687408 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.32 2.30 2.27 3/186 21028
/proc/meminfo: memFree=28188164/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 267442 0 0 0 592 37 0 0 20 0 4 0 12047681 1337528320 267261 33554432000 4194304 16246674 140736775528736 140736775510656 12477844 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 326545 267261 785 2943 0 323439 0
[pid=21024/tid=21025] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267261 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267261 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267261 33554432000 4194304 16246674 140736775528736 139704526687408 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.38 2.31 2.28 3/186 21028
/proc/meminfo: memFree=28188408/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 267444 0 0 0 1232 37 0 0 20 0 4 0 12047681 1337528320 267263 33554432000 4194304 16246674 140736775528736 140736775510656 5823146 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 326545 267263 786 2943 0 323439 0
[pid=21024/tid=21025] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267263 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267263 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267263 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.29 2.29 2.27 3/186 21028
/proc/meminfo: memFree=28188800/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 267457 0 0 0 2511 37 0 0 20 0 4 0 12047681 1337528320 267276 33554432000 4194304 16246674 140736775528736 140736775510656 12483337 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 326545 267276 786 2943 0 323439 0
[pid=21024/tid=21025] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267276 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267276 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267276 33554432000 4194304 16246674 140736775528736 139704526687408 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.29 2.27 3/186 21052
/proc/meminfo: memFree=28186752/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 267458 0 0 0 5070 38 0 0 20 0 4 0 12047681 1337528320 267277 33554432000 4194304 16246674 140736775528736 140736775511736 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 326545 267277 786 2943 0 323439 0
[pid=21024/tid=21025] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267277 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267277 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267277 33554432000 4194304 16246674 140736775528736 139704526687408 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.23 2.27 2.26 3/186 21053
/proc/meminfo: memFree=28188316/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 267495 0 0 0 10189 39 0 0 20 0 4 0 12047681 1337528320 267314 33554432000 4194304 16246674 140736775528736 140736775510656 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 326545 267314 786 2943 0 323439 0
[pid=21024/tid=21025] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267314 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267314 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1337528320 267314 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.28 2.25 2.25 3/185 21083
/proc/meminfo: memFree=28181700/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1308228 CPUtime=1301.82 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 268275 0 0 0 130124 58 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 140736775511736 5546200 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267912 788 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.31 2.26 2.26 4/185 21084
/proc/meminfo: memFree=28181240/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1308228 CPUtime=1361.78 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 268315 0 0 0 136119 59 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 140736775510656 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267912 788 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.25 2.26 2.26 3/185 21085
/proc/meminfo: memFree=28181760/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1308228 CPUtime=1421.78 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 268315 0 0 0 142118 60 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 140736775510656 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267912 788 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.21 2.24 2.25 3/185 21086
/proc/meminfo: memFree=28181860/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1308228 CPUtime=1481.77 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 268315 0 0 0 148116 61 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 140736775510656 13950199 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267912 788 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.21 2.24 2.25 3/185 21087
/proc/meminfo: memFree=28182208/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1308228 CPUtime=1541.76 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 268315 0 0 0 154114 62 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 140736775510656 5822722 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267912 788 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.23 2.24 2.25 3/185 21089
/proc/meminfo: memFree=28181824/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1308228 CPUtime=1601.75 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 268315 0 0 0 160112 63 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 140736775510656 12477716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267912 788 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.24 2.24 2.25 3/185 21090
/proc/meminfo: memFree=28181432/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1308228 CPUtime=1661.74 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 268315 0 0 0 166111 63 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 140736775511736 5545907 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267912 788 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267912 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.15 2.20 2.23 3/185 21091
/proc/meminfo: memFree=28181200/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1308228 CPUtime=1721.73 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 268325 0 0 0 172109 64 0 0 20 0 4 0 12047681 1339625472 267922 33554432000 4194304 16246674 140736775528736 140736775510656 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267922 788 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267922 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267922 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267922 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.25 2.23 2.24 3/185 21092
/proc/meminfo: memFree=28180448/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1308228 CPUtime=1781.71 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 268325 0 0 0 178107 64 0 0 20 0 4 0 12047681 1339625472 267922 33554432000 4194304 16246674 140736775528736 140736775510656 13906976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267922 788 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267922 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267922 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267922 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.25 2.23 2.24 3/186 21095
/proc/meminfo: memFree=28180716/32872528 swapFree=1481856/1661728
[pid=21024] ppid=21021 vsize=1308228 CPUtime=1800.02 cores=1,3,5,7
/proc/21024/stat : 21024 (toysat) R 21021 21024 20832 0 -1 4202496 268325 0 0 0 179937 65 0 0 20 0 4 0 12047681 1339625472 267922 33554432000 4194304 16246674 140736775528736 140736775510656 5546252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/21024/statm: 327057 267922 788 2943 0 323951 0
[pid=21024/tid=21025] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21025/stat : 21025 (toysat) S 21021 21024 20832 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267922 33554432000 4194304 16246674 140736775528736 139704547650800 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=21024/tid=21026] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21026/stat : 21026 (toysat) S 21021 21024 20832 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267922 33554432000 4194304 16246674 140736775528736 139704537160944 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=21024/tid=21027] ppid=21021 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/21024/task/21027/stat : 21027 (toysat) S 21021 21024 20832 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12047681 1339625472 267922 33554432000 4194304 16246674 140736775528736 139704526687408 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 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 21024 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.03
CPU user time (s): 1799.38
CPU system time (s): 0.6539
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.38
system time used= 0.6539
maximum resident set size= 1071688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268325
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= 491
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75297 second user time and 9.75452 second system time

The end

Begin job on node134 at 2016-06-16 20:00:13
IDJOB=4095980
IDBENCH=107549
IDSOLVER=2542
FILE ID=node134/4095980-1466100013
RUNJOBID= node134-1466098211-20849
PBS_JOBID= 19904059
Free space on /tmp= 71704 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-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-4095980-1466100013/watcher-4095980-1466100013 -o /tmp/evaluation-result-4095980-1466100013/solver-4095980-1466100013 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466098211-20849 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095980-1466100013.opb

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

MD5SUM BENCH= 04b13f4648d088224bae653ed130cd58
RANDOM SEED=791440118

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.020
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	: 7358.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30283456 kB
Buffers:           36736 kB
Cached:           129180 kB
SwapCached:         8908 kB
Active:           149252 kB
Inactive:          72644 kB
Active(anon):      50060 kB
Inactive(anon):     8200 kB
Active(file):      99192 kB
Inactive(file):    64444 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67092044 kB
Dirty:             32792 kB
Writeback:             0 kB
AnonPages:       1706252 kB
Mapped:             9784 kB
Shmem:                 0 kB
Slab:             570072 kB
SReclaimable:      13612 kB
SUnreclaim:       556460 kB
KernelStack:        1424 kB
PageTables:         9464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2790180 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    180224 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= 71704 MiB
End job on node134 at 2016-06-16 20:30:13