0.00/0.00	c 2016-06-30T20:27:28+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-4120474-1467311248.opb"]
0.00/0.01	c use --random-gen="1612323489 198241624 44118761 1863855211 212417206 2060073241 531719214 4045256389 3205650407 261334747 1172799934 3242072086 3263342780 3274649320 3608297399 3196918774 4273415169 379325170 2742473441 3102324786 855521369 3494459434 287843593 786865917 3847924038 3720486609 3211067688 2444726831 1049603977 3421655775 4016970115 270258952 34747734 7593240 2984359699 2389152718 1166286684 2321295897 812324743 3495640909 3443184402 582878217 3216439348 4288002677 1616169941 798765739 2547582437 4138608541 217633143 45006910 2673174576 2870499669 2761432781 627881561 3337263076 231746114 1767219033 4274929793 4162153180 3444879717 1170114621 1522382561 2208065994 3226872753 975445808 1818770172 1097966527 3586691913 4195192976 1105858387 3577584804 2407543501 3958809623 3270317767 2772493635 3633395233 431346278 1753812982 3752690165 3251243902 3361378853 2482568775 134717026 2259998938 449225391 244578674 2028862684 3462627616 3928039707 155482840 845156725 2337939265 313508135 827991107 3486059141 2312713759 841583168 506617204 2640295799 1157787132 1940529513 4285476919 1201875816 2642582839 2606334091 2337010608 531238676 4263126452 2908052345 1152546524 3157999648 3896369410 762413262 1549275490 2203309469 1096960072 1485779144 2168626428 1102906338 1730879591 1496912655 2699237636 3372905899 1052662307 4004147498 955351053 4234359837 2412333780 2073334353 3838686288 1505045297 1240753668 1617404899 476425132 2056840130 645219939 1680887998 8299812 2595305245 103337835 97033597 19131722 526285654 3313675327 1191296160 1281949563 1309755756 1597040548 3136542808 1817767187 1795425552 2631508412 3875664678 281519908 3361833720 3417758979 3971102569 1386620536 3899488809 745542799 4276145067 668111555 2680880834 2296538099 1679966755 3838981893 411974937 15474451 2542798929 4066625206 2817189389 2421602933 1510047448 706413647 1926298272 197571686 3809204547 79208991 3168998529 3197739860 1357242134 474288766 1449553908 2594376177 401373029 171154570 196863285 522324444 828219066 3075729893 4098522251 1218530904 2720045166 458208893 97914436 2745851592 445791036 584653114 231622331 3536936148 407544274 1616139294 1153589332 1129053251 3800301461 29665425 1438943035 378586919 3421137540 1651860753 4115335618 1855498963 1728438185 1108806678 1325502641 3456388689 1026892431 92947257 1720185456 1806977285 2915789522 1308858983 3098157928 1499562895 3626058846 3484902266 2862711517 998541845 3498808886 2880307560 2928835007 2298951903 1082731898 1064019673 760964919 1849119208 2501018125 214670810 1362508929 4004264702 858118271 2475096276 3965652468 34531387 2296894672 371900521 280394149 3137750659 2572783573 3708414044 2267886276 597749812 1381163300 2992611000 1002415226 1868678775 255 362436" option to reproduce the execution
0.00/0.01	c #vars 125
0.00/0.01	c #constraints 124
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 |       83      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      185 |      100 |       83      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      451 |      250 |       92      3 |        0 |        0
0.00/0.05	c  0.0s |       3 |      859 |      475 |      102      6 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1557 |      813 |      113     10 |        0 |        0
0.09/0.13	c  0.1s |       5 |     2505 |     1320 |      125     17 |        0 |        0
0.09/0.20	c  0.2s |       6 |     3751 |     2081 |      152     26 |        0 |        0
0.29/0.30	c  0.3s |       7 |     5472 |     3223 |      168     39 |        0 |        0
0.38/0.44	c  0.4s |       8 |     8620 |     4936 |      185     57 |        0 |        0
0.59/0.68	c  0.7s |       9 |    12190 |     7506 |      204     82 |        0 |        0
0.99/1.05	c  1.0s |      10 |    17445 |    11361 |      225    115 |        0 |        0
1.39/1.48	c  1.5s |      11 |    25566 |    17144 |      248    161 |        0 |        0
2.09/2.11	c  2.1s |      12 |    37728 |    25819 |      273    226 |        0 |        0
2.99/3.01	c  3.0s |      13 |    55677 |    38832 |      301    314 |        0 |        0
4.39/4.41	c  4.4s |      14 |    83685 |    58352 |      332    435 |        0 |        0
6.39/6.42	c  6.4s |      14 |   116842 |    83952 |      332    580 |        0 |        0
6.69/6.71	c  6.7s |      15 |   121489 |    87632 |      366    601 |        0 |        0
8.68/8.71	c  8.7s |      15 |   155963 |   113132 |      366    733 |        0 |        0
10.09/10.16	c 10.2s |      16 |   180122 |   131552 |      403    828 |        0 |        0
12.09/12.17	c 12.2s |      16 |   211402 |   156252 |      403    944 |        0 |        0
14.08/14.17	c 14.2s |      16 |   241828 |   180552 |      403   1059 |        0 |        0
15.49/15.53	c 15.5s |      17 |   263585 |   197432 |      444   1139 |        0 |        0
17.48/17.53	c 17.5s |      17 |   298087 |   222932 |      444   1249 |        0 |        0
19.48/19.53	c 19.5s |      17 |   335161 |   248732 |      444   1362 |        0 |        0
21.48/21.54	c 21.5s |      17 |   364823 |   272432 |      444   1465 |        0 |        0
23.48/23.50	c 23.5s |      18 |   397133 |   296252 |      489   1567 |        0 |        0
25.49/25.51	c 25.5s |      18 |   431215 |   321652 |      489   1667 |        0 |        0
27.49/27.51	c 27.5s |      18 |   462936 |   346252 |      489   1764 |        0 |        0
29.49/29.52	c 29.5s |      18 |   494866 |   370652 |      489   1860 |        0 |        0
31.49/31.52	c 31.5s |      18 |   526283 |   394852 |      489   1956 |        0 |        0
33.48/33.53	c 33.5s |      18 |   558830 |   419252 |      489   2053 |        0 |        0
35.48/35.53	c 35.5s |      18 |   587859 |   442652 |      538   2145 |        0 |        0
35.58/35.69	c 35.7s |      19 |   590048 |   444482 |      538   2151 |        0 |        0
37.68/37.70	c 37.7s |      19 |   625927 |   469982 |      538   2243 |        0 |        0
39.69/39.71	c 39.7s |      19 |   660007 |   495182 |      538   2333 |        0 |        0
41.68/41.71	c 41.7s |      19 |   692616 |   519682 |      538   2422 |        0 |        0
43.68/43.71	c 43.7s |      19 |   724677 |   544382 |      538   2511 |        0 |        0
45.68/45.72	c 45.7s |      19 |   753952 |   567882 |      538   2596 |        0 |        0
47.68/47.73	c 47.7s |      19 |   782510 |   590482 |      538   2678 |        0 |        0
49.68/49.73	c 49.7s |      19 |   813592 |   614282 |      538   2764 |        0 |        0
51.69/51.73	c 51.7s |      19 |   844695 |   637982 |      538   2851 |        0 |        0
53.68/53.73	c 53.7s |      19 |   874814 |   661982 |      538   2938 |        0 |        0
54.08/54.16	c 54.1s |      20 |   880823 |   666827 |      592   2953 |        0 |        0
56.08/56.16	c 56.2s |      20 |   907157 |   688427 |      592   3024 |        0 |        0
58.08/58.17	c 58.2s |      20 |   935490 |   710627 |      592   3097 |        0 |        0
60.07/60.17	c 60.2s |      20 |   962790 |   732727 |      592   3170 |        0 |        0
62.08/62.18	c 62.2s |      20 |   991377 |   755227 |      592   3244 |        0 |        0
64.08/64.18	c 64.2s |      20 |  1019152 |   777227 |      592   3316 |        0 |        0
66.09/66.19	c 66.2s |      20 |  1045597 |   798727 |      592   3387 |        0 |        0
68.08/68.19	c 68.2s |      20 |  1072159 |   820627 |      592   3459 |        0 |        0
70.08/70.20	c 70.2s |      20 |  1102307 |   844227 |      592   3537 |        0 |        0
72.18/72.20	c 72.2s |      20 |  1133286 |   868327 |      592   3617 |        0 |        0
74.18/74.20	c 74.2s |      20 |  1162567 |   891827 |      592   3694 |        0 |        0
76.18/76.21	c 76.2s |      20 |  1188272 |   913427 |      592   3766 |        0 |        0
78.19/78.21	c 78.2s |      20 |  1216465 |   936227 |      592   3841 |        0 |        0
80.18/80.22	c 80.2s |      20 |  1245472 |   959227 |      592   3917 |        0 |        0
82.18/82.23	c 82.2s |      20 |  1274713 |   982527 |      592   3994 |        0 |        0
83.69/83.78	c 83.8s |      21 |  1296245 |  1000345 |      652   4051 |        0 |        0
85.68/85.78	c 85.8s |      21 |  1331690 |  1024445 |      652   4123 |        0 |        0
87.68/87.79	c 87.8s |      21 |  1364970 |  1048845 |      652   4196 |        0 |        0
89.68/89.79	c 89.8s |      21 |  1397246 |  1072245 |      652   4266 |        0 |        0
91.68/91.79	c 91.8s |      21 |  1429051 |  1095045 |      652   4335 |        0 |        0
93.77/93.80	c 93.8s |      21 |  1461661 |  1118745 |      652   4406 |        0 |        0
95.68/95.80	c 95.8s |      21 |  1493654 |  1142445 |      652   4477 |        0 |        0
97.77/97.81	c 97.8s |      21 |  1527701 |  1166445 |      652   4549 |        0 |        0
99.77/99.81	c 99.8s |      21 |  1557204 |  1188945 |      652   4617 |        0 |        0
101.77/101.81	c  101s |      21 |  1589420 |  1212645 |      652   4688 |        0 |        0
103.77/103.81	c  103s |      21 |  1620837 |  1236245 |      652   4759 |        0 |        0
105.77/105.82	c  105s |      21 |  1652230 |  1260245 |      652   4831 |        0 |        0
107.78/107.83	c  107s |      21 |  1682054 |  1283645 |      652   4901 |        0 |        0
109.77/109.83	c  109s |      21 |  1712741 |  1307345 |      652   4973 |        0 |        0
111.77/111.83	c  111s |      21 |  1744613 |  1331645 |      652   5046 |        0 |        0
113.77/113.84	c  113s |      21 |  1776023 |  1355445 |      652   5118 |        0 |        0
115.78/115.84	c  115s |      21 |  1809271 |  1380145 |      652   5192 |        0 |        0
117.78/117.85	c  117s |      21 |  1841861 |  1404245 |      652   5264 |        0 |        0
119.77/119.85	c  119s |      21 |  1873773 |  1428145 |      652   5336 |        0 |        0
121.77/121.85	c  121s |      21 |  1903762 |  1451145 |      652   5405 |        0 |        0
123.77/123.85	c  123s |      21 |  1933057 |  1474345 |      652   5474 |        0 |        0
125.77/125.85	c  125s |      21 |  1961079 |  1496845 |      718   5540 |        0 |        0
126.07/126.16	c  126s |      22 |  1966171 |  1500622 |      718   5550 |        0 |        0
128.07/128.16	c  128s |      22 |  1994879 |  1522822 |      718   5610 |        0 |        0
130.07/130.16	c  130s |      22 |  2020856 |  1544222 |      718   5668 |        0 |        0
132.08/132.17	c  132s |      22 |  2051451 |  1566922 |      718   5730 |        0 |        0
134.07/134.17	c  134s |      22 |  2083544 |  1590522 |      718   5794 |        0 |        0
136.07/136.18	c  136s |      22 |  2113583 |  1613822 |      718   5858 |        0 |        0
138.07/138.18	c  138s |      22 |  2141992 |  1636022 |      718   5918 |        0 |        0
140.07/140.19	c  140s |      22 |  2169629 |  1657622 |      718   5978 |        0 |        0
142.07/142.19	c  142s |      22 |  2198143 |  1679022 |      718   6036 |        0 |        0
144.07/144.20	c  144s |      22 |  2225692 |  1700522 |      718   6095 |        0 |        0
146.16/146.20	c  146s |      22 |  2251542 |  1721422 |      718   6152 |        0 |        0
148.16/148.20	c  148s |      22 |  2278264 |  1742822 |      718   6210 |        0 |        0
150.16/150.20	c  150s |      22 |  2304883 |  1764522 |      718   6270 |        0 |        0
152.16/152.22	c  152s |      22 |  2331679 |  1786122 |      718   6329 |        0 |        0
154.17/154.22	c  154s |      22 |  2355893 |  1806522 |      718   6384 |        0 |        0
156.18/156.23	c  156s |      22 |  2383597 |  1828222 |      718   6443 |        0 |        0
158.17/158.23	c  158s |      22 |  2411693 |  1850522 |      718   6504 |        0 |        0
160.17/160.23	c  160s |      22 |  2439879 |  1872822 |      718   6565 |        0 |        0
162.17/162.24	c  162s |      22 |  2469715 |  1896022 |      718   6629 |        0 |        0
164.17/164.24	c  164s |      22 |  2498746 |  1919122 |      718   6692 |        0 |        0
166.17/166.24	c  166s |      22 |  2529337 |  1942522 |      718   6757 |        0 |        0
168.17/168.25	c  168s |      22 |  2555849 |  1964422 |      718   6817 |        0 |        0
170.17/170.26	c  170s |      22 |  2583274 |  1986422 |      718   6876 |        0 |        0
172.16/172.27	c  172s |      22 |  2607019 |  2006722 |      718   6932 |        0 |        0
174.16/174.27	c  174s |      22 |  2630586 |  2026622 |      718   6986 |        0 |        0
176.16/176.28	c  176s |      22 |  2656531 |  2047922 |      718   7044 |        0 |        0
178.17/178.28	c  178s |      22 |  2680852 |  2068322 |      718   7100 |        0 |        0
180.16/180.29	c  180s |      22 |  2704073 |  2088222 |      718   7154 |        0 |        0
182.26/182.30	c  182s |      22 |  2727786 |  2108522 |      718   7210 |        0 |        0
184.26/184.30	c  184s |      22 |  2752598 |  2129122 |      718   7266 |        0 |        0
186.26/186.31	c  186s |      22 |  2780833 |  2152022 |      718   7329 |        0 |        0
188.26/188.31	c  188s |      22 |  2807398 |  2173922 |      718   7389 |        0 |        0
190.26/190.32	c  190s |      22 |  2835172 |  2196522 |      718   7451 |        0 |        0
192.25/192.32	c  192s |      22 |  2863216 |  2218722 |      718   7512 |        0 |        0
194.25/194.33	c  194s |      22 |  2889492 |  2240122 |      790   7569 |        0 |        0
195.25/195.37	c  195s |      23 |  2902732 |  2251038 |      790   7596 |        0 |        0
197.26/197.38	c  197s |      23 |  2928718 |  2271938 |      790   7647 |        0 |        0
199.26/199.39	c  199s |      23 |  2952789 |  2291838 |      790   7697 |        0 |        0
201.27/201.39	c  201s |      23 |  2975156 |  2310838 |      790   7744 |        0 |        0
203.26/203.39	c  203s |      23 |  2999344 |  2330438 |      790   7792 |        0 |        0
205.36/205.40	c  205s |      23 |  3024251 |  2350638 |      790   7842 |        0 |        0
207.36/207.40	c  207s |      23 |  3051997 |  2372338 |      790   7896 |        0 |        0
209.36/209.41	c  209s |      23 |  3079579 |  2393238 |      790   7948 |        0 |        0
211.36/211.42	c  211s |      23 |  3108120 |  2415038 |      790   8002 |        0 |        0
213.36/213.42	c  213s |      23 |  3137063 |  2436538 |      790   8056 |        0 |        0
215.35/215.42	c  215s |      23 |  3164302 |  2458038 |      790   8109 |        0 |        0
217.35/217.42	c  217s |      23 |  3190508 |  2478838 |      790   8161 |        0 |        0
219.35/219.43	c  219s |      23 |  3216154 |  2499538 |      790   8212 |        0 |        0
221.35/221.44	c  221s |      23 |  3243851 |  2521438 |      790   8267 |        0 |        0
223.36/223.45	c  223s |      23 |  3271913 |  2543138 |      790   8320 |        0 |        0
225.35/225.45	c  225s |      23 |  3298975 |  2564538 |      790   8374 |        0 |        0
227.35/227.45	c  227s |      23 |  3325184 |  2585438 |      790   8426 |        0 |        0
229.35/229.46	c  229s |      23 |  3349705 |  2605538 |      790   8476 |        0 |        0
231.36/231.47	c  231s |      23 |  3375638 |  2626338 |      790   8528 |        0 |        0
233.36/233.47	c  233s |      23 |  3401616 |  2647338 |      790   8580 |        0 |        0
235.36/235.47	c  235s |      23 |  3431818 |  2670138 |      790   8637 |        0 |        0
237.35/237.47	c  237s |      23 |  3458657 |  2690938 |      790   8689 |        0 |        0
239.35/239.48	c  239s |      23 |  3486264 |  2712338 |      790   8742 |        0 |        0
241.35/241.48	c  241s |      23 |  3514100 |  2733838 |      790   8795 |        0 |        0
243.35/243.49	c  243s |      23 |  3540345 |  2754638 |      790   8847 |        0 |        0
245.45/245.50	c  245s |      23 |  3565036 |  2774638 |      790   8897 |        0 |        0
247.45/247.50	c  247s |      23 |  3589001 |  2794338 |      790   8946 |        0 |        0
249.45/249.51	c  249s |      23 |  3614216 |  2814738 |      790   8996 |        0 |        0
251.45/251.51	c  251s |      23 |  3638413 |  2834638 |      790   9046 |        0 |        0
253.45/253.52	c  253s |      23 |  3665666 |  2855538 |      790   9097 |        0 |        0
255.45/255.53	c  255s |      23 |  3691472 |  2876038 |      790   9148 |        0 |        0
257.45/257.53	c  257s |      23 |  3715784 |  2895938 |      790   9198 |        0 |        0
259.44/259.54	c  259s |      23 |  3740380 |  2916338 |      790   9248 |        0 |        0
261.44/261.54	c  261s |      23 |  3767290 |  2937838 |      790   9302 |        0 |        0
263.44/263.55	c  263s |      23 |  3797788 |  2960238 |      790   9358 |        0 |        0
265.44/265.56	c  265s |      23 |  3826847 |  2982038 |      790   9412 |        0 |        0
267.44/267.56	c  267s |      23 |  3851402 |  3001538 |      790   9461 |        0 |        0
269.45/269.56	c  269s |      23 |  3874514 |  3020438 |      790   9507 |        0 |        0
271.44/271.56	c  271s |      23 |  3898780 |  3040138 |      790   9556 |        0 |        0
273.45/273.57	c  273s |      23 |  3920106 |  3058338 |      790   9602 |        0 |        0
275.45/275.57	c  275s |      23 |  3942233 |  3077038 |      790   9648 |        0 |        0
277.45/277.57	c  277s |      23 |  3962065 |  3094238 |      790   9691 |        0 |        0
279.46/279.58	c  279s |      23 |  3986574 |  3114738 |      790   9741 |        0 |        0
281.45/281.58	c  281s |      23 |  4010911 |  3134838 |      790   9791 |        0 |        0
283.45/283.58	c  283s |      23 |  4034949 |  3154738 |      790   9841 |        0 |        0
285.44/285.59	c  285s |      23 |  4058107 |  3174038 |      790   9888 |        0 |        0
287.44/287.59	c  287s |      23 |  4084345 |  3194738 |      790   9940 |        0 |        0
289.54/289.60	c  289s |      23 |  4111474 |  3216038 |      790   9993 |        0 |        0
291.55/291.61	c  291s |      23 |  4139977 |  3238038 |      790  10047 |        0 |        0
293.54/293.62	c  293s |      23 |  4167267 |  3259438 |      790  10101 |        0 |        0
295.54/295.63	c  295s |      23 |  4196930 |  3281438 |      790  10156 |        0 |        0
297.54/297.63	c  297s |      23 |  4227673 |  3304038 |      790  10212 |        0 |        0
299.54/299.64	c  299s |      23 |  4257512 |  3326438 |      790  10268 |        0 |        0
301.54/301.65	c  301s |      23 |  4283384 |  3347138 |      790  10319 |        0 |        0
303.54/303.65	c  303s |      23 |  4306897 |  3366338 |      870  10364 |        0 |        0
304.54/304.66	c  304s |      24 |  4320012 |  3376662 |      870  10387 |        0 |        0
306.54/306.66	c  306s |      24 |  4347846 |  3397962 |      870  10435 |        0 |        0
308.54/308.66	c  308s |      24 |  4374777 |  3418762 |      870  10482 |        0 |        0
310.54/310.67	c  310s |      24 |  4402594 |  3439862 |      870  10530 |        0 |        0
312.54/312.67	c  312s |      24 |  4425585 |  3459262 |      870  10573 |        0 |        0
314.55/314.67	c  314s |      24 |  4450235 |  3479162 |      870  10618 |        0 |        0
316.54/316.68	c  316s |      24 |  4476763 |  3499962 |      870  10665 |        0 |        0
318.54/318.69	c  318s |      24 |  4504799 |  3521662 |      870  10714 |        0 |        0
320.54/320.69	c  320s |      24 |  4532421 |  3543262 |      870  10763 |        0 |        0
322.64/322.70	c  322s |      24 |  4562269 |  3565562 |      870  10814 |        0 |        0
324.64/324.70	c  324s |      24 |  4588566 |  3586262 |      870  10861 |        0 |        0
326.54/326.70	c  326s |      24 |  4613718 |  3606462 |      870  10907 |        0 |        0
328.64/328.70	c  328s |      24 |  4639495 |  3626362 |      870  10952 |        0 |        0
330.64/330.71	c  330s |      24 |  4665108 |  3646362 |      870  10997 |        0 |        0
332.64/332.72	c  332s |      24 |  4694285 |  3668162 |      870  11046 |        0 |        0
334.64/334.73	c  334s |      24 |  4718919 |  3688162 |      870  11092 |        0 |        0
336.64/336.73	c  336s |      24 |  4746505 |  3708662 |      870  11138 |        0 |        0
338.63/338.73	c  338s |      24 |  4775694 |  3730262 |      870  11187 |        0 |        0
340.63/340.73	c  340s |      24 |  4804150 |  3751762 |      870  11236 |        0 |        0
342.63/342.73	c  342s |      24 |  4831761 |  3772862 |      870  11283 |        0 |        0
344.63/344.74	c  344s |      24 |  4859852 |  3793362 |      870  11329 |        0 |        0
346.63/346.75	c  346s |      24 |  4890671 |  3815262 |      870  11379 |        0 |        0
348.64/348.75	c  348s |      24 |  4920639 |  3836462 |      870  11427 |        0 |        0
350.63/350.76	c  350s |      24 |  4949590 |  3857762 |      870  11476 |        0 |        0
352.63/352.77	c  352s |      24 |  4979767 |  3879762 |      870  11525 |        0 |        0
354.63/354.78	c  354s |      24 |  5008312 |  3901062 |      870  11574 |        0 |        0
356.63/356.78	c  356s |      24 |  5036548 |  3921962 |      870  11621 |        0 |        0
358.64/358.79	c  358s |      24 |  5065464 |  3943162 |      870  11669 |        0 |        0
360.64/360.79	c  360s |      24 |  5091497 |  3963162 |      870  11715 |        0 |        0
362.64/362.79	c  362s |      24 |  5116976 |  3982962 |      870  11760 |        0 |        0
364.64/364.79	c  364s |      24 |  5141882 |  4002962 |      870  11805 |        0 |        0
366.74/366.80	c  366s |      24 |  5169965 |  4024462 |      870  11854 |        0 |        0
368.74/368.80	c  368s |      24 |  5199003 |  4045762 |      870  11902 |        0 |        0
370.74/370.81	c  370s |      24 |  5226698 |  4067062 |      870  11951 |        0 |        0
372.73/372.82	c  372s |      24 |  5255346 |  4088962 |      870  12000 |        0 |        0
374.73/374.82	c  374s |      24 |  5283209 |  4110362 |      870  12049 |        0 |        0
376.73/376.83	c  376s |      24 |  5310671 |  4131662 |      870  12097 |        0 |        0
378.73/378.84	c  378s |      24 |  5334595 |  4151662 |      870  12143 |        0 |        0
380.73/380.84	c  380s |      24 |  5359837 |  4171762 |      870  12189 |        0 |        0
382.73/382.85	c  382s |      24 |  5387129 |  4193062 |      870  12237 |        0 |        0
384.73/384.85	c  384s |      24 |  5413562 |  4214362 |      870  12286 |        0 |        0
386.73/386.86	c  386s |      24 |  5440126 |  4235362 |      870  12333 |        0 |        0
388.73/388.86	c  388s |      24 |  5464693 |  4255362 |      870  12379 |        0 |        0
390.73/390.87	c  390s |      24 |  5490584 |  4276562 |      870  12427 |        0 |        0
392.73/392.87	c  392s |      24 |  5518896 |  4298462 |      870  12476 |        0 |        0
394.72/394.87	c  394s |      24 |  5548516 |  4320562 |      870  12527 |        0 |        0
396.72/396.88	c  396s |      24 |  5572476 |  4339762 |      870  12570 |        0 |        0
398.72/398.89	c  398s |      24 |  5597376 |  4359262 |      870  12614 |        0 |        0
400.72/400.89	c  400s |      24 |  5622296 |  4379062 |      870  12659 |        0 |        0
402.82/402.90	c  402s |      24 |  5650342 |  4400662 |      870  12708 |        0 |        0
404.73/404.90	c  404s |      24 |  5679100 |  4422862 |      870  12759 |        0 |        0
406.82/406.90	c  406s |      24 |  5707014 |  4444062 |      870  12807 |        0 |        0
408.82/408.90	c  408s |      24 |  5734245 |  4465162 |      870  12855 |        0 |        0
410.82/410.90	c  410s |      24 |  5763811 |  4487062 |      870  12905 |        0 |        0
412.82/412.91	c  412s |      24 |  5791710 |  4509162 |      870  12955 |        0 |        0
414.82/414.91	c  414s |      24 |  5817561 |  4529462 |      870  13001 |        0 |        0
416.83/416.92	c  416s |      24 |  5841077 |  4548862 |      870  13045 |        0 |        0
418.82/418.93	c  418s |      24 |  5867140 |  4569262 |      870  13091 |        0 |        0
420.83/420.93	c  420s |      24 |  5890949 |  4588062 |      870  13134 |        0 |        0
422.83/422.93	c  422s |      24 |  5918182 |  4608662 |      870  13181 |        0 |        0
424.83/424.94	c  424s |      24 |  5943065 |  4628562 |      870  13226 |        0 |        0
426.83/426.94	c  426s |      24 |  5967457 |  4647962 |      870  13270 |        0 |        0
428.83/428.94	c  428s |      24 |  5994601 |  4668762 |      870  13317 |        0 |        0
430.83/430.95	c  430s |      24 |  6020404 |  4689262 |      870  13363 |        0 |        0
432.83/432.96	c  432s |      24 |  6047945 |  4709062 |      870  13408 |        0 |        0
434.82/434.97	c  434s |      24 |  6071418 |  4727762 |      870  13451 |        0 |        0
436.82/436.97	c  436s |      24 |  6096117 |  4747462 |      870  13495 |        0 |        0
438.83/438.98	c  438s |      24 |  6123051 |  4767962 |      870  13542 |        0 |        0
440.82/440.99	c  440s |      24 |  6149620 |  4788162 |      870  13588 |        0 |        0
442.82/442.99	c  442s |      24 |  6174929 |  4808162 |      870  13633 |        0 |        0
444.82/444.99	c  444s |      24 |  6201822 |  4828862 |      870  13680 |        0 |        0
446.92/447.00	c  446s |      24 |  6228736 |  4849362 |      870  13727 |        0 |        0
448.92/449.00	c  448s |      24 |  6255591 |  4870162 |      870  13774 |        0 |        0
450.93/451.01	c  450s |      24 |  6282015 |  4890462 |      870  13820 |        0 |        0
452.92/453.02	c  453s |      24 |  6308118 |  4910662 |      870  13866 |        0 |        0
454.92/455.02	c  455s |      24 |  6334276 |  4931162 |      870  13913 |        0 |        0
456.92/457.02	c  457s |      24 |  6361360 |  4952162 |      870  13960 |        0 |        0
458.92/459.03	c  459s |      24 |  6392328 |  4974362 |      870  14011 |        0 |        0
460.92/461.03	c  461s |      24 |  6420337 |  4995062 |      870  14057 |        0 |        0
462.92/463.03	c  463s |      24 |  6447322 |  5016062 |      870  14105 |        0 |        0
464.91/465.03	c  465s |      24 |  6475369 |  5037362 |      958  14152 |        0 |        0
466.91/467.04	c  467s |      24 |  6503991 |  5058162 |      958  14194 |        0 |        0
467.61/467.77	c  467s |      25 |  6513224 |  5065098 |      958  14209 |        0 |        0
469.62/469.77	c  469s |      25 |  6539086 |  5085198 |      958  14250 |        0 |        0
471.61/471.78	c  471s |      25 |  6566699 |  5106398 |      958  14294 |        0 |        0
473.62/473.79	c  473s |      25 |  6593361 |  5127098 |      958  14336 |        0 |        0
475.62/475.79	c  475s |      25 |  6621805 |  5147998 |      958  14379 |        0 |        0
477.62/477.79	c  477s |      25 |  6647729 |  5167998 |      958  14421 |        0 |        0
479.72/479.80	c  479s |      25 |  6674908 |  5188598 |      958  14463 |        0 |        0
481.72/481.81	c  481s |      25 |  6701138 |  5208998 |      958  14505 |        0 |        0
483.72/483.82	c  483s |      25 |  6731189 |  5230498 |      958  14549 |        0 |        0
485.71/485.82	c  485s |      25 |  6758527 |  5251098 |      958  14592 |        0 |        0
487.71/487.82	c  487s |      25 |  6785804 |  5271898 |      958  14635 |        0 |        0
489.71/489.82	c  489s |      25 |  6812801 |  5292298 |      958  14677 |        0 |        0
491.72/491.83	c  491s |      25 |  6837852 |  5311498 |      958  14716 |        0 |        0
493.71/493.84	c  493s |      25 |  6860145 |  5329998 |      958  14754 |        0 |        0
495.71/495.84	c  495s |      25 |  6884888 |  5349898 |      958  14795 |        0 |        0
497.71/497.85	c  497s |      25 |  6910314 |  5369798 |      958  14836 |        0 |        0
499.71/499.85	c  499s |      25 |  6934002 |  5389198 |      958  14876 |        0 |        0
501.71/501.86	c  501s |      25 |  6955456 |  5407498 |      958  14914 |        0 |        0
503.72/503.86	c  503s |      25 |  6975783 |  5424798 |      958  14950 |        0 |        0
505.71/505.87	c  505s |      25 |  6997073 |  5442898 |      958  14987 |        0 |        0
507.71/507.88	c  507s |      25 |  7020729 |  5461998 |      958  15026 |        0 |        0
509.71/509.88	c  509s |      25 |  7042440 |  5480198 |      958  15064 |        0 |        0
511.71/511.89	c  511s |      25 |  7063591 |  5498098 |      958  15100 |        0 |        0
513.81/513.90	c  513s |      25 |  7086339 |  5517098 |      958  15139 |        0 |        0
515.82/515.91	c  515s |      25 |  7108557 |  5535698 |      958  15178 |        0 |        0
517.81/517.91	c  517s |      25 |  7131753 |  5554498 |      958  15216 |        0 |        0
519.81/519.92	c  519s |      25 |  7154183 |  5573098 |      958  15255 |        0 |        0
521.81/521.92	c  521s |      25 |  7176220 |  5591598 |      958  15293 |        0 |        0
523.81/523.93	c  523s |      25 |  7199036 |  5610498 |      958  15332 |        0 |        0
525.82/525.93	c  525s |      25 |  7222331 |  5629598 |      958  15371 |        0 |        0
527.81/527.93	c  527s |      25 |  7244625 |  5648298 |      958  15409 |        0 |        0
529.81/529.94	c  529s |      25 |  7266710 |  5666898 |      958  15448 |        0 |        0
531.81/531.95	c  531s |      25 |  7290091 |  5685798 |      958  15487 |        0 |        0
533.81/533.95	c  533s |      25 |  7315523 |  5705398 |      958  15527 |        0 |        0
535.81/535.95	c  535s |      25 |  7339130 |  5724298 |      958  15566 |        0 |        0
537.81/537.96	c  537s |      25 |  7360581 |  5741998 |      958  15603 |        0 |        0
539.81/539.97	c  539s |      25 |  7384452 |  5760898 |      958  15642 |        0 |        0
541.81/541.97	c  541s |      25 |  7408110 |  5779898 |      958  15681 |        0 |        0
543.81/543.98	c  543s |      25 |  7431779 |  5799298 |      958  15721 |        0 |        0
545.80/545.98	c  545s |      25 |  7458268 |  5819598 |      958  15763 |        0 |        0
547.81/547.98	c  547s |      25 |  7485145 |  5840098 |      958  15805 |        0 |        0
549.80/549.99	c  549s |      25 |  7510651 |  5860198 |      958  15846 |        0 |        0
551.80/551.99	c  551s |      25 |  7537627 |  5880898 |      958  15889 |        0 |        0
553.90/554.00	c  553s |      25 |  7563760 |  5901298 |      958  15931 |        0 |        0
555.90/556.00	c  555s |      25 |  7589121 |  5921098 |      958  15972 |        0 |        0
557.90/558.01	c  557s |      25 |  7616904 |  5941698 |      958  16014 |        0 |        0
559.91/560.01	c  560s |      25 |  7645099 |  5962898 |      958  16058 |        0 |        0
561.90/562.02	c  562s |      25 |  7674445 |  5984098 |      958  16102 |        0 |        0
563.90/564.02	c  564s |      25 |  7700882 |  6004498 |      958  16144 |        0 |        0
565.90/566.03	c  566s |      25 |  7726757 |  6024498 |      958  16185 |        0 |        0
567.90/568.03	c  568s |      25 |  7753067 |  6044598 |      958  16227 |        0 |        0
569.90/570.03	c  570s |      25 |  7779261 |  6065098 |      958  16269 |        0 |        0
571.91/572.04	c  572s |      25 |  7803076 |  6084598 |      958  16310 |        0 |        0
573.90/574.05	c  574s |      25 |  7828281 |  6104098 |      958  16350 |        0 |        0
575.90/576.06	c  576s |      25 |  7849990 |  6122398 |      958  16387 |        0 |        0
577.90/578.07	c  578s |      25 |  7873972 |  6141998 |      958  16428 |        0 |        0
579.90/580.08	c  580s |      25 |  7901468 |  6162898 |      958  16471 |        0 |        0
581.90/582.08	c  582s |      25 |  7931161 |  6184598 |      958  16516 |        0 |        0
583.90/584.08	c  584s |      25 |  7958263 |  6205498 |      958  16559 |        0 |        0
585.89/586.08	c  586s |      25 |  7987094 |  6226798 |      958  16603 |        0 |        0
587.89/588.09	c  588s |      25 |  8015391 |  6247798 |      958  16646 |        0 |        0
589.99/590.10	c  590s |      25 |  8037944 |  6266298 |      958  16684 |        0 |        0
591.99/592.11	c  592s |      25 |  8059773 |  6284698 |      958  16722 |        0 |        0
594.00/594.12	c  594s |      25 |  8080213 |  6302598 |      958  16759 |        0 |        0
595.99/596.12	c  596s |      25 |  8101412 |  6320698 |      958  16796 |        0 |        0
597.99/598.12	c  598s |      25 |  8125026 |  6339798 |      958  16836 |        0 |        0
600.00/600.13	c  600s |      25 |  8147647 |  6358598 |      958  16874 |        0 |        0
602.00/602.13	c  602s |      25 |  8171663 |  6377798 |      958  16914 |        0 |        0
604.00/604.14	c  604s |      25 |  8194788 |  6396598 |      958  16953 |        0 |        0
606.01/606.15	c  606s |      25 |  8220044 |  6416198 |      958  16993 |        0 |        0
608.00/608.16	c  608s |      25 |  8244143 |  6435298 |      958  17033 |        0 |        0
610.00/610.16	c  610s |      25 |  8269057 |  6454898 |      958  17074 |        0 |        0
612.00/612.17	c  612s |      25 |  8295690 |  6475098 |      958  17115 |        0 |        0
614.00/614.17	c  614s |      25 |  8321588 |  6494898 |      958  17156 |        0 |        0
616.00/616.18	c  616s |      25 |  8346418 |  6514498 |      958  17197 |        0 |        0
618.00/618.19	c  618s |      25 |  8370812 |  6533898 |      958  17237 |        0 |        0
620.00/620.19	c  620s |      25 |  8396823 |  6553998 |      958  17278 |        0 |        0
622.09/622.20	c  622s |      25 |  8424743 |  6575098 |      958  17322 |        0 |        0
624.09/624.20	c  624s |      25 |  8452818 |  6596098 |      958  17365 |        0 |        0
626.09/626.20	c  626s |      25 |  8478625 |  6616098 |      958  17407 |        0 |        0
628.10/628.21	c  628s |      25 |  8504190 |  6635798 |      958  17448 |        0 |        0
630.09/630.22	c  630s |      25 |  8531654 |  6656398 |      958  17490 |        0 |        0
632.09/632.22	c  632s |      25 |  8560021 |  6677598 |      958  17534 |        0 |        0
634.09/634.22	c  634s |      25 |  8586453 |  6698398 |      958  17577 |        0 |        0
636.09/636.23	c  636s |      25 |  8612996 |  6718898 |      958  17619 |        0 |        0
638.09/638.23	c  638s |      25 |  8636933 |  6738198 |      958  17659 |        0 |        0
640.09/640.24	c  640s |      25 |  8662335 |  6758098 |      958  17700 |        0 |        0
642.09/642.24	c  642s |      25 |  8687524 |  6778098 |      958  17741 |        0 |        0
644.09/644.25	c  644s |      25 |  8713925 |  6798598 |      958  17784 |        0 |        0
646.09/646.26	c  646s |      25 |  8738406 |  6818198 |      958  17824 |        0 |        0
648.09/648.27	c  648s |      25 |  8765873 |  6838798 |      958  17866 |        0 |        0
650.09/650.27	c  650s |      25 |  8792211 |  6858798 |      958  17907 |        0 |        0
652.08/652.28	c  652s |      25 |  8816886 |  6877898 |      958  17947 |        0 |        0
654.08/654.28	c  654s |      25 |  8839231 |  6895998 |      958  17984 |        0 |        0
656.08/656.29	c  656s |      25 |  8861508 |  6914198 |      958  18021 |        0 |        0
658.18/658.30	c  658s |      25 |  8883088 |  6932398 |      958  18059 |        0 |        0
660.18/660.30	c  660s |      25 |  8907229 |  6951398 |      958  18098 |        0 |        0
662.09/662.30	c  662s |      25 |  8927244 |  6968698 |      958  18134 |        0 |        0
664.19/664.31	c  664s |      25 |  8947657 |  6985898 |      958  18169 |        0 |        0
666.19/666.32	c  666s |      25 |  8973013 |  7005598 |      958  18210 |        0 |        0
668.19/668.32	c  668s |      25 |  8996063 |  7024298 |      958  18248 |        0 |        0
670.19/670.32	c  670s |      25 |  9017130 |  7041998 |      958  18285 |        0 |        0
672.19/672.33	c  672s |      25 |  9038026 |  7059598 |      958  18321 |        0 |        0
674.19/674.34	c  674s |      25 |  9059120 |  7077698 |      958  18358 |        0 |        0
676.19/676.35	c  676s |      25 |  9082529 |  7096298 |      958  18397 |        0 |        0
678.19/678.36	c  678s |      25 |  9108667 |  7116398 |      958  18438 |        0 |        0
680.19/680.36	c  680s |      25 |  9132300 |  7135698 |      958  18478 |        0 |        0
682.19/682.37	c  682s |      25 |  9158484 |  7155798 |      958  18519 |        0 |        0
684.19/684.38	c  684s |      25 |  9183918 |  7175398 |      958  18560 |        0 |        0
686.18/686.38	c  686s |      25 |  9208692 |  7194898 |      958  18600 |        0 |        0
688.18/688.39	c  688s |      25 |  9232794 |  7214298 |      958  18640 |        0 |        0
690.18/690.39	c  690s |      25 |  9254272 |  7232398 |      958  18677 |        0 |        0
692.28/692.40	c  692s |      25 |  9277416 |  7250998 |      958  18715 |        0 |        0
694.28/694.40	c  694s |      25 |  9300761 |  7269798 |      958  18754 |        0 |        0
696.19/696.40	c  696s |      25 |  9324370 |  7288798 |      958  18793 |        0 |        0
698.28/698.40	c  698s |      25 |  9345408 |  7306498 |      958  18830 |        0 |        0
700.28/700.40	c  700s |      25 |  9364959 |  7323398 |      958  18864 |        0 |        0
702.28/702.41	c  702s |      25 |  9384455 |  7340298 |      958  18899 |        0 |        0
704.28/704.41	c  704s |      25 |  9405516 |  7357798 |      958  18935 |        0 |        0
706.28/706.41	c  706s |      25 |  9429376 |  7377298 |      958  18975 |        0 |        0
708.28/708.42	c  708s |      25 |  9454319 |  7396898 |      958  19016 |        0 |        0
710.27/710.42	c  710s |      25 |  9478629 |  7416298 |      958  19056 |        0 |        0
712.27/712.43	c  712s |      25 |  9503106 |  7435598 |      958  19095 |        0 |        0
714.27/714.44	c  714s |      25 |  9528802 |  7455498 |      958  19136 |        0 |        0
716.27/716.44	c  716s |      25 |  9554480 |  7475598 |      958  19178 |        0 |        0
718.28/718.45	c  718s |      25 |  9582069 |  7495898 |      958  19220 |        0 |        0
720.27/720.45	c  720s |      25 |  9609630 |  7516298 |      958  19262 |        0 |        0
722.27/722.46	c  722s |      25 |  9636297 |  7536298 |      958  19304 |        0 |        0
724.27/724.46	c  724s |      25 |  9660374 |  7555298 |     1054  19340 |        0 |        0
726.27/726.46	c  726s |      25 |  9685120 |  7574298 |     1054  19376 |        0 |        0
728.26/728.46	c  728s |      25 |  9708253 |  7593098 |     1054  19411 |        0 |        0
728.76/728.96	c  728s |      26 |  9713898 |  7597752 |     1054  19420 |        0 |        0
730.76/730.97	c  730s |      26 |  9739565 |  7617552 |     1054  19457 |        0 |        0
732.76/732.97	c  732s |      26 |  9764028 |  7636852 |     1054  19493 |        0 |        0
734.77/734.97	c  734s |      26 |  9787010 |  7655752 |     1054  19529 |        0 |        0
736.77/736.98	c  736s |      26 |  9810781 |  7674952 |     1054  19565 |        0 |        0
738.77/738.98	c  738s |      26 |  9834155 |  7694152 |     1054  19600 |        0 |        0
740.77/740.99	c  740s |      26 |  9856894 |  7712952 |     1054  19636 |        0 |        0
742.77/742.99	c  742s |      26 |  9881115 |  7732152 |     1054  19672 |        0 |        0
744.76/744.99	c  744s |      26 |  9903502 |  7750252 |     1054  19705 |        0 |        0
746.87/747.00	c  746s |      26 |  9924891 |  7768152 |     1054  19739 |        0 |        0
748.86/749.01	c  748s |      26 |  9948525 |  7786852 |     1054  19774 |        0 |        0
750.86/751.02	c  751s |      26 |  9969913 |  7804752 |     1054  19807 |        0 |        0
752.86/753.03	c  753s |      26 |  9993649 |  7823552 |     1054  19843 |        0 |        0
754.86/755.03	c  755s |      26 | 10017315 |  7842452 |     1054  19878 |        0 |        0
756.86/757.04	c  757s |      26 | 10041478 |  7861452 |     1054  19914 |        0 |        0
758.86/759.05	c  759s |      26 | 10062818 |  7879152 |     1054  19947 |        0 |        0
760.86/761.06	c  761s |      26 | 10085388 |  7897052 |     1054  19980 |        0 |        0
762.86/763.06	c  763s |      26 | 10108380 |  7915752 |     1054  20015 |        0 |        0
764.85/765.06	c  765s |      26 | 10131740 |  7934952 |     1054  20051 |        0 |        0
766.85/767.07	c  767s |      26 | 10156629 |  7954652 |     1054  20088 |        0 |        0
768.86/769.07	c  769s |      26 | 10182488 |  7974352 |     1054  20125 |        0 |        0
770.85/771.07	c  771s |      26 | 10205731 |  7993152 |     1054  20160 |        0 |        0
772.85/773.08	c  773s |      26 | 10228143 |  8011652 |     1054  20194 |        0 |        0
774.85/775.08	c  775s |      26 | 10251129 |  8030252 |     1054  20229 |        0 |        0
776.85/777.09	c  777s |      26 | 10273855 |  8048652 |     1054  20264 |        0 |        0
778.84/779.09	c  779s |      26 | 10297665 |  8067452 |     1054  20299 |        0 |        0
780.85/781.09	c  781s |      26 | 10321220 |  8086452 |     1054  20335 |        0 |        0
782.94/783.10	c  783s |      26 | 10343665 |  8104552 |     1054  20368 |        0 |        0
784.94/785.11	c  785s |      26 | 10365367 |  8122652 |     1054  20402 |        0 |        0
786.94/787.11	c  787s |      26 | 10388828 |  8141252 |     1054  20437 |        0 |        0
788.94/789.12	c  789s |      26 | 10411860 |  8160052 |     1054  20473 |        0 |        0
790.94/791.13	c  791s |      26 | 10433798 |  8178252 |     1054  20506 |        0 |        0
792.95/793.13	c  793s |      26 | 10454729 |  8196052 |     1054  20540 |        0 |        0
794.94/795.14	c  795s |      26 | 10478239 |  8215052 |     1054  20575 |        0 |        0
796.94/797.14	c  797s |      26 | 10501947 |  8233952 |     1054  20610 |        0 |        0
798.94/799.15	c  799s |      26 | 10525908 |  8252852 |     1054  20645 |        0 |        0
800.94/801.15	c  801s |      26 | 10552097 |  8272552 |     1054  20682 |        0 |        0
802.94/803.15	c  803s |      26 | 10577010 |  8291952 |     1054  20719 |        0 |        0
804.93/805.16	c  805s |      26 | 10600763 |  8310952 |     1054  20754 |        0 |        0
806.93/807.17	c  807s |      26 | 10627514 |  8330752 |     1054  20791 |        0 |        0
808.93/809.17	c  809s |      26 | 10652895 |  8350352 |     1054  20828 |        0 |        0
810.93/811.18	c  811s |      26 | 10680012 |  8369952 |     1054  20865 |        0 |        0
812.93/813.19	c  813s |      26 | 10700793 |  8387152 |     1054  20897 |        0 |        0
814.94/815.19	c  815s |      26 | 10722479 |  8405352 |     1054  20931 |        0 |        0
817.02/817.20	c  817s |      26 | 10744547 |  8423752 |     1054  20965 |        0 |        0
819.02/819.21	c  819s |      26 | 10767764 |  8442752 |     1054  21001 |        0 |        0
821.02/821.21	c  821s |      26 | 10792177 |  8462152 |     1054  21038 |        0 |        0
823.03/823.21	c  823s |      26 | 10814585 |  8480552 |     1054  21073 |        0 |        0
825.03/825.21	c  825s |      26 | 10838762 |  8499652 |     1054  21109 |        0 |        0
827.03/827.21	c  827s |      26 | 10864084 |  8519952 |     1054  21147 |        0 |        0
829.03/829.22	c  829s |      26 | 10890447 |  8540552 |     1054  21185 |        0 |        0
831.02/831.23	c  831s |      26 | 10915954 |  8560752 |     1054  21223 |        0 |        0
833.02/833.23	c  833s |      26 | 10942342 |  8581052 |     1054  21261 |        0 |        0
835.02/835.23	c  835s |      26 | 10968495 |  8601552 |     1054  21300 |        0 |        0
837.03/837.23	c  837s |      26 | 10996227 |  8622352 |     1054  21339 |        0 |        0
839.02/839.24	c  839s |      26 | 11019118 |  8641152 |     1054  21374 |        0 |        0
841.02/841.25	c  841s |      26 | 11043596 |  8660452 |     1054  21411 |        0 |        0
843.02/843.25	c  843s |      26 | 11066748 |  8679552 |     1054  21447 |        0 |        0
845.02/845.26	c  845s |      26 | 11090435 |  8698652 |     1054  21482 |        0 |        0
847.02/847.27	c  847s |      26 | 11114020 |  8717752 |     1054  21518 |        0 |        0
849.03/849.27	c  849s |      26 | 11135827 |  8736252 |     1054  21553 |        0 |        0
851.02/851.28	c  851s |      26 | 11156994 |  8754252 |     1054  21587 |        0 |        0
853.02/853.28	c  853s |      26 | 11179424 |  8772852 |     1054  21622 |        0 |        0
855.02/855.29	c  855s |      26 | 11204169 |  8791952 |     1054  21658 |        0 |        0
857.12/857.30	c  857s |      26 | 11228038 |  8810952 |     1054  21694 |        0 |        0
859.12/859.31	c  859s |      26 | 11251355 |  8830152 |     1054  21730 |        0 |        0
861.12/861.31	c  861s |      26 | 11276305 |  8849952 |     1054  21768 |        0 |        0
863.11/863.31	c  863s |      26 | 11301830 |  8869952 |     1054  21805 |        0 |        0
865.11/865.33	c  865s |      26 | 11325690 |  8889652 |     1054  21842 |        0 |        0
867.11/867.33	c  867s |      26 | 11347900 |  8908252 |     1054  21877 |        0 |        0
869.11/869.34	c  869s |      26 | 11370507 |  8927352 |     1054  21913 |        0 |        0
871.12/871.35	c  871s |      26 | 11393631 |  8946452 |     1054  21949 |        0 |        0
873.11/873.35	c  873s |      26 | 11416740 |  8965552 |     1054  21984 |        0 |        0
875.11/875.36	c  875s |      26 | 11440214 |  8984952 |     1054  22021 |        0 |        0
877.10/877.37	c  877s |      26 | 11464577 |  9004652 |     1054  22058 |        0 |        0
879.10/879.38	c  879s |      26 | 11488321 |  9024252 |     1054  22094 |        0 |        0
881.10/881.38	c  881s |      26 | 11510444 |  9042752 |     1054  22129 |        0 |        0
883.11/883.40	c  883s |      26 | 11531530 |  9060652 |     1054  22163 |        0 |        0
885.20/885.41	c  885s |      26 | 11554138 |  9079252 |     1054  22197 |        0 |        0
887.20/887.41	c  887s |      26 | 11579819 |  9099052 |     1054  22235 |        0 |        0
889.20/889.42	c  889s |      26 | 11604609 |  9118752 |     1054  22271 |        0 |        0
891.20/891.43	c  891s |      26 | 11631174 |  9139352 |     1054  22310 |        0 |        0
893.20/893.44	c  893s |      26 | 11656806 |  9159452 |     1054  22348 |        0 |        0
895.20/895.45	c  895s |      26 | 11680838 |  9178552 |     1054  22383 |        0 |        0
897.19/897.46	c  897s |      26 | 11702505 |  9196652 |     1054  22417 |        0 |        0
899.20/899.46	c  899s |      26 | 11724378 |  9215052 |     1054  22452 |        0 |        0
901.20/901.46	c  901s |      26 | 11749649 |  9234552 |     1054  22488 |        0 |        0
903.20/903.47	c  903s |      26 | 11774958 |  9254252 |     1054  22525 |        0 |        0
905.21/905.47	c  905s |      26 | 11797779 |  9273052 |     1054  22560 |        0 |        0
907.20/907.48	c  907s |      26 | 11822747 |  9292552 |     1054  22597 |        0 |        0
909.20/909.48	c  909s |      26 | 11847832 |  9312052 |     1054  22633 |        0 |        0
911.20/911.49	c  911s |      26 | 11871980 |  9331152 |     1054  22669 |        0 |        0
913.30/913.50	c  913s |      26 | 11895586 |  9349952 |     1054  22704 |        0 |        0
915.30/915.51	c  915s |      26 | 11920030 |  9369152 |     1054  22741 |        0 |        0
917.30/917.51	c  917s |      26 | 11944551 |  9388452 |     1054  22777 |        0 |        0
919.29/919.52	c  919s |      26 | 11968336 |  9407452 |     1054  22812 |        0 |        0
921.29/921.53	c  921s |      26 | 11991415 |  9425952 |     1054  22847 |        0 |        0
923.29/923.53	c  923s |      26 | 12015950 |  9445152 |     1054  22883 |        0 |        0
925.29/925.54	c  925s |      26 | 12037637 |  9463152 |     1054  22917 |        0 |        0
927.29/927.55	c  927s |      26 | 12059084 |  9480952 |     1054  22950 |        0 |        0
929.29/929.56	c  929s |      26 | 12080254 |  9498552 |     1054  22983 |        0 |        0
931.28/931.56	c  931s |      26 | 12101870 |  9516252 |     1054  23017 |        0 |        0
933.28/933.56	c  933s |      26 | 12125103 |  9535252 |     1054  23052 |        0 |        0
935.28/935.57	c  935s |      26 | 12149746 |  9554852 |     1054  23089 |        0 |        0
937.28/937.58	c  937s |      26 | 12175790 |  9575052 |     1054  23127 |        0 |        0
939.28/939.58	c  939s |      26 | 12203811 |  9595552 |     1054  23165 |        0 |        0
941.28/941.59	c  941s |      26 | 12228789 |  9614852 |     1054  23202 |        0 |        0
943.28/943.60	c  943s |      26 | 12252810 |  9633752 |     1054  23237 |        0 |        0
945.38/945.61	c  945s |      26 | 12276509 |  9652652 |     1054  23273 |        0 |        0
947.37/947.61	c  947s |      26 | 12301945 |  9672052 |     1054  23309 |        0 |        0
949.37/949.61	c  949s |      26 | 12327523 |  9691552 |     1054  23346 |        0 |        0
951.38/951.62	c  951s |      26 | 12351008 |  9709952 |     1054  23380 |        0 |        0
953.37/953.62	c  953s |      26 | 12375989 |  9729452 |     1054  23417 |        0 |        0
955.37/955.63	c  955s |      26 | 12401148 |  9748952 |     1054  23454 |        0 |        0
957.37/957.63	c  957s |      26 | 12428351 |  9768852 |     1054  23491 |        0 |        0
959.37/959.64	c  959s |      26 | 12454238 |  9788652 |     1054  23528 |        0 |        0
961.37/961.64	c  961s |      26 | 12480818 |  9809152 |     1054  23567 |        0 |        0
963.37/963.65	c  963s |      26 | 12507132 |  9829652 |     1054  23605 |        0 |        0
965.37/965.65	c  965s |      26 | 12530888 |  9848852 |     1054  23641 |        0 |        0
967.36/967.66	c  967s |      26 | 12556921 |  9868952 |     1054  23679 |        0 |        0
969.36/969.66	c  969s |      26 | 12579364 |  9887352 |     1054  23713 |        0 |        0
971.37/971.66	c  971s |      26 | 12605306 |  9907452 |     1054  23751 |        0 |        0
973.37/973.66	c  973s |      26 | 12630101 |  9927152 |     1054  23788 |        0 |        0
975.37/975.67	c  975s |      26 | 12655591 |  9947452 |     1054  23827 |        0 |        0
977.36/977.67	c  977s |      26 | 12682203 |  9968152 |     1054  23866 |        0 |        0
979.36/979.68	c  979s |      26 | 12710064 |  9989252 |     1054  23905 |        0 |        0
981.36/981.68	c  981s |      26 | 12735949 | 10009452 |     1054  23943 |        0 |        0
983.36/983.69	c  983s |      26 | 12762936 | 10030152 |     1054  23982 |        0 |        0
985.37/985.70	c  985s |      26 | 12790179 | 10050952 |     1054  24021 |        0 |        0
987.45/987.70	c  987s |      26 | 12816296 | 10071052 |     1054  24059 |        0 |        0
989.45/989.71	c  989s |      26 | 12840477 | 10090452 |     1054  24096 |        0 |        0
991.45/991.71	c  991s |      26 | 12867262 | 10110952 |     1054  24134 |        0 |        0
993.45/993.72	c  993s |      26 | 12891619 | 10130652 |     1054  24171 |        0 |        0
995.45/995.72	c  995s |      26 | 12918322 | 10151352 |     1054  24210 |        0 |        0
997.46/997.72	c  997s |      26 | 12944260 | 10171952 |     1054  24249 |        0 |        0
999.45/999.72	c  999s |      26 | 12970404 | 10191752 |     1054  24286 |        0 |        0
1001.45/1001.73	c 1001s |      26 | 12994860 | 10211152 |     1054  24323 |        0 |        0
1003.45/1003.74	c 1003s |      26 | 13018944 | 10230952 |     1054  24360 |        0 |        0
1005.45/1005.74	c 1005s |      26 | 13043634 | 10250852 |     1054  24398 |        0 |        0
1007.45/1007.75	c 1007s |      26 | 13067598 | 10270552 |     1054  24435 |        0 |        0
1009.44/1009.75	c 1009s |      26 | 13089507 | 10289152 |     1054  24470 |        0 |        0
1011.44/1011.75	c 1011s |      26 | 13113395 | 10308552 |     1054  24506 |        0 |        0
1013.44/1013.75	c 1013s |      26 | 13137575 | 10328052 |     1054  24543 |        0 |        0
1015.44/1015.76	c 1015s |      26 | 13162442 | 10347752 |     1054  24580 |        0 |        0
1017.44/1017.77	c 1017s |      26 | 13187981 | 10367652 |     1054  24617 |        0 |        0
1019.45/1019.77	c 1019s |      26 | 13214644 | 10387752 |     1054  24655 |        0 |        0
1021.44/1021.77	c 1021s |      26 | 13236977 | 10406352 |     1054  24690 |        0 |        0
1023.44/1023.78	c 1023s |      26 | 13260260 | 10425452 |     1054  24726 |        0 |        0
1025.44/1025.78	c 1025s |      26 | 13280750 | 10443152 |     1054  24760 |        0 |        0
1027.43/1027.79	c 1027s |      26 | 13303537 | 10461952 |     1054  24795 |        0 |        0
1029.44/1029.79	c 1029s |      26 | 13326382 | 10480452 |     1054  24830 |        0 |        0
1031.43/1031.80	c 1031s |      26 | 13350056 | 10499252 |     1054  24865 |        0 |        0
1033.53/1033.80	c 1033s |      26 | 13373843 | 10518352 |     1054  24901 |        0 |        0
1035.53/1035.81	c 1035s |      26 | 13398138 | 10537752 |     1054  24937 |        0 |        0
1037.54/1037.82	c 1037s |      26 | 13420505 | 10556452 |     1054  24972 |        0 |        0
1039.54/1039.82	c 1039s |      26 | 13442524 | 10575052 |     1054  25007 |        0 |        0
1041.54/1041.83	c 1041s |      26 | 13464770 | 10593552 |     1054  25042 |        0 |        0
1043.54/1043.83	c 1043s |      26 | 13485581 | 10611352 |     1054  25075 |        0 |        0
1045.54/1045.84	c 1045s |      26 | 13504683 | 10628652 |     1054  25108 |        0 |        0
1047.53/1047.84	c 1047s |      26 | 13526080 | 10646852 |     1054  25142 |        0 |        0
1049.53/1049.85	c 1049s |      26 | 13548057 | 10665752 |     1054  25177 |        0 |        0
1051.53/1051.85	c 1051s |      26 | 13570507 | 10684752 |     1054  25213 |        0 |        0
1053.54/1053.85	c 1053s |      26 | 13593341 | 10703752 |     1054  25249 |        0 |        0
1055.53/1055.86	c 1055s |      26 | 13618775 | 10723952 |     1054  25287 |        0 |        0
1057.53/1057.87	c 1057s |      26 | 13645868 | 10744552 |     1054  25326 |        0 |        0
1059.52/1059.88	c 1059s |      26 | 13671718 | 10764652 |     1054  25364 |        0 |        0
1061.52/1061.88	c 1061s |      26 | 13696257 | 10784252 |     1054  25401 |        0 |        0
1063.53/1063.88	c 1063s |      26 | 13718163 | 10802552 |     1054  25435 |        0 |        0
1065.52/1065.89	c 1065s |      26 | 13739540 | 10820852 |     1054  25470 |        0 |        0
1067.62/1067.90	c 1067s |      26 | 13760587 | 10838852 |     1054  25503 |        0 |        0
1069.62/1069.90	c 1069s |      26 | 13784014 | 10857752 |     1054  25539 |        0 |        0
1071.62/1071.91	c 1071s |      26 | 13807550 | 10876652 |     1054  25574 |        0 |        0
1073.62/1073.92	c 1073s |      26 | 13832645 | 10896752 |     1054  25612 |        0 |        0
1075.63/1075.92	c 1075s |      26 | 13858706 | 10916752 |     1054  25649 |        0 |        0
1077.62/1077.93	c 1077s |      26 | 13884913 | 10936752 |     1054  25687 |        0 |        0
1079.62/1079.93	c 1079s |      26 | 13909649 | 10956552 |     1054  25724 |        0 |        0
1081.62/1081.93	c 1081s |      26 | 13934706 | 10976152 |     1054  25761 |        0 |        0
1083.62/1083.94	c 1083s |      26 | 13963383 | 10997052 |     1054  25800 |        0 |        0
1085.62/1085.95	c 1085s |      26 | 13990561 | 11017852 |     1054  25839 |        0 |        0
1087.62/1087.95	c 1087s |      26 | 14015888 | 11037552 |     1054  25876 |        0 |        0
1089.61/1089.96	c 1089s |      26 | 14039920 | 11057052 |     1054  25912 |        0 |        0
1091.61/1091.97	c 1091s |      26 | 14062993 | 11075952 |     1054  25948 |        0 |        0
1093.61/1093.97	c 1093s |      26 | 14087613 | 11095452 |     1054  25984 |        0 |        0
1095.61/1095.97	c 1095s |      26 | 14111952 | 11114952 |     1054  26021 |        0 |        0
1097.61/1097.97	c 1097s |      26 | 14136651 | 11134752 |     1054  26058 |        0 |        0
1099.60/1099.98	c 1099s |      26 | 14159978 | 11154052 |     1054  26094 |        0 |        0
1101.60/1101.99	c 1101s |      26 | 14183635 | 11173452 |     1054  26131 |        0 |        0
1103.70/1104.00	c 1103s |      26 | 14208964 | 11193452 |     1054  26168 |        0 |        0
1105.70/1106.00	c 1105s |      26 | 14235372 | 11213752 |     1054  26206 |        0 |        0
1107.70/1108.01	c 1107s |      26 | 14261012 | 11233752 |     1054  26244 |        0 |        0
1109.70/1110.01	c 1109s |      26 | 14283590 | 11252152 |     1054  26278 |        0 |        0
1111.70/1112.01	c 1112s |      26 | 14307667 | 11271752 |     1054  26315 |        0 |        0
1113.69/1114.02	c 1114s |      26 | 14333653 | 11292052 |     1054  26353 |        0 |        0
1115.69/1116.02	c 1116s |      26 | 14362253 | 11312952 |     1054  26392 |        0 |        0
1117.69/1118.03	c 1118s |      26 | 14386076 | 11331852 |     1160  26425 |        0 |        0
1119.69/1120.03	c 1120s |      26 | 14410106 | 11351452 |     1160  26458 |        0 |        0
1121.70/1122.03	c 1122s |      26 | 14433718 | 11370852 |     1160  26492 |        0 |        0
1123.69/1124.04	c 1124s |      26 | 14459662 | 11391152 |     1160  26526 |        0 |        0
1124.19/1124.59	c 1124s |      27 | 14467246 | 11396733 |     1160  26536 |        0 |        0
1126.19/1126.59	c 1126s |      27 | 14494107 | 11416933 |     1160  26570 |        0 |        0
1128.18/1128.60	c 1128s |      27 | 14517871 | 11435633 |     1160  26602 |        0 |        0
1130.28/1130.61	c 1130s |      27 | 14539221 | 11452933 |     1160  26631 |        0 |        0
1132.28/1132.61	c 1132s |      27 | 14559976 | 11470033 |     1160  26661 |        0 |        0
1134.28/1134.61	c 1134s |      27 | 14580983 | 11487533 |     1160  26690 |        0 |        0
1136.28/1136.62	c 1136s |      27 | 14601879 | 11505033 |     1160  26720 |        0 |        0
1138.30/1138.63	c 1138s |      27 | 14622942 | 11522833 |     1160  26750 |        0 |        0
1140.29/1140.63	c 1140s |      27 | 14642706 | 11539633 |     1160  26779 |        0 |        0
1142.29/1142.64	c 1142s |      27 | 14662025 | 11556433 |     1160  26807 |        0 |        0
1144.29/1144.65	c 1144s |      27 | 14685405 | 11575033 |     1160  26839 |        0 |        0
1146.29/1146.66	c 1146s |      27 | 14711005 | 11593733 |     1160  26871 |        0 |        0
1148.28/1148.66	c 1148s |      27 | 14733662 | 11611133 |     1160  26901 |        0 |        0
1150.29/1150.66	c 1150s |      27 | 14758066 | 11630033 |     1160  26933 |        0 |        0
1152.28/1152.67	c 1152s |      27 | 14780192 | 11647833 |     1160  26963 |        0 |        0
1154.28/1154.67	c 1154s |      27 | 14803927 | 11666333 |     1160  26995 |        0 |        0
1156.28/1156.68	c 1156s |      27 | 14827103 | 11684833 |     1160  27026 |        0 |        0
1158.27/1158.68	c 1158s |      27 | 14853625 | 11704833 |     1160  27060 |        0 |        0
1160.28/1160.68	c 1160s |      27 | 14877738 | 11723933 |     1160  27093 |        0 |        0
1162.27/1162.69	c 1162s |      27 | 14903477 | 11743633 |     1160  27126 |        0 |        0
1164.37/1164.70	c 1164s |      27 | 14930072 | 11763733 |     1160  27160 |        0 |        0
1166.37/1166.71	c 1166s |      27 | 14954135 | 11782833 |     1160  27193 |        0 |        0
1168.37/1168.72	c 1168s |      27 | 14978180 | 11801733 |     1160  27225 |        0 |        0
1170.37/1170.72	c 1170s |      27 | 15001773 | 11820533 |     1160  27257 |        0 |        0
1172.37/1172.72	c 1172s |      27 | 15023964 | 11838533 |     1160  27288 |        0 |        0
1174.37/1174.72	c 1174s |      27 | 15046072 | 11856833 |     1160  27319 |        0 |        0
1176.37/1176.73	c 1176s |      27 | 15070352 | 11875533 |     1160  27351 |        0 |        0
1178.36/1178.73	c 1178s |      27 | 15093953 | 11894433 |     1160  27383 |        0 |        0
1180.36/1180.74	c 1180s |      27 | 15118465 | 11913633 |     1160  27416 |        0 |        0
1182.36/1182.75	c 1182s |      27 | 15145373 | 11933333 |     1160  27449 |        0 |        0
1184.37/1184.75	c 1184s |      27 | 15170906 | 11952733 |     1160  27482 |        0 |        0
1186.36/1186.75	c 1186s |      27 | 15198270 | 11973433 |     1160  27518 |        0 |        0
1188.36/1188.76	c 1188s |      27 | 15223485 | 11993233 |     1160  27551 |        0 |        0
1190.36/1190.76	c 1190s |      27 | 15250464 | 12014033 |     1160  27587 |        0 |        0
1192.36/1192.77	c 1192s |      27 | 15278838 | 12035233 |     1160  27623 |        0 |        0
1194.37/1194.78	c 1194s |      27 | 15304632 | 12055433 |     1160  27658 |        0 |        0
1196.36/1196.78	c 1196s |      27 | 15333462 | 12076533 |     1160  27694 |        0 |        0
1198.36/1198.79	c 1198s |      27 | 15360212 | 12096733 |     1160  27728 |        0 |        0
1200.36/1200.80	c 1200s |      27 | 15383078 | 12115633 |     1160  27760 |        0 |        0
1202.46/1202.81	c 1202s |      27 | 15404680 | 12133933 |     1160  27791 |        0 |        0
1204.46/1204.81	c 1204s |      27 | 15428929 | 12153433 |     1160  27825 |        0 |        0
1206.46/1206.82	c 1206s |      27 | 15456719 | 12174033 |     1160  27860 |        0 |        0
1208.45/1208.82	c 1208s |      27 | 15484677 | 12194433 |     1160  27895 |        0 |        0
1210.45/1210.83	c 1210s |      27 | 15508203 | 12213733 |     1160  27928 |        0 |        0
1212.45/1212.84	c 1212s |      27 | 15531751 | 12232833 |     1160  27961 |        0 |        0
1214.44/1214.84	c 1214s |      27 | 15556102 | 12252133 |     1160  27993 |        0 |        0
1216.44/1216.85	c 1216s |      27 | 15578978 | 12271033 |     1160  28026 |        0 |        0
1218.44/1218.85	c 1218s |      27 | 15599682 | 12288533 |     1160  28056 |        0 |        0
1220.44/1220.85	c 1220s |      27 | 15622828 | 12306833 |     1160  28087 |        0 |        0
1222.44/1222.87	c 1222s |      27 | 15646048 | 12325933 |     1160  28120 |        0 |        0
1224.44/1224.88	c 1224s |      27 | 15668342 | 12344633 |     1160  28151 |        0 |        0
1226.44/1226.88	c 1226s |      27 | 15693130 | 12364233 |     1160  28185 |        0 |        0
1228.44/1228.89	c 1228s |      27 | 15715698 | 12382833 |     1160  28217 |        0 |        0
1230.43/1230.90	c 1230s |      27 | 15740089 | 12402133 |     1160  28250 |        0 |        0
1232.54/1232.90	c 1232s |      27 | 15765855 | 12421933 |     1160  28283 |        0 |        0
1234.54/1234.90	c 1234s |      27 | 15790674 | 12441133 |     1160  28316 |        0 |        0
1236.54/1236.91	c 1236s |      27 | 15815115 | 12460333 |     1160  28349 |        0 |        0
1238.54/1238.91	c 1238s |      27 | 15840029 | 12479833 |     1160  28382 |        0 |        0
1240.54/1240.91	c 1240s |      27 | 15863975 | 12499133 |     1160  28415 |        0 |        0
1242.53/1242.91	c 1242s |      27 | 15886762 | 12517533 |     1160  28447 |        0 |        0
1244.53/1244.92	c 1244s |      27 | 15909859 | 12536633 |     1160  28480 |        0 |        0
1246.53/1246.92	c 1246s |      27 | 15932497 | 12555233 |     1160  28512 |        0 |        0
1248.53/1248.93	c 1248s |      27 | 15959096 | 12575133 |     1160  28546 |        0 |        0
1250.53/1250.93	c 1250s |      27 | 15983336 | 12594333 |     1160  28578 |        0 |        0
1252.53/1252.94	c 1252s |      27 | 16007803 | 12613633 |     1160  28612 |        0 |        0
1254.52/1254.95	c 1254s |      27 | 16032718 | 12633833 |     1160  28646 |        0 |        0
1256.52/1256.95	c 1256s |      27 | 16056880 | 12653133 |     1160  28679 |        0 |        0
1258.52/1258.95	c 1258s |      27 | 16080678 | 12672233 |     1160  28711 |        0 |        0
1260.52/1260.96	c 1260s |      27 | 16104337 | 12691133 |     1160  28743 |        0 |        0
1262.52/1262.96	c 1262s |      27 | 16129752 | 12710933 |     1160  28777 |        0 |        0
1264.52/1264.97	c 1264s |      27 | 16155563 | 12730733 |     1160  28811 |        0 |        0
1266.52/1266.97	c 1266s |      27 | 16179323 | 12750033 |     1160  28844 |        0 |        0
1268.52/1268.97	c 1268s |      27 | 16200658 | 12768133 |     1160  28875 |        0 |        0
1270.52/1270.98	c 1270s |      27 | 16222529 | 12786233 |     1160  28906 |        0 |        0
1272.52/1272.98	c 1272s |      27 | 16245075 | 12804833 |     1160  28938 |        0 |        0
1274.53/1274.99	c 1274s |      27 | 16271920 | 12824933 |     1160  28972 |        0 |        0
1276.62/1277.01	c 1276s |      27 | 16294861 | 12843533 |     1160  29004 |        0 |        0
1278.61/1279.02	c 1279s |      27 | 16315282 | 12860733 |     1160  29033 |        0 |        0
1280.61/1281.02	c 1281s |      27 | 16335692 | 12877933 |     1160  29062 |        0 |        0
1282.61/1283.02	c 1283s |      27 | 16356340 | 12895633 |     1160  29092 |        0 |        0
1284.61/1285.03	c 1285s |      27 | 16377837 | 12913733 |     1160  29123 |        0 |        0
1286.62/1287.04	c 1287s |      27 | 16400309 | 12932233 |     1160  29155 |        0 |        0
1288.61/1289.04	c 1289s |      27 | 16420175 | 12949333 |     1160  29184 |        0 |        0
1290.61/1291.04	c 1291s |      27 | 16440664 | 12966933 |     1160  29214 |        0 |        0
1292.61/1293.05	c 1293s |      27 | 16460808 | 12984433 |     1160  29243 |        0 |        0
1294.61/1295.06	c 1295s |      27 | 16482417 | 13002233 |     1160  29274 |        0 |        0
1296.61/1297.06	c 1297s |      27 | 16503624 | 13019633 |     1160  29303 |        0 |        0
1298.60/1299.07	c 1299s |      27 | 16524796 | 13036733 |     1160  29333 |        0 |        0
1300.60/1301.07	c 1301s |      27 | 16549200 | 13055633 |     1160  29365 |        0 |        0
1302.60/1303.08	c 1303s |      27 | 16568950 | 13072533 |     1160  29393 |        0 |        0
1304.60/1305.09	c 1305s |      27 | 16591745 | 13091433 |     1160  29426 |        0 |        0
1306.60/1307.09	c 1307s |      27 | 16615753 | 13110833 |     1160  29459 |        0 |        0
1308.61/1309.10	c 1309s |      27 | 16637084 | 13128433 |     1160  29489 |        0 |        0
1310.70/1311.10	c 1311s |      27 | 16659968 | 13146433 |     1160  29520 |        0 |        0
1312.70/1313.11	c 1313s |      27 | 16686151 | 13165633 |     1160  29552 |        0 |        0
1314.70/1315.11	c 1315s |      27 | 16709414 | 13184333 |     1160  29584 |        0 |        0
1316.70/1317.12	c 1317s |      27 | 16732889 | 13203033 |     1160  29616 |        0 |        0
1318.70/1319.12	c 1319s |      27 | 16755161 | 13221333 |     1160  29647 |        0 |        0
1320.70/1321.13	c 1321s |      27 | 16780579 | 13241133 |     1160  29681 |        0 |        0
1322.69/1323.13	c 1323s |      27 | 16805910 | 13260833 |     1160  29715 |        0 |        0
1324.69/1325.13	c 1325s |      27 | 16829462 | 13280133 |     1160  29748 |        0 |        0
1326.69/1327.14	c 1327s |      27 | 16853350 | 13299633 |     1160  29781 |        0 |        0
1328.69/1329.15	c 1329s |      27 | 16877464 | 13319133 |     1160  29815 |        0 |        0
1330.69/1331.15	c 1331s |      27 | 16901850 | 13338433 |     1160  29848 |        0 |        0
1332.69/1333.15	c 1333s |      27 | 16925513 | 13357633 |     1160  29881 |        0 |        0
1334.69/1335.16	c 1335s |      27 | 16946924 | 13375533 |     1160  29911 |        0 |        0
1336.69/1337.17	c 1337s |      27 | 16969326 | 13394433 |     1160  29943 |        0 |        0
1338.68/1339.18	c 1339s |      27 | 16990823 | 13412533 |     1160  29974 |        0 |        0
1340.68/1341.18	c 1341s |      27 | 17016394 | 13432633 |     1160  30009 |        0 |        0
1342.69/1343.19	c 1343s |      27 | 17041097 | 13452033 |     1160  30042 |        0 |        0
1344.78/1345.20	c 1345s |      27 | 17063224 | 13470333 |     1160  30073 |        0 |        0
1346.78/1347.20	c 1347s |      27 | 17085217 | 13488433 |     1160  30104 |        0 |        0
1348.78/1349.21	c 1349s |      27 | 17109290 | 13507433 |     1160  30137 |        0 |        0
1350.78/1351.21	c 1351s |      27 | 17132326 | 13526133 |     1160  30169 |        0 |        0
1352.78/1353.22	c 1353s |      27 | 17156612 | 13545833 |     1160  30202 |        0 |        0
1354.79/1355.23	c 1355s |      27 | 17181145 | 13565433 |     1160  30236 |        0 |        0
1356.78/1357.23	c 1357s |      27 | 17203846 | 13584433 |     1160  30268 |        0 |        0
1358.78/1359.23	c 1359s |      27 | 17227630 | 13603733 |     1160  30302 |        0 |        0
1360.78/1361.25	c 1361s |      27 | 17249989 | 13622433 |     1160  30334 |        0 |        0
1362.78/1363.26	c 1363s |      27 | 17271021 | 13640533 |     1160  30365 |        0 |        0
1364.79/1365.27	c 1365s |      27 | 17293665 | 13659133 |     1160  30396 |        0 |        0
1366.78/1367.27	c 1367s |      27 | 17316413 | 13677433 |     1160  30428 |        0 |        0
1368.78/1369.27	c 1369s |      27 | 17340701 | 13696433 |     1160  30460 |        0 |        0
1370.78/1371.28	c 1371s |      27 | 17360737 | 13713433 |     1160  30489 |        0 |        0
1372.78/1373.29	c 1373s |      27 | 17379872 | 13730133 |     1160  30517 |        0 |        0
1374.88/1375.30	c 1375s |      27 | 17401250 | 13747933 |     1160  30548 |        0 |        0
1376.78/1377.30	c 1377s |      27 | 17421404 | 13765233 |     1160  30577 |        0 |        0
1378.88/1379.30	c 1379s |      27 | 17442633 | 13783133 |     1160  30608 |        0 |        0
1380.88/1381.32	c 1381s |      27 | 17462053 | 13800133 |     1160  30637 |        0 |        0
1382.88/1383.33	c 1383s |      27 | 17485168 | 13818833 |     1160  30668 |        0 |        0
1384.88/1385.33	c 1385s |      27 | 17508550 | 13837533 |     1160  30700 |        0 |        0
1386.88/1387.34	c 1387s |      27 | 17530874 | 13855933 |     1160  30732 |        0 |        0
1388.88/1389.34	c 1389s |      27 | 17555245 | 13875133 |     1160  30764 |        0 |        0
1390.87/1391.35	c 1391s |      27 | 17579524 | 13894333 |     1160  30797 |        0 |        0
1392.87/1393.35	c 1393s |      27 | 17604792 | 13914133 |     1160  30830 |        0 |        0
1394.87/1395.36	c 1395s |      27 | 17631991 | 13934633 |     1160  30865 |        0 |        0
1396.87/1397.36	c 1397s |      27 | 17657421 | 13954533 |     1160  30899 |        0 |        0
1398.88/1399.37	c 1399s |      27 | 17680033 | 13973233 |     1160  30931 |        0 |        0
1400.87/1401.37	c 1401s |      27 | 17703763 | 13992533 |     1160  30964 |        0 |        0
1402.87/1403.38	c 1403s |      27 | 17729558 | 14012533 |     1160  30998 |        0 |        0
1404.87/1405.38	c 1405s |      27 | 17753519 | 14031833 |     1160  31031 |        0 |        0
1406.87/1407.39	c 1407s |      27 | 17775908 | 14050433 |     1160  31063 |        0 |        0
1408.87/1409.39	c 1409s |      27 | 17802013 | 14071033 |     1160  31098 |        0 |        0
1410.87/1411.40	c 1411s |      27 | 17828602 | 14091633 |     1160  31133 |        0 |        0
1412.97/1413.41	c 1413s |      27 | 17853917 | 14111533 |     1160  31167 |        0 |        0
1414.97/1415.41	c 1415s |      27 | 17879006 | 14131333 |     1160  31201 |        0 |        0
1416.97/1417.42	c 1417s |      27 | 17904166 | 14150933 |     1160  31234 |        0 |        0
1418.97/1419.43	c 1419s |      27 | 17927430 | 14169933 |     1160  31266 |        0 |        0
1420.97/1421.43	c 1421s |      27 | 17954142 | 14190133 |     1160  31301 |        0 |        0
1422.98/1423.44	c 1423s |      27 | 17978763 | 14209433 |     1160  31334 |        0 |        0
1424.97/1425.45	c 1425s |      27 | 18002167 | 14228233 |     1160  31366 |        0 |        0
1426.97/1427.45	c 1427s |      27 | 18028696 | 14248233 |     1160  31400 |        0 |        0
1428.97/1429.46	c 1429s |      27 | 18054243 | 14268133 |     1160  31434 |        0 |        0
1430.97/1431.47	c 1431s |      27 | 18078720 | 14287233 |     1160  31467 |        0 |        0
1432.98/1433.48	c 1433s |      27 | 18101610 | 14305633 |     1160  31498 |        0 |        0
1434.97/1435.48	c 1435s |      27 | 18124327 | 14324333 |     1160  31530 |        0 |        0
1436.97/1437.49	c 1437s |      27 | 18148465 | 14343433 |     1160  31562 |        0 |        0
1438.97/1439.49	c 1439s |      27 | 18174227 | 14363333 |     1160  31596 |        0 |        0
1441.07/1441.50	c 1441s |      27 | 18194793 | 14380533 |     1160  31626 |        0 |        0
1443.07/1443.50	c 1443s |      27 | 18217362 | 14398833 |     1160  31657 |        0 |        0
1445.07/1445.50	c 1445s |      27 | 18240913 | 14417433 |     1160  31688 |        0 |        0
1447.07/1447.51	c 1447s |      27 | 18265104 | 14436333 |     1160  31721 |        0 |        0
1449.07/1449.51	c 1449s |      27 | 18289623 | 14455833 |     1160  31754 |        0 |        0
1451.06/1451.52	c 1451s |      27 | 18310682 | 14473333 |     1160  31784 |        0 |        0
1453.06/1453.53	c 1453s |      27 | 18331038 | 14490433 |     1160  31813 |        0 |        0
1455.06/1455.54	c 1455s |      27 | 18352297 | 14507933 |     1160  31843 |        0 |        0
1457.07/1457.55	c 1457s |      27 | 18374308 | 14526033 |     1160  31873 |        0 |        0
1459.06/1459.55	c 1459s |      27 | 18397615 | 14545033 |     1160  31906 |        0 |        0
1461.06/1461.56	c 1461s |      27 | 18421082 | 14564133 |     1160  31939 |        0 |        0
1463.06/1463.57	c 1463s |      27 | 18445504 | 14583833 |     1160  31972 |        0 |        0
1465.06/1465.57	c 1465s |      27 | 18467862 | 14602233 |     1160  32004 |        0 |        0
1467.07/1467.58	c 1467s |      27 | 18492434 | 14621433 |     1160  32037 |        0 |        0
1469.06/1469.58	c 1469s |      27 | 18516713 | 14640933 |     1160  32070 |        0 |        0
1471.06/1471.58	c 1471s |      27 | 18539737 | 14659933 |     1160  32102 |        0 |        0
1473.06/1473.59	c 1473s |      27 | 18562076 | 14678633 |     1160  32134 |        0 |        0
1475.06/1475.59	c 1475s |      27 | 18584271 | 14697333 |     1160  32166 |        0 |        0
1477.17/1477.60	c 1477s |      27 | 18607020 | 14715933 |     1160  32197 |        0 |        0
1479.17/1479.61	c 1479s |      27 | 18627485 | 14733333 |     1160  32227 |        0 |        0
1481.16/1481.61	c 1481s |      27 | 18648424 | 14750933 |     1160  32257 |        0 |        0
1483.16/1483.61	c 1483s |      27 | 18670280 | 14768833 |     1160  32287 |        0 |        0
1485.16/1485.61	c 1485s |      27 | 18693129 | 14786933 |     1160  32318 |        0 |        0
1487.16/1487.62	c 1487s |      27 | 18714286 | 14804233 |     1160  32347 |        0 |        0
1489.16/1489.62	c 1489s |      27 | 18736720 | 14822033 |     1160  32378 |        0 |        0
1491.17/1491.62	c 1491s |      27 | 18758568 | 14839933 |     1160  32408 |        0 |        0
1493.16/1493.63	c 1493s |      27 | 18779004 | 14857533 |     1160  32438 |        0 |        0
1495.16/1495.63	c 1495s |      27 | 18799537 | 14874533 |     1160  32467 |        0 |        0
1497.16/1497.64	c 1497s |      27 | 18821618 | 14892533 |     1160  32498 |        0 |        0
1499.16/1499.66	c 1499s |      27 | 18842455 | 14910133 |     1160  32527 |        0 |        0
1501.17/1501.66	c 1501s |      27 | 18863648 | 14927833 |     1160  32558 |        0 |        0
1503.16/1503.66	c 1503s |      27 | 18887385 | 14946233 |     1160  32589 |        0 |        0
1505.16/1505.67	c 1505s |      27 | 18908331 | 14963833 |     1160  32619 |        0 |        0
1507.16/1507.68	c 1507s |      27 | 18928920 | 14981233 |     1160  32649 |        0 |        0
1509.16/1509.68	c 1509s |      27 | 18949707 | 14998333 |     1160  32678 |        0 |        0
1511.15/1511.69	c 1511s |      27 | 18970534 | 15015433 |     1160  32707 |        0 |        0
1513.16/1513.69	c 1513s |      27 | 18990874 | 15032733 |     1160  32736 |        0 |        0
1515.15/1515.69	c 1515s |      27 | 19013149 | 15050833 |     1160  32767 |        0 |        0
1517.25/1517.70	c 1517s |      27 | 19035326 | 15068933 |     1160  32798 |        0 |        0
1519.25/1519.71	c 1519s |      27 | 19060713 | 15088533 |     1160  32831 |        0 |        0
1521.25/1521.71	c 1521s |      27 | 19081945 | 15106133 |     1160  32861 |        0 |        0
1523.25/1523.72	c 1523s |      27 | 19103928 | 15124333 |     1160  32892 |        0 |        0
1525.26/1525.72	c 1525s |      27 | 19129683 | 15144033 |     1160  32926 |        0 |        0
1527.25/1527.72	c 1527s |      27 | 19153307 | 15163033 |     1160  32958 |        0 |        0
1529.25/1529.72	c 1529s |      27 | 19179419 | 15182833 |     1160  32992 |        0 |        0
1531.25/1531.73	c 1531s |      27 | 19203576 | 15202033 |     1160  33025 |        0 |        0
1533.25/1533.73	c 1533s |      27 | 19226260 | 15220233 |     1160  33056 |        0 |        0
1535.26/1535.74	c 1535s |      27 | 19249473 | 15238833 |     1160  33087 |        0 |        0
1537.25/1537.75	c 1537s |      27 | 19273070 | 15257933 |     1160  33120 |        0 |        0
1539.25/1539.75	c 1539s |      27 | 19295605 | 15276433 |     1160  33152 |        0 |        0
1541.25/1541.76	c 1541s |      27 | 19319729 | 15295633 |     1160  33184 |        0 |        0
1543.25/1543.76	c 1543s |      27 | 19343393 | 15314733 |     1160  33217 |        0 |        0
1545.25/1545.77	c 1545s |      27 | 19367484 | 15333933 |     1160  33250 |        0 |        0
1547.25/1547.78	c 1547s |      27 | 19389415 | 15352233 |     1160  33281 |        0 |        0
1549.25/1549.78	c 1549s |      27 | 19411818 | 15370333 |     1160  33312 |        0 |        0
1551.25/1551.78	c 1551s |      27 | 19436780 | 15389833 |     1160  33345 |        0 |        0
1553.25/1553.78	c 1553s |      27 | 19462202 | 15409633 |     1160  33379 |        0 |        0
1555.25/1555.80	c 1555s |      27 | 19486850 | 15428733 |     1160  33412 |        0 |        0
1557.26/1557.80	c 1557s |      27 | 19510014 | 15446933 |     1160  33443 |        0 |        0
1559.25/1559.80	c 1559s |      27 | 19534242 | 15465733 |     1160  33475 |        0 |        0
1561.35/1561.81	c 1561s |      27 | 19559930 | 15485533 |     1160  33509 |        0 |        0
1563.35/1563.82	c 1563s |      27 | 19584749 | 15504833 |     1160  33541 |        0 |        0
1565.35/1565.82	c 1565s |      27 | 19609799 | 15524333 |     1160  33575 |        0 |        0
1567.35/1567.83	c 1567s |      27 | 19633776 | 15543633 |     1160  33608 |        0 |        0
1569.36/1569.83	c 1569s |      27 | 19655951 | 15562033 |     1160  33639 |        0 |        0
1571.35/1571.84	c 1571s |      27 | 19681063 | 15581633 |     1160  33672 |        0 |        0
1573.35/1573.85	c 1573s |      27 | 19707001 | 15601533 |     1160  33706 |        0 |        0
1575.35/1575.86	c 1575s |      27 | 19732063 | 15620833 |     1160  33739 |        0 |        0
1577.35/1577.86	c 1577s |      27 | 19757303 | 15640633 |     1160  33773 |        0 |        0
1579.35/1579.87	c 1579s |      27 | 19781504 | 15659733 |     1160  33806 |        0 |        0
1581.35/1581.87	c 1581s |      27 | 19805469 | 15678633 |     1160  33838 |        0 |        0
1583.34/1583.87	c 1583s |      27 | 19830611 | 15698133 |     1160  33872 |        0 |        0
1585.34/1585.88	c 1585s |      27 | 19853940 | 15716733 |     1160  33904 |        0 |        0
1587.34/1587.88	c 1587s |      27 | 19878752 | 15736333 |     1160  33937 |        0 |        0
1589.34/1589.89	c 1589s |      27 | 19903897 | 15755933 |     1160  33971 |        0 |        0
1591.35/1591.89	c 1591s |      27 | 19928691 | 15775433 |     1160  34004 |        0 |        0
1593.34/1593.89	c 1593s |      27 | 19953971 | 15794933 |     1160  34037 |        0 |        0
1595.34/1595.89	c 1595s |      27 | 19977139 | 15813433 |     1160  34069 |        0 |        0
1597.44/1597.90	c 1597s |      27 | 20003110 | 15832833 |     1160  34102 |        0 |        0
1599.44/1599.91	c 1599s |      27 | 20028937 | 15852633 |     1160  34136 |        0 |        0
1601.45/1601.91	c 1601s |      27 | 20052249 | 15871533 |     1160  34168 |        0 |        0
1603.45/1603.91	c 1603s |      27 | 20078383 | 15891333 |     1160  34202 |        0 |        0
1605.44/1605.92	c 1605s |      27 | 20101095 | 15909633 |     1160  34233 |        0 |        0
1607.44/1607.93	c 1607s |      27 | 20128646 | 15930033 |     1160  34268 |        0 |        0
1609.44/1609.94	c 1609s |      27 | 20154332 | 15949833 |     1160  34301 |        0 |        0
1611.44/1611.94	c 1611s |      27 | 20179839 | 15969933 |     1160  34336 |        0 |        0
1613.44/1613.94	c 1613s |      27 | 20205650 | 15990033 |     1160  34370 |        0 |        0
1615.45/1615.96	c 1615s |      27 | 20230877 | 16009833 |     1160  34404 |        0 |        0
1617.44/1617.97	c 1617s |      27 | 20254420 | 16029033 |     1160  34436 |        0 |        0
1619.44/1619.97	c 1619s |      27 | 20277252 | 16047633 |     1160  34468 |        0 |        0
1621.44/1621.97	c 1621s |      27 | 20301427 | 16066833 |     1160  34501 |        0 |        0
1623.44/1623.98	c 1623s |      27 | 20323954 | 16085533 |     1160  34533 |        0 |        0
1625.44/1625.99	c 1625s |      27 | 20345718 | 16103933 |     1160  34564 |        0 |        0
1627.43/1627.99	c 1627s |      27 | 20369250 | 16122933 |     1160  34597 |        0 |        0
1629.53/1630.00	c 1629s |      27 | 20391249 | 16141133 |     1160  34628 |        0 |        0
1631.53/1632.00	c 1631s |      27 | 20416410 | 16160233 |     1160  34660 |        0 |        0
1633.53/1634.00	c 1633s |      27 | 20442845 | 16180433 |     1160  34695 |        0 |        0
1635.54/1636.01	c 1635s |      27 | 20468295 | 16200333 |     1160  34729 |        0 |        0
1637.55/1638.01	c 1637s |      27 | 20493141 | 16219633 |     1160  34762 |        0 |        0
1639.54/1640.02	c 1640s |      27 | 20516888 | 16238533 |     1160  34794 |        0 |        0
1641.54/1642.03	c 1642s |      27 | 20538239 | 16256233 |     1160  34824 |        0 |        0
1643.54/1644.03	c 1644s |      27 | 20560741 | 16274433 |     1160  34855 |        0 |        0
1645.54/1646.04	c 1646s |      27 | 20585269 | 16293733 |     1160  34888 |        0 |        0
1647.54/1648.04	c 1648s |      27 | 20609265 | 16312933 |     1160  34921 |        0 |        0
1649.55/1650.04	c 1650s |      27 | 20635190 | 16332633 |     1160  34954 |        0 |        0
1651.54/1652.04	c 1652s |      27 | 20659276 | 16352033 |     1160  34987 |        0 |        0
1653.54/1654.05	c 1654s |      27 | 20681812 | 16370833 |     1160  35019 |        0 |        0
1655.54/1656.06	c 1656s |      27 | 20706430 | 16390233 |     1160  35053 |        0 |        0
1657.54/1658.06	c 1658s |      27 | 20730478 | 16409533 |     1160  35086 |        0 |        0
1659.54/1660.06	c 1660s |      27 | 20753365 | 16428633 |     1160  35118 |        0 |        0
1661.54/1662.06	c 1662s |      27 | 20776664 | 16447533 |     1160  35151 |        0 |        0
1663.54/1664.07	c 1664s |      27 | 20800932 | 16466933 |     1160  35184 |        0 |        0
1665.53/1666.07	c 1666s |      27 | 20824575 | 16486133 |     1160  35217 |        0 |        0
1667.53/1668.07	c 1668s |      27 | 20847562 | 16504833 |     1160  35249 |        0 |        0
1669.53/1670.07	c 1670s |      27 | 20869831 | 16523333 |     1160  35280 |        0 |        0
1671.54/1672.08	c 1672s |      27 | 20894955 | 16543433 |     1160  35314 |        0 |        0
1673.53/1674.08	c 1674s |      27 | 20922300 | 16563633 |     1160  35349 |        0 |        0
1675.53/1676.09	c 1676s |      27 | 20950093 | 16584033 |     1160  35384 |        0 |        0
1677.53/1678.09	c 1678s |      27 | 20976371 | 16604033 |     1160  35418 |        0 |        0
1679.53/1680.10	c 1680s |      27 | 21001470 | 16623833 |     1160  35452 |        0 |        0
1681.63/1682.10	c 1682s |      27 | 21024865 | 16642733 |     1160  35484 |        0 |        0
1683.64/1684.11	c 1684s |      27 | 21047503 | 16661533 |     1160  35516 |        0 |        0
1685.63/1686.11	c 1686s |      27 | 21069299 | 16679833 |     1160  35547 |        0 |        0
1687.63/1688.12	c 1688s |      27 | 21090211 | 16697733 |     1160  35578 |        0 |        0
1689.63/1690.12	c 1690s |      27 | 21111725 | 16716033 |     1160  35609 |        0 |        0
1691.63/1692.12	c 1692s |      27 | 21134018 | 16734733 |     1160  35641 |        0 |        0
1693.63/1694.12	c 1694s |      27 | 21154439 | 16752433 |     1160  35671 |        0 |        0
1695.63/1696.13	c 1696s |      27 | 21177111 | 16770933 |     1160  35702 |        0 |        0
1697.63/1698.13	c 1698s |      27 | 21202212 | 16791233 |     1160  35737 |        0 |        0
1699.62/1700.14	c 1700s |      27 | 21227038 | 16811133 |     1160  35771 |        0 |        0
1701.62/1702.14	c 1702s |      27 | 21251668 | 16830833 |     1160  35805 |        0 |        0
1703.62/1704.14	c 1704s |      27 | 21277287 | 16851133 |     1160  35839 |        0 |        0
1705.63/1706.14	c 1706s |      27 | 21300846 | 16870033 |     1160  35872 |        0 |        0
1707.62/1708.15	c 1708s |      27 | 21323837 | 16888933 |     1160  35904 |        0 |        0
1709.62/1710.15	c 1710s |      27 | 21347828 | 16907733 |     1160  35936 |        0 |        0
1711.62/1712.15	c 1712s |      27 | 21370737 | 16926033 |     1160  35967 |        0 |        0
1713.62/1714.15	c 1714s |      27 | 21392478 | 16944033 |     1160  35998 |        0 |        0
1715.63/1716.16	c 1716s |      27 | 21416894 | 16963233 |     1160  36030 |        0 |        0
1717.62/1718.17	c 1718s |      27 | 21442169 | 16982733 |     1276  36062 |        0 |        0
1719.63/1720.18	c 1720s |      27 | 21465128 | 17001333 |     1276  36091 |        0 |        0
1721.63/1722.19	c 1722s |      27 | 21487439 | 17019233 |     1276  36119 |        0 |        0
1723.63/1724.19	c 1724s |      27 | 21511562 | 17038133 |     1276  36148 |        0 |        0
1725.63/1726.20	c 1726s |      27 | 21533132 | 17055933 |     1276  36175 |        0 |        0
1727.63/1728.20	c 1728s |      27 | 21554547 | 17073633 |     1276  36203 |        0 |        0
1729.73/1730.21	c 1730s |      27 | 21575083 | 17090833 |     1276  36229 |        0 |        0
1730.13/1730.66	c 1730s |      28 | 21580413 | 17095205 |     1276  36236 |        0 |        0
1732.13/1732.67	c 1732s |      28 | 21602937 | 17112805 |     1276  36263 |        0 |        0
1734.12/1734.67	c 1734s |      28 | 21623201 | 17129505 |     1276  36289 |        0 |        0
1736.12/1736.67	c 1736s |      28 | 21646935 | 17147805 |     1276  36317 |        0 |        0
1738.12/1738.69	c 1738s |      28 | 21669827 | 17166005 |     1276  36346 |        0 |        0
1740.12/1740.69	c 1740s |      28 | 21692775 | 17184305 |     1276  36374 |        0 |        0
1742.22/1742.70	c 1742s |      28 | 21715700 | 17202405 |     1276  36402 |        0 |        0
1744.23/1744.71	c 1744s |      28 | 21737772 | 17220205 |     1276  36430 |        0 |        0
1746.22/1746.71	c 1746s |      28 | 21760875 | 17238505 |     1276  36458 |        0 |        0
1748.22/1748.72	c 1748s |      28 | 21782618 | 17256205 |     1276  36485 |        0 |        0
1750.22/1750.72	c 1750s |      28 | 21806384 | 17274805 |     1276  36514 |        0 |        0
1752.22/1752.73	c 1752s |      28 | 21829604 | 17293505 |     1276  36543 |        0 |        0
1754.22/1754.74	c 1754s |      28 | 21850887 | 17311205 |     1276  36570 |        0 |        0
1756.23/1756.74	c 1756s |      28 | 21872407 | 17329105 |     1276  36598 |        0 |        0
1758.22/1758.74	c 1758s |      28 | 21895616 | 17347005 |     1276  36626 |        0 |        0
1760.22/1760.75	c 1760s |      28 | 21918931 | 17365205 |     1276  36654 |        0 |        0
1762.22/1762.76	c 1762s |      28 | 21940602 | 17382905 |     1276  36682 |        0 |        0
1764.22/1764.76	c 1764s |      28 | 21963314 | 17400705 |     1276  36709 |        0 |        0
1766.22/1766.77	c 1766s |      28 | 21983986 | 17417905 |     1276  36736 |        0 |        0
1768.22/1768.77	c 1768s |      28 | 22006267 | 17436105 |     1276  36764 |        0 |        0
1770.22/1770.77	c 1770s |      28 | 22029629 | 17454405 |     1276  36793 |        0 |        0
1772.22/1772.78	c 1772s |      28 | 22050273 | 17471605 |     1276  36820 |        0 |        0
1774.21/1774.79	c 1774s |      28 | 22070884 | 17488805 |     1276  36846 |        0 |        0
1776.22/1776.79	c 1776s |      28 | 22093453 | 17507305 |     1276  36875 |        0 |        0
1778.22/1778.80	c 1778s |      28 | 22116500 | 17525905 |     1276  36904 |        0 |        0
1780.31/1780.80	c 1780s |      28 | 22138965 | 17543805 |     1276  36931 |        0 |        0
1782.31/1782.80	c 1782s |      28 | 22162474 | 17562405 |     1276  36960 |        0 |        0
1784.31/1784.80	c 1784s |      28 | 22186652 | 17581505 |     1276  36990 |        0 |        0
1786.31/1786.81	c 1786s |      28 | 22208858 | 17599805 |     1276  37018 |        0 |        0
1788.31/1788.81	c 1788s |      28 | 22234666 | 17619405 |     1276  37049 |        0 |        0
1790.32/1790.81	c 1790s |      28 | 22260650 | 17639505 |     1276  37080 |        0 |        0
1792.31/1792.82	c 1792s |      28 | 22283649 | 17658105 |     1276  37109 |        0 |        0
1794.31/1794.82	c 1794s |      28 | 22307195 | 17676905 |     1276  37138 |        0 |        0
1796.31/1796.83	c 1796s |      28 | 22333317 | 17696505 |     1276  37169 |        0 |        0
1798.31/1798.83	c 1798s |      28 | 22356637 | 17715105 |     1276  37198 |        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-4120474-1467311248/watcher-4120474-1467311248 -o /tmp/evaluation-result-4120474-1467311248/solver-4120474-1467311248 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18129 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120474-1467311248.opb 

pid=18409
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.36 2.19 2.11 2/179 18412
/proc/meminfo: memFree=28512140/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=697788 CPUtime=0 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 2595 0 0 0 0 0 0 0 20 0 4 0 12081613 714534912 3467 33554432000 4194304 16246674 140736141562112 140736141561536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 174959 3477 441 2943 0 171853 0
[pid=18412/tid=18413] ppid=18409 vsize=715196 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 732360704 3536 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 736555008 3552 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12081613 740749312 3569 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.36 2.19 2.11 2/179 18412
/proc/meminfo: memFree=28512140/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 24520 0 0 0 6 3 0 0 20 0 4 0 12081613 1247350784 25380 33554432000 4194304 16246674 140736141562112 140736141561536 5668953 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 304529 25388 709 2943 0 301423 0
[pid=18412/tid=18413] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 25396 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 25403 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 25408 33554432000 4194304 16246674 140736141562112 139634409462960 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.200455 s]
/proc/loadavg: 2.36 2.19 2.11 2/179 18412
/proc/meminfo: memFree=28512140/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 46956 0 0 0 13 6 0 0 20 0 4 0 12081613 1247350784 47817 33554432000 4194304 16246674 140736141562112 140736141561536 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 304529 47825 709 2943 0 301423 0
[pid=18412/tid=18413] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 47830 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 47837 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 47842 33554432000 4194304 16246674 140736141562112 139634409462960 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.300453 s]
/proc/loadavg: 2.36 2.19 2.11 2/179 18412
/proc/meminfo: memFree=28512140/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 68822 0 0 0 20 9 0 0 20 0 4 0 12081613 1247350784 69683 33554432000 4194304 16246674 140736141562112 140736141561536 6021133 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 304529 69692 709 2943 0 301423 0
[pid=18412/tid=18413] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 69697 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 69705 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 69715 33554432000 4194304 16246674 140736141562112 139634409462960 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.700416 s]
/proc/loadavg: 2.36 2.19 2.11 2/179 18412
/proc/meminfo: memFree=28512140/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 158146 0 0 0 48 21 0 0 20 0 4 0 12081613 1247350784 159006 33554432000 4194304 16246674 140736141562112 140736141545112 5589077 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 304529 159016 709 2943 0 301423 0
[pid=18412/tid=18413] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 159020 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 159025 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 159031 33554432000 4194304 16246674 140736141562112 139634409462960 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.50041 s]
/proc/loadavg: 2.36 2.19 2.11 3/183 18416
/proc/meminfo: memFree=27527932/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 245487 0 0 0 116 33 0 0 20 0 4 0 12081613 1247350784 246327 33554432000 4194304 16246674 140736141562112 140736141561424 12483403 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 304529 246327 783 2943 0 301423 0
[pid=18412/tid=18413] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 246327 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 246327 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1247350784 246327 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.36 2.19 2.11 3/183 18416
/proc/meminfo: memFree=27439892/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 267404 0 0 0 273 36 0 0 20 0 4 0 12081613 1337528320 268244 33554432000 4194304 16246674 140736141562112 140736141545112 5662447 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326545 268244 783 2943 0 323439 0
[pid=18412/tid=18413] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268244 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268244 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268244 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.42 2.21 2.12 3/183 18416
/proc/meminfo: memFree=27439520/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 267408 0 0 0 593 36 0 0 20 0 4 0 12081613 1337528320 268248 33554432000 4194304 16246674 140736141562112 140736141545112 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326545 268248 783 2943 0 323439 0
[pid=18412/tid=18413] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268248 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268248 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268248 33554432000 4194304 16246674 140736141562112 139634409462960 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.38 2.20 2.12 4/183 18416
/proc/meminfo: memFree=27439352/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 267425 0 0 0 1232 36 0 0 20 0 4 0 12081613 1337528320 268265 33554432000 4194304 16246674 140736141562112 140736141545112 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326545 268265 783 2943 0 323439 0
[pid=18412/tid=18413] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268265 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268265 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268265 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.37 2.21 2.12 3/183 18416
/proc/meminfo: memFree=27440060/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 267440 0 0 0 2512 37 0 0 20 0 4 0 12081613 1337528320 268280 33554432000 4194304 16246674 140736141562112 140736141545112 5522994 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326545 268280 783 2943 0 323439 0
[pid=18412/tid=18413] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268280 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268280 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268280 33554432000 4194304 16246674 140736141562112 139634409462960 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.1005 s]
/proc/loadavg: 2.24 2.19 2.11 3/183 18416
/proc/meminfo: memFree=27439948/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 267443 0 0 0 5071 37 0 0 20 0 4 0 12081613 1337528320 268283 33554432000 4194304 16246674 140736141562112 140736141545112 5523188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326545 268283 785 2943 0 323439 0
[pid=18412/tid=18413] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268283 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268283 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268283 33554432000 4194304 16246674 140736141562112 139634409462960 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.301 s]
/proc/loadavg: 2.28 2.21 2.12 3/183 18417
/proc/meminfo: memFree=27439952/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 267448 0 0 0 10190 38 0 0 20 0 4 0 12081613 1337528320 268288 33554432000 4194304 16246674 140736141562112 140736141545112 5973972 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326545 268288 787 2943 0 323439 0
[pid=18412/tid=18413] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268288 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268288 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1337528320 268288 33554432000 4194304 16246674 140736141562112 139634409462960 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/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.19 2.23 2.19 4/184 18500
/proc/meminfo: memFree=27426556/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1307204 CPUtime=1361.88 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 268230 0 0 0 136126 62 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 140736141544000 5823246 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326801 268668 788 2943 0 323695 0
[pid=18412/tid=18413] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 18501
/proc/meminfo: memFree=27425616/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1307204 CPUtime=1421.88 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 268230 0 0 0 142125 63 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 140736141544000 6026603 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326801 268668 788 2943 0 323695 0
[pid=18412/tid=18413] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/183 18503
/proc/meminfo: memFree=27425112/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1307204 CPUtime=1481.86 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 268230 0 0 0 148122 64 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 140736141544000 13191794 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326801 268668 788 2943 0 323695 0
[pid=18412/tid=18413] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.39 2.28 2.20 3/183 18504
/proc/meminfo: memFree=27425492/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1307204 CPUtime=1541.85 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 268230 0 0 0 154121 64 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 140736141545112 5672184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326801 268668 788 2943 0 323695 0
[pid=18412/tid=18413] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.85
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.32 2.27 2.20 4/183 18505
/proc/meminfo: memFree=27426040/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1307204 CPUtime=1601.85 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 268230 0 0 0 160119 66 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 140736141545112 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326801 268668 788 2943 0 323695 0
[pid=18412/tid=18413] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.26 2.26 2.20 4/183 18506
/proc/meminfo: memFree=27425844/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1307204 CPUtime=1661.84 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 268230 0 0 0 166117 67 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 140736141545112 5822740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326801 268668 788 2943 0 323695 0
[pid=18412/tid=18413] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.18 2.24 2.19 3/183 18507
/proc/meminfo: memFree=27425512/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1307204 CPUtime=1721.83 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 268230 0 0 0 172115 68 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 140736141544000 5754752 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326801 268668 788 2943 0 323695 0
[pid=18412/tid=18413] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.27 2.26 2.19 4/182 18508
/proc/meminfo: memFree=27425384/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1307204 CPUtime=1781.81 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 268230 0 0 0 178113 68 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 140736141544000 12477836 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326801 268668 788 2943 0 323695 0
[pid=18412/tid=18413] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 18509
/proc/meminfo: memFree=27425468/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1307204 CPUtime=1800.01 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 268230 0 0 0 179933 68 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 140736141545112 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326801 268668 788 2943 0 323695 0
[pid=18412/tid=18413] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 18412 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 18509
/proc/meminfo: memFree=27425468/32872528 swapFree=1498612/1645780
[pid=18412] ppid=18409 vsize=1307204 CPUtime=1800.01 cores=0,2,4,6
/proc/18412/stat : 18412 (toysat) R 18409 18412 13393 0 -1 4202496 268230 0 0 0 179933 68 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 140736141545112 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18412/statm: 326801 268668 788 2943 0 323695 0
[pid=18412/tid=18413] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18413/stat : 18413 (toysat) S 18409 18412 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634508016880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18412/tid=18414] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18414/stat : 18414 (toysat) S 18409 18412 13393 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634419936496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18412/tid=18415] ppid=18409 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18412/task/18415/stat : 18415 (toysat) S 18409 18412 13393 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12081613 1338576896 268668 33554432000 4194304 16246674 140736141562112 139634409462960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.34
CPU system time (s): 0.689895
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.34
system time used= 0.689895
maximum resident set size= 1074672
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268230
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= 418
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3854 second user time and 15.3277 second system time

The end

Begin job on node124 at 2016-06-30 20:27:28
IDJOB=4120474
IDBENCH=109967
IDSOLVER=2542
FILE ID=node124/4120474-1467311248
RUNJOBID= node124-1467310918-18129
PBS_JOBID= 20005255
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-31-1.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120474-1467311248/watcher-4120474-1467311248 -o /tmp/evaluation-result-4120474-1467311248/solver-4120474-1467311248 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18129 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120474-1467311248.opb

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

MD5SUM BENCH= 8834717f69953c9c22b2160677d33390
RANDOM SEED=588672263

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28512916 kB
Buffers:          146072 kB
Cached:           736264 kB
SwapCached:            0 kB
Active:          1339184 kB
Inactive:         628664 kB
Active(anon):    1076748 kB
Inactive(anon):    11336 kB
Active(file):     262436 kB
Inactive(file):   617328 kB
Unevictable:     1645780 kB
Mlocked:         1498612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16644 kB
Writeback:             0 kB
AnonPages:       2733388 kB
Mapped:            17092 kB
Shmem:               204 kB
Slab:             611208 kB
SReclaimable:      54608 kB
SUnreclaim:       556600 kB
KernelStack:        1520 kB
PageTables:         9620 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2866628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    155648 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= 71692 MiB
End job on node124 at 2016-06-30 20:57:29