0.00/0.00	c 2016-06-30T21:57:22+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-4122442-1467316642.opb"]
0.00/0.01	c use --random-gen="1397649330 2481187800 2581951745 2339141716 4241632389 666230752 2187998708 806861119 3872484479 1109672358 3146399254 1258254837 989569073 3942040787 1921489051 3826859982 2324455160 1922942451 4014242444 241597632 2188784755 3437377088 2876421009 3051436162 1895957490 237747578 3788861565 3902070216 1465539862 1600917154 3033261330 412660973 3848855183 218373950 1415861580 2943401820 1404485940 1817614036 2428140958 81494292 166405495 3765193941 2546576424 3590263783 3634214005 3839526364 4171114035 2211605500 3928739874 2764533138 917167425 2900460483 3206409242 1043853680 3756243121 3707306265 2269205187 3275827367 195892783 3862301832 2126970495 2955032359 3385570921 2144945936 1182334559 4123529990 962957135 618470957 2411455932 104540248 3688722110 4205892861 2143003731 1690811802 798702359 999270445 127766042 1948042227 2355682439 1799329576 1362334557 2051486395 3965143834 3358841087 2306786013 2304843708 1637847924 4208831899 4035565070 4214220435 2435315216 516886489 129590375 872567425 3693140989 4192976107 1105266958 3448388224 3205449380 1173508383 1451855271 992722767 916929349 3664555773 1054279697 1793514022 3770720030 2630054756 356102117 728687969 3454779929 3609740294 332812994 202662054 2442358507 12442602 922129811 307575057 1801336515 1265295811 2905873634 2305729521 1664514207 1834382596 1233163047 2414541223 778053431 1205198528 1693924978 3854020168 765280694 597203884 2148924898 2335854210 2418162447 1050083015 2793018965 1001337332 3121919094 2343142635 387891322 1578310850 222954500 960341509 2083777461 1228497499 960026685 3623754522 1734027908 2046159085 2359188784 3072148510 196033934 1691156074 1258704835 2984246253 3718799055 3088994769 2751542728 428895067 3711877845 942305043 2526015502 1385726164 351865764 2954649970 590156705 1991819978 2604082058 473113990 3232173091 2106060234 2417578376 4229808078 2215952671 453147916 508225560 1782881597 2094583968 216970073 1264443915 2559981649 393512515 2453417772 3569528677 1048398292 2233856146 1660067991 4013352060 205077385 2140534376 3114543452 164095299 1116272562 1967632725 2365374367 891680088 2689836038 4278085607 322385898 2969956847 1195097201 1095488614 2539380229 3130850831 107954791 3645329697 773449221 1938341717 2995625331 2947162146 1165201055 865894321 4144085245 792093911 2283760890 4060365467 3630434375 3019309664 2255850046 484615902 2096944492 4082521915 4059960711 1080023581 1946444868 1914575423 3322591281 2898023185 22351163 3096930576 1628996716 3259509009 1729236344 3576249781 2461096751 829878624 425868865 3632554781 353574314 3132554891 3118766269 3570492998 3928145732 2034753370 3388183397 463629988 1017783570 752288400 2360075670 1192325929 2339009860 2729451264 3172843497 2927536736 4270624858 255 362436" option to reproduce the execution
0.00/0.01	c #vars 325
0.00/0.01	c #constraints 324
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 |      216      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      220 |      100 |      216      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      446 |      250 |      238      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      854 |      475 |      262      1 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1386 |      813 |      289      2 |        0 |        0
0.09/0.16	c  0.1s |       5 |     2059 |     1320 |      318      4 |        0 |        0
0.19/0.25	c  0.2s |       6 |     3185 |     2081 |      386      7 |        0 |        0
0.29/0.38	c  0.4s |       7 |     4817 |     3223 |      425     11 |        0 |        0
0.48/0.57	c  0.6s |       8 |     7214 |     4936 |      468     17 |        0 |        0
0.79/0.87	c  0.9s |       9 |    10480 |     7506 |      515     24 |        0 |        0
1.20/1.25	c  1.2s |      10 |    16155 |    11361 |      567     36 |        0 |        0
1.69/1.79	c  1.8s |      11 |    23942 |    17144 |      624     51 |        0 |        0
2.49/2.59	c  2.6s |      12 |    35186 |    25819 |      687     72 |        0 |        0
3.69/3.78	c  3.8s |      13 |    52344 |    38832 |      756    100 |        0 |        0
5.59/5.65	c  5.6s |      14 |    78106 |    58352 |      832    145 |        0 |        0
7.59/7.65	c  7.6s |      14 |   102576 |    77752 |      832    183 |        0 |        0
8.59/8.64	c  8.6s |      15 |   115420 |    87632 |      916    202 |        0 |        0
10.59/10.64	c 10.6s |      15 |   140734 |   106232 |      916    236 |        0 |        0
12.59/12.66	c 12.6s |      15 |   163566 |   123932 |      916    269 |        0 |        0
13.49/13.50	c 13.5s |      16 |   173593 |   131552 |     1008    282 |        0 |        0
15.49/15.51	c 15.5s |      16 |   195198 |   148452 |     1008    311 |        0 |        0
17.49/17.51	c 17.5s |      16 |   218283 |   166152 |     1008    340 |        0 |        0
19.49/19.52	c 19.5s |      16 |   241862 |   184652 |     1008    372 |        0 |        0
20.89/20.96	c 20.9s |      17 |   258178 |   197432 |     1109    393 |        0 |        0
22.88/22.96	c 22.9s |      17 |   281615 |   215832 |     1109    422 |        0 |        0
24.88/24.97	c 25.0s |      17 |   303742 |   233432 |     1109    449 |        0 |        0
26.88/26.98	c 27.0s |      17 |   327575 |   251432 |     1109    477 |        0 |        0
28.88/28.98	c 29.0s |      17 |   351725 |   269732 |     1109    506 |        0 |        0
30.89/30.99	c 31.0s |      17 |   374937 |   287932 |     1109    534 |        0 |        0
31.89/31.98	c 32.0s |      18 |   385531 |   296252 |     1220    546 |        0 |        0
33.88/33.98	c 34.0s |      18 |   408845 |   314552 |     1220    572 |        0 |        0
35.88/35.99	c 36.0s |      18 |   434726 |   333352 |     1220    600 |        0 |        0
37.88/38.00	c 38.0s |      18 |   457931 |   351052 |     1220    625 |        0 |        0
39.98/40.00	c 40.0s |      18 |   483877 |   369752 |     1220    652 |        0 |        0
41.98/42.00	c 42.0s |      18 |   508151 |   387352 |     1220    678 |        0 |        0
43.99/44.01	c 44.0s |      18 |   532917 |   405752 |     1220    705 |        0 |        0
45.98/46.01	c 46.0s |      18 |   558795 |   424452 |     1220    732 |        0 |        0
47.98/48.02	c 48.0s |      18 |   582976 |   442752 |     1342    758 |        0 |        0
48.18/48.24	c 48.2s |      19 |   585120 |   444482 |     1342    760 |        0 |        0
50.18/50.24	c 50.2s |      19 |   606598 |   461282 |     1342    782 |        0 |        0
52.18/52.25	c 52.2s |      19 |   627352 |   477682 |     1342    804 |        0 |        0
54.18/54.26	c 54.2s |      19 |   648330 |   494082 |     1342    825 |        0 |        0
56.18/56.26	c 56.2s |      19 |   671083 |   510682 |     1342    847 |        0 |        0
58.18/58.26	c 58.2s |      19 |   695687 |   529182 |     1342    871 |        0 |        0
60.18/60.27	c 60.2s |      19 |   720679 |   547382 |     1342    895 |        0 |        0
62.18/62.27	c 62.3s |      19 |   744098 |   565282 |     1342    919 |        0 |        0
64.18/64.27	c 64.3s |      19 |   767934 |   583082 |     1342    942 |        0 |        0
66.18/66.28	c 66.3s |      19 |   792487 |   601382 |     1342    966 |        0 |        0
68.19/68.28	c 68.3s |      19 |   817429 |   620182 |     1342    991 |        0 |        0
70.18/70.29	c 70.3s |      19 |   840839 |   637782 |     1342   1014 |        0 |        0
72.18/72.29	c 72.3s |      19 |   865270 |   655682 |     1342   1037 |        0 |        0
73.57/73.64	c 73.6s |      20 |   879731 |   666827 |     1477   1051 |        0 |        0
75.57/75.64	c 75.6s |      20 |   902155 |   683427 |     1477   1071 |        0 |        0
77.57/77.65	c 77.6s |      20 |   922740 |   699027 |     1477   1090 |        0 |        0
79.57/79.65	c 79.6s |      20 |   945688 |   715827 |     1477   1110 |        0 |        0
81.57/81.66	c 81.6s |      20 |   967924 |   732627 |     1477   1131 |        0 |        0
83.57/83.67	c 83.7s |      20 |   991250 |   749827 |     1477   1152 |        0 |        0
85.57/85.67	c 85.7s |      20 |  1014767 |   767427 |     1477   1173 |        0 |        0
87.56/87.68	c 87.7s |      20 |  1037977 |   784427 |     1477   1194 |        0 |        0
89.56/89.68	c 89.7s |      20 |  1059987 |   800527 |     1477   1213 |        0 |        0
91.56/91.69	c 91.7s |      20 |  1081398 |   816427 |     1477   1232 |        0 |        0
93.57/93.70	c 93.7s |      20 |  1103330 |   832527 |     1477   1252 |        0 |        0
95.56/95.70	c 95.7s |      20 |  1125543 |   848627 |     1477   1272 |        0 |        0
97.66/97.71	c 97.7s |      20 |  1148462 |   865427 |     1477   1292 |        0 |        0
99.66/99.72	c 99.7s |      20 |  1170011 |   881527 |     1477   1312 |        0 |        0
101.66/101.73	c  101s |      20 |  1190869 |   897527 |     1477   1331 |        0 |        0
103.66/103.74	c  103s |      20 |  1214035 |   914327 |     1477   1351 |        0 |        0
105.67/105.75	c  105s |      20 |  1236316 |   930527 |     1477   1371 |        0 |        0
107.67/107.75	c  107s |      20 |  1258714 |   946727 |     1477   1391 |        0 |        0
109.67/109.75	c  109s |      20 |  1280332 |   963127 |     1477   1410 |        0 |        0
111.66/111.76	c  111s |      20 |  1302024 |   979227 |     1477   1430 |        0 |        0
113.66/113.76	c  113s |      20 |  1323607 |   995027 |     1625   1449 |        0 |        0
114.37/114.46	c  114s |      21 |  1330493 |  1000345 |     1625   1455 |        0 |        0
116.36/116.46	c  116s |      21 |  1353053 |  1017445 |     1625   1473 |        0 |        0
118.36/118.46	c  118s |      21 |  1376627 |  1034945 |     1625   1493 |        0 |        0
120.36/120.47	c  120s |      21 |  1401218 |  1052745 |     1625   1512 |        0 |        0
122.36/122.48	c  122s |      21 |  1424743 |  1070345 |     1625   1532 |        0 |        0
124.37/124.48	c  124s |      21 |  1447619 |  1087745 |     1625   1551 |        0 |        0
126.36/126.49	c  126s |      21 |  1469692 |  1104145 |     1625   1569 |        0 |        0
128.36/128.49	c  128s |      21 |  1491816 |  1121245 |     1625   1588 |        0 |        0
130.46/130.50	c  130s |      21 |  1514693 |  1138445 |     1625   1607 |        0 |        0
132.45/132.50	c  132s |      21 |  1536879 |  1155145 |     1625   1625 |        0 |        0
134.45/134.51	c  134s |      21 |  1557567 |  1171045 |     1625   1643 |        0 |        0
136.46/136.51	c  136s |      21 |  1579457 |  1187745 |     1625   1662 |        0 |        0
138.45/138.51	c  138s |      21 |  1602603 |  1205045 |     1625   1681 |        0 |        0
140.45/140.52	c  140s |      21 |  1626496 |  1223045 |     1625   1701 |        0 |        0
142.45/142.53	c  142s |      21 |  1650428 |  1240645 |     1625   1720 |        0 |        0
144.45/144.53	c  144s |      21 |  1674415 |  1258345 |     1625   1739 |        0 |        0
146.45/146.54	c  146s |      21 |  1699971 |  1277245 |     1625   1760 |        0 |        0
148.46/148.54	c  148s |      21 |  1722814 |  1294145 |     1625   1779 |        0 |        0
150.46/150.54	c  150s |      21 |  1745942 |  1311645 |     1625   1798 |        0 |        0
152.45/152.55	c  152s |      21 |  1770030 |  1329345 |     1625   1817 |        0 |        0
154.45/154.55	c  154s |      21 |  1792768 |  1346845 |     1625   1837 |        0 |        0
156.45/156.55	c  156s |      21 |  1815900 |  1364145 |     1625   1856 |        0 |        0
158.46/158.57	c  158s |      21 |  1837308 |  1380845 |     1625   1874 |        0 |        0
160.45/160.57	c  160s |      21 |  1858416 |  1397345 |     1625   1892 |        0 |        0
162.45/162.58	c  162s |      21 |  1880251 |  1414445 |     1625   1911 |        0 |        0
164.45/164.58	c  164s |      21 |  1904158 |  1432245 |     1625   1931 |        0 |        0
166.45/166.59	c  166s |      21 |  1928224 |  1449945 |     1625   1950 |        0 |        0
168.55/168.60	c  168s |      21 |  1950297 |  1466845 |     1625   1969 |        0 |        0
170.45/170.60	c  170s |      21 |  1972506 |  1483845 |     1625   1987 |        0 |        0
172.54/172.60	c  172s |      21 |  1994541 |  1500445 |     1788   2004 |        0 |        0
172.54/172.63	c  172s |      22 |  1994789 |  1500622 |     1788   2005 |        0 |        0
174.54/174.64	c  174s |      22 |  2014282 |  1515422 |     1788   2020 |        0 |        0
176.54/176.65	c  176s |      22 |  2036279 |  1531522 |     1788   2036 |        0 |        0
178.54/178.66	c  178s |      22 |  2056313 |  1546522 |     1788   2051 |        0 |        0
180.54/180.67	c  180s |      22 |  2077172 |  1562022 |     1788   2067 |        0 |        0
182.54/182.67	c  182s |      22 |  2097403 |  1577122 |     1788   2082 |        0 |        0
184.53/184.68	c  184s |      22 |  2118788 |  1593022 |     1788   2099 |        0 |        0
186.53/186.68	c  186s |      22 |  2138051 |  1608022 |     1788   2114 |        0 |        0
188.53/188.70	c  188s |      22 |  2157053 |  1622022 |     1788   2128 |        0 |        0
190.63/190.71	c  190s |      22 |  2178142 |  1637722 |     1788   2144 |        0 |        0
192.62/192.72	c  192s |      22 |  2199767 |  1653422 |     1788   2160 |        0 |        0
194.63/194.73	c  194s |      22 |  2219642 |  1668422 |     1788   2176 |        0 |        0
196.63/196.73	c  196s |      22 |  2239380 |  1683622 |     1788   2191 |        0 |        0
198.63/198.74	c  198s |      22 |  2259356 |  1698522 |     1788   2206 |        0 |        0
200.63/200.74	c  200s |      22 |  2279845 |  1714122 |     1788   2222 |        0 |        0
202.63/202.74	c  202s |      22 |  2300626 |  1729022 |     1788   2237 |        0 |        0
204.63/204.75	c  204s |      22 |  2321956 |  1745322 |     1788   2254 |        0 |        0
206.62/206.76	c  206s |      22 |  2342232 |  1760522 |     1788   2270 |        0 |        0
208.62/208.76	c  208s |      22 |  2363369 |  1776622 |     1788   2286 |        0 |        0
210.62/210.77	c  210s |      22 |  2384136 |  1792422 |     1788   2302 |        0 |        0
212.62/212.78	c  212s |      22 |  2404446 |  1808222 |     1788   2319 |        0 |        0
214.62/214.78	c  214s |      22 |  2425513 |  1824122 |     1788   2335 |        0 |        0
216.63/216.78	c  216s |      22 |  2447469 |  1839922 |     1788   2351 |        0 |        0
218.62/218.79	c  218s |      22 |  2469748 |  1856422 |     1788   2368 |        0 |        0
220.72/220.81	c  220s |      22 |  2490909 |  1872022 |     1788   2385 |        0 |        0
222.72/222.81	c  222s |      22 |  2510864 |  1887022 |     1788   2400 |        0 |        0
224.72/224.82	c  224s |      22 |  2529676 |  1901222 |     1788   2415 |        0 |        0
226.72/226.84	c  226s |      22 |  2547797 |  1915122 |     1788   2429 |        0 |        0
228.72/228.84	c  228s |      22 |  2565261 |  1928522 |     1788   2443 |        0 |        0
230.71/230.85	c  230s |      22 |  2584001 |  1942522 |     1788   2457 |        0 |        0
232.71/232.85	c  232s |      22 |  2603320 |  1956322 |     1788   2472 |        0 |        0
234.71/234.86	c  234s |      22 |  2621928 |  1970022 |     1788   2486 |        0 |        0
236.71/236.87	c  236s |      22 |  2640441 |  1983722 |     1788   2500 |        0 |        0
238.72/238.88	c  238s |      22 |  2659280 |  1998022 |     1788   2515 |        0 |        0
240.71/240.88	c  240s |      22 |  2679969 |  2013822 |     1788   2531 |        0 |        0
242.71/242.89	c  242s |      22 |  2698141 |  2027922 |     1788   2546 |        0 |        0
244.81/244.90	c  244s |      22 |  2716208 |  2041622 |     1788   2560 |        0 |        0
246.81/246.90	c  246s |      22 |  2735598 |  2056222 |     1788   2575 |        0 |        0
248.81/248.91	c  248s |      22 |  2754381 |  2070222 |     1788   2589 |        0 |        0
250.81/250.91	c  250s |      22 |  2772520 |  2083922 |     1788   2603 |        0 |        0
252.80/252.92	c  252s |      22 |  2790456 |  2097522 |     1788   2617 |        0 |        0
254.80/254.93	c  254s |      22 |  2809627 |  2111622 |     1788   2632 |        0 |        0
256.80/256.94	c  256s |      22 |  2829909 |  2126222 |     1788   2647 |        0 |        0
258.81/258.95	c  258s |      22 |  2848790 |  2140122 |     1788   2661 |        0 |        0
260.81/260.95	c  260s |      22 |  2868347 |  2154522 |     1788   2676 |        0 |        0
262.81/262.96	c  262s |      22 |  2887751 |  2168822 |     1788   2691 |        0 |        0
264.80/264.97	c  264s |      22 |  2906338 |  2183022 |     1788   2706 |        0 |        0
266.80/266.98	c  266s |      22 |  2926122 |  2197822 |     1788   2721 |        0 |        0
268.80/268.99	c  268s |      22 |  2945002 |  2211922 |     1788   2736 |        0 |        0
270.90/271.00	c  270s |      22 |  2965568 |  2227022 |     1788   2751 |        0 |        0
272.90/273.00	c  272s |      22 |  2986711 |  2242322 |     1967   2766 |        0 |        0
274.00/274.15	c  274s |      23 |  2998782 |  2251038 |     1967   2774 |        0 |        0
276.00/276.15	c  276s |      23 |  3017525 |  2265838 |     1967   2788 |        0 |        0
278.00/278.15	c  278s |      23 |  3037103 |  2281138 |     1967   2802 |        0 |        0
280.00/280.15	c  280s |      23 |  3057287 |  2296738 |     1967   2816 |        0 |        0
282.00/282.16	c  282s |      23 |  3076050 |  2311738 |     1967   2830 |        0 |        0
283.99/284.17	c  284s |      23 |  3094632 |  2326138 |     1967   2843 |        0 |        0
286.00/286.17	c  286s |      23 |  3114797 |  2341938 |     1967   2858 |        0 |        0
287.99/288.18	c  288s |      23 |  3135420 |  2357738 |     1967   2873 |        0 |        0
289.99/290.18	c  290s |      23 |  3156219 |  2373838 |     1967   2888 |        0 |        0
292.09/292.20	c  292s |      23 |  3177097 |  2389738 |     1967   2902 |        0 |        0
294.09/294.21	c  294s |      23 |  3198365 |  2405738 |     1967   2917 |        0 |        0
296.09/296.22	c  296s |      23 |  3219372 |  2422038 |     1967   2933 |        0 |        0
298.09/298.23	c  298s |      23 |  3239649 |  2437938 |     1967   2947 |        0 |        0
300.09/300.24	c  300s |      23 |  3260516 |  2454238 |     1967   2963 |        0 |        0
302.08/302.24	c  302s |      23 |  3280457 |  2469938 |     1967   2977 |        0 |        0
304.08/304.25	c  304s |      23 |  3299532 |  2485138 |     1967   2992 |        0 |        0
306.08/306.25	c  306s |      23 |  3322357 |  2502538 |     1967   3008 |        0 |        0
308.08/308.26	c  308s |      23 |  3341636 |  2517638 |     1967   3022 |        0 |        0
310.09/310.26	c  310s |      23 |  3362689 |  2534038 |     1967   3037 |        0 |        0
312.08/312.27	c  312s |      23 |  3383967 |  2550338 |     1967   3053 |        0 |        0
314.08/314.28	c  314s |      23 |  3405162 |  2566838 |     1967   3068 |        0 |        0
316.08/316.29	c  316s |      23 |  3425728 |  2582838 |     1967   3083 |        0 |        0
318.08/318.29	c  318s |      23 |  3445926 |  2598338 |     1967   3098 |        0 |        0
320.17/320.30	c  320s |      23 |  3467988 |  2614938 |     1967   3113 |        0 |        0
322.19/322.31	c  322s |      23 |  3487746 |  2630338 |     1967   3127 |        0 |        0
324.18/324.32	c  324s |      23 |  3506637 |  2645438 |     1967   3141 |        0 |        0
326.18/326.32	c  326s |      23 |  3527032 |  2661638 |     1967   3156 |        0 |        0
328.18/328.33	c  328s |      23 |  3547219 |  2677538 |     1967   3171 |        0 |        0
330.18/330.34	c  330s |      23 |  3566665 |  2692938 |     1967   3186 |        0 |        0
332.18/332.34	c  332s |      23 |  3588278 |  2709738 |     1967   3201 |        0 |        0
334.17/334.35	c  334s |      23 |  3608358 |  2725538 |     1967   3216 |        0 |        0
336.17/336.36	c  336s |      23 |  3630360 |  2742338 |     1967   3231 |        0 |        0
338.17/338.37	c  338s |      23 |  3651076 |  2758338 |     1967   3246 |        0 |        0
340.17/340.38	c  340s |      23 |  3671532 |  2774138 |     1967   3261 |        0 |        0
342.17/342.39	c  342s |      23 |  3692676 |  2790538 |     1967   3276 |        0 |        0
344.17/344.40	c  344s |      23 |  3712226 |  2806338 |     1967   3291 |        0 |        0
346.26/346.41	c  346s |      23 |  3732488 |  2822538 |     1967   3306 |        0 |        0
348.26/348.41	c  348s |      23 |  3753054 |  2838838 |     1967   3322 |        0 |        0
350.26/350.42	c  350s |      23 |  3773481 |  2854838 |     1967   3337 |        0 |        0
352.26/352.42	c  352s |      23 |  3794142 |  2870538 |     1967   3352 |        0 |        0
354.25/354.43	c  354s |      23 |  3813159 |  2885738 |     1967   3366 |        0 |        0
356.26/356.44	c  356s |      23 |  3833848 |  2901738 |     1967   3381 |        0 |        0
358.26/358.45	c  358s |      23 |  3851552 |  2916038 |     1967   3394 |        0 |        0
360.26/360.45	c  360s |      23 |  3870738 |  2931338 |     1967   3409 |        0 |        0
362.26/362.46	c  362s |      23 |  3892070 |  2947438 |     1967   3424 |        0 |        0
364.26/364.47	c  364s |      23 |  3912736 |  2963538 |     1967   3439 |        0 |        0
366.27/366.48	c  366s |      23 |  3933396 |  2979638 |     1967   3454 |        0 |        0
368.26/368.48	c  368s |      23 |  3954516 |  2995938 |     1967   3469 |        0 |        0
370.26/370.49	c  370s |      23 |  3974908 |  3011838 |     1967   3484 |        0 |        0
372.26/372.50	c  372s |      23 |  3995482 |  3027838 |     1967   3499 |        0 |        0
374.36/374.50	c  374s |      23 |  4016500 |  3044038 |     1967   3514 |        0 |        0
376.35/376.51	c  376s |      23 |  4038210 |  3060538 |     1967   3530 |        0 |        0
378.36/378.51	c  378s |      23 |  4057347 |  3075638 |     1967   3544 |        0 |        0
380.35/380.51	c  380s |      23 |  4078267 |  3091638 |     1967   3559 |        0 |        0
382.35/382.51	c  382s |      23 |  4098830 |  3107438 |     1967   3574 |        0 |        0
384.35/384.52	c  384s |      23 |  4119200 |  3123138 |     1967   3589 |        0 |        0
386.35/386.52	c  386s |      23 |  4141621 |  3139838 |     1967   3604 |        0 |        0
388.35/388.53	c  388s |      23 |  4161840 |  3155538 |     1967   3619 |        0 |        0
390.36/390.54	c  390s |      23 |  4183410 |  3172238 |     1967   3635 |        0 |        0
392.35/392.55	c  392s |      23 |  4204323 |  3188138 |     1967   3650 |        0 |        0
394.35/394.55	c  394s |      23 |  4225482 |  3204338 |     1967   3665 |        0 |        0
396.35/396.56	c  396s |      23 |  4245298 |  3219938 |     1967   3680 |        0 |        0
398.35/398.57	c  398s |      23 |  4265046 |  3235238 |     1967   3694 |        0 |        0
400.35/400.58	c  400s |      23 |  4284328 |  3250238 |     1967   3708 |        0 |        0
402.34/402.60	c  402s |      23 |  4304637 |  3266438 |     1967   3723 |        0 |        0
404.44/404.61	c  404s |      23 |  4325316 |  3282638 |     1967   3739 |        0 |        0
406.44/406.61	c  406s |      23 |  4346675 |  3299438 |     1967   3754 |        0 |        0
408.44/408.62	c  408s |      23 |  4368227 |  3316138 |     1967   3770 |        0 |        0
410.44/410.63	c  410s |      23 |  4387883 |  3332138 |     1967   3785 |        0 |        0
412.44/412.63	c  412s |      23 |  4407466 |  3347838 |     1967   3800 |        0 |        0
414.43/414.64	c  414s |      23 |  4425290 |  3362338 |     2164   3812 |        0 |        0
416.23/416.41	c  416s |      24 |  4443814 |  3376662 |     2164   3825 |        0 |        0
418.23/418.42	c  418s |      24 |  4463382 |  3391862 |     2164   3838 |        0 |        0
420.23/420.42	c  420s |      24 |  4483457 |  3406662 |     2164   3851 |        0 |        0
422.24/422.43	c  422s |      24 |  4504629 |  3422062 |     2164   3864 |        0 |        0
424.23/424.44	c  424s |      24 |  4525907 |  3437562 |     2164   3877 |        0 |        0
426.23/426.45	c  426s |      24 |  4546396 |  3452462 |     2164   3890 |        0 |        0
428.23/428.45	c  428s |      24 |  4568238 |  3468362 |     2164   3903 |        0 |        0
430.23/430.45	c  430s |      24 |  4589680 |  3484062 |     2164   3917 |        0 |        0
432.23/432.46	c  432s |      24 |  4611195 |  3499762 |     2164   3930 |        0 |        0
434.22/434.47	c  434s |      24 |  4633676 |  3515662 |     2164   3944 |        0 |        0
436.22/436.47	c  436s |      24 |  4652969 |  3530062 |     2164   3956 |        0 |        0
438.22/438.48	c  438s |      24 |  4670557 |  3543662 |     2164   3968 |        0 |        0
440.22/440.49	c  440s |      24 |  4691006 |  3558462 |     2164   3980 |        0 |        0
442.32/442.50	c  442s |      24 |  4710452 |  3573362 |     2164   3993 |        0 |        0
444.33/444.51	c  444s |      24 |  4729282 |  3587662 |     2164   4005 |        0 |        0
446.33/446.52	c  446s |      24 |  4747429 |  3601362 |     2164   4017 |        0 |        0
448.33/448.52	c  448s |      24 |  4767703 |  3616362 |     2164   4030 |        0 |        0
450.32/450.52	c  450s |      24 |  4786777 |  3630762 |     2164   4042 |        0 |        0
452.32/452.53	c  452s |      24 |  4808128 |  3646662 |     2164   4055 |        0 |        0
454.32/454.54	c  454s |      24 |  4828296 |  3661662 |     2164   4068 |        0 |        0
456.33/456.55	c  456s |      24 |  4849873 |  3677062 |     2164   4081 |        0 |        0
458.32/458.56	c  458s |      24 |  4868247 |  3691262 |     2164   4094 |        0 |        0
460.32/460.57	c  460s |      24 |  4887731 |  3705662 |     2164   4106 |        0 |        0
462.32/462.57	c  462s |      24 |  4907569 |  3720862 |     2164   4119 |        0 |        0
464.31/464.58	c  464s |      24 |  4926900 |  3735162 |     2164   4131 |        0 |        0
466.32/466.59	c  466s |      24 |  4945331 |  3749062 |     2164   4143 |        0 |        0
468.31/468.59	c  468s |      24 |  4965755 |  3764262 |     2164   4156 |        0 |        0
470.31/470.59	c  470s |      24 |  4986787 |  3779662 |     2164   4169 |        0 |        0
472.41/472.60	c  472s |      24 |  5006384 |  3794662 |     2164   4182 |        0 |        0
474.40/474.61	c  474s |      24 |  5026606 |  3809962 |     2164   4195 |        0 |        0
476.40/476.61	c  476s |      24 |  5046050 |  3824862 |     2164   4208 |        0 |        0
478.41/478.63	c  478s |      24 |  5065745 |  3839362 |     2164   4220 |        0 |        0
480.40/480.64	c  480s |      24 |  5087001 |  3854962 |     2164   4233 |        0 |        0
482.40/482.65	c  482s |      24 |  5107470 |  3870062 |     2164   4246 |        0 |        0
484.40/484.65	c  484s |      24 |  5127686 |  3885362 |     2164   4259 |        0 |        0
486.40/486.65	c  486s |      24 |  5149925 |  3901362 |     2164   4273 |        0 |        0
488.40/488.67	c  488s |      24 |  5170623 |  3916962 |     2164   4286 |        0 |        0
490.41/490.67	c  490s |      24 |  5191618 |  3932562 |     2164   4300 |        0 |        0
492.40/492.68	c  492s |      24 |  5212111 |  3947962 |     2164   4313 |        0 |        0
494.40/494.68	c  494s |      24 |  5232970 |  3963362 |     2164   4326 |        0 |        0
496.40/496.69	c  496s |      24 |  5252211 |  3978062 |     2164   4339 |        0 |        0
498.40/498.69	c  498s |      24 |  5271314 |  3992662 |     2164   4351 |        0 |        0
500.40/500.69	c  500s |      24 |  5290876 |  4006962 |     2164   4363 |        0 |        0
502.40/502.70	c  502s |      24 |  5312118 |  4022462 |     2164   4377 |        0 |        0
504.50/504.71	c  504s |      24 |  5331786 |  4037862 |     2164   4390 |        0 |        0
506.50/506.72	c  506s |      24 |  5351836 |  4053162 |     2164   4403 |        0 |        0
508.49/508.73	c  508s |      24 |  5374633 |  4069362 |     2164   4416 |        0 |        0
510.49/510.74	c  510s |      24 |  5395313 |  4084262 |     2164   4429 |        0 |        0
512.49/512.74	c  512s |      24 |  5415549 |  4099062 |     2164   4442 |        0 |        0
514.48/514.75	c  514s |      24 |  5435236 |  4114162 |     2164   4455 |        0 |        0
516.48/516.75	c  516s |      24 |  5453776 |  4128762 |     2164   4467 |        0 |        0
518.48/518.75	c  518s |      24 |  5474141 |  4143562 |     2164   4480 |        0 |        0
520.48/520.76	c  520s |      24 |  5492880 |  4157962 |     2164   4492 |        0 |        0
522.48/522.77	c  522s |      24 |  5512408 |  4172862 |     2164   4505 |        0 |        0
524.49/524.78	c  524s |      24 |  5534144 |  4188362 |     2164   4518 |        0 |        0
526.49/526.78	c  526s |      24 |  5553887 |  4202862 |     2164   4530 |        0 |        0
528.49/528.78	c  528s |      24 |  5573636 |  4217562 |     2164   4542 |        0 |        0
530.49/530.79	c  530s |      24 |  5591062 |  4230662 |     2164   4554 |        0 |        0
532.49/532.79	c  532s |      24 |  5611105 |  4245662 |     2164   4566 |        0 |        0
534.49/534.80	c  534s |      24 |  5631226 |  4260962 |     2164   4579 |        0 |        0
536.48/536.80	c  536s |      24 |  5649914 |  4275162 |     2164   4592 |        0 |        0
538.58/538.80	c  538s |      24 |  5670929 |  4290862 |     2164   4605 |        0 |        0
540.58/540.80	c  540s |      24 |  5690560 |  4305662 |     2164   4618 |        0 |        0
542.58/542.81	c  542s |      24 |  5709149 |  4320262 |     2164   4630 |        0 |        0
544.58/544.82	c  544s |      24 |  5729038 |  4335162 |     2164   4643 |        0 |        0
546.58/546.83	c  546s |      24 |  5747363 |  4349162 |     2164   4655 |        0 |        0
548.57/548.84	c  548s |      24 |  5765268 |  4363362 |     2164   4667 |        0 |        0
550.57/550.85	c  550s |      24 |  5785033 |  4378062 |     2164   4679 |        0 |        0
552.57/552.85	c  552s |      24 |  5804388 |  4392562 |     2164   4692 |        0 |        0
554.57/554.85	c  554s |      24 |  5824499 |  4407262 |     2164   4704 |        0 |        0
556.57/556.85	c  556s |      24 |  5843067 |  4421962 |     2164   4717 |        0 |        0
558.58/558.85	c  558s |      24 |  5864063 |  4437562 |     2164   4730 |        0 |        0
560.57/560.86	c  560s |      24 |  5886125 |  4453762 |     2164   4744 |        0 |        0
562.57/562.87	c  562s |      24 |  5906055 |  4469062 |     2164   4757 |        0 |        0
564.57/564.87	c  564s |      24 |  5924184 |  4483562 |     2164   4769 |        0 |        0
566.56/566.88	c  566s |      24 |  5943948 |  4498662 |     2164   4782 |        0 |        0
568.57/568.88	c  568s |      24 |  5962332 |  4513062 |     2164   4795 |        0 |        0
570.56/570.90	c  570s |      24 |  5984789 |  4529562 |     2164   4809 |        0 |        0
572.66/572.90	c  572s |      24 |  6003867 |  4543962 |     2164   4821 |        0 |        0
574.66/574.90	c  574s |      24 |  6023853 |  4558962 |     2164   4834 |        0 |        0
576.66/576.91	c  576s |      24 |  6041477 |  4572862 |     2164   4845 |        0 |        0
578.66/578.92	c  578s |      24 |  6061850 |  4588362 |     2164   4859 |        0 |        0
580.67/580.93	c  580s |      24 |  6082464 |  4603262 |     2164   4871 |        0 |        0
582.66/582.93	c  582s |      24 |  6103676 |  4619062 |     2164   4885 |        0 |        0
584.66/584.96	c  584s |      24 |  6126159 |  4634962 |     2164   4899 |        0 |        0
586.66/586.96	c  586s |      24 |  6145881 |  4649362 |     2164   4911 |        0 |        0
588.66/588.97	c  588s |      24 |  6164810 |  4663662 |     2164   4923 |        0 |        0
590.66/590.98	c  590s |      24 |  6184768 |  4678362 |     2164   4936 |        0 |        0
592.66/592.99	c  592s |      24 |  6205419 |  4693862 |     2164   4949 |        0 |        0
594.75/595.00	c  594s |      24 |  6225824 |  4708662 |     2164   4962 |        0 |        0
596.75/597.01	c  596s |      24 |  6246658 |  4724162 |     2164   4975 |        0 |        0
598.75/599.02	c  599s |      24 |  6268183 |  4740062 |     2164   4988 |        0 |        0
600.75/601.03	c  601s |      24 |  6287521 |  4755062 |     2164   5001 |        0 |        0
602.75/603.04	c  603s |      24 |  6307387 |  4770362 |     2164   5014 |        0 |        0
604.76/605.04	c  605s |      24 |  6327780 |  4785762 |     2164   5028 |        0 |        0
606.75/607.04	c  607s |      24 |  6347561 |  4800762 |     2164   5040 |        0 |        0
608.75/609.06	c  609s |      24 |  6367992 |  4815962 |     2164   5053 |        0 |        0
610.75/611.07	c  611s |      24 |  6387789 |  4830962 |     2164   5066 |        0 |        0
612.75/613.07	c  613s |      24 |  6407868 |  4845962 |     2164   5079 |        0 |        0
614.75/615.07	c  615s |      24 |  6428203 |  4860962 |     2164   5092 |        0 |        0
616.75/617.07	c  617s |      24 |  6448602 |  4876362 |     2164   5105 |        0 |        0
618.75/619.07	c  619s |      24 |  6468204 |  4891362 |     2164   5118 |        0 |        0
620.74/621.08	c  621s |      24 |  6489107 |  4907062 |     2164   5132 |        0 |        0
622.74/623.08	c  623s |      24 |  6510063 |  4922462 |     2164   5145 |        0 |        0
624.74/625.09	c  625s |      24 |  6531697 |  4938262 |     2164   5158 |        0 |        0
626.75/627.09	c  627s |      24 |  6550877 |  4953162 |     2164   5171 |        0 |        0
628.84/629.10	c  629s |      24 |  6570924 |  4968162 |     2164   5184 |        0 |        0
630.84/631.10	c  631s |      24 |  6592364 |  4983762 |     2164   5198 |        0 |        0
632.84/633.10	c  633s |      24 |  6612334 |  4998862 |     2164   5211 |        0 |        0
634.84/635.10	c  635s |      24 |  6632800 |  5014162 |     2164   5224 |        0 |        0
636.83/637.11	c  637s |      24 |  6652060 |  5029062 |     2381   5236 |        0 |        0
638.84/639.13	c  639s |      24 |  6670686 |  5043562 |     2381   5248 |        0 |        0
640.83/641.14	c  641s |      24 |  6688556 |  5057162 |     2381   5258 |        0 |        0
642.03/642.39	c  642s |      25 |  6698764 |  5065098 |     2381   5264 |        0 |        0
644.13/644.40	c  644s |      25 |  6717357 |  5079498 |     2381   5276 |        0 |        0
646.13/646.41	c  646s |      25 |  6735998 |  5093898 |     2381   5287 |        0 |        0
648.13/648.42	c  648s |      25 |  6753630 |  5107998 |     2381   5298 |        0 |        0
650.13/650.43	c  650s |      25 |  6772504 |  5122498 |     2381   5309 |        0 |        0
652.13/652.43	c  652s |      25 |  6791371 |  5136998 |     2381   5321 |        0 |        0
654.12/654.44	c  654s |      25 |  6812138 |  5152398 |     2381   5333 |        0 |        0
656.12/656.44	c  656s |      25 |  6828595 |  5165698 |     2381   5343 |        0 |        0
658.12/658.45	c  658s |      25 |  6846019 |  5179298 |     2381   5354 |        0 |        0
660.12/660.45	c  660s |      25 |  6864229 |  5193398 |     2381   5365 |        0 |        0
662.12/662.46	c  662s |      25 |  6883532 |  5208298 |     2381   5376 |        0 |        0
664.13/664.47	c  664s |      25 |  6902147 |  5222698 |     2381   5388 |        0 |        0
666.12/666.48	c  666s |      25 |  6920487 |  5236798 |     2381   5399 |        0 |        0
668.12/668.49	c  668s |      25 |  6937824 |  5250298 |     2381   5409 |        0 |        0
670.12/670.49	c  670s |      25 |  6955492 |  5264198 |     2381   5420 |        0 |        0
672.22/672.50	c  672s |      25 |  6973396 |  5278198 |     2381   5431 |        0 |        0
674.21/674.51	c  674s |      25 |  6993344 |  5293598 |     2381   5443 |        0 |        0
676.23/676.52	c  676s |      25 |  7011891 |  5308098 |     2381   5454 |        0 |        0
678.22/678.52	c  678s |      25 |  7031034 |  5322598 |     2381   5466 |        0 |        0
680.22/680.53	c  680s |      25 |  7050238 |  5337098 |     2381   5477 |        0 |        0
682.22/682.53	c  682s |      25 |  7069606 |  5351698 |     2381   5489 |        0 |        0
684.21/684.54	c  684s |      25 |  7089970 |  5366598 |     2381   5500 |        0 |        0
686.22/686.55	c  686s |      25 |  7110229 |  5381798 |     2381   5512 |        0 |        0
688.21/688.55	c  688s |      25 |  7131257 |  5397498 |     2381   5524 |        0 |        0
690.21/690.56	c  690s |      25 |  7149857 |  5411898 |     2381   5536 |        0 |        0
692.21/692.57	c  692s |      25 |  7167915 |  5426398 |     2381   5547 |        0 |        0
694.21/694.57	c  694s |      25 |  7187739 |  5441498 |     2381   5559 |        0 |        0
696.21/696.58	c  696s |      25 |  7208456 |  5457198 |     2381   5571 |        0 |        0
698.22/698.59	c  698s |      25 |  7228598 |  5472898 |     2381   5583 |        0 |        0
700.21/700.59	c  700s |      25 |  7247038 |  5487598 |     2381   5595 |        0 |        0
702.31/702.60	c  702s |      25 |  7265455 |  5502398 |     2381   5606 |        0 |        0
704.31/704.61	c  704s |      25 |  7283369 |  5516598 |     2381   5618 |        0 |        0
706.31/706.64	c  706s |      25 |  7303321 |  5531698 |     2381   5629 |        0 |        0
708.31/708.65	c  708s |      25 |  7323376 |  5546798 |     2381   5641 |        0 |        0
710.31/710.66	c  710s |      25 |  7341015 |  5560598 |     2381   5652 |        0 |        0
712.31/712.66	c  712s |      25 |  7356920 |  5573498 |     2381   5662 |        0 |        0
714.31/714.67	c  714s |      25 |  7375120 |  5587598 |     2381   5673 |        0 |        0
716.31/716.67	c  716s |      25 |  7393517 |  5601798 |     2381   5684 |        0 |        0
718.31/718.68	c  718s |      25 |  7412592 |  5616398 |     2381   5696 |        0 |        0
720.31/720.68	c  720s |      25 |  7432610 |  5631398 |     2381   5707 |        0 |        0
722.31/722.68	c  722s |      25 |  7450948 |  5645798 |     2381   5718 |        0 |        0
724.30/724.69	c  724s |      25 |  7469401 |  5659998 |     2381   5730 |        0 |        0
726.30/726.69	c  726s |      25 |  7486144 |  5673598 |     2381   5740 |        0 |        0
728.40/728.70	c  728s |      25 |  7504849 |  5687898 |     2381   5751 |        0 |        0
730.40/730.71	c  730s |      25 |  7524720 |  5702798 |     2381   5763 |        0 |        0
732.41/732.71	c  732s |      25 |  7543228 |  5716998 |     2381   5774 |        0 |        0
734.40/734.72	c  734s |      25 |  7561707 |  5731198 |     2381   5785 |        0 |        0
736.40/736.73	c  736s |      25 |  7581389 |  5746098 |     2381   5797 |        0 |        0
738.40/738.73	c  738s |      25 |  7601304 |  5761398 |     2381   5809 |        0 |        0
740.40/740.76	c  740s |      25 |  7620723 |  5776198 |     2381   5821 |        0 |        0
742.40/742.76	c  742s |      25 |  7640396 |  5790998 |     2381   5832 |        0 |        0
744.41/744.77	c  744s |      25 |  7659562 |  5805998 |     2381   5844 |        0 |        0
746.40/746.78	c  746s |      25 |  7679873 |  5821298 |     2381   5856 |        0 |        0
748.40/748.79	c  748s |      25 |  7699048 |  5836298 |     2381   5868 |        0 |        0
750.50/750.80	c  750s |      25 |  7717498 |  5850598 |     2381   5879 |        0 |        0
752.50/752.81	c  752s |      25 |  7738066 |  5866398 |     2381   5891 |        0 |        0
754.50/754.82	c  754s |      25 |  7757954 |  5881298 |     2381   5903 |        0 |        0
756.51/756.83	c  756s |      25 |  7777273 |  5895698 |     2381   5914 |        0 |        0
758.50/758.84	c  758s |      25 |  7796075 |  5910098 |     2381   5925 |        0 |        0
760.50/760.84	c  760s |      25 |  7816914 |  5925398 |     2381   5937 |        0 |        0
762.50/762.85	c  762s |      25 |  7837011 |  5940698 |     2381   5949 |        0 |        0
764.50/764.86	c  764s |      25 |  7855743 |  5955298 |     2381   5961 |        0 |        0
766.50/766.86	c  766s |      25 |  7875320 |  5970198 |     2381   5972 |        0 |        0
768.50/768.87	c  768s |      25 |  7893291 |  5984298 |     2381   5983 |        0 |        0
770.49/770.87	c  770s |      25 |  7910982 |  5997998 |     2381   5994 |        0 |        0
772.49/772.88	c  772s |      25 |  7927165 |  6011098 |     2381   6004 |        0 |        0
774.49/774.90	c  774s |      25 |  7944546 |  6024898 |     2381   6015 |        0 |        0
776.59/776.90	c  776s |      25 |  7963452 |  6039498 |     2381   6026 |        0 |        0
778.60/778.91	c  778s |      25 |  7984149 |  6054898 |     2381   6039 |        0 |        0
780.59/780.92	c  780s |      25 |  8002907 |  6069398 |     2381   6050 |        0 |        0
782.59/782.93	c  782s |      25 |  8023649 |  6085198 |     2381   6062 |        0 |        0
784.59/784.93	c  784s |      25 |  8043574 |  6100198 |     2381   6074 |        0 |        0
786.60/786.94	c  786s |      25 |  8063606 |  6115098 |     2381   6086 |        0 |        0
788.60/788.94	c  788s |      25 |  8084799 |  6130798 |     2381   6098 |        0 |        0
790.61/790.95	c  790s |      25 |  8104965 |  6145998 |     2381   6110 |        0 |        0
792.60/792.95	c  792s |      25 |  8124879 |  6160298 |     2381   6121 |        0 |        0
794.60/794.96	c  794s |      25 |  8145022 |  6175398 |     2381   6133 |        0 |        0
796.60/796.96	c  796s |      25 |  8164353 |  6190098 |     2381   6144 |        0 |        0
798.60/798.98	c  798s |      25 |  8183256 |  6204498 |     2381   6156 |        0 |        0
800.60/800.99	c  800s |      25 |  8202522 |  6218798 |     2381   6167 |        0 |        0
802.60/802.99	c  802s |      25 |  8221240 |  6233098 |     2381   6178 |        0 |        0
804.60/805.00	c  804s |      25 |  8239346 |  6247098 |     2381   6189 |        0 |        0
806.70/807.00	c  806s |      25 |  8258032 |  6261398 |     2381   6200 |        0 |        0
808.70/809.01	c  808s |      25 |  8279429 |  6276898 |     2381   6212 |        0 |        0
810.69/811.02	c  810s |      25 |  8299502 |  6292298 |     2381   6224 |        0 |        0
812.70/813.02	c  812s |      25 |  8319557 |  6307098 |     2381   6236 |        0 |        0
814.69/815.02	c  815s |      25 |  8336724 |  6320598 |     2381   6246 |        0 |        0
816.69/817.02	c  817s |      25 |  8355046 |  6334598 |     2381   6257 |        0 |        0
818.69/819.03	c  819s |      25 |  8374902 |  6349198 |     2381   6269 |        0 |        0
820.69/821.05	c  821s |      25 |  8393731 |  6362998 |     2381   6280 |        0 |        0
822.69/823.05	c  823s |      25 |  8413294 |  6377698 |     2381   6291 |        0 |        0
824.69/825.05	c  825s |      25 |  8431243 |  6391498 |     2381   6302 |        0 |        0
826.69/827.05	c  827s |      25 |  8450564 |  6406098 |     2381   6313 |        0 |        0
828.69/829.06	c  829s |      25 |  8468636 |  6420598 |     2381   6325 |        0 |        0
830.69/831.07	c  831s |      25 |  8485962 |  6434498 |     2381   6335 |        0 |        0
832.69/833.08	c  833s |      25 |  8504514 |  6448598 |     2381   6346 |        0 |        0
834.69/835.08	c  835s |      25 |  8523209 |  6463098 |     2381   6358 |        0 |        0
836.68/837.09	c  837s |      25 |  8542914 |  6478098 |     2381   6370 |        0 |        0
838.78/839.10	c  839s |      25 |  8562381 |  6492998 |     2381   6381 |        0 |        0
840.78/841.12	c  841s |      25 |  8582147 |  6507998 |     2381   6393 |        0 |        0
842.78/843.12	c  843s |      25 |  8600511 |  6522298 |     2381   6404 |        0 |        0
844.78/845.12	c  845s |      25 |  8617839 |  6535698 |     2381   6415 |        0 |        0
846.79/847.14	c  847s |      25 |  8637225 |  6550098 |     2381   6426 |        0 |        0
848.78/849.15	c  849s |      25 |  8655062 |  6563998 |     2381   6437 |        0 |        0
850.78/851.16	c  851s |      25 |  8673680 |  6577998 |     2381   6448 |        0 |        0
852.78/853.16	c  853s |      25 |  8692214 |  6592298 |     2381   6459 |        0 |        0
854.78/855.17	c  855s |      25 |  8711374 |  6606798 |     2381   6470 |        0 |        0
856.78/857.17	c  857s |      25 |  8730494 |  6621298 |     2381   6482 |        0 |        0
858.80/859.17	c  859s |      25 |  8749560 |  6635898 |     2381   6493 |        0 |        0
860.79/861.18	c  861s |      25 |  8768329 |  6650498 |     2381   6504 |        0 |        0
862.79/863.19	c  863s |      25 |  8788733 |  6666098 |     2381   6517 |        0 |        0
864.89/865.20	c  865s |      25 |  8808762 |  6681198 |     2381   6528 |        0 |        0
866.89/867.20	c  867s |      25 |  8827763 |  6695598 |     2381   6540 |        0 |        0
868.89/869.20	c  869s |      25 |  8846229 |  6709998 |     2381   6551 |        0 |        0
870.89/871.21	c  871s |      25 |  8866252 |  6724798 |     2381   6563 |        0 |        0
872.88/873.21	c  873s |      25 |  8886313 |  6740098 |     2381   6575 |        0 |        0
874.88/875.22	c  875s |      25 |  8906187 |  6755198 |     2381   6586 |        0 |        0
876.88/877.22	c  877s |      25 |  8924681 |  6769798 |     2381   6598 |        0 |        0
878.88/879.23	c  879s |      25 |  8945212 |  6785298 |     2381   6610 |        0 |        0
880.89/881.24	c  881s |      25 |  8964761 |  6800298 |     2381   6622 |        0 |        0
882.88/883.25	c  883s |      25 |  8983987 |  6814898 |     2381   6633 |        0 |        0
884.88/885.25	c  885s |      25 |  9001931 |  6828898 |     2381   6644 |        0 |        0
886.88/887.26	c  887s |      25 |  9020919 |  6843598 |     2381   6656 |        0 |        0
888.88/889.26	c  889s |      25 |  9040280 |  6858498 |     2381   6667 |        0 |        0
890.88/891.28	c  891s |      25 |  9059089 |  6873098 |     2381   6679 |        0 |        0
892.88/893.28	c  893s |      25 |  9076589 |  6886798 |     2381   6689 |        0 |        0
894.88/895.28	c  895s |      25 |  9096517 |  6901698 |     2381   6701 |        0 |        0
896.88/897.29	c  897s |      25 |  9114079 |  6915498 |     2381   6712 |        0 |        0
898.98/899.30	c  899s |      25 |  9132560 |  6930098 |     2381   6723 |        0 |        0
900.98/901.30	c  901s |      25 |  9151018 |  6944598 |     2381   6734 |        0 |        0
902.98/903.32	c  903s |      25 |  9170694 |  6959698 |     2381   6746 |        0 |        0
904.99/905.32	c  905s |      25 |  9188874 |  6974298 |     2381   6758 |        0 |        0
906.98/907.33	c  907s |      25 |  9204193 |  6986898 |     2381   6768 |        0 |        0
908.98/909.34	c  909s |      25 |  9222212 |  7000598 |     2381   6778 |        0 |        0
910.98/911.35	c  911s |      25 |  9239575 |  7013898 |     2381   6789 |        0 |        0
912.98/913.35	c  913s |      25 |  9259559 |  7028998 |     2381   6801 |        0 |        0
914.98/915.37	c  915s |      25 |  9281071 |  7045098 |     2381   6813 |        0 |        0
916.98/917.37	c  917s |      25 |  9300108 |  7059898 |     2381   6825 |        0 |        0
918.98/919.38	c  919s |      25 |  9319962 |  7075198 |     2381   6837 |        0 |        0
920.98/921.38	c  921s |      25 |  9338057 |  7089398 |     2381   6848 |        0 |        0
922.97/923.39	c  923s |      25 |  9358365 |  7104798 |     2381   6860 |        0 |        0
925.07/925.40	c  925s |      25 |  9379500 |  7120598 |     2381   6872 |        0 |        0
927.08/927.41	c  927s |      25 |  9398165 |  7135098 |     2381   6883 |        0 |        0
929.07/929.41	c  929s |      25 |  9416609 |  7148898 |     2381   6894 |        0 |        0
931.07/931.41	c  931s |      25 |  9434201 |  7162398 |     2381   6905 |        0 |        0
933.07/933.42	c  933s |      25 |  9453451 |  7176898 |     2381   6916 |        0 |        0
935.07/935.43	c  935s |      25 |  9471563 |  7190498 |     2381   6927 |        0 |        0
937.07/937.44	c  937s |      25 |  9489823 |  7204698 |     2381   6938 |        0 |        0
939.08/939.45	c  939s |      25 |  9509281 |  7219598 |     2381   6950 |        0 |        0
941.07/941.46	c  941s |      25 |  9529082 |  7234898 |     2381   6962 |        0 |        0
943.07/943.46	c  943s |      25 |  9549406 |  7250298 |     2381   6974 |        0 |        0
945.07/945.47	c  945s |      25 |  9569274 |  7265898 |     2381   6986 |        0 |        0
947.07/947.47	c  947s |      25 |  9589907 |  7281298 |     2381   6998 |        0 |        0
949.07/949.48	c  949s |      25 |  9611290 |  7297098 |     2381   7010 |        0 |        0
951.07/951.49	c  951s |      25 |  9632979 |  7313098 |     2381   7023 |        0 |        0
953.17/953.50	c  953s |      25 |  9649989 |  7326698 |     2381   7033 |        0 |        0
955.16/955.50	c  955s |      25 |  9668544 |  7341098 |     2381   7045 |        0 |        0
957.17/957.51	c  957s |      25 |  9686962 |  7355198 |     2381   7056 |        0 |        0
959.17/959.52	c  959s |      25 |  9705170 |  7369298 |     2381   7067 |        0 |        0
961.18/961.54	c  961s |      25 |  9720878 |  7382098 |     2381   7077 |        0 |        0
963.17/963.54	c  963s |      25 |  9737844 |  7395498 |     2381   7087 |        0 |        0
965.17/965.54	c  965s |      25 |  9755098 |  7409198 |     2381   7098 |        0 |        0
967.17/967.56	c  967s |      25 |  9774334 |  7423898 |     2381   7109 |        0 |        0
969.17/969.56	c  969s |      25 |  9793892 |  7438598 |     2381   7121 |        0 |        0
971.17/971.56	c  971s |      25 |  9814035 |  7453998 |     2381   7133 |        0 |        0
973.18/973.57	c  973s |      25 |  9835515 |  7469998 |     2381   7145 |        0 |        0
975.17/975.58	c  975s |      25 |  9855962 |  7485298 |     2381   7157 |        0 |        0
977.17/977.58	c  977s |      25 |  9877405 |  7501198 |     2381   7170 |        0 |        0
979.27/979.60	c  979s |      25 |  9897666 |  7516798 |     2381   7182 |        0 |        0
981.27/981.61	c  981s |      25 |  9918753 |  7532598 |     2381   7194 |        0 |        0
983.27/983.62	c  983s |      25 |  9939045 |  7548098 |     2620   7206 |        0 |        0
985.27/985.63	c  985s |      25 |  9957174 |  7562498 |     2620   7216 |        0 |        0
987.27/987.65	c  987s |      25 |  9975958 |  7576698 |     2620   7226 |        0 |        0
989.27/989.66	c  989s |      25 |  9994583 |  7591098 |     2620   7237 |        0 |        0
990.17/990.50	c  990s |      26 | 10003161 |  7597752 |     2620   7242 |        0 |        0
992.17/992.51	c  992s |      26 | 10021460 |  7612252 |     2620   7252 |        0 |        0
994.17/994.51	c  994s |      26 | 10042456 |  7628152 |     2620   7263 |        0 |        0
996.16/996.52	c  996s |      26 | 10063811 |  7644352 |     2620   7275 |        0 |        0
998.16/998.53	c  998s |      26 | 10085058 |  7660252 |     2620   7286 |        0 |        0
1000.16/1000.54	c 1000s |      26 | 10102196 |  7673852 |     2620   7296 |        0 |        0
1002.16/1002.55	c 1002s |      26 | 10119877 |  7687652 |     2620   7306 |        0 |        0
1004.16/1004.56	c 1004s |      26 | 10139628 |  7702552 |     2620   7316 |        0 |        0
1006.17/1006.57	c 1006s |      26 | 10158640 |  7716852 |     2620   7326 |        0 |        0
1008.16/1008.59	c 1008s |      26 | 10177537 |  7731052 |     2620   7336 |        0 |        0
1010.26/1010.60	c 1010s |      26 | 10195954 |  7745052 |     2620   7346 |        0 |        0
1012.26/1012.61	c 1012s |      26 | 10215666 |  7760152 |     2620   7357 |        0 |        0
1014.26/1014.62	c 1014s |      26 | 10233460 |  7774052 |     2620   7367 |        0 |        0
1016.26/1016.62	c 1016s |      26 | 10253024 |  7788552 |     2620   7377 |        0 |        0
1018.26/1018.62	c 1018s |      26 | 10272465 |  7803452 |     2620   7388 |        0 |        0
1020.26/1020.64	c 1020s |      26 | 10288962 |  7816552 |     2620   7397 |        0 |        0
1022.26/1022.64	c 1022s |      26 | 10305437 |  7829652 |     2620   7407 |        0 |        0
1024.26/1024.65	c 1024s |      26 | 10322498 |  7843352 |     2620   7416 |        0 |        0
1026.26/1026.66	c 1026s |      26 | 10339493 |  7856252 |     2620   7426 |        0 |        0
1028.26/1028.66	c 1028s |      26 | 10356620 |  7869652 |     2620   7435 |        0 |        0
1030.25/1030.68	c 1030s |      26 | 10373499 |  7882952 |     2620   7445 |        0 |        0
1032.25/1032.69	c 1032s |      26 | 10391775 |  7897052 |     2620   7455 |        0 |        0
1034.35/1034.70	c 1034s |      26 | 10410166 |  7910952 |     2620   7465 |        0 |        0
1036.35/1036.71	c 1036s |      26 | 10429063 |  7925052 |     2620   7475 |        0 |        0
1038.35/1038.71	c 1038s |      26 | 10447810 |  7939552 |     2620   7485 |        0 |        0
1040.36/1040.73	c 1040s |      26 | 10466603 |  7954052 |     2620   7495 |        0 |        0
1042.35/1042.73	c 1042s |      26 | 10485119 |  7968152 |     2620   7506 |        0 |        0
1044.35/1044.73	c 1044s |      26 | 10505494 |  7983252 |     2620   7516 |        0 |        0
1046.36/1046.74	c 1046s |      26 | 10526009 |  7998952 |     2620   7528 |        0 |        0
1048.36/1048.74	c 1048s |      26 | 10546164 |  8014252 |     2620   7539 |        0 |        0
1050.36/1050.74	c 1050s |      26 | 10564794 |  8028652 |     2620   7549 |        0 |        0
1052.36/1052.76	c 1052s |      26 | 10583066 |  8042652 |     2620   7559 |        0 |        0
1054.36/1054.76	c 1054s |      26 | 10600421 |  8056052 |     2620   7568 |        0 |        0
1056.36/1056.77	c 1056s |      26 | 10618390 |  8070052 |     2620   7578 |        0 |        0
1058.36/1058.77	c 1058s |      26 | 10635668 |  8083552 |     2620   7588 |        0 |        0
1060.36/1060.77	c 1060s |      26 | 10656144 |  8098452 |     2620   7599 |        0 |        0
1062.36/1062.78	c 1062s |      26 | 10676143 |  8112752 |     2620   7609 |        0 |        0
1064.36/1064.79	c 1064s |      26 | 10693789 |  8126452 |     2620   7618 |        0 |        0
1066.35/1066.79	c 1066s |      26 | 10713711 |  8140952 |     2620   7629 |        0 |        0
1068.45/1068.80	c 1068s |      26 | 10733915 |  8155652 |     2620   7639 |        0 |        0
1070.45/1070.81	c 1070s |      26 | 10752671 |  8170052 |     2620   7650 |        0 |        0
1072.45/1072.81	c 1072s |      26 | 10771054 |  8184452 |     2620   7660 |        0 |        0
1074.46/1074.83	c 1074s |      26 | 10790807 |  8198752 |     2620   7670 |        0 |        0
1076.45/1076.83	c 1076s |      26 | 10809879 |  8213152 |     2620   7680 |        0 |        0
1078.45/1078.84	c 1078s |      26 | 10830083 |  8228152 |     2620   7691 |        0 |        0
1080.45/1080.85	c 1080s |      26 | 10848942 |  8242152 |     2620   7701 |        0 |        0
1082.45/1082.86	c 1082s |      26 | 10868500 |  8256752 |     2620   7712 |        0 |        0
1084.45/1084.86	c 1084s |      26 | 10888541 |  8271252 |     2620   7722 |        0 |        0
1086.45/1086.87	c 1086s |      26 | 10909504 |  8286752 |     2620   7733 |        0 |        0
1088.45/1088.88	c 1088s |      26 | 10928100 |  8300852 |     2620   7743 |        0 |        0
1090.45/1090.88	c 1090s |      26 | 10948217 |  8315652 |     2620   7754 |        0 |        0
1092.45/1092.89	c 1092s |      26 | 10967738 |  8329952 |     2620   7764 |        0 |        0
1094.54/1094.90	c 1094s |      26 | 10988494 |  8344752 |     2620   7775 |        0 |        0
1096.54/1096.91	c 1096s |      26 | 11008313 |  8359352 |     2620   7785 |        0 |        0
1098.55/1098.92	c 1098s |      26 | 11027672 |  8373752 |     2620   7796 |        0 |        0
1100.54/1100.94	c 1100s |      26 | 11046228 |  8387852 |     2620   7806 |        0 |        0
1102.55/1102.94	c 1102s |      26 | 11065242 |  8402152 |     2620   7816 |        0 |        0
1104.55/1104.96	c 1104s |      26 | 11084636 |  8416652 |     2620   7827 |        0 |        0
1106.55/1106.97	c 1106s |      26 | 11104876 |  8431552 |     2620   7837 |        0 |        0
1108.55/1108.98	c 1108s |      26 | 11125203 |  8446652 |     2620   7848 |        0 |        0
1110.55/1110.99	c 1110s |      26 | 11144728 |  8461452 |     2620   7858 |        0 |        0
1112.65/1113.00	c 1112s |      26 | 11163686 |  8475452 |     2620   7868 |        0 |        0
1114.65/1115.01	c 1114s |      26 | 11180747 |  8488452 |     2620   7878 |        0 |        0
1116.65/1117.01	c 1116s |      26 | 11198654 |  8501852 |     2620   7887 |        0 |        0
1118.64/1119.02	c 1119s |      26 | 11216391 |  8514952 |     2620   7897 |        0 |        0
1120.65/1121.04	c 1121s |      26 | 11234180 |  8528352 |     2620   7906 |        0 |        0
1122.64/1123.05	c 1123s |      26 | 11250978 |  8541052 |     2620   7915 |        0 |        0
1124.64/1125.07	c 1125s |      26 | 11269472 |  8554752 |     2620   7925 |        0 |        0
1126.64/1127.08	c 1127s |      26 | 11287968 |  8568952 |     2620   7935 |        0 |        0
1128.64/1129.08	c 1129s |      26 | 11306527 |  8583052 |     2620   7946 |        0 |        0
1130.64/1131.09	c 1131s |      26 | 11325615 |  8597352 |     2620   7956 |        0 |        0
1132.75/1133.11	c 1133s |      26 | 11344157 |  8611352 |     2620   7966 |        0 |        0
1134.74/1135.11	c 1135s |      26 | 11363678 |  8625552 |     2620   7976 |        0 |        0
1136.74/1137.13	c 1137s |      26 | 11383161 |  8640252 |     2620   7986 |        0 |        0
1138.74/1139.13	c 1139s |      26 | 11401118 |  8654652 |     2620   7997 |        0 |        0
1140.74/1141.13	c 1141s |      26 | 11419987 |  8668452 |     2620   8007 |        0 |        0
1142.74/1143.15	c 1143s |      26 | 11440398 |  8683452 |     2620   8017 |        0 |        0
1144.74/1145.16	c 1145s |      26 | 11459680 |  8696952 |     2620   8027 |        0 |        0
1146.74/1147.16	c 1147s |      26 | 11480463 |  8711452 |     2620   8037 |        0 |        0
1148.74/1149.17	c 1149s |      26 | 11499481 |  8725952 |     2620   8048 |        0 |        0
1150.74/1151.18	c 1151s |      26 | 11517984 |  8739752 |     2620   8058 |        0 |        0
1152.74/1153.19	c 1153s |      26 | 11537175 |  8754552 |     2620   8068 |        0 |        0
1154.84/1155.20	c 1155s |      26 | 11554534 |  8768052 |     2620   8078 |        0 |        0
1156.84/1157.21	c 1157s |      26 | 11575240 |  8783352 |     2620   8089 |        0 |        0
1158.83/1159.22	c 1159s |      26 | 11594590 |  8798152 |     2620   8100 |        0 |        0
1160.83/1161.23	c 1161s |      26 | 11613432 |  8811552 |     2620   8109 |        0 |        0
1162.83/1163.24	c 1163s |      26 | 11630784 |  8825352 |     2620   8119 |        0 |        0
1164.83/1165.25	c 1165s |      26 | 11649476 |  8839552 |     2620   8129 |        0 |        0
1166.85/1167.27	c 1167s |      26 | 11668360 |  8853952 |     2620   8140 |        0 |        0
1168.84/1169.28	c 1169s |      26 | 11686146 |  8867952 |     2620   8150 |        0 |        0
1170.84/1171.28	c 1171s |      26 | 11704824 |  8882252 |     2620   8160 |        0 |        0
1172.84/1173.28	c 1173s |      26 | 11723860 |  8896452 |     2620   8170 |        0 |        0
1174.84/1175.29	c 1175s |      26 | 11742683 |  8910552 |     2620   8180 |        0 |        0
1176.84/1177.29	c 1177s |      26 | 11762575 |  8925452 |     2620   8191 |        0 |        0
1178.84/1179.29	c 1179s |      26 | 11781230 |  8939552 |     2620   8201 |        0 |        0
1180.94/1181.30	c 1181s |      26 | 11800298 |  8953952 |     2620   8211 |        0 |        0
1182.94/1183.31	c 1183s |      26 | 11818329 |  8967452 |     2620   8221 |        0 |        0
1184.94/1185.32	c 1185s |      26 | 11838081 |  8982252 |     2620   8231 |        0 |        0
1186.94/1187.33	c 1187s |      26 | 11858361 |  8997352 |     2620   8242 |        0 |        0
1188.94/1189.34	c 1189s |      26 | 11877572 |  9011952 |     2620   8253 |        0 |        0
1190.94/1191.34	c 1191s |      26 | 11896119 |  9025552 |     2620   8262 |        0 |        0
1192.93/1193.35	c 1193s |      26 | 11915668 |  9039852 |     2620   8272 |        0 |        0
1194.93/1195.36	c 1195s |      26 | 11936189 |  9054752 |     2620   8283 |        0 |        0
1196.93/1197.37	c 1197s |      26 | 11952863 |  9068252 |     2620   8293 |        0 |        0
1198.93/1199.38	c 1199s |      26 | 11971522 |  9082352 |     2620   8303 |        0 |        0
1200.94/1201.39	c 1201s |      26 | 11989697 |  9096552 |     2620   8313 |        0 |        0
1202.93/1203.40	c 1203s |      26 | 12008843 |  9110752 |     2620   8323 |        0 |        0
1205.03/1205.41	c 1205s |      26 | 12026578 |  9123852 |     2620   8333 |        0 |        0
1207.03/1207.42	c 1207s |      26 | 12045113 |  9137552 |     2620   8342 |        0 |        0
1209.03/1209.42	c 1209s |      26 | 12061195 |  9150552 |     2620   8352 |        0 |        0
1211.03/1211.43	c 1211s |      26 | 12078267 |  9163752 |     2620   8361 |        0 |        0
1213.04/1213.43	c 1213s |      26 | 12097062 |  9177852 |     2620   8371 |        0 |        0
1215.03/1215.44	c 1215s |      26 | 12114885 |  9191852 |     2620   8381 |        0 |        0
1217.03/1217.45	c 1217s |      26 | 12132290 |  9205352 |     2620   8391 |        0 |        0
1219.03/1219.46	c 1219s |      26 | 12150661 |  9219152 |     2620   8401 |        0 |        0
1221.03/1221.47	c 1221s |      26 | 12170332 |  9233552 |     2620   8411 |        0 |        0
1223.03/1223.48	c 1223s |      26 | 12191191 |  9248252 |     2620   8422 |        0 |        0
1225.04/1225.48	c 1225s |      26 | 12210017 |  9262652 |     2620   8432 |        0 |        0
1227.03/1227.48	c 1227s |      26 | 12229236 |  9277052 |     2620   8442 |        0 |        0
1229.03/1229.49	c 1229s |      26 | 12247812 |  9290852 |     2620   8452 |        0 |        0
1231.13/1231.50	c 1231s |      26 | 12265628 |  9304452 |     2620   8462 |        0 |        0
1233.13/1233.52	c 1233s |      26 | 12281502 |  9316952 |     2620   8470 |        0 |        0
1235.13/1235.52	c 1235s |      26 | 12297781 |  9328952 |     2620   8479 |        0 |        0
1237.13/1237.52	c 1237s |      26 | 12314774 |  9342052 |     2620   8488 |        0 |        0
1239.13/1239.54	c 1239s |      26 | 12331453 |  9354852 |     2620   8497 |        0 |        0
1241.13/1241.55	c 1241s |      26 | 12348619 |  9368252 |     2620   8507 |        0 |        0
1243.13/1243.56	c 1243s |      26 | 12367033 |  9382452 |     2620   8517 |        0 |        0
1245.12/1245.57	c 1245s |      26 | 12383727 |  9395252 |     2620   8526 |        0 |        0
1247.13/1247.59	c 1247s |      26 | 12401714 |  9408852 |     2620   8536 |        0 |        0
1249.12/1249.59	c 1249s |      26 | 12417229 |  9421252 |     2620   8545 |        0 |        0
1251.22/1251.60	c 1251s |      26 | 12434182 |  9434252 |     2620   8554 |        0 |        0
1253.22/1253.61	c 1253s |      26 | 12452835 |  9448252 |     2620   8564 |        0 |        0
1255.22/1255.62	c 1255s |      26 | 12470848 |  9461552 |     2620   8574 |        0 |        0
1257.22/1257.63	c 1257s |      26 | 12490051 |  9476152 |     2620   8584 |        0 |        0
1259.23/1259.65	c 1259s |      26 | 12508768 |  9490552 |     2620   8594 |        0 |        0
1261.22/1261.66	c 1261s |      26 | 12527072 |  9504252 |     2620   8604 |        0 |        0
1263.22/1263.67	c 1263s |      26 | 12545805 |  9518352 |     2620   8614 |        0 |        0
1265.22/1265.67	c 1265s |      26 | 12564506 |  9532252 |     2620   8624 |        0 |        0
1267.22/1267.67	c 1267s |      26 | 12582811 |  9546052 |     2620   8634 |        0 |        0
1269.22/1269.69	c 1269s |      26 | 12601707 |  9560452 |     2620   8644 |        0 |        0
1271.22/1271.70	c 1271s |      26 | 12621212 |  9575252 |     2620   8655 |        0 |        0
1273.32/1273.71	c 1273s |      26 | 12643240 |  9591152 |     2620   8666 |        0 |        0
1275.32/1275.71	c 1275s |      26 | 12662100 |  9605252 |     2620   8677 |        0 |        0
1277.32/1277.72	c 1277s |      26 | 12680082 |  9619352 |     2620   8687 |        0 |        0
1279.32/1279.73	c 1279s |      26 | 12696546 |  9632152 |     2620   8696 |        0 |        0
1281.32/1281.74	c 1281s |      26 | 12715156 |  9646652 |     2620   8706 |        0 |        0
1283.33/1283.74	c 1283s |      26 | 12733210 |  9661152 |     2620   8717 |        0 |        0
1285.32/1285.75	c 1285s |      26 | 12752105 |  9675452 |     2620   8727 |        0 |        0
1287.32/1287.76	c 1287s |      26 | 12770747 |  9689752 |     2620   8737 |        0 |        0
1289.32/1289.76	c 1289s |      26 | 12787457 |  9702952 |     2620   8747 |        0 |        0
1291.32/1291.76	c 1291s |      26 | 12806765 |  9717752 |     2620   8757 |        0 |        0
1293.33/1293.76	c 1293s |      26 | 12826641 |  9732652 |     2620   8768 |        0 |        0
1295.32/1295.76	c 1295s |      26 | 12848160 |  9748152 |     2620   8779 |        0 |        0
1297.32/1297.77	c 1297s |      26 | 12867690 |  9762852 |     2620   8790 |        0 |        0
1299.32/1299.77	c 1299s |      26 | 12886017 |  9776952 |     2620   8800 |        0 |        0
1301.32/1301.78	c 1301s |      26 | 12904914 |  9790952 |     2620   8810 |        0 |        0
1303.32/1303.78	c 1303s |      26 | 12925139 |  9805752 |     2620   8820 |        0 |        0
1305.32/1305.78	c 1305s |      26 | 12944822 |  9820552 |     2620   8831 |        0 |        0
1307.32/1307.78	c 1307s |      26 | 12962389 |  9834252 |     2620   8841 |        0 |        0
1309.32/1309.79	c 1309s |      26 | 12982538 |  9849452 |     2620   8852 |        0 |        0
1311.32/1311.79	c 1311s |      26 | 13001210 |  9863452 |     2620   8862 |        0 |        0
1313.32/1313.79	c 1313s |      26 | 13021144 |  9877952 |     2620   8872 |        0 |        0
1315.32/1315.79	c 1315s |      26 | 13040570 |  9892352 |     2620   8883 |        0 |        0
1317.31/1317.80	c 1317s |      26 | 13059705 |  9906952 |     2620   8893 |        0 |        0
1319.41/1319.80	c 1319s |      26 | 13079882 |  9921852 |     2620   8904 |        0 |        0
1321.41/1321.81	c 1321s |      26 | 13100408 |  9936952 |     2620   8915 |        0 |        0
1323.41/1323.81	c 1323s |      26 | 13118994 |  9950852 |     2620   8925 |        0 |        0
1325.41/1325.81	c 1325s |      26 | 13139505 |  9965952 |     2620   8936 |        0 |        0
1327.42/1327.82	c 1327s |      26 | 13157486 |  9979352 |     2620   8945 |        0 |        0
1329.41/1329.84	c 1329s |      26 | 13176586 |  9993752 |     2620   8956 |        0 |        0
1331.41/1331.85	c 1331s |      26 | 13194992 | 10007752 |     2620   8966 |        0 |        0
1333.41/1333.86	c 1333s |      26 | 13213314 | 10021352 |     2620   8975 |        0 |        0
1335.41/1335.88	c 1335s |      26 | 13231966 | 10035552 |     2620   8986 |        0 |        0
1337.41/1337.89	c 1337s |      26 | 13251805 | 10050052 |     2620   8996 |        0 |        0
1339.41/1339.89	c 1339s |      26 | 13272559 | 10065252 |     2620   9007 |        0 |        0
1341.51/1341.90	c 1341s |      26 | 13291024 | 10079652 |     2620   9017 |        0 |        0
1343.51/1343.91	c 1343s |      26 | 13309317 | 10093152 |     2620   9027 |        0 |        0
1345.51/1345.92	c 1345s |      26 | 13326567 | 10106152 |     2620   9036 |        0 |        0
1347.51/1347.92	c 1347s |      26 | 13343865 | 10119052 |     2620   9046 |        0 |        0
1349.50/1349.93	c 1349s |      26 | 13363404 | 10132952 |     2620   9056 |        0 |        0
1351.51/1351.93	c 1351s |      26 | 13381970 | 10146952 |     2620   9066 |        0 |        0
1353.50/1353.94	c 1353s |      26 | 13400650 | 10161052 |     2620   9076 |        0 |        0
1355.50/1355.95	c 1355s |      26 | 13420945 | 10176052 |     2620   9086 |        0 |        0
1357.50/1357.96	c 1357s |      26 | 13438292 | 10189452 |     2620   9096 |        0 |        0
1359.50/1359.97	c 1359s |      26 | 13459433 | 10204752 |     2620   9107 |        0 |        0
1361.51/1361.98	c 1361s |      26 | 13479017 | 10219552 |     2620   9118 |        0 |        0
1363.50/1363.99	c 1363s |      26 | 13498904 | 10233652 |     2620   9128 |        0 |        0
1365.50/1366.00	c 1365s |      26 | 13517533 | 10247652 |     2620   9138 |        0 |        0
1367.60/1368.01	c 1367s |      26 | 13537811 | 10262352 |     2620   9148 |        0 |        0
1369.60/1370.01	c 1369s |      26 | 13556535 | 10276352 |     2620   9159 |        0 |        0
1371.61/1372.02	c 1372s |      26 | 13575035 | 10290252 |     2620   9169 |        0 |        0
1373.62/1374.03	c 1374s |      26 | 13593576 | 10304352 |     2620   9179 |        0 |        0
1375.61/1376.04	c 1376s |      26 | 13612490 | 10318552 |     2620   9189 |        0 |        0
1377.61/1378.04	c 1378s |      26 | 13631527 | 10332752 |     2620   9199 |        0 |        0
1379.61/1380.05	c 1380s |      26 | 13650320 | 10346252 |     2620   9209 |        0 |        0
1381.61/1382.06	c 1382s |      26 | 13670134 | 10360852 |     2620   9219 |        0 |        0
1383.61/1384.07	c 1384s |      26 | 13689961 | 10375052 |     2620   9229 |        0 |        0
1385.61/1386.08	c 1386s |      26 | 13707977 | 10388752 |     2620   9239 |        0 |        0
1387.61/1388.08	c 1388s |      26 | 13728171 | 10403152 |     2620   9250 |        0 |        0
1389.70/1390.10	c 1390s |      26 | 13746232 | 10416952 |     2620   9260 |        0 |        0
1391.70/1392.10	c 1392s |      26 | 13765989 | 10431152 |     2620   9270 |        0 |        0
1393.70/1394.10	c 1394s |      26 | 13785232 | 10445652 |     2620   9280 |        0 |        0
1395.70/1396.10	c 1396s |      26 | 13803945 | 10459252 |     2620   9290 |        0 |        0
1397.71/1398.11	c 1398s |      26 | 13821706 | 10473152 |     2620   9300 |        0 |        0
1399.70/1400.12	c 1400s |      26 | 13838525 | 10486252 |     2620   9309 |        0 |        0
1401.70/1402.13	c 1402s |      26 | 13857690 | 10500452 |     2620   9319 |        0 |        0
1403.70/1404.14	c 1404s |      26 | 13876492 | 10514652 |     2620   9329 |        0 |        0
1405.70/1406.15	c 1406s |      26 | 13895249 | 10528752 |     2620   9340 |        0 |        0
1407.71/1408.16	c 1408s |      26 | 13912779 | 10542552 |     2620   9349 |        0 |        0
1409.70/1410.17	c 1410s |      26 | 13930193 | 10556052 |     2620   9359 |        0 |        0
1411.70/1412.17	c 1412s |      26 | 13949478 | 10570252 |     2620   9369 |        0 |        0
1413.70/1414.18	c 1414s |      26 | 13969149 | 10584652 |     2620   9380 |        0 |        0
1415.70/1416.18	c 1416s |      26 | 13988784 | 10598752 |     2620   9390 |        0 |        0
1417.80/1418.20	c 1418s |      26 | 14010446 | 10613552 |     2620   9401 |        0 |        0
1419.80/1420.20	c 1420s |      26 | 14030404 | 10627752 |     2620   9411 |        0 |        0
1421.80/1422.21	c 1422s |      26 | 14050507 | 10642452 |     2620   9421 |        0 |        0
1423.80/1424.22	c 1424s |      26 | 14068797 | 10656252 |     2620   9431 |        0 |        0
1425.79/1426.23	c 1426s |      26 | 14089527 | 10670652 |     2620   9442 |        0 |        0
1427.80/1428.23	c 1428s |      26 | 14107222 | 10684052 |     2620   9451 |        0 |        0
1429.79/1430.24	c 1430s |      26 | 14126588 | 10698652 |     2620   9462 |        0 |        0
1431.80/1432.24	c 1432s |      26 | 14144576 | 10712652 |     2620   9472 |        0 |        0
1433.79/1434.26	c 1434s |      26 | 14162718 | 10726752 |     2620   9482 |        0 |        0
1435.79/1436.27	c 1436s |      26 | 14181999 | 10741352 |     2620   9492 |        0 |        0
1437.79/1438.28	c 1438s |      26 | 14202347 | 10755852 |     2620   9503 |        0 |        0
1439.79/1440.28	c 1440s |      26 | 14222162 | 10770452 |     2620   9513 |        0 |        0
1441.80/1442.28	c 1442s |      26 | 14242171 | 10785052 |     2620   9524 |        0 |        0
1443.79/1444.29	c 1444s |      26 | 14261504 | 10799252 |     2620   9534 |        0 |        0
1445.89/1446.30	c 1446s |      26 | 14281547 | 10814252 |     2620   9545 |        0 |        0
1447.89/1448.31	c 1448s |      26 | 14299947 | 10828052 |     2620   9555 |        0 |        0
1449.89/1450.32	c 1450s |      26 | 14318165 | 10841752 |     2620   9564 |        0 |        0
1451.89/1452.33	c 1452s |      26 | 14338029 | 10856452 |     2620   9575 |        0 |        0
1453.90/1454.34	c 1454s |      26 | 14357721 | 10871052 |     2620   9586 |        0 |        0
1455.89/1456.34	c 1456s |      26 | 14377074 | 10885452 |     2620   9596 |        0 |        0
1457.89/1458.35	c 1458s |      26 | 14395710 | 10899552 |     2620   9606 |        0 |        0
1459.89/1460.36	c 1460s |      26 | 14414220 | 10913752 |     2620   9616 |        0 |        0
1461.90/1462.36	c 1462s |      26 | 14432158 | 10927552 |     2620   9626 |        0 |        0
1463.90/1464.37	c 1464s |      26 | 14449235 | 10941152 |     2620   9636 |        0 |        0
1465.90/1466.37	c 1466s |      26 | 14469098 | 10955552 |     2620   9646 |        0 |        0
1467.89/1468.37	c 1468s |      26 | 14489015 | 10970352 |     2620   9657 |        0 |        0
1469.89/1470.39	c 1470s |      26 | 14505977 | 10983852 |     2620   9667 |        0 |        0
1471.99/1472.40	c 1472s |      26 | 14523678 | 10997652 |     2620   9676 |        0 |        0
1473.99/1474.40	c 1474s |      26 | 14541997 | 11011652 |     2620   9686 |        0 |        0
1475.99/1476.41	c 1476s |      26 | 14558702 | 11024952 |     2620   9696 |        0 |        0
1478.00/1478.42	c 1478s |      26 | 14578687 | 11040052 |     2620   9707 |        0 |        0
1479.99/1480.43	c 1480s |      26 | 14596430 | 11053852 |     2620   9717 |        0 |        0
1481.99/1482.43	c 1482s |      26 | 14614526 | 11067652 |     2620   9727 |        0 |        0
1483.99/1484.43	c 1484s |      26 | 14633255 | 11081852 |     2620   9737 |        0 |        0
1485.99/1486.45	c 1486s |      26 | 14651045 | 11096052 |     2620   9748 |        0 |        0
1487.99/1488.45	c 1488s |      26 | 14669200 | 11110152 |     2620   9758 |        0 |        0
1489.99/1490.47	c 1490s |      26 | 14687062 | 11124152 |     2620   9768 |        0 |        0
1491.99/1492.47	c 1492s |      26 | 14704064 | 11137552 |     2620   9778 |        0 |        0
1493.99/1494.50	c 1494s |      26 | 14721892 | 11150952 |     2620   9788 |        0 |        0
1496.09/1496.50	c 1496s |      26 | 14739429 | 11164152 |     2620   9797 |        0 |        0
1498.09/1498.51	c 1498s |      26 | 14755895 | 11176452 |     2620   9806 |        0 |        0
1500.09/1500.51	c 1500s |      26 | 14771898 | 11188952 |     2620   9815 |        0 |        0
1502.08/1502.51	c 1502s |      26 | 14789031 | 11202252 |     2620   9825 |        0 |        0
1504.08/1504.53	c 1504s |      26 | 14808006 | 11216552 |     2620   9835 |        0 |        0
1506.08/1506.53	c 1506s |      26 | 14824803 | 11229352 |     2620   9845 |        0 |        0
1508.08/1508.54	c 1508s |      26 | 14844436 | 11243852 |     2620   9855 |        0 |        0
1510.08/1510.55	c 1510s |      26 | 14863082 | 11257452 |     2620   9865 |        0 |        0
1512.09/1512.55	c 1512s |      26 | 14884260 | 11272252 |     2620   9876 |        0 |        0
1514.08/1514.57	c 1514s |      26 | 14903278 | 11286352 |     2620   9886 |        0 |        0
1516.08/1516.57	c 1516s |      26 | 14920880 | 11299652 |     2620   9896 |        0 |        0
1518.08/1518.58	c 1518s |      26 | 14936822 | 11312652 |     2620   9905 |        0 |        0
1520.08/1520.58	c 1520s |      26 | 14954295 | 11326252 |     2883   9914 |        0 |        0
1522.09/1522.59	c 1522s |      26 | 14971826 | 11339752 |     2883   9923 |        0 |        0
1524.08/1524.60	c 1524s |      26 | 14989355 | 11353152 |     2883   9932 |        0 |        0
1526.18/1526.60	c 1526s |      26 | 15005671 | 11365552 |     2883   9940 |        0 |        0
1528.18/1528.60	c 1528s |      26 | 15022846 | 11378152 |     2883   9949 |        0 |        0
1530.18/1530.61	c 1530s |      26 | 15039098 | 11390452 |     2883   9957 |        0 |        0
1531.18/1531.65	c 1531s |      27 | 15047400 | 11396733 |     2883   9961 |        0 |        0
1533.18/1533.67	c 1533s |      27 | 15064113 | 11409733 |     2883   9969 |        0 |        0
1535.18/1535.67	c 1535s |      27 | 15080172 | 11422233 |     2883   9978 |        0 |        0
1537.19/1537.67	c 1537s |      27 | 15094954 | 11434333 |     2883   9985 |        0 |        0
1539.19/1539.68	c 1539s |      27 | 15109472 | 11445833 |     2883   9993 |        0 |        0
1541.18/1541.69	c 1541s |      27 | 15126294 | 11458733 |     2883  10001 |        0 |        0
1543.28/1543.71	c 1543s |      27 | 15141495 | 11470833 |     2883  10009 |        0 |        0
1545.28/1545.71	c 1545s |      27 | 15156484 | 11482833 |     2883  10017 |        0 |        0
1547.29/1547.73	c 1547s |      27 | 15171667 | 11494933 |     2883  10025 |        0 |        0
1549.28/1549.74	c 1549s |      27 | 15187364 | 11507333 |     2883  10033 |        0 |        0
1551.28/1551.74	c 1551s |      27 | 15202078 | 11519133 |     2883  10041 |        0 |        0
1553.28/1553.75	c 1553s |      27 | 15218686 | 11531933 |     2883  10049 |        0 |        0
1555.28/1555.76	c 1555s |      27 | 15237238 | 11546033 |     2883  10058 |        0 |        0
1557.29/1557.77	c 1557s |      27 | 15255708 | 11560033 |     2883  10067 |        0 |        0
1559.28/1559.79	c 1559s |      27 | 15274722 | 11574333 |     2883  10077 |        0 |        0
1561.28/1561.79	c 1561s |      27 | 15293681 | 11588633 |     2883  10086 |        0 |        0
1563.38/1563.80	c 1563s |      27 | 15311122 | 11601433 |     2883  10095 |        0 |        0
1565.38/1565.81	c 1565s |      27 | 15329432 | 11615333 |     2883  10104 |        0 |        0
1567.38/1567.82	c 1567s |      27 | 15346300 | 11628433 |     2883  10112 |        0 |        0
1569.38/1569.83	c 1569s |      27 | 15364155 | 11642533 |     2883  10121 |        0 |        0
1571.38/1571.84	c 1571s |      27 | 15383281 | 11657233 |     2883  10131 |        0 |        0
1573.38/1573.84	c 1573s |      27 | 15401397 | 11671133 |     2883  10140 |        0 |        0
1575.38/1575.85	c 1575s |      27 | 15418073 | 11684233 |     2883  10149 |        0 |        0
1577.38/1577.86	c 1577s |      27 | 15436279 | 11697933 |     2883  10157 |        0 |        0
1579.37/1579.87	c 1579s |      27 | 15451960 | 11710533 |     2883  10166 |        0 |        0
1581.38/1581.87	c 1581s |      27 | 15467282 | 11722733 |     2883  10174 |        0 |        0
1583.37/1583.89	c 1583s |      27 | 15484160 | 11735733 |     2883  10182 |        0 |        0
1585.37/1585.89	c 1585s |      27 | 15501460 | 11748933 |     2883  10191 |        0 |        0
1587.47/1587.90	c 1587s |      27 | 15517781 | 11761233 |     2883  10199 |        0 |        0
1589.47/1589.90	c 1589s |      27 | 15534504 | 11774033 |     2883  10207 |        0 |        0
1591.47/1591.92	c 1591s |      27 | 15548736 | 11785533 |     2883  10215 |        0 |        0
1593.48/1593.94	c 1593s |      27 | 15563335 | 11797033 |     2883  10222 |        0 |        0
1595.47/1595.95	c 1595s |      27 | 15577262 | 11808233 |     2883  10230 |        0 |        0
1597.47/1597.96	c 1597s |      27 | 15591770 | 11819733 |     2883  10237 |        0 |        0
1599.47/1599.98	c 1599s |      27 | 15606927 | 11831433 |     2883  10245 |        0 |        0
1601.47/1601.98	c 1601s |      27 | 15623834 | 11844533 |     2883  10253 |        0 |        0
1603.48/1603.98	c 1603s |      27 | 15640538 | 11857333 |     2883  10262 |        0 |        0
1605.47/1606.00	c 1605s |      27 | 15655846 | 11869433 |     2883  10270 |        0 |        0
1607.57/1608.00	c 1607s |      27 | 15672377 | 11882133 |     2883  10278 |        0 |        0
1609.57/1610.01	c 1609s |      27 | 15688928 | 11894833 |     2883  10286 |        0 |        0
1611.57/1612.01	c 1611s |      27 | 15705414 | 11907033 |     2883  10294 |        0 |        0
1613.57/1614.03	c 1614s |      27 | 15722626 | 11919733 |     2883  10302 |        0 |        0
1615.57/1616.03	c 1616s |      27 | 15739195 | 11932533 |     2883  10311 |        0 |        0
1617.57/1618.05	c 1618s |      27 | 15756431 | 11945933 |     2883  10320 |        0 |        0
1619.57/1620.06	c 1620s |      27 | 15773528 | 11959033 |     2883  10328 |        0 |        0
1621.57/1622.07	c 1622s |      27 | 15790383 | 11972133 |     2883  10337 |        0 |        0
1623.57/1624.07	c 1624s |      27 | 15807777 | 11985433 |     2883  10345 |        0 |        0
1625.56/1626.08	c 1626s |      27 | 15825321 | 11998933 |     2883  10354 |        0 |        0
1627.57/1628.09	c 1628s |      27 | 15843540 | 12012633 |     2883  10363 |        0 |        0
1629.56/1630.09	c 1630s |      27 | 15860378 | 12025833 |     2883  10372 |        0 |        0
1631.56/1632.10	c 1632s |      27 | 15877868 | 12039033 |     2883  10380 |        0 |        0
1633.66/1634.10	c 1634s |      27 | 15893635 | 12051433 |     2883  10388 |        0 |        0
1635.66/1636.11	c 1636s |      27 | 15910024 | 12063933 |     2883  10397 |        0 |        0
1637.66/1638.11	c 1638s |      27 | 15927563 | 12077033 |     2883  10405 |        0 |        0
1639.67/1640.11	c 1640s |      27 | 15944235 | 12090133 |     2883  10414 |        0 |        0
1641.66/1642.12	c 1642s |      27 | 15962588 | 12104133 |     2883  10423 |        0 |        0
1643.66/1644.12	c 1644s |      27 | 15979024 | 12116733 |     2883  10431 |        0 |        0
1645.66/1646.13	c 1646s |      27 | 15995964 | 12129233 |     2883  10439 |        0 |        0
1647.66/1648.13	c 1648s |      27 | 16012017 | 12141433 |     2883  10447 |        0 |        0
1649.67/1650.14	c 1650s |      27 | 16027057 | 12153533 |     2883  10455 |        0 |        0
1651.66/1652.15	c 1652s |      27 | 16042855 | 12166033 |     2883  10463 |        0 |        0
1653.66/1654.16	c 1654s |      27 | 16059236 | 12178733 |     2883  10472 |        0 |        0
1655.66/1656.17	c 1656s |      27 | 16076181 | 12191933 |     2883  10480 |        0 |        0
1657.66/1658.18	c 1658s |      27 | 16092467 | 12204533 |     2883  10488 |        0 |        0
1659.76/1660.20	c 1660s |      27 | 16108658 | 12217333 |     2883  10497 |        0 |        0
1661.66/1662.20	c 1662s |      27 | 16124021 | 12229833 |     2883  10505 |        0 |        0
1663.76/1664.23	c 1664s |      27 | 16140815 | 12243033 |     2883  10514 |        0 |        0
1665.76/1666.24	c 1666s |      27 | 16158708 | 12256533 |     2883  10522 |        0 |        0
1667.76/1668.25	c 1668s |      27 | 16176510 | 12270233 |     2883  10531 |        0 |        0
1669.76/1670.27	c 1670s |      27 | 16191837 | 12282633 |     2883  10539 |        0 |        0
1671.76/1672.27	c 1672s |      27 | 16207673 | 12294733 |     2883  10547 |        0 |        0
1673.77/1674.29	c 1674s |      27 | 16224196 | 12307733 |     2883  10556 |        0 |        0
1675.76/1676.29	c 1676s |      27 | 16240251 | 12320433 |     2883  10564 |        0 |        0
1677.86/1678.30	c 1678s |      27 | 16257036 | 12334133 |     2883  10573 |        0 |        0
1679.86/1680.30	c 1680s |      27 | 16273928 | 12347433 |     2883  10582 |        0 |        0
1681.86/1682.31	c 1682s |      27 | 16292389 | 12361733 |     2883  10591 |        0 |        0
1683.86/1684.32	c 1684s |      27 | 16309310 | 12375233 |     2883  10600 |        0 |        0
1685.87/1686.33	c 1686s |      27 | 16326097 | 12388233 |     2883  10608 |        0 |        0
1687.86/1688.34	c 1688s |      27 | 16343555 | 12401333 |     2883  10617 |        0 |        0
1689.86/1690.35	c 1690s |      27 | 16360749 | 12414233 |     2883  10625 |        0 |        0
1691.86/1692.36	c 1692s |      27 | 16378399 | 12428133 |     2883  10634 |        0 |        0
1693.86/1694.37	c 1694s |      27 | 16395780 | 12441633 |     2883  10643 |        0 |        0
1695.86/1696.37	c 1696s |      27 | 16410774 | 12453733 |     2883  10651 |        0 |        0
1697.86/1698.38	c 1698s |      27 | 16428684 | 12467833 |     2883  10660 |        0 |        0
1699.86/1700.38	c 1700s |      27 | 16444858 | 12481033 |     2883  10669 |        0 |        0
1701.96/1702.40	c 1702s |      27 | 16461071 | 12493933 |     2883  10677 |        0 |        0
1703.96/1704.40	c 1704s |      27 | 16477579 | 12507033 |     2883  10686 |        0 |        0
1705.96/1706.41	c 1706s |      27 | 16495822 | 12520833 |     2883  10695 |        0 |        0
1707.96/1708.42	c 1708s |      27 | 16512937 | 12534733 |     2883  10704 |        0 |        0
1709.95/1710.43	c 1710s |      27 | 16529843 | 12547833 |     2883  10713 |        0 |        0
1711.95/1712.43	c 1712s |      27 | 16547341 | 12561133 |     2883  10721 |        0 |        0
1713.95/1714.44	c 1714s |      27 | 16565809 | 12574833 |     2883  10730 |        0 |        0
1715.95/1716.46	c 1716s |      27 | 16585393 | 12588933 |     2883  10739 |        0 |        0
1717.95/1718.46	c 1718s |      27 | 16602306 | 12601433 |     2883  10748 |        0 |        0
1719.96/1720.48	c 1720s |      27 | 16618628 | 12613833 |     2883  10756 |        0 |        0
1721.95/1722.48	c 1722s |      27 | 16635871 | 12626933 |     2883  10764 |        0 |        0
1723.95/1724.49	c 1724s |      27 | 16654514 | 12641133 |     2883  10774 |        0 |        0
1726.05/1726.50	c 1726s |      27 | 16671022 | 12653833 |     2883  10782 |        0 |        0
1728.05/1728.50	c 1728s |      27 | 16690187 | 12668633 |     2883  10792 |        0 |        0
1730.05/1730.51	c 1730s |      27 | 16708012 | 12682433 |     2883  10801 |        0 |        0
1732.05/1732.51	c 1732s |      27 | 16725749 | 12695833 |     2883  10809 |        0 |        0
1734.05/1734.52	c 1734s |      27 | 16744563 | 12709833 |     2883  10818 |        0 |        0
1736.05/1736.52	c 1736s |      27 | 16764319 | 12724733 |     2883  10828 |        0 |        0
1738.05/1738.52	c 1738s |      27 | 16781253 | 12737833 |     2883  10837 |        0 |        0
1740.05/1740.53	c 1740s |      27 | 16798896 | 12751533 |     2883  10846 |        0 |        0
1742.05/1742.54	c 1742s |      27 | 16817282 | 12765233 |     2883  10855 |        0 |        0
1744.05/1744.55	c 1744s |      27 | 16835529 | 12778833 |     2883  10864 |        0 |        0
1746.05/1746.55	c 1746s |      27 | 16852551 | 12791833 |     2883  10872 |        0 |        0
1748.05/1748.56	c 1748s |      27 | 16869533 | 12804933 |     2883  10881 |        0 |        0
1750.05/1750.58	c 1750s |      27 | 16886354 | 12818233 |     2883  10889 |        0 |        0
1752.05/1752.58	c 1752s |      27 | 16900798 | 12830033 |     2883  10897 |        0 |        0
1754.05/1754.58	c 1754s |      27 | 16915706 | 12842033 |     2883  10905 |        0 |        0
1756.05/1756.59	c 1756s |      27 | 16933521 | 12855533 |     2883  10914 |        0 |        0
1758.04/1758.59	c 1758s |      27 | 16950862 | 12868933 |     2883  10922 |        0 |        0
1760.14/1760.61	c 1760s |      27 | 16967594 | 12881933 |     2883  10931 |        0 |        0
1762.14/1762.61	c 1762s |      27 | 16982937 | 12894033 |     2883  10939 |        0 |        0
1764.14/1764.62	c 1764s |      27 | 17000175 | 12907433 |     2883  10947 |        0 |        0
1766.15/1766.62	c 1766s |      27 | 17015985 | 12919933 |     2883  10956 |        0 |        0
1768.14/1768.62	c 1768s |      27 | 17033020 | 12933033 |     2883  10964 |        0 |        0
1770.14/1770.63	c 1770s |      27 | 17050389 | 12946733 |     2883  10973 |        0 |        0
1772.14/1772.64	c 1772s |      27 | 17067459 | 12960033 |     2883  10982 |        0 |        0
1774.14/1774.64	c 1774s |      27 | 17083209 | 12972633 |     2883  10990 |        0 |        0
1776.15/1776.65	c 1776s |      27 | 17099195 | 12985133 |     2883  10998 |        0 |        0
1778.15/1778.67	c 1778s |      27 | 17114497 | 12997533 |     2883  11006 |        0 |        0
1780.15/1780.67	c 1780s |      27 | 17131697 | 13010733 |     2883  11015 |        0 |        0
1782.15/1782.68	c 1782s |      27 | 17151015 | 13025633 |     2883  11025 |        0 |        0
1784.25/1784.70	c 1784s |      27 | 17168122 | 13039033 |     2883  11033 |        0 |        0
1786.25/1786.70	c 1786s |      27 | 17186586 | 13053233 |     2883  11043 |        0 |        0
1788.25/1788.71	c 1788s |      27 | 17205099 | 13067233 |     2883  11052 |        0 |        0
1790.25/1790.71	c 1790s |      27 | 17222560 | 13080733 |     2883  11061 |        0 |        0
1792.25/1792.71	c 1792s |      27 | 17240457 | 13094933 |     2883  11070 |        0 |        0
1794.25/1794.72	c 1794s |      27 | 17257529 | 13108533 |     2883  11079 |        0 |        0
1796.25/1796.74	c 1796s |      27 | 17274804 | 13122133 |     2883  11088 |        0 |        0
1798.24/1798.75	c 1798s |      27 | 17294338 | 13136933 |     2883  11097 |        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-4122442-1467316642/watcher-4122442-1467316642 -o /tmp/evaluation-result-4122442-1467316642/solver-4122442-1467316642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16424 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122442-1467316642.opb 

pid=18327
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.09 2.05 2.00 3/243 18330
/proc/meminfo: memFree=30119588/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 2724 0 0 0 0 0 0 0 20 0 4 0 12770753 747040768 3085 33554432000 4194304 16246674 140736581163296 140736581162720 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 183151 3094 441 2943 0 180045 0
[pid=18330/tid=18331] ppid=18327 vsize=747964 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 765915136 3156 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=752060 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 770109440 3173 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 774303744 3189 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.09 2.05 2.00 3/243 18330
/proc/meminfo: memFree=30119588/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 24733 0 0 0 6 3 0 0 20 0 4 0 12770753 1247350784 25083 33554432000 4194304 16246674 140736581163296 140736581162720 5722381 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 304529 25091 707 2943 0 301423 0
[pid=18330/tid=18331] ppid=18327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1247350784 25097 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1247350784 25105 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1247350784 25111 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200569 s]
/proc/loadavg: 2.09 2.05 2.00 3/243 18330
/proc/meminfo: memFree=30119588/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 47626 0 0 0 13 6 0 0 20 0 4 0 12770753 1247350784 47975 33554432000 4194304 16246674 140736581163296 140736581146288 5670317 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 304529 47985 707 2943 0 301423 0
[pid=18330/tid=18331] ppid=18327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1247350784 47990 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1247350784 47996 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1247350784 48004 33554432000 4194304 16246674 140736581163296 140137199561904 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.300512 s]
/proc/loadavg: 2.09 2.05 2.00 3/243 18330
/proc/meminfo: memFree=30119588/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 70323 0 0 0 19 10 0 0 20 0 4 0 12770753 1247350784 70673 33554432000 4194304 16246674 140736581163296 140736581146288 12874965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 304529 70681 707 2943 0 301423 0
[pid=18330/tid=18331] ppid=18327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1247350784 70689 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1247350784 70696 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1247350784 70702 33554432000 4194304 16246674 140736581163296 140137199561904 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.700406 s]
/proc/loadavg: 2.09 2.05 2.00 3/243 18330
/proc/meminfo: memFree=30119588/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 159552 0 0 0 46 23 0 0 20 0 4 0 12770753 1247350784 159901 33554432000 4194304 16246674 140736581163296 140736581146288 5722241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 304529 159908 708 2943 0 301423 0
[pid=18330/tid=18331] ppid=18327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1247350784 159915 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1247350784 159924 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1247350784 159932 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.09 2.05 2.00 3/247 18334
/proc/meminfo: memFree=29136164/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 245708 0 0 0 115 34 0 0 20 0 4 0 12770753 1248399360 246037 33554432000 4194304 16246674 140736581163296 140736581145216 6013104 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 304785 246037 783 2943 0 301679 0
[pid=18330/tid=18331] ppid=18327 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1248399360 246037 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1248399360 246037 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1248399360 246037 33554432000 4194304 16246674 140736581163296 140137199561904 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.09 2.05 2.00 3/247 18334
/proc/meminfo: memFree=29049720/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 267466 0 0 0 273 36 0 0 20 0 4 0 12770753 1337528320 267795 33554432000 4194304 16246674 140736581163296 140736581146296 5860904 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 326545 267795 783 2943 0 323439 0
[pid=18330/tid=18331] ppid=18327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1337528320 267795 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1337528320 267795 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1337528320 267795 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.08 2.05 2.00 3/247 18334
/proc/meminfo: memFree=29048464/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1307204 CPUtime=6.28 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 267599 0 0 0 592 36 0 0 20 0 4 0 12770753 1338576896 267928 33554432000 4194304 16246674 140736581163296 140736581145216 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 326801 267928 785 2943 0 323695 0
[pid=18330/tid=18331] ppid=18327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1338576896 267928 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1338576896 267928 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1338576896 267928 33554432000 4194304 16246674 140736581163296 140137199561904 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.07 2.05 2.00 3/247 18334
/proc/meminfo: memFree=29046596/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1308228 CPUtime=12.69 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 268080 0 0 0 1232 37 0 0 20 0 4 0 12770753 1339625472 268409 33554432000 4194304 16246674 140736581163296 140736581145216 6843305 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 327057 268409 786 2943 0 323951 0
[pid=18330/tid=18331] ppid=18327 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1339625472 268409 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1339625472 268409 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1339625472 268409 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.06 2.05 2.00 3/247 18334
/proc/meminfo: memFree=29047380/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1308228 CPUtime=25.48 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 268080 0 0 0 2511 37 0 0 20 0 4 0 12770753 1339625472 268409 33554432000 4194304 16246674 140736581163296 140736581146296 5808574 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 327057 268409 786 2943 0 323951 0
[pid=18330/tid=18331] ppid=18327 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1339625472 268409 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1339625472 268409 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1339625472 268409 33554432000 4194304 16246674 140736581163296 140137199561904 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.10 2.06 2.00 3/247 18334
/proc/meminfo: memFree=29047304/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 268081 0 0 0 5071 37 0 0 20 0 4 0 12770753 1339625472 268410 33554432000 4194304 16246674 140736581163296 140736581145216 5754712 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 327057 268410 787 2943 0 323951 0
[pid=18330/tid=18331] ppid=18327 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1339625472 268410 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1339625472 268410 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1339625472 268410 33554432000 4194304 16246674 140736581163296 140137199561904 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) 1308228

[startup+102.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/247 18336
/proc/meminfo: memFree=29046840/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1309252 CPUtime=102.27 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 268159 0 0 0 10189 38 0 0 20 0 4 0 12770753 1340674048 268473 33554432000 4194304 16246674 140736581163296 140736581145216 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 327313 268473 787 2943 0 324207 0
[pid=18330/tid=18331] ppid=18327 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1340674048 268473 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1340674048 268473 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1340674048 268473 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1309252


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

/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1315396

[startup+1362.3 s]
/proc/loadavg: 1.19 1.39 1.70 2/238 18424
/proc/meminfo: memFree=30125620/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1315396 CPUtime=1361.9 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 270203 0 0 0 136133 57 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140736581145216 5667289 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 328849 270459 788 2943 0 325743 0
[pid=18330/tid=18331] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1315396

[startup+1422.3 s]
/proc/loadavg: 1.12 1.33 1.66 2/237 18425
/proc/meminfo: memFree=30126284/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1315396 CPUtime=1421.9 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 270203 0 0 0 142132 58 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140736581145216 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 328849 270459 788 2943 0 325743 0
[pid=18330/tid=18331] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1315396

[startup+1482.3 s]
/proc/loadavg: 1.04 1.27 1.62 2/237 18426
/proc/meminfo: memFree=30126224/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1315396 CPUtime=1481.89 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 270203 0 0 0 148130 59 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140736581146296 6021699 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 328849 270459 788 2943 0 325743 0
[pid=18330/tid=18331] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 1315396

[startup+1542.31 s]
/proc/loadavg: 1.01 1.22 1.58 2/237 18427
/proc/meminfo: memFree=30126288/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1315396 CPUtime=1541.89 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 270203 0 0 0 154129 60 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140736581145216 5677662 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 328849 270459 788 2943 0 325743 0
[pid=18330/tid=18331] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1315396

[startup+1602.3 s]
/proc/loadavg: 1.04 1.19 1.54 2/236 18428
/proc/meminfo: memFree=30126244/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1315396 CPUtime=1601.87 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 270203 0 0 0 160127 60 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140736581145216 6012041 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 328849 270459 788 2943 0 325743 0
[pid=18330/tid=18331] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 1315396

[startup+1662.3 s]
/proc/loadavg: 1.07 1.17 1.51 2/237 18430
/proc/meminfo: memFree=30126172/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1315396 CPUtime=1661.86 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 270203 0 0 0 166126 60 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140736581145216 5721406 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 328849 270459 788 2943 0 325743 0
[pid=18330/tid=18331] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 1315396

[startup+1722.3 s]
/proc/loadavg: 1.02 1.14 1.48 2/237 18431
/proc/meminfo: memFree=30125684/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1315396 CPUtime=1721.85 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 270203 0 0 0 172124 61 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140736581145216 5822717 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 328849 270459 788 2943 0 325743 0
[pid=18330/tid=18331] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 1315396

[startup+1782.3 s]
/proc/loadavg: 1.04 1.12 1.45 2/237 18432
/proc/meminfo: memFree=30125512/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1315396 CPUtime=1781.85 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 270203 0 0 0 178123 62 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140736581145216 5676365 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 328849 270459 788 2943 0 325743 0
[pid=18330/tid=18331] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1346965504 270459 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1315396



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.03 1.11 1.44 2/237 18432
/proc/meminfo: memFree=30124828/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1316420 CPUtime=1800.04 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 270459 0 0 0 179942 62 0 0 20 0 4 0 12770753 1348014080 270715 33554432000 4194304 16246674 140736581163296 140736581145216 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 329105 270715 788 2943 0 325999 0
[pid=18330/tid=18331] ppid=18327 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1348014080 270715 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1348014080 270715 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1348014080 270715 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1316420

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

[startup+1800.5 s]
/proc/loadavg: 1.03 1.11 1.44 2/237 18432
/proc/meminfo: memFree=30124828/32872528 swapFree=189444/189444
[pid=18330] ppid=18327 vsize=1316420 CPUtime=1800.04 cores=0,2,4,6
/proc/18330/stat : 18330 (toysat) R 18327 18330 13211 0 -1 4202496 270459 0 0 0 179942 62 0 0 20 0 4 0 12770753 1348014080 270715 33554432000 4194304 16246674 140736581163296 140736581145216 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18330/statm: 329105 270715 788 2943 0 325999 0
[pid=18330/tid=18331] ppid=18327 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18331/stat : 18331 (toysat) S 18327 18330 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12770753 1348014080 270715 33554432000 4194304 16246674 140736581163296 140137297063152 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18330/tid=18332] ppid=18327 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18332/stat : 18332 (toysat) S 18327 18330 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12770753 1348014080 270715 33554432000 4194304 16246674 140736581163296 140137286573296 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18330/tid=18333] ppid=18327 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/18330/task/18333/stat : 18333 (toysat) S 18327 18330 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12770753 1348014080 270715 33554432000 4194304 16246674 140736581163296 140137199561904 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1316420

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.06
CPU user time (s): 1799.43
CPU system time (s): 0.621905
CPU usage (%): 99.9748
Max. virtual memory (cumulated for all children) (KiB): 1316420

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.43
system time used= 0.621905
maximum resident set size= 1082860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270459
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= 342
involuntary context switches= 1835

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.382 second user time and 14.6418 second system time

The end

Begin job on node102 at 2016-06-30 21:57:22
IDJOB=4122442
IDBENCH=111117
IDSOLVER=2542
FILE ID=node102/4122442-1467316642
RUNJOBID= node102-1467310764-16424
PBS_JOBID= 20005272
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-fixed-bandwidth-81.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-4122442-1467316642/watcher-4122442-1467316642 -o /tmp/evaluation-result-4122442-1467316642/solver-4122442-1467316642 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16424 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122442-1467316642.opb

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

MD5SUM BENCH= d73c0051377bdbd11356ab5bb80dc7e3
RANDOM SEED=1615385605

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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:        30120232 kB
Buffers:          162280 kB
Cached:           571640 kB
SwapCached:            0 kB
Active:          1396416 kB
Inactive:         423140 kB
Active(anon):    1088216 kB
Inactive(anon):        0 kB
Active(file):     308200 kB
Inactive(file):   423140 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16504 kB
Writeback:             0 kB
AnonPages:       1274912 kB
Mapped:            17608 kB
Shmem:               204 kB
Slab:             609788 kB
SReclaimable:      53308 kB
SUnreclaim:       556480 kB
KernelStack:        2032 kB
PageTables:         6940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1424052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1058816 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= 71652 MiB
End job on node102 at 2016-06-30 22:27:23