0.00/0.00	c 2016-06-16T02:43:19+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-4090065-1466037798.opb"]
0.00/0.01	c use --random-gen="1683387114 2525316217 1434029328 1722690345 3088724846 2787337213 585549400 3485361330 952795395 1095739786 3585574389 1891055209 2494216231 3656912217 2137035633 1327957064 750801289 258117326 2265923313 562459631 2852948462 3759212457 3558270016 2762133060 78545145 3770998103 3561401409 3800884203 3091244302 916971470 3398285212 3420345914 3693340117 2262319136 216268456 970654748 2771644581 1683219418 2291053307 2121896789 3244336175 88523412 2142924929 2484940444 1955215036 3563225175 3625861402 3945784806 4251634483 3506091456 1179969414 777556772 3184224720 1430241482 3367171816 819268393 1284903789 2617505166 95083149 350646021 3270668665 2135185192 680107018 30403355 599472047 3523030278 3360814730 3073149679 2344001158 2993661910 41738203 3552946989 4022150784 4237273134 643512694 4107084547 1503783900 3787564404 1747539402 3883695044 3170285915 453870127 3080751260 2282311560 3766169842 573510351 3694316889 1143960383 3346227996 3919663868 3847195693 988941427 1171476705 4269320716 752391803 3365083925 1431117649 2372378351 2301420794 2391762609 3681722669 88786331 327406670 2164350022 2644341163 309807803 929523045 1614203526 3981909219 2016998926 128183649 1244947177 2940290982 1599980431 1289781264 3188716849 2411078429 2209224540 2118381361 3141482996 133534718 584444597 3309426792 1234290753 2775180571 1310190425 817399156 1165650929 2339037081 1720746312 1018953371 2976720094 3632001125 2426233662 2784358869 2640704971 1042195254 1559652997 4039263075 3153760673 1791631863 2864329051 4076702983 254281053 1456921349 2798081138 1422684916 4256302055 16290361 2259092718 2237336142 3228433781 2839381656 1522012858 3751631202 2449654836 2453353807 1739621487 4247093813 1768486134 3097787786 2996971423 1937594293 1280579589 4093696498 3183428005 3037105074 1287315586 219828261 661805943 1130334384 569459233 3257291208 1781807650 3708170995 3115560567 2798708122 1528481302 2618341950 121607100 794678320 598565786 2323408753 1450380394 3439291259 4182000291 894562825 387318825 475460836 2564909269 2918820533 257859041 579777399 3847468771 430313958 481415812 3973102472 2734873613 2958454785 845296262 219837386 3213467775 3489841885 395144481 3670819170 948416733 1596432797 2621847256 1958455207 1688745628 3481926965 3573334612 277274835 2697441587 1915365889 3695156886 1708039244 3533116667 747152132 1607508644 2713443413 2143026570 3669011806 4161643835 2061788983 995069749 2216931885 87283430 4166449205 2071352934 1268351375 4031228962 3802383128 2107412035 3958271067 348811672 2466566817 2847621704 1240229892 3972737180 1300422415 27994825 2626718687 2042120402 260275049 4096677897 162893512 2256011003 2630009189 1761033419 1139542001 152866132 530954934 2064329662 89479885 15260454 255 362436" option to reproduce the execution
0.00/0.01	c #vars 243
0.00/0.01	c #constraints 81
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 |      135      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      156 |      100 |      135      0 |        0 |        0
0.00/0.06	c  0.1s |       2 |      400 |      250 |      149      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |      720 |      475 |      164      1 |        0 |        0
0.19/0.20	c  0.2s |       4 |     1287 |      813 |      181      4 |        0 |        0
0.29/0.33	c  0.3s |       5 |     2036 |     1320 |      200      7 |        0 |        0
0.49/0.55	c  0.5s |       6 |     3077 |     2081 |      244     11 |        0 |        0
0.79/0.89	c  0.9s |       7 |     4537 |     3223 |      269     17 |        0 |        0
1.20/1.24	c  1.2s |       8 |     6531 |     4936 |      296     25 |        0 |        0
1.69/1.77	c  1.8s |       9 |    10181 |     7506 |      326     38 |        0 |        0
2.49/2.57	c  2.6s |      10 |    14503 |    11361 |      359     56 |        0 |        0
3.69/3.79	c  3.8s |      11 |    21029 |    17144 |      395     78 |        0 |        0
5.69/5.74	c  5.7s |      12 |    30942 |    25819 |      435    110 |        0 |        0
7.69/7.76	c  7.7s |      12 |    41819 |    35319 |      435    143 |        0 |        0
8.49/8.50	c  8.5s |      13 |    45772 |    38832 |      479    155 |        0 |        0
10.49/10.51	c 10.5s |      13 |    56635 |    48432 |      479    185 |        0 |        0
12.49/12.52	c 12.5s |      13 |    67259 |    57732 |      479    214 |        0 |        0
12.59/12.63	c 12.6s |      14 |    67973 |    58352 |      527    216 |        0 |        0
14.59/14.64	c 14.6s |      14 |    77716 |    66952 |      527    242 |        0 |        0
16.59/16.66	c 16.6s |      14 |    87150 |    75452 |      527    268 |        0 |        0
18.58/18.67	c 18.7s |      14 |    96069 |    83452 |      527    292 |        0 |        0
19.58/19.66	c 19.6s |      15 |   100830 |    87632 |      580    304 |        0 |        0
21.58/21.68	c 21.7s |      15 |   110781 |    96332 |      580    329 |        0 |        0
23.68/23.70	c 23.7s |      15 |   119957 |   104532 |      580    351 |        0 |        0
25.68/25.71	c 25.7s |      15 |   128799 |   112532 |      580    373 |        0 |        0
27.68/27.73	c 27.7s |      15 |   137537 |   120432 |      580    395 |        0 |        0
29.69/29.73	c 29.7s |      15 |   145943 |   128032 |      580    416 |        0 |        0
30.58/30.65	c 30.6s |      16 |   149830 |   131552 |      638    426 |        0 |        0
32.58/32.67	c 32.7s |      16 |   159795 |   140452 |      638    449 |        0 |        0
34.58/34.67	c 34.7s |      16 |   169432 |   149152 |      638    472 |        0 |        0
36.58/36.68	c 36.7s |      16 |   178133 |   157052 |      638    492 |        0 |        0
38.69/38.70	c 38.7s |      16 |   186599 |   164452 |      638    512 |        0 |        0
40.59/40.70	c 40.7s |      16 |   196482 |   172952 |      638    534 |        0 |        0
42.69/42.71	c 42.7s |      16 |   206238 |   181552 |      638    556 |        0 |        0
44.69/44.74	c 44.7s |      16 |   215873 |   189952 |      638    578 |        0 |        0
46.58/46.64	c 46.6s |      17 |   224363 |   197432 |      702    597 |        0 |        0
48.58/48.65	c 48.6s |      17 |   234872 |   205832 |      702    619 |        0 |        0
50.59/50.66	c 50.6s |      17 |   244881 |   214632 |      702    641 |        0 |        0
52.58/52.66	c 52.6s |      17 |   254969 |   223432 |      702    663 |        0 |        0
54.58/54.66	c 54.7s |      17 |   264557 |   231932 |      702    685 |        0 |        0
56.58/56.67	c 56.7s |      17 |   273192 |   239332 |      702    703 |        0 |        0
58.58/58.67	c 58.7s |      17 |   282555 |   247232 |      702    724 |        0 |        0
60.59/60.67	c 60.7s |      17 |   292684 |   255732 |      702    745 |        0 |        0
62.58/62.68	c 62.7s |      17 |   302657 |   264532 |      702    768 |        0 |        0
64.58/64.68	c 64.7s |      17 |   312286 |   273132 |      702    790 |        0 |        0
66.58/66.69	c 66.7s |      17 |   321754 |   281532 |      702    811 |        0 |        0
68.68/68.70	c 68.7s |      17 |   330743 |   289732 |      702    832 |        0 |        0
70.28/70.35	c 70.3s |      18 |   337734 |   296252 |      773    848 |        0 |        0
72.28/72.36	c 72.3s |      18 |   346870 |   304252 |      773    865 |        0 |        0
74.28/74.37	c 74.4s |      18 |   355662 |   312052 |      773    882 |        0 |        0
76.28/76.38	c 76.4s |      18 |   363526 |   319152 |      773    897 |        0 |        0
78.28/78.39	c 78.4s |      18 |   372179 |   326852 |      773    914 |        0 |        0
80.28/80.39	c 80.4s |      18 |   380486 |   334352 |      773    930 |        0 |        0
82.38/82.41	c 82.4s |      18 |   388463 |   341652 |      773    945 |        0 |        0
84.37/84.44	c 84.4s |      18 |   396126 |   348652 |      773    960 |        0 |        0
86.37/86.44	c 86.4s |      18 |   404353 |   355952 |      773    976 |        0 |        0
88.37/88.47	c 88.5s |      18 |   412580 |   363352 |      773    992 |        0 |        0
90.37/90.49	c 90.5s |      18 |   420106 |   370252 |      773   1006 |        0 |        0
92.48/92.52	c 92.5s |      18 |   427872 |   377352 |      773   1022 |        0 |        0
94.47/94.55	c 94.5s |      18 |   435854 |   384752 |      773   1038 |        0 |        0
96.47/96.57	c 96.6s |      18 |   443752 |   392052 |      773   1053 |        0 |        0
98.47/98.57	c 98.6s |      18 |   451872 |   399552 |      773   1069 |        0 |        0
100.58/100.60	c  100s |      18 |   460592 |   407452 |      773   1086 |        0 |        0
102.58/102.62	c  102s |      18 |   468471 |   414652 |      773   1102 |        0 |        0
104.59/104.63	c  104s |      18 |   476170 |   421752 |      773   1117 |        0 |        0
106.58/106.64	c  106s |      18 |   484357 |   429152 |      773   1133 |        0 |        0
108.58/108.66	c  108s |      18 |   492083 |   435952 |      773   1148 |        0 |        0
110.58/110.69	c  110s |      18 |   499242 |   442252 |      851   1161 |        0 |        0
111.38/111.41	c  111s |      19 |   501744 |   444482 |      851   1165 |        0 |        0
113.38/113.42	c  113s |      19 |   510930 |   452582 |      851   1182 |        0 |        0
115.38/115.43	c  115s |      19 |   519572 |   460482 |      851   1198 |        0 |        0
117.38/117.44	c  117s |      19 |   527868 |   468082 |      851   1213 |        0 |        0
119.37/119.44	c  119s |      19 |   535879 |   475282 |      851   1227 |        0 |        0
121.37/121.46	c  121s |      19 |   543784 |   482582 |      851   1242 |        0 |        0
123.37/123.47	c  123s |      19 |   551258 |   489482 |      851   1256 |        0 |        0
125.38/125.49	c  125s |      19 |   558402 |   496082 |      851   1269 |        0 |        0
127.37/127.50	c  127s |      19 |   566099 |   503282 |      851   1283 |        0 |        0
129.47/129.50	c  129s |      19 |   574759 |   511082 |      851   1299 |        0 |        0
131.47/131.52	c  131s |      19 |   582621 |   518182 |      851   1313 |        0 |        0
133.47/133.53	c  133s |      19 |   589895 |   524782 |      851   1326 |        0 |        0
135.47/135.55	c  135s |      19 |   597812 |   531682 |      851   1340 |        0 |        0
137.48/137.56	c  137s |      19 |   605897 |   538582 |      851   1354 |        0 |        0
139.47/139.56	c  139s |      19 |   613907 |   545582 |      851   1368 |        0 |        0
141.47/141.57	c  141s |      19 |   622448 |   552982 |      851   1383 |        0 |        0
143.47/143.59	c  143s |      19 |   630155 |   559882 |      851   1397 |        0 |        0
145.57/145.61	c  145s |      19 |   637484 |   566482 |      851   1410 |        0 |        0
147.57/147.63	c  147s |      19 |   644750 |   572882 |      851   1423 |        0 |        0
149.57/149.65	c  149s |      19 |   652416 |   579882 |      851   1437 |        0 |        0
151.57/151.66	c  151s |      19 |   661061 |   587382 |      851   1452 |        0 |        0
153.57/153.68	c  153s |      19 |   669006 |   594182 |      851   1466 |        0 |        0
155.57/155.69	c  155s |      19 |   676244 |   600582 |      851   1479 |        0 |        0
157.67/157.70	c  157s |      19 |   683965 |   607482 |      851   1492 |        0 |        0
159.66/159.73	c  159s |      19 |   692597 |   615082 |      851   1508 |        0 |        0
161.67/161.75	c  161s |      19 |   700234 |   621982 |      851   1522 |        0 |        0
163.66/163.76	c  163s |      19 |   707695 |   628682 |      851   1535 |        0 |        0
165.66/165.77	c  165s |      19 |   715032 |   635282 |      851   1548 |        0 |        0
167.66/167.78	c  167s |      19 |   721943 |   641482 |      851   1561 |        0 |        0
169.76/169.80	c  169s |      19 |   729481 |   648182 |      851   1574 |        0 |        0
171.76/171.82	c  171s |      19 |   737848 |   655382 |      851   1589 |        0 |        0
173.77/173.82	c  173s |      19 |   745964 |   662382 |      937   1603 |        0 |        0
174.97/175.05	c  175s |      20 |   751406 |   666827 |      937   1611 |        0 |        0
176.96/177.06	c  177s |      20 |   760896 |   674927 |      937   1626 |        0 |        0
178.96/179.08	c  179s |      20 |   770929 |   683427 |      937   1642 |        0 |        0
181.06/181.10	c  181s |      20 |   781050 |   691627 |      937   1658 |        0 |        0
183.06/183.12	c  183s |      20 |   791221 |   700127 |      937   1674 |        0 |        0
185.06/185.15	c  185s |      20 |   799539 |   707527 |      937   1688 |        0 |        0
187.06/187.15	c  187s |      20 |   808526 |   715127 |      937   1702 |        0 |        0
189.06/189.15	c  189s |      20 |   817815 |   722827 |      937   1717 |        0 |        0
191.06/191.15	c  191s |      20 |   826443 |   730227 |      937   1731 |        0 |        0
193.06/193.17	c  193s |      20 |   834636 |   737227 |      937   1744 |        0 |        0
195.06/195.19	c  195s |      20 |   843347 |   744427 |      937   1758 |        0 |        0
197.16/197.20	c  197s |      20 |   850770 |   750827 |      937   1770 |        0 |        0
199.17/199.22	c  199s |      20 |   859103 |   758027 |      937   1784 |        0 |        0
201.16/201.25	c  201s |      20 |   867536 |   765327 |      937   1798 |        0 |        0
203.16/203.26	c  203s |      20 |   875430 |   772327 |      937   1811 |        0 |        0
205.16/205.29	c  205s |      20 |   884090 |   779827 |      937   1825 |        0 |        0
207.26/207.31	c  207s |      20 |   892278 |   787027 |      937   1838 |        0 |        0
209.26/209.33	c  209s |      20 |   900517 |   794127 |      937   1852 |        0 |        0
211.27/211.35	c  211s |      20 |   908713 |   801027 |      937   1865 |        0 |        0
213.26/213.36	c  213s |      20 |   917639 |   808227 |      937   1878 |        0 |        0
215.26/215.37	c  215s |      20 |   926207 |   815327 |      937   1892 |        0 |        0
217.26/217.39	c  217s |      20 |   935617 |   823127 |      937   1906 |        0 |        0
219.36/219.40	c  219s |      20 |   944456 |   830527 |      937   1920 |        0 |        0
221.36/221.43	c  221s |      20 |   953773 |   838227 |      937   1935 |        0 |        0
223.36/223.45	c  223s |      20 |   963149 |   846027 |      937   1950 |        0 |        0
225.35/225.46	c  225s |      20 |   972082 |   853427 |      937   1963 |        0 |        0
227.35/227.46	c  227s |      20 |   980028 |   860227 |      937   1976 |        0 |        0
229.35/229.49	c  229s |      20 |   989128 |   867727 |      937   1990 |        0 |        0
231.35/231.49	c  231s |      20 |   997455 |   874927 |      937   2004 |        0 |        0
233.45/233.50	c  233s |      20 |  1005524 |   881927 |      937   2017 |        0 |        0
235.46/235.52	c  235s |      20 |  1013362 |   888727 |      937   2029 |        0 |        0
237.45/237.54	c  237s |      20 |  1020683 |   895127 |      937   2041 |        0 |        0
239.45/239.54	c  239s |      20 |  1028476 |   901727 |      937   2054 |        0 |        0
241.45/241.55	c  241s |      20 |  1036847 |   909027 |      937   2067 |        0 |        0
243.45/243.57	c  243s |      20 |  1045369 |   916327 |      937   2081 |        0 |        0
245.45/245.58	c  245s |      20 |  1053610 |   923427 |      937   2094 |        0 |        0
247.56/247.61	c  247s |      20 |  1060552 |   929727 |      937   2106 |        0 |        0
249.55/249.61	c  249s |      20 |  1068477 |   936727 |      937   2119 |        0 |        0
251.55/251.62	c  251s |      20 |  1076174 |   943527 |      937   2131 |        0 |        0
253.55/253.63	c  253s |      20 |  1083841 |   950427 |      937   2144 |        0 |        0
255.55/255.66	c  255s |      20 |  1092463 |   958027 |      937   2159 |        0 |        0
257.55/257.68	c  257s |      20 |  1101234 |   965727 |      937   2173 |        0 |        0
259.55/259.70	c  259s |      20 |  1110028 |   973427 |      937   2187 |        0 |        0
261.65/261.72	c  261s |      20 |  1119030 |   981327 |      937   2202 |        0 |        0
263.64/263.73	c  263s |      20 |  1128437 |   989527 |      937   2217 |        0 |        0
265.64/265.73	c  265s |      20 |  1137657 |   997427 |     1031   2231 |        0 |        0
266.44/266.51	c  266s |      21 |  1141068 |  1000345 |     1031   2237 |        0 |        0
268.45/268.52	c  268s |      21 |  1150094 |  1008145 |     1031   2250 |        0 |        0
270.44/270.52	c  270s |      21 |  1158727 |  1015745 |     1031   2263 |        0 |        0
272.44/272.54	c  272s |      21 |  1167222 |  1023245 |     1031   2276 |        0 |        0
274.45/274.55	c  274s |      21 |  1175786 |  1030745 |     1031   2288 |        0 |        0
276.45/276.57	c  276s |      21 |  1184566 |  1038345 |     1031   2301 |        0 |        0
278.45/278.57	c  278s |      21 |  1193184 |  1045945 |     1031   2314 |        0 |        0
280.46/280.59	c  280s |      21 |  1201912 |  1053745 |     1031   2328 |        0 |        0
282.55/282.61	c  282s |      21 |  1209971 |  1060945 |     1031   2340 |        0 |        0
284.55/284.63	c  284s |      21 |  1218115 |  1068145 |     1031   2352 |        0 |        0
286.55/286.64	c  286s |      21 |  1226561 |  1075545 |     1031   2365 |        0 |        0
288.55/288.67	c  288s |      21 |  1234122 |  1082345 |     1031   2377 |        0 |        0
290.55/290.68	c  290s |      21 |  1241770 |  1089045 |     1031   2388 |        0 |        0
292.55/292.68	c  292s |      21 |  1249374 |  1096045 |     1031   2400 |        0 |        0
294.54/294.70	c  294s |      21 |  1256473 |  1102545 |     1031   2411 |        0 |        0
296.64/296.72	c  296s |      21 |  1263674 |  1109145 |     1031   2422 |        0 |        0
298.64/298.73	c  298s |      21 |  1270414 |  1115445 |     1031   2433 |        0 |        0
300.64/300.73	c  300s |      21 |  1277516 |  1121845 |     1031   2444 |        0 |        0
302.64/302.76	c  302s |      21 |  1284682 |  1128245 |     1031   2455 |        0 |        0
304.65/304.77	c  304s |      21 |  1291770 |  1134545 |     1031   2466 |        0 |        0
306.64/306.77	c  306s |      21 |  1298679 |  1140845 |     1031   2476 |        0 |        0
308.64/308.79	c  308s |      21 |  1306913 |  1148145 |     1031   2489 |        0 |        0
310.74/310.81	c  310s |      21 |  1314625 |  1154945 |     1031   2500 |        0 |        0
312.74/312.84	c  312s |      21 |  1322716 |  1162045 |     1031   2513 |        0 |        0
314.74/314.85	c  314s |      21 |  1330885 |  1169245 |     1031   2525 |        0 |        0
316.74/316.85	c  316s |      21 |  1338218 |  1175945 |     1031   2536 |        0 |        0
318.74/318.88	c  318s |      21 |  1346082 |  1182845 |     1031   2548 |        0 |        0
320.74/320.89	c  320s |      21 |  1353608 |  1189645 |     1031   2559 |        0 |        0
322.74/322.89	c  322s |      21 |  1361760 |  1196745 |     1031   2571 |        0 |        0
324.84/324.92	c  324s |      21 |  1369970 |  1203945 |     1031   2584 |        0 |        0
326.84/326.92	c  326s |      21 |  1378814 |  1211545 |     1031   2597 |        0 |        0
328.84/328.92	c  328s |      21 |  1387423 |  1219145 |     1031   2610 |        0 |        0
330.83/330.94	c  330s |      21 |  1395108 |  1226045 |     1031   2622 |        0 |        0
332.83/332.96	c  332s |      21 |  1402802 |  1232845 |     1031   2633 |        0 |        0
334.84/334.99	c  334s |      21 |  1411068 |  1240145 |     1031   2646 |        0 |        0
336.94/337.02	c  337s |      21 |  1418522 |  1246845 |     1031   2657 |        0 |        0
338.94/339.06	c  339s |      21 |  1425939 |  1253345 |     1031   2669 |        0 |        0
340.95/341.07	c  341s |      21 |  1433495 |  1260145 |     1031   2680 |        0 |        0
342.94/343.08	c  343s |      21 |  1440325 |  1266345 |     1031   2691 |        0 |        0
345.04/345.10	c  345s |      21 |  1447387 |  1272545 |     1031   2701 |        0 |        0
347.04/347.12	c  347s |      21 |  1453742 |  1278245 |     1031   2711 |        0 |        0
349.04/349.12	c  349s |      21 |  1461409 |  1285145 |     1031   2723 |        0 |        0
351.04/351.13	c  351s |      21 |  1469187 |  1291945 |     1031   2735 |        0 |        0
353.04/353.15	c  353s |      21 |  1476587 |  1298645 |     1031   2746 |        0 |        0
355.04/355.18	c  355s |      21 |  1484022 |  1305145 |     1031   2757 |        0 |        0
357.03/357.19	c  357s |      21 |  1492379 |  1312345 |     1031   2770 |        0 |        0
359.13/359.21	c  359s |      21 |  1500560 |  1319745 |     1031   2782 |        0 |        0
361.13/361.22	c  361s |      21 |  1508876 |  1327045 |     1031   2795 |        0 |        0
363.13/363.25	c  363s |      21 |  1516723 |  1333945 |     1031   2807 |        0 |        0
365.14/365.28	c  365s |      21 |  1524003 |  1340545 |     1031   2818 |        0 |        0
367.13/367.29	c  367s |      21 |  1531026 |  1346745 |     1031   2829 |        0 |        0
369.13/369.30	c  369s |      21 |  1539002 |  1353545 |     1031   2840 |        0 |        0
371.23/371.30	c  371s |      21 |  1546162 |  1359645 |     1031   2851 |        0 |        0
373.23/373.32	c  373s |      21 |  1553334 |  1365845 |     1031   2861 |        0 |        0
375.23/375.34	c  375s |      21 |  1560449 |  1372245 |     1031   2872 |        0 |        0
377.23/377.35	c  377s |      21 |  1567155 |  1378345 |     1031   2883 |        0 |        0
379.23/379.36	c  379s |      21 |  1575132 |  1384945 |     1031   2894 |        0 |        0
381.24/381.39	c  381s |      21 |  1582999 |  1391545 |     1031   2905 |        0 |        0
383.23/383.39	c  383s |      21 |  1590083 |  1397845 |     1031   2916 |        0 |        0
385.33/385.41	c  385s |      21 |  1598309 |  1404945 |     1031   2928 |        0 |        0
387.33/387.43	c  387s |      21 |  1606745 |  1412145 |     1031   2941 |        0 |        0
389.34/389.45	c  389s |      21 |  1614579 |  1419045 |     1031   2952 |        0 |        0
391.33/391.47	c  391s |      21 |  1622204 |  1425645 |     1031   2964 |        0 |        0
393.43/393.51	c  393s |      21 |  1628938 |  1431745 |     1031   2974 |        0 |        0
395.43/395.51	c  395s |      21 |  1635791 |  1437945 |     1031   2985 |        0 |        0
397.43/397.53	c  397s |      21 |  1643945 |  1444945 |     1031   2997 |        0 |        0
399.43/399.54	c  399s |      21 |  1651842 |  1451945 |     1031   3009 |        0 |        0
401.44/401.56	c  401s |      21 |  1659538 |  1458545 |     1031   3020 |        0 |        0
403.43/403.57	c  403s |      21 |  1667071 |  1465145 |     1031   3032 |        0 |        0
405.43/405.59	c  405s |      21 |  1674392 |  1471645 |     1031   3043 |        0 |        0
407.53/407.61	c  407s |      21 |  1681308 |  1477845 |     1031   3053 |        0 |        0
409.53/409.62	c  409s |      21 |  1688389 |  1484045 |     1031   3064 |        0 |        0
411.53/411.63	c  411s |      21 |  1695653 |  1490245 |     1135   3074 |        0 |        0
413.53/413.64	c  413s |      21 |  1703921 |  1497445 |     1135   3086 |        0 |        0
414.53/414.65	c  414s |      22 |  1707445 |  1500622 |     1135   3091 |        0 |        0
416.53/416.66	c  416s |      22 |  1715801 |  1508022 |     1135   3102 |        0 |        0
418.52/418.67	c  418s |      22 |  1723352 |  1514722 |     1135   3112 |        0 |        0
420.52/420.67	c  420s |      22 |  1731119 |  1521722 |     1135   3123 |        0 |        0
422.52/422.68	c  422s |      22 |  1739115 |  1528922 |     1135   3134 |        0 |        0
424.53/424.70	c  424s |      22 |  1746439 |  1535522 |     1135   3145 |        0 |        0
426.62/426.72	c  426s |      22 |  1754093 |  1542522 |     1135   3155 |        0 |        0
428.62/428.73	c  428s |      22 |  1761597 |  1549422 |     1135   3166 |        0 |        0
430.62/430.76	c  430s |      22 |  1768998 |  1556122 |     1135   3177 |        0 |        0
432.62/432.77	c  432s |      22 |  1776637 |  1562922 |     1135   3187 |        0 |        0
434.72/434.80	c  434s |      22 |  1784244 |  1569722 |     1135   3198 |        0 |        0
436.73/436.82	c  436s |      22 |  1791530 |  1576322 |     1135   3208 |        0 |        0
438.72/438.83	c  438s |      22 |  1798598 |  1582622 |     1135   3218 |        0 |        0
440.72/440.83	c  440s |      22 |  1806059 |  1589322 |     1135   3228 |        0 |        0
442.72/442.85	c  442s |      22 |  1813575 |  1596122 |     1135   3238 |        0 |        0
444.72/444.88	c  444s |      22 |  1820443 |  1602222 |     1135   3248 |        0 |        0
446.82/446.91	c  446s |      22 |  1827954 |  1609022 |     1135   3259 |        0 |        0
448.82/448.93	c  448s |      22 |  1835328 |  1615722 |     1135   3269 |        0 |        0
450.82/450.95	c  450s |      22 |  1842385 |  1622222 |     1135   3279 |        0 |        0
452.82/452.95	c  452s |      22 |  1848795 |  1628122 |     1135   3288 |        0 |        0
454.82/454.98	c  454s |      22 |  1856320 |  1634822 |     1135   3299 |        0 |        0
456.92/457.01	c  456s |      22 |  1863679 |  1641522 |     1135   3309 |        0 |        0
458.92/459.01	c  458s |      22 |  1870331 |  1647522 |     1135   3318 |        0 |        0
460.92/461.05	c  461s |      22 |  1877459 |  1653922 |     1135   3328 |        0 |        0
462.92/463.07	c  463s |      22 |  1884971 |  1660722 |     1135   3339 |        0 |        0
464.92/465.08	c  465s |      22 |  1891545 |  1666622 |     1135   3348 |        0 |        0
467.02/467.10	c  467s |      22 |  1899444 |  1673622 |     1135   3358 |        0 |        0
469.01/469.10	c  469s |      22 |  1907432 |  1680522 |     1135   3369 |        0 |        0
471.01/471.12	c  471s |      22 |  1915480 |  1687522 |     1135   3380 |        0 |        0
473.02/473.13	c  473s |      22 |  1922132 |  1693622 |     1135   3390 |        0 |        0
475.01/475.13	c  475s |      22 |  1928397 |  1699422 |     1135   3399 |        0 |        0
477.01/477.14	c  477s |      22 |  1935609 |  1706022 |     1135   3409 |        0 |        0
479.01/479.16	c  479s |      22 |  1942567 |  1712322 |     1135   3419 |        0 |        0
481.01/481.18	c  481s |      22 |  1949585 |  1718722 |     1135   3429 |        0 |        0
483.01/483.19	c  483s |      22 |  1955814 |  1724422 |     1135   3437 |        0 |        0
485.02/485.19	c  485s |      22 |  1962342 |  1730322 |     1135   3446 |        0 |        0
487.11/487.20	c  487s |      22 |  1969056 |  1736322 |     1135   3456 |        0 |        0
489.11/489.22	c  489s |      22 |  1975972 |  1742622 |     1135   3465 |        0 |        0
491.11/491.23	c  491s |      22 |  1982973 |  1748822 |     1135   3475 |        0 |        0
493.11/493.25	c  493s |      22 |  1989306 |  1754622 |     1135   3484 |        0 |        0
495.11/495.25	c  495s |      22 |  1995860 |  1760622 |     1135   3493 |        0 |        0
497.12/497.29	c  497s |      22 |  2001820 |  1766022 |     1135   3502 |        0 |        0
499.11/499.29	c  499s |      22 |  2008816 |  1772422 |     1135   3511 |        0 |        0
501.21/501.30	c  501s |      22 |  2016729 |  1779522 |     1135   3522 |        0 |        0
503.21/503.30	c  503s |      22 |  2024429 |  1786322 |     1135   3533 |        0 |        0
505.22/505.30	c  505s |      22 |  2031565 |  1792922 |     1135   3543 |        0 |        0
507.22/507.33	c  507s |      22 |  2038496 |  1799322 |     1135   3553 |        0 |        0
509.22/509.35	c  509s |      22 |  2045103 |  1805422 |     1135   3563 |        0 |        0
511.22/511.37	c  511s |      22 |  2052324 |  1811922 |     1135   3573 |        0 |        0
513.32/513.40	c  513s |      22 |  2059145 |  1818022 |     1135   3582 |        0 |        0
515.31/515.42	c  515s |      22 |  2066144 |  1824322 |     1135   3592 |        0 |        0
517.31/517.44	c  517s |      22 |  2073920 |  1831122 |     1135   3602 |        0 |        0
519.31/519.46	c  519s |      22 |  2081232 |  1837622 |     1135   3612 |        0 |        0
521.32/521.49	c  521s |      22 |  2088222 |  1843922 |     1135   3622 |        0 |        0
523.41/523.51	c  523s |      22 |  2094847 |  1850022 |     1135   3632 |        0 |        0
525.41/525.52	c  525s |      22 |  2101665 |  1856222 |     1135   3641 |        0 |        0
527.41/527.52	c  527s |      22 |  2108011 |  1861922 |     1135   3650 |        0 |        0
529.41/529.53	c  529s |      22 |  2114153 |  1867522 |     1135   3659 |        0 |        0
531.41/531.56	c  531s |      22 |  2121198 |  1873822 |     1135   3668 |        0 |        0
533.42/533.58	c  533s |      22 |  2127793 |  1879722 |     1135   3677 |        0 |        0
535.41/535.58	c  535s |      22 |  2134502 |  1885622 |     1135   3686 |        0 |        0
537.51/537.62	c  537s |      22 |  2140246 |  1890922 |     1135   3695 |        0 |        0
539.51/539.62	c  539s |      22 |  2148322 |  1897922 |     1135   3705 |        0 |        0
541.51/541.63	c  541s |      22 |  2155772 |  1904522 |     1135   3716 |        0 |        0
543.51/543.63	c  543s |      22 |  2162043 |  1910222 |     1135   3724 |        0 |        0
545.51/545.63	c  545s |      22 |  2168717 |  1916222 |     1135   3734 |        0 |        0
547.50/547.64	c  547s |      22 |  2175029 |  1922022 |     1135   3743 |        0 |        0
549.50/549.67	c  549s |      22 |  2180944 |  1927522 |     1135   3751 |        0 |        0
551.50/551.67	c  551s |      22 |  2186712 |  1932822 |     1135   3759 |        0 |        0
553.60/553.71	c  553s |      22 |  2193712 |  1939222 |     1135   3769 |        0 |        0
555.60/555.71	c  555s |      22 |  2200116 |  1945022 |     1135   3778 |        0 |        0
557.61/557.72	c  557s |      22 |  2206990 |  1951222 |     1135   3787 |        0 |        0
559.61/559.73	c  559s |      22 |  2214407 |  1957922 |     1135   3798 |        0 |        0
561.61/561.74	c  561s |      22 |  2222544 |  1965122 |     1135   3809 |        0 |        0
563.61/563.75	c  563s |      22 |  2229753 |  1971622 |     1135   3819 |        0 |        0
565.61/565.76	c  565s |      22 |  2237002 |  1978122 |     1135   3829 |        0 |        0
567.61/567.78	c  567s |      22 |  2244289 |  1984622 |     1135   3839 |        0 |        0
569.61/569.80	c  569s |      22 |  2251412 |  1991122 |     1135   3849 |        0 |        0
571.71/571.83	c  571s |      22 |  2257794 |  1997022 |     1135   3858 |        0 |        0
573.71/573.84	c  573s |      22 |  2264125 |  2002822 |     1135   3867 |        0 |        0
575.71/575.85	c  575s |      22 |  2269894 |  2008122 |     1135   3875 |        0 |        0
577.71/577.87	c  577s |      22 |  2276642 |  2014222 |     1135   3885 |        0 |        0
579.71/579.89	c  579s |      22 |  2283905 |  2020822 |     1135   3895 |        0 |        0
581.81/581.91	c  581s |      22 |  2291230 |  2027322 |     1135   3905 |        0 |        0
583.80/583.94	c  583s |      22 |  2298166 |  2033622 |     1135   3915 |        0 |        0
585.80/585.97	c  585s |      22 |  2304682 |  2039622 |     1135   3924 |        0 |        0
587.90/588.00	c  587s |      22 |  2312122 |  2046422 |     1135   3935 |        0 |        0
589.90/590.03	c  590s |      22 |  2319031 |  2052722 |     1135   3945 |        0 |        0
591.90/592.05	c  592s |      22 |  2326292 |  2059422 |     1135   3955 |        0 |        0
593.91/594.06	c  594s |      22 |  2333383 |  2065822 |     1135   3965 |        0 |        0
595.90/596.08	c  596s |      22 |  2340132 |  2071922 |     1135   3974 |        0 |        0
597.90/598.09	c  598s |      22 |  2346471 |  2077822 |     1135   3983 |        0 |        0
600.00/600.10	c  600s |      22 |  2353299 |  2084022 |     1135   3993 |        0 |        0
602.00/602.12	c  602s |      22 |  2359372 |  2089722 |     1135   4002 |        0 |        0
604.00/604.14	c  604s |      22 |  2366002 |  2095622 |     1135   4011 |        0 |        0
606.00/606.14	c  606s |      22 |  2371883 |  2101122 |     1135   4020 |        0 |        0
608.00/608.15	c  608s |      22 |  2377955 |  2106722 |     1135   4028 |        0 |        0
610.00/610.17	c  610s |      22 |  2384881 |  2112922 |     1135   4038 |        0 |        0
612.00/612.18	c  612s |      22 |  2391489 |  2119022 |     1135   4048 |        0 |        0
613.99/614.18	c  614s |      22 |  2397793 |  2124722 |     1135   4057 |        0 |        0
616.00/616.19	c  616s |      22 |  2404303 |  2130722 |     1135   4066 |        0 |        0
618.10/618.21	c  618s |      22 |  2410881 |  2136722 |     1135   4075 |        0 |        0
620.09/620.23	c  620s |      22 |  2417443 |  2142722 |     1135   4085 |        0 |        0
622.09/622.25	c  622s |      22 |  2424580 |  2149122 |     1135   4095 |        0 |        0
624.09/624.26	c  624s |      22 |  2431070 |  2155122 |     1135   4104 |        0 |        0
626.09/626.27	c  626s |      22 |  2437628 |  2160922 |     1135   4113 |        0 |        0
628.19/628.31	c  628s |      22 |  2444363 |  2167022 |     1135   4123 |        0 |        0
630.20/630.32	c  630s |      22 |  2451468 |  2173322 |     1135   4132 |        0 |        0
632.19/632.33	c  632s |      22 |  2458073 |  2179222 |     1135   4142 |        0 |        0
634.19/634.36	c  634s |      22 |  2465136 |  2185722 |     1135   4152 |        0 |        0
636.19/636.36	c  636s |      22 |  2472224 |  2192222 |     1135   4162 |        0 |        0
638.19/638.38	c  638s |      22 |  2479184 |  2198522 |     1135   4172 |        0 |        0
640.29/640.42	c  640s |      22 |  2485882 |  2204522 |     1135   4181 |        0 |        0
642.30/642.43	c  642s |      22 |  2492338 |  2210422 |     1135   4190 |        0 |        0
644.29/644.45	c  644s |      22 |  2498802 |  2216222 |     1135   4199 |        0 |        0
646.29/646.46	c  646s |      22 |  2505144 |  2222022 |     1135   4208 |        0 |        0
648.29/648.49	c  648s |      22 |  2512303 |  2228522 |     1135   4218 |        0 |        0
650.29/650.49	c  650s |      22 |  2519061 |  2234422 |     1135   4227 |        0 |        0
652.39/652.51	c  652s |      22 |  2525150 |  2239722 |     1249   4235 |        0 |        0
654.39/654.54	c  654s |      22 |  2531813 |  2245522 |     1249   4243 |        0 |        0
656.39/656.55	c  656s |      22 |  2537968 |  2250822 |     1249   4251 |        0 |        0
656.49/656.63	c  656s |      23 |  2538213 |  2251038 |     1249   4251 |        0 |        0
658.48/658.65	c  658s |      23 |  2546358 |  2257838 |     1249   4261 |        0 |        0
660.49/660.66	c  660s |      23 |  2553340 |  2264238 |     1249   4270 |        0 |        0
662.49/662.68	c  662s |      23 |  2560551 |  2271038 |     1249   4280 |        0 |        0
664.59/664.70	c  664s |      23 |  2567179 |  2277238 |     1249   4289 |        0 |        0
666.60/666.73	c  666s |      23 |  2573677 |  2283338 |     1249   4298 |        0 |        0
668.59/668.75	c  668s |      23 |  2580442 |  2289538 |     1249   4307 |        0 |        0
670.59/670.78	c  670s |      23 |  2586776 |  2295438 |     1249   4315 |        0 |        0
672.69/672.81	c  672s |      23 |  2593008 |  2301338 |     1249   4324 |        0 |        0
674.69/674.81	c  674s |      23 |  2599285 |  2307238 |     1249   4332 |        0 |        0
676.69/676.82	c  676s |      23 |  2605352 |  2312938 |     1249   4340 |        0 |        0
678.70/678.85	c  678s |      23 |  2612095 |  2319138 |     1249   4349 |        0 |        0
680.69/680.87	c  680s |      23 |  2619220 |  2325638 |     1249   4359 |        0 |        0
682.69/682.88	c  682s |      23 |  2625571 |  2331438 |     1249   4367 |        0 |        0
684.79/684.91	c  684s |      23 |  2631990 |  2337438 |     1249   4375 |        0 |        0
686.79/686.95	c  686s |      23 |  2637983 |  2343038 |     1249   4383 |        0 |        0
688.79/688.97	c  688s |      23 |  2644522 |  2349038 |     1249   4392 |        0 |        0
690.79/690.97	c  690s |      23 |  2651071 |  2355238 |     1249   4401 |        0 |        0
692.79/692.97	c  692s |      23 |  2658792 |  2362238 |     1249   4411 |        0 |        0
694.79/694.99	c  694s |      23 |  2665271 |  2368338 |     1249   4420 |        0 |        0
696.89/697.00	c  696s |      23 |  2672292 |  2374838 |     1249   4429 |        0 |        0
698.88/699.03	c  699s |      23 |  2678594 |  2380738 |     1249   4437 |        0 |        0
700.88/701.05	c  701s |      23 |  2684431 |  2386038 |     1249   4445 |        0 |        0
702.88/703.05	c  703s |      23 |  2691171 |  2392138 |     1249   4454 |        0 |        0
704.88/705.06	c  705s |      23 |  2698133 |  2398438 |     1249   4463 |        0 |        0
706.88/707.07	c  707s |      23 |  2704822 |  2404538 |     1249   4471 |        0 |        0
708.88/709.08	c  709s |      23 |  2711280 |  2410338 |     1249   4480 |        0 |        0
710.97/711.10	c  711s |      23 |  2718672 |  2416538 |     1249   4489 |        0 |        0
712.97/713.12	c  713s |      23 |  2725948 |  2423038 |     1249   4498 |        0 |        0
714.98/715.13	c  715s |      23 |  2733645 |  2429738 |     1249   4508 |        0 |        0
716.97/717.14	c  717s |      23 |  2740447 |  2435838 |     1249   4517 |        0 |        0
718.97/719.15	c  719s |      23 |  2746846 |  2441738 |     1249   4525 |        0 |        0
720.97/721.17	c  721s |      23 |  2753610 |  2447838 |     1249   4534 |        0 |        0
722.97/723.19	c  723s |      23 |  2760493 |  2454038 |     1249   4543 |        0 |        0
725.07/725.21	c  725s |      23 |  2767095 |  2459938 |     1249   4551 |        0 |        0
727.07/727.23	c  727s |      23 |  2772979 |  2465238 |     1249   4559 |        0 |        0
729.07/729.24	c  729s |      23 |  2779609 |  2471338 |     1249   4567 |        0 |        0
731.06/731.25	c  731s |      23 |  2786749 |  2477838 |     1249   4577 |        0 |        0
733.06/733.27	c  733s |      23 |  2793547 |  2484038 |     1249   4586 |        0 |        0
735.06/735.27	c  735s |      23 |  2800182 |  2489938 |     1249   4594 |        0 |        0
737.06/737.28	c  737s |      23 |  2806801 |  2495938 |     1249   4603 |        0 |        0
739.06/739.30	c  739s |      23 |  2813373 |  2502038 |     1249   4611 |        0 |        0
741.15/741.32	c  741s |      23 |  2819513 |  2507738 |     1249   4619 |        0 |        0
743.15/743.32	c  743s |      23 |  2825471 |  2513238 |     1249   4627 |        0 |        0
745.15/745.34	c  745s |      23 |  2831429 |  2518738 |     1249   4635 |        0 |        0
747.15/747.37	c  747s |      23 |  2837441 |  2524338 |     1249   4643 |        0 |        0
749.15/749.38	c  749s |      23 |  2843919 |  2530238 |     1249   4651 |        0 |        0
751.15/751.40	c  751s |      23 |  2850919 |  2536438 |     1249   4660 |        0 |        0
753.25/753.44	c  753s |      23 |  2857410 |  2542338 |     1249   4669 |        0 |        0
755.24/755.45	c  755s |      23 |  2863305 |  2547738 |     1249   4677 |        0 |        0
757.24/757.48	c  757s |      23 |  2869089 |  2553038 |     1249   4684 |        0 |        0
759.34/759.51	c  759s |      23 |  2874869 |  2558338 |     1249   4692 |        0 |        0
761.34/761.52	c  761s |      23 |  2880874 |  2563938 |     1249   4700 |        0 |        0
763.35/763.52	c  763s |      23 |  2886671 |  2569338 |     1249   4707 |        0 |        0
765.34/765.54	c  765s |      23 |  2892380 |  2574638 |     1249   4715 |        0 |        0
767.34/767.58	c  767s |      23 |  2898141 |  2579938 |     1249   4723 |        0 |        0
769.34/769.59	c  769s |      23 |  2903558 |  2584938 |     1249   4730 |        0 |        0
771.44/771.62	c  771s |      23 |  2908847 |  2589838 |     1249   4737 |        0 |        0
773.44/773.64	c  773s |      23 |  2913920 |  2594538 |     1249   4743 |        0 |        0
775.44/775.68	c  775s |      23 |  2920571 |  2600738 |     1249   4752 |        0 |        0
777.54/777.71	c  777s |      23 |  2926661 |  2606438 |     1249   4760 |        0 |        0
779.53/779.74	c  779s |      23 |  2932792 |  2612138 |     1249   4769 |        0 |        0
781.54/781.76	c  781s |      23 |  2938711 |  2617638 |     1249   4776 |        0 |        0
783.54/783.77	c  783s |      23 |  2944866 |  2623238 |     1249   4784 |        0 |        0
785.64/785.81	c  785s |      23 |  2951085 |  2628938 |     1249   4793 |        0 |        0
787.64/787.82	c  787s |      23 |  2958222 |  2635338 |     1249   4802 |        0 |        0
789.65/789.83	c  789s |      23 |  2964985 |  2641538 |     1249   4811 |        0 |        0
791.63/791.86	c  791s |      23 |  2972367 |  2648138 |     1249   4820 |        0 |        0
793.63/793.88	c  793s |      23 |  2979541 |  2654638 |     1249   4829 |        0 |        0
795.73/795.91	c  795s |      23 |  2985998 |  2660538 |     1249   4838 |        0 |        0
797.73/797.91	c  797s |      23 |  2992047 |  2666138 |     1249   4846 |        0 |        0
799.73/799.92	c  799s |      23 |  2998166 |  2671738 |     1249   4854 |        0 |        0
801.73/801.96	c  801s |      23 |  3004163 |  2677138 |     1249   4862 |        0 |        0
803.72/803.98	c  803s |      23 |  3010699 |  2682938 |     1249   4870 |        0 |        0
805.82/806.01	c  805s |      23 |  3016896 |  2688538 |     1249   4878 |        0 |        0
807.82/808.01	c  807s |      23 |  3022942 |  2694138 |     1249   4886 |        0 |        0
809.82/810.02	c  810s |      23 |  3028384 |  2699138 |     1249   4893 |        0 |        0
811.82/812.04	c  812s |      23 |  3033767 |  2704038 |     1249   4900 |        0 |        0
813.83/814.04	c  814s |      23 |  3040924 |  2710538 |     1249   4910 |        0 |        0
815.82/816.06	c  816s |      23 |  3047983 |  2716838 |     1249   4919 |        0 |        0
817.82/818.08	c  818s |      23 |  3054865 |  2723038 |     1249   4927 |        0 |        0
819.92/820.10	c  820s |      23 |  3061143 |  2728738 |     1249   4936 |        0 |        0
821.92/822.10	c  822s |      23 |  3067517 |  2734538 |     1249   4944 |        0 |        0
823.91/824.10	c  824s |      23 |  3074035 |  2740438 |     1249   4952 |        0 |        0
825.92/826.12	c  826s |      23 |  3080705 |  2746438 |     1249   4961 |        0 |        0
827.91/828.14	c  828s |      23 |  3087451 |  2752438 |     1249   4969 |        0 |        0
829.91/830.16	c  830s |      23 |  3093675 |  2758238 |     1249   4978 |        0 |        0
831.91/832.17	c  832s |      23 |  3099665 |  2763738 |     1249   4986 |        0 |        0
833.91/834.19	c  834s |      23 |  3105634 |  2769238 |     1249   4993 |        0 |        0
836.01/836.21	c  836s |      23 |  3111706 |  2774538 |     1249   5001 |        0 |        0
838.02/838.24	c  838s |      23 |  3117781 |  2780038 |     1249   5009 |        0 |        0
840.01/840.27	c  840s |      23 |  3123239 |  2785038 |     1249   5016 |        0 |        0
842.01/842.27	c  842s |      23 |  3128614 |  2789938 |     1249   5023 |        0 |        0
844.00/844.27	c  844s |      23 |  3134394 |  2795138 |     1249   5031 |        0 |        0
846.00/846.28	c  846s |      23 |  3141177 |  2801238 |     1249   5039 |        0 |        0
848.10/848.30	c  848s |      23 |  3148668 |  2807938 |     1249   5049 |        0 |        0
850.11/850.31	c  850s |      23 |  3155404 |  2814138 |     1249   5058 |        0 |        0
852.10/852.32	c  852s |      23 |  3162282 |  2820338 |     1249   5067 |        0 |        0
854.10/854.32	c  854s |      23 |  3168962 |  2826538 |     1249   5075 |        0 |        0
856.09/856.35	c  856s |      23 |  3175494 |  2832638 |     1249   5084 |        0 |        0
858.09/858.38	c  858s |      23 |  3182752 |  2839238 |     1249   5094 |        0 |        0
860.10/860.39	c  860s |      23 |  3190024 |  2845838 |     1249   5103 |        0 |        0
862.19/862.41	c  862s |      23 |  3196664 |  2851938 |     1249   5112 |        0 |        0
864.18/864.43	c  864s |      23 |  3203585 |  2858238 |     1249   5121 |        0 |        0
866.18/866.46	c  866s |      23 |  3210420 |  2864538 |     1249   5130 |        0 |        0
868.18/868.46	c  868s |      23 |  3217141 |  2870638 |     1249   5138 |        0 |        0
870.18/870.47	c  870s |      23 |  3224357 |  2877138 |     1249   5148 |        0 |        0
872.28/872.50	c  872s |      23 |  3231183 |  2883338 |     1249   5157 |        0 |        0
874.18/874.50	c  874s |      23 |  3237240 |  2888838 |     1249   5165 |        0 |        0
876.28/876.52	c  876s |      23 |  3244369 |  2895238 |     1249   5174 |        0 |        0
878.28/878.55	c  878s |      23 |  3250829 |  2901138 |     1249   5182 |        0 |        0
880.28/880.55	c  880s |      23 |  3256840 |  2906638 |     1249   5190 |        0 |        0
882.27/882.56	c  882s |      23 |  3262933 |  2912138 |     1249   5198 |        0 |        0
884.28/884.58	c  884s |      23 |  3268948 |  2917638 |     1249   5206 |        0 |        0
886.38/886.62	c  886s |      23 |  3274526 |  2922838 |     1249   5213 |        0 |        0
888.37/888.64	c  888s |      23 |  3279904 |  2927838 |     1249   5221 |        0 |        0
890.37/890.65	c  890s |      23 |  3286147 |  2933638 |     1249   5229 |        0 |        0
892.37/892.66	c  892s |      23 |  3291962 |  2939038 |     1249   5237 |        0 |        0
894.37/894.69	c  894s |      23 |  3298135 |  2944638 |     1249   5245 |        0 |        0
896.47/896.70	c  896s |      23 |  3303920 |  2950038 |     1249   5252 |        0 |        0
898.48/898.74	c  898s |      23 |  3309938 |  2955638 |     1249   5260 |        0 |        0
900.47/900.75	c  900s |      23 |  3315407 |  2960638 |     1249   5268 |        0 |        0
902.47/902.76	c  902s |      23 |  3321462 |  2966238 |     1249   5276 |        0 |        0
904.47/904.78	c  904s |      23 |  3327482 |  2971738 |     1249   5283 |        0 |        0
906.57/906.81	c  906s |      23 |  3333570 |  2977338 |     1249   5291 |        0 |        0
908.57/908.84	c  908s |      23 |  3340313 |  2983338 |     1249   5300 |        0 |        0
910.57/910.85	c  910s |      23 |  3346712 |  2989138 |     1249   5308 |        0 |        0
912.56/912.86	c  912s |      23 |  3352983 |  2994838 |     1249   5317 |        0 |        0
914.56/914.87	c  914s |      23 |  3359346 |  3000738 |     1249   5325 |        0 |        0
916.66/916.91	c  916s |      23 |  3365507 |  3006438 |     1249   5333 |        0 |        0
918.66/918.93	c  918s |      23 |  3371599 |  3012038 |     1249   5341 |        0 |        0
920.66/920.95	c  920s |      23 |  3377669 |  3017538 |     1249   5349 |        0 |        0
922.66/922.97	c  922s |      23 |  3383431 |  3022838 |     1249   5357 |        0 |        0
924.65/924.97	c  924s |      23 |  3388866 |  3027938 |     1249   5364 |        0 |        0
926.75/927.00	c  926s |      23 |  3394838 |  3033538 |     1249   5372 |        0 |        0
928.75/929.03	c  929s |      23 |  3401503 |  3039738 |     1249   5381 |        0 |        0
930.75/931.06	c  931s |      23 |  3407886 |  3045738 |     1249   5389 |        0 |        0
932.75/933.07	c  933s |      23 |  3414023 |  3051438 |     1249   5398 |        0 |        0
934.76/935.07	c  935s |      23 |  3419761 |  3056838 |     1249   5405 |        0 |        0
936.75/937.09	c  937s |      23 |  3426128 |  3062738 |     1249   5414 |        0 |        0
938.75/939.09	c  939s |      23 |  3432811 |  3068838 |     1249   5423 |        0 |        0
940.85/941.10	c  941s |      23 |  3439088 |  3074738 |     1249   5431 |        0 |        0
942.84/943.12	c  943s |      23 |  3445141 |  3080338 |     1249   5439 |        0 |        0
944.84/945.13	c  945s |      23 |  3451740 |  3086338 |     1249   5448 |        0 |        0
946.85/947.14	c  947s |      23 |  3457736 |  3091838 |     1249   5456 |        0 |        0
948.84/949.14	c  949s |      23 |  3463959 |  3097638 |     1249   5464 |        0 |        0
950.84/951.15	c  951s |      23 |  3469542 |  3102838 |     1249   5471 |        0 |        0
952.84/953.17	c  953s |      23 |  3475090 |  3108038 |     1249   5479 |        0 |        0
954.84/955.20	c  955s |      23 |  3480651 |  3113138 |     1249   5486 |        0 |        0
956.94/957.22	c  957s |      23 |  3486112 |  3118238 |     1249   5493 |        0 |        0
958.94/959.24	c  959s |      23 |  3491301 |  3123138 |     1249   5500 |        0 |        0
960.94/961.26	c  961s |      23 |  3496844 |  3128238 |     1249   5508 |        0 |        0
962.93/963.27	c  963s |      23 |  3502574 |  3133538 |     1249   5515 |        0 |        0
964.93/965.27	c  965s |      23 |  3508543 |  3138938 |     1249   5523 |        0 |        0
966.93/967.28	c  967s |      23 |  3514909 |  3144838 |     1249   5531 |        0 |        0
968.94/969.29	c  969s |      23 |  3521276 |  3150738 |     1249   5540 |        0 |        0
971.03/971.30	c  971s |      23 |  3527335 |  3156438 |     1249   5548 |        0 |        0
973.03/973.33	c  973s |      23 |  3533800 |  3162438 |     1249   5556 |        0 |        0
975.03/975.35	c  975s |      23 |  3540143 |  3168238 |     1249   5565 |        0 |        0
977.03/977.38	c  977s |      23 |  3547172 |  3174638 |     1249   5574 |        0 |        0
979.13/979.42	c  979s |      23 |  3553360 |  3180338 |     1249   5582 |        0 |        0
981.12/981.44	c  981s |      23 |  3559602 |  3186038 |     1249   5590 |        0 |        0
983.13/983.47	c  983s |      23 |  3565686 |  3191638 |     1249   5598 |        0 |        0
985.12/985.49	c  985s |      23 |  3571525 |  3196938 |     1249   5606 |        0 |        0
987.22/987.51	c  987s |      23 |  3577415 |  3202338 |     1249   5614 |        0 |        0
989.22/989.55	c  989s |      23 |  3583029 |  3207538 |     1249   5621 |        0 |        0
991.22/991.56	c  991s |      23 |  3588462 |  3212538 |     1249   5628 |        0 |        0
993.22/993.57	c  993s |      23 |  3593771 |  3217438 |     1249   5635 |        0 |        0
995.22/995.57	c  995s |      23 |  3599761 |  3222938 |     1249   5643 |        0 |        0
997.32/997.60	c  997s |      23 |  3605591 |  3228338 |     1249   5651 |        0 |        0
999.32/999.60	c  999s |      23 |  3611111 |  3233438 |     1249   5658 |        0 |        0
1001.31/1001.61	c 1001s |      23 |  3616301 |  3238238 |     1249   5665 |        0 |        0
1003.31/1003.62	c 1003s |      23 |  3621573 |  3243038 |     1249   5672 |        0 |        0
1005.31/1005.63	c 1005s |      23 |  3627594 |  3248538 |     1249   5680 |        0 |        0
1007.31/1007.66	c 1007s |      23 |  3633552 |  3254038 |     1249   5688 |        0 |        0
1009.30/1009.69	c 1009s |      23 |  3639555 |  3259638 |     1249   5696 |        0 |        0
1011.30/1011.70	c 1011s |      23 |  3645294 |  3265038 |     1249   5703 |        0 |        0
1013.40/1013.71	c 1013s |      23 |  3650932 |  3270338 |     1249   5711 |        0 |        0
1015.40/1015.71	c 1015s |      23 |  3656749 |  3275838 |     1249   5719 |        0 |        0
1017.40/1017.74	c 1017s |      23 |  3662822 |  3281438 |     1249   5727 |        0 |        0
1019.40/1019.75	c 1019s |      23 |  3668886 |  3287038 |     1249   5735 |        0 |        0
1021.40/1021.78	c 1021s |      23 |  3674695 |  3292338 |     1249   5742 |        0 |        0
1023.50/1023.80	c 1023s |      23 |  3680995 |  3298138 |     1249   5750 |        0 |        0
1025.50/1025.80	c 1025s |      23 |  3687613 |  3304238 |     1249   5759 |        0 |        0
1027.50/1027.83	c 1027s |      23 |  3693879 |  3310138 |     1249   5767 |        0 |        0
1029.50/1029.85	c 1029s |      23 |  3699789 |  3315638 |     1249   5775 |        0 |        0
1031.50/1031.87	c 1031s |      23 |  3705795 |  3321238 |     1249   5783 |        0 |        0
1033.49/1033.90	c 1033s |      23 |  3711586 |  3326638 |     1249   5791 |        0 |        0
1035.59/1035.90	c 1035s |      23 |  3717309 |  3332038 |     1249   5799 |        0 |        0
1037.59/1037.91	c 1037s |      23 |  3723007 |  3337338 |     1249   5806 |        0 |        0
1039.59/1039.91	c 1039s |      23 |  3728135 |  3342138 |     1249   5813 |        0 |        0
1041.59/1041.95	c 1041s |      23 |  3733444 |  3347138 |     1249   5820 |        0 |        0
1043.60/1043.95	c 1043s |      23 |  3738924 |  3352238 |     1249   5828 |        0 |        0
1045.59/1045.96	c 1045s |      23 |  3745116 |  3358038 |     1374   5835 |        0 |        0
1047.59/1047.96	c 1047s |      23 |  3750924 |  3363538 |     1374   5842 |        0 |        0
1049.59/1049.99	c 1049s |      23 |  3757226 |  3369438 |     1374   5850 |        0 |        0
1051.68/1052.01	c 1051s |      23 |  3763285 |  3375038 |     1374   5857 |        0 |        0
1052.28/1052.63	c 1052s |      24 |  3765099 |  3376662 |     1374   5859 |        0 |        0
1054.28/1054.63	c 1054s |      24 |  3772347 |  3383062 |     1374   5868 |        0 |        0
1056.28/1056.67	c 1056s |      24 |  3779422 |  3389462 |     1374   5877 |        0 |        0
1058.28/1058.68	c 1058s |      24 |  3786403 |  3395762 |     1374   5885 |        0 |        0
1060.38/1060.70	c 1060s |      24 |  3793510 |  3402162 |     1374   5894 |        0 |        0
1062.38/1062.71	c 1062s |      24 |  3800167 |  3408162 |     1374   5902 |        0 |        0
1064.38/1064.75	c 1064s |      24 |  3806785 |  3414162 |     1374   5910 |        0 |        0
1066.38/1066.77	c 1066s |      24 |  3813463 |  3420162 |     1374   5918 |        0 |        0
1068.38/1068.77	c 1068s |      24 |  3819822 |  3425862 |     1374   5925 |        0 |        0
1070.48/1070.81	c 1070s |      24 |  3825980 |  3431462 |     1374   5933 |        0 |        0
1072.47/1072.82	c 1072s |      24 |  3831852 |  3436762 |     1374   5940 |        0 |        0
1074.48/1074.86	c 1074s |      24 |  3837813 |  3442162 |     1374   5947 |        0 |        0
1076.47/1076.88	c 1076s |      24 |  3844830 |  3448362 |     1374   5955 |        0 |        0
1078.57/1078.91	c 1078s |      24 |  3851805 |  3454662 |     1374   5963 |        0 |        0
1080.57/1080.92	c 1080s |      24 |  3858712 |  3460762 |     1374   5971 |        0 |        0
1082.56/1082.92	c 1082s |      24 |  3865476 |  3466862 |     1374   5980 |        0 |        0
1084.56/1084.94	c 1084s |      24 |  3872704 |  3473362 |     1374   5988 |        0 |        0
1086.57/1086.97	c 1086s |      24 |  3879728 |  3479662 |     1374   5997 |        0 |        0
1088.67/1089.00	c 1088s |      24 |  3886615 |  3485862 |     1374   6005 |        0 |        0
1090.66/1091.01	c 1090s |      24 |  3893277 |  3491962 |     1374   6013 |        0 |        0
1092.65/1093.04	c 1093s |      24 |  3900082 |  3498162 |     1374   6021 |        0 |        0
1094.65/1095.05	c 1095s |      24 |  3907017 |  3504462 |     1374   6030 |        0 |        0
1096.65/1097.05	c 1097s |      24 |  3913457 |  3510362 |     1374   6038 |        0 |        0
1098.66/1099.08	c 1099s |      24 |  3920951 |  3516962 |     1374   6046 |        0 |        0
1100.65/1101.10	c 1101s |      24 |  3928629 |  3523562 |     1374   6055 |        0 |        0
1102.75/1103.12	c 1103s |      24 |  3935274 |  3529662 |     1374   6063 |        0 |        0
1104.75/1105.15	c 1105s |      24 |  3941877 |  3535662 |     1374   6071 |        0 |        0
1106.75/1107.19	c 1107s |      24 |  3948768 |  3541862 |     1374   6080 |        0 |        0
1108.85/1109.20	c 1109s |      24 |  3955481 |  3547962 |     1374   6088 |        0 |        0
1110.86/1111.20	c 1111s |      24 |  3962695 |  3554462 |     1374   6096 |        0 |        0
1112.86/1113.22	c 1113s |      24 |  3969614 |  3560562 |     1374   6105 |        0 |        0
1114.85/1115.23	c 1115s |      24 |  3976241 |  3566362 |     1374   6112 |        0 |        0
1116.85/1117.27	c 1117s |      24 |  3982449 |  3571962 |     1374   6120 |        0 |        0
1118.85/1119.28	c 1119s |      24 |  3988904 |  3577762 |     1374   6127 |        0 |        0
1120.95/1121.30	c 1121s |      24 |  3995897 |  3583962 |     1374   6136 |        0 |        0
1122.95/1123.33	c 1123s |      24 |  4002266 |  3589762 |     1374   6143 |        0 |        0
1124.95/1125.36	c 1125s |      24 |  4008670 |  3595562 |     1374   6151 |        0 |        0
1126.94/1127.37	c 1127s |      24 |  4014921 |  3601262 |     1374   6159 |        0 |        0
1129.04/1129.40	c 1129s |      24 |  4021648 |  3607362 |     1374   6167 |        0 |        0
1131.04/1131.42	c 1131s |      24 |  4028479 |  3613562 |     1374   6175 |        0 |        0
1133.04/1133.45	c 1133s |      24 |  4035351 |  3619862 |     1374   6184 |        0 |        0
1135.04/1135.47	c 1135s |      24 |  4041692 |  3625762 |     1374   6192 |        0 |        0
1137.05/1137.47	c 1137s |      24 |  4047945 |  3631562 |     1374   6199 |        0 |        0
1139.04/1139.49	c 1139s |      24 |  4054655 |  3637562 |     1374   6207 |        0 |        0
1141.14/1141.51	c 1141s |      24 |  4061084 |  3643462 |     1374   6215 |        0 |        0
1143.14/1143.53	c 1143s |      24 |  4067813 |  3649562 |     1374   6223 |        0 |        0
1145.14/1145.56	c 1145s |      24 |  4074738 |  3656062 |     1374   6232 |        0 |        0
1147.14/1147.57	c 1147s |      24 |  4081525 |  3662362 |     1374   6240 |        0 |        0
1149.14/1149.59	c 1149s |      24 |  4088356 |  3668662 |     1374   6248 |        0 |        0
1151.23/1151.62	c 1151s |      24 |  4095150 |  3674862 |     1374   6257 |        0 |        0
1153.23/1153.65	c 1153s |      24 |  4101901 |  3681062 |     1374   6265 |        0 |        0
1155.23/1155.66	c 1155s |      24 |  4108868 |  3687262 |     1374   6273 |        0 |        0
1157.23/1157.69	c 1157s |      24 |  4115721 |  3693462 |     1374   6281 |        0 |        0
1159.33/1159.70	c 1159s |      24 |  4122058 |  3699262 |     1374   6289 |        0 |        0
1161.33/1161.73	c 1161s |      24 |  4128454 |  3705062 |     1374   6297 |        0 |        0
1163.32/1163.73	c 1163s |      24 |  4135272 |  3711062 |     1374   6305 |        0 |        0
1165.32/1165.74	c 1165s |      24 |  4141730 |  3716862 |     1374   6312 |        0 |        0
1167.32/1167.77	c 1167s |      24 |  4148230 |  3722662 |     1374   6320 |        0 |        0
1169.32/1169.79	c 1169s |      24 |  4154879 |  3728662 |     1374   6328 |        0 |        0
1171.31/1171.79	c 1171s |      24 |  4161276 |  3734462 |     1374   6336 |        0 |        0
1173.42/1173.83	c 1173s |      24 |  4167543 |  3740162 |     1374   6343 |        0 |        0
1175.41/1175.87	c 1175s |      24 |  4173867 |  3745962 |     1374   6351 |        0 |        0
1177.41/1177.87	c 1177s |      24 |  4180131 |  3751662 |     1374   6359 |        0 |        0
1179.51/1179.92	c 1179s |      24 |  4186660 |  3757662 |     1374   6367 |        0 |        0
1181.50/1181.93	c 1181s |      24 |  4193293 |  3763762 |     1374   6375 |        0 |        0
1183.50/1183.96	c 1183s |      24 |  4199564 |  3769462 |     1374   6382 |        0 |        0
1185.51/1185.98	c 1185s |      24 |  4205780 |  3775062 |     1374   6390 |        0 |        0
1187.50/1187.98	c 1187s |      24 |  4212563 |  3781262 |     1374   6398 |        0 |        0
1189.50/1189.99	c 1189s |      24 |  4219354 |  3787362 |     1374   6406 |        0 |        0
1191.61/1192.01	c 1191s |      24 |  4225485 |  3792962 |     1374   6413 |        0 |        0
1193.61/1194.02	c 1194s |      24 |  4231204 |  3798262 |     1374   6421 |        0 |        0
1195.61/1196.02	c 1196s |      24 |  4237367 |  3803962 |     1374   6428 |        0 |        0
1197.61/1198.05	c 1198s |      24 |  4243892 |  3809962 |     1374   6436 |        0 |        0
1199.61/1200.06	c 1200s |      24 |  4249883 |  3815462 |     1374   6443 |        0 |        0
1201.60/1202.06	c 1202s |      24 |  4256226 |  3821062 |     1374   6451 |        0 |        0
1203.60/1204.08	c 1204s |      24 |  4261941 |  3826262 |     1374   6458 |        0 |        0
1205.60/1206.10	c 1206s |      24 |  4267773 |  3831562 |     1374   6465 |        0 |        0
1207.70/1208.10	c 1208s |      24 |  4274059 |  3837162 |     1374   6472 |        0 |        0
1209.61/1210.10	c 1210s |      24 |  4279843 |  3842362 |     1374   6479 |        0 |        0
1211.70/1212.12	c 1212s |      24 |  4285835 |  3847862 |     1374   6487 |        0 |        0
1213.70/1214.13	c 1214s |      24 |  4291674 |  3853262 |     1374   6494 |        0 |        0
1215.70/1216.14	c 1216s |      24 |  4297621 |  3858662 |     1374   6501 |        0 |        0
1217.70/1218.16	c 1218s |      24 |  4303037 |  3863662 |     1374   6508 |        0 |        0
1219.70/1220.16	c 1220s |      24 |  4308664 |  3868762 |     1374   6514 |        0 |        0
1221.70/1222.18	c 1222s |      24 |  4314427 |  3874062 |     1374   6521 |        0 |        0
1223.69/1224.19	c 1224s |      24 |  4320985 |  3879962 |     1374   6529 |        0 |        0
1225.69/1226.19	c 1226s |      24 |  4326995 |  3885462 |     1374   6537 |        0 |        0
1227.79/1228.21	c 1228s |      24 |  4333700 |  3891362 |     1374   6544 |        0 |        0
1229.79/1230.23	c 1230s |      24 |  4340953 |  3897762 |     1374   6553 |        0 |        0
1231.78/1232.27	c 1232s |      24 |  4348134 |  3904162 |     1374   6561 |        0 |        0
1233.79/1234.29	c 1234s |      24 |  4354815 |  3910162 |     1374   6569 |        0 |        0
1235.78/1236.29	c 1236s |      24 |  4360938 |  3915662 |     1374   6577 |        0 |        0
1237.78/1238.29	c 1238s |      24 |  4366779 |  3920962 |     1374   6584 |        0 |        0
1239.88/1240.32	c 1240s |      24 |  4373823 |  3927162 |     1374   6592 |        0 |        0
1241.88/1242.33	c 1242s |      24 |  4380294 |  3932962 |     1374   6600 |        0 |        0
1243.88/1244.35	c 1244s |      24 |  4386852 |  3938862 |     1374   6608 |        0 |        0
1245.89/1246.35	c 1246s |      24 |  4393177 |  3944662 |     1374   6615 |        0 |        0
1247.88/1248.38	c 1248s |      24 |  4400007 |  3950762 |     1374   6624 |        0 |        0
1249.88/1250.38	c 1250s |      24 |  4406489 |  3956562 |     1374   6631 |        0 |        0
1251.97/1252.40	c 1252s |      24 |  4413037 |  3962362 |     1374   6639 |        0 |        0
1253.97/1254.42	c 1254s |      24 |  4419846 |  3968362 |     1374   6647 |        0 |        0
1255.97/1256.43	c 1256s |      24 |  4426009 |  3973962 |     1374   6654 |        0 |        0
1257.98/1258.45	c 1258s |      24 |  4431880 |  3979362 |     1374   6662 |        0 |        0
1259.97/1260.45	c 1260s |      24 |  4437721 |  3984662 |     1374   6669 |        0 |        0
1261.97/1262.46	c 1262s |      24 |  4444401 |  3990562 |     1374   6677 |        0 |        0
1263.97/1264.47	c 1264s |      24 |  4451161 |  3996562 |     1374   6685 |        0 |        0
1265.97/1266.48	c 1266s |      24 |  4457057 |  4001962 |     1374   6692 |        0 |        0
1267.97/1268.49	c 1268s |      24 |  4463868 |  4008062 |     1374   6700 |        0 |        0
1269.97/1270.50	c 1270s |      24 |  4470487 |  4013962 |     1374   6708 |        0 |        0
1272.06/1272.51	c 1272s |      24 |  4477336 |  4020062 |     1374   6716 |        0 |        0
1274.06/1274.54	c 1274s |      24 |  4483494 |  4025762 |     1374   6723 |        0 |        0
1276.06/1276.56	c 1276s |      24 |  4490126 |  4031662 |     1374   6731 |        0 |        0
1278.06/1278.58	c 1278s |      24 |  4496493 |  4037462 |     1374   6739 |        0 |        0
1280.16/1280.60	c 1280s |      24 |  4503327 |  4043562 |     1374   6747 |        0 |        0
1282.16/1282.61	c 1282s |      24 |  4509694 |  4049362 |     1374   6755 |        0 |        0
1284.15/1284.64	c 1284s |      24 |  4515892 |  4054862 |     1374   6762 |        0 |        0
1286.15/1286.64	c 1286s |      24 |  4522171 |  4060362 |     1374   6770 |        0 |        0
1288.15/1288.65	c 1288s |      24 |  4527758 |  4065362 |     1374   6776 |        0 |        0
1290.16/1290.66	c 1290s |      24 |  4534306 |  4071062 |     1374   6784 |        0 |        0
1292.16/1292.68	c 1292s |      24 |  4540711 |  4076862 |     1374   6792 |        0 |        0
1294.15/1294.68	c 1294s |      24 |  4547524 |  4082762 |     1374   6800 |        0 |        0
1296.25/1296.73	c 1296s |      24 |  4554273 |  4088662 |     1374   6808 |        0 |        0
1298.25/1298.76	c 1298s |      24 |  4561079 |  4094462 |     1374   6815 |        0 |        0
1300.25/1300.76	c 1300s |      24 |  4567004 |  4099762 |     1374   6822 |        0 |        0
1302.25/1302.78	c 1302s |      24 |  4573196 |  4105162 |     1374   6830 |        0 |        0
1304.25/1304.79	c 1304s |      24 |  4579293 |  4110562 |     1374   6837 |        0 |        0
1306.24/1306.79	c 1306s |      24 |  4585355 |  4116062 |     1374   6844 |        0 |        0
1308.34/1308.83	c 1308s |      24 |  4592591 |  4122362 |     1374   6853 |        0 |        0
1310.34/1310.86	c 1310s |      24 |  4599264 |  4128262 |     1374   6860 |        0 |        0
1312.34/1312.87	c 1312s |      24 |  4605847 |  4134062 |     1374   6868 |        0 |        0
1314.34/1314.89	c 1314s |      24 |  4612044 |  4139562 |     1374   6875 |        0 |        0
1316.44/1316.91	c 1316s |      24 |  4617631 |  4144562 |     1374   6882 |        0 |        0
1318.44/1318.95	c 1318s |      24 |  4623565 |  4149862 |     1374   6889 |        0 |        0
1320.44/1320.96	c 1320s |      24 |  4630044 |  4155462 |     1374   6897 |        0 |        0
1322.43/1322.97	c 1322s |      24 |  4636043 |  4160862 |     1374   6904 |        0 |        0
1324.43/1324.99	c 1324s |      24 |  4641811 |  4166162 |     1374   6911 |        0 |        0
1326.53/1327.01	c 1326s |      24 |  4648127 |  4171762 |     1374   6918 |        0 |        0
1328.53/1329.01	c 1328s |      24 |  4654670 |  4177462 |     1374   6926 |        0 |        0
1330.54/1331.05	c 1331s |      24 |  4661008 |  4183062 |     1374   6933 |        0 |        0
1332.52/1333.07	c 1333s |      24 |  4667129 |  4188562 |     1374   6941 |        0 |        0
1334.52/1335.08	c 1335s |      24 |  4673889 |  4194462 |     1374   6949 |        0 |        0
1336.52/1337.09	c 1337s |      24 |  4680253 |  4200062 |     1374   6956 |        0 |        0
1338.52/1339.09	c 1339s |      24 |  4686796 |  4205762 |     1374   6964 |        0 |        0
1340.62/1341.12	c 1341s |      24 |  4693224 |  4211562 |     1374   6972 |        0 |        0
1342.63/1343.14	c 1343s |      24 |  4699601 |  4217262 |     1374   6979 |        0 |        0
1344.62/1345.16	c 1345s |      24 |  4705401 |  4222462 |     1374   6986 |        0 |        0
1346.62/1347.19	c 1347s |      24 |  4711580 |  4227962 |     1374   6993 |        0 |        0
1348.72/1349.22	c 1349s |      24 |  4717556 |  4233362 |     1374   7001 |        0 |        0
1350.72/1351.24	c 1351s |      24 |  4723462 |  4238662 |     1374   7008 |        0 |        0
1352.72/1353.25	c 1353s |      24 |  4729566 |  4244062 |     1374   7015 |        0 |        0
1354.72/1355.27	c 1355s |      24 |  4735742 |  4249562 |     1374   7022 |        0 |        0
1356.72/1357.29	c 1357s |      24 |  4741895 |  4255162 |     1374   7030 |        0 |        0
1358.82/1359.30	c 1359s |      24 |  4747784 |  4260462 |     1374   7037 |        0 |        0
1360.82/1361.33	c 1361s |      24 |  4753479 |  4265662 |     1374   7044 |        0 |        0
1362.82/1363.36	c 1363s |      24 |  4759321 |  4270962 |     1374   7051 |        0 |        0
1364.92/1365.40	c 1365s |      24 |  4764981 |  4276162 |     1374   7058 |        0 |        0
1366.92/1367.44	c 1367s |      24 |  4771504 |  4281862 |     1374   7065 |        0 |        0
1368.91/1369.46	c 1369s |      24 |  4777669 |  4287462 |     1374   7073 |        0 |        0
1370.91/1371.49	c 1371s |      24 |  4783513 |  4292762 |     1374   7080 |        0 |        0
1373.01/1373.53	c 1373s |      24 |  4789605 |  4298162 |     1374   7087 |        0 |        0
1375.01/1375.53	c 1375s |      24 |  4795701 |  4303462 |     1374   7094 |        0 |        0
1377.01/1377.55	c 1377s |      24 |  4801840 |  4309062 |     1374   7101 |        0 |        0
1379.02/1379.56	c 1379s |      24 |  4808038 |  4314562 |     1374   7109 |        0 |        0
1381.01/1381.60	c 1381s |      24 |  4814405 |  4320162 |     1374   7116 |        0 |        0
1383.11/1383.60	c 1383s |      24 |  4821185 |  4326062 |     1374   7124 |        0 |        0
1385.11/1385.63	c 1385s |      24 |  4827514 |  4331562 |     1374   7131 |        0 |        0
1387.11/1387.65	c 1387s |      24 |  4833507 |  4337062 |     1374   7139 |        0 |        0
1389.11/1389.67	c 1389s |      24 |  4839876 |  4342862 |     1374   7146 |        0 |        0
1391.11/1391.68	c 1391s |      24 |  4846277 |  4348562 |     1374   7154 |        0 |        0
1393.22/1393.72	c 1393s |      24 |  4852693 |  4354162 |     1374   7161 |        0 |        0
1395.22/1395.74	c 1395s |      24 |  4858557 |  4359462 |     1374   7168 |        0 |        0
1397.22/1397.77	c 1397s |      24 |  4864809 |  4365162 |     1374   7176 |        0 |        0
1399.32/1399.80	c 1399s |      24 |  4870982 |  4370762 |     1374   7183 |        0 |        0
1401.32/1401.82	c 1401s |      24 |  4876780 |  4376062 |     1374   7190 |        0 |        0
1403.31/1403.85	c 1403s |      24 |  4883465 |  4381862 |     1374   7198 |        0 |        0
1405.32/1405.88	c 1405s |      24 |  4889844 |  4387362 |     1374   7206 |        0 |        0
1407.31/1407.89	c 1407s |      24 |  4896439 |  4393162 |     1374   7213 |        0 |        0
1409.41/1409.91	c 1409s |      24 |  4902120 |  4398362 |     1374   7220 |        0 |        0
1411.41/1411.91	c 1411s |      24 |  4908242 |  4403762 |     1374   7227 |        0 |        0
1413.41/1413.94	c 1413s |      24 |  4914030 |  4409062 |     1374   7234 |        0 |        0
1415.41/1415.95	c 1415s |      24 |  4919846 |  4414262 |     1374   7241 |        0 |        0
1417.42/1417.97	c 1417s |      24 |  4925214 |  4419062 |     1374   7248 |        0 |        0
1419.51/1420.02	c 1420s |      24 |  4931141 |  4424262 |     1374   7255 |        0 |        0
1421.51/1422.03	c 1422s |      24 |  4937130 |  4429662 |     1374   7262 |        0 |        0
1423.51/1424.07	c 1424s |      24 |  4942307 |  4434462 |     1374   7268 |        0 |        0
1425.61/1426.10	c 1426s |      24 |  4947165 |  4438962 |     1374   7274 |        0 |        0
1427.61/1428.12	c 1428s |      24 |  4951929 |  4443362 |     1374   7280 |        0 |        0
1429.61/1430.14	c 1430s |      24 |  4956527 |  4447662 |     1374   7286 |        0 |        0
1431.61/1432.18	c 1432s |      24 |  4962186 |  4452862 |     1374   7293 |        0 |        0
1433.71/1434.23	c 1434s |      24 |  4968121 |  4458162 |     1374   7300 |        0 |        0
1435.71/1436.26	c 1436s |      24 |  4973523 |  4463062 |     1374   7306 |        0 |        0
1437.81/1438.31	c 1438s |      24 |  4978753 |  4467862 |     1374   7312 |        0 |        0
1439.81/1440.31	c 1440s |      24 |  4983677 |  4472462 |     1374   7319 |        0 |        0
1441.80/1442.31	c 1442s |      24 |  4988680 |  4477062 |     1374   7325 |        0 |        0
1443.81/1444.34	c 1444s |      24 |  4994514 |  4482362 |     1374   7332 |        0 |        0
1445.80/1446.37	c 1446s |      24 |  5000246 |  4487662 |     1374   7339 |        0 |        0
1447.80/1448.40	c 1448s |      24 |  5005545 |  4492562 |     1374   7345 |        0 |        0
1449.90/1450.43	c 1450s |      24 |  5010694 |  4497362 |     1374   7352 |        0 |        0
1451.90/1452.44	c 1452s |      24 |  5015941 |  4502162 |     1374   7358 |        0 |        0
1453.90/1454.45	c 1454s |      24 |  5021168 |  4507062 |     1374   7364 |        0 |        0
1455.91/1456.47	c 1456s |      24 |  5026313 |  4511862 |     1374   7371 |        0 |        0
1457.90/1458.49	c 1458s |      24 |  5031348 |  4516562 |     1374   7377 |        0 |        0
1460.00/1460.50	c 1460s |      24 |  5037214 |  4521862 |     1374   7384 |        0 |        0
1462.00/1462.50	c 1462s |      24 |  5042465 |  4526562 |     1374   7390 |        0 |        0
1464.00/1464.50	c 1464s |      24 |  5048131 |  4531562 |     1374   7397 |        0 |        0
1466.00/1466.51	c 1466s |      24 |  5053821 |  4536562 |     1374   7404 |        0 |        0
1468.01/1468.53	c 1468s |      24 |  5058920 |  4541162 |     1374   7410 |        0 |        0
1470.00/1470.54	c 1470s |      24 |  5063666 |  4545562 |     1374   7416 |        0 |        0
1472.00/1472.54	c 1472s |      24 |  5068571 |  4550062 |     1374   7421 |        0 |        0
1474.00/1474.57	c 1474s |      24 |  5073195 |  4554362 |     1374   7427 |        0 |        0
1476.00/1476.58	c 1476s |      24 |  5077811 |  4558662 |     1374   7433 |        0 |        0
1478.10/1478.60	c 1478s |      24 |  5082789 |  4563162 |     1374   7439 |        0 |        0
1480.10/1480.61	c 1480s |      24 |  5088198 |  4568162 |     1374   7445 |        0 |        0
1482.10/1482.62	c 1482s |      24 |  5094458 |  4573662 |     1374   7453 |        0 |        0
1484.10/1484.63	c 1484s |      24 |  5100142 |  4578662 |     1374   7459 |        0 |        0
1486.10/1486.67	c 1486s |      24 |  5106725 |  4584262 |     1374   7467 |        0 |        0
1488.19/1488.70	c 1488s |      24 |  5112227 |  4589162 |     1374   7473 |        0 |        0
1490.19/1490.74	c 1490s |      24 |  5117827 |  4594162 |     1374   7480 |        0 |        0
1492.20/1492.77	c 1492s |      24 |  5123117 |  4598862 |     1374   7486 |        0 |        0
1494.29/1494.80	c 1494s |      24 |  5128136 |  4603362 |     1374   7492 |        0 |        0
1496.29/1496.83	c 1496s |      24 |  5133573 |  4608062 |     1374   7498 |        0 |        0
1498.29/1498.85	c 1498s |      24 |  5138894 |  4612862 |     1374   7505 |        0 |        0
1500.29/1500.85	c 1500s |      24 |  5144419 |  4617862 |     1374   7511 |        0 |        0
1502.29/1502.85	c 1502s |      24 |  5149719 |  4622762 |     1374   7518 |        0 |        0
1504.30/1504.90	c 1504s |      24 |  5154778 |  4627462 |     1374   7524 |        0 |        0
1506.39/1506.94	c 1506s |      24 |  5160156 |  4632362 |     1374   7530 |        0 |        0
1508.39/1508.99	c 1508s |      24 |  5165000 |  4636762 |     1374   7536 |        0 |        0
1510.39/1510.99	c 1510s |      24 |  5170237 |  4641362 |     1374   7542 |        0 |        0
1512.50/1513.01	c 1512s |      24 |  5175456 |  4645962 |     1374   7548 |        0 |        0
1514.50/1515.01	c 1514s |      24 |  5180995 |  4650962 |     1374   7555 |        0 |        0
1516.50/1517.05	c 1517s |      24 |  5186559 |  4656062 |     1374   7562 |        0 |        0
1518.50/1519.06	c 1519s |      24 |  5191826 |  4660962 |     1374   7568 |        0 |        0
1520.49/1521.09	c 1521s |      24 |  5197203 |  4665862 |     1374   7575 |        0 |        0
1522.59/1523.10	c 1523s |      24 |  5202924 |  4670962 |     1374   7582 |        0 |        0
1524.59/1525.13	c 1525s |      24 |  5208668 |  4676262 |     1374   7589 |        0 |        0
1526.59/1527.16	c 1527s |      24 |  5213710 |  4681062 |     1374   7595 |        0 |        0
1528.60/1529.18	c 1529s |      24 |  5218665 |  4685662 |     1374   7601 |        0 |        0
1530.59/1531.20	c 1531s |      24 |  5223818 |  4690362 |     1374   7607 |        0 |        0
1532.69/1533.22	c 1533s |      24 |  5229664 |  4695662 |     1374   7614 |        0 |        0
1534.69/1535.24	c 1535s |      24 |  5235465 |  4700962 |     1374   7622 |        0 |        0
1536.69/1537.24	c 1537s |      24 |  5240854 |  4705962 |     1374   7628 |        0 |        0
1538.69/1539.26	c 1539s |      24 |  5246543 |  4711162 |     1374   7635 |        0 |        0
1540.70/1541.28	c 1541s |      24 |  5252617 |  4716662 |     1374   7642 |        0 |        0
1542.69/1543.30	c 1543s |      24 |  5258669 |  4722062 |     1374   7650 |        0 |        0
1544.79/1545.30	c 1545s |      24 |  5264720 |  4727462 |     1374   7657 |        0 |        0
1546.79/1547.30	c 1547s |      24 |  5270651 |  4732862 |     1374   7664 |        0 |        0
1548.79/1549.30	c 1549s |      24 |  5276546 |  4738262 |     1374   7671 |        0 |        0
1550.79/1551.31	c 1551s |      24 |  5283028 |  4743962 |     1374   7679 |        0 |        0
1552.79/1553.34	c 1553s |      24 |  5289097 |  4749462 |     1374   7686 |        0 |        0
1554.79/1555.35	c 1555s |      24 |  5295256 |  4754862 |     1374   7693 |        0 |        0
1556.79/1557.37	c 1557s |      24 |  5301296 |  4760262 |     1374   7701 |        0 |        0
1558.89/1559.41	c 1559s |      24 |  5308064 |  4766162 |     1374   7709 |        0 |        0
1560.88/1561.46	c 1561s |      24 |  5314967 |  4772162 |     1374   7717 |        0 |        0
1562.88/1563.47	c 1563s |      24 |  5321638 |  4777962 |     1374   7724 |        0 |        0
1564.89/1565.50	c 1565s |      24 |  5328083 |  4783762 |     1374   7732 |        0 |        0
1566.99/1567.51	c 1567s |      24 |  5334108 |  4789262 |     1374   7739 |        0 |        0
1568.98/1569.52	c 1569s |      24 |  5340491 |  4794962 |     1374   7747 |        0 |        0
1570.98/1571.53	c 1571s |      24 |  5346300 |  4800162 |     1374   7754 |        0 |        0
1572.98/1573.57	c 1573s |      24 |  5351773 |  4805062 |     1374   7761 |        0 |        0
1574.98/1575.59	c 1575s |      24 |  5357242 |  4810162 |     1374   7767 |        0 |        0
1577.08/1577.63	c 1577s |      24 |  5362389 |  4814862 |     1374   7774 |        0 |        0
1579.09/1579.66	c 1579s |      24 |  5368063 |  4819962 |     1374   7780 |        0 |        0
1581.08/1581.69	c 1581s |      24 |  5373807 |  4825262 |     1374   7787 |        0 |        0
1583.18/1583.71	c 1583s |      24 |  5379615 |  4830462 |     1374   7794 |        0 |        0
1585.18/1585.72	c 1585s |      24 |  5385392 |  4835562 |     1374   7801 |        0 |        0
1587.18/1587.74	c 1587s |      24 |  5390618 |  4840262 |     1374   7807 |        0 |        0
1589.18/1589.77	c 1589s |      24 |  5396192 |  4845362 |     1374   7814 |        0 |        0
1591.19/1591.79	c 1591s |      24 |  5402526 |  4851062 |     1374   7822 |        0 |        0
1593.28/1593.81	c 1593s |      24 |  5408605 |  4856662 |     1374   7829 |        0 |        0
1595.28/1595.86	c 1595s |      24 |  5414594 |  4862262 |     1374   7837 |        0 |        0
1597.28/1597.89	c 1597s |      24 |  5420270 |  4867362 |     1374   7843 |        0 |        0
1599.38/1599.93	c 1599s |      24 |  5425890 |  4872462 |     1374   7850 |        0 |        0
1601.38/1601.94	c 1601s |      24 |  5431585 |  4877662 |     1374   7857 |        0 |        0
1603.38/1603.96	c 1603s |      24 |  5437665 |  4883162 |     1374   7865 |        0 |        0
1605.38/1605.99	c 1605s |      24 |  5443710 |  4888662 |     1374   7872 |        0 |        0
1607.38/1607.99	c 1607s |      24 |  5450000 |  4894162 |     1374   7879 |        0 |        0
1609.48/1610.00	c 1609s |      24 |  5456093 |  4899662 |     1374   7887 |        0 |        0
1611.48/1612.03	c 1612s |      24 |  5462170 |  4905162 |     1374   7894 |        0 |        0
1613.47/1614.04	c 1614s |      24 |  5467949 |  4910462 |     1374   7901 |        0 |        0
1615.48/1616.04	c 1616s |      24 |  5473218 |  4915362 |     1374   7908 |        0 |        0
1617.47/1618.07	c 1618s |      24 |  5479534 |  4920962 |     1374   7915 |        0 |        0
1619.57/1620.11	c 1620s |      24 |  5485768 |  4926662 |     1374   7923 |        0 |        0
1621.58/1622.13	c 1622s |      24 |  5491764 |  4932062 |     1374   7930 |        0 |        0
1623.58/1624.17	c 1624s |      24 |  5498000 |  4937662 |     1374   7937 |        0 |        0
1625.58/1626.19	c 1626s |      24 |  5504453 |  4943262 |     1374   7945 |        0 |        0
1627.68/1628.21	c 1628s |      24 |  5510853 |  4948962 |     1374   7952 |        0 |        0
1629.69/1630.22	c 1630s |      24 |  5517099 |  4954462 |     1374   7960 |        0 |        0
1631.68/1632.24	c 1632s |      24 |  5523507 |  4960262 |     1374   7967 |        0 |        0
1633.68/1634.26	c 1634s |      24 |  5530004 |  4966062 |     1374   7975 |        0 |        0
1635.68/1636.28	c 1636s |      24 |  5536398 |  4971662 |     1374   7983 |        0 |        0
1637.68/1638.29	c 1638s |      24 |  5542794 |  4977362 |     1374   7990 |        0 |        0
1639.68/1640.29	c 1640s |      24 |  5549043 |  4982862 |     1374   7997 |        0 |        0
1641.68/1642.29	c 1642s |      24 |  5555173 |  4988362 |     1374   8005 |        0 |        0
1643.78/1644.32	c 1644s |      24 |  5561708 |  4994162 |     1374   8012 |        0 |        0
1645.78/1646.33	c 1646s |      24 |  5568350 |  4999962 |     1374   8020 |        0 |        0
1647.78/1648.35	c 1648s |      24 |  5574575 |  5005462 |     1374   8027 |        0 |        0
1649.78/1650.37	c 1650s |      24 |  5580438 |  5010762 |     1374   8035 |        0 |        0
1651.78/1652.37	c 1652s |      24 |  5586499 |  5016262 |     1374   8042 |        0 |        0
1653.77/1654.38	c 1654s |      24 |  5592928 |  5021962 |     1374   8049 |        0 |        0
1655.87/1656.41	c 1656s |      24 |  5599101 |  5027562 |     1374   8057 |        0 |        0
1657.87/1658.41	c 1658s |      24 |  5604939 |  5032762 |     1512   8063 |        0 |        0
1659.87/1660.43	c 1660s |      24 |  5611039 |  5038162 |     1512   8070 |        0 |        0
1661.87/1662.46	c 1662s |      24 |  5616885 |  5043462 |     1512   8076 |        0 |        0
1663.88/1664.49	c 1664s |      24 |  5622795 |  5048762 |     1512   8083 |        0 |        0
1665.98/1666.51	c 1666s |      24 |  5628657 |  5054062 |     1512   8089 |        0 |        0
1667.97/1668.52	c 1668s |      24 |  5634169 |  5059162 |     1512   8095 |        0 |        0
1669.97/1670.53	c 1670s |      24 |  5640034 |  5064462 |     1512   8102 |        0 |        0
1670.17/1670.78	c 1670s |      25 |  5640733 |  5065098 |     1512   8103 |        0 |        0
1672.27/1672.82	c 1672s |      25 |  5647598 |  5070898 |     1512   8110 |        0 |        0
1674.27/1674.83	c 1674s |      25 |  5654183 |  5076698 |     1512   8117 |        0 |        0
1676.27/1676.85	c 1676s |      25 |  5660395 |  5082298 |     1512   8124 |        0 |        0
1678.27/1678.85	c 1678s |      25 |  5666050 |  5087498 |     1512   8130 |        0 |        0
1680.28/1680.87	c 1680s |      25 |  5671952 |  5092798 |     1512   8136 |        0 |        0
1682.27/1682.89	c 1682s |      25 |  5678399 |  5098398 |     1512   8143 |        0 |        0
1684.37/1684.92	c 1684s |      25 |  5684695 |  5103898 |     1512   8150 |        0 |        0
1686.37/1686.92	c 1686s |      25 |  5691090 |  5109598 |     1512   8157 |        0 |        0
1688.37/1688.96	c 1688s |      25 |  5697229 |  5114898 |     1512   8163 |        0 |        0
1690.37/1690.97	c 1690s |      25 |  5703609 |  5120498 |     1512   8170 |        0 |        0
1692.37/1692.99	c 1692s |      25 |  5710457 |  5126498 |     1512   8177 |        0 |        0
1694.47/1695.01	c 1694s |      25 |  5716500 |  5131798 |     1512   8184 |        0 |        0
1696.47/1697.03	c 1697s |      25 |  5722798 |  5137298 |     1512   8191 |        0 |        0
1698.47/1699.06	c 1699s |      25 |  5729093 |  5142898 |     1512   8197 |        0 |        0
1700.47/1701.08	c 1701s |      25 |  5734842 |  5148098 |     1512   8204 |        0 |        0
1702.47/1703.08	c 1703s |      25 |  5741063 |  5153598 |     1512   8210 |        0 |        0
1704.57/1705.12	c 1705s |      25 |  5746921 |  5158798 |     1512   8216 |        0 |        0
1706.56/1707.13	c 1707s |      25 |  5752807 |  5163798 |     1512   8223 |        0 |        0
1708.56/1709.16	c 1709s |      25 |  5759156 |  5169398 |     1512   8229 |        0 |        0
1710.56/1711.19	c 1711s |      25 |  5765325 |  5174898 |     1512   8236 |        0 |        0
1712.66/1713.23	c 1713s |      25 |  5771201 |  5180298 |     1512   8243 |        0 |        0
1714.66/1715.24	c 1715s |      25 |  5777182 |  5185698 |     1512   8249 |        0 |        0
1716.67/1717.26	c 1717s |      25 |  5783519 |  5191398 |     1512   8256 |        0 |        0
1718.66/1719.27	c 1719s |      25 |  5790254 |  5197398 |     1512   8263 |        0 |        0
1720.66/1721.28	c 1721s |      25 |  5796692 |  5202998 |     1512   8270 |        0 |        0
1722.76/1723.32	c 1723s |      25 |  5803396 |  5208898 |     1512   8277 |        0 |        0
1724.76/1725.35	c 1725s |      25 |  5810106 |  5214798 |     1512   8284 |        0 |        0
1726.76/1727.36	c 1727s |      25 |  5816240 |  5220098 |     1512   8291 |        0 |        0
1728.77/1729.39	c 1729s |      25 |  5821737 |  5224898 |     1512   8297 |        0 |        0
1730.87/1731.42	c 1731s |      25 |  5827761 |  5230198 |     1512   8303 |        0 |        0
1732.86/1733.42	c 1733s |      25 |  5833723 |  5235498 |     1512   8310 |        0 |        0
1734.86/1735.45	c 1735s |      25 |  5840019 |  5241098 |     1512   8316 |        0 |        0
1736.86/1737.47	c 1737s |      25 |  5846510 |  5246898 |     1512   8323 |        0 |        0
1738.86/1739.48	c 1739s |      25 |  5852891 |  5252498 |     1512   8330 |        0 |        0
1740.96/1741.50	c 1741s |      25 |  5859643 |  5258498 |     1512   8338 |        0 |        0
1742.96/1743.54	c 1743s |      25 |  5865919 |  5264198 |     1512   8345 |        0 |        0
1744.96/1745.56	c 1745s |      25 |  5872431 |  5269998 |     1512   8352 |        0 |        0
1746.96/1747.57	c 1747s |      25 |  5878580 |  5275498 |     1512   8358 |        0 |        0
1748.96/1749.59	c 1749s |      25 |  5884226 |  5280598 |     1512   8365 |        0 |        0
1751.05/1751.62	c 1751s |      25 |  5889945 |  5285798 |     1512   8371 |        0 |        0
1753.05/1753.63	c 1753s |      25 |  5895428 |  5290698 |     1512   8377 |        0 |        0
1755.06/1755.64	c 1755s |      25 |  5901268 |  5295898 |     1512   8383 |        0 |        0
1757.05/1757.66	c 1757s |      25 |  5906848 |  5300898 |     1512   8389 |        0 |        0
1759.05/1759.67	c 1759s |      25 |  5912942 |  5306498 |     1512   8396 |        0 |        0
1761.05/1761.67	c 1761s |      25 |  5919307 |  5312298 |     1512   8403 |        0 |        0
1763.15/1763.71	c 1763s |      25 |  5925892 |  5318198 |     1512   8410 |        0 |        0
1765.15/1765.74	c 1765s |      25 |  5931862 |  5323598 |     1512   8417 |        0 |        0
1767.16/1767.76	c 1767s |      25 |  5937851 |  5328898 |     1512   8423 |        0 |        0
1769.15/1769.77	c 1769s |      25 |  5943869 |  5334198 |     1512   8430 |        0 |        0
1771.25/1771.81	c 1771s |      25 |  5949015 |  5338898 |     1512   8436 |        0 |        0
1773.25/1773.84	c 1773s |      25 |  5954200 |  5343598 |     1512   8441 |        0 |        0
1775.25/1775.84	c 1775s |      25 |  5960488 |  5349098 |     1512   8448 |        0 |        0
1777.25/1777.85	c 1777s |      25 |  5966557 |  5354498 |     1512   8455 |        0 |        0
1779.26/1779.88	c 1779s |      25 |  5972394 |  5359798 |     1512   8461 |        0 |        0
1781.35/1781.91	c 1781s |      25 |  5977745 |  5364598 |     1512   8467 |        0 |        0
1783.35/1783.92	c 1783s |      25 |  5982951 |  5369298 |     1512   8473 |        0 |        0
1785.35/1785.96	c 1785s |      25 |  5988541 |  5374198 |     1512   8479 |        0 |        0
1787.35/1787.96	c 1787s |      25 |  5994003 |  5379098 |     1512   8485 |        0 |        0
1789.35/1789.99	c 1789s |      25 |  5999102 |  5383598 |     1512   8490 |        0 |        0
1791.35/1791.99	c 1791s |      25 |  6005256 |  5388898 |     1512   8497 |        0 |        0
1793.45/1794.03	c 1794s |      25 |  6011599 |  5394598 |     1512   8504 |        0 |        0
1795.45/1796.03	c 1796s |      25 |  6017119 |  5399698 |     1512   8510 |        0 |        0
1797.45/1798.03	c 1798s |      25 |  6022997 |  5404998 |     1512   8516 |        0 |        0
1799.45/1800.07	c 1800s |      25 |  6028691 |  5410198 |     1512   8522 |        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-4090065-1466037798/watcher-4090065-1466037798 -o /tmp/evaluation-result-4090065-1466037798/solver-4090065-1466037798 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466034195-15725 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4090065-1466037798.opb 

pid=16110
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.21 2.32 2.28 3/179 16113
/proc/meminfo: memFree=29369556/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=763324 CPUtime=0 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 2857 0 0 0 0 0 0 0 20 0 4 0 5825584 781643776 2706 33554432000 4194304 16246674 140737165962336 140737165961760 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 191599 2714 441 2943 0 188493 0
[pid=16113/tid=16114] ppid=16110 vsize=780732 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 799469568 2774 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=784828 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 803663872 2790 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=788924 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5825584 807858176 2806 33554432000 4194304 16246674 140737165962336 139750531910832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100129 s]
/proc/loadavg: 2.21 2.32 2.28 3/179 16113
/proc/meminfo: memFree=29369556/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 29652 0 0 0 6 3 0 0 20 0 4 0 5825584 1247350784 29491 33554432000 4194304 16246674 140737165962336 140737165961760 5829366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 304529 29498 715 2943 0 301423 0
[pid=16113/tid=16114] ppid=16110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1247350784 29511 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1247350784 29520 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5825584 1247350784 29528 33554432000 4194304 16246674 140737165962336 139750531910832 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.200493 s]
/proc/loadavg: 2.21 2.32 2.28 3/179 16113
/proc/meminfo: memFree=29369556/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 58499 0 0 0 12 7 0 0 20 0 4 0 5825584 1247350784 58338 33554432000 4194304 16246674 140737165962336 140737165961760 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 304529 58352 715 2943 0 301423 0
[pid=16113/tid=16114] ppid=16110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1247350784 58363 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1247350784 58374 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5825584 1247350784 58384 33554432000 4194304 16246674 140737165962336 139750531910832 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.300455 s]
/proc/loadavg: 2.21 2.32 2.28 3/179 16113
/proc/meminfo: memFree=29369556/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 86017 0 0 0 18 11 0 0 20 0 4 0 5825584 1247350784 85855 33554432000 4194304 16246674 140737165962336 140737165961760 12478957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 304529 85868 715 2943 0 301423 0
[pid=16113/tid=16114] ppid=16110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1247350784 85880 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1247350784 85891 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5825584 1247350784 85903 33554432000 4194304 16246674 140737165962336 139750531910832 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.700369 s]
/proc/loadavg: 2.21 2.32 2.28 3/179 16113
/proc/meminfo: memFree=29369556/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 197559 0 0 0 44 25 0 0 20 0 4 0 5825584 1247350784 197398 33554432000 4194304 16246674 140737165962336 140737165961760 12477891 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 304529 197414 715 2943 0 301423 0
[pid=16113/tid=16114] ppid=16110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1247350784 197426 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1247350784 197441 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 5825584 1247350784 197452 33554432000 4194304 16246674 140737165962336 139750531910832 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.50038 s]
/proc/loadavg: 2.27 2.33 2.28 4/183 16117
/proc/meminfo: memFree=28302108/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 267270 0 0 0 114 35 0 0 20 0 4 0 5825584 1336479744 267088 33554432000 4194304 16246674 140737165962336 140737165961648 12483632 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326289 267088 791 2943 0 323183 0
[pid=16113/tid=16114] ppid=16110 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1336479744 267088 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1336479744 267088 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1336479744 267088 33554432000 4194304 16246674 140737165962336 139750531910832 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) 1305156

[startup+3.10038 s]
/proc/loadavg: 2.27 2.33 2.28 4/183 16117
/proc/meminfo: memFree=28213572/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 267422 0 0 0 274 35 0 0 20 0 4 0 5825584 1337528320 267240 33554432000 4194304 16246674 140737165962336 140737165945336 5677880 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326545 267240 791 2943 0 323439 0
[pid=16113/tid=16114] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267240 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267240 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267240 33554432000 4194304 16246674 140737165962336 139750531910832 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.30043 s]
/proc/loadavg: 2.27 2.33 2.28 4/183 16117
/proc/meminfo: memFree=28213244/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 267497 0 0 0 594 35 0 0 20 0 4 0 5825584 1337528320 267315 33554432000 4194304 16246674 140737165962336 140737165944256 5523460 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326545 267315 792 2943 0 323439 0
[pid=16113/tid=16114] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267315 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267315 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267315 33554432000 4194304 16246674 140737165962336 139750531910832 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.23 2.32 2.28 3/183 16117
/proc/meminfo: memFree=28213576/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 267497 0 0 0 1234 35 0 0 20 0 4 0 5825584 1337528320 267315 33554432000 4194304 16246674 140737165962336 140737165944256 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326545 267315 792 2943 0 323439 0
[pid=16113/tid=16114] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267315 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267315 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267315 33554432000 4194304 16246674 140737165962336 139750531910832 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.27 2.32 2.28 3/183 16117
/proc/meminfo: memFree=28213852/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 267500 0 0 0 2513 35 0 0 20 0 4 0 5825584 1337528320 267318 33554432000 4194304 16246674 140737165962336 140737165944256 6020899 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326545 267318 794 2943 0 323439 0
[pid=16113/tid=16114] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267318 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267318 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267318 33554432000 4194304 16246674 140737165962336 139750531910832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.26 2.31 2.27 4/183 16117
/proc/meminfo: memFree=28213456/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 267507 0 0 0 5072 36 0 0 20 0 4 0 5825584 1337528320 267325 33554432000 4194304 16246674 140737165962336 140737165944256 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326545 267325 794 2943 0 323439 0
[pid=16113/tid=16114] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267325 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267325 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267325 33554432000 4194304 16246674 140737165962336 139750531910832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.38 2.33 2.28 3/183 16118
/proc/meminfo: memFree=28212616/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1306180 CPUtime=102.29 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 267530 0 0 0 10192 37 0 0 20 0 4 0 5825584 1337528320 267348 33554432000 4194304 16246674 140737165962336 140737165945336 5553672 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326545 267348 794 2943 0 323439 0
[pid=16113/tid=16114] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267348 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267348 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1337528320 267348 33554432000 4194304 16246674 140737165962336 139750531910832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1306180


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

/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750531910832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1307204

[startup+1302.3 s]
/proc/loadavg: 2.31 2.33 2.32 3/184 16171
/proc/meminfo: memFree=28205056/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1307204 CPUtime=1301.85 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 268237 0 0 0 130134 51 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 140737165944256 5545752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326801 267875 795 2943 0 323695 0
[pid=16113/tid=16114] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750531910832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.34 2.33 2.31 4/184 16172
/proc/meminfo: memFree=28205192/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1307204 CPUtime=1361.82 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 268266 0 0 0 136131 51 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 140737165945336 5546224 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326801 267875 795 2943 0 323695 0
[pid=16113/tid=16114] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750531910832 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.41 2.34 2.32 3/184 16173
/proc/meminfo: memFree=28205496/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1307204 CPUtime=1421.82 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 268266 0 0 0 142130 52 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 140737165945336 5828829 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326801 267875 795 2943 0 323695 0
[pid=16113/tid=16114] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750531910832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.34 2.34 2.31 3/184 16174
/proc/meminfo: memFree=28204756/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1307204 CPUtime=1481.8 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 268266 0 0 0 148128 52 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 140737165944256 5861864 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326801 267875 795 2943 0 323695 0
[pid=16113/tid=16114] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750531910832 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.45 2.37 2.32 4/184 16176
/proc/meminfo: memFree=28203884/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1307204 CPUtime=1541.8 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 268266 0 0 0 154127 53 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 140737165944256 5522977 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326801 267875 795 2943 0 323695 0
[pid=16113/tid=16114] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750531910832 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.37 2.36 2.32 3/184 16177
/proc/meminfo: memFree=28203760/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1307204 CPUtime=1601.78 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 268266 0 0 0 160125 53 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 140737165944256 5677160 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326801 267875 795 2943 0 323695 0
[pid=16113/tid=16114] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750531910832 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.37 2.36 2.33 3/185 16181
/proc/meminfo: memFree=28203800/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1307204 CPUtime=1661.77 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 268266 0 0 0 166123 54 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 140737165945336 5674006 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 326801 267875 795 2943 0 323695 0
[pid=16113/tid=16114] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1338576896 267875 33554432000 4194304 16246674 140737165962336 139750531910832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.44 2.38 2.33 4/184 16182
/proc/meminfo: memFree=28203564/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1308228 CPUtime=1721.76 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 268314 0 0 0 172122 54 0 0 20 0 4 0 5825584 1339625472 267923 33554432000 4194304 16246674 140737165962336 140737165944256 5669173 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 327057 267923 795 2943 0 323951 0
[pid=16113/tid=16114] ppid=16110 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1339625472 267923 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1339625472 267923 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1339625472 267923 33554432000 4194304 16246674 140737165962336 139750531910832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.36 2.36 2.33 3/183 16183
/proc/meminfo: memFree=28203696/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1308228 CPUtime=1781.75 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 268314 0 0 0 178121 54 0 0 20 0 4 0 5825584 1339625472 267923 33554432000 4194304 16246674 140737165962336 140737165944256 13943729 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 327057 267923 795 2943 0 323951 0
[pid=16113/tid=16114] ppid=16110 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1339625472 267923 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1339625472 267923 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1339625472 267923 33554432000 4194304 16246674 140737165962336 139750531910832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.36 2.36 2.33 4/184 16184
/proc/meminfo: memFree=28203316/32872528 swapFree=1498860/1695084
[pid=16113] ppid=16110 vsize=1308228 CPUtime=1800.05 cores=1,3,5,7
/proc/16113/stat : 16113 (toysat) R 16110 16113 6119 0 -1 4202496 268314 0 0 0 179950 55 0 0 20 0 4 0 5825584 1339625472 267923 33554432000 4194304 16246674 140737165962336 140737165944256 5546107 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16113/statm: 327057 267923 795 2943 0 323951 0
[pid=16113/tid=16114] ppid=16110 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16114/stat : 16114 (toysat) S 16110 16113 6119 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 5825584 1339625472 267923 33554432000 4194304 16246674 140737165962336 139750552874224 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16113/tid=16115] ppid=16110 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16115/stat : 16115 (toysat) S 16110 16113 6119 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 5825584 1339625472 267923 33554432000 4194304 16246674 140737165962336 139750542384368 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16113/tid=16116] ppid=16110 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16113/task/16116/stat : 16116 (toysat) S 16110 16113 6119 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 5825584 1339625472 267923 33554432000 4194304 16246674 140737165962336 139750531910832 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) 1308228

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 16113 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.51
CPU system time (s): 0.550916
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.550916
maximum resident set size= 1071692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268314
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= 478
involuntary context switches= 2017

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5943 second user time and 7.08492 second system time

The end

Begin job on node137 at 2016-06-16 02:43:18
IDJOB=4090065
IDBENCH=107496
IDSOLVER=2542
FILE ID=node137/4090065-1466037798
RUNJOBID= node137-1466034195-15725
PBS_JOBID= 19902808
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 80bd9a7835bca86ed06879fdebd8f69f
RANDOM SEED=1333785058

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

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

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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		: 2666.486
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:        29378756 kB
Buffers:           26312 kB
Cached:            92308 kB
SwapCached:         2452 kB
Active:          1049168 kB
Inactive:          44092 kB
Active(anon):     975540 kB
Inactive(anon):     1372 kB
Active(file):      73628 kB
Inactive(file):    42720 kB
Unevictable:     1695084 kB
Mlocked:         1498860 kB
SwapTotal:      67108856 kB
SwapFree:       67099540 kB
Dirty:             32824 kB
Writeback:             0 kB
AnonPages:       2668340 kB
Mapped:            10100 kB
Shmem:                 0 kB
Slab:             568836 kB
SReclaimable:      12368 kB
SUnreclaim:       556468 kB
KernelStack:        1456 kB
PageTables:         9336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2822248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71724 MiB
End job on node137 at 2016-06-16 03:13:19