0.00/0.00	c 2016-06-16T01:44:17+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-4089820-1466034257.opb"]
0.00/0.01	c use --random-gen="800166182 2746669731 624335305 2456588055 2815308603 413456162 4144438593 1716587009 806537157 3175541060 3312888702 338030301 842732847 3781678704 3062702971 769954800 1048444910 1164640140 3138277627 212592298 1190470275 2745284675 1594696173 1889679702 2132751677 2481496085 1870151267 3461196232 3493517738 102082100 817790023 500338137 2614159648 220544589 766436428 454954208 3084406134 3704944947 1349926207 2440622784 4037079670 2980041882 1749912433 1180679507 1310312313 1570698795 1968949258 2079667639 2872710124 1954624855 433042429 2610510440 2860624839 2109900224 4219017984 1547840129 2184684966 3569114422 2925312501 3131823876 1385673681 1388026472 838261600 800849170 1513221018 1719002120 1936753765 1903185580 3342839400 709682300 1859069970 21661257 2685573827 2106298299 914440823 2518539565 2029163972 2846522202 1512562444 2433835483 3859993728 2757454626 42336523 2843186692 1420986277 960931461 1851297186 2038164853 3241234607 1966418267 366575766 4049808758 2460948800 1989043671 1165251778 4274072369 2860667785 3286184768 3064939387 171977974 1136604109 1894983236 1788198705 50835819 463109430 1514090007 1214850129 2634716056 830650356 3593818224 2509183200 3433801879 1911744343 2746051645 595793305 3606310492 3825999975 326352359 3944503440 2837654292 1746876269 3415804341 681568213 3168620305 2563452879 2232040971 3261916542 192797700 203293522 3765004407 2169978075 1854035552 2552980945 928020909 3821622523 4247878953 4055026314 3772110303 2555066494 2756427699 3620075132 2171348809 3985600702 3124702946 2707764247 2789875152 94009505 2259780330 1176901333 857292284 1238025810 3386483860 803652352 3873156945 2525185780 52949242 2776343007 3781916101 1442330319 421537290 2573283204 1438233242 2701530948 2140820377 2160161745 3212131340 78996831 3036672937 2839331686 3209386821 1856883176 8840395 2023151971 4051363398 3007234530 3288560729 4264307758 1600769578 4230045814 2365980882 3334325838 4222284558 2879044793 111918814 1732689903 326233969 4053798065 3429085712 3877867962 1364982121 2421164437 3225548249 555190136 1605133042 4150988697 447564690 2163343549 2407117170 3797476575 3485050076 1843889083 1143755214 2210583425 271502192 4237320598 1109898674 994302645 2407766411 64540846 2734942549 4270049080 1793342247 623003148 3267441221 1113614183 524549941 2568232185 1187019520 2374439148 1906907779 1375333310 4069659943 3174620202 2733847302 3809011094 3908546558 3442287226 157980173 3522360792 1153862599 1807795845 2188850287 3711553695 2525764170 787632106 2436304464 2352295909 2155639728 1482070814 4270183343 3984382441 1789767440 3678267901 1806040103 150258735 2903560065 129303442 4291648432 966004983 1723701560 173204362 3957576308 2900746260 457439526 4124164595 3441578678 255 362436" option to reproduce the execution
0.00/0.01	c #vars 123
0.00/0.01	c #constraints 41
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       68      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      151 |      100 |       68      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      480 |      250 |       75      2 |        0 |        0
0.00/0.06	c  0.1s |       3 |      817 |      475 |       83      5 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1235 |      813 |       92      9 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1869 |     1320 |      102     14 |        0 |        0
0.18/0.24	c  0.2s |       6 |     2783 |     2081 |      125     22 |        0 |        0
0.29/0.35	c  0.3s |       7 |     4151 |     3223 |      138     33 |        0 |        0
0.48/0.56	c  0.5s |       8 |     6081 |     4936 |      152     48 |        0 |        0
0.79/0.86	c  0.8s |       9 |     9137 |     7506 |      168     70 |        0 |        0
1.20/1.27	c  1.3s |      10 |    13792 |    11361 |      185    103 |        0 |        0
1.79/1.87	c  1.9s |      11 |    20571 |    17144 |      204    150 |        0 |        0
2.69/2.74	c  2.7s |      12 |    30894 |    25819 |      225    215 |        0 |        0
3.98/4.04	c  4.0s |      13 |    47047 |    38832 |      248    307 |        0 |        0
5.88/5.97	c  6.0s |      14 |    73759 |    58352 |      273    441 |        0 |        0
7.89/7.98	c  8.0s |      14 |   101465 |    79252 |      273    570 |        0 |        0
8.69/8.79	c  8.8s |      15 |   113004 |    87632 |      301    623 |        0 |        0
10.69/10.79	c 10.8s |      15 |   135765 |   106332 |      301    729 |        0 |        0
12.69/12.79	c 12.8s |      15 |   159484 |   125432 |      301    839 |        0 |        0
13.39/13.46	c 13.4s |      16 |   166897 |   131552 |      332    872 |        0 |        0
15.39/15.46	c 15.5s |      16 |   191746 |   151152 |      332    975 |        0 |        0
17.39/17.47	c 17.5s |      16 |   214831 |   169752 |      332   1072 |        0 |        0
19.39/19.47	c 19.5s |      16 |   238008 |   188652 |      332   1171 |        0 |        0
20.28/20.38	c 20.4s |      17 |   249499 |   197432 |      366   1217 |        0 |        0
22.28/22.39	c 22.4s |      17 |   274390 |   216832 |      366   1311 |        0 |        0
24.29/24.39	c 24.4s |      17 |   298146 |   235532 |      366   1402 |        0 |        0
26.28/26.40	c 26.4s |      17 |   322318 |   254732 |      366   1496 |        0 |        0
28.38/28.40	c 28.4s |      17 |   346790 |   273932 |      366   1589 |        0 |        0
30.38/30.41	c 30.4s |      17 |   370009 |   292832 |      366   1681 |        0 |        0
30.68/30.77	c 30.8s |      18 |   374339 |   296252 |      403   1697 |        0 |        0
32.68/32.78	c 32.8s |      18 |   395142 |   314352 |      403   1775 |        0 |        0
34.68/34.79	c 34.8s |      18 |   414545 |   331552 |      403   1850 |        0 |        0
36.68/36.79	c 36.8s |      18 |   434769 |   349252 |      403   1927 |        0 |        0
38.68/38.79	c 38.8s |      18 |   456548 |   367552 |      403   2007 |        0 |        0
40.69/40.80	c 40.8s |      18 |   477210 |   385152 |      403   2085 |        0 |        0
42.79/42.80	c 42.8s |      18 |   498445 |   403252 |      403   2164 |        0 |        0
44.79/44.80	c 44.8s |      18 |   519154 |   421152 |      403   2243 |        0 |        0
46.78/46.80	c 46.8s |      18 |   541404 |   439452 |      403   2323 |        0 |        0
47.29/47.36	c 47.3s |      19 |   547540 |   444482 |      444   2343 |        0 |        0
49.28/49.36	c 49.3s |      19 |   569466 |   462482 |      444   2417 |        0 |        0
51.28/51.36	c 51.3s |      19 |   592608 |   481182 |      444   2494 |        0 |        0
53.28/53.37	c 53.4s |      19 |   616856 |   500282 |      444   2573 |        0 |        0
55.28/55.38	c 55.4s |      19 |   640659 |   519182 |      444   2649 |        0 |        0
57.29/57.39	c 57.4s |      19 |   664060 |   537882 |      444   2726 |        0 |        0
59.28/59.39	c 59.4s |      19 |   684588 |   555582 |      444   2798 |        0 |        0
61.38/61.40	c 61.4s |      19 |   706221 |   573482 |      444   2872 |        0 |        0
63.38/63.40	c 63.4s |      19 |   728675 |   591782 |      444   2948 |        0 |        0
65.38/65.41	c 65.4s |      19 |   749555 |   609582 |      444   3021 |        0 |        0
67.38/67.41	c 67.4s |      19 |   770165 |   626882 |      444   3094 |        0 |        0
69.38/69.41	c 69.4s |      19 |   794230 |   645882 |      444   3171 |        0 |        0
71.38/71.42	c 71.4s |      19 |   817010 |   664382 |      489   3247 |        0 |        0
71.58/71.68	c 71.7s |      20 |   820044 |   666827 |      489   3256 |        0 |        0
73.58/73.69	c 73.7s |      20 |   843332 |   685127 |      489   3324 |        0 |        0
75.67/75.70	c 75.7s |      20 |   866462 |   703227 |      489   3393 |        0 |        0
77.67/77.70	c 77.7s |      20 |   888659 |   721127 |      489   3460 |        0 |        0
79.68/79.71	c 79.7s |      20 |   908377 |   738027 |      489   3523 |        0 |        0
81.68/81.71	c 81.7s |      20 |   929423 |   755427 |      489   3589 |        0 |        0
83.69/83.72	c 83.7s |      20 |   951159 |   773227 |      489   3656 |        0 |        0
85.68/85.73	c 85.7s |      20 |   971948 |   790627 |      489   3722 |        0 |        0
87.68/87.74	c 87.7s |      20 |   992783 |   807827 |      489   3786 |        0 |        0
89.68/89.75	c 89.7s |      20 |  1012753 |   824727 |      489   3850 |        0 |        0
91.68/91.75	c 91.7s |      20 |  1031685 |   841327 |      489   3913 |        0 |        0
93.68/93.76	c 93.8s |      20 |  1052261 |   858427 |      489   3977 |        0 |        0
95.68/95.77	c 95.8s |      20 |  1072279 |   875427 |      489   4041 |        0 |        0
97.68/97.78	c 97.8s |      20 |  1092626 |   892927 |      489   4107 |        0 |        0
99.67/99.79	c 99.8s |      20 |  1110580 |   908827 |      489   4167 |        0 |        0
101.67/101.80	c  101s |      20 |  1130813 |   925827 |      489   4232 |        0 |        0
103.77/103.80	c  103s |      20 |  1150390 |   942327 |      489   4295 |        0 |        0
105.77/105.80	c  105s |      20 |  1169506 |   958927 |      489   4358 |        0 |        0
107.78/107.81	c  107s |      20 |  1188846 |   975327 |      489   4421 |        0 |        0
109.77/109.82	c  109s |      20 |  1208718 |   992027 |      489   4484 |        0 |        0
110.77/110.81	c  110s |      21 |  1218923 |  1000345 |      538   4513 |        0 |        0
112.77/112.82	c  112s |      21 |  1240355 |  1017945 |      538   4574 |        0 |        0
114.77/114.82	c  114s |      21 |  1261695 |  1035545 |      538   4634 |        0 |        0
116.77/116.83	c  116s |      21 |  1284623 |  1053845 |      538   4697 |        0 |        0
118.78/118.83	c  118s |      21 |  1308055 |  1072345 |      538   4760 |        0 |        0
120.77/120.84	c  120s |      21 |  1330635 |  1090245 |      538   4821 |        0 |        0
122.77/122.84	c  122s |      21 |  1352166 |  1108045 |      538   4883 |        0 |        0
124.77/124.84	c  124s |      21 |  1374425 |  1125645 |      538   4943 |        0 |        0
126.77/126.85	c  126s |      21 |  1395358 |  1142645 |      538   5001 |        0 |        0
128.77/128.85	c  128s |      21 |  1417203 |  1160145 |      538   5061 |        0 |        0
130.77/130.86	c  130s |      21 |  1440161 |  1178545 |      538   5126 |        0 |        0
132.76/132.86	c  132s |      21 |  1459716 |  1195245 |      538   5183 |        0 |        0
134.77/134.86	c  134s |      21 |  1479967 |  1212045 |      538   5239 |        0 |        0
136.77/136.87	c  136s |      21 |  1501446 |  1229245 |      538   5298 |        0 |        0
138.77/138.87	c  138s |      21 |  1522580 |  1246345 |      538   5357 |        0 |        0
140.78/140.88	c  140s |      21 |  1542443 |  1262745 |      538   5413 |        0 |        0
142.77/142.88	c  142s |      21 |  1564507 |  1280145 |      538   5473 |        0 |        0
144.77/144.88	c  144s |      21 |  1584607 |  1296845 |      538   5531 |        0 |        0
146.77/146.89	c  146s |      21 |  1606992 |  1314545 |      538   5592 |        0 |        0
148.77/148.89	c  148s |      21 |  1630054 |  1332545 |      538   5654 |        0 |        0
150.78/150.89	c  150s |      21 |  1653227 |  1350445 |      538   5716 |        0 |        0
152.77/152.90	c  152s |      21 |  1676488 |  1368245 |      538   5778 |        0 |        0
154.87/154.90	c  154s |      21 |  1701300 |  1386745 |      538   5841 |        0 |        0
156.87/156.91	c  156s |      21 |  1725060 |  1404845 |      538   5904 |        0 |        0
158.87/158.92	c  158s |      21 |  1748318 |  1422645 |      538   5965 |        0 |        0
160.87/160.93	c  160s |      21 |  1771783 |  1440945 |      538   6029 |        0 |        0
162.87/162.93	c  162s |      21 |  1793622 |  1458745 |      538   6090 |        0 |        0
164.86/164.93	c  164s |      21 |  1814819 |  1475845 |      538   6148 |        0 |        0
166.86/166.94	c  166s |      21 |  1835415 |  1492645 |      592   6205 |        0 |        0
167.86/167.91	c  167s |      22 |  1844904 |  1500622 |      592   6230 |        0 |        0
169.86/169.91	c  169s |      22 |  1867908 |  1518122 |      592   6285 |        0 |        0
171.86/171.91	c  171s |      22 |  1889479 |  1535522 |      592   6340 |        0 |        0
173.87/173.93	c  173s |      22 |  1910290 |  1552522 |      592   6394 |        0 |        0
175.86/175.94	c  175s |      22 |  1931355 |  1569722 |      592   6448 |        0 |        0
177.86/177.94	c  177s |      22 |  1952781 |  1586822 |      592   6503 |        0 |        0
179.87/179.94	c  179s |      22 |  1974494 |  1604122 |      592   6558 |        0 |        0
181.86/181.95	c  181s |      22 |  1996893 |  1621722 |      592   6613 |        0 |        0
183.86/183.96	c  183s |      22 |  2017920 |  1638622 |      592   6666 |        0 |        0
185.87/185.97	c  185s |      22 |  2038497 |  1655522 |      592   6720 |        0 |        0
187.86/187.97	c  187s |      22 |  2058404 |  1672122 |      592   6772 |        0 |        0
189.86/189.98	c  189s |      22 |  2079102 |  1689022 |      592   6825 |        0 |        0
191.86/191.99	c  191s |      22 |  2099310 |  1705722 |      592   6878 |        0 |        0
193.86/194.00	c  193s |      22 |  2118467 |  1722022 |      592   6930 |        0 |        0
195.96/196.00	c  195s |      22 |  2141410 |  1739722 |      592   6986 |        0 |        0
197.96/198.01	c  198s |      22 |  2164086 |  1757422 |      592   7043 |        0 |        0
199.95/200.02	c  200s |      22 |  2185891 |  1775122 |      592   7099 |        0 |        0
201.95/202.03	c  202s |      22 |  2205815 |  1791822 |      592   7152 |        0 |        0
203.95/204.04	c  204s |      22 |  2225524 |  1808322 |      592   7205 |        0 |        0
205.96/206.04	c  206s |      22 |  2245854 |  1824922 |      592   7258 |        0 |        0
207.97/208.05	c  208s |      22 |  2267280 |  1842422 |      592   7313 |        0 |        0
209.96/210.06	c  210s |      22 |  2288367 |  1859322 |      592   7366 |        0 |        0
211.96/212.07	c  212s |      22 |  2309039 |  1876122 |      592   7419 |        0 |        0
213.96/214.07	c  214s |      22 |  2329529 |  1893122 |      592   7473 |        0 |        0
215.96/216.09	c  216s |      22 |  2350933 |  1910322 |      592   7527 |        0 |        0
218.06/218.10	c  218s |      22 |  2372839 |  1927822 |      592   7583 |        0 |        0
219.96/220.10	c  220s |      22 |  2394013 |  1944722 |      592   7636 |        0 |        0
222.06/222.11	c  222s |      22 |  2414133 |  1961422 |      592   7690 |        0 |        0
224.06/224.12	c  224s |      22 |  2436975 |  1979122 |      592   7746 |        0 |        0
226.05/226.12	c  226s |      22 |  2459736 |  1996622 |      592   7801 |        0 |        0
228.05/228.12	c  228s |      22 |  2482592 |  2014422 |      592   7858 |        0 |        0
230.05/230.13	c  230s |      22 |  2503915 |  2031622 |      592   7913 |        0 |        0
232.06/232.14	c  232s |      22 |  2524640 |  2048622 |      592   7966 |        0 |        0
234.05/234.15	c  234s |      22 |  2545357 |  2065622 |      592   8020 |        0 |        0
236.05/236.15	c  236s |      22 |  2566729 |  2082622 |      592   8074 |        0 |        0
238.05/238.16	c  238s |      22 |  2586870 |  2099222 |      592   8127 |        0 |        0
240.05/240.17	c  240s |      22 |  2606763 |  2115822 |      592   8180 |        0 |        0
242.06/242.17	c  242s |      22 |  2626777 |  2132422 |      592   8233 |        0 |        0
244.05/244.18	c  244s |      22 |  2646985 |  2149122 |      592   8286 |        0 |        0
246.05/246.18	c  246s |      22 |  2668734 |  2166322 |      592   8341 |        0 |        0
248.05/248.19	c  248s |      22 |  2691272 |  2184022 |      592   8397 |        0 |        0
250.15/250.20	c  250s |      22 |  2713878 |  2201422 |      592   8453 |        0 |        0
252.15/252.21	c  252s |      22 |  2734136 |  2218022 |      592   8505 |        0 |        0
254.15/254.21	c  254s |      22 |  2755927 |  2235322 |      652   8560 |        0 |        0
255.95/256.07	c  256s |      23 |  2776016 |  2251038 |      652   8606 |        0 |        0
257.95/258.08	c  258s |      23 |  2800333 |  2269038 |      652   8658 |        0 |        0
259.95/260.09	c  260s |      23 |  2823986 |  2287138 |      652   8710 |        0 |        0
262.05/262.10	c  262s |      23 |  2848510 |  2305338 |      652   8763 |        0 |        0
264.05/264.11	c  264s |      23 |  2871472 |  2322938 |      652   8814 |        0 |        0
266.04/266.12	c  266s |      23 |  2893759 |  2340038 |      652   8863 |        0 |        0
268.04/268.12	c  268s |      23 |  2915896 |  2357138 |      652   8913 |        0 |        0
270.05/270.13	c  270s |      23 |  2940031 |  2374738 |      652   8964 |        0 |        0
272.05/272.14	c  272s |      23 |  2963431 |  2392338 |      652   9015 |        0 |        0
274.05/274.14	c  274s |      23 |  2985508 |  2409138 |      652   9064 |        0 |        0
276.06/276.15	c  276s |      23 |  3007882 |  2425938 |      652   9112 |        0 |        0
278.05/278.15	c  278s |      23 |  3031994 |  2443438 |      652   9163 |        0 |        0
280.05/280.16	c  280s |      23 |  3054755 |  2460938 |      652   9214 |        0 |        0
282.04/282.16	c  282s |      23 |  3078072 |  2478538 |      652   9265 |        0 |        0
284.04/284.17	c  284s |      23 |  3100187 |  2495838 |      652   9316 |        0 |        0
286.05/286.18	c  286s |      23 |  3122623 |  2512838 |      652   9365 |        0 |        0
288.04/288.19	c  288s |      23 |  3145322 |  2530238 |      652   9416 |        0 |        0
290.04/290.19	c  290s |      23 |  3168194 |  2547838 |      652   9467 |        0 |        0
292.14/292.20	c  292s |      23 |  3191540 |  2565638 |      652   9519 |        0 |        0
294.14/294.20	c  294s |      23 |  3214510 |  2583338 |      652   9571 |        0 |        0
296.14/296.21	c  296s |      23 |  3238279 |  2601138 |      652   9622 |        0 |        0
298.15/298.22	c  298s |      23 |  3259649 |  2618238 |      652   9671 |        0 |        0
300.15/300.22	c  300s |      23 |  3281608 |  2635338 |      652   9721 |        0 |        0
302.15/302.23	c  302s |      23 |  3302195 |  2651838 |      652   9768 |        0 |        0
304.15/304.24	c  304s |      23 |  3326448 |  2669638 |      652   9820 |        0 |        0
306.14/306.25	c  306s |      23 |  3348347 |  2686538 |      652   9868 |        0 |        0
308.14/308.25	c  308s |      23 |  3371265 |  2703838 |      652   9919 |        0 |        0
310.15/310.26	c  310s |      23 |  3393295 |  2720938 |      652   9968 |        0 |        0
312.14/312.27	c  312s |      23 |  3414941 |  2737538 |      652  10016 |        0 |        0
314.14/314.27	c  314s |      23 |  3436623 |  2754538 |      652  10065 |        0 |        0
316.14/316.27	c  316s |      23 |  3457277 |  2770738 |      652  10111 |        0 |        0
318.14/318.27	c  318s |      23 |  3478102 |  2787338 |      652  10159 |        0 |        0
320.15/320.28	c  320s |      23 |  3499719 |  2804538 |      652  10209 |        0 |        0
322.14/322.29	c  322s |      23 |  3520114 |  2821038 |      652  10256 |        0 |        0
324.14/324.29	c  324s |      23 |  3540670 |  2837238 |      652  10303 |        0 |        0
326.24/326.30	c  326s |      23 |  3563378 |  2854338 |      652  10352 |        0 |        0
328.24/328.31	c  328s |      23 |  3585901 |  2871538 |      652  10402 |        0 |        0
330.24/330.32	c  330s |      23 |  3607374 |  2888438 |      652  10451 |        0 |        0
332.24/332.33	c  332s |      23 |  3629409 |  2905738 |      652  10502 |        0 |        0
334.24/334.34	c  334s |      23 |  3650753 |  2922838 |      652  10551 |        0 |        0
336.24/336.35	c  336s |      23 |  3670655 |  2939038 |      652  10598 |        0 |        0
338.24/338.36	c  338s |      23 |  3690826 |  2955538 |      652  10645 |        0 |        0
340.24/340.36	c  340s |      23 |  3711663 |  2972038 |      652  10693 |        0 |        0
342.24/342.37	c  342s |      23 |  3732545 |  2988838 |      652  10741 |        0 |        0
344.24/344.38	c  344s |      23 |  3753306 |  3005538 |      652  10789 |        0 |        0
346.24/346.39	c  346s |      23 |  3772470 |  3021738 |      652  10836 |        0 |        0
348.24/348.39	c  348s |      23 |  3793917 |  3038838 |      652  10885 |        0 |        0
350.24/350.39	c  350s |      23 |  3815106 |  3055638 |      652  10934 |        0 |        0
352.24/352.39	c  352s |      23 |  3834890 |  3071838 |      652  10981 |        0 |        0
354.24/354.39	c  354s |      23 |  3855225 |  3088038 |      652  11028 |        0 |        0
356.23/356.40	c  356s |      23 |  3874952 |  3104338 |      652  11075 |        0 |        0
358.33/358.41	c  358s |      23 |  3895079 |  3120938 |      652  11123 |        0 |        0
360.33/360.41	c  360s |      23 |  3916369 |  3137738 |      652  11171 |        0 |        0
362.33/362.42	c  362s |      23 |  3936559 |  3154238 |      652  11219 |        0 |        0
364.33/364.42	c  364s |      23 |  3955554 |  3170338 |      652  11266 |        0 |        0
366.34/366.43	c  366s |      23 |  3976291 |  3186938 |      652  11313 |        0 |        0
368.33/368.44	c  368s |      23 |  3997927 |  3203838 |      652  11362 |        0 |        0
370.33/370.44	c  370s |      23 |  4016748 |  3219738 |      652  11408 |        0 |        0
372.33/372.45	c  372s |      23 |  4038148 |  3236538 |      652  11457 |        0 |        0
374.33/374.45	c  374s |      23 |  4060680 |  3253538 |      652  11506 |        0 |        0
376.33/376.46	c  376s |      23 |  4082967 |  3270838 |      652  11556 |        0 |        0
378.34/378.46	c  378s |      23 |  4103897 |  3287738 |      652  11606 |        0 |        0
380.33/380.46	c  380s |      23 |  4125622 |  3304938 |      652  11656 |        0 |        0
382.33/382.47	c  382s |      23 |  4147903 |  3322538 |      652  11707 |        0 |        0
384.33/384.47	c  384s |      23 |  4170487 |  3340138 |      652  11758 |        0 |        0
386.33/386.48	c  386s |      23 |  4190386 |  3356538 |      718  11805 |        0 |        0
388.33/388.49	c  388s |      23 |  4211249 |  3373238 |      718  11850 |        0 |        0
388.72/388.88	c  388s |      24 |  4215623 |  3376662 |      718  11859 |        0 |        0
390.72/390.89	c  390s |      24 |  4236642 |  3392962 |      718  11902 |        0 |        0
392.74/392.89	c  392s |      24 |  4256226 |  3408762 |      718  11943 |        0 |        0
394.73/394.90	c  394s |      24 |  4276355 |  3424662 |      718  11985 |        0 |        0
396.83/396.91	c  396s |      24 |  4295742 |  3440062 |      718  12026 |        0 |        0
398.83/398.92	c  398s |      24 |  4315720 |  3455962 |      718  12068 |        0 |        0
400.83/400.92	c  400s |      24 |  4333840 |  3471062 |      718  12107 |        0 |        0
402.83/402.93	c  402s |      24 |  4352736 |  3486862 |      718  12149 |        0 |        0
404.84/404.94	c  404s |      24 |  4373688 |  3503362 |      718  12193 |        0 |        0
406.83/406.94	c  406s |      24 |  4394273 |  3519362 |      718  12235 |        0 |        0
408.83/408.95	c  408s |      24 |  4414811 |  3535462 |      718  12278 |        0 |        0
410.83/410.95	c  410s |      24 |  4437282 |  3552262 |      718  12322 |        0 |        0
412.83/412.96	c  412s |      24 |  4459033 |  3569062 |      718  12367 |        0 |        0
414.83/414.97	c  414s |      24 |  4480210 |  3585362 |      718  12410 |        0 |        0
416.84/416.97	c  416s |      24 |  4503026 |  3602262 |      718  12455 |        0 |        0
418.83/418.97	c  418s |      24 |  4525264 |  3618862 |      718  12499 |        0 |        0
420.83/420.98	c  420s |      24 |  4547504 |  3636062 |      718  12544 |        0 |        0
422.83/422.99	c  422s |      24 |  4568474 |  3652362 |      718  12587 |        0 |        0
424.83/424.99	c  424s |      24 |  4589766 |  3669162 |      718  12632 |        0 |        0
426.93/427.00	c  426s |      24 |  4610405 |  3685662 |      718  12676 |        0 |        0
428.93/429.01	c  428s |      24 |  4632014 |  3702462 |      718  12721 |        0 |        0
430.92/431.02	c  431s |      24 |  4653944 |  3718962 |      718  12764 |        0 |        0
432.92/433.03	c  433s |      24 |  4674821 |  3735062 |      718  12807 |        0 |        0
434.92/435.03	c  435s |      24 |  4695816 |  3751462 |      718  12851 |        0 |        0
436.92/437.04	c  437s |      24 |  4716002 |  3767662 |      718  12894 |        0 |        0
438.93/439.05	c  439s |      24 |  4736414 |  3783962 |      718  12937 |        0 |        0
440.92/441.06	c  441s |      24 |  4756974 |  3800062 |      718  12979 |        0 |        0
442.92/443.06	c  443s |      24 |  4778820 |  3816862 |      718  13024 |        0 |        0
444.92/445.07	c  445s |      24 |  4801683 |  3833862 |      718  13068 |        0 |        0
446.92/447.07	c  447s |      24 |  4824078 |  3850862 |      718  13113 |        0 |        0
448.92/449.08	c  449s |      24 |  4846103 |  3867662 |      718  13158 |        0 |        0
450.92/451.09	c  451s |      24 |  4866746 |  3884062 |      718  13201 |        0 |        0
453.02/453.10	c  453s |      24 |  4888078 |  3900662 |      718  13245 |        0 |        0
455.01/455.10	c  455s |      24 |  4908836 |  3917362 |      718  13289 |        0 |        0
457.01/457.11	c  457s |      24 |  4928596 |  3933262 |      718  13331 |        0 |        0
459.01/459.12	c  459s |      24 |  4949294 |  3949662 |      718  13374 |        0 |        0
461.02/461.13	c  461s |      24 |  4968677 |  3965262 |      718  13415 |        0 |        0
463.03/463.13	c  463s |      24 |  4988413 |  3981162 |      718  13458 |        0 |        0
465.02/465.14	c  465s |      24 |  5009270 |  3997562 |      718  13501 |        0 |        0
467.02/467.14	c  467s |      24 |  5029823 |  4013862 |      718  13544 |        0 |        0
469.02/469.14	c  469s |      24 |  5048534 |  4029262 |      718  13584 |        0 |        0
471.01/471.16	c  471s |      24 |  5066850 |  4044362 |      718  13624 |        0 |        0
473.02/473.16	c  473s |      24 |  5085104 |  4059762 |      718  13664 |        0 |        0
475.01/475.17	c  475s |      24 |  5105540 |  4075862 |      718  13707 |        0 |        0
477.01/477.18	c  477s |      24 |  5126316 |  4092062 |      718  13749 |        0 |        0
479.01/479.18	c  479s |      24 |  5146079 |  4107862 |      718  13791 |        0 |        0
481.01/481.19	c  481s |      24 |  5165830 |  4123762 |      718  13833 |        0 |        0
483.11/483.20	c  483s |      24 |  5185224 |  4139562 |      718  13875 |        0 |        0
485.12/485.20	c  485s |      24 |  5205107 |  4155562 |      718  13917 |        0 |        0
487.12/487.21	c  487s |      24 |  5224394 |  4171462 |      718  13959 |        0 |        0
489.11/489.22	c  489s |      24 |  5243263 |  4186962 |      718  14000 |        0 |        0
491.11/491.22	c  491s |      24 |  5263229 |  4203162 |      718  14043 |        0 |        0
493.11/493.22	c  493s |      24 |  5285302 |  4220362 |      718  14088 |        0 |        0
495.11/495.23	c  495s |      24 |  5306251 |  4236862 |      718  14132 |        0 |        0
497.12/497.25	c  497s |      24 |  5326973 |  4253762 |      718  14177 |        0 |        0
499.11/499.25	c  499s |      24 |  5347710 |  4270362 |      718  14221 |        0 |        0
501.11/501.26	c  501s |      24 |  5367241 |  4286262 |      718  14264 |        0 |        0
503.11/503.27	c  503s |      24 |  5386876 |  4302162 |      718  14306 |        0 |        0
505.11/505.27	c  505s |      24 |  5407599 |  4318562 |      718  14349 |        0 |        0
507.11/507.28	c  507s |      24 |  5426372 |  4334162 |      718  14390 |        0 |        0
509.11/509.29	c  509s |      24 |  5446514 |  4350262 |      718  14433 |        0 |        0
511.20/511.30	c  511s |      24 |  5467870 |  4367062 |      718  14478 |        0 |        0
513.20/513.31	c  513s |      24 |  5488142 |  4383162 |      718  14521 |        0 |        0
515.20/515.32	c  515s |      24 |  5509807 |  4399962 |      718  14565 |        0 |        0
517.20/517.32	c  517s |      24 |  5530764 |  4416362 |      718  14609 |        0 |        0
519.21/519.33	c  519s |      24 |  5552326 |  4433162 |      718  14654 |        0 |        0
521.20/521.34	c  521s |      24 |  5574865 |  4450562 |      718  14700 |        0 |        0
523.20/523.34	c  523s |      24 |  5595381 |  4466862 |      718  14743 |        0 |        0
525.20/525.35	c  525s |      24 |  5614234 |  4482462 |      718  14784 |        0 |        0
527.20/527.36	c  527s |      24 |  5634186 |  4498362 |      718  14827 |        0 |        0
529.21/529.37	c  529s |      24 |  5654050 |  4514262 |      718  14869 |        0 |        0
531.22/531.38	c  531s |      24 |  5673665 |  4530362 |      718  14913 |        0 |        0
533.21/533.38	c  533s |      24 |  5694135 |  4546662 |      718  14956 |        0 |        0
535.21/535.39	c  535s |      24 |  5715495 |  4563462 |      718  15001 |        0 |        0
537.31/537.40	c  537s |      24 |  5735317 |  4579562 |      718  15044 |        0 |        0
539.31/539.40	c  539s |      24 |  5753753 |  4594862 |      718  15085 |        0 |        0
541.31/541.40	c  541s |      24 |  5772095 |  4610062 |      718  15125 |        0 |        0
543.21/543.40	c  543s |      24 |  5790991 |  4625562 |      718  15166 |        0 |        0
545.31/545.41	c  545s |      24 |  5810409 |  4641262 |      718  15208 |        0 |        0
547.30/547.41	c  547s |      24 |  5830219 |  4657062 |      718  15250 |        0 |        0
549.30/549.42	c  549s |      24 |  5849380 |  4672662 |      718  15292 |        0 |        0
551.30/551.43	c  551s |      24 |  5867968 |  4688062 |      718  15333 |        0 |        0
553.31/553.44	c  553s |      24 |  5887210 |  4703762 |      718  15375 |        0 |        0
555.30/555.45	c  555s |      24 |  5908465 |  4720362 |      718  15419 |        0 |        0
557.30/557.45	c  557s |      24 |  5929504 |  4736962 |      718  15464 |        0 |        0
559.30/559.46	c  559s |      24 |  5951498 |  4753662 |      718  15508 |        0 |        0
561.30/561.47	c  561s |      24 |  5972637 |  4770462 |      718  15553 |        0 |        0
563.30/563.47	c  563s |      24 |  5991973 |  4786262 |      718  15595 |        0 |        0
565.31/565.47	c  565s |      24 |  6011252 |  4802162 |      718  15637 |        0 |        0
567.30/567.48	c  567s |      24 |  6030513 |  4817862 |      718  15678 |        0 |        0
569.30/569.48	c  569s |      24 |  6048943 |  4833262 |      718  15718 |        0 |        0
571.30/571.49	c  571s |      24 |  6067019 |  4848562 |      718  15758 |        0 |        0
573.29/573.49	c  573s |      24 |  6084667 |  4863462 |      718  15798 |        0 |        0
575.30/575.49	c  575s |      24 |  6103101 |  4878862 |      718  15839 |        0 |        0
577.29/577.49	c  577s |      24 |  6121999 |  4894162 |      718  15878 |        0 |        0
579.39/579.50	c  579s |      24 |  6143699 |  4910562 |      718  15922 |        0 |        0
581.39/581.52	c  581s |      24 |  6163826 |  4926662 |      718  15964 |        0 |        0
583.40/583.52	c  583s |      24 |  6182157 |  4941562 |      718  16004 |        0 |        0
585.40/585.54	c  585s |      24 |  6200552 |  4956562 |      718  16043 |        0 |        0
587.41/587.54	c  587s |      24 |  6221104 |  4972562 |      718  16085 |        0 |        0
589.40/589.54	c  589s |      24 |  6241146 |  4988362 |      718  16127 |        0 |        0
591.40/591.55	c  591s |      24 |  6261910 |  5004762 |      718  16171 |        0 |        0
593.40/593.55	c  593s |      24 |  6283280 |  5021462 |      718  16215 |        0 |        0
595.40/595.56	c  595s |      24 |  6303465 |  5037462 |      790  16256 |        0 |        0
597.40/597.57	c  597s |      24 |  6323143 |  5053162 |      790  16294 |        0 |        0
598.90/599.09	c  599s |      25 |  6337675 |  5065098 |      790  16323 |        0 |        0
600.89/601.09	c  601s |      25 |  6356321 |  5080498 |      790  16360 |        0 |        0
602.99/603.10	c  603s |      25 |  6377456 |  5096498 |      790  16398 |        0 |        0
604.90/605.10	c  605s |      25 |  6396250 |  5111798 |      790  16435 |        0 |        0
606.99/607.11	c  607s |      25 |  6417011 |  5127698 |      790  16474 |        0 |        0
608.99/609.11	c  609s |      25 |  6437166 |  5143498 |      790  16512 |        0 |        0
610.99/611.11	c  611s |      25 |  6457601 |  5159398 |      790  16550 |        0 |        0
612.99/613.12	c  613s |      25 |  6478442 |  5175198 |      790  16588 |        0 |        0
614.99/615.12	c  615s |      25 |  6498423 |  5190598 |      790  16625 |        0 |        0
616.99/617.13	c  617s |      25 |  6518558 |  5206398 |      790  16663 |        0 |        0
618.99/619.14	c  619s |      25 |  6539145 |  5222198 |      790  16702 |        0 |        0
620.99/621.15	c  621s |      25 |  6560761 |  5238298 |      790  16741 |        0 |        0
622.99/623.15	c  623s |      25 |  6582170 |  5253998 |      790  16779 |        0 |        0
624.99/625.15	c  625s |      25 |  6601664 |  5269498 |      790  16816 |        0 |        0
627.00/627.16	c  627s |      25 |  6621877 |  5285198 |      790  16854 |        0 |        0
628.99/629.17	c  629s |      25 |  6640753 |  5300298 |      790  16891 |        0 |        0
630.99/631.17	c  631s |      25 |  6661335 |  5316098 |      790  16929 |        0 |        0
632.99/633.18	c  633s |      25 |  6680833 |  5331298 |      790  16965 |        0 |        0
634.99/635.19	c  635s |      25 |  6700215 |  5346798 |      790  17003 |        0 |        0
636.99/637.19	c  637s |      25 |  6719449 |  5362098 |      790  17040 |        0 |        0
638.99/639.20	c  639s |      25 |  6739527 |  5378298 |      790  17080 |        0 |        0
641.08/641.20	c  641s |      25 |  6760537 |  5394598 |      790  17119 |        0 |        0
643.08/643.21	c  643s |      25 |  6780341 |  5410198 |      790  17157 |        0 |        0
645.09/645.22	c  645s |      25 |  6799476 |  5425498 |      790  17194 |        0 |        0
647.09/647.23	c  647s |      25 |  6818464 |  5440998 |      790  17231 |        0 |        0
649.09/649.24	c  649s |      25 |  6837152 |  5456198 |      790  17268 |        0 |        0
651.09/651.25	c  651s |      25 |  6857763 |  5472398 |      790  17307 |        0 |        0
653.09/653.25	c  653s |      25 |  6878983 |  5488498 |      790  17346 |        0 |        0
655.09/655.26	c  655s |      25 |  6898947 |  5503998 |      790  17384 |        0 |        0
657.08/657.27	c  657s |      25 |  6919160 |  5519698 |      790  17422 |        0 |        0
659.08/659.27	c  659s |      25 |  6939060 |  5534998 |      790  17459 |        0 |        0
661.09/661.28	c  661s |      25 |  6959181 |  5550798 |      790  17498 |        0 |        0
663.08/663.29	c  663s |      25 |  6979471 |  5566498 |      790  17536 |        0 |        0
665.18/665.30	c  665s |      25 |  7001130 |  5582698 |      790  17575 |        0 |        0
667.18/667.31	c  667s |      25 |  7023024 |  5599198 |      790  17614 |        0 |        0
669.18/669.31	c  669s |      25 |  7042489 |  5614698 |      790  17652 |        0 |        0
671.18/671.32	c  671s |      25 |  7062992 |  5630698 |      790  17690 |        0 |        0
673.19/673.33	c  673s |      25 |  7083152 |  5646598 |      790  17729 |        0 |        0
675.18/675.34	c  675s |      25 |  7104117 |  5662698 |      790  17768 |        0 |        0
677.18/677.35	c  677s |      25 |  7124551 |  5678598 |      790  17806 |        0 |        0
679.18/679.36	c  679s |      25 |  7145547 |  5694698 |      790  17845 |        0 |        0
681.18/681.37	c  681s |      25 |  7164347 |  5709898 |      790  17882 |        0 |        0
683.18/683.37	c  683s |      25 |  7184634 |  5725598 |      790  17920 |        0 |        0
685.18/685.38	c  685s |      25 |  7205283 |  5741598 |      790  17959 |        0 |        0
687.18/687.39	c  687s |      25 |  7224510 |  5756898 |      790  17996 |        0 |        0
689.18/689.39	c  689s |      25 |  7245451 |  5772798 |      790  18034 |        0 |        0
691.28/691.40	c  691s |      25 |  7264743 |  5788198 |      790  18071 |        0 |        0
693.28/693.41	c  693s |      25 |  7285211 |  5803998 |      790  18109 |        0 |        0
695.28/695.42	c  695s |      25 |  7307956 |  5820898 |      790  18150 |        0 |        0
697.29/697.42	c  697s |      25 |  7329271 |  5837098 |      790  18189 |        0 |        0
699.28/699.42	c  699s |      25 |  7348678 |  5852498 |      790  18226 |        0 |        0
701.28/701.43	c  701s |      25 |  7369861 |  5868398 |      790  18265 |        0 |        0
703.28/703.43	c  703s |      25 |  7390368 |  5884298 |      790  18303 |        0 |        0
705.28/705.44	c  705s |      25 |  7410892 |  5899898 |      790  18341 |        0 |        0
707.29/707.44	c  707s |      25 |  7430720 |  5915498 |      790  18379 |        0 |        0
709.28/709.46	c  709s |      25 |  7450628 |  5931398 |      790  18418 |        0 |        0
711.28/711.46	c  711s |      25 |  7471810 |  5947498 |      790  18457 |        0 |        0
713.28/713.47	c  713s |      25 |  7492629 |  5963398 |      790  18495 |        0 |        0
715.28/715.47	c  715s |      25 |  7513581 |  5979498 |      790  18534 |        0 |        0
717.28/717.48	c  717s |      25 |  7532413 |  5994998 |      790  18571 |        0 |        0
719.28/719.49	c  719s |      25 |  7554600 |  6011398 |      790  18611 |        0 |        0
721.37/721.50	c  721s |      25 |  7574385 |  6026798 |      790  18648 |        0 |        0
723.37/723.51	c  723s |      25 |  7595959 |  6042798 |      790  18687 |        0 |        0
725.37/725.51	c  725s |      25 |  7615181 |  6057898 |      790  18723 |        0 |        0
727.37/727.52	c  727s |      25 |  7634408 |  6073198 |      790  18761 |        0 |        0
729.37/729.52	c  729s |      25 |  7654872 |  6088998 |      790  18799 |        0 |        0
731.38/731.53	c  731s |      25 |  7676090 |  6104998 |      790  18838 |        0 |        0
733.37/733.54	c  733s |      25 |  7695741 |  6120598 |      790  18876 |        0 |        0
735.37/735.54	c  735s |      25 |  7715447 |  6136098 |      790  18914 |        0 |        0
737.37/737.55	c  737s |      25 |  7735210 |  6151798 |      790  18952 |        0 |        0
739.37/739.56	c  739s |      25 |  7754629 |  6167198 |      790  18990 |        0 |        0
741.38/741.56	c  741s |      25 |  7775416 |  6182998 |      790  19028 |        0 |        0
743.37/743.57	c  743s |      25 |  7796050 |  6198698 |      790  19066 |        0 |        0
745.37/745.58	c  745s |      25 |  7815114 |  6213698 |      790  19103 |        0 |        0
747.37/747.59	c  747s |      25 |  7834518 |  6228898 |      790  19140 |        0 |        0
749.37/749.59	c  749s |      25 |  7853403 |  6243998 |      790  19176 |        0 |        0
751.37/751.59	c  751s |      25 |  7873862 |  6259398 |      790  19213 |        0 |        0
753.37/753.60	c  753s |      25 |  7893644 |  6274698 |      790  19251 |        0 |        0
755.47/755.61	c  755s |      25 |  7914124 |  6290198 |      790  19288 |        0 |        0
757.46/757.61	c  757s |      25 |  7934025 |  6305598 |      790  19326 |        0 |        0
759.46/759.62	c  759s |      25 |  7952643 |  6320698 |      790  19363 |        0 |        0
761.47/761.62	c  761s |      25 |  7971306 |  6335898 |      790  19400 |        0 |        0
763.47/763.63	c  763s |      25 |  7991198 |  6351198 |      790  19437 |        0 |        0
765.48/765.63	c  765s |      25 |  8012001 |  6367198 |      790  19476 |        0 |        0
767.47/767.63	c  767s |      25 |  8031236 |  6382798 |      790  19513 |        0 |        0
769.47/769.64	c  769s |      25 |  8050032 |  6397898 |      790  19550 |        0 |        0
771.47/771.64	c  771s |      25 |  8070152 |  6413598 |      790  19588 |        0 |        0
773.47/773.65	c  773s |      25 |  8089130 |  6428498 |      790  19623 |        0 |        0
775.48/775.65	c  775s |      25 |  8107635 |  6443298 |      790  19659 |        0 |        0
777.47/777.65	c  777s |      25 |  8126651 |  6458298 |      790  19695 |        0 |        0
779.47/779.67	c  779s |      25 |  8147532 |  6474098 |      790  19733 |        0 |        0
781.47/781.67	c  781s |      25 |  8167934 |  6489898 |      790  19772 |        0 |        0
783.47/783.68	c  783s |      25 |  8189268 |  6506098 |      790  19811 |        0 |        0
785.47/785.68	c  785s |      25 |  8210083 |  6521998 |      790  19849 |        0 |        0
787.47/787.69	c  787s |      25 |  8231871 |  6538198 |      790  19889 |        0 |        0
789.47/789.69	c  789s |      25 |  8251476 |  6553698 |      790  19926 |        0 |        0
791.56/791.70	c  791s |      25 |  8271684 |  6569498 |      790  19965 |        0 |        0
793.56/793.70	c  793s |      25 |  8291564 |  6585198 |      790  20003 |        0 |        0
795.56/795.71	c  795s |      25 |  8311500 |  6600898 |      790  20041 |        0 |        0
797.56/797.72	c  797s |      25 |  8331872 |  6616898 |      790  20079 |        0 |        0
799.57/799.73	c  799s |      25 |  8351783 |  6632698 |      790  20118 |        0 |        0
801.56/801.75	c  801s |      25 |  8372031 |  6648998 |      790  20158 |        0 |        0
803.56/803.75	c  803s |      25 |  8391788 |  6664698 |      790  20195 |        0 |        0
805.56/805.75	c  805s |      25 |  8412031 |  6680198 |      790  20233 |        0 |        0
807.56/807.76	c  807s |      25 |  8432430 |  6695898 |      790  20271 |        0 |        0
809.57/809.77	c  809s |      25 |  8452969 |  6711698 |      790  20309 |        0 |        0
811.56/811.77	c  811s |      25 |  8472185 |  6726898 |      790  20346 |        0 |        0
813.56/813.78	c  813s |      25 |  8493056 |  6742798 |      790  20384 |        0 |        0
815.56/815.79	c  815s |      25 |  8514605 |  6758498 |      790  20423 |        0 |        0
817.56/817.80	c  817s |      25 |  8534091 |  6773798 |      790  20460 |        0 |        0
819.66/819.80	c  819s |      25 |  8553189 |  6788698 |      790  20496 |        0 |        0
821.66/821.81	c  821s |      25 |  8572701 |  6804198 |      790  20534 |        0 |        0
823.66/823.81	c  823s |      25 |  8592788 |  6819698 |      790  20571 |        0 |        0
825.66/825.82	c  825s |      25 |  8611508 |  6834898 |      790  20608 |        0 |        0
827.65/827.82	c  827s |      25 |  8631661 |  6850598 |      790  20646 |        0 |        0
829.65/829.83	c  829s |      25 |  8651112 |  6865898 |      790  20683 |        0 |        0
831.65/831.83	c  831s |      25 |  8670986 |  6881398 |      790  20721 |        0 |        0
833.66/833.84	c  833s |      25 |  8691856 |  6896998 |      790  20759 |        0 |        0
835.65/835.85	c  835s |      25 |  8710697 |  6912298 |      790  20796 |        0 |        0
837.66/837.86	c  837s |      25 |  8731223 |  6928098 |      790  20835 |        0 |        0
839.66/839.86	c  839s |      25 |  8750393 |  6943198 |      790  20872 |        0 |        0
841.66/841.86	c  841s |      25 |  8769519 |  6958498 |      790  20909 |        0 |        0
843.67/843.87	c  843s |      25 |  8789146 |  6973898 |      790  20947 |        0 |        0
845.66/845.88	c  845s |      25 |  8809097 |  6989698 |      790  20985 |        0 |        0
847.66/847.89	c  847s |      25 |  8829019 |  7005498 |      790  21023 |        0 |        0
849.66/849.89	c  849s |      25 |  8848874 |  7021198 |      790  21062 |        0 |        0
851.76/851.90	c  851s |      25 |  8869399 |  7037098 |      790  21101 |        0 |        0
853.76/853.91	c  853s |      25 |  8889305 |  7052898 |      790  21139 |        0 |        0
855.76/855.92	c  855s |      25 |  8909558 |  7068498 |      790  21178 |        0 |        0
857.75/857.92	c  857s |      25 |  8929161 |  7083798 |      790  21215 |        0 |        0
859.75/859.93	c  859s |      25 |  8948258 |  7098698 |      790  21251 |        0 |        0
861.75/861.94	c  861s |      25 |  8967637 |  7113898 |      790  21289 |        0 |        0
863.74/863.95	c  863s |      25 |  8984815 |  7128898 |      790  21325 |        0 |        0
865.74/865.96	c  865s |      25 |  9003340 |  7144498 |      790  21364 |        0 |        0
867.75/867.97	c  867s |      25 |  9020644 |  7159398 |      790  21401 |        0 |        0
869.74/869.98	c  869s |      25 |  9038307 |  7174398 |      790  21438 |        0 |        0
871.74/871.98	c  871s |      25 |  9056450 |  7189698 |      790  21476 |        0 |        0
873.74/873.99	c  873s |      25 |  9075493 |  7205198 |      790  21514 |        0 |        0
875.74/875.99	c  875s |      25 |  9096761 |  7221298 |      790  21553 |        0 |        0
877.84/878.00	c  877s |      25 |  9117662 |  7237398 |      790  21592 |        0 |        0
879.84/880.01	c  879s |      25 |  9135844 |  7252598 |      790  21629 |        0 |        0
881.84/882.02	c  882s |      25 |  9155989 |  7268498 |      790  21668 |        0 |        0
883.83/884.03	c  884s |      25 |  9174776 |  7283798 |      790  21705 |        0 |        0
885.83/886.03	c  886s |      25 |  9193246 |  7298498 |      790  21741 |        0 |        0
887.83/888.04	c  888s |      25 |  9209994 |  7312698 |      790  21775 |        0 |        0
889.85/890.04	c  890s |      25 |  9231012 |  7328898 |      790  21815 |        0 |        0
891.84/892.05	c  892s |      25 |  9251428 |  7344698 |      790  21853 |        0 |        0
893.84/894.06	c  894s |      25 |  9272155 |  7360598 |      790  21892 |        0 |        0
895.84/896.06	c  896s |      25 |  9292770 |  7376598 |      790  21931 |        0 |        0
897.84/898.07	c  898s |      25 |  9312120 |  7391798 |      790  21968 |        0 |        0
899.84/900.07	c  900s |      25 |  9332647 |  7407498 |      790  22006 |        0 |        0
901.84/902.08	c  902s |      25 |  9353930 |  7423498 |      790  22045 |        0 |        0
903.83/904.09	c  904s |      25 |  9373788 |  7438998 |      790  22082 |        0 |        0
905.83/906.10	c  906s |      25 |  9395292 |  7455298 |      790  22122 |        0 |        0
907.93/908.11	c  908s |      25 |  9417149 |  7471698 |      790  22162 |        0 |        0
909.93/910.12	c  910s |      25 |  9437828 |  7487698 |      790  22201 |        0 |        0
911.93/912.12	c  912s |      25 |  9458758 |  7503998 |      790  22241 |        0 |        0
913.93/914.12	c  914s |      25 |  9479599 |  7519998 |      790  22280 |        0 |        0
915.93/916.12	c  916s |      25 |  9500079 |  7535998 |      790  22319 |        0 |        0
917.93/918.13	c  918s |      25 |  9518718 |  7551398 |      870  22355 |        0 |        0
919.92/920.14	c  920s |      25 |  9538648 |  7566898 |      870  22389 |        0 |        0
921.92/922.15	c  922s |      25 |  9558005 |  7582198 |      870  22423 |        0 |        0
923.93/924.15	c  924s |      25 |  9576906 |  7597398 |      870  22457 |        0 |        0
924.02/924.20	c  924s |      26 |  9577365 |  7597752 |      870  22458 |        0 |        0
926.03/926.21	c  926s |      26 |  9596031 |  7612752 |      870  22491 |        0 |        0
928.02/928.21	c  928s |      26 |  9614198 |  7627652 |      870  22524 |        0 |        0
930.02/930.21	c  930s |      26 |  9633749 |  7643052 |      870  22557 |        0 |        0
932.02/932.22	c  932s |      26 |  9653196 |  7658352 |      870  22591 |        0 |        0
934.01/934.22	c  934s |      26 |  9672588 |  7673652 |      870  22625 |        0 |        0
936.02/936.24	c  936s |      26 |  9693997 |  7689752 |      870  22660 |        0 |        0
938.01/938.25	c  938s |      26 |  9713988 |  7705252 |      870  22694 |        0 |        0
940.01/940.25	c  940s |      26 |  9734004 |  7720652 |      870  22728 |        0 |        0
942.01/942.26	c  942s |      26 |  9753459 |  7735952 |      870  22762 |        0 |        0
944.01/944.27	c  944s |      26 |  9774104 |  7751452 |      870  22797 |        0 |        0
946.01/946.27	c  946s |      26 |  9793276 |  7766352 |      870  22830 |        0 |        0
948.01/948.28	c  948s |      26 |  9813051 |  7781852 |      870  22864 |        0 |        0
950.01/950.29	c  950s |      26 |  9833124 |  7797552 |      870  22899 |        0 |        0
952.11/952.30	c  952s |      26 |  9853151 |  7813152 |      870  22933 |        0 |        0
954.10/954.31	c  954s |      26 |  9871438 |  7827452 |      870  22965 |        0 |        0
956.10/956.33	c  956s |      26 |  9889805 |  7841852 |      870  22997 |        0 |        0
958.10/958.33	c  958s |      26 |  9907532 |  7856352 |      870  23028 |        0 |        0
960.11/960.34	c  960s |      26 |  9924778 |  7870652 |      870  23060 |        0 |        0
962.10/962.35	c  962s |      26 |  9945007 |  7885852 |      870  23093 |        0 |        0
964.10/964.36	c  964s |      26 |  9967025 |  7901352 |      870  23127 |        0 |        0
966.10/966.37	c  966s |      26 |  9988005 |  7916752 |      870  23161 |        0 |        0
968.10/968.37	c  968s |      26 | 10009021 |  7932452 |      870  23196 |        0 |        0
970.11/970.38	c  970s |      26 | 10029351 |  7947752 |      870  23230 |        0 |        0
972.10/972.39	c  972s |      26 | 10049460 |  7963052 |      870  23263 |        0 |        0
974.10/974.40	c  974s |      26 | 10070113 |  7978152 |      870  23297 |        0 |        0
976.20/976.40	c  976s |      26 | 10088842 |  7993052 |      870  23330 |        0 |        0
978.20/978.41	c  978s |      26 | 10107448 |  8007652 |      870  23362 |        0 |        0
980.20/980.41	c  980s |      26 | 10126072 |  8022352 |      870  23394 |        0 |        0
982.20/982.42	c  982s |      26 | 10144774 |  8037452 |      870  23428 |        0 |        0
984.19/984.42	c  984s |      26 | 10164393 |  8052252 |      870  23461 |        0 |        0
986.19/986.43	c  986s |      26 | 10184715 |  8067352 |      870  23494 |        0 |        0
988.19/988.43	c  988s |      26 | 10206853 |  8083552 |      870  23529 |        0 |        0
990.19/990.44	c  990s |      26 | 10229628 |  8099452 |      870  23565 |        0 |        0
992.19/992.45	c  992s |      26 | 10251731 |  8115552 |      870  23600 |        0 |        0
994.19/994.45	c  994s |      26 | 10272713 |  8131052 |      870  23635 |        0 |        0
996.18/996.45	c  996s |      26 | 10291906 |  8146152 |      870  23668 |        0 |        0
998.18/998.46	c  998s |      26 | 10314388 |  8162352 |      870  23704 |        0 |        0
1000.18/1000.47	c 1000s |      26 | 10336460 |  8178052 |      870  23738 |        0 |        0
1002.18/1002.47	c 1002s |      26 | 10356654 |  8193352 |      870  23772 |        0 |        0
1004.19/1004.48	c 1004s |      26 | 10375887 |  8208352 |      870  23805 |        0 |        0
1006.18/1006.49	c 1006s |      26 | 10394967 |  8223552 |      870  23839 |        0 |        0
1008.28/1008.50	c 1008s |      26 | 10414483 |  8238852 |      870  23873 |        0 |        0
1010.27/1010.50	c 1010s |      26 | 10431914 |  8253552 |      870  23906 |        0 |        0
1012.28/1012.51	c 1012s |      26 | 10450155 |  8268652 |      870  23939 |        0 |        0
1014.28/1014.52	c 1014s |      26 | 10467572 |  8283452 |      870  23972 |        0 |        0
1016.29/1016.52	c 1016s |      26 | 10484426 |  8297952 |      870  24003 |        0 |        0
1018.28/1018.53	c 1018s |      26 | 10501242 |  8312552 |      870  24035 |        0 |        0
1020.28/1020.53	c 1020s |      26 | 10517740 |  8326852 |      870  24066 |        0 |        0
1022.27/1022.54	c 1022s |      26 | 10533516 |  8340752 |      870  24096 |        0 |        0
1024.27/1024.55	c 1024s |      26 | 10550494 |  8355452 |      870  24128 |        0 |        0
1026.27/1026.55	c 1026s |      26 | 10567719 |  8370052 |      870  24160 |        0 |        0
1028.28/1028.55	c 1028s |      26 | 10584006 |  8384152 |      870  24190 |        0 |        0
1030.27/1030.56	c 1030s |      26 | 10599548 |  8397852 |      870  24220 |        0 |        0
1032.27/1032.56	c 1032s |      26 | 10616256 |  8412352 |      870  24252 |        0 |        0
1034.27/1034.57	c 1034s |      26 | 10632392 |  8426352 |      870  24283 |        0 |        0
1036.27/1036.58	c 1036s |      26 | 10649489 |  8440952 |      870  24315 |        0 |        0
1038.28/1038.59	c 1038s |      26 | 10665658 |  8455052 |      870  24345 |        0 |        0
1040.27/1040.59	c 1040s |      26 | 10681137 |  8468752 |      870  24375 |        0 |        0
1042.36/1042.60	c 1042s |      26 | 10697357 |  8482852 |      870  24406 |        0 |        0
1044.36/1044.61	c 1044s |      26 | 10713376 |  8496852 |      870  24437 |        0 |        0
1046.36/1046.62	c 1046s |      26 | 10729374 |  8510852 |      870  24467 |        0 |        0
1048.36/1048.63	c 1048s |      26 | 10744450 |  8524252 |      870  24497 |        0 |        0
1050.37/1050.63	c 1050s |      26 | 10759300 |  8537552 |      870  24526 |        0 |        0
1052.36/1052.64	c 1052s |      26 | 10775068 |  8551252 |      870  24556 |        0 |        0
1054.35/1054.65	c 1054s |      26 | 10791177 |  8565052 |      870  24586 |        0 |        0
1056.35/1056.66	c 1056s |      26 | 10807834 |  8579252 |      870  24617 |        0 |        0
1058.35/1058.67	c 1058s |      26 | 10824569 |  8593452 |      870  24648 |        0 |        0
1060.35/1060.68	c 1060s |      26 | 10841973 |  8607552 |      870  24679 |        0 |        0
1062.36/1062.68	c 1062s |      26 | 10858455 |  8621452 |      870  24709 |        0 |        0
1064.35/1064.70	c 1064s |      26 | 10874872 |  8635352 |      870  24739 |        0 |        0
1066.45/1066.71	c 1066s |      26 | 10891299 |  8649152 |      870  24770 |        0 |        0
1068.45/1068.72	c 1068s |      26 | 10908299 |  8663352 |      870  24801 |        0 |        0
1070.45/1070.72	c 1070s |      26 | 10925004 |  8677352 |      870  24832 |        0 |        0
1072.45/1072.72	c 1072s |      26 | 10941782 |  8691452 |      870  24862 |        0 |        0
1074.46/1074.73	c 1074s |      26 | 10958587 |  8705752 |      870  24894 |        0 |        0
1076.45/1076.73	c 1076s |      26 | 10975525 |  8720052 |      870  24925 |        0 |        0
1078.45/1078.74	c 1078s |      26 | 10991394 |  8733852 |      870  24955 |        0 |        0
1080.45/1080.74	c 1080s |      26 | 11007542 |  8747552 |      870  24985 |        0 |        0
1082.45/1082.74	c 1082s |      26 | 11024036 |  8761252 |      870  25016 |        0 |        0
1084.46/1084.75	c 1084s |      26 | 11040378 |  8774952 |      870  25046 |        0 |        0
1086.45/1086.76	c 1086s |      26 | 11056798 |  8788752 |      870  25076 |        0 |        0
1088.45/1088.76	c 1088s |      26 | 11073407 |  8802752 |      870  25107 |        0 |        0
1090.45/1090.77	c 1090s |      26 | 11090092 |  8816752 |      870  25137 |        0 |        0
1092.44/1092.78	c 1092s |      26 | 11107562 |  8831252 |      870  25169 |        0 |        0
1094.44/1094.78	c 1094s |      26 | 11125316 |  8845852 |      870  25201 |        0 |        0
1096.45/1096.78	c 1096s |      26 | 11142061 |  8860052 |      870  25232 |        0 |        0
1098.44/1098.79	c 1098s |      26 | 11158972 |  8874352 |      870  25264 |        0 |        0
1100.54/1100.80	c 1100s |      26 | 11176566 |  8888952 |      870  25296 |        0 |        0
1102.53/1102.81	c 1102s |      26 | 11193874 |  8903352 |      870  25328 |        0 |        0
1104.53/1104.82	c 1104s |      26 | 11209948 |  8917152 |      870  25358 |        0 |        0
1106.53/1106.82	c 1106s |      26 | 11226515 |  8931552 |      870  25389 |        0 |        0
1108.54/1108.83	c 1108s |      26 | 11244066 |  8946152 |      870  25421 |        0 |        0
1110.53/1110.84	c 1110s |      26 | 11260235 |  8960152 |      870  25452 |        0 |        0
1112.53/1112.85	c 1112s |      26 | 11277241 |  8974452 |      870  25483 |        0 |        0
1114.53/1114.87	c 1114s |      26 | 11294195 |  8988852 |      870  25514 |        0 |        0
1116.53/1116.88	c 1116s |      26 | 11311142 |  9003252 |      870  25546 |        0 |        0
1118.53/1118.88	c 1118s |      26 | 11328103 |  9017152 |      870  25576 |        0 |        0
1120.53/1120.89	c 1120s |      26 | 11345014 |  9031352 |      870  25608 |        0 |        0
1122.52/1122.89	c 1122s |      26 | 11362661 |  9045552 |      870  25639 |        0 |        0
1124.62/1124.90	c 1124s |      26 | 11380392 |  9060352 |      870  25672 |        0 |        0
1126.63/1126.90	c 1126s |      26 | 11398318 |  9075052 |      870  25705 |        0 |        0
1128.63/1128.91	c 1128s |      26 | 11416459 |  9089852 |      870  25738 |        0 |        0
1130.64/1130.91	c 1130s |      26 | 11432963 |  9103952 |      870  25769 |        0 |        0
1132.62/1132.92	c 1132s |      26 | 11449942 |  9118452 |      870  25801 |        0 |        0
1134.62/1134.93	c 1134s |      26 | 11467917 |  9133252 |      870  25833 |        0 |        0
1136.62/1136.93	c 1136s |      26 | 11484914 |  9147852 |      870  25865 |        0 |        0
1138.62/1138.94	c 1138s |      26 | 11503044 |  9162652 |      870  25898 |        0 |        0
1140.62/1140.96	c 1140s |      26 | 11520405 |  9177252 |      870  25930 |        0 |        0
1142.63/1142.96	c 1142s |      26 | 11538713 |  9192252 |      870  25963 |        0 |        0
1144.62/1144.97	c 1144s |      26 | 11557594 |  9207452 |      870  25997 |        0 |        0
1146.62/1146.98	c 1146s |      26 | 11575144 |  9221952 |      870  26029 |        0 |        0
1148.62/1148.99	c 1148s |      26 | 11592020 |  9235952 |      870  26060 |        0 |        0
1150.72/1151.00	c 1150s |      26 | 11608087 |  9249652 |      870  26090 |        0 |        0
1152.71/1153.01	c 1152s |      26 | 11624739 |  9263552 |      870  26120 |        0 |        0
1154.72/1155.02	c 1155s |      26 | 11641708 |  9277852 |      870  26152 |        0 |        0
1156.71/1157.02	c 1157s |      26 | 11657991 |  9291752 |      870  26182 |        0 |        0
1158.71/1159.04	c 1159s |      26 | 11675069 |  9305952 |      870  26214 |        0 |        0
1160.71/1161.05	c 1161s |      26 | 11692323 |  9320452 |      870  26246 |        0 |        0
1162.71/1163.06	c 1163s |      26 | 11709022 |  9334652 |      870  26277 |        0 |        0
1164.71/1165.07	c 1165s |      26 | 11726603 |  9349252 |      870  26309 |        0 |        0
1166.70/1167.07	c 1167s |      26 | 11744384 |  9364052 |      870  26341 |        0 |        0
1168.70/1169.09	c 1169s |      26 | 11762413 |  9378752 |      870  26374 |        0 |        0
1170.81/1171.10	c 1171s |      26 | 11781882 |  9394152 |      870  26408 |        0 |        0
1172.80/1173.11	c 1173s |      26 | 11800566 |  9409052 |      870  26441 |        0 |        0
1174.80/1175.11	c 1175s |      26 | 11819280 |  9424252 |      870  26475 |        0 |        0
1176.81/1177.11	c 1177s |      26 | 11837189 |  9438852 |      870  26507 |        0 |        0
1178.80/1179.12	c 1179s |      26 | 11855810 |  9453952 |      870  26541 |        0 |        0
1180.80/1181.13	c 1181s |      26 | 11874088 |  9468752 |      870  26574 |        0 |        0
1182.80/1183.13	c 1183s |      26 | 11891304 |  9483252 |      870  26605 |        0 |        0
1184.80/1185.15	c 1185s |      26 | 11909522 |  9498252 |      870  26638 |        0 |        0
1186.80/1187.16	c 1187s |      26 | 11928095 |  9513152 |      870  26671 |        0 |        0
1188.80/1189.16	c 1189s |      26 | 11946655 |  9528252 |      870  26705 |        0 |        0
1190.80/1191.16	c 1191s |      26 | 11964861 |  9543152 |      870  26738 |        0 |        0
1192.79/1193.17	c 1193s |      26 | 11981967 |  9557852 |      870  26770 |        0 |        0
1194.79/1195.18	c 1195s |      26 | 11999498 |  9572552 |      870  26802 |        0 |        0
1196.79/1197.18	c 1197s |      26 | 12015581 |  9586552 |      870  26834 |        0 |        0
1198.80/1199.19	c 1199s |      26 | 12031456 |  9600252 |      870  26864 |        0 |        0
1200.79/1201.20	c 1201s |      26 | 12047615 |  9614152 |      870  26895 |        0 |        0
1202.89/1203.20	c 1203s |      26 | 12064956 |  9628552 |      870  26927 |        0 |        0
1204.88/1205.21	c 1205s |      26 | 12084020 |  9643652 |      870  26960 |        0 |        0
1206.88/1207.22	c 1207s |      26 | 12101889 |  9658552 |      870  26994 |        0 |        0
1208.88/1209.23	c 1209s |      26 | 12119769 |  9673352 |      870  27027 |        0 |        0
1210.89/1211.24	c 1211s |      26 | 12138042 |  9688452 |      870  27060 |        0 |        0
1212.88/1213.25	c 1213s |      26 | 12156322 |  9703352 |      870  27093 |        0 |        0
1214.88/1215.26	c 1215s |      26 | 12174660 |  9718252 |      870  27126 |        0 |        0
1216.88/1217.27	c 1217s |      26 | 12192357 |  9732952 |      870  27159 |        0 |        0
1218.88/1219.28	c 1219s |      26 | 12210755 |  9747752 |      870  27191 |        0 |        0
1220.88/1221.29	c 1221s |      26 | 12230282 |  9763352 |      870  27226 |        0 |        0
1222.88/1223.30	c 1223s |      26 | 12248535 |  9778252 |      870  27259 |        0 |        0
1224.97/1225.30	c 1225s |      26 | 12266197 |  9792852 |      870  27291 |        0 |        0
1226.97/1227.31	c 1227s |      26 | 12284692 |  9807752 |      870  27324 |        0 |        0
1228.97/1229.32	c 1229s |      26 | 12303669 |  9823052 |      870  27358 |        0 |        0
1230.97/1231.33	c 1231s |      26 | 12322732 |  9838252 |      870  27391 |        0 |        0
1232.97/1233.34	c 1233s |      26 | 12340447 |  9852952 |      870  27424 |        0 |        0
1234.98/1235.34	c 1235s |      26 | 12358920 |  9867852 |      870  27457 |        0 |        0
1236.97/1237.35	c 1237s |      26 | 12377000 |  9882752 |      870  27490 |        0 |        0
1238.97/1239.36	c 1239s |      26 | 12395584 |  9898052 |      870  27524 |        0 |        0
1240.97/1241.36	c 1241s |      26 | 12414110 |  9913152 |      870  27558 |        0 |        0
1242.97/1243.37	c 1243s |      26 | 12431865 |  9928052 |      870  27591 |        0 |        0
1244.97/1245.37	c 1245s |      26 | 12449661 |  9942952 |      870  27624 |        0 |        0
1246.96/1247.38	c 1247s |      26 | 12468213 |  9957952 |      870  27657 |        0 |        0
1248.96/1249.38	c 1249s |      26 | 12486477 |  9972952 |      870  27690 |        0 |        0
1250.96/1251.39	c 1251s |      26 | 12506553 |  9988852 |      870  27726 |        0 |        0
1252.96/1253.39	c 1253s |      26 | 12524502 | 10003752 |      870  27759 |        0 |        0
1255.06/1255.40	c 1255s |      26 | 12542476 | 10018652 |      870  27792 |        0 |        0
1257.06/1257.41	c 1257s |      26 | 12559840 | 10033352 |      870  27824 |        0 |        0
1259.06/1259.41	c 1259s |      26 | 12577240 | 10048052 |      870  27857 |        0 |        0
1261.06/1261.41	c 1261s |      26 | 12594759 | 10062552 |      870  27890 |        0 |        0
1263.06/1263.42	c 1263s |      26 | 12612373 | 10077152 |      870  27922 |        0 |        0
1265.05/1265.44	c 1265s |      26 | 12629886 | 10091752 |      870  27954 |        0 |        0
1267.05/1267.45	c 1267s |      26 | 12647960 | 10106652 |      870  27988 |        0 |        0
1269.06/1269.46	c 1269s |      26 | 12665382 | 10121152 |      870  28020 |        0 |        0
1271.05/1271.46	c 1271s |      26 | 12682717 | 10135652 |      870  28052 |        0 |        0
1273.05/1273.46	c 1273s |      26 | 12698985 | 10149552 |      870  28083 |        0 |        0
1275.05/1275.47	c 1275s |      26 | 12716024 | 10163952 |      870  28115 |        0 |        0
1277.04/1277.48	c 1277s |      26 | 12732769 | 10178352 |      870  28147 |        0 |        0
1279.05/1279.48	c 1279s |      26 | 12750923 | 10193152 |      870  28180 |        0 |        0
1281.04/1281.50	c 1281s |      26 | 12768183 | 10207652 |      870  28212 |        0 |        0
1283.14/1283.50	c 1283s |      26 | 12784993 | 10222052 |      870  28245 |        0 |        0
1285.14/1285.51	c 1285s |      26 | 12802383 | 10236552 |      870  28277 |        0 |        0
1287.14/1287.51	c 1287s |      26 | 12822703 | 10252552 |      870  28312 |        0 |        0
1289.14/1289.51	c 1289s |      26 | 12843072 | 10268452 |      870  28348 |        0 |        0
1291.14/1291.52	c 1291s |      26 | 12862875 | 10283452 |      870  28381 |        0 |        0
1293.14/1293.52	c 1293s |      26 | 12882144 | 10298652 |      870  28415 |        0 |        0
1295.14/1295.53	c 1295s |      26 | 12901464 | 10314152 |      870  28449 |        0 |        0
1297.13/1297.54	c 1297s |      26 | 12920427 | 10329252 |      870  28482 |        0 |        0
1299.13/1299.55	c 1299s |      26 | 12938469 | 10344252 |      870  28516 |        0 |        0
1301.13/1301.55	c 1301s |      26 | 12956374 | 10359052 |      870  28548 |        0 |        0
1303.13/1303.56	c 1303s |      26 | 12974922 | 10374252 |      870  28582 |        0 |        0
1305.13/1305.57	c 1305s |      26 | 12992126 | 10388952 |      870  28615 |        0 |        0
1307.13/1307.58	c 1307s |      26 | 13011438 | 10404652 |      870  28649 |        0 |        0
1309.13/1309.59	c 1309s |      26 | 13029702 | 10419652 |      870  28683 |        0 |        0
1311.23/1311.60	c 1311s |      26 | 13047930 | 10434552 |      870  28716 |        0 |        0
1313.23/1313.60	c 1313s |      26 | 13067710 | 10450252 |      870  28751 |        0 |        0
1315.23/1315.60	c 1315s |      26 | 13085361 | 10464852 |      870  28783 |        0 |        0
1317.23/1317.61	c 1317s |      26 | 13104705 | 10480252 |      870  28818 |        0 |        0
1319.23/1319.61	c 1319s |      26 | 13124697 | 10495952 |      870  28853 |        0 |        0
1321.23/1321.61	c 1321s |      26 | 13143987 | 10511752 |      870  28888 |        0 |        0
1323.22/1323.62	c 1323s |      26 | 13163466 | 10527352 |      870  28922 |        0 |        0
1325.23/1325.63	c 1325s |      26 | 13182645 | 10543052 |      870  28957 |        0 |        0
1327.22/1327.64	c 1327s |      26 | 13202334 | 10558852 |      870  28991 |        0 |        0
1329.22/1329.66	c 1329s |      26 | 13221415 | 10574452 |      870  29026 |        0 |        0
1331.22/1331.66	c 1331s |      26 | 13239800 | 10589852 |      870  29060 |        0 |        0
1333.21/1333.67	c 1333s |      26 | 13258353 | 10605052 |      870  29094 |        0 |        0
1335.21/1335.68	c 1335s |      26 | 13277249 | 10620652 |      870  29128 |        0 |        0
1337.22/1337.69	c 1337s |      26 | 13296964 | 10636552 |      870  29164 |        0 |        0
1339.21/1339.69	c 1339s |      26 | 13315637 | 10651852 |      870  29198 |        0 |        0
1341.31/1341.70	c 1341s |      26 | 13335390 | 10668052 |      870  29234 |        0 |        0
1343.31/1343.71	c 1343s |      26 | 13353963 | 10683652 |      870  29268 |        0 |        0
1345.31/1345.72	c 1345s |      26 | 13372759 | 10699252 |      870  29303 |        0 |        0
1347.31/1347.72	c 1347s |      26 | 13390796 | 10714552 |      870  29337 |        0 |        0
1349.32/1349.73	c 1349s |      26 | 13409037 | 10730052 |      870  29371 |        0 |        0
1351.31/1351.74	c 1351s |      26 | 13429292 | 10746252 |      870  29407 |        0 |        0
1353.31/1353.75	c 1353s |      26 | 13447876 | 10761652 |      870  29442 |        0 |        0
1355.31/1355.76	c 1355s |      26 | 13467463 | 10777552 |      870  29477 |        0 |        0
1357.31/1357.77	c 1357s |      26 | 13486928 | 10793452 |      870  29512 |        0 |        0
1359.31/1359.77	c 1359s |      26 | 13506593 | 10809152 |      870  29547 |        0 |        0
1361.30/1361.78	c 1361s |      26 | 13526007 | 10824852 |      870  29582 |        0 |        0
1363.30/1363.78	c 1363s |      26 | 13544761 | 10840052 |      870  29616 |        0 |        0
1365.30/1365.78	c 1365s |      26 | 13563611 | 10855252 |      870  29650 |        0 |        0
1367.30/1367.79	c 1367s |      26 | 13583153 | 10870952 |      870  29685 |        0 |        0
1369.30/1369.79	c 1369s |      26 | 13601405 | 10886252 |      870  29719 |        0 |        0
1371.41/1371.80	c 1371s |      26 | 13619924 | 10901352 |      870  29752 |        0 |        0
1373.39/1373.81	c 1373s |      26 | 13638829 | 10917052 |      870  29787 |        0 |        0
1375.39/1375.82	c 1375s |      26 | 13657299 | 10932752 |      870  29822 |        0 |        0
1377.39/1377.82	c 1377s |      26 | 13675063 | 10948052 |      870  29857 |        0 |        0
1379.39/1379.82	c 1379s |      26 | 13693301 | 10963152 |      870  29891 |        0 |        0
1381.39/1381.83	c 1381s |      26 | 13711662 | 10978452 |      870  29925 |        0 |        0
1383.40/1383.85	c 1383s |      26 | 13728239 | 10992752 |      870  29957 |        0 |        0
1385.39/1385.85	c 1385s |      26 | 13744394 | 11006952 |      870  29988 |        0 |        0
1387.39/1387.86	c 1387s |      26 | 13763004 | 11022152 |      870  30022 |        0 |        0
1389.38/1389.86	c 1389s |      26 | 13781561 | 11037452 |      870  30056 |        0 |        0
1391.38/1391.87	c 1391s |      26 | 13800035 | 11052752 |      870  30090 |        0 |        0
1393.39/1393.87	c 1393s |      26 | 13819757 | 11068152 |      870  30124 |        0 |        0
1395.38/1395.87	c 1395s |      26 | 13839369 | 11083552 |      870  30158 |        0 |        0
1397.38/1397.88	c 1397s |      26 | 13858622 | 11098952 |      870  30193 |        0 |        0
1399.38/1399.89	c 1399s |      26 | 13876320 | 11113652 |      870  30226 |        0 |        0
1401.48/1401.90	c 1401s |      26 | 13894163 | 11128552 |      870  30259 |        0 |        0
1403.48/1403.91	c 1403s |      26 | 13911912 | 11143552 |      870  30292 |        0 |        0
1405.49/1405.92	c 1405s |      26 | 13929663 | 11158552 |      870  30325 |        0 |        0
1407.48/1407.92	c 1407s |      26 | 13947346 | 11173552 |      870  30359 |        0 |        0
1409.48/1409.94	c 1409s |      26 | 13965048 | 11188752 |      870  30393 |        0 |        0
1411.48/1411.94	c 1411s |      26 | 13983019 | 11203852 |      870  30426 |        0 |        0
1413.48/1413.94	c 1413s |      26 | 14000298 | 11218652 |      870  30459 |        0 |        0
1415.47/1415.95	c 1415s |      26 | 14017754 | 11233552 |      870  30492 |        0 |        0
1417.48/1417.96	c 1417s |      26 | 14036015 | 11248652 |      870  30525 |        0 |        0
1419.47/1419.97	c 1419s |      26 | 14053544 | 11263652 |      870  30559 |        0 |        0
1421.47/1421.98	c 1421s |      26 | 14070812 | 11278552 |      870  30592 |        0 |        0
1423.47/1423.99	c 1423s |      26 | 14088267 | 11293252 |      870  30625 |        0 |        0
1425.57/1426.00	c 1425s |      26 | 14105892 | 11308052 |      870  30658 |        0 |        0
1427.57/1428.02	c 1428s |      26 | 14124276 | 11322952 |      958  30689 |        0 |        0
1429.57/1430.02	c 1430s |      26 | 14142709 | 11337552 |      958  30719 |        0 |        0
1431.57/1432.02	c 1432s |      26 | 14160301 | 11351852 |      958  30747 |        0 |        0
1433.56/1434.03	c 1434s |      26 | 14176426 | 11365652 |      958  30776 |        0 |        0
1435.56/1436.04	c 1436s |      26 | 14194149 | 11380252 |      958  30805 |        0 |        0
1437.56/1438.04	c 1438s |      26 | 14214333 | 11395852 |      958  30837 |        0 |        0
1437.66/1438.16	c 1438s |      27 | 14215316 | 11396733 |      958  30839 |        0 |        0
1439.66/1440.17	c 1440s |      27 | 14232932 | 11411533 |      958  30868 |        0 |        0
1441.67/1442.17	c 1442s |      27 | 14249966 | 11426233 |      958  30897 |        0 |        0
1443.66/1444.17	c 1444s |      27 | 14265940 | 11440433 |      958  30926 |        0 |        0
1445.65/1446.18	c 1446s |      27 | 14283435 | 11455133 |      958  30955 |        0 |        0
1447.65/1448.19	c 1448s |      27 | 14300285 | 11469633 |      958  30984 |        0 |        0
1449.65/1450.19	c 1450s |      27 | 14315186 | 11482933 |      958  31011 |        0 |        0
1451.75/1452.20	c 1452s |      27 | 14329607 | 11496033 |      958  31037 |        0 |        0
1453.76/1454.21	c 1454s |      27 | 14344231 | 11509133 |      958  31063 |        0 |        0
1455.75/1456.21	c 1456s |      27 | 14360334 | 11523033 |      958  31091 |        0 |        0
1457.75/1458.21	c 1458s |      27 | 14376373 | 11537033 |      958  31119 |        0 |        0
1459.75/1460.23	c 1460s |      27 | 14392464 | 11551233 |      958  31147 |        0 |        0
1461.75/1462.24	c 1462s |      27 | 14408329 | 11565433 |      958  31176 |        0 |        0
1463.75/1464.26	c 1464s |      27 | 14423893 | 11579433 |      958  31204 |        0 |        0
1465.74/1466.27	c 1466s |      27 | 14439905 | 11593733 |      958  31232 |        0 |        0
1467.74/1468.27	c 1468s |      27 | 14455797 | 11607633 |      958  31260 |        0 |        0
1469.74/1470.29	c 1470s |      27 | 14471955 | 11621733 |      958  31288 |        0 |        0
1471.84/1472.30	c 1472s |      27 | 14488331 | 11635933 |      958  31317 |        0 |        0
1473.84/1474.30	c 1474s |      27 | 14504444 | 11649933 |      958  31345 |        0 |        0
1475.84/1476.31	c 1476s |      27 | 14520324 | 11664033 |      958  31374 |        0 |        0
1477.84/1478.31	c 1478s |      27 | 14536470 | 11678033 |      958  31402 |        0 |        0
1479.84/1480.32	c 1480s |      27 | 14554260 | 11692733 |      958  31432 |        0 |        0
1481.84/1482.33	c 1482s |      27 | 14572529 | 11707833 |      958  31462 |        0 |        0
1483.84/1484.33	c 1484s |      27 | 14590428 | 11722633 |      958  31492 |        0 |        0
1485.84/1486.33	c 1486s |      27 | 14607793 | 11737133 |      958  31521 |        0 |        0
1487.84/1488.34	c 1488s |      27 | 14624762 | 11751733 |      958  31550 |        0 |        0
1489.84/1490.34	c 1490s |      27 | 14642540 | 11766533 |      958  31580 |        0 |        0
1491.84/1492.35	c 1492s |      27 | 14659864 | 11781233 |      958  31609 |        0 |        0
1493.83/1494.35	c 1494s |      27 | 14677277 | 11795733 |      958  31639 |        0 |        0
1495.83/1496.35	c 1496s |      27 | 14695521 | 11810833 |      958  31669 |        0 |        0
1497.84/1498.36	c 1498s |      27 | 14712622 | 11825233 |      958  31699 |        0 |        0
1499.83/1500.37	c 1500s |      27 | 14730578 | 11839833 |      958  31728 |        0 |        0
1501.83/1502.38	c 1502s |      27 | 14747967 | 11854033 |      958  31756 |        0 |        0
1503.83/1504.38	c 1504s |      27 | 14765257 | 11868333 |      958  31785 |        0 |        0
1505.83/1506.39	c 1506s |      27 | 14783304 | 11882933 |      958  31814 |        0 |        0
1507.93/1508.40	c 1508s |      27 | 14801776 | 11897633 |      958  31844 |        0 |        0
1509.93/1510.41	c 1510s |      27 | 14821490 | 11913133 |      958  31875 |        0 |        0
1511.93/1512.42	c 1512s |      27 | 14838591 | 11927833 |      958  31905 |        0 |        0
1513.92/1514.42	c 1514s |      27 | 14857573 | 11942633 |      958  31934 |        0 |        0
1515.92/1516.42	c 1516s |      27 | 14875545 | 11957133 |      958  31964 |        0 |        0
1517.92/1518.42	c 1518s |      27 | 14893647 | 11971633 |      958  31993 |        0 |        0
1519.92/1520.43	c 1520s |      27 | 14910323 | 11985933 |      958  32021 |        0 |        0
1521.93/1522.43	c 1522s |      27 | 14926342 | 11999833 |      958  32049 |        0 |        0
1523.92/1524.44	c 1524s |      27 | 14942813 | 12013733 |      958  32077 |        0 |        0
1525.92/1526.45	c 1526s |      27 | 14958854 | 12027733 |      958  32105 |        0 |        0
1527.92/1528.45	c 1528s |      27 | 14975406 | 12041733 |      958  32133 |        0 |        0
1529.92/1530.45	c 1530s |      27 | 14991396 | 12055633 |      958  32161 |        0 |        0
1531.93/1532.45	c 1532s |      27 | 15007274 | 12069433 |      958  32189 |        0 |        0
1533.92/1534.46	c 1534s |      27 | 15023950 | 12083633 |      958  32217 |        0 |        0
1535.92/1536.46	c 1536s |      27 | 15040119 | 12097433 |      958  32246 |        0 |        0
1537.92/1538.46	c 1538s |      27 | 15056881 | 12111133 |      958  32273 |        0 |        0
1539.92/1540.46	c 1540s |      27 | 15072264 | 12124733 |      958  32300 |        0 |        0
1541.92/1542.47	c 1542s |      27 | 15087970 | 12138333 |      958  32328 |        0 |        0
1543.92/1544.48	c 1544s |      27 | 15103493 | 12152033 |      958  32355 |        0 |        0
1545.92/1546.49	c 1546s |      27 | 15119428 | 12165833 |      958  32383 |        0 |        0
1548.02/1548.50	c 1548s |      27 | 15135428 | 12179633 |      958  32411 |        0 |        0
1550.02/1550.51	c 1550s |      27 | 15151161 | 12193333 |      958  32438 |        0 |        0
1552.02/1552.51	c 1552s |      27 | 15166965 | 12206933 |      958  32466 |        0 |        0
1554.01/1554.52	c 1554s |      27 | 15183657 | 12221033 |      958  32494 |        0 |        0
1556.02/1556.53	c 1556s |      27 | 15201055 | 12235233 |      958  32523 |        0 |        0
1558.01/1558.53	c 1558s |      27 | 15218039 | 12249533 |      958  32552 |        0 |        0
1560.02/1560.54	c 1560s |      27 | 15234484 | 12264033 |      958  32582 |        0 |        0
1562.02/1562.54	c 1562s |      27 | 15249158 | 12277433 |      958  32609 |        0 |        0
1564.02/1564.55	c 1564s |      27 | 15263915 | 12290833 |      958  32637 |        0 |        0
1566.03/1566.55	c 1566s |      27 | 15280909 | 12305033 |      958  32666 |        0 |        0
1568.02/1568.57	c 1568s |      27 | 15298377 | 12319333 |      958  32694 |        0 |        0
1570.02/1570.58	c 1570s |      27 | 15315681 | 12333433 |      958  32722 |        0 |        0
1572.02/1572.59	c 1572s |      27 | 15332684 | 12347533 |      958  32751 |        0 |        0
1574.02/1574.59	c 1574s |      27 | 15348493 | 12361233 |      958  32778 |        0 |        0
1576.12/1576.61	c 1576s |      27 | 15363065 | 12374333 |      958  32805 |        0 |        0
1578.12/1578.61	c 1578s |      27 | 15379441 | 12387733 |      958  32832 |        0 |        0
1580.12/1580.63	c 1580s |      27 | 15396399 | 12401633 |      958  32860 |        0 |        0
1582.12/1582.63	c 1582s |      27 | 15414294 | 12416033 |      958  32889 |        0 |        0
1584.12/1584.63	c 1584s |      27 | 15430900 | 12429533 |      958  32916 |        0 |        0
1586.11/1586.64	c 1586s |      27 | 15448066 | 12443433 |      958  32944 |        0 |        0
1588.11/1588.64	c 1588s |      27 | 15465168 | 12457633 |      958  32973 |        0 |        0
1590.12/1590.65	c 1590s |      27 | 15482526 | 12472233 |      958  33002 |        0 |        0
1592.11/1592.66	c 1592s |      27 | 15498512 | 12485833 |      958  33030 |        0 |        0
1594.11/1594.67	c 1594s |      27 | 15515119 | 12499633 |      958  33057 |        0 |        0
1596.11/1596.69	c 1596s |      27 | 15532700 | 12513533 |      958  33086 |        0 |        0
1598.11/1598.69	c 1598s |      27 | 15550683 | 12527833 |      958  33114 |        0 |        0
1600.21/1600.70	c 1600s |      27 | 15568835 | 12542533 |      958  33144 |        0 |        0
1602.22/1602.70	c 1602s |      27 | 15588034 | 12557833 |      958  33175 |        0 |        0
1604.21/1604.71	c 1604s |      27 | 15607193 | 12572833 |      958  33205 |        0 |        0
1606.21/1606.71	c 1606s |      27 | 15623198 | 12586633 |      958  33233 |        0 |        0
1608.21/1608.71	c 1608s |      27 | 15641627 | 12601033 |      958  33262 |        0 |        0
1610.21/1610.72	c 1610s |      27 | 15660641 | 12615733 |      958  33291 |        0 |        0
1612.21/1612.73	c 1612s |      27 | 15679262 | 12630633 |      958  33322 |        0 |        0
1614.21/1614.73	c 1614s |      27 | 15698460 | 12645633 |      958  33352 |        0 |        0
1616.21/1616.74	c 1616s |      27 | 15717181 | 12660333 |      958  33382 |        0 |        0
1618.21/1618.74	c 1618s |      27 | 15735620 | 12674933 |      958  33411 |        0 |        0
1620.20/1620.75	c 1620s |      27 | 15753704 | 12689733 |      958  33441 |        0 |        0
1622.21/1622.75	c 1622s |      27 | 15772111 | 12704933 |      958  33472 |        0 |        0
1624.22/1624.77	c 1624s |      27 | 15788891 | 12719233 |      958  33501 |        0 |        0
1626.21/1626.78	c 1626s |      27 | 15807011 | 12734033 |      958  33530 |        0 |        0
1628.21/1628.79	c 1628s |      27 | 15825136 | 12749033 |      958  33561 |        0 |        0
1630.21/1630.80	c 1630s |      27 | 15845105 | 12764833 |      958  33593 |        0 |        0
1632.31/1632.80	c 1632s |      27 | 15864156 | 12780333 |      958  33624 |        0 |        0
1634.31/1634.81	c 1634s |      27 | 15884509 | 12796233 |      958  33656 |        0 |        0
1636.31/1636.82	c 1636s |      27 | 15903066 | 12811233 |      958  33687 |        0 |        0
1638.30/1638.83	c 1638s |      27 | 15922780 | 12826633 |      958  33718 |        0 |        0
1640.30/1640.84	c 1640s |      27 | 15940843 | 12841433 |      958  33748 |        0 |        0
1642.30/1642.85	c 1642s |      27 | 15957690 | 12855333 |      958  33776 |        0 |        0
1644.30/1644.85	c 1644s |      27 | 15975429 | 12869833 |      958  33805 |        0 |        0
1646.31/1646.86	c 1646s |      27 | 15992773 | 12884033 |      958  33834 |        0 |        0
1648.30/1648.87	c 1648s |      27 | 16006482 | 12896533 |      958  33860 |        0 |        0
1650.30/1650.89	c 1650s |      27 | 16021833 | 12910233 |      958  33888 |        0 |        0
1652.30/1652.89	c 1652s |      27 | 16036532 | 12923333 |      958  33915 |        0 |        0
1654.30/1654.89	c 1654s |      27 | 16052239 | 12937033 |      958  33943 |        0 |        0
1656.40/1656.90	c 1656s |      27 | 16068759 | 12951033 |      958  33972 |        0 |        0
1658.41/1658.91	c 1658s |      27 | 16085212 | 12965133 |      958  34001 |        0 |        0
1660.40/1660.92	c 1660s |      27 | 16102851 | 12979733 |      958  34031 |        0 |        0
1662.40/1662.93	c 1662s |      27 | 16118591 | 12993533 |      958  34060 |        0 |        0
1664.40/1664.93	c 1664s |      27 | 16134132 | 13007333 |      958  34088 |        0 |        0
1666.40/1666.93	c 1666s |      27 | 16150072 | 13021233 |      958  34117 |        0 |        0
1668.40/1668.95	c 1668s |      27 | 16165300 | 13034733 |      958  34144 |        0 |        0
1670.41/1670.96	c 1670s |      27 | 16183076 | 13049033 |      958  34173 |        0 |        0
1672.40/1672.97	c 1672s |      27 | 16200281 | 13063333 |      958  34202 |        0 |        0
1674.41/1674.97	c 1674s |      27 | 16219776 | 13078433 |      958  34232 |        0 |        0
1676.41/1676.97	c 1676s |      27 | 16238418 | 13093233 |      958  34262 |        0 |        0
1678.40/1678.98	c 1678s |      27 | 16257149 | 13108333 |      958  34292 |        0 |        0
1680.41/1680.99	c 1680s |      27 | 16275414 | 13123033 |      958  34322 |        0 |        0
1682.51/1683.01	c 1682s |      27 | 16292716 | 13137733 |      958  34351 |        0 |        0
1684.50/1685.02	c 1685s |      27 | 16310333 | 13152133 |      958  34380 |        0 |        0
1686.50/1687.03	c 1687s |      27 | 16329194 | 13167033 |      958  34410 |        0 |        0
1688.50/1689.03	c 1689s |      27 | 16347371 | 13181833 |      958  34440 |        0 |        0
1690.50/1691.04	c 1691s |      27 | 16364965 | 13196733 |      958  34470 |        0 |        0
1692.51/1693.06	c 1693s |      27 | 16384304 | 13212133 |      958  34501 |        0 |        0
1694.50/1695.06	c 1695s |      27 | 16403511 | 13227533 |      958  34533 |        0 |        0
1696.50/1697.07	c 1697s |      27 | 16422679 | 13243033 |      958  34564 |        0 |        0
1698.49/1699.07	c 1699s |      27 | 16440748 | 13257933 |      958  34594 |        0 |        0
1700.49/1701.08	c 1701s |      27 | 16459206 | 13273233 |      958  34625 |        0 |        0
1702.50/1703.09	c 1703s |      27 | 16476761 | 13287933 |      958  34654 |        0 |        0
1704.51/1705.10	c 1705s |      27 | 16494539 | 13302933 |      958  34685 |        0 |        0
1706.60/1707.11	c 1707s |      27 | 16512217 | 13317533 |      958  34714 |        0 |        0
1708.60/1709.12	c 1709s |      27 | 16529859 | 13332133 |      958  34744 |        0 |        0
1710.60/1711.13	c 1711s |      27 | 16548203 | 13346533 |      958  34773 |        0 |        0
1712.60/1713.13	c 1713s |      27 | 16567303 | 13361433 |      958  34803 |        0 |        0
1714.60/1715.14	c 1715s |      27 | 16584676 | 13375633 |      958  34831 |        0 |        0
1716.61/1717.14	c 1717s |      27 | 16600602 | 13389133 |      958  34859 |        0 |        0
1718.60/1719.14	c 1719s |      27 | 16617189 | 13403233 |      958  34887 |        0 |        0
1720.60/1721.16	c 1721s |      27 | 16635264 | 13417833 |      958  34916 |        0 |        0
1722.60/1723.16	c 1723s |      27 | 16654659 | 13432733 |      958  34946 |        0 |        0
1724.60/1725.17	c 1725s |      27 | 16673582 | 13447533 |      958  34976 |        0 |        0
1726.60/1727.17	c 1727s |      27 | 16691652 | 13462233 |      958  35006 |        0 |        0
1728.60/1729.18	c 1729s |      27 | 16707956 | 13476133 |      958  35034 |        0 |        0
1730.60/1731.18	c 1731s |      27 | 16724496 | 13490433 |      958  35063 |        0 |        0
1732.59/1733.19	c 1733s |      27 | 16740647 | 13504633 |      958  35091 |        0 |        0
1734.59/1735.20	c 1735s |      27 | 16756570 | 13518633 |      958  35120 |        0 |        0
1736.69/1737.21	c 1737s |      27 | 16773876 | 13532933 |      958  35149 |        0 |        0
1738.70/1739.22	c 1739s |      27 | 16790269 | 13547033 |      958  35177 |        0 |        0
1740.69/1741.22	c 1741s |      27 | 16808056 | 13561733 |      958  35207 |        0 |        0
1742.69/1743.23	c 1743s |      27 | 16826240 | 13576633 |      958  35237 |        0 |        0
1744.69/1745.24	c 1745s |      27 | 16841065 | 13589933 |      958  35264 |        0 |        0
1746.69/1747.25	c 1747s |      27 | 16857981 | 13603833 |      958  35292 |        0 |        0
1748.69/1749.26	c 1749s |      27 | 16874612 | 13617633 |      958  35319 |        0 |        0
1750.69/1751.26	c 1751s |      27 | 16891677 | 13631833 |      958  35348 |        0 |        0
1752.69/1753.27	c 1753s |      27 | 16909764 | 13646433 |      958  35377 |        0 |        0
1754.68/1755.28	c 1755s |      27 | 16927200 | 13660833 |      958  35407 |        0 |        0
1756.68/1757.28	c 1757s |      27 | 16944294 | 13675033 |      958  35435 |        0 |        0
1758.68/1759.29	c 1759s |      27 | 16961290 | 13689333 |      958  35464 |        0 |        0
1760.78/1761.30	c 1761s |      27 | 16978467 | 13703633 |      958  35493 |        0 |        0
1762.80/1763.31	c 1763s |      27 | 16995585 | 13718233 |      958  35522 |        0 |        0
1764.79/1765.32	c 1765s |      27 | 17013000 | 13732933 |      958  35552 |        0 |        0
1766.79/1767.33	c 1767s |      27 | 17031049 | 13747733 |      958  35582 |        0 |        0
1768.79/1769.33	c 1769s |      27 | 17048557 | 13761933 |      958  35611 |        0 |        0
1770.79/1771.34	c 1771s |      27 | 17066208 | 13776333 |      958  35640 |        0 |        0
1772.80/1773.36	c 1773s |      27 | 17084668 | 13791433 |      958  35671 |        0 |        0
1774.79/1775.36	c 1775s |      27 | 17102735 | 13806133 |      958  35700 |        0 |        0
1776.79/1777.38	c 1777s |      27 | 17121622 | 13821433 |      958  35731 |        0 |        0
1778.79/1779.39	c 1779s |      27 | 17141692 | 13836833 |      958  35762 |        0 |        0
1780.79/1781.39	c 1781s |      27 | 17160609 | 13851833 |      958  35792 |        0 |        0
1782.89/1783.40	c 1783s |      27 | 17178826 | 13866433 |      958  35822 |        0 |        0
1784.89/1785.41	c 1785s |      27 | 17198362 | 13881533 |      958  35853 |        0 |        0
1786.89/1787.42	c 1787s |      27 | 17217503 | 13896333 |      958  35883 |        0 |        0
1788.89/1789.42	c 1789s |      27 | 17236028 | 13911233 |      958  35913 |        0 |        0
1790.89/1791.43	c 1791s |      27 | 17253201 | 13925233 |      958  35941 |        0 |        0
1792.89/1793.45	c 1793s |      27 | 17272247 | 13940233 |      958  35972 |        0 |        0
1794.88/1795.46	c 1795s |      27 | 17290891 | 13955033 |      958  36001 |        0 |        0
1796.89/1797.47	c 1797s |      27 | 17309681 | 13969733 |      958  36031 |        0 |        0
1798.88/1799.48	c 1799s |      27 | 17327759 | 13984533 |      958  36061 |        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-4089820-1466034257/watcher-4089820-1466034257 -o /tmp/evaluation-result-4089820-1466034257/solver-4089820-1466034257 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089820-1466034257.opb 

pid=11651
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.30 2.25 2.22 3/181 11654
/proc/meminfo: memFree=29295332/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=648636 CPUtime=0 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 2405 0 0 0 0 0 0 0 20 0 4 0 5472159 664203264 3277 33554432000 4194304 16246674 140736688323488 140736688322912 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 162927 3286 441 2943 0 159821 0
[pid=11654/tid=11655] ppid=11651 vsize=667068 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 683077632 3347 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=671164 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 687271936 3361 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=674236 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 690417664 3377 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.30 2.25 2.22 3/181 11654
/proc/meminfo: memFree=29295332/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 26068 0 0 0 5 4 0 0 20 0 4 0 5472159 1247350784 26930 33554432000 4194304 16246674 140736688323488 140736688322912 5724032 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 304529 26943 712 2943 0 301423 0
[pid=11654/tid=11655] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 26951 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 26956 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 26963 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200521 s]
/proc/loadavg: 2.30 2.25 2.22 3/181 11654
/proc/meminfo: memFree=29295332/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 50295 0 0 0 11 7 0 0 20 0 4 0 5472159 1247350784 51156 33554432000 4194304 16246674 140736688323488 140736688305408 6836249 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 304529 51169 712 2943 0 301423 0
[pid=11654/tid=11655] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 51178 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 51182 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 51183 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300445 s]
/proc/loadavg: 2.30 2.25 2.22 3/181 11654
/proc/meminfo: memFree=29295332/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 74663 0 0 0 18 11 0 0 20 0 4 0 5472159 1247350784 75525 33554432000 4194304 16246674 140736688323488 140736688305408 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 304529 75536 712 2943 0 301423 0
[pid=11654/tid=11655] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 75541 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 75549 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 75559 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700367 s]
/proc/loadavg: 2.30 2.25 2.22 3/181 11654
/proc/meminfo: memFree=29295332/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 172979 0 0 0 43 25 0 0 20 0 4 0 5472159 1247350784 173841 33554432000 4194304 16246674 140736688323488 140736688305408 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 304529 173852 712 2943 0 301423 0
[pid=11654/tid=11655] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 173864 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 173871 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 173875 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50035 s]
/proc/loadavg: 2.30 2.25 2.22 5/185 11658
/proc/meminfo: memFree=28310728/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 245521 0 0 0 112 37 0 0 20 0 4 0 5472159 1247350784 246362 33554432000 4194304 16246674 140736688323488 140736688305408 5995317 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 304529 246362 787 2943 0 301423 0
[pid=11654/tid=11655] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 246362 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 246362 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1247350784 246362 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10038 s]
/proc/loadavg: 2.30 2.25 2.22 4/185 11658
/proc/meminfo: memFree=28222936/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 267384 0 0 0 269 40 0 0 20 0 4 0 5472159 1337528320 268225 33554432000 4194304 16246674 140736688323488 140736688305408 13198587 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326545 268225 787 2943 0 323439 0
[pid=11654/tid=11655] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268225 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268225 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268225 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30039 s]
/proc/loadavg: 2.36 2.26 2.22 4/185 11658
/proc/meminfo: memFree=28222500/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 267409 0 0 0 588 40 0 0 20 0 4 0 5472159 1337528320 268250 33554432000 4194304 16246674 140736688323488 140736688305408 6842519 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326545 268250 787 2943 0 323439 0
[pid=11654/tid=11655] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268250 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268250 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268250 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.33 2.26 2.22 4/185 11658
/proc/meminfo: memFree=28222688/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 267421 0 0 0 1228 41 0 0 20 0 4 0 5472159 1337528320 268262 33554432000 4194304 16246674 140736688323488 140736688305408 13950192 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326545 268262 788 2943 0 323439 0
[pid=11654/tid=11655] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268262 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268262 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268262 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.25 2.25 2.21 4/185 11658
/proc/meminfo: memFree=28223404/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 267441 0 0 0 2507 41 0 0 20 0 4 0 5472159 1337528320 268282 33554432000 4194304 16246674 140736688323488 140736688305408 5546023 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326545 268282 790 2943 0 323439 0
[pid=11654/tid=11655] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268282 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268282 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268282 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.29 2.26 2.22 4/185 11658
/proc/meminfo: memFree=28223192/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 267493 0 0 0 5066 42 0 0 20 0 4 0 5472159 1337528320 268334 33554432000 4194304 16246674 140736688323488 140736688305408 5546005 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326545 268334 790 2943 0 323439 0
[pid=11654/tid=11655] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268334 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268334 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268334 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.22 2.24 2.21 4/185 11659
/proc/meminfo: memFree=28223280/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1306180 CPUtime=102.28 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 267494 0 0 0 10185 43 0 0 20 0 4 0 5472159 1337528320 268335 33554432000 4194304 16246674 140736688323488 140736688305408 7249942 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326545 268335 790 2943 0 323439 0
[pid=11654/tid=11655] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268335 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268335 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1337528320 268335 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268514 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.33 2.25 2.19 3/185 11907
/proc/meminfo: memFree=28223432/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1307204 CPUtime=1301.93 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 267970 0 0 0 130124 69 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140736688305408 5754966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326801 268531 792 2943 0 323695 0
[pid=11654/tid=11655] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/185 11908
/proc/meminfo: memFree=28223300/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1307204 CPUtime=1361.9 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 268012 0 0 0 136119 71 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140736688305408 5822224 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326801 268531 792 2943 0 323695 0
[pid=11654/tid=11655] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.18 2.22 2.18 3/185 11909
/proc/meminfo: memFree=28222796/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1307204 CPUtime=1421.88 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 268053 0 0 0 142116 72 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140736688305408 5721406 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326801 268531 792 2943 0 323695 0
[pid=11654/tid=11655] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.34 2.25 2.19 3/185 11911
/proc/meminfo: memFree=28222712/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1307204 CPUtime=1481.84 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 268093 0 0 0 148112 72 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140736688305408 5754801 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326801 268531 792 2943 0 323695 0
[pid=11654/tid=11655] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268531 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.32 2.25 2.19 3/185 11912
/proc/meminfo: memFree=28221444/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1307204 CPUtime=1541.82 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 268111 0 0 0 154109 73 0 0 20 0 4 0 5472159 1338576896 268534 33554432000 4194304 16246674 140736688323488 140736688305408 12477716 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326801 268534 792 2943 0 323695 0
[pid=11654/tid=11655] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268534 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268534 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268534 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.31 2.26 2.19 3/186 11916
/proc/meminfo: memFree=28221524/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1307204 CPUtime=1601.81 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 268113 0 0 0 160107 74 0 0 20 0 4 0 5472159 1338576896 268536 33554432000 4194304 16246674 140736688323488 140736688305408 5995904 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326801 268536 792 2943 0 323695 0
[pid=11654/tid=11655] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268536 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268536 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268536 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.41 2.30 2.21 4/185 11917
/proc/meminfo: memFree=28221040/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1307204 CPUtime=1661.8 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 268113 0 0 0 166105 75 0 0 20 0 4 0 5472159 1338576896 268536 33554432000 4194304 16246674 140736688323488 140736688305408 5667484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326801 268536 792 2943 0 323695 0
[pid=11654/tid=11655] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268536 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268536 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268536 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.29 2.28 2.20 3/185 11918
/proc/meminfo: memFree=28221284/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1307204 CPUtime=1721.8 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 268115 0 0 0 172103 77 0 0 20 0 4 0 5472159 1338576896 268538 33554432000 4194304 16246674 140736688323488 140736688305408 5546005 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326801 268538 792 2943 0 323695 0
[pid=11654/tid=11655] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268538 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268538 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268538 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.33 2.28 2.21 3/185 11920
/proc/meminfo: memFree=28220764/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1307204 CPUtime=1781.79 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 268174 0 0 0 178101 78 0 0 20 0 4 0 5472159 1338576896 268597 33554432000 4194304 16246674 140736688323488 140736688305408 5672197 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326801 268597 792 2943 0 323695 0
[pid=11654/tid=11655] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268597 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268597 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268597 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.33 2.29 2.21 3/185 11921
/proc/meminfo: memFree=28220240/32872528 swapFree=1481856/1661728
[pid=11654] ppid=11651 vsize=1307204 CPUtime=1800.08 cores=0,2,4,6
/proc/11654/stat : 11654 (toysat) R 11651 11654 6232 0 -1 4202496 268174 0 0 0 179930 78 0 0 20 0 4 0 5472159 1338576896 268597 33554432000 4194304 16246674 140736688323488 140736688305408 5545713 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11654/statm: 326801 268597 792 2943 0 323695 0
[pid=11654/tid=11655] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11655/stat : 11655 (toysat) S 11651 11654 6232 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268597 33554432000 4194304 16246674 140736688323488 140552225926384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=11654/tid=11656] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11656/stat : 11656 (toysat) S 11651 11654 6232 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268597 33554432000 4194304 16246674 140736688323488 140552215436528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=11654/tid=11657] ppid=11651 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/11654/task/11657/stat : 11657 (toysat) S 11651 11654 6232 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5472159 1338576896 268597 33554432000 4194304 16246674 140736688323488 140552133668016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 11654 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.31
CPU system time (s): 0.78388
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 0.78388
maximum resident set size= 1074388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268174
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= 434
involuntary context switches= 2047

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.9061 second user time and 7.37988 second system time

The end

Begin job on node134 at 2016-06-16 01:44:17
IDJOB=4089820
IDBENCH=107461
IDSOLVER=2542
FILE ID=node134/4089820-1466034257
RUNJOBID= node134-1466019588-9688
PBS_JOBID= 19902814
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_RANDOM_GRAPHS/normalized-ECrand6reg-v041-n1.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089820-1466034257/watcher-4089820-1466034257 -o /tmp/evaluation-result-4089820-1466034257/solver-4089820-1466034257 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1466019588-9688 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089820-1466034257.opb

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

MD5SUM BENCH= b7d90c2ccef1fe44de3306377e815308
RANDOM SEED=1302449829

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29295712 kB
Buffers:           36088 kB
Cached:            82816 kB
SwapCached:        17352 kB
Active:          1146124 kB
Inactive:          67684 kB
Active(anon):    1079516 kB
Inactive(anon):    18004 kB
Active(file):      66608 kB
Inactive(file):    49680 kB
Unevictable:     1661728 kB
Mlocked:         1481856 kB
SwapTotal:      67108856 kB
SwapFree:       67083704 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2739824 kB
Mapped:            10496 kB
Shmem:                 0 kB
Slab:             567324 kB
SReclaimable:      11580 kB
SUnreclaim:       555744 kB
KernelStack:        1496 kB
PageTables:         9448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2884164 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1251328 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node134 at 2016-06-16 02:14:18