0.00/0.00	c 2016-06-16T02:02:48+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-4089904-1466035368.opb"]
0.00/0.01	c use --random-gen="1427367433 1938105690 1065424086 4077400941 2268408666 3069602243 3510053766 708278088 2025473456 215563832 438941123 1471404906 2817773929 274816217 2620846325 427797381 3600663406 3344717539 909060211 1589864533 1098333336 2169433290 3848847164 3654045689 2075159943 2545749523 3973787212 2972246465 3296216835 843726813 883826635 723230233 3179410473 1669422925 4222673724 395296338 2790468970 3296117932 2144874640 257950926 2689638830 1159841520 715505428 1665321170 3891581389 987739345 2392461929 3602188568 956162971 3570038649 2211363072 4073239382 3656760464 2811441198 1044133067 686793217 284976896 1588015903 747678826 159451578 934585457 1665267148 2239029685 988104938 196886793 2682923410 804865298 907271930 944280041 4047139063 1024515176 1269761341 2896854528 2392666730 3598063933 1582792370 1862970049 2558318917 1282431098 1857225641 1986058300 3800209183 570845977 2822960486 1351874445 3998189282 3302988421 2744460459 262746229 2751276473 2443231544 1104902082 2833733139 192619835 1647870632 997900691 1761384125 3093679355 379968336 1203517711 2930087117 2709529915 4142146709 2035916130 2089936305 1157245720 3338899162 762461390 3019519576 2863682366 2674186055 1080457391 4015118216 1145304038 4127827011 1451527828 2373887631 1298314413 578954688 3362585253 2030765105 531429317 2188301173 2108822249 1630229436 235447017 3351793926 2788226465 3739481541 3151116948 1047114399 530317898 1616297913 1942987704 845518093 674295490 1075435416 3283845711 4089737475 1207760570 732978682 749094248 3794346173 2721923794 2228019299 588484095 159050145 1044346470 23825173 1320643396 3120595126 2510665496 2173932737 2629369867 1017385637 2730697954 3224804122 843931517 565539224 101766829 4097972541 2223650958 936552208 459040268 1127964284 4110010031 857967521 3521019629 3078897250 2577169396 1696821327 2550443615 1499777680 3165638526 2038663103 3035893158 1738591233 2557437847 2110796867 3010307937 2953000883 1299186909 4003306457 18646678 2253085833 1288465390 2298743900 2899989493 1090969166 4220880148 290453174 1827998277 2769491675 179446056 1243751697 2651853985 1422109183 2375535535 1983133412 943554356 3034654315 1524122140 1136147689 1737672051 3305385498 3731939727 3941558147 1540737286 4202273872 2171166913 3628472865 3250148447 2435244385 1829097248 3728355045 686813103 3135911990 3381254470 3387464226 694553865 3076104558 2304996189 3236319099 1979108700 3341509627 2426268383 3769926797 866388955 1145333379 2335351832 2863337525 2269560708 1605155708 4065572860 3349585754 3971313296 1844696 979097541 1469516256 3015148564 1102460689 943960719 1673975488 1656628303 965891383 3278534082 3275495098 3956184751 2250210913 249674146 2102662486 3605325101 386373118 3800214553 3399418513 2785406070 255 362436" option to reproduce the execution
0.00/0.01	c #vars 123
0.00/0.01	c #constraints 41
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 |       68      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      128 |      100 |       68      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      387 |      250 |       75      2 |        0 |        0
0.00/0.08	c  0.1s |       3 |      809 |      475 |       83      6 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1297 |      813 |       92     10 |        0 |        0
0.19/0.20	c  0.2s |       5 |     2015 |     1320 |      102     16 |        0 |        0
0.29/0.32	c  0.3s |       6 |     2865 |     2081 |      125     24 |        0 |        0
0.49/0.50	c  0.5s |       7 |     4169 |     3223 |      138     35 |        0 |        0
0.69/0.76	c  0.7s |       8 |     6080 |     4936 |      152     51 |        0 |        0
0.99/1.07	c  1.1s |       9 |     8860 |     7506 |      168     73 |        0 |        0
1.39/1.49	c  1.5s |      10 |    13140 |    11361 |      185    105 |        0 |        0
2.09/2.13	c  2.1s |      11 |    19783 |    17144 |      204    151 |        0 |        0
3.08/3.14	c  3.1s |      12 |    29383 |    25819 |      225    215 |        0 |        0
4.49/4.54	c  4.5s |      13 |    44546 |    38832 |      248    305 |        0 |        0
6.49/6.55	c  6.5s |      13 |    64989 |    57132 |      248    421 |        0 |        0
6.59/6.69	c  6.7s |      14 |    66346 |    58352 |      273    429 |        0 |        0
8.58/8.69	c  8.7s |      14 |    87656 |    76952 |      273    539 |        0 |        0
9.78/9.89	c  9.9s |      15 |    99858 |    87632 |      301    603 |        0 |        0
11.88/11.90	c 11.9s |      15 |   121138 |   106032 |      301    706 |        0 |        0
13.88/13.91	c 13.9s |      15 |   141448 |   123832 |      301    804 |        0 |        0
14.68/14.78	c 14.8s |      16 |   150359 |   131552 |      332    846 |        0 |        0
16.69/16.79	c 16.8s |      16 |   168588 |   148152 |      332    930 |        0 |        0
18.68/18.79	c 18.8s |      16 |   185804 |   163852 |      332   1009 |        0 |        0
20.79/20.80	c 20.8s |      16 |   202786 |   179452 |      332   1087 |        0 |        0
22.79/22.80	c 22.8s |      16 |   219705 |   195052 |      332   1166 |        0 |        0
23.09/23.10	c 23.1s |      17 |   222301 |   197432 |      366   1178 |        0 |        0
25.09/25.10	c 25.1s |      17 |   242569 |   214832 |      366   1257 |        0 |        0
27.09/27.11	c 27.1s |      17 |   262116 |   231732 |      366   1337 |        0 |        0
29.09/29.11	c 29.1s |      17 |   281993 |   248332 |      366   1414 |        0 |        0
31.08/31.11	c 31.1s |      17 |   300884 |   264932 |      366   1492 |        0 |        0
33.09/33.12	c 33.1s |      17 |   318794 |   280532 |      366   1565 |        0 |        0
35.08/35.13	c 35.1s |      17 |   336151 |   295932 |      403   1637 |        0 |        0
35.08/35.18	c 35.2s |      18 |   336536 |   296252 |      403   1638 |        0 |        0
37.08/37.18	c 37.2s |      18 |   356150 |   313052 |      403   1710 |        0 |        0
39.08/39.18	c 39.2s |      18 |   375700 |   329752 |      403   1782 |        0 |        0
41.08/41.19	c 41.2s |      18 |   395295 |   346352 |      403   1854 |        0 |        0
43.09/43.19	c 43.2s |      18 |   414684 |   362752 |      403   1924 |        0 |        0
45.19/45.21	c 45.2s |      18 |   434032 |   379252 |      403   1994 |        0 |        0
47.19/47.22	c 47.2s |      18 |   452988 |   395752 |      403   2065 |        0 |        0
49.19/49.23	c 49.2s |      18 |   470760 |   411252 |      403   2132 |        0 |        0
51.19/51.23	c 51.2s |      18 |   489768 |   427352 |      403   2201 |        0 |        0
53.18/53.24	c 53.2s |      18 |   510059 |   444352 |      444   2273 |        0 |        0
53.18/53.26	c 53.2s |      19 |   510201 |   444482 |      444   2274 |        0 |        0
55.19/55.27	c 55.3s |      19 |   530376 |   461382 |      444   2342 |        0 |        0
57.18/57.27	c 57.3s |      19 |   549073 |   477682 |      444   2408 |        0 |        0
59.18/59.27	c 59.3s |      19 |   566220 |   492782 |      444   2468 |        0 |        0
61.18/61.28	c 61.3s |      19 |   585301 |   509382 |      444   2535 |        0 |        0
63.18/63.28	c 63.3s |      19 |   603604 |   525682 |      444   2599 |        0 |        0
65.18/65.28	c 65.3s |      19 |   622921 |   541982 |      444   2664 |        0 |        0
67.18/67.29	c 67.3s |      19 |   641228 |   557682 |      444   2727 |        0 |        0
69.18/69.30	c 69.3s |      19 |   658851 |   573082 |      444   2788 |        0 |        0
71.28/71.30	c 71.3s |      19 |   674621 |   587582 |      444   2845 |        0 |        0
73.27/73.31	c 73.3s |      19 |   689682 |   601382 |      444   2899 |        0 |        0
75.27/75.32	c 75.3s |      19 |   705712 |   615582 |      444   2955 |        0 |        0
77.27/77.33	c 77.3s |      19 |   720476 |   629182 |      444   3008 |        0 |        0
79.28/79.35	c 79.3s |      19 |   736420 |   643682 |      444   3066 |        0 |        0
81.27/81.36	c 81.3s |      19 |   752188 |   658182 |      444   3122 |        0 |        0
82.48/82.51	c 82.5s |      20 |   761580 |   666827 |      489   3155 |        0 |        0
84.48/84.51	c 84.5s |      20 |   778452 |   682227 |      489   3210 |        0 |        0
86.48/86.52	c 86.5s |      20 |   796310 |   697727 |      489   3267 |        0 |        0
88.48/88.52	c 88.5s |      20 |   813135 |   713027 |      489   3322 |        0 |        0
90.48/90.52	c 90.5s |      20 |   831319 |   728727 |      489   3380 |        0 |        0
92.49/92.52	c 92.5s |      20 |   847864 |   743627 |      489   3434 |        0 |        0
94.48/94.53	c 94.5s |      20 |   863745 |   758327 |      489   3488 |        0 |        0
96.48/96.54	c 96.5s |      20 |   880289 |   773427 |      489   3543 |        0 |        0
98.48/98.55	c 98.5s |      20 |   896287 |   787927 |      489   3596 |        0 |        0
100.48/100.55	c  100s |      20 |   912987 |   803027 |      489   3651 |        0 |        0
102.48/102.56	c  102s |      20 |   930086 |   818427 |      489   3707 |        0 |        0
104.48/104.56	c  104s |      20 |   946423 |   833327 |      489   3760 |        0 |        0
106.48/106.57	c  106s |      20 |   963124 |   848427 |      489   3815 |        0 |        0
108.48/108.57	c  108s |      20 |   978806 |   862727 |      489   3867 |        0 |        0
110.47/110.58	c  110s |      20 |   995138 |   877527 |      489   3921 |        0 |        0
112.47/112.59	c  112s |      20 |  1011918 |   892727 |      489   3976 |        0 |        0
114.48/114.59	c  114s |      20 |  1029506 |   908327 |      489   4034 |        0 |        0
116.57/116.60	c  116s |      20 |  1048389 |   924827 |      489   4094 |        0 |        0
118.57/118.60	c  118s |      20 |  1066329 |   940627 |      489   4152 |        0 |        0
120.57/120.61	c  120s |      20 |  1082790 |   955227 |      489   4204 |        0 |        0
122.57/122.63	c  122s |      20 |  1100297 |   970327 |      489   4259 |        0 |        0
124.57/124.64	c  124s |      20 |  1119226 |   986027 |      489   4316 |        0 |        0
126.37/126.45	c  126s |      21 |  1136724 |  1000345 |      538   4366 |        0 |        0
128.37/128.45	c  128s |      21 |  1152092 |  1014545 |      538   4413 |        0 |        0
130.37/130.45	c  130s |      21 |  1167446 |  1028745 |      538   4460 |        0 |        0
132.37/132.46	c  132s |      21 |  1182718 |  1042845 |      538   4506 |        0 |        0
134.37/134.47	c  134s |      21 |  1198723 |  1057645 |      538   4555 |        0 |        0
136.37/136.48	c  136s |      21 |  1213967 |  1071645 |      538   4601 |        0 |        0
138.47/138.50	c  138s |      21 |  1228735 |  1085145 |      538   4646 |        0 |        0
140.46/140.50	c  140s |      21 |  1243906 |  1099045 |      538   4692 |        0 |        0
142.46/142.51	c  142s |      21 |  1259604 |  1113145 |      538   4739 |        0 |        0
144.46/144.52	c  144s |      21 |  1274497 |  1126645 |      538   4783 |        0 |        0
146.47/146.52	c  146s |      21 |  1290424 |  1141145 |      538   4832 |        0 |        0
148.46/148.53	c  148s |      21 |  1306759 |  1155645 |      538   4880 |        0 |        0
150.46/150.54	c  150s |      21 |  1322800 |  1170145 |      538   4928 |        0 |        0
152.46/152.54	c  152s |      21 |  1338549 |  1184145 |      538   4974 |        0 |        0
154.47/154.55	c  154s |      21 |  1355346 |  1198845 |      538   5023 |        0 |        0
156.47/156.56	c  156s |      21 |  1374173 |  1214745 |      538   5076 |        0 |        0
158.47/158.57	c  158s |      21 |  1391039 |  1229545 |      538   5126 |        0 |        0
160.47/160.57	c  160s |      21 |  1409032 |  1244645 |      538   5176 |        0 |        0
162.46/162.58	c  162s |      21 |  1427784 |  1260345 |      538   5229 |        0 |        0
164.47/164.59	c  164s |      21 |  1446986 |  1276645 |      538   5284 |        0 |        0
166.56/166.60	c  166s |      21 |  1464673 |  1292045 |      538   5336 |        0 |        0
168.56/168.60	c  168s |      21 |  1482838 |  1307645 |      538   5389 |        0 |        0
170.57/170.61	c  170s |      21 |  1501169 |  1323345 |      538   5442 |        0 |        0
172.56/172.61	c  172s |      21 |  1518796 |  1338545 |      538   5493 |        0 |        0
174.56/174.61	c  174s |      21 |  1536493 |  1353945 |      538   5545 |        0 |        0
176.56/176.62	c  176s |      21 |  1554237 |  1369145 |      538   5596 |        0 |        0
178.56/178.63	c  178s |      21 |  1570913 |  1383745 |      538   5645 |        0 |        0
180.57/180.63	c  180s |      21 |  1588672 |  1398845 |      538   5696 |        0 |        0
182.56/182.63	c  182s |      21 |  1606860 |  1414345 |      538   5748 |        0 |        0
184.56/184.63	c  184s |      21 |  1624169 |  1429145 |      538   5797 |        0 |        0
186.56/186.64	c  186s |      21 |  1641524 |  1444445 |      538   5849 |        0 |        0
188.56/188.65	c  188s |      21 |  1661187 |  1460945 |      538   5905 |        0 |        0
190.56/190.66	c  190s |      21 |  1678869 |  1476645 |      538   5957 |        0 |        0
192.56/192.66	c  192s |      21 |  1698046 |  1492745 |      592   6011 |        0 |        0
193.56/193.64	c  193s |      22 |  1707050 |  1500622 |      592   6035 |        0 |        0
195.56/195.65	c  195s |      22 |  1723557 |  1515522 |      592   6080 |        0 |        0
197.56/197.66	c  197s |      22 |  1738703 |  1529322 |      592   6122 |        0 |        0
199.56/199.67	c  199s |      22 |  1755051 |  1543822 |      592   6167 |        0 |        0
201.56/201.68	c  201s |      22 |  1770609 |  1558022 |      592   6210 |        0 |        0
203.57/203.69	c  203s |      22 |  1785891 |  1572022 |      592   6253 |        0 |        0
205.56/205.70	c  205s |      22 |  1801905 |  1586422 |      592   6297 |        0 |        0
207.66/207.71	c  207s |      22 |  1818008 |  1600722 |      592   6341 |        0 |        0
209.66/209.71	c  209s |      22 |  1832711 |  1613822 |      592   6382 |        0 |        0
211.66/211.72	c  211s |      22 |  1848283 |  1627722 |      592   6424 |        0 |        0
213.66/213.73	c  213s |      22 |  1865769 |  1642922 |      592   6471 |        0 |        0
215.66/215.73	c  215s |      22 |  1882040 |  1657622 |      592   6516 |        0 |        0
217.65/217.74	c  217s |      22 |  1898748 |  1672922 |      592   6564 |        0 |        0
219.65/219.75	c  219s |      22 |  1915388 |  1687522 |      592   6609 |        0 |        0
221.65/221.76	c  221s |      22 |  1933422 |  1702822 |      592   6656 |        0 |        0
223.65/223.77	c  223s |      22 |  1951009 |  1718022 |      592   6704 |        0 |        0
225.66/225.78	c  225s |      22 |  1967927 |  1732722 |      592   6750 |        0 |        0
227.65/227.79	c  227s |      22 |  1984415 |  1747522 |      592   6796 |        0 |        0
229.75/229.80	c  229s |      22 |  2000744 |  1761922 |      592   6840 |        0 |        0
231.75/231.81	c  231s |      22 |  2019782 |  1777822 |      592   6889 |        0 |        0
233.76/233.81	c  233s |      22 |  2036878 |  1792422 |      592   6934 |        0 |        0
235.76/235.82	c  235s |      22 |  2053618 |  1807222 |      592   6979 |        0 |        0
237.76/237.82	c  237s |      22 |  2070335 |  1821622 |      592   7023 |        0 |        0
239.75/239.83	c  239s |      22 |  2086224 |  1835822 |      592   7067 |        0 |        0
241.75/241.84	c  241s |      22 |  2100706 |  1849122 |      592   7108 |        0 |        0
243.75/243.85	c  243s |      22 |  2114972 |  1862222 |      592   7147 |        0 |        0
245.75/245.86	c  245s |      22 |  2130251 |  1876022 |      592   7189 |        0 |        0
247.75/247.87	c  247s |      22 |  2145299 |  1889722 |      592   7231 |        0 |        0
249.75/249.87	c  249s |      22 |  2160506 |  1903522 |      592   7274 |        0 |        0
251.75/251.88	c  251s |      22 |  2176477 |  1917722 |      592   7318 |        0 |        0
253.75/253.89	c  253s |      22 |  2192230 |  1931822 |      592   7361 |        0 |        0
255.76/255.89	c  255s |      22 |  2208205 |  1946222 |      592   7405 |        0 |        0
257.85/257.90	c  257s |      22 |  2224574 |  1960422 |      592   7448 |        0 |        0
259.85/259.91	c  259s |      22 |  2240150 |  1974522 |      592   7491 |        0 |        0
261.86/261.91	c  261s |      22 |  2256848 |  1989522 |      592   7537 |        0 |        0
263.85/263.92	c  263s |      22 |  2273040 |  2004222 |      592   7583 |        0 |        0
265.85/265.93	c  265s |      22 |  2290793 |  2019622 |      592   7630 |        0 |        0
267.85/267.94	c  267s |      22 |  2307634 |  2034622 |      592   7676 |        0 |        0
269.85/269.94	c  269s |      22 |  2323447 |  2048522 |      592   7719 |        0 |        0
271.85/271.95	c  271s |      22 |  2339142 |  2062722 |      592   7763 |        0 |        0
273.85/273.96	c  273s |      22 |  2354348 |  2076222 |      592   7804 |        0 |        0
275.85/275.96	c  275s |      22 |  2369286 |  2089622 |      592   7845 |        0 |        0
277.85/277.97	c  277s |      22 |  2383083 |  2102222 |      592   7883 |        0 |        0
279.85/279.98	c  279s |      22 |  2399853 |  2116722 |      592   7927 |        0 |        0
281.85/281.99	c  281s |      22 |  2414486 |  2129622 |      592   7967 |        0 |        0
283.85/283.99	c  283s |      22 |  2429470 |  2143422 |      592   8009 |        0 |        0
285.94/286.01	c  285s |      22 |  2444271 |  2157022 |      592   8050 |        0 |        0
287.94/288.02	c  288s |      22 |  2459443 |  2170822 |      592   8092 |        0 |        0
289.94/290.03	c  290s |      22 |  2476434 |  2185722 |      592   8139 |        0 |        0
291.94/292.03	c  292s |      22 |  2493317 |  2200422 |      592   8184 |        0 |        0
293.94/294.03	c  294s |      22 |  2509371 |  2214722 |      592   8228 |        0 |        0
295.95/296.04	c  296s |      22 |  2526006 |  2229422 |      592   8274 |        0 |        0
297.94/298.05	c  298s |      22 |  2541712 |  2243722 |      652   8315 |        0 |        0
299.14/299.21	c  299s |      23 |  2549570 |  2251038 |      652   8336 |        0 |        0
301.14/301.21	c  301s |      23 |  2564845 |  2264838 |      652   8374 |        0 |        0
303.14/303.22	c  303s |      23 |  2579868 |  2278338 |      652   8412 |        0 |        0
305.14/305.23	c  305s |      23 |  2596497 |  2292838 |      652   8453 |        0 |        0
307.15/307.23	c  307s |      23 |  2612758 |  2307038 |      652   8493 |        0 |        0
309.15/309.24	c  309s |      23 |  2628214 |  2320838 |      652   8532 |        0 |        0
311.15/311.25	c  311s |      23 |  2643726 |  2334738 |      652   8571 |        0 |        0
313.15/313.26	c  313s |      23 |  2658767 |  2348538 |      652   8610 |        0 |        0
315.15/315.27	c  315s |      23 |  2674241 |  2362338 |      652   8648 |        0 |        0
317.14/317.27	c  317s |      23 |  2689515 |  2376138 |      652   8687 |        0 |        0
319.15/319.29	c  319s |      23 |  2705042 |  2390138 |      652   8726 |        0 |        0
321.14/321.30	c  321s |      23 |  2720134 |  2403838 |      652   8764 |        0 |        0
323.24/323.30	c  323s |      23 |  2735864 |  2418038 |      652   8804 |        0 |        0
325.24/325.30	c  325s |      23 |  2751874 |  2432238 |      652   8844 |        0 |        0
327.24/327.31	c  327s |      23 |  2768035 |  2446538 |      652   8884 |        0 |        0
329.24/329.32	c  329s |      23 |  2783501 |  2460238 |      652   8923 |        0 |        0
331.24/331.34	c  331s |      23 |  2799009 |  2474138 |      652   8962 |        0 |        0
333.24/333.35	c  333s |      23 |  2814191 |  2487838 |      652   9000 |        0 |        0
335.24/335.36	c  335s |      23 |  2829553 |  2501638 |      652   9039 |        0 |        0
337.24/337.36	c  337s |      23 |  2845191 |  2515638 |      652   9078 |        0 |        0
339.24/339.37	c  339s |      23 |  2859225 |  2528438 |      652   9114 |        0 |        0
341.24/341.38	c  341s |      23 |  2875028 |  2542638 |      652   9153 |        0 |        0
343.24/343.38	c  343s |      23 |  2890618 |  2556638 |      652   9193 |        0 |        0
345.23/345.39	c  345s |      23 |  2905757 |  2569938 |      652   9229 |        0 |        0
347.33/347.40	c  347s |      23 |  2922386 |  2584338 |      652   9270 |        0 |        0
349.33/349.41	c  349s |      23 |  2939418 |  2598938 |      652   9311 |        0 |        0
351.33/351.42	c  351s |      23 |  2956930 |  2613738 |      652   9353 |        0 |        0
353.33/353.42	c  353s |      23 |  2974459 |  2628838 |      652   9395 |        0 |        0
355.34/355.43	c  355s |      23 |  2991870 |  2644138 |      652   9438 |        0 |        0
357.33/357.43	c  357s |      23 |  3008582 |  2658938 |      652   9480 |        0 |        0
359.33/359.44	c  359s |      23 |  3024712 |  2673038 |      652   9519 |        0 |        0
361.33/361.45	c  361s |      23 |  3041678 |  2688038 |      652   9562 |        0 |        0
363.33/363.46	c  363s |      23 |  3056797 |  2701938 |      652   9600 |        0 |        0
365.34/365.46	c  365s |      23 |  3070683 |  2714838 |      652   9636 |        0 |        0
367.34/367.47	c  367s |      23 |  3085608 |  2728538 |      652   9675 |        0 |        0
369.34/369.48	c  369s |      23 |  3100664 |  2742338 |      652   9714 |        0 |        0
371.34/371.49	c  371s |      23 |  3115562 |  2755938 |      652   9752 |        0 |        0
373.44/373.50	c  373s |      23 |  3130287 |  2769338 |      652   9790 |        0 |        0
375.43/375.51	c  375s |      23 |  3146805 |  2783838 |      652   9830 |        0 |        0
377.44/377.51	c  377s |      23 |  3163883 |  2798738 |      652   9872 |        0 |        0
379.43/379.53	c  379s |      23 |  3179231 |  2812438 |      652   9910 |        0 |        0
381.43/381.53	c  381s |      23 |  3197263 |  2827338 |      652   9952 |        0 |        0
383.43/383.53	c  383s |      23 |  3213443 |  2841538 |      652   9992 |        0 |        0
385.43/385.54	c  385s |      23 |  3230027 |  2856038 |      652  10033 |        0 |        0
387.43/387.55	c  387s |      23 |  3244617 |  2868938 |      652  10069 |        0 |        0
389.44/389.56	c  389s |      23 |  3258063 |  2881038 |      652  10103 |        0 |        0
391.43/391.57	c  391s |      23 |  3270941 |  2892938 |      652  10136 |        0 |        0
393.43/393.57	c  393s |      23 |  3283906 |  2904938 |      652  10170 |        0 |        0
395.43/395.58	c  395s |      23 |  3298018 |  2917538 |      652  10205 |        0 |        0
397.43/397.59	c  397s |      23 |  3311828 |  2929538 |      652  10239 |        0 |        0
399.53/399.60	c  399s |      23 |  3326085 |  2942438 |      652  10275 |        0 |        0
401.53/401.61	c  401s |      23 |  3341593 |  2956738 |      652  10315 |        0 |        0
403.52/403.63	c  403s |      23 |  3356285 |  2970338 |      652  10353 |        0 |        0
405.52/405.63	c  405s |      23 |  3371447 |  2984038 |      652  10391 |        0 |        0
407.52/407.64	c  407s |      23 |  3385406 |  2996938 |      652  10427 |        0 |        0
409.52/409.64	c  409s |      23 |  3400196 |  3010338 |      652  10464 |        0 |        0
411.53/411.65	c  411s |      23 |  3416597 |  3024538 |      652  10505 |        0 |        0
413.52/413.66	c  413s |      23 |  3431054 |  3037738 |      652  10542 |        0 |        0
415.52/415.66	c  415s |      23 |  3446263 |  3051438 |      652  10580 |        0 |        0
417.52/417.67	c  417s |      23 |  3461066 |  3065038 |      652  10619 |        0 |        0
419.53/419.69	c  419s |      23 |  3475854 |  3078738 |      652  10657 |        0 |        0
421.53/421.69	c  421s |      23 |  3490187 |  3091738 |      652  10693 |        0 |        0
423.54/423.69	c  423s |      23 |  3504009 |  3104638 |      652  10729 |        0 |        0
425.63/425.70	c  425s |      23 |  3517965 |  3117438 |      652  10765 |        0 |        0
427.63/427.71	c  427s |      23 |  3532107 |  3130438 |      652  10801 |        0 |        0
429.63/429.71	c  429s |      23 |  3545405 |  3142738 |      652  10836 |        0 |        0
431.63/431.72	c  431s |      23 |  3559691 |  3156038 |      652  10873 |        0 |        0
433.63/433.73	c  433s |      23 |  3574128 |  3169338 |      652  10910 |        0 |        0
435.63/435.74	c  435s |      23 |  3588490 |  3182538 |      652  10947 |        0 |        0
437.63/437.75	c  437s |      23 |  3602981 |  3195638 |      652  10983 |        0 |        0
439.63/439.76	c  439s |      23 |  3617677 |  3209038 |      652  11021 |        0 |        0
441.62/441.77	c  441s |      23 |  3632373 |  3222538 |      652  11058 |        0 |        0
443.62/443.78	c  443s |      23 |  3646554 |  3235638 |      652  11095 |        0 |        0
445.63/445.79	c  445s |      23 |  3660576 |  3248638 |      652  11131 |        0 |        0
447.62/447.80	c  447s |      23 |  3674541 |  3261538 |      652  11167 |        0 |        0
449.72/449.80	c  449s |      23 |  3688767 |  3274638 |      652  11203 |        0 |        0
451.72/451.82	c  451s |      23 |  3703263 |  3287938 |      652  11240 |        0 |        0
453.72/453.83	c  453s |      23 |  3717526 |  3301038 |      652  11277 |        0 |        0
455.72/455.84	c  455s |      23 |  3733582 |  3315338 |      652  11317 |        0 |        0
457.72/457.85	c  457s |      23 |  3749027 |  3329238 |      652  11355 |        0 |        0
459.72/459.86	c  459s |      23 |  3765521 |  3343738 |      652  11396 |        0 |        0
461.72/461.86	c  461s |      23 |  3784211 |  3359538 |      718  11438 |        0 |        0
463.71/463.87	c  463s |      23 |  3800103 |  3373738 |      718  11475 |        0 |        0
464.11/464.29	c  464s |      24 |  3803385 |  3376662 |      718  11482 |        0 |        0
466.21/466.30	c  466s |      24 |  3818594 |  3390262 |      718  11517 |        0 |        0
468.21/468.31	c  468s |      24 |  3832998 |  3403262 |      718  11550 |        0 |        0
470.21/470.32	c  470s |      24 |  3846844 |  3415862 |      718  11582 |        0 |        0
472.22/472.33	c  472s |      24 |  3861306 |  3428862 |      718  11616 |        0 |        0
474.23/474.34	c  474s |      24 |  3874645 |  3441262 |      718  11647 |        0 |        0
476.22/476.35	c  476s |      24 |  3889027 |  3454362 |      718  11681 |        0 |        0
478.22/478.35	c  478s |      24 |  3904795 |  3468162 |      718  11717 |        0 |        0
480.22/480.35	c  480s |      24 |  3920038 |  3481762 |      718  11752 |        0 |        0
482.22/482.37	c  482s |      24 |  3935084 |  3495362 |      718  11787 |        0 |        0
484.22/484.38	c  484s |      24 |  3949718 |  3508562 |      718  11821 |        0 |        0
486.22/486.39	c  486s |      24 |  3963372 |  3521062 |      718  11853 |        0 |        0
488.32/488.40	c  488s |      24 |  3978073 |  3534162 |      718  11887 |        0 |        0
490.32/490.40	c  490s |      24 |  3992521 |  3546962 |      718  11920 |        0 |        0
492.32/492.41	c  492s |      24 |  4007551 |  3560362 |      718  11955 |        0 |        0
494.32/494.41	c  494s |      24 |  4022807 |  3573862 |      718  11990 |        0 |        0
496.32/496.43	c  496s |      24 |  4037842 |  3587062 |      718  12024 |        0 |        0
498.32/498.44	c  498s |      24 |  4052181 |  3600262 |      718  12058 |        0 |        0
500.31/500.46	c  500s |      24 |  4065564 |  3612762 |      718  12091 |        0 |        0
502.31/502.46	c  502s |      24 |  4079406 |  3625562 |      718  12124 |        0 |        0
504.31/504.48	c  504s |      24 |  4093741 |  3638662 |      718  12157 |        0 |        0
506.31/506.48	c  506s |      24 |  4108494 |  3652062 |      718  12191 |        0 |        0
508.32/508.48	c  508s |      24 |  4123839 |  3665562 |      718  12226 |        0 |        0
510.31/510.49	c  510s |      24 |  4138979 |  3679062 |      718  12261 |        0 |        0
512.31/512.49	c  512s |      24 |  4153870 |  3692462 |      718  12296 |        0 |        0
514.41/514.50	c  514s |      24 |  4168728 |  3705862 |      718  12330 |        0 |        0
516.41/516.51	c  516s |      24 |  4182644 |  3718662 |      718  12363 |        0 |        0
518.41/518.51	c  518s |      24 |  4196383 |  3731362 |      718  12395 |        0 |        0
520.41/520.52	c  520s |      24 |  4210068 |  3743862 |      718  12427 |        0 |        0
522.41/522.52	c  522s |      24 |  4223302 |  3755762 |      718  12458 |        0 |        0
524.41/524.53	c  524s |      24 |  4238066 |  3768762 |      718  12491 |        0 |        0
526.41/526.54	c  526s |      24 |  4253142 |  3782362 |      718  12527 |        0 |        0
528.41/528.54	c  528s |      24 |  4268145 |  3795762 |      718  12561 |        0 |        0
530.41/530.55	c  530s |      24 |  4282504 |  3808762 |      718  12594 |        0 |        0
532.41/532.56	c  532s |      24 |  4297265 |  3821862 |      718  12628 |        0 |        0
534.41/534.57	c  534s |      24 |  4310887 |  3834262 |      718  12660 |        0 |        0
536.41/536.59	c  536s |      24 |  4324063 |  3846162 |      718  12690 |        0 |        0
538.41/538.59	c  538s |      24 |  4336908 |  3857962 |      718  12720 |        0 |        0
540.51/540.61	c  540s |      24 |  4349854 |  3869862 |      718  12751 |        0 |        0
542.51/542.62	c  542s |      24 |  4362740 |  3881662 |      718  12781 |        0 |        0
544.52/544.63	c  544s |      24 |  4374566 |  3892662 |      718  12809 |        0 |        0
546.51/546.63	c  546s |      24 |  4386424 |  3903762 |      718  12837 |        0 |        0
548.51/548.65	c  548s |      24 |  4398047 |  3914762 |      718  12865 |        0 |        0
550.51/550.65	c  550s |      24 |  4409983 |  3925862 |      718  12893 |        0 |        0
552.51/552.67	c  552s |      24 |  4421571 |  3936762 |      718  12921 |        0 |        0
554.51/554.69	c  554s |      24 |  4433192 |  3947662 |      718  12948 |        0 |        0
556.51/556.69	c  556s |      24 |  4444746 |  3958462 |      718  12976 |        0 |        0
558.61/558.71	c  558s |      24 |  4458415 |  3971062 |      718  13008 |        0 |        0
560.60/560.71	c  560s |      24 |  4472360 |  3983762 |      718  13041 |        0 |        0
562.60/562.71	c  562s |      24 |  4487496 |  3997162 |      718  13075 |        0 |        0
564.60/564.72	c  564s |      24 |  4502324 |  4010462 |      718  13109 |        0 |        0
566.61/566.73	c  566s |      24 |  4516663 |  4023562 |      718  13143 |        0 |        0
568.60/568.73	c  568s |      24 |  4530801 |  4036262 |      718  13176 |        0 |        0
570.60/570.74	c  570s |      24 |  4545578 |  4049562 |      718  13210 |        0 |        0
572.60/572.74	c  572s |      24 |  4560262 |  4062962 |      718  13244 |        0 |        0
574.60/574.74	c  574s |      24 |  4575070 |  4076162 |      718  13278 |        0 |        0
576.60/576.76	c  576s |      24 |  4588588 |  4088662 |      718  13310 |        0 |        0
578.60/578.77	c  578s |      24 |  4602086 |  4101062 |      718  13342 |        0 |        0
580.60/580.77	c  580s |      24 |  4615602 |  4113462 |      718  13374 |        0 |        0
582.60/582.77	c  582s |      24 |  4629929 |  4126462 |      718  13407 |        0 |        0
584.60/584.78	c  584s |      24 |  4644907 |  4139862 |      718  13441 |        0 |        0
586.60/586.78	c  586s |      24 |  4659720 |  4152862 |      718  13475 |        0 |        0
588.60/588.79	c  588s |      24 |  4672986 |  4165062 |      718  13506 |        0 |        0
590.60/590.80	c  590s |      24 |  4686151 |  4177262 |      718  13538 |        0 |        0
592.69/592.81	c  592s |      24 |  4698697 |  4188562 |      718  13566 |        0 |        0
594.69/594.81	c  594s |      24 |  4710781 |  4199662 |      718  13595 |        0 |        0
596.70/596.82	c  596s |      24 |  4724322 |  4212062 |      718  13627 |        0 |        0
598.70/598.84	c  598s |      24 |  4738701 |  4225162 |      718  13660 |        0 |        0
600.71/600.84	c  600s |      24 |  4752913 |  4238062 |      718  13694 |        0 |        0
602.70/602.85	c  602s |      24 |  4767515 |  4251262 |      718  13727 |        0 |        0
604.70/604.85	c  604s |      24 |  4782596 |  4264962 |      718  13763 |        0 |        0
606.70/606.86	c  606s |      24 |  4797949 |  4278362 |      718  13797 |        0 |        0
608.70/608.86	c  608s |      24 |  4813914 |  4292162 |      718  13833 |        0 |        0
610.70/610.86	c  610s |      24 |  4827784 |  4304862 |      718  13865 |        0 |        0
612.71/612.88	c  612s |      24 |  4841201 |  4316762 |      718  13896 |        0 |        0
614.70/614.88	c  614s |      24 |  4856705 |  4330462 |      718  13931 |        0 |        0
616.70/616.90	c  616s |      24 |  4873029 |  4344762 |      718  13968 |        0 |        0
618.80/618.90	c  618s |      24 |  4888475 |  4358562 |      718  14003 |        0 |        0
620.80/620.90	c  620s |      24 |  4904166 |  4372662 |      718  14039 |        0 |        0
622.80/622.90	c  622s |      24 |  4918702 |  4385862 |      718  14073 |        0 |        0
624.80/624.92	c  624s |      24 |  4933947 |  4399562 |      718  14109 |        0 |        0
626.79/626.92	c  626s |      24 |  4947374 |  4411962 |      718  14140 |        0 |        0
628.79/628.93	c  628s |      24 |  4961177 |  4424662 |      718  14173 |        0 |        0
630.79/630.94	c  630s |      24 |  4974760 |  4437262 |      718  14205 |        0 |        0
632.79/632.96	c  632s |      24 |  4988541 |  4449862 |      718  14237 |        0 |        0
634.80/634.96	c  634s |      24 |  5002790 |  4462762 |      718  14270 |        0 |        0
636.79/636.97	c  636s |      24 |  5016909 |  4475562 |      718  14303 |        0 |        0
638.79/638.98	c  638s |      24 |  5032090 |  4489162 |      718  14338 |        0 |        0
640.79/640.99	c  640s |      24 |  5046734 |  4502662 |      718  14372 |        0 |        0
642.89/643.01	c  642s |      24 |  5061330 |  4516162 |      718  14407 |        0 |        0
644.89/645.01	c  645s |      24 |  5075888 |  4529362 |      718  14440 |        0 |        0
646.90/647.02	c  647s |      24 |  5089923 |  4542162 |      718  14473 |        0 |        0
648.90/649.03	c  649s |      24 |  5104326 |  4555262 |      718  14507 |        0 |        0
650.90/651.04	c  651s |      24 |  5120545 |  4569262 |      718  14543 |        0 |        0
652.89/653.04	c  653s |      24 |  5135585 |  4582462 |      718  14577 |        0 |        0
654.89/655.05	c  655s |      24 |  5149318 |  4595062 |      718  14610 |        0 |        0
656.89/657.06	c  657s |      24 |  5163926 |  4608262 |      718  14644 |        0 |        0
658.90/659.07	c  659s |      24 |  5178479 |  4621562 |      718  14678 |        0 |        0
660.89/661.08	c  661s |      24 |  5192863 |  4634562 |      718  14712 |        0 |        0
662.89/663.09	c  663s |      24 |  5206852 |  4647362 |      718  14745 |        0 |        0
664.99/665.10	c  665s |      24 |  5219009 |  4658462 |      718  14773 |        0 |        0
666.99/667.11	c  667s |      24 |  5232585 |  4670762 |      718  14805 |        0 |        0
668.99/669.12	c  669s |      24 |  5246750 |  4683662 |      718  14838 |        0 |        0
671.00/671.13	c  671s |      24 |  5261203 |  4696862 |      718  14872 |        0 |        0
672.99/673.14	c  673s |      24 |  5275908 |  4710162 |      718  14906 |        0 |        0
674.99/675.15	c  675s |      24 |  5290071 |  4723262 |      718  14939 |        0 |        0
676.99/677.16	c  677s |      24 |  5305338 |  4737162 |      718  14975 |        0 |        0
678.99/679.16	c  679s |      24 |  5320312 |  4750862 |      718  15010 |        0 |        0
680.99/681.17	c  681s |      24 |  5335306 |  4764462 |      718  15045 |        0 |        0
682.99/683.18	c  683s |      24 |  5350593 |  4778362 |      718  15081 |        0 |        0
684.99/685.19	c  685s |      24 |  5365880 |  4792262 |      718  15116 |        0 |        0
687.09/687.21	c  687s |      24 |  5381990 |  4806762 |      718  15153 |        0 |        0
689.09/689.22	c  689s |      24 |  5398984 |  4821562 |      718  15192 |        0 |        0
691.09/691.22	c  691s |      24 |  5415011 |  4835362 |      718  15227 |        0 |        0
693.09/693.23	c  693s |      24 |  5431218 |  4849762 |      718  15265 |        0 |        0
695.08/695.24	c  695s |      24 |  5447187 |  4863862 |      718  15301 |        0 |        0
697.08/697.24	c  697s |      24 |  5462805 |  4877762 |      718  15337 |        0 |        0
699.08/699.25	c  699s |      24 |  5476729 |  4890562 |      718  15369 |        0 |        0
701.08/701.26	c  701s |      24 |  5489936 |  4902762 |      718  15401 |        0 |        0
703.08/703.27	c  703s |      24 |  5502474 |  4914262 |      718  15430 |        0 |        0
705.08/705.29	c  705s |      24 |  5514370 |  4925362 |      718  15459 |        0 |        0
707.18/707.30	c  707s |      24 |  5526372 |  4936562 |      718  15487 |        0 |        0
709.18/709.31	c  709s |      24 |  5537783 |  4947162 |      718  15514 |        0 |        0
711.18/711.31	c  711s |      24 |  5549715 |  4958162 |      718  15543 |        0 |        0
713.17/713.31	c  713s |      24 |  5562620 |  4970262 |      718  15573 |        0 |        0
715.17/715.32	c  715s |      24 |  5575926 |  4982662 |      718  15605 |        0 |        0
717.17/717.33	c  717s |      24 |  5589742 |  4995462 |      718  15638 |        0 |        0
719.17/719.34	c  719s |      24 |  5603505 |  5008262 |      718  15670 |        0 |        0
721.17/721.34	c  721s |      24 |  5616383 |  5020062 |      718  15700 |        0 |        0
723.17/723.35	c  723s |      24 |  5629161 |  5031962 |      790  15730 |        0 |        0
725.16/725.36	c  725s |      24 |  5642151 |  5044062 |      790  15758 |        0 |        0
727.17/727.37	c  727s |      24 |  5655934 |  5056762 |      790  15788 |        0 |        0
728.57/728.71	c  728s |      25 |  5664967 |  5065098 |      790  15807 |        0 |        0
730.57/730.71	c  730s |      25 |  5679765 |  5078298 |      790  15838 |        0 |        0
732.58/732.72	c  732s |      25 |  5695052 |  5091798 |      790  15870 |        0 |        0
734.57/734.73	c  734s |      25 |  5709154 |  5104598 |      790  15900 |        0 |        0
736.57/736.74	c  736s |      25 |  5724459 |  5118298 |      790  15932 |        0 |        0
738.57/738.74	c  738s |      25 |  5739389 |  5131698 |      790  15964 |        0 |        0
740.57/740.75	c  740s |      25 |  5754547 |  5144998 |      790  15995 |        0 |        0
742.57/742.76	c  742s |      25 |  5769327 |  5158198 |      790  16026 |        0 |        0
744.56/744.78	c  744s |      25 |  5784378 |  5171298 |      790  16057 |        0 |        0
746.56/746.78	c  746s |      25 |  5798274 |  5183698 |      790  16086 |        0 |        0
748.56/748.79	c  748s |      25 |  5813143 |  5196598 |      790  16116 |        0 |        0
750.66/750.80	c  750s |      25 |  5827514 |  5209298 |      790  16146 |        0 |        0
752.66/752.81	c  752s |      25 |  5841104 |  5221598 |      790  16175 |        0 |        0
754.66/754.82	c  754s |      25 |  5853462 |  5232798 |      790  16201 |        0 |        0
756.65/756.83	c  756s |      25 |  5864983 |  5243498 |      790  16226 |        0 |        0
758.65/758.85	c  758s |      25 |  5877378 |  5254998 |      790  16253 |        0 |        0
760.65/760.85	c  760s |      25 |  5889667 |  5266298 |      790  16280 |        0 |        0
762.65/762.86	c  762s |      25 |  5902584 |  5278098 |      790  16307 |        0 |        0
764.65/764.86	c  764s |      25 |  5915784 |  5290098 |      790  16335 |        0 |        0
766.65/766.87	c  766s |      25 |  5929924 |  5302498 |      790  16364 |        0 |        0
768.65/768.88	c  768s |      25 |  5943603 |  5314698 |      790  16393 |        0 |        0
770.64/770.89	c  770s |      25 |  5955569 |  5325698 |      790  16419 |        0 |        0
772.74/772.90	c  772s |      25 |  5969262 |  5338098 |      790  16448 |        0 |        0
774.74/774.92	c  774s |      25 |  5984380 |  5351698 |      790  16480 |        0 |        0
776.74/776.93	c  776s |      25 |  5999339 |  5365098 |      790  16511 |        0 |        0
778.74/778.94	c  778s |      25 |  6014269 |  5378398 |      790  16542 |        0 |        0
780.74/780.94	c  780s |      25 |  6029333 |  5391598 |      790  16573 |        0 |        0
782.74/782.95	c  782s |      25 |  6045001 |  5404998 |      790  16605 |        0 |        0
784.73/784.96	c  784s |      25 |  6058807 |  5417298 |      790  16633 |        0 |        0
786.73/786.98	c  786s |      25 |  6073705 |  5430398 |      790  16664 |        0 |        0
788.74/788.98	c  788s |      25 |  6088531 |  5443598 |      790  16695 |        0 |        0
790.73/790.99	c  790s |      25 |  6105522 |  5458098 |      790  16729 |        0 |        0
792.73/792.99	c  792s |      25 |  6122485 |  5472598 |      790  16764 |        0 |        0
794.83/795.00	c  794s |      25 |  6138965 |  5486898 |      790  16798 |        0 |        0
796.83/797.01	c  796s |      25 |  6155947 |  5501398 |      790  16832 |        0 |        0
798.83/799.02	c  799s |      25 |  6172086 |  5515598 |      790  16865 |        0 |        0
800.83/801.04	c  801s |      25 |  6187015 |  5528998 |      790  16897 |        0 |        0
802.83/803.05	c  803s |      25 |  6200813 |  5541498 |      790  16926 |        0 |        0
804.82/805.05	c  805s |      25 |  6213803 |  5553298 |      790  16954 |        0 |        0
806.82/807.05	c  807s |      25 |  6227699 |  5565598 |      790  16982 |        0 |        0
808.82/809.07	c  809s |      25 |  6240812 |  5577698 |      790  17011 |        0 |        0
810.82/811.08	c  811s |      25 |  6253743 |  5589598 |      790  17039 |        0 |        0
812.83/813.09	c  813s |      25 |  6268861 |  5602998 |      790  17070 |        0 |        0
814.92/815.10	c  815s |      25 |  6283611 |  5616098 |      790  17101 |        0 |        0
816.92/817.10	c  817s |      25 |  6298872 |  5629798 |      790  17133 |        0 |        0
818.92/819.11	c  819s |      25 |  6313721 |  5643098 |      790  17165 |        0 |        0
820.92/821.11	c  821s |      25 |  6328665 |  5656398 |      790  17196 |        0 |        0
822.91/823.12	c  823s |      25 |  6343974 |  5669998 |      790  17228 |        0 |        0
824.92/825.13	c  825s |      25 |  6359106 |  5683398 |      790  17260 |        0 |        0
826.91/827.13	c  827s |      25 |  6373726 |  5696398 |      790  17290 |        0 |        0
828.91/829.14	c  829s |      25 |  6388494 |  5709498 |      790  17321 |        0 |        0
830.91/831.16	c  831s |      25 |  6402512 |  5721898 |      790  17350 |        0 |        0
832.91/833.16	c  833s |      25 |  6416970 |  5735098 |      790  17381 |        0 |        0
834.91/835.16	c  835s |      25 |  6431620 |  5748298 |      790  17412 |        0 |        0
836.90/837.17	c  837s |      25 |  6446839 |  5761898 |      790  17444 |        0 |        0
838.90/839.18	c  839s |      25 |  6460956 |  5774598 |      790  17474 |        0 |        0
841.00/841.20	c  841s |      25 |  6474878 |  5787298 |      790  17504 |        0 |        0
843.00/843.20	c  843s |      25 |  6487537 |  5799098 |      790  17531 |        0 |        0
845.01/845.21	c  845s |      25 |  6501718 |  5811898 |      790  17561 |        0 |        0
847.01/847.22	c  847s |      25 |  6515873 |  5824598 |      790  17591 |        0 |        0
849.01/849.23	c  849s |      25 |  6531450 |  5838198 |      790  17623 |        0 |        0
851.01/851.24	c  851s |      25 |  6547051 |  5851798 |      790  17655 |        0 |        0
853.01/853.25	c  853s |      25 |  6561150 |  5864798 |      790  17686 |        0 |        0
855.00/855.26	c  855s |      25 |  6575230 |  5877598 |      790  17716 |        0 |        0
857.00/857.27	c  857s |      25 |  6588959 |  5890098 |      790  17746 |        0 |        0
859.00/859.27	c  859s |      25 |  6602653 |  5902498 |      790  17775 |        0 |        0
861.00/861.27	c  861s |      25 |  6616256 |  5915098 |      790  17804 |        0 |        0
863.00/863.28	c  863s |      25 |  6630357 |  5928098 |      790  17834 |        0 |        0
865.00/865.29	c  865s |      25 |  6643793 |  5940498 |      790  17864 |        0 |        0
867.10/867.30	c  867s |      25 |  6657277 |  5952898 |      790  17893 |        0 |        0
869.09/869.31	c  869s |      25 |  6671193 |  5965598 |      790  17923 |        0 |        0
871.10/871.31	c  871s |      25 |  6684921 |  5978298 |      790  17953 |        0 |        0
873.09/873.33	c  873s |      25 |  6698646 |  5991098 |      790  17983 |        0 |        0
875.09/875.33	c  875s |      25 |  6713703 |  6004698 |      790  18015 |        0 |        0
877.09/877.33	c  877s |      25 |  6727948 |  6017698 |      790  18045 |        0 |        0
879.09/879.34	c  879s |      25 |  6742922 |  6031198 |      790  18077 |        0 |        0
881.09/881.35	c  881s |      25 |  6757298 |  6044198 |      790  18107 |        0 |        0
883.09/883.35	c  883s |      25 |  6772013 |  6057498 |      790  18138 |        0 |        0
885.08/885.37	c  885s |      25 |  6785414 |  6069698 |      790  18167 |        0 |        0
887.08/887.38	c  887s |      25 |  6799160 |  6082498 |      790  18196 |        0 |        0
889.08/889.39	c  889s |      25 |  6813825 |  6095898 |      790  18228 |        0 |        0
891.08/891.39	c  891s |      25 |  6828757 |  6109298 |      790  18259 |        0 |        0
893.18/893.40	c  893s |      25 |  6843881 |  6122898 |      790  18292 |        0 |        0
895.17/895.41	c  895s |      25 |  6858191 |  6135998 |      790  18322 |        0 |        0
897.17/897.42	c  897s |      25 |  6873148 |  6149498 |      790  18354 |        0 |        0
899.17/899.42	c  899s |      25 |  6887986 |  6162998 |      790  18386 |        0 |        0
901.17/901.43	c  901s |      25 |  6902214 |  6176098 |      790  18416 |        0 |        0
903.17/903.43	c  903s |      25 |  6916978 |  6189398 |      790  18448 |        0 |        0
905.17/905.44	c  905s |      25 |  6931633 |  6202698 |      790  18479 |        0 |        0
907.17/907.45	c  907s |      25 |  6945767 |  6215598 |      790  18509 |        0 |        0
909.17/909.46	c  909s |      25 |  6960132 |  6228698 |      790  18540 |        0 |        0
911.17/911.47	c  911s |      25 |  6975807 |  6242898 |      790  18574 |        0 |        0
913.17/913.48	c  913s |      25 |  6991490 |  6256898 |      790  18607 |        0 |        0
915.17/915.48	c  915s |      25 |  7006005 |  6270198 |      790  18638 |        0 |        0
917.16/917.49	c  917s |      25 |  7021519 |  6283998 |      790  18670 |        0 |        0
919.16/919.49	c  919s |      25 |  7037567 |  6297998 |      790  18703 |        0 |        0
921.26/921.50	c  921s |      25 |  7053661 |  6312198 |      790  18737 |        0 |        0
923.26/923.51	c  923s |      25 |  7068775 |  6325798 |      790  18768 |        0 |        0
925.26/925.52	c  925s |      25 |  7083109 |  6338598 |      790  18798 |        0 |        0
927.26/927.53	c  927s |      25 |  7098053 |  6351798 |      790  18829 |        0 |        0
929.26/929.54	c  929s |      25 |  7113143 |  6365198 |      790  18861 |        0 |        0
931.26/931.54	c  931s |      25 |  7129041 |  6379198 |      790  18894 |        0 |        0
933.26/933.55	c  933s |      25 |  7143757 |  6392398 |      790  18925 |        0 |        0
935.26/935.56	c  935s |      25 |  7157177 |  6404898 |      790  18954 |        0 |        0
937.26/937.56	c  937s |      25 |  7171832 |  6417998 |      790  18985 |        0 |        0
939.26/939.57	c  939s |      25 |  7186961 |  6431698 |      790  19017 |        0 |        0
941.26/941.57	c  941s |      25 |  7202095 |  6445398 |      790  19049 |        0 |        0
943.26/943.58	c  943s |      25 |  7218294 |  6459698 |      790  19083 |        0 |        0
945.25/945.59	c  945s |      25 |  7233088 |  6473098 |      790  19115 |        0 |        0
947.35/947.60	c  947s |      25 |  7246920 |  6485798 |      790  19144 |        0 |        0
949.35/949.61	c  949s |      25 |  7261164 |  6498898 |      790  19175 |        0 |        0
951.36/951.62	c  951s |      25 |  7277438 |  6513298 |      790  19209 |        0 |        0
953.35/953.63	c  953s |      25 |  7292658 |  6527098 |      790  19241 |        0 |        0
955.35/955.64	c  955s |      25 |  7306442 |  6539598 |      790  19271 |        0 |        0
957.35/957.64	c  957s |      25 |  7321319 |  6552898 |      790  19302 |        0 |        0
959.35/959.64	c  959s |      25 |  7337292 |  6566898 |      790  19335 |        0 |        0
961.35/961.64	c  961s |      25 |  7353909 |  6581698 |      790  19370 |        0 |        0
963.34/963.64	c  963s |      25 |  7369565 |  6595198 |      790  19402 |        0 |        0
965.34/965.66	c  965s |      25 |  7384310 |  6608598 |      790  19433 |        0 |        0
967.34/967.66	c  967s |      25 |  7399915 |  6622598 |      790  19466 |        0 |        0
969.34/969.67	c  969s |      25 |  7415151 |  6636398 |      790  19498 |        0 |        0
971.34/971.67	c  971s |      25 |  7431538 |  6650198 |      790  19531 |        0 |        0
973.34/973.67	c  973s |      25 |  7446933 |  6663598 |      790  19563 |        0 |        0
975.34/975.68	c  975s |      25 |  7461849 |  6676798 |      790  19594 |        0 |        0
977.44/977.70	c  977s |      25 |  7477122 |  6690598 |      790  19627 |        0 |        0
979.43/979.71	c  979s |      25 |  7491844 |  6703898 |      790  19658 |        0 |        0
981.43/981.71	c  981s |      25 |  7506709 |  6717098 |      790  19689 |        0 |        0
983.43/983.72	c  983s |      25 |  7521673 |  6730698 |      790  19721 |        0 |        0
985.44/985.72	c  985s |      25 |  7536160 |  6743898 |      790  19752 |        0 |        0
987.43/987.74	c  987s |      25 |  7551844 |  6757598 |      790  19784 |        0 |        0
989.44/989.75	c  989s |      25 |  7567490 |  6771198 |      790  19816 |        0 |        0
991.44/991.75	c  991s |      25 |  7583626 |  6785598 |      790  19850 |        0 |        0
993.43/993.76	c  993s |      25 |  7599543 |  6799798 |      790  19884 |        0 |        0
995.44/995.77	c  995s |      25 |  7614922 |  6813598 |      790  19916 |        0 |        0
997.43/997.77	c  997s |      25 |  7630364 |  6827598 |      790  19949 |        0 |        0
999.43/999.79	c  999s |      25 |  7645301 |  6841198 |      790  19981 |        0 |        0
1001.43/1001.79	c 1001s |      25 |  7659896 |  6854298 |      790  20011 |        0 |        0
1003.42/1003.79	c 1003s |      25 |  7675503 |  6868098 |      790  20044 |        0 |        0
1005.52/1005.81	c 1005s |      25 |  7690478 |  6881498 |      790  20075 |        0 |        0
1007.53/1007.81	c 1007s |      25 |  7705870 |  6895198 |      790  20108 |        0 |        0
1009.52/1009.82	c 1009s |      25 |  7719988 |  6908098 |      790  20138 |        0 |        0
1011.52/1011.84	c 1011s |      25 |  7734386 |  6921198 |      790  20168 |        0 |        0
1013.52/1013.85	c 1013s |      25 |  7748306 |  6933998 |      790  20198 |        0 |        0
1015.52/1015.86	c 1015s |      25 |  7762501 |  6947098 |      790  20229 |        0 |        0
1017.52/1017.86	c 1017s |      25 |  7777523 |  6960798 |      790  20261 |        0 |        0
1019.52/1019.87	c 1019s |      25 |  7791354 |  6973698 |      790  20292 |        0 |        0
1021.52/1021.87	c 1021s |      25 |  7807135 |  6987698 |      790  20325 |        0 |        0
1023.51/1023.88	c 1023s |      25 |  7822013 |  7001198 |      790  20356 |        0 |        0
1025.51/1025.88	c 1025s |      25 |  7835760 |  7013598 |      790  20385 |        0 |        0
1027.51/1027.89	c 1027s |      25 |  7852034 |  7028498 |      790  20421 |        0 |        0
1029.51/1029.89	c 1029s |      25 |  7867640 |  7042898 |      790  20455 |        0 |        0
1031.61/1031.90	c 1031s |      25 |  7883448 |  7057298 |      790  20489 |        0 |        0
1033.61/1033.91	c 1033s |      25 |  7899532 |  7071898 |      790  20523 |        0 |        0
1035.61/1035.91	c 1035s |      25 |  7915602 |  7086298 |      790  20557 |        0 |        0
1037.61/1037.91	c 1037s |      25 |  7931197 |  7100198 |      790  20590 |        0 |        0
1039.61/1039.92	c 1039s |      25 |  7947547 |  7114898 |      790  20624 |        0 |        0
1041.62/1041.92	c 1041s |      25 |  7962904 |  7128998 |      790  20657 |        0 |        0
1043.61/1043.92	c 1043s |      25 |  7978477 |  7142898 |      790  20690 |        0 |        0
1045.61/1045.94	c 1045s |      25 |  7995042 |  7157698 |      790  20725 |        0 |        0
1047.61/1047.94	c 1047s |      25 |  8009946 |  7170998 |      790  20756 |        0 |        0
1049.61/1049.94	c 1049s |      25 |  8026170 |  7185298 |      790  20790 |        0 |        0
1051.61/1051.95	c 1051s |      25 |  8042208 |  7199898 |      790  20824 |        0 |        0
1053.61/1053.95	c 1053s |      25 |  8058250 |  7214498 |      790  20858 |        0 |        0
1055.60/1055.96	c 1055s |      25 |  8073892 |  7228698 |      790  20892 |        0 |        0
1057.60/1057.97	c 1057s |      25 |  8089549 |  7242998 |      790  20925 |        0 |        0
1059.60/1059.97	c 1059s |      25 |  8104479 |  7256798 |      790  20958 |        0 |        0
1061.60/1061.98	c 1061s |      25 |  8118673 |  7269998 |      790  20988 |        0 |        0
1063.61/1063.98	c 1063s |      25 |  8132458 |  7282798 |      790  21018 |        0 |        0
1065.60/1065.99	c 1065s |      25 |  8145946 |  7295298 |      790  21047 |        0 |        0
1067.70/1068.00	c 1067s |      25 |  8162366 |  7309598 |      790  21081 |        0 |        0
1069.70/1070.00	c 1069s |      25 |  8176252 |  7322198 |      790  21111 |        0 |        0
1071.70/1072.01	c 1072s |      25 |  8189845 |  7334598 |      790  21140 |        0 |        0
1073.69/1074.02	c 1074s |      25 |  8203655 |  7347198 |      790  21169 |        0 |        0
1075.70/1076.04	c 1076s |      25 |  8217302 |  7359198 |      790  21197 |        0 |        0
1077.69/1078.04	c 1078s |      25 |  8231405 |  7371898 |      790  21227 |        0 |        0
1079.69/1080.04	c 1080s |      25 |  8246067 |  7385098 |      790  21258 |        0 |        0
1081.69/1082.06	c 1082s |      25 |  8259939 |  7397598 |      790  21287 |        0 |        0
1083.69/1084.06	c 1084s |      25 |  8273025 |  7409498 |      790  21315 |        0 |        0
1085.69/1086.07	c 1086s |      25 |  8286755 |  7421898 |      790  21344 |        0 |        0
1087.69/1088.09	c 1088s |      25 |  8301459 |  7435398 |      790  21376 |        0 |        0
1089.79/1090.10	c 1090s |      25 |  8316023 |  7448898 |      790  21407 |        0 |        0
1091.79/1092.12	c 1092s |      25 |  8330628 |  7461998 |      790  21438 |        0 |        0
1093.78/1094.12	c 1094s |      25 |  8344615 |  7474798 |      790  21468 |        0 |        0
1095.78/1096.14	c 1096s |      25 |  8358307 |  7487398 |      790  21497 |        0 |        0
1097.78/1098.14	c 1098s |      25 |  8372478 |  7500498 |      790  21528 |        0 |        0
1099.79/1100.15	c 1100s |      25 |  8386187 |  7513198 |      790  21558 |        0 |        0
1101.78/1102.15	c 1102s |      25 |  8400320 |  7526198 |      790  21589 |        0 |        0
1103.77/1104.16	c 1104s |      25 |  8414916 |  7539698 |      790  21620 |        0 |        0
1105.77/1106.17	c 1106s |      25 |  8430801 |  7553798 |      870  21651 |        0 |        0
1107.77/1108.18	c 1108s |      25 |  8444792 |  7566798 |      870  21679 |        0 |        0
1109.78/1110.19	c 1110s |      25 |  8458290 |  7579398 |      870  21706 |        0 |        0
1111.88/1112.20	c 1112s |      25 |  8471968 |  7591998 |      870  21733 |        0 |        0
1112.77/1113.12	c 1113s |      26 |  8478196 |  7597752 |      870  21746 |        0 |        0
1114.76/1115.13	c 1115s |      26 |  8492397 |  7610452 |      870  21773 |        0 |        0
1116.76/1117.13	c 1117s |      26 |  8506445 |  7622652 |      870  21799 |        0 |        0
1118.76/1119.14	c 1119s |      26 |  8520908 |  7635252 |      870  21826 |        0 |        0
1120.77/1121.15	c 1121s |      26 |  8535238 |  7647952 |      870  21853 |        0 |        0
1122.76/1123.17	c 1123s |      26 |  8548445 |  7660052 |      870  21879 |        0 |        0
1124.76/1125.18	c 1125s |      26 |  8561078 |  7671652 |      870  21904 |        0 |        0
1126.76/1127.19	c 1127s |      26 |  8574261 |  7683752 |      870  21930 |        0 |        0
1128.77/1129.19	c 1129s |      26 |  8588192 |  7696352 |      870  21957 |        0 |        0
1130.87/1131.20	c 1131s |      26 |  8601106 |  7708352 |      870  21983 |        0 |        0
1132.87/1133.21	c 1133s |      26 |  8615579 |  7721152 |      870  22010 |        0 |        0
1134.86/1135.23	c 1135s |      26 |  8627491 |  7732252 |      870  22034 |        0 |        0
1136.86/1137.24	c 1137s |      26 |  8640580 |  7744152 |      870  22059 |        0 |        0
1138.86/1139.25	c 1139s |      26 |  8653887 |  7756052 |      870  22085 |        0 |        0
1140.86/1141.26	c 1141s |      26 |  8665447 |  7766852 |      870  22108 |        0 |        0
1142.86/1143.27	c 1143s |      26 |  8677057 |  7777652 |      870  22131 |        0 |        0
1144.86/1145.28	c 1145s |      26 |  8691011 |  7790152 |      870  22158 |        0 |        0
1146.85/1147.29	c 1147s |      26 |  8703607 |  7801752 |      870  22182 |        0 |        0
1148.85/1149.29	c 1149s |      26 |  8715850 |  7812952 |      870  22206 |        0 |        0
1150.95/1151.30	c 1151s |      26 |  8728099 |  7823952 |      870  22230 |        0 |        0
1152.95/1153.31	c 1153s |      26 |  8740552 |  7835352 |      870  22254 |        0 |        0
1154.95/1155.32	c 1155s |      26 |  8752655 |  7846652 |      870  22278 |        0 |        0
1156.95/1157.34	c 1157s |      26 |  8763288 |  7856652 |      870  22300 |        0 |        0
1158.95/1159.35	c 1159s |      26 |  8775391 |  7868052 |      870  22324 |        0 |        0
1160.95/1161.36	c 1161s |      26 |  8786483 |  7878552 |      870  22346 |        0 |        0
1162.94/1163.37	c 1163s |      26 |  8797685 |  7888852 |      870  22369 |        0 |        0
1164.94/1165.37	c 1165s |      26 |  8809996 |  7900152 |      870  22393 |        0 |        0
1166.95/1167.38	c 1167s |      26 |  8822422 |  7911752 |      870  22417 |        0 |        0
1168.94/1169.38	c 1169s |      26 |  8836427 |  7924152 |      870  22444 |        0 |        0
1170.94/1171.38	c 1171s |      26 |  8849774 |  7936052 |      870  22470 |        0 |        0
1173.04/1173.40	c 1173s |      26 |  8863623 |  7948252 |      870  22496 |        0 |        0
1175.03/1175.40	c 1175s |      26 |  8877808 |  7960852 |      870  22523 |        0 |        0
1177.03/1177.42	c 1177s |      26 |  8889695 |  7971952 |      870  22547 |        0 |        0
1179.04/1179.42	c 1179s |      26 |  8902686 |  7983752 |      870  22572 |        0 |        0
1181.03/1181.43	c 1181s |      26 |  8917868 |  7997252 |      870  22601 |        0 |        0
1183.03/1183.43	c 1183s |      26 |  8932769 |  8010252 |      870  22628 |        0 |        0
1185.03/1185.44	c 1185s |      26 |  8946530 |  8022852 |      870  22655 |        0 |        0
1187.03/1187.45	c 1187s |      26 |  8960324 |  8035452 |      870  22682 |        0 |        0
1189.03/1189.45	c 1189s |      26 |  8975626 |  8048852 |      870  22711 |        0 |        0
1191.04/1191.46	c 1191s |      26 |  8990196 |  8061452 |      870  22738 |        0 |        0
1193.03/1193.47	c 1193s |      26 |  9004172 |  8073852 |      870  22765 |        0 |        0
1195.03/1195.47	c 1195s |      26 |  9017707 |  8085952 |      870  22791 |        0 |        0
1197.03/1197.47	c 1197s |      26 |  9031741 |  8098252 |      870  22817 |        0 |        0
1199.02/1199.47	c 1199s |      26 |  9045178 |  8110252 |      870  22843 |        0 |        0
1201.03/1201.47	c 1201s |      26 |  9056642 |  8120752 |      870  22866 |        0 |        0
1203.02/1203.49	c 1203s |      26 |  9070542 |  8133252 |      870  22892 |        0 |        0
1205.02/1205.50	c 1205s |      26 |  9085066 |  8146452 |      870  22920 |        0 |        0
1207.12/1207.50	c 1207s |      26 |  9098214 |  8158552 |      870  22946 |        0 |        0
1209.12/1209.51	c 1209s |      26 |  9112036 |  8171252 |      870  22974 |        0 |        0
1211.12/1211.52	c 1211s |      26 |  9125925 |  8184052 |      870  23001 |        0 |        0
1213.12/1213.53	c 1213s |      26 |  9138391 |  8195652 |      870  23026 |        0 |        0
1215.11/1215.54	c 1215s |      26 |  9151458 |  8207952 |      870  23052 |        0 |        0
1217.11/1217.55	c 1217s |      26 |  9164137 |  8219852 |      870  23078 |        0 |        0
1219.11/1219.55	c 1219s |      26 |  9177750 |  8232452 |      870  23105 |        0 |        0
1221.11/1221.57	c 1221s |      26 |  9192546 |  8245852 |      870  23134 |        0 |        0
1223.11/1223.58	c 1223s |      26 |  9209282 |  8260052 |      870  23165 |        0 |        0
1225.11/1225.59	c 1225s |      26 |  9225184 |  8273852 |      870  23195 |        0 |        0
1227.20/1227.60	c 1227s |      26 |  9239733 |  8286752 |      870  23222 |        0 |        0
1229.20/1229.60	c 1229s |      26 |  9253770 |  8299452 |      870  23250 |        0 |        0
1231.20/1231.61	c 1231s |      26 |  9267824 |  8312352 |      870  23277 |        0 |        0
1233.20/1233.62	c 1233s |      26 |  9282026 |  8325152 |      870  23305 |        0 |        0
1235.20/1235.62	c 1235s |      26 |  9295475 |  8337452 |      870  23332 |        0 |        0
1237.21/1237.62	c 1237s |      26 |  9309482 |  8350152 |      870  23359 |        0 |        0
1239.20/1239.63	c 1239s |      26 |  9324704 |  8363452 |      870  23388 |        0 |        0
1241.20/1241.64	c 1241s |      26 |  9338887 |  8376352 |      870  23416 |        0 |        0
1243.20/1243.64	c 1243s |      26 |  9353379 |  8389452 |      870  23444 |        0 |        0
1245.19/1245.65	c 1245s |      26 |  9367903 |  8402552 |      870  23472 |        0 |        0
1247.20/1247.66	c 1247s |      26 |  9382514 |  8415852 |      870  23501 |        0 |        0
1249.19/1249.67	c 1249s |      26 |  9398319 |  8429752 |      870  23531 |        0 |        0
1251.19/1251.68	c 1251s |      26 |  9412071 |  8442452 |      870  23558 |        0 |        0
1253.19/1253.69	c 1253s |      26 |  9426533 |  8455752 |      870  23586 |        0 |        0
1255.19/1255.69	c 1255s |      26 |  9441131 |  8469152 |      870  23615 |        0 |        0
1257.19/1257.69	c 1257s |      26 |  9455264 |  8482252 |      870  23644 |        0 |        0
1259.19/1259.70	c 1259s |      26 |  9469145 |  8494952 |      870  23671 |        0 |        0
1261.29/1261.71	c 1261s |      26 |  9483332 |  8507952 |      870  23699 |        0 |        0
1263.29/1263.73	c 1263s |      26 |  9498382 |  8521552 |      870  23728 |        0 |        0
1265.28/1265.73	c 1265s |      26 |  9513017 |  8534952 |      870  23757 |        0 |        0
1267.28/1267.74	c 1267s |      26 |  9528750 |  8548852 |      870  23787 |        0 |        0
1269.28/1269.75	c 1269s |      26 |  9543881 |  8562552 |      870  23816 |        0 |        0
1271.28/1271.76	c 1271s |      26 |  9557736 |  8575152 |      870  23844 |        0 |        0
1273.28/1273.76	c 1273s |      26 |  9570447 |  8586952 |      870  23869 |        0 |        0
1275.27/1275.77	c 1275s |      26 |  9585740 |  8600352 |      870  23898 |        0 |        0
1277.27/1277.77	c 1277s |      26 |  9600249 |  8613252 |      870  23925 |        0 |        0
1279.27/1279.78	c 1279s |      26 |  9613768 |  8625752 |      870  23952 |        0 |        0
1281.28/1281.78	c 1281s |      26 |  9626815 |  8637852 |      870  23978 |        0 |        0
1283.27/1283.78	c 1283s |      26 |  9641126 |  8650852 |      870  24006 |        0 |        0
1285.26/1285.79	c 1285s |      26 |  9654779 |  8663452 |      870  24034 |        0 |        0
1287.37/1287.80	c 1287s |      26 |  9668303 |  8675652 |      870  24060 |        0 |        0
1289.37/1289.80	c 1289s |      26 |  9682125 |  8688352 |      870  24087 |        0 |        0
1291.37/1291.82	c 1291s |      26 |  9696707 |  8701352 |      870  24115 |        0 |        0
1293.37/1293.82	c 1293s |      26 |  9711631 |  8714552 |      870  24144 |        0 |        0
1295.36/1295.83	c 1295s |      26 |  9726411 |  8727752 |      870  24172 |        0 |        0
1297.36/1297.83	c 1297s |      26 |  9740234 |  8740352 |      870  24199 |        0 |        0
1299.36/1299.83	c 1299s |      26 |  9754363 |  8753252 |      870  24227 |        0 |        0
1301.36/1301.84	c 1301s |      26 |  9768255 |  8766052 |      870  24255 |        0 |        0
1303.35/1303.85	c 1303s |      26 |  9782411 |  8779152 |      870  24283 |        0 |        0
1305.36/1305.86	c 1305s |      26 |  9795422 |  8791352 |      870  24309 |        0 |        0
1307.35/1307.87	c 1307s |      26 |  9807913 |  8803052 |      870  24334 |        0 |        0
1309.35/1309.88	c 1309s |      26 |  9819917 |  8814152 |      870  24358 |        0 |        0
1311.35/1311.89	c 1311s |      26 |  9831920 |  8825352 |      870  24382 |        0 |        0
1313.45/1313.91	c 1313s |      26 |  9844525 |  8836852 |      870  24407 |        0 |        0
1315.45/1315.91	c 1315s |      26 |  9858573 |  8849752 |      870  24435 |        0 |        0
1317.45/1317.93	c 1317s |      26 |  9873194 |  8862952 |      870  24463 |        0 |        0
1319.45/1319.93	c 1319s |      26 |  9887103 |  8875652 |      870  24491 |        0 |        0
1321.45/1321.93	c 1321s |      26 |  9899206 |  8886752 |      870  24515 |        0 |        0
1323.44/1323.93	c 1323s |      26 |  9913287 |  8899452 |      870  24542 |        0 |        0
1325.44/1325.93	c 1325s |      26 |  9927677 |  8912452 |      870  24570 |        0 |        0
1327.45/1327.94	c 1327s |      26 |  9941330 |  8925052 |      870  24597 |        0 |        0
1329.44/1329.94	c 1329s |      26 |  9952687 |  8935752 |      870  24620 |        0 |        0
1331.44/1331.95	c 1331s |      26 |  9966252 |  8948152 |      870  24646 |        0 |        0
1333.45/1333.95	c 1333s |      26 |  9978300 |  8959352 |      870  24671 |        0 |        0
1335.45/1335.96	c 1335s |      26 |  9990657 |  8970852 |      870  24695 |        0 |        0
1337.45/1337.97	c 1337s |      26 | 10004075 |  8983052 |      870  24721 |        0 |        0
1339.45/1339.97	c 1339s |      26 | 10017783 |  8995652 |      870  24748 |        0 |        0
1341.45/1341.98	c 1341s |      26 | 10032634 |  9009152 |      870  24777 |        0 |        0
1343.44/1343.99	c 1343s |      26 | 10045291 |  9020952 |      870  24803 |        0 |        0
1345.54/1346.00	c 1345s |      26 | 10058743 |  9033452 |      870  24830 |        0 |        0
1347.54/1348.00	c 1347s |      26 | 10073091 |  9046452 |      870  24857 |        0 |        0
1349.54/1350.01	c 1350s |      26 | 10086892 |  9059152 |      870  24885 |        0 |        0
1351.54/1352.03	c 1352s |      26 | 10100404 |  9071652 |      870  24911 |        0 |        0
1353.54/1354.05	c 1354s |      26 | 10112736 |  9083152 |      870  24936 |        0 |        0
1355.54/1356.05	c 1356s |      26 | 10124760 |  9094452 |      870  24960 |        0 |        0
1357.54/1358.05	c 1358s |      26 | 10137096 |  9105952 |      870  24985 |        0 |        0
1359.53/1360.06	c 1360s |      26 | 10148758 |  9116752 |      870  25008 |        0 |        0
1361.54/1362.07	c 1362s |      26 | 10160531 |  9127752 |      870  25032 |        0 |        0
1363.53/1364.07	c 1364s |      26 | 10172292 |  9138552 |      870  25055 |        0 |        0
1365.53/1366.07	c 1366s |      26 | 10183398 |  9148952 |      870  25078 |        0 |        0
1367.53/1368.07	c 1368s |      26 | 10194073 |  9159052 |      870  25099 |        0 |        0
1369.53/1370.08	c 1370s |      26 | 10205476 |  9169752 |      870  25122 |        0 |        0
1371.53/1372.09	c 1372s |      26 | 10216771 |  9180352 |      870  25145 |        0 |        0
1373.54/1374.10	c 1374s |      26 | 10229271 |  9191952 |      870  25170 |        0 |        0
1375.63/1376.11	c 1376s |      26 | 10241147 |  9202952 |      870  25193 |        0 |        0
1377.63/1378.12	c 1378s |      26 | 10253581 |  9214452 |      870  25218 |        0 |        0
1379.63/1380.12	c 1380s |      26 | 10265840 |  9225652 |      870  25242 |        0 |        0
1381.63/1382.13	c 1382s |      26 | 10277848 |  9236852 |      870  25266 |        0 |        0
1383.63/1384.15	c 1384s |      26 | 10290308 |  9248552 |      870  25291 |        0 |        0
1385.63/1386.16	c 1386s |      26 | 10301701 |  9259252 |      870  25314 |        0 |        0
1387.63/1388.18	c 1388s |      26 | 10314269 |  9270652 |      870  25338 |        0 |        0
1389.63/1390.19	c 1390s |      26 | 10325643 |  9281152 |      870  25361 |        0 |        0
1391.73/1392.21	c 1392s |      26 | 10337432 |  9291952 |      870  25384 |        0 |        0
1393.73/1394.22	c 1394s |      26 | 10349281 |  9302952 |      870  25408 |        0 |        0
1395.72/1396.23	c 1396s |      26 | 10361698 |  9314352 |      870  25432 |        0 |        0
1397.73/1398.25	c 1398s |      26 | 10374915 |  9326252 |      870  25457 |        0 |        0
1399.72/1400.26	c 1400s |      26 | 10388189 |  9338152 |      870  25483 |        0 |        0
1401.72/1402.27	c 1402s |      26 | 10401158 |  9349652 |      870  25507 |        0 |        0
1403.72/1404.29	c 1404s |      26 | 10412951 |  9360552 |      870  25531 |        0 |        0
1405.82/1406.30	c 1406s |      26 | 10426144 |  9372652 |      870  25557 |        0 |        0
1407.82/1408.31	c 1408s |      26 | 10438594 |  9383952 |      870  25581 |        0 |        0
1409.83/1410.32	c 1410s |      26 | 10450568 |  9394952 |      870  25605 |        0 |        0
1411.82/1412.33	c 1412s |      26 | 10463609 |  9406752 |      870  25630 |        0 |        0
1413.82/1414.35	c 1414s |      26 | 10476002 |  9417952 |      870  25654 |        0 |        0
1415.82/1416.36	c 1416s |      26 | 10487592 |  9428752 |      870  25677 |        0 |        0
1417.82/1418.37	c 1418s |      26 | 10499063 |  9439552 |      870  25700 |        0 |        0
1419.83/1420.39	c 1420s |      26 | 10511802 |  9450952 |      870  25725 |        0 |        0
1421.82/1422.40	c 1422s |      26 | 10524320 |  9462252 |      870  25749 |        0 |        0
1423.92/1424.40	c 1424s |      26 | 10537455 |  9473852 |      870  25774 |        0 |        0
1425.92/1426.41	c 1426s |      26 | 10550853 |  9485952 |      870  25800 |        0 |        0
1427.92/1428.41	c 1428s |      26 | 10563814 |  9497352 |      870  25824 |        0 |        0
1429.92/1430.42	c 1430s |      26 | 10577308 |  9509452 |      870  25850 |        0 |        0
1431.93/1432.42	c 1432s |      26 | 10590749 |  9521752 |      870  25877 |        0 |        0
1433.92/1434.43	c 1434s |      26 | 10604785 |  9533852 |      870  25903 |        0 |        0
1435.92/1436.43	c 1436s |      26 | 10616421 |  9544552 |      870  25926 |        0 |        0
1437.92/1438.44	c 1438s |      26 | 10628410 |  9555552 |      870  25949 |        0 |        0
1439.92/1440.45	c 1440s |      26 | 10641447 |  9567652 |      870  25975 |        0 |        0
1441.92/1442.46	c 1442s |      26 | 10654951 |  9580052 |      870  26001 |        0 |        0
1443.92/1444.48	c 1444s |      26 | 10668004 |  9592252 |      870  26027 |        0 |        0
1445.93/1446.49	c 1446s |      26 | 10680956 |  9604352 |      870  26053 |        0 |        0
1448.02/1448.50	c 1448s |      26 | 10693655 |  9616152 |      870  26079 |        0 |        0
1450.02/1450.50	c 1450s |      26 | 10706347 |  9627852 |      870  26104 |        0 |        0
1452.02/1452.52	c 1452s |      26 | 10718079 |  9638852 |      870  26128 |        0 |        0
1454.02/1454.52	c 1454s |      26 | 10730408 |  9650352 |      870  26152 |        0 |        0
1456.03/1456.52	c 1456s |      26 | 10743662 |  9662452 |      870  26178 |        0 |        0
1458.02/1458.54	c 1458s |      26 | 10757019 |  9674752 |      870  26205 |        0 |        0
1460.02/1460.54	c 1460s |      26 | 10771041 |  9687552 |      870  26232 |        0 |        0
1462.02/1462.55	c 1462s |      26 | 10784317 |  9699752 |      870  26258 |        0 |        0
1464.02/1464.55	c 1464s |      26 | 10797698 |  9711752 |      870  26284 |        0 |        0
1466.03/1466.57	c 1466s |      26 | 10811308 |  9724052 |      870  26310 |        0 |        0
1468.02/1468.58	c 1468s |      26 | 10823894 |  9735652 |      870  26335 |        0 |        0
1470.02/1470.59	c 1470s |      26 | 10836314 |  9747052 |      870  26360 |        0 |        0
1472.02/1472.59	c 1472s |      26 | 10850508 |  9759452 |      870  26386 |        0 |        0
1474.12/1474.60	c 1474s |      26 | 10865201 |  9772352 |      870  26414 |        0 |        0
1476.12/1476.60	c 1476s |      26 | 10878122 |  9784052 |      870  26439 |        0 |        0
1478.12/1478.61	c 1478s |      26 | 10890698 |  9795852 |      870  26464 |        0 |        0
1480.12/1480.61	c 1480s |      26 | 10904363 |  9808452 |      870  26491 |        0 |        0
1482.11/1482.61	c 1482s |      26 | 10917639 |  9820852 |      870  26518 |        0 |        0
1484.11/1484.61	c 1484s |      26 | 10931573 |  9833652 |      870  26546 |        0 |        0
1486.11/1486.61	c 1486s |      26 | 10944735 |  9845952 |      870  26572 |        0 |        0
1488.11/1488.62	c 1488s |      26 | 10957518 |  9857852 |      870  26598 |        0 |        0
1490.12/1490.62	c 1490s |      26 | 10971112 |  9870252 |      870  26624 |        0 |        0
1492.11/1492.62	c 1492s |      26 | 10985615 |  9883252 |      870  26652 |        0 |        0
1494.11/1494.64	c 1494s |      26 | 11000097 |  9896352 |      870  26681 |        0 |        0
1496.11/1496.64	c 1496s |      26 | 11014657 |  9909252 |      870  26709 |        0 |        0
1498.11/1498.66	c 1498s |      26 | 11030057 |  9922552 |      870  26738 |        0 |        0
1500.12/1500.66	c 1500s |      26 | 11044326 |  9935352 |      870  26765 |        0 |        0
1502.11/1502.66	c 1502s |      26 | 11058374 |  9948052 |      870  26793 |        0 |        0
1504.11/1504.67	c 1504s |      26 | 11073030 |  9960952 |      870  26821 |        0 |        0
1506.11/1506.68	c 1506s |      26 | 11089766 |  9975052 |      870  26851 |        0 |        0
1508.11/1508.68	c 1508s |      26 | 11105081 |  9988552 |      870  26881 |        0 |        0
1510.11/1510.69	c 1510s |      26 | 11119396 | 10001552 |      870  26909 |        0 |        0
1512.11/1512.70	c 1512s |      26 | 11132872 | 10013852 |      870  26935 |        0 |        0
1514.21/1514.70	c 1514s |      26 | 11146436 | 10026352 |      870  26962 |        0 |        0
1516.21/1516.71	c 1516s |      26 | 11159602 | 10038352 |      870  26988 |        0 |        0
1518.21/1518.72	c 1518s |      26 | 11173307 | 10050752 |      870  27015 |        0 |        0
1520.21/1520.73	c 1520s |      26 | 11186675 | 10063052 |      870  27041 |        0 |        0
1522.21/1522.74	c 1522s |      26 | 11199920 | 10075152 |      870  27067 |        0 |        0
1524.22/1524.76	c 1524s |      26 | 11212243 | 10086452 |      870  27092 |        0 |        0
1526.21/1526.78	c 1526s |      26 | 11224085 | 10097452 |      870  27115 |        0 |        0
1528.21/1528.79	c 1528s |      26 | 11236708 | 10109052 |      870  27140 |        0 |        0
1530.31/1530.80	c 1530s |      26 | 11249472 | 10120452 |      870  27165 |        0 |        0
1532.31/1532.81	c 1532s |      26 | 11263633 | 10133352 |      870  27193 |        0 |        0
1534.31/1534.82	c 1534s |      26 | 11276500 | 10145352 |      870  27218 |        0 |        0
1536.32/1536.83	c 1536s |      26 | 11290540 | 10158152 |      870  27246 |        0 |        0
1538.31/1538.84	c 1538s |      26 | 11307243 | 10172052 |      870  27276 |        0 |        0
1540.31/1540.85	c 1540s |      26 | 11321859 | 10184752 |      870  27303 |        0 |        0
1542.31/1542.86	c 1542s |      26 | 11334974 | 10196652 |      870  27329 |        0 |        0
1544.31/1544.87	c 1544s |      26 | 11350006 | 10209952 |      870  27357 |        0 |        0
1546.31/1546.88	c 1546s |      26 | 11365271 | 10223552 |      870  27386 |        0 |        0
1548.31/1548.90	c 1548s |      26 | 11378843 | 10235852 |      870  27413 |        0 |        0
1550.41/1550.92	c 1550s |      26 | 11392420 | 10248352 |      870  27440 |        0 |        0
1552.41/1552.92	c 1552s |      26 | 11405358 | 10260052 |      870  27465 |        0 |        0
1554.41/1554.94	c 1554s |      26 | 11420554 | 10273352 |      870  27493 |        0 |        0
1556.40/1556.94	c 1556s |      26 | 11435696 | 10286652 |      870  27522 |        0 |        0
1558.41/1558.95	c 1558s |      26 | 11449894 | 10299552 |      870  27549 |        0 |        0
1560.40/1560.95	c 1560s |      26 | 11464613 | 10312852 |      870  27578 |        0 |        0
1562.40/1562.96	c 1562s |      26 | 11478078 | 10325352 |      870  27604 |        0 |        0
1564.40/1564.97	c 1564s |      26 | 11491919 | 10337952 |      870  27632 |        0 |        0
1566.40/1566.97	c 1566s |      26 | 11505713 | 10350552 |      870  27659 |        0 |        0
1568.40/1568.98	c 1568s |      26 | 11519033 | 10362752 |      870  27685 |        0 |        0
1570.41/1571.00	c 1570s |      26 | 11533234 | 10375452 |      870  27712 |        0 |        0
1572.50/1573.00	c 1572s |      26 | 11546339 | 10387352 |      870  27737 |        0 |        0
1574.50/1575.01	c 1575s |      26 | 11559588 | 10399652 |      870  27763 |        0 |        0
1576.50/1577.02	c 1577s |      26 | 11572712 | 10411752 |      870  27789 |        0 |        0
1578.50/1579.03	c 1579s |      26 | 11585800 | 10423952 |      870  27815 |        0 |        0
1580.50/1581.03	c 1581s |      26 | 11597750 | 10435152 |      870  27839 |        0 |        0
1582.50/1583.04	c 1583s |      26 | 11611961 | 10448152 |      870  27867 |        0 |        0
1584.50/1585.05	c 1585s |      26 | 11627027 | 10461452 |      870  27896 |        0 |        0
1586.50/1587.06	c 1587s |      26 | 11642030 | 10474652 |      870  27924 |        0 |        0
1588.49/1589.07	c 1589s |      26 | 11656505 | 10487452 |      870  27952 |        0 |        0
1590.49/1591.08	c 1591s |      26 | 11669919 | 10499452 |      870  27978 |        0 |        0
1592.50/1593.09	c 1593s |      26 | 11684832 | 10512652 |      870  28007 |        0 |        0
1594.49/1595.10	c 1595s |      26 | 11699889 | 10525952 |      870  28035 |        0 |        0
1596.59/1597.12	c 1597s |      26 | 11714629 | 10539152 |      870  28064 |        0 |        0
1598.59/1599.12	c 1599s |      26 | 11729826 | 10552352 |      870  28092 |        0 |        0
1600.59/1601.13	c 1601s |      26 | 11743578 | 10564952 |      870  28119 |        0 |        0
1602.59/1603.13	c 1603s |      26 | 11757246 | 10577452 |      870  28146 |        0 |        0
1604.60/1605.14	c 1605s |      26 | 11772514 | 10590852 |      870  28175 |        0 |        0
1606.59/1607.16	c 1607s |      26 | 11787575 | 10604252 |      870  28204 |        0 |        0
1608.59/1609.16	c 1609s |      26 | 11801998 | 10617052 |      870  28231 |        0 |        0
1610.59/1611.16	c 1611s |      26 | 11817118 | 10630352 |      870  28260 |        0 |        0
1612.59/1613.16	c 1613s |      26 | 11832007 | 10643652 |      870  28288 |        0 |        0
1614.59/1615.17	c 1615s |      26 | 11847223 | 10657052 |      870  28317 |        0 |        0
1616.60/1617.19	c 1617s |      26 | 11860467 | 10669252 |      870  28344 |        0 |        0
1618.59/1619.19	c 1619s |      26 | 11874346 | 10682052 |      870  28371 |        0 |        0
1620.69/1621.20	c 1621s |      26 | 11888721 | 10695052 |      870  28399 |        0 |        0
1622.69/1623.20	c 1623s |      26 | 11903559 | 10708352 |      870  28427 |        0 |        0
1624.69/1625.21	c 1625s |      26 | 11917581 | 10721052 |      870  28455 |        0 |        0
1626.69/1627.22	c 1627s |      26 | 11931785 | 10734052 |      870  28482 |        0 |        0
1628.70/1629.23	c 1629s |      26 | 11945080 | 10746452 |      870  28509 |        0 |        0
1630.70/1631.23	c 1631s |      26 | 11958459 | 10758752 |      870  28535 |        0 |        0
1632.70/1633.24	c 1633s |      26 | 11972311 | 10771452 |      870  28562 |        0 |        0
1634.70/1635.24	c 1635s |      26 | 11986074 | 10783852 |      870  28589 |        0 |        0
1636.70/1637.25	c 1637s |      26 | 12000226 | 10796652 |      870  28616 |        0 |        0
1638.70/1639.26	c 1639s |      26 | 12015050 | 10809952 |      870  28645 |        0 |        0
1640.70/1641.26	c 1641s |      26 | 12029759 | 10823052 |      870  28673 |        0 |        0
1642.70/1643.27	c 1643s |      26 | 12044646 | 10836452 |      870  28702 |        0 |        0
1644.70/1645.28	c 1645s |      26 | 12059658 | 10849752 |      870  28731 |        0 |        0
1646.69/1647.29	c 1647s |      26 | 12074210 | 10862752 |      870  28758 |        0 |        0
1648.69/1649.30	c 1649s |      26 | 12088308 | 10875752 |      870  28786 |        0 |        0
1650.70/1651.30	c 1651s |      26 | 12104713 | 10889952 |      870  28817 |        0 |        0
1652.79/1653.31	c 1653s |      26 | 12121548 | 10904352 |      870  28848 |        0 |        0
1654.79/1655.31	c 1655s |      26 | 12136668 | 10917552 |      870  28876 |        0 |        0
1656.79/1657.32	c 1657s |      26 | 12150569 | 10930252 |      870  28903 |        0 |        0
1658.79/1659.32	c 1659s |      26 | 12165098 | 10943252 |      870  28931 |        0 |        0
1660.79/1661.33	c 1661s |      26 | 12178725 | 10955852 |      870  28959 |        0 |        0
1662.79/1663.34	c 1663s |      26 | 12193448 | 10968852 |      870  28986 |        0 |        0
1664.79/1665.34	c 1665s |      26 | 12208428 | 10982052 |      870  29015 |        0 |        0
1666.79/1667.36	c 1667s |      26 | 12223752 | 10995452 |      870  29044 |        0 |        0
1668.79/1669.36	c 1669s |      26 | 12239513 | 11009352 |      870  29074 |        0 |        0
1670.79/1671.36	c 1671s |      26 | 12255951 | 11023452 |      870  29104 |        0 |        0
1672.79/1673.36	c 1673s |      26 | 12270326 | 11036552 |      870  29132 |        0 |        0
1674.79/1675.38	c 1675s |      26 | 12284629 | 11049652 |      870  29160 |        0 |        0
1676.79/1677.39	c 1677s |      26 | 12299396 | 11062852 |      870  29188 |        0 |        0
1678.79/1679.39	c 1679s |      26 | 12314602 | 11076052 |      870  29217 |        0 |        0
1680.89/1681.40	c 1681s |      26 | 12330354 | 11089952 |      870  29247 |        0 |        0
1682.89/1683.42	c 1683s |      26 | 12344326 | 11102752 |      870  29274 |        0 |        0
1684.89/1685.43	c 1685s |      26 | 12358336 | 11115652 |      870  29302 |        0 |        0
1686.88/1687.44	c 1687s |      26 | 12373367 | 11129052 |      870  29330 |        0 |        0
1688.88/1689.45	c 1689s |      26 | 12388163 | 11142452 |      870  29359 |        0 |        0
1690.88/1691.45	c 1691s |      26 | 12401943 | 11155152 |      870  29386 |        0 |        0
1692.88/1693.45	c 1693s |      26 | 12415229 | 11167152 |      870  29412 |        0 |        0
1694.88/1695.45	c 1695s |      26 | 12432051 | 11181552 |      870  29443 |        0 |        0
1696.89/1697.46	c 1697s |      26 | 12447390 | 11194952 |      870  29472 |        0 |        0
1698.88/1699.47	c 1699s |      26 | 12460799 | 11207352 |      870  29498 |        0 |        0
1700.88/1701.48	c 1701s |      26 | 12475563 | 11220552 |      870  29527 |        0 |        0
1702.88/1703.49	c 1703s |      26 | 12490425 | 11233952 |      870  29555 |        0 |        0
1704.88/1705.49	c 1705s |      26 | 12505351 | 11247352 |      870  29584 |        0 |        0
1706.98/1707.51	c 1707s |      26 | 12520651 | 11261152 |      870  29614 |        0 |        0
1708.99/1709.52	c 1709s |      26 | 12538171 | 11276052 |      870  29646 |        0 |        0
1710.98/1711.53	c 1711s |      26 | 12554771 | 11290652 |      870  29677 |        0 |        0
1712.98/1713.54	c 1713s |      26 | 12571028 | 11305052 |      870  29708 |        0 |        0
1714.98/1715.54	c 1715s |      26 | 12587039 | 11319252 |      958  29738 |        0 |        0
1716.98/1717.54	c 1717s |      26 | 12602868 | 11333052 |      958  29765 |        0 |        0
1718.98/1719.55	c 1719s |      26 | 12618358 | 11346852 |      958  29792 |        0 |        0
1720.98/1721.56	c 1721s |      26 | 12632446 | 11359652 |      958  29817 |        0 |        0
1722.97/1723.56	c 1723s |      26 | 12645976 | 11372152 |      958  29841 |        0 |        0
1724.97/1725.57	c 1725s |      26 | 12661055 | 11385652 |      958  29868 |        0 |        0
1726.68/1727.20	c 1727s |      27 | 12673194 | 11396733 |      958  29889 |        0 |        0
1728.67/1729.21	c 1729s |      27 | 12686366 | 11408833 |      958  29913 |        0 |        0
1730.67/1731.21	c 1731s |      27 | 12699225 | 11420733 |      958  29936 |        0 |        0
1732.67/1733.22	c 1733s |      27 | 12712604 | 11433033 |      958  29960 |        0 |        0
1734.68/1735.22	c 1735s |      27 | 12726114 | 11445433 |      958  29985 |        0 |        0
1736.68/1737.23	c 1737s |      27 | 12739065 | 11457433 |      958  30008 |        0 |        0
1738.69/1739.24	c 1739s |      27 | 12752358 | 11469633 |      958  30032 |        0 |        0
1740.68/1741.26	c 1741s |      27 | 12766897 | 11482533 |      958  30058 |        0 |        0
1742.68/1743.26	c 1743s |      27 | 12780332 | 11494833 |      958  30082 |        0 |        0
1744.68/1745.26	c 1745s |      27 | 12792729 | 11506233 |      958  30104 |        0 |        0
1746.68/1747.27	c 1747s |      27 | 12805863 | 11518233 |      958  30127 |        0 |        0
1748.68/1749.29	c 1749s |      27 | 12818278 | 11529833 |      958  30150 |        0 |        0
1750.78/1751.30	c 1751s |      27 | 12830498 | 11541433 |      958  30173 |        0 |        0
1752.78/1753.31	c 1753s |      27 | 12842963 | 11552933 |      958  30195 |        0 |        0
1754.78/1755.33	c 1755s |      27 | 12855112 | 11564333 |      958  30218 |        0 |        0
1756.78/1757.34	c 1757s |      27 | 12867651 | 11576133 |      958  30241 |        0 |        0
1758.77/1759.34	c 1759s |      27 | 12879815 | 11587533 |      958  30263 |        0 |        0
1760.78/1761.35	c 1761s |      27 | 12892250 | 11599133 |      958  30286 |        0 |        0
1762.77/1763.37	c 1763s |      27 | 12905853 | 11611633 |      958  30310 |        0 |        0
1764.77/1765.37	c 1765s |      27 | 12917809 | 11622833 |      958  30332 |        0 |        0
1766.77/1767.38	c 1767s |      27 | 12929143 | 11633333 |      958  30352 |        0 |        0
1768.77/1769.38	c 1769s |      27 | 12941487 | 11644733 |      958  30375 |        0 |        0
1770.77/1771.39	c 1771s |      27 | 12954267 | 11656533 |      958  30398 |        0 |        0
1772.88/1773.41	c 1773s |      27 | 12967459 | 11668633 |      958  30422 |        0 |        0
1774.87/1775.41	c 1775s |      27 | 12979819 | 11680133 |      958  30444 |        0 |        0
1776.87/1777.42	c 1777s |      27 | 12993800 | 11692933 |      958  30469 |        0 |        0
1778.87/1779.43	c 1779s |      27 | 13007121 | 11705233 |      958  30494 |        0 |        0
1780.87/1781.43	c 1781s |      27 | 13020416 | 11717433 |      958  30518 |        0 |        0
1782.87/1783.43	c 1783s |      27 | 13033313 | 11729433 |      958  30541 |        0 |        0
1784.87/1785.43	c 1785s |      27 | 13046309 | 11741333 |      958  30565 |        0 |        0
1786.87/1787.45	c 1787s |      27 | 13059577 | 11753633 |      958  30589 |        0 |        0
1788.87/1789.46	c 1789s |      27 | 13072636 | 11765733 |      958  30613 |        0 |        0
1790.86/1791.46	c 1791s |      27 | 13086895 | 11778533 |      958  30638 |        0 |        0
1792.86/1793.47	c 1793s |      27 | 13100448 | 11790833 |      958  30662 |        0 |        0
1794.88/1795.47	c 1795s |      27 | 13113989 | 11803333 |      958  30686 |        0 |        0
1796.87/1797.48	c 1797s |      27 | 13127057 | 11815333 |      958  30710 |        0 |        0
1798.87/1799.49	c 1799s |      27 | 13142397 | 11828533 |      958  30736 |        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-4089904-1466035368/watcher-4089904-1466035368 -o /tmp/evaluation-result-4089904-1466035368/solver-4089904-1466035368 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5971 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089904-1466035368.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.19 2.13 3/179 9277
/proc/meminfo: memFree=30429044/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=701884 CPUtime=0 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 2614 0 0 0 0 0 0 0 20 0 4 0 5582257 718729216 2975 33554432000 4194304 16246674 140736926996368 140736926995792 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 175983 2985 441 2943 0 172877 0
[pid=9277/tid=9278] ppid=9274 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 736555008 3044 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 740749312 3059 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5582257 744943616 3077 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.22 2.19 2.13 3/179 9277
/proc/meminfo: memFree=30429044/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 27805 0 0 0 6 3 0 0 20 0 4 0 5582257 1247350784 28155 33554432000 4194304 16246674 140736926996368 140736926995792 5589685 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 304529 28164 715 2943 0 301423 0
[pid=9277/tid=9278] ppid=9274 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1247350784 28169 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1247350784 28175 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5582257 1247350784 28181 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200566 s]
/proc/loadavg: 2.22 2.19 2.13 3/179 9277
/proc/meminfo: memFree=30429044/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 54758 0 0 0 12 7 0 0 20 0 4 0 5582257 1247350784 55107 33554432000 4194304 16246674 140736926996368 140736926979368 6044843 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 304529 55119 715 2943 0 301423 0
[pid=9277/tid=9278] ppid=9274 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1247350784 55126 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1247350784 55135 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5582257 1247350784 55146 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300517 s]
/proc/loadavg: 2.22 2.19 2.13 3/179 9277
/proc/meminfo: memFree=30429044/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 82827 0 0 0 19 10 0 0 20 0 4 0 5582257 1247350784 83177 33554432000 4194304 16246674 140736926996368 140736926979368 5546181 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 304529 83192 715 2943 0 301423 0
[pid=9277/tid=9278] ppid=9274 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1247350784 83200 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1247350784 83206 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5582257 1247350784 83212 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700359 s]
/proc/loadavg: 2.22 2.19 2.13 3/179 9277
/proc/meminfo: memFree=30429044/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 193065 0 0 0 44 25 0 0 20 0 4 0 5582257 1247350784 193414 33554432000 4194304 16246674 140736926996368 140736926979368 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 304529 193426 715 2943 0 301423 0
[pid=9277/tid=9278] ppid=9274 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1247350784 193432 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1247350784 193438 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5582257 1247350784 193450 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.22 2.19 2.13 3/183 9281
/proc/meminfo: memFree=29446736/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1306180 CPUtime=1.48 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 256094 0 0 0 115 33 0 0 20 0 4 0 5582257 1337528320 256424 33554432000 4194304 16246674 140736926996368 140736926979368 13923760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326545 256433 791 2943 0 323439 0
[pid=9277/tid=9278] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 256440 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 256446 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 256452 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1306180

[startup+3.10037 s]
/proc/loadavg: 2.22 2.19 2.13 3/183 9281
/proc/meminfo: memFree=29357812/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 267402 0 0 0 273 35 0 0 20 0 4 0 5582257 1337528320 267731 33554432000 4194304 16246674 140736926996368 140736926979368 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326545 267731 791 2943 0 323439 0
[pid=9277/tid=9278] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267731 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267731 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267731 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.28 2.20 2.14 3/183 9281
/proc/meminfo: memFree=29358308/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 267408 0 0 0 594 35 0 0 20 0 4 0 5582257 1337528320 267737 33554432000 4194304 16246674 140736926996368 140736926978240 5523536 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326545 267737 791 2943 0 323439 0
[pid=9277/tid=9278] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267737 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267737 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267737 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.26 2.20 2.14 3/183 9281
/proc/meminfo: memFree=29358192/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 267418 0 0 0 1233 35 0 0 20 0 4 0 5582257 1337528320 267747 33554432000 4194304 16246674 140736926996368 140736926978240 6013428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326545 267747 791 2943 0 323439 0
[pid=9277/tid=9278] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267747 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267747 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267747 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5074 s]
/proc/loadavg: 2.20 2.19 2.13 4/183 9281
/proc/meminfo: memFree=29358248/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 267442 0 0 0 2513 36 0 0 20 0 4 0 5582257 1337528320 267771 33554432000 4194304 16246674 140736926996368 140736926978240 5661964 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326545 267771 793 2943 0 323439 0
[pid=9277/tid=9278] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267771 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267771 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267771 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.28 2.20 2.14 3/183 9281
/proc/meminfo: memFree=29357732/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 267443 0 0 0 5071 37 0 0 20 0 4 0 5582257 1337528320 267772 33554432000 4194304 16246674 140736926996368 140736926978240 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326545 267772 794 2943 0 323439 0
[pid=9277/tid=9278] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267772 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267772 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267772 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.19 2.19 2.13 3/183 9282
/proc/meminfo: memFree=29357580/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 267468 0 0 0 10190 38 0 0 20 0 4 0 5582257 1337528320 267797 33554432000 4194304 16246674 140736926996368 140736926978240 5706752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326545 267797 795 2943 0 323439 0
[pid=9277/tid=9278] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267797 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267797 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1337528320 267797 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.15 2.15 2.14 3/183 9313
/proc/meminfo: memFree=29353824/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1307204 CPUtime=1361.83 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 268104 0 0 0 136125 58 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140736926978240 5662452 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326801 267983 796 2943 0 323695 0
[pid=9277/tid=9278] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.05 2.12 2.13 3/183 9314
/proc/meminfo: memFree=29353676/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1307204 CPUtime=1421.82 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 268104 0 0 0 142124 58 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140736926979368 5523360 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326801 267983 796 2943 0 323695 0
[pid=9277/tid=9278] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.10 2.12 2.13 3/183 9316
/proc/meminfo: memFree=29353904/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1307204 CPUtime=1481.81 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 268104 0 0 0 148122 59 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140736926978240 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326801 267983 796 2943 0 323695 0
[pid=9277/tid=9278] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1307204

[startup+1542.3 s]
/proc/loadavg: 2.13 2.13 2.13 3/183 9317
/proc/meminfo: memFree=29354132/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1307204 CPUtime=1541.81 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 268104 0 0 0 154121 60 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140736926978240 5675603 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326801 267983 796 2943 0 323695 0
[pid=9277/tid=9278] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.05 2.10 2.12 3/183 9318
/proc/meminfo: memFree=29354240/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1307204 CPUtime=1601.79 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 268104 0 0 0 160119 60 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140736926979368 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326801 267983 796 2943 0 323695 0
[pid=9277/tid=9278] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1307204

[startup+1662.31 s]
/proc/loadavg: 2.07 2.10 2.11 3/184 9371
/proc/meminfo: memFree=29358652/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1307204 CPUtime=1661.8 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 268104 0 0 0 166119 61 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140736926978240 5824140 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326801 267983 796 2943 0 323695 0
[pid=9277/tid=9278] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.17 2.12 2.11 3/183 9372
/proc/meminfo: memFree=29357840/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1307204 CPUtime=1721.77 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 268104 0 0 0 172116 61 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140736926978240 12483272 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326801 267983 796 2943 0 323695 0
[pid=9277/tid=9278] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.10 2.11 2.11 3/183 9374
/proc/meminfo: memFree=29357316/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1307204 CPUtime=1781.77 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 268104 0 0 0 178115 62 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140736926978240 13949909 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326801 267983 796 2943 0 323695 0
[pid=9277/tid=9278] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.12 2.11 3/184 9375
/proc/meminfo: memFree=29357328/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1307204 CPUtime=1800.07 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 268104 0 0 0 179944 63 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140736926978240 13949744 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326801 267983 796 2943 0 323695 0
[pid=9277/tid=9278] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1307204

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9277 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.6 s]
/proc/loadavg: 2.14 2.12 2.11 3/184 9375
/proc/meminfo: memFree=29357328/32872528 swapFree=496356/529060
[pid=9277] ppid=9274 vsize=1307204 CPUtime=1800.07 cores=0,2,4,6
/proc/9277/stat : 9277 (toysat) R 9274 9277 5955 0 -1 4202496 268104 0 0 0 179944 63 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140736926978240 13949744 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9277/statm: 326801 267983 796 2943 0 323695 0
[pid=9277/tid=9278] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9278/stat : 9278 (toysat) S 9274 9277 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233943264496 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9277/tid=9279] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9279/stat : 9279 (toysat) S 9274 9277 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233932774640 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9277/tid=9280] ppid=9274 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9277/task/9280/stat : 9280 (toysat) S 9274 9277 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5582257 1338576896 267983 33554432000 4194304 16246674 140736926996368 140233922301104 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.45
CPU system time (s): 0.630904
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.630904
maximum resident set size= 1071932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268104
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= 465
involuntary context switches= 1989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.888 second user time and 16.5095 second system time

The end

Begin job on node141 at 2016-06-16 02:02:48
IDJOB=4089904
IDBENCH=107473
IDSOLVER=2542
FILE ID=node141/4089904-1466035368
RUNJOBID= node141-1466008015-5971
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= e1659ced500f38c55b81c0c1526c5e2c
RANDOM SEED=390395122

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30429672 kB
Buffers:           46060 kB
Cached:            80020 kB
SwapCached:        13088 kB
Active:          1138768 kB
Inactive:          74108 kB
Active(anon):    1076976 kB
Inactive(anon):    12044 kB
Active(file):      61792 kB
Inactive(file):    62064 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088076 kB
Dirty:             16320 kB
Writeback:             0 kB
AnonPages:       1679768 kB
Mapped:            10384 kB
Shmem:                 0 kB
Slab:             567376 kB
SReclaimable:      11260 kB
SUnreclaim:       556116 kB
KernelStack:        1520 kB
PageTables:         7160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1745732 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    112640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node141 at 2016-06-16 02:32:49