0.00/0.00	c 2016-06-15T22:59:57+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-4089246-1466024397.opb"]
0.00/0.01	c use --random-gen="2468171451 346663599 1425370793 3282939374 1388381597 673290797 360973177 2934514239 1972873912 3622677799 805229402 1141034285 2786102626 1831585509 2695555933 641243063 2950920022 3222644281 3262838887 1148759958 1021805416 520662996 1044781487 895908455 3283911358 766640304 646542099 1848401546 2526173605 634580836 1419956065 1101086997 2720464500 3697298665 2225299850 1727001950 3281417621 2925457660 1013537794 1604751941 576925816 1953722197 1816181402 660899478 2499209947 569725892 3700704121 3531784162 2979259442 4159604462 1970085564 3813551101 1658378670 719222600 2883318438 4016270187 1458912553 1957352980 2266004791 177069198 3512780687 1086414544 4233254929 3437056169 1551701669 1095502074 156481318 2406084736 1047502146 216976848 2678293612 2682808172 3475475241 581115616 986612290 4230620918 1557385853 108058900 1682526118 2754499405 1777272637 898493081 1795365942 2329741504 4006512176 2529944279 2132844568 2527684342 2253932407 3814579918 713507165 23767253 1498762373 1036580848 2379253815 2408064777 2878753546 2800326766 1603651112 4114337964 1473241874 4045955021 526625746 887154534 4270725825 1887198725 3482931960 727983971 1750722594 1541269744 4255129009 1273949062 217287140 25319276 3228963575 2901181843 412634491 341394225 3153808612 770294840 2347033230 3402695578 4245083947 2726864043 595504647 2488781782 1426366116 3987295722 4126054018 2677516646 2847099186 3160940681 2500164921 308229150 1624748216 3226272854 1185815201 3305143663 2652313700 2335308860 375427339 2638950193 3499032623 743384875 2045120437 3278857229 2706931511 3336328590 2796498298 1307992785 3069111221 2537305347 2688958647 1105910510 2133129998 688208162 3448406408 3488570912 1055725552 1592118114 2665705848 173057420 436937131 1978922693 2509945469 860991570 305039907 4161786322 2401129875 2857618112 1526073979 4080590482 932410273 3959739604 3180544569 3561972902 3633990033 3050707979 3404287650 3039680782 3340965655 1656255713 3993728135 1456334829 1478845117 3666745292 4002050483 2833077235 3001451843 2360647222 2459247248 4185417637 2029423721 2117645761 238042751 21338741 3876741816 1645089087 3717666797 1222604646 2000630340 3986950576 2734287762 51566383 465878991 2677387791 1760772924 2457223058 368856494 4204505917 4100704467 284918846 4032848712 225735998 3747986553 2895245660 9642815 3386120648 2571605499 1569412732 118549215 2422996707 3449604253 276845022 277346716 2081547549 121164830 3777048607 2588770096 3073255697 1584455330 997345415 2783608601 4197062511 3118048580 2640550323 1395361853 2571104795 3560455648 3623754969 650561736 4104865581 2316225120 1420846432 2963525332 3401470020 2748842484 411616007 34971956 1239325125 2283323622 4145658064 2959377345 2017332282 3296607342 3806283968 255 362436" option to reproduce the execution
0.00/0.01	c #vars 190
0.00/0.01	c #constraints 381
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 |      190      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      188 |      100 |      190      0 |        0 |        0
0.00/0.06	c  0.0s |       2 |      428 |      250 |      210      0 |        0 |        0
0.09/0.12	c  0.1s |       3 |      739 |      475 |      232      2 |        0 |        0
0.09/0.20	c  0.2s |       4 |     1162 |      813 |      256      3 |        0 |        0
0.29/0.32	c  0.3s |       5 |     1749 |     1320 |      282      6 |        0 |        0
0.49/0.53	c  0.5s |       6 |     2589 |     2081 |      343     10 |        0 |        0
0.79/0.83	c  0.8s |       7 |     3820 |     3223 |      378     15 |        0 |        0
1.10/1.13	c  1.1s |       8 |     5627 |     4936 |      416     23 |        0 |        0
1.59/1.61	c  1.6s |       9 |     8285 |     7506 |      458     33 |        0 |        0
2.29/2.30	c  2.3s |      10 |    12300 |    11361 |      504     47 |        0 |        0
3.29/3.35	c  3.3s |      11 |    18220 |    17144 |      555     66 |        0 |        0
4.88/4.91	c  4.9s |      12 |    27145 |    25819 |      611     93 |        0 |        0
6.88/6.93	c  6.9s |      12 |    38105 |    36519 |      611    124 |        0 |        0
7.28/7.36	c  7.3s |      13 |    40458 |    38832 |      673    131 |        0 |        0
9.28/9.37	c  9.4s |      13 |    51347 |    49532 |      673    159 |        0 |        0
10.99/11.04	c 11.0s |      14 |    60259 |    58352 |      741    182 |        0 |        0
12.99/13.05	c 13.0s |      14 |    70939 |    68752 |      741    207 |        0 |        0
14.99/15.06	c 15.0s |      14 |    81337 |    79052 |      741    232 |        0 |        0
16.69/16.75	c 16.7s |      15 |    90015 |    87632 |      816    253 |        0 |        0
18.70/18.75	c 18.7s |      15 |   100324 |    97732 |      816    275 |        0 |        0
20.69/20.75	c 20.7s |      15 |   110449 |   107732 |      816    298 |        0 |        0
22.69/22.75	c 22.7s |      15 |   120390 |   117532 |      816    320 |        0 |        0
24.69/24.77	c 24.8s |      15 |   130691 |   127632 |      816    342 |        0 |        0
25.49/25.55	c 25.5s |      16 |   134685 |   131552 |      898    350 |        0 |        0
27.49/27.57	c 27.5s |      16 |   144974 |   141652 |      898    371 |        0 |        0
29.48/29.57	c 29.6s |      16 |   154970 |   151552 |      898    391 |        0 |        0
31.48/31.58	c 31.6s |      16 |   165203 |   161652 |      898    412 |        0 |        0
33.48/33.58	c 33.6s |      16 |   175303 |   171552 |      898    432 |        0 |        0
35.48/35.59	c 35.6s |      16 |   185331 |   181452 |      898    452 |        0 |        0
37.58/37.60	c 37.6s |      16 |   195243 |   191252 |      898    472 |        0 |        0
38.78/38.84	c 38.8s |      17 |   201496 |   197432 |      988    484 |        0 |        0
40.79/40.85	c 40.8s |      17 |   211770 |   207532 |      988    503 |        0 |        0
42.78/42.86	c 42.8s |      17 |   221780 |   217432 |      988    522 |        0 |        0
44.78/44.87	c 44.9s |      17 |   231939 |   227432 |      988    540 |        0 |        0
46.78/46.89	c 46.9s |      17 |   241746 |   237132 |      988    559 |        0 |        0
48.88/48.91	c 48.9s |      17 |   251886 |   247132 |      988    577 |        0 |        0
50.88/50.93	c 50.9s |      17 |   261699 |   256832 |      988    595 |        0 |        0
52.89/52.94	c 52.9s |      17 |   271742 |   266732 |      988    614 |        0 |        0
54.88/54.95	c 54.9s |      17 |   281573 |   276432 |      988    632 |        0 |        0
56.88/56.95	c 56.9s |      17 |   291246 |   285932 |      988    650 |        0 |        0
58.88/58.96	c 58.9s |      17 |   300988 |   295532 |     1087    667 |        0 |        0
59.08/59.13	c 59.1s |      18 |   301719 |   296252 |     1087    669 |        0 |        0
61.08/61.16	c 61.1s |      18 |   311724 |   306052 |     1087    685 |        0 |        0
63.07/63.16	c 63.1s |      18 |   321284 |   315452 |     1087    702 |        0 |        0
65.08/65.18	c 65.2s |      18 |   330808 |   324852 |     1087    718 |        0 |        0
67.09/67.19	c 67.2s |      18 |   341243 |   335152 |     1087    735 |        0 |        0
69.08/69.19	c 69.2s |      18 |   351477 |   345252 |     1087    753 |        0 |        0
71.08/71.19	c 71.2s |      18 |   361379 |   355052 |     1087    769 |        0 |        0
73.18/73.20	c 73.2s |      18 |   371120 |   364652 |     1087    786 |        0 |        0
75.18/75.22	c 75.2s |      18 |   380922 |   374352 |     1087    802 |        0 |        0
77.18/77.23	c 77.2s |      18 |   390727 |   383952 |     1087    819 |        0 |        0
79.18/79.23	c 79.2s |      18 |   400283 |   393352 |     1087    835 |        0 |        0
81.17/81.23	c 81.2s |      18 |   409810 |   402752 |     1087    851 |        0 |        0
83.17/83.25	c 83.2s |      18 |   419535 |   412352 |     1087    867 |        0 |        0
85.17/85.26	c 85.2s |      18 |   428852 |   421552 |     1087    883 |        0 |        0
87.17/87.28	c 87.3s |      18 |   438633 |   431152 |     1087    900 |        0 |        0
89.18/89.29	c 89.3s |      18 |   448087 |   440452 |     1087    916 |        0 |        0
90.07/90.15	c 90.1s |      19 |   452213 |   444482 |     1196    922 |        0 |        0
92.07/92.16	c 92.1s |      19 |   461711 |   453782 |     1196    936 |        0 |        0
94.07/94.18	c 94.2s |      19 |   471411 |   463382 |     1196    952 |        0 |        0
96.08/96.19	c 96.2s |      19 |   481229 |   473082 |     1196    967 |        0 |        0
98.18/98.21	c 98.2s |      19 |   490870 |   482582 |     1196    982 |        0 |        0
100.18/100.22	c  100s |      19 |   500302 |   491882 |     1196    996 |        0 |        0
102.18/102.23	c  102s |      19 |   509621 |   501082 |     1196   1011 |        0 |        0
104.18/104.23	c  104s |      19 |   519259 |   510582 |     1196   1025 |        0 |        0
106.18/106.23	c  106s |      19 |   529116 |   520282 |     1196   1041 |        0 |        0
108.18/108.24	c  108s |      19 |   538603 |   529582 |     1196   1055 |        0 |        0
110.18/110.26	c  110s |      19 |   548123 |   538982 |     1196   1070 |        0 |        0
112.18/112.27	c  112s |      19 |   557608 |   548282 |     1196   1084 |        0 |        0
114.17/114.28	c  114s |      19 |   567008 |   557582 |     1196   1099 |        0 |        0
116.27/116.30	c  116s |      19 |   576325 |   566782 |     1196   1113 |        0 |        0
118.27/118.31	c  118s |      19 |   585842 |   576182 |     1196   1128 |        0 |        0
120.27/120.34	c  120s |      19 |   595157 |   585382 |     1196   1143 |        0 |        0
122.27/122.35	c  122s |      19 |   604298 |   594382 |     1196   1157 |        0 |        0
124.28/124.36	c  124s |      19 |   614152 |   604082 |     1196   1172 |        0 |        0
126.27/126.38	c  126s |      19 |   623860 |   613682 |     1196   1187 |        0 |        0
128.37/128.40	c  128s |      19 |   633297 |   622982 |     1196   1201 |        0 |        0
130.37/130.41	c  130s |      19 |   642520 |   632082 |     1196   1216 |        0 |        0
132.37/132.43	c  132s |      19 |   651839 |   641282 |     1196   1230 |        0 |        0
134.37/134.46	c  134s |      19 |   661193 |   650482 |     1196   1245 |        0 |        0
136.37/136.47	c  136s |      19 |   670381 |   659582 |     1196   1259 |        0 |        0
137.97/138.08	c  138s |      20 |   677705 |   666827 |     1316   1269 |        0 |        0
140.07/140.10	c  140s |      20 |   687579 |   676527 |     1316   1283 |        0 |        0
142.06/142.12	c  142s |      20 |   697294 |   686127 |     1316   1297 |        0 |        0
144.07/144.12	c  144s |      20 |   706829 |   695527 |     1316   1310 |        0 |        0
146.06/146.14	c  146s |      20 |   716594 |   705127 |     1316   1324 |        0 |        0
148.06/148.15	c  148s |      20 |   726121 |   714527 |     1316   1338 |        0 |        0
150.06/150.15	c  150s |      20 |   735661 |   723927 |     1316   1351 |        0 |        0
152.06/152.16	c  152s |      20 |   745161 |   733227 |     1316   1364 |        0 |        0
154.08/154.17	c  154s |      20 |   754471 |   742427 |     1316   1378 |        0 |        0
156.07/156.18	c  156s |      20 |   764145 |   752027 |     1316   1391 |        0 |        0
158.07/158.19	c  158s |      20 |   773775 |   761527 |     1316   1405 |        0 |        0
160.17/160.20	c  160s |      20 |   783290 |   770927 |     1316   1418 |        0 |        0
162.17/162.20	c  162s |      20 |   792725 |   780227 |     1316   1432 |        0 |        0
164.17/164.21	c  164s |      20 |   802155 |   789527 |     1316   1445 |        0 |        0
166.17/166.22	c  166s |      20 |   811257 |   798527 |     1316   1458 |        0 |        0
168.17/168.23	c  168s |      20 |   820871 |   808027 |     1316   1472 |        0 |        0
170.17/170.24	c  170s |      20 |   830289 |   817327 |     1316   1485 |        0 |        0
172.16/172.25	c  172s |      20 |   839416 |   826327 |     1316   1498 |        0 |        0
174.16/174.27	c  174s |      20 |   848554 |   835327 |     1316   1511 |        0 |        0
176.16/176.29	c  176s |      20 |   857977 |   844627 |     1316   1524 |        0 |        0
178.17/178.30	c  178s |      20 |   867430 |   853927 |     1316   1537 |        0 |        0
180.26/180.32	c  180s |      20 |   876786 |   863127 |     1316   1550 |        0 |        0
182.26/182.33	c  182s |      20 |   886068 |   872327 |     1316   1564 |        0 |        0
184.26/184.33	c  184s |      20 |   895375 |   881527 |     1316   1577 |        0 |        0
186.26/186.34	c  186s |      20 |   904509 |   890527 |     1316   1590 |        0 |        0
188.26/188.37	c  188s |      20 |   913616 |   899527 |     1316   1603 |        0 |        0
190.26/190.37	c  190s |      20 |   922485 |   908227 |     1316   1615 |        0 |        0
192.26/192.39	c  192s |      20 |   932067 |   917727 |     1316   1629 |        0 |        0
194.35/194.40	c  194s |      20 |   941612 |   927127 |     1316   1642 |        0 |        0
196.35/196.42	c  196s |      20 |   950955 |   936327 |     1316   1655 |        0 |        0
198.35/198.43	c  198s |      20 |   960157 |   945427 |     1316   1668 |        0 |        0
200.35/200.45	c  200s |      20 |   969388 |   954527 |     1316   1681 |        0 |        0
202.36/202.46	c  202s |      20 |   978661 |   963627 |     1316   1694 |        0 |        0
204.35/204.48	c  204s |      20 |   987705 |   972527 |     1316   1707 |        0 |        0
206.35/206.49	c  206s |      20 |   996888 |   981627 |     1316   1720 |        0 |        0
208.45/208.51	c  208s |      20 |  1005938 |   990527 |     1316   1733 |        0 |        0
210.45/210.51	c  210s |      20 |  1014829 |   999227 |     1448   1744 |        0 |        0
210.65/210.73	c  210s |      21 |  1015963 |  1000345 |     1448   1746 |        0 |        0
212.65/212.76	c  212s |      21 |  1025862 |  1010045 |     1448   1759 |        0 |        0
214.65/214.78	c  214s |      21 |  1035371 |  1019445 |     1448   1771 |        0 |        0
216.65/216.78	c  216s |      21 |  1044898 |  1028845 |     1448   1783 |        0 |        0
218.75/218.80	c  218s |      21 |  1054093 |  1037945 |     1448   1795 |        0 |        0
220.75/220.81	c  220s |      21 |  1063697 |  1047445 |     1448   1807 |        0 |        0
222.75/222.82	c  222s |      21 |  1073070 |  1056745 |     1448   1819 |        0 |        0
224.75/224.84	c  224s |      21 |  1082373 |  1065945 |     1448   1831 |        0 |        0
226.75/226.84	c  226s |      21 |  1091582 |  1075045 |     1448   1843 |        0 |        0
228.76/228.84	c  228s |      21 |  1100850 |  1084145 |     1448   1855 |        0 |        0
230.75/230.87	c  230s |      21 |  1110483 |  1093645 |     1448   1868 |        0 |        0
232.75/232.89	c  232s |      21 |  1119837 |  1102845 |     1448   1880 |        0 |        0
234.75/234.89	c  234s |      21 |  1129180 |  1112045 |     1448   1892 |        0 |        0
236.85/236.90	c  236s |      21 |  1138226 |  1120945 |     1448   1903 |        0 |        0
238.85/238.92	c  238s |      21 |  1147619 |  1130245 |     1448   1915 |        0 |        0
240.85/240.93	c  240s |      21 |  1156651 |  1139145 |     1448   1927 |        0 |        0
242.84/242.94	c  242s |      21 |  1165888 |  1148245 |     1448   1939 |        0 |        0
244.84/244.96	c  244s |      21 |  1175248 |  1157445 |     1448   1951 |        0 |        0
246.84/246.97	c  246s |      21 |  1184266 |  1166345 |     1448   1962 |        0 |        0
248.84/248.98	c  248s |      21 |  1193377 |  1175245 |     1448   1974 |        0 |        0
250.84/250.99	c  250s |      21 |  1202413 |  1184145 |     1448   1986 |        0 |        0
252.84/253.00	c  252s |      21 |  1211418 |  1193045 |     1448   1997 |        0 |        0
254.93/255.01	c  254s |      21 |  1220626 |  1202145 |     1448   2009 |        0 |        0
256.93/257.03	c  257s |      21 |  1229723 |  1211145 |     1448   2021 |        0 |        0
258.93/259.05	c  259s |      21 |  1238847 |  1220145 |     1448   2033 |        0 |        0
260.93/261.07	c  261s |      21 |  1247864 |  1229045 |     1448   2044 |        0 |        0
262.93/263.07	c  263s |      21 |  1256690 |  1237745 |     1448   2056 |        0 |        0
264.93/265.09	c  265s |      21 |  1265598 |  1246545 |     1448   2067 |        0 |        0
266.93/267.09	c  267s |      21 |  1274378 |  1255245 |     1448   2078 |        0 |        0
269.03/269.10	c  269s |      21 |  1283833 |  1264545 |     1448   2090 |        0 |        0
271.02/271.12	c  271s |      21 |  1292944 |  1273545 |     1448   2102 |        0 |        0
273.02/273.13	c  273s |      21 |  1302072 |  1282545 |     1448   2114 |        0 |        0
275.03/275.13	c  275s |      21 |  1311037 |  1291345 |     1448   2125 |        0 |        0
277.02/277.15	c  277s |      21 |  1319957 |  1300145 |     1448   2137 |        0 |        0
279.03/279.16	c  279s |      21 |  1328971 |  1309045 |     1448   2148 |        0 |        0
281.03/281.18	c  281s |      21 |  1337789 |  1317745 |     1448   2160 |        0 |        0
283.03/283.18	c  283s |      21 |  1346802 |  1326645 |     1448   2171 |        0 |        0
285.02/285.18	c  285s |      21 |  1355514 |  1335245 |     1448   2183 |        0 |        0
287.03/287.20	c  287s |      21 |  1364515 |  1344145 |     1448   2194 |        0 |        0
289.12/289.22	c  289s |      21 |  1373412 |  1352945 |     1448   2206 |        0 |        0
291.12/291.24	c  291s |      21 |  1382242 |  1361645 |     1448   2217 |        0 |        0
293.12/293.24	c  293s |      21 |  1390831 |  1370145 |     1448   2228 |        0 |        0
295.12/295.26	c  295s |      21 |  1400412 |  1379545 |     1448   2240 |        0 |        0
297.12/297.27	c  297s |      21 |  1409605 |  1388545 |     1448   2252 |        0 |        0
299.12/299.28	c  299s |      21 |  1418633 |  1397445 |     1448   2264 |        0 |        0
301.11/301.28	c  301s |      21 |  1427517 |  1406145 |     1448   2275 |        0 |        0
303.11/303.28	c  303s |      21 |  1436533 |  1414945 |     1448   2287 |        0 |        0
305.22/305.30	c  305s |      21 |  1445474 |  1423745 |     1448   2298 |        0 |        0
307.22/307.30	c  307s |      21 |  1454177 |  1432345 |     1448   2309 |        0 |        0
309.21/309.32	c  309s |      21 |  1463055 |  1441045 |     1448   2321 |        0 |        0
311.21/311.32	c  311s |      21 |  1471787 |  1449645 |     1448   2332 |        0 |        0
313.21/313.33	c  313s |      21 |  1480292 |  1458045 |     1448   2343 |        0 |        0
315.21/315.33	c  315s |      21 |  1489136 |  1466745 |     1448   2354 |        0 |        0
317.21/317.34	c  317s |      21 |  1497823 |  1475345 |     1448   2365 |        0 |        0
319.21/319.36	c  319s |      21 |  1506413 |  1483845 |     1448   2377 |        0 |        0
321.21/321.36	c  321s |      21 |  1515032 |  1492345 |     1593   2387 |        0 |        0
323.20/323.37	c  323s |      22 |  1523423 |  1500622 |     1593   2397 |        0 |        0
325.20/325.38	c  325s |      22 |  1533179 |  1510122 |     1593   2408 |        0 |        0
327.20/327.39	c  327s |      22 |  1542375 |  1519122 |     1593   2419 |        0 |        0
329.20/329.39	c  329s |      22 |  1551298 |  1527922 |     1593   2430 |        0 |        0
331.30/331.41	c  331s |      22 |  1560335 |  1536822 |     1593   2440 |        0 |        0
333.31/333.41	c  333s |      22 |  1569123 |  1545422 |     1593   2450 |        0 |        0
335.30/335.41	c  335s |      22 |  1578079 |  1554222 |     1593   2461 |        0 |        0
337.30/337.43	c  337s |      22 |  1587102 |  1563022 |     1593   2471 |        0 |        0
339.30/339.44	c  339s |      22 |  1595911 |  1571622 |     1593   2482 |        0 |        0
341.30/341.45	c  341s |      22 |  1604847 |  1580422 |     1593   2492 |        0 |        0
343.30/343.46	c  343s |      22 |  1613694 |  1589122 |     1593   2502 |        0 |        0
345.30/345.46	c  345s |      22 |  1622321 |  1597622 |     1593   2513 |        0 |        0
347.30/347.48	c  347s |      22 |  1631174 |  1606322 |     1593   2523 |        0 |        0
349.29/349.48	c  349s |      22 |  1640004 |  1615022 |     1593   2533 |        0 |        0
351.39/351.50	c  351s |      22 |  1648791 |  1623622 |     1593   2543 |        0 |        0
353.39/353.52	c  353s |      22 |  1657344 |  1632022 |     1593   2553 |        0 |        0
355.39/355.54	c  355s |      22 |  1666010 |  1640522 |     1593   2564 |        0 |        0
357.40/357.55	c  357s |      22 |  1674784 |  1649122 |     1593   2574 |        0 |        0
359.39/359.57	c  359s |      22 |  1683691 |  1657822 |     1593   2584 |        0 |        0
361.39/361.58	c  361s |      22 |  1692450 |  1666422 |     1593   2594 |        0 |        0
363.48/363.61	c  363s |      22 |  1701093 |  1674922 |     1593   2605 |        0 |        0
365.48/365.62	c  365s |      22 |  1709623 |  1683322 |     1593   2614 |        0 |        0
367.48/367.63	c  367s |      22 |  1718173 |  1691722 |     1593   2624 |        0 |        0
369.49/369.66	c  369s |      22 |  1726754 |  1700122 |     1593   2635 |        0 |        0
371.48/371.68	c  371s |      22 |  1735403 |  1708622 |     1593   2645 |        0 |        0
373.48/373.69	c  373s |      22 |  1744235 |  1717322 |     1593   2655 |        0 |        0
375.59/375.72	c  375s |      22 |  1753289 |  1726222 |     1593   2666 |        0 |        0
377.59/377.73	c  377s |      22 |  1761977 |  1734722 |     1593   2676 |        0 |        0
379.59/379.74	c  379s |      22 |  1770593 |  1743222 |     1593   2686 |        0 |        0
381.59/381.75	c  381s |      22 |  1779231 |  1751722 |     1593   2696 |        0 |        0
383.58/383.75	c  383s |      22 |  1787924 |  1760322 |     1593   2706 |        0 |        0
385.58/385.76	c  385s |      22 |  1796555 |  1768822 |     1593   2716 |        0 |        0
387.58/387.77	c  387s |      22 |  1805071 |  1777122 |     1593   2726 |        0 |        0
389.58/389.78	c  389s |      22 |  1813500 |  1785422 |     1593   2736 |        0 |        0
391.59/391.79	c  391s |      22 |  1822104 |  1793822 |     1593   2746 |        0 |        0
393.58/393.79	c  393s |      22 |  1830810 |  1802422 |     1593   2756 |        0 |        0
395.58/395.79	c  395s |      22 |  1839406 |  1810922 |     1593   2766 |        0 |        0
397.68/397.80	c  397s |      22 |  1847870 |  1819322 |     1593   2776 |        0 |        0
399.67/399.81	c  399s |      22 |  1856368 |  1827722 |     1593   2786 |        0 |        0
401.67/401.82	c  401s |      22 |  1864760 |  1836022 |     1593   2796 |        0 |        0
403.68/403.85	c  403s |      22 |  1873263 |  1844422 |     1593   2806 |        0 |        0
405.67/405.86	c  405s |      22 |  1881627 |  1852622 |     1593   2816 |        0 |        0
407.67/407.89	c  407s |      22 |  1889979 |  1860822 |     1593   2826 |        0 |        0
409.77/409.91	c  409s |      22 |  1898266 |  1869022 |     1593   2836 |        0 |        0
411.77/411.94	c  411s |      22 |  1906902 |  1877522 |     1593   2846 |        0 |        0
413.77/413.95	c  413s |      22 |  1915752 |  1886122 |     1593   2856 |        0 |        0
415.77/415.96	c  415s |      22 |  1924497 |  1894622 |     1593   2866 |        0 |        0
417.77/417.97	c  417s |      22 |  1932978 |  1902922 |     1593   2876 |        0 |        0
419.76/419.99	c  419s |      22 |  1941526 |  1911322 |     1593   2886 |        0 |        0
421.76/421.99	c  421s |      22 |  1950006 |  1919722 |     1593   2896 |        0 |        0
423.86/424.01	c  423s |      22 |  1958504 |  1928022 |     1593   2906 |        0 |        0
425.86/426.04	c  426s |      22 |  1966965 |  1936322 |     1593   2916 |        0 |        0
427.87/428.05	c  428s |      22 |  1975186 |  1944422 |     1593   2926 |        0 |        0
429.86/430.05	c  430s |      22 |  1983688 |  1952722 |     1593   2935 |        0 |        0
431.86/432.07	c  432s |      22 |  1992130 |  1961022 |     1593   2945 |        0 |        0
433.85/434.07	c  434s |      22 |  2000497 |  1969222 |     1593   2955 |        0 |        0
435.85/436.08	c  436s |      22 |  2008729 |  1977322 |     1593   2965 |        0 |        0
437.85/438.09	c  438s |      22 |  2017393 |  1985822 |     1593   2975 |        0 |        0
439.96/440.11	c  440s |      22 |  2025682 |  1993922 |     1593   2985 |        0 |        0
441.95/442.11	c  442s |      22 |  2033847 |  2001922 |     1593   2994 |        0 |        0
443.95/444.13	c  444s |      22 |  2042017 |  2009922 |     1593   3004 |        0 |        0
445.95/446.15	c  446s |      22 |  2050754 |  2018522 |     1593   3014 |        0 |        0
447.95/448.16	c  448s |      22 |  2059801 |  2027322 |     1593   3024 |        0 |        0
449.94/450.19	c  450s |      22 |  2068553 |  2035922 |     1593   3035 |        0 |        0
452.06/452.21	c  452s |      22 |  2077183 |  2044422 |     1593   3045 |        0 |        0
454.05/454.23	c  454s |      22 |  2085772 |  2052922 |     1593   3055 |        0 |        0
456.05/456.23	c  456s |      22 |  2094303 |  2061322 |     1593   3065 |        0 |        0
458.05/458.26	c  458s |      22 |  2103029 |  2069922 |     1593   3075 |        0 |        0
460.05/460.27	c  460s |      22 |  2111472 |  2078222 |     1593   3085 |        0 |        0
462.05/462.29	c  462s |      22 |  2120051 |  2086722 |     1593   3095 |        0 |        0
464.05/464.29	c  464s |      22 |  2128369 |  2094922 |     1593   3105 |        0 |        0
466.15/466.30	c  466s |      22 |  2136771 |  2103222 |     1593   3115 |        0 |        0
468.14/468.32	c  468s |      22 |  2145213 |  2111522 |     1593   3125 |        0 |        0
470.14/470.33	c  470s |      22 |  2153635 |  2119822 |     1593   3134 |        0 |        0
472.14/472.35	c  472s |      22 |  2161956 |  2128022 |     1593   3144 |        0 |        0
474.14/474.36	c  474s |      22 |  2170360 |  2136322 |     1593   3154 |        0 |        0
476.15/476.38	c  476s |      22 |  2178972 |  2144822 |     1593   3164 |        0 |        0
478.14/478.38	c  478s |      22 |  2187375 |  2153122 |     1593   3174 |        0 |        0
480.14/480.39	c  480s |      22 |  2195750 |  2161422 |     1593   3184 |        0 |        0
482.24/482.40	c  482s |      22 |  2203947 |  2169522 |     1593   3194 |        0 |        0
484.24/484.43	c  484s |      22 |  2212319 |  2177722 |     1593   3204 |        0 |        0
486.24/486.44	c  486s |      22 |  2220762 |  2186022 |     1593   3213 |        0 |        0
488.24/488.46	c  488s |      22 |  2229366 |  2194422 |     1593   3223 |        0 |        0
490.23/490.48	c  490s |      22 |  2237634 |  2202522 |     1593   3233 |        0 |        0
492.33/492.50	c  492s |      22 |  2246010 |  2210822 |     1593   3243 |        0 |        0
494.33/494.52	c  494s |      22 |  2254208 |  2218922 |     1593   3253 |        0 |        0
496.33/496.53	c  496s |      22 |  2262519 |  2227122 |     1593   3262 |        0 |        0
498.33/498.55	c  498s |      22 |  2270837 |  2235322 |     1753   3272 |        0 |        0
500.33/500.57	c  500s |      22 |  2278887 |  2243322 |     1753   3281 |        0 |        0
502.33/502.54	c  502s |      23 |  2286730 |  2251038 |     1753   3289 |        0 |        0
504.33/504.56	c  504s |      23 |  2295630 |  2259638 |     1753   3298 |        0 |        0
506.33/506.57	c  506s |      23 |  2304660 |  2268438 |     1753   3308 |        0 |        0
508.32/508.59	c  508s |      23 |  2313784 |  2277338 |     1753   3318 |        0 |        0
510.42/510.61	c  510s |      23 |  2322665 |  2286038 |     1753   3327 |        0 |        0
512.43/512.62	c  512s |      23 |  2331672 |  2294738 |     1753   3336 |        0 |        0
514.42/514.63	c  514s |      23 |  2340626 |  2303438 |     1753   3346 |        0 |        0
516.42/516.64	c  516s |      23 |  2349458 |  2312038 |     1753   3355 |        0 |        0
518.42/518.67	c  518s |      23 |  2358158 |  2320438 |     1753   3364 |        0 |        0
520.42/520.68	c  520s |      23 |  2366869 |  2329038 |     1753   3374 |        0 |        0
522.52/522.70	c  522s |      23 |  2375597 |  2337638 |     1753   3383 |        0 |        0
524.53/524.72	c  524s |      23 |  2384353 |  2346238 |     1753   3392 |        0 |        0
526.52/526.74	c  526s |      23 |  2392918 |  2354638 |     1753   3402 |        0 |        0
528.52/528.76	c  528s |      23 |  2401520 |  2363038 |     1753   3411 |        0 |        0
530.52/530.78	c  530s |      23 |  2409981 |  2371338 |     1753   3420 |        0 |        0
532.62/532.80	c  532s |      23 |  2418512 |  2379738 |     1753   3429 |        0 |        0
534.62/534.80	c  534s |      23 |  2427033 |  2388138 |     1753   3438 |        0 |        0
536.62/536.80	c  536s |      23 |  2435523 |  2396538 |     1753   3447 |        0 |        0
538.62/538.81	c  538s |      23 |  2444029 |  2404938 |     1753   3456 |        0 |        0
540.61/540.82	c  540s |      23 |  2452281 |  2413038 |     1753   3465 |        0 |        0
542.61/542.84	c  542s |      23 |  2460722 |  2421338 |     1753   3474 |        0 |        0
544.61/544.85	c  544s |      23 |  2469505 |  2429938 |     1753   3483 |        0 |        0
546.62/546.86	c  546s |      23 |  2477989 |  2438238 |     1753   3492 |        0 |        0
548.61/548.87	c  548s |      23 |  2486419 |  2446438 |     1753   3501 |        0 |        0
550.61/550.88	c  550s |      23 |  2494737 |  2454538 |     1753   3510 |        0 |        0
552.71/552.90	c  552s |      23 |  2503033 |  2462638 |     1753   3519 |        0 |        0
554.71/554.91	c  554s |      23 |  2511158 |  2470538 |     1753   3528 |        0 |        0
556.71/556.91	c  556s |      23 |  2519896 |  2479138 |     1753   3537 |        0 |        0
558.72/558.91	c  558s |      23 |  2528377 |  2487438 |     1753   3546 |        0 |        0
560.71/560.92	c  560s |      23 |  2536746 |  2495638 |     1753   3555 |        0 |        0
562.71/562.94	c  562s |      23 |  2545095 |  2503838 |     1753   3564 |        0 |        0
564.71/564.95	c  564s |      23 |  2553411 |  2512038 |     1753   3573 |        0 |        0
566.70/566.98	c  566s |      23 |  2561768 |  2520238 |     1753   3582 |        0 |        0
568.80/569.00	c  568s |      23 |  2570131 |  2528338 |     1753   3590 |        0 |        0
570.81/571.01	c  570s |      23 |  2578182 |  2536238 |     1753   3599 |        0 |        0
572.80/573.01	c  572s |      23 |  2586544 |  2544438 |     1753   3608 |        0 |        0
574.80/575.02	c  575s |      23 |  2595149 |  2552938 |     1753   3617 |        0 |        0
576.80/577.02	c  577s |      23 |  2603560 |  2561238 |     1753   3626 |        0 |        0
578.80/579.04	c  579s |      23 |  2611992 |  2569538 |     1753   3635 |        0 |        0
580.80/581.06	c  581s |      23 |  2620461 |  2577938 |     1753   3644 |        0 |        0
582.80/583.08	c  583s |      23 |  2628696 |  2586038 |     1753   3653 |        0 |        0
584.80/585.09	c  585s |      23 |  2636993 |  2594238 |     1753   3662 |        0 |        0
586.89/587.10	c  587s |      23 |  2645297 |  2602438 |     1753   3671 |        0 |        0
588.89/589.12	c  589s |      23 |  2653426 |  2610438 |     1753   3680 |        0 |        0
590.89/591.14	c  591s |      23 |  2661598 |  2618538 |     1753   3689 |        0 |        0
592.89/593.14	c  593s |      23 |  2669906 |  2626738 |     1753   3697 |        0 |        0
594.90/595.15	c  595s |      23 |  2678248 |  2634938 |     1753   3706 |        0 |        0
596.89/597.15	c  597s |      23 |  2686243 |  2642738 |     1753   3715 |        0 |        0
598.89/599.17	c  599s |      23 |  2694247 |  2650638 |     1753   3724 |        0 |        0
600.89/601.19	c  601s |      23 |  2702906 |  2659138 |     1753   3733 |        0 |        0
602.89/603.19	c  603s |      23 |  2711332 |  2667438 |     1753   3742 |        0 |        0
604.99/605.20	c  605s |      23 |  2719671 |  2675638 |     1753   3751 |        0 |        0
607.00/607.22	c  607s |      23 |  2727954 |  2683838 |     1753   3760 |        0 |        0
608.99/609.24	c  609s |      23 |  2736301 |  2692038 |     1753   3769 |        0 |        0
610.99/611.26	c  611s |      23 |  2744566 |  2700238 |     1753   3777 |        0 |        0
612.99/613.28	c  613s |      23 |  2752921 |  2708438 |     1753   3786 |        0 |        0
614.99/615.29	c  615s |      23 |  2761177 |  2716538 |     1753   3795 |        0 |        0
617.09/617.31	c  617s |      23 |  2769223 |  2724438 |     1753   3804 |        0 |        0
619.09/619.33	c  619s |      23 |  2777441 |  2732538 |     1753   3813 |        0 |        0
621.08/621.33	c  621s |      23 |  2785507 |  2740438 |     1753   3821 |        0 |        0
623.08/623.33	c  623s |      23 |  2793593 |  2748338 |     1753   3830 |        0 |        0
625.08/625.34	c  625s |      23 |  2801534 |  2756138 |     1753   3838 |        0 |        0
627.08/627.35	c  627s |      23 |  2809593 |  2764038 |     1753   3847 |        0 |        0
629.09/629.36	c  629s |      23 |  2817630 |  2771938 |     1753   3855 |        0 |        0
631.08/631.37	c  631s |      23 |  2825567 |  2779738 |     1753   3864 |        0 |        0
633.08/633.38	c  633s |      23 |  2833514 |  2787538 |     1753   3872 |        0 |        0
635.07/635.38	c  635s |      23 |  2841336 |  2795238 |     1753   3881 |        0 |        0
637.07/637.38	c  637s |      23 |  2849447 |  2803238 |     1753   3890 |        0 |        0
639.07/639.39	c  639s |      23 |  2858058 |  2811738 |     1753   3899 |        0 |        0
641.07/641.39	c  641s |      23 |  2866343 |  2819838 |     1753   3908 |        0 |        0
643.17/643.41	c  643s |      23 |  2874710 |  2828038 |     1753   3916 |        0 |        0
645.17/645.42	c  645s |      23 |  2882945 |  2836138 |     1753   3925 |        0 |        0
647.17/647.42	c  647s |      23 |  2891170 |  2844238 |     1753   3934 |        0 |        0
649.17/649.44	c  649s |      23 |  2899329 |  2852138 |     1753   3943 |        0 |        0
651.16/651.46	c  651s |      23 |  2907677 |  2860238 |     1753   3951 |        0 |        0
653.17/653.46	c  653s |      23 |  2915600 |  2868038 |     1753   3960 |        0 |        0
655.16/655.48	c  655s |      23 |  2923863 |  2876138 |     1753   3969 |        0 |        0
657.26/657.50	c  657s |      23 |  2931962 |  2884138 |     1753   3978 |        0 |        0
659.26/659.51	c  659s |      23 |  2940106 |  2892138 |     1753   3986 |        0 |        0
661.26/661.53	c  661s |      23 |  2948044 |  2899938 |     1753   3995 |        0 |        0
663.26/663.54	c  663s |      23 |  2956220 |  2907938 |     1753   4003 |        0 |        0
665.26/665.56	c  665s |      23 |  2964077 |  2915638 |     1753   4012 |        0 |        0
667.26/667.57	c  667s |      23 |  2971766 |  2923138 |     1753   4020 |        0 |        0
669.26/669.59	c  669s |      23 |  2979275 |  2930538 |     1753   4028 |        0 |        0
671.35/671.60	c  671s |      23 |  2986981 |  2938038 |     1753   4036 |        0 |        0
673.36/673.61	c  673s |      23 |  2995036 |  2945938 |     1753   4045 |        0 |        0
675.36/675.61	c  675s |      23 |  3003082 |  2953838 |     1753   4053 |        0 |        0
677.37/677.62	c  677s |      23 |  3011095 |  2961738 |     1753   4062 |        0 |        0
679.36/679.62	c  679s |      23 |  3019000 |  2969538 |     1753   4071 |        0 |        0
681.36/681.63	c  681s |      23 |  3027030 |  2977438 |     1753   4079 |        0 |        0
683.36/683.65	c  683s |      23 |  3034853 |  2985038 |     1753   4087 |        0 |        0
685.36/685.67	c  685s |      23 |  3042695 |  2992738 |     1753   4096 |        0 |        0
687.36/687.67	c  687s |      23 |  3050682 |  3000538 |     1753   4104 |        0 |        0
689.35/689.68	c  689s |      23 |  3058280 |  3008038 |     1753   4113 |        0 |        0
691.35/691.68	c  691s |      23 |  3066811 |  3016438 |     1753   4122 |        0 |        0
693.35/693.68	c  693s |      23 |  3074932 |  3024438 |     1753   4130 |        0 |        0
695.35/695.68	c  695s |      23 |  3082991 |  3032338 |     1753   4139 |        0 |        0
697.45/697.70	c  697s |      23 |  3091152 |  3040338 |     1753   4148 |        0 |        0
699.45/699.71	c  699s |      23 |  3099291 |  3048338 |     1753   4156 |        0 |        0
701.45/701.72	c  701s |      23 |  3107391 |  3056338 |     1753   4165 |        0 |        0
703.45/703.74	c  703s |      23 |  3115376 |  3064238 |     1753   4174 |        0 |        0
705.44/705.75	c  705s |      23 |  3123534 |  3072238 |     1753   4182 |        0 |        0
707.44/707.76	c  707s |      23 |  3131529 |  3080138 |     1753   4191 |        0 |        0
709.44/709.76	c  709s |      23 |  3139460 |  3087938 |     1753   4199 |        0 |        0
711.45/711.77	c  711s |      23 |  3147514 |  3095838 |     1753   4208 |        0 |        0
713.44/713.78	c  713s |      23 |  3155395 |  3103538 |     1753   4216 |        0 |        0
715.44/715.78	c  715s |      23 |  3163238 |  3111238 |     1753   4225 |        0 |        0
717.44/717.80	c  717s |      23 |  3170917 |  3118838 |     1753   4233 |        0 |        0
719.53/719.82	c  719s |      23 |  3178973 |  3126738 |     1753   4241 |        0 |        0
721.53/721.82	c  721s |      23 |  3186791 |  3134438 |     1753   4250 |        0 |        0
723.54/723.84	c  723s |      23 |  3194747 |  3142238 |     1753   4258 |        0 |        0
725.53/725.85	c  725s |      23 |  3202546 |  3149938 |     1753   4267 |        0 |        0
727.53/727.87	c  727s |      23 |  3210678 |  3157938 |     1753   4275 |        0 |        0
729.53/729.87	c  729s |      23 |  3218569 |  3165738 |     1753   4284 |        0 |        0
731.53/731.89	c  731s |      23 |  3226256 |  3173238 |     1753   4292 |        0 |        0
733.54/733.89	c  733s |      23 |  3233871 |  3180738 |     1753   4300 |        0 |        0
735.53/735.90	c  735s |      23 |  3241601 |  3188338 |     1753   4308 |        0 |        0
737.63/737.91	c  737s |      23 |  3249350 |  3195938 |     1753   4317 |        0 |        0
739.63/739.91	c  739s |      23 |  3257072 |  3203538 |     1753   4325 |        0 |        0
741.63/741.92	c  741s |      23 |  3265041 |  3211438 |     1753   4334 |        0 |        0
743.63/743.93	c  743s |      23 |  3272942 |  3219238 |     1753   4342 |        0 |        0
745.63/745.96	c  745s |      23 |  3280860 |  3227038 |     1753   4351 |        0 |        0
747.62/747.98	c  747s |      23 |  3288636 |  3234738 |     1753   4359 |        0 |        0
749.72/750.00	c  749s |      23 |  3296519 |  3242538 |     1753   4367 |        0 |        0
751.72/752.01	c  751s |      23 |  3304188 |  3250138 |     1753   4376 |        0 |        0
753.72/754.02	c  754s |      23 |  3311929 |  3257738 |     1753   4384 |        0 |        0
755.72/756.03	c  756s |      23 |  3319592 |  3265338 |     1753   4392 |        0 |        0
757.73/758.06	c  758s |      23 |  3327016 |  3272638 |     1753   4400 |        0 |        0
759.71/760.06	c  760s |      23 |  3334763 |  3280238 |     1753   4408 |        0 |        0
761.71/762.08	c  762s |      23 |  3342667 |  3288038 |     1753   4417 |        0 |        0
763.71/764.09	c  764s |      23 |  3350656 |  3295938 |     1753   4425 |        0 |        0
765.81/766.10	c  766s |      23 |  3358435 |  3303638 |     1753   4434 |        0 |        0
767.81/768.12	c  768s |      23 |  3366212 |  3311338 |     1753   4442 |        0 |        0
769.82/770.14	c  770s |      23 |  3373895 |  3318938 |     1753   4451 |        0 |        0
771.81/772.16	c  772s |      23 |  3381546 |  3326438 |     1753   4459 |        0 |        0
773.82/774.18	c  774s |      23 |  3389276 |  3334038 |     1753   4467 |        0 |        0
775.92/776.20	c  776s |      23 |  3397004 |  3341638 |     1753   4475 |        0 |        0
777.92/778.20	c  778s |      23 |  3404484 |  3349038 |     1753   4483 |        0 |        0
779.92/780.23	c  780s |      23 |  3412122 |  3356538 |     1929   4491 |        0 |        0
781.92/782.25	c  782s |      23 |  3419812 |  3364138 |     1929   4499 |        0 |        0
783.91/784.25	c  784s |      23 |  3427408 |  3371638 |     1929   4506 |        0 |        0
785.31/785.63	c  785s |      24 |  3432526 |  3376662 |     1929   4511 |        0 |        0
787.32/787.65	c  787s |      24 |  3439929 |  3383762 |     1929   4518 |        0 |        0
789.31/789.65	c  789s |      24 |  3447533 |  3391262 |     1929   4525 |        0 |        0
791.31/791.65	c  791s |      24 |  3455413 |  3398862 |     1929   4533 |        0 |        0
793.31/793.66	c  793s |      24 |  3463233 |  3406562 |     1929   4541 |        0 |        0
795.31/795.67	c  795s |      24 |  3471065 |  3414162 |     1929   4548 |        0 |        0
797.32/797.68	c  797s |      24 |  3478834 |  3421762 |     1929   4556 |        0 |        0
799.31/799.70	c  799s |      24 |  3486635 |  3429362 |     1929   4563 |        0 |        0
801.41/801.72	c  801s |      24 |  3494473 |  3437062 |     1929   4571 |        0 |        0
803.41/803.74	c  803s |      24 |  3502283 |  3444762 |     1929   4578 |        0 |        0
805.41/805.74	c  805s |      24 |  3510021 |  3452362 |     1929   4586 |        0 |        0
807.41/807.76	c  807s |      24 |  3517722 |  3459862 |     1929   4593 |        0 |        0
809.41/809.77	c  809s |      24 |  3525534 |  3467562 |     1929   4601 |        0 |        0
811.40/811.79	c  811s |      24 |  3533078 |  3474962 |     1929   4608 |        0 |        0
813.50/813.80	c  813s |      24 |  3540620 |  3482362 |     1929   4616 |        0 |        0
815.50/815.82	c  815s |      24 |  3548379 |  3489962 |     1929   4623 |        0 |        0
817.50/817.83	c  817s |      24 |  3556076 |  3497562 |     1929   4631 |        0 |        0
819.50/819.85	c  819s |      24 |  3563728 |  3505162 |     1929   4638 |        0 |        0
821.50/821.86	c  821s |      24 |  3571333 |  3512662 |     1929   4646 |        0 |        0
823.49/823.87	c  823s |      24 |  3578994 |  3520262 |     1929   4653 |        0 |        0
825.49/825.87	c  825s |      24 |  3586556 |  3527762 |     1929   4661 |        0 |        0
827.49/827.88	c  827s |      24 |  3594137 |  3535162 |     1929   4668 |        0 |        0
829.49/829.89	c  829s |      24 |  3601476 |  3542362 |     1929   4675 |        0 |        0
831.59/831.90	c  831s |      24 |  3609212 |  3549962 |     1929   4683 |        0 |        0
833.60/833.91	c  833s |      24 |  3616896 |  3557562 |     1929   4690 |        0 |        0
835.59/835.93	c  835s |      24 |  3624533 |  3565062 |     1929   4698 |        0 |        0
837.59/837.96	c  837s |      24 |  3632134 |  3572562 |     1929   4705 |        0 |        0
839.59/839.97	c  839s |      24 |  3639727 |  3580062 |     1929   4713 |        0 |        0
841.59/841.98	c  841s |      24 |  3647389 |  3587562 |     1929   4720 |        0 |        0
843.69/844.01	c  843s |      24 |  3655038 |  3595062 |     1929   4728 |        0 |        0
845.70/846.01	c  845s |      24 |  3662425 |  3602362 |     1929   4735 |        0 |        0
847.69/848.03	c  848s |      24 |  3670075 |  3609662 |     1929   4742 |        0 |        0
849.69/850.04	c  850s |      24 |  3677503 |  3616862 |     1929   4749 |        0 |        0
851.69/852.05	c  852s |      24 |  3684792 |  3623862 |     1929   4756 |        0 |        0
853.69/854.06	c  854s |      24 |  3692232 |  3631162 |     1929   4763 |        0 |        0
855.68/856.07	c  856s |      24 |  3700140 |  3638962 |     1929   4771 |        0 |        0
857.69/858.08	c  858s |      24 |  3707823 |  3646462 |     1929   4779 |        0 |        0
859.78/860.10	c  860s |      24 |  3715519 |  3653962 |     1929   4786 |        0 |        0
861.78/862.12	c  862s |      24 |  3723174 |  3661462 |     1929   4793 |        0 |        0
863.78/864.14	c  864s |      24 |  3730652 |  3668762 |     1929   4801 |        0 |        0
865.79/866.16	c  866s |      24 |  3737831 |  3675762 |     1929   4808 |        0 |        0
867.79/868.17	c  868s |      24 |  3744986 |  3682762 |     1929   4815 |        0 |        0
869.80/870.19	c  870s |      24 |  3752169 |  3689862 |     1929   4822 |        0 |        0
871.89/872.20	c  872s |      24 |  3759480 |  3697062 |     1929   4829 |        0 |        0
873.89/874.21	c  874s |      24 |  3767153 |  3704562 |     1929   4836 |        0 |        0
875.89/876.23	c  876s |      24 |  3774541 |  3711862 |     1929   4844 |        0 |        0
877.89/878.26	c  878s |      24 |  3782312 |  3719462 |     1929   4851 |        0 |        0
879.89/880.26	c  880s |      24 |  3789931 |  3726862 |     1929   4858 |        0 |        0
881.90/882.29	c  882s |      24 |  3797402 |  3734162 |     1929   4866 |        0 |        0
883.99/884.30	c  884s |      24 |  3804863 |  3741462 |     1929   4873 |        0 |        0
885.99/886.31	c  886s |      24 |  3812170 |  3748662 |     1929   4880 |        0 |        0
887.99/888.33	c  888s |      24 |  3819562 |  3755962 |     1929   4887 |        0 |        0
889.99/890.35	c  890s |      24 |  3827156 |  3763362 |     1929   4895 |        0 |        0
891.99/892.36	c  892s |      24 |  3834307 |  3770362 |     1929   4902 |        0 |        0
893.99/894.38	c  894s |      24 |  3842444 |  3778362 |     1929   4910 |        0 |        0
895.98/896.38	c  896s |      24 |  3850344 |  3786162 |     1929   4917 |        0 |        0
897.98/898.39	c  898s |      24 |  3858281 |  3793962 |     1929   4925 |        0 |        0
900.08/900.41	c  900s |      24 |  3866072 |  3801562 |     1929   4933 |        0 |        0
902.08/902.42	c  902s |      24 |  3873763 |  3809162 |     1929   4940 |        0 |        0
904.08/904.42	c  904s |      24 |  3881465 |  3816662 |     1929   4948 |        0 |        0
906.09/906.43	c  906s |      24 |  3889171 |  3824262 |     1929   4955 |        0 |        0
908.08/908.44	c  908s |      24 |  3896682 |  3831662 |     1929   4962 |        0 |        0
910.08/910.44	c  910s |      24 |  3904260 |  3839062 |     1929   4970 |        0 |        0
912.08/912.46	c  912s |      24 |  3911696 |  3846362 |     1929   4977 |        0 |        0
914.08/914.47	c  914s |      24 |  3918992 |  3853562 |     1929   4984 |        0 |        0
916.09/916.48	c  916s |      24 |  3926423 |  3860862 |     1929   4991 |        0 |        0
918.08/918.49	c  918s |      24 |  3933913 |  3868262 |     1929   4999 |        0 |        0
920.18/920.50	c  920s |      24 |  3941424 |  3875662 |     1929   5006 |        0 |        0
922.18/922.53	c  922s |      24 |  3948795 |  3882962 |     1929   5013 |        0 |        0
924.18/924.53	c  924s |      24 |  3956088 |  3890162 |     1929   5020 |        0 |        0
926.18/926.55	c  926s |      24 |  3963415 |  3897362 |     1929   5028 |        0 |        0
928.19/928.58	c  928s |      24 |  3971398 |  3905262 |     1929   5035 |        0 |        0
930.18/930.58	c  930s |      24 |  3979114 |  3912862 |     1929   5043 |        0 |        0
932.28/932.61	c  932s |      24 |  3986741 |  3920362 |     1929   5050 |        0 |        0
934.28/934.61	c  934s |      24 |  3994233 |  3927762 |     1929   5058 |        0 |        0
936.28/936.64	c  936s |      24 |  4001750 |  3935162 |     1929   5065 |        0 |        0
938.28/938.67	c  938s |      24 |  4009371 |  3942662 |     1929   5073 |        0 |        0
940.28/940.67	c  940s |      24 |  4016819 |  3949962 |     1929   5080 |        0 |        0
942.28/942.69	c  942s |      24 |  4024276 |  3957262 |     1929   5087 |        0 |        0
944.37/944.72	c  944s |      24 |  4031674 |  3964562 |     1929   5094 |        0 |        0
946.37/946.73	c  946s |      24 |  4039390 |  3972162 |     1929   5102 |        0 |        0
948.37/948.73	c  948s |      24 |  4046927 |  3979562 |     1929   5109 |        0 |        0
950.37/950.75	c  950s |      24 |  4054443 |  3986962 |     1929   5117 |        0 |        0
952.38/952.76	c  952s |      24 |  4062069 |  3994462 |     1929   5124 |        0 |        0
954.37/954.77	c  954s |      24 |  4069481 |  4001762 |     1929   5131 |        0 |        0
956.37/956.79	c  956s |      24 |  4076978 |  4009162 |     1929   5139 |        0 |        0
958.37/958.79	c  958s |      24 |  4084252 |  4016362 |     1929   5146 |        0 |        0
960.47/960.80	c  960s |      24 |  4091450 |  4023462 |     1929   5153 |        0 |        0
962.47/962.80	c  962s |      24 |  4098753 |  4030662 |     1929   5160 |        0 |        0
964.48/964.81	c  964s |      24 |  4106108 |  4037862 |     1929   5167 |        0 |        0
966.47/966.82	c  966s |      24 |  4113799 |  4045462 |     1929   5175 |        0 |        0
968.47/968.83	c  968s |      24 |  4121298 |  4052862 |     1929   5182 |        0 |        0
970.47/970.83	c  970s |      24 |  4128603 |  4060062 |     1929   5189 |        0 |        0
972.47/972.86	c  972s |      24 |  4136011 |  4067262 |     1929   5196 |        0 |        0
974.47/974.87	c  974s |      24 |  4143420 |  4074562 |     1929   5203 |        0 |        0
976.47/976.90	c  976s |      24 |  4150914 |  4081962 |     1929   5211 |        0 |        0
978.57/978.92	c  978s |      24 |  4158127 |  4089062 |     1929   5218 |        0 |        0
980.57/980.93	c  980s |      24 |  4165433 |  4096262 |     1929   5225 |        0 |        0
982.57/982.95	c  982s |      24 |  4172620 |  4103362 |     1929   5232 |        0 |        0
984.57/984.96	c  984s |      24 |  4179913 |  4110562 |     1929   5239 |        0 |        0
986.57/986.97	c  986s |      24 |  4187249 |  4117762 |     1929   5246 |        0 |        0
988.58/988.97	c  988s |      24 |  4194524 |  4124962 |     1929   5253 |        0 |        0
990.57/990.99	c  990s |      24 |  4201716 |  4132062 |     1929   5261 |        0 |        0
992.67/993.00	c  992s |      24 |  4208866 |  4139062 |     1929   5267 |        0 |        0
994.67/995.01	c  994s |      24 |  4216587 |  4146662 |     1929   5275 |        0 |        0
996.67/997.03	c  997s |      24 |  4224548 |  4154462 |     1929   5283 |        0 |        0
998.67/999.05	c  999s |      24 |  4232464 |  4162162 |     1929   5290 |        0 |        0
1000.67/1001.06	c 1001s |      24 |  4240084 |  4169662 |     1929   5298 |        0 |        0
1002.67/1003.07	c 1003s |      24 |  4247691 |  4177062 |     1929   5305 |        0 |        0
1004.67/1005.08	c 1005s |      24 |  4255391 |  4184562 |     1929   5313 |        0 |        0
1006.77/1007.10	c 1007s |      24 |  4263189 |  4192162 |     1929   5320 |        0 |        0
1008.77/1009.13	c 1009s |      24 |  4270986 |  4199762 |     1929   5328 |        0 |        0
1010.76/1011.15	c 1011s |      24 |  4278500 |  4207162 |     1929   5335 |        0 |        0
1012.77/1013.18	c 1013s |      24 |  4286300 |  4214862 |     1929   5343 |        0 |        0
1014.86/1015.21	c 1015s |      24 |  4293946 |  4222362 |     1929   5350 |        0 |        0
1016.86/1017.22	c 1017s |      24 |  4301340 |  4229662 |     1929   5357 |        0 |        0
1018.86/1019.23	c 1019s |      24 |  4308865 |  4237062 |     1929   5365 |        0 |        0
1020.86/1021.24	c 1021s |      24 |  4316477 |  4244562 |     1929   5372 |        0 |        0
1022.86/1023.26	c 1023s |      24 |  4323936 |  4251962 |     1929   5379 |        0 |        0
1024.87/1025.27	c 1025s |      24 |  4331434 |  4259362 |     1929   5387 |        0 |        0
1026.86/1027.29	c 1027s |      24 |  4339034 |  4266862 |     1929   5394 |        0 |        0
1028.96/1029.30	c 1029s |      24 |  4346561 |  4274262 |     1929   5401 |        0 |        0
1030.96/1031.32	c 1031s |      24 |  4354343 |  4281862 |     1929   5409 |        0 |        0
1032.96/1033.33	c 1033s |      24 |  4361967 |  4289362 |     1929   5416 |        0 |        0
1034.96/1035.34	c 1035s |      24 |  4369485 |  4296762 |     1929   5424 |        0 |        0
1036.97/1037.35	c 1037s |      24 |  4376854 |  4304062 |     1929   5431 |        0 |        0
1038.96/1039.37	c 1039s |      24 |  4384226 |  4311262 |     1929   5438 |        0 |        0
1040.96/1041.38	c 1041s |      24 |  4391502 |  4318462 |     1929   5445 |        0 |        0
1042.96/1043.39	c 1043s |      24 |  4398743 |  4325562 |     1929   5452 |        0 |        0
1045.06/1045.40	c 1045s |      24 |  4406497 |  4333162 |     1929   5460 |        0 |        0
1047.06/1047.41	c 1047s |      24 |  4414273 |  4340762 |     1929   5467 |        0 |        0
1049.06/1049.43	c 1049s |      24 |  4421611 |  4347962 |     1929   5475 |        0 |        0
1051.06/1051.45	c 1051s |      24 |  4429030 |  4355262 |     1929   5482 |        0 |        0
1053.05/1053.46	c 1053s |      24 |  4436459 |  4362562 |     1929   5489 |        0 |        0
1055.05/1055.48	c 1055s |      24 |  4443896 |  4369862 |     1929   5496 |        0 |        0
1057.05/1057.50	c 1057s |      24 |  4451201 |  4376962 |     1929   5503 |        0 |        0
1059.15/1059.51	c 1059s |      24 |  4458516 |  4384162 |     1929   5511 |        0 |        0
1061.17/1061.53	c 1061s |      24 |  4466012 |  4391462 |     1929   5518 |        0 |        0
1063.16/1063.53	c 1063s |      24 |  4473245 |  4398562 |     1929   5525 |        0 |        0
1065.16/1065.54	c 1065s |      24 |  4480772 |  4405862 |     1929   5532 |        0 |        0
1067.16/1067.56	c 1067s |      24 |  4488373 |  4413362 |     1929   5540 |        0 |        0
1069.16/1069.57	c 1069s |      24 |  4495925 |  4420762 |     1929   5547 |        0 |        0
1071.17/1071.58	c 1071s |      24 |  4503317 |  4428062 |     1929   5554 |        0 |        0
1073.16/1073.58	c 1073s |      24 |  4510650 |  4435262 |     1929   5561 |        0 |        0
1075.26/1075.60	c 1075s |      24 |  4518032 |  4442562 |     1929   5569 |        0 |        0
1077.26/1077.61	c 1077s |      24 |  4525611 |  4450062 |     1929   5576 |        0 |        0
1079.26/1079.61	c 1079s |      24 |  4533014 |  4457362 |     1929   5583 |        0 |        0
1081.26/1081.64	c 1081s |      24 |  4540439 |  4464662 |     1929   5591 |        0 |        0
1083.26/1083.65	c 1083s |      24 |  4547766 |  4471862 |     1929   5598 |        0 |        0
1085.26/1085.67	c 1085s |      24 |  4555020 |  4478962 |     1929   5605 |        0 |        0
1087.26/1087.69	c 1087s |      24 |  4562571 |  4486362 |     1929   5612 |        0 |        0
1089.35/1089.72	c 1089s |      24 |  4570107 |  4493662 |     1929   5619 |        0 |        0
1091.35/1091.74	c 1091s |      24 |  4577543 |  4500962 |     1929   5627 |        0 |        0
1093.35/1093.76	c 1093s |      24 |  4584973 |  4508162 |     1929   5634 |        0 |        0
1095.36/1095.78	c 1095s |      24 |  4592412 |  4515362 |     1929   5641 |        0 |        0
1097.35/1097.79	c 1097s |      24 |  4599815 |  4522562 |     1929   5648 |        0 |        0
1099.45/1099.81	c 1099s |      24 |  4607673 |  4530262 |     1929   5656 |        0 |        0
1101.45/1101.82	c 1101s |      24 |  4615253 |  4537662 |     1929   5663 |        0 |        0
1103.45/1103.82	c 1103s |      24 |  4622750 |  4544962 |     1929   5670 |        0 |        0
1105.45/1105.83	c 1105s |      24 |  4630164 |  4552262 |     1929   5677 |        0 |        0
1107.46/1107.84	c 1107s |      24 |  4637765 |  4559662 |     1929   5685 |        0 |        0
1109.45/1109.85	c 1109s |      24 |  4645176 |  4566962 |     1929   5692 |        0 |        0
1111.45/1111.86	c 1111s |      24 |  4652600 |  4574262 |     1929   5699 |        0 |        0
1113.45/1113.88	c 1113s |      24 |  4659901 |  4581462 |     1929   5706 |        0 |        0
1115.55/1115.90	c 1115s |      24 |  4667197 |  4588662 |     1929   5714 |        0 |        0
1117.55/1117.92	c 1117s |      24 |  4674750 |  4596062 |     1929   5721 |        0 |        0
1119.56/1119.95	c 1119s |      24 |  4682208 |  4603362 |     1929   5728 |        0 |        0
1121.55/1121.97	c 1121s |      24 |  4689493 |  4610562 |     1929   5735 |        0 |        0
1123.55/1123.99	c 1123s |      24 |  4697044 |  4617962 |     1929   5743 |        0 |        0
1125.65/1126.00	c 1125s |      24 |  4704201 |  4625062 |     1929   5750 |        0 |        0
1127.65/1128.02	c 1128s |      24 |  4711315 |  4632062 |     1929   5757 |        0 |        0
1129.65/1130.03	c 1130s |      24 |  4718508 |  4639062 |     1929   5764 |        0 |        0
1131.65/1132.05	c 1132s |      24 |  4725934 |  4646262 |     1929   5771 |        0 |        0
1133.65/1134.07	c 1134s |      24 |  4733221 |  4653462 |     1929   5778 |        0 |        0
1135.65/1136.08	c 1136s |      24 |  4741336 |  4661462 |     1929   5786 |        0 |        0
1137.75/1138.10	c 1138s |      24 |  4749387 |  4669362 |     1929   5794 |        0 |        0
1139.74/1140.13	c 1140s |      24 |  4757337 |  4677162 |     1929   5802 |        0 |        0
1141.74/1142.13	c 1142s |      24 |  4765285 |  4684962 |     1929   5809 |        0 |        0
1143.75/1144.14	c 1144s |      24 |  4773216 |  4692762 |     1929   5817 |        0 |        0
1145.74/1146.14	c 1146s |      24 |  4781149 |  4700562 |     1929   5825 |        0 |        0
1147.74/1148.16	c 1148s |      24 |  4789231 |  4708462 |     1929   5833 |        0 |        0
1149.74/1150.17	c 1150s |      24 |  4797120 |  4716162 |     1929   5840 |        0 |        0
1151.74/1152.18	c 1152s |      24 |  4804647 |  4723562 |     1929   5847 |        0 |        0
1153.74/1154.19	c 1154s |      24 |  4812444 |  4731262 |     1929   5855 |        0 |        0
1155.75/1156.20	c 1156s |      24 |  4820087 |  4738762 |     1929   5863 |        0 |        0
1157.84/1158.21	c 1158s |      24 |  4827883 |  4746362 |     1929   5870 |        0 |        0
1159.84/1160.23	c 1160s |      24 |  4835536 |  4753862 |     1929   5877 |        0 |        0
1161.84/1162.24	c 1162s |      24 |  4842900 |  4761062 |     1929   5885 |        0 |        0
1163.84/1164.26	c 1164s |      24 |  4850857 |  4768862 |     1929   5892 |        0 |        0
1165.84/1166.28	c 1166s |      24 |  4858566 |  4776462 |     1929   5900 |        0 |        0
1167.85/1168.29	c 1168s |      24 |  4866077 |  4783862 |     1929   5907 |        0 |        0
1169.94/1170.31	c 1170s |      24 |  4873767 |  4791362 |     1929   5915 |        0 |        0
1171.94/1172.33	c 1172s |      24 |  4881641 |  4799062 |     1929   5922 |        0 |        0
1173.94/1174.35	c 1174s |      24 |  4889408 |  4806662 |     1929   5930 |        0 |        0
1175.94/1176.38	c 1176s |      24 |  4897098 |  4814262 |     1929   5937 |        0 |        0
1177.94/1178.38	c 1178s |      24 |  4904519 |  4821562 |     1929   5945 |        0 |        0
1179.95/1180.38	c 1180s |      24 |  4912339 |  4829262 |     1929   5952 |        0 |        0
1181.94/1182.39	c 1182s |      24 |  4920299 |  4837062 |     1929   5960 |        0 |        0
1184.04/1184.40	c 1184s |      24 |  4928049 |  4844662 |     1929   5968 |        0 |        0
1186.04/1186.41	c 1186s |      24 |  4935683 |  4852162 |     1929   5975 |        0 |        0
1188.04/1188.44	c 1188s |      24 |  4943493 |  4859862 |     1929   5983 |        0 |        0
1190.04/1190.46	c 1190s |      24 |  4951449 |  4867662 |     1929   5990 |        0 |        0
1192.05/1192.48	c 1192s |      24 |  4959131 |  4875262 |     1929   5998 |        0 |        0
1194.04/1194.49	c 1194s |      24 |  4966605 |  4882662 |     1929   6005 |        0 |        0
1196.14/1196.51	c 1196s |      24 |  4974387 |  4890262 |     1929   6013 |        0 |        0
1198.14/1198.52	c 1198s |      24 |  4982003 |  4897762 |     1929   6020 |        0 |        0
1200.14/1200.53	c 1200s |      24 |  4989576 |  4905162 |     1929   6028 |        0 |        0
1202.14/1202.55	c 1202s |      24 |  4997083 |  4912462 |     1929   6035 |        0 |        0
1204.14/1204.58	c 1204s |      24 |  5005065 |  4920262 |     1929   6043 |        0 |        0
1206.14/1206.59	c 1206s |      24 |  5012651 |  4927662 |     1929   6050 |        0 |        0
1208.24/1208.61	c 1208s |      24 |  5020119 |  4934862 |     1929   6057 |        0 |        0
1210.23/1210.63	c 1210s |      24 |  5027563 |  4942062 |     1929   6064 |        0 |        0
1212.23/1212.63	c 1212s |      24 |  5035278 |  4949662 |     1929   6072 |        0 |        0
1214.23/1214.65	c 1214s |      24 |  5042967 |  4957162 |     1929   6079 |        0 |        0
1216.24/1216.66	c 1216s |      24 |  5050426 |  4964462 |     1929   6086 |        0 |        0
1218.23/1218.66	c 1218s |      24 |  5057754 |  4971662 |     1929   6093 |        0 |        0
1220.23/1220.68	c 1220s |      24 |  5065512 |  4979062 |     1929   6101 |        0 |        0
1222.23/1222.68	c 1222s |      24 |  5073090 |  4986262 |     1929   6108 |        0 |        0
1224.33/1224.70	c 1224s |      24 |  5080539 |  4993562 |     1929   6115 |        0 |        0
1226.33/1226.72	c 1226s |      24 |  5088031 |  5000862 |     1929   6122 |        0 |        0
1228.33/1228.72	c 1228s |      24 |  5095612 |  5008262 |     1929   6130 |        0 |        0
1230.34/1230.73	c 1230s |      24 |  5103194 |  5015662 |     1929   6137 |        0 |        0
1232.34/1232.74	c 1232s |      24 |  5110438 |  5022762 |     1929   6144 |        0 |        0
1234.34/1234.76	c 1234s |      24 |  5117805 |  5029962 |     2122   6151 |        0 |        0
1236.34/1236.77	c 1236s |      24 |  5125423 |  5037362 |     2122   6158 |        0 |        0
1238.34/1238.79	c 1238s |      24 |  5133266 |  5044962 |     2122   6165 |        0 |        0
1240.33/1240.80	c 1240s |      24 |  5140797 |  5052362 |     2122   6171 |        0 |        0
1242.43/1242.81	c 1242s |      24 |  5148509 |  5059862 |     2122   6178 |        0 |        0
1243.84/1244.25	c 1244s |      25 |  5153892 |  5065098 |     2122   6183 |        0 |        0
1245.83/1246.28	c 1246s |      25 |  5161669 |  5072698 |     2122   6190 |        0 |        0
1247.83/1248.29	c 1248s |      25 |  5169399 |  5080298 |     2122   6197 |        0 |        0
1249.93/1250.30	c 1250s |      25 |  5177431 |  5088198 |     2122   6204 |        0 |        0
1251.93/1252.32	c 1252s |      25 |  5185315 |  5095898 |     2122   6211 |        0 |        0
1253.93/1254.34	c 1254s |      25 |  5193159 |  5103598 |     2122   6218 |        0 |        0
1255.94/1256.36	c 1256s |      25 |  5200885 |  5111198 |     2122   6225 |        0 |        0
1257.93/1258.37	c 1258s |      25 |  5208440 |  5118598 |     2122   6231 |        0 |        0
1259.93/1260.37	c 1260s |      25 |  5215951 |  5125998 |     2122   6238 |        0 |        0
1261.93/1262.38	c 1262s |      25 |  5223553 |  5133498 |     2122   6245 |        0 |        0
1264.03/1264.40	c 1264s |      25 |  5231239 |  5141098 |     2122   6252 |        0 |        0
1266.03/1266.41	c 1266s |      25 |  5238971 |  5148698 |     2122   6258 |        0 |        0
1268.04/1268.43	c 1268s |      25 |  5246691 |  5156298 |     2122   6265 |        0 |        0
1270.03/1270.45	c 1270s |      25 |  5254519 |  5163998 |     2122   6272 |        0 |        0
1272.03/1272.46	c 1272s |      25 |  5262043 |  5171398 |     2122   6279 |        0 |        0
1274.03/1274.49	c 1274s |      25 |  5270204 |  5179398 |     2122   6286 |        0 |        0
1276.13/1276.51	c 1276s |      25 |  5278334 |  5187398 |     2122   6293 |        0 |        0
1278.13/1278.55	c 1278s |      25 |  5286354 |  5195298 |     2122   6301 |        0 |        0
1280.13/1280.58	c 1280s |      25 |  5294244 |  5202998 |     2122   6308 |        0 |        0
1282.12/1282.60	c 1282s |      25 |  5302088 |  5210698 |     2122   6314 |        0 |        0
1284.22/1284.61	c 1284s |      25 |  5309588 |  5218098 |     2122   6321 |        0 |        0
1286.22/1286.62	c 1286s |      25 |  5317462 |  5225798 |     2122   6328 |        0 |        0
1288.22/1288.62	c 1288s |      25 |  5325079 |  5233298 |     2122   6335 |        0 |        0
1290.22/1290.63	c 1290s |      25 |  5332604 |  5240698 |     2122   6342 |        0 |        0
1292.23/1292.63	c 1292s |      25 |  5340256 |  5248198 |     2122   6348 |        0 |        0
1294.22/1294.63	c 1294s |      25 |  5347845 |  5255698 |     2122   6355 |        0 |        0
1296.22/1296.64	c 1296s |      25 |  5355355 |  5263098 |     2122   6362 |        0 |        0
1298.22/1298.65	c 1298s |      25 |  5362921 |  5270498 |     2122   6369 |        0 |        0
1300.22/1300.66	c 1300s |      25 |  5370652 |  5278098 |     2122   6375 |        0 |        0
1302.22/1302.66	c 1302s |      25 |  5378361 |  5285598 |     2122   6382 |        0 |        0
1304.23/1304.69	c 1304s |      25 |  5385854 |  5292998 |     2122   6389 |        0 |        0
1306.32/1306.71	c 1306s |      25 |  5393524 |  5300498 |     2122   6396 |        0 |        0
1308.32/1308.72	c 1308s |      25 |  5400948 |  5307798 |     2122   6402 |        0 |        0
1310.32/1310.73	c 1310s |      25 |  5408654 |  5315398 |     2122   6409 |        0 |        0
1312.32/1312.74	c 1312s |      25 |  5416575 |  5323198 |     2122   6416 |        0 |        0
1314.32/1314.76	c 1314s |      25 |  5424254 |  5330698 |     2122   6423 |        0 |        0
1316.32/1316.78	c 1316s |      25 |  5431671 |  5337998 |     2122   6430 |        0 |        0
1318.42/1318.80	c 1318s |      25 |  5439439 |  5345598 |     2122   6437 |        0 |        0
1320.42/1320.80	c 1320s |      25 |  5446703 |  5352798 |     2122   6443 |        0 |        0
1322.41/1322.82	c 1322s |      25 |  5454021 |  5359998 |     2122   6450 |        0 |        0
1324.42/1324.83	c 1324s |      25 |  5461594 |  5367498 |     2122   6456 |        0 |        0
1326.42/1326.84	c 1326s |      25 |  5469121 |  5374898 |     2122   6463 |        0 |        0
1328.43/1328.86	c 1328s |      25 |  5476681 |  5382298 |     2122   6470 |        0 |        0
1330.42/1330.87	c 1330s |      25 |  5484092 |  5389598 |     2122   6476 |        0 |        0
1332.42/1332.87	c 1332s |      25 |  5491454 |  5396798 |     2122   6483 |        0 |        0
1334.42/1334.89	c 1334s |      25 |  5499582 |  5404698 |     2122   6490 |        0 |        0
1336.52/1336.91	c 1336s |      25 |  5507756 |  5412698 |     2122   6497 |        0 |        0
1338.52/1338.91	c 1338s |      25 |  5515852 |  5420598 |     2122   6504 |        0 |        0
1340.52/1340.92	c 1340s |      25 |  5523668 |  5428298 |     2122   6511 |        0 |        0
1342.52/1342.92	c 1342s |      25 |  5531605 |  5436098 |     2122   6518 |        0 |        0
1344.52/1344.93	c 1344s |      25 |  5539604 |  5443898 |     2122   6526 |        0 |        0
1346.52/1346.94	c 1346s |      25 |  5547503 |  5451698 |     2122   6533 |        0 |        0
1348.52/1348.96	c 1348s |      25 |  5555470 |  5459498 |     2122   6540 |        0 |        0
1350.52/1350.98	c 1350s |      25 |  5563437 |  5467298 |     2122   6547 |        0 |        0
1352.51/1352.99	c 1352s |      25 |  5571028 |  5474798 |     2122   6553 |        0 |        0
1354.61/1355.01	c 1354s |      25 |  5578438 |  5482098 |     2122   6560 |        0 |        0
1356.61/1357.03	c 1357s |      25 |  5586260 |  5489798 |     2122   6567 |        0 |        0
1358.61/1359.06	c 1359s |      25 |  5594010 |  5497398 |     2122   6574 |        0 |        0
1360.61/1361.09	c 1361s |      25 |  5601416 |  5504698 |     2122   6581 |        0 |        0
1362.71/1363.11	c 1363s |      25 |  5608896 |  5511998 |     2122   6587 |        0 |        0
1364.72/1365.11	c 1365s |      25 |  5616484 |  5519398 |     2122   6594 |        0 |        0
1366.71/1367.11	c 1367s |      25 |  5623916 |  5526698 |     2122   6600 |        0 |        0
1368.71/1369.12	c 1369s |      25 |  5631394 |  5533998 |     2122   6607 |        0 |        0
1370.71/1371.14	c 1371s |      25 |  5638993 |  5541498 |     2122   6614 |        0 |        0
1372.71/1373.16	c 1373s |      25 |  5646961 |  5549298 |     2122   6621 |        0 |        0
1374.72/1375.18	c 1375s |      25 |  5654770 |  5556998 |     2122   6628 |        0 |        0
1376.71/1377.18	c 1377s |      25 |  5662508 |  5564598 |     2122   6635 |        0 |        0
1378.81/1379.21	c 1379s |      25 |  5670032 |  5571998 |     2122   6641 |        0 |        0
1380.81/1381.21	c 1381s |      25 |  5677748 |  5579498 |     2122   6648 |        0 |        0
1382.81/1383.24	c 1383s |      25 |  5685273 |  5586898 |     2122   6655 |        0 |        0
1384.81/1385.25	c 1385s |      25 |  5693000 |  5594498 |     2122   6662 |        0 |        0
1386.82/1387.28	c 1387s |      25 |  5700618 |  5601898 |     2122   6669 |        0 |        0
1388.81/1389.30	c 1389s |      25 |  5708450 |  5609598 |     2122   6675 |        0 |        0
1390.90/1391.31	c 1391s |      25 |  5716045 |  5616998 |     2122   6682 |        0 |        0
1392.90/1393.33	c 1393s |      25 |  5723671 |  5624498 |     2122   6689 |        0 |        0
1394.90/1395.33	c 1395s |      25 |  5731281 |  5631998 |     2122   6696 |        0 |        0
1396.91/1397.37	c 1397s |      25 |  5738985 |  5639498 |     2122   6703 |        0 |        0
1398.92/1399.39	c 1399s |      25 |  5746532 |  5646898 |     2122   6709 |        0 |        0
1400.91/1401.39	c 1401s |      25 |  5753952 |  5654198 |     2122   6716 |        0 |        0
1403.01/1403.40	c 1403s |      25 |  5761358 |  5661498 |     2122   6722 |        0 |        0
1405.01/1405.40	c 1405s |      25 |  5768889 |  5668898 |     2122   6729 |        0 |        0
1407.01/1407.41	c 1407s |      25 |  5776706 |  5676598 |     2122   6736 |        0 |        0
1409.01/1409.42	c 1409s |      25 |  5784420 |  5684198 |     2122   6743 |        0 |        0
1411.02/1411.44	c 1411s |      25 |  5792012 |  5691698 |     2122   6750 |        0 |        0
1413.01/1413.45	c 1413s |      25 |  5799637 |  5699198 |     2122   6757 |        0 |        0
1415.01/1415.48	c 1415s |      25 |  5807051 |  5706498 |     2122   6763 |        0 |        0
1417.11/1417.50	c 1417s |      25 |  5814807 |  5714098 |     2122   6770 |        0 |        0
1419.11/1419.52	c 1419s |      25 |  5822258 |  5721398 |     2122   6777 |        0 |        0
1421.11/1421.54	c 1421s |      25 |  5829785 |  5728798 |     2122   6783 |        0 |        0
1423.11/1423.54	c 1423s |      25 |  5837062 |  5735898 |     2122   6790 |        0 |        0
1425.11/1425.55	c 1425s |      25 |  5844512 |  5743198 |     2122   6796 |        0 |        0
1427.11/1427.57	c 1427s |      25 |  5852045 |  5750598 |     2122   6803 |        0 |        0
1429.10/1429.58	c 1429s |      25 |  5859331 |  5757798 |     2122   6810 |        0 |        0
1431.10/1431.59	c 1431s |      25 |  5866626 |  5764998 |     2122   6816 |        0 |        0
1433.20/1433.61	c 1433s |      25 |  5874662 |  5772898 |     2122   6823 |        0 |        0
1435.21/1435.61	c 1435s |      25 |  5882650 |  5780698 |     2122   6830 |        0 |        0
1437.20/1437.63	c 1437s |      25 |  5890554 |  5788398 |     2122   6837 |        0 |        0
1439.20/1439.65	c 1439s |      25 |  5898379 |  5796098 |     2122   6844 |        0 |        0
1441.20/1441.67	c 1441s |      25 |  5906187 |  5803798 |     2122   6851 |        0 |        0
1443.20/1443.67	c 1443s |      25 |  5913793 |  5811298 |     2122   6858 |        0 |        0
1445.20/1445.68	c 1445s |      25 |  5921130 |  5818498 |     2122   6865 |        0 |        0
1447.20/1447.70	c 1447s |      25 |  5928836 |  5826098 |     2122   6871 |        0 |        0
1449.29/1449.70	c 1449s |      25 |  5936331 |  5833398 |     2122   6878 |        0 |        0
1451.29/1451.71	c 1451s |      25 |  5943925 |  5840798 |     2122   6885 |        0 |        0
1453.29/1453.71	c 1453s |      25 |  5951489 |  5848298 |     2122   6891 |        0 |        0
1455.29/1455.72	c 1455s |      25 |  5958979 |  5855598 |     2122   6898 |        0 |        0
1457.30/1457.74	c 1457s |      25 |  5966386 |  5862898 |     2122   6905 |        0 |        0
1459.31/1459.74	c 1459s |      25 |  5974080 |  5870398 |     2122   6911 |        0 |        0
1461.30/1461.74	c 1461s |      25 |  5981621 |  5877798 |     2122   6918 |        0 |        0
1463.30/1463.75	c 1463s |      25 |  5989158 |  5885198 |     2122   6925 |        0 |        0
1465.30/1465.77	c 1465s |      25 |  5996580 |  5892498 |     2122   6931 |        0 |        0
1467.30/1467.79	c 1467s |      25 |  6003988 |  5899798 |     2122   6938 |        0 |        0
1469.40/1469.82	c 1469s |      25 |  6011455 |  5907098 |     2122   6945 |        0 |        0
1471.40/1471.83	c 1471s |      25 |  6018566 |  5914098 |     2122   6951 |        0 |        0
1473.40/1473.84	c 1473s |      25 |  6026235 |  5921598 |     2122   6958 |        0 |        0
1475.40/1475.86	c 1475s |      25 |  6034146 |  5929298 |     2122   6965 |        0 |        0
1477.39/1477.88	c 1477s |      25 |  6041764 |  5936798 |     2122   6972 |        0 |        0
1479.49/1479.90	c 1479s |      25 |  6049360 |  5944298 |     2122   6978 |        0 |        0
1481.49/1481.92	c 1481s |      25 |  6056953 |  5951798 |     2122   6985 |        0 |        0
1483.50/1483.94	c 1483s |      25 |  6064559 |  5959298 |     2122   6992 |        0 |        0
1485.49/1485.95	c 1485s |      25 |  6072124 |  5966698 |     2122   6999 |        0 |        0
1487.49/1487.97	c 1487s |      25 |  6079477 |  5973898 |     2122   7005 |        0 |        0
1489.49/1489.98	c 1489s |      25 |  6086783 |  5981098 |     2122   7012 |        0 |        0
1491.49/1491.99	c 1491s |      25 |  6094379 |  5988498 |     2122   7018 |        0 |        0
1493.59/1494.02	c 1494s |      25 |  6101906 |  5995898 |     2122   7025 |        0 |        0
1495.60/1496.03	c 1496s |      25 |  6109225 |  6003098 |     2122   7032 |        0 |        0
1497.59/1498.04	c 1498s |      25 |  6116816 |  6010598 |     2122   7038 |        0 |        0
1499.59/1500.05	c 1500s |      25 |  6124507 |  6018098 |     2122   7045 |        0 |        0
1501.59/1502.07	c 1502s |      25 |  6131972 |  6025398 |     2122   7052 |        0 |        0
1503.59/1504.08	c 1504s |      25 |  6139491 |  6032698 |     2122   7058 |        0 |        0
1505.69/1506.10	c 1506s |      25 |  6147055 |  6040098 |     2122   7065 |        0 |        0
1507.58/1508.10	c 1508s |      25 |  6154504 |  6047398 |     2122   7072 |        0 |        0
1509.68/1510.13	c 1510s |      25 |  6161822 |  6054598 |     2122   7078 |        0 |        0
1511.68/1512.15	c 1512s |      25 |  6169107 |  6061798 |     2122   7085 |        0 |        0
1513.68/1514.17	c 1514s |      25 |  6176534 |  6069098 |     2122   7091 |        0 |        0
1515.68/1516.19	c 1516s |      25 |  6184002 |  6076398 |     2122   7098 |        0 |        0
1517.78/1518.20	c 1518s |      25 |  6191207 |  6083498 |     2122   7104 |        0 |        0
1519.79/1520.22	c 1520s |      25 |  6199362 |  6091498 |     2122   7112 |        0 |        0
1521.78/1522.22	c 1522s |      25 |  6207304 |  6099298 |     2122   7119 |        0 |        0
1523.78/1524.24	c 1524s |      25 |  6215135 |  6106998 |     2122   7126 |        0 |        0
1525.78/1526.26	c 1526s |      25 |  6222976 |  6114698 |     2122   7133 |        0 |        0
1527.79/1528.27	c 1528s |      25 |  6230568 |  6122198 |     2122   7139 |        0 |        0
1529.80/1530.27	c 1530s |      25 |  6238112 |  6129598 |     2122   7146 |        0 |        0
1531.79/1532.29	c 1532s |      25 |  6245656 |  6136998 |     2122   7153 |        0 |        0
1533.89/1534.30	c 1534s |      25 |  6252984 |  6144198 |     2122   7159 |        0 |        0
1535.89/1536.31	c 1536s |      25 |  6260603 |  6151698 |     2122   7166 |        0 |        0
1537.89/1538.32	c 1538s |      25 |  6268040 |  6158998 |     2122   7173 |        0 |        0
1539.89/1540.34	c 1540s |      25 |  6275576 |  6166398 |     2122   7179 |        0 |        0
1541.90/1542.36	c 1542s |      25 |  6283323 |  6173998 |     2122   7186 |        0 |        0
1543.89/1544.39	c 1544s |      25 |  6290828 |  6181398 |     2122   7193 |        0 |        0
1545.99/1546.41	c 1546s |      25 |  6298218 |  6188698 |     2122   7200 |        0 |        0
1547.99/1548.41	c 1548s |      25 |  6305954 |  6196298 |     2122   7206 |        0 |        0
1549.99/1550.44	c 1550s |      25 |  6313505 |  6203698 |     2122   7213 |        0 |        0
1551.99/1552.45	c 1552s |      25 |  6320915 |  6210998 |     2122   7220 |        0 |        0
1553.99/1554.48	c 1554s |      25 |  6328536 |  6218498 |     2122   7227 |        0 |        0
1555.98/1556.50	c 1556s |      25 |  6336004 |  6225798 |     2122   7233 |        0 |        0
1558.08/1558.53	c 1558s |      25 |  6343622 |  6233298 |     2122   7240 |        0 |        0
1560.08/1560.56	c 1560s |      25 |  6351094 |  6240598 |     2122   7247 |        0 |        0
1562.08/1562.58	c 1562s |      25 |  6358407 |  6247798 |     2122   7253 |        0 |        0
1564.08/1564.59	c 1564s |      25 |  6365776 |  6254998 |     2122   7260 |        0 |        0
1566.18/1566.61	c 1566s |      25 |  6372959 |  6262098 |     2122   7266 |        0 |        0
1568.19/1568.62	c 1568s |      25 |  6380104 |  6269098 |     2122   7272 |        0 |        0
1570.18/1570.64	c 1570s |      25 |  6387196 |  6276098 |     2122   7279 |        0 |        0
1572.18/1572.66	c 1572s |      25 |  6394979 |  6283698 |     2122   7286 |        0 |        0
1574.18/1574.66	c 1574s |      25 |  6402544 |  6291098 |     2122   7292 |        0 |        0
1576.18/1576.66	c 1576s |      25 |  6410073 |  6298498 |     2122   7299 |        0 |        0
1578.19/1578.67	c 1578s |      25 |  6417462 |  6305798 |     2122   7306 |        0 |        0
1580.18/1580.67	c 1580s |      25 |  6424892 |  6313098 |     2122   7312 |        0 |        0
1582.18/1582.67	c 1582s |      25 |  6432159 |  6320198 |     2122   7319 |        0 |        0
1584.18/1584.68	c 1584s |      25 |  6439553 |  6327498 |     2122   7325 |        0 |        0
1586.28/1586.71	c 1586s |      25 |  6446848 |  6334698 |     2122   7332 |        0 |        0
1588.28/1588.71	c 1588s |      25 |  6454138 |  6341898 |     2122   7338 |        0 |        0
1590.28/1590.72	c 1590s |      25 |  6461271 |  6348898 |     2122   7345 |        0 |        0
1592.28/1592.75	c 1592s |      25 |  6468673 |  6356098 |     2122   7351 |        0 |        0
1594.27/1594.77	c 1594s |      25 |  6476306 |  6363598 |     2122   7358 |        0 |        0
1596.27/1596.78	c 1596s |      25 |  6483822 |  6370998 |     2122   7365 |        0 |        0
1598.27/1598.78	c 1598s |      25 |  6491170 |  6378198 |     2122   7371 |        0 |        0
1600.27/1600.78	c 1600s |      25 |  6498476 |  6385398 |     2122   7378 |        0 |        0
1602.38/1602.80	c 1602s |      25 |  6506118 |  6392898 |     2122   7384 |        0 |        0
1604.37/1604.81	c 1604s |      25 |  6513558 |  6400198 |     2122   7391 |        0 |        0
1606.37/1606.83	c 1606s |      25 |  6520761 |  6407298 |     2122   7398 |        0 |        0
1608.37/1608.84	c 1608s |      25 |  6527962 |  6414298 |     2122   7404 |        0 |        0
1610.37/1610.85	c 1610s |      25 |  6535168 |  6421398 |     2122   7410 |        0 |        0
1612.38/1612.87	c 1612s |      25 |  6542314 |  6428398 |     2122   7417 |        0 |        0
1614.38/1614.88	c 1614s |      25 |  6549632 |  6435598 |     2122   7423 |        0 |        0
1616.38/1616.89	c 1616s |      25 |  6556919 |  6442798 |     2122   7430 |        0 |        0
1618.48/1618.91	c 1618s |      25 |  6564342 |  6450098 |     2122   7436 |        0 |        0
1620.48/1620.94	c 1620s |      25 |  6571466 |  6457098 |     2122   7443 |        0 |        0
1622.48/1622.97	c 1622s |      25 |  6578437 |  6463898 |     2122   7449 |        0 |        0
1624.48/1624.97	c 1624s |      25 |  6586243 |  6471498 |     2122   7456 |        0 |        0
1626.48/1626.98	c 1626s |      25 |  6594585 |  6479598 |     2122   7463 |        0 |        0
1628.47/1628.99	c 1628s |      25 |  6602806 |  6487498 |     2122   7470 |        0 |        0
1630.57/1631.00	c 1630s |      25 |  6610600 |  6495098 |     2122   7477 |        0 |        0
1632.57/1633.01	c 1632s |      25 |  6618477 |  6502798 |     2122   7484 |        0 |        0
1634.57/1635.03	c 1635s |      25 |  6626350 |  6510398 |     2122   7491 |        0 |        0
1636.57/1637.06	c 1637s |      25 |  6634643 |  6518298 |     2122   7498 |        0 |        0
1638.58/1639.07	c 1639s |      25 |  6642556 |  6525998 |     2122   7505 |        0 |        0
1640.57/1641.09	c 1641s |      25 |  6650255 |  6533498 |     2122   7512 |        0 |        0
1642.67/1643.12	c 1643s |      25 |  6658148 |  6541198 |     2122   7519 |        0 |        0
1644.67/1645.13	c 1645s |      25 |  6666109 |  6548998 |     2122   7526 |        0 |        0
1646.67/1647.14	c 1647s |      25 |  6673951 |  6556698 |     2122   7533 |        0 |        0
1648.67/1649.17	c 1649s |      25 |  6681803 |  6564398 |     2122   7540 |        0 |        0
1650.67/1651.18	c 1651s |      25 |  6689443 |  6571898 |     2122   7546 |        0 |        0
1652.66/1653.18	c 1653s |      25 |  6697050 |  6579398 |     2122   7553 |        0 |        0
1654.66/1655.18	c 1655s |      25 |  6704608 |  6586798 |     2122   7560 |        0 |        0
1656.66/1657.19	c 1657s |      25 |  6712149 |  6594198 |     2122   7567 |        0 |        0
1658.76/1659.22	c 1659s |      25 |  6719630 |  6601498 |     2122   7573 |        0 |        0
1660.76/1661.23	c 1661s |      25 |  6727261 |  6608898 |     2122   7580 |        0 |        0
1662.77/1663.25	c 1663s |      25 |  6735211 |  6616498 |     2122   7587 |        0 |        0
1664.76/1665.26	c 1665s |      25 |  6742727 |  6623798 |     2122   7593 |        0 |        0
1666.76/1667.26	c 1667s |      25 |  6750127 |  6630998 |     2122   7600 |        0 |        0
1668.76/1669.28	c 1669s |      25 |  6757796 |  6638298 |     2122   7606 |        0 |        0
1670.76/1671.29	c 1671s |      25 |  6765155 |  6645398 |     2122   7613 |        0 |        0
1672.77/1673.29	c 1673s |      25 |  6772365 |  6652398 |     2122   7619 |        0 |        0
1674.76/1675.30	c 1675s |      25 |  6780095 |  6659898 |     2122   7626 |        0 |        0
1676.86/1677.30	c 1677s |      25 |  6787661 |  6667298 |     2122   7633 |        0 |        0
1678.86/1679.33	c 1679s |      25 |  6795361 |  6674798 |     2122   7639 |        0 |        0
1680.86/1681.34	c 1681s |      25 |  6802876 |  6682198 |     2122   7646 |        0 |        0
1682.87/1683.34	c 1683s |      25 |  6810333 |  6689498 |     2122   7653 |        0 |        0
1684.87/1685.35	c 1685s |      25 |  6817566 |  6696598 |     2122   7659 |        0 |        0
1686.87/1687.37	c 1687s |      25 |  6824931 |  6703798 |     2122   7666 |        0 |        0
1688.87/1689.38	c 1689s |      25 |  6832432 |  6711098 |     2122   7672 |        0 |        0
1690.97/1691.41	c 1691s |      25 |  6840011 |  6718398 |     2122   7679 |        0 |        0
1692.97/1693.43	c 1693s |      25 |  6847737 |  6725998 |     2122   7686 |        0 |        0
1694.97/1695.43	c 1695s |      25 |  6855271 |  6733398 |     2122   7692 |        0 |        0
1696.97/1697.45	c 1697s |      25 |  6862877 |  6740698 |     2122   7699 |        0 |        0
1698.96/1699.47	c 1699s |      25 |  6870395 |  6747898 |     2122   7706 |        0 |        0
1700.96/1701.49	c 1701s |      25 |  6877919 |  6755298 |     2122   7712 |        0 |        0
1702.96/1703.49	c 1703s |      25 |  6885235 |  6762498 |     2122   7719 |        0 |        0
1704.96/1705.49	c 1705s |      25 |  6892664 |  6769698 |     2122   7725 |        0 |        0
1707.06/1707.50	c 1707s |      25 |  6899998 |  6776898 |     2122   7732 |        0 |        0
1709.07/1709.51	c 1709s |      25 |  6907339 |  6784098 |     2122   7738 |        0 |        0
1711.06/1711.53	c 1711s |      25 |  6914656 |  6791298 |     2122   7745 |        0 |        0
1713.06/1713.53	c 1713s |      25 |  6922012 |  6798498 |     2122   7751 |        0 |        0
1715.06/1715.55	c 1715s |      25 |  6929827 |  6806198 |     2122   7758 |        0 |        0
1717.06/1717.56	c 1717s |      25 |  6937511 |  6813698 |     2122   7765 |        0 |        0
1719.06/1719.57	c 1719s |      25 |  6945163 |  6821198 |     2122   7772 |        0 |        0
1721.07/1721.59	c 1721s |      25 |  6952962 |  6828698 |     2122   7779 |        0 |        0
1723.16/1723.61	c 1723s |      25 |  6960731 |  6836198 |     2122   7786 |        0 |        0
1725.16/1725.62	c 1725s |      25 |  6968444 |  6843798 |     2122   7792 |        0 |        0
1727.16/1727.65	c 1727s |      25 |  6976012 |  6851198 |     2122   7799 |        0 |        0
1729.16/1729.65	c 1729s |      25 |  6983449 |  6858498 |     2122   7806 |        0 |        0
1731.15/1731.67	c 1731s |      25 |  6991020 |  6865898 |     2122   7812 |        0 |        0
1733.16/1733.68	c 1733s |      25 |  6998637 |  6873298 |     2122   7819 |        0 |        0
1735.15/1735.68	c 1735s |      25 |  7006161 |  6880698 |     2122   7826 |        0 |        0
1737.15/1737.69	c 1737s |      25 |  7013557 |  6887898 |     2122   7832 |        0 |        0
1739.25/1739.70	c 1739s |      25 |  7020991 |  6895198 |     2122   7839 |        0 |        0
1741.25/1741.72	c 1741s |      25 |  7028339 |  6902398 |     2122   7845 |        0 |        0
1743.25/1743.73	c 1743s |      25 |  7035789 |  6909698 |     2122   7852 |        0 |        0
1745.26/1745.74	c 1745s |      25 |  7043146 |  6916898 |     2122   7859 |        0 |        0
1747.25/1747.75	c 1747s |      25 |  7050798 |  6924298 |     2122   7865 |        0 |        0
1749.25/1749.75	c 1749s |      25 |  7058561 |  6931898 |     2122   7872 |        0 |        0
1751.25/1751.76	c 1751s |      25 |  7066229 |  6939398 |     2122   7879 |        0 |        0
1753.25/1753.77	c 1753s |      25 |  7073937 |  6946898 |     2122   7886 |        0 |        0
1755.26/1755.77	c 1755s |      25 |  7081412 |  6954198 |     2122   7892 |        0 |        0
1757.25/1757.78	c 1757s |      25 |  7088744 |  6961398 |     2122   7899 |        0 |        0
1759.36/1759.80	c 1759s |      25 |  7096231 |  6968698 |     2122   7906 |        0 |        0
1761.36/1761.83	c 1761s |      25 |  7103801 |  6976098 |     2122   7912 |        0 |        0
1763.35/1763.85	c 1763s |      25 |  7111162 |  6983298 |     2122   7919 |        0 |        0
1765.35/1765.86	c 1765s |      25 |  7118563 |  6990498 |     2122   7925 |        0 |        0
1767.36/1767.87	c 1767s |      25 |  7126020 |  6997798 |     2122   7932 |        0 |        0
1769.35/1769.88	c 1769s |      25 |  7133393 |  7004998 |     2122   7938 |        0 |        0
1771.35/1771.89	c 1771s |      25 |  7140762 |  7012098 |     2122   7945 |        0 |        0
1773.45/1773.91	c 1773s |      25 |  7148065 |  7019198 |     2122   7951 |        0 |        0
1775.45/1775.92	c 1775s |      25 |  7155338 |  7026298 |     2122   7958 |        0 |        0
1777.45/1777.93	c 1777s |      25 |  7162537 |  7033398 |     2122   7964 |        0 |        0
1779.46/1779.94	c 1779s |      25 |  7169915 |  7040598 |     2122   7971 |        0 |        0
1781.45/1781.96	c 1781s |      25 |  7177361 |  7047898 |     2122   7977 |        0 |        0
1783.45/1783.98	c 1783s |      25 |  7184665 |  7055098 |     2122   7984 |        0 |        0
1785.45/1785.99	c 1785s |      25 |  7192000 |  7062298 |     2122   7990 |        0 |        0
1787.45/1787.99	c 1787s |      25 |  7199090 |  7069298 |     2122   7997 |        0 |        0
1789.55/1790.00	c 1789s |      25 |  7206403 |  7076498 |     2122   8003 |        0 |        0
1791.46/1792.00	c 1791s |      25 |  7214185 |  7084098 |     2122   8010 |        0 |        0
1793.55/1794.02	c 1793s |      25 |  7221694 |  7091398 |     2122   8017 |        0 |        0
1795.55/1796.03	c 1796s |      25 |  7229364 |  7098898 |     2122   8023 |        0 |        0
1797.55/1798.04	c 1798s |      25 |  7237028 |  7106298 |     2122   8030 |        0 |        0
1799.55/1800.05	c 1800s |      25 |  7244734 |  7113798 |     2122   8037 |        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-4089246-1466024397/watcher-4089246-1466024397 -o /tmp/evaluation-result-4089246-1466024397/solver-4089246-1466024397 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4089246-1466024397.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.27 2.16 2.10 3/179 7921
/proc/meminfo: memFree=30444580/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=696764 CPUtime=0 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 2594 0 0 0 0 0 0 0 20 0 4 0 4485118 713486336 2956 33554432000 4194304 16246674 140733747992144 140733747991568 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 174703 2963 441 2943 0 171597 0
[pid=7921/tid=7922] ppid=7918 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 731312128 3024 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 735506432 3039 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=722364 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4485119 739700736 3056 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.27 2.16 2.10 3/179 7921
/proc/meminfo: memFree=30444580/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 30030 0 0 0 4 5 0 0 20 0 4 0 4485118 1247350784 30381 33554432000 4194304 16246674 140733747992144 140733747991568 5546181 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 304529 30396 711 2943 0 301423 0
[pid=7921/tid=7922] ppid=7918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1247350784 30407 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1247350784 30416 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4485119 1247350784 30424 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.20052 s]
/proc/loadavg: 2.27 2.16 2.10 3/179 7921
/proc/meminfo: memFree=30444580/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 59255 0 0 0 10 9 0 0 20 0 4 0 4485118 1247350784 59606 33554432000 4194304 16246674 140733747992144 140733747991568 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 304529 59621 711 2943 0 301423 0
[pid=7921/tid=7922] ppid=7918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1247350784 59631 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1247350784 59643 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4485119 1247350784 59654 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300481 s]
/proc/loadavg: 2.27 2.16 2.10 3/179 7921
/proc/meminfo: memFree=30444580/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 88346 0 0 0 17 12 0 0 20 0 4 0 4485118 1247350784 88697 33554432000 4194304 16246674 140733747992144 140733747991568 5545885 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 304529 88714 712 2943 0 301423 0
[pid=7921/tid=7922] ppid=7918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1247350784 88722 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1247350784 88728 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4485119 1247350784 88735 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700412 s]
/proc/loadavg: 2.27 2.16 2.10 3/179 7921
/proc/meminfo: memFree=30444580/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1218116 CPUtime=0.68 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 208167 0 0 0 40 28 0 0 20 0 4 0 4485118 1247350784 208517 33554432000 4194304 16246674 140733747992144 140733747974016 13192029 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 304529 208528 712 2943 0 301423 0
[pid=7921/tid=7922] ppid=7918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1247350784 208533 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1247350784 208539 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 4485119 1247350784 208547 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.27 2.16 2.10 3/183 7925
/proc/meminfo: memFree=29461800/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1305156 CPUtime=1.49 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 267154 0 0 0 112 37 0 0 20 0 4 0 4485118 1336479744 267484 33554432000 4194304 16246674 140733747992144 140733747991456 5722612 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 326289 267484 788 2943 0 323183 0
[pid=7921/tid=7922] ppid=7918 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1336479744 267484 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1336479744 267484 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1336479744 267484 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1305156

[startup+3.10043 s]
/proc/loadavg: 2.27 2.16 2.10 3/183 7925
/proc/meminfo: memFree=29374380/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 267476 0 0 0 271 37 0 0 20 0 4 0 4485118 1337528320 267806 33554432000 4194304 16246674 140733747992144 140733747974016 13191984 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 326545 267806 788 2943 0 323439 0
[pid=7921/tid=7922] ppid=7918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1337528320 267806 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1337528320 267806 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1337528320 267806 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.25 2.16 2.10 3/184 7928
/proc/meminfo: memFree=29373172/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 267518 0 0 0 591 37 0 0 20 0 4 0 4485118 1337528320 267848 33554432000 4194304 16246674 140733747992144 140733747974016 5721423 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 326545 267848 789 2943 0 323439 0
[pid=7921/tid=7922] ppid=7918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1337528320 267848 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1337528320 267848 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1337528320 267848 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.23 2.15 2.10 3/184 7928
/proc/meminfo: memFree=29372700/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 267571 0 0 0 1231 37 0 0 20 0 4 0 4485118 1337528320 267901 33554432000 4194304 16246674 140733747992144 140733747974016 5545832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 326545 267901 789 2943 0 323439 0
[pid=7921/tid=7922] ppid=7918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1337528320 267901 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1337528320 267901 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1337528320 267901 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.25 2.16 2.10 3/184 7928
/proc/meminfo: memFree=29372892/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1307204 CPUtime=25.49 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 267606 0 0 0 2511 38 0 0 20 0 4 0 4485118 1338576896 267936 33554432000 4194304 16246674 140733747992144 140733747975144 5721384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 326801 267936 792 2943 0 323695 0
[pid=7921/tid=7922] ppid=7918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1338576896 267936 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1338576896 267936 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1338576896 267936 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.17 2.15 2.10 3/184 7928
/proc/meminfo: memFree=29372772/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 267633 0 0 0 5070 38 0 0 20 0 4 0 4485118 1338576896 267963 33554432000 4194304 16246674 140733747992144 140733747974016 12483345 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 326801 267963 792 2943 0 323695 0
[pid=7921/tid=7922] ppid=7918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1338576896 267963 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1338576896 267963 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1338576896 267963 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.301 s]
/proc/loadavg: 2.11 2.14 2.09 3/184 7951
/proc/meminfo: memFree=29371612/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1308228 CPUtime=102.29 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 267920 0 0 0 10189 40 0 0 20 0 4 0 4485118 1339625472 268250 33554432000 4194304 16246674 140733747992144 140733747974016 5717133 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 327057 268250 792 2943 0 323951 0
[pid=7921/tid=7922] ppid=7918 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1339625472 268250 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1339625472 268250 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1339625472 268250 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1308228


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

/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269630 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.12 2.09 2.08 3/183 8080
/proc/meminfo: memFree=29360536/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1313348 CPUtime=1361.91 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 269741 0 0 0 136135 56 0 0 20 0 4 0 4485118 1344868352 269700 33554432000 4194304 16246674 140733747992144 140733747974016 5662871 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 328337 269700 793 2943 0 325231 0
[pid=7921/tid=7922] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.12 2.10 2.08 3/183 8081
/proc/meminfo: memFree=29360412/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1313348 CPUtime=1421.91 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 269741 0 0 0 142134 57 0 0 20 0 4 0 4485118 1344868352 269700 33554432000 4194304 16246674 140733747992144 140733747974016 5723568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 328337 269700 793 2943 0 325231 0
[pid=7921/tid=7922] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.04 2.08 2.08 3/183 8083
/proc/meminfo: memFree=29359808/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1313348 CPUtime=1481.89 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 269741 0 0 0 148131 58 0 0 20 0 4 0 4485118 1344868352 269700 33554432000 4194304 16246674 140733747992144 140733747974016 12875570 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 328337 269700 793 2943 0 325231 0
[pid=7921/tid=7922] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.14 2.10 2.08 3/183 8084
/proc/meminfo: memFree=29359932/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1313348 CPUtime=1541.9 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 269741 0 0 0 154131 59 0 0 20 0 4 0 4485118 1344868352 269700 33554432000 4194304 16246674 140733747992144 140733747974016 5707608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 328337 269700 793 2943 0 325231 0
[pid=7921/tid=7922] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.19 2.12 2.09 3/183 8085
/proc/meminfo: memFree=29360164/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1313348 CPUtime=1601.87 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 269741 0 0 0 160128 59 0 0 20 0 4 0 4485118 1344868352 269700 33554432000 4194304 16246674 140733747992144 140733747974016 6020832 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 328337 269700 793 2943 0 325231 0
[pid=7921/tid=7922] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 8086
/proc/meminfo: memFree=29360016/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1313348 CPUtime=1661.86 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 269741 0 0 0 166126 60 0 0 20 0 4 0 4485118 1344868352 269700 33554432000 4194304 16246674 140733747992144 140733747974016 5589752 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 328337 269700 793 2943 0 325231 0
[pid=7921/tid=7922] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.08 2.10 2.09 3/183 8087
/proc/meminfo: memFree=29360372/32872528 swapFree=496352/529056
[pid=7921] ppid=7918 vsize=1313348 CPUtime=1721.86 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 269741 0 0 0 172125 61 0 0 20 0 4 0 4485118 1344868352 269700 33554432000 4194304 16246674 140733747992144 140733747975144 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 328337 269700 793 2943 0 325231 0
[pid=7921/tid=7922] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.16 2.11 2.09 3/183 8089
/proc/meminfo: memFree=29360360/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1313348 CPUtime=1781.85 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 269741 0 0 0 178123 62 0 0 20 0 4 0 4485118 1344868352 269700 33554432000 4194304 16246674 140733747992144 140733747975144 13963975 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 328337 269700 793 2943 0 325231 0
[pid=7921/tid=7922] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 8089
/proc/meminfo: memFree=29360840/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1313348 CPUtime=1800.05 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 269741 0 0 0 179943 62 0 0 20 0 4 0 4485118 1344868352 269700 33554432000 4194304 16246674 140733747992144 140733747974016 13192416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 328337 269700 793 2943 0 325231 0
[pid=7921/tid=7922] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1313348

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

[startup+1800.5 s]
/proc/loadavg: 2.12 2.11 2.09 3/183 8089
/proc/meminfo: memFree=29360840/32872528 swapFree=496356/529060
[pid=7921] ppid=7918 vsize=1313348 CPUtime=1800.05 cores=1,3,5,7
/proc/7921/stat : 7921 (toysat) R 7918 7921 5955 0 -1 4202496 269741 0 0 0 179943 62 0 0 20 0 4 0 4485118 1344868352 269700 33554432000 4194304 16246674 140733747992144 140733747974016 13192416 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/7921/statm: 328337 269700 793 2943 0 325231 0
[pid=7921/tid=7922] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7922/stat : 7922 (toysat) S 7918 7921 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562048986352 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=7921/tid=7923] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7923/stat : 7923 (toysat) S 7918 7921 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562038496496 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=7921/tid=7924] ppid=7918 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/7921/task/7924/stat : 7924 (toysat) S 7918 7921 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 4485119 1344868352 269700 33554432000 4194304 16246674 140733747992144 140562028022960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1313348

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.44
CPU system time (s): 0.623905
CPU usage (%): 99.9751
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.44
system time used= 0.623905
maximum resident set size= 1078800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269741
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= 386
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.8625 second user time and 10.8993 second system time

The end

Begin job on node141 at 2016-06-15 22:59:57
IDJOB=4089246
IDBENCH=107379
IDSOLVER=2542
FILE ID=node141/4089246-1466024397
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

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

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

MD5SUM BENCH= fea8ab69bb66b0a7ab99730b154e55e4
RANDOM SEED=398437416

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30445496 kB
Buffers:           28136 kB
Cached:            75504 kB
SwapCached:        13072 kB
Active:          1144672 kB
Inactive:          53780 kB
Active(anon):    1085068 kB
Inactive(anon):    12008 kB
Active(file):      59604 kB
Inactive(file):    41772 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088056 kB
Dirty:             16336 kB
Writeback:             0 kB
AnonPages:       1612024 kB
Mapped:            10316 kB
Shmem:                 0 kB
Slab:             566924 kB
SReclaimable:      10712 kB
SUnreclaim:       556212 kB
KernelStack:        1448 kB
PageTables:         7176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1756028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1107968 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= 71716 MiB
End job on node141 at 2016-06-15 23:29:58