0.00/0.00	c 2016-06-16T19:41:50+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-4095917-1466098910.opb"]
0.00/0.01	c use --random-gen="2524273813 499039153 218107216 4039073956 2455968415 3896924326 1842814758 1148496601 2850633189 622467433 2420069213 3846881459 4017080339 4073070683 1751971153 3378256443 4152608757 2527617526 79054858 763606665 2330015510 727633747 2554306964 2971331293 2691540789 162267764 2077900132 2362881247 1770272310 3658159377 351376148 581883398 2467931565 1784606247 3246874545 1122771868 1610087009 1318775782 1249502280 1437183613 3958047510 3246979554 2273395841 2655686769 2229898982 2183525357 2510174758 3197341274 3863364847 1406845834 1997664678 3306694731 615571759 4145180623 3376205990 2492580060 3718218941 893483870 309429454 3743216658 309607167 7699443 2765667472 1445081832 535301041 711439743 3582492321 3476014606 1821393972 1640606001 1126078853 3893840334 1212561584 3673442555 3561350558 2153295316 2673678433 4039494128 2464293827 1186707379 1133282055 2957744177 959425825 811346666 1245385983 1936767157 1591726033 2530900206 3477562774 2806431301 2465658847 3543423286 3120672679 3943287755 3909930777 3583208977 1231883341 1302614133 2612801458 1076819112 1098660850 507012461 2215284805 26979714 2143593870 4207168860 3725467301 529525154 1216342350 116066575 453778858 1637557609 1142621272 4085997840 2566271417 857498389 1526034444 1895759815 3770777821 2897601689 3061190598 913121363 100822166 560565424 998698756 1783205294 397317495 1939815896 2406581365 513417423 3554668036 250597816 4060850106 709084936 1937130759 2639285179 3939260104 3814881934 4072462963 1652449204 907661349 2478348464 1890950609 680575381 2274903479 1994782155 2447206297 98106774 2057827380 4157163619 2287012379 833643458 2239959260 3405695982 2420175860 970319542 1711533837 1273255402 2954325535 376303026 283301184 2227061759 1888713728 2630083892 2562491176 1628856946 2003580829 3642968470 4043937134 1543596107 1051116372 3450945971 4171911966 2048452417 1714302354 3650789502 2343831892 558446334 215469112 2029951740 4074705877 2312300635 3422849810 97785013 893950734 2153064888 2271527629 2910884506 3557943926 2038430742 4035766917 3630944254 2971955108 1290333681 3442939499 1590555129 3590750975 2304427273 3437953795 2987533 4016643664 1053726015 309151011 2149286543 3131309866 3655049071 2032106381 873633216 689443904 731143286 1496189903 503856116 3515906121 971606183 3256674017 237221075 3189933645 3352830319 3866744108 216630531 4218441870 3334106877 2179241495 3510297515 3360632460 2266399332 3847377947 3289061666 1407858291 3783364609 3990634155 2380556706 1859668540 821001402 1164216835 1484488590 337124238 1806974495 3463443285 2064719589 1103723535 4277953082 247924897 728756718 68700338 3167619914 1673762055 3022893012 4140673931 1666556245 3572601077 3047290509 3810395330 959718696 3669068980 1668617165 255 362436" option to reproduce the execution
0.00/0.01	c #vars 281
0.00/0.01	c #constraints 140
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 |      140      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      187 |      100 |      140      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      624 |      250 |      154      0 |        0 |        0
0.00/0.08	c  0.1s |       3 |      913 |      475 |      170      1 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1553 |      813 |      188      4 |        0 |        0
0.18/0.22	c  0.2s |       5 |     2321 |     1320 |      207      7 |        0 |        0
0.29/0.37	c  0.4s |       6 |     3751 |     2081 |      251     12 |        0 |        0
0.59/0.63	c  0.6s |       7 |     5635 |     3223 |      277     19 |        0 |        0
0.89/0.99	c  1.0s |       8 |     8168 |     4936 |      305     28 |        0 |        0
1.29/1.39	c  1.4s |       9 |    11662 |     7506 |      336     39 |        0 |        0
2.09/2.10	c  2.1s |      10 |    16692 |    11361 |      370     56 |        0 |        0
2.99/3.02	c  3.0s |      11 |    26513 |    17144 |      408     81 |        0 |        0
4.39/4.42	c  4.4s |      12 |    39929 |    25819 |      449    115 |        0 |        0
6.39/6.43	c  6.4s |      12 |    56685 |    38319 |      449    159 |        0 |        0
6.49/6.52	c  6.5s |      13 |    57291 |    38832 |      494    161 |        0 |        0
8.48/8.52	c  8.5s |      13 |    72583 |    50932 |      494    201 |        0 |        0
9.68/9.73	c  9.7s |      14 |    81822 |    58352 |      544    227 |        0 |        0
11.69/11.75	c 11.7s |      14 |    94108 |    68352 |      544    257 |        0 |        0
13.69/13.76	c 13.7s |      14 |   105288 |    77852 |      544    286 |        0 |        0
15.69/15.77	c 15.8s |      15 |   117056 |    87632 |      599    316 |        0 |        0
17.70/17.79	c 17.8s |      15 |   130956 |    97932 |      599    345 |        0 |        0
19.69/19.80	c 19.8s |      15 |   145651 |   108732 |      599    376 |        0 |        0
21.79/21.81	c 21.8s |      15 |   161894 |   119832 |      599    408 |        0 |        0
23.79/23.82	c 23.8s |      15 |   177856 |   131032 |      659    440 |        0 |        0
23.89/23.92	c 23.9s |      16 |   178519 |   131552 |      659    441 |        0 |        0
25.89/25.93	c 25.9s |      16 |   191087 |   141652 |      659    468 |        0 |        0
27.89/27.95	c 27.9s |      16 |   201543 |   150152 |      659    490 |        0 |        0
29.89/29.97	c 30.0s |      16 |   212900 |   159352 |      659    514 |        0 |        0
31.89/31.98	c 32.0s |      16 |   224234 |   168152 |      659    537 |        0 |        0
33.89/34.00	c 34.0s |      16 |   236675 |   177852 |      659    563 |        0 |        0
35.98/36.01	c 36.0s |      16 |   249351 |   187952 |      659    589 |        0 |        0
37.88/37.91	c 37.9s |      17 |   260878 |   197432 |      725    614 |        0 |        0
39.88/39.93	c 39.9s |      17 |   274002 |   207732 |      725    639 |        0 |        0
41.89/41.94	c 41.9s |      17 |   286521 |   217732 |      725    663 |        0 |        0
43.88/43.96	c 43.9s |      17 |   299114 |   227532 |      725    687 |        0 |        0
45.87/45.97	c 46.0s |      17 |   310133 |   236732 |      725    710 |        0 |        0
47.87/47.97	c 48.0s |      17 |   321675 |   246032 |      725    732 |        0 |        0
49.87/49.98	c 50.0s |      17 |   333365 |   255532 |      725    754 |        0 |        0
51.97/52.00	c 52.0s |      17 |   345242 |   264832 |      725    776 |        0 |        0
53.98/54.00	c 54.0s |      17 |   357764 |   274532 |      725    799 |        0 |        0
55.97/56.01	c 56.0s |      17 |   369398 |   283832 |      725    822 |        0 |        0
57.97/58.03	c 58.0s |      17 |   383312 |   293932 |      725    846 |        0 |        0
58.47/58.51	c 58.5s |      18 |   386577 |   296252 |      798    851 |        0 |        0
60.47/60.52	c 60.5s |      18 |   402665 |   307652 |      798    876 |        0 |        0
62.46/62.53	c 62.5s |      18 |   416128 |   318352 |      798    901 |        0 |        0
64.46/64.54	c 64.5s |      18 |   432111 |   329752 |      798    928 |        0 |        0
66.46/66.55	c 66.5s |      18 |   446279 |   340852 |      798    953 |        0 |        0
68.46/68.55	c 68.5s |      18 |   460356 |   352152 |      798    979 |        0 |        0
70.47/70.56	c 70.6s |      18 |   472566 |   362452 |      798   1003 |        0 |        0
72.46/72.57	c 72.6s |      18 |   487615 |   374452 |      798   1030 |        0 |        0
74.46/74.58	c 74.6s |      18 |   502583 |   385852 |      798   1057 |        0 |        0
76.46/76.58	c 76.6s |      18 |   517446 |   397552 |      798   1084 |        0 |        0
78.56/78.60	c 78.6s |      18 |   536589 |   410952 |      798   1115 |        0 |        0
80.56/80.60	c 80.6s |      18 |   552639 |   422852 |      798   1143 |        0 |        0
82.56/82.61	c 82.6s |      18 |   570253 |   435052 |      798   1172 |        0 |        0
84.06/84.12	c 84.1s |      19 |   583938 |   444482 |      878   1193 |        0 |        0
86.05/86.14	c 86.1s |      19 |   602454 |   454882 |      878   1214 |        0 |        0
88.06/88.16	c 88.1s |      19 |   618839 |   465482 |      878   1237 |        0 |        0
90.05/90.17	c 90.2s |      19 |   635485 |   476182 |      878   1259 |        0 |        0
92.05/92.17	c 92.2s |      19 |   653194 |   486882 |      878   1281 |        0 |        0
94.05/94.18	c 94.2s |      19 |   668383 |   497282 |      878   1303 |        0 |        0
96.06/96.20	c 96.2s |      19 |   686651 |   507882 |      878   1325 |        0 |        0
98.16/98.20	c 98.2s |      19 |   705587 |   518482 |      878   1347 |        0 |        0
100.16/100.22	c  100s |      19 |   723587 |   529382 |      878   1369 |        0 |        0
102.16/102.22	c  102s |      19 |   739454 |   539882 |      878   1391 |        0 |        0
104.16/104.22	c  104s |      19 |   753916 |   549682 |      878   1412 |        0 |        0
106.15/106.23	c  106s |      19 |   767532 |   559382 |      878   1432 |        0 |        0
108.15/108.24	c  108s |      19 |   781914 |   569682 |      878   1453 |        0 |        0
110.15/110.24	c  110s |      19 |   796211 |   580082 |      878   1475 |        0 |        0
112.16/112.24	c  112s |      19 |   809667 |   590282 |      878   1496 |        0 |        0
114.15/114.25	c  114s |      19 |   824369 |   600682 |      878   1518 |        0 |        0
116.14/116.25	c  116s |      19 |   836144 |   610382 |      878   1538 |        0 |        0
118.14/118.27	c  118s |      19 |   849939 |   620482 |      878   1559 |        0 |        0
120.14/120.29	c  120s |      19 |   861802 |   629482 |      878   1578 |        0 |        0
122.15/122.29	c  122s |      19 |   874989 |   638782 |      878   1597 |        0 |        0
124.25/124.30	c  124s |      19 |   888464 |   648382 |      878   1617 |        0 |        0
126.24/126.31	c  126s |      19 |   899789 |   657082 |      878   1635 |        0 |        0
128.23/128.31	c  128s |      19 |   910269 |   665682 |      966   1652 |        0 |        0
128.53/128.61	c  128s |      20 |   911570 |   666827 |      966   1654 |        0 |        0
130.53/130.62	c  130s |      20 |   924388 |   677027 |      966   1674 |        0 |        0
132.54/132.63	c  132s |      20 |   936989 |   686927 |      966   1692 |        0 |        0
134.54/134.63	c  134s |      20 |   949058 |   697027 |      966   1712 |        0 |        0
136.54/136.63	c  136s |      20 |   962013 |   707227 |      966   1731 |        0 |        0
138.55/138.64	c  138s |      20 |   974797 |   717527 |      966   1751 |        0 |        0
140.54/140.65	c  140s |      20 |   986731 |   727327 |      966   1770 |        0 |        0
142.54/142.65	c  142s |      20 |   998185 |   736627 |      966   1788 |        0 |        0
144.54/144.67	c  144s |      20 |  1010243 |   746427 |      966   1807 |        0 |        0
146.53/146.69	c  146s |      20 |  1022336 |   756327 |      966   1826 |        0 |        0
148.63/148.70	c  148s |      20 |  1034692 |   766227 |      966   1845 |        0 |        0
150.64/150.72	c  150s |      20 |  1045701 |   775527 |      966   1862 |        0 |        0
152.63/152.74	c  152s |      20 |  1056453 |   784627 |      966   1880 |        0 |        0
154.63/154.75	c  154s |      20 |  1067578 |   793927 |      966   1897 |        0 |        0
156.63/156.76	c  156s |      20 |  1078373 |   802927 |      966   1914 |        0 |        0
158.63/158.78	c  158s |      20 |  1089220 |   812127 |      966   1932 |        0 |        0
160.73/160.80	c  160s |      20 |  1099671 |   820927 |      966   1948 |        0 |        0
162.63/162.80	c  162s |      20 |  1110500 |   829727 |      966   1965 |        0 |        0
164.73/164.81	c  164s |      20 |  1122136 |   838527 |      966   1982 |        0 |        0
166.72/166.82	c  166s |      20 |  1132690 |   847427 |      966   1998 |        0 |        0
168.72/168.82	c  168s |      20 |  1143161 |   856027 |      966   2015 |        0 |        0
170.72/170.83	c  170s |      20 |  1153268 |   864627 |      966   2031 |        0 |        0
172.72/172.84	c  172s |      20 |  1164558 |   873927 |      966   2049 |        0 |        0
174.72/174.85	c  174s |      20 |  1175436 |   883027 |      966   2067 |        0 |        0
176.72/176.87	c  176s |      20 |  1187068 |   892527 |      966   2085 |        0 |        0
178.72/178.87	c  178s |      20 |  1198419 |   901727 |      966   2102 |        0 |        0
180.82/180.90	c  180s |      20 |  1209914 |   911027 |      966   2120 |        0 |        0
182.82/182.91	c  182s |      20 |  1222194 |   920527 |      966   2138 |        0 |        0
184.82/184.91	c  184s |      20 |  1234007 |   930027 |      966   2156 |        0 |        0
186.81/186.91	c  186s |      20 |  1245803 |   938927 |      966   2173 |        0 |        0
188.81/188.93	c  188s |      20 |  1258593 |   949027 |      966   2192 |        0 |        0
190.81/190.94	c  190s |      20 |  1271190 |   958927 |      966   2211 |        0 |        0
192.81/192.96	c  192s |      20 |  1283427 |   968327 |      966   2229 |        0 |        0
194.81/194.97	c  194s |      20 |  1296315 |   977827 |      966   2247 |        0 |        0
196.82/196.98	c  196s |      20 |  1309233 |   987427 |      966   2266 |        0 |        0
198.91/199.00	c  198s |      20 |  1321514 |   996927 |     1063   2283 |        0 |        0
199.61/199.73	c  199s |      21 |  1326361 |  1000345 |     1063   2289 |        0 |        0
201.61/201.73	c  201s |      21 |  1339390 |  1010145 |     1063   2306 |        0 |        0
203.61/203.74	c  203s |      21 |  1351494 |  1019745 |     1063   2323 |        0 |        0
205.61/205.76	c  205s |      21 |  1363164 |  1028945 |     1063   2339 |        0 |        0
207.61/207.78	c  207s |      21 |  1375948 |  1039045 |     1063   2356 |        0 |        0
209.61/209.79	c  209s |      21 |  1387346 |  1048345 |     1063   2373 |        0 |        0
211.71/211.80	c  211s |      21 |  1399692 |  1057945 |     1063   2389 |        0 |        0
213.71/213.81	c  213s |      21 |  1410961 |  1067445 |     1063   2406 |        0 |        0
215.70/215.82	c  215s |      21 |  1421457 |  1076445 |     1063   2422 |        0 |        0
217.71/217.84	c  217s |      21 |  1432934 |  1085945 |     1063   2438 |        0 |        0
219.70/219.85	c  219s |      21 |  1443483 |  1094845 |     1063   2454 |        0 |        0
221.70/221.86	c  221s |      21 |  1454386 |  1103745 |     1063   2469 |        0 |        0
223.70/223.88	c  223s |      21 |  1465261 |  1112545 |     1063   2485 |        0 |        0
225.69/225.88	c  225s |      21 |  1477332 |  1122145 |     1063   2501 |        0 |        0
227.70/227.89	c  227s |      21 |  1488679 |  1131645 |     1063   2518 |        0 |        0
229.69/229.90	c  229s |      21 |  1499829 |  1140845 |     1063   2534 |        0 |        0
231.79/231.90	c  231s |      21 |  1511653 |  1150045 |     1063   2550 |        0 |        0
233.79/233.92	c  233s |      21 |  1522276 |  1159045 |     1063   2565 |        0 |        0
235.79/235.93	c  235s |      21 |  1532469 |  1167845 |     1063   2580 |        0 |        0
237.78/237.94	c  237s |      21 |  1543725 |  1176945 |     1063   2596 |        0 |        0
239.79/239.95	c  239s |      21 |  1554528 |  1185845 |     1063   2612 |        0 |        0
241.78/241.97	c  241s |      21 |  1564726 |  1194545 |     1063   2627 |        0 |        0
243.78/243.98	c  243s |      21 |  1575339 |  1203345 |     1063   2642 |        0 |        0
245.87/246.00	c  245s |      21 |  1587361 |  1212945 |     1063   2659 |        0 |        0
247.87/248.01	c  247s |      21 |  1598757 |  1222345 |     1063   2675 |        0 |        0
249.87/250.01	c  249s |      21 |  1609341 |  1231245 |     1063   2691 |        0 |        0
251.88/252.03	c  252s |      21 |  1619970 |  1240145 |     1063   2706 |        0 |        0
253.87/254.05	c  254s |      21 |  1632007 |  1249645 |     1063   2723 |        0 |        0
255.87/256.06	c  256s |      21 |  1644356 |  1259045 |     1063   2739 |        0 |        0
257.87/258.06	c  258s |      21 |  1656411 |  1268145 |     1063   2755 |        0 |        0
259.87/260.08	c  260s |      21 |  1666693 |  1276845 |     1063   2770 |        0 |        0
261.97/262.10	c  262s |      21 |  1677559 |  1285845 |     1063   2786 |        0 |        0
263.87/264.10	c  264s |      21 |  1688733 |  1294745 |     1063   2801 |        0 |        0
265.96/266.11	c  266s |      21 |  1699851 |  1303445 |     1063   2816 |        0 |        0
267.96/268.13	c  268s |      21 |  1711165 |  1312745 |     1063   2833 |        0 |        0
269.96/270.16	c  270s |      21 |  1721970 |  1321745 |     1063   2848 |        0 |        0
271.96/272.18	c  272s |      21 |  1732369 |  1330245 |     1063   2863 |        0 |        0
273.96/274.18	c  274s |      21 |  1742054 |  1338545 |     1063   2878 |        0 |        0
275.97/276.19	c  276s |      21 |  1752211 |  1347045 |     1063   2892 |        0 |        0
278.06/278.21	c  278s |      21 |  1762061 |  1355645 |     1063   2907 |        0 |        0
280.06/280.21	c  280s |      21 |  1772069 |  1364245 |     1063   2922 |        0 |        0
282.06/282.23	c  282s |      21 |  1781993 |  1372845 |     1063   2937 |        0 |        0
284.06/284.23	c  284s |      21 |  1792567 |  1381745 |     1063   2953 |        0 |        0
286.06/286.24	c  286s |      21 |  1802947 |  1390745 |     1063   2968 |        0 |        0
288.06/288.26	c  288s |      21 |  1812905 |  1399345 |     1063   2983 |        0 |        0
290.05/290.28	c  290s |      21 |  1822712 |  1407845 |     1063   2998 |        0 |        0
292.15/292.31	c  292s |      21 |  1834284 |  1417445 |     1063   3015 |        0 |        0
294.15/294.32	c  294s |      21 |  1844342 |  1426045 |     1063   3030 |        0 |        0
296.15/296.34	c  296s |      21 |  1855365 |  1435245 |     1063   3046 |        0 |        0
298.15/298.35	c  298s |      21 |  1865409 |  1444045 |     1063   3061 |        0 |        0
300.15/300.36	c  300s |      21 |  1875236 |  1452645 |     1063   3076 |        0 |        0
302.14/302.37	c  302s |      21 |  1885726 |  1461445 |     1063   3092 |        0 |        0
304.14/304.38	c  304s |      21 |  1896251 |  1470345 |     1063   3107 |        0 |        0
306.14/306.38	c  306s |      21 |  1906515 |  1479145 |     1063   3123 |        0 |        0
308.14/308.39	c  308s |      21 |  1917583 |  1488445 |     1063   3139 |        0 |        0
310.24/310.40	c  310s |      21 |  1927635 |  1496945 |     1170   3152 |        0 |        0
311.04/311.29	c  311s |      22 |  1931832 |  1500622 |     1170   3158 |        0 |        0
313.14/313.30	c  313s |      22 |  1941829 |  1508622 |     1170   3171 |        0 |        0
315.14/315.32	c  315s |      22 |  1951536 |  1516622 |     1170   3184 |        0 |        0
317.13/317.34	c  317s |      22 |  1961969 |  1524822 |     1170   3197 |        0 |        0
319.13/319.34	c  319s |      22 |  1973827 |  1533122 |     1170   3210 |        0 |        0
321.14/321.36	c  321s |      22 |  1983222 |  1540822 |     1170   3222 |        0 |        0
323.13/323.38	c  323s |      22 |  1993988 |  1548622 |     1170   3234 |        0 |        0
325.23/325.40	c  325s |      22 |  2005347 |  1556622 |     1170   3246 |        0 |        0
327.23/327.41	c  327s |      22 |  2015371 |  1564322 |     1170   3259 |        0 |        0
329.23/329.45	c  329s |      22 |  2025415 |  1572522 |     1170   3272 |        0 |        0
331.23/331.45	c  331s |      22 |  2034810 |  1580522 |     1170   3284 |        0 |        0
333.23/333.48	c  333s |      22 |  2044056 |  1588322 |     1170   3296 |        0 |        0
335.22/335.49	c  335s |      22 |  2052626 |  1595622 |     1170   3308 |        0 |        0
337.33/337.50	c  337s |      22 |  2061898 |  1603322 |     1170   3320 |        0 |        0
339.33/339.52	c  339s |      22 |  2071080 |  1611022 |     1170   3332 |        0 |        0
341.33/341.53	c  341s |      22 |  2080723 |  1618922 |     1170   3345 |        0 |        0
343.33/343.54	c  343s |      22 |  2090196 |  1626822 |     1170   3357 |        0 |        0
345.34/345.57	c  345s |      22 |  2100722 |  1635122 |     1170   3371 |        0 |        0
347.33/347.58	c  347s |      22 |  2110974 |  1642922 |     1170   3383 |        0 |        0
349.33/349.59	c  349s |      22 |  2120802 |  1650922 |     1170   3395 |        0 |        0
351.32/351.59	c  351s |      22 |  2129217 |  1658222 |     1170   3407 |        0 |        0
353.42/353.61	c  353s |      22 |  2138771 |  1665922 |     1170   3419 |        0 |        0
355.42/355.61	c  355s |      22 |  2148208 |  1673722 |     1170   3432 |        0 |        0
357.43/357.61	c  357s |      22 |  2157450 |  1681422 |     1170   3444 |        0 |        0
359.42/359.63	c  359s |      22 |  2166730 |  1689122 |     1170   3456 |        0 |        0
361.42/361.64	c  361s |      22 |  2176303 |  1696922 |     1170   3468 |        0 |        0
363.42/363.65	c  363s |      22 |  2185168 |  1704222 |     1170   3480 |        0 |        0
365.42/365.65	c  365s |      22 |  2194132 |  1711622 |     1170   3492 |        0 |        0
367.42/367.67	c  367s |      22 |  2203309 |  1719022 |     1170   3503 |        0 |        0
369.42/369.68	c  369s |      22 |  2212423 |  1726822 |     1170   3516 |        0 |        0
371.41/371.69	c  371s |      22 |  2221948 |  1734622 |     1170   3528 |        0 |        0
373.51/373.70	c  373s |      22 |  2231419 |  1742222 |     1170   3540 |        0 |        0
375.51/375.72	c  375s |      22 |  2239746 |  1749522 |     1170   3551 |        0 |        0
377.51/377.73	c  377s |      22 |  2248991 |  1757122 |     1170   3564 |        0 |        0
379.51/379.74	c  379s |      22 |  2257082 |  1764222 |     1170   3575 |        0 |        0
381.51/381.76	c  381s |      22 |  2267786 |  1772322 |     1170   3588 |        0 |        0
383.50/383.77	c  383s |      22 |  2279948 |  1781322 |     1170   3602 |        0 |        0
385.50/385.79	c  385s |      22 |  2291467 |  1790322 |     1170   3616 |        0 |        0
387.50/387.79	c  387s |      22 |  2302579 |  1799122 |     1170   3630 |        0 |        0
389.60/389.81	c  389s |      22 |  2314586 |  1808022 |     1170   3644 |        0 |        0
391.60/391.83	c  391s |      22 |  2327159 |  1816722 |     1170   3658 |        0 |        0
393.61/393.84	c  393s |      22 |  2339612 |  1825422 |     1170   3672 |        0 |        0
395.59/395.86	c  395s |      22 |  2351570 |  1834022 |     1170   3686 |        0 |        0
397.60/397.86	c  397s |      22 |  2364163 |  1843222 |     1170   3700 |        0 |        0
399.60/399.88	c  399s |      22 |  2375455 |  1851422 |     1170   3713 |        0 |        0
401.60/401.89	c  401s |      22 |  2385467 |  1859622 |     1170   3726 |        0 |        0
403.70/403.90	c  403s |      22 |  2396358 |  1868122 |     1170   3740 |        0 |        0
405.70/405.92	c  405s |      22 |  2408291 |  1876822 |     1170   3754 |        0 |        0
407.69/407.93	c  407s |      22 |  2421646 |  1886122 |     1170   3768 |        0 |        0
409.69/409.94	c  409s |      22 |  2432891 |  1894722 |     1170   3782 |        0 |        0
411.69/411.95	c  411s |      22 |  2444362 |  1903222 |     1170   3796 |        0 |        0
413.69/413.96	c  413s |      22 |  2455649 |  1911522 |     1170   3809 |        0 |        0
415.69/415.99	c  415s |      22 |  2469407 |  1920822 |     1170   3824 |        0 |        0
417.79/418.00	c  417s |      22 |  2483512 |  1930222 |     1170   3839 |        0 |        0
419.78/420.01	c  419s |      22 |  2493890 |  1938422 |     1170   3852 |        0 |        0
421.78/422.01	c  422s |      22 |  2507342 |  1947222 |     1170   3866 |        0 |        0
423.78/424.03	c  424s |      22 |  2523332 |  1956922 |     1170   3881 |        0 |        0
425.77/426.03	c  426s |      22 |  2535246 |  1965422 |     1170   3895 |        0 |        0
427.78/428.04	c  428s |      22 |  2545299 |  1973922 |     1170   3908 |        0 |        0
429.77/430.06	c  430s |      22 |  2556014 |  1982622 |     1170   3922 |        0 |        0
431.77/432.08	c  432s |      22 |  2565334 |  1990522 |     1170   3935 |        0 |        0
433.87/434.10	c  434s |      22 |  2574793 |  1998422 |     1170   3947 |        0 |        0
435.87/436.12	c  436s |      22 |  2584472 |  2006422 |     1170   3960 |        0 |        0
437.87/438.12	c  438s |      22 |  2593623 |  2014322 |     1170   3972 |        0 |        0
439.88/440.14	c  440s |      22 |  2603460 |  2022522 |     1170   3985 |        0 |        0
441.87/442.18	c  442s |      22 |  2612949 |  2030322 |     1170   3998 |        0 |        0
443.97/444.20	c  444s |      22 |  2622349 |  2038222 |     1170   4010 |        0 |        0
445.97/446.22	c  446s |      22 |  2631725 |  2045922 |     1170   4022 |        0 |        0
447.96/448.22	c  448s |      22 |  2640179 |  2053422 |     1170   4034 |        0 |        0
449.96/450.24	c  450s |      22 |  2649518 |  2061322 |     1170   4047 |        0 |        0
451.97/452.26	c  452s |      22 |  2658088 |  2068722 |     1170   4058 |        0 |        0
453.96/454.26	c  454s |      22 |  2665183 |  2074922 |     1170   4068 |        0 |        0
455.96/456.28	c  456s |      22 |  2674487 |  2082622 |     1170   4080 |        0 |        0
457.96/458.30	c  458s |      22 |  2683989 |  2090522 |     1170   4093 |        0 |        0
460.06/460.32	c  460s |      22 |  2693308 |  2098522 |     1170   4105 |        0 |        0
462.06/462.34	c  462s |      22 |  2703076 |  2106522 |     1170   4118 |        0 |        0
464.07/464.34	c  464s |      22 |  2713085 |  2114422 |     1170   4131 |        0 |        0
466.06/466.35	c  466s |      22 |  2724151 |  2122922 |     1170   4144 |        0 |        0
468.06/468.36	c  468s |      22 |  2733708 |  2130722 |     1170   4156 |        0 |        0
470.06/470.36	c  470s |      22 |  2743949 |  2138622 |     1170   4169 |        0 |        0
472.06/472.36	c  472s |      22 |  2753405 |  2146322 |     1170   4181 |        0 |        0
474.05/474.37	c  474s |      22 |  2762757 |  2153922 |     1170   4193 |        0 |        0
476.06/476.38	c  476s |      22 |  2772876 |  2161922 |     1170   4205 |        0 |        0
478.15/478.41	c  478s |      22 |  2781773 |  2169322 |     1170   4217 |        0 |        0
480.15/480.43	c  480s |      22 |  2790610 |  2176622 |     1170   4229 |        0 |        0
482.15/482.44	c  482s |      22 |  2799455 |  2184022 |     1170   4240 |        0 |        0
484.15/484.47	c  484s |      22 |  2808833 |  2191622 |     1170   4252 |        0 |        0
486.14/486.47	c  486s |      22 |  2817970 |  2199122 |     1170   4264 |        0 |        0
488.15/488.48	c  488s |      22 |  2826870 |  2206622 |     1170   4276 |        0 |        0
490.14/490.49	c  490s |      22 |  2835652 |  2213922 |     1170   4287 |        0 |        0
492.14/492.49	c  492s |      22 |  2843492 |  2220722 |     1170   4298 |        0 |        0
494.24/494.53	c  494s |      22 |  2851711 |  2227722 |     1170   4309 |        0 |        0
496.24/496.55	c  496s |      22 |  2859760 |  2234622 |     1170   4320 |        0 |        0
498.24/498.57	c  498s |      22 |  2867302 |  2241222 |     1287   4329 |        0 |        0
500.24/500.60	c  500s |      22 |  2875347 |  2247822 |     1287   4339 |        0 |        0
501.24/501.56	c  501s |      23 |  2879294 |  2251038 |     1287   4344 |        0 |        0
503.24/503.57	c  503s |      23 |  2889302 |  2259138 |     1287   4355 |        0 |        0
505.23/505.58	c  505s |      23 |  2897826 |  2266738 |     1287   4366 |        0 |        0
507.23/507.58	c  507s |      23 |  2906750 |  2274538 |     1287   4378 |        0 |        0
509.33/509.61	c  509s |      23 |  2916299 |  2282838 |     1287   4390 |        0 |        0
511.34/511.62	c  511s |      23 |  2925548 |  2290738 |     1287   4401 |        0 |        0
513.33/513.64	c  513s |      23 |  2935333 |  2299038 |     1287   4413 |        0 |        0
515.33/515.66	c  515s |      23 |  2945182 |  2307338 |     1287   4426 |        0 |        0
517.33/517.69	c  517s |      23 |  2955078 |  2315738 |     1287   4438 |        0 |        0
519.43/519.71	c  519s |      23 |  2964243 |  2323738 |     1287   4450 |        0 |        0
521.43/521.72	c  521s |      23 |  2973872 |  2331938 |     1287   4461 |        0 |        0
523.43/523.72	c  523s |      23 |  2984060 |  2340338 |     1287   4474 |        0 |        0
525.42/525.72	c  525s |      23 |  2993961 |  2348838 |     1287   4486 |        0 |        0
527.42/527.74	c  527s |      23 |  3003962 |  2357238 |     1287   4498 |        0 |        0
529.42/529.75	c  529s |      23 |  3013693 |  2365538 |     1287   4510 |        0 |        0
531.42/531.76	c  531s |      23 |  3024192 |  2374538 |     1287   4523 |        0 |        0
533.42/533.77	c  533s |      23 |  3034707 |  2383638 |     1287   4536 |        0 |        0
535.43/535.77	c  535s |      23 |  3045178 |  2392338 |     1287   4549 |        0 |        0
537.42/537.79	c  537s |      23 |  3056179 |  2401638 |     1287   4563 |        0 |        0
539.52/539.80	c  539s |      23 |  3065964 |  2410038 |     1287   4575 |        0 |        0
541.52/541.81	c  541s |      23 |  3075277 |  2417938 |     1287   4586 |        0 |        0
543.52/543.81	c  543s |      23 |  3083446 |  2425138 |     1287   4597 |        0 |        0
545.52/545.81	c  545s |      23 |  3093061 |  2433338 |     1287   4609 |        0 |        0
547.53/547.82	c  547s |      23 |  3102798 |  2441538 |     1287   4620 |        0 |        0
549.52/549.84	c  549s |      23 |  3112113 |  2449538 |     1287   4632 |        0 |        0
551.52/551.85	c  551s |      23 |  3121988 |  2458038 |     1287   4645 |        0 |        0
553.52/553.87	c  553s |      23 |  3132535 |  2466938 |     1287   4658 |        0 |        0
555.52/555.88	c  555s |      23 |  3142164 |  2475038 |     1287   4669 |        0 |        0
557.52/557.88	c  557s |      23 |  3151300 |  2483138 |     1287   4681 |        0 |        0
559.52/559.89	c  559s |      23 |  3161210 |  2491438 |     1287   4693 |        0 |        0
561.62/561.90	c  561s |      23 |  3170729 |  2499638 |     1287   4705 |        0 |        0
563.62/563.92	c  563s |      23 |  3179941 |  2507638 |     1287   4717 |        0 |        0
565.61/565.94	c  565s |      23 |  3189780 |  2516038 |     1287   4729 |        0 |        0
567.61/567.96	c  567s |      23 |  3199901 |  2524738 |     1287   4742 |        0 |        0
569.61/569.97	c  569s |      23 |  3211496 |  2533638 |     1287   4754 |        0 |        0
571.61/571.99	c  571s |      23 |  3222030 |  2542238 |     1287   4767 |        0 |        0
573.71/574.00	c  573s |      23 |  3233775 |  2551538 |     1287   4780 |        0 |        0
575.70/576.01	c  575s |      23 |  3245691 |  2560838 |     1287   4794 |        0 |        0
577.70/578.01	c  578s |      23 |  3256866 |  2569838 |     1287   4807 |        0 |        0
579.70/580.02	c  580s |      23 |  3268767 |  2579038 |     1287   4820 |        0 |        0
581.71/582.03	c  582s |      23 |  3279855 |  2587938 |     1287   4833 |        0 |        0
583.70/584.04	c  584s |      23 |  3290619 |  2596338 |     1287   4846 |        0 |        0
585.70/586.05	c  586s |      23 |  3302497 |  2605338 |     1287   4859 |        0 |        0
587.70/588.07	c  588s |      23 |  3312966 |  2613838 |     1287   4871 |        0 |        0
589.70/590.08	c  590s |      23 |  3322549 |  2621938 |     1287   4883 |        0 |        0
591.70/592.09	c  592s |      23 |  3335080 |  2631338 |     1287   4896 |        0 |        0
593.80/594.10	c  594s |      23 |  3347461 |  2640938 |     1287   4910 |        0 |        0
595.79/596.12	c  596s |      23 |  3359743 |  2650438 |     1287   4924 |        0 |        0
597.79/598.12	c  598s |      23 |  3369672 |  2658838 |     1287   4936 |        0 |        0
599.79/600.12	c  600s |      23 |  3380536 |  2667538 |     1287   4949 |        0 |        0
601.79/602.13	c  602s |      23 |  3392889 |  2676738 |     1287   4963 |        0 |        0
603.79/604.13	c  604s |      23 |  3405480 |  2686238 |     1287   4976 |        0 |        0
605.79/606.14	c  606s |      23 |  3417136 |  2695338 |     1287   4990 |        0 |        0
607.78/608.15	c  608s |      23 |  3427674 |  2704038 |     1287   5002 |        0 |        0
609.78/610.16	c  610s |      23 |  3437822 |  2712538 |     1287   5014 |        0 |        0
611.78/612.18	c  612s |      23 |  3448640 |  2721638 |     1287   5028 |        0 |        0
613.78/614.19	c  614s |      23 |  3459007 |  2730238 |     1287   5040 |        0 |        0
615.78/616.20	c  616s |      23 |  3469336 |  2738638 |     1287   5052 |        0 |        0
617.88/618.20	c  618s |      23 |  3478735 |  2746738 |     1287   5064 |        0 |        0
619.88/620.22	c  620s |      23 |  3488398 |  2754938 |     1287   5076 |        0 |        0
621.88/622.23	c  622s |      23 |  3498188 |  2763238 |     1287   5088 |        0 |        0
623.88/624.24	c  624s |      23 |  3507375 |  2771238 |     1287   5100 |        0 |        0
625.87/626.24	c  626s |      23 |  3517715 |  2779738 |     1287   5113 |        0 |        0
627.88/628.27	c  628s |      23 |  3527281 |  2788138 |     1287   5125 |        0 |        0
629.87/630.27	c  630s |      23 |  3536461 |  2796138 |     1287   5137 |        0 |        0
631.87/632.28	c  632s |      23 |  3545143 |  2803638 |     1287   5147 |        0 |        0
633.87/634.28	c  634s |      23 |  3553774 |  2811238 |     1287   5159 |        0 |        0
635.97/636.30	c  636s |      23 |  3563321 |  2819338 |     1287   5170 |        0 |        0
637.97/638.31	c  638s |      23 |  3573944 |  2827638 |     1287   5182 |        0 |        0
639.98/640.31	c  640s |      23 |  3582641 |  2835438 |     1287   5193 |        0 |        0
641.97/642.34	c  642s |      23 |  3591185 |  2842938 |     1287   5204 |        0 |        0
643.97/644.36	c  644s |      23 |  3600691 |  2850938 |     1287   5216 |        0 |        0
645.96/646.36	c  646s |      23 |  3609665 |  2858538 |     1287   5227 |        0 |        0
647.96/648.37	c  648s |      23 |  3618797 |  2866238 |     1287   5238 |        0 |        0
649.96/650.39	c  650s |      23 |  3629025 |  2874538 |     1287   5250 |        0 |        0
651.98/652.39	c  652s |      23 |  3639242 |  2882938 |     1287   5263 |        0 |        0
654.07/654.40	c  654s |      23 |  3649057 |  2891138 |     1287   5275 |        0 |        0
656.07/656.40	c  656s |      23 |  3658175 |  2899138 |     1287   5286 |        0 |        0
658.07/658.43	c  658s |      23 |  3666929 |  2907038 |     1287   5298 |        0 |        0
660.06/660.45	c  660s |      23 |  3675683 |  2914638 |     1287   5309 |        0 |        0
662.06/662.47	c  662s |      23 |  3684529 |  2922238 |     1287   5320 |        0 |        0
664.07/664.49	c  664s |      23 |  3692524 |  2929538 |     1287   5331 |        0 |        0
666.06/666.49	c  666s |      23 |  3702933 |  2937838 |     1287   5343 |        0 |        0
668.16/668.50	c  668s |      23 |  3713771 |  2946438 |     1287   5355 |        0 |        0
670.16/670.50	c  670s |      23 |  3724072 |  2954738 |     1287   5367 |        0 |        0
672.15/672.52	c  672s |      23 |  3734177 |  2962938 |     1287   5379 |        0 |        0
674.15/674.53	c  674s |      23 |  3743254 |  2970838 |     1287   5391 |        0 |        0
676.16/676.55	c  676s |      23 |  3752149 |  2978638 |     1287   5402 |        0 |        0
678.15/678.56	c  678s |      23 |  3761692 |  2986938 |     1287   5414 |        0 |        0
680.15/680.57	c  680s |      23 |  3771406 |  2995138 |     1287   5426 |        0 |        0
682.15/682.58	c  682s |      23 |  3780885 |  3003338 |     1287   5438 |        0 |        0
684.15/684.59	c  684s |      23 |  3789984 |  3011138 |     1287   5450 |        0 |        0
686.25/686.61	c  686s |      23 |  3802325 |  3020838 |     1287   5464 |        0 |        0
688.26/688.63	c  688s |      23 |  3815391 |  3030638 |     1287   5478 |        0 |        0
690.25/690.65	c  690s |      23 |  3827892 |  3040438 |     1287   5493 |        0 |        0
692.25/692.67	c  692s |      23 |  3838785 |  3049538 |     1287   5506 |        0 |        0
694.25/694.68	c  694s |      23 |  3848469 |  3057838 |     1287   5518 |        0 |        0
696.35/696.70	c  696s |      23 |  3858188 |  3066238 |     1287   5530 |        0 |        0
698.35/698.71	c  698s |      23 |  3867021 |  3074038 |     1287   5542 |        0 |        0
700.36/700.73	c  700s |      23 |  3876788 |  3082438 |     1287   5554 |        0 |        0
702.35/702.77	c  702s |      23 |  3886448 |  3090738 |     1287   5566 |        0 |        0
704.35/704.78	c  704s |      23 |  3895141 |  3098438 |     1287   5577 |        0 |        0
706.34/706.79	c  706s |      23 |  3903942 |  3106238 |     1287   5588 |        0 |        0
708.44/708.81	c  708s |      23 |  3913336 |  3114438 |     1287   5600 |        0 |        0
710.44/710.83	c  710s |      23 |  3923454 |  3123138 |     1287   5613 |        0 |        0
712.45/712.85	c  712s |      23 |  3933044 |  3131438 |     1287   5625 |        0 |        0
714.44/714.86	c  714s |      23 |  3941505 |  3139038 |     1287   5635 |        0 |        0
716.44/716.88	c  716s |      23 |  3949943 |  3146538 |     1287   5646 |        0 |        0
718.54/718.90	c  718s |      23 |  3959277 |  3154338 |     1287   5657 |        0 |        0
720.54/720.92	c  720s |      23 |  3969128 |  3162438 |     1287   5669 |        0 |        0
722.55/722.93	c  722s |      23 |  3977736 |  3170038 |     1287   5680 |        0 |        0
724.56/724.93	c  724s |      23 |  3986190 |  3177438 |     1287   5691 |        0 |        0
726.55/726.94	c  726s |      23 |  3995836 |  3185538 |     1287   5703 |        0 |        0
728.55/728.96	c  728s |      23 |  4004165 |  3192938 |     1287   5713 |        0 |        0
730.55/730.98	c  730s |      23 |  4012501 |  3200338 |     1287   5724 |        0 |        0
732.55/732.99	c  732s |      23 |  4022057 |  3208438 |     1287   5736 |        0 |        0
734.65/735.00	c  734s |      23 |  4031824 |  3216838 |     1287   5748 |        0 |        0
736.55/737.00	c  736s |      23 |  4040507 |  3224638 |     1287   5759 |        0 |        0
738.65/739.03	c  739s |      23 |  4048872 |  3232038 |     1287   5770 |        0 |        0
740.64/741.04	c  741s |      23 |  4057778 |  3239638 |     1287   5781 |        0 |        0
742.64/743.05	c  743s |      23 |  4066987 |  3247438 |     1287   5792 |        0 |        0
744.64/745.06	c  745s |      23 |  4078464 |  3256538 |     1287   5805 |        0 |        0
746.65/747.06	c  747s |      23 |  4090038 |  3265938 |     1287   5819 |        0 |        0
748.64/749.08	c  749s |      23 |  4100848 |  3274938 |     1287   5832 |        0 |        0
750.74/751.10	c  751s |      23 |  4112251 |  3284138 |     1287   5845 |        0 |        0
752.74/753.12	c  753s |      23 |  4121921 |  3292438 |     1287   5857 |        0 |        0
754.74/755.12	c  755s |      23 |  4130592 |  3299938 |     1287   5868 |        0 |        0
756.74/757.13	c  757s |      23 |  4140086 |  3307938 |     1287   5880 |        0 |        0
758.74/759.14	c  759s |      23 |  4149145 |  3315638 |     1287   5891 |        0 |        0
760.74/761.15	c  761s |      23 |  4159635 |  3324038 |     1287   5903 |        0 |        0
762.74/763.19	c  763s |      23 |  4168968 |  3331938 |     1287   5914 |        0 |        0
764.73/765.19	c  765s |      23 |  4178663 |  3340238 |     1287   5927 |        0 |        0
766.73/767.19	c  767s |      23 |  4187850 |  3348338 |     1287   5938 |        0 |        0
768.83/769.21	c  769s |      23 |  4197384 |  3356038 |     1416   5949 |        0 |        0
770.84/771.23	c  771s |      23 |  4206371 |  3363538 |     1416   5959 |        0 |        0
772.83/773.25	c  773s |      23 |  4215452 |  3371238 |     1416   5969 |        0 |        0
774.23/774.62	c  774s |      24 |  4221694 |  3376662 |     1416   5976 |        0 |        0
776.24/776.64	c  776s |      24 |  4234003 |  3385262 |     1416   5988 |        0 |        0
778.23/778.65	c  778s |      24 |  4244461 |  3393862 |     1416   5999 |        0 |        0
780.23/780.67	c  780s |      24 |  4255751 |  3403062 |     1416   6012 |        0 |        0
782.24/782.68	c  782s |      24 |  4267359 |  3412162 |     1416   6024 |        0 |        0
784.24/784.69	c  784s |      24 |  4279337 |  3421462 |     1416   6037 |        0 |        0
786.34/786.71	c  786s |      24 |  4289768 |  3430262 |     1416   6049 |        0 |        0
788.34/788.72	c  788s |      24 |  4300645 |  3439162 |     1416   6061 |        0 |        0
790.34/790.73	c  790s |      24 |  4312355 |  3448462 |     1416   6073 |        0 |        0
792.34/792.74	c  792s |      24 |  4324896 |  3458262 |     1416   6086 |        0 |        0
794.34/794.75	c  794s |      24 |  4335905 |  3467362 |     1416   6099 |        0 |        0
796.34/796.77	c  796s |      24 |  4347486 |  3476462 |     1416   6111 |        0 |        0
798.34/798.77	c  798s |      24 |  4359057 |  3485362 |     1416   6123 |        0 |        0
800.34/800.79	c  800s |      24 |  4369839 |  3493962 |     1416   6135 |        0 |        0
802.44/802.81	c  802s |      24 |  4380517 |  3502462 |     1416   6146 |        0 |        0
804.43/804.82	c  804s |      24 |  4391912 |  3510962 |     1416   6158 |        0 |        0
806.43/806.84	c  806s |      24 |  4403000 |  3519462 |     1416   6169 |        0 |        0
808.43/808.86	c  808s |      24 |  4413880 |  3527762 |     1416   6181 |        0 |        0
810.44/810.87	c  810s |      24 |  4424438 |  3536562 |     1416   6192 |        0 |        0
812.43/812.88	c  812s |      24 |  4435849 |  3545362 |     1416   6204 |        0 |        0
814.43/814.89	c  814s |      24 |  4448085 |  3554662 |     1416   6217 |        0 |        0
816.53/816.91	c  816s |      24 |  4460096 |  3564162 |     1416   6230 |        0 |        0
818.53/818.91	c  818s |      24 |  4472390 |  3573462 |     1416   6242 |        0 |        0
820.53/820.91	c  820s |      24 |  4482929 |  3581862 |     1416   6254 |        0 |        0
822.54/822.92	c  822s |      24 |  4493155 |  3590262 |     1416   6265 |        0 |        0
824.53/824.93	c  824s |      24 |  4504276 |  3599162 |     1416   6277 |        0 |        0
826.53/826.93	c  826s |      24 |  4514755 |  3607762 |     1416   6289 |        0 |        0
828.53/828.95	c  828s |      24 |  4526948 |  3616862 |     1416   6301 |        0 |        0
830.53/830.96	c  830s |      24 |  4538150 |  3625562 |     1416   6313 |        0 |        0
832.53/832.98	c  832s |      24 |  4549594 |  3634762 |     1416   6325 |        0 |        0
834.53/834.98	c  834s |      24 |  4561116 |  3643662 |     1416   6337 |        0 |        0
836.63/837.00	c  836s |      24 |  4573351 |  3652962 |     1416   6350 |        0 |        0
838.63/839.03	c  839s |      24 |  4584846 |  3662162 |     1416   6362 |        0 |        0
840.63/841.05	c  841s |      24 |  4596060 |  3671262 |     1416   6374 |        0 |        0
842.62/843.05	c  843s |      24 |  4607690 |  3680362 |     1416   6387 |        0 |        0
844.62/845.07	c  845s |      24 |  4619077 |  3689462 |     1416   6399 |        0 |        0
846.63/847.10	c  847s |      24 |  4629711 |  3698162 |     1416   6410 |        0 |        0
848.72/849.11	c  849s |      24 |  4639865 |  3706462 |     1416   6422 |        0 |        0
850.72/851.13	c  851s |      24 |  4651035 |  3715362 |     1416   6434 |        0 |        0
852.72/853.13	c  853s |      24 |  4660562 |  3723762 |     1416   6445 |        0 |        0
854.72/855.13	c  855s |      24 |  4670478 |  3732162 |     1416   6456 |        0 |        0
856.72/857.15	c  857s |      24 |  4681840 |  3741162 |     1416   6469 |        0 |        0
858.73/859.16	c  859s |      24 |  4691555 |  3749362 |     1416   6480 |        0 |        0
860.72/861.17	c  861s |      24 |  4702613 |  3757862 |     1416   6491 |        0 |        0
862.72/863.17	c  863s |      24 |  4712513 |  3766362 |     1416   6503 |        0 |        0
864.72/865.18	c  865s |      24 |  4722837 |  3774862 |     1416   6514 |        0 |        0
866.73/867.19	c  867s |      24 |  4732392 |  3782962 |     1416   6525 |        0 |        0
868.83/869.21	c  869s |      24 |  4742882 |  3791062 |     1416   6536 |        0 |        0
870.83/871.23	c  871s |      24 |  4753902 |  3799762 |     1416   6548 |        0 |        0
872.83/873.24	c  873s |      24 |  4763412 |  3808162 |     1416   6559 |        0 |        0
874.83/875.26	c  875s |      24 |  4772601 |  3816062 |     1416   6570 |        0 |        0
876.82/877.26	c  877s |      24 |  4782877 |  3824362 |     1416   6581 |        0 |        0
878.82/879.27	c  879s |      24 |  4793016 |  3832862 |     1416   6593 |        0 |        0
880.83/881.27	c  881s |      24 |  4802201 |  3840762 |     1416   6603 |        0 |        0
882.82/883.27	c  883s |      24 |  4811855 |  3849162 |     1416   6615 |        0 |        0
884.82/885.29	c  885s |      24 |  4821379 |  3857562 |     1416   6626 |        0 |        0
886.92/887.30	c  887s |      24 |  4831548 |  3866162 |     1416   6638 |        0 |        0
888.92/889.32	c  889s |      24 |  4841448 |  3874662 |     1416   6649 |        0 |        0
890.92/891.33	c  891s |      24 |  4851252 |  3883162 |     1416   6661 |        0 |        0
892.93/893.35	c  893s |      24 |  4861243 |  3891662 |     1416   6672 |        0 |        0
894.92/895.35	c  895s |      24 |  4871229 |  3900162 |     1416   6683 |        0 |        0
896.92/897.35	c  897s |      24 |  4881653 |  3909062 |     1416   6695 |        0 |        0
898.92/899.37	c  899s |      24 |  4892367 |  3917962 |     1416   6707 |        0 |        0
900.92/901.39	c  901s |      24 |  4902660 |  3926662 |     1416   6719 |        0 |        0
902.92/903.39	c  903s |      24 |  4914195 |  3936062 |     1416   6732 |        0 |        0
904.92/905.39	c  905s |      24 |  4925341 |  3945562 |     1416   6745 |        0 |        0
906.92/907.39	c  907s |      24 |  4935385 |  3954262 |     1416   6756 |        0 |        0
909.01/909.40	c  909s |      24 |  4944875 |  3962462 |     1416   6768 |        0 |        0
911.01/911.42	c  911s |      24 |  4955676 |  3971162 |     1416   6779 |        0 |        0
913.01/913.43	c  913s |      24 |  4966054 |  3979662 |     1416   6791 |        0 |        0
915.01/915.45	c  915s |      24 |  4976884 |  3988362 |     1416   6803 |        0 |        0
917.02/917.47	c  917s |      24 |  4987429 |  3997262 |     1416   6814 |        0 |        0
919.01/919.49	c  919s |      24 |  4999328 |  4006962 |     1416   6828 |        0 |        0
921.11/921.52	c  921s |      24 |  5009900 |  4015862 |     1416   6840 |        0 |        0
923.11/923.53	c  923s |      24 |  5021207 |  4024762 |     1416   6852 |        0 |        0
925.11/925.53	c  925s |      24 |  5032467 |  4033662 |     1416   6864 |        0 |        0
927.11/927.54	c  927s |      24 |  5043900 |  4042762 |     1416   6876 |        0 |        0
929.12/929.56	c  929s |      24 |  5054013 |  4051062 |     1416   6887 |        0 |        0
931.11/931.56	c  931s |      24 |  5064342 |  4059762 |     1416   6899 |        0 |        0
933.11/933.57	c  933s |      24 |  5075025 |  4068762 |     1416   6911 |        0 |        0
935.11/935.57	c  935s |      24 |  5085171 |  4077462 |     1416   6923 |        0 |        0
937.11/937.59	c  937s |      24 |  5095340 |  4085862 |     1416   6934 |        0 |        0
939.21/939.61	c  939s |      24 |  5105054 |  4094262 |     1416   6945 |        0 |        0
941.21/941.63	c  941s |      24 |  5114370 |  4102362 |     1416   6956 |        0 |        0
943.21/943.66	c  943s |      24 |  5123246 |  4110262 |     1416   6967 |        0 |        0
945.21/945.66	c  945s |      24 |  5132019 |  4117862 |     1416   6977 |        0 |        0
947.21/947.69	c  947s |      24 |  5140319 |  4125162 |     1416   6987 |        0 |        0
949.31/949.71	c  949s |      24 |  5150118 |  4133662 |     1416   6998 |        0 |        0
951.31/951.72	c  951s |      24 |  5160124 |  4142262 |     1416   7010 |        0 |        0
953.32/953.74	c  953s |      24 |  5170598 |  4151062 |     1416   7022 |        0 |        0
955.31/955.74	c  955s |      24 |  5180965 |  4159662 |     1416   7033 |        0 |        0
957.31/957.77	c  957s |      24 |  5190970 |  4167962 |     1416   7045 |        0 |        0
959.31/959.79	c  959s |      24 |  5200934 |  4176262 |     1416   7056 |        0 |        0
961.41/961.81	c  961s |      24 |  5210604 |  4184462 |     1416   7067 |        0 |        0
963.41/963.82	c  963s |      24 |  5219710 |  4192462 |     1416   7077 |        0 |        0
965.42/965.84	c  965s |      24 |  5229588 |  4200762 |     1416   7089 |        0 |        0
967.41/967.86	c  967s |      24 |  5239190 |  4209162 |     1416   7100 |        0 |        0
969.40/969.87	c  969s |      24 |  5248840 |  4217662 |     1416   7111 |        0 |        0
971.40/971.87	c  971s |      24 |  5257776 |  4225662 |     1416   7122 |        0 |        0
973.40/973.89	c  973s |      24 |  5267171 |  4233762 |     1416   7133 |        0 |        0
975.50/975.90	c  975s |      24 |  5275883 |  4241462 |     1416   7143 |        0 |        0
977.51/977.91	c  977s |      24 |  5285109 |  4249462 |     1416   7154 |        0 |        0
979.50/979.93	c  979s |      24 |  5294246 |  4257362 |     1416   7165 |        0 |        0
981.50/981.94	c  981s |      24 |  5304151 |  4265662 |     1416   7176 |        0 |        0
983.50/983.96	c  983s |      24 |  5313899 |  4273862 |     1416   7187 |        0 |        0
985.50/985.96	c  985s |      24 |  5322907 |  4281862 |     1416   7198 |        0 |        0
987.51/987.97	c  987s |      24 |  5332097 |  4289762 |     1416   7208 |        0 |        0
989.50/989.98	c  989s |      24 |  5341853 |  4297962 |     1416   7219 |        0 |        0
991.50/991.99	c  991s |      24 |  5353129 |  4307062 |     1416   7232 |        0 |        0
993.50/993.99	c  993s |      24 |  5363361 |  4315662 |     1416   7243 |        0 |        0
995.61/996.00	c  995s |      24 |  5372494 |  4323562 |     1416   7254 |        0 |        0
997.61/998.02	c  998s |      24 |  5381889 |  4331562 |     1416   7265 |        0 |        0
999.61/1000.03	c 1000s |      24 |  5391843 |  4339862 |     1416   7276 |        0 |        0
1001.61/1002.04	c 1002s |      24 |  5401623 |  4348162 |     1416   7287 |        0 |        0
1003.61/1004.05	c 1004s |      24 |  5411817 |  4356762 |     1416   7299 |        0 |        0
1005.60/1006.06	c 1006s |      24 |  5421839 |  4365462 |     1416   7311 |        0 |        0
1007.60/1008.07	c 1008s |      24 |  5432028 |  4374062 |     1416   7322 |        0 |        0
1009.60/1010.08	c 1010s |      24 |  5441140 |  4382062 |     1416   7333 |        0 |        0
1011.61/1012.08	c 1012s |      24 |  5450901 |  4390462 |     1416   7345 |        0 |        0
1013.60/1014.08	c 1014s |      24 |  5462038 |  4399562 |     1416   7357 |        0 |        0
1015.60/1016.09	c 1016s |      24 |  5472248 |  4407962 |     1416   7368 |        0 |        0
1017.60/1018.09	c 1018s |      24 |  5483138 |  4416562 |     1416   7380 |        0 |        0
1019.70/1020.11	c 1020s |      24 |  5493106 |  4424962 |     1416   7391 |        0 |        0
1021.70/1022.11	c 1022s |      24 |  5503777 |  4433662 |     1416   7403 |        0 |        0
1023.71/1024.11	c 1024s |      24 |  5513668 |  4441962 |     1416   7414 |        0 |        0
1025.70/1026.11	c 1026s |      24 |  5524305 |  4451062 |     1416   7427 |        0 |        0
1027.70/1028.12	c 1028s |      24 |  5535299 |  4460262 |     1416   7439 |        0 |        0
1029.70/1030.13	c 1030s |      24 |  5546062 |  4469162 |     1416   7451 |        0 |        0
1031.70/1032.14	c 1032s |      24 |  5556331 |  4477762 |     1416   7463 |        0 |        0
1033.70/1034.15	c 1034s |      24 |  5567083 |  4486762 |     1416   7475 |        0 |        0
1035.69/1036.16	c 1036s |      24 |  5578140 |  4495762 |     1416   7487 |        0 |        0
1037.69/1038.17	c 1038s |      24 |  5588067 |  4504262 |     1416   7498 |        0 |        0
1039.69/1040.18	c 1040s |      24 |  5598056 |  4512662 |     1416   7510 |        0 |        0
1041.69/1042.19	c 1042s |      24 |  5607897 |  4520862 |     1416   7521 |        0 |        0
1043.79/1044.20	c 1044s |      24 |  5617288 |  4528862 |     1416   7532 |        0 |        0
1045.80/1046.21	c 1046s |      24 |  5627062 |  4537062 |     1416   7543 |        0 |        0
1047.79/1048.21	c 1048s |      24 |  5636153 |  4544962 |     1416   7553 |        0 |        0
1049.79/1050.21	c 1050s |      24 |  5645921 |  4553262 |     1416   7565 |        0 |        0
1051.79/1052.23	c 1052s |      24 |  5656981 |  4562062 |     1416   7577 |        0 |        0
1053.79/1054.24	c 1054s |      24 |  5667695 |  4570762 |     1416   7588 |        0 |        0
1055.79/1056.26	c 1056s |      24 |  5678341 |  4579462 |     1416   7600 |        0 |        0
1057.80/1058.28	c 1058s |      24 |  5688282 |  4587862 |     1416   7612 |        0 |        0
1059.79/1060.30	c 1060s |      24 |  5698479 |  4596162 |     1416   7623 |        0 |        0
1061.89/1062.31	c 1062s |      24 |  5709286 |  4604362 |     1416   7634 |        0 |        0
1063.89/1064.31	c 1064s |      24 |  5718894 |  4612262 |     1416   7645 |        0 |        0
1065.89/1066.33	c 1066s |      24 |  5728450 |  4620262 |     1416   7655 |        0 |        0
1067.89/1068.34	c 1068s |      24 |  5738574 |  4628262 |     1416   7666 |        0 |        0
1069.90/1070.35	c 1070s |      24 |  5748422 |  4635962 |     1416   7677 |        0 |        0
1071.90/1072.37	c 1072s |      24 |  5758111 |  4643862 |     1416   7687 |        0 |        0
1073.90/1074.37	c 1074s |      24 |  5767852 |  4651962 |     1416   7698 |        0 |        0
1075.90/1076.39	c 1076s |      24 |  5777511 |  4660162 |     1416   7709 |        0 |        0
1078.00/1078.42	c 1078s |      24 |  5786356 |  4667762 |     1416   7720 |        0 |        0
1079.99/1080.44	c 1080s |      24 |  5795099 |  4675362 |     1416   7730 |        0 |        0
1082.00/1082.44	c 1082s |      24 |  5804834 |  4683462 |     1416   7741 |        0 |        0
1083.99/1084.47	c 1084s |      24 |  5815688 |  4692162 |     1416   7752 |        0 |        0
1085.99/1086.47	c 1086s |      24 |  5826135 |  4700762 |     1416   7764 |        0 |        0
1087.99/1088.48	c 1088s |      24 |  5836719 |  4709362 |     1416   7776 |        0 |        0
1089.99/1090.48	c 1090s |      24 |  5846006 |  4717262 |     1416   7786 |        0 |        0
1092.00/1092.49	c 1092s |      24 |  5855251 |  4725162 |     1416   7797 |        0 |        0
1093.99/1094.50	c 1094s |      24 |  5864560 |  4733362 |     1416   7808 |        0 |        0
1096.09/1096.51	c 1096s |      24 |  5874448 |  4741862 |     1416   7820 |        0 |        0
1098.09/1098.52	c 1098s |      24 |  5883939 |  4749962 |     1416   7830 |        0 |        0
1100.09/1100.55	c 1100s |      24 |  5893763 |  4758262 |     1416   7842 |        0 |        0
1102.09/1102.55	c 1102s |      24 |  5904226 |  4766862 |     1416   7853 |        0 |        0
1104.09/1104.57	c 1104s |      24 |  5915188 |  4775362 |     1416   7865 |        0 |        0
1106.09/1106.58	c 1106s |      24 |  5925766 |  4783762 |     1416   7876 |        0 |        0
1108.09/1108.58	c 1108s |      24 |  5935953 |  4791862 |     1416   7887 |        0 |        0
1110.19/1110.60	c 1110s |      24 |  5945388 |  4799762 |     1416   7898 |        0 |        0
1112.19/1112.61	c 1112s |      24 |  5955651 |  4808062 |     1416   7909 |        0 |        0
1114.19/1114.62	c 1114s |      24 |  5965784 |  4816062 |     1416   7920 |        0 |        0
1116.19/1116.63	c 1116s |      24 |  5974294 |  4823362 |     1416   7930 |        0 |        0
1118.19/1118.64	c 1118s |      24 |  5984298 |  4831362 |     1416   7940 |        0 |        0
1120.18/1120.65	c 1120s |      24 |  5994035 |  4839762 |     1416   7952 |        0 |        0
1122.18/1122.67	c 1122s |      24 |  6004132 |  4848162 |     1416   7963 |        0 |        0
1124.18/1124.67	c 1124s |      24 |  6014968 |  4856662 |     1416   7975 |        0 |        0
1126.18/1126.69	c 1126s |      24 |  6025244 |  4865162 |     1416   7986 |        0 |        0
1128.19/1128.70	c 1128s |      24 |  6035522 |  4873562 |     1416   7998 |        0 |        0
1130.28/1130.71	c 1130s |      24 |  6045329 |  4881962 |     1416   8009 |        0 |        0
1132.28/1132.72	c 1132s |      24 |  6055117 |  4890062 |     1416   8020 |        0 |        0
1134.28/1134.74	c 1134s |      24 |  6066238 |  4898462 |     1416   8031 |        0 |        0
1136.28/1136.76	c 1136s |      24 |  6077333 |  4906962 |     1416   8043 |        0 |        0
1138.28/1138.77	c 1138s |      24 |  6088813 |  4915662 |     1416   8055 |        0 |        0
1140.28/1140.79	c 1140s |      24 |  6099869 |  4924462 |     1416   8067 |        0 |        0
1142.38/1142.80	c 1142s |      24 |  6111193 |  4932962 |     1416   8078 |        0 |        0
1144.38/1144.81	c 1144s |      24 |  6122046 |  4941462 |     1416   8090 |        0 |        0
1146.38/1146.82	c 1146s |      24 |  6133251 |  4950362 |     1416   8102 |        0 |        0
1148.38/1148.83	c 1148s |      24 |  6143348 |  4958862 |     1416   8113 |        0 |        0
1150.38/1150.84	c 1150s |      24 |  6155741 |  4968062 |     1416   8126 |        0 |        0
1152.39/1152.86	c 1152s |      24 |  6166505 |  4976562 |     1416   8137 |        0 |        0
1154.38/1154.88	c 1154s |      24 |  6176693 |  4985062 |     1416   8149 |        0 |        0
1156.38/1156.88	c 1156s |      24 |  6186434 |  4993362 |     1416   8160 |        0 |        0
1158.48/1158.90	c 1158s |      24 |  6196462 |  5001662 |     1416   8171 |        0 |        0
1160.48/1160.92	c 1160s |      24 |  6207722 |  5010462 |     1416   8183 |        0 |        0
1162.48/1162.92	c 1162s |      24 |  6219086 |  5019562 |     1416   8195 |        0 |        0
1164.49/1164.92	c 1164s |      24 |  6230653 |  5028862 |     1558   8208 |        0 |        0
1166.48/1166.95	c 1166s |      24 |  6240788 |  5037262 |     1558   8218 |        0 |        0
1168.48/1168.96	c 1168s |      24 |  6250969 |  5045862 |     1558   8229 |        0 |        0
1170.48/1170.96	c 1170s |      24 |  6260451 |  5054162 |     1558   8239 |        0 |        0
1172.48/1172.98	c 1172s |      24 |  6270813 |  5062462 |     1558   8250 |        0 |        0
1173.08/1173.54	c 1173s |      25 |  6274163 |  5065098 |     1558   8253 |        0 |        0
1175.08/1175.55	c 1175s |      25 |  6287281 |  5074098 |     1558   8264 |        0 |        0
1177.08/1177.57	c 1177s |      25 |  6301453 |  5083298 |     1558   8275 |        0 |        0
1179.08/1179.57	c 1179s |      25 |  6313564 |  5092198 |     1558   8286 |        0 |        0
1181.08/1181.58	c 1181s |      25 |  6327793 |  5101398 |     1558   8298 |        0 |        0
1183.08/1183.59	c 1183s |      25 |  6341070 |  5110398 |     1558   8309 |        0 |        0
1185.17/1185.60	c 1185s |      25 |  6353409 |  5118898 |     1558   8320 |        0 |        0
1187.17/1187.61	c 1187s |      25 |  6363919 |  5126698 |     1558   8329 |        0 |        0
1189.17/1189.62	c 1189s |      25 |  6375001 |  5134798 |     1558   8340 |        0 |        0
1191.17/1191.62	c 1191s |      25 |  6386098 |  5142898 |     1558   8350 |        0 |        0
1193.18/1193.65	c 1193s |      25 |  6398660 |  5151598 |     1558   8361 |        0 |        0
1195.17/1195.66	c 1195s |      25 |  6412157 |  5160798 |     1558   8372 |        0 |        0
1197.17/1197.68	c 1197s |      25 |  6422338 |  5169398 |     1558   8383 |        0 |        0
1199.17/1199.70	c 1199s |      25 |  6432801 |  5177998 |     1558   8393 |        0 |        0
1201.27/1201.71	c 1201s |      25 |  6444114 |  5186998 |     1558   8404 |        0 |        0
1203.27/1203.73	c 1203s |      25 |  6455853 |  5195898 |     1558   8415 |        0 |        0
1205.28/1205.75	c 1205s |      25 |  6466527 |  5204298 |     1558   8426 |        0 |        0
1207.27/1207.76	c 1207s |      25 |  6476245 |  5212098 |     1558   8435 |        0 |        0
1209.27/1209.77	c 1209s |      25 |  6485322 |  5219698 |     1558   8445 |        0 |        0
1211.27/1211.79	c 1211s |      25 |  6493722 |  5226998 |     1558   8454 |        0 |        0
1213.27/1213.79	c 1213s |      25 |  6504237 |  5235398 |     1558   8464 |        0 |        0
1215.37/1215.80	c 1215s |      25 |  6514472 |  5243798 |     1558   8474 |        0 |        0
1217.38/1217.82	c 1217s |      25 |  6526418 |  5252298 |     1558   8485 |        0 |        0
1219.37/1219.82	c 1219s |      25 |  6537219 |  5260198 |     1558   8494 |        0 |        0
1221.37/1221.83	c 1221s |      25 |  6546604 |  5267898 |     1558   8504 |        0 |        0
1223.37/1223.85	c 1223s |      25 |  6556608 |  5275998 |     1558   8514 |        0 |        0
1225.37/1225.86	c 1225s |      25 |  6565735 |  5283898 |     1558   8524 |        0 |        0
1227.37/1227.88	c 1227s |      25 |  6575026 |  5291798 |     1558   8533 |        0 |        0
1229.38/1229.88	c 1229s |      25 |  6583656 |  5299298 |     1558   8543 |        0 |        0
1231.37/1231.88	c 1231s |      25 |  6593708 |  5307498 |     1558   8553 |        0 |        0
1233.37/1233.90	c 1233s |      25 |  6603442 |  5315598 |     1558   8563 |        0 |        0
1235.47/1235.90	c 1235s |      25 |  6613890 |  5324098 |     1558   8573 |        0 |        0
1237.47/1237.91	c 1237s |      25 |  6624486 |  5332798 |     1558   8584 |        0 |        0
1239.46/1239.92	c 1239s |      25 |  6634395 |  5341098 |     1558   8594 |        0 |        0
1241.47/1241.92	c 1241s |      25 |  6644263 |  5349498 |     1558   8605 |        0 |        0
1243.46/1243.92	c 1243s |      25 |  6657326 |  5358598 |     1558   8616 |        0 |        0
1245.46/1245.94	c 1245s |      25 |  6668842 |  5367698 |     1558   8627 |        0 |        0
1247.46/1247.97	c 1247s |      25 |  6682358 |  5376898 |     1558   8639 |        0 |        0
1249.46/1249.97	c 1249s |      25 |  6695302 |  5386298 |     1558   8650 |        0 |        0
1251.47/1251.99	c 1251s |      25 |  6706268 |  5394998 |     1558   8661 |        0 |        0
1253.57/1254.01	c 1253s |      25 |  6717000 |  5403598 |     1558   8671 |        0 |        0
1255.56/1256.02	c 1256s |      25 |  6727258 |  5411998 |     1558   8682 |        0 |        0
1257.56/1258.04	c 1258s |      25 |  6737799 |  5420498 |     1558   8692 |        0 |        0
1259.56/1260.05	c 1260s |      25 |  6748078 |  5428898 |     1558   8703 |        0 |        0
1261.57/1262.07	c 1262s |      25 |  6759994 |  5437498 |     1558   8713 |        0 |        0
1263.57/1264.07	c 1264s |      25 |  6771689 |  5446798 |     1558   8725 |        0 |        0
1265.57/1266.07	c 1266s |      25 |  6783090 |  5455998 |     1558   8736 |        0 |        0
1267.56/1268.09	c 1268s |      25 |  6794201 |  5464898 |     1558   8747 |        0 |        0
1269.66/1270.12	c 1270s |      25 |  6805505 |  5473798 |     1558   8758 |        0 |        0
1271.66/1272.13	c 1272s |      25 |  6816072 |  5482398 |     1558   8769 |        0 |        0
1273.66/1274.13	c 1274s |      25 |  6826426 |  5490898 |     1558   8779 |        0 |        0
1275.67/1276.15	c 1276s |      25 |  6836560 |  5499498 |     1558   8790 |        0 |        0
1277.66/1278.15	c 1278s |      25 |  6846385 |  5507698 |     1558   8800 |        0 |        0
1279.66/1280.15	c 1280s |      25 |  6856504 |  5515998 |     1558   8810 |        0 |        0
1281.66/1282.17	c 1282s |      25 |  6868138 |  5524898 |     1558   8821 |        0 |        0
1283.66/1284.17	c 1284s |      25 |  6878463 |  5533098 |     1558   8831 |        0 |        0
1285.66/1286.18	c 1286s |      25 |  6888186 |  5541198 |     1558   8841 |        0 |        0
1287.66/1288.19	c 1288s |      25 |  6898746 |  5549498 |     1558   8851 |        0 |        0
1289.66/1290.19	c 1290s |      25 |  6909755 |  5558198 |     1558   8862 |        0 |        0
1291.66/1292.19	c 1292s |      25 |  6920550 |  5566498 |     1558   8872 |        0 |        0
1293.76/1294.22	c 1294s |      25 |  6932084 |  5575098 |     1558   8883 |        0 |        0
1295.76/1296.24	c 1296s |      25 |  6943265 |  5583898 |     1558   8894 |        0 |        0
1297.76/1298.26	c 1298s |      25 |  6955569 |  5592998 |     1558   8905 |        0 |        0
1299.76/1300.26	c 1300s |      25 |  6966100 |  5601398 |     1558   8915 |        0 |        0
1301.76/1302.27	c 1302s |      25 |  6976931 |  5609698 |     1558   8926 |        0 |        0
1303.75/1304.30	c 1304s |      25 |  6986778 |  5617898 |     1558   8936 |        0 |        0
1305.85/1306.30	c 1306s |      25 |  6997104 |  5626498 |     1558   8946 |        0 |        0
1307.85/1308.30	c 1308s |      25 |  7006574 |  5634598 |     1558   8956 |        0 |        0
1309.85/1310.33	c 1310s |      25 |  7016461 |  5642798 |     1558   8967 |        0 |        0
1311.86/1312.35	c 1312s |      25 |  7026264 |  5651098 |     1558   8977 |        0 |        0
1313.85/1314.36	c 1314s |      25 |  7036635 |  5659498 |     1558   8987 |        0 |        0
1315.85/1316.39	c 1316s |      25 |  7046959 |  5668098 |     1558   8998 |        0 |        0
1317.95/1318.41	c 1318s |      25 |  7056571 |  5676098 |     1558   9008 |        0 |        0
1319.95/1320.41	c 1320s |      25 |  7066217 |  5684198 |     1558   9018 |        0 |        0
1321.95/1322.42	c 1322s |      25 |  7075534 |  5692098 |     1558   9027 |        0 |        0
1323.96/1324.43	c 1324s |      25 |  7085103 |  5700098 |     1558   9037 |        0 |        0
1325.95/1326.44	c 1326s |      25 |  7095299 |  5708198 |     1558   9047 |        0 |        0
1327.95/1328.45	c 1328s |      25 |  7107672 |  5716698 |     1558   9058 |        0 |        0
1329.95/1330.46	c 1330s |      25 |  7120701 |  5725798 |     1558   9069 |        0 |        0
1331.95/1332.47	c 1332s |      25 |  7134495 |  5735498 |     1558   9081 |        0 |        0
1333.95/1334.48	c 1334s |      25 |  7149083 |  5745198 |     1558   9093 |        0 |        0
1335.95/1336.49	c 1336s |      25 |  7160972 |  5754198 |     1558   9104 |        0 |        0
1337.95/1338.49	c 1338s |      25 |  7172312 |  5762898 |     1558   9115 |        0 |        0
1340.05/1340.50	c 1340s |      25 |  7182947 |  5771298 |     1558   9125 |        0 |        0
1342.05/1342.51	c 1342s |      25 |  7194388 |  5780098 |     1558   9136 |        0 |        0
1344.05/1344.52	c 1344s |      25 |  7207953 |  5789198 |     1558   9148 |        0 |        0
1346.05/1346.54	c 1346s |      25 |  7219049 |  5797498 |     1558   9158 |        0 |        0
1348.05/1348.54	c 1348s |      25 |  7228530 |  5805198 |     1558   9167 |        0 |        0
1350.04/1350.55	c 1350s |      25 |  7239777 |  5814098 |     1558   9178 |        0 |        0
1352.04/1352.55	c 1352s |      25 |  7250668 |  5822898 |     1558   9189 |        0 |        0
1354.04/1354.55	c 1354s |      25 |  7262606 |  5831998 |     1558   9200 |        0 |        0
1356.04/1356.57	c 1356s |      25 |  7275504 |  5841498 |     1558   9212 |        0 |        0
1358.05/1358.59	c 1358s |      25 |  7287776 |  5850598 |     1558   9223 |        0 |        0
1360.14/1360.61	c 1360s |      25 |  7298757 |  5859298 |     1558   9234 |        0 |        0
1362.15/1362.62	c 1362s |      25 |  7311335 |  5868498 |     1558   9246 |        0 |        0
1364.15/1364.63	c 1364s |      25 |  7324502 |  5877898 |     1558   9257 |        0 |        0
1366.15/1366.66	c 1366s |      25 |  7336190 |  5887098 |     1558   9269 |        0 |        0
1368.15/1368.66	c 1368s |      25 |  7348069 |  5896398 |     1558   9280 |        0 |        0
1370.16/1370.67	c 1370s |      25 |  7359342 |  5905598 |     1558   9291 |        0 |        0
1372.15/1372.69	c 1372s |      25 |  7370333 |  5914598 |     1558   9303 |        0 |        0
1374.25/1374.70	c 1374s |      25 |  7381738 |  5923698 |     1558   9314 |        0 |        0
1376.25/1376.71	c 1376s |      25 |  7393096 |  5932898 |     1558   9325 |        0 |        0
1378.25/1378.72	c 1378s |      25 |  7403522 |  5941498 |     1558   9336 |        0 |        0
1380.25/1380.74	c 1380s |      25 |  7414374 |  5950398 |     1558   9347 |        0 |        0
1382.25/1382.75	c 1382s |      25 |  7424476 |  5958798 |     1558   9357 |        0 |        0
1384.24/1384.76	c 1384s |      25 |  7434442 |  5967098 |     1558   9367 |        0 |        0
1386.24/1386.78	c 1386s |      25 |  7445034 |  5975998 |     1558   9378 |        0 |        0
1388.24/1388.79	c 1388s |      25 |  7454528 |  5984298 |     1558   9389 |        0 |        0
1390.24/1390.80	c 1390s |      25 |  7463990 |  5992498 |     1558   9399 |        0 |        0
1392.34/1392.80	c 1392s |      25 |  7473594 |  6000698 |     1558   9409 |        0 |        0
1394.24/1394.80	c 1394s |      25 |  7483239 |  6008898 |     1558   9419 |        0 |        0
1396.34/1396.82	c 1396s |      25 |  7492992 |  6017198 |     1558   9429 |        0 |        0
1398.34/1398.82	c 1398s |      25 |  7502573 |  6025698 |     1558   9439 |        0 |        0
1400.34/1400.84	c 1400s |      25 |  7512252 |  6034098 |     1558   9450 |        0 |        0
1402.34/1402.86	c 1402s |      25 |  7522086 |  6042598 |     1558   9460 |        0 |        0
1404.35/1404.87	c 1404s |      25 |  7532050 |  6051098 |     1558   9471 |        0 |        0
1406.34/1406.89	c 1406s |      25 |  7542370 |  6059598 |     1558   9481 |        0 |        0
1408.44/1408.90	c 1408s |      25 |  7552718 |  6068098 |     1558   9492 |        0 |        0
1410.44/1410.92	c 1410s |      25 |  7562625 |  6076598 |     1558   9502 |        0 |        0
1412.44/1412.94	c 1412s |      25 |  7572182 |  6084698 |     1558   9512 |        0 |        0
1414.44/1414.95	c 1414s |      25 |  7581477 |  6092498 |     1558   9522 |        0 |        0
1416.44/1416.98	c 1416s |      25 |  7589934 |  6099698 |     1558   9530 |        0 |        0
1418.44/1419.00	c 1418s |      25 |  7598068 |  6106898 |     1558   9539 |        0 |        0
1420.54/1421.01	c 1421s |      25 |  7607017 |  6114398 |     1558   9549 |        0 |        0
1422.54/1423.02	c 1423s |      25 |  7616112 |  6122198 |     1558   9558 |        0 |        0
1424.54/1425.02	c 1425s |      25 |  7626784 |  6130798 |     1558   9569 |        0 |        0
1426.53/1427.04	c 1427s |      25 |  7636931 |  6138998 |     1558   9579 |        0 |        0
1428.54/1429.04	c 1429s |      25 |  7646403 |  6146898 |     1558   9589 |        0 |        0
1430.53/1431.06	c 1431s |      25 |  7658369 |  6156498 |     1558   9600 |        0 |        0
1432.53/1433.06	c 1433s |      25 |  7669768 |  6165698 |     1558   9612 |        0 |        0
1434.53/1435.07	c 1435s |      25 |  7680572 |  6174598 |     1558   9623 |        0 |        0
1436.53/1437.08	c 1437s |      25 |  7692072 |  6183698 |     1558   9634 |        0 |        0
1438.64/1439.11	c 1439s |      25 |  7704614 |  6192798 |     1558   9645 |        0 |        0
1440.65/1441.13	c 1441s |      25 |  7716285 |  6201898 |     1558   9656 |        0 |        0
1442.64/1443.14	c 1443s |      25 |  7729570 |  6211498 |     1558   9668 |        0 |        0
1444.64/1445.16	c 1445s |      25 |  7739768 |  6219698 |     1558   9678 |        0 |        0
1446.64/1447.17	c 1447s |      25 |  7749792 |  6227698 |     1558   9688 |        0 |        0
1448.64/1449.17	c 1449s |      25 |  7761184 |  6236098 |     1558   9699 |        0 |        0
1450.64/1451.19	c 1451s |      25 |  7771345 |  6244198 |     1558   9709 |        0 |        0
1452.64/1453.19	c 1453s |      25 |  7781561 |  6252398 |     1558   9719 |        0 |        0
1454.74/1455.21	c 1455s |      25 |  7791412 |  6260698 |     1558   9729 |        0 |        0
1456.74/1457.22	c 1457s |      25 |  7800775 |  6268598 |     1558   9739 |        0 |        0
1458.74/1459.25	c 1459s |      25 |  7810178 |  6276498 |     1558   9748 |        0 |        0
1460.74/1461.26	c 1461s |      25 |  7821421 |  6285098 |     1558   9759 |        0 |        0
1462.73/1463.28	c 1463s |      25 |  7832183 |  6293298 |     1558   9769 |        0 |        0
1464.74/1465.28	c 1465s |      25 |  7843610 |  6301798 |     1558   9780 |        0 |        0
1466.73/1467.28	c 1467s |      25 |  7854858 |  6309998 |     1558   9790 |        0 |        0
1468.83/1469.30	c 1469s |      25 |  7866405 |  6318198 |     1558   9800 |        0 |        0
1470.83/1471.32	c 1471s |      25 |  7878878 |  6326898 |     1558   9811 |        0 |        0
1472.83/1473.33	c 1473s |      25 |  7890766 |  6335498 |     1558   9821 |        0 |        0
1474.83/1475.35	c 1475s |      25 |  7904656 |  6344498 |     1558   9832 |        0 |        0
1476.84/1477.37	c 1477s |      25 |  7915318 |  6353098 |     1558   9843 |        0 |        0
1478.83/1479.38	c 1479s |      25 |  7925723 |  6361598 |     1558   9853 |        0 |        0
1480.93/1481.40	c 1481s |      25 |  7938678 |  6371198 |     1558   9865 |        0 |        0
1482.93/1483.41	c 1483s |      25 |  7951435 |  6380398 |     1558   9877 |        0 |        0
1484.93/1485.42	c 1485s |      25 |  7964309 |  6389698 |     1558   9888 |        0 |        0
1486.93/1487.44	c 1487s |      25 |  7975869 |  6398498 |     1558   9899 |        0 |        0
1488.93/1489.45	c 1489s |      25 |  7988386 |  6407398 |     1558   9910 |        0 |        0
1490.93/1491.48	c 1491s |      25 |  7999786 |  6415898 |     1558   9920 |        0 |        0
1493.03/1493.50	c 1493s |      25 |  8011074 |  6424198 |     1558   9931 |        0 |        0
1495.03/1495.50	c 1495s |      25 |  8024030 |  6433298 |     1558   9942 |        0 |        0
1497.03/1497.51	c 1497s |      25 |  8035543 |  6441698 |     1558   9952 |        0 |        0
1499.03/1499.53	c 1499s |      25 |  8046132 |  6450698 |     1558   9963 |        0 |        0
1501.03/1501.53	c 1501s |      25 |  8057572 |  6459798 |     1558   9975 |        0 |        0
1503.02/1503.56	c 1503s |      25 |  8067949 |  6468498 |     1558   9985 |        0 |        0
1505.02/1505.56	c 1505s |      25 |  8079268 |  6477598 |     1558   9997 |        0 |        0
1507.02/1507.58	c 1507s |      25 |  8092157 |  6486998 |     1558  10008 |        0 |        0
1509.02/1509.59	c 1509s |      25 |  8104486 |  6496198 |     1558  10020 |        0 |        0
1511.03/1511.59	c 1511s |      25 |  8115760 |  6505198 |     1558  10031 |        0 |        0
1513.02/1513.59	c 1513s |      25 |  8126783 |  6513998 |     1558  10042 |        0 |        0
1515.12/1515.61	c 1515s |      25 |  8139144 |  6523098 |     1558  10053 |        0 |        0
1517.12/1517.63	c 1517s |      25 |  8150328 |  6531698 |     1558  10063 |        0 |        0
1519.12/1519.64	c 1519s |      25 |  8162295 |  6540598 |     1558  10074 |        0 |        0
1521.12/1521.65	c 1521s |      25 |  8173769 |  6549698 |     1558  10086 |        0 |        0
1523.13/1523.67	c 1523s |      25 |  8185210 |  6558998 |     1558  10097 |        0 |        0
1525.12/1525.69	c 1525s |      25 |  8195888 |  6567698 |     1558  10108 |        0 |        0
1527.22/1527.71	c 1527s |      25 |  8207444 |  6576498 |     1558  10119 |        0 |        0
1529.22/1529.71	c 1529s |      25 |  8218239 |  6585298 |     1558  10130 |        0 |        0
1531.22/1531.73	c 1531s |      25 |  8228733 |  6593898 |     1558  10140 |        0 |        0
1533.22/1533.74	c 1533s |      25 |  8238354 |  6601898 |     1558  10150 |        0 |        0
1535.22/1535.74	c 1535s |      25 |  8248978 |  6610498 |     1558  10161 |        0 |        0
1537.23/1537.75	c 1537s |      25 |  8260073 |  6619198 |     1558  10172 |        0 |        0
1539.23/1539.76	c 1539s |      25 |  8272486 |  6628598 |     1558  10183 |        0 |        0
1541.22/1541.77	c 1541s |      25 |  8286169 |  6637998 |     1558  10195 |        0 |        0
1543.22/1543.79	c 1543s |      25 |  8299089 |  6647298 |     1558  10206 |        0 |        0
1545.32/1545.81	c 1545s |      25 |  8310946 |  6655898 |     1558  10217 |        0 |        0
1547.33/1547.82	c 1547s |      25 |  8321729 |  6664198 |     1558  10227 |        0 |        0
1549.32/1549.83	c 1549s |      25 |  8332222 |  6672898 |     1558  10238 |        0 |        0
1551.32/1551.84	c 1551s |      25 |  8342561 |  6681398 |     1558  10248 |        0 |        0
1553.32/1553.85	c 1553s |      25 |  8354787 |  6690398 |     1558  10260 |        0 |        0
1555.32/1555.87	c 1555s |      25 |  8367206 |  6699498 |     1558  10271 |        0 |        0
1557.32/1557.88	c 1557s |      25 |  8378195 |  6707998 |     1558  10281 |        0 |        0
1559.33/1559.89	c 1559s |      25 |  8390331 |  6716898 |     1558  10292 |        0 |        0
1561.42/1561.91	c 1561s |      25 |  8401937 |  6725798 |     1558  10303 |        0 |        0
1563.42/1563.92	c 1563s |      25 |  8412504 |  6734298 |     1558  10314 |        0 |        0
1565.42/1565.94	c 1565s |      25 |  8423310 |  6742798 |     1558  10324 |        0 |        0
1567.42/1567.96	c 1567s |      25 |  8436155 |  6751898 |     1558  10335 |        0 |        0
1569.42/1569.97	c 1569s |      25 |  8448658 |  6760798 |     1558  10346 |        0 |        0
1571.42/1571.98	c 1571s |      25 |  8460014 |  6769598 |     1558  10357 |        0 |        0
1573.42/1573.99	c 1573s |      25 |  8472133 |  6778698 |     1558  10369 |        0 |        0
1575.42/1575.99	c 1575s |      25 |  8484278 |  6787698 |     1558  10380 |        0 |        0
1577.42/1578.00	c 1577s |      25 |  8494318 |  6795698 |     1558  10389 |        0 |        0
1579.51/1580.00	c 1579s |      25 |  8506274 |  6804198 |     1558  10400 |        0 |        0
1581.51/1582.02	c 1582s |      25 |  8516100 |  6812198 |     1558  10410 |        0 |        0
1583.52/1584.04	c 1584s |      25 |  8527675 |  6820298 |     1558  10420 |        0 |        0
1585.51/1586.05	c 1586s |      25 |  8540122 |  6828898 |     1558  10430 |        0 |        0
1587.51/1588.07	c 1588s |      25 |  8555253 |  6838598 |     1558  10443 |        0 |        0
1589.51/1590.08	c 1590s |      25 |  8569678 |  6848598 |     1558  10455 |        0 |        0
1591.51/1592.08	c 1592s |      25 |  8582628 |  6857898 |     1558  10466 |        0 |        0
1593.52/1594.09	c 1594s |      25 |  8593679 |  6866498 |     1558  10477 |        0 |        0
1595.51/1596.10	c 1596s |      25 |  8603649 |  6874898 |     1558  10487 |        0 |        0
1597.61/1598.10	c 1598s |      25 |  8615164 |  6883598 |     1558  10498 |        0 |        0
1599.61/1600.11	c 1600s |      25 |  8626670 |  6892498 |     1558  10509 |        0 |        0
1601.61/1602.13	c 1602s |      25 |  8636455 |  6900698 |     1558  10519 |        0 |        0
1603.61/1604.13	c 1604s |      25 |  8650347 |  6910198 |     1558  10531 |        0 |        0
1605.62/1606.14	c 1606s |      25 |  8660834 |  6918298 |     1558  10541 |        0 |        0
1607.61/1608.16	c 1608s |      25 |  8672356 |  6926898 |     1558  10552 |        0 |        0
1609.61/1610.17	c 1610s |      25 |  8683348 |  6934998 |     1558  10562 |        0 |        0
1611.61/1612.18	c 1612s |      25 |  8693069 |  6942898 |     1558  10572 |        0 |        0
1613.61/1614.19	c 1614s |      25 |  8705346 |  6951498 |     1558  10582 |        0 |        0
1615.71/1616.20	c 1616s |      25 |  8717287 |  6959998 |     1558  10593 |        0 |        0
1617.71/1618.21	c 1618s |      25 |  8726894 |  6967798 |     1558  10602 |        0 |        0
1619.70/1620.22	c 1620s |      25 |  8736760 |  6975698 |     1558  10612 |        0 |        0
1621.70/1622.24	c 1622s |      25 |  8747580 |  6984098 |     1558  10623 |        0 |        0
1623.70/1624.25	c 1624s |      25 |  8762697 |  6993498 |     1558  10634 |        0 |        0
1625.70/1626.28	c 1626s |      25 |  8774584 |  7001898 |     1558  10644 |        0 |        0
1627.70/1628.28	c 1628s |      25 |  8786889 |  7010598 |     1558  10655 |        0 |        0
1629.71/1630.30	c 1630s |      25 |  8797118 |  7018998 |     1558  10666 |        0 |        0
1631.80/1632.30	c 1632s |      25 |  8808336 |  7027698 |     1558  10676 |        0 |        0
1633.80/1634.31	c 1634s |      25 |  8820866 |  7036498 |     1558  10687 |        0 |        0
1635.81/1636.32	c 1636s |      25 |  8832521 |  7044898 |     1558  10698 |        0 |        0
1637.81/1638.32	c 1638s |      25 |  8846291 |  7054398 |     1558  10709 |        0 |        0
1639.81/1640.33	c 1640s |      25 |  8858235 |  7063298 |     1558  10720 |        0 |        0
1641.82/1642.34	c 1642s |      25 |  8869064 |  7071998 |     1558  10731 |        0 |        0
1643.81/1644.35	c 1644s |      25 |  8880331 |  7081098 |     1558  10742 |        0 |        0
1645.81/1646.37	c 1646s |      25 |  8891731 |  7089998 |     1558  10753 |        0 |        0
1647.81/1648.37	c 1648s |      25 |  8902125 |  7098498 |     1558  10764 |        0 |        0
1649.91/1650.40	c 1650s |      25 |  8912222 |  7106998 |     1558  10774 |        0 |        0
1651.91/1652.40	c 1652s |      25 |  8922824 |  7115498 |     1558  10785 |        0 |        0
1653.91/1654.41	c 1654s |      25 |  8934039 |  7124298 |     1558  10795 |        0 |        0
1655.91/1656.41	c 1656s |      25 |  8945795 |  7133298 |     1558  10807 |        0 |        0
1657.91/1658.42	c 1658s |      25 |  8958241 |  7142798 |     1558  10818 |        0 |        0
1659.90/1660.45	c 1660s |      25 |  8969944 |  7151998 |     1558  10830 |        0 |        0
1661.90/1662.45	c 1662s |      25 |  8981824 |  7161198 |     1558  10841 |        0 |        0
1663.91/1664.47	c 1664s |      25 |  8993549 |  7170198 |     1558  10852 |        0 |        0
1665.90/1666.48	c 1666s |      25 |  9003746 |  7178498 |     1558  10862 |        0 |        0
1668.00/1668.50	c 1668s |      25 |  9014009 |  7186798 |     1558  10873 |        0 |        0
1670.00/1670.52	c 1670s |      25 |  9026069 |  7195498 |     1558  10883 |        0 |        0
1672.00/1672.54	c 1672s |      25 |  9038531 |  7204598 |     1558  10895 |        0 |        0
1674.00/1674.55	c 1674s |      25 |  9051934 |  7213998 |     1558  10906 |        0 |        0
1676.01/1676.56	c 1676s |      25 |  9063654 |  7222698 |     1558  10917 |        0 |        0
1678.00/1678.58	c 1678s |      25 |  9075229 |  7231098 |     1558  10927 |        0 |        0
1680.00/1680.59	c 1680s |      25 |  9087904 |  7240298 |     1558  10939 |        0 |        0
1682.10/1682.60	c 1682s |      25 |  9101064 |  7249198 |     1558  10950 |        0 |        0
1684.10/1684.61	c 1684s |      25 |  9112420 |  7257698 |     1558  10960 |        0 |        0
1686.10/1686.62	c 1686s |      25 |  9123763 |  7266198 |     1558  10971 |        0 |        0
1688.10/1688.63	c 1688s |      25 |  9134016 |  7274698 |     1558  10981 |        0 |        0
1690.10/1690.65	c 1690s |      25 |  9143995 |  7283098 |     1558  10991 |        0 |        0
1692.09/1692.67	c 1692s |      25 |  9154411 |  7291498 |     1558  11002 |        0 |        0
1694.09/1694.68	c 1694s |      25 |  9164416 |  7299798 |     1558  11012 |        0 |        0
1696.09/1696.69	c 1696s |      25 |  9174662 |  7308398 |     1558  11023 |        0 |        0
1698.19/1698.71	c 1698s |      25 |  9184977 |  7316698 |     1558  11033 |        0 |        0
1700.20/1700.71	c 1700s |      25 |  9194404 |  7324598 |     1558  11043 |        0 |        0
1702.19/1702.72	c 1702s |      25 |  9203619 |  7332298 |     1558  11052 |        0 |        0
1704.19/1704.74	c 1704s |      25 |  9213863 |  7340798 |     1558  11062 |        0 |        0
1706.19/1706.76	c 1706s |      25 |  9223558 |  7349098 |     1558  11073 |        0 |        0
1708.19/1708.77	c 1708s |      25 |  9233493 |  7357398 |     1558  11083 |        0 |        0
1710.19/1710.78	c 1710s |      25 |  9243828 |  7365798 |     1558  11093 |        0 |        0
1712.20/1712.78	c 1712s |      25 |  9254961 |  7374398 |     1558  11104 |        0 |        0
1714.29/1714.81	c 1714s |      25 |  9266177 |  7383198 |     1558  11115 |        0 |        0
1716.29/1716.82	c 1716s |      25 |  9276191 |  7391298 |     1558  11125 |        0 |        0
1718.29/1718.85	c 1718s |      25 |  9287113 |  7399998 |     1558  11135 |        0 |        0
1720.29/1720.86	c 1720s |      25 |  9296359 |  7407898 |     1558  11145 |        0 |        0
1722.29/1722.87	c 1722s |      25 |  9305360 |  7415698 |     1558  11155 |        0 |        0
1724.30/1724.87	c 1724s |      25 |  9314564 |  7423698 |     1558  11165 |        0 |        0
1726.29/1726.89	c 1726s |      25 |  9324395 |  7431898 |     1558  11175 |        0 |        0
1728.39/1728.91	c 1728s |      25 |  9335524 |  7440298 |     1558  11185 |        0 |        0
1730.39/1730.92	c 1730s |      25 |  9345630 |  7448498 |     1558  11195 |        0 |        0
1732.39/1732.95	c 1732s |      25 |  9354778 |  7456298 |     1558  11205 |        0 |        0
1734.39/1734.95	c 1734s |      25 |  9364408 |  7464398 |     1558  11215 |        0 |        0
1736.39/1736.97	c 1736s |      25 |  9374181 |  7472498 |     1558  11225 |        0 |        0
1738.39/1738.97	c 1738s |      25 |  9383435 |  7480398 |     1558  11234 |        0 |        0
1740.39/1740.98	c 1740s |      25 |  9393831 |  7488798 |     1558  11245 |        0 |        0
1742.39/1742.99	c 1742s |      25 |  9404216 |  7496998 |     1558  11255 |        0 |        0
1744.49/1745.00	c 1744s |      25 |  9415112 |  7505398 |     1558  11265 |        0 |        0
1746.49/1747.01	c 1746s |      25 |  9426189 |  7514098 |     1558  11276 |        0 |        0
1748.50/1749.01	c 1748s |      25 |  9436271 |  7522598 |     1558  11286 |        0 |        0
1750.49/1751.02	c 1751s |      25 |  9445633 |  7530598 |     1558  11296 |        0 |        0
1752.49/1753.04	c 1753s |      25 |  9454943 |  7538398 |     1558  11306 |        0 |        0
1754.49/1755.05	c 1755s |      25 |  9465409 |  7546798 |     1714  11316 |        0 |        0
1756.49/1757.07	c 1757s |      25 |  9474550 |  7554598 |     1714  11325 |        0 |        0
1758.49/1759.08	c 1759s |      25 |  9483694 |  7562398 |     1714  11333 |        0 |        0
1760.49/1761.09	c 1761s |      25 |  9494134 |  7570498 |     1714  11343 |        0 |        0
1762.59/1763.11	c 1763s |      25 |  9504605 |  7579398 |     1714  11353 |        0 |        0
1764.59/1765.13	c 1765s |      25 |  9515087 |  7587898 |     1714  11362 |        0 |        0
1766.59/1767.16	c 1767s |      25 |  9525746 |  7596198 |     1714  11372 |        0 |        0
1766.99/1767.52	c 1767s |      26 |  9527851 |  7597752 |     1714  11373 |        0 |        0
1768.99/1769.53	c 1769s |      26 |  9540563 |  7606752 |     1714  11383 |        0 |        0
1770.98/1771.54	c 1771s |      26 |  9552381 |  7615452 |     1714  11393 |        0 |        0
1772.98/1773.54	c 1773s |      26 |  9564253 |  7623852 |     1714  11402 |        0 |        0
1774.99/1775.56	c 1775s |      26 |  9573956 |  7631952 |     1714  11411 |        0 |        0
1776.98/1777.56	c 1777s |      26 |  9584443 |  7640452 |     1714  11421 |        0 |        0
1778.98/1779.58	c 1779s |      26 |  9594260 |  7648752 |     1714  11430 |        0 |        0
1780.98/1781.59	c 1781s |      26 |  9605509 |  7657452 |     1714  11440 |        0 |        0
1783.08/1783.60	c 1783s |      26 |  9617302 |  7666352 |     1714  11450 |        0 |        0
1785.08/1785.61	c 1785s |      26 |  9627907 |  7674952 |     1714  11460 |        0 |        0
1787.09/1787.61	c 1787s |      26 |  9637705 |  7683052 |     1714  11469 |        0 |        0
1789.08/1789.62	c 1789s |      26 |  9648485 |  7691452 |     1714  11479 |        0 |        0
1791.08/1791.63	c 1791s |      26 |  9658763 |  7699952 |     1714  11488 |        0 |        0
1793.08/1793.65	c 1793s |      26 |  9668195 |  7708052 |     1714  11497 |        0 |        0
1795.08/1795.67	c 1795s |      26 |  9678313 |  7716252 |     1714  11506 |        0 |        0
1797.08/1797.68	c 1797s |      26 |  9688519 |  7724452 |     1714  11516 |        0 |        0
1799.09/1799.70	c 1799s |      26 |  9697647 |  7732252 |     1714  11524 |        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-4095917-1466098910/watcher-4095917-1466098910 -o /tmp/evaluation-result-4095917-1466098910/solver-4095917-1466098910 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466097108-24736 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4095917-1466098910.opb 

pid=24894
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: 1.95 2.08 2.08 3/170 24897
/proc/meminfo: memFree=30790188/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=754108 CPUtime=0 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 2816 0 0 0 0 0 0 0 20 0 4 0 11939944 772206592 3177 33554432000 4194304 16246674 140734952374032 140734952373456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 189039 3187 441 2943 0 185933 0
[pid=24897/tid=24898] ppid=24894 vsize=771516 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 790032384 3246 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=775612 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 794226688 3263 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=779708 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11939945 798420992 3277 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 1.95 2.08 2.08 3/170 24897
/proc/meminfo: memFree=30790188/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 24814 0 0 0 6 3 0 0 20 0 4 0 11939944 1247350784 25163 33554432000 4194304 16246674 140734952374032 140734952373456 5515837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 304529 25170 707 2943 0 301423 0
[pid=24897/tid=24898] ppid=24894 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1247350784 25176 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1247350784 25183 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11939945 1247350784 25192 33554432000 4194304 16246674 140734952374032 140730223807664 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.200534 s]
/proc/loadavg: 1.95 2.08 2.08 3/170 24897
/proc/meminfo: memFree=30790188/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 48050 0 0 0 13 5 0 0 20 0 4 0 11939944 1247350784 48399 33554432000 4194304 16246674 140734952374032 140734952373456 5669490 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 304529 48406 707 2943 0 301423 0
[pid=24897/tid=24898] ppid=24894 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1247350784 48411 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1247350784 48423 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11939945 1247350784 48432 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300502 s]
/proc/loadavg: 1.95 2.08 2.08 3/170 24897
/proc/meminfo: memFree=30790188/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 71713 0 0 0 20 9 0 0 20 0 4 0 11939944 1247350784 72062 33554432000 4194304 16246674 140734952374032 140734952355904 5708022 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 304529 72078 710 2943 0 301423 0
[pid=24897/tid=24898] ppid=24894 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1247350784 72083 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1247350784 72089 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11939945 1247350784 72096 33554432000 4194304 16246674 140734952374032 140730223807664 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.700419 s]
/proc/loadavg: 1.95 2.08 2.08 3/170 24897
/proc/meminfo: memFree=30790188/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 171314 0 0 0 47 22 0 0 20 0 4 0 11939944 1247350784 171663 33554432000 4194304 16246674 140734952374032 140734952355904 5831697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 304529 171673 710 2943 0 301423 0
[pid=24897/tid=24898] ppid=24894 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1247350784 171678 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1247350784 171689 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11939945 1247350784 171695 33554432000 4194304 16246674 140734952374032 140730223807664 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.50042 s]
/proc/loadavg: 1.95 2.08 2.08 4/183 24914
/proc/meminfo: memFree=28826504/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 245580 0 0 0 118 31 0 0 20 0 4 0 11939944 1248399360 245909 33554432000 4194304 16246674 140734952374032 140734952355904 5721972 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 304785 245909 784 2943 0 301679 0
[pid=24897/tid=24898] ppid=24894 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1248399360 245909 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1248399360 245909 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1248399360 245909 33554432000 4194304 16246674 140734952374032 140730223807664 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) 1219140

[startup+3.10041 s]
/proc/loadavg: 1.95 2.08 2.08 4/183 24914
/proc/meminfo: memFree=28651756/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 267426 0 0 0 275 34 0 0 20 0 4 0 11939944 1337528320 267755 33554432000 4194304 16246674 140734952374032 140734952355904 5572228 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 326545 267755 784 2943 0 323439 0
[pid=24897/tid=24898] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267755 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267755 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267755 33554432000 4194304 16246674 140734952374032 140730223807664 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.30044 s]
/proc/loadavg: 2.11 2.11 2.09 3/183 24914
/proc/meminfo: memFree=28650804/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 267440 0 0 0 595 34 0 0 20 0 4 0 11939944 1337528320 267769 33554432000 4194304 16246674 140734952374032 140734952355904 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 326545 267769 784 2943 0 323439 0
[pid=24897/tid=24898] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267769 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267769 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267769 33554432000 4194304 16246674 140734952374032 140730223807664 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.10 2.11 2.09 3/183 24914
/proc/meminfo: memFree=28650756/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 267491 0 0 0 1234 35 0 0 20 0 4 0 11939944 1337528320 267820 33554432000 4194304 16246674 140734952374032 140734952355904 5546107 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 326545 267820 785 2943 0 323439 0
[pid=24897/tid=24898] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267820 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267820 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267820 33554432000 4194304 16246674 140734952374032 140730223807664 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.08 2.10 2.09 3/183 24914
/proc/meminfo: memFree=28651872/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 267491 0 0 0 2514 35 0 0 20 0 4 0 11939944 1337528320 267820 33554432000 4194304 16246674 140734952374032 140734952355904 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 326545 267820 785 2943 0 323439 0
[pid=24897/tid=24898] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267820 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267820 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267820 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.13 2.11 2.09 3/183 24914
/proc/meminfo: memFree=28651724/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1306180 CPUtime=51.07 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 267507 0 0 0 5072 35 0 0 20 0 4 0 11939944 1337528320 267821 33554432000 4194304 16246674 140734952374032 140734952373128 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 326545 267821 786 2943 0 323439 0
[pid=24897/tid=24898] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267821 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267821 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1337528320 267821 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1306180

[startup+102.301 s]
/proc/loadavg: 2.29 2.15 2.10 3/183 24915
/proc/meminfo: memFree=28651760/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1307204 CPUtime=102.26 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 267637 0 0 0 10190 36 0 0 20 0 4 0 11939944 1338576896 267933 33554432000 4194304 16246674 140734952374032 140734952357032 5677256 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 326801 267933 786 2943 0 323695 0
[pid=24897/tid=24898] ppid=24894 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1338576896 267933 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1338576896 267933 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1338576896 267933 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 1307204


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

/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1308228

[startup+1302.3 s]
/proc/loadavg: 2.16 2.18 2.15 3/183 24969
/proc/meminfo: memFree=28643748/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1308228 CPUtime=1301.86 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 268341 0 0 0 130133 53 0 0 20 0 4 0 11939944 1339625472 268277 33554432000 4194304 16246674 140734952374032 140734952355904 5546177 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 327057 268277 788 2943 0 323951 0
[pid=24897/tid=24898] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1308228

[startup+1362.3 s]
/proc/loadavg: 2.23 2.19 2.16 3/183 24970
/proc/meminfo: memFree=28643656/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1308228 CPUtime=1361.85 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 268341 0 0 0 136131 54 0 0 20 0 4 0 11939944 1339625472 268277 33554432000 4194304 16246674 140734952374032 140734952355904 5724496 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 327057 268277 788 2943 0 323951 0
[pid=24897/tid=24898] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1308228

[startup+1422.3 s]
/proc/loadavg: 2.25 2.20 2.16 3/183 24972
/proc/meminfo: memFree=28644292/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1308228 CPUtime=1421.84 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 268341 0 0 0 142130 54 0 0 20 0 4 0 11939944 1339625472 268277 33554432000 4194304 16246674 140734952374032 140734952355904 5667620 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 327057 268277 788 2943 0 323951 0
[pid=24897/tid=24898] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1308228

[startup+1482.3 s]
/proc/loadavg: 2.13 2.17 2.16 3/183 24973
/proc/meminfo: memFree=28644048/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1308228 CPUtime=1481.83 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 268341 0 0 0 148128 55 0 0 20 0 4 0 11939944 1339625472 268277 33554432000 4194304 16246674 140734952374032 140734952357032 5823238 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 327057 268277 788 2943 0 323951 0
[pid=24897/tid=24898] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 1308228

[startup+1542.31 s]
/proc/loadavg: 2.27 2.20 2.17 4/183 24974
/proc/meminfo: memFree=28643936/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1308228 CPUtime=1541.83 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 268341 0 0 0 154127 56 0 0 20 0 4 0 11939944 1339625472 268277 33554432000 4194304 16246674 140734952374032 140734952355904 6022016 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 327057 268277 788 2943 0 323951 0
[pid=24897/tid=24898] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 1308228

[startup+1602.3 s]
/proc/loadavg: 2.20 2.19 2.17 3/183 24975
/proc/meminfo: memFree=28644056/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1308228 CPUtime=1601.81 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 268341 0 0 0 160125 56 0 0 20 0 4 0 11939944 1339625472 268277 33554432000 4194304 16246674 140734952374032 140734952355904 6837644 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 327057 268277 788 2943 0 323951 0
[pid=24897/tid=24898] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1308228

[startup+1662.3 s]
/proc/loadavg: 2.12 2.17 2.16 4/183 24976
/proc/meminfo: memFree=28643924/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1308228 CPUtime=1661.8 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 268341 0 0 0 166123 57 0 0 20 0 4 0 11939944 1339625472 268277 33554432000 4194304 16246674 140734952374032 140734952355904 5721725 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 327057 268277 788 2943 0 323951 0
[pid=24897/tid=24898] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1308228

[startup+1722.3 s]
/proc/loadavg: 2.15 2.17 2.16 3/184 24981
/proc/meminfo: memFree=28643724/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1308228 CPUtime=1721.79 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 268341 0 0 0 172122 57 0 0 20 0 4 0 11939944 1339625472 268277 33554432000 4194304 16246674 140734952374032 140734952355904 5722960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 327057 268277 788 2943 0 323951 0
[pid=24897/tid=24898] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268277 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1308228

[startup+1782.3 s]
/proc/loadavg: 2.11 2.15 2.15 3/183 24982
/proc/meminfo: memFree=28642568/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1308228 CPUtime=1781.78 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 268438 0 0 0 178120 58 0 0 20 0 4 0 11939944 1339625472 268374 33554432000 4194304 16246674 140734952374032 140734952357032 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 327057 268374 788 2943 0 323951 0
[pid=24897/tid=24898] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268374 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268374 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268374 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1308228



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.09 2.14 2.15 3/183 24982
/proc/meminfo: memFree=28642816/32872528 swapFree=1103228/1182944
[pid=24897] ppid=24894 vsize=1308228 CPUtime=1800.08 cores=1,3,5,7
/proc/24897/stat : 24897 (toysat) R 24894 24897 24719 0 -1 4202496 268438 0 0 0 179950 58 0 0 20 0 4 0 11939944 1339625472 268374 33554432000 4194304 16246674 140734952374032 140734952355904 13943668 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/24897/statm: 327057 268374 788 2943 0 323951 0
[pid=24897/tid=24898] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24898/stat : 24898 (toysat) S 24894 24897 24719 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268374 33554432000 4194304 16246674 140734952374032 140730244771056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=24897/tid=24899] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24899/stat : 24899 (toysat) S 24894 24897 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268374 33554432000 4194304 16246674 140734952374032 140730234281200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=24897/tid=24900] ppid=24894 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/24897/task/24900/stat : 24900 (toysat) S 24894 24897 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11939945 1339625472 268374 33554432000 4194304 16246674 140734952374032 140730223807664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 24897 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.1
CPU user time (s): 1799.51
CPU system time (s): 0.58791
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.58791
maximum resident set size= 1073496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268438
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= 419
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.21805 second user time and 9.01763 second system time

The end

Begin job on node115 at 2016-06-16 19:41:50
IDJOB=4095917
IDBENCH=107540
IDSOLVER=2542
FILE ID=node115/4095917-1466098910
RUNJOBID= node115-1466097108-24736
PBS_JOBID= 19904041
Free space on /tmp= 71744 MiB

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

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

MD5SUM BENCH= 528a9882757dc4748b3223760c669467
RANDOM SEED=1606537923

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30796296 kB
Buffers:           49328 kB
Cached:           136212 kB
SwapCached:         2104 kB
Active:            87744 kB
Inactive:         101220 kB
Active(anon):       4160 kB
Inactive(anon):     1636 kB
Active(file):      83584 kB
Inactive(file):    99584 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             28360 kB
Writeback:             0 kB
AnonPages:       1351036 kB
Mapped:             7140 kB
Shmem:                 0 kB
Slab:             568776 kB
SReclaimable:      13032 kB
SUnreclaim:       555744 kB
KernelStack:        1520 kB
PageTables:         6488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1279080 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    245760 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71712 MiB
End job on node115 at 2016-06-16 20:11:50