0.00/0.00	c 2016-06-30T20:55:50+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4120946-1467312949.opb"]
0.00/0.01	c use --random-gen="3524195719 2928403117 2949199205 1386499078 1248520297 1835870299 2265844547 2264125798 2232280894 3682912255 497161651 1415507533 3302065003 2682126703 1154397794 1814030398 2802423844 3482963051 1495341915 3611201035 3993162793 916022674 4099625358 3060660318 757733649 616838837 493895090 3767166393 3490825332 2795691605 988600713 1233005161 946703230 2667621614 2680051113 365774360 4282024704 2589648666 337251790 1560503378 4281204334 2398997773 573432254 261511868 2895754980 1230098024 2956031611 2096928726 1885185071 4116492944 2271215758 3804586929 2623805886 1253809240 11789010 1884373691 2381223781 2478401668 3167603013 2543459568 4273938993 1047884390 241203200 3027713707 1656499277 1342168492 2707500918 347611077 389681002 3198316818 2516632593 1083805295 1832501701 1026136464 3108037614 2456103985 1110890053 2702140892 2414897774 988369191 664236749 3039142981 4086211906 240229701 639722472 3118967243 2147427954 2289596535 2416893977 1067406861 2137428939 187115391 2171773724 13719076 644768824 83098764 3503159570 2779183077 54351009 2887120852 1373319708 3093725095 1987664034 695809500 1952358251 1968643000 150514016 947896852 1138412102 3400669916 2593068871 4251162568 254640102 1818538243 3583026339 1062507720 2253674136 863859750 2480027833 2535857641 1555902812 1817203035 1339130870 2700833058 4023521064 2134842285 918253111 4179379478 1620708930 1687592029 1292612635 4270032068 1877008992 439627421 2227304443 2468486142 683259515 4195421330 3356314879 2355446261 2209168276 1800971041 96135122 978577273 754541596 3849842504 390256605 2926296329 79880689 3293527700 1501578144 3844179441 1965901025 2437756164 1507633274 451872561 1464323282 3080531032 1406898382 2054705327 1573458339 3089525956 1312411566 435835854 1857361332 488072657 2277691861 647404226 1967874973 1288590192 982126095 3690977525 3687248949 2547584591 2700141587 4158408478 3347178814 2888153136 2523007435 828482769 3879563844 2621664394 853864383 2998416036 2798851079 590992071 3804278707 2317688669 2086030459 596278908 1989738388 4016390175 3886668353 2503245380 4220951854 1965668234 365586859 2091733045 4049275857 302618136 30594543 847555764 1800944877 41970404 4217086411 1686662425 3475107285 1429311527 3437025242 2413544763 3652383463 4051444359 1382155784 940729103 367762614 2117225808 1533269211 3327152526 598034846 2066023998 3002051241 3598031862 4229989700 3326760562 1252861125 2092592708 2816791756 2447734137 330125263 2174009850 2334389548 1288129041 2586012487 424878558 151688112 1957092475 564853590 3612501486 3041095919 489731925 3427596772 2658757404 533522195 1584303553 763526718 4157716765 3921287719 1034541607 3738137518 3919432722 3691930453 3655405221 1376420361 52790207 779952275 3661366964 255 362436" option to reproduce the execution
0.00/0.02	c #vars 353
0.00/0.02	c #constraints 352
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 |      235      0 |        0 |        0
0.00/0.04	c  0.0s |       1 |      318 |      100 |      235      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      686 |      250 |      259      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |     1136 |      475 |      285      0 |        0 |        0
0.08/0.11	c  0.1s |       4 |     1657 |      813 |      314      1 |        0 |        0
0.08/0.17	c  0.1s |       5 |     2480 |     1320 |      346      3 |        0 |        0
0.19/0.25	c  0.2s |       6 |     3583 |     2081 |      420      6 |        0 |        0
0.29/0.37	c  0.4s |       7 |     5205 |     3223 |      463      9 |        0 |        0
0.48/0.59	c  0.6s |       8 |     7479 |     4936 |      510     14 |        0 |        0
0.88/0.91	c  0.9s |       9 |    11361 |     7506 |      561     21 |        0 |        0
1.29/1.31	c  1.3s |      10 |    16421 |    11361 |      618     31 |        0 |        0
1.79/1.85	c  1.8s |      11 |    25431 |    17144 |      680     45 |        0 |        0
2.58/2.69	c  2.7s |      12 |    36971 |    25819 |      749     64 |        0 |        0
3.98/4.06	c  4.0s |      13 |    54895 |    38832 |      824     91 |        0 |        0
5.78/5.86	c  5.8s |      14 |    81085 |    58352 |      907    129 |        0 |        0
7.79/7.87	c  7.8s |      14 |   105004 |    76552 |      907    162 |        0 |        0
8.98/9.05	c  9.0s |      15 |   119777 |    87632 |      998    181 |        0 |        0
10.98/11.05	c 11.0s |      15 |   145508 |   107232 |      998    213 |        0 |        0
12.98/13.05	c 13.0s |      15 |   172386 |   127032 |      998    246 |        0 |        0
13.48/13.53	c 13.5s |      16 |   178174 |   131552 |     1098    253 |        0 |        0
15.48/15.54	c 15.5s |      16 |   202914 |   150652 |     1098    283 |        0 |        0
17.48/17.54	c 17.5s |      16 |   226603 |   169252 |     1098    311 |        0 |        0
19.49/19.55	c 19.5s |      16 |   250600 |   187552 |     1098    339 |        0 |        0
20.58/20.61	c 20.6s |      17 |   264054 |   197432 |     1208    354 |        0 |        0
22.58/22.62	c 22.6s |      17 |   286402 |   215232 |     1208    380 |        0 |        0
24.58/24.62	c 24.6s |      17 |   309070 |   232532 |     1208    405 |        0 |        0
26.58/26.64	c 26.6s |      17 |   331031 |   249332 |     1208    429 |        0 |        0
28.59/28.64	c 28.6s |      17 |   354169 |   266432 |     1208    453 |        0 |        0
30.58/30.64	c 30.6s |      17 |   377428 |   283432 |     1208    477 |        0 |        0
32.18/32.22	c 32.2s |      18 |   393990 |   296252 |     1329    495 |        0 |        0
34.19/34.23	c 34.2s |      18 |   415187 |   312452 |     1329    516 |        0 |        0
36.18/36.25	c 36.2s |      18 |   436252 |   328952 |     1329    537 |        0 |        0
38.18/38.25	c 38.2s |      18 |   458588 |   346152 |     1329    560 |        0 |        0
40.18/40.26	c 40.2s |      18 |   482077 |   363652 |     1329    583 |        0 |        0
42.18/42.26	c 42.2s |      18 |   506460 |   381552 |     1329    606 |        0 |        0
44.18/44.26	c 44.2s |      18 |   531318 |   399752 |     1329    630 |        0 |        0
46.19/46.27	c 46.2s |      18 |   553620 |   417052 |     1329    653 |        0 |        0
48.18/48.28	c 48.3s |      18 |   576675 |   434752 |     1329    676 |        0 |        0
49.28/49.39	c 49.4s |      19 |   589925 |   444482 |     1462    689 |        0 |        0
51.38/51.41	c 51.4s |      19 |   610592 |   460382 |     1462    708 |        0 |        0
53.37/53.42	c 53.4s |      19 |   631233 |   476782 |     1462    727 |        0 |        0
55.37/55.42	c 55.4s |      19 |   650199 |   492482 |     1462    746 |        0 |        0
57.37/57.42	c 57.4s |      19 |   671972 |   509582 |     1462    766 |        0 |        0
59.38/59.43	c 59.4s |      19 |   694527 |   526682 |     1462    786 |        0 |        0
61.37/61.44	c 61.4s |      19 |   715154 |   542782 |     1462    805 |        0 |        0
63.37/63.44	c 63.4s |      19 |   735188 |   558982 |     1462    825 |        0 |        0
65.37/65.46	c 65.4s |      19 |   757093 |   576482 |     1462    846 |        0 |        0
67.37/67.46	c 67.4s |      19 |   778229 |   592482 |     1462    865 |        0 |        0
69.38/69.46	c 69.4s |      19 |   799048 |   608782 |     1462    884 |        0 |        0
71.37/71.46	c 71.4s |      19 |   821040 |   625882 |     1462    904 |        0 |        0
73.37/73.47	c 73.5s |      19 |   842878 |   642582 |     1462    924 |        0 |        0
75.37/75.47	c 75.5s |      19 |   864387 |   658982 |     1462    944 |        0 |        0
76.37/76.46	c 76.4s |      20 |   874470 |   666827 |     1609    953 |        0 |        0
78.37/78.46	c 78.4s |      20 |   895635 |   683027 |     1609    970 |        0 |        0
80.38/80.47	c 80.4s |      20 |   916920 |   699227 |     1609    988 |        0 |        0
82.37/82.47	c 82.4s |      20 |   938189 |   715527 |     1609   1006 |        0 |        0
84.37/84.47	c 84.5s |      20 |   960079 |   731927 |     1609   1024 |        0 |        0
86.37/86.48	c 86.5s |      20 |   980401 |   747627 |     1609   1042 |        0 |        0
88.37/88.49	c 88.5s |      20 |  1000223 |   763227 |     1609   1059 |        0 |        0
90.47/90.50	c 90.5s |      20 |  1020371 |   779127 |     1609   1076 |        0 |        0
92.47/92.50	c 92.5s |      20 |  1041555 |   795227 |     1609   1094 |        0 |        0
94.46/94.51	c 94.5s |      20 |  1061421 |   810127 |     1609   1110 |        0 |        0
96.46/96.52	c 96.5s |      20 |  1083122 |   826427 |     1609   1128 |        0 |        0
98.46/98.52	c 98.5s |      20 |  1102417 |   841727 |     1609   1146 |        0 |        0
100.47/100.53	c  100s |      20 |  1122308 |   857127 |     1609   1163 |        0 |        0
102.47/102.53	c  102s |      20 |  1143106 |   873327 |     1609   1181 |        0 |        0
104.48/104.54	c  104s |      20 |  1162991 |   888927 |     1609   1199 |        0 |        0
106.47/106.55	c  106s |      20 |  1184075 |   905127 |     1609   1217 |        0 |        0
108.47/108.56	c  108s |      20 |  1205661 |   921827 |     1609   1236 |        0 |        0
110.47/110.57	c  110s |      20 |  1224884 |   937027 |     1609   1253 |        0 |        0
112.47/112.58	c  112s |      20 |  1246470 |   953327 |     1609   1271 |        0 |        0
114.48/114.59	c  114s |      20 |  1265334 |   968427 |     1609   1288 |        0 |        0
116.58/116.60	c  116s |      20 |  1284788 |   984227 |     1609   1305 |        0 |        0
118.57/118.61	c  118s |      20 |  1303111 |   999127 |     1770   1321 |        0 |        0
118.67/118.78	c  118s |      21 |  1304625 |  1000345 |     1770   1322 |        0 |        0
120.67/120.78	c  120s |      21 |  1323665 |  1015045 |     1770   1337 |        0 |        0
122.67/122.79	c  122s |      21 |  1342778 |  1030245 |     1770   1352 |        0 |        0
124.67/124.79	c  124s |      21 |  1359942 |  1044045 |     1770   1366 |        0 |        0
126.76/126.80	c  126s |      21 |  1379814 |  1059545 |     1770   1382 |        0 |        0
128.77/128.81	c  128s |      21 |  1399974 |  1075345 |     1770   1398 |        0 |        0
130.76/130.82	c  130s |      21 |  1418770 |  1090545 |     1770   1414 |        0 |        0
132.76/132.83	c  132s |      21 |  1437867 |  1105745 |     1770   1429 |        0 |        0
134.76/134.83	c  134s |      21 |  1457165 |  1120645 |     1770   1444 |        0 |        0
136.76/136.84	c  136s |      21 |  1476465 |  1135545 |     1770   1459 |        0 |        0
138.76/138.85	c  138s |      21 |  1496230 |  1150945 |     1770   1475 |        0 |        0
140.77/140.85	c  140s |      21 |  1517253 |  1167145 |     1770   1492 |        0 |        0
142.77/142.86	c  142s |      21 |  1536983 |  1182545 |     1770   1507 |        0 |        0
144.77/144.86	c  144s |      21 |  1556138 |  1197545 |     1770   1522 |        0 |        0
146.77/146.87	c  146s |      21 |  1575852 |  1212745 |     1770   1538 |        0 |        0
148.77/148.87	c  148s |      21 |  1597732 |  1229645 |     1770   1555 |        0 |        0
150.77/150.88	c  150s |      21 |  1616742 |  1244645 |     1770   1570 |        0 |        0
152.76/152.88	c  152s |      21 |  1637826 |  1260445 |     1770   1587 |        0 |        0
154.76/154.88	c  154s |      21 |  1657983 |  1276345 |     1770   1603 |        0 |        0
156.76/156.89	c  156s |      21 |  1676084 |  1291145 |     1770   1618 |        0 |        0
158.86/158.90	c  158s |      21 |  1695241 |  1306245 |     1770   1633 |        0 |        0
160.86/160.91	c  160s |      21 |  1717154 |  1323045 |     1770   1651 |        0 |        0
162.87/162.92	c  162s |      21 |  1739421 |  1339545 |     1770   1668 |        0 |        0
164.86/164.92	c  164s |      21 |  1762064 |  1356045 |     1770   1685 |        0 |        0
166.86/166.92	c  166s |      21 |  1780758 |  1370945 |     1770   1700 |        0 |        0
168.86/168.93	c  168s |      21 |  1801982 |  1387445 |     1770   1718 |        0 |        0
170.86/170.94	c  170s |      21 |  1822853 |  1403245 |     1770   1734 |        0 |        0
172.86/172.95	c  172s |      21 |  1842086 |  1418545 |     1770   1750 |        0 |        0
174.87/174.96	c  174s |      21 |  1862440 |  1433945 |     1770   1766 |        0 |        0
176.86/176.97	c  176s |      21 |  1884615 |  1450345 |     1770   1783 |        0 |        0
178.86/178.97	c  178s |      21 |  1907689 |  1467545 |     1770   1801 |        0 |        0
180.85/180.97	c  180s |      21 |  1927462 |  1482845 |     1770   1817 |        0 |        0
182.85/182.99	c  182s |      21 |  1948119 |  1498745 |     1948   1833 |        0 |        0
183.15/183.22	c  183s |      22 |  1950899 |  1500622 |     1948   1835 |        0 |        0
185.15/185.23	c  185s |      22 |  1970366 |  1515222 |     1948   1848 |        0 |        0
187.15/187.25	c  187s |      22 |  1989625 |  1529322 |     1948   1862 |        0 |        0
189.16/189.25	c  189s |      22 |  2008979 |  1543722 |     1948   1875 |        0 |        0
191.15/191.26	c  191s |      22 |  2029252 |  1558622 |     1948   1889 |        0 |        0
193.15/193.27	c  193s |      22 |  2048239 |  1572722 |     1948   1902 |        0 |        0
195.15/195.28	c  195s |      22 |  2067861 |  1587522 |     1948   1916 |        0 |        0
197.15/197.28	c  197s |      22 |  2086581 |  1601422 |     1948   1929 |        0 |        0
199.16/199.29	c  199s |      22 |  2107237 |  1616222 |     1948   1943 |        0 |        0
201.15/201.29	c  201s |      22 |  2127156 |  1630522 |     1948   1956 |        0 |        0
203.25/203.30	c  203s |      22 |  2147906 |  1645622 |     1948   1970 |        0 |        0
205.25/205.30	c  205s |      22 |  2166548 |  1659722 |     1948   1983 |        0 |        0
207.25/207.31	c  207s |      22 |  2184544 |  1672922 |     1948   1996 |        0 |        0
209.25/209.32	c  209s |      22 |  2202642 |  1687222 |     1948   2009 |        0 |        0
211.25/211.33	c  211s |      22 |  2221490 |  1701822 |     1948   2023 |        0 |        0
213.26/213.34	c  213s |      22 |  2241212 |  1716822 |     1948   2037 |        0 |        0
215.26/215.35	c  215s |      22 |  2259489 |  1730522 |     1948   2050 |        0 |        0
217.25/217.35	c  217s |      22 |  2277447 |  1744422 |     1948   2063 |        0 |        0
219.25/219.35	c  219s |      22 |  2296582 |  1759122 |     1948   2076 |        0 |        0
221.25/221.35	c  221s |      22 |  2314746 |  1772722 |     1948   2089 |        0 |        0
223.26/223.37	c  223s |      22 |  2334392 |  1786822 |     1948   2102 |        0 |        0
225.25/225.37	c  225s |      22 |  2352813 |  1800522 |     1948   2115 |        0 |        0
227.25/227.37	c  227s |      22 |  2372360 |  1815222 |     1948   2129 |        0 |        0
229.25/229.39	c  229s |      22 |  2391001 |  1829222 |     1948   2142 |        0 |        0
231.25/231.39	c  231s |      22 |  2409831 |  1843722 |     1948   2155 |        0 |        0
233.26/233.39	c  233s |      22 |  2429357 |  1858422 |     1948   2169 |        0 |        0
235.25/235.40	c  235s |      22 |  2448103 |  1872322 |     1948   2182 |        0 |        0
237.35/237.40	c  237s |      22 |  2468859 |  1887322 |     1948   2196 |        0 |        0
239.35/239.40	c  239s |      22 |  2489978 |  1902922 |     1948   2210 |        0 |        0
241.35/241.42	c  241s |      22 |  2509743 |  1917222 |     1948   2224 |        0 |        0
243.35/243.42	c  243s |      22 |  2530605 |  1931822 |     1948   2237 |        0 |        0
245.35/245.42	c  245s |      22 |  2549380 |  1946222 |     1948   2251 |        0 |        0
247.34/247.44	c  247s |      22 |  2569522 |  1961122 |     1948   2265 |        0 |        0
249.34/249.44	c  249s |      22 |  2588356 |  1975522 |     1948   2278 |        0 |        0
251.34/251.44	c  251s |      22 |  2607583 |  1990222 |     1948   2292 |        0 |        0
253.34/253.45	c  253s |      22 |  2626712 |  2004822 |     1948   2305 |        0 |        0
255.34/255.46	c  255s |      22 |  2643990 |  2018722 |     1948   2318 |        0 |        0
257.35/257.46	c  257s |      22 |  2661230 |  2031822 |     1948   2330 |        0 |        0
259.34/259.47	c  259s |      22 |  2681395 |  2046822 |     1948   2344 |        0 |        0
261.34/261.47	c  261s |      22 |  2701619 |  2062122 |     1948   2358 |        0 |        0
263.34/263.47	c  263s |      22 |  2719598 |  2076522 |     1948   2372 |        0 |        0
265.34/265.48	c  265s |      22 |  2739190 |  2090822 |     1948   2385 |        0 |        0
267.35/267.48	c  267s |      22 |  2758149 |  2105422 |     1948   2399 |        0 |        0
269.35/269.50	c  269s |      22 |  2778436 |  2120022 |     1948   2413 |        0 |        0
271.45/271.51	c  271s |      22 |  2799347 |  2134822 |     1948   2426 |        0 |        0
273.45/273.51	c  273s |      22 |  2819371 |  2149822 |     1948   2440 |        0 |        0
275.45/275.52	c  275s |      22 |  2840751 |  2164922 |     1948   2454 |        0 |        0
277.45/277.52	c  277s |      22 |  2860829 |  2179322 |     1948   2468 |        0 |        0
279.45/279.54	c  279s |      22 |  2881655 |  2194722 |     1948   2482 |        0 |        0
281.45/281.54	c  281s |      22 |  2902518 |  2209922 |     1948   2496 |        0 |        0
283.44/283.56	c  283s |      22 |  2921980 |  2224322 |     1948   2510 |        0 |        0
285.44/285.57	c  285s |      22 |  2941227 |  2238422 |     2143   2523 |        0 |        0
287.44/287.58	c  287s |      22 |  2957067 |  2250422 |     2143   2533 |        0 |        0
287.54/287.68	c  287s |      23 |  2957858 |  2251038 |     2143   2534 |        0 |        0
289.54/289.69	c  289s |      23 |  2976669 |  2265238 |     2143   2546 |        0 |        0
291.55/291.69	c  291s |      23 |  2994890 |  2279238 |     2143   2558 |        0 |        0
293.65/293.70	c  293s |      23 |  3012502 |  2293638 |     2143   2570 |        0 |        0
295.64/295.71	c  295s |      23 |  3032439 |  2308638 |     2143   2583 |        0 |        0
297.64/297.71	c  297s |      23 |  3049925 |  2322338 |     2143   2595 |        0 |        0
299.64/299.72	c  299s |      23 |  3070187 |  2337338 |     2143   2608 |        0 |        0
301.64/301.72	c  301s |      23 |  3089832 |  2352138 |     2143   2621 |        0 |        0
303.65/303.73	c  303s |      23 |  3109254 |  2366438 |     2143   2633 |        0 |        0
305.64/305.74	c  305s |      23 |  3127636 |  2380938 |     2143   2646 |        0 |        0
307.64/307.74	c  307s |      23 |  3147002 |  2395338 |     2143   2658 |        0 |        0
309.64/309.75	c  309s |      23 |  3167326 |  2410438 |     2143   2671 |        0 |        0
311.64/311.77	c  311s |      23 |  3187963 |  2425538 |     2143   2684 |        0 |        0
313.64/313.78	c  313s |      23 |  3206959 |  2440138 |     2143   2697 |        0 |        0
315.64/315.78	c  315s |      23 |  3223714 |  2453638 |     2143   2708 |        0 |        0
317.63/317.79	c  317s |      23 |  3241870 |  2467538 |     2143   2720 |        0 |        0
319.73/319.80	c  319s |      23 |  3260335 |  2481438 |     2143   2732 |        0 |        0
321.73/321.81	c  321s |      23 |  3279825 |  2496238 |     2143   2745 |        0 |        0
323.73/323.82	c  323s |      23 |  3296881 |  2510238 |     2143   2757 |        0 |        0
325.73/325.84	c  325s |      23 |  3313692 |  2523538 |     2143   2769 |        0 |        0
327.74/327.84	c  327s |      23 |  3329799 |  2536038 |     2143   2779 |        0 |        0
329.73/329.84	c  329s |      23 |  3347150 |  2549538 |     2143   2791 |        0 |        0
331.73/331.84	c  331s |      23 |  3364782 |  2563238 |     2143   2803 |        0 |        0
333.73/333.85	c  333s |      23 |  3381267 |  2576438 |     2143   2814 |        0 |        0
335.73/335.86	c  335s |      23 |  3398559 |  2589938 |     2143   2825 |        0 |        0
337.73/337.88	c  337s |      23 |  3415140 |  2603038 |     2143   2837 |        0 |        0
339.74/339.88	c  339s |      23 |  3432457 |  2615938 |     2143   2848 |        0 |        0
341.74/341.88	c  341s |      23 |  3448970 |  2628838 |     2143   2859 |        0 |        0
343.83/343.90	c  343s |      23 |  3465128 |  2641738 |     2143   2870 |        0 |        0
345.83/345.91	c  345s |      23 |  3481730 |  2654438 |     2143   2881 |        0 |        0
347.83/347.91	c  347s |      23 |  3497644 |  2666938 |     2143   2892 |        0 |        0
349.84/349.92	c  349s |      23 |  3514211 |  2679638 |     2143   2903 |        0 |        0
351.83/351.92	c  351s |      23 |  3530908 |  2692638 |     2143   2914 |        0 |        0
353.83/353.94	c  353s |      23 |  3547533 |  2705738 |     2143   2925 |        0 |        0
355.83/355.95	c  355s |      23 |  3565374 |  2719338 |     2143   2937 |        0 |        0
357.83/357.95	c  357s |      23 |  3583200 |  2732938 |     2143   2949 |        0 |        0
359.83/359.95	c  359s |      23 |  3604431 |  2748538 |     2143   2962 |        0 |        0
361.83/361.95	c  361s |      23 |  3626089 |  2764438 |     2143   2976 |        0 |        0
363.82/363.96	c  363s |      23 |  3643736 |  2778338 |     2143   2988 |        0 |        0
365.82/365.96	c  365s |      23 |  3661732 |  2792338 |     2143   3000 |        0 |        0
367.82/367.97	c  367s |      23 |  3680602 |  2806638 |     2143   3012 |        0 |        0
369.83/369.98	c  369s |      23 |  3699137 |  2821038 |     2143   3025 |        0 |        0
371.83/371.99	c  371s |      23 |  3715813 |  2833938 |     2143   3036 |        0 |        0
373.83/374.00	c  373s |      23 |  3733080 |  2847238 |     2143   3048 |        0 |        0
375.92/376.00	c  375s |      23 |  3750633 |  2861038 |     2143   3060 |        0 |        0
377.92/378.00	c  377s |      23 |  3768940 |  2875138 |     2143   3072 |        0 |        0
379.92/380.01	c  379s |      23 |  3786220 |  2888938 |     2143   3083 |        0 |        0
381.92/382.03	c  382s |      23 |  3805195 |  2903338 |     2143   3096 |        0 |        0
383.93/384.03	c  384s |      23 |  3822571 |  2917138 |     2143   3108 |        0 |        0
385.92/386.04	c  386s |      23 |  3840916 |  2931238 |     2143   3120 |        0 |        0
387.92/388.05	c  388s |      23 |  3859105 |  2945138 |     2143   3132 |        0 |        0
389.92/390.05	c  390s |      23 |  3876523 |  2958638 |     2143   3143 |        0 |        0
391.92/392.06	c  392s |      23 |  3896448 |  2973938 |     2143   3157 |        0 |        0
393.92/394.06	c  394s |      23 |  3913117 |  2987538 |     2143   3168 |        0 |        0
395.93/396.06	c  396s |      23 |  3930710 |  3000838 |     2143   3180 |        0 |        0
397.93/398.07	c  398s |      23 |  3949267 |  3015138 |     2143   3192 |        0 |        0
399.93/400.09	c  400s |      23 |  3967886 |  3029338 |     2143   3205 |        0 |        0
401.92/402.09	c  402s |      23 |  3987952 |  3044238 |     2143   3217 |        0 |        0
404.02/404.11	c  404s |      23 |  4005561 |  3058238 |     2143   3230 |        0 |        0
406.02/406.12	c  406s |      23 |  4025250 |  3073138 |     2143   3242 |        0 |        0
408.03/408.14	c  408s |      23 |  4045159 |  3088138 |     2143   3255 |        0 |        0
410.02/410.14	c  410s |      23 |  4061539 |  3101138 |     2143   3267 |        0 |        0
412.02/412.15	c  412s |      23 |  4080478 |  3115638 |     2143   3279 |        0 |        0
414.01/414.16	c  414s |      23 |  4100438 |  3130538 |     2143   3292 |        0 |        0
416.01/416.16	c  416s |      23 |  4118950 |  3145238 |     2143   3305 |        0 |        0
418.02/418.17	c  418s |      23 |  4139812 |  3161038 |     2143   3318 |        0 |        0
420.01/420.17	c  420s |      23 |  4160619 |  3176638 |     2143   3332 |        0 |        0
422.01/422.18	c  422s |      23 |  4181014 |  3192338 |     2143   3345 |        0 |        0
424.11/424.20	c  424s |      23 |  4199985 |  3207538 |     2143   3359 |        0 |        0
426.11/426.20	c  426s |      23 |  4218323 |  3221738 |     2143   3371 |        0 |        0
428.10/428.21	c  428s |      23 |  4237838 |  3237238 |     2143   3384 |        0 |        0
430.11/430.21	c  430s |      23 |  4258150 |  3252538 |     2143   3397 |        0 |        0
432.10/432.21	c  432s |      23 |  4278145 |  3267838 |     2143   3410 |        0 |        0
434.10/434.22	c  434s |      23 |  4295539 |  3281238 |     2143   3422 |        0 |        0
436.10/436.23	c  436s |      23 |  4312457 |  3294438 |     2143   3433 |        0 |        0
438.10/438.25	c  438s |      23 |  4330678 |  3308438 |     2143   3446 |        0 |        0
440.10/440.25	c  440s |      23 |  4350288 |  3322938 |     2143   3458 |        0 |        0
442.11/442.27	c  442s |      23 |  4370172 |  3338138 |     2143   3471 |        0 |        0
444.10/444.28	c  444s |      23 |  4389003 |  3352438 |     2143   3484 |        0 |        0
446.10/446.29	c  446s |      23 |  4408647 |  3367138 |     2358   3495 |        0 |        0
447.40/447.57	c  447s |      24 |  4421181 |  3376662 |     2358   3503 |        0 |        0
449.40/449.58	c  449s |      24 |  4440602 |  3391062 |     2358   3514 |        0 |        0
451.39/451.59	c  451s |      24 |  4457933 |  3404762 |     2358   3524 |        0 |        0
453.39/453.59	c  453s |      24 |  4473986 |  3417162 |     2358   3534 |        0 |        0
455.40/455.59	c  455s |      24 |  4491869 |  3430862 |     2358   3545 |        0 |        0
457.50/457.61	c  457s |      24 |  4509151 |  3444362 |     2358   3555 |        0 |        0
459.49/459.61	c  459s |      24 |  4525236 |  3457562 |     2358   3566 |        0 |        0
461.49/461.61	c  461s |      24 |  4543170 |  3471562 |     2358   3576 |        0 |        0
463.48/463.62	c  463s |      24 |  4558860 |  3484462 |     2358   3587 |        0 |        0
465.49/465.62	c  465s |      24 |  4576724 |  3498262 |     2358   3597 |        0 |        0
467.49/467.63	c  467s |      24 |  4594183 |  3511762 |     2358   3608 |        0 |        0
469.48/469.65	c  469s |      24 |  4611501 |  3525162 |     2358   3618 |        0 |        0
471.48/471.65	c  471s |      24 |  4628737 |  3538762 |     2358   3629 |        0 |        0
473.49/473.66	c  473s |      24 |  4647711 |  3552862 |     2358   3640 |        0 |        0
475.49/475.67	c  475s |      24 |  4667275 |  3567562 |     2358   3651 |        0 |        0
477.49/477.68	c  477s |      24 |  4685806 |  3581762 |     2358   3662 |        0 |        0
479.49/479.70	c  479s |      24 |  4703981 |  3595862 |     2358   3674 |        0 |        0
481.59/481.70	c  481s |      24 |  4721608 |  3609862 |     2358   3684 |        0 |        0
483.58/483.72	c  483s |      24 |  4739954 |  3623962 |     2358   3696 |        0 |        0
485.58/485.73	c  485s |      24 |  4755807 |  3636662 |     2358   3706 |        0 |        0
487.58/487.74	c  487s |      24 |  4772599 |  3650062 |     2358   3716 |        0 |        0
489.58/489.74	c  489s |      24 |  4789687 |  3663562 |     2358   3727 |        0 |        0
491.59/491.75	c  491s |      24 |  4807273 |  3676962 |     2358   3737 |        0 |        0
493.57/493.76	c  493s |      24 |  4825636 |  3690762 |     2358   3748 |        0 |        0
495.57/495.77	c  495s |      24 |  4844508 |  3704862 |     2358   3759 |        0 |        0
497.57/497.78	c  497s |      24 |  4863852 |  3719562 |     2358   3770 |        0 |        0
499.57/499.79	c  499s |      24 |  4880226 |  3732662 |     2358   3781 |        0 |        0
501.58/501.79	c  501s |      24 |  4899248 |  3746662 |     2358   3792 |        0 |        0
503.56/503.80	c  503s |      24 |  4914260 |  3758862 |     2358   3801 |        0 |        0
505.66/505.81	c  505s |      24 |  4932134 |  3772562 |     2358   3812 |        0 |        0
507.66/507.82	c  507s |      24 |  4950490 |  3786362 |     2358   3823 |        0 |        0
509.67/509.83	c  509s |      24 |  4968397 |  3800062 |     2358   3834 |        0 |        0
511.67/511.83	c  511s |      24 |  4985686 |  3813462 |     2358   3844 |        0 |        0
513.67/513.85	c  513s |      24 |  5002669 |  3826762 |     2358   3854 |        0 |        0
515.67/515.85	c  515s |      24 |  5019760 |  3839662 |     2358   3865 |        0 |        0
517.67/517.85	c  517s |      24 |  5037978 |  3853562 |     2358   3875 |        0 |        0
519.67/519.86	c  519s |      24 |  5055924 |  3867362 |     2358   3886 |        0 |        0
521.67/521.87	c  521s |      24 |  5072820 |  3880562 |     2358   3897 |        0 |        0
523.66/523.87	c  523s |      24 |  5091046 |  3894362 |     2358   3907 |        0 |        0
525.67/525.88	c  525s |      24 |  5109659 |  3908262 |     2358   3918 |        0 |        0
527.66/527.88	c  527s |      24 |  5128888 |  3922262 |     2358   3929 |        0 |        0
529.66/529.90	c  529s |      24 |  5146216 |  3935762 |     2358   3940 |        0 |        0
531.76/531.90	c  531s |      24 |  5165274 |  3949462 |     2358   3951 |        0 |        0
533.75/533.90	c  533s |      24 |  5182145 |  3962462 |     2358   3961 |        0 |        0
535.75/535.90	c  535s |      24 |  5200104 |  3975862 |     2358   3971 |        0 |        0
537.65/537.90	c  537s |      24 |  5218439 |  3989562 |     2358   3982 |        0 |        0
539.75/539.91	c  539s |      24 |  5237454 |  4003562 |     2358   3993 |        0 |        0
541.75/541.92	c  541s |      24 |  5254860 |  4017062 |     2358   4004 |        0 |        0
543.75/543.92	c  543s |      24 |  5271184 |  4029662 |     2358   4014 |        0 |        0
545.75/545.93	c  545s |      24 |  5289389 |  4043262 |     2358   4024 |        0 |        0
547.76/547.95	c  547s |      24 |  5307580 |  4056762 |     2358   4035 |        0 |        0
549.75/549.95	c  549s |      24 |  5325684 |  4070662 |     2358   4046 |        0 |        0
551.75/551.96	c  551s |      24 |  5346159 |  4085562 |     2358   4058 |        0 |        0
553.74/553.98	c  553s |      24 |  5364216 |  4099262 |     2358   4068 |        0 |        0
555.74/555.98	c  555s |      24 |  5381092 |  4112462 |     2358   4079 |        0 |        0
557.74/557.99	c  557s |      24 |  5399151 |  4125962 |     2358   4089 |        0 |        0
559.75/559.99	c  559s |      24 |  5417458 |  4140062 |     2358   4100 |        0 |        0
561.84/562.00	c  561s |      24 |  5435074 |  4153562 |     2358   4111 |        0 |        0
563.84/564.00	c  563s |      24 |  5453823 |  4167762 |     2358   4122 |        0 |        0
565.84/566.01	c  565s |      24 |  5473397 |  4182462 |     2358   4134 |        0 |        0
567.84/568.01	c  567s |      24 |  5492237 |  4196462 |     2358   4145 |        0 |        0
569.84/570.03	c  570s |      24 |  5511222 |  4211062 |     2358   4156 |        0 |        0
571.84/572.03	c  572s |      24 |  5530915 |  4226162 |     2358   4168 |        0 |        0
573.83/574.05	c  574s |      24 |  5549378 |  4239962 |     2358   4179 |        0 |        0
575.83/576.06	c  576s |      24 |  5566960 |  4252962 |     2358   4189 |        0 |        0
577.84/578.07	c  578s |      24 |  5585979 |  4267062 |     2358   4200 |        0 |        0
579.84/580.07	c  580s |      24 |  5601945 |  4279562 |     2358   4210 |        0 |        0
581.84/582.07	c  582s |      24 |  5617770 |  4291762 |     2358   4219 |        0 |        0
583.83/584.08	c  584s |      24 |  5633321 |  4303562 |     2358   4228 |        0 |        0
585.83/586.09	c  586s |      24 |  5648744 |  4315562 |     2358   4238 |        0 |        0
587.93/588.10	c  588s |      24 |  5663193 |  4327262 |     2358   4247 |        0 |        0
589.93/590.11	c  590s |      24 |  5680056 |  4340162 |     2358   4257 |        0 |        0
591.93/592.12	c  592s |      24 |  5695998 |  4352662 |     2358   4267 |        0 |        0
593.93/594.13	c  594s |      24 |  5713847 |  4366262 |     2358   4278 |        0 |        0
595.93/596.13	c  596s |      24 |  5730569 |  4379062 |     2358   4288 |        0 |        0
597.93/598.15	c  598s |      24 |  5747683 |  4392562 |     2358   4299 |        0 |        0
599.92/600.16	c  600s |      24 |  5764111 |  4405262 |     2358   4309 |        0 |        0
601.93/602.17	c  602s |      24 |  5781221 |  4418262 |     2358   4319 |        0 |        0
603.92/604.18	c  604s |      24 |  5798482 |  4431162 |     2358   4329 |        0 |        0
605.93/606.18	c  606s |      24 |  5814899 |  4443762 |     2358   4339 |        0 |        0
607.92/608.19	c  608s |      24 |  5832068 |  4456862 |     2358   4349 |        0 |        0
609.92/610.19	c  610s |      24 |  5848419 |  4469662 |     2358   4359 |        0 |        0
612.02/612.20	c  612s |      24 |  5864571 |  4482262 |     2358   4369 |        0 |        0
614.01/614.21	c  614s |      24 |  5882130 |  4495662 |     2358   4380 |        0 |        0
616.01/616.22	c  616s |      24 |  5899728 |  4508962 |     2358   4390 |        0 |        0
618.02/618.22	c  618s |      24 |  5918074 |  4522462 |     2358   4401 |        0 |        0
620.01/620.24	c  620s |      24 |  5936288 |  4536662 |     2358   4412 |        0 |        0
622.01/622.24	c  622s |      24 |  5954543 |  4550162 |     2358   4423 |        0 |        0
624.01/624.25	c  624s |      24 |  5972646 |  4563762 |     2358   4434 |        0 |        0
626.01/626.26	c  626s |      24 |  5988967 |  4576462 |     2358   4444 |        0 |        0
628.01/628.26	c  628s |      24 |  6006615 |  4589762 |     2358   4454 |        0 |        0
630.00/630.27	c  630s |      24 |  6021846 |  4602162 |     2358   4464 |        0 |        0
632.00/632.28	c  632s |      24 |  6038816 |  4614862 |     2358   4474 |        0 |        0
634.10/634.30	c  634s |      24 |  6055499 |  4627562 |     2358   4484 |        0 |        0
636.10/636.30	c  636s |      24 |  6072704 |  4641062 |     2358   4495 |        0 |        0
638.10/638.31	c  638s |      24 |  6090054 |  4654562 |     2358   4505 |        0 |        0
640.10/640.31	c  640s |      24 |  6107190 |  4668062 |     2358   4516 |        0 |        0
642.10/642.32	c  642s |      24 |  6124483 |  4681162 |     2358   4526 |        0 |        0
644.10/644.32	c  644s |      24 |  6140701 |  4694162 |     2358   4536 |        0 |        0
646.10/646.33	c  646s |      24 |  6156554 |  4707162 |     2358   4546 |        0 |        0
648.10/648.34	c  648s |      24 |  6172644 |  4720162 |     2358   4556 |        0 |        0
650.10/650.34	c  650s |      24 |  6188864 |  4732762 |     2358   4566 |        0 |        0
652.11/652.34	c  652s |      24 |  6205552 |  4745762 |     2358   4576 |        0 |        0
654.10/654.35	c  654s |      24 |  6224706 |  4759762 |     2358   4587 |        0 |        0
656.10/656.35	c  656s |      24 |  6240626 |  4772862 |     2358   4598 |        0 |        0
658.10/658.37	c  658s |      24 |  6257066 |  4786562 |     2358   4608 |        0 |        0
660.09/660.38	c  660s |      24 |  6275659 |  4800862 |     2358   4620 |        0 |        0
662.10/662.39	c  662s |      24 |  6293214 |  4814362 |     2358   4630 |        0 |        0
664.09/664.40	c  664s |      24 |  6307872 |  4826562 |     2358   4640 |        0 |        0
666.19/666.41	c  666s |      24 |  6323918 |  4838862 |     2358   4649 |        0 |        0
668.19/668.41	c  668s |      24 |  6341236 |  4852062 |     2358   4660 |        0 |        0
670.19/670.42	c  670s |      24 |  6358076 |  4864762 |     2358   4670 |        0 |        0
672.19/672.42	c  672s |      24 |  6375042 |  4877762 |     2358   4680 |        0 |        0
674.19/674.43	c  674s |      24 |  6392309 |  4890962 |     2358   4690 |        0 |        0
676.19/676.44	c  676s |      24 |  6410485 |  4904762 |     2358   4701 |        0 |        0
678.19/678.44	c  678s |      24 |  6427638 |  4917962 |     2358   4711 |        0 |        0
680.19/680.45	c  680s |      24 |  6445646 |  4931562 |     2358   4722 |        0 |        0
682.19/682.45	c  682s |      24 |  6463367 |  4945262 |     2358   4733 |        0 |        0
684.18/684.46	c  684s |      24 |  6482370 |  4959262 |     2358   4744 |        0 |        0
686.19/686.46	c  686s |      24 |  6501490 |  4973762 |     2358   4755 |        0 |        0
688.18/688.46	c  688s |      24 |  6518535 |  4987262 |     2358   4766 |        0 |        0
690.18/690.46	c  690s |      24 |  6536707 |  5001062 |     2358   4777 |        0 |        0
692.18/692.47	c  692s |      24 |  6555193 |  5015462 |     2358   4788 |        0 |        0
694.17/694.48	c  694s |      24 |  6573992 |  5030162 |     2594   4799 |        0 |        0
696.18/696.49	c  696s |      24 |  6590768 |  5043262 |     2594   4809 |        0 |        0
698.17/698.49	c  698s |      24 |  6607863 |  5056462 |     2594   4818 |        0 |        0
699.48/699.73	c  699s |      25 |  6619593 |  5065098 |     2594   4824 |        0 |        0
701.47/701.73	c  701s |      25 |  6637346 |  5079398 |     2594   4835 |        0 |        0
703.47/703.74	c  703s |      25 |  6654765 |  5092998 |     2594   4844 |        0 |        0
705.47/705.75	c  705s |      25 |  6672612 |  5107098 |     2594   4854 |        0 |        0
707.47/707.76	c  707s |      25 |  6691048 |  5120898 |     2594   4864 |        0 |        0
709.47/709.76	c  709s |      25 |  6710617 |  5135198 |     2594   4875 |        0 |        0
711.47/711.77	c  711s |      25 |  6730260 |  5149298 |     2594   4885 |        0 |        0
713.46/713.77	c  713s |      25 |  6749345 |  5163698 |     2594   4895 |        0 |        0
715.46/715.77	c  715s |      25 |  6768112 |  5177798 |     2594   4905 |        0 |        0
717.46/717.78	c  717s |      25 |  6784651 |  5190298 |     2594   4914 |        0 |        0
719.46/719.79	c  719s |      25 |  6801478 |  5202998 |     2594   4923 |        0 |        0
721.46/721.79	c  721s |      25 |  6818646 |  5216298 |     2594   4933 |        0 |        0
723.56/723.81	c  723s |      25 |  6836332 |  5229298 |     2594   4942 |        0 |        0
725.55/725.83	c  725s |      25 |  6854539 |  5243198 |     2594   4952 |        0 |        0
727.55/727.84	c  727s |      25 |  6873140 |  5256698 |     2594   4962 |        0 |        0
729.55/729.84	c  729s |      25 |  6889269 |  5269398 |     2594   4971 |        0 |        0
731.55/731.86	c  731s |      25 |  6907921 |  5283298 |     2594   4981 |        0 |        0
733.55/733.87	c  733s |      25 |  6925577 |  5297398 |     2594   4992 |        0 |        0
735.54/735.88	c  735s |      25 |  6946450 |  5312998 |     2594   5003 |        0 |        0
737.54/737.88	c  737s |      25 |  6964859 |  5327198 |     2594   5013 |        0 |        0
739.54/739.89	c  739s |      25 |  6983338 |  5341398 |     2594   5023 |        0 |        0
741.54/741.89	c  741s |      25 |  7003510 |  5356298 |     2594   5034 |        0 |        0
743.64/743.91	c  743s |      25 |  7022436 |  5370698 |     2594   5045 |        0 |        0
745.65/745.92	c  745s |      25 |  7042153 |  5385698 |     2594   5055 |        0 |        0
747.64/747.92	c  747s |      25 |  7060816 |  5399798 |     2594   5066 |        0 |        0
749.64/749.92	c  749s |      25 |  7079461 |  5413898 |     2594   5076 |        0 |        0
751.64/751.93	c  751s |      25 |  7098984 |  5428698 |     2594   5086 |        0 |        0
753.63/753.95	c  753s |      25 |  7117516 |  5442798 |     2594   5097 |        0 |        0
755.63/755.95	c  755s |      25 |  7135062 |  5456598 |     2594   5106 |        0 |        0
757.64/757.95	c  757s |      25 |  7152695 |  5470198 |     2594   5116 |        0 |        0
759.63/759.95	c  759s |      25 |  7171102 |  5484398 |     2594   5127 |        0 |        0
761.63/761.96	c  761s |      25 |  7188923 |  5497898 |     2594   5136 |        0 |        0
763.63/763.96	c  763s |      25 |  7207868 |  5512198 |     2594   5147 |        0 |        0
765.62/765.97	c  765s |      25 |  7226672 |  5526198 |     2594   5157 |        0 |        0
767.63/767.97	c  767s |      25 |  7246050 |  5540698 |     2594   5167 |        0 |        0
769.63/769.97	c  769s |      25 |  7266259 |  5555998 |     2594   5178 |        0 |        0
771.63/771.98	c  771s |      25 |  7287285 |  5570598 |     2594   5189 |        0 |        0
773.63/773.98	c  773s |      25 |  7305116 |  5584898 |     2594   5199 |        0 |        0
775.63/775.99	c  775s |      25 |  7323304 |  5598998 |     2594   5209 |        0 |        0
777.73/778.00	c  777s |      25 |  7342192 |  5613298 |     2594   5219 |        0 |        0
779.73/780.01	c  779s |      25 |  7361672 |  5627498 |     2594   5230 |        0 |        0
781.73/782.02	c  781s |      25 |  7379883 |  5641798 |     2594   5240 |        0 |        0
783.72/784.02	c  783s |      25 |  7399169 |  5656298 |     2594   5250 |        0 |        0
785.72/786.02	c  785s |      25 |  7417718 |  5670398 |     2594   5260 |        0 |        0
787.72/788.03	c  788s |      25 |  7438139 |  5685398 |     2594   5271 |        0 |        0
789.72/790.04	c  790s |      25 |  7458393 |  5700098 |     2594   5282 |        0 |        0
791.73/792.04	c  792s |      25 |  7475885 |  5713698 |     2594   5292 |        0 |        0
793.72/794.05	c  794s |      25 |  7494361 |  5727698 |     2594   5302 |        0 |        0
795.72/796.06	c  796s |      25 |  7512429 |  5741398 |     2594   5312 |        0 |        0
797.72/798.07	c  798s |      25 |  7530214 |  5755398 |     2594   5322 |        0 |        0
799.72/800.08	c  800s |      25 |  7549358 |  5769598 |     2594   5332 |        0 |        0
801.72/802.09	c  802s |      25 |  7568663 |  5783898 |     2594   5342 |        0 |        0
803.71/804.10	c  804s |      25 |  7587351 |  5797898 |     2594   5352 |        0 |        0
805.81/806.10	c  806s |      25 |  7608116 |  5812698 |     2594   5363 |        0 |        0
807.81/808.11	c  808s |      25 |  7629092 |  5827898 |     2594   5374 |        0 |        0
809.81/810.11	c  810s |      25 |  7649077 |  5842698 |     2594   5385 |        0 |        0
811.81/812.12	c  812s |      25 |  7669134 |  5857098 |     2594   5395 |        0 |        0
813.81/814.12	c  814s |      25 |  7686339 |  5870998 |     2594   5405 |        0 |        0
815.80/816.13	c  816s |      25 |  7702516 |  5883598 |     2594   5414 |        0 |        0
817.80/818.14	c  818s |      25 |  7719830 |  5896898 |     2594   5424 |        0 |        0
819.80/820.15	c  820s |      25 |  7736765 |  5909698 |     2594   5433 |        0 |        0
821.80/822.15	c  822s |      25 |  7756225 |  5923798 |     2594   5443 |        0 |        0
823.79/824.15	c  824s |      25 |  7775262 |  5937798 |     2594   5453 |        0 |        0
825.80/826.16	c  826s |      25 |  7793603 |  5951798 |     2594   5463 |        0 |        0
827.79/828.16	c  828s |      25 |  7812085 |  5966498 |     2594   5474 |        0 |        0
829.79/830.17	c  830s |      25 |  7830045 |  5980598 |     2594   5484 |        0 |        0
831.79/832.18	c  832s |      25 |  7848998 |  5994198 |     2594   5494 |        0 |        0
833.79/834.18	c  834s |      25 |  7865451 |  6007198 |     2594   5503 |        0 |        0
835.80/836.18	c  836s |      25 |  7883794 |  6021498 |     2594   5514 |        0 |        0
837.79/838.18	c  838s |      25 |  7902333 |  6035698 |     2594   5524 |        0 |        0
839.79/840.18	c  840s |      25 |  7920012 |  6049398 |     2594   5534 |        0 |        0
841.79/842.18	c  842s |      25 |  7938999 |  6063398 |     2594   5544 |        0 |        0
843.78/844.19	c  844s |      25 |  7958284 |  6077898 |     2594   5554 |        0 |        0
845.88/846.20	c  846s |      25 |  7975941 |  6091898 |     2594   5564 |        0 |        0
847.79/848.20	c  848s |      25 |  7993690 |  6105498 |     2594   5574 |        0 |        0
849.88/850.21	c  850s |      25 |  8010721 |  6118298 |     2594   5584 |        0 |        0
851.88/852.23	c  852s |      25 |  8028718 |  6131998 |     2594   5594 |        0 |        0
853.88/854.23	c  854s |      25 |  8048511 |  6146498 |     2594   5604 |        0 |        0
855.88/856.23	c  856s |      25 |  8067298 |  6160898 |     2594   5614 |        0 |        0
857.88/858.24	c  858s |      25 |  8085553 |  6174498 |     2594   5624 |        0 |        0
859.89/860.24	c  860s |      25 |  8103860 |  6188698 |     2594   5634 |        0 |        0
861.88/862.25	c  862s |      25 |  8120660 |  6202198 |     2594   5644 |        0 |        0
863.88/864.26	c  864s |      25 |  8141493 |  6217098 |     2594   5655 |        0 |        0
865.88/866.27	c  866s |      25 |  8159309 |  6230598 |     2594   5665 |        0 |        0
867.88/868.27	c  868s |      25 |  8176734 |  6243798 |     2594   5674 |        0 |        0
869.88/870.28	c  870s |      25 |  8194424 |  6257198 |     2594   5684 |        0 |        0
871.88/872.28	c  872s |      25 |  8212457 |  6271398 |     2594   5694 |        0 |        0
873.87/874.29	c  874s |      25 |  8230196 |  6285098 |     2594   5704 |        0 |        0
875.87/876.29	c  876s |      25 |  8247982 |  6298598 |     2594   5714 |        0 |        0
877.87/878.29	c  878s |      25 |  8267791 |  6312498 |     2594   5724 |        0 |        0
879.97/880.31	c  880s |      25 |  8286720 |  6326698 |     2594   5734 |        0 |        0
881.98/882.32	c  882s |      25 |  8307407 |  6342098 |     2594   5745 |        0 |        0
883.97/884.32	c  884s |      25 |  8327019 |  6356298 |     2594   5755 |        0 |        0
885.97/886.33	c  886s |      25 |  8347237 |  6370898 |     2594   5766 |        0 |        0
887.96/888.34	c  888s |      25 |  8366069 |  6384898 |     2594   5776 |        0 |        0
889.96/890.35	c  890s |      25 |  8385210 |  6398998 |     2594   5786 |        0 |        0
891.96/892.37	c  892s |      25 |  8405258 |  6413698 |     2594   5797 |        0 |        0
893.96/894.38	c  894s |      25 |  8422712 |  6426798 |     2594   5806 |        0 |        0
895.95/896.39	c  896s |      25 |  8441121 |  6440298 |     2594   5816 |        0 |        0
897.96/898.39	c  898s |      25 |  8460077 |  6454298 |     2594   5826 |        0 |        0
900.06/900.40	c  900s |      25 |  8478476 |  6467798 |     2594   5836 |        0 |        0
902.05/902.41	c  902s |      25 |  8496352 |  6481198 |     2594   5846 |        0 |        0
904.05/904.42	c  904s |      25 |  8516028 |  6495198 |     2594   5856 |        0 |        0
906.06/906.42	c  906s |      25 |  8535225 |  6509098 |     2594   5866 |        0 |        0
908.05/908.43	c  908s |      25 |  8552999 |  6522398 |     2594   5876 |        0 |        0
910.05/910.43	c  910s |      25 |  8572604 |  6536998 |     2594   5886 |        0 |        0
912.05/912.44	c  912s |      25 |  8588788 |  6549598 |     2594   5895 |        0 |        0
914.04/914.45	c  914s |      25 |  8606720 |  6563498 |     2594   5905 |        0 |        0
916.05/916.46	c  916s |      25 |  8625465 |  6577498 |     2594   5915 |        0 |        0
918.04/918.46	c  918s |      25 |  8645067 |  6592098 |     2594   5926 |        0 |        0
920.05/920.48	c  920s |      25 |  8665483 |  6606698 |     2594   5937 |        0 |        0
922.05/922.49	c  922s |      25 |  8684456 |  6620498 |     2594   5947 |        0 |        0
924.14/924.50	c  924s |      25 |  8700080 |  6633298 |     2594   5956 |        0 |        0
926.14/926.51	c  926s |      25 |  8720750 |  6648498 |     2594   5967 |        0 |        0
928.15/928.52	c  928s |      25 |  8740673 |  6662798 |     2594   5977 |        0 |        0
930.14/930.52	c  930s |      25 |  8758757 |  6676798 |     2594   5987 |        0 |        0
932.14/932.53	c  932s |      25 |  8776598 |  6689798 |     2594   5996 |        0 |        0
934.14/934.55	c  934s |      25 |  8794021 |  6702898 |     2594   6006 |        0 |        0
936.14/936.56	c  936s |      25 |  8812090 |  6716698 |     2594   6015 |        0 |        0
938.14/938.57	c  938s |      25 |  8828814 |  6729798 |     2594   6025 |        0 |        0
940.15/940.57	c  940s |      25 |  8847619 |  6743998 |     2594   6035 |        0 |        0
942.14/942.58	c  942s |      25 |  8866669 |  6758298 |     2594   6045 |        0 |        0
944.13/944.59	c  944s |      25 |  8884898 |  6772098 |     2594   6055 |        0 |        0
946.23/946.60	c  946s |      25 |  8903727 |  6786398 |     2594   6065 |        0 |        0
948.23/948.60	c  948s |      25 |  8921737 |  6800098 |     2594   6075 |        0 |        0
950.23/950.61	c  950s |      25 |  8940547 |  6813898 |     2594   6085 |        0 |        0
952.24/952.61	c  952s |      25 |  8959673 |  6828298 |     2594   6095 |        0 |        0
954.23/954.62	c  954s |      25 |  8980566 |  6843698 |     2594   6107 |        0 |        0
956.23/956.63	c  956s |      25 |  9001264 |  6858998 |     2594   6118 |        0 |        0
958.23/958.63	c  958s |      25 |  9020754 |  6873798 |     2594   6128 |        0 |        0
960.23/960.63	c  960s |      25 |  9041532 |  6889298 |     2594   6139 |        0 |        0
962.23/962.64	c  962s |      25 |  9061836 |  6904398 |     2594   6150 |        0 |        0
964.22/964.64	c  964s |      25 |  9081877 |  6919098 |     2594   6161 |        0 |        0
966.22/966.65	c  966s |      25 |  9101718 |  6933698 |     2594   6171 |        0 |        0
968.22/968.66	c  968s |      25 |  9120033 |  6947898 |     2594   6182 |        0 |        0
970.22/970.66	c  970s |      25 |  9138281 |  6961798 |     2594   6192 |        0 |        0
972.22/972.68	c  972s |      25 |  9158147 |  6976598 |     2594   6202 |        0 |        0
974.22/974.70	c  974s |      25 |  9176331 |  6990498 |     2594   6212 |        0 |        0
976.31/976.70	c  976s |      25 |  9194480 |  7004498 |     2594   6222 |        0 |        0
978.31/978.71	c  978s |      25 |  9213306 |  7018498 |     2594   6232 |        0 |        0
980.31/980.71	c  980s |      25 |  9231852 |  7032498 |     2594   6242 |        0 |        0
982.31/982.71	c  982s |      25 |  9251949 |  7047498 |     2594   6253 |        0 |        0
984.31/984.73	c  984s |      25 |  9271058 |  7061698 |     2594   6263 |        0 |        0
986.32/986.74	c  986s |      25 |  9288530 |  7075198 |     2594   6273 |        0 |        0
988.31/988.75	c  988s |      25 |  9307307 |  7088898 |     2594   6283 |        0 |        0
990.31/990.76	c  990s |      25 |  9326909 |  7103898 |     2594   6294 |        0 |        0
992.31/992.77	c  992s |      25 |  9344759 |  7117698 |     2594   6304 |        0 |        0
994.31/994.78	c  994s |      25 |  9362610 |  7131098 |     2594   6314 |        0 |        0
996.31/996.79	c  996s |      25 |  9381040 |  7144598 |     2594   6323 |        0 |        0
998.31/998.79	c  998s |      25 |  9399442 |  7158698 |     2594   6334 |        0 |        0
1000.40/1000.80	c 1000s |      25 |  9417779 |  7172498 |     2594   6344 |        0 |        0
1002.40/1002.81	c 1002s |      25 |  9437608 |  7186998 |     2594   6354 |        0 |        0
1004.40/1004.81	c 1004s |      25 |  9457049 |  7201198 |     2594   6364 |        0 |        0
1006.40/1006.82	c 1006s |      25 |  9477298 |  7216198 |     2594   6375 |        0 |        0
1008.40/1008.83	c 1008s |      25 |  9496995 |  7230298 |     2594   6385 |        0 |        0
1010.41/1010.83	c 1010s |      25 |  9515997 |  7245098 |     2594   6396 |        0 |        0
1012.40/1012.84	c 1012s |      25 |  9533624 |  7258498 |     2594   6406 |        0 |        0
1014.40/1014.85	c 1014s |      25 |  9550791 |  7271598 |     2594   6415 |        0 |        0
1016.40/1016.85	c 1016s |      25 |  9567686 |  7284498 |     2594   6425 |        0 |        0
1018.40/1018.85	c 1018s |      25 |  9585825 |  7298098 |     2594   6434 |        0 |        0
1020.40/1020.86	c 1020s |      25 |  9604079 |  7312398 |     2594   6445 |        0 |        0
1022.39/1022.86	c 1022s |      25 |  9623374 |  7326398 |     2594   6455 |        0 |        0
1024.39/1024.87	c 1024s |      25 |  9640156 |  7339298 |     2594   6464 |        0 |        0
1026.39/1026.87	c 1026s |      25 |  9658014 |  7352998 |     2594   6474 |        0 |        0
1028.39/1028.88	c 1028s |      25 |  9676544 |  7367098 |     2594   6484 |        0 |        0
1030.40/1030.89	c 1030s |      25 |  9694059 |  7380698 |     2594   6494 |        0 |        0
1032.39/1032.90	c 1032s |      25 |  9710733 |  7393598 |     2594   6504 |        0 |        0
1034.49/1034.91	c 1034s |      25 |  9729456 |  7407698 |     2594   6514 |        0 |        0
1036.49/1036.91	c 1036s |      25 |  9749120 |  7422698 |     2594   6525 |        0 |        0
1038.49/1038.91	c 1038s |      25 |  9765000 |  7435198 |     2594   6534 |        0 |        0
1040.48/1040.91	c 1040s |      25 |  9784738 |  7450098 |     2594   6544 |        0 |        0
1042.49/1042.93	c 1042s |      25 |  9803297 |  7464198 |     2594   6554 |        0 |        0
1044.48/1044.94	c 1044s |      25 |  9823664 |  7479198 |     2594   6565 |        0 |        0
1046.48/1046.95	c 1046s |      25 |  9844216 |  7493498 |     2594   6576 |        0 |        0
1048.48/1048.96	c 1048s |      25 |  9863491 |  7508198 |     2594   6586 |        0 |        0
1050.48/1050.96	c 1050s |      25 |  9882717 |  7522798 |     2594   6597 |        0 |        0
1052.48/1052.97	c 1052s |      25 |  9901925 |  7537698 |     2594   6608 |        0 |        0
1054.49/1054.97	c 1054s |      25 |  9918765 |  7550998 |     2854   6617 |        0 |        0
1056.48/1056.99	c 1056s |      25 |  9937996 |  7565098 |     2854   6626 |        0 |        0
1058.48/1058.99	c 1058s |      25 |  9957347 |  7579298 |     2854   6635 |        0 |        0
1060.48/1060.99	c 1060s |      25 |  9975993 |  7593198 |     2854   6644 |        0 |        0
1061.18/1061.66	c 1061s |      26 |  9982079 |  7597752 |     2854   6647 |        0 |        0
1063.18/1063.67	c 1063s |      26 | 10000381 |  7611652 |     2854   6656 |        0 |        0
1065.18/1065.69	c 1065s |      26 | 10017644 |  7625552 |     2854   6666 |        0 |        0
1067.18/1067.69	c 1067s |      26 | 10036383 |  7639752 |     2854   6675 |        0 |        0
1069.18/1069.69	c 1069s |      26 | 10053217 |  7653352 |     2854   6684 |        0 |        0
1071.28/1071.70	c 1071s |      26 | 10070199 |  7666552 |     2854   6692 |        0 |        0
1073.28/1073.72	c 1073s |      26 | 10086470 |  7679252 |     2854   6701 |        0 |        0
1075.27/1075.74	c 1075s |      26 | 10101706 |  7691152 |     2854   6708 |        0 |        0
1077.27/1077.74	c 1077s |      26 | 10118912 |  7703852 |     2854   6717 |        0 |        0
1079.27/1079.75	c 1079s |      26 | 10136113 |  7717252 |     2854   6725 |        0 |        0
1081.27/1081.75	c 1081s |      26 | 10153017 |  7730252 |     2854   6734 |        0 |        0
1083.27/1083.75	c 1083s |      26 | 10169696 |  7743352 |     2854   6743 |        0 |        0
1085.28/1085.75	c 1085s |      26 | 10189333 |  7758552 |     2854   6752 |        0 |        0
1087.27/1087.76	c 1087s |      26 | 10207378 |  7772852 |     2854   6762 |        0 |        0
1089.27/1089.76	c 1089s |      26 | 10226602 |  7787852 |     2854   6771 |        0 |        0
1091.27/1091.76	c 1091s |      26 | 10247901 |  7803552 |     2854   6782 |        0 |        0
1093.28/1093.76	c 1093s |      26 | 10268006 |  7819052 |     2854   6792 |        0 |        0
1095.29/1095.77	c 1095s |      26 | 10288358 |  7834952 |     2854   6802 |        0 |        0
1097.28/1097.77	c 1097s |      26 | 10305278 |  7847952 |     2854   6810 |        0 |        0
1099.28/1099.78	c 1099s |      26 | 10321759 |  7860852 |     2854   6819 |        0 |        0
1101.38/1101.80	c 1101s |      26 | 10338654 |  7873952 |     2854   6827 |        0 |        0
1103.38/1103.80	c 1103s |      26 | 10355804 |  7887152 |     2854   6836 |        0 |        0
1105.38/1105.80	c 1105s |      26 | 10372603 |  7900352 |     2854   6845 |        0 |        0
1107.38/1107.82	c 1107s |      26 | 10389047 |  7912952 |     2854   6853 |        0 |        0
1109.38/1109.83	c 1109s |      26 | 10406079 |  7926252 |     2854   6862 |        0 |        0
1111.37/1111.85	c 1111s |      26 | 10423744 |  7939652 |     2854   6870 |        0 |        0
1113.37/1113.86	c 1113s |      26 | 10439068 |  7952052 |     2854   6878 |        0 |        0
1115.37/1115.87	c 1115s |      26 | 10455403 |  7964852 |     2854   6887 |        0 |        0
1117.37/1117.88	c 1117s |      26 | 10470804 |  7977152 |     2854   6895 |        0 |        0
1119.38/1119.89	c 1119s |      26 | 10487808 |  7990252 |     2854   6903 |        0 |        0
1121.37/1121.89	c 1121s |      26 | 10505374 |  8003652 |     2854   6912 |        0 |        0
1123.47/1123.90	c 1123s |      26 | 10522309 |  8016552 |     2854   6920 |        0 |        0
1125.47/1125.91	c 1125s |      26 | 10539114 |  8029552 |     2854   6928 |        0 |        0
1127.47/1127.92	c 1127s |      26 | 10556266 |  8042952 |     2854   6937 |        0 |        0
1129.47/1129.93	c 1129s |      26 | 10573033 |  8055952 |     2854   6946 |        0 |        0
1131.48/1131.94	c 1131s |      26 | 10588715 |  8068452 |     2854   6954 |        0 |        0
1133.47/1133.95	c 1133s |      26 | 10606197 |  8081852 |     2854   6962 |        0 |        0
1135.47/1135.96	c 1135s |      26 | 10622696 |  8094652 |     2854   6971 |        0 |        0
1137.47/1137.97	c 1137s |      26 | 10637885 |  8106852 |     2854   6978 |        0 |        0
1139.47/1139.98	c 1139s |      26 | 10654717 |  8120052 |     2854   6987 |        0 |        0
1141.47/1141.99	c 1141s |      26 | 10672867 |  8133852 |     2854   6996 |        0 |        0
1143.47/1144.00	c 1143s |      26 | 10691109 |  8147452 |     2854   7005 |        0 |        0
1145.57/1146.00	c 1145s |      26 | 10708443 |  8160752 |     2854   7013 |        0 |        0
1147.57/1148.03	c 1148s |      26 | 10723867 |  8173252 |     2854   7022 |        0 |        0
1149.57/1150.03	c 1150s |      26 | 10739992 |  8185752 |     2854   7030 |        0 |        0
1151.57/1152.05	c 1152s |      26 | 10755255 |  8197852 |     2854   7038 |        0 |        0
1153.57/1154.07	c 1154s |      26 | 10770664 |  8210152 |     2854   7046 |        0 |        0
1155.56/1156.08	c 1156s |      26 | 10786367 |  8222452 |     2854   7053 |        0 |        0
1157.56/1158.10	c 1158s |      26 | 10801800 |  8234952 |     2854   7062 |        0 |        0
1159.66/1160.10	c 1160s |      26 | 10816732 |  8246952 |     2854   7069 |        0 |        0
1161.66/1162.12	c 1162s |      26 | 10832169 |  8259152 |     2854   7077 |        0 |        0
1163.66/1164.13	c 1164s |      26 | 10846920 |  8270852 |     2854   7085 |        0 |        0
1165.67/1166.13	c 1166s |      26 | 10862771 |  8283152 |     2854   7093 |        0 |        0
1167.66/1168.15	c 1168s |      26 | 10879971 |  8296052 |     2854   7101 |        0 |        0
1169.66/1170.15	c 1170s |      26 | 10897766 |  8309252 |     2854   7110 |        0 |        0
1171.66/1172.15	c 1172s |      26 | 10914425 |  8322252 |     2854   7119 |        0 |        0
1173.66/1174.16	c 1174s |      26 | 10931534 |  8335252 |     2854   7127 |        0 |        0
1175.66/1176.16	c 1176s |      26 | 10948073 |  8347852 |     2854   7135 |        0 |        0
1177.67/1178.18	c 1178s |      26 | 10964745 |  8360552 |     2854   7144 |        0 |        0
1179.66/1180.20	c 1180s |      26 | 10980726 |  8372752 |     2854   7152 |        0 |        0
1181.76/1182.21	c 1182s |      26 | 10996397 |  8384952 |     2854   7159 |        0 |        0
1183.76/1184.22	c 1184s |      26 | 11009955 |  8395652 |     2854   7166 |        0 |        0
1185.76/1186.23	c 1186s |      26 | 11025078 |  8407352 |     2854   7174 |        0 |        0
1187.76/1188.24	c 1188s |      26 | 11040975 |  8419252 |     2854   7182 |        0 |        0
1189.76/1190.25	c 1190s |      26 | 11054591 |  8430252 |     2854   7189 |        0 |        0
1191.76/1192.26	c 1192s |      26 | 11070682 |  8442452 |     2854   7197 |        0 |        0
1193.75/1194.28	c 1194s |      26 | 11087430 |  8455152 |     2854   7205 |        0 |        0
1195.75/1196.29	c 1196s |      26 | 11103385 |  8467752 |     2854   7214 |        0 |        0
1197.86/1198.30	c 1198s |      26 | 11120889 |  8481052 |     2854   7222 |        0 |        0
1199.86/1200.30	c 1200s |      26 | 11138033 |  8494652 |     2854   7231 |        0 |        0
1201.87/1202.31	c 1202s |      26 | 11154360 |  8507652 |     2854   7240 |        0 |        0
1203.86/1204.31	c 1204s |      26 | 11171637 |  8521052 |     2854   7248 |        0 |        0
1205.86/1206.32	c 1206s |      26 | 11187907 |  8533952 |     2854   7257 |        0 |        0
1207.86/1208.33	c 1208s |      26 | 11206000 |  8547652 |     2854   7266 |        0 |        0
1209.86/1210.33	c 1210s |      26 | 11223495 |  8561152 |     2854   7275 |        0 |        0
1211.86/1212.34	c 1212s |      26 | 11241156 |  8574952 |     2854   7284 |        0 |        0
1213.86/1214.35	c 1214s |      26 | 11258226 |  8588052 |     2854   7292 |        0 |        0
1215.86/1216.36	c 1216s |      26 | 11273812 |  8599852 |     2854   7300 |        0 |        0
1217.86/1218.38	c 1218s |      26 | 11290528 |  8612552 |     2854   7308 |        0 |        0
1219.85/1220.38	c 1220s |      26 | 11307527 |  8624952 |     2854   7316 |        0 |        0
1221.85/1222.39	c 1222s |      26 | 11323331 |  8637152 |     2854   7324 |        0 |        0
1223.86/1224.39	c 1224s |      26 | 11338014 |  8648952 |     2854   7332 |        0 |        0
1225.95/1226.40	c 1226s |      26 | 11353849 |  8661252 |     2854   7340 |        0 |        0
1227.95/1228.41	c 1228s |      26 | 11370465 |  8674052 |     2854   7348 |        0 |        0
1229.95/1230.44	c 1230s |      26 | 11386188 |  8686452 |     2854   7357 |        0 |        0
1231.95/1232.44	c 1232s |      26 | 11402033 |  8698752 |     2854   7365 |        0 |        0
1233.95/1234.45	c 1234s |      26 | 11418308 |  8711552 |     2854   7373 |        0 |        0
1235.96/1236.46	c 1236s |      26 | 11436256 |  8725252 |     2854   7382 |        0 |        0
1237.95/1238.46	c 1238s |      26 | 11452447 |  8737952 |     2854   7390 |        0 |        0
1239.95/1240.48	c 1240s |      26 | 11467799 |  8750352 |     2854   7398 |        0 |        0
1241.95/1242.49	c 1242s |      26 | 11484873 |  8763652 |     2854   7407 |        0 |        0
1244.05/1244.50	c 1244s |      26 | 11503013 |  8777152 |     2854   7416 |        0 |        0
1246.05/1246.51	c 1246s |      26 | 11519741 |  8790352 |     2854   7424 |        0 |        0
1248.05/1248.52	c 1248s |      26 | 11537520 |  8803652 |     2854   7433 |        0 |        0
1250.05/1250.52	c 1250s |      26 | 11552670 |  8815552 |     2854   7441 |        0 |        0
1252.05/1252.52	c 1252s |      26 | 11566316 |  8826652 |     2854   7448 |        0 |        0
1254.05/1254.52	c 1254s |      26 | 11581221 |  8838352 |     2854   7456 |        0 |        0
1256.05/1256.53	c 1256s |      26 | 11597918 |  8850952 |     2854   7464 |        0 |        0
1258.05/1258.54	c 1258s |      26 | 11614001 |  8863752 |     2854   7472 |        0 |        0
1260.04/1260.55	c 1260s |      26 | 11629865 |  8876052 |     2854   7480 |        0 |        0
1262.04/1262.56	c 1262s |      26 | 11647298 |  8889252 |     2854   7489 |        0 |        0
1264.04/1264.57	c 1264s |      26 | 11663323 |  8901552 |     2854   7497 |        0 |        0
1266.04/1266.59	c 1266s |      26 | 11678890 |  8913652 |     2854   7505 |        0 |        0
1268.04/1268.59	c 1268s |      26 | 11694144 |  8925452 |     2854   7513 |        0 |        0
1270.15/1270.61	c 1270s |      26 | 11710989 |  8938452 |     2854   7521 |        0 |        0
1272.14/1272.62	c 1272s |      26 | 11726793 |  8950852 |     2854   7529 |        0 |        0
1274.14/1274.63	c 1274s |      26 | 11744347 |  8964052 |     2854   7538 |        0 |        0
1276.15/1276.65	c 1276s |      26 | 11758895 |  8975652 |     2854   7545 |        0 |        0
1278.15/1278.66	c 1278s |      26 | 11773855 |  8987252 |     2854   7553 |        0 |        0
1280.15/1280.67	c 1280s |      26 | 11790160 |  8999752 |     2854   7561 |        0 |        0
1282.16/1282.68	c 1282s |      26 | 11806865 |  9012852 |     2854   7570 |        0 |        0
1284.15/1284.69	c 1284s |      26 | 11824411 |  9026252 |     2854   7578 |        0 |        0
1286.25/1286.70	c 1286s |      26 | 11841681 |  9039552 |     2854   7587 |        0 |        0
1288.25/1288.70	c 1288s |      26 | 11859309 |  9052852 |     2854   7596 |        0 |        0
1290.25/1290.71	c 1290s |      26 | 11875948 |  9065652 |     2854   7604 |        0 |        0
1292.25/1292.71	c 1292s |      26 | 11893145 |  9078852 |     2854   7613 |        0 |        0
1294.25/1294.71	c 1294s |      26 | 11907421 |  9090252 |     2854   7620 |        0 |        0
1296.25/1296.72	c 1296s |      26 | 11924354 |  9103452 |     2854   7629 |        0 |        0
1298.25/1298.72	c 1298s |      26 | 11941341 |  9116652 |     2854   7638 |        0 |        0
1300.25/1300.73	c 1300s |      26 | 11959540 |  9130452 |     2854   7647 |        0 |        0
1302.24/1302.73	c 1302s |      26 | 11977557 |  9144752 |     2854   7656 |        0 |        0
1304.25/1304.73	c 1304s |      26 | 11997339 |  9159552 |     2854   7666 |        0 |        0
1306.24/1306.73	c 1306s |      26 | 12013783 |  9172552 |     2854   7674 |        0 |        0
1308.24/1308.75	c 1308s |      26 | 12027390 |  9184252 |     2854   7682 |        0 |        0
1310.24/1310.77	c 1310s |      26 | 12042451 |  9196552 |     2854   7690 |        0 |        0
1312.24/1312.77	c 1312s |      26 | 12060192 |  9210052 |     2854   7699 |        0 |        0
1314.24/1314.78	c 1314s |      26 | 12074211 |  9222052 |     2854   7706 |        0 |        0
1316.25/1316.79	c 1316s |      26 | 12088368 |  9233852 |     2854   7714 |        0 |        0
1318.24/1318.79	c 1318s |      26 | 12106983 |  9247652 |     2854   7723 |        0 |        0
1320.34/1320.80	c 1320s |      26 | 12125088 |  9261552 |     2854   7732 |        0 |        0
1322.34/1322.81	c 1322s |      26 | 12142700 |  9275552 |     2854   7742 |        0 |        0
1324.34/1324.81	c 1324s |      26 | 12162037 |  9289952 |     2854   7751 |        0 |        0
1326.34/1326.81	c 1326s |      26 | 12181730 |  9304552 |     2854   7761 |        0 |        0
1328.34/1328.82	c 1328s |      26 | 12200551 |  9319052 |     2854   7770 |        0 |        0
1330.34/1330.83	c 1330s |      26 | 12216408 |  9332152 |     2854   7778 |        0 |        0
1332.34/1332.85	c 1332s |      26 | 12231504 |  9344452 |     2854   7787 |        0 |        0
1334.34/1334.85	c 1334s |      26 | 12247583 |  9357152 |     2854   7795 |        0 |        0
1336.34/1336.87	c 1336s |      26 | 12261989 |  9368752 |     2854   7802 |        0 |        0
1338.34/1338.89	c 1338s |      26 | 12275371 |  9379752 |     2854   7810 |        0 |        0
1340.34/1340.90	c 1340s |      26 | 12289758 |  9391252 |     2854   7817 |        0 |        0
1342.43/1342.91	c 1342s |      26 | 12307550 |  9404652 |     2854   7826 |        0 |        0
1344.43/1344.92	c 1344s |      26 | 12325570 |  9418252 |     2854   7835 |        0 |        0
1346.43/1346.94	c 1346s |      26 | 12341629 |  9431152 |     2854   7843 |        0 |        0
1348.43/1348.95	c 1348s |      26 | 12353257 |  9441752 |     2854   7850 |        0 |        0
1350.44/1350.97	c 1350s |      26 | 12368659 |  9454452 |     2854   7858 |        0 |        0
1352.43/1352.98	c 1352s |      26 | 12383562 |  9466552 |     2854   7866 |        0 |        0
1354.43/1354.99	c 1354s |      26 | 12400120 |  9479752 |     2854   7875 |        0 |        0
1356.43/1356.99	c 1356s |      26 | 12415274 |  9491452 |     2854   7883 |        0 |        0
1358.53/1359.00	c 1358s |      26 | 12431459 |  9503752 |     2854   7891 |        0 |        0
1360.53/1361.01	c 1360s |      26 | 12447147 |  9516352 |     2854   7899 |        0 |        0
1362.54/1363.01	c 1362s |      26 | 12463252 |  9528652 |     2854   7907 |        0 |        0
1364.54/1365.02	c 1364s |      26 | 12479987 |  9541452 |     2854   7915 |        0 |        0
1366.54/1367.04	c 1367s |      26 | 12496739 |  9554252 |     2854   7923 |        0 |        0
1368.54/1369.05	c 1369s |      26 | 12513153 |  9566852 |     2854   7932 |        0 |        0
1370.53/1371.06	c 1371s |      26 | 12530880 |  9580252 |     2854   7940 |        0 |        0
1372.53/1373.08	c 1373s |      26 | 12549227 |  9594352 |     2854   7950 |        0 |        0
1374.54/1375.09	c 1375s |      26 | 12567885 |  9608652 |     2854   7959 |        0 |        0
1376.63/1377.10	c 1377s |      26 | 12585558 |  9622552 |     2854   7968 |        0 |        0
1378.63/1379.11	c 1379s |      26 | 12604996 |  9636952 |     2854   7977 |        0 |        0
1380.63/1381.12	c 1381s |      26 | 12621936 |  9650252 |     2854   7986 |        0 |        0
1382.63/1383.13	c 1383s |      26 | 12637885 |  9662752 |     2854   7994 |        0 |        0
1384.63/1385.14	c 1385s |      26 | 12655673 |  9676452 |     2854   8003 |        0 |        0
1386.64/1387.14	c 1387s |      26 | 12673842 |  9690252 |     2854   8012 |        0 |        0
1388.63/1389.15	c 1389s |      26 | 12692038 |  9704052 |     2854   8021 |        0 |        0
1390.63/1391.15	c 1391s |      26 | 12707872 |  9716752 |     2854   8030 |        0 |        0
1392.63/1393.17	c 1393s |      26 | 12724611 |  9729652 |     2854   8038 |        0 |        0
1394.63/1395.17	c 1395s |      26 | 12741996 |  9742852 |     2854   8047 |        0 |        0
1396.63/1397.17	c 1397s |      26 | 12760346 |  9756352 |     2854   8055 |        0 |        0
1398.63/1399.18	c 1399s |      26 | 12778504 |  9770352 |     2854   8065 |        0 |        0
1400.63/1401.19	c 1401s |      26 | 12795879 |  9784052 |     2854   8073 |        0 |        0
1402.73/1403.20	c 1403s |      26 | 12812986 |  9797552 |     2854   8082 |        0 |        0
1404.73/1405.21	c 1405s |      26 | 12830773 |  9811452 |     2854   8091 |        0 |        0
1406.73/1407.21	c 1407s |      26 | 12848414 |  9825252 |     2854   8100 |        0 |        0
1408.73/1409.22	c 1409s |      26 | 12866269 |  9839552 |     2854   8110 |        0 |        0
1410.72/1411.22	c 1411s |      26 | 12882989 |  9852652 |     2854   8118 |        0 |        0
1412.72/1413.23	c 1413s |      26 | 12900743 |  9866252 |     2854   8127 |        0 |        0
1414.72/1415.23	c 1415s |      26 | 12918373 |  9879952 |     2854   8136 |        0 |        0
1416.72/1417.23	c 1417s |      26 | 12936755 |  9894152 |     2854   8145 |        0 |        0
1418.72/1419.24	c 1419s |      26 | 12954134 |  9907752 |     2854   8154 |        0 |        0
1420.73/1421.25	c 1421s |      26 | 12971425 |  9921152 |     2854   8163 |        0 |        0
1422.72/1423.25	c 1423s |      26 | 12988896 |  9934652 |     2854   8172 |        0 |        0
1424.72/1425.26	c 1425s |      26 | 13009485 |  9950252 |     2854   8182 |        0 |        0
1426.73/1427.27	c 1427s |      26 | 13027277 |  9964452 |     2854   8191 |        0 |        0
1428.73/1429.27	c 1429s |      26 | 13044386 |  9977952 |     2854   8200 |        0 |        0
1430.73/1431.28	c 1431s |      26 | 13063347 |  9992252 |     2854   8210 |        0 |        0
1432.73/1433.28	c 1433s |      26 | 13079149 | 10004352 |     2854   8217 |        0 |        0
1434.73/1435.29	c 1435s |      26 | 13096910 | 10018252 |     2854   8227 |        0 |        0
1436.83/1437.30	c 1437s |      26 | 13115258 | 10031952 |     2854   8236 |        0 |        0
1438.83/1439.30	c 1439s |      26 | 13133263 | 10045752 |     2854   8245 |        0 |        0
1440.83/1441.32	c 1441s |      26 | 13150401 | 10059152 |     2854   8253 |        0 |        0
1442.83/1443.32	c 1443s |      26 | 13169293 | 10073052 |     2854   8262 |        0 |        0
1444.82/1445.33	c 1445s |      26 | 13187378 | 10086952 |     2854   8271 |        0 |        0
1446.82/1447.33	c 1447s |      26 | 13203589 | 10099852 |     2854   8280 |        0 |        0
1448.82/1449.35	c 1449s |      26 | 13220216 | 10112752 |     2854   8288 |        0 |        0
1450.82/1451.35	c 1451s |      26 | 13236610 | 10125752 |     2854   8297 |        0 |        0
1452.82/1453.36	c 1453s |      26 | 13252960 | 10138752 |     2854   8305 |        0 |        0
1454.83/1455.37	c 1455s |      26 | 13272039 | 10153452 |     2854   8315 |        0 |        0
1456.82/1457.37	c 1457s |      26 | 13288770 | 10166652 |     2854   8324 |        0 |        0
1458.82/1459.38	c 1459s |      26 | 13307037 | 10180552 |     2854   8333 |        0 |        0
1460.82/1461.38	c 1461s |      26 | 13327324 | 10195252 |     2854   8342 |        0 |        0
1462.92/1463.40	c 1463s |      26 | 13343619 | 10207952 |     2854   8351 |        0 |        0
1464.92/1465.41	c 1465s |      26 | 13360495 | 10220852 |     2854   8359 |        0 |        0
1466.93/1467.42	c 1467s |      26 | 13378646 | 10235052 |     2854   8368 |        0 |        0
1468.92/1469.43	c 1469s |      26 | 13396599 | 10248552 |     2854   8377 |        0 |        0
1470.92/1471.43	c 1471s |      26 | 13413166 | 10261752 |     2854   8386 |        0 |        0
1472.92/1473.44	c 1473s |      26 | 13430588 | 10275152 |     2854   8394 |        0 |        0
1474.92/1475.45	c 1475s |      26 | 13447922 | 10288752 |     2854   8403 |        0 |        0
1476.92/1477.46	c 1477s |      26 | 13461839 | 10300352 |     2854   8411 |        0 |        0
1478.92/1479.47	c 1479s |      26 | 13475843 | 10311852 |     2854   8418 |        0 |        0
1480.91/1481.48	c 1481s |      26 | 13491275 | 10324152 |     2854   8426 |        0 |        0
1482.91/1483.49	c 1483s |      26 | 13508503 | 10337652 |     2854   8435 |        0 |        0
1485.01/1485.50	c 1485s |      26 | 13524299 | 10350252 |     2854   8443 |        0 |        0
1487.01/1487.51	c 1487s |      26 | 13541458 | 10363452 |     2854   8452 |        0 |        0
1489.02/1489.52	c 1489s |      26 | 13558660 | 10376852 |     2854   8461 |        0 |        0
1491.01/1491.53	c 1491s |      26 | 13577705 | 10391452 |     2854   8470 |        0 |        0
1493.01/1493.54	c 1493s |      26 | 13595121 | 10405052 |     2854   8479 |        0 |        0
1495.01/1495.55	c 1495s |      26 | 13612175 | 10418452 |     2854   8488 |        0 |        0
1497.02/1497.55	c 1497s |      26 | 13628440 | 10431352 |     2854   8496 |        0 |        0
1499.02/1499.57	c 1499s |      26 | 13644152 | 10443752 |     2854   8504 |        0 |        0
1501.02/1501.57	c 1501s |      26 | 13661387 | 10456852 |     2854   8513 |        0 |        0
1503.02/1503.58	c 1503s |      26 | 13679270 | 10470252 |     2854   8522 |        0 |        0
1505.02/1505.59	c 1505s |      26 | 13696094 | 10483152 |     2854   8530 |        0 |        0
1507.02/1507.59	c 1507s |      26 | 13712355 | 10496052 |     2854   8539 |        0 |        0
1509.11/1509.61	c 1509s |      26 | 13730189 | 10509952 |     2854   8548 |        0 |        0
1511.11/1511.61	c 1511s |      26 | 13749892 | 10524452 |     2854   8557 |        0 |        0
1513.12/1513.62	c 1513s |      26 | 13769118 | 10539652 |     2854   8567 |        0 |        0
1515.11/1515.63	c 1515s |      26 | 13786347 | 10552952 |     2854   8576 |        0 |        0
1517.11/1517.64	c 1517s |      26 | 13804076 | 10566352 |     2854   8585 |        0 |        0
1519.11/1519.64	c 1519s |      26 | 13821082 | 10579752 |     2854   8593 |        0 |        0
1521.11/1521.65	c 1521s |      26 | 13838254 | 10593152 |     2854   8602 |        0 |        0
1523.12/1523.65	c 1523s |      26 | 13854995 | 10606452 |     2854   8611 |        0 |        0
1525.11/1525.67	c 1525s |      26 | 13872127 | 10619452 |     2854   8619 |        0 |        0
1527.11/1527.67	c 1527s |      26 | 13890322 | 10633352 |     2854   8629 |        0 |        0
1529.11/1529.67	c 1529s |      26 | 13907307 | 10646852 |     2854   8637 |        0 |        0
1531.11/1531.68	c 1531s |      26 | 13924265 | 10660352 |     2854   8646 |        0 |        0
1533.11/1533.69	c 1533s |      26 | 13942094 | 10673752 |     2854   8655 |        0 |        0
1535.11/1535.70	c 1535s |      26 | 13958475 | 10686552 |     2854   8663 |        0 |        0
1537.21/1537.70	c 1537s |      26 | 13976231 | 10700252 |     2854   8672 |        0 |        0
1539.21/1539.71	c 1539s |      26 | 13995659 | 10714652 |     2854   8682 |        0 |        0
1541.21/1541.73	c 1541s |      26 | 14013722 | 10728752 |     2854   8691 |        0 |        0
1543.21/1543.73	c 1543s |      26 | 14032982 | 10743552 |     2854   8701 |        0 |        0
1545.21/1545.74	c 1545s |      26 | 14049108 | 10756352 |     2854   8709 |        0 |        0
1547.21/1547.75	c 1547s |      26 | 14066847 | 10770352 |     2854   8718 |        0 |        0
1549.20/1549.76	c 1549s |      26 | 14083536 | 10783352 |     2854   8727 |        0 |        0
1551.20/1551.77	c 1551s |      26 | 14101589 | 10797652 |     2854   8736 |        0 |        0
1553.20/1553.78	c 1553s |      26 | 14119023 | 10811252 |     2854   8745 |        0 |        0
1555.30/1555.80	c 1555s |      26 | 14136326 | 10824552 |     2854   8754 |        0 |        0
1557.30/1557.82	c 1557s |      26 | 14153903 | 10838352 |     2854   8763 |        0 |        0
1559.31/1559.82	c 1559s |      26 | 14170108 | 10850852 |     2854   8771 |        0 |        0
1561.30/1561.84	c 1561s |      26 | 14185254 | 10862652 |     2854   8778 |        0 |        0
1563.30/1563.84	c 1563s |      26 | 14200066 | 10874252 |     2854   8786 |        0 |        0
1565.30/1565.84	c 1565s |      26 | 14215323 | 10886452 |     2854   8794 |        0 |        0
1567.30/1567.86	c 1567s |      26 | 14230125 | 10898252 |     2854   8802 |        0 |        0
1569.31/1569.87	c 1569s |      26 | 14245596 | 10910252 |     2854   8810 |        0 |        0
1571.30/1571.88	c 1571s |      26 | 14259773 | 10921852 |     2854   8817 |        0 |        0
1573.30/1573.89	c 1573s |      26 | 14275126 | 10934152 |     2854   8825 |        0 |        0
1575.40/1575.91	c 1575s |      26 | 14288603 | 10945352 |     2854   8832 |        0 |        0
1577.40/1577.91	c 1577s |      26 | 14305201 | 10958252 |     2854   8841 |        0 |        0
1579.40/1579.92	c 1579s |      26 | 14321351 | 10971152 |     2854   8849 |        0 |        0
1581.40/1581.93	c 1581s |      26 | 14336111 | 10983052 |     2854   8857 |        0 |        0
1583.40/1583.94	c 1583s |      26 | 14351790 | 10995252 |     2854   8865 |        0 |        0
1585.40/1585.94	c 1585s |      26 | 14367756 | 11007652 |     2854   8873 |        0 |        0
1587.40/1587.96	c 1587s |      26 | 14384685 | 11020152 |     2854   8881 |        0 |        0
1589.40/1589.96	c 1589s |      26 | 14400475 | 11032752 |     2854   8890 |        0 |        0
1591.40/1591.97	c 1591s |      26 | 14418325 | 11046652 |     2854   8899 |        0 |        0
1593.40/1593.97	c 1593s |      26 | 14434598 | 11059452 |     2854   8907 |        0 |        0
1595.40/1595.98	c 1595s |      26 | 14452585 | 11072952 |     2854   8916 |        0 |        0
1597.39/1597.98	c 1597s |      26 | 14469526 | 11086152 |     2854   8924 |        0 |        0
1599.40/1599.99	c 1599s |      26 | 14488112 | 11100452 |     2854   8934 |        0 |        0
1601.40/1601.99	c 1601s |      26 | 14505526 | 11114152 |     2854   8943 |        0 |        0
1603.50/1604.00	c 1603s |      26 | 14523368 | 11128052 |     2854   8952 |        0 |        0
1605.51/1606.01	c 1605s |      26 | 14542334 | 11142152 |     2854   8961 |        0 |        0
1607.50/1608.02	c 1607s |      26 | 14560582 | 11156252 |     2854   8970 |        0 |        0
1609.50/1610.02	c 1609s |      26 | 14575815 | 11168352 |     2854   8978 |        0 |        0
1611.50/1612.03	c 1612s |      26 | 14594927 | 11182352 |     2854   8987 |        0 |        0
1613.50/1614.03	c 1614s |      26 | 14613450 | 11196252 |     2854   8996 |        0 |        0
1615.50/1616.04	c 1616s |      26 | 14631152 | 11208952 |     2854   9005 |        0 |        0
1617.50/1618.06	c 1618s |      26 | 14651816 | 11223852 |     2854   9015 |        0 |        0
1619.50/1620.06	c 1620s |      26 | 14669171 | 11237152 |     2854   9023 |        0 |        0
1621.49/1622.08	c 1622s |      26 | 14688730 | 11251352 |     2854   9033 |        0 |        0
1623.49/1624.08	c 1624s |      26 | 14706799 | 11265052 |     2854   9042 |        0 |        0
1625.49/1626.09	c 1626s |      26 | 14724370 | 11279152 |     2854   9051 |        0 |        0
1627.50/1628.10	c 1628s |      26 | 14742199 | 11292852 |     2854   9060 |        0 |        0
1629.59/1630.11	c 1630s |      26 | 14758950 | 11305952 |     2854   9068 |        0 |        0
1631.59/1632.11	c 1632s |      26 | 14774050 | 11317852 |     3140   9076 |        0 |        0
1633.59/1634.12	c 1634s |      26 | 14789867 | 11330252 |     3140   9083 |        0 |        0
1635.59/1636.13	c 1636s |      26 | 14806115 | 11342952 |     3140   9091 |        0 |        0
1637.59/1638.14	c 1638s |      26 | 14822634 | 11355552 |     3140   9098 |        0 |        0
1639.60/1640.15	c 1640s |      26 | 14838998 | 11368352 |     3140   9106 |        0 |        0
1641.59/1642.15	c 1642s |      26 | 14852950 | 11379652 |     3140   9113 |        0 |        0
1643.59/1644.16	c 1644s |      26 | 14869149 | 11392252 |     3140   9120 |        0 |        0
1644.19/1644.76	c 1644s |      27 | 14875394 | 11396733 |     3140   9123 |        0 |        0
1646.19/1646.77	c 1646s |      27 | 14892441 | 11410033 |     3140   9131 |        0 |        0
1648.19/1648.78	c 1648s |      27 | 14909961 | 11423633 |     3140   9139 |        0 |        0
1650.19/1650.79	c 1650s |      27 | 14927474 | 11436833 |     3140   9147 |        0 |        0
1652.29/1652.80	c 1652s |      27 | 14945150 | 11450333 |     3140   9155 |        0 |        0
1654.29/1654.82	c 1654s |      27 | 14964600 | 11465033 |     3140   9164 |        0 |        0
1656.29/1656.83	c 1656s |      27 | 14982989 | 11478933 |     3140   9172 |        0 |        0
1658.30/1658.84	c 1658s |      27 | 15000405 | 11492033 |     3140   9180 |        0 |        0
1660.29/1660.86	c 1660s |      27 | 15015827 | 11504433 |     3140   9187 |        0 |        0
1662.29/1662.87	c 1662s |      27 | 15030832 | 11516133 |     3140   9194 |        0 |        0
1664.29/1664.88	c 1664s |      27 | 15044908 | 11527833 |     3140   9201 |        0 |        0
1666.29/1666.88	c 1666s |      27 | 15057911 | 11538633 |     3140   9208 |        0 |        0
1668.39/1668.90	c 1668s |      27 | 15073483 | 11551433 |     3140   9215 |        0 |        0
1670.40/1670.91	c 1670s |      27 | 15089095 | 11563733 |     3140   9223 |        0 |        0
1672.39/1672.91	c 1672s |      27 | 15105443 | 11576933 |     3140   9231 |        0 |        0
1674.39/1674.92	c 1674s |      27 | 15121453 | 11589733 |     3140   9238 |        0 |        0
1676.39/1676.92	c 1676s |      27 | 15136856 | 11601633 |     3140   9245 |        0 |        0
1678.39/1678.92	c 1678s |      27 | 15150811 | 11613433 |     3140   9252 |        0 |        0
1680.39/1680.92	c 1680s |      27 | 15167654 | 11626833 |     3140   9261 |        0 |        0
1682.39/1682.93	c 1682s |      27 | 15185930 | 11641033 |     3140   9269 |        0 |        0
1684.38/1684.95	c 1684s |      27 | 15201871 | 11653633 |     3140   9277 |        0 |        0
1686.38/1686.95	c 1686s |      27 | 15217838 | 11666533 |     3140   9284 |        0 |        0
1688.38/1688.96	c 1688s |      27 | 15234641 | 11679433 |     3140   9292 |        0 |        0
1690.38/1690.97	c 1690s |      27 | 15253099 | 11693533 |     3140   9301 |        0 |        0
1692.39/1692.98	c 1692s |      27 | 15270399 | 11706933 |     3140   9309 |        0 |        0
1694.38/1694.98	c 1694s |      27 | 15287893 | 11720333 |     3140   9317 |        0 |        0
1696.38/1696.99	c 1696s |      27 | 15304960 | 11733533 |     3140   9325 |        0 |        0
1698.38/1699.00	c 1698s |      27 | 15322073 | 11747133 |     3140   9333 |        0 |        0
1700.48/1701.00	c 1700s |      27 | 15340970 | 11761133 |     3140   9341 |        0 |        0
1702.48/1703.01	c 1702s |      27 | 15360534 | 11775833 |     3140   9350 |        0 |        0
1704.49/1705.01	c 1704s |      27 | 15376580 | 11788333 |     3140   9357 |        0 |        0
1706.48/1707.01	c 1706s |      27 | 15392533 | 11800733 |     3140   9365 |        0 |        0
1708.48/1709.02	c 1709s |      27 | 15407927 | 11812833 |     3140   9372 |        0 |        0
1710.48/1711.03	c 1711s |      27 | 15424008 | 11825733 |     3140   9380 |        0 |        0
1712.48/1713.04	c 1713s |      27 | 15439351 | 11837933 |     3140   9387 |        0 |        0
1714.48/1715.05	c 1715s |      27 | 15456130 | 11850833 |     3140   9395 |        0 |        0
1716.48/1717.05	c 1717s |      27 | 15471956 | 11863033 |     3140   9402 |        0 |        0
1718.48/1719.06	c 1719s |      27 | 15489815 | 11876333 |     3140   9410 |        0 |        0
1720.48/1721.07	c 1721s |      27 | 15506767 | 11889433 |     3140   9418 |        0 |        0
1722.48/1723.07	c 1723s |      27 | 15524395 | 11902733 |     3140   9426 |        0 |        0
1724.48/1725.07	c 1725s |      27 | 15541209 | 11915433 |     3140   9434 |        0 |        0
1726.49/1727.08	c 1727s |      27 | 15560059 | 11929533 |     3140   9442 |        0 |        0
1728.48/1729.09	c 1729s |      27 | 15578224 | 11943233 |     3140   9451 |        0 |        0
1730.58/1731.10	c 1731s |      27 | 15595870 | 11957033 |     3140   9459 |        0 |        0
1732.58/1733.11	c 1733s |      27 | 15611050 | 11969133 |     3140   9466 |        0 |        0
1734.58/1735.12	c 1735s |      27 | 15627311 | 11981633 |     3140   9474 |        0 |        0
1736.58/1737.13	c 1737s |      27 | 15643835 | 11994633 |     3140   9482 |        0 |        0
1738.59/1739.13	c 1739s |      27 | 15658764 | 12006533 |     3140   9489 |        0 |        0
1740.58/1741.13	c 1741s |      27 | 15674401 | 12018633 |     3140   9496 |        0 |        0
1742.58/1743.13	c 1743s |      27 | 15692180 | 12031933 |     3140   9504 |        0 |        0
1744.58/1745.14	c 1745s |      27 | 15709125 | 12044933 |     3140   9512 |        0 |        0
1746.58/1747.16	c 1747s |      27 | 15725786 | 12057733 |     3140   9520 |        0 |        0
1748.58/1749.17	c 1749s |      27 | 15742769 | 12070433 |     3140   9527 |        0 |        0
1750.58/1751.19	c 1751s |      27 | 15759227 | 12083533 |     3140   9535 |        0 |        0
1752.58/1753.19	c 1753s |      27 | 15775069 | 12096133 |     3140   9543 |        0 |        0
1754.68/1755.20	c 1755s |      27 | 15792047 | 12109633 |     3140   9551 |        0 |        0
1756.67/1757.22	c 1757s |      27 | 15811430 | 12124433 |     3140   9560 |        0 |        0
1758.67/1759.22	c 1759s |      27 | 15830813 | 12139033 |     3140   9568 |        0 |        0
1760.68/1761.24	c 1761s |      27 | 15847931 | 12152333 |     3140   9576 |        0 |        0
1762.67/1763.24	c 1763s |      27 | 15864362 | 12165033 |     3140   9584 |        0 |        0
1764.67/1765.25	c 1765s |      27 | 15880505 | 12177733 |     3140   9591 |        0 |        0
1766.67/1767.26	c 1767s |      27 | 15897924 | 12190533 |     3140   9599 |        0 |        0
1768.68/1769.27	c 1769s |      27 | 15912763 | 12202333 |     3140   9606 |        0 |        0
1770.77/1771.30	c 1771s |      27 | 15929129 | 12214833 |     3140   9614 |        0 |        0
1772.78/1773.31	c 1773s |      27 | 15943967 | 12226633 |     3140   9621 |        0 |        0
1774.77/1775.31	c 1775s |      27 | 15959406 | 12238633 |     3140   9628 |        0 |        0
1776.77/1777.32	c 1777s |      27 | 15977368 | 12252433 |     3140   9636 |        0 |        0
1778.77/1779.33	c 1779s |      27 | 15995142 | 12265833 |     3140   9644 |        0 |        0
1780.77/1781.34	c 1781s |      27 | 16013158 | 12279533 |     3140   9652 |        0 |        0
1782.77/1783.36	c 1783s |      27 | 16030045 | 12292633 |     3140   9660 |        0 |        0
1784.78/1785.36	c 1785s |      27 | 16046350 | 12305833 |     3140   9668 |        0 |        0
1786.77/1787.36	c 1787s |      27 | 16063339 | 12318933 |     3140   9676 |        0 |        0
1788.77/1789.37	c 1789s |      27 | 16078880 | 12331233 |     3140   9683 |        0 |        0
1790.77/1791.38	c 1791s |      27 | 16096089 | 12344433 |     3140   9691 |        0 |        0
1792.77/1793.39	c 1793s |      27 | 16112335 | 12356933 |     3140   9698 |        0 |        0
1794.87/1795.40	c 1795s |      27 | 16129200 | 12370033 |     3140   9706 |        0 |        0
1796.87/1797.41	c 1797s |      27 | 16145522 | 12383133 |     3140   9714 |        0 |        0
1798.87/1799.41	c 1799s |      27 | 16162456 | 12396233 |     3140   9722 |        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-4120946-1467312949/watcher-4120946-1467312949 -o /tmp/evaluation-result-4120946-1467312949/solver-4120946-1467312949 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11511 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120946-1467312949.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.13 2.17 2.13 3/179 12645
/proc/meminfo: memFree=29354396/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 532 0 0 0 0 0 0 0 20 0 4 0 10324163 246870016 1416 33554432000 4194304 16246674 140736578995584 140736578995008 13587384 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 60271 1429 327 2943 0 57165 0
[pid=12645/tid=12646] ppid=12642 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 246870016 1483 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 246870016 1495 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=241084 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 246870016 1514 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.13 2.17 2.13 3/179 12645
/proc/meminfo: memFree=29354396/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 24047 0 0 0 6 2 0 0 20 0 4 0 10324163 1247350784 24908 33554432000 4194304 16246674 140736578995584 140736578977472 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 304529 24915 707 2943 0 301423 0
[pid=12645/tid=12646] ppid=12642 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1247350784 24924 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1247350784 24930 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1247350784 24937 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.20056 s]
/proc/loadavg: 2.13 2.17 2.13 3/179 12645
/proc/meminfo: memFree=29354396/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 46726 0 0 0 13 6 0 0 20 0 4 0 10324163 1247350784 47588 33554432000 4194304 16246674 140736578995584 140736578977472 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 304529 47594 707 2943 0 301423 0
[pid=12645/tid=12646] ppid=12642 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1247350784 47600 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1247350784 47605 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1247350784 47610 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300469 s]
/proc/loadavg: 2.13 2.17 2.13 3/179 12645
/proc/meminfo: memFree=29354396/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 68463 0 0 0 20 9 0 0 20 0 4 0 10324163 1247350784 69325 33554432000 4194304 16246674 140736578995584 140736578977472 5667979 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 304529 69334 707 2943 0 301423 0
[pid=12645/tid=12646] ppid=12642 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1247350784 69342 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1247350784 69347 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1247350784 69356 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700379 s]
/proc/loadavg: 2.13 2.17 2.13 3/179 12645
/proc/meminfo: memFree=29354396/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 159917 0 0 0 46 22 0 0 20 0 4 0 10324163 1247350784 160778 33554432000 4194304 16246674 140736578995584 140736578977472 5724245 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 304529 160789 708 2943 0 301423 0
[pid=12645/tid=12646] ppid=12642 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1247350784 160796 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1247350784 160806 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1247350784 160815 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.13 2.17 2.13 3/183 12649
/proc/meminfo: memFree=28369528/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 245774 0 0 0 115 34 0 0 20 0 4 0 10324163 1248399360 246615 33554432000 4194304 16246674 140736578995584 140736578994896 6023629 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 304785 246615 783 2943 0 301679 0
[pid=12645/tid=12646] ppid=12642 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1248399360 246615 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1248399360 246615 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1248399360 246615 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.13 2.17 2.13 3/183 12649
/proc/meminfo: memFree=28282612/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 267449 0 0 0 272 36 0 0 20 0 4 0 10324163 1337528320 268290 33554432000 4194304 16246674 140736578995584 140736578977472 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 326545 268290 783 2943 0 323439 0
[pid=12645/tid=12646] ppid=12642 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1337528320 268290 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1337528320 268290 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1337528320 268290 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.20 2.18 2.13 4/183 12649
/proc/meminfo: memFree=28280380/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 267723 0 0 0 592 36 0 0 20 0 4 0 10324163 1338576896 268564 33554432000 4194304 16246674 140736578995584 140736578977472 5516456 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 326801 268564 784 2943 0 323695 0
[pid=12645/tid=12646] ppid=12642 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1338576896 268564 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1338576896 268564 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1338576896 268564 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.19 2.18 2.13 3/182 12649
/proc/meminfo: memFree=28279424/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1308228 CPUtime=12.68 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 267992 0 0 0 1232 36 0 0 20 0 4 0 10324163 1339625472 268833 33554432000 4194304 16246674 140736578995584 140736578977472 5546098 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 327057 268833 784 2943 0 323951 0
[pid=12645/tid=12646] ppid=12642 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1339625472 268833 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1339625472 268833 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1339625472 268833 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.14 2.17 2.13 4/183 12650
/proc/meminfo: memFree=28279448/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 268076 0 0 0 2511 37 0 0 20 0 4 0 10324163 1339625472 268917 33554432000 4194304 16246674 140736578995584 140736578977472 6842434 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 327057 268917 784 2943 0 323951 0
[pid=12645/tid=12646] ppid=12642 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1339625472 268917 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1339625472 268917 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1339625472 268917 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.17 2.17 2.13 4/183 12650
/proc/meminfo: memFree=28278092/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1310276 CPUtime=51.08 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 268409 0 0 0 5071 37 0 0 20 0 4 0 10324163 1341722624 269250 33554432000 4194304 16246674 140736578995584 140736578977472 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 327569 269250 784 2943 0 324463 0
[pid=12645/tid=12646] ppid=12642 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1341722624 269250 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1341722624 269250 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1341722624 269250 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1310276

[startup+102.301 s]
/proc/loadavg: 2.15 2.16 2.13 3/183 12651
/proc/meminfo: memFree=28277220/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1310276 CPUtime=102.28 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 268590 0 0 0 10190 38 0 0 20 0 4 0 10324163 1341722624 269431 33554432000 4194304 16246674 140736578995584 140736578977472 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 327569 269431 786 2943 0 324463 0
[pid=12645/tid=12646] ppid=12642 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1341722624 269431 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1341722624 269431 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1341722624 269431 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1310276


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

/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1345916928 270459 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1314372

[startup+1302.3 s]
/proc/loadavg: 2.19 2.11 2.10 3/183 12753
/proc/meminfo: memFree=28271076/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1315396 CPUtime=1301.85 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 270232 0 0 0 130130 55 0 0 20 0 4 0 10324163 1346965504 270616 33554432000 4194304 16246674 140736578995584 140736578977472 5822818 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 328849 270616 788 2943 0 325743 0
[pid=12645/tid=12646] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270616 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270616 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270616 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 2.21 2.13 2.10 3/183 12754
/proc/meminfo: memFree=28271188/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1315396 CPUtime=1361.83 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 270232 0 0 0 136128 55 0 0 20 0 4 0 10324163 1346965504 270616 33554432000 4194304 16246674 140736578995584 140736578977472 5661363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 328849 270616 788 2943 0 325743 0
[pid=12645/tid=12646] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270616 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270616 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270616 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 2.19 2.15 2.10 3/183 12755
/proc/meminfo: memFree=28270648/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1315396 CPUtime=1421.83 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 270332 0 0 0 142127 56 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140736578978584 5661013 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 328849 270716 788 2943 0 325743 0
[pid=12645/tid=12646] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 2.14 2.14 2.10 3/184 12759
/proc/meminfo: memFree=28270240/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1315396 CPUtime=1481.82 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 270332 0 0 0 148125 57 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140736578978584 5722960 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 328849 270716 788 2943 0 325743 0
[pid=12645/tid=12646] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 2.28 2.18 2.11 4/183 12761
/proc/meminfo: memFree=28266808/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1315396 CPUtime=1541.81 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 270332 0 0 0 154123 58 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140736578978584 5668656 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 328849 270716 788 2943 0 325743 0
[pid=12645/tid=12646] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 2.29 2.19 2.12 3/183 12762
/proc/meminfo: memFree=28266436/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1315396 CPUtime=1601.8 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 270332 0 0 0 160121 59 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140736578978584 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 328849 270716 788 2943 0 325743 0
[pid=12645/tid=12646] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1346965504 270716 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 2.17 2.18 2.12 3/183 12811
/proc/meminfo: memFree=28275196/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1316420 CPUtime=1661.79 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 270588 0 0 0 166119 60 0 0 20 0 4 0 10324163 1348014080 270972 33554432000 4194304 16246674 140736578995584 140736578977472 5677231 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 329105 270972 788 2943 0 325999 0
[pid=12645/tid=12646] ppid=12642 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1348014080 270972 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1348014080 270972 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1348014080 270972 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1316420

[startup+1722.3 s]
/proc/loadavg: 2.18 2.18 2.12 3/183 12812
/proc/meminfo: memFree=28274812/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1318468 CPUtime=1721.78 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 271100 0 0 0 172117 61 0 0 20 0 4 0 10324163 1350111232 271484 33554432000 4194304 16246674 140736578995584 140736578977472 5523076 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 329617 271484 788 2943 0 326511 0
[pid=12645/tid=12646] ppid=12642 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1350111232 271484 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1350111232 271484 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1350111232 271484 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.11 2.16 2.11 3/183 12862
/proc/meminfo: memFree=28270916/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1318468 CPUtime=1781.77 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 271100 0 0 0 178115 62 0 0 20 0 4 0 10324163 1350111232 271484 33554432000 4194304 16246674 140736578995584 140736578978584 5523247 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 329617 271484 788 2943 0 326511 0
[pid=12645/tid=12646] ppid=12642 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1350111232 271484 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1350111232 271484 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1350111232 271484 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.14 2.16 2.11 3/183 12862
/proc/meminfo: memFree=28270700/32872528 swapFree=1102192/1183952
[pid=12645] ppid=12642 vsize=1318468 CPUtime=1800.07 cores=0,2,4,6
/proc/12645/stat : 12645 (toysat) R 12642 12645 11495 0 -1 4202496 271100 0 0 0 179945 62 0 0 20 0 4 0 10324163 1350111232 271484 33554432000 4194304 16246674 140736578995584 140736578977472 6022530 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12645/statm: 329617 271484 788 2943 0 326511 0
[pid=12645/tid=12646] ppid=12642 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12646/stat : 12646 (toysat) S 12642 12645 11495 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 10324163 1350111232 271484 33554432000 4194304 16246674 140736578995584 140649535876336 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12645/tid=12647] ppid=12642 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12647/stat : 12647 (toysat) S 12642 12645 11495 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10324163 1350111232 271484 33554432000 4194304 16246674 140736578995584 140649525386480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12645/tid=12648] ppid=12642 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/12645/task/12648/stat : 12648 (toysat) S 12642 12645 11495 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10324163 1350111232 271484 33554432000 4194304 16246674 140736578995584 140649441520816 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1318468

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.46
CPU system time (s): 0.623905
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.46
system time used= 0.623905
maximum resident set size= 1085936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271100
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= 475
involuntary context switches= 2021

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.59454 second user time and 17.2764 second system time

The end

Begin job on node115 at 2016-06-30 20:55:49
IDJOB=4120946
IDBENCH=110191
IDSOLVER=2542
FILE ID=node115/4120946-1467312949
RUNJOBID= node115-1467308742-11511
PBS_JOBID= 20005276
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-88.cnf.gz-extracted.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120946-1467312949/watcher-4120946-1467312949 -o /tmp/evaluation-result-4120946-1467312949/solver-4120946-1467312949 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1467308742-11511 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120946-1467312949.opb

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

MD5SUM BENCH= 0e39698004f18805edfd2707cc37d183
RANDOM SEED=1751574078

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29355000 kB
Buffers:          156684 kB
Cached:           343324 kB
SwapCached:            0 kB
Active:          1373896 kB
Inactive:         218516 kB
Active(anon):    1088408 kB
Inactive(anon):     6556 kB
Active(file):     285488 kB
Inactive(file):   211960 kB
Unevictable:     1183952 kB
Mlocked:         1102192 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16660 kB
Writeback:             0 kB
AnonPages:       2278108 kB
Mapped:            17116 kB
Shmem:               204 kB
Slab:             607448 kB
SReclaimable:      51724 kB
SUnreclaim:       555724 kB
KernelStack:        1520 kB
PageTables:         8520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2411680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1159168 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= 71632 MiB
End job on node115 at 2016-06-30 21:25:50