0.00/0.00	c 2016-06-16T20:41:52+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-4096113-1466102512.opb"]
0.00/0.01	c use --random-gen="1588358723 1636332549 562574946 3329274270 1682955042 433603391 4095694411 4203143885 3445549709 4087156355 4088528692 2953601783 1106154478 3224987006 3546322785 979418146 2856197839 3642953368 984099597 3284960257 3510521183 1506176397 487944546 1851550774 2310347466 31507240 2738823241 3445300647 1921537406 1199900616 3713815802 3296877725 3743652072 1565409539 4076190963 1012316367 2263917263 2877716762 3992224335 3887629119 1366416296 2728361437 2228948451 49042856 500533031 3220716760 1625603913 1647865522 1313119165 2835870409 1852663857 3877532598 1707000381 4184625873 985516800 1592772372 2304166471 977991609 2397645679 2400835011 2411355240 2768192301 3842948496 1324211488 879332082 1202149019 3583380636 2760618740 1330870915 1589116824 1189123400 1787189167 3775526868 896065367 757633418 3328578413 2334931255 1564993921 1551347636 1848232466 479509072 732963827 3090378432 2281251141 4285997126 3954808685 2842128581 3042698915 2500360705 2291790260 2613108902 485255648 3938563535 1672474375 39243865 3116291184 1631926002 2884329394 1726221077 1463792502 4156738132 3152398106 1651370081 2237699123 2146406537 548242056 1820774947 1624018282 1493045407 1090344135 1268604245 3559562483 1810392532 4006806240 3371807200 2328340358 2629080675 1388951433 457409706 2015594907 3364623053 3574074548 2249346365 4244945160 2741045010 4257434174 964369500 3279234034 3057663766 3737179815 1032366869 3747500718 1012608633 2529033619 3198555592 3010679122 1455464895 941703308 1606170188 537290558 140758641 837723286 2613443113 2024258609 1710911344 1396783790 2126319 1921531114 1374704853 1214675723 3730575960 1491731553 2907174864 1546620719 3019772832 2659006539 3126848165 1362073934 4245503496 2111420841 1294218844 2011975781 295897848 2410061971 665399829 3040652267 1929405780 4058381699 2783549905 1987901297 38026665 1644267540 1426625246 405947287 1203638346 3697641800 3000267466 3397759841 1295547301 3286749868 2633875287 4120921431 2272418120 1193195493 1527960875 1414716490 523433138 2316165026 3072168741 3105880274 2053517275 1239649394 2370850956 856231854 3204744579 2256598799 1851332906 2275220604 3044115115 43931901 3185060638 2247857611 554384269 462579439 3717893365 3618286304 1927501409 4182729547 2917093381 2359903055 300568588 3210342238 1792061451 1583112593 3714105496 4035697681 1447555599 263188098 2484205900 2037708109 3477123907 2861081676 2181784129 1367603868 961521279 2653495359 3347325497 1679507429 4029035869 1021648622 2742168804 123668549 555105769 2990548175 1180957708 835588168 1763140833 124815560 2924693945 3223654077 3914615303 4286237770 805287273 2028956875 2836621187 3307501419 3120954336 2930323024 29687992 4224754588 3473566881 1177904998 1115181989 860975764 514635309 3609195554 255 362436" option to reproduce the execution
0.00/0.01	c #vars 321
0.00/0.01	c #constraints 160
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 |      160      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      200 |      100 |      160      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      433 |      250 |      176      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      712 |      475 |      194      3 |        0 |        0
0.00/0.10	c  0.1s |       4 |     1209 |      813 |      214      3 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1855 |     1320 |      236      6 |        0 |        0
0.19/0.23	c  0.2s |       6 |     2881 |     2081 |      286     10 |        0 |        0
0.29/0.34	c  0.3s |       7 |     4452 |     3223 |      315     14 |        0 |        0
0.49/0.54	c  0.5s |       8 |     6501 |     4936 |      347     20 |        0 |        0
0.79/0.82	c  0.8s |       9 |     9928 |     7506 |      382     29 |        0 |        0
1.20/1.24	c  1.2s |      10 |    14744 |    11361 |      421     42 |        0 |        0
1.59/1.68	c  1.7s |      11 |    22263 |    17144 |      464     60 |        0 |        0
2.39/2.49	c  2.5s |      12 |    34350 |    25819 |      511     86 |        0 |        0
3.49/3.55	c  3.5s |      13 |    54401 |    38832 |      563    125 |        0 |        0
5.09/5.19	c  5.2s |      14 |    81255 |    58352 |      620    176 |        0 |        0
7.19/7.20	c  7.2s |      14 |   114583 |    81352 |      620    234 |        0 |        0
7.79/7.82	c  7.8s |      15 |   123577 |    87632 |      682    249 |        0 |        0
9.78/9.83	c  9.8s |      15 |   150028 |   108132 |      682    298 |        0 |        0
11.78/11.83	c 11.8s |      15 |   176212 |   128632 |      682    346 |        0 |        0
11.98/12.09	c 12.1s |      16 |   180067 |   131552 |      751    353 |        0 |        0
14.08/14.10	c 14.1s |      16 |   207734 |   151552 |      751    395 |        0 |        0
16.08/16.11	c 16.1s |      16 |   236796 |   172552 |      751    440 |        0 |        0
18.08/18.11	c 18.1s |      16 |   267439 |   193752 |      751    486 |        0 |        0
18.38/18.47	c 18.5s |      17 |   272783 |   197432 |      827    494 |        0 |        0
20.39/20.48	c 20.5s |      17 |   301496 |   217832 |      827    535 |        0 |        0
22.39/22.48	c 22.5s |      17 |   332588 |   238632 |      827    578 |        0 |        0
24.39/24.49	c 24.5s |      17 |   365035 |   260532 |      827    627 |        0 |        0
26.40/26.50	c 26.5s |      17 |   394625 |   281032 |      827    673 |        0 |        0
27.89/27.99	c 28.0s |      18 |   415490 |   296252 |      910    705 |        0 |        0
29.99/30.00	c 30.0s |      18 |   443244 |   315652 |      910    742 |        0 |        0
31.90/32.00	c 32.0s |      18 |   473381 |   335452 |      910    780 |        0 |        0
33.99/34.01	c 34.0s |      18 |   504653 |   356052 |      910    820 |        0 |        0
35.99/36.02	c 36.0s |      18 |   532564 |   375552 |      910    858 |        0 |        0
37.99/38.02	c 38.0s |      18 |   562866 |   396952 |      910    898 |        0 |        0
39.99/40.02	c 40.0s |      18 |   593664 |   417452 |      910    939 |        0 |        0
41.98/42.03	c 42.0s |      18 |   628444 |   439152 |      910    981 |        0 |        0
42.48/42.55	c 42.5s |      19 |   636318 |   444482 |     1002    991 |        0 |        0
44.48/44.56	c 44.5s |      19 |   662987 |   463782 |     1002   1023 |        0 |        0
46.48/46.56	c 46.6s |      19 |   687652 |   482182 |     1002   1053 |        0 |        0
48.49/48.57	c 48.6s |      19 |   712191 |   500482 |     1002   1085 |        0 |        0
50.48/50.57	c 50.6s |      19 |   736862 |   518982 |     1002   1117 |        0 |        0
52.48/52.58	c 52.6s |      19 |   762771 |   538182 |     1002   1151 |        0 |        0
54.48/54.59	c 54.6s |      19 |   787987 |   556282 |     1002   1182 |        0 |        0
56.48/56.59	c 56.6s |      19 |   813580 |   575182 |     1002   1216 |        0 |        0
58.58/58.60	c 58.6s |      19 |   840319 |   594882 |     1002   1250 |        0 |        0
60.58/60.61	c 60.6s |      19 |   867696 |   614782 |     1002   1285 |        0 |        0
62.58/62.61	c 62.6s |      19 |   896146 |   635282 |     1002   1321 |        0 |        0
64.59/64.61	c 64.6s |      19 |   923602 |   655682 |     1002   1357 |        0 |        0
65.69/65.72	c 65.7s |      20 |   938725 |   666827 |     1103   1375 |        0 |        0
67.68/67.72	c 67.7s |      20 |   963594 |   685327 |     1103   1404 |        0 |        0
69.68/69.72	c 69.7s |      20 |   990635 |   705127 |     1103   1435 |        0 |        0
71.69/71.73	c 71.7s |      20 |  1015120 |   723827 |     1103   1464 |        0 |        0
73.69/73.74	c 73.7s |      20 |  1039140 |   742027 |     1103   1493 |        0 |        0
75.68/75.74	c 75.7s |      20 |  1064449 |   760627 |     1103   1522 |        0 |        0
77.68/77.75	c 77.7s |      20 |  1089213 |   779127 |     1103   1551 |        0 |        0
79.68/79.76	c 79.7s |      20 |  1113471 |   797527 |     1103   1579 |        0 |        0
81.68/81.77	c 81.8s |      20 |  1136742 |   815527 |     1103   1607 |        0 |        0
83.69/83.77	c 83.8s |      20 |  1159223 |   832827 |     1103   1635 |        0 |        0
85.68/85.78	c 85.8s |      20 |  1186415 |   852327 |     1103   1666 |        0 |        0
87.68/87.78	c 87.8s |      20 |  1211880 |   871127 |     1103   1695 |        0 |        0
89.68/89.78	c 89.8s |      20 |  1236263 |   889727 |     1103   1724 |        0 |        0
91.68/91.79	c 91.8s |      20 |  1264338 |   910127 |     1103   1756 |        0 |        0
93.68/93.79	c 93.8s |      20 |  1291207 |   929827 |     1103   1788 |        0 |        0
95.68/95.80	c 95.8s |      20 |  1317789 |   949827 |     1103   1821 |        0 |        0
97.77/97.80	c 97.8s |      20 |  1343174 |   969227 |     1103   1851 |        0 |        0
99.77/99.80	c 99.8s |      20 |  1370179 |   989527 |     1103   1884 |        0 |        0
100.87/100.96	c  100s |      21 |  1384827 |  1000345 |     1214   1901 |        0 |        0
102.87/102.96	c  102s |      21 |  1407236 |  1017345 |     1214   1925 |        0 |        0
104.87/104.97	c  104s |      21 |  1433161 |  1035945 |     1214   1952 |        0 |        0
106.87/106.97	c  106s |      21 |  1456261 |  1052645 |     1214   1976 |        0 |        0
108.88/108.98	c  108s |      21 |  1482078 |  1070845 |     1214   2003 |        0 |        0
110.87/110.98	c  110s |      21 |  1511276 |  1090145 |     1214   2031 |        0 |        0
112.87/112.99	c  112s |      21 |  1538228 |  1109045 |     1214   2059 |        0 |        0
114.87/114.99	c  114s |      21 |  1564713 |  1128545 |     1214   2087 |        0 |        0
116.87/116.99	c  116s |      21 |  1591348 |  1147445 |     1214   2115 |        0 |        0
118.97/119.00	c  118s |      21 |  1618890 |  1166645 |     1214   2143 |        0 |        0
120.98/121.01	c  120s |      21 |  1643891 |  1184845 |     1214   2169 |        0 |        0
122.97/123.01	c  122s |      21 |  1667536 |  1202545 |     1214   2195 |        0 |        0
124.97/125.02	c  125s |      21 |  1692920 |  1220745 |     1214   2222 |        0 |        0
126.97/127.03	c  127s |      21 |  1719154 |  1238945 |     1214   2248 |        0 |        0
128.97/129.04	c  129s |      21 |  1746098 |  1257245 |     1214   2275 |        0 |        0
130.98/131.04	c  131s |      21 |  1774397 |  1276445 |     1214   2303 |        0 |        0
132.97/133.05	c  133s |      21 |  1802067 |  1295045 |     1214   2330 |        0 |        0
134.97/135.05	c  135s |      21 |  1831197 |  1314045 |     1214   2358 |        0 |        0
136.97/137.06	c  137s |      21 |  1860268 |  1332945 |     1214   2386 |        0 |        0
138.97/139.06	c  139s |      21 |  1886607 |  1351045 |     1214   2413 |        0 |        0
140.97/141.07	c  141s |      21 |  1912617 |  1369945 |     1214   2441 |        0 |        0
142.97/143.07	c  143s |      21 |  1941006 |  1389545 |     1214   2469 |        0 |        0
144.97/145.08	c  145s |      21 |  1965982 |  1407245 |     1214   2496 |        0 |        0
146.96/147.09	c  147s |      21 |  1990345 |  1425145 |     1214   2522 |        0 |        0
148.96/149.09	c  149s |      21 |  2017242 |  1443145 |     1214   2548 |        0 |        0
151.06/151.10	c  151s |      21 |  2042496 |  1460345 |     1214   2574 |        0 |        0
153.06/153.10	c  153s |      21 |  2067660 |  1478045 |     1214   2600 |        0 |        0
155.07/155.11	c  155s |      21 |  2092518 |  1495445 |     1336   2624 |        0 |        0
155.66/155.70	c  155s |      22 |  2099581 |  1500622 |     1336   2631 |        0 |        0
157.66/157.71	c  157s |      22 |  2122098 |  1517622 |     1336   2653 |        0 |        0
159.66/159.71	c  159s |      22 |  2147717 |  1536122 |     1336   2678 |        0 |        0
161.67/161.72	c  161s |      22 |  2172875 |  1554422 |     1336   2702 |        0 |        0
163.66/163.72	c  163s |      22 |  2199317 |  1573522 |     1336   2727 |        0 |        0
165.66/165.73	c  165s |      22 |  2224303 |  1592022 |     1336   2751 |        0 |        0
167.67/167.73	c  167s |      22 |  2250308 |  1610922 |     1336   2776 |        0 |        0
169.67/169.74	c  169s |      22 |  2274638 |  1629122 |     1336   2800 |        0 |        0
171.67/171.75	c  171s |      22 |  2297198 |  1646622 |     1336   2822 |        0 |        0
173.66/173.75	c  173s |      22 |  2320742 |  1664222 |     1336   2845 |        0 |        0
175.66/175.75	c  175s |      22 |  2342417 |  1680722 |     1336   2867 |        0 |        0
177.66/177.76	c  177s |      22 |  2365045 |  1697922 |     1336   2889 |        0 |        0
179.66/179.77	c  179s |      22 |  2387919 |  1715222 |     1336   2912 |        0 |        0
181.66/181.78	c  181s |      22 |  2410569 |  1732722 |     1336   2934 |        0 |        0
183.67/183.78	c  183s |      22 |  2433736 |  1749922 |     1336   2957 |        0 |        0
185.65/185.79	c  185s |      22 |  2456249 |  1767222 |     1336   2979 |        0 |        0
187.75/187.80	c  187s |      22 |  2478045 |  1784122 |     1336   3002 |        0 |        0
189.75/189.80	c  189s |      22 |  2499670 |  1800922 |     1336   3024 |        0 |        0
191.75/191.80	c  191s |      22 |  2523118 |  1818222 |     1336   3046 |        0 |        0
193.75/193.82	c  193s |      22 |  2544964 |  1835222 |     1336   3069 |        0 |        0
195.75/195.83	c  195s |      22 |  2570858 |  1853822 |     1336   3093 |        0 |        0
197.74/197.83	c  197s |      22 |  2592605 |  1871122 |     1336   3116 |        0 |        0
199.74/199.84	c  199s |      22 |  2615494 |  1889022 |     1336   3139 |        0 |        0
201.74/201.84	c  201s |      22 |  2640231 |  1907522 |     1336   3164 |        0 |        0
203.74/203.85	c  203s |      22 |  2665730 |  1926922 |     1336   3189 |        0 |        0
205.74/205.85	c  205s |      22 |  2689270 |  1944822 |     1336   3213 |        0 |        0
207.73/207.86	c  207s |      22 |  2713512 |  1962622 |     1336   3236 |        0 |        0
209.73/209.86	c  209s |      22 |  2736673 |  1980622 |     1336   3260 |        0 |        0
211.73/211.87	c  211s |      22 |  2759942 |  1998622 |     1336   3283 |        0 |        0
213.73/213.87	c  213s |      22 |  2784530 |  2017322 |     1336   3308 |        0 |        0
215.73/215.88	c  215s |      22 |  2810616 |  2036422 |     1336   3333 |        0 |        0
217.74/217.88	c  217s |      22 |  2836814 |  2055222 |     1336   3358 |        0 |        0
219.74/219.88	c  219s |      22 |  2860474 |  2073122 |     1336   3381 |        0 |        0
221.74/221.89	c  221s |      22 |  2884209 |  2090922 |     1336   3404 |        0 |        0
223.83/223.90	c  223s |      22 |  2908796 |  2108422 |     1336   3427 |        0 |        0
225.83/225.90	c  225s |      22 |  2932795 |  2126422 |     1336   3451 |        0 |        0
227.83/227.91	c  227s |      22 |  2955762 |  2144322 |     1336   3475 |        0 |        0
229.84/229.92	c  229s |      22 |  2979302 |  2162122 |     1336   3498 |        0 |        0
231.83/231.92	c  231s |      22 |  3003128 |  2180022 |     1336   3521 |        0 |        0
233.83/233.92	c  233s |      22 |  3027211 |  2197822 |     1336   3545 |        0 |        0
235.83/235.93	c  235s |      22 |  3051133 |  2215422 |     1336   3568 |        0 |        0
237.82/237.93	c  237s |      22 |  3074274 |  2233022 |     1336   3591 |        0 |        0
239.83/239.94	c  239s |      22 |  3098398 |  2251022 |     1470   3613 |        0 |        0
239.83/239.94	c  239s |      23 |  3098418 |  2251038 |     1470   3613 |        0 |        0
241.82/241.95	c  241s |      23 |  3120882 |  2268338 |     1470   3634 |        0 |        0
243.82/243.95	c  243s |      23 |  3144503 |  2285738 |     1470   3655 |        0 |        0
245.82/245.95	c  245s |      23 |  3167717 |  2303038 |     1470   3675 |        0 |        0
247.82/247.96	c  247s |      23 |  3190542 |  2320138 |     1470   3696 |        0 |        0
249.82/249.97	c  249s |      23 |  3213766 |  2337238 |     1470   3717 |        0 |        0
251.82/251.97	c  251s |      23 |  3236165 |  2354138 |     1470   3737 |        0 |        0
253.81/253.98	c  253s |      23 |  3258286 |  2371138 |     1470   3758 |        0 |        0
255.81/256.00	c  255s |      23 |  3282424 |  2388638 |     1470   3779 |        0 |        0
257.91/258.01	c  257s |      23 |  3305965 |  2405738 |     1470   3800 |        0 |        0
259.92/260.01	c  259s |      23 |  3329292 |  2422738 |     1470   3821 |        0 |        0
261.92/262.02	c  262s |      23 |  3351947 |  2439638 |     1470   3841 |        0 |        0
263.93/264.02	c  264s |      23 |  3372967 |  2455838 |     1470   3861 |        0 |        0
265.92/266.02	c  266s |      23 |  3394134 |  2471838 |     1470   3881 |        0 |        0
267.92/268.03	c  268s |      23 |  3416440 |  2488738 |     1470   3901 |        0 |        0
269.92/270.04	c  270s |      23 |  3439603 |  2506038 |     1470   3922 |        0 |        0
271.92/272.05	c  272s |      23 |  3463559 |  2523738 |     1470   3943 |        0 |        0
273.92/274.05	c  274s |      23 |  3486890 |  2540738 |     1470   3964 |        0 |        0
275.91/276.06	c  276s |      23 |  3508192 |  2557238 |     1470   3984 |        0 |        0
277.91/278.07	c  278s |      23 |  3530833 |  2574238 |     1470   4004 |        0 |        0
279.91/280.08	c  280s |      23 |  3552352 |  2590738 |     1470   4024 |        0 |        0
281.91/282.09	c  282s |      23 |  3576389 |  2608638 |     1470   4046 |        0 |        0
283.91/284.10	c  284s |      23 |  3598720 |  2625538 |     1470   4066 |        0 |        0
285.91/286.10	c  286s |      23 |  3621963 |  2642738 |     1470   4088 |        0 |        0
288.01/288.10	c  288s |      23 |  3646421 |  2660238 |     1470   4109 |        0 |        0
290.00/290.10	c  290s |      23 |  3669786 |  2677338 |     1470   4130 |        0 |        0
292.00/292.10	c  292s |      23 |  3693722 |  2694638 |     1470   4151 |        0 |        0
294.00/294.10	c  294s |      23 |  3715333 |  2710838 |     1470   4171 |        0 |        0
296.00/296.11	c  296s |      23 |  3737212 |  2727338 |     1470   4191 |        0 |        0
298.01/298.12	c  298s |      23 |  3759546 |  2744338 |     1470   4212 |        0 |        0
300.00/300.12	c  300s |      23 |  3784687 |  2762538 |     1470   4234 |        0 |        0
302.00/302.13	c  302s |      23 |  3808004 |  2780138 |     1470   4255 |        0 |        0
304.00/304.14	c  304s |      23 |  3831520 |  2797938 |     1470   4277 |        0 |        0
305.99/306.14	c  306s |      23 |  3854069 |  2814738 |     1470   4298 |        0 |        0
308.00/308.15	c  308s |      23 |  3878986 |  2832638 |     1470   4320 |        0 |        0
309.99/310.16	c  310s |      23 |  3902767 |  2850138 |     1470   4341 |        0 |        0
311.99/312.16	c  312s |      23 |  3926828 |  2867638 |     1470   4363 |        0 |        0
313.99/314.17	c  314s |      23 |  3950411 |  2885438 |     1470   4384 |        0 |        0
315.99/316.18	c  316s |      23 |  3973778 |  2902738 |     1470   4406 |        0 |        0
317.99/318.18	c  318s |      23 |  3996615 |  2920138 |     1470   4427 |        0 |        0
319.99/320.19	c  320s |      23 |  4018787 |  2936938 |     1470   4447 |        0 |        0
321.99/322.19	c  322s |      23 |  4040403 |  2953338 |     1470   4467 |        0 |        0
323.99/324.19	c  324s |      23 |  4062671 |  2970238 |     1470   4488 |        0 |        0
326.08/326.21	c  326s |      23 |  4086281 |  2987738 |     1470   4510 |        0 |        0
328.09/328.21	c  328s |      23 |  4110213 |  3005238 |     1470   4531 |        0 |        0
330.09/330.21	c  330s |      23 |  4132913 |  3022138 |     1470   4552 |        0 |        0
332.10/332.22	c  332s |      23 |  4154705 |  3038838 |     1470   4572 |        0 |        0
334.09/334.23	c  334s |      23 |  4179662 |  3057338 |     1470   4595 |        0 |        0
336.08/336.23	c  336s |      23 |  4203471 |  3075238 |     1470   4616 |        0 |        0
338.08/338.24	c  338s |      23 |  4227264 |  3092738 |     1470   4637 |        0 |        0
340.08/340.25	c  340s |      23 |  4250024 |  3110338 |     1470   4658 |        0 |        0
342.09/342.25	c  342s |      23 |  4270131 |  3126838 |     1470   4678 |        0 |        0
344.08/344.26	c  344s |      23 |  4294260 |  3145138 |     1470   4700 |        0 |        0
346.07/346.26	c  346s |      23 |  4319252 |  3163738 |     1470   4723 |        0 |        0
348.07/348.27	c  348s |      23 |  4342560 |  3181238 |     1470   4744 |        0 |        0
350.07/350.28	c  350s |      23 |  4366671 |  3199538 |     1470   4766 |        0 |        0
352.07/352.28	c  352s |      23 |  4391454 |  3217738 |     1470   4788 |        0 |        0
354.08/354.29	c  354s |      23 |  4415415 |  3235738 |     1470   4810 |        0 |        0
356.17/356.30	c  356s |      23 |  4439532 |  3254338 |     1470   4832 |        0 |        0
358.17/358.31	c  358s |      23 |  4463242 |  3272638 |     1470   4854 |        0 |        0
360.17/360.32	c  360s |      23 |  4485541 |  3289538 |     1470   4875 |        0 |        0
362.17/362.32	c  362s |      23 |  4507966 |  3306638 |     1470   4896 |        0 |        0
364.17/364.33	c  364s |      23 |  4532966 |  3325038 |     1470   4918 |        0 |        0
366.17/366.34	c  366s |      23 |  4556467 |  3342938 |     1470   4940 |        0 |        0
368.17/368.34	c  368s |      23 |  4579652 |  3360438 |     1618   4960 |        0 |        0
370.17/370.30	c  370s |      24 |  4601484 |  3376662 |     1618   4978 |        0 |        0
372.17/372.31	c  372s |      24 |  4625704 |  3394662 |     1618   4998 |        0 |        0
374.17/374.31	c  374s |      24 |  4647688 |  3411562 |     1618   5016 |        0 |        0
376.17/376.32	c  376s |      24 |  4668433 |  3427962 |     1618   5035 |        0 |        0
378.16/378.32	c  378s |      24 |  4691776 |  3445362 |     1618   5054 |        0 |        0
380.16/380.33	c  380s |      24 |  4716741 |  3463862 |     1618   5075 |        0 |        0
382.16/382.33	c  382s |      24 |  4741239 |  3482262 |     1618   5095 |        0 |        0
384.16/384.34	c  384s |      24 |  4767360 |  3501462 |     1618   5117 |        0 |        0
386.16/386.35	c  386s |      24 |  4789711 |  3519262 |     1618   5136 |        0 |        0
388.16/388.36	c  388s |      24 |  4812391 |  3536662 |     1618   5156 |        0 |        0
390.15/390.36	c  390s |      24 |  4837564 |  3554962 |     1618   5176 |        0 |        0
392.15/392.37	c  392s |      24 |  4862361 |  3573162 |     1618   5197 |        0 |        0
394.16/394.37	c  394s |      24 |  4885362 |  3590662 |     1618   5216 |        0 |        0
396.16/396.38	c  396s |      24 |  4908686 |  3608562 |     1618   5236 |        0 |        0
398.16/398.39	c  398s |      24 |  4933712 |  3627262 |     1618   5257 |        0 |        0
400.16/400.39	c  400s |      24 |  4957651 |  3644962 |     1618   5277 |        0 |        0
402.15/402.39	c  402s |      24 |  4979652 |  3661862 |     1618   5295 |        0 |        0
404.25/404.41	c  404s |      24 |  5003654 |  3680062 |     1618   5316 |        0 |        0
406.25/406.42	c  406s |      24 |  5025184 |  3696462 |     1618   5334 |        0 |        0
408.25/408.43	c  408s |      24 |  5046137 |  3712262 |     1618   5352 |        0 |        0
410.26/410.44	c  410s |      24 |  5071388 |  3730662 |     1618   5372 |        0 |        0
412.25/412.45	c  412s |      24 |  5095779 |  3748762 |     1618   5392 |        0 |        0
414.25/414.46	c  414s |      24 |  5121059 |  3767262 |     1618   5413 |        0 |        0
416.24/416.46	c  416s |      24 |  5144856 |  3785062 |     1618   5433 |        0 |        0
418.24/418.47	c  418s |      24 |  5167701 |  3802662 |     1618   5452 |        0 |        0
420.24/420.47	c  420s |      24 |  5191035 |  3820462 |     1618   5472 |        0 |        0
422.25/422.48	c  422s |      24 |  5213861 |  3838162 |     1618   5492 |        0 |        0
424.24/424.49	c  424s |      24 |  5236700 |  3855662 |     1618   5511 |        0 |        0
426.25/426.49	c  426s |      24 |  5259376 |  3873262 |     1618   5531 |        0 |        0
428.34/428.50	c  428s |      24 |  5282746 |  3891262 |     1618   5551 |        0 |        0
430.34/430.51	c  430s |      24 |  5305629 |  3908962 |     1618   5571 |        0 |        0
432.35/432.51	c  432s |      24 |  5329753 |  3927162 |     1618   5591 |        0 |        0
434.35/434.52	c  434s |      24 |  5354420 |  3945262 |     1618   5611 |        0 |        0
436.34/436.53	c  436s |      24 |  5378645 |  3963262 |     1618   5631 |        0 |        0
438.34/438.53	c  438s |      24 |  5400775 |  3979762 |     1618   5650 |        0 |        0
440.34/440.54	c  440s |      24 |  5424411 |  3997262 |     1618   5670 |        0 |        0
442.34/442.54	c  442s |      24 |  5448195 |  4015162 |     1618   5689 |        0 |        0
444.34/444.55	c  444s |      24 |  5471636 |  4032662 |     1618   5709 |        0 |        0
446.33/446.55	c  446s |      24 |  5495267 |  4050562 |     1618   5728 |        0 |        0
448.33/448.56	c  448s |      24 |  5519190 |  4068762 |     1618   5749 |        0 |        0
450.33/450.56	c  450s |      24 |  5543127 |  4086962 |     1618   5769 |        0 |        0
452.33/452.57	c  452s |      24 |  5565452 |  4104362 |     1618   5788 |        0 |        0
454.33/454.59	c  454s |      24 |  5589262 |  4122262 |     1618   5808 |        0 |        0
456.33/456.59	c  456s |      24 |  5614061 |  4140662 |     1618   5829 |        0 |        0
458.43/458.60	c  458s |      24 |  5635744 |  4157562 |     1618   5848 |        0 |        0
460.43/460.61	c  460s |      24 |  5659072 |  4174962 |     1618   5867 |        0 |        0
462.43/462.61	c  462s |      24 |  5681829 |  4192162 |     1618   5886 |        0 |        0
464.43/464.62	c  464s |      24 |  5704200 |  4209262 |     1618   5905 |        0 |        0
466.42/466.62	c  466s |      24 |  5728540 |  4227062 |     1618   5925 |        0 |        0
468.42/468.63	c  468s |      24 |  5751654 |  4244462 |     1618   5945 |        0 |        0
470.42/470.64	c  470s |      24 |  5771897 |  4259962 |     1618   5962 |        0 |        0
472.42/472.65	c  472s |      24 |  5794432 |  4276962 |     1618   5982 |        0 |        0
474.42/474.65	c  474s |      24 |  5817284 |  4294162 |     1618   6001 |        0 |        0
476.41/476.66	c  476s |      24 |  5839853 |  4311162 |     1618   6020 |        0 |        0
478.42/478.67	c  478s |      24 |  5860196 |  4326762 |     1618   6038 |        0 |        0
480.41/480.68	c  480s |      24 |  5881284 |  4342462 |     1618   6055 |        0 |        0
482.41/482.69	c  482s |      24 |  5901478 |  4358262 |     1618   6073 |        0 |        0
484.41/484.70	c  484s |      24 |  5923423 |  4374462 |     1618   6091 |        0 |        0
486.51/486.70	c  486s |      24 |  5946687 |  4391962 |     1618   6111 |        0 |        0
488.50/488.71	c  488s |      24 |  5969676 |  4409062 |     1618   6130 |        0 |        0
490.52/490.71	c  490s |      24 |  5992174 |  4426162 |     1618   6149 |        0 |        0
492.51/492.72	c  492s |      24 |  6012929 |  4442562 |     1618   6168 |        0 |        0
494.51/494.72	c  494s |      24 |  6030535 |  4457162 |     1618   6184 |        0 |        0
496.51/496.72	c  496s |      24 |  6050589 |  4472962 |     1618   6202 |        0 |        0
498.51/498.73	c  498s |      24 |  6073333 |  4490262 |     1618   6221 |        0 |        0
500.51/500.74	c  500s |      24 |  6096318 |  4507462 |     1618   6240 |        0 |        0
502.51/502.74	c  502s |      24 |  6118610 |  4524362 |     1618   6259 |        0 |        0
504.50/504.75	c  504s |      24 |  6143303 |  4542762 |     1618   6280 |        0 |        0
506.50/506.75	c  506s |      24 |  6168063 |  4560962 |     1618   6300 |        0 |        0
508.50/508.76	c  508s |      24 |  6192707 |  4579662 |     1618   6321 |        0 |        0
510.50/510.76	c  510s |      24 |  6215203 |  4597062 |     1618   6341 |        0 |        0
512.50/512.77	c  512s |      24 |  6240008 |  4615762 |     1618   6362 |        0 |        0
514.50/514.78	c  514s |      24 |  6263733 |  4633362 |     1618   6382 |        0 |        0
516.49/516.79	c  516s |      24 |  6289130 |  4651862 |     1618   6402 |        0 |        0
518.49/518.79	c  518s |      24 |  6313992 |  4670762 |     1618   6423 |        0 |        0
520.59/520.81	c  520s |      24 |  6336383 |  4688162 |     1618   6443 |        0 |        0
522.59/522.81	c  522s |      24 |  6358384 |  4705562 |     1618   6462 |        0 |        0
524.59/524.81	c  524s |      24 |  6381627 |  4723162 |     1618   6482 |        0 |        0
526.59/526.82	c  526s |      24 |  6405557 |  4741462 |     1618   6502 |        0 |        0
528.58/528.83	c  528s |      24 |  6429718 |  4759362 |     1618   6523 |        0 |        0
530.59/530.83	c  530s |      24 |  6452377 |  4776162 |     1618   6541 |        0 |        0
532.59/532.84	c  532s |      24 |  6475699 |  4793762 |     1618   6561 |        0 |        0
534.59/534.84	c  534s |      24 |  6499655 |  4811262 |     1618   6581 |        0 |        0
536.60/536.85	c  536s |      24 |  6523969 |  4828862 |     1618   6601 |        0 |        0
538.59/538.86	c  538s |      24 |  6547405 |  4846162 |     1618   6620 |        0 |        0
540.59/540.87	c  540s |      24 |  6570675 |  4863162 |     1618   6639 |        0 |        0
542.58/542.88	c  542s |      24 |  6593204 |  4880462 |     1618   6659 |        0 |        0
544.58/544.88	c  544s |      24 |  6615314 |  4897462 |     1618   6678 |        0 |        0
546.58/546.88	c  546s |      24 |  6638241 |  4915062 |     1618   6698 |        0 |        0
548.58/548.89	c  548s |      24 |  6660187 |  4932662 |     1618   6717 |        0 |        0
550.68/550.90	c  550s |      24 |  6681256 |  4949462 |     1618   6736 |        0 |        0
552.68/552.90	c  552s |      24 |  6703653 |  4966862 |     1618   6755 |        0 |        0
554.67/554.90	c  554s |      24 |  6727755 |  4984462 |     1618   6775 |        0 |        0
556.67/556.91	c  556s |      24 |  6751854 |  5002162 |     1618   6795 |        0 |        0
558.68/558.92	c  558s |      24 |  6775421 |  5020162 |     1618   6815 |        0 |        0
560.67/560.92	c  560s |      24 |  6796324 |  5036462 |     1780   6832 |        0 |        0
562.67/562.92	c  562s |      24 |  6818037 |  5053062 |     1780   6849 |        0 |        0
564.08/564.32	c  564s |      25 |  6833980 |  5065098 |     1780   6862 |        0 |        0
566.07/566.33	c  566s |      25 |  6859992 |  5084498 |     1780   6881 |        0 |        0
568.07/568.34	c  568s |      25 |  6883213 |  5102198 |     1780   6899 |        0 |        0
570.07/570.34	c  570s |      25 |  6906446 |  5119698 |     1780   6917 |        0 |        0
572.08/572.35	c  572s |      25 |  6928850 |  5137198 |     1780   6935 |        0 |        0
574.08/574.36	c  574s |      25 |  6951842 |  5154698 |     1780   6953 |        0 |        0
576.07/576.37	c  576s |      25 |  6976818 |  5172398 |     1780   6971 |        0 |        0
578.07/578.37	c  578s |      25 |  7000227 |  5189698 |     1780   6989 |        0 |        0
580.07/580.38	c  580s |      25 |  7022694 |  5206198 |     1780   7006 |        0 |        0
582.07/582.38	c  582s |      25 |  7047014 |  5224298 |     1780   7024 |        0 |        0
584.07/584.39	c  584s |      25 |  7068963 |  5241498 |     1780   7041 |        0 |        0
586.07/586.39	c  586s |      25 |  7092525 |  5258998 |     1780   7059 |        0 |        0
588.16/588.40	c  588s |      25 |  7115713 |  5275998 |     1780   7077 |        0 |        0
590.16/590.41	c  590s |      25 |  7139135 |  5292898 |     1780   7094 |        0 |        0
592.16/592.41	c  592s |      25 |  7161076 |  5309698 |     1780   7112 |        0 |        0
594.16/594.42	c  594s |      25 |  7184793 |  5327998 |     1780   7130 |        0 |        0
596.16/596.43	c  596s |      25 |  7208608 |  5345798 |     1780   7149 |        0 |        0
598.16/598.44	c  598s |      25 |  7230646 |  5362298 |     1780   7166 |        0 |        0
600.16/600.45	c  600s |      25 |  7254765 |  5379598 |     1780   7183 |        0 |        0
602.15/602.46	c  602s |      25 |  7276668 |  5396498 |     1780   7201 |        0 |        0
604.15/604.47	c  604s |      25 |  7298977 |  5413498 |     1780   7218 |        0 |        0
606.15/606.48	c  606s |      25 |  7321352 |  5430198 |     1780   7235 |        0 |        0
608.15/608.48	c  608s |      25 |  7344119 |  5447398 |     1780   7253 |        0 |        0
610.15/610.48	c  610s |      25 |  7367658 |  5465098 |     1780   7271 |        0 |        0
612.26/612.50	c  612s |      25 |  7390271 |  5482398 |     1780   7289 |        0 |        0
614.25/614.50	c  614s |      25 |  7413711 |  5500298 |     1780   7307 |        0 |        0
616.25/616.51	c  616s |      25 |  7434640 |  5516198 |     1780   7323 |        0 |        0
618.25/618.51	c  618s |      25 |  7457513 |  5533998 |     1780   7341 |        0 |        0
620.26/620.52	c  620s |      25 |  7479575 |  5550698 |     1780   7358 |        0 |        0
622.25/622.52	c  622s |      25 |  7502619 |  5568398 |     1780   7377 |        0 |        0
624.25/624.53	c  624s |      25 |  7524466 |  5585298 |     1780   7394 |        0 |        0
626.25/626.53	c  626s |      25 |  7549203 |  5603098 |     1780   7412 |        0 |        0
628.25/628.54	c  628s |      25 |  7571509 |  5619898 |     1780   7429 |        0 |        0
630.25/630.54	c  630s |      25 |  7594280 |  5637298 |     1780   7447 |        0 |        0
632.25/632.55	c  632s |      25 |  7618781 |  5655198 |     1780   7465 |        0 |        0
634.24/634.55	c  634s |      25 |  7641037 |  5672098 |     1780   7483 |        0 |        0
636.24/636.56	c  636s |      25 |  7662852 |  5688998 |     1780   7500 |        0 |        0
638.24/638.57	c  638s |      25 |  7686099 |  5706098 |     1780   7517 |        0 |        0
640.24/640.57	c  640s |      25 |  7710372 |  5723498 |     1780   7535 |        0 |        0
642.25/642.58	c  642s |      25 |  7731450 |  5740298 |     1780   7552 |        0 |        0
644.24/644.58	c  644s |      25 |  7754446 |  5757398 |     1780   7570 |        0 |        0
646.23/646.58	c  646s |      25 |  7778569 |  5774798 |     1780   7588 |        0 |        0
648.23/648.59	c  648s |      25 |  7801412 |  5791798 |     1780   7605 |        0 |        0
650.23/650.59	c  650s |      25 |  7823895 |  5808798 |     1780   7622 |        0 |        0
652.23/652.60	c  652s |      25 |  7847113 |  5825898 |     1780   7640 |        0 |        0
654.34/654.61	c  654s |      25 |  7868706 |  5842598 |     1780   7657 |        0 |        0
656.33/656.61	c  656s |      25 |  7892392 |  5860198 |     1780   7675 |        0 |        0
658.33/658.62	c  658s |      25 |  7916725 |  5877798 |     1780   7693 |        0 |        0
660.33/660.63	c  660s |      25 |  7939324 |  5894798 |     1780   7710 |        0 |        0
662.32/662.63	c  662s |      25 |  7963026 |  5912198 |     1780   7728 |        0 |        0
664.32/664.63	c  664s |      25 |  7985651 |  5929798 |     1780   7746 |        0 |        0
666.33/666.64	c  666s |      25 |  8007718 |  5946898 |     1780   7763 |        0 |        0
668.32/668.65	c  668s |      25 |  8031259 |  5964298 |     1780   7781 |        0 |        0
670.32/670.66	c  670s |      25 |  8050837 |  5980098 |     1780   7798 |        0 |        0
672.32/672.66	c  672s |      25 |  8072372 |  5996198 |     1780   7814 |        0 |        0
674.32/674.66	c  674s |      25 |  8095966 |  6013798 |     1780   7832 |        0 |        0
676.32/676.68	c  676s |      25 |  8118080 |  6030598 |     1780   7850 |        0 |        0
678.31/678.69	c  678s |      25 |  8142054 |  6047598 |     1780   7867 |        0 |        0
680.41/680.70	c  680s |      25 |  8165902 |  6064998 |     1780   7885 |        0 |        0
682.41/682.71	c  682s |      25 |  8190048 |  6083298 |     1780   7904 |        0 |        0
684.41/684.71	c  684s |      25 |  8215116 |  6101698 |     1780   7923 |        0 |        0
686.41/686.72	c  686s |      25 |  8238367 |  6119098 |     1780   7941 |        0 |        0
688.42/688.73	c  688s |      25 |  8261225 |  6136098 |     1780   7958 |        0 |        0
690.41/690.74	c  690s |      25 |  8284583 |  6153798 |     1780   7977 |        0 |        0
692.41/692.75	c  692s |      25 |  8305912 |  6170298 |     1780   7993 |        0 |        0
694.42/694.75	c  694s |      25 |  8328836 |  6187998 |     1780   8011 |        0 |        0
696.41/696.75	c  696s |      25 |  8351444 |  6204598 |     1780   8029 |        0 |        0
698.41/698.77	c  698s |      25 |  8374851 |  6221598 |     1780   8046 |        0 |        0
700.42/700.78	c  700s |      25 |  8397843 |  6238398 |     1780   8063 |        0 |        0
702.41/702.78	c  702s |      25 |  8421790 |  6256298 |     1780   8082 |        0 |        0
704.41/704.78	c  704s |      25 |  8445987 |  6274098 |     1780   8100 |        0 |        0
706.40/706.79	c  706s |      25 |  8470790 |  6291998 |     1780   8118 |        0 |        0
708.50/708.80	c  708s |      25 |  8495382 |  6309598 |     1780   8136 |        0 |        0
710.50/710.81	c  710s |      25 |  8518651 |  6326998 |     1780   8154 |        0 |        0
712.51/712.82	c  712s |      25 |  8542631 |  6344898 |     1780   8172 |        0 |        0
714.50/714.83	c  714s |      25 |  8567474 |  6363298 |     1780   8191 |        0 |        0
716.50/716.83	c  716s |      25 |  8589839 |  6380598 |     1780   8209 |        0 |        0
718.50/718.83	c  718s |      25 |  8613382 |  6397498 |     1780   8226 |        0 |        0
720.50/720.84	c  720s |      25 |  8638908 |  6415498 |     1780   8245 |        0 |        0
722.50/722.84	c  722s |      25 |  8662425 |  6433498 |     1780   8264 |        0 |        0
724.49/724.85	c  724s |      25 |  8686954 |  6451598 |     1780   8282 |        0 |        0
726.49/726.85	c  726s |      25 |  8707473 |  6467998 |     1780   8299 |        0 |        0
728.49/728.86	c  728s |      25 |  8730366 |  6484798 |     1780   8316 |        0 |        0
730.49/730.87	c  730s |      25 |  8754296 |  6502398 |     1780   8334 |        0 |        0
732.49/732.87	c  732s |      25 |  8779356 |  6519498 |     1780   8352 |        0 |        0
734.50/734.88	c  734s |      25 |  8801486 |  6536198 |     1780   8369 |        0 |        0
736.59/736.90	c  736s |      25 |  8824365 |  6553498 |     1780   8387 |        0 |        0
738.59/738.90	c  738s |      25 |  8850718 |  6572098 |     1780   8406 |        0 |        0
740.59/740.90	c  740s |      25 |  8872500 |  6589098 |     1780   8424 |        0 |        0
742.59/742.90	c  742s |      25 |  8894426 |  6606198 |     1780   8441 |        0 |        0
744.58/744.91	c  744s |      25 |  8917602 |  6623798 |     1780   8459 |        0 |        0
746.59/746.91	c  746s |      25 |  8940483 |  6641298 |     1780   8477 |        0 |        0
748.58/748.92	c  748s |      25 |  8960422 |  6657098 |     1780   8494 |        0 |        0
750.58/750.93	c  750s |      25 |  8982313 |  6674098 |     1780   8511 |        0 |        0
752.58/752.93	c  752s |      25 |  9005337 |  6691398 |     1780   8529 |        0 |        0
754.57/754.93	c  754s |      25 |  9028484 |  6708798 |     1780   8546 |        0 |        0
756.58/756.94	c  756s |      25 |  9051237 |  6725998 |     1780   8564 |        0 |        0
758.57/758.95	c  758s |      25 |  9075803 |  6743698 |     1780   8582 |        0 |        0
760.57/760.95	c  760s |      25 |  9099909 |  6761098 |     1780   8600 |        0 |        0
762.57/762.96	c  762s |      25 |  9123156 |  6778598 |     1780   8617 |        0 |        0
764.57/764.96	c  764s |      25 |  9146212 |  6795898 |     1780   8635 |        0 |        0
766.57/766.96	c  766s |      25 |  9169119 |  6813398 |     1780   8653 |        0 |        0
768.58/768.97	c  768s |      25 |  9192082 |  6830498 |     1780   8670 |        0 |        0
770.57/770.98	c  770s |      25 |  9214162 |  6846998 |     1780   8687 |        0 |        0
772.57/772.99	c  772s |      25 |  9234791 |  6862798 |     1780   8703 |        0 |        0
774.67/775.00	c  774s |      25 |  9255775 |  6878898 |     1780   8720 |        0 |        0
776.68/777.00	c  776s |      25 |  9275445 |  6894498 |     1780   8736 |        0 |        0
778.68/779.01	c  778s |      25 |  9294575 |  6908998 |     1780   8751 |        0 |        0
780.68/781.02	c  781s |      25 |  9314578 |  6924398 |     1780   8767 |        0 |        0
782.67/783.02	c  783s |      25 |  9335892 |  6940198 |     1780   8783 |        0 |        0
784.67/785.03	c  785s |      25 |  9359476 |  6956698 |     1780   8800 |        0 |        0
786.67/787.04	c  787s |      25 |  9382692 |  6973498 |     1780   8817 |        0 |        0
788.67/789.05	c  789s |      25 |  9404560 |  6989698 |     1780   8834 |        0 |        0
790.68/791.05	c  791s |      25 |  9427996 |  7006998 |     1780   8852 |        0 |        0
792.67/793.05	c  793s |      25 |  9451993 |  7024598 |     1780   8870 |        0 |        0
794.67/795.06	c  795s |      25 |  9476096 |  7042198 |     1780   8888 |        0 |        0
796.67/797.06	c  797s |      25 |  9499438 |  7059698 |     1780   8906 |        0 |        0
798.67/799.06	c  799s |      25 |  9522287 |  7076898 |     1780   8924 |        0 |        0
800.67/801.06	c  801s |      25 |  9546038 |  7094698 |     1780   8942 |        0 |        0
802.67/803.07	c  803s |      25 |  9568286 |  7111598 |     1780   8960 |        0 |        0
804.67/805.07	c  805s |      25 |  9589917 |  7128298 |     1780   8977 |        0 |        0
806.67/807.09	c  807s |      25 |  9612318 |  7145198 |     1780   8994 |        0 |        0
808.67/809.09	c  809s |      25 |  9636061 |  7162498 |     1780   9012 |        0 |        0
810.76/811.10	c  811s |      25 |  9659066 |  7179698 |     1780   9030 |        0 |        0
812.77/813.11	c  813s |      25 |  9683854 |  7197898 |     1780   9048 |        0 |        0
814.77/815.11	c  815s |      25 |  9707728 |  7215398 |     1780   9066 |        0 |        0
816.76/817.11	c  817s |      25 |  9729749 |  7232498 |     1780   9084 |        0 |        0
818.76/819.12	c  819s |      25 |  9754605 |  7250598 |     1780   9102 |        0 |        0
820.76/821.12	c  821s |      25 |  9778286 |  7267598 |     1780   9120 |        0 |        0
822.76/823.13	c  823s |      25 |  9799140 |  7283598 |     1780   9137 |        0 |        0
824.77/825.14	c  825s |      25 |  9822825 |  7300498 |     1780   9154 |        0 |        0
826.76/827.14	c  827s |      25 |  9846745 |  7317798 |     1780   9172 |        0 |        0
828.76/829.15	c  829s |      25 |  9869881 |  7334898 |     1780   9190 |        0 |        0
830.76/831.15	c  831s |      25 |  9891639 |  7351198 |     1780   9207 |        0 |        0
832.77/833.16	c  833s |      25 |  9914045 |  7367998 |     1780   9224 |        0 |        0
834.77/835.17	c  835s |      25 |  9936606 |  7384998 |     1780   9241 |        0 |        0
836.77/837.17	c  837s |      25 |  9958588 |  7401398 |     1780   9259 |        0 |        0
838.77/839.17	c  839s |      25 |  9980293 |  7417398 |     1780   9275 |        0 |        0
840.77/841.18	c  841s |      25 | 10002224 |  7433798 |     1780   9292 |        0 |        0
842.77/843.19	c  843s |      25 | 10025083 |  7450698 |     1780   9309 |        0 |        0
844.76/845.19	c  845s |      25 | 10048045 |  7468098 |     1780   9327 |        0 |        0
846.86/847.20	c  847s |      25 | 10069965 |  7484698 |     1780   9344 |        0 |        0
848.87/849.21	c  849s |      25 | 10092578 |  7501498 |     1780   9362 |        0 |        0
850.86/851.21	c  851s |      25 | 10113957 |  7517998 |     1780   9379 |        0 |        0
852.86/853.21	c  853s |      25 | 10134986 |  7534598 |     1780   9396 |        0 |        0
854.86/855.22	c  855s |      25 | 10156882 |  7551098 |     1959   9412 |        0 |        0
856.86/857.23	c  857s |      25 | 10176937 |  7566698 |     1959   9426 |        0 |        0
858.87/859.24	c  859s |      25 | 10199338 |  7583298 |     1959   9442 |        0 |        0
860.66/861.01	c  860s |      26 | 10218764 |  7597752 |     1959   9456 |        0 |        0
862.66/863.01	c  863s |      26 | 10243008 |  7615652 |     1959   9473 |        0 |        0
864.66/865.02	c  865s |      26 | 10266495 |  7633252 |     1959   9489 |        0 |        0
866.66/867.03	c  867s |      26 | 10290739 |  7651152 |     1959   9506 |        0 |        0
868.66/869.03	c  869s |      26 | 10312035 |  7667652 |     1959   9522 |        0 |        0
870.65/871.04	c  871s |      26 | 10332934 |  7683752 |     1959   9537 |        0 |        0
872.66/873.05	c  873s |      26 | 10355362 |  7700952 |     1959   9553 |        0 |        0
874.66/875.05	c  875s |      26 | 10377918 |  7718152 |     1959   9569 |        0 |        0
876.66/877.06	c  877s |      26 | 10400191 |  7735252 |     1959   9585 |        0 |        0
878.67/879.06	c  879s |      26 | 10422539 |  7752152 |     1959   9601 |        0 |        0
880.66/881.07	c  881s |      26 | 10444687 |  7769052 |     1959   9617 |        0 |        0
882.66/883.07	c  883s |      26 | 10467070 |  7785652 |     1959   9633 |        0 |        0
884.66/885.08	c  885s |      26 | 10490185 |  7802852 |     1959   9649 |        0 |        0
886.66/887.08	c  887s |      26 | 10513561 |  7820052 |     1959   9665 |        0 |        0
888.66/889.08	c  889s |      26 | 10535477 |  7836452 |     1959   9680 |        0 |        0
890.66/891.09	c  891s |      26 | 10555698 |  7852252 |     1959   9695 |        0 |        0
892.75/893.10	c  893s |      26 | 10577522 |  7868852 |     1959   9711 |        0 |        0
894.75/895.10	c  895s |      26 | 10598762 |  7884952 |     1959   9726 |        0 |        0
896.75/897.11	c  897s |      26 | 10619267 |  7900852 |     1959   9741 |        0 |        0
898.75/899.12	c  899s |      26 | 10642469 |  7918252 |     1959   9758 |        0 |        0
900.75/901.12	c  901s |      26 | 10664346 |  7934852 |     1959   9773 |        0 |        0
902.76/903.14	c  903s |      26 | 10687129 |  7952052 |     1959   9789 |        0 |        0
904.75/905.14	c  905s |      26 | 10711134 |  7969852 |     1959   9806 |        0 |        0
906.75/907.15	c  907s |      26 | 10733709 |  7987152 |     1959   9823 |        0 |        0
908.76/909.15	c  909s |      26 | 10756100 |  8004452 |     1959   9839 |        0 |        0
910.76/911.16	c  911s |      26 | 10777482 |  8020752 |     1959   9854 |        0 |        0
912.76/913.17	c  913s |      26 | 10798007 |  8037152 |     1959   9870 |        0 |        0
914.76/915.18	c  915s |      26 | 10821996 |  8054652 |     1959   9886 |        0 |        0
916.75/917.18	c  917s |      26 | 10844358 |  8071352 |     1959   9902 |        0 |        0
918.75/919.19	c  919s |      26 | 10865663 |  8087752 |     1959   9917 |        0 |        0
920.85/921.20	c  921s |      26 | 10888253 |  8104852 |     1959   9933 |        0 |        0
922.85/923.21	c  923s |      26 | 10910094 |  8121352 |     1959   9949 |        0 |        0
924.86/925.21	c  925s |      26 | 10934504 |  8138152 |     1959   9965 |        0 |        0
926.85/927.21	c  927s |      26 | 10957650 |  8155652 |     1959   9981 |        0 |        0
928.85/929.22	c  929s |      26 | 10981716 |  8173652 |     1959   9998 |        0 |        0
930.85/931.23	c  931s |      26 | 11004066 |  8190452 |     1959  10014 |        0 |        0
932.85/933.23	c  933s |      26 | 11027727 |  8207752 |     1959  10031 |        0 |        0
934.85/935.23	c  935s |      26 | 11050970 |  8225252 |     1959  10047 |        0 |        0
936.85/937.23	c  937s |      26 | 11074130 |  8242052 |     1959  10063 |        0 |        0
938.85/939.24	c  939s |      26 | 11094212 |  8257752 |     1959  10078 |        0 |        0
940.85/941.25	c  941s |      26 | 11112545 |  8272552 |     1959  10092 |        0 |        0
942.85/943.27	c  943s |      26 | 11134137 |  8289252 |     1959  10108 |        0 |        0
944.85/945.27	c  945s |      26 | 11157103 |  8306452 |     1959  10124 |        0 |        0
946.85/947.28	c  947s |      26 | 11179536 |  8323452 |     1959  10140 |        0 |        0
948.85/949.29	c  949s |      26 | 11199526 |  8339352 |     1959  10155 |        0 |        0
950.95/951.30	c  951s |      26 | 11219818 |  8355152 |     1959  10169 |        0 |        0
952.95/953.31	c  953s |      26 | 11240149 |  8370852 |     1959  10184 |        0 |        0
954.94/955.31	c  955s |      26 | 11262095 |  8387752 |     1959  10200 |        0 |        0
956.94/957.32	c  957s |      26 | 11283550 |  8404452 |     1959  10215 |        0 |        0
958.95/959.33	c  959s |      26 | 11306049 |  8421452 |     1959  10231 |        0 |        0
960.94/961.33	c  961s |      26 | 11328132 |  8438152 |     1959  10247 |        0 |        0
962.94/963.35	c  963s |      26 | 11350419 |  8454952 |     1959  10263 |        0 |        0
964.94/965.35	c  965s |      26 | 11371511 |  8471152 |     1959  10278 |        0 |        0
966.94/967.36	c  967s |      26 | 11394919 |  8488252 |     1959  10294 |        0 |        0
968.94/969.36	c  969s |      26 | 11416459 |  8504852 |     1959  10310 |        0 |        0
970.95/971.37	c  971s |      26 | 11436142 |  8520152 |     1959  10324 |        0 |        0
972.94/973.38	c  973s |      26 | 11460397 |  8537952 |     1959  10341 |        0 |        0
974.94/975.39	c  975s |      26 | 11480942 |  8553252 |     1959  10356 |        0 |        0
977.04/977.40	c  977s |      26 | 11503069 |  8569052 |     1959  10371 |        0 |        0
979.04/979.40	c  979s |      26 | 11526217 |  8585852 |     1959  10386 |        0 |        0
981.04/981.41	c  981s |      26 | 11548507 |  8602652 |     1959  10402 |        0 |        0
983.05/983.41	c  983s |      26 | 11571795 |  8620052 |     1959  10419 |        0 |        0
985.04/985.43	c  985s |      26 | 11595739 |  8637852 |     1959  10436 |        0 |        0
987.04/987.43	c  987s |      26 | 11618093 |  8654952 |     1959  10452 |        0 |        0
989.04/989.43	c  989s |      26 | 11639055 |  8671152 |     1959  10467 |        0 |        0
991.04/991.44	c  991s |      26 | 11659051 |  8687452 |     1959  10482 |        0 |        0
993.04/993.45	c  993s |      26 | 11677543 |  8702352 |     1959  10496 |        0 |        0
995.04/995.46	c  995s |      26 | 11699237 |  8718852 |     1959  10512 |        0 |        0
997.04/997.47	c  997s |      26 | 11719565 |  8734652 |     1959  10527 |        0 |        0
999.04/999.48	c  999s |      26 | 11742464 |  8751352 |     1959  10542 |        0 |        0
1001.03/1001.49	c 1001s |      26 | 11765057 |  8768252 |     1959  10558 |        0 |        0
1003.03/1003.49	c 1003s |      26 | 11787876 |  8785052 |     1959  10574 |        0 |        0
1005.05/1005.49	c 1005s |      26 | 11810832 |  8801952 |     1959  10590 |        0 |        0
1007.04/1007.49	c 1007s |      26 | 11833379 |  8818852 |     1959  10606 |        0 |        0
1009.14/1009.51	c 1009s |      26 | 11854678 |  8835252 |     1959  10622 |        0 |        0
1011.14/1011.51	c 1011s |      26 | 11878768 |  8852752 |     1959  10638 |        0 |        0
1013.14/1013.52	c 1013s |      26 | 11902132 |  8869852 |     1959  10654 |        0 |        0
1015.14/1015.53	c 1015s |      26 | 11923416 |  8885752 |     1959  10669 |        0 |        0
1017.15/1017.53	c 1017s |      26 | 11942232 |  8900752 |     1959  10683 |        0 |        0
1019.14/1019.53	c 1019s |      26 | 11963127 |  8916152 |     1959  10698 |        0 |        0
1021.14/1021.55	c 1021s |      26 | 11986661 |  8933352 |     1959  10714 |        0 |        0
1023.14/1023.55	c 1023s |      26 | 12007880 |  8949652 |     1959  10730 |        0 |        0
1025.14/1025.56	c 1025s |      26 | 12030404 |  8966352 |     1959  10745 |        0 |        0
1027.14/1027.56	c 1027s |      26 | 12051222 |  8982252 |     1959  10760 |        0 |        0
1029.14/1029.56	c 1029s |      26 | 12073753 |  8999252 |     1959  10776 |        0 |        0
1031.14/1031.56	c 1031s |      26 | 12094881 |  9015452 |     1959  10792 |        0 |        0
1033.14/1033.56	c 1033s |      26 | 12118294 |  9032552 |     1959  10808 |        0 |        0
1035.14/1035.57	c 1035s |      26 | 12142073 |  9049852 |     1959  10824 |        0 |        0
1037.13/1037.58	c 1037s |      26 | 12164737 |  9066452 |     1959  10840 |        0 |        0
1039.14/1039.59	c 1039s |      26 | 12186633 |  9082752 |     1959  10855 |        0 |        0
1041.13/1041.59	c 1041s |      26 | 12207843 |  9099252 |     1959  10871 |        0 |        0
1043.23/1043.60	c 1043s |      26 | 12227591 |  9114752 |     1959  10885 |        0 |        0
1045.23/1045.61	c 1045s |      26 | 12247405 |  9130252 |     1959  10900 |        0 |        0
1047.23/1047.61	c 1047s |      26 | 12266199 |  9144952 |     1959  10914 |        0 |        0
1049.23/1049.62	c 1049s |      26 | 12288075 |  9161052 |     1959  10929 |        0 |        0
1051.24/1051.62	c 1051s |      26 | 12309440 |  9176752 |     1959  10944 |        0 |        0
1053.23/1053.62	c 1053s |      26 | 12329038 |  9191952 |     1959  10958 |        0 |        0
1055.23/1055.63	c 1055s |      26 | 12351193 |  9208452 |     1959  10974 |        0 |        0
1057.23/1057.63	c 1057s |      26 | 12373517 |  9225052 |     1959  10990 |        0 |        0
1059.23/1059.63	c 1059s |      26 | 12396835 |  9242652 |     1959  11006 |        0 |        0
1061.23/1061.65	c 1061s |      26 | 12420809 |  9260252 |     1959  11023 |        0 |        0
1063.23/1063.65	c 1063s |      26 | 12446005 |  9278352 |     1959  11040 |        0 |        0
1065.23/1065.66	c 1065s |      26 | 12468593 |  9295552 |     1959  11056 |        0 |        0
1067.22/1067.66	c 1067s |      26 | 12491685 |  9312752 |     1959  11072 |        0 |        0
1069.22/1069.66	c 1069s |      26 | 12511268 |  9328352 |     1959  11087 |        0 |        0
1071.22/1071.66	c 1071s |      26 | 12530798 |  9343752 |     1959  11102 |        0 |        0
1073.23/1073.68	c 1073s |      26 | 12550876 |  9359652 |     1959  11117 |        0 |        0
1075.22/1075.69	c 1075s |      26 | 12574156 |  9376852 |     1959  11133 |        0 |        0
1077.23/1077.69	c 1077s |      26 | 12597147 |  9394352 |     1959  11149 |        0 |        0
1079.33/1079.70	c 1079s |      26 | 12617095 |  9410452 |     1959  11164 |        0 |        0
1081.33/1081.70	c 1081s |      26 | 12639696 |  9427352 |     1959  11180 |        0 |        0
1083.33/1083.72	c 1083s |      26 | 12661318 |  9443452 |     1959  11196 |        0 |        0
1085.34/1085.72	c 1085s |      26 | 12683647 |  9460152 |     1959  11212 |        0 |        0
1087.33/1087.72	c 1087s |      26 | 12705102 |  9476452 |     1959  11227 |        0 |        0
1089.33/1089.73	c 1089s |      26 | 12727695 |  9493152 |     1959  11243 |        0 |        0
1091.33/1091.73	c 1091s |      26 | 12750214 |  9509452 |     1959  11258 |        0 |        0
1093.32/1093.73	c 1093s |      26 | 12770639 |  9525052 |     1959  11273 |        0 |        0
1095.33/1095.73	c 1095s |      26 | 12793087 |  9541652 |     1959  11288 |        0 |        0
1097.32/1097.74	c 1097s |      26 | 12815255 |  9558352 |     1959  11304 |        0 |        0
1099.32/1099.75	c 1099s |      26 | 12837612 |  9575352 |     1959  11320 |        0 |        0
1101.32/1101.75	c 1101s |      26 | 12860505 |  9592552 |     1959  11336 |        0 |        0
1103.32/1103.76	c 1103s |      26 | 12882936 |  9609252 |     1959  11352 |        0 |        0
1105.32/1105.76	c 1105s |      26 | 12905448 |  9626252 |     1959  11368 |        0 |        0
1107.33/1107.77	c 1107s |      26 | 12924576 |  9641452 |     1959  11382 |        0 |        0
1109.33/1109.78	c 1109s |      26 | 12947152 |  9658752 |     1959  11399 |        0 |        0
1111.33/1111.78	c 1111s |      26 | 12969079 |  9675452 |     1959  11415 |        0 |        0
1113.33/1113.79	c 1113s |      26 | 12992895 |  9693152 |     1959  11431 |        0 |        0
1115.43/1115.80	c 1115s |      26 | 13014396 |  9709652 |     1959  11447 |        0 |        0
1117.42/1117.81	c 1117s |      26 | 13033133 |  9725352 |     1959  11461 |        0 |        0
1119.43/1119.83	c 1119s |      26 | 13055437 |  9741952 |     1959  11477 |        0 |        0
1121.42/1121.83	c 1121s |      26 | 13077329 |  9758452 |     1959  11492 |        0 |        0
1123.42/1123.84	c 1123s |      26 | 13099331 |  9774752 |     1959  11508 |        0 |        0
1125.42/1125.85	c 1125s |      26 | 13120783 |  9791052 |     1959  11523 |        0 |        0
1127.42/1127.86	c 1127s |      26 | 13141559 |  9807152 |     1959  11538 |        0 |        0
1129.43/1129.86	c 1129s |      26 | 13163211 |  9823652 |     1959  11554 |        0 |        0
1131.42/1131.87	c 1131s |      26 | 13183090 |  9839052 |     1959  11568 |        0 |        0
1133.42/1133.87	c 1133s |      26 | 13205059 |  9855952 |     1959  11584 |        0 |        0
1135.42/1135.88	c 1135s |      26 | 13225313 |  9871552 |     1959  11599 |        0 |        0
1137.42/1137.89	c 1137s |      26 | 13245157 |  9887752 |     1959  11614 |        0 |        0
1139.42/1139.89	c 1139s |      26 | 13265522 |  9903552 |     1959  11629 |        0 |        0
1141.42/1141.90	c 1141s |      26 | 13285960 |  9919452 |     1959  11644 |        0 |        0
1143.52/1143.91	c 1143s |      26 | 13305926 |  9934552 |     1959  11658 |        0 |        0
1145.52/1145.92	c 1145s |      26 | 13325381 |  9949652 |     1959  11673 |        0 |        0
1147.52/1147.92	c 1147s |      26 | 13346576 |  9965652 |     1959  11688 |        0 |        0
1149.52/1149.93	c 1149s |      26 | 13366595 |  9981352 |     1959  11703 |        0 |        0
1151.52/1151.93	c 1151s |      26 | 13384717 |  9996252 |     1959  11717 |        0 |        0
1153.52/1153.94	c 1153s |      26 | 13406181 | 10012352 |     1959  11732 |        0 |        0
1155.51/1155.94	c 1155s |      26 | 13427000 | 10028352 |     1959  11747 |        0 |        0
1157.51/1157.95	c 1157s |      26 | 13448613 | 10044752 |     1959  11762 |        0 |        0
1159.51/1159.96	c 1159s |      26 | 13469750 | 10060452 |     1959  11777 |        0 |        0
1161.51/1161.97	c 1161s |      26 | 13489393 | 10075952 |     1959  11792 |        0 |        0
1163.52/1163.98	c 1163s |      26 | 13510644 | 10092452 |     1959  11807 |        0 |        0
1165.51/1165.98	c 1165s |      26 | 13532240 | 10108652 |     1959  11823 |        0 |        0
1167.51/1167.98	c 1167s |      26 | 13552834 | 10124352 |     1959  11837 |        0 |        0
1169.61/1170.00	c 1169s |      26 | 13573709 | 10140352 |     1959  11852 |        0 |        0
1171.61/1172.01	c 1171s |      26 | 13595361 | 10156552 |     1959  11868 |        0 |        0
1173.61/1174.01	c 1174s |      26 | 13616713 | 10172952 |     1959  11883 |        0 |        0
1175.62/1176.02	c 1176s |      26 | 13639784 | 10190452 |     1959  11900 |        0 |        0
1177.61/1178.03	c 1178s |      26 | 13661324 | 10206852 |     1959  11915 |        0 |        0
1179.62/1180.04	c 1180s |      26 | 13683204 | 10223352 |     1959  11931 |        0 |        0
1181.62/1182.05	c 1182s |      26 | 13705391 | 10240152 |     1959  11947 |        0 |        0
1183.62/1184.05	c 1184s |      26 | 13727371 | 10256652 |     1959  11962 |        0 |        0
1185.62/1186.06	c 1186s |      26 | 13749390 | 10273352 |     1959  11978 |        0 |        0
1187.62/1188.07	c 1188s |      26 | 13771226 | 10290152 |     1959  11994 |        0 |        0
1189.62/1190.08	c 1190s |      26 | 13794390 | 10307252 |     1959  12010 |        0 |        0
1191.61/1192.09	c 1192s |      26 | 13815670 | 10323552 |     1959  12025 |        0 |        0
1193.71/1194.10	c 1194s |      26 | 13837852 | 10340552 |     1959  12041 |        0 |        0
1195.71/1196.10	c 1196s |      26 | 13857703 | 10355852 |     1959  12056 |        0 |        0
1197.71/1198.11	c 1198s |      26 | 13878857 | 10371752 |     1959  12071 |        0 |        0
1199.72/1200.12	c 1200s |      26 | 13900489 | 10388152 |     1959  12086 |        0 |        0
1201.71/1202.13	c 1202s |      26 | 13921921 | 10404452 |     1959  12101 |        0 |        0
1203.71/1204.13	c 1204s |      26 | 13941594 | 10420152 |     1959  12116 |        0 |        0
1205.71/1206.14	c 1206s |      26 | 13964554 | 10437352 |     1959  12132 |        0 |        0
1207.71/1208.14	c 1208s |      26 | 13985746 | 10453252 |     1959  12148 |        0 |        0
1209.72/1210.15	c 1210s |      26 | 14007064 | 10469852 |     1959  12163 |        0 |        0
1211.71/1212.16	c 1212s |      26 | 14027737 | 10485552 |     1959  12178 |        0 |        0
1213.71/1214.17	c 1214s |      26 | 14048864 | 10501652 |     1959  12193 |        0 |        0
1215.71/1216.17	c 1216s |      26 | 14070225 | 10518152 |     1959  12209 |        0 |        0
1217.71/1218.18	c 1218s |      26 | 14091466 | 10534352 |     1959  12224 |        0 |        0
1219.71/1220.19	c 1220s |      26 | 14112680 | 10550452 |     1959  12239 |        0 |        0
1221.72/1222.19	c 1222s |      26 | 14133585 | 10566452 |     1959  12254 |        0 |        0
1223.81/1224.20	c 1224s |      26 | 14155311 | 10582952 |     1959  12270 |        0 |        0
1225.81/1226.20	c 1226s |      26 | 14174823 | 10598352 |     1959  12284 |        0 |        0
1227.81/1228.21	c 1228s |      26 | 14196579 | 10614952 |     1959  12300 |        0 |        0
1229.81/1230.22	c 1230s |      26 | 14217297 | 10631052 |     1959  12315 |        0 |        0
1231.81/1232.23	c 1232s |      26 | 14237409 | 10646852 |     1959  12330 |        0 |        0
1233.81/1234.23	c 1234s |      26 | 14258863 | 10663452 |     1959  12346 |        0 |        0
1235.81/1236.24	c 1236s |      26 | 14279421 | 10679352 |     1959  12361 |        0 |        0
1237.80/1238.24	c 1238s |      26 | 14302172 | 10696652 |     1959  12377 |        0 |        0
1239.80/1240.25	c 1240s |      26 | 14323715 | 10712752 |     1959  12392 |        0 |        0
1241.80/1242.26	c 1242s |      26 | 14345381 | 10729652 |     1959  12408 |        0 |        0
1243.81/1244.26	c 1244s |      26 | 14366015 | 10745252 |     1959  12423 |        0 |        0
1245.80/1246.27	c 1246s |      26 | 14388098 | 10761552 |     1959  12438 |        0 |        0
1247.80/1248.28	c 1248s |      26 | 14409990 | 10778052 |     1959  12454 |        0 |        0
1249.80/1250.28	c 1250s |      26 | 14432256 | 10794452 |     1959  12469 |        0 |        0
1251.80/1252.29	c 1252s |      26 | 14453003 | 10810352 |     1959  12484 |        0 |        0
1253.90/1254.31	c 1254s |      26 | 14474038 | 10826452 |     1959  12499 |        0 |        0
1255.91/1256.31	c 1256s |      26 | 14496029 | 10842952 |     1959  12515 |        0 |        0
1257.90/1258.31	c 1258s |      26 | 14518515 | 10859752 |     1959  12531 |        0 |        0
1259.90/1260.32	c 1260s |      26 | 14541257 | 10876952 |     1959  12547 |        0 |        0
1261.90/1262.33	c 1262s |      26 | 14562610 | 10893252 |     1959  12563 |        0 |        0
1263.90/1264.33	c 1264s |      26 | 14582905 | 10909252 |     1959  12578 |        0 |        0
1265.90/1266.34	c 1266s |      26 | 14605166 | 10925952 |     1959  12594 |        0 |        0
1267.91/1268.34	c 1268s |      26 | 14627918 | 10942952 |     1959  12610 |        0 |        0
1269.90/1270.34	c 1270s |      26 | 14649716 | 10959752 |     1959  12625 |        0 |        0
1271.90/1272.34	c 1272s |      26 | 14669728 | 10975252 |     1959  12640 |        0 |        0
1273.90/1274.35	c 1274s |      26 | 14689673 | 10990752 |     1959  12655 |        0 |        0
1275.90/1276.36	c 1276s |      26 | 14710977 | 11006752 |     1959  12670 |        0 |        0
1277.90/1278.37	c 1278s |      26 | 14731464 | 11022352 |     1959  12685 |        0 |        0
1279.90/1280.39	c 1280s |      26 | 14752142 | 11038052 |     1959  12699 |        0 |        0
1282.00/1282.40	c 1282s |      26 | 14773032 | 11053852 |     1959  12714 |        0 |        0
1283.99/1284.41	c 1284s |      26 | 14793062 | 11069252 |     1959  12729 |        0 |        0
1285.99/1286.41	c 1286s |      26 | 14816697 | 11086352 |     1959  12745 |        0 |        0
1287.99/1288.42	c 1288s |      26 | 14840259 | 11103452 |     1959  12761 |        0 |        0
1290.00/1290.43	c 1290s |      26 | 14861555 | 11120052 |     1959  12777 |        0 |        0
1291.99/1292.43	c 1292s |      26 | 14881310 | 11135452 |     1959  12791 |        0 |        0
1293.99/1294.44	c 1294s |      26 | 14902164 | 11150952 |     1959  12806 |        0 |        0
1295.99/1296.45	c 1296s |      26 | 14924728 | 11166852 |     1959  12821 |        0 |        0
1297.99/1298.45	c 1298s |      26 | 14946393 | 11183052 |     1959  12836 |        0 |        0
1299.99/1300.45	c 1300s |      26 | 14968256 | 11199252 |     1959  12852 |        0 |        0
1302.00/1302.46	c 1302s |      26 | 14991174 | 11215952 |     1959  12867 |        0 |        0
1303.99/1304.47	c 1304s |      26 | 15013085 | 11232752 |     1959  12883 |        0 |        0
1306.00/1306.47	c 1306s |      26 | 15035373 | 11249052 |     1959  12899 |        0 |        0
1308.00/1308.49	c 1308s |      26 | 15057736 | 11265652 |     1959  12914 |        0 |        0
1310.00/1310.49	c 1310s |      26 | 15078080 | 11281252 |     1959  12929 |        0 |        0
1312.10/1312.50	c 1312s |      26 | 15098495 | 11296552 |     1959  12944 |        0 |        0
1313.99/1314.50	c 1314s |      26 | 15119344 | 11312552 |     1959  12959 |        0 |        0
1316.09/1316.50	c 1316s |      26 | 15141068 | 11328552 |     2155  12973 |        0 |        0
1318.09/1318.50	c 1318s |      26 | 15161483 | 11343852 |     2155  12986 |        0 |        0
1320.09/1320.50	c 1320s |      26 | 15183779 | 11360352 |     2155  13000 |        0 |        0
1322.09/1322.50	c 1322s |      26 | 15204843 | 11376152 |     2155  13014 |        0 |        0
1324.10/1324.52	c 1324s |      26 | 15224917 | 11391452 |     2155  13027 |        0 |        0
1324.89/1325.30	c 1325s |      27 | 15231527 | 11396733 |     2155  13031 |        0 |        0
1326.89/1327.31	c 1327s |      27 | 15248508 | 11410333 |     2155  13043 |        0 |        0
1328.89/1329.31	c 1329s |      27 | 15266709 | 11424633 |     2155  13055 |        0 |        0
1330.89/1331.31	c 1331s |      27 | 15284301 | 11438233 |     2155  13067 |        0 |        0
1332.89/1333.32	c 1333s |      27 | 15302340 | 11452133 |     2155  13079 |        0 |        0
1334.89/1335.32	c 1335s |      27 | 15319978 | 11466033 |     2155  13091 |        0 |        0
1336.89/1337.32	c 1337s |      27 | 15337639 | 11479933 |     2155  13103 |        0 |        0
1338.88/1339.32	c 1339s |      27 | 15355428 | 11494033 |     2155  13115 |        0 |        0
1340.88/1341.33	c 1341s |      27 | 15373412 | 11508233 |     2155  13127 |        0 |        0
1342.88/1343.33	c 1343s |      27 | 15392297 | 11522933 |     2155  13139 |        0 |        0
1344.89/1345.34	c 1345s |      27 | 15413182 | 11538733 |     2155  13153 |        0 |        0
1346.89/1347.34	c 1347s |      27 | 15432821 | 11553633 |     2155  13166 |        0 |        0
1348.89/1349.34	c 1349s |      27 | 15452124 | 11568633 |     2155  13179 |        0 |        0
1350.89/1351.35	c 1351s |      27 | 15470052 | 11583133 |     2155  13191 |        0 |        0
1352.89/1353.36	c 1353s |      27 | 15491031 | 11598333 |     2155  13204 |        0 |        0
1354.90/1355.37	c 1355s |      27 | 15512637 | 11615133 |     2155  13218 |        0 |        0
1356.89/1357.37	c 1357s |      27 | 15534746 | 11631933 |     2155  13233 |        0 |        0
1358.89/1359.38	c 1359s |      27 | 15555080 | 11647533 |     2155  13246 |        0 |        0
1360.89/1361.39	c 1361s |      27 | 15576870 | 11663933 |     2155  13260 |        0 |        0
1362.99/1363.41	c 1363s |      27 | 15596776 | 11679533 |     2155  13274 |        0 |        0
1364.99/1365.42	c 1365s |      27 | 15615178 | 11694333 |     2155  13286 |        0 |        0
1366.99/1367.42	c 1367s |      27 | 15636220 | 11710533 |     2155  13300 |        0 |        0
1368.98/1369.42	c 1369s |      27 | 15656876 | 11726333 |     2155  13314 |        0 |        0
1370.98/1371.43	c 1371s |      27 | 15675647 | 11741233 |     2155  13326 |        0 |        0
1372.98/1373.44	c 1373s |      27 | 15693479 | 11755733 |     2155  13339 |        0 |        0
1374.98/1375.45	c 1375s |      27 | 15713053 | 11770533 |     2155  13351 |        0 |        0
1376.98/1377.46	c 1377s |      27 | 15733730 | 11786133 |     2155  13365 |        0 |        0
1378.99/1379.46	c 1379s |      27 | 15754457 | 11802333 |     2155  13378 |        0 |        0
1380.98/1381.46	c 1381s |      27 | 15775884 | 11818433 |     2155  13392 |        0 |        0
1382.98/1383.46	c 1383s |      27 | 15795804 | 11833633 |     2155  13405 |        0 |        0
1384.98/1385.47	c 1385s |      27 | 15815637 | 11848733 |     2155  13418 |        0 |        0
1386.98/1387.48	c 1387s |      27 | 15834719 | 11863633 |     2155  13431 |        0 |        0
1388.98/1389.49	c 1389s |      27 | 15854163 | 11878433 |     2155  13444 |        0 |        0
1390.98/1391.50	c 1391s |      27 | 15874427 | 11893833 |     2155  13457 |        0 |        0
1393.08/1393.51	c 1393s |      27 | 15894296 | 11909333 |     2155  13470 |        0 |        0
1395.08/1395.52	c 1395s |      27 | 15913350 | 11924233 |     2155  13483 |        0 |        0
1397.08/1397.53	c 1397s |      27 | 15932588 | 11938933 |     2155  13495 |        0 |        0
1399.08/1399.54	c 1399s |      27 | 15952849 | 11954533 |     2155  13509 |        0 |        0
1401.08/1401.54	c 1401s |      27 | 15971365 | 11968533 |     2155  13521 |        0 |        0
1403.08/1403.55	c 1403s |      27 | 15991140 | 11983733 |     2155  13534 |        0 |        0
1405.08/1405.55	c 1405s |      27 | 16008519 | 11997833 |     2155  13546 |        0 |        0
1407.08/1407.56	c 1407s |      27 | 16028855 | 12013733 |     2155  13559 |        0 |        0
1409.07/1409.58	c 1409s |      27 | 16048767 | 12029133 |     2155  13572 |        0 |        0
1411.07/1411.58	c 1411s |      27 | 16070037 | 12045433 |     2155  13586 |        0 |        0
1413.08/1413.59	c 1413s |      27 | 16090170 | 12060833 |     2155  13600 |        0 |        0
1415.17/1415.60	c 1415s |      27 | 16113226 | 12077333 |     2155  13614 |        0 |        0
1417.17/1417.60	c 1417s |      27 | 16134022 | 12093133 |     2155  13627 |        0 |        0
1419.17/1419.62	c 1419s |      27 | 16154485 | 12108533 |     2155  13641 |        0 |        0
1421.17/1421.62	c 1421s |      27 | 16175358 | 12124233 |     2155  13654 |        0 |        0
1423.17/1423.64	c 1423s |      27 | 16197433 | 12140933 |     2155  13668 |        0 |        0
1425.19/1425.64	c 1425s |      27 | 16215748 | 12155133 |     2155  13680 |        0 |        0
1427.18/1427.64	c 1427s |      27 | 16237150 | 12171133 |     2155  13694 |        0 |        0
1429.18/1429.65	c 1429s |      27 | 16257922 | 12186733 |     2155  13707 |        0 |        0
1431.18/1431.67	c 1431s |      27 | 16277186 | 12201933 |     2155  13720 |        0 |        0
1433.18/1433.68	c 1433s |      27 | 16296069 | 12217033 |     2155  13733 |        0 |        0
1435.18/1435.69	c 1435s |      27 | 16315605 | 12232433 |     2155  13746 |        0 |        0
1437.18/1437.70	c 1437s |      27 | 16333276 | 12246533 |     2155  13759 |        0 |        0
1439.28/1439.71	c 1439s |      27 | 16351009 | 12260733 |     2155  13771 |        0 |        0
1441.28/1441.71	c 1441s |      27 | 16371767 | 12276333 |     2155  13784 |        0 |        0
1443.28/1443.71	c 1443s |      27 | 16392942 | 12292333 |     2155  13798 |        0 |        0
1445.28/1445.72	c 1445s |      27 | 16415428 | 12309333 |     2155  13812 |        0 |        0
1447.28/1447.73	c 1447s |      27 | 16435567 | 12324533 |     2155  13825 |        0 |        0
1449.27/1449.74	c 1449s |      27 | 16456264 | 12339733 |     2155  13838 |        0 |        0
1451.27/1451.75	c 1451s |      27 | 16476071 | 12354533 |     2155  13851 |        0 |        0
1453.27/1453.76	c 1453s |      27 | 16497512 | 12370733 |     2155  13865 |        0 |        0
1455.27/1455.78	c 1455s |      27 | 16518555 | 12386433 |     2155  13879 |        0 |        0
1457.27/1457.79	c 1457s |      27 | 16536967 | 12401433 |     2155  13891 |        0 |        0
1459.28/1459.80	c 1459s |      27 | 16558776 | 12417633 |     2155  13905 |        0 |        0
1461.37/1461.80	c 1461s |      27 | 16578912 | 12433233 |     2155  13919 |        0 |        0
1463.37/1463.80	c 1463s |      27 | 16599196 | 12448933 |     2155  13932 |        0 |        0
1465.37/1465.81	c 1465s |      27 | 16619241 | 12464233 |     2155  13945 |        0 |        0
1467.37/1467.81	c 1467s |      27 | 16640004 | 12479733 |     2155  13958 |        0 |        0
1469.37/1469.82	c 1469s |      27 | 16660495 | 12495033 |     2155  13972 |        0 |        0
1471.37/1471.84	c 1471s |      27 | 16678007 | 12509033 |     2155  13983 |        0 |        0
1473.36/1473.84	c 1473s |      27 | 16696280 | 12523233 |     2155  13995 |        0 |        0
1475.37/1475.84	c 1475s |      27 | 16718214 | 12539733 |     2155  14009 |        0 |        0
1477.37/1477.85	c 1477s |      27 | 16739051 | 12554933 |     2155  14022 |        0 |        0
1479.37/1479.86	c 1479s |      27 | 16759246 | 12570333 |     2155  14036 |        0 |        0
1481.37/1481.86	c 1481s |      27 | 16779788 | 12585033 |     2155  14048 |        0 |        0
1483.37/1483.87	c 1483s |      27 | 16799697 | 12600233 |     2155  14061 |        0 |        0
1485.37/1485.88	c 1485s |      27 | 16819823 | 12615433 |     2155  14074 |        0 |        0
1487.37/1487.88	c 1487s |      27 | 16841420 | 12631333 |     2155  14088 |        0 |        0
1489.37/1489.88	c 1489s |      27 | 16861023 | 12646133 |     2155  14101 |        0 |        0
1491.47/1491.90	c 1491s |      27 | 16877882 | 12659733 |     2155  14112 |        0 |        0
1493.37/1493.90	c 1493s |      27 | 16897651 | 12674533 |     2155  14125 |        0 |        0
1495.46/1495.91	c 1495s |      27 | 16917962 | 12689733 |     2155  14138 |        0 |        0
1497.46/1497.91	c 1497s |      27 | 16937244 | 12704833 |     2155  14151 |        0 |        0
1499.46/1499.93	c 1499s |      27 | 16955574 | 12719433 |     2155  14164 |        0 |        0
1501.46/1501.93	c 1501s |      27 | 16976420 | 12735433 |     2155  14177 |        0 |        0
1503.46/1503.94	c 1503s |      27 | 16996469 | 12750933 |     2155  14190 |        0 |        0
1505.47/1505.95	c 1505s |      27 | 17015621 | 12766133 |     2155  14203 |        0 |        0
1507.46/1507.95	c 1507s |      27 | 17034850 | 12781233 |     2155  14216 |        0 |        0
1509.46/1509.96	c 1509s |      27 | 17054486 | 12796433 |     2155  14229 |        0 |        0
1511.46/1511.96	c 1511s |      27 | 17072432 | 12811033 |     2155  14242 |        0 |        0
1513.46/1513.96	c 1513s |      27 | 17092819 | 12826733 |     2155  14255 |        0 |        0
1515.47/1515.97	c 1515s |      27 | 17112586 | 12841833 |     2155  14268 |        0 |        0
1517.46/1517.98	c 1517s |      27 | 17132136 | 12856833 |     2155  14280 |        0 |        0
1519.46/1519.98	c 1519s |      27 | 17151460 | 12871433 |     2155  14293 |        0 |        0
1521.46/1521.99	c 1521s |      27 | 17171244 | 12886733 |     2155  14306 |        0 |        0
1523.56/1524.00	c 1523s |      27 | 17189228 | 12900933 |     2155  14318 |        0 |        0
1525.56/1526.00	c 1525s |      27 | 17207366 | 12915033 |     2155  14330 |        0 |        0
1527.56/1528.02	c 1528s |      27 | 17228412 | 12930033 |     2155  14342 |        0 |        0
1529.56/1530.03	c 1530s |      27 | 17246663 | 12944133 |     2155  14354 |        0 |        0
1531.56/1532.04	c 1532s |      27 | 17265551 | 12958233 |     2155  14367 |        0 |        0
1533.56/1534.05	c 1534s |      27 | 17283707 | 12972233 |     2155  14379 |        0 |        0
1535.56/1536.05	c 1536s |      27 | 17302416 | 12986933 |     2155  14391 |        0 |        0
1537.56/1538.06	c 1538s |      27 | 17321166 | 13001433 |     2155  14404 |        0 |        0
1539.57/1540.07	c 1540s |      27 | 17339824 | 13015733 |     2155  14416 |        0 |        0
1541.56/1542.07	c 1542s |      27 | 17359052 | 13030733 |     2155  14429 |        0 |        0
1543.56/1544.08	c 1544s |      27 | 17379217 | 13045833 |     2155  14442 |        0 |        0
1545.56/1546.09	c 1546s |      27 | 17397029 | 13059933 |     2155  14454 |        0 |        0
1547.56/1548.10	c 1548s |      27 | 17415286 | 13073933 |     2155  14466 |        0 |        0
1549.66/1550.10	c 1550s |      27 | 17434446 | 13088633 |     2155  14478 |        0 |        0
1551.56/1552.10	c 1552s |      27 | 17452489 | 13102433 |     2155  14490 |        0 |        0
1553.66/1554.11	c 1554s |      27 | 17472116 | 13117433 |     2155  14503 |        0 |        0
1555.66/1556.12	c 1556s |      27 | 17492012 | 13132733 |     2155  14516 |        0 |        0
1557.66/1558.12	c 1558s |      27 | 17512033 | 13148133 |     2155  14529 |        0 |        0
1559.66/1560.13	c 1560s |      27 | 17531865 | 13163533 |     2155  14542 |        0 |        0
1561.66/1562.13	c 1562s |      27 | 17550109 | 13178033 |     2155  14555 |        0 |        0
1563.66/1564.14	c 1564s |      27 | 17569108 | 13193233 |     2155  14568 |        0 |        0
1565.66/1566.15	c 1566s |      27 | 17587945 | 13207933 |     2155  14580 |        0 |        0
1567.66/1568.16	c 1568s |      27 | 17607464 | 13222933 |     2155  14593 |        0 |        0
1569.66/1570.16	c 1570s |      27 | 17625976 | 13237433 |     2155  14606 |        0 |        0
1571.66/1572.16	c 1572s |      27 | 17644275 | 13251733 |     2155  14618 |        0 |        0
1573.66/1574.16	c 1574s |      27 | 17664372 | 13267033 |     2155  14631 |        0 |        0
1575.65/1576.17	c 1576s |      27 | 17684976 | 13282633 |     2155  14644 |        0 |        0
1577.65/1578.17	c 1578s |      27 | 17703576 | 13297333 |     2155  14657 |        0 |        0
1579.65/1580.18	c 1580s |      27 | 17722667 | 13312333 |     2155  14670 |        0 |        0
1581.65/1582.18	c 1582s |      27 | 17742376 | 13327433 |     2155  14683 |        0 |        0
1583.66/1584.18	c 1584s |      27 | 17760915 | 13342033 |     2155  14695 |        0 |        0
1585.65/1586.19	c 1586s |      27 | 17779850 | 13356733 |     2155  14708 |        0 |        0
1587.75/1588.20	c 1588s |      27 | 17799830 | 13372233 |     2155  14721 |        0 |        0
1589.75/1590.21	c 1590s |      27 | 17818491 | 13387233 |     2155  14733 |        0 |        0
1591.75/1592.21	c 1592s |      27 | 17838355 | 13402233 |     2155  14746 |        0 |        0
1593.75/1594.22	c 1594s |      27 | 17856128 | 13416433 |     2155  14758 |        0 |        0
1595.75/1596.23	c 1596s |      27 | 17875008 | 13430833 |     2155  14770 |        0 |        0
1597.75/1598.23	c 1598s |      27 | 17893005 | 13444633 |     2155  14782 |        0 |        0
1599.75/1600.23	c 1600s |      27 | 17912908 | 13459733 |     2155  14795 |        0 |        0
1601.75/1602.24	c 1602s |      27 | 17932655 | 13474333 |     2155  14808 |        0 |        0
1603.75/1604.25	c 1604s |      27 | 17952954 | 13489333 |     2155  14821 |        0 |        0
1605.74/1606.25	c 1606s |      27 | 17971723 | 13503633 |     2155  14833 |        0 |        0
1607.75/1608.26	c 1608s |      27 | 17990047 | 13517733 |     2155  14845 |        0 |        0
1609.74/1610.27	c 1610s |      27 | 18006662 | 13530833 |     2155  14856 |        0 |        0
1611.74/1612.27	c 1612s |      27 | 18025905 | 13545133 |     2155  14868 |        0 |        0
1613.74/1614.27	c 1614s |      27 | 18045438 | 13560333 |     2155  14881 |        0 |        0
1615.74/1616.28	c 1616s |      27 | 18065427 | 13575933 |     2155  14895 |        0 |        0
1617.76/1618.29	c 1618s |      27 | 18084329 | 13590833 |     2155  14907 |        0 |        0
1619.75/1620.29	c 1620s |      27 | 18105071 | 13606633 |     2155  14921 |        0 |        0
1621.85/1622.30	c 1622s |      27 | 18125834 | 13622333 |     2155  14934 |        0 |        0
1623.85/1624.30	c 1624s |      27 | 18143935 | 13636333 |     2155  14946 |        0 |        0
1625.85/1626.31	c 1626s |      27 | 18159176 | 13649433 |     2155  14958 |        0 |        0
1627.84/1628.32	c 1628s |      27 | 18177616 | 13663733 |     2155  14970 |        0 |        0
1629.85/1630.33	c 1630s |      27 | 18197507 | 13678533 |     2155  14982 |        0 |        0
1631.84/1632.33	c 1632s |      27 | 18217525 | 13693333 |     2155  14995 |        0 |        0
1633.84/1634.34	c 1634s |      27 | 18235824 | 13707333 |     2155  15007 |        0 |        0
1635.84/1636.35	c 1636s |      27 | 18254965 | 13721833 |     2155  15019 |        0 |        0
1637.84/1638.35	c 1638s |      27 | 18274416 | 13736533 |     2155  15032 |        0 |        0
1639.84/1640.36	c 1640s |      27 | 18295304 | 13751933 |     2155  15045 |        0 |        0
1641.84/1642.36	c 1642s |      27 | 18313665 | 13765833 |     2155  15057 |        0 |        0
1643.84/1644.37	c 1644s |      27 | 18333113 | 13780733 |     2155  15070 |        0 |        0
1645.85/1646.38	c 1646s |      27 | 18351782 | 13795433 |     2155  15082 |        0 |        0
1647.85/1648.39	c 1648s |      27 | 18370580 | 13810233 |     2155  15095 |        0 |        0
1649.94/1650.40	c 1650s |      27 | 18389172 | 13824933 |     2155  15107 |        0 |        0
1651.94/1652.41	c 1652s |      27 | 18407549 | 13839433 |     2155  15120 |        0 |        0
1653.95/1654.41	c 1654s |      27 | 18427106 | 13854433 |     2155  15132 |        0 |        0
1655.94/1656.41	c 1656s |      27 | 18445284 | 13868733 |     2155  15145 |        0 |        0
1657.94/1658.42	c 1658s |      27 | 18463620 | 13883233 |     2155  15157 |        0 |        0
1659.94/1660.43	c 1660s |      27 | 18481733 | 13897833 |     2155  15170 |        0 |        0
1661.94/1662.44	c 1662s |      27 | 18500068 | 13912333 |     2155  15182 |        0 |        0
1663.95/1664.44	c 1664s |      27 | 18517564 | 13926533 |     2155  15194 |        0 |        0
1665.94/1666.44	c 1666s |      27 | 18537321 | 13941433 |     2155  15207 |        0 |        0
1667.94/1668.44	c 1668s |      27 | 18555874 | 13956233 |     2155  15219 |        0 |        0
1669.94/1670.45	c 1670s |      27 | 18574276 | 13970833 |     2155  15232 |        0 |        0
1671.94/1672.46	c 1672s |      27 | 18594773 | 13986333 |     2155  15245 |        0 |        0
1673.94/1674.46	c 1674s |      27 | 18614114 | 14001733 |     2155  15258 |        0 |        0
1675.94/1676.47	c 1676s |      27 | 18633562 | 14016833 |     2155  15271 |        0 |        0
1677.93/1678.48	c 1678s |      27 | 18651866 | 14031133 |     2155  15284 |        0 |        0
1679.93/1680.49	c 1680s |      27 | 18670789 | 14045833 |     2155  15296 |        0 |        0
1682.03/1682.50	c 1682s |      27 | 18688952 | 14060033 |     2155  15308 |        0 |        0
1684.03/1684.51	c 1684s |      27 | 18707577 | 14074733 |     2155  15321 |        0 |        0
1686.03/1686.51	c 1686s |      27 | 18725467 | 14089033 |     2155  15333 |        0 |        0
1688.04/1688.52	c 1688s |      27 | 18744404 | 14103633 |     2155  15346 |        0 |        0
1690.03/1690.52	c 1690s |      27 | 18763749 | 14118233 |     2155  15358 |        0 |        0
1692.04/1692.53	c 1692s |      27 | 18782793 | 14133033 |     2155  15371 |        0 |        0
1694.04/1694.53	c 1694s |      27 | 18801628 | 14147833 |     2155  15383 |        0 |        0
1696.04/1696.53	c 1696s |      27 | 18820566 | 14162633 |     2155  15396 |        0 |        0
1698.04/1698.53	c 1698s |      27 | 18839339 | 14177033 |     2155  15408 |        0 |        0
1700.04/1700.55	c 1700s |      27 | 18858125 | 14191733 |     2155  15421 |        0 |        0
1702.03/1702.56	c 1702s |      27 | 18877473 | 14206333 |     2155  15434 |        0 |        0
1704.03/1704.58	c 1704s |      27 | 18895922 | 14220333 |     2155  15446 |        0 |        0
1706.03/1706.59	c 1706s |      27 | 18914722 | 14234633 |     2155  15458 |        0 |        0
1708.03/1708.59	c 1708s |      27 | 18933190 | 14249233 |     2155  15470 |        0 |        0
1710.04/1710.60	c 1710s |      27 | 18952787 | 14264033 |     2155  15483 |        0 |        0
1712.13/1712.60	c 1712s |      27 | 18972621 | 14279033 |     2155  15496 |        0 |        0
1714.13/1714.60	c 1714s |      27 | 18991933 | 14293433 |     2155  15508 |        0 |        0
1716.13/1716.61	c 1716s |      27 | 19012354 | 14308933 |     2155  15522 |        0 |        0
1718.13/1718.63	c 1718s |      27 | 19031352 | 14323933 |     2155  15535 |        0 |        0
1720.13/1720.64	c 1720s |      27 | 19049647 | 14338033 |     2155  15547 |        0 |        0
1722.13/1722.65	c 1722s |      27 | 19069299 | 14352933 |     2155  15559 |        0 |        0
1724.13/1724.66	c 1724s |      27 | 19085186 | 14365733 |     2155  15570 |        0 |        0
1726.13/1726.66	c 1726s |      27 | 19103597 | 14379833 |     2155  15583 |        0 |        0
1728.12/1728.67	c 1728s |      27 | 19122942 | 14394133 |     2155  15595 |        0 |        0
1730.12/1730.68	c 1730s |      27 | 19142199 | 14408533 |     2155  15607 |        0 |        0
1732.13/1732.69	c 1732s |      27 | 19160363 | 14422633 |     2155  15619 |        0 |        0
1734.12/1734.70	c 1734s |      27 | 19178478 | 14436633 |     2155  15631 |        0 |        0
1736.22/1736.70	c 1736s |      27 | 19196480 | 14450733 |     2155  15643 |        0 |        0
1738.22/1738.71	c 1738s |      27 | 19214627 | 14464733 |     2155  15655 |        0 |        0
1740.22/1740.72	c 1740s |      27 | 19236021 | 14480033 |     2155  15668 |        0 |        0
1742.23/1742.73	c 1742s |      27 | 19255543 | 14495133 |     2155  15681 |        0 |        0
1744.24/1744.74	c 1744s |      27 | 19274793 | 14509633 |     2155  15694 |        0 |        0
1746.23/1746.75	c 1746s |      27 | 19294867 | 14524833 |     2155  15707 |        0 |        0
1748.23/1748.76	c 1748s |      27 | 19312080 | 14538433 |     2155  15718 |        0 |        0
1750.23/1750.77	c 1750s |      27 | 19329086 | 14551633 |     2155  15730 |        0 |        0
1752.23/1752.78	c 1752s |      27 | 19348205 | 14566533 |     2155  15742 |        0 |        0
1754.23/1754.79	c 1754s |      27 | 19368987 | 14581933 |     2155  15756 |        0 |        0
1756.23/1756.80	c 1756s |      27 | 19388562 | 14596933 |     2155  15769 |        0 |        0
1758.32/1758.80	c 1758s |      27 | 19407523 | 14611433 |     2155  15781 |        0 |        0
1760.32/1760.80	c 1760s |      27 | 19426405 | 14625833 |     2155  15793 |        0 |        0
1762.32/1762.81	c 1762s |      27 | 19445247 | 14640233 |     2155  15806 |        0 |        0
1764.32/1764.83	c 1764s |      27 | 19464304 | 14654733 |     2155  15818 |        0 |        0
1766.32/1766.84	c 1766s |      27 | 19481740 | 14668333 |     2155  15830 |        0 |        0
1768.33/1768.84	c 1768s |      27 | 19502146 | 14683833 |     2155  15843 |        0 |        0
1770.32/1770.84	c 1770s |      27 | 19523370 | 14699433 |     2155  15856 |        0 |        0
1772.32/1772.84	c 1772s |      27 | 19543996 | 14714633 |     2155  15869 |        0 |        0
1774.32/1774.85	c 1774s |      27 | 19563967 | 14730133 |     2155  15882 |        0 |        0
1776.32/1776.85	c 1776s |      27 | 19584760 | 14745633 |     2155  15896 |        0 |        0
1778.33/1778.85	c 1778s |      27 | 19603638 | 14760033 |     2155  15908 |        0 |        0
1780.32/1780.86	c 1780s |      27 | 19625015 | 14775733 |     2155  15921 |        0 |        0
1782.32/1782.86	c 1782s |      27 | 19643581 | 14790433 |     2155  15934 |        0 |        0
1784.32/1784.87	c 1784s |      27 | 19663558 | 14805733 |     2155  15947 |        0 |        0
1786.32/1786.87	c 1786s |      27 | 19684840 | 14821733 |     2155  15961 |        0 |        0
1788.32/1788.88	c 1788s |      27 | 19703463 | 14836433 |     2155  15974 |        0 |        0
1790.32/1790.88	c 1790s |      27 | 19724167 | 14852033 |     2155  15987 |        0 |        0
1792.32/1792.89	c 1792s |      27 | 19744871 | 14867533 |     2155  16000 |        0 |        0
1794.42/1794.90	c 1794s |      27 | 19764172 | 14882133 |     2155  16013 |        0 |        0
1796.42/1796.90	c 1796s |      27 | 19784068 | 14897133 |     2155  16026 |        0 |        0
1798.41/1798.90	c 1798s |      27 | 19806665 | 14913333 |     2155  16039 |        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-4096113-1466102512/watcher-4096113-1466102512 -o /tmp/evaluation-result-4096113-1466102512/solver-4096113-1466102512 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466097108-24735 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096113-1466102512.opb 

pid=25215
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.27 2.25 2.19 2/179 25218
/proc/meminfo: memFree=29706888/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 2931 0 0 0 0 0 0 0 20 0 4 0 12300173 801566720 2781 33554432000 4194304 16246674 140734540370992 140734540370416 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 196207 2791 441 2943 0 193101 0
[pid=25218/tid=25219] ppid=25215 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 819392512 2852 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=805308 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 824635392 2868 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=809404 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300173 828829696 2886 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.27 2.25 2.19 2/179 25218
/proc/meminfo: memFree=29706888/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 24937 0 0 0 6 3 0 0 20 0 4 0 12300173 1247350784 24776 33554432000 4194304 16246674 140734540370992 140734540370416 6084492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 304529 24782 707 2943 0 301423 0
[pid=25218/tid=25219] ppid=25215 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1247350784 24788 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1247350784 24794 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300173 1247350784 24799 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20049 s]
/proc/loadavg: 2.27 2.25 2.19 2/179 25218
/proc/meminfo: memFree=29706888/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 47157 0 0 0 13 6 0 0 20 0 4 0 12300173 1247350784 46996 33554432000 4194304 16246674 140734540370992 140734540370416 5676365 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 304529 47006 707 2943 0 301423 0
[pid=25218/tid=25219] ppid=25215 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1247350784 47013 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1247350784 47017 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300173 1247350784 47024 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300476 s]
/proc/loadavg: 2.27 2.25 2.19 2/179 25218
/proc/meminfo: memFree=29706888/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 68866 0 0 0 19 10 0 0 20 0 4 0 12300173 1247350784 68705 33554432000 4194304 16246674 140734540370992 140734540370416 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 304529 68713 708 2943 0 301423 0
[pid=25218/tid=25219] ppid=25215 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1247350784 68720 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1247350784 68725 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300173 1247350784 68732 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700409 s]
/proc/loadavg: 2.27 2.25 2.19 2/179 25218
/proc/meminfo: memFree=29706888/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 157786 0 0 0 47 22 0 0 20 0 4 0 12300173 1247350784 157626 33554432000 4194304 16246674 140734540370992 140734540370416 5707858 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 304529 157634 708 2943 0 301423 0
[pid=25218/tid=25219] ppid=25215 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1247350784 157641 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1247350784 157648 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12300173 1247350784 157658 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 25222
/proc/meminfo: memFree=28725768/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 245700 0 0 0 114 35 0 0 20 0 4 0 12300173 1248399360 245519 33554432000 4194304 16246674 140734540370992 140734540370304 5997856 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 304785 245519 784 2943 0 301679 0
[pid=25218/tid=25219] ppid=25215 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1248399360 245519 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1248399360 245519 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1248399360 245519 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10037 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 25222
/proc/meminfo: memFree=28639456/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 267374 0 0 0 271 38 0 0 20 0 4 0 12300173 1337528320 267193 33554432000 4194304 16246674 140734540370992 140734540352896 5665479 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 326545 267193 784 2943 0 323439 0
[pid=25218/tid=25219] ppid=25215 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1337528320 267193 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1337528320 267193 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1337528320 267193 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30035 s]
/proc/loadavg: 2.33 2.26 2.19 4/183 25222
/proc/meminfo: memFree=28637024/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 267528 0 0 0 591 38 0 0 20 0 4 0 12300173 1337528320 267347 33554432000 4194304 16246674 140734540370992 140734540352896 5722604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 326545 267347 784 2943 0 323439 0
[pid=25218/tid=25219] ppid=25215 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1337528320 267347 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1337528320 267347 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1337528320 267347 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.30 2.26 2.19 3/183 25222
/proc/meminfo: memFree=28637280/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1307204 CPUtime=12.68 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 267607 0 0 0 1230 38 0 0 20 0 4 0 12300173 1338576896 267426 33554432000 4194304 16246674 140734540370992 140734540352896 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 326801 267426 784 2943 0 323695 0
[pid=25218/tid=25219] ppid=25215 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1338576896 267426 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1338576896 267426 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1338576896 267426 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.23 2.24 2.18 3/183 25222
/proc/meminfo: memFree=28636056/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1308228 CPUtime=25.49 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 267851 0 0 0 2510 39 0 0 20 0 4 0 12300173 1339625472 267670 33554432000 4194304 16246674 140734540370992 140734540352896 12483226 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327057 267670 784 2943 0 323951 0
[pid=25218/tid=25219] ppid=25215 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1339625472 267670 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1339625472 267670 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1339625472 267670 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.22 2.24 2.18 4/183 25222
/proc/meminfo: memFree=28636528/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 267851 0 0 0 5069 39 0 0 20 0 4 0 12300173 1339625472 267670 33554432000 4194304 16246674 140734540370992 140734540352896 5523091 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327057 267670 784 2943 0 323951 0
[pid=25218/tid=25219] ppid=25215 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1339625472 267670 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1339625472 267670 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1339625472 267670 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.301 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 25223
/proc/meminfo: memFree=28636848/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 267868 0 0 0 10188 40 0 0 20 0 4 0 12300173 1339625472 267687 33554432000 4194304 16246674 140734540370992 140734540352896 13950199 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327057 267687 784 2943 0 323951 0
[pid=25218/tid=25219] ppid=25215 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1339625472 267687 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1339625472 267687 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1339625472 267687 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.30 2.26 2.19 3/183 25374
/proc/meminfo: memFree=28633156/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1311300 CPUtime=1361.89 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 269215 0 0 0 136126 63 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140734540352896 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327825 268925 786 2943 0 324719 0
[pid=25218/tid=25219] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.16 2.23 2.18 3/183 25375
/proc/meminfo: memFree=28633944/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1311300 CPUtime=1421.88 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 269215 0 0 0 142125 63 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140734540352896 5677740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327825 268925 786 2943 0 324719 0
[pid=25218/tid=25219] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/183 25377
/proc/meminfo: memFree=28634248/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1311300 CPUtime=1481.87 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 269215 0 0 0 148122 65 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140734540352896 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327825 268925 786 2943 0 324719 0
[pid=25218/tid=25219] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1311300

[startup+1542.31 s]
/proc/loadavg: 2.39 2.27 2.20 3/183 25378
/proc/meminfo: memFree=28633740/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1311300 CPUtime=1541.87 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 269215 0 0 0 154121 66 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140734540352896 6010364 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327825 268925 786 2943 0 324719 0
[pid=25218/tid=25219] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.20 2.24 2.18 3/183 25379
/proc/meminfo: memFree=28633624/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1311300 CPUtime=1601.85 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 269215 0 0 0 160119 66 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140734540352896 5823611 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327825 268925 786 2943 0 324719 0
[pid=25218/tid=25219] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268925 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1311300

[startup+1662.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 25380
/proc/meminfo: memFree=28633624/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1311300 CPUtime=1661.84 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 269216 0 0 0 166116 68 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140734540352896 5545788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327825 268926 787 2943 0 324719 0
[pid=25218/tid=25219] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1311300

[startup+1722.3 s]
/proc/loadavg: 2.33 2.28 2.20 3/184 25384
/proc/meminfo: memFree=28633460/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1311300 CPUtime=1721.83 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 269216 0 0 0 172114 69 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140734540352896 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327825 268926 787 2943 0 324719 0
[pid=25218/tid=25219] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1311300

[startup+1782.3 s]
/proc/loadavg: 2.24 2.25 2.19 4/183 25386
/proc/meminfo: memFree=28633104/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1311300 CPUtime=1781.82 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 269216 0 0 0 178112 70 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140734540352896 12483218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327825 268926 787 2943 0 324719 0
[pid=25218/tid=25219] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1311300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.17 2.24 2.18 4/183 25387
/proc/meminfo: memFree=28632716/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1311300 CPUtime=1800.01 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 269216 0 0 0 179931 70 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140734540352896 13923843 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327825 268926 787 2943 0 324719 0
[pid=25218/tid=25219] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1311300

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

[startup+1800.5 s]
/proc/loadavg: 2.17 2.24 2.18 4/183 25387
/proc/meminfo: memFree=28632716/32872528 swapFree=1103228/1182944
[pid=25218] ppid=25215 vsize=1311300 CPUtime=1800.01 cores=0,2,4,6
/proc/25218/stat : 25218 (toysat) R 25215 25218 24719 0 -1 4202496 269216 0 0 0 179931 70 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140734540352896 13923843 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/25218/statm: 327825 268926 787 2943 0 324719 0
[pid=25218/tid=25219] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25219/stat : 25219 (toysat) S 25215 25218 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018457750768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=25218/tid=25220] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25220/stat : 25220 (toysat) S 25215 25218 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018447260912 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=25218/tid=25221] ppid=25215 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25218/task/25221/stat : 25221 (toysat) S 25215 25218 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12300173 1342771200 268926 33554432000 4194304 16246674 140734540370992 140018436787376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1311300

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.32
CPU system time (s): 0.707892
CPU usage (%): 99.9735
Max. virtual memory (cumulated for all children) (KiB): 1311300

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.32
system time used= 0.707892
maximum resident set size= 1075704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269216
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= 379
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.0452 second user time and 15.5066 second system time

The end

Begin job on node115 at 2016-06-16 20:41:52
IDJOB=4096113
IDBENCH=107568
IDSOLVER=2542
FILE ID=node115/4096113-1466102512
RUNJOBID= node115-1466097108-24735
PBS_JOBID= 19904041
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-geq-fixedbandwidth-80.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096113-1466102512/watcher-4096113-1466102512 -o /tmp/evaluation-result-4096113-1466102512/solver-4096113-1466102512 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466097108-24735 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096113-1466102512.opb

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

MD5SUM BENCH= 25d9183b3862a0eae740ac5c764b9e98
RANDOM SEED=171866072

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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.103
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:        29707424 kB
Buffers:           55152 kB
Cached:           142316 kB
SwapCached:         2104 kB
Active:          1181732 kB
Inactive:          95644 kB
Active(anon):    1080624 kB
Inactive(anon):     1636 kB
Active(file):     101108 kB
Inactive(file):    94008 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             16484 kB
Writeback:             0 kB
AnonPages:       2261988 kB
Mapped:            10244 kB
Shmem:                 0 kB
Slab:             569700 kB
SReclaimable:      13596 kB
SUnreclaim:       556104 kB
KernelStack:        1448 kB
PageTables:         8468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2402760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1024000 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= 71712 MiB
End job on node115 at 2016-06-16 21:11:53