0.00/0.00	c 2016-06-30T21:06:21+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-4121154-1467313581.opb"]
0.00/0.01	c use --random-gen="2895404570 2619455565 2186521289 1978460092 2046171103 305125822 3708545004 1779785364 2360622847 3903953851 1646731247 182490386 2303719884 47352127 1657146382 967729705 3436423351 3371740020 3797231684 2090152725 1757504019 3915753115 2723316787 3164947634 2862765904 2666490203 1323692157 4220106049 1917344928 973776106 2921731631 1751490318 1737336804 1462870323 780319797 3036134493 2971515100 1940960917 3062709024 693565498 2842987310 3462778665 363371556 3370996385 3283093217 444654516 2878247441 435732150 4120396406 368980331 2482937208 903111988 3412956980 3704832769 4122324513 3545024426 1520331599 2291520974 1057276643 1401397956 1825247477 1156528109 641170643 1976447251 81889762 4290053421 3131290073 3848930486 3145413006 1073551767 3495300297 3757493403 1081224128 229196593 311006644 2814785986 3879249613 2829275310 3582548748 1929966339 4108118967 898656342 3499498444 1269002315 724508261 744033180 2388457252 3234911726 2793117459 522994484 3787213209 1759885374 1680632509 3240893101 3333646778 2723815375 840440879 1239258439 813951100 3459435323 3365824041 2220916429 4034149663 4860513 1824516828 2312031918 1631568528 2667221603 3875281215 3033278007 2386532742 2484702771 855531467 1994722894 1089869862 520610094 2968852081 2928641471 3652497472 934187019 627206960 373087168 2332157758 2769742258 4112292176 4140201130 409133602 3278014624 2238146664 3853411733 517561182 993135745 345694548 2432278183 3714369976 2562812822 814804824 3718092181 509411192 2705540337 2036470701 3053898465 806194466 970442846 56976301 1187583001 2598632073 4021261603 2866233901 749664397 1084583404 1763545680 1490602571 1951026530 4016822934 1990997103 1910715942 1954578971 1536604720 3343392531 1863403489 3955791816 1368288990 1537342456 706246022 1563694833 3092131015 1464143837 1124528156 8465894 934027716 346779534 625423051 3669794101 74104710 1502365392 3179971088 202165132 38433720 1313088500 4184560166 2214241859 2676563911 326124923 2958817396 1383107603 1666747760 1059978680 1407352141 2872480004 1041781367 614123573 2389549291 2399383512 1948018145 4256758539 1311543070 542289710 3828089480 2179123137 740415297 2662897223 1423131801 5069815 4144922100 1222950399 2218521046 1348732434 3031923460 2727441428 1709361711 2907477880 1763971496 1989533104 2330664410 608924559 2662177689 4144834267 559869927 2400964612 3726136758 1208097445 223038742 813644832 3107372775 2843855464 3196664817 241037826 3619100571 2079632822 2804015519 3302721765 1440660175 3745276316 3621579988 4091794309 2083156442 3597946095 2979146898 2639885699 1600311284 1253210847 349732816 3569034681 455315793 691034078 3938127506 4164957865 582600379 3300895883 3326825532 2993653620 3226257904 3903045301 3939637167 1057685678 255 362436" option to reproduce the execution
0.00/0.01	c #vars 105
0.00/0.01	c #constraints 104
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 |       69      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      126 |      100 |       69      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      339 |      250 |       76      3 |        0 |        0
0.00/0.05	c  0.0s |       3 |      706 |      475 |       84      8 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1207 |      813 |       93     13 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1999 |     1320 |      103     21 |        0 |        0
0.19/0.20	c  0.2s |       6 |     3477 |     2081 |      126     31 |        0 |        0
0.29/0.31	c  0.3s |       7 |     5176 |     3223 |      139     47 |        0 |        0
0.39/0.49	c  0.5s |       8 |     7536 |     4936 |      153     68 |        0 |        0
0.69/0.74	c  0.7s |       9 |    11473 |     7506 |      169     96 |        0 |        0
1.10/1.11	c  1.1s |      10 |    17432 |    11361 |      186    136 |        0 |        0
1.49/1.50	c  1.5s |      11 |    25157 |    17144 |      205    191 |        0 |        0
2.09/2.11	c  2.1s |      12 |    38361 |    25819 |      226    269 |        0 |        0
2.99/3.01	c  3.0s |      13 |    55541 |    38832 |      249    374 |        0 |        0
4.29/4.36	c  4.3s |      14 |    81982 |    58352 |      274    518 |        0 |        0
6.29/6.36	c  6.4s |      14 |   121476 |    87152 |      302    714 |        0 |        0
6.39/6.40	c  6.4s |      15 |   122134 |    87632 |      302    717 |        0 |        0
8.39/8.40	c  8.4s |      15 |   159216 |   115932 |      302    894 |        0 |        0
9.49/9.57	c  9.6s |      16 |   178861 |   131552 |      333    991 |        0 |        0
11.49/11.57	c 11.6s |      16 |   222031 |   160652 |      333   1157 |        0 |        0
13.49/13.57	c 13.6s |      16 |   259590 |   188552 |      333   1317 |        0 |        0
14.19/14.24	c 14.2s |      17 |   271200 |   197432 |      367   1366 |        0 |        0
16.19/16.24	c 16.2s |      17 |   301974 |   222332 |      367   1495 |        0 |        0
18.19/18.25	c 18.2s |      17 |   333615 |   247132 |      367   1624 |        0 |        0
20.19/20.25	c 20.2s |      17 |   365119 |   272232 |      367   1753 |        0 |        0
22.19/22.24	c 22.2s |      18 |   395182 |   296252 |      404   1876 |        0 |        0
24.19/24.25	c 24.2s |      18 |   426670 |   321252 |      404   1994 |        0 |        0
26.19/26.25	c 26.2s |      18 |   463466 |   348452 |      404   2123 |        0 |        0
28.19/28.25	c 28.2s |      18 |   494610 |   373652 |      404   2242 |        0 |        0
30.19/30.26	c 30.2s |      18 |   526045 |   399052 |      404   2363 |        0 |        0
32.19/32.27	c 32.3s |      18 |   554962 |   423352 |      404   2479 |        0 |        0
33.98/34.02	c 34.0s |      19 |   580656 |   444482 |      445   2579 |        0 |        0
35.98/36.02	c 36.0s |      19 |   616023 |   470482 |      445   2691 |        0 |        0
37.98/38.03	c 38.0s |      19 |   650551 |   496182 |      445   2803 |        0 |        0
39.98/40.03	c 40.0s |      19 |   683670 |   522082 |      445   2916 |        0 |        0
41.98/42.03	c 42.0s |      19 |   718084 |   548382 |      445   3031 |        0 |        0
43.99/44.04	c 44.0s |      19 |   752911 |   574782 |      445   3145 |        0 |        0
45.98/46.04	c 46.0s |      19 |   785687 |   600082 |      445   3255 |        0 |        0
47.99/48.04	c 48.0s |      19 |   813604 |   623382 |      445   3355 |        0 |        0
49.99/50.04	c 50.0s |      19 |   841657 |   646382 |      445   3455 |        0 |        0
51.69/51.74	c 51.7s |      20 |   868108 |   666827 |      490   3542 |        0 |        0
53.68/53.75	c 53.7s |      20 |   902129 |   693627 |      490   3648 |        0 |        0
55.68/55.75	c 55.7s |      20 |   936684 |   720327 |      490   3754 |        0 |        0
57.68/57.76	c 57.7s |      20 |   969126 |   745827 |      490   3854 |        0 |        0
59.68/59.76	c 59.8s |      20 |  1000200 |   771027 |      490   3954 |        0 |        0
61.69/61.76	c 61.8s |      20 |  1029646 |   794827 |      490   4047 |        0 |        0
63.68/63.77	c 63.8s |      20 |  1060873 |   819127 |      490   4144 |        0 |        0
65.68/65.77	c 65.8s |      20 |  1091982 |   844027 |      490   4242 |        0 |        0
67.68/67.77	c 67.8s |      20 |  1124180 |   869227 |      490   4341 |        0 |        0
69.68/69.77	c 69.8s |      20 |  1155189 |   894127 |      490   4440 |        0 |        0
71.68/71.78	c 71.8s |      20 |  1184897 |   918327 |      490   4535 |        0 |        0
73.68/73.79	c 73.8s |      20 |  1213005 |   941727 |      490   4628 |        0 |        0
75.68/75.79	c 75.8s |      20 |  1237880 |   963827 |      490   4715 |        0 |        0
77.68/77.79	c 77.8s |      20 |  1265295 |   987027 |      490   4807 |        0 |        0
78.88/78.98	c 79.0s |      21 |  1281207 |  1000345 |      539   4857 |        0 |        0
80.88/80.98	c 81.0s |      21 |  1319285 |  1025945 |      539   4949 |        0 |        0
82.88/82.98	c 83.0s |      21 |  1356989 |  1052445 |      539   5044 |        0 |        0
84.87/84.98	c 85.0s |      21 |  1391842 |  1078345 |      539   5138 |        0 |        0
86.88/86.98	c 87.0s |      21 |  1428243 |  1103645 |      539   5230 |        0 |        0
88.87/88.99	c 89.0s |      21 |  1462218 |  1128745 |      539   5321 |        0 |        0
90.97/91.00	c 91.0s |      21 |  1495287 |  1152945 |      539   5408 |        0 |        0
92.97/93.00	c 93.0s |      21 |  1528035 |  1177045 |      539   5494 |        0 |        0
94.97/95.00	c 95.0s |      21 |  1560159 |  1201245 |      539   5582 |        0 |        0
96.97/97.01	c 97.0s |      21 |  1592407 |  1225645 |      539   5670 |        0 |        0
98.98/99.01	c 99.0s |      21 |  1627246 |  1250545 |      539   5760 |        0 |        0
100.97/101.02	c  101s |      21 |  1656553 |  1274045 |      539   5845 |        0 |        0
102.97/103.02	c  103s |      21 |  1690246 |  1298745 |      539   5934 |        0 |        0
104.97/105.03	c  105s |      21 |  1720288 |  1322345 |      539   6020 |        0 |        0
106.97/107.03	c  107s |      21 |  1745746 |  1344045 |      539   6097 |        0 |        0
108.98/109.03	c  109s |      21 |  1771342 |  1365645 |      539   6174 |        0 |        0
110.97/111.04	c  111s |      21 |  1796968 |  1386945 |      539   6250 |        0 |        0
112.97/113.04	c  113s |      21 |  1822910 |  1408445 |      539   6326 |        0 |        0
114.97/115.05	c  115s |      21 |  1852345 |  1431945 |      539   6411 |        0 |        0
116.98/117.05	c  117s |      21 |  1883536 |  1456345 |      539   6499 |        0 |        0
118.98/119.06	c  119s |      21 |  1914825 |  1480345 |      539   6586 |        0 |        0
120.67/120.72	c  120s |      22 |  1941273 |  1500622 |      593   6656 |        0 |        0
122.67/122.73	c  122s |      22 |  1970212 |  1523722 |      593   6731 |        0 |        0
124.67/124.74	c  124s |      22 |  1997982 |  1546322 |      593   6805 |        0 |        0
126.67/126.74	c  126s |      22 |  2026039 |  1569022 |      593   6879 |        0 |        0
128.68/128.74	c  128s |      22 |  2053928 |  1591822 |      593   6954 |        0 |        0
130.67/130.75	c  130s |      22 |  2081043 |  1614422 |      593   7029 |        0 |        0
132.67/132.75	c  132s |      22 |  2107823 |  1636522 |      593   7101 |        0 |        0
134.67/134.76	c  134s |      22 |  2134152 |  1658422 |      593   7173 |        0 |        0
136.67/136.77	c  136s |      22 |  2161770 |  1681022 |      593   7247 |        0 |        0
138.67/138.77	c  138s |      22 |  2191736 |  1704422 |      593   7324 |        0 |        0
140.67/140.77	c  140s |      22 |  2223435 |  1728522 |      593   7404 |        0 |        0
142.67/142.78	c  142s |      22 |  2255135 |  1752222 |      593   7481 |        0 |        0
144.67/144.79	c  144s |      22 |  2283528 |  1774522 |      593   7555 |        0 |        0
146.67/146.79	c  146s |      22 |  2313025 |  1797222 |      593   7630 |        0 |        0
148.76/148.80	c  148s |      22 |  2340219 |  1819822 |      593   7704 |        0 |        0
150.77/150.81	c  150s |      22 |  2362741 |  1839722 |      593   7769 |        0 |        0
152.76/152.82	c  152s |      22 |  2390282 |  1862022 |      593   7842 |        0 |        0
154.76/154.82	c  154s |      22 |  2418318 |  1884022 |      593   7915 |        0 |        0
156.76/156.83	c  156s |      22 |  2446341 |  1906522 |      593   7988 |        0 |        0
158.76/158.83	c  158s |      22 |  2474538 |  1929022 |      593   8062 |        0 |        0
160.77/160.83	c  160s |      22 |  2501653 |  1950422 |      593   8132 |        0 |        0
162.78/162.84	c  162s |      22 |  2531655 |  1973122 |      593   8207 |        0 |        0
164.77/164.84	c  164s |      22 |  2559989 |  1995322 |      593   8280 |        0 |        0
166.77/166.85	c  166s |      22 |  2586142 |  2016722 |      593   8350 |        0 |        0
168.77/168.86	c  168s |      22 |  2611642 |  2038022 |      593   8420 |        0 |        0
170.77/170.86	c  170s |      22 |  2638261 |  2059722 |      593   8491 |        0 |        0
172.77/172.87	c  172s |      22 |  2664330 |  2081322 |      593   8562 |        0 |        0
174.77/174.87	c  174s |      22 |  2690564 |  2102722 |      593   8633 |        0 |        0
176.77/176.87	c  176s |      22 |  2716622 |  2124222 |      593   8703 |        0 |        0
178.76/178.88	c  178s |      22 |  2746195 |  2147122 |      593   8779 |        0 |        0
180.76/180.88	c  180s |      22 |  2774805 |  2169122 |      593   8851 |        0 |        0
182.76/182.88	c  182s |      22 |  2802843 |  2191322 |      593   8924 |        0 |        0
184.77/184.89	c  184s |      22 |  2830382 |  2213122 |      593   8996 |        0 |        0
186.76/186.89	c  186s |      22 |  2855925 |  2234422 |      593   9066 |        0 |        0
188.36/188.44	c  188s |      23 |  2876454 |  2251038 |      653   9116 |        0 |        0
190.37/190.44	c  190s |      23 |  2905024 |  2273838 |      653   9184 |        0 |        0
192.36/192.45	c  192s |      23 |  2933307 |  2296438 |      653   9251 |        0 |        0
194.36/194.46	c  194s |      23 |  2962840 |  2319338 |      653   9319 |        0 |        0
196.36/196.46	c  196s |      23 |  2988241 |  2340638 |      653   9383 |        0 |        0
198.35/198.47	c  198s |      23 |  3018190 |  2363938 |      653   9453 |        0 |        0
200.35/200.47	c  200s |      23 |  3048096 |  2387238 |      653   9522 |        0 |        0
202.36/202.48	c  202s |      23 |  3075775 |  2409838 |      653   9590 |        0 |        0
204.35/204.48	c  204s |      23 |  3104821 |  2433038 |      653   9659 |        0 |        0
206.35/206.48	c  206s |      23 |  3132988 |  2455638 |      653   9726 |        0 |        0
208.35/208.49	c  208s |      23 |  3160715 |  2477638 |      653   9792 |        0 |        0
210.35/210.49	c  210s |      23 |  3190864 |  2501138 |      653   9862 |        0 |        0
212.36/212.50	c  212s |      23 |  3218509 |  2523438 |      653   9929 |        0 |        0
214.36/214.50	c  214s |      23 |  3242589 |  2544138 |      653   9990 |        0 |        0
216.46/216.50	c  216s |      23 |  3268234 |  2565738 |      653  10055 |        0 |        0
218.46/218.50	c  218s |      23 |  3292956 |  2586638 |      653  10118 |        0 |        0
220.46/220.51	c  220s |      23 |  3320921 |  2608938 |      653  10184 |        0 |        0
222.46/222.52	c  222s |      23 |  3347829 |  2630638 |      653  10249 |        0 |        0
224.46/224.52	c  224s |      23 |  3373118 |  2651638 |      653  10312 |        0 |        0
226.46/226.53	c  226s |      23 |  3400670 |  2673338 |      653  10377 |        0 |        0
228.46/228.54	c  228s |      23 |  3428140 |  2695438 |      653  10443 |        0 |        0
230.46/230.54	c  230s |      23 |  3456262 |  2717938 |      653  10511 |        0 |        0
232.45/232.55	c  232s |      23 |  3482538 |  2739538 |      653  10576 |        0 |        0
234.45/234.56	c  234s |      23 |  3510158 |  2761738 |      653  10642 |        0 |        0
236.47/236.57	c  236s |      23 |  3539326 |  2784238 |      653  10710 |        0 |        0
238.46/238.57	c  238s |      23 |  3567938 |  2806538 |      653  10776 |        0 |        0
240.46/240.57	c  240s |      23 |  3595082 |  2828338 |      653  10841 |        0 |        0
242.46/242.58	c  242s |      23 |  3620305 |  2849138 |      653  10903 |        0 |        0
244.45/244.58	c  244s |      23 |  3649693 |  2871738 |      653  10971 |        0 |        0
246.46/246.58	c  246s |      23 |  3676836 |  2892738 |      653  11034 |        0 |        0
248.45/248.59	c  248s |      23 |  3703689 |  2914038 |      653  11098 |        0 |        0
250.45/250.59	c  250s |      23 |  3729504 |  2934938 |      653  11161 |        0 |        0
252.45/252.59	c  252s |      23 |  3754359 |  2955038 |      653  11220 |        0 |        0
254.55/254.60	c  254s |      23 |  3779957 |  2975738 |      653  11282 |        0 |        0
256.55/256.60	c  256s |      23 |  3805228 |  2996138 |      653  11343 |        0 |        0
258.55/258.61	c  258s |      23 |  3832401 |  3017238 |      653  11406 |        0 |        0
260.55/260.61	c  260s |      23 |  3857295 |  3037538 |      653  11467 |        0 |        0
262.55/262.61	c  262s |      23 |  3881947 |  3057738 |      653  11527 |        0 |        0
264.55/264.62	c  264s |      23 |  3907383 |  3078338 |      653  11589 |        0 |        0
266.55/266.62	c  266s |      23 |  3931765 |  3098938 |      653  11650 |        0 |        0
268.55/268.63	c  268s |      23 |  3956837 |  3119938 |      653  11713 |        0 |        0
270.55/270.63	c  270s |      23 |  3980935 |  3140538 |      653  11775 |        0 |        0
272.54/272.64	c  272s |      23 |  4007510 |  3162438 |      653  11840 |        0 |        0
274.54/274.64	c  274s |      23 |  4033461 |  3183938 |      653  11905 |        0 |        0
276.54/276.65	c  276s |      23 |  4060637 |  3205738 |      653  11970 |        0 |        0
278.54/278.66	c  278s |      23 |  4087877 |  3227938 |      653  12037 |        0 |        0
280.55/280.66	c  280s |      23 |  4116440 |  3250938 |      653  12106 |        0 |        0
282.55/282.67	c  282s |      23 |  4142905 |  3272738 |      653  12171 |        0 |        0
284.55/284.68	c  284s |      23 |  4169234 |  3294638 |      653  12237 |        0 |        0
286.55/286.68	c  286s |      23 |  4196363 |  3316638 |      653  12303 |        0 |        0
288.55/288.68	c  288s |      23 |  4222747 |  3338438 |      653  12368 |        0 |        0
290.55/290.69	c  290s |      23 |  4249515 |  3360538 |      719  12432 |        0 |        0
292.05/292.15	c  292s |      24 |  4269199 |  3376662 |      719  12476 |        0 |        0
294.05/294.15	c  294s |      24 |  4296501 |  3398362 |      719  12535 |        0 |        0
296.05/296.16	c  296s |      24 |  4324512 |  3420362 |      719  12595 |        0 |        0
298.05/298.17	c  298s |      24 |  4350826 |  3441962 |      719  12654 |        0 |        0
300.04/300.17	c  300s |      24 |  4379782 |  3464362 |      719  12714 |        0 |        0
302.04/302.17	c  302s |      24 |  4411502 |  3487862 |      719  12779 |        0 |        0
304.05/304.18	c  304s |      24 |  4441996 |  3511362 |      719  12843 |        0 |        0
306.05/306.18	c  306s |      24 |  4470187 |  3533862 |      719  12904 |        0 |        0
308.05/308.19	c  308s |      24 |  4497451 |  3555962 |      719  12964 |        0 |        0
310.04/310.20	c  310s |      24 |  4524887 |  3578162 |      719  13025 |        0 |        0
312.14/312.21	c  312s |      24 |  4553284 |  3600262 |      719  13085 |        0 |        0
314.14/314.21	c  314s |      24 |  4583465 |  3623462 |      719  13149 |        0 |        0
316.14/316.21	c  316s |      24 |  4612261 |  3646262 |      719  13211 |        0 |        0
318.14/318.22	c  318s |      24 |  4640196 |  3668462 |      719  13271 |        0 |        0
320.15/320.22	c  320s |      24 |  4669223 |  3691362 |      719  13334 |        0 |        0
322.14/322.22	c  322s |      24 |  4699013 |  3714762 |      719  13398 |        0 |        0
324.14/324.23	c  324s |      24 |  4727848 |  3737662 |      719  13461 |        0 |        0
326.14/326.23	c  326s |      24 |  4754901 |  3759762 |      719  13521 |        0 |        0
328.14/328.24	c  328s |      24 |  4781404 |  3781762 |      719  13581 |        0 |        0
330.13/330.24	c  330s |      24 |  4810379 |  3804662 |      719  13644 |        0 |        0
332.14/332.25	c  332s |      24 |  4838965 |  3826962 |      719  13704 |        0 |        0
334.13/334.25	c  334s |      24 |  4866537 |  3849362 |      719  13766 |        0 |        0
336.13/336.25	c  336s |      24 |  4896211 |  3872262 |      719  13828 |        0 |        0
338.14/338.26	c  338s |      24 |  4926539 |  3895562 |      719  13892 |        0 |        0
340.14/340.26	c  340s |      24 |  4953682 |  3917562 |      719  13952 |        0 |        0
342.15/342.26	c  342s |      24 |  4981918 |  3939962 |      719  14014 |        0 |        0
344.14/344.27	c  344s |      24 |  5008261 |  3961262 |      719  14072 |        0 |        0
346.14/346.27	c  346s |      24 |  5036295 |  3983162 |      719  14131 |        0 |        0
348.14/348.27	c  348s |      24 |  5064163 |  4005262 |      719  14192 |        0 |        0
350.13/350.27	c  350s |      24 |  5091721 |  4027262 |      719  14252 |        0 |        0
352.13/352.27	c  352s |      24 |  5119176 |  4048762 |      719  14311 |        0 |        0
354.14/354.28	c  354s |      24 |  5142641 |  4068762 |      719  14366 |        0 |        0
356.13/356.28	c  356s |      24 |  5169703 |  4090562 |      719  14425 |        0 |        0
358.13/358.28	c  358s |      24 |  5195511 |  4111862 |      719  14483 |        0 |        0
360.13/360.29	c  360s |      24 |  5224000 |  4133762 |      719  14543 |        0 |        0
362.23/362.30	c  362s |      24 |  5250673 |  4154762 |      719  14601 |        0 |        0
364.23/364.30	c  364s |      24 |  5277757 |  4176262 |      719  14659 |        0 |        0
366.23/366.30	c  366s |      24 |  5301852 |  4196362 |      719  14714 |        0 |        0
368.23/368.31	c  368s |      24 |  5327880 |  4217362 |      719  14772 |        0 |        0
370.23/370.32	c  370s |      24 |  5352976 |  4237762 |      719  14827 |        0 |        0
372.23/372.32	c  372s |      24 |  5376018 |  4257162 |      719  14881 |        0 |        0
374.23/374.33	c  374s |      24 |  5400836 |  4277462 |      719  14936 |        0 |        0
376.23/376.34	c  376s |      24 |  5425179 |  4297562 |      719  14991 |        0 |        0
378.22/378.34	c  378s |      24 |  5449418 |  4317962 |      719  15046 |        0 |        0
380.22/380.35	c  380s |      24 |  5475294 |  4338862 |      719  15103 |        0 |        0
382.22/382.37	c  382s |      24 |  5500085 |  4359562 |      719  15160 |        0 |        0
384.22/384.37	c  384s |      24 |  5523224 |  4379262 |      719  15213 |        0 |        0
386.22/386.38	c  386s |      24 |  5545289 |  4398362 |      719  15265 |        0 |        0
388.23/388.38	c  388s |      24 |  5569115 |  4418562 |      719  15320 |        0 |        0
390.22/390.38	c  390s |      24 |  5595369 |  4439762 |      719  15379 |        0 |        0
392.23/392.39	c  392s |      24 |  5620893 |  4460462 |      719  15435 |        0 |        0
394.33/394.40	c  394s |      24 |  5645333 |  4480662 |      719  15490 |        0 |        0
396.32/396.40	c  396s |      24 |  5670289 |  4501262 |      719  15547 |        0 |        0
398.32/398.41	c  398s |      24 |  5695519 |  4522362 |      719  15604 |        0 |        0
400.33/400.41	c  400s |      24 |  5719326 |  4542462 |      719  15659 |        0 |        0
402.32/402.42	c  402s |      24 |  5743467 |  4562562 |      719  15713 |        0 |        0
404.32/404.42	c  404s |      24 |  5764922 |  4581362 |      719  15765 |        0 |        0
406.32/406.43	c  406s |      24 |  5789284 |  4601462 |      719  15820 |        0 |        0
408.32/408.44	c  408s |      24 |  5812694 |  4621162 |      719  15873 |        0 |        0
410.33/410.44	c  410s |      24 |  5836076 |  4640862 |      719  15927 |        0 |        0
412.32/412.44	c  412s |      24 |  5862392 |  4662262 |      719  15986 |        0 |        0
414.31/414.44	c  414s |      24 |  5888709 |  4683062 |      719  16043 |        0 |        0
416.31/416.45	c  416s |      24 |  5915389 |  4703962 |      719  16100 |        0 |        0
418.31/418.45	c  418s |      24 |  5941625 |  4724662 |      719  16157 |        0 |        0
420.31/420.46	c  420s |      24 |  5967567 |  4745462 |      719  16214 |        0 |        0
422.32/422.47	c  422s |      24 |  5990693 |  4765562 |      719  16268 |        0 |        0
424.32/424.48	c  424s |      24 |  6014983 |  4785662 |      719  16323 |        0 |        0
426.31/426.48	c  426s |      24 |  6039464 |  4805862 |      719  16379 |        0 |        0
428.31/428.49	c  428s |      24 |  6064762 |  4826662 |      719  16436 |        0 |        0
430.31/430.49	c  430s |      24 |  6091315 |  4847762 |      719  16493 |        0 |        0
432.32/432.49	c  432s |      24 |  6117287 |  4868862 |      719  16551 |        0 |        0
434.31/434.49	c  434s |      24 |  6140232 |  4888662 |      719  16605 |        0 |        0
436.41/436.50	c  436s |      24 |  6162535 |  4907862 |      719  16657 |        0 |        0
438.40/438.50	c  438s |      24 |  6187995 |  4928662 |      719  16714 |        0 |        0
440.40/440.51	c  440s |      24 |  6211461 |  4948562 |      719  16768 |        0 |        0
442.41/442.51	c  442s |      24 |  6235783 |  4968762 |      719  16824 |        0 |        0
444.42/444.51	c  444s |      24 |  6260014 |  4988762 |      719  16878 |        0 |        0
446.41/446.52	c  446s |      24 |  6283594 |  5008662 |      719  16932 |        0 |        0
448.41/448.52	c  448s |      24 |  6309221 |  5029262 |      791  16989 |        0 |        0
450.41/450.52	c  450s |      24 |  6334863 |  5049462 |      791  17039 |        0 |        0
451.91/452.06	c  452s |      25 |  6355077 |  5065098 |      791  17078 |        0 |        0
453.91/454.06	c  454s |      25 |  6378994 |  5084598 |      791  17126 |        0 |        0
455.91/456.06	c  456s |      25 |  6405442 |  5104998 |      791  17176 |        0 |        0
457.91/458.07	c  458s |      25 |  6434914 |  5126498 |      791  17230 |        0 |        0
459.90/460.07	c  460s |      25 |  6463457 |  5147798 |      791  17283 |        0 |        0
461.91/462.08	c  462s |      25 |  6492960 |  5169498 |      791  17337 |        0 |        0
463.90/464.08	c  464s |      25 |  6519139 |  5190298 |      791  17388 |        0 |        0
465.90/466.08	c  466s |      25 |  6543818 |  5210298 |      791  17438 |        0 |        0
467.90/468.08	c  468s |      25 |  6569879 |  5231098 |      791  17490 |        0 |        0
469.89/470.09	c  470s |      25 |  6595351 |  5251098 |      791  17539 |        0 |        0
471.90/472.09	c  472s |      25 |  6620930 |  5271198 |      791  17589 |        0 |        0
474.01/474.10	c  474s |      25 |  6647627 |  5291898 |      791  17640 |        0 |        0
475.99/476.11	c  476s |      25 |  6672870 |  5312198 |      791  17691 |        0 |        0
477.99/478.12	c  478s |      25 |  6699377 |  5332398 |      791  17741 |        0 |        0
479.99/480.12	c  480s |      25 |  6726629 |  5353098 |      791  17792 |        0 |        0
481.99/482.13	c  482s |      25 |  6751779 |  5373298 |      791  17843 |        0 |        0
484.00/484.14	c  484s |      25 |  6780242 |  5394198 |      791  17895 |        0 |        0
485.99/486.14	c  486s |      25 |  6806571 |  5414498 |      791  17945 |        0 |        0
487.99/488.15	c  488s |      25 |  6833442 |  5435698 |      791  17998 |        0 |        0
489.99/490.16	c  490s |      25 |  6859443 |  5456298 |      791  18049 |        0 |        0
491.98/492.16	c  492s |      25 |  6884931 |  5476798 |      791  18100 |        0 |        0
493.98/494.17	c  494s |      25 |  6908649 |  5496398 |      791  18148 |        0 |        0
495.98/496.17	c  496s |      25 |  6931736 |  5515698 |      791  18196 |        0 |        0
497.98/498.17	c  498s |      25 |  6959855 |  5537298 |      791  18250 |        0 |        0
499.98/500.18	c  500s |      25 |  6985090 |  5557898 |      791  18301 |        0 |        0
501.98/502.19	c  502s |      25 |  7010554 |  5578598 |      791  18352 |        0 |        0
503.98/504.19	c  504s |      25 |  7036881 |  5599198 |      791  18404 |        0 |        0
505.98/506.19	c  506s |      25 |  7063408 |  5619998 |      791  18455 |        0 |        0
507.98/508.20	c  508s |      25 |  7090191 |  5641098 |      791  18508 |        0 |        0
510.07/510.20	c  510s |      25 |  7113935 |  5660598 |      791  18556 |        0 |        0
512.07/512.21	c  512s |      25 |  7138437 |  5680298 |      791  18605 |        0 |        0
514.07/514.22	c  514s |      25 |  7162513 |  5700198 |      791  18655 |        0 |        0
516.07/516.22	c  516s |      25 |  7188242 |  5720198 |      791  18704 |        0 |        0
518.08/518.23	c  518s |      25 |  7214214 |  5740598 |      791  18755 |        0 |        0
520.07/520.23	c  520s |      25 |  7240311 |  5761198 |      791  18806 |        0 |        0
522.07/522.24	c  522s |      25 |  7267226 |  5782298 |      791  18859 |        0 |        0
524.07/524.24	c  524s |      25 |  7293667 |  5802898 |      791  18910 |        0 |        0
526.06/526.24	c  526s |      25 |  7316996 |  5821798 |      791  18957 |        0 |        0
528.07/528.25	c  528s |      25 |  7346137 |  5842798 |      791  19010 |        0 |        0
530.08/530.25	c  530s |      25 |  7375569 |  5863898 |      791  19062 |        0 |        0
532.07/532.26	c  532s |      25 |  7402485 |  5884898 |      791  19114 |        0 |        0
534.07/534.27	c  534s |      25 |  7430276 |  5906398 |      791  19168 |        0 |        0
536.06/536.28	c  536s |      25 |  7457909 |  5927898 |      791  19221 |        0 |        0
538.06/538.28	c  538s |      25 |  7483478 |  5948398 |      791  19272 |        0 |        0
540.07/540.29	c  540s |      25 |  7509029 |  5968398 |      791  19322 |        0 |        0
542.06/542.29	c  542s |      25 |  7534573 |  5988698 |      791  19372 |        0 |        0
544.06/544.30	c  544s |      25 |  7560315 |  6008998 |      791  19423 |        0 |        0
546.16/546.30	c  546s |      25 |  7587261 |  6029698 |      791  19475 |        0 |        0
548.16/548.30	c  548s |      25 |  7613496 |  6050598 |      791  19527 |        0 |        0
550.16/550.31	c  550s |      25 |  7641271 |  6072198 |      791  19581 |        0 |        0
552.16/552.31	c  552s |      25 |  7669800 |  6094298 |      791  19636 |        0 |        0
554.15/554.32	c  554s |      25 |  7700740 |  6117098 |      791  19693 |        0 |        0
556.15/556.32	c  556s |      25 |  7726948 |  6137798 |      791  19745 |        0 |        0
558.15/558.32	c  558s |      25 |  7752447 |  6158298 |      791  19796 |        0 |        0
560.15/560.32	c  560s |      25 |  7780807 |  6179598 |      791  19849 |        0 |        0
562.15/562.33	c  562s |      25 |  7806378 |  6199498 |      791  19898 |        0 |        0
564.15/564.33	c  564s |      25 |  7834742 |  6219798 |      791  19949 |        0 |        0
566.14/566.34	c  566s |      25 |  7863298 |  6240598 |      791  20000 |        0 |        0
568.14/568.35	c  568s |      25 |  7885694 |  6259298 |      791  20047 |        0 |        0
570.14/570.35	c  570s |      25 |  7910967 |  6279598 |      791  20097 |        0 |        0
572.14/572.35	c  572s |      25 |  7940665 |  6301298 |      791  20151 |        0 |        0
574.15/574.35	c  574s |      25 |  7966097 |  6321898 |      791  20202 |        0 |        0
576.13/576.36	c  576s |      25 |  7993175 |  6343298 |      791  20255 |        0 |        0
578.13/578.36	c  578s |      25 |  8021754 |  6365398 |      791  20310 |        0 |        0
580.13/580.37	c  580s |      25 |  8048596 |  6386698 |      791  20363 |        0 |        0
582.14/582.37	c  582s |      25 |  8075130 |  6407298 |      791  20414 |        0 |        0
584.14/584.38	c  584s |      25 |  8101580 |  6427998 |      791  20466 |        0 |        0
586.14/586.39	c  586s |      25 |  8129788 |  6449398 |      791  20519 |        0 |        0
588.14/588.39	c  588s |      25 |  8159414 |  6471298 |      791  20574 |        0 |        0
590.24/590.40	c  590s |      25 |  8187844 |  6493498 |      791  20629 |        0 |        0
592.24/592.40	c  592s |      25 |  8216045 |  6514898 |      791  20683 |        0 |        0
594.23/594.41	c  594s |      25 |  8243391 |  6536598 |      791  20737 |        0 |        0
596.23/596.41	c  596s |      25 |  8271993 |  6557998 |      791  20790 |        0 |        0
598.23/598.42	c  598s |      25 |  8301393 |  6580098 |      791  20845 |        0 |        0
600.23/600.42	c  600s |      25 |  8329068 |  6601698 |      791  20899 |        0 |        0
602.22/602.43	c  602s |      25 |  8357436 |  6623598 |      791  20954 |        0 |        0
604.22/604.43	c  604s |      25 |  8383831 |  6644598 |      791  21006 |        0 |        0
606.22/606.43	c  606s |      25 |  8409921 |  6665198 |      791  21057 |        0 |        0
608.24/608.44	c  608s |      25 |  8435947 |  6685598 |      791  21108 |        0 |        0
610.23/610.44	c  610s |      25 |  8461179 |  6705998 |      791  21159 |        0 |        0
612.23/612.45	c  612s |      25 |  8490239 |  6727298 |      791  21212 |        0 |        0
614.23/614.45	c  614s |      25 |  8516412 |  6747798 |      791  21262 |        0 |        0
616.22/616.45	c  616s |      25 |  8540835 |  6767498 |      791  21311 |        0 |        0
618.22/618.46	c  618s |      25 |  8568141 |  6788598 |      791  21363 |        0 |        0
620.23/620.47	c  620s |      25 |  8594103 |  6809098 |      791  21414 |        0 |        0
622.22/622.47	c  622s |      25 |  8618993 |  6828598 |      791  21463 |        0 |        0
624.22/624.47	c  624s |      25 |  8641699 |  6847498 |      791  21509 |        0 |        0
626.21/626.47	c  626s |      25 |  8665644 |  6866998 |      791  21558 |        0 |        0
628.21/628.48	c  628s |      25 |  8687813 |  6885698 |      791  21605 |        0 |        0
630.22/630.48	c  630s |      25 |  8709191 |  6903898 |      791  21650 |        0 |        0
632.21/632.48	c  632s |      25 |  8732080 |  6922698 |      791  21697 |        0 |        0
634.21/634.48	c  634s |      25 |  8756471 |  6942398 |      791  21746 |        0 |        0
636.20/636.48	c  636s |      25 |  8781622 |  6962398 |      791  21796 |        0 |        0
638.20/638.49	c  638s |      25 |  8804584 |  6981498 |      791  21843 |        0 |        0
640.20/640.49	c  640s |      25 |  8827413 |  7000398 |      791  21891 |        0 |        0
642.21/642.50	c  642s |      25 |  8849753 |  7019198 |      791  21938 |        0 |        0
644.30/644.50	c  644s |      25 |  8872336 |  7038198 |      791  21985 |        0 |        0
646.30/646.51	c  646s |      25 |  8892643 |  7056198 |      791  22030 |        0 |        0
648.30/648.51	c  648s |      25 |  8915440 |  7075198 |      791  22077 |        0 |        0
650.29/650.52	c  650s |      25 |  8939885 |  7094898 |      791  22127 |        0 |        0
652.29/652.52	c  652s |      25 |  8963726 |  7114498 |      791  22176 |        0 |        0
654.30/654.52	c  654s |      25 |  8987998 |  7134398 |      791  22225 |        0 |        0
656.29/656.52	c  656s |      25 |  9010881 |  7153598 |      791  22273 |        0 |        0
658.29/658.53	c  658s |      25 |  9034720 |  7172698 |      791  22321 |        0 |        0
660.29/660.53	c  660s |      25 |  9059726 |  7192498 |      791  22370 |        0 |        0
662.29/662.54	c  662s |      25 |  9084132 |  7212198 |      791  22419 |        0 |        0
664.30/664.55	c  664s |      25 |  9107658 |  7231798 |      791  22468 |        0 |        0
666.29/666.56	c  666s |      25 |  9132418 |  7251898 |      791  22518 |        0 |        0
668.29/668.56	c  668s |      25 |  9157318 |  7271998 |      791  22568 |        0 |        0
670.29/670.56	c  670s |      25 |  9180566 |  7291198 |      791  22616 |        0 |        0
672.28/672.56	c  672s |      25 |  9204221 |  7310698 |      791  22664 |        0 |        0
674.28/674.57	c  674s |      25 |  9231902 |  7332098 |      791  22718 |        0 |        0
676.28/676.57	c  676s |      25 |  9256224 |  7351998 |      791  22767 |        0 |        0
678.28/678.57	c  678s |      25 |  9282003 |  7372598 |      791  22819 |        0 |        0
680.28/680.57	c  680s |      25 |  9308505 |  7393198 |      791  22870 |        0 |        0
682.28/682.58	c  682s |      25 |  9333272 |  7412998 |      791  22920 |        0 |        0
684.28/684.58	c  684s |      25 |  9359990 |  7433798 |      791  22972 |        0 |        0
686.28/686.59	c  686s |      25 |  9386774 |  7454498 |      791  23023 |        0 |        0
688.27/688.59	c  688s |      25 |  9410546 |  7473798 |      791  23072 |        0 |        0
690.37/690.60	c  690s |      25 |  9434861 |  7493498 |      791  23121 |        0 |        0
692.38/692.60	c  692s |      25 |  9458815 |  7512798 |      791  23169 |        0 |        0
694.37/694.60	c  694s |      25 |  9483049 |  7532298 |      791  23218 |        0 |        0
696.37/696.60	c  696s |      25 |  9508944 |  7552498 |      871  23266 |        0 |        0
698.27/698.60	c  698s |      25 |  9535213 |  7572898 |      871  23312 |        0 |        0
700.37/700.60	c  700s |      25 |  9560998 |  7593098 |      871  23358 |        0 |        0
700.77/701.05	c  701s |      26 |  9567057 |  7597752 |      871  23369 |        0 |        0
702.77/703.06	c  703s |      26 |  9591878 |  7617052 |      871  23412 |        0 |        0
704.77/705.06	c  705s |      26 |  9615880 |  7636252 |      871  23455 |        0 |        0
706.76/707.06	c  707s |      26 |  9640703 |  7655652 |      871  23498 |        0 |        0
708.76/709.06	c  709s |      26 |  9663217 |  7674352 |      871  23540 |        0 |        0
710.76/711.07	c  711s |      26 |  9686542 |  7693352 |      871  23583 |        0 |        0
712.76/713.07	c  713s |      26 |  9708654 |  7711652 |      871  23624 |        0 |        0
714.77/715.08	c  715s |      26 |  9729600 |  7729152 |      871  23663 |        0 |        0
716.75/717.08	c  717s |      26 |  9750463 |  7746852 |      871  23703 |        0 |        0
718.75/719.08	c  719s |      26 |  9776193 |  7766852 |      871  23748 |        0 |        0
720.75/721.09	c  721s |      26 |  9799186 |  7785752 |      871  23790 |        0 |        0
722.85/723.10	c  723s |      26 |  9822095 |  7804552 |      871  23833 |        0 |        0
724.85/725.10	c  725s |      26 |  9847238 |  7824552 |      871  23878 |        0 |        0
726.85/727.10	c  727s |      26 |  9871949 |  7844052 |      871  23921 |        0 |        0
728.85/729.11	c  729s |      26 |  9898273 |  7864752 |      871  23968 |        0 |        0
730.85/731.11	c  731s |      26 |  9922819 |  7884252 |      871  24012 |        0 |        0
732.85/733.12	c  733s |      26 |  9947773 |  7904152 |      871  24056 |        0 |        0
734.85/735.13	c  735s |      26 |  9973651 |  7924752 |      871  24103 |        0 |        0
736.85/737.13	c  737s |      26 |  9999264 |  7944952 |      871  24148 |        0 |        0
738.84/739.14	c  739s |      26 | 10022641 |  7964252 |      871  24192 |        0 |        0
740.84/741.15	c  741s |      26 | 10046747 |  7983552 |      871  24235 |        0 |        0
742.84/743.15	c  743s |      26 | 10071128 |  8002652 |      871  24278 |        0 |        0
744.84/745.15	c  745s |      26 | 10096648 |  8022652 |      871  24323 |        0 |        0
746.83/747.17	c  747s |      26 | 10117610 |  8040352 |      871  24363 |        0 |        0
748.84/749.17	c  749s |      26 | 10141908 |  8059952 |      871  24408 |        0 |        0
750.83/751.18	c  751s |      26 | 10165133 |  8079152 |      871  24451 |        0 |        0
752.83/753.18	c  753s |      26 | 10188609 |  8098252 |      871  24494 |        0 |        0
754.83/755.18	c  755s |      26 | 10210540 |  8116852 |      871  24537 |        0 |        0
756.84/757.19	c  757s |      26 | 10232963 |  8135452 |      871  24579 |        0 |        0
758.93/759.20	c  759s |      26 | 10256006 |  8154652 |      871  24622 |        0 |        0
760.83/761.20	c  761s |      26 | 10278066 |  8173152 |      871  24664 |        0 |        0
762.93/763.21	c  763s |      26 | 10299521 |  8191552 |      871  24705 |        0 |        0
764.93/765.22	c  765s |      26 | 10322304 |  8210652 |      871  24748 |        0 |        0
766.93/767.22	c  767s |      26 | 10344819 |  8229152 |      871  24790 |        0 |        0
768.93/769.23	c  769s |      26 | 10370690 |  8249552 |      871  24836 |        0 |        0
770.93/771.23	c  771s |      26 | 10396184 |  8269552 |      871  24881 |        0 |        0
772.93/773.24	c  773s |      26 | 10420104 |  8288852 |      871  24924 |        0 |        0
774.93/775.24	c  775s |      26 | 10444427 |  8308152 |      871  24968 |        0 |        0
776.92/777.25	c  777s |      26 | 10468478 |  8327452 |      871  25012 |        0 |        0
778.92/779.25	c  779s |      26 | 10490301 |  8345652 |      871  25053 |        0 |        0
780.92/781.26	c  781s |      26 | 10512725 |  8364452 |      871  25096 |        0 |        0
782.93/783.27	c  783s |      26 | 10535064 |  8383352 |      871  25139 |        0 |        0
784.92/785.27	c  785s |      26 | 10559221 |  8403452 |      871  25184 |        0 |        0
786.91/787.28	c  787s |      26 | 10582211 |  8422752 |      871  25228 |        0 |        0
788.91/789.28	c  789s |      26 | 10604665 |  8441452 |      871  25270 |        0 |        0
790.92/791.29	c  791s |      26 | 10626033 |  8459652 |      871  25311 |        0 |        0
792.93/793.29	c  793s |      26 | 10647558 |  8478152 |      871  25352 |        0 |        0
794.92/795.29	c  795s |      26 | 10670448 |  8497052 |      871  25395 |        0 |        0
797.01/797.30	c  797s |      26 | 10691866 |  8515152 |      871  25436 |        0 |        0
799.01/799.30	c  799s |      26 | 10712796 |  8533052 |      871  25476 |        0 |        0
801.01/801.31	c  801s |      26 | 10732963 |  8550252 |      871  25515 |        0 |        0
803.01/803.31	c  803s |      26 | 10754766 |  8568352 |      871  25557 |        0 |        0
805.01/805.32	c  805s |      26 | 10775702 |  8585952 |      871  25597 |        0 |        0
807.00/807.32	c  807s |      26 | 10795548 |  8603052 |      871  25635 |        0 |        0
809.00/809.33	c  809s |      26 | 10816628 |  8620552 |      871  25674 |        0 |        0
811.00/811.34	c  811s |      26 | 10835422 |  8636752 |      871  25710 |        0 |        0
813.00/813.35	c  813s |      26 | 10853775 |  8652952 |      871  25747 |        0 |        0
815.00/815.35	c  815s |      26 | 10873723 |  8669952 |      871  25785 |        0 |        0
817.00/817.36	c  817s |      26 | 10894641 |  8687752 |      871  25825 |        0 |        0
818.99/819.37	c  819s |      26 | 10914401 |  8705052 |      871  25864 |        0 |        0
820.99/821.38	c  821s |      26 | 10932633 |  8721352 |      871  25901 |        0 |        0
822.99/823.38	c  823s |      26 | 10954080 |  8739052 |      871  25940 |        0 |        0
824.99/825.39	c  825s |      26 | 10974697 |  8756452 |      871  25979 |        0 |        0
827.00/827.40	c  827s |      26 | 10996971 |  8775052 |      871  26021 |        0 |        0
829.10/829.41	c  829s |      26 | 11017086 |  8792452 |      871  26060 |        0 |        0
831.09/831.41	c  831s |      26 | 11037229 |  8809952 |      871  26100 |        0 |        0
833.09/833.42	c  833s |      26 | 11057595 |  8827752 |      871  26140 |        0 |        0
835.08/835.42	c  835s |      26 | 11079569 |  8846352 |      871  26182 |        0 |        0
837.08/837.43	c  837s |      26 | 11099784 |  8863752 |      871  26221 |        0 |        0
839.09/839.44	c  839s |      26 | 11119396 |  8880952 |      871  26259 |        0 |        0
841.08/841.45	c  841s |      26 | 11139333 |  8898252 |      871  26298 |        0 |        0
843.08/843.46	c  843s |      26 | 11160735 |  8916252 |      871  26339 |        0 |        0
845.07/845.47	c  845s |      26 | 11181993 |  8934052 |      871  26379 |        0 |        0
847.07/847.48	c  847s |      26 | 11203236 |  8951952 |      871  26419 |        0 |        0
849.08/849.48	c  849s |      26 | 11224599 |  8970352 |      871  26461 |        0 |        0
851.09/851.49	c  851s |      26 | 11247196 |  8989052 |      871  26503 |        0 |        0
853.08/853.49	c  853s |      26 | 11269643 |  9008152 |      871  26546 |        0 |        0
855.17/855.50	c  855s |      26 | 11291197 |  9026752 |      871  26588 |        0 |        0
857.17/857.50	c  857s |      26 | 11311374 |  9044352 |      871  26628 |        0 |        0
859.17/859.51	c  859s |      26 | 11331996 |  9062252 |      871  26668 |        0 |        0
861.17/861.51	c  861s |      26 | 11355300 |  9081152 |      871  26711 |        0 |        0
863.18/863.52	c  863s |      26 | 11378260 |  9099452 |      871  26752 |        0 |        0
865.17/865.52	c  865s |      26 | 11402246 |  9118352 |      871  26795 |        0 |        0
867.17/867.53	c  867s |      26 | 11426616 |  9137452 |      871  26838 |        0 |        0
869.17/869.54	c  869s |      26 | 11449057 |  9155552 |      871  26879 |        0 |        0
871.17/871.55	c  871s |      26 | 11473365 |  9174252 |      871  26921 |        0 |        0
873.17/873.55	c  873s |      26 | 11493680 |  9191652 |      871  26960 |        0 |        0
875.16/875.56	c  875s |      26 | 11513987 |  9209052 |      871  27000 |        0 |        0
877.16/877.57	c  877s |      26 | 11536014 |  9227252 |      871  27041 |        0 |        0
879.16/879.58	c  879s |      26 | 11556697 |  9244752 |      871  27080 |        0 |        0
881.16/881.58	c  881s |      26 | 11578605 |  9262752 |      871  27121 |        0 |        0
883.15/883.59	c  883s |      26 | 11599564 |  9280152 |      871  27160 |        0 |        0
885.16/885.60	c  885s |      26 | 11619887 |  9297252 |      871  27198 |        0 |        0
887.25/887.60	c  887s |      26 | 11641952 |  9314852 |      871  27238 |        0 |        0
889.25/889.61	c  889s |      26 | 11662205 |  9331752 |      871  27276 |        0 |        0
891.25/891.61	c  891s |      26 | 11682332 |  9348752 |      871  27314 |        0 |        0
893.25/893.62	c  893s |      26 | 11703123 |  9366452 |      871  27354 |        0 |        0
895.24/895.62	c  895s |      26 | 11724587 |  9383952 |      871  27393 |        0 |        0
897.25/897.63	c  897s |      26 | 11747444 |  9402352 |      871  27434 |        0 |        0
899.24/899.64	c  899s |      26 | 11769875 |  9420752 |      871  27476 |        0 |        0
901.24/901.65	c  901s |      26 | 11793090 |  9439852 |      871  27519 |        0 |        0
903.25/903.66	c  903s |      26 | 11814058 |  9457652 |      871  27559 |        0 |        0
905.24/905.66	c  905s |      26 | 11835502 |  9475452 |      871  27599 |        0 |        0
907.25/907.67	c  907s |      26 | 11856326 |  9492952 |      871  27638 |        0 |        0
909.24/909.68	c  909s |      26 | 11877180 |  9510652 |      871  27678 |        0 |        0
911.24/911.69	c  911s |      26 | 11896558 |  9527652 |      871  27717 |        0 |        0
913.34/913.70	c  913s |      26 | 11917193 |  9544952 |      871  27756 |        0 |        0
915.33/915.70	c  915s |      26 | 11936690 |  9562252 |      871  27795 |        0 |        0
917.33/917.71	c  917s |      26 | 11958525 |  9580852 |      871  27837 |        0 |        0
919.34/919.72	c  919s |      26 | 11981622 |  9599552 |      871  27879 |        0 |        0
921.33/921.72	c  921s |      26 | 12003789 |  9617752 |      871  27919 |        0 |        0
923.33/923.73	c  923s |      26 | 12024743 |  9635852 |      871  27960 |        0 |        0
925.32/925.73	c  925s |      26 | 12045776 |  9653552 |      871  28000 |        0 |        0
927.32/927.73	c  927s |      26 | 12068450 |  9672252 |      871  28042 |        0 |        0
929.32/929.74	c  929s |      26 | 12089345 |  9689752 |      871  28081 |        0 |        0
931.33/931.75	c  931s |      26 | 12108801 |  9706352 |      871  28119 |        0 |        0
933.32/933.75	c  933s |      26 | 12128537 |  9723152 |      871  28157 |        0 |        0
935.31/935.76	c  935s |      26 | 12150741 |  9741152 |      871  28197 |        0 |        0
937.32/937.76	c  937s |      26 | 12171967 |  9758752 |      871  28237 |        0 |        0
939.32/939.77	c  939s |      26 | 12193200 |  9776852 |      871  28278 |        0 |        0
941.33/941.77	c  941s |      26 | 12215167 |  9795352 |      871  28320 |        0 |        0
943.32/943.78	c  943s |      26 | 12237724 |  9814152 |      871  28362 |        0 |        0
945.32/945.78	c  945s |      26 | 12259419 |  9832452 |      871  28404 |        0 |        0
947.32/947.79	c  947s |      26 | 12281917 |  9850652 |      871  28444 |        0 |        0
949.42/949.80	c  949s |      26 | 12302349 |  9867752 |      871  28483 |        0 |        0
951.41/951.81	c  951s |      26 | 12323375 |  9884952 |      871  28521 |        0 |        0
953.42/953.81	c  953s |      26 | 12347074 |  9903452 |      871  28563 |        0 |        0
955.41/955.82	c  955s |      26 | 12368891 |  9921252 |      871  28603 |        0 |        0
957.41/957.82	c  957s |      26 | 12388433 |  9938252 |      871  28641 |        0 |        0
959.41/959.83	c  959s |      26 | 12409807 |  9956252 |      871  28681 |        0 |        0
961.40/961.84	c  961s |      26 | 12432346 |  9974852 |      871  28723 |        0 |        0
963.40/963.84	c  963s |      26 | 12454053 |  9992652 |      871  28763 |        0 |        0
965.41/965.85	c  965s |      26 | 12474258 | 10009852 |      871  28802 |        0 |        0
967.40/967.86	c  967s |      26 | 12495078 | 10027552 |      871  28842 |        0 |        0
969.40/969.86	c  969s |      26 | 12515336 | 10044852 |      871  28881 |        0 |        0
971.40/971.87	c  971s |      26 | 12537873 | 10063352 |      871  28923 |        0 |        0
973.40/973.88	c  973s |      26 | 12560505 | 10081952 |      871  28965 |        0 |        0
975.40/975.89	c  975s |      26 | 12583722 | 10100552 |      871  29007 |        0 |        0
977.39/977.89	c  977s |      26 | 12603064 | 10117252 |      871  29045 |        0 |        0
979.49/979.90	c  979s |      26 | 12624866 | 10135152 |      871  29085 |        0 |        0
981.50/981.90	c  981s |      26 | 12647601 | 10153352 |      871  29127 |        0 |        0
983.50/983.91	c  983s |      26 | 12669170 | 10171252 |      871  29167 |        0 |        0
985.49/985.91	c  985s |      26 | 12690735 | 10189252 |      871  29208 |        0 |        0
987.50/987.91	c  987s |      26 | 12712650 | 10207352 |      871  29249 |        0 |        0
989.49/989.92	c  989s |      26 | 12734364 | 10225252 |      871  29289 |        0 |        0
991.49/991.93	c  991s |      26 | 12756141 | 10243352 |      871  29330 |        0 |        0
993.49/993.93	c  993s |      26 | 12777835 | 10261652 |      871  29371 |        0 |        0
995.48/995.94	c  995s |      26 | 12799280 | 10279552 |      871  29411 |        0 |        0
997.48/997.95	c  997s |      26 | 12823053 | 10298552 |      871  29454 |        0 |        0
999.49/999.96	c  999s |      26 | 12844366 | 10316352 |      871  29494 |        0 |        0
1001.48/1001.97	c 1001s |      26 | 12866313 | 10334352 |      871  29534 |        0 |        0
1003.48/1003.97	c 1003s |      26 | 12886780 | 10351552 |      871  29573 |        0 |        0
1005.48/1005.97	c 1005s |      26 | 12906904 | 10368552 |      871  29611 |        0 |        0
1007.48/1007.97	c 1007s |      26 | 12926372 | 10385052 |      871  29648 |        0 |        0
1009.48/1009.97	c 1009s |      26 | 12946068 | 10401952 |      871  29687 |        0 |        0
1011.48/1011.98	c 1011s |      26 | 12967557 | 10419452 |      871  29726 |        0 |        0
1013.48/1013.98	c 1013s |      26 | 12987645 | 10436652 |      871  29765 |        0 |        0
1015.47/1015.99	c 1015s |      26 | 13008229 | 10454052 |      871  29805 |        0 |        0
1017.47/1017.99	c 1017s |      26 | 13030328 | 10472352 |      871  29846 |        0 |        0
1019.47/1020.00	c 1019s |      26 | 13051558 | 10490252 |      871  29886 |        0 |        0
1021.48/1022.00	c 1021s |      26 | 13074381 | 10508752 |      871  29928 |        0 |        0
1023.57/1024.00	c 1023s |      26 | 13097001 | 10527452 |      871  29971 |        0 |        0
1025.57/1026.01	c 1025s |      26 | 13118997 | 10545352 |      871  30011 |        0 |        0
1027.57/1028.01	c 1028s |      26 | 13140515 | 10563152 |      871  30051 |        0 |        0
1029.57/1030.02	c 1030s |      26 | 13163320 | 10581952 |      871  30094 |        0 |        0
1031.57/1032.03	c 1032s |      26 | 13184489 | 10599952 |      871  30135 |        0 |        0
1033.58/1034.03	c 1034s |      26 | 13206603 | 10618652 |      871  30177 |        0 |        0
1035.57/1036.04	c 1036s |      26 | 13227156 | 10636652 |      871  30218 |        0 |        0
1037.57/1038.04	c 1038s |      26 | 13248403 | 10654752 |      871  30259 |        0 |        0
1039.57/1040.05	c 1040s |      26 | 13272297 | 10674052 |      871  30303 |        0 |        0
1041.57/1042.05	c 1042s |      26 | 13294446 | 10692552 |      871  30346 |        0 |        0
1043.57/1044.06	c 1044s |      26 | 13318099 | 10711852 |      871  30390 |        0 |        0
1045.57/1046.07	c 1046s |      26 | 13341966 | 10731252 |      871  30434 |        0 |        0
1047.56/1048.07	c 1048s |      26 | 13366184 | 10750452 |      871  30478 |        0 |        0
1049.56/1050.08	c 1050s |      26 | 13389402 | 10769452 |      871  30521 |        0 |        0
1051.56/1052.09	c 1052s |      26 | 13410945 | 10787652 |      871  30563 |        0 |        0
1053.66/1054.10	c 1054s |      26 | 13432758 | 10805652 |      871  30604 |        0 |        0
1055.57/1056.10	c 1056s |      26 | 13454602 | 10823852 |      871  30645 |        0 |        0
1057.66/1058.10	c 1058s |      26 | 13477789 | 10842652 |      871  30688 |        0 |        0
1059.66/1060.10	c 1060s |      26 | 13501182 | 10861652 |      871  30732 |        0 |        0
1061.66/1062.11	c 1062s |      26 | 13523364 | 10879952 |      871  30774 |        0 |        0
1063.66/1064.11	c 1064s |      26 | 13548179 | 10899052 |      871  30817 |        0 |        0
1065.66/1066.11	c 1066s |      26 | 13569715 | 10917252 |      871  30858 |        0 |        0
1067.67/1068.12	c 1068s |      26 | 13590861 | 10935252 |      871  30899 |        0 |        0
1069.67/1070.12	c 1070s |      26 | 13612798 | 10953552 |      871  30940 |        0 |        0
1071.67/1072.12	c 1072s |      26 | 13635281 | 10972252 |      871  30982 |        0 |        0
1073.67/1074.12	c 1074s |      26 | 13655888 | 10989752 |      871  31022 |        0 |        0
1075.66/1076.13	c 1076s |      26 | 13678008 | 11007852 |      871  31062 |        0 |        0
1077.67/1078.13	c 1078s |      26 | 13699829 | 11025852 |      871  31103 |        0 |        0
1079.66/1080.13	c 1080s |      26 | 13718991 | 11042552 |      871  31140 |        0 |        0
1081.66/1082.13	c 1082s |      26 | 13738962 | 11059552 |      871  31179 |        0 |        0
1083.66/1084.14	c 1084s |      26 | 13759352 | 11077052 |      871  31218 |        0 |        0
1085.66/1086.14	c 1086s |      26 | 13780762 | 11095152 |      871  31259 |        0 |        0
1087.66/1088.15	c 1088s |      26 | 13801628 | 11112952 |      871  31299 |        0 |        0
1089.66/1090.15	c 1090s |      26 | 13822846 | 11130952 |      871  31340 |        0 |        0
1091.66/1092.16	c 1092s |      26 | 13845014 | 11149052 |      871  31380 |        0 |        0
1093.66/1094.16	c 1094s |      26 | 13868079 | 11167352 |      871  31421 |        0 |        0
1095.65/1096.17	c 1096s |      26 | 13890013 | 11185152 |      871  31462 |        0 |        0
1097.66/1098.17	c 1098s |      26 | 13911802 | 11203052 |      871  31502 |        0 |        0
1099.67/1100.17	c 1100s |      26 | 13933345 | 11220752 |      871  31542 |        0 |        0
1101.66/1102.18	c 1102s |      26 | 13955138 | 11239052 |      871  31584 |        0 |        0
1103.66/1104.19	c 1104s |      26 | 13975604 | 11256252 |      871  31622 |        0 |        0
1105.66/1106.19	c 1106s |      26 | 13996946 | 11274052 |      871  31662 |        0 |        0
1107.76/1108.20	c 1108s |      26 | 14017683 | 11291452 |      871  31702 |        0 |        0
1109.76/1110.20	c 1110s |      26 | 14038687 | 11309252 |      871  31742 |        0 |        0
1111.77/1112.21	c 1112s |      26 | 14061570 | 11327352 |      959  31780 |        0 |        0
1113.76/1114.22	c 1114s |      26 | 14081619 | 11344252 |      959  31815 |        0 |        0
1115.76/1116.22	c 1116s |      26 | 14101729 | 11360952 |      959  31849 |        0 |        0
1117.75/1118.22	c 1118s |      26 | 14121357 | 11377452 |      959  31883 |        0 |        0
1119.75/1120.23	c 1120s |      26 | 14140517 | 11393652 |      959  31916 |        0 |        0
1120.15/1120.63	c 1120s |      27 | 14144060 | 11396733 |      959  31923 |        0 |        0
1122.15/1122.64	c 1122s |      27 | 14163309 | 11413533 |      959  31957 |        0 |        0
1124.15/1124.65	c 1124s |      27 | 14183050 | 11430333 |      959  31991 |        0 |        0
1126.15/1126.65	c 1126s |      27 | 14205161 | 11447933 |      959  32027 |        0 |        0
1128.16/1128.66	c 1128s |      27 | 14227303 | 11466033 |      959  32064 |        0 |        0
1130.15/1130.67	c 1130s |      27 | 14248384 | 11483633 |      959  32100 |        0 |        0
1132.15/1132.68	c 1132s |      27 | 14270570 | 11501133 |      959  32136 |        0 |        0
1134.15/1134.68	c 1134s |      27 | 14293802 | 11519233 |      959  32173 |        0 |        0
1136.16/1136.69	c 1136s |      27 | 14316073 | 11537333 |      959  32210 |        0 |        0
1138.16/1138.69	c 1138s |      27 | 14337506 | 11554733 |      959  32246 |        0 |        0
1140.16/1140.69	c 1140s |      27 | 14357622 | 11571233 |      959  32280 |        0 |        0
1142.26/1142.70	c 1142s |      27 | 14379105 | 11588733 |      959  32315 |        0 |        0
1144.26/1144.70	c 1144s |      27 | 14403019 | 11607233 |      959  32353 |        0 |        0
1146.25/1146.71	c 1146s |      27 | 14424937 | 11624933 |      959  32390 |        0 |        0
1148.25/1148.71	c 1148s |      27 | 14443779 | 11641133 |      959  32423 |        0 |        0
1150.26/1150.71	c 1150s |      27 | 14467028 | 11659533 |      959  32461 |        0 |        0
1152.25/1152.72	c 1152s |      27 | 14490712 | 11678533 |      959  32500 |        0 |        0
1154.25/1154.72	c 1154s |      27 | 14513109 | 11696833 |      959  32538 |        0 |        0
1156.25/1156.73	c 1156s |      27 | 14533753 | 11714133 |      959  32573 |        0 |        0
1158.25/1158.74	c 1158s |      27 | 14553402 | 11731233 |      959  32608 |        0 |        0
1160.25/1160.74	c 1160s |      27 | 14574752 | 11748933 |      959  32644 |        0 |        0
1162.26/1162.74	c 1162s |      27 | 14596980 | 11767033 |      959  32682 |        0 |        0
1164.25/1164.75	c 1164s |      27 | 14616004 | 11783533 |      959  32715 |        0 |        0
1166.25/1166.76	c 1166s |      27 | 14636061 | 11800533 |      959  32750 |        0 |        0
1168.25/1168.76	c 1168s |      27 | 14656001 | 11817433 |      959  32785 |        0 |        0
1170.25/1170.77	c 1170s |      27 | 14677715 | 11835133 |      959  32821 |        0 |        0
1172.26/1172.77	c 1172s |      27 | 14703954 | 11854733 |      959  32862 |        0 |        0
1174.25/1174.78	c 1174s |      27 | 14725036 | 11872233 |      959  32898 |        0 |        0
1176.25/1176.79	c 1176s |      27 | 14749392 | 11890833 |      959  32936 |        0 |        0
1178.35/1178.80	c 1178s |      27 | 14775342 | 11910133 |      959  32976 |        0 |        0
1180.35/1180.80	c 1180s |      27 | 14799504 | 11928533 |      959  33013 |        0 |        0
1182.35/1182.81	c 1182s |      27 | 14824316 | 11947033 |      959  33052 |        0 |        0
1184.36/1184.82	c 1184s |      27 | 14848047 | 11965533 |      959  33090 |        0 |        0
1186.35/1186.83	c 1186s |      27 | 14870518 | 11983533 |      959  33127 |        0 |        0
1188.35/1188.83	c 1188s |      27 | 14895795 | 12002533 |      959  33166 |        0 |        0
1190.35/1190.84	c 1190s |      27 | 14919342 | 12021133 |      959  33204 |        0 |        0
1192.34/1192.84	c 1192s |      27 | 14944117 | 12040233 |      959  33243 |        0 |        0
1194.34/1194.84	c 1194s |      27 | 14966427 | 12057733 |      959  33280 |        0 |        0
1196.35/1196.85	c 1196s |      27 | 14986339 | 12074533 |      959  33314 |        0 |        0
1198.34/1198.86	c 1198s |      27 | 15006576 | 12091433 |      959  33349 |        0 |        0
1200.34/1200.87	c 1200s |      27 | 15027941 | 12108633 |      959  33384 |        0 |        0
1202.34/1202.87	c 1202s |      27 | 15051930 | 12127233 |      959  33423 |        0 |        0
1204.35/1204.88	c 1204s |      27 | 15072241 | 12144033 |      959  33457 |        0 |        0
1206.35/1206.89	c 1206s |      27 | 15090696 | 12159833 |      959  33490 |        0 |        0
1208.35/1208.90	c 1208s |      27 | 15110039 | 12176333 |      959  33524 |        0 |        0
1210.45/1210.90	c 1210s |      27 | 15129967 | 12192933 |      959  33558 |        0 |        0
1212.45/1212.91	c 1212s |      27 | 15149672 | 12209533 |      959  33592 |        0 |        0
1214.44/1214.92	c 1214s |      27 | 15170698 | 12226733 |      959  33627 |        0 |        0
1216.44/1216.93	c 1216s |      27 | 15192914 | 12244633 |      959  33664 |        0 |        0
1218.45/1218.93	c 1218s |      27 | 15215179 | 12262533 |      959  33701 |        0 |        0
1220.44/1220.93	c 1220s |      27 | 15236522 | 12279833 |      959  33737 |        0 |        0
1222.44/1222.94	c 1222s |      27 | 15257379 | 12297033 |      959  33773 |        0 |        0
1224.44/1224.94	c 1224s |      27 | 15280527 | 12315133 |      959  33810 |        0 |        0
1226.44/1226.94	c 1226s |      27 | 15304954 | 12333733 |      959  33848 |        0 |        0
1228.44/1228.95	c 1228s |      27 | 15329252 | 12352333 |      959  33886 |        0 |        0
1230.44/1230.95	c 1230s |      27 | 15352428 | 12370333 |      959  33923 |        0 |        0
1232.44/1232.96	c 1232s |      27 | 15374770 | 12388333 |      959  33960 |        0 |        0
1234.44/1234.97	c 1234s |      27 | 15398248 | 12406833 |      959  33999 |        0 |        0
1236.43/1236.98	c 1236s |      27 | 15420583 | 12424633 |      959  34035 |        0 |        0
1238.43/1238.99	c 1238s |      27 | 15441190 | 12441433 |      959  34070 |        0 |        0
1240.45/1240.99	c 1240s |      27 | 15463359 | 12459033 |      959  34106 |        0 |        0
1242.44/1243.00	c 1242s |      27 | 15487070 | 12477333 |      959  34144 |        0 |        0
1244.54/1245.01	c 1244s |      27 | 15506004 | 12493533 |      959  34177 |        0 |        0
1246.54/1247.02	c 1247s |      27 | 15529192 | 12511333 |      959  34213 |        0 |        0
1248.54/1249.02	c 1249s |      27 | 15550931 | 12528933 |      959  34250 |        0 |        0
1250.54/1251.03	c 1251s |      27 | 15573920 | 12546633 |      959  34286 |        0 |        0
1252.54/1253.03	c 1253s |      27 | 15597375 | 12564733 |      959  34323 |        0 |        0
1254.54/1255.04	c 1255s |      27 | 15618575 | 12581933 |      959  34359 |        0 |        0
1256.54/1257.04	c 1257s |      27 | 15639440 | 12599033 |      959  34394 |        0 |        0
1258.53/1259.06	c 1259s |      27 | 15659225 | 12615533 |      959  34428 |        0 |        0
1260.53/1261.07	c 1261s |      27 | 15681293 | 12633233 |      959  34464 |        0 |        0
1262.53/1263.08	c 1263s |      27 | 15700171 | 12649333 |      959  34497 |        0 |        0
1264.54/1265.08	c 1265s |      27 | 15721722 | 12666533 |      959  34532 |        0 |        0
1266.53/1267.09	c 1267s |      27 | 15742511 | 12683233 |      959  34566 |        0 |        0
1268.53/1269.09	c 1269s |      27 | 15762520 | 12699633 |      959  34599 |        0 |        0
1270.63/1271.10	c 1271s |      27 | 15783592 | 12716633 |      959  34634 |        0 |        0
1272.63/1273.11	c 1273s |      27 | 15805329 | 12733933 |      959  34669 |        0 |        0
1274.63/1275.12	c 1275s |      27 | 15824732 | 12750233 |      959  34702 |        0 |        0
1276.64/1277.12	c 1277s |      27 | 15843900 | 12766333 |      959  34735 |        0 |        0
1278.63/1279.12	c 1279s |      27 | 15863122 | 12782533 |      959  34768 |        0 |        0
1280.63/1281.13	c 1281s |      27 | 15884659 | 12800433 |      959  34805 |        0 |        0
1282.63/1283.13	c 1283s |      27 | 15907445 | 12819133 |      959  34843 |        0 |        0
1284.63/1285.14	c 1285s |      27 | 15930757 | 12837933 |      959  34882 |        0 |        0
1286.64/1287.14	c 1287s |      27 | 15952720 | 12855733 |      959  34918 |        0 |        0
1288.63/1289.15	c 1289s |      27 | 15974517 | 12873433 |      959  34955 |        0 |        0
1290.63/1291.15	c 1291s |      27 | 15995563 | 12890733 |      959  34990 |        0 |        0
1292.63/1293.16	c 1293s |      27 | 16016184 | 12908533 |      959  35027 |        0 |        0
1294.63/1295.16	c 1295s |      27 | 16036602 | 12926033 |      959  35063 |        0 |        0
1296.63/1297.16	c 1297s |      27 | 16057925 | 12943933 |      959  35100 |        0 |        0
1298.64/1299.17	c 1299s |      27 | 16080506 | 12962433 |      959  35138 |        0 |        0
1300.63/1301.18	c 1301s |      27 | 16104005 | 12981533 |      959  35177 |        0 |        0
1302.63/1303.19	c 1303s |      27 | 16126470 | 13000133 |      959  35215 |        0 |        0
1304.63/1305.19	c 1305s |      27 | 16147722 | 13018133 |      959  35252 |        0 |        0
1306.73/1307.20	c 1307s |      27 | 16170908 | 13036833 |      959  35291 |        0 |        0
1308.73/1309.21	c 1309s |      27 | 16194710 | 13055833 |      959  35330 |        0 |        0
1310.73/1311.22	c 1311s |      27 | 16218445 | 13074933 |      959  35369 |        0 |        0
1312.72/1313.22	c 1313s |      27 | 16242068 | 13093633 |      959  35408 |        0 |        0
1314.72/1315.23	c 1315s |      27 | 16264711 | 13112033 |      959  35446 |        0 |        0
1316.72/1317.23	c 1317s |      27 | 16287995 | 13130633 |      959  35484 |        0 |        0
1318.72/1319.24	c 1319s |      27 | 16311477 | 13149233 |      959  35522 |        0 |        0
1320.73/1321.25	c 1321s |      27 | 16330252 | 13165633 |      959  35556 |        0 |        0
1322.72/1323.26	c 1323s |      27 | 16351119 | 13182833 |      959  35592 |        0 |        0
1324.72/1325.27	c 1325s |      27 | 16371941 | 13200133 |      959  35627 |        0 |        0
1326.72/1327.28	c 1327s |      27 | 16393201 | 13217933 |      959  35664 |        0 |        0
1328.72/1329.29	c 1329s |      27 | 16411951 | 13234433 |      959  35698 |        0 |        0
1330.72/1331.29	c 1331s |      27 | 16433257 | 13252033 |      959  35734 |        0 |        0
1332.73/1333.30	c 1333s |      27 | 16455281 | 13270133 |      959  35771 |        0 |        0
1334.82/1335.31	c 1335s |      27 | 16476908 | 13287833 |      959  35808 |        0 |        0
1336.82/1337.32	c 1337s |      27 | 16497891 | 13305233 |      959  35843 |        0 |        0
1338.82/1339.33	c 1339s |      27 | 16518271 | 13322433 |      959  35879 |        0 |        0
1340.82/1341.33	c 1341s |      27 | 16539378 | 13339833 |      959  35915 |        0 |        0
1342.82/1343.34	c 1343s |      27 | 16561950 | 13357933 |      959  35952 |        0 |        0
1344.83/1345.35	c 1345s |      27 | 16582668 | 13375133 |      959  35987 |        0 |        0
1346.82/1347.35	c 1347s |      27 | 16602587 | 13392033 |      959  36022 |        0 |        0
1348.82/1349.35	c 1349s |      27 | 16624168 | 13409233 |      959  36057 |        0 |        0
1350.82/1351.36	c 1351s |      27 | 16647968 | 13427433 |      959  36095 |        0 |        0
1352.82/1353.36	c 1353s |      27 | 16669767 | 13445233 |      959  36131 |        0 |        0
1354.83/1355.37	c 1355s |      27 | 16691061 | 13462933 |      959  36168 |        0 |        0
1356.82/1357.38	c 1357s |      27 | 16713385 | 13480833 |      959  36204 |        0 |        0
1358.82/1359.38	c 1359s |      27 | 16734738 | 13498333 |      959  36240 |        0 |        0
1360.82/1361.39	c 1361s |      27 | 16756908 | 13516333 |      959  36277 |        0 |        0
1362.82/1363.39	c 1363s |      27 | 16780570 | 13534733 |      959  36315 |        0 |        0
1364.92/1365.40	c 1365s |      27 | 16802941 | 13552633 |      959  36352 |        0 |        0
1366.82/1367.40	c 1367s |      27 | 16823477 | 13569933 |      959  36388 |        0 |        0
1368.91/1369.41	c 1369s |      27 | 16845907 | 13587933 |      959  36425 |        0 |        0
1370.91/1371.41	c 1371s |      27 | 16867479 | 13605533 |      959  36461 |        0 |        0
1372.91/1373.41	c 1373s |      27 | 16889222 | 13623333 |      959  36498 |        0 |        0
1374.92/1375.41	c 1375s |      27 | 16910119 | 13640933 |      959  36534 |        0 |        0
1376.92/1377.42	c 1377s |      27 | 16931656 | 13658533 |      959  36571 |        0 |        0
1378.93/1379.43	c 1379s |      27 | 16952631 | 13676233 |      959  36607 |        0 |        0
1380.92/1381.43	c 1381s |      27 | 16976569 | 13694833 |      959  36645 |        0 |        0
1382.92/1383.43	c 1383s |      27 | 17000159 | 13713533 |      959  36684 |        0 |        0
1384.92/1385.43	c 1385s |      27 | 17022295 | 13731533 |      959  36721 |        0 |        0
1386.92/1387.44	c 1387s |      27 | 17046211 | 13750433 |      959  36760 |        0 |        0
1388.92/1389.44	c 1389s |      27 | 17066172 | 13767333 |      959  36795 |        0 |        0
1390.92/1391.45	c 1391s |      27 | 17092188 | 13786633 |      959  36835 |        0 |        0
1392.92/1393.46	c 1393s |      27 | 17113171 | 13803733 |      959  36870 |        0 |        0
1394.92/1395.46	c 1395s |      27 | 17132903 | 13820533 |      959  36904 |        0 |        0
1396.91/1397.47	c 1397s |      27 | 17152165 | 13836833 |      959  36938 |        0 |        0
1398.91/1399.47	c 1399s |      27 | 17170932 | 13852933 |      959  36971 |        0 |        0
1400.92/1401.48	c 1401s |      27 | 17190212 | 13869233 |      959  37004 |        0 |        0
1403.01/1403.50	c 1403s |      27 | 17210878 | 13886433 |      959  37039 |        0 |        0
1405.01/1405.51	c 1405s |      27 | 17232371 | 13903933 |      959  37075 |        0 |        0
1407.01/1407.51	c 1407s |      27 | 17252514 | 13920433 |      959  37109 |        0 |        0
1409.01/1409.51	c 1409s |      27 | 17271883 | 13936233 |      959  37141 |        0 |        0
1411.01/1411.52	c 1411s |      27 | 17293484 | 13953233 |      959  37176 |        0 |        0
1413.02/1413.52	c 1413s |      27 | 17315781 | 13970733 |      959  37212 |        0 |        0
1415.01/1415.53	c 1415s |      27 | 17336178 | 13987633 |      959  37247 |        0 |        0
1417.01/1417.53	c 1417s |      27 | 17355043 | 14003833 |      959  37280 |        0 |        0
1419.01/1419.54	c 1419s |      27 | 17375250 | 14020433 |      959  37314 |        0 |        0
1421.01/1421.55	c 1421s |      27 | 17396746 | 14037633 |      959  37349 |        0 |        0
1423.01/1423.56	c 1423s |      27 | 17418103 | 14054933 |      959  37384 |        0 |        0
1425.00/1425.56	c 1425s |      27 | 17441092 | 14072733 |      959  37421 |        0 |        0
1427.00/1427.57	c 1427s |      27 | 17462058 | 14089833 |      959  37456 |        0 |        0
1429.00/1429.57	c 1429s |      27 | 17482130 | 14106433 |      959  37490 |        0 |        0
1431.00/1431.58	c 1431s |      27 | 17501254 | 14122633 |      959  37524 |        0 |        0
1433.00/1433.59	c 1433s |      27 | 17519901 | 14138533 |      959  37556 |        0 |        0
1435.01/1435.60	c 1435s |      27 | 17538064 | 14154133 |      959  37588 |        0 |        0
1437.10/1437.61	c 1437s |      27 | 17557728 | 14170833 |      959  37622 |        0 |        0
1439.11/1439.62	c 1439s |      27 | 17577924 | 14187833 |      959  37657 |        0 |        0
1441.11/1441.62	c 1441s |      27 | 17597414 | 14204533 |      959  37692 |        0 |        0
1443.11/1443.62	c 1443s |      27 | 17617259 | 14221333 |      959  37726 |        0 |        0
1445.11/1445.63	c 1445s |      27 | 17636597 | 14237733 |      959  37759 |        0 |        0
1447.12/1447.63	c 1447s |      27 | 17656870 | 14254533 |      959  37794 |        0 |        0
1449.11/1449.63	c 1449s |      27 | 17675923 | 14270933 |      959  37827 |        0 |        0
1451.11/1451.64	c 1451s |      27 | 17694884 | 14287233 |      959  37861 |        0 |        0
1453.11/1453.65	c 1453s |      27 | 17713905 | 14303933 |      959  37895 |        0 |        0
1455.11/1455.65	c 1455s |      27 | 17734549 | 14320833 |      959  37930 |        0 |        0
1457.11/1457.66	c 1457s |      27 | 17756017 | 14337833 |      959  37965 |        0 |        0
1459.11/1459.67	c 1459s |      27 | 17777139 | 14355133 |      959  38000 |        0 |        0
1461.10/1461.67	c 1461s |      27 | 17797290 | 14371933 |      959  38035 |        0 |        0
1463.10/1463.67	c 1463s |      27 | 17816695 | 14388033 |      959  38068 |        0 |        0
1465.10/1465.68	c 1465s |      27 | 17837072 | 14405033 |      959  38103 |        0 |        0
1467.10/1467.69	c 1467s |      27 | 17857284 | 14422033 |      959  38138 |        0 |        0
1469.11/1469.69	c 1469s |      27 | 17876478 | 14438333 |      959  38171 |        0 |        0
1471.20/1471.70	c 1471s |      27 | 17897571 | 14455333 |      959  38206 |        0 |        0
1473.20/1473.71	c 1473s |      27 | 17918616 | 14472133 |      959  38241 |        0 |        0
1475.20/1475.72	c 1475s |      27 | 17937689 | 14488433 |      959  38274 |        0 |        0
1477.20/1477.72	c 1477s |      27 | 17957730 | 14505233 |      959  38309 |        0 |        0
1479.20/1479.73	c 1479s |      27 | 17979091 | 14522833 |      959  38345 |        0 |        0
1481.20/1481.73	c 1481s |      27 | 18001128 | 14540933 |      959  38382 |        0 |        0
1483.20/1483.74	c 1483s |      27 | 18022489 | 14558533 |      959  38418 |        0 |        0
1485.20/1485.75	c 1485s |      27 | 18043823 | 14576133 |      959  38454 |        0 |        0
1487.20/1487.76	c 1487s |      27 | 18063797 | 14593233 |      959  38489 |        0 |        0
1489.20/1489.76	c 1489s |      27 | 18082089 | 14609333 |      959  38522 |        0 |        0
1491.20/1491.76	c 1491s |      27 | 18099939 | 14625033 |      959  38554 |        0 |        0
1493.20/1493.76	c 1493s |      27 | 18118025 | 14640933 |      959  38587 |        0 |        0
1495.20/1495.77	c 1495s |      27 | 18137402 | 14657633 |      959  38621 |        0 |        0
1497.20/1497.77	c 1497s |      27 | 18159475 | 14675333 |      959  38658 |        0 |        0
1499.19/1499.77	c 1499s |      27 | 18180635 | 14692833 |      959  38694 |        0 |        0
1501.19/1501.78	c 1501s |      27 | 18203076 | 14710933 |      959  38731 |        0 |        0
1503.20/1503.79	c 1503s |      27 | 18224164 | 14728433 |      959  38767 |        0 |        0
1505.19/1505.79	c 1505s |      27 | 18244786 | 14745233 |      959  38801 |        0 |        0
1507.29/1507.80	c 1507s |      27 | 18264422 | 14761633 |      959  38835 |        0 |        0
1509.30/1509.81	c 1509s |      27 | 18284354 | 14778633 |      959  38870 |        0 |        0
1511.30/1511.82	c 1511s |      27 | 18304998 | 14796133 |      959  38906 |        0 |        0
1513.30/1513.82	c 1513s |      27 | 18324044 | 14812433 |      959  38940 |        0 |        0
1515.31/1515.83	c 1515s |      27 | 18343035 | 14828833 |      959  38973 |        0 |        0
1517.30/1517.83	c 1517s |      27 | 18363493 | 14845833 |      959  39008 |        0 |        0
1519.30/1519.84	c 1519s |      27 | 18384958 | 14863433 |      959  39045 |        0 |        0
1521.29/1521.84	c 1521s |      27 | 18407589 | 14881033 |      959  39081 |        0 |        0
1523.29/1523.85	c 1523s |      27 | 18431577 | 14898933 |      959  39118 |        0 |        0
1525.30/1525.86	c 1525s |      27 | 18452820 | 14916033 |      959  39153 |        0 |        0
1527.29/1527.87	c 1527s |      27 | 18475647 | 14933933 |      959  39190 |        0 |        0
1529.29/1529.88	c 1529s |      27 | 18495403 | 14950733 |      959  39224 |        0 |        0
1531.29/1531.88	c 1531s |      27 | 18515366 | 14967733 |      959  39259 |        0 |        0
1533.29/1533.89	c 1533s |      27 | 18533370 | 14983733 |      959  39292 |        0 |        0
1535.39/1535.90	c 1535s |      27 | 18553954 | 15000733 |      959  39327 |        0 |        0
1537.40/1537.90	c 1537s |      27 | 18574378 | 15017733 |      959  39362 |        0 |        0
1539.39/1539.91	c 1539s |      27 | 18594599 | 15034533 |      959  39397 |        0 |        0
1541.39/1541.91	c 1541s |      27 | 18614890 | 15051433 |      959  39431 |        0 |        0
1543.39/1543.92	c 1543s |      27 | 18638012 | 15069533 |      959  39469 |        0 |        0
1545.39/1545.93	c 1545s |      27 | 18662202 | 15088033 |      959  39507 |        0 |        0
1547.39/1547.94	c 1547s |      27 | 18687413 | 15106433 |      959  39545 |        0 |        0
1549.39/1549.94	c 1549s |      27 | 18711679 | 15124633 |      959  39582 |        0 |        0
1551.39/1551.95	c 1551s |      27 | 18732030 | 15141433 |      959  39617 |        0 |        0
1553.39/1553.96	c 1553s |      27 | 18757010 | 15160333 |      959  39655 |        0 |        0
1555.39/1555.97	c 1555s |      27 | 18781399 | 15179133 |      959  39694 |        0 |        0
1557.39/1557.98	c 1557s |      27 | 18803149 | 15196733 |      959  39731 |        0 |        0
1559.40/1559.99	c 1559s |      27 | 18825304 | 15214733 |      959  39768 |        0 |        0
1561.39/1561.99	c 1561s |      27 | 18847506 | 15232633 |      959  39805 |        0 |        0
1563.49/1564.00	c 1563s |      27 | 18870440 | 15250633 |      959  39842 |        0 |        0
1565.49/1566.01	c 1565s |      27 | 18895294 | 15269133 |      959  39880 |        0 |        0
1567.49/1568.02	c 1568s |      27 | 18915720 | 15285933 |      959  39914 |        0 |        0
1569.49/1570.02	c 1570s |      27 | 18938282 | 15303733 |      959  39951 |        0 |        0
1571.50/1572.03	c 1572s |      27 | 18959873 | 15321333 |      959  39988 |        0 |        0
1573.49/1574.04	c 1574s |      27 | 18981658 | 15338933 |      959  40024 |        0 |        0
1575.49/1576.05	c 1576s |      27 | 19003414 | 15356433 |      959  40060 |        0 |        0
1577.49/1578.05	c 1578s |      27 | 19025128 | 15373633 |      959  40096 |        0 |        0
1579.49/1580.05	c 1580s |      27 | 19048359 | 15391833 |      959  40133 |        0 |        0
1581.49/1582.06	c 1582s |      27 | 19069400 | 15409033 |      959  40169 |        0 |        0
1583.49/1584.06	c 1584s |      27 | 19091468 | 15426833 |      959  40205 |        0 |        0
1585.48/1586.07	c 1586s |      27 | 19113354 | 15444233 |      959  40241 |        0 |        0
1587.48/1588.08	c 1588s |      27 | 19132722 | 15460433 |      959  40274 |        0 |        0
1589.48/1590.08	c 1590s |      27 | 19152134 | 15477033 |      959  40309 |        0 |        0
1591.48/1592.09	c 1592s |      27 | 19171901 | 15493433 |      959  40342 |        0 |        0
1593.49/1594.09	c 1594s |      27 | 19191959 | 15510333 |      959  40377 |        0 |        0
1595.48/1596.09	c 1596s |      27 | 19211538 | 15526833 |      959  40411 |        0 |        0
1597.58/1598.10	c 1598s |      27 | 19232310 | 15544233 |      959  40447 |        0 |        0
1599.58/1600.10	c 1600s |      27 | 19252813 | 15561333 |      959  40482 |        0 |        0
1601.58/1602.11	c 1602s |      27 | 19274007 | 15578433 |      959  40517 |        0 |        0
1603.58/1604.11	c 1604s |      27 | 19294817 | 15595733 |      959  40553 |        0 |        0
1605.58/1606.11	c 1606s |      27 | 19317968 | 15613633 |      959  40590 |        0 |        0
1607.58/1608.12	c 1608s |      27 | 19340670 | 15631433 |      959  40627 |        0 |        0
1609.59/1610.12	c 1610s |      27 | 19361880 | 15648933 |      959  40663 |        0 |        0
1611.59/1612.13	c 1612s |      27 | 19380971 | 15665133 |      959  40696 |        0 |        0
1613.58/1614.14	c 1614s |      27 | 19402642 | 15682733 |      959  40732 |        0 |        0
1615.58/1616.14	c 1616s |      27 | 19421294 | 15698933 |      959  40766 |        0 |        0
1617.59/1618.14	c 1618s |      27 | 19443086 | 15716433 |      959  40802 |        0 |        0
1619.58/1620.15	c 1620s |      27 | 19463184 | 15733033 |      959  40836 |        0 |        0
1621.58/1622.15	c 1622s |      27 | 19482594 | 15749633 |      959  40870 |        0 |        0
1623.58/1624.16	c 1624s |      27 | 19500629 | 15765433 |      959  40903 |        0 |        0
1625.58/1626.17	c 1626s |      27 | 19519787 | 15781833 |      959  40937 |        0 |        0
1627.58/1628.17	c 1628s |      27 | 19538235 | 15797833 |      959  40969 |        0 |        0
1629.58/1630.18	c 1630s |      27 | 19558179 | 15814533 |      959  41004 |        0 |        0
1631.58/1632.18	c 1632s |      27 | 19576787 | 15830733 |      959  41037 |        0 |        0
1633.57/1634.19	c 1634s |      27 | 19597058 | 15847533 |      959  41072 |        0 |        0
1635.67/1636.20	c 1636s |      27 | 19618088 | 15864933 |      959  41108 |        0 |        0
1637.67/1638.21	c 1638s |      27 | 19637953 | 15881533 |      959  41142 |        0 |        0
1639.68/1640.21	c 1640s |      27 | 19655374 | 15897033 |      959  41174 |        0 |        0
1641.67/1642.21	c 1642s |      27 | 19674735 | 15913233 |      959  41208 |        0 |        0
1643.67/1644.23	c 1644s |      27 | 19696472 | 15930233 |      959  41243 |        0 |        0
1645.67/1646.24	c 1646s |      27 | 19716065 | 15946533 |      959  41276 |        0 |        0
1647.67/1648.25	c 1648s |      27 | 19734501 | 15962333 |      959  41309 |        0 |        0
1649.67/1650.25	c 1650s |      27 | 19751870 | 15977733 |      959  41340 |        0 |        0
1651.68/1652.25	c 1652s |      27 | 19771791 | 15994433 |      959  41375 |        0 |        0
1653.67/1654.26	c 1654s |      27 | 19791674 | 16010833 |      959  41409 |        0 |        0
1655.67/1656.27	c 1656s |      27 | 19809585 | 16026333 |      959  41441 |        0 |        0
1657.67/1658.28	c 1658s |      27 | 19829139 | 16042633 |      959  41474 |        0 |        0
1659.68/1660.29	c 1660s |      27 | 19849464 | 16059233 |      959  41509 |        0 |        0
1661.78/1662.30	c 1662s |      27 | 19870687 | 16076733 |      959  41545 |        0 |        0
1663.78/1664.30	c 1664s |      27 | 19889779 | 16092833 |      959  41578 |        0 |        0
1665.77/1666.31	c 1666s |      27 | 19907549 | 16108233 |      959  41610 |        0 |        0
1667.77/1668.32	c 1668s |      27 | 19925479 | 16123933 |      959  41642 |        0 |        0
1669.77/1670.33	c 1670s |      27 | 19945641 | 16141033 |      959  41678 |        0 |        0
1671.77/1672.34	c 1672s |      27 | 19963745 | 16156733 |      959  41710 |        0 |        0
1673.78/1674.35	c 1674s |      27 | 19983377 | 16173033 |      959  41744 |        0 |        0
1675.77/1676.36	c 1676s |      27 | 20004389 | 16189833 |      959  41778 |        0 |        0
1677.77/1678.36	c 1678s |      27 | 20022237 | 16205333 |      959  41810 |        0 |        0
1679.77/1680.37	c 1680s |      27 | 20041141 | 16221133 |      959  41843 |        0 |        0
1681.77/1682.38	c 1682s |      27 | 20062010 | 16237933 |      959  41877 |        0 |        0
1683.77/1684.39	c 1684s |      27 | 20080331 | 16253333 |      959  41909 |        0 |        0
1685.78/1686.40	c 1686s |      27 | 20096958 | 16267833 |      959  41939 |        0 |        0
1687.87/1688.40	c 1688s |      27 | 20116279 | 16283833 |      959  41972 |        0 |        0
1689.87/1690.40	c 1690s |      27 | 20134704 | 16299433 |      959  42004 |        0 |        0
1691.87/1692.41	c 1692s |      27 | 20154652 | 16315933 |      959  42037 |        0 |        0
1693.87/1694.42	c 1694s |      27 | 20176302 | 16333133 |      959  42072 |        0 |        0
1695.87/1696.43	c 1696s |      27 | 20199215 | 16350533 |      959  42108 |        0 |        0
1697.87/1698.43	c 1698s |      27 | 20219865 | 16367733 |      959  42143 |        0 |        0
1699.86/1700.44	c 1700s |      27 | 20241612 | 16385333 |      959  42179 |        0 |        0
1701.86/1702.44	c 1702s |      27 | 20260525 | 16401733 |      959  42213 |        0 |        0
1703.86/1704.44	c 1704s |      27 | 20281456 | 16419133 |      959  42249 |        0 |        0
1705.86/1706.45	c 1706s |      27 | 20302465 | 16436633 |      959  42285 |        0 |        0
1707.87/1708.45	c 1708s |      27 | 20322855 | 16453533 |      959  42320 |        0 |        0
1709.86/1710.46	c 1710s |      27 | 20343889 | 16470133 |      959  42354 |        0 |        0
1711.86/1712.46	c 1712s |      27 | 20366022 | 16487833 |      959  42390 |        0 |        0
1713.86/1714.47	c 1714s |      27 | 20390020 | 16506233 |      959  42428 |        0 |        0
1715.86/1716.48	c 1716s |      27 | 20411642 | 16523333 |      959  42463 |        0 |        0
1717.86/1718.48	c 1718s |      27 | 20431048 | 16539633 |      959  42497 |        0 |        0
1719.88/1720.49	c 1720s |      27 | 20451270 | 16556333 |      959  42531 |        0 |        0
1721.87/1722.49	c 1722s |      27 | 20471156 | 16572833 |      959  42565 |        0 |        0
1723.97/1724.50	c 1724s |      27 | 20489984 | 16589133 |      959  42599 |        0 |        0
1725.97/1726.51	c 1726s |      27 | 20508287 | 16604933 |      959  42631 |        0 |        0
1727.97/1728.52	c 1728s |      27 | 20528043 | 16621733 |      959  42666 |        0 |        0
1729.97/1730.52	c 1730s |      27 | 20548072 | 16638233 |      959  42700 |        0 |        0
1731.97/1732.52	c 1732s |      27 | 20567899 | 16654733 |      959  42734 |        0 |        0
1733.96/1734.53	c 1734s |      27 | 20588794 | 16671933 |      959  42769 |        0 |        0
1735.96/1736.54	c 1736s |      27 | 20610239 | 16689133 |      959  42804 |        0 |        0
1737.96/1738.55	c 1738s |      27 | 20632168 | 16706633 |      959  42840 |        0 |        0
1739.96/1740.55	c 1740s |      27 | 20652192 | 16722933 |      959  42874 |        0 |        0
1741.97/1742.56	c 1742s |      27 | 20672522 | 16739833 |      959  42909 |        0 |        0
1743.96/1744.56	c 1744s |      27 | 20693018 | 16756833 |      959  42943 |        0 |        0
1745.96/1746.57	c 1746s |      27 | 20710433 | 16772233 |      959  42975 |        0 |        0
1747.96/1748.58	c 1748s |      27 | 20730277 | 16788733 |      959  43009 |        0 |        0
1749.96/1750.59	c 1750s |      27 | 20750270 | 16805433 |      959  43043 |        0 |        0
1751.96/1752.60	c 1752s |      27 | 20769651 | 16821733 |      959  43077 |        0 |        0
1753.96/1754.60	c 1754s |      27 | 20788980 | 16838233 |      959  43111 |        0 |        0
1756.06/1756.60	c 1756s |      27 | 20812179 | 16856333 |      959  43148 |        0 |        0
1758.06/1758.61	c 1758s |      27 | 20832517 | 16873133 |      959  43182 |        0 |        0
1760.05/1760.61	c 1760s |      27 | 20852849 | 16890033 |      959  43217 |        0 |        0
1762.06/1762.62	c 1762s |      27 | 20872994 | 16906733 |      959  43252 |        0 |        0
1764.06/1764.62	c 1764s |      27 | 20891870 | 16922633 |      959  43284 |        0 |        0
1766.07/1766.63	c 1766s |      27 | 20914616 | 16940333 |      959  43321 |        0 |        0
1768.06/1768.64	c 1768s |      27 | 20936306 | 16957833 |      959  43357 |        0 |        0
1770.06/1770.65	c 1770s |      27 | 20954702 | 16973533 |     1055  43389 |        0 |        0
1772.06/1772.65	c 1772s |      27 | 20973560 | 16989333 |     1055  43418 |        0 |        0
1774.06/1774.66	c 1774s |      27 | 20992742 | 17005733 |     1055  43449 |        0 |        0
1776.06/1776.67	c 1776s |      27 | 21013811 | 17022733 |     1055  43481 |        0 |        0
1778.06/1778.68	c 1778s |      27 | 21035519 | 17039733 |     1055  43513 |        0 |        0
1780.06/1780.69	c 1780s |      27 | 21056695 | 17057033 |     1055  43546 |        0 |        0
1782.16/1782.70	c 1782s |      27 | 21075805 | 17073433 |     1055  43576 |        0 |        0
1784.15/1784.70	c 1784s |      27 | 21094235 | 17089333 |     1055  43606 |        0 |        0
1784.86/1785.45	c 1785s |      28 | 21100817 | 17095205 |     1055  43617 |        0 |        0
1786.85/1787.45	c 1787s |      28 | 21123075 | 17112405 |     1055  43649 |        0 |        0
1788.85/1789.45	c 1789s |      28 | 21143869 | 17129005 |     1055  43680 |        0 |        0
1790.85/1791.46	c 1791s |      28 | 21163330 | 17145205 |     1055  43710 |        0 |        0
1792.85/1793.48	c 1793s |      28 | 21184181 | 17161905 |     1055  43742 |        0 |        0
1794.85/1795.48	c 1795s |      28 | 21207548 | 17179805 |     1055  43775 |        0 |        0
1796.86/1797.49	c 1797s |      28 | 21229142 | 17197005 |     1055  43807 |        0 |        0
1798.95/1799.50	c 1799s |      28 | 21248087 | 17212805 |     1055  43837 |        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-4121154-1467313581/watcher-4121154-1467313581 -o /tmp/evaluation-result-4121154-1467313581/solver-4121154-1467313581 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18130 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121154-1467313581.opb 

pid=19123
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.16 2.17 2.17 3/179 19126
/proc/meminfo: memFree=28500160/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=725572 CPUtime=0 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 2710 0 0 0 0 0 0 0 20 0 4 0 12314947 742985728 3581 33554432000 4194304 16246674 140733705176432 140733705175856 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 181905 3589 442 2943 0 178799 0
[pid=19126/tid=19127] ppid=19123 vsize=744004 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 761860096 3653 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=748100 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 766054400 3669 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=753220 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 771297280 3689 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.16 2.17 2.17 3/179 19126
/proc/meminfo: memFree=28500160/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 24773 0 0 0 6 3 0 0 20 0 4 0 12314947 1247350784 25633 33554432000 4194304 16246674 140733705176432 140733705175856 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 304529 25641 708 2943 0 301423 0
[pid=19126/tid=19127] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 25647 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 25654 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 25660 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200511 s]
/proc/loadavg: 2.16 2.17 2.17 3/179 19126
/proc/meminfo: memFree=28500160/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 47614 0 0 0 13 6 0 0 20 0 4 0 12314947 1247350784 48474 33554432000 4194304 16246674 140733705176432 140733705175856 5546098 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 304529 48488 709 2943 0 301423 0
[pid=19126/tid=19127] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 48494 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 48501 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 48509 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300468 s]
/proc/loadavg: 2.16 2.17 2.17 3/179 19126
/proc/meminfo: memFree=28500160/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 70259 0 0 0 20 9 0 0 20 0 4 0 12314947 1247350784 71119 33554432000 4194304 16246674 140733705176432 140733705159432 6076251 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 304529 71129 709 2943 0 301423 0
[pid=19126/tid=19127] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 71135 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 71145 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 71151 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700374 s]
/proc/loadavg: 2.16 2.17 2.17 3/179 19126
/proc/meminfo: memFree=28500160/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 161157 0 0 0 47 22 0 0 20 0 4 0 12314947 1247350784 162018 33554432000 4194304 16246674 140733705176432 140733705159432 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 304529 162026 709 2943 0 301423 0
[pid=19126/tid=19127] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 162035 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 162042 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 162047 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.15 2.17 2.17 3/183 19130
/proc/meminfo: memFree=27515740/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 245473 0 0 0 115 34 0 0 20 0 4 0 12314947 1247350784 246313 33554432000 4194304 16246674 140733705176432 140733705159432 5589217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 304529 246313 783 2943 0 301423 0
[pid=19126/tid=19127] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 246313 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 246313 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1247350784 246313 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.1004 s]
/proc/loadavg: 2.15 2.17 2.17 3/183 19130
/proc/meminfo: memFree=27427684/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 267378 0 0 0 272 37 0 0 20 0 4 0 12314947 1337528320 268218 33554432000 4194304 16246674 140733705176432 140733705159432 5827686 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326545 268218 783 2943 0 323439 0
[pid=19126/tid=19127] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268218 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268218 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268218 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.14 2.17 2.17 3/183 19130
/proc/meminfo: memFree=27427296/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 267390 0 0 0 592 37 0 0 20 0 4 0 12314947 1337528320 268230 33554432000 4194304 16246674 140733705176432 140733705159432 5762744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326545 268230 783 2943 0 323439 0
[pid=19126/tid=19127] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268230 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268230 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268230 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.13 2.16 2.16 3/183 19130
/proc/meminfo: memFree=27427056/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 267407 0 0 0 1232 37 0 0 20 0 4 0 12314947 1337528320 268247 33554432000 4194304 16246674 140733705176432 140733705159432 6026288 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326545 268247 783 2943 0 323439 0
[pid=19126/tid=19127] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268247 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268247 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268247 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 19130
/proc/meminfo: memFree=27427640/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 267423 0 0 0 2512 37 0 0 20 0 4 0 12314947 1337528320 268263 33554432000 4194304 16246674 140733705176432 140733705159432 5823961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326545 268263 785 2943 0 323439 0
[pid=19126/tid=19127] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268263 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268263 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268263 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.24 2.19 2.17 3/183 19130
/proc/meminfo: memFree=27427736/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1306180 CPUtime=51.09 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 267439 0 0 0 5071 38 0 0 20 0 4 0 12314947 1337528320 268279 33554432000 4194304 16246674 140733705176432 140733705159432 13192744 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326545 268279 785 2943 0 323439 0
[pid=19126/tid=19127] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268279 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268279 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268279 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.16 2.17 2.17 3/183 19132
/proc/meminfo: memFree=27427564/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 267442 0 0 0 10190 38 0 0 20 0 4 0 12314947 1337528320 268282 33554432000 4194304 16246674 140733705176432 140733705159432 5667050 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326545 268282 787 2943 0 323439 0
[pid=19126/tid=19127] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268282 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268282 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1337528320 268282 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268520 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.26 2.25 2.21 4/183 19211
/proc/meminfo: memFree=27432364/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1307204 CPUtime=1301.83 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268078 0 0 0 130114 69 0 0 20 0 4 0 12314947 1338576896 268520 33554432000 4194304 16246674 140733705176432 140733705159432 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326801 268520 789 2943 0 323695 0
[pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268520 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268520 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268520 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.39 2.28 2.22 3/183 19212
/proc/meminfo: memFree=27431140/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1307204 CPUtime=1361.82 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 136112 70 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705159432 5824052 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326801 268521 789 2943 0 323695 0
[pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.22 2.25 2.22 3/184 19216
/proc/meminfo: memFree=27430620/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1307204 CPUtime=1421.81 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 142110 71 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705158336 6836764 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326801 268521 789 2943 0 323695 0
[pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.45 2.30 2.23 3/183 19217
/proc/meminfo: memFree=27431024/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1307204 CPUtime=1481.8 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 148108 72 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705159432 5754796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326801 268521 789 2943 0 323695 0
[pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.29 2.27 2.22 4/183 19218
/proc/meminfo: memFree=27431152/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1307204 CPUtime=1541.8 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 154107 73 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705158336 13198373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326801 268521 789 2943 0 323695 0
[pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.22 2.25 2.22 4/183 19220
/proc/meminfo: memFree=27430668/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1307204 CPUtime=1601.78 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 160104 74 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705159432 12470896 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326801 268521 789 2943 0 323695 0
[pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.24 2.25 2.22 3/183 19221
/proc/meminfo: memFree=27430416/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1307204 CPUtime=1661.78 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 166102 76 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705159432 13927434 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326801 268521 789 2943 0 323695 0
[pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.22 2.23 2.21 3/183 19222
/proc/meminfo: memFree=27430544/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1307204 CPUtime=1721.77 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 172100 77 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705158336 5823619 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326801 268521 789 2943 0 323695 0
[pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.19 2.22 2.20 3/183 19223
/proc/meminfo: memFree=27429924/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1307204 CPUtime=1781.76 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 178098 78 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705159432 5523464 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326801 268521 789 2943 0 323695 0
[pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.22 2.22 2.20 3/183 19223
/proc/meminfo: memFree=27430296/32872528 swapFree=1498612/1645780
[pid=19126] ppid=19123 vsize=1307204 CPUtime=1800.05 cores=1,3,5,7
/proc/19126/stat : 19126 (toysat) R 19123 19126 13393 0 -1 4202496 268079 0 0 0 179927 78 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140733705159432 6836001 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19126/statm: 326801 268521 789 2943 0 323695 0
[pid=19126/tid=19127] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19127/stat : 19127 (toysat) S 19123 19126 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011158613232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19126/tid=19128] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19128/stat : 19128 (toysat) S 19123 19126 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011148123376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19126/tid=19129] ppid=19123 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19126/task/19129/stat : 19129 (toysat) S 19123 19126 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12314947 1338576896 268521 33554432000 4194304 16246674 140733705176432 140011034897584 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1307204

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.07
CPU user time (s): 1799.28
CPU system time (s): 0.789879
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 0.789879
maximum resident set size= 1074084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268079
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= 415
involuntary context switches= 1988

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.53331 second user time and 6.98694 second system time

The end

Begin job on node124 at 2016-06-30 21:06:21
IDJOB=4121154
IDBENCH=110323
IDSOLVER=2542
FILE ID=node124/4121154-1467313581
RUNJOBID= node124-1467310918-18130
PBS_JOBID= 20005255
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= 6428b73b3a804d96c910c603a1b30c5b
RANDOM SEED=963790894

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28501052 kB
Buffers:          149380 kB
Cached:           737220 kB
SwapCached:            0 kB
Active:          1346564 kB
Inactive:         631188 kB
Active(anon):    1082396 kB
Inactive(anon):    11336 kB
Active(file):     264168 kB
Inactive(file):   619852 kB
Unevictable:     1645780 kB
Mlocked:         1498612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       2741176 kB
Mapped:            17100 kB
Shmem:               204 kB
Slab:             610504 kB
SReclaimable:      54584 kB
SUnreclaim:       555920 kB
KernelStack:        1520 kB
PageTables:         9416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2873828 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    686080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71692 MiB
End job on node124 at 2016-06-30 21:36:22