0.00/0.00	c 2016-06-15T23:48:59+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-4089442-1466027339.opb"]
0.00/0.01	c use --random-gen="3314775465 1461617404 1949989941 1316092107 1473274068 3343388194 1375928456 3743603812 3016833633 2283935202 3579609142 3410678215 799718575 1264040202 3471562323 715630886 334535670 40177871 1605018968 1851791014 4194283152 3475496824 2329297418 4179634190 1203244674 3261750283 499898376 1770951646 784041948 1848970536 1043307736 445617057 2469464870 2323376079 570938731 2188502343 498028442 3840884071 1719284782 3633614622 120865668 14542422 3220624852 3369500588 957783928 3208221716 2961489695 303249312 236372067 1873979629 3725769618 637893802 1462594425 1882790058 3625384575 809752243 580915451 1955749158 3644731911 888702110 3655914765 1639780860 848671100 733314146 1206248919 619007206 845376761 72804547 537796045 3304610041 3494710004 270865539 1709188681 2161556631 3909430855 1181187555 3602367528 1042413128 297113238 1933737312 3330149949 3124458349 2781206076 3779062882 950197374 3844863164 2876420827 344942458 466307961 2187374022 1547380748 1137754663 2226017012 2767051057 210077147 3333103484 2539467495 2631099875 1150578032 3301933002 1862491844 544467204 225808030 1893543658 1284038917 4212950976 3772387349 2167597575 1602274242 2090984251 2145355286 4139944986 2741159512 3775444885 1894968428 1526726795 1468487088 3919394309 3952748840 304101784 3943954062 1626512118 296087159 3860905884 3557328867 3930071147 1042969121 657872885 2191741758 2638367598 4051411753 1398933207 1639653715 1553455789 1863505913 3490534923 1814173542 2522103968 1378402332 4009367891 2912415916 3329800988 2030229252 2138299091 1344389387 1001520692 1859401401 1121484071 430391020 1048838489 1198117319 1933279661 2908036034 1367134738 2095332940 366541708 2495797939 2563248776 1111719 2596003215 1649569476 3992232423 161901074 143078179 2633412912 2856702297 3128506496 3876219800 487866058 1640704127 876952742 2298794352 2559085396 2292715532 3153000899 540456651 3498862671 3715584294 3121801045 2901359131 942861528 1032204744 208118196 2264920887 2073083758 1667513779 3781013688 2419229621 4055970443 1813503818 2437826049 2720153975 829122377 3135196325 1549092364 3450668948 2224257328 2908871383 3643831665 1601882782 2468512612 1614341761 1371787752 3016372106 3939991476 3733383280 2811452613 2202801944 1579467907 2595494739 1475043016 4255421071 1400159063 1585240688 3356948587 1711987626 1841063950 3910596056 3015279637 72020627 3802379905 493362293 3099652200 1149337574 3493379116 3667150307 3533738986 3580622443 2138415120 4181010664 3714979086 1664755517 331271686 1561663336 2174762985 1842074222 2039474303 672611992 1759820629 4084567682 337744601 3301000924 4230441980 3741063727 22109127 4192157155 1314791457 1501336209 1699159741 3345772460 2413462650 4237225788 2909050171 1426252373 409350491 3252451852 255 362436" option to reproduce the execution
0.00/0.01	c #vars 126
0.00/0.01	c #constraints 253
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      126      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      157 |      100 |      126      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      366 |      250 |      139      1 |        0 |        0
0.00/0.09	c  0.1s |       3 |      652 |      475 |      153      3 |        0 |        0
0.08/0.15	c  0.1s |       4 |     1041 |      813 |      169      6 |        0 |        0
0.19/0.25	c  0.2s |       5 |     1597 |     1320 |      186     10 |        0 |        0
0.39/0.40	c  0.4s |       6 |     2418 |     2081 |      226     16 |        0 |        0
0.59/0.63	c  0.6s |       7 |     3626 |     3223 |      249     24 |        0 |        0
0.89/0.94	c  0.9s |       8 |     5421 |     4936 |      274     35 |        0 |        0
1.20/1.26	c  1.2s |       9 |     8061 |     7506 |      302     51 |        0 |        0
1.68/1.77	c  1.7s |      10 |    12018 |    11361 |      333     72 |        0 |        0
2.38/2.49	c  2.5s |      11 |    17950 |    17144 |      367    102 |        0 |        0
3.58/3.60	c  3.6s |      12 |    26880 |    25819 |      404    143 |        0 |        0
5.29/5.33	c  5.3s |      13 |    40158 |    38832 |      445    200 |        0 |        0
7.29/7.33	c  7.3s |      13 |    55769 |    53932 |      445    260 |        0 |        0
7.89/7.90	c  7.9s |      14 |    60430 |    58352 |      490    277 |        0 |        0
9.90/9.91	c  9.9s |      14 |    75888 |    73252 |      490    332 |        0 |        0
11.79/11.86	c 11.8s |      15 |    90924 |    87632 |      539    385 |        0 |        0
13.79/13.86	c 13.8s |      15 |   105681 |   101832 |      539    433 |        0 |        0
15.79/15.87	c 15.9s |      15 |   120359 |   116132 |      539    481 |        0 |        0
17.79/17.87	c 17.9s |      15 |   135097 |   130432 |      539    530 |        0 |        0
17.99/18.03	c 18.0s |      16 |   136246 |   131552 |      593    533 |        0 |        0
19.99/20.03	c 20.0s |      16 |   150818 |   145552 |      593    577 |        0 |        0
21.99/22.05	c 22.0s |      16 |   165646 |   159852 |      593    621 |        0 |        0
23.99/24.05	c 24.0s |      16 |   180440 |   174052 |      593    665 |        0 |        0
25.99/26.06	c 26.0s |      16 |   195351 |   188452 |      593    710 |        0 |        0
27.28/27.32	c 27.3s |      17 |   204682 |   197432 |      653    737 |        0 |        0
29.28/29.33	c 29.3s |      17 |   219641 |   211732 |      653    778 |        0 |        0
31.28/31.35	c 31.3s |      17 |   234251 |   225632 |      653    817 |        0 |        0
33.28/33.36	c 33.3s |      17 |   248595 |   239532 |      653    856 |        0 |        0
35.29/35.36	c 35.3s |      17 |   262853 |   253332 |      653    896 |        0 |        0
37.28/37.37	c 37.4s |      17 |   277108 |   267132 |      653    935 |        0 |        0
39.28/39.39	c 39.4s |      17 |   291269 |   280832 |      653    974 |        0 |        0
41.28/41.40	c 41.4s |      17 |   305466 |   294732 |      719   1013 |        0 |        0
41.58/41.62	c 41.6s |      18 |   307003 |   296252 |      719   1017 |        0 |        0
43.58/43.63	c 43.6s |      18 |   321511 |   310252 |      719   1053 |        0 |        0
45.58/45.64	c 45.6s |      18 |   335915 |   324252 |      719   1089 |        0 |        0
47.58/47.64	c 47.6s |      18 |   350264 |   338152 |      719   1125 |        0 |        0
49.59/49.64	c 49.6s |      18 |   364565 |   352052 |      719   1162 |        0 |        0
51.58/51.65	c 51.6s |      18 |   378627 |   365652 |      719   1197 |        0 |        0
53.58/53.65	c 53.6s |      18 |   393147 |   379452 |      719   1233 |        0 |        0
55.58/55.66	c 55.6s |      18 |   407221 |   393052 |      719   1268 |        0 |        0
57.58/57.67	c 57.7s |      18 |   421228 |   406752 |      719   1304 |        0 |        0
59.58/59.68	c 59.7s |      18 |   435229 |   420352 |      719   1339 |        0 |        0
61.58/61.69	c 61.7s |      18 |   449270 |   433952 |      719   1374 |        0 |        0
63.17/63.26	c 63.2s |      19 |   460215 |   444482 |      791   1401 |        0 |        0
65.17/65.27	c 65.3s |      19 |   474289 |   458082 |      791   1433 |        0 |        0
67.18/67.28	c 67.3s |      19 |   488209 |   471482 |      791   1465 |        0 |        0
69.17/69.29	c 69.3s |      19 |   502164 |   484982 |      791   1497 |        0 |        0
71.28/71.30	c 71.3s |      19 |   516116 |   498582 |      791   1529 |        0 |        0
73.28/73.31	c 73.3s |      19 |   530037 |   511982 |      791   1561 |        0 |        0
75.28/75.32	c 75.3s |      19 |   543911 |   525282 |      791   1593 |        0 |        0
77.28/77.32	c 77.3s |      19 |   557866 |   538782 |      791   1625 |        0 |        0
79.28/79.33	c 79.3s |      19 |   571806 |   552282 |      791   1657 |        0 |        0
81.28/81.34	c 81.3s |      19 |   585638 |   565682 |      791   1688 |        0 |        0
83.27/83.35	c 83.3s |      19 |   599247 |   578982 |      791   1720 |        0 |        0
85.27/85.36	c 85.3s |      19 |   613177 |   592482 |      791   1752 |        0 |        0
87.27/87.36	c 87.3s |      19 |   627093 |   605982 |      791   1784 |        0 |        0
89.27/89.36	c 89.3s |      19 |   640877 |   619182 |      791   1816 |        0 |        0
91.28/91.37	c 91.4s |      19 |   654685 |   632482 |      791   1847 |        0 |        0
93.27/93.38	c 93.4s |      19 |   668518 |   645882 |      791   1879 |        0 |        0
95.27/95.38	c 95.4s |      19 |   682439 |   659182 |      791   1911 |        0 |        0
96.47/96.55	c 96.5s |      20 |   690257 |   666827 |      871   1928 |        0 |        0
98.47/98.56	c 98.5s |      20 |   704313 |   680327 |      871   1957 |        0 |        0
100.47/100.57	c  100s |      20 |   717880 |   693527 |      871   1986 |        0 |        0
102.47/102.58	c  102s |      20 |   731487 |   706827 |      871   2015 |        0 |        0
104.48/104.59	c  104s |      20 |   745173 |   720127 |      871   2043 |        0 |        0
106.57/106.60	c  106s |      20 |   758627 |   733127 |      871   2072 |        0 |        0
108.57/108.62	c  108s |      20 |   772340 |   746327 |      871   2100 |        0 |        0
110.57/110.62	c  110s |      20 |   786415 |   759827 |      871   2129 |        0 |        0
112.56/112.62	c  112s |      20 |   800432 |   773327 |      871   2159 |        0 |        0
114.56/114.63	c  114s |      20 |   814155 |   786527 |      871   2187 |        0 |        0
116.58/116.63	c  116s |      20 |   827793 |   799627 |      871   2216 |        0 |        0
118.57/118.63	c  118s |      20 |   841573 |   813027 |      871   2245 |        0 |        0
120.57/120.64	c  120s |      20 |   855504 |   826427 |      871   2274 |        0 |        0
122.57/122.65	c  122s |      20 |   869302 |   839727 |      871   2303 |        0 |        0
124.57/124.66	c  124s |      20 |   882889 |   852927 |      871   2332 |        0 |        0
126.57/126.66	c  126s |      20 |   896574 |   866027 |      871   2360 |        0 |        0
128.57/128.67	c  128s |      20 |   910294 |   879327 |      871   2389 |        0 |        0
130.57/130.67	c  130s |      20 |   924208 |   892627 |      871   2418 |        0 |        0
132.57/132.68	c  132s |      20 |   937893 |   905727 |      871   2447 |        0 |        0
134.57/134.68	c  134s |      20 |   951541 |   918827 |      871   2475 |        0 |        0
136.57/136.69	c  136s |      20 |   965286 |   931927 |      871   2504 |        0 |        0
138.57/138.69	c  138s |      20 |   978841 |   944827 |      871   2532 |        0 |        0
140.66/140.70	c  140s |      20 |   992696 |   957827 |      871   2560 |        0 |        0
142.66/142.71	c  142s |      20 |  1006485 |   971127 |      871   2589 |        0 |        0
144.66/144.72	c  144s |      20 |  1020397 |   984327 |      871   2618 |        0 |        0
146.66/146.73	c  146s |      20 |  1034231 |   997627 |      959   2646 |        0 |        0
147.06/147.13	c  147s |      21 |  1037051 |  1000345 |      959   2651 |        0 |        0
149.06/149.13	c  149s |      21 |  1051260 |  1013645 |      959   2677 |        0 |        0
151.06/151.14	c  151s |      21 |  1065181 |  1026645 |      959   2703 |        0 |        0
153.06/153.14	c  153s |      21 |  1079589 |  1040145 |      959   2730 |        0 |        0
155.06/155.15	c  155s |      21 |  1094142 |  1053645 |      959   2756 |        0 |        0
157.07/157.17	c  157s |      21 |  1108015 |  1066845 |      959   2783 |        0 |        0
159.07/159.17	c  159s |      21 |  1121716 |  1079745 |      959   2808 |        0 |        0
161.06/161.17	c  161s |      21 |  1135729 |  1092845 |      959   2834 |        0 |        0
163.06/163.17	c  163s |      21 |  1150321 |  1106245 |      959   2861 |        0 |        0
165.07/165.17	c  165s |      21 |  1165009 |  1119545 |      959   2887 |        0 |        0
167.06/167.19	c  167s |      21 |  1179539 |  1132945 |      959   2914 |        0 |        0
169.06/169.19	c  169s |      21 |  1193570 |  1146145 |      959   2940 |        0 |        0
171.16/171.21	c  171s |      21 |  1207381 |  1159145 |      959   2966 |        0 |        0
173.16/173.21	c  173s |      21 |  1220997 |  1172045 |      959   2991 |        0 |        0
175.16/175.22	c  175s |      21 |  1235149 |  1185245 |      959   3017 |        0 |        0
177.16/177.23	c  177s |      21 |  1249399 |  1198445 |      959   3044 |        0 |        0
179.15/179.24	c  179s |      21 |  1263030 |  1211445 |      959   3070 |        0 |        0
181.15/181.25	c  181s |      21 |  1276661 |  1224345 |      959   3095 |        0 |        0
183.15/183.27	c  183s |      21 |  1290797 |  1237345 |      959   3121 |        0 |        0
185.16/185.28	c  185s |      21 |  1305210 |  1250645 |      959   3147 |        0 |        0
187.16/187.29	c  187s |      21 |  1319452 |  1263745 |      959   3173 |        0 |        0
189.17/189.30	c  189s |      21 |  1333823 |  1276845 |      959   3199 |        0 |        0
191.26/191.30	c  191s |      21 |  1347723 |  1289645 |      959   3225 |        0 |        0
193.26/193.31	c  193s |      21 |  1362772 |  1302945 |      959   3251 |        0 |        0
195.26/195.32	c  195s |      21 |  1376584 |  1315745 |      959   3276 |        0 |        0
197.26/197.32	c  197s |      21 |  1390475 |  1328445 |      959   3302 |        0 |        0
199.26/199.33	c  199s |      21 |  1404342 |  1341245 |      959   3327 |        0 |        0
201.27/201.34	c  201s |      21 |  1418481 |  1353945 |      959   3352 |        0 |        0
203.26/203.35	c  203s |      21 |  1432903 |  1367145 |      959   3378 |        0 |        0
205.26/205.35	c  205s |      21 |  1447121 |  1380245 |      959   3404 |        0 |        0
207.25/207.36	c  207s |      21 |  1461010 |  1393345 |      959   3430 |        0 |        0
209.25/209.37	c  209s |      21 |  1475053 |  1406245 |      959   3456 |        0 |        0
211.26/211.37	c  211s |      21 |  1488568 |  1419045 |      959   3481 |        0 |        0
213.25/213.39	c  213s |      21 |  1502537 |  1431945 |      959   3507 |        0 |        0
215.25/215.39	c  215s |      21 |  1516410 |  1444645 |      959   3532 |        0 |        0
217.35/217.40	c  217s |      21 |  1531113 |  1457745 |      959   3558 |        0 |        0
219.35/219.41	c  219s |      21 |  1545756 |  1470645 |      959   3584 |        0 |        0
221.35/221.42	c  221s |      21 |  1559931 |  1483445 |      959   3609 |        0 |        0
223.36/223.43	c  223s |      21 |  1573627 |  1496345 |     1055   3633 |        0 |        0
224.05/224.11	c  224s |      22 |  1578372 |  1500622 |     1055   3641 |        0 |        0
226.05/226.13	c  226s |      22 |  1592391 |  1513522 |     1055   3664 |        0 |        0
228.05/228.13	c  228s |      22 |  1606159 |  1526322 |     1055   3688 |        0 |        0
230.05/230.14	c  230s |      22 |  1619921 |  1539022 |     1055   3710 |        0 |        0
232.05/232.14	c  232s |      22 |  1633469 |  1551622 |     1055   3733 |        0 |        0
234.05/234.14	c  234s |      22 |  1646865 |  1564122 |     1055   3756 |        0 |        0
236.05/236.15	c  236s |      22 |  1660391 |  1576722 |     1055   3779 |        0 |        0
238.04/238.16	c  238s |      22 |  1674251 |  1589322 |     1055   3801 |        0 |        0
240.04/240.17	c  240s |      22 |  1687961 |  1601922 |     1055   3824 |        0 |        0
242.05/242.19	c  242s |      22 |  1701929 |  1614522 |     1055   3847 |        0 |        0
244.05/244.19	c  244s |      22 |  1715298 |  1626922 |     1055   3870 |        0 |        0
246.15/246.21	c  246s |      22 |  1728994 |  1639222 |     1055   3892 |        0 |        0
248.15/248.22	c  248s |      22 |  1742596 |  1652022 |     1055   3915 |        0 |        0
250.15/250.22	c  250s |      22 |  1756023 |  1664422 |     1055   3938 |        0 |        0
252.15/252.23	c  252s |      22 |  1769305 |  1676722 |     1055   3960 |        0 |        0
254.16/254.25	c  254s |      22 |  1783134 |  1689222 |     1055   3983 |        0 |        0
256.15/256.25	c  256s |      22 |  1797440 |  1701922 |     1055   4006 |        0 |        0
258.15/258.25	c  258s |      22 |  1810850 |  1714222 |     1055   4028 |        0 |        0
260.15/260.27	c  260s |      22 |  1824222 |  1726422 |     1055   4050 |        0 |        0
262.15/262.28	c  262s |      22 |  1837667 |  1738922 |     1055   4073 |        0 |        0
264.15/264.29	c  264s |      22 |  1851183 |  1751422 |     1055   4095 |        0 |        0
266.15/266.29	c  266s |      22 |  1864858 |  1764022 |     1055   4118 |        0 |        0
268.25/268.30	c  268s |      22 |  1878461 |  1776422 |     1055   4141 |        0 |        0
270.24/270.31	c  270s |      22 |  1892197 |  1789022 |     1055   4164 |        0 |        0
272.24/272.31	c  272s |      22 |  1905898 |  1801222 |     1055   4186 |        0 |        0
274.24/274.33	c  274s |      22 |  1919162 |  1813522 |     1055   4208 |        0 |        0
276.24/276.33	c  276s |      22 |  1932846 |  1825722 |     1055   4230 |        0 |        0
278.25/278.34	c  278s |      22 |  1946286 |  1838022 |     1055   4252 |        0 |        0
280.24/280.34	c  280s |      22 |  1959226 |  1850122 |     1055   4274 |        0 |        0
282.24/282.35	c  282s |      22 |  1972702 |  1862422 |     1055   4296 |        0 |        0
284.24/284.37	c  284s |      22 |  1987058 |  1875022 |     1055   4319 |        0 |        0
286.23/286.37	c  286s |      22 |  2001022 |  1887422 |     1055   4342 |        0 |        0
288.24/288.38	c  288s |      22 |  2014823 |  1899522 |     1055   4364 |        0 |        0
290.24/290.39	c  290s |      22 |  2028581 |  1911722 |     1055   4386 |        0 |        0
292.34/292.41	c  292s |      22 |  2041718 |  1924022 |     1055   4408 |        0 |        0
294.34/294.42	c  294s |      22 |  2054469 |  1936122 |     1055   4430 |        0 |        0
296.33/296.44	c  296s |      22 |  2068061 |  1948522 |     1055   4453 |        0 |        0
298.33/298.45	c  298s |      22 |  2081546 |  1961122 |     1055   4475 |        0 |        0
300.34/300.46	c  300s |      22 |  2094959 |  1973522 |     1055   4498 |        0 |        0
302.33/302.46	c  302s |      22 |  2108327 |  1985822 |     1055   4520 |        0 |        0
304.33/304.47	c  304s |      22 |  2121397 |  1998122 |     1055   4542 |        0 |        0
306.33/306.48	c  306s |      22 |  2134747 |  2010622 |     1055   4565 |        0 |        0
308.33/308.49	c  308s |      22 |  2147987 |  2023022 |     1055   4588 |        0 |        0
310.43/310.50	c  310s |      22 |  2161554 |  2035222 |     1055   4610 |        0 |        0
312.43/312.51	c  312s |      22 |  2174776 |  2047622 |     1055   4632 |        0 |        0
314.43/314.53	c  314s |      22 |  2188002 |  2059922 |     1055   4654 |        0 |        0
316.42/316.54	c  316s |      22 |  2201571 |  2072222 |     1055   4677 |        0 |        0
318.42/318.55	c  318s |      22 |  2214964 |  2084322 |     1055   4699 |        0 |        0
320.42/320.56	c  320s |      22 |  2227994 |  2096822 |     1055   4721 |        0 |        0
322.42/322.57	c  322s |      22 |  2241164 |  2109322 |     1055   4744 |        0 |        0
324.43/324.58	c  324s |      22 |  2254774 |  2121522 |     1055   4766 |        0 |        0
326.42/326.58	c  326s |      22 |  2267783 |  2133622 |     1055   4788 |        0 |        0
328.42/328.59	c  328s |      22 |  2280763 |  2145822 |     1055   4810 |        0 |        0
330.41/330.59	c  330s |      22 |  2293904 |  2158122 |     1055   4832 |        0 |        0
332.41/332.59	c  332s |      22 |  2307527 |  2170122 |     1055   4854 |        0 |        0
334.51/334.60	c  334s |      22 |  2320803 |  2182522 |     1055   4876 |        0 |        0
336.52/336.62	c  336s |      22 |  2334117 |  2194722 |     1055   4898 |        0 |        0
338.51/338.62	c  338s |      22 |  2347292 |  2206822 |     1055   4920 |        0 |        0
340.51/340.64	c  340s |      22 |  2360546 |  2219422 |     1055   4943 |        0 |        0
342.51/342.64	c  342s |      22 |  2373587 |  2231822 |     1055   4966 |        0 |        0
344.51/344.65	c  344s |      22 |  2386692 |  2244122 |     1161   4986 |        0 |        0
345.70/345.81	c  345s |      23 |  2393932 |  2251038 |     1161   4998 |        0 |        0
347.70/347.81	c  347s |      23 |  2406928 |  2263238 |     1161   5018 |        0 |        0
349.71/349.82	c  349s |      23 |  2420082 |  2275338 |     1161   5038 |        0 |        0
351.70/351.82	c  351s |      23 |  2433072 |  2287538 |     1161   5058 |        0 |        0
353.70/353.83	c  353s |      23 |  2446469 |  2299538 |     1161   5078 |        0 |        0
355.70/355.84	c  355s |      23 |  2460089 |  2311238 |     1161   5097 |        0 |        0
357.70/357.85	c  357s |      23 |  2472868 |  2323138 |     1161   5117 |        0 |        0
359.71/359.87	c  359s |      23 |  2486159 |  2335138 |     1161   5137 |        0 |        0
361.70/361.87	c  361s |      23 |  2499091 |  2347238 |     1161   5157 |        0 |        0
363.70/363.88	c  363s |      23 |  2512043 |  2359038 |     1161   5176 |        0 |        0
365.70/365.88	c  365s |      23 |  2525384 |  2370838 |     1161   5196 |        0 |        0
367.70/367.89	c  367s |      23 |  2538495 |  2383038 |     1161   5216 |        0 |        0
369.80/369.91	c  369s |      23 |  2552302 |  2395338 |     1161   5236 |        0 |        0
371.80/371.92	c  371s |      23 |  2566356 |  2407738 |     1161   5257 |        0 |        0
373.80/373.93	c  373s |      23 |  2579674 |  2420138 |     1161   5277 |        0 |        0
375.79/375.93	c  375s |      23 |  2592830 |  2432238 |     1161   5297 |        0 |        0
377.79/377.94	c  377s |      23 |  2605857 |  2444138 |     1161   5317 |        0 |        0
379.79/379.94	c  379s |      23 |  2619332 |  2456038 |     1161   5336 |        0 |        0
381.79/381.95	c  381s |      23 |  2632125 |  2467638 |     1161   5355 |        0 |        0
383.80/383.95	c  383s |      23 |  2645194 |  2479338 |     1161   5375 |        0 |        0
385.79/385.96	c  385s |      23 |  2658404 |  2491438 |     1161   5395 |        0 |        0
387.79/387.98	c  387s |      23 |  2671824 |  2503438 |     1161   5415 |        0 |        0
389.78/389.99	c  389s |      23 |  2685421 |  2515438 |     1161   5434 |        0 |        0
391.88/392.00	c  391s |      23 |  2698145 |  2527338 |     1161   5454 |        0 |        0
393.88/394.01	c  393s |      23 |  2711420 |  2539338 |     1161   5474 |        0 |        0
395.88/396.01	c  395s |      23 |  2725198 |  2551338 |     1161   5494 |        0 |        0
397.88/398.03	c  398s |      23 |  2739179 |  2563438 |     1161   5514 |        0 |        0
399.88/400.04	c  400s |      23 |  2752671 |  2575338 |     1161   5534 |        0 |        0
401.88/402.04	c  402s |      23 |  2765987 |  2587538 |     1161   5554 |        0 |        0
403.88/404.04	c  404s |      23 |  2779199 |  2599838 |     1161   5574 |        0 |        0
405.88/406.05	c  406s |      23 |  2792636 |  2612238 |     1161   5594 |        0 |        0
407.87/408.06	c  408s |      23 |  2805613 |  2624438 |     1161   5615 |        0 |        0
409.87/410.08	c  410s |      23 |  2819177 |  2636538 |     1161   5635 |        0 |        0
411.87/412.09	c  412s |      23 |  2832200 |  2648838 |     1161   5655 |        0 |        0
413.97/414.10	c  414s |      23 |  2845117 |  2661038 |     1161   5675 |        0 |        0
415.97/416.10	c  416s |      23 |  2857780 |  2673038 |     1161   5695 |        0 |        0
417.98/418.10	c  418s |      23 |  2870700 |  2684938 |     1161   5715 |        0 |        0
419.97/420.12	c  420s |      23 |  2883563 |  2696838 |     1161   5734 |        0 |        0
421.97/422.13	c  422s |      23 |  2896540 |  2709038 |     1161   5754 |        0 |        0
423.97/424.14	c  424s |      23 |  2909661 |  2721238 |     1161   5775 |        0 |        0
425.97/426.15	c  426s |      23 |  2922660 |  2733238 |     1161   5794 |        0 |        0
427.97/428.16	c  428s |      23 |  2936083 |  2745438 |     1161   5815 |        0 |        0
429.98/430.17	c  430s |      23 |  2949006 |  2757438 |     1161   5835 |        0 |        0
431.97/432.19	c  432s |      23 |  2961936 |  2769438 |     1161   5854 |        0 |        0
434.07/434.20	c  434s |      23 |  2974826 |  2781538 |     1161   5874 |        0 |        0
436.06/436.21	c  436s |      23 |  2987722 |  2793438 |     1161   5894 |        0 |        0
438.06/438.22	c  438s |      23 |  3000649 |  2805538 |     1161   5914 |        0 |        0
440.06/440.24	c  440s |      23 |  3013355 |  2817538 |     1161   5934 |        0 |        0
442.07/442.24	c  442s |      23 |  3025921 |  2829438 |     1161   5954 |        0 |        0
444.06/444.24	c  444s |      23 |  3038366 |  2841338 |     1161   5974 |        0 |        0
446.06/446.24	c  446s |      23 |  3051161 |  2853338 |     1161   5993 |        0 |        0
448.06/448.25	c  448s |      23 |  3063899 |  2865438 |     1161   6013 |        0 |        0
450.06/450.26	c  450s |      23 |  3076461 |  2877438 |     1161   6033 |        0 |        0
452.07/452.27	c  452s |      23 |  3089004 |  2889438 |     1161   6053 |        0 |        0
454.06/454.28	c  454s |      23 |  3101369 |  2901338 |     1161   6073 |        0 |        0
456.05/456.28	c  456s |      23 |  3113997 |  2913038 |     1161   6092 |        0 |        0
458.15/458.30	c  458s |      23 |  3126418 |  2924838 |     1161   6112 |        0 |        0
460.15/460.32	c  460s |      23 |  3139013 |  2936938 |     1161   6132 |        0 |        0
462.15/462.34	c  462s |      23 |  3152201 |  2949138 |     1161   6152 |        0 |        0
464.16/464.34	c  464s |      23 |  3164957 |  2961038 |     1161   6171 |        0 |        0
466.15/466.36	c  466s |      23 |  3177822 |  2973038 |     1161   6191 |        0 |        0
468.15/468.36	c  468s |      23 |  3190352 |  2984838 |     1161   6211 |        0 |        0
470.15/470.37	c  470s |      23 |  3203023 |  2996738 |     1161   6231 |        0 |        0
472.15/472.39	c  472s |      23 |  3215677 |  3008638 |     1161   6250 |        0 |        0
474.25/474.40	c  474s |      23 |  3228673 |  3020338 |     1161   6270 |        0 |        0
476.25/476.41	c  476s |      23 |  3241077 |  3032038 |     1161   6289 |        0 |        0
478.25/478.42	c  478s |      23 |  3253769 |  3043838 |     1161   6309 |        0 |        0
480.24/480.43	c  480s |      23 |  3266515 |  3055438 |     1161   6328 |        0 |        0
482.24/482.44	c  482s |      23 |  3278897 |  3067038 |     1161   6347 |        0 |        0
484.24/484.46	c  484s |      23 |  3291670 |  3079038 |     1161   6367 |        0 |        0
486.24/486.47	c  486s |      23 |  3304604 |  3090938 |     1161   6386 |        0 |        0
488.24/488.47	c  488s |      23 |  3317346 |  3102838 |     1161   6406 |        0 |        0
490.24/490.47	c  490s |      23 |  3330127 |  3114638 |     1161   6425 |        0 |        0
492.24/492.49	c  492s |      23 |  3342529 |  3126438 |     1161   6445 |        0 |        0
494.34/494.50	c  494s |      23 |  3354895 |  3138138 |     1161   6464 |        0 |        0
496.33/496.51	c  496s |      23 |  3367406 |  3150038 |     1161   6484 |        0 |        0
498.33/498.51	c  498s |      23 |  3379710 |  3161638 |     1161   6503 |        0 |        0
500.34/500.52	c  500s |      23 |  3392521 |  3173438 |     1161   6523 |        0 |        0
502.33/502.52	c  502s |      23 |  3405303 |  3185338 |     1161   6542 |        0 |        0
504.33/504.53	c  504s |      23 |  3417871 |  3197038 |     1161   6562 |        0 |        0
506.32/506.54	c  506s |      23 |  3430483 |  3208738 |     1161   6581 |        0 |        0
508.32/508.54	c  508s |      23 |  3442618 |  3220138 |     1161   6600 |        0 |        0
510.33/510.55	c  510s |      23 |  3454782 |  3231538 |     1161   6619 |        0 |        0
512.32/512.56	c  512s |      23 |  3467254 |  3243438 |     1161   6639 |        0 |        0
514.32/514.57	c  514s |      23 |  3479613 |  3255338 |     1161   6658 |        0 |        0
516.32/516.58	c  516s |      23 |  3491664 |  3267038 |     1161   6678 |        0 |        0
518.42/518.60	c  518s |      23 |  3504012 |  3278638 |     1161   6697 |        0 |        0
520.43/520.60	c  520s |      23 |  3516301 |  3290438 |     1161   6716 |        0 |        0
522.43/522.61	c  522s |      23 |  3528588 |  3302038 |     1161   6735 |        0 |        0
524.42/524.62	c  524s |      23 |  3540943 |  3313638 |     1161   6755 |        0 |        0
526.42/526.62	c  526s |      23 |  3553351 |  3325238 |     1161   6774 |        0 |        0
528.42/528.63	c  528s |      23 |  3565538 |  3336838 |     1161   6793 |        0 |        0
530.42/530.64	c  530s |      23 |  3577967 |  3348238 |     1161   6812 |        0 |        0
532.42/532.65	c  532s |      23 |  3590392 |  3359538 |     1278   6829 |        0 |        0
534.42/534.66	c  534s |      23 |  3602456 |  3370938 |     1278   6846 |        0 |        0
535.41/535.65	c  535s |      24 |  3608408 |  3376662 |     1278   6855 |        0 |        0
537.41/537.65	c  537s |      24 |  3621876 |  3388862 |     1278   6873 |        0 |        0
539.41/539.66	c  539s |      24 |  3634640 |  3400962 |     1278   6892 |        0 |        0
541.41/541.66	c  541s |      24 |  3647641 |  3412862 |     1278   6909 |        0 |        0
543.41/543.67	c  543s |      24 |  3660796 |  3424962 |     1278   6928 |        0 |        0
545.41/545.68	c  545s |      24 |  3673651 |  3436762 |     1278   6946 |        0 |        0
547.40/547.68	c  547s |      24 |  3686514 |  3448762 |     1278   6964 |        0 |        0
549.40/549.69	c  549s |      24 |  3699625 |  3460862 |     1278   6982 |        0 |        0
551.50/551.70	c  551s |      24 |  3712780 |  3472962 |     1278   7000 |        0 |        0
553.50/553.71	c  553s |      24 |  3725386 |  3484662 |     1278   7018 |        0 |        0
555.50/555.72	c  555s |      24 |  3738604 |  3496462 |     1278   7036 |        0 |        0
557.50/557.73	c  557s |      24 |  3751400 |  3508162 |     1278   7053 |        0 |        0
559.50/559.74	c  559s |      24 |  3763766 |  3519762 |     1278   7071 |        0 |        0
561.50/561.75	c  561s |      24 |  3776540 |  3531562 |     1278   7089 |        0 |        0
563.50/563.76	c  563s |      24 |  3789257 |  3543362 |     1278   7106 |        0 |        0
565.49/565.76	c  565s |      24 |  3801621 |  3555062 |     1278   7124 |        0 |        0
567.50/567.78	c  567s |      24 |  3814421 |  3566862 |     1278   7142 |        0 |        0
569.49/569.79	c  569s |      24 |  3826905 |  3578562 |     1278   7159 |        0 |        0
571.49/571.79	c  571s |      24 |  3839041 |  3590162 |     1278   7177 |        0 |        0
573.59/573.80	c  573s |      24 |  3851858 |  3602062 |     1278   7195 |        0 |        0
575.60/575.82	c  575s |      24 |  3864889 |  3613862 |     1278   7213 |        0 |        0
577.60/577.83	c  577s |      24 |  3877534 |  3625562 |     1278   7230 |        0 |        0
579.60/579.83	c  579s |      24 |  3890439 |  3637162 |     1278   7248 |        0 |        0
581.60/581.83	c  581s |      24 |  3903076 |  3648762 |     1278   7265 |        0 |        0
583.59/583.84	c  583s |      24 |  3915556 |  3660362 |     1278   7283 |        0 |        0
585.59/585.85	c  585s |      24 |  3928163 |  3671962 |     1278   7300 |        0 |        0
587.59/587.85	c  587s |      24 |  3940682 |  3683362 |     1278   7317 |        0 |        0
589.59/589.87	c  589s |      24 |  3953302 |  3694962 |     1278   7335 |        0 |        0
591.59/591.88	c  591s |      24 |  3965861 |  3706362 |     1278   7352 |        0 |        0
593.59/593.88	c  593s |      24 |  3978587 |  3717662 |     1278   7369 |        0 |        0
595.58/595.89	c  595s |      24 |  3991604 |  3729662 |     1278   7387 |        0 |        0
597.68/597.90	c  597s |      24 |  4004689 |  3741462 |     1278   7405 |        0 |        0
599.68/599.90	c  599s |      24 |  4017399 |  3753062 |     1278   7422 |        0 |        0
601.68/601.92	c  601s |      24 |  4030345 |  3764762 |     1278   7440 |        0 |        0
603.69/603.93	c  603s |      24 |  4043107 |  3776362 |     1278   7457 |        0 |        0
605.68/605.94	c  605s |      24 |  4055749 |  3787662 |     1278   7475 |        0 |        0
607.68/607.96	c  607s |      24 |  4068343 |  3799262 |     1278   7492 |        0 |        0
609.68/609.97	c  609s |      24 |  4080809 |  3810762 |     1278   7509 |        0 |        0
611.68/611.99	c  611s |      24 |  4093464 |  3822362 |     1278   7527 |        0 |        0
613.77/614.01	c  613s |      24 |  4106201 |  3834062 |     1278   7545 |        0 |        0
615.78/616.02	c  615s |      24 |  4119227 |  3846162 |     1278   7563 |        0 |        0
617.77/618.02	c  618s |      24 |  4132915 |  3858462 |     1278   7582 |        0 |        0
619.77/620.03	c  620s |      24 |  4146400 |  3870762 |     1278   7600 |        0 |        0
621.77/622.04	c  622s |      24 |  4159982 |  3883062 |     1278   7619 |        0 |        0
623.77/624.04	c  624s |      24 |  4172870 |  3894962 |     1278   7637 |        0 |        0
625.77/626.05	c  626s |      24 |  4185942 |  3907062 |     1278   7655 |        0 |        0
627.76/628.05	c  628s |      24 |  4199210 |  3919362 |     1278   7674 |        0 |        0
629.76/630.06	c  630s |      24 |  4213172 |  3931762 |     1278   7692 |        0 |        0
631.76/632.06	c  632s |      24 |  4226384 |  3944262 |     1278   7711 |        0 |        0
633.76/634.08	c  634s |      24 |  4240111 |  3956562 |     1278   7730 |        0 |        0
635.76/636.08	c  636s |      24 |  4253522 |  3968862 |     1278   7748 |        0 |        0
637.77/638.10	c  638s |      24 |  4266473 |  3981062 |     1278   7767 |        0 |        0
639.86/640.10	c  640s |      24 |  4279555 |  3993162 |     1278   7785 |        0 |        0
641.86/642.11	c  642s |      24 |  4292427 |  4005162 |     1278   7803 |        0 |        0
643.86/644.11	c  644s |      24 |  4305703 |  4017162 |     1278   7821 |        0 |        0
645.86/646.12	c  646s |      24 |  4318136 |  4029062 |     1278   7839 |        0 |        0
647.86/648.13	c  648s |      24 |  4330666 |  4040962 |     1278   7857 |        0 |        0
649.87/650.14	c  650s |      24 |  4344212 |  4052962 |     1278   7875 |        0 |        0
651.86/652.15	c  652s |      24 |  4357151 |  4064662 |     1278   7893 |        0 |        0
653.86/654.15	c  654s |      24 |  4370291 |  4076462 |     1278   7910 |        0 |        0
655.86/656.17	c  656s |      24 |  4383493 |  4088562 |     1278   7929 |        0 |        0
657.86/658.17	c  658s |      24 |  4397203 |  4100962 |     1278   7947 |        0 |        0
659.86/660.18	c  660s |      24 |  4410160 |  4112862 |     1278   7965 |        0 |        0
661.85/662.18	c  662s |      24 |  4423020 |  4124662 |     1278   7983 |        0 |        0
663.95/664.20	c  664s |      24 |  4435549 |  4136462 |     1278   8001 |        0 |        0
665.95/666.21	c  666s |      24 |  4448312 |  4148362 |     1278   8018 |        0 |        0
667.95/668.23	c  668s |      24 |  4461673 |  4160262 |     1278   8036 |        0 |        0
669.95/670.24	c  670s |      24 |  4474430 |  4172062 |     1278   8054 |        0 |        0
671.96/672.25	c  672s |      24 |  4487116 |  4183962 |     1278   8072 |        0 |        0
673.95/674.27	c  674s |      24 |  4499674 |  4195962 |     1278   8090 |        0 |        0
675.94/676.28	c  676s |      24 |  4512267 |  4207662 |     1278   8108 |        0 |        0
677.94/678.28	c  678s |      24 |  4524958 |  4219362 |     1278   8126 |        0 |        0
680.04/680.30	c  680s |      24 |  4537840 |  4231362 |     1278   8144 |        0 |        0
682.04/682.32	c  682s |      24 |  4550416 |  4243262 |     1278   8162 |        0 |        0
684.05/684.33	c  684s |      24 |  4563000 |  4255262 |     1278   8180 |        0 |        0
686.04/686.34	c  686s |      24 |  4575505 |  4267162 |     1278   8198 |        0 |        0
688.03/688.36	c  688s |      24 |  4588207 |  4279162 |     1278   8216 |        0 |        0
690.03/690.38	c  690s |      24 |  4601628 |  4291662 |     1278   8235 |        0 |        0
692.03/692.38	c  692s |      24 |  4614591 |  4303962 |     1278   8253 |        0 |        0
694.03/694.38	c  694s |      24 |  4627786 |  4316262 |     1278   8272 |        0 |        0
696.04/696.39	c  696s |      24 |  4640685 |  4328462 |     1278   8290 |        0 |        0
698.13/698.41	c  698s |      24 |  4653631 |  4340462 |     1278   8308 |        0 |        0
700.13/700.42	c  700s |      24 |  4666697 |  4352462 |     1278   8326 |        0 |        0
702.13/702.42	c  702s |      24 |  4679687 |  4364762 |     1278   8345 |        0 |        0
704.13/704.42	c  704s |      24 |  4692629 |  4376862 |     1278   8363 |        0 |        0
706.12/706.43	c  706s |      24 |  4705581 |  4388962 |     1278   8381 |        0 |        0
708.13/708.45	c  708s |      24 |  4718382 |  4400762 |     1278   8399 |        0 |        0
710.12/710.45	c  710s |      24 |  4731146 |  4412462 |     1278   8417 |        0 |        0
712.12/712.46	c  712s |      24 |  4744117 |  4424362 |     1278   8435 |        0 |        0
714.12/714.47	c  714s |      24 |  4757466 |  4436262 |     1278   8453 |        0 |        0
716.13/716.48	c  716s |      24 |  4770364 |  4448262 |     1278   8471 |        0 |        0
718.13/718.49	c  718s |      24 |  4783138 |  4460062 |     1278   8489 |        0 |        0
720.13/720.50	c  720s |      24 |  4796227 |  4471962 |     1278   8507 |        0 |        0
722.22/722.50	c  722s |      24 |  4809026 |  4483762 |     1278   8525 |        0 |        0
724.22/724.51	c  724s |      24 |  4822082 |  4495862 |     1278   8543 |        0 |        0
726.22/726.52	c  726s |      24 |  4834636 |  4507862 |     1278   8561 |        0 |        0
728.22/728.53	c  728s |      24 |  4847646 |  4519662 |     1278   8579 |        0 |        0
730.23/730.54	c  730s |      24 |  4860415 |  4531462 |     1278   8597 |        0 |        0
732.22/732.55	c  732s |      24 |  4873141 |  4543262 |     1278   8615 |        0 |        0
734.22/734.56	c  734s |      24 |  4886684 |  4555262 |     1278   8633 |        0 |        0
736.21/736.57	c  736s |      24 |  4900382 |  4567162 |     1278   8651 |        0 |        0
738.21/738.58	c  738s |      24 |  4913999 |  4579162 |     1278   8669 |        0 |        0
740.21/740.58	c  740s |      24 |  4927169 |  4590962 |     1278   8687 |        0 |        0
742.22/742.60	c  742s |      24 |  4940266 |  4602862 |     1278   8705 |        0 |        0
744.31/744.60	c  744s |      24 |  4953530 |  4614762 |     1278   8722 |        0 |        0
746.31/746.61	c  746s |      24 |  4966365 |  4626562 |     1278   8740 |        0 |        0
748.31/748.62	c  748s |      24 |  4979472 |  4638462 |     1278   8758 |        0 |        0
750.31/750.63	c  750s |      24 |  4992804 |  4650162 |     1278   8776 |        0 |        0
752.31/752.64	c  752s |      24 |  5005843 |  4661862 |     1278   8793 |        0 |        0
754.31/754.65	c  754s |      24 |  5018272 |  4673762 |     1278   8811 |        0 |        0
756.30/756.66	c  756s |      24 |  5030934 |  4685262 |     1278   8829 |        0 |        0
758.30/758.66	c  758s |      24 |  5044126 |  4696962 |     1278   8846 |        0 |        0
760.30/760.67	c  760s |      24 |  5056827 |  4708662 |     1278   8864 |        0 |        0
762.30/762.69	c  762s |      24 |  5069553 |  4720562 |     1278   8882 |        0 |        0
764.30/764.69	c  764s |      24 |  5082696 |  4732362 |     1278   8900 |        0 |        0
766.29/766.70	c  766s |      24 |  5095673 |  4743862 |     1278   8917 |        0 |        0
768.39/768.71	c  768s |      24 |  5108789 |  4755262 |     1278   8934 |        0 |        0
770.39/770.72	c  770s |      24 |  5121573 |  4767162 |     1278   8952 |        0 |        0
772.39/772.73	c  772s |      24 |  5135341 |  4779162 |     1278   8970 |        0 |        0
774.39/774.74	c  774s |      24 |  5148042 |  4790962 |     1278   8988 |        0 |        0
776.39/776.75	c  776s |      24 |  5160710 |  4802662 |     1278   9006 |        0 |        0
778.38/778.76	c  778s |      24 |  5173432 |  4814162 |     1278   9023 |        0 |        0
780.38/780.77	c  780s |      24 |  5186011 |  4825762 |     1278   9041 |        0 |        0
782.38/782.78	c  782s |      24 |  5198965 |  4837462 |     1278   9058 |        0 |        0
784.38/784.80	c  784s |      24 |  5211741 |  4849262 |     1278   9076 |        0 |        0
786.48/786.80	c  786s |      24 |  5224085 |  4860862 |     1278   9093 |        0 |        0
788.49/788.80	c  788s |      24 |  5237306 |  4872762 |     1278   9111 |        0 |        0
790.48/790.81	c  790s |      24 |  5249803 |  4884562 |     1278   9129 |        0 |        0
792.48/792.82	c  792s |      24 |  5262570 |  4896462 |     1278   9147 |        0 |        0
794.48/794.83	c  794s |      24 |  5276019 |  4908162 |     1278   9165 |        0 |        0
796.47/796.84	c  796s |      24 |  5288995 |  4919662 |     1278   9182 |        0 |        0
798.47/798.84	c  798s |      24 |  5301801 |  4931462 |     1278   9200 |        0 |        0
800.48/800.85	c  800s |      24 |  5314264 |  4943162 |     1278   9218 |        0 |        0
802.47/802.85	c  802s |      24 |  5326724 |  4954862 |     1278   9235 |        0 |        0
804.47/804.87	c  804s |      24 |  5339555 |  4966462 |     1278   9253 |        0 |        0
806.47/806.88	c  806s |      24 |  5352467 |  4977862 |     1278   9270 |        0 |        0
808.47/808.89	c  808s |      24 |  5365341 |  4989462 |     1278   9288 |        0 |        0
810.56/810.90	c  810s |      24 |  5378449 |  5001162 |     1278   9306 |        0 |        0
812.57/812.91	c  812s |      24 |  5391406 |  5013062 |     1278   9323 |        0 |        0
814.56/814.91	c  814s |      24 |  5403896 |  5024762 |     1278   9341 |        0 |        0
816.57/816.91	c  816s |      24 |  5416565 |  5036462 |     1406   9358 |        0 |        0
818.57/818.93	c  818s |      24 |  5429312 |  5048162 |     1406   9374 |        0 |        0
820.57/820.94	c  820s |      24 |  5442221 |  5059762 |     1406   9389 |        0 |        0
821.47/821.87	c  821s |      25 |  5448184 |  5065098 |     1406   9397 |        0 |        0
823.47/823.87	c  823s |      25 |  5461138 |  5076998 |     1406   9413 |        0 |        0
825.56/825.90	c  825s |      25 |  5473606 |  5088698 |     1406   9429 |        0 |        0
827.56/827.90	c  827s |      25 |  5485971 |  5100298 |     1406   9445 |        0 |        0
829.56/829.91	c  829s |      25 |  5498259 |  5111898 |     1406   9461 |        0 |        0
831.56/831.91	c  831s |      25 |  5510859 |  5123498 |     1406   9477 |        0 |        0
833.56/833.91	c  833s |      25 |  5523601 |  5135198 |     1406   9493 |        0 |        0
835.55/835.92	c  835s |      25 |  5536297 |  5146898 |     1406   9509 |        0 |        0
837.55/837.93	c  837s |      25 |  5548710 |  5158798 |     1406   9525 |        0 |        0
839.55/839.93	c  839s |      25 |  5561250 |  5170498 |     1406   9541 |        0 |        0
841.55/841.94	c  841s |      25 |  5573570 |  5182098 |     1406   9557 |        0 |        0
843.55/843.95	c  843s |      25 |  5585783 |  5193798 |     1406   9573 |        0 |        0
845.55/845.96	c  845s |      25 |  5598039 |  5205498 |     1406   9589 |        0 |        0
847.54/847.98	c  847s |      25 |  5610306 |  5217098 |     1406   9605 |        0 |        0
849.54/849.98	c  849s |      25 |  5622451 |  5228598 |     1406   9621 |        0 |        0
851.54/851.98	c  851s |      25 |  5634430 |  5240098 |     1406   9636 |        0 |        0
853.54/853.99	c  853s |      25 |  5647067 |  5251798 |     1406   9652 |        0 |        0
855.64/856.01	c  855s |      25 |  5659075 |  5263298 |     1406   9668 |        0 |        0
857.64/858.02	c  857s |      25 |  5671501 |  5274798 |     1406   9684 |        0 |        0
859.64/860.03	c  860s |      25 |  5683766 |  5286198 |     1406   9699 |        0 |        0
861.64/862.04	c  862s |      25 |  5696006 |  5297498 |     1406   9715 |        0 |        0
863.64/864.04	c  864s |      25 |  5708664 |  5308998 |     1406   9731 |        0 |        0
865.63/866.05	c  866s |      25 |  5721059 |  5320498 |     1406   9746 |        0 |        0
867.64/868.06	c  868s |      25 |  5733182 |  5332098 |     1406   9762 |        0 |        0
869.63/870.06	c  870s |      25 |  5745682 |  5343998 |     1406   9779 |        0 |        0
871.63/872.07	c  872s |      25 |  5758145 |  5355798 |     1406   9795 |        0 |        0
873.63/874.09	c  874s |      25 |  5770404 |  5367498 |     1406   9811 |        0 |        0
875.63/876.09	c  876s |      25 |  5782990 |  5379298 |     1406   9827 |        0 |        0
877.63/878.09	c  878s |      25 |  5795005 |  5390898 |     1406   9843 |        0 |        0
879.63/880.10	c  880s |      25 |  5807068 |  5402498 |     1406   9859 |        0 |        0
881.73/882.10	c  882s |      25 |  5819180 |  5414098 |     1406   9874 |        0 |        0
883.72/884.11	c  884s |      25 |  5831016 |  5425398 |     1406   9890 |        0 |        0
885.72/886.11	c  886s |      25 |  5842890 |  5436798 |     1406   9906 |        0 |        0
887.72/888.13	c  888s |      25 |  5854910 |  5448198 |     1406   9921 |        0 |        0
889.73/890.14	c  890s |      25 |  5866881 |  5459598 |     1406   9937 |        0 |        0
891.74/892.15	c  892s |      25 |  5878751 |  5470898 |     1406   9952 |        0 |        0
893.73/894.15	c  894s |      25 |  5890625 |  5481998 |     1406   9968 |        0 |        0
895.73/896.16	c  896s |      25 |  5902304 |  5492998 |     1406   9983 |        0 |        0
897.73/898.17	c  898s |      25 |  5915205 |  5504898 |     1406   9999 |        0 |        0
899.73/900.18	c  900s |      25 |  5927520 |  5516598 |     1406  10015 |        0 |        0
901.73/902.19	c  902s |      25 |  5939448 |  5527898 |     1406  10030 |        0 |        0
903.83/904.20	c  904s |      25 |  5951031 |  5538998 |     1406  10045 |        0 |        0
905.82/906.21	c  906s |      25 |  5962826 |  5550198 |     1406  10061 |        0 |        0
907.82/908.22	c  908s |      25 |  5975071 |  5561698 |     1406  10077 |        0 |        0
909.82/910.22	c  910s |      25 |  5987065 |  5572998 |     1406  10092 |        0 |        0
911.82/912.23	c  912s |      25 |  5999283 |  5584598 |     1406  10108 |        0 |        0
913.82/914.23	c  914s |      25 |  6011332 |  5595998 |     1406  10124 |        0 |        0
915.81/916.25	c  916s |      25 |  6023514 |  5607598 |     1406  10139 |        0 |        0
917.81/918.26	c  918s |      25 |  6035250 |  5618798 |     1406  10155 |        0 |        0
919.81/920.26	c  920s |      25 |  6047468 |  5629698 |     1406  10170 |        0 |        0
921.81/922.27	c  922s |      25 |  6059308 |  5640998 |     1406  10185 |        0 |        0
923.81/924.29	c  924s |      25 |  6070998 |  5652198 |     1406  10201 |        0 |        0
925.82/926.30	c  926s |      25 |  6082831 |  5663698 |     1406  10216 |        0 |        0
927.91/928.30	c  928s |      25 |  6094568 |  5674998 |     1406  10232 |        0 |        0
929.91/930.32	c  930s |      25 |  6106588 |  5686398 |     1406  10248 |        0 |        0
931.91/932.33	c  932s |      25 |  6118478 |  5697598 |     1406  10263 |        0 |        0
933.91/934.34	c  934s |      25 |  6129993 |  5708698 |     1406  10278 |        0 |        0
935.91/936.36	c  936s |      25 |  6141897 |  5719798 |     1406  10293 |        0 |        0
937.91/938.36	c  938s |      25 |  6153894 |  5730898 |     1406  10309 |        0 |        0
939.91/940.37	c  940s |      25 |  6166089 |  5742398 |     1406  10324 |        0 |        0
941.91/942.38	c  942s |      25 |  6178361 |  5753798 |     1406  10340 |        0 |        0
943.91/944.39	c  944s |      25 |  6190877 |  5765498 |     1406  10356 |        0 |        0
946.01/946.40	c  946s |      25 |  6203325 |  5776998 |     1406  10372 |        0 |        0
948.00/948.41	c  948s |      25 |  6215450 |  5788398 |     1406  10387 |        0 |        0
950.01/950.43	c  950s |      25 |  6227611 |  5799998 |     1406  10403 |        0 |        0
952.00/952.44	c  952s |      25 |  6239820 |  5811498 |     1406  10419 |        0 |        0
954.00/954.45	c  954s |      25 |  6252168 |  5822998 |     1406  10435 |        0 |        0
956.00/956.46	c  956s |      25 |  6264421 |  5834298 |     1406  10451 |        0 |        0
958.00/958.47	c  958s |      25 |  6277188 |  5845898 |     1406  10466 |        0 |        0
960.01/960.47	c  960s |      25 |  6289363 |  5857298 |     1406  10482 |        0 |        0
962.00/962.48	c  962s |      25 |  6301297 |  5868698 |     1406  10498 |        0 |        0
964.10/964.50	c  964s |      25 |  6313374 |  5880098 |     1406  10514 |        0 |        0
966.10/966.51	c  966s |      25 |  6325807 |  5891598 |     1406  10529 |        0 |        0
968.10/968.53	c  968s |      25 |  6337802 |  5902898 |     1406  10545 |        0 |        0
970.10/970.53	c  970s |      25 |  6350455 |  5914598 |     1406  10561 |        0 |        0
972.11/972.54	c  972s |      25 |  6363192 |  5926098 |     1406  10577 |        0 |        0
974.10/974.55	c  974s |      25 |  6375991 |  5937798 |     1406  10593 |        0 |        0
976.10/976.55	c  976s |      25 |  6388234 |  5949298 |     1406  10608 |        0 |        0
978.10/978.57	c  978s |      25 |  6400689 |  5960998 |     1406  10624 |        0 |        0
980.10/980.57	c  980s |      25 |  6413250 |  5972598 |     1406  10640 |        0 |        0
982.10/982.58	c  982s |      25 |  6425572 |  5983898 |     1406  10656 |        0 |        0
984.10/984.60	c  984s |      25 |  6438235 |  5995498 |     1406  10672 |        0 |        0
986.21/986.61	c  986s |      25 |  6450497 |  6006898 |     1406  10687 |        0 |        0
988.20/988.61	c  988s |      25 |  6462966 |  6018398 |     1406  10703 |        0 |        0
990.20/990.62	c  990s |      25 |  6475243 |  6029898 |     1406  10719 |        0 |        0
992.20/992.62	c  992s |      25 |  6487485 |  6041398 |     1406  10734 |        0 |        0
994.20/994.63	c  994s |      25 |  6499638 |  6052698 |     1406  10750 |        0 |        0
996.21/996.63	c  996s |      25 |  6511595 |  6063998 |     1406  10765 |        0 |        0
998.20/998.65	c  998s |      25 |  6523718 |  6075298 |     1406  10781 |        0 |        0
1000.20/1000.65	c 1000s |      25 |  6535758 |  6086698 |     1406  10796 |        0 |        0
1002.20/1002.67	c 1002s |      25 |  6548107 |  6097998 |     1406  10812 |        0 |        0
1004.20/1004.68	c 1004s |      25 |  6560197 |  6109298 |     1406  10827 |        0 |        0
1006.21/1006.69	c 1006s |      25 |  6571994 |  6120498 |     1406  10843 |        0 |        0
1008.20/1008.70	c 1008s |      25 |  6584457 |  6131798 |     1406  10858 |        0 |        0
1010.30/1010.72	c 1010s |      25 |  6596945 |  6143098 |     1406  10874 |        0 |        0
1012.30/1012.72	c 1012s |      25 |  6609022 |  6154298 |     1406  10889 |        0 |        0
1014.30/1014.72	c 1014s |      25 |  6620868 |  6165598 |     1406  10905 |        0 |        0
1016.30/1016.72	c 1016s |      25 |  6633018 |  6176898 |     1406  10920 |        0 |        0
1018.31/1018.73	c 1018s |      25 |  6645443 |  6188098 |     1406  10935 |        0 |        0
1020.30/1020.74	c 1020s |      25 |  6657645 |  6199398 |     1406  10951 |        0 |        0
1022.30/1022.75	c 1022s |      25 |  6669298 |  6210598 |     1406  10966 |        0 |        0
1024.30/1024.76	c 1024s |      25 |  6681032 |  6221898 |     1406  10982 |        0 |        0
1026.30/1026.76	c 1026s |      25 |  6692734 |  6233098 |     1406  10997 |        0 |        0
1028.30/1028.77	c 1028s |      25 |  6704535 |  6244398 |     1406  11013 |        0 |        0
1030.30/1030.77	c 1030s |      25 |  6716189 |  6255598 |     1406  11028 |        0 |        0
1032.29/1032.79	c 1032s |      25 |  6728052 |  6266898 |     1406  11043 |        0 |        0
1034.39/1034.80	c 1034s |      25 |  6739722 |  6277998 |     1406  11059 |        0 |        0
1036.39/1036.81	c 1036s |      25 |  6752002 |  6289398 |     1406  11074 |        0 |        0
1038.39/1038.82	c 1038s |      25 |  6764015 |  6300498 |     1406  11090 |        0 |        0
1040.39/1040.84	c 1040s |      25 |  6776045 |  6311798 |     1406  11105 |        0 |        0
1042.40/1042.85	c 1042s |      25 |  6788567 |  6323198 |     1406  11121 |        0 |        0
1044.39/1044.85	c 1044s |      25 |  6800531 |  6334598 |     1406  11136 |        0 |        0
1046.39/1046.86	c 1046s |      25 |  6812638 |  6345998 |     1406  11152 |        0 |        0
1048.39/1048.87	c 1048s |      25 |  6824198 |  6357098 |     1406  11167 |        0 |        0
1050.39/1050.87	c 1050s |      25 |  6835907 |  6368198 |     1406  11182 |        0 |        0
1052.49/1052.90	c 1052s |      25 |  6847764 |  6379398 |     1406  11198 |        0 |        0
1054.39/1054.90	c 1054s |      25 |  6859305 |  6390298 |     1406  11213 |        0 |        0
1056.49/1056.91	c 1056s |      25 |  6870998 |  6401398 |     1406  11228 |        0 |        0
1058.49/1058.91	c 1058s |      25 |  6882524 |  6412498 |     1406  11243 |        0 |        0
1060.49/1060.92	c 1060s |      25 |  6894613 |  6423898 |     1406  11259 |        0 |        0
1062.49/1062.93	c 1062s |      25 |  6907013 |  6435398 |     1406  11274 |        0 |        0
1064.49/1064.94	c 1064s |      25 |  6919056 |  6446498 |     1406  11290 |        0 |        0
1066.48/1066.95	c 1066s |      25 |  6930806 |  6457898 |     1406  11305 |        0 |        0
1068.48/1068.97	c 1068s |      25 |  6942467 |  6469198 |     1406  11321 |        0 |        0
1070.48/1070.99	c 1070s |      25 |  6954346 |  6480598 |     1406  11336 |        0 |        0
1072.58/1073.00	c 1072s |      25 |  6966673 |  6492398 |     1406  11352 |        0 |        0
1074.58/1075.00	c 1074s |      25 |  6978434 |  6503798 |     1406  11368 |        0 |        0
1076.50/1077.00	c 1076s |      25 |  6990410 |  6515198 |     1406  11384 |        0 |        0
1078.59/1079.01	c 1078s |      25 |  7002521 |  6526698 |     1406  11399 |        0 |        0
1080.59/1081.01	c 1080s |      25 |  7014285 |  6537998 |     1406  11415 |        0 |        0
1082.59/1083.02	c 1083s |      25 |  7026719 |  6549498 |     1406  11431 |        0 |        0
1084.59/1085.03	c 1085s |      25 |  7039560 |  6560998 |     1406  11446 |        0 |        0
1086.59/1087.05	c 1087s |      25 |  7051715 |  6572398 |     1406  11462 |        0 |        0
1088.59/1089.05	c 1089s |      25 |  7063876 |  6583798 |     1406  11478 |        0 |        0
1090.59/1091.06	c 1091s |      25 |  7075731 |  6595098 |     1406  11493 |        0 |        0
1092.59/1093.07	c 1093s |      25 |  7087360 |  6606298 |     1406  11509 |        0 |        0
1094.59/1095.08	c 1095s |      25 |  7099541 |  6617698 |     1406  11524 |        0 |        0
1096.59/1097.09	c 1097s |      25 |  7111548 |  6628998 |     1406  11540 |        0 |        0
1098.69/1099.10	c 1099s |      25 |  7123439 |  6640398 |     1406  11555 |        0 |        0
1100.69/1101.12	c 1101s |      25 |  7135401 |  6651698 |     1406  11571 |        0 |        0
1102.68/1103.14	c 1103s |      25 |  7147409 |  6662998 |     1406  11587 |        0 |        0
1104.68/1105.15	c 1105s |      25 |  7159058 |  6673998 |     1406  11602 |        0 |        0
1106.68/1107.16	c 1107s |      25 |  7170944 |  6685298 |     1406  11617 |        0 |        0
1108.68/1109.18	c 1109s |      25 |  7182869 |  6696498 |     1406  11633 |        0 |        0
1110.69/1111.19	c 1111s |      25 |  7194567 |  6707598 |     1406  11648 |        0 |        0
1112.68/1113.20	c 1113s |      25 |  7206580 |  6718798 |     1406  11663 |        0 |        0
1114.78/1115.20	c 1115s |      25 |  7218188 |  6729798 |     1406  11678 |        0 |        0
1116.78/1117.21	c 1117s |      25 |  7230151 |  6740998 |     1406  11693 |        0 |        0
1118.78/1119.23	c 1119s |      25 |  7241798 |  6751998 |     1406  11709 |        0 |        0
1120.78/1121.24	c 1121s |      25 |  7254236 |  6763298 |     1406  11724 |        0 |        0
1122.79/1123.24	c 1123s |      25 |  7266188 |  6774398 |     1406  11739 |        0 |        0
1124.78/1125.24	c 1125s |      25 |  7277989 |  6785498 |     1406  11755 |        0 |        0
1126.78/1127.25	c 1127s |      25 |  7289977 |  6796698 |     1406  11770 |        0 |        0
1128.78/1129.25	c 1129s |      25 |  7301532 |  6807598 |     1406  11785 |        0 |        0
1130.78/1131.26	c 1131s |      25 |  7313366 |  6818498 |     1406  11800 |        0 |        0
1132.77/1133.28	c 1133s |      25 |  7325531 |  6829998 |     1406  11816 |        0 |        0
1134.78/1135.29	c 1135s |      25 |  7337489 |  6841498 |     1406  11831 |        0 |        0
1136.87/1137.30	c 1137s |      25 |  7349412 |  6852898 |     1406  11847 |        0 |        0
1138.87/1139.31	c 1139s |      25 |  7361055 |  6864098 |     1406  11862 |        0 |        0
1140.87/1141.32	c 1141s |      25 |  7372584 |  6875198 |     1406  11878 |        0 |        0
1142.87/1143.32	c 1143s |      25 |  7384428 |  6886498 |     1406  11893 |        0 |        0
1144.87/1145.33	c 1145s |      25 |  7396308 |  6897698 |     1406  11908 |        0 |        0
1146.88/1147.34	c 1147s |      25 |  7408054 |  6908798 |     1406  11924 |        0 |        0
1148.87/1149.36	c 1149s |      25 |  7419636 |  6919898 |     1406  11939 |        0 |        0
1150.88/1151.36	c 1151s |      25 |  7431048 |  6930598 |     1406  11954 |        0 |        0
1152.88/1153.37	c 1153s |      25 |  7442680 |  6941598 |     1406  11969 |        0 |        0
1154.88/1155.38	c 1155s |      25 |  7454473 |  6952698 |     1406  11984 |        0 |        0
1156.88/1157.39	c 1157s |      25 |  7466154 |  6963698 |     1406  11999 |        0 |        0
1158.98/1159.40	c 1159s |      25 |  7479112 |  6975298 |     1406  12015 |        0 |        0
1160.98/1161.41	c 1161s |      25 |  7491385 |  6986698 |     1406  12031 |        0 |        0
1162.97/1163.42	c 1163s |      25 |  7503775 |  6997898 |     1406  12046 |        0 |        0
1164.97/1165.42	c 1165s |      25 |  7515648 |  7008998 |     1406  12061 |        0 |        0
1166.97/1167.42	c 1167s |      25 |  7527531 |  7020098 |     1406  12076 |        0 |        0
1168.98/1169.44	c 1169s |      25 |  7539949 |  7031398 |     1406  12092 |        0 |        0
1170.97/1171.44	c 1171s |      25 |  7551607 |  7042598 |     1406  12107 |        0 |        0
1172.97/1173.46	c 1173s |      25 |  7563873 |  7053898 |     1406  12123 |        0 |        0
1174.97/1175.47	c 1175s |      25 |  7575989 |  7065198 |     1406  12138 |        0 |        0
1176.97/1177.49	c 1177s |      25 |  7588113 |  7076698 |     1406  12154 |        0 |        0
1178.97/1179.49	c 1179s |      25 |  7600224 |  7087798 |     1406  12169 |        0 |        0
1180.98/1181.50	c 1181s |      25 |  7612167 |  7099098 |     1406  12184 |        0 |        0
1183.07/1183.52	c 1183s |      25 |  7624125 |  7110298 |     1406  12200 |        0 |        0
1185.07/1185.52	c 1185s |      25 |  7635965 |  7121398 |     1406  12215 |        0 |        0
1187.07/1187.53	c 1187s |      25 |  7648078 |  7132598 |     1406  12230 |        0 |        0
1189.07/1189.54	c 1189s |      25 |  7660049 |  7143898 |     1406  12246 |        0 |        0
1191.07/1191.55	c 1191s |      25 |  7671941 |  7155098 |     1406  12261 |        0 |        0
1193.07/1193.57	c 1193s |      25 |  7683796 |  7166198 |     1406  12276 |        0 |        0
1195.07/1195.58	c 1195s |      25 |  7695771 |  7177198 |     1406  12292 |        0 |        0
1197.06/1197.58	c 1197s |      25 |  7708175 |  7188698 |     1406  12307 |        0 |        0
1199.07/1199.59	c 1199s |      25 |  7720599 |  7199998 |     1406  12323 |        0 |        0
1201.17/1201.60	c 1201s |      25 |  7732731 |  7211598 |     1406  12339 |        0 |        0
1203.17/1203.61	c 1203s |      25 |  7744709 |  7222898 |     1406  12354 |        0 |        0
1205.18/1205.62	c 1205s |      25 |  7756724 |  7234198 |     1406  12370 |        0 |        0
1207.17/1207.64	c 1207s |      25 |  7768383 |  7245098 |     1406  12385 |        0 |        0
1209.17/1209.65	c 1209s |      25 |  7779997 |  7256098 |     1406  12400 |        0 |        0
1211.17/1211.66	c 1211s |      25 |  7791667 |  7267098 |     1406  12415 |        0 |        0
1213.17/1213.66	c 1213s |      25 |  7803665 |  7278098 |     1406  12430 |        0 |        0
1215.18/1215.67	c 1215s |      25 |  7815320 |  7289198 |     1406  12445 |        0 |        0
1217.17/1217.68	c 1217s |      25 |  7827468 |  7300498 |     1406  12461 |        0 |        0
1219.17/1219.69	c 1219s |      25 |  7839681 |  7311998 |     1406  12477 |        0 |        0
1221.27/1221.70	c 1221s |      25 |  7851867 |  7323398 |     1406  12492 |        0 |        0
1223.27/1223.71	c 1223s |      25 |  7864146 |  7334798 |     1406  12508 |        0 |        0
1225.27/1225.72	c 1225s |      25 |  7876175 |  7346098 |     1406  12523 |        0 |        0
1227.27/1227.74	c 1227s |      25 |  7888087 |  7357098 |     1406  12539 |        0 |        0
1229.27/1229.75	c 1229s |      25 |  7899945 |  7368198 |     1406  12554 |        0 |        0
1231.27/1231.76	c 1231s |      25 |  7912065 |  7379198 |     1406  12569 |        0 |        0
1233.26/1233.77	c 1233s |      25 |  7924236 |  7390398 |     1406  12584 |        0 |        0
1235.26/1235.78	c 1235s |      25 |  7936159 |  7401498 |     1406  12600 |        0 |        0
1237.36/1237.80	c 1237s |      25 |  7948311 |  7412698 |     1406  12615 |        0 |        0
1239.27/1239.80	c 1239s |      25 |  7960529 |  7423898 |     1406  12630 |        0 |        0
1241.36/1241.81	c 1241s |      25 |  7972568 |  7434998 |     1406  12645 |        0 |        0
1243.36/1243.81	c 1243s |      25 |  7984534 |  7446198 |     1406  12661 |        0 |        0
1245.36/1245.82	c 1245s |      25 |  7996354 |  7457098 |     1406  12676 |        0 |        0
1247.36/1247.82	c 1247s |      25 |  8008128 |  7468098 |     1406  12691 |        0 |        0
1249.36/1249.83	c 1249s |      25 |  8020053 |  7478998 |     1406  12706 |        0 |        0
1251.37/1251.84	c 1251s |      25 |  8032143 |  7490198 |     1406  12721 |        0 |        0
1253.36/1253.85	c 1253s |      25 |  8043962 |  7501298 |     1406  12736 |        0 |        0
1255.36/1255.86	c 1255s |      25 |  8056201 |  7512398 |     1406  12752 |        0 |        0
1257.36/1257.87	c 1257s |      25 |  8068666 |  7523398 |     1406  12767 |        0 |        0
1259.36/1259.88	c 1259s |      25 |  8080332 |  7534598 |     1406  12782 |        0 |        0
1261.37/1261.88	c 1261s |      25 |  8092291 |  7545798 |     1547  12797 |        0 |        0
1263.36/1263.88	c 1263s |      25 |  8104110 |  7556898 |     1547  12811 |        0 |        0
1265.36/1265.89	c 1265s |      25 |  8115848 |  7567898 |     1547  12825 |        0 |        0
1267.46/1267.90	c 1267s |      25 |  8127674 |  7578998 |     1547  12838 |        0 |        0
1269.46/1269.91	c 1269s |      25 |  8139410 |  7589698 |     1547  12852 |        0 |        0
1270.86/1271.39	c 1271s |      26 |  8148321 |  7597752 |     1547  12862 |        0 |        0
1272.96/1273.40	c 1273s |      26 |  8160495 |  7609252 |     1547  12876 |        0 |        0
1274.96/1275.41	c 1275s |      26 |  8172480 |  7620552 |     1547  12890 |        0 |        0
1276.95/1277.42	c 1277s |      26 |  8184982 |  7632052 |     1547  12904 |        0 |        0
1278.96/1279.43	c 1279s |      26 |  8197284 |  7643552 |     1547  12919 |        0 |        0
1280.95/1281.44	c 1281s |      26 |  8209874 |  7654752 |     1547  12933 |        0 |        0
1282.95/1283.46	c 1283s |      26 |  8221616 |  7665852 |     1547  12947 |        0 |        0
1284.95/1285.47	c 1285s |      26 |  8234171 |  7677252 |     1547  12961 |        0 |        0
1286.95/1287.47	c 1287s |      26 |  8245893 |  7688352 |     1547  12975 |        0 |        0
1288.95/1289.49	c 1289s |      26 |  8258030 |  7699552 |     1547  12989 |        0 |        0
1290.96/1291.49	c 1291s |      26 |  8269731 |  7710552 |     1547  13002 |        0 |        0
1293.05/1293.50	c 1293s |      26 |  8281342 |  7721452 |     1547  13016 |        0 |        0
1295.05/1295.51	c 1295s |      26 |  8293224 |  7732552 |     1547  13030 |        0 |        0
1297.05/1297.53	c 1297s |      26 |  8305115 |  7743752 |     1547  13044 |        0 |        0
1299.05/1299.53	c 1299s |      26 |  8316935 |  7754852 |     1547  13057 |        0 |        0
1301.05/1301.53	c 1301s |      26 |  8328158 |  7765452 |     1547  13071 |        0 |        0
1303.06/1303.55	c 1303s |      26 |  8339814 |  7776552 |     1547  13085 |        0 |        0
1305.05/1305.56	c 1305s |      26 |  8352404 |  7787952 |     1547  13099 |        0 |        0
1307.05/1307.58	c 1307s |      26 |  8364918 |  7799152 |     1547  13113 |        0 |        0
1309.05/1309.58	c 1309s |      26 |  8376793 |  7810052 |     1547  13126 |        0 |        0
1311.05/1311.58	c 1311s |      26 |  8388709 |  7821352 |     1547  13140 |        0 |        0
1313.06/1313.59	c 1313s |      26 |  8400526 |  7832552 |     1547  13154 |        0 |        0
1315.05/1315.60	c 1315s |      26 |  8412072 |  7843552 |     1547  13168 |        0 |        0
1317.15/1317.61	c 1317s |      26 |  8423571 |  7854552 |     1547  13182 |        0 |        0
1319.15/1319.62	c 1319s |      26 |  8435208 |  7865652 |     1547  13196 |        0 |        0
1321.15/1321.62	c 1321s |      26 |  8447121 |  7876752 |     1547  13210 |        0 |        0
1323.15/1323.63	c 1323s |      26 |  8459567 |  7888352 |     1547  13224 |        0 |        0
1325.15/1325.64	c 1325s |      26 |  8471345 |  7899452 |     1547  13238 |        0 |        0
1327.15/1327.65	c 1327s |      26 |  8483251 |  7910452 |     1547  13251 |        0 |        0
1329.14/1329.67	c 1329s |      26 |  8495170 |  7921752 |     1547  13266 |        0 |        0
1331.14/1331.68	c 1331s |      26 |  8507565 |  7933052 |     1547  13280 |        0 |        0
1333.14/1333.69	c 1333s |      26 |  8519751 |  7944252 |     1547  13294 |        0 |        0
1335.24/1335.70	c 1335s |      26 |  8532254 |  7955652 |     1547  13308 |        0 |        0
1337.26/1337.71	c 1337s |      26 |  8544534 |  7966752 |     1547  13322 |        0 |        0
1339.25/1339.72	c 1339s |      26 |  8556909 |  7977852 |     1547  13336 |        0 |        0
1341.25/1341.74	c 1341s |      26 |  8568850 |  7988752 |     1547  13349 |        0 |        0
1343.25/1343.74	c 1343s |      26 |  8580627 |  7999752 |     1547  13363 |        0 |        0
1345.25/1345.76	c 1345s |      26 |  8592893 |  8010652 |     1547  13377 |        0 |        0
1347.25/1347.77	c 1347s |      26 |  8604898 |  8021552 |     1547  13390 |        0 |        0
1349.25/1349.78	c 1349s |      26 |  8616907 |  8032452 |     1547  13404 |        0 |        0
1351.25/1351.79	c 1351s |      26 |  8629106 |  8043752 |     1547  13418 |        0 |        0
1353.35/1353.81	c 1353s |      26 |  8640977 |  8054852 |     1547  13432 |        0 |        0
1355.35/1355.82	c 1355s |      26 |  8652743 |  8065852 |     1547  13446 |        0 |        0
1357.34/1357.83	c 1357s |      26 |  8664627 |  8076852 |     1547  13459 |        0 |        0
1359.34/1359.83	c 1359s |      26 |  8676381 |  8087952 |     1547  13473 |        0 |        0
1361.35/1361.83	c 1361s |      26 |  8688050 |  8098552 |     1547  13486 |        0 |        0
1363.34/1363.84	c 1363s |      26 |  8699481 |  8109352 |     1547  13500 |        0 |        0
1365.34/1365.85	c 1365s |      26 |  8711323 |  8120452 |     1547  13514 |        0 |        0
1367.34/1367.87	c 1367s |      26 |  8722749 |  8131252 |     1547  13527 |        0 |        0
1369.34/1369.88	c 1369s |      26 |  8734153 |  8142152 |     1547  13541 |        0 |        0
1371.35/1371.89	c 1371s |      26 |  8745685 |  8153252 |     1547  13554 |        0 |        0
1373.34/1373.90	c 1373s |      26 |  8757029 |  8163952 |     1547  13568 |        0 |        0
1375.44/1375.91	c 1375s |      26 |  8768333 |  8174552 |     1547  13581 |        0 |        0
1377.44/1377.92	c 1377s |      26 |  8779658 |  8185452 |     1547  13595 |        0 |        0
1379.44/1379.92	c 1379s |      26 |  8791202 |  8196552 |     1547  13609 |        0 |        0
1381.44/1381.92	c 1381s |      26 |  8802964 |  8207652 |     1547  13622 |        0 |        0
1383.44/1383.94	c 1383s |      26 |  8814751 |  8218852 |     1547  13636 |        0 |        0
1385.44/1385.94	c 1385s |      26 |  8826316 |  8229652 |     1547  13650 |        0 |        0
1387.44/1387.96	c 1387s |      26 |  8838431 |  8240552 |     1547  13664 |        0 |        0
1389.44/1389.97	c 1389s |      26 |  8850235 |  8251352 |     1547  13677 |        0 |        0
1391.44/1391.98	c 1391s |      26 |  8862203 |  8262552 |     1547  13691 |        0 |        0
1393.44/1393.99	c 1393s |      26 |  8874235 |  8274052 |     1547  13705 |        0 |        0
1395.45/1396.00	c 1395s |      26 |  8886421 |  8285352 |     1547  13719 |        0 |        0
1397.54/1398.00	c 1397s |      26 |  8898522 |  8296552 |     1547  13733 |        0 |        0
1399.54/1400.01	c 1399s |      26 |  8909776 |  8307352 |     1547  13747 |        0 |        0
1401.54/1402.02	c 1402s |      26 |  8920865 |  8318052 |     1547  13760 |        0 |        0
1403.54/1404.03	c 1404s |      26 |  8932715 |  8329152 |     1547  13774 |        0 |        0
1405.53/1406.05	c 1406s |      26 |  8944892 |  8340552 |     1547  13788 |        0 |        0
1407.54/1408.06	c 1408s |      26 |  8956985 |  8351752 |     1547  13802 |        0 |        0
1409.53/1410.07	c 1410s |      26 |  8969305 |  8362652 |     1547  13816 |        0 |        0
1411.53/1412.08	c 1412s |      26 |  8980913 |  8373452 |     1547  13830 |        0 |        0
1413.53/1414.10	c 1414s |      26 |  8993499 |  8384552 |     1547  13844 |        0 |        0
1415.63/1416.11	c 1416s |      26 |  9005675 |  8395552 |     1547  13857 |        0 |        0
1417.63/1418.11	c 1418s |      26 |  9017696 |  8406352 |     1547  13871 |        0 |        0
1419.64/1420.13	c 1420s |      26 |  9029415 |  8417552 |     1547  13885 |        0 |        0
1421.63/1422.14	c 1422s |      26 |  9041208 |  8428752 |     1547  13899 |        0 |        0
1423.63/1424.14	c 1424s |      26 |  9052788 |  8439752 |     1547  13912 |        0 |        0
1425.63/1426.15	c 1426s |      26 |  9063976 |  8450352 |     1547  13926 |        0 |        0
1427.63/1428.16	c 1428s |      26 |  9075529 |  8461352 |     1547  13939 |        0 |        0
1429.64/1430.16	c 1430s |      26 |  9087546 |  8472452 |     1547  13953 |        0 |        0
1431.64/1432.17	c 1432s |      26 |  9099262 |  8483552 |     1547  13967 |        0 |        0
1433.64/1434.18	c 1434s |      26 |  9111505 |  8494952 |     1547  13981 |        0 |        0
1435.74/1436.20	c 1436s |      26 |  9123790 |  8506252 |     1547  13995 |        0 |        0
1437.74/1438.21	c 1438s |      26 |  9136161 |  8517452 |     1547  14009 |        0 |        0
1439.74/1440.21	c 1440s |      26 |  9148057 |  8528552 |     1547  14023 |        0 |        0
1441.74/1442.23	c 1442s |      26 |  9159675 |  8539452 |     1547  14037 |        0 |        0
1443.73/1444.23	c 1444s |      26 |  9171045 |  8550252 |     1547  14050 |        0 |        0
1445.73/1446.24	c 1446s |      26 |  9183154 |  8561452 |     1547  14064 |        0 |        0
1447.73/1448.25	c 1448s |      26 |  9195391 |  8572352 |     1547  14078 |        0 |        0
1449.73/1450.26	c 1450s |      26 |  9207119 |  8583552 |     1547  14092 |        0 |        0
1451.73/1452.28	c 1452s |      26 |  9219182 |  8594552 |     1547  14106 |        0 |        0
1453.74/1454.28	c 1454s |      26 |  9231568 |  8605352 |     1547  14119 |        0 |        0
1455.73/1456.29	c 1456s |      26 |  9242912 |  8615852 |     1547  14132 |        0 |        0
1457.83/1458.31	c 1458s |      26 |  9254530 |  8626552 |     1547  14146 |        0 |        0
1459.83/1460.32	c 1460s |      26 |  9267107 |  8637552 |     1547  14159 |        0 |        0
1461.83/1462.33	c 1462s |      26 |  9278969 |  8648152 |     1547  14173 |        0 |        0
1463.83/1464.34	c 1464s |      26 |  9290426 |  8658752 |     1547  14186 |        0 |        0
1465.83/1466.35	c 1466s |      26 |  9302074 |  8669252 |     1547  14199 |        0 |        0
1467.82/1468.37	c 1468s |      26 |  9314132 |  8680252 |     1547  14213 |        0 |        0
1469.82/1470.38	c 1470s |      26 |  9325967 |  8691052 |     1547  14226 |        0 |        0
1471.82/1472.38	c 1472s |      26 |  9338050 |  8701652 |     1547  14239 |        0 |        0
1473.82/1474.39	c 1474s |      26 |  9350008 |  8712352 |     1547  14253 |        0 |        0
1475.92/1476.40	c 1476s |      26 |  9362099 |  8723352 |     1547  14266 |        0 |        0
1477.93/1478.41	c 1478s |      26 |  9374422 |  8733952 |     1547  14280 |        0 |        0
1479.92/1480.41	c 1480s |      26 |  9386680 |  8744852 |     1547  14293 |        0 |        0
1481.92/1482.42	c 1482s |      26 |  9399359 |  8755752 |     1547  14307 |        0 |        0
1483.92/1484.44	c 1484s |      26 |  9412182 |  8766352 |     1547  14320 |        0 |        0
1485.92/1486.45	c 1486s |      26 |  9425821 |  8777252 |     1547  14334 |        0 |        0
1487.93/1488.45	c 1488s |      26 |  9438095 |  8787952 |     1547  14347 |        0 |        0
1489.92/1490.47	c 1490s |      26 |  9450210 |  8798752 |     1547  14361 |        0 |        0
1491.92/1492.48	c 1492s |      26 |  9462404 |  8809852 |     1547  14374 |        0 |        0
1494.02/1494.50	c 1494s |      26 |  9474001 |  8820552 |     1547  14388 |        0 |        0
1496.02/1496.50	c 1496s |      26 |  9485372 |  8831052 |     1547  14401 |        0 |        0
1498.02/1498.52	c 1498s |      26 |  9496973 |  8841852 |     1547  14414 |        0 |        0
1500.03/1500.53	c 1500s |      26 |  9508645 |  8852552 |     1547  14428 |        0 |        0
1502.02/1502.54	c 1502s |      26 |  9520214 |  8863152 |     1547  14441 |        0 |        0
1504.02/1504.55	c 1504s |      26 |  9531908 |  8873552 |     1547  14454 |        0 |        0
1506.03/1506.56	c 1506s |      26 |  9543357 |  8884052 |     1547  14467 |        0 |        0
1508.03/1508.57	c 1508s |      26 |  9554868 |  8894852 |     1547  14481 |        0 |        0
1510.03/1510.59	c 1510s |      26 |  9567234 |  8905552 |     1547  14494 |        0 |        0
1512.13/1512.61	c 1512s |      26 |  9578959 |  8916452 |     1547  14508 |        0 |        0
1514.12/1514.62	c 1514s |      26 |  9590777 |  8927052 |     1547  14521 |        0 |        0
1516.12/1516.63	c 1516s |      26 |  9602218 |  8937452 |     1547  14534 |        0 |        0
1518.12/1518.65	c 1518s |      26 |  9614991 |  8948552 |     1547  14548 |        0 |        0
1520.12/1520.67	c 1520s |      26 |  9626642 |  8959252 |     1547  14561 |        0 |        0
1522.12/1522.67	c 1522s |      26 |  9638643 |  8969752 |     1547  14574 |        0 |        0
1524.13/1524.67	c 1524s |      26 |  9649898 |  8979952 |     1547  14587 |        0 |        0
1526.12/1526.67	c 1526s |      26 |  9661729 |  8990452 |     1547  14600 |        0 |        0
1528.12/1528.68	c 1528s |      26 |  9674373 |  9002152 |     1547  14614 |        0 |        0
1530.12/1530.69	c 1530s |      26 |  9686459 |  9013252 |     1547  14628 |        0 |        0
1532.22/1532.70	c 1532s |      26 |  9698891 |  9024752 |     1547  14642 |        0 |        0
1534.22/1534.71	c 1534s |      26 |  9710871 |  9036052 |     1547  14657 |        0 |        0
1536.22/1536.71	c 1536s |      26 |  9722603 |  9047252 |     1547  14671 |        0 |        0
1538.22/1538.73	c 1538s |      26 |  9734336 |  9058552 |     1547  14685 |        0 |        0
1540.22/1540.73	c 1540s |      26 |  9746190 |  9069752 |     1547  14699 |        0 |        0
1542.22/1542.73	c 1542s |      26 |  9758500 |  9081052 |     1547  14713 |        0 |        0
1544.22/1544.74	c 1544s |      26 |  9770849 |  9092452 |     1547  14727 |        0 |        0
1546.22/1546.75	c 1546s |      26 |  9783050 |  9103552 |     1547  14741 |        0 |        0
1548.21/1548.76	c 1548s |      26 |  9794730 |  9114552 |     1547  14754 |        0 |        0
1550.21/1550.77	c 1550s |      26 |  9806369 |  9125652 |     1547  14768 |        0 |        0
1552.21/1552.79	c 1552s |      26 |  9818271 |  9137052 |     1547  14783 |        0 |        0
1554.31/1554.80	c 1554s |      26 |  9830085 |  9148252 |     1547  14797 |        0 |        0
1556.31/1556.82	c 1556s |      26 |  9841903 |  9159352 |     1547  14810 |        0 |        0
1558.32/1558.83	c 1558s |      26 |  9853682 |  9170552 |     1547  14824 |        0 |        0
1560.31/1560.84	c 1560s |      26 |  9865297 |  9181652 |     1547  14838 |        0 |        0
1562.31/1562.85	c 1562s |      26 |  9876687 |  9192552 |     1547  14852 |        0 |        0
1564.31/1564.87	c 1564s |      26 |  9888187 |  9203552 |     1547  14866 |        0 |        0
1566.31/1566.87	c 1566s |      26 |  9900039 |  9214852 |     1547  14880 |        0 |        0
1568.31/1568.88	c 1568s |      26 |  9911938 |  9226152 |     1547  14894 |        0 |        0
1570.31/1570.89	c 1570s |      26 |  9923452 |  9236852 |     1547  14907 |        0 |        0
1572.31/1572.89	c 1572s |      26 |  9935309 |  9247852 |     1547  14921 |        0 |        0
1574.31/1574.89	c 1574s |      26 |  9946876 |  9258552 |     1547  14934 |        0 |        0
1576.41/1576.90	c 1576s |      26 |  9958396 |  9269352 |     1547  14948 |        0 |        0
1578.42/1578.91	c 1578s |      26 |  9970120 |  9280452 |     1547  14962 |        0 |        0
1580.41/1580.91	c 1580s |      26 |  9981700 |  9291552 |     1547  14976 |        0 |        0
1582.42/1582.91	c 1582s |      26 |  9993234 |  9302552 |     1547  14989 |        0 |        0
1584.41/1584.92	c 1584s |      26 | 10004744 |  9313552 |     1547  15003 |        0 |        0
1586.41/1586.92	c 1586s |      26 | 10016339 |  9324552 |     1547  15017 |        0 |        0
1588.41/1588.92	c 1588s |      26 | 10027501 |  9335252 |     1547  15030 |        0 |        0
1590.41/1590.94	c 1590s |      26 | 10039343 |  9346452 |     1547  15044 |        0 |        0
1592.42/1592.95	c 1592s |      26 | 10051101 |  9357552 |     1547  15058 |        0 |        0
1594.41/1594.96	c 1594s |      26 | 10063217 |  9368852 |     1547  15072 |        0 |        0
1596.41/1596.97	c 1596s |      26 | 10075068 |  9379752 |     1547  15086 |        0 |        0
1598.41/1598.97	c 1598s |      26 | 10086385 |  9390652 |     1547  15099 |        0 |        0
1600.41/1600.98	c 1600s |      26 | 10098709 |  9402152 |     1547  15113 |        0 |        0
1602.41/1602.98	c 1602s |      26 | 10111257 |  9413352 |     1547  15127 |        0 |        0
1604.41/1604.99	c 1604s |      26 | 10123592 |  9424652 |     1547  15142 |        0 |        0
1606.41/1606.99	c 1606s |      26 | 10135747 |  9435752 |     1547  15155 |        0 |        0
1608.50/1609.00	c 1608s |      26 | 10147846 |  9446852 |     1547  15169 |        0 |        0
1610.50/1611.01	c 1610s |      26 | 10159915 |  9457852 |     1547  15183 |        0 |        0
1612.50/1613.01	c 1612s |      26 | 10171906 |  9468952 |     1547  15197 |        0 |        0
1614.50/1615.02	c 1615s |      26 | 10183751 |  9480152 |     1547  15211 |        0 |        0
1616.51/1617.03	c 1617s |      26 | 10195627 |  9491452 |     1547  15225 |        0 |        0
1618.50/1619.04	c 1619s |      26 | 10207560 |  9502652 |     1547  15239 |        0 |        0
1620.50/1621.04	c 1621s |      26 | 10219438 |  9513652 |     1547  15253 |        0 |        0
1622.50/1623.05	c 1623s |      26 | 10230857 |  9524552 |     1547  15266 |        0 |        0
1624.50/1625.07	c 1625s |      26 | 10242220 |  9535352 |     1547  15280 |        0 |        0
1626.51/1627.07	c 1627s |      26 | 10253858 |  9546452 |     1547  15293 |        0 |        0
1628.51/1629.08	c 1629s |      26 | 10265207 |  9556952 |     1547  15307 |        0 |        0
1630.51/1631.08	c 1631s |      26 | 10276804 |  9567952 |     1547  15320 |        0 |        0
1632.50/1633.09	c 1633s |      26 | 10288502 |  9578952 |     1547  15334 |        0 |        0
1634.50/1635.09	c 1635s |      26 | 10300381 |  9589952 |     1547  15348 |        0 |        0
1636.60/1637.10	c 1637s |      26 | 10312334 |  9600852 |     1547  15361 |        0 |        0
1638.61/1639.12	c 1639s |      26 | 10324728 |  9612252 |     1547  15376 |        0 |        0
1640.60/1641.13	c 1641s |      26 | 10337069 |  9623752 |     1547  15390 |        0 |        0
1642.60/1643.15	c 1643s |      26 | 10349055 |  9634952 |     1547  15404 |        0 |        0
1644.60/1645.15	c 1645s |      26 | 10360779 |  9645952 |     1547  15418 |        0 |        0
1646.60/1647.16	c 1647s |      26 | 10372630 |  9657152 |     1547  15432 |        0 |        0
1648.60/1649.17	c 1649s |      26 | 10384498 |  9668452 |     1547  15446 |        0 |        0
1650.60/1651.18	c 1651s |      26 | 10396371 |  9679752 |     1547  15460 |        0 |        0
1652.60/1653.19	c 1653s |      26 | 10408357 |  9691152 |     1547  15474 |        0 |        0
1654.70/1655.20	c 1655s |      26 | 10419997 |  9702252 |     1547  15488 |        0 |        0
1656.70/1657.21	c 1657s |      26 | 10432083 |  9713552 |     1547  15502 |        0 |        0
1658.70/1659.22	c 1659s |      26 | 10443492 |  9724552 |     1547  15516 |        0 |        0
1660.70/1661.23	c 1661s |      26 | 10455194 |  9735552 |     1547  15530 |        0 |        0
1662.70/1663.23	c 1663s |      26 | 10466771 |  9746752 |     1547  15544 |        0 |        0
1664.70/1665.25	c 1665s |      26 | 10478416 |  9757752 |     1547  15557 |        0 |        0
1666.69/1667.25	c 1667s |      26 | 10490168 |  9768752 |     1547  15571 |        0 |        0
1668.69/1669.26	c 1669s |      26 | 10502108 |  9779852 |     1547  15585 |        0 |        0
1670.69/1671.27	c 1671s |      26 | 10514165 |  9790852 |     1547  15599 |        0 |        0
1672.70/1673.28	c 1673s |      26 | 10525802 |  9801752 |     1547  15612 |        0 |        0
1674.69/1675.29	c 1675s |      26 | 10537475 |  9812752 |     1547  15626 |        0 |        0
1676.69/1677.29	c 1677s |      26 | 10548919 |  9823552 |     1547  15640 |        0 |        0
1678.69/1679.30	c 1679s |      26 | 10560340 |  9834452 |     1547  15653 |        0 |        0
1680.79/1681.31	c 1681s |      26 | 10572105 |  9845352 |     1547  15667 |        0 |        0
1682.79/1683.32	c 1683s |      26 | 10583822 |  9856652 |     1547  15681 |        0 |        0
1684.80/1685.34	c 1685s |      26 | 10595464 |  9867752 |     1547  15695 |        0 |        0
1686.79/1687.35	c 1687s |      26 | 10607192 |  9878952 |     1547  15709 |        0 |        0
1688.79/1689.36	c 1689s |      26 | 10619006 |  9890152 |     1547  15723 |        0 |        0
1690.79/1691.38	c 1691s |      26 | 10631295 |  9901452 |     1547  15737 |        0 |        0
1692.79/1693.38	c 1693s |      26 | 10642956 |  9912652 |     1547  15751 |        0 |        0
1694.79/1695.39	c 1695s |      26 | 10654593 |  9923452 |     1547  15765 |        0 |        0
1696.80/1697.40	c 1697s |      26 | 10666358 |  9934552 |     1547  15779 |        0 |        0
1698.89/1699.40	c 1699s |      26 | 10678031 |  9945652 |     1547  15792 |        0 |        0
1700.89/1701.41	c 1701s |      26 | 10689480 |  9956552 |     1547  15806 |        0 |        0
1702.89/1703.43	c 1703s |      26 | 10701335 |  9967752 |     1547  15820 |        0 |        0
1704.89/1705.44	c 1705s |      26 | 10713266 |  9978852 |     1547  15834 |        0 |        0
1706.89/1707.45	c 1707s |      26 | 10725443 |  9990152 |     1547  15848 |        0 |        0
1708.89/1709.45	c 1709s |      26 | 10737771 | 10001452 |     1547  15862 |        0 |        0
1710.89/1711.47	c 1711s |      26 | 10749651 | 10012152 |     1547  15876 |        0 |        0
1712.89/1713.49	c 1713s |      26 | 10762193 | 10023452 |     1547  15890 |        0 |        0
1714.89/1715.49	c 1715s |      26 | 10774211 | 10034552 |     1547  15904 |        0 |        0
1716.89/1717.49	c 1717s |      26 | 10786411 | 10045552 |     1547  15918 |        0 |        0
1718.99/1719.50	c 1719s |      26 | 10798104 | 10056852 |     1547  15932 |        0 |        0
1721.00/1721.52	c 1721s |      26 | 10810044 | 10068352 |     1547  15946 |        0 |        0
1722.99/1723.52	c 1723s |      26 | 10821577 | 10079452 |     1547  15960 |        0 |        0
1724.99/1725.54	c 1725s |      26 | 10833445 | 10090552 |     1547  15974 |        0 |        0
1726.99/1727.54	c 1727s |      26 | 10845407 | 10101652 |     1547  15988 |        0 |        0
1728.99/1729.54	c 1729s |      26 | 10857730 | 10112552 |     1547  16001 |        0 |        0
1730.99/1731.56	c 1731s |      26 | 10869820 | 10123352 |     1547  16015 |        0 |        0
1732.99/1733.58	c 1733s |      26 | 10881671 | 10134652 |     1547  16029 |        0 |        0
1734.99/1735.58	c 1735s |      26 | 10893362 | 10145852 |     1547  16043 |        0 |        0
1736.99/1737.59	c 1737s |      26 | 10905125 | 10157052 |     1547  16057 |        0 |        0
1739.09/1739.60	c 1739s |      26 | 10916618 | 10167952 |     1547  16071 |        0 |        0
1741.08/1741.61	c 1741s |      26 | 10928774 | 10178952 |     1547  16084 |        0 |        0
1743.09/1743.62	c 1743s |      26 | 10940669 | 10189952 |     1547  16098 |        0 |        0
1745.08/1745.62	c 1745s |      26 | 10952814 | 10200652 |     1547  16112 |        0 |        0
1747.08/1747.63	c 1747s |      26 | 10964511 | 10211352 |     1547  16125 |        0 |        0
1749.08/1749.63	c 1749s |      26 | 10976923 | 10222052 |     1547  16138 |        0 |        0
1751.08/1751.64	c 1751s |      26 | 10988490 | 10232952 |     1547  16152 |        0 |        0
1753.08/1753.66	c 1753s |      26 | 11001064 | 10244552 |     1547  16166 |        0 |        0
1755.09/1755.66	c 1755s |      26 | 11013143 | 10255752 |     1547  16180 |        0 |        0
1757.08/1757.68	c 1757s |      26 | 11025168 | 10266952 |     1547  16195 |        0 |        0
1759.08/1759.68	c 1759s |      26 | 11036967 | 10278052 |     1547  16208 |        0 |        0
1761.18/1761.70	c 1761s |      26 | 11048945 | 10289152 |     1547  16222 |        0 |        0
1763.18/1763.71	c 1763s |      26 | 11061035 | 10300252 |     1547  16236 |        0 |        0
1765.18/1765.73	c 1765s |      26 | 11072607 | 10311152 |     1547  16250 |        0 |        0
1767.18/1767.74	c 1767s |      26 | 11084244 | 10322252 |     1547  16264 |        0 |        0
1769.18/1769.74	c 1769s |      26 | 11095674 | 10333152 |     1547  16277 |        0 |        0
1771.18/1771.76	c 1771s |      26 | 11107443 | 10344352 |     1547  16291 |        0 |        0
1773.18/1773.77	c 1773s |      26 | 11119314 | 10355352 |     1547  16305 |        0 |        0
1775.18/1775.78	c 1775s |      26 | 11130862 | 10366252 |     1547  16319 |        0 |        0
1777.18/1777.78	c 1777s |      26 | 11142724 | 10377352 |     1547  16333 |        0 |        0
1779.18/1779.79	c 1779s |      26 | 11154715 | 10388652 |     1547  16347 |        0 |        0
1781.28/1781.80	c 1781s |      26 | 11166421 | 10399752 |     1547  16361 |        0 |        0
1783.28/1783.82	c 1783s |      26 | 11178538 | 10410752 |     1547  16375 |        0 |        0
1785.28/1785.82	c 1785s |      26 | 11190537 | 10422052 |     1547  16389 |        0 |        0
1787.28/1787.83	c 1787s |      26 | 11202943 | 10433452 |     1547  16403 |        0 |        0
1789.29/1789.83	c 1789s |      26 | 11214878 | 10444552 |     1547  16417 |        0 |        0
1791.28/1791.84	c 1791s |      26 | 11227221 | 10455852 |     1547  16431 |        0 |        0
1793.28/1793.85	c 1793s |      26 | 11239077 | 10467052 |     1547  16445 |        0 |        0
1795.28/1795.86	c 1795s |      26 | 11251137 | 10478152 |     1547  16458 |        0 |        0
1797.28/1797.87	c 1797s |      26 | 11263032 | 10489152 |     1547  16472 |        0 |        0
1799.28/1799.87	c 1799s |      26 | 11274645 | 10500052 |     1547  16486 |        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-4089442-1466027339/watcher-4089442-1466027339 -o /tmp/evaluation-result-4089442-1466027339/solver-4089442-1466027339 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089442-1466027339.opb 

pid=7735
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.06 2.03 2.05 3/179 7738
/proc/meminfo: memFree=30410468/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=518588 CPUtime=0 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 1899 0 0 0 0 0 0 0 20 0 4 0 4784043 531034112 1749 33554432000 4194304 16246674 140733956678112 140733956677536 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7738/statm: 130159 1759 441 2943 0 127053 0
[pid=7738/tid=7739] ppid=7735 vsize=534972 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 547811328 1817 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=540092 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 553054208 1833 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=544188 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4784043 557248512 1849 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100117 s]
/proc/loadavg: 2.06 2.03 2.05 3/179 7738
/proc/meminfo: memFree=30410468/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 26669 0 0 0 4 4 0 0 20 0 4 0 4784043 1247350784 26508 33554432000 4194304 16246674 140733956678112 140733956677536 13818268 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7738/statm: 304529 26517 711 2943 0 301423 0
[pid=7738/tid=7739] ppid=7735 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1247350784 26525 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1247350784 26534 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4784043 1247350784 26545 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200456 s]
/proc/loadavg: 2.06 2.03 2.05 3/179 7738
/proc/meminfo: memFree=30410468/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 53682 0 0 0 11 8 0 0 20 0 4 0 4784043 1247350784 53522 33554432000 4194304 16246674 140733956678112 140733956677536 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7738/statm: 304529 53536 711 2943 0 301423 0
[pid=7738/tid=7739] ppid=7735 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1247350784 53546 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1247350784 53556 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4784043 1247350784 53565 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300434 s]
/proc/loadavg: 2.06 2.03 2.05 3/179 7738
/proc/meminfo: memFree=30410468/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 81490 0 0 0 17 12 0 0 20 0 4 0 4784043 1247350784 81330 33554432000 4194304 16246674 140733956678112 140733956660032 5546181 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7738/statm: 304529 81346 711 2943 0 301423 0
[pid=7738/tid=7739] ppid=7735 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1247350784 81350 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1247350784 81357 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4784043 1247350784 81365 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700355 s]
/proc/loadavg: 2.06 2.03 2.05 3/179 7738
/proc/meminfo: memFree=30410468/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 191998 0 0 0 41 28 0 0 20 0 4 0 4784043 1247350784 191838 33554432000 4194304 16246674 140733956678112 140733956660032 12478333 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7738/statm: 304529 191856 711 2943 0 301423 0
[pid=7738/tid=7739] ppid=7735 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1247350784 191866 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1247350784 191874 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4784043 1247350784 191878 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50036 s]
/proc/loadavg: 2.06 2.03 2.05 3/183 7742
/proc/meminfo: memFree=29430208/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1305156 CPUtime=1.49 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 260258 0 0 0 113 36 0 0 20 0 4 0 4784043 1336479744 260078 33554432000 4194304 16246674 140733956678112 140733956661112 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7738/statm: 326289 260089 789 2943 0 323183 0
[pid=7738/tid=7739] ppid=7735 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1336479744 260094 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1336479744 260105 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1305156 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1336479744 260116 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10037 s]
/proc/loadavg: 2.06 2.03 2.05 3/183 7742
/proc/meminfo: memFree=29342152/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 267435 0 0 0 272 36 0 0 20 0 4 0 4784043 1337528320 267254 33554432000 4194304 16246674 140733956678112 140733956660032 6011041 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7738/statm: 326545 267254 789 2943 0 323439 0
[pid=7738/tid=7739] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267254 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267254 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267254 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.05 2.03 2.05 3/183 7742
/proc/meminfo: memFree=29341756/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 267436 0 0 0 592 37 0 0 20 0 4 0 4784043 1337528320 267255 33554432000 4194304 16246674 140733956678112 140733956660032 5545894 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7738/statm: 326545 267255 789 2943 0 323439 0
[pid=7738/tid=7739] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267255 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267255 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267255 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.05 2.03 2.04 3/183 7742
/proc/meminfo: memFree=29341400/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 267481 0 0 0 1232 37 0 0 20 0 4 0 4784043 1337528320 267300 33554432000 4194304 16246674 140733956678112 140733956660032 5589077 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7738/statm: 326545 267300 789 2943 0 323439 0
[pid=7738/tid=7739] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267300 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267300 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267300 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.04 2.03 2.04 3/183 7742
/proc/meminfo: memFree=29342260/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 267525 0 0 0 2512 37 0 0 20 0 4 0 4784043 1337528320 267344 33554432000 4194304 16246674 140733956678112 140733956661112 5672209 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7738/statm: 326545 267344 789 2943 0 323439 0
[pid=7738/tid=7739] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267344 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267344 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267344 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.02 2.02 2.04 3/183 7742
/proc/meminfo: memFree=29341772/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 267575 0 0 0 5071 37 0 0 20 0 4 0 4784043 1337528320 267394 33554432000 4194304 16246674 140733956678112 140733956660032 5722604 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7738/statm: 326545 267394 791 2943 0 323439 0
[pid=7738/tid=7739] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267394 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267394 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1337528320 267394 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.07 2.03 2.04 4/184 7746
/proc/meminfo: memFree=29341708/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 267673 0 0 0 10190 38 0 0 20 0 4 0 4784043 1338576896 267492 33554432000 4194304 16246674 140733956678112 140733956660032 5662855 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/7738/statm: 326801 267492 791 2943 0 323695 0
[pid=7738/tid=7739] ppid=7735 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1338576896 267492 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1338576896 267492 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1338576896 267492 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 1313348

[startup+1302.3 s]
/proc/loadavg: 2.11 2.10 2.05 3/184 7859
/proc/meminfo: memFree=29331572/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1313348 CPUtime=1301.85 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 269791 0 0 0 130129 56 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140733956661112 5672869 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7738/statm: 328337 269444 793 2943 0 325231 0
[pid=7738/tid=7739] ppid=7735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.04 2.08 2.05 3/183 7860
/proc/meminfo: memFree=29331364/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1313348 CPUtime=1361.84 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 269791 0 0 0 136127 57 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140733956660032 5717840 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7738/statm: 328337 269444 793 2943 0 325231 0
[pid=7738/tid=7739] ppid=7735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.84
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.01 2.06 2.04 3/183 7861
/proc/meminfo: memFree=29324072/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1313348 CPUtime=1421.84 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 269791 0 0 0 142126 58 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140733956660032 6013193 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7738/statm: 328337 269444 793 2943 0 325231 0
[pid=7738/tid=7739] ppid=7735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1344868352 269444 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.00 2.05 2.04 3/183 7862
/proc/meminfo: memFree=29317896/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1319492 CPUtime=1481.82 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 271327 0 0 0 148123 59 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140733956660032 12875464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7738/statm: 329873 270980 793 2943 0 326767 0
[pid=7738/tid=7739] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1319492

[startup+1542.31 s]
/proc/loadavg: 2.00 2.04 2.03 4/183 7864
/proc/meminfo: memFree=29317552/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1319492 CPUtime=1541.82 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 271327 0 0 0 154122 60 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140733956660032 5523247 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7738/statm: 329873 270980 793 2943 0 326767 0
[pid=7738/tid=7739] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 1319492

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/183 7865
/proc/meminfo: memFree=29317580/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1319492 CPUtime=1601.81 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 271327 0 0 0 160120 61 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140733956660032 6021947 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7738/statm: 329873 270980 793 2943 0 326767 0
[pid=7738/tid=7739] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 1319492

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.02 3/183 7866
/proc/meminfo: memFree=29317452/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1319492 CPUtime=1661.8 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 271327 0 0 0 166118 62 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140733956660032 13943600 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7738/statm: 329873 270980 793 2943 0 326767 0
[pid=7738/tid=7739] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 1319492

[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.02 3/183 7867
/proc/meminfo: memFree=29317452/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1319492 CPUtime=1721.79 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 271327 0 0 0 172116 63 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140733956661112 13808416 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7738/statm: 329873 270980 793 2943 0 326767 0
[pid=7738/tid=7739] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 1319492

[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/183 7868
/proc/meminfo: memFree=29317820/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1319492 CPUtime=1781.78 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 271327 0 0 0 178115 63 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140733956661112 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7738/statm: 329873 270980 793 2943 0 326767 0
[pid=7738/tid=7739] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1319492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.01 2.03 2.02 3/183 7868
/proc/meminfo: memFree=29317824/32872528 swapFree=524788/557492
[pid=7738] ppid=7735 vsize=1319492 CPUtime=1800.08 cores=0,2,4,6
/proc/7738/stat : 7738 (toysat) R 7735 7738 5756 0 -1 4202496 271327 0 0 0 179944 64 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140733956661112 6013193 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/7738/statm: 329873 270980 793 2943 0 326767 0
[pid=7738/tid=7739] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7739/stat : 7739 (toysat) S 7735 7738 5756 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129816521968 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=7738/tid=7740] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7740/stat : 7740 (toysat) S 7735 7738 5756 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129806032112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=7738/tid=7741] ppid=7735 vsize=1319492 CPUtime=0 cores=0,2,4,6
/proc/7738/task/7741/stat : 7741 (toysat) S 7735 7738 5756 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4784043 1351159808 270980 33554432000 4194304 16246674 140733956678112 140129795558576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1319492

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 7738 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.09
CPU user time (s): 1799.45
CPU system time (s): 0.641902
CPU usage (%): 99.9712
Max. virtual memory (cumulated for all children) (KiB): 1319492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.45
system time used= 0.641902
maximum resident set size= 1083920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271327
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= 436
involuntary context switches= 2010

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.82827 second user time and 6.69998 second system time

The end

Begin job on node106 at 2016-06-15 23:48:59
IDJOB=4089442
IDBENCH=107407
IDSOLVER=2542
FILE ID=node106/4089442-1466027339
RUNJOBID= node106-1466012020-5772
PBS_JOBID= 19902815
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/vertexcover-instances/normalized-vertexcover-grid6x21-hard.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4089442-1466027339/watcher-4089442-1466027339 -o /tmp/evaluation-result-4089442-1466027339/solver-4089442-1466027339 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466012020-5772 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089442-1466027339.opb

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

MD5SUM BENCH= ec993025f2209b3dea88b097c1c8c677
RANDOM SEED=1275933811

node106.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.073
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.14
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.073
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.073
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.073
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.56
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.073
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.073
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.56
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.073
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.38
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.073
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:        30410848 kB
Buffers:           32900 kB
Cached:            75708 kB
SwapCached:         1480 kB
Active:          1151744 kB
Inactive:          41000 kB
Active(anon):    1085356 kB
Inactive(anon):     1188 kB
Active(file):      66388 kB
Inactive(file):    39812 kB
Unevictable:      557492 kB
Mlocked:          524788 kB
SwapTotal:      67108856 kB
SwapFree:       67099844 kB
Dirty:             16116 kB
Writeback:             0 kB
AnonPages:       1640212 kB
Mapped:            10796 kB
Shmem:                 0 kB
Slab:             576960 kB
SReclaimable:      20936 kB
SUnreclaim:       556024 kB
KernelStack:        1456 kB
PageTables:         7412 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1782840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1110016 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= 71708 MiB
End job on node106 at 2016-06-16 00:19:00