0.00/0.00	c 2016-06-30T21:20:33+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-4121418-1467314433.opb"]
0.00/0.01	c use --random-gen="3443082520 292201186 2810916893 403800882 2079461114 879475137 1898527683 1884041264 3728584279 2770296850 2173201863 1863727363 3463378880 2017414604 3524065824 3661159916 3596813238 1293250062 282225574 2326624469 653655160 4169885213 3962205667 3804139186 3270191573 2165450125 3643570058 521379768 1252923831 3792584709 1300523509 3739687705 2684219098 2608956569 1425574842 1559685163 2870621223 252014930 1415804631 2967424804 1246380457 1600682619 3003898348 2308693244 2055819593 1785030539 19484360 1427193991 1886629699 1034004801 2749834212 2543657029 3020354559 93187627 1477838760 4037259728 3310630857 3856789197 3038467578 270200287 4034418370 151065495 2798811380 2301563795 3572776716 819760704 1071503828 4181210728 3960890127 740541722 313273223 2489888669 2295044226 2989991819 3034025243 2341165778 4019388863 365346874 2894422467 1516545391 2586029253 466106718 1609262776 1941749446 1636082398 4266039503 3325678119 3465349434 3337766016 4069185026 3841678922 3000918523 3886520728 1352283875 4134660251 313432546 2049520701 1100535833 590252083 3761530899 3341409378 3797308692 4271491196 1412489611 956341134 3970272616 1940306541 203653814 3703871090 1655588828 3731783486 972669997 2898209391 4055340856 4012399071 548540227 3895000516 2631074347 717931557 3955712763 1619371814 3605499766 894093071 98546124 4079832448 3979706710 1337774236 1241658479 1355572054 2425969893 2494955797 1553164465 1405792151 148936191 4031983419 4212261959 3822564100 2315333476 900729211 2703175635 637987093 3408680220 991615190 1987175387 596197481 3414586546 2089257 10846606 4127723721 2601334176 4154441770 1648932702 580651226 2268543291 1441562135 102752730 3694057313 2880510071 2209010854 1894156025 1705917818 2943206487 2641465064 274760292 1403704934 4288189234 3274382701 437508507 3954293610 4137806888 4186612546 3817173200 1778700994 1932897357 351637250 538094282 867612724 2835384263 223943226 3259978257 479236431 2306107154 2894056856 4097255311 1289120113 3959088343 3648169467 3979651882 1062133895 4129591485 2155607571 4245616487 628264255 4016522701 1879125624 3113780831 1603835505 1563576086 2120921728 756306930 3196226136 3810749699 2182428165 2600725185 1488750915 232994789 3228860261 734559727 2005760924 2064852100 1464235937 2477192325 1523071466 1405442798 2893579504 4174610253 4174291905 1475039208 1471439426 2810680498 2056516766 4155401045 4284048215 2751600776 2123556652 28512687 2375599988 1949045421 1572923034 2534651544 151096516 798243121 2071432571 1008077078 2057263844 2369525446 1783531231 2347997759 220197357 475714026 1533076555 2292623289 1006655028 596512135 3823184636 1770672856 923016318 2335892648 345360281 1187299478 742984935 3862782385 2382800175 2422636269 1002622149 1254232463 255 362436" option to reproduce the execution
0.00/0.01	c #vars 105
0.00/0.01	c #constraints 104
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       69      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      140 |      100 |       69      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      339 |      250 |       76      3 |        0 |        0
0.00/0.05	c  0.0s |       3 |      737 |      475 |       84      7 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1328 |      813 |       93     13 |        0 |        0
0.09/0.14	c  0.1s |       5 |     2169 |     1320 |      103     21 |        0 |        0
0.19/0.22	c  0.2s |       6 |     3240 |     2081 |      126     31 |        0 |        0
0.29/0.33	c  0.3s |       7 |     4823 |     3223 |      139     46 |        0 |        0
0.39/0.49	c  0.5s |       8 |     7496 |     4936 |      153     68 |        0 |        0
0.69/0.76	c  0.7s |       9 |    11379 |     7506 |      169     97 |        0 |        0
0.99/1.10	c  1.1s |      10 |    17803 |    11361 |      186    137 |        0 |        0
1.39/1.48	c  1.5s |      11 |    27591 |    17144 |      205    192 |        0 |        0
2.09/2.17	c  2.2s |      12 |    39077 |    25819 |      226    267 |        0 |        0
3.19/3.21	c  3.2s |      13 |    56480 |    38832 |      249    371 |        0 |        0
4.69/4.72	c  4.7s |      14 |    84200 |    58352 |      274    512 |        0 |        0
6.70/6.73	c  6.7s |      14 |   122069 |    85052 |      274    693 |        0 |        0
6.89/6.92	c  6.9s |      15 |   125577 |    87632 |      302    710 |        0 |        0
8.89/8.92	c  8.9s |      15 |   165276 |   116232 |      302    887 |        0 |        0
9.99/10.05	c 10.0s |      16 |   185591 |   131552 |      333    980 |        0 |        0
11.99/12.05	c 12.0s |      16 |   218720 |   156852 |      333   1125 |        0 |        0
13.98/14.05	c 14.0s |      16 |   251771 |   182552 |      333   1272 |        0 |        0
15.18/15.21	c 15.2s |      17 |   271349 |   197432 |      367   1356 |        0 |        0
17.18/17.21	c 17.2s |      17 |   309578 |   225232 |      367   1496 |        0 |        0
19.18/19.21	c 19.2s |      17 |   345478 |   252432 |      367   1636 |        0 |        0
21.18/21.22	c 21.2s |      17 |   381702 |   279432 |      367   1774 |        0 |        0
22.39/22.44	c 22.4s |      18 |   404566 |   296252 |      404   1859 |        0 |        0
24.39/24.44	c 24.4s |      18 |   440338 |   322152 |      404   1980 |        0 |        0
26.40/26.45	c 26.4s |      18 |   474503 |   347552 |      404   2100 |        0 |        0
28.39/28.45	c 28.4s |      18 |   511902 |   373452 |      404   2222 |        0 |        0
30.39/30.46	c 30.4s |      18 |   544921 |   397952 |      404   2339 |        0 |        0
32.39/32.46	c 32.4s |      18 |   580039 |   423252 |      404   2458 |        0 |        0
33.98/34.06	c 34.1s |      19 |   611058 |   444482 |      445   2557 |        0 |        0
35.98/36.07	c 36.1s |      19 |   650535 |   471182 |      445   2672 |        0 |        0
37.98/38.08	c 38.1s |      19 |   687689 |   497382 |      445   2785 |        0 |        0
39.98/40.08	c 40.1s |      19 |   722762 |   522882 |      445   2895 |        0 |        0
41.98/42.08	c 42.1s |      19 |   757687 |   547882 |      445   3002 |        0 |        0
43.99/44.09	c 44.1s |      19 |   793352 |   572982 |      445   3111 |        0 |        0
45.99/46.09	c 46.1s |      19 |   832140 |   599682 |      445   3226 |        0 |        0
47.98/48.09	c 48.1s |      19 |   867712 |   624482 |      445   3333 |        0 |        0
49.98/50.09	c 50.1s |      19 |   902586 |   649482 |      445   3441 |        0 |        0
51.38/51.44	c 51.4s |      20 |   928494 |   666827 |      490   3514 |        0 |        0
53.38/53.44	c 53.4s |      20 |   963544 |   691727 |      490   3611 |        0 |        0
55.38/55.45	c 55.4s |      20 |   998281 |   716527 |      490   3708 |        0 |        0
57.38/57.45	c 57.4s |      20 |  1033344 |   741327 |      490   3806 |        0 |        0
59.39/59.46	c 59.4s |      20 |  1068495 |   767027 |      490   3906 |        0 |        0
61.38/61.46	c 61.5s |      20 |  1101723 |   791927 |      490   4004 |        0 |        0
63.38/63.47	c 63.5s |      20 |  1135881 |   817227 |      490   4103 |        0 |        0
65.38/65.47	c 65.5s |      20 |  1169141 |   842127 |      490   4202 |        0 |        0
67.38/67.48	c 67.5s |      20 |  1201602 |   866627 |      490   4299 |        0 |        0
69.38/69.48	c 69.5s |      20 |  1232438 |   889927 |      490   4390 |        0 |        0
71.38/71.48	c 71.5s |      20 |  1265472 |   913527 |      490   4483 |        0 |        0
73.38/73.49	c 73.5s |      20 |  1298138 |   937027 |      490   4576 |        0 |        0
75.38/75.49	c 75.5s |      20 |  1331391 |   961227 |      490   4671 |        0 |        0
77.48/77.50	c 77.5s |      20 |  1363676 |   984827 |      490   4764 |        0 |        0
78.78/78.84	c 78.8s |      21 |  1384812 |  1000345 |      539   4823 |        0 |        0
80.78/80.84	c 80.8s |      21 |  1417907 |  1023945 |      539   4907 |        0 |        0
82.78/82.85	c 82.8s |      21 |  1450745 |  1048145 |      539   4994 |        0 |        0
84.78/84.85	c 84.8s |      21 |  1482663 |  1072045 |      539   5080 |        0 |        0
86.77/86.85	c 86.8s |      21 |  1512634 |  1095045 |      539   5161 |        0 |        0
88.77/88.86	c 88.8s |      21 |  1543595 |  1118345 |      539   5245 |        0 |        0
90.77/90.86	c 90.9s |      21 |  1575095 |  1142045 |      539   5331 |        0 |        0
92.77/92.87	c 92.9s |      21 |  1606612 |  1166745 |      539   5419 |        0 |        0
94.78/94.87	c 94.9s |      21 |  1636890 |  1190145 |      539   5504 |        0 |        0
96.78/96.88	c 96.9s |      21 |  1664492 |  1212245 |      539   5583 |        0 |        0
98.78/98.89	c 98.9s |      21 |  1693748 |  1235145 |      539   5666 |        0 |        0
100.78/100.90	c  100s |      21 |  1725230 |  1258945 |      539   5752 |        0 |        0
102.88/102.90	c  102s |      21 |  1755640 |  1282245 |      539   5836 |        0 |        0
104.88/104.91	c  104s |      21 |  1783549 |  1304445 |      539   5915 |        0 |        0
106.87/106.92	c  106s |      21 |  1813421 |  1327045 |      539   5996 |        0 |        0
108.88/108.92	c  108s |      21 |  1842349 |  1349545 |      539   6077 |        0 |        0
110.87/110.93	c  110s |      21 |  1873071 |  1372545 |      539   6160 |        0 |        0
112.87/112.93	c  112s |      21 |  1902785 |  1395345 |      539   6243 |        0 |        0
114.87/114.93	c  114s |      21 |  1933327 |  1418345 |      539   6326 |        0 |        0
116.87/116.93	c  116s |      21 |  1961392 |  1440145 |      539   6403 |        0 |        0
118.87/118.94	c  118s |      21 |  1990040 |  1462845 |      539   6485 |        0 |        0
120.88/120.94	c  120s |      21 |  2018747 |  1484945 |      539   6565 |        0 |        0
122.28/122.39	c  122s |      22 |  2038538 |  1500622 |      593   6618 |        0 |        0
124.28/124.40	c  124s |      22 |  2065185 |  1521622 |      593   6686 |        0 |        0
126.37/126.40	c  126s |      22 |  2092185 |  1542922 |      593   6755 |        0 |        0
128.37/128.41	c  128s |      22 |  2119662 |  1564322 |      593   6825 |        0 |        0
130.37/130.41	c  130s |      22 |  2147606 |  1586022 |      593   6896 |        0 |        0
132.37/132.42	c  132s |      22 |  2175542 |  1607522 |      593   6966 |        0 |        0
134.37/134.42	c  134s |      22 |  2202363 |  1628522 |      593   7035 |        0 |        0
136.38/136.43	c  136s |      22 |  2234217 |  1652022 |      593   7112 |        0 |        0
138.37/138.43	c  138s |      22 |  2265008 |  1675122 |      593   7187 |        0 |        0
140.37/140.44	c  140s |      22 |  2295651 |  1697822 |      593   7261 |        0 |        0
142.37/142.44	c  142s |      22 |  2327361 |  1720822 |      593   7336 |        0 |        0
144.37/144.45	c  144s |      22 |  2355354 |  1742522 |      593   7407 |        0 |        0
146.37/146.45	c  146s |      22 |  2384946 |  1764722 |      593   7480 |        0 |        0
148.36/148.46	c  148s |      22 |  2418429 |  1788422 |      593   7557 |        0 |        0
150.36/150.47	c  150s |      22 |  2453522 |  1812322 |      593   7636 |        0 |        0
152.36/152.47	c  152s |      22 |  2485501 |  1835222 |      593   7711 |        0 |        0
154.36/154.47	c  154s |      22 |  2518012 |  1858922 |      593   7789 |        0 |        0
156.36/156.47	c  156s |      22 |  2547241 |  1881122 |      593   7862 |        0 |        0
158.38/158.48	c  158s |      22 |  2578527 |  1903622 |      593   7936 |        0 |        0
160.37/160.48	c  160s |      22 |  2609651 |  1926722 |      593   8012 |        0 |        0
162.37/162.48	c  162s |      22 |  2642310 |  1950822 |      593   8092 |        0 |        0
164.37/164.49	c  164s |      22 |  2675218 |  1974922 |      593   8172 |        0 |        0
166.36/166.49	c  166s |      22 |  2707331 |  1998022 |      593   8247 |        0 |        0
168.37/168.49	c  168s |      22 |  2741382 |  2021922 |      593   8325 |        0 |        0
170.36/170.50	c  170s |      22 |  2772467 |  2045222 |      593   8400 |        0 |        0
172.46/172.51	c  172s |      22 |  2800640 |  2067722 |      593   8472 |        0 |        0
174.46/174.51	c  174s |      22 |  2826800 |  2089122 |      593   8541 |        0 |        0
176.47/176.51	c  176s |      22 |  2851973 |  2109522 |      593   8606 |        0 |        0
178.47/178.52	c  178s |      22 |  2876126 |  2129222 |      593   8670 |        0 |        0
180.47/180.53	c  180s |      22 |  2903971 |  2150822 |      593   8739 |        0 |        0
182.46/182.54	c  182s |      22 |  2928823 |  2171022 |      593   8805 |        0 |        0
184.46/184.54	c  184s |      22 |  2958621 |  2193622 |      593   8878 |        0 |        0
186.46/186.55	c  186s |      22 |  2989923 |  2216722 |      593   8954 |        0 |        0
188.46/188.55	c  188s |      22 |  3021052 |  2239722 |      653   9027 |        0 |        0
189.56/189.61	c  189s |      23 |  3035343 |  2251038 |      653   9061 |        0 |        0
191.56/191.61	c  191s |      23 |  3064887 |  2273338 |      653   9127 |        0 |        0
193.57/193.62	c  193s |      23 |  3096390 |  2297438 |      653   9199 |        0 |        0
195.56/195.62	c  195s |      23 |  3124676 |  2320938 |      653   9268 |        0 |        0
197.56/197.62	c  197s |      23 |  3153635 |  2344138 |      653   9337 |        0 |        0
199.56/199.63	c  199s |      23 |  3183065 |  2367038 |      653   9405 |        0 |        0
201.56/201.63	c  201s |      23 |  3213329 |  2390238 |      653   9474 |        0 |        0
203.56/203.63	c  203s |      23 |  3245032 |  2414238 |      653   9546 |        0 |        0
205.55/205.63	c  205s |      23 |  3274355 |  2437038 |      653   9614 |        0 |        0
207.55/207.64	c  207s |      23 |  3304544 |  2459838 |      653   9682 |        0 |        0
209.56/209.64	c  209s |      23 |  3335368 |  2483438 |      653   9753 |        0 |        0
211.56/211.64	c  211s |      23 |  3365638 |  2506238 |      653   9820 |        0 |        0
213.56/213.64	c  213s |      23 |  3397710 |  2529938 |      653   9891 |        0 |        0
215.56/215.65	c  215s |      23 |  3429953 |  2552738 |      653   9959 |        0 |        0
217.55/217.66	c  217s |      23 |  3461965 |  2575938 |      653  10029 |        0 |        0
219.55/219.66	c  219s |      23 |  3487397 |  2596338 |      653  10090 |        0 |        0
221.55/221.67	c  221s |      23 |  3515678 |  2617638 |      653  10154 |        0 |        0
223.55/223.67	c  223s |      23 |  3546249 |  2640638 |      653  10223 |        0 |        0
225.56/225.67	c  225s |      23 |  3577078 |  2663538 |      653  10292 |        0 |        0
227.55/227.68	c  227s |      23 |  3611660 |  2688038 |      653  10365 |        0 |        0
229.55/229.68	c  229s |      23 |  3643493 |  2711738 |      653  10436 |        0 |        0
231.55/231.69	c  231s |      23 |  3673378 |  2734638 |      653  10505 |        0 |        0
233.55/233.69	c  233s |      23 |  3700914 |  2756338 |      653  10569 |        0 |        0
235.55/235.70	c  235s |      23 |  3726672 |  2776338 |      653  10629 |        0 |        0
237.55/237.70	c  237s |      23 |  3752976 |  2796938 |      653  10690 |        0 |        0
239.64/239.70	c  239s |      23 |  3787944 |  2821338 |      653  10764 |        0 |        0
241.64/241.71	c  241s |      23 |  3818683 |  2844438 |      653  10833 |        0 |        0
243.64/243.71	c  243s |      23 |  3850529 |  2867638 |      653  10903 |        0 |        0
245.65/245.71	c  245s |      23 |  3881090 |  2890538 |      653  10972 |        0 |        0
247.65/247.72	c  247s |      23 |  3915381 |  2914838 |      653  11045 |        0 |        0
249.65/249.72	c  249s |      23 |  3948743 |  2939038 |      653  11117 |        0 |        0
251.65/251.73	c  251s |      23 |  3984113 |  2963538 |      653  11191 |        0 |        0
253.65/253.73	c  253s |      23 |  4018363 |  2987238 |      653  11262 |        0 |        0
255.65/255.74	c  255s |      23 |  4048935 |  3010338 |      653  11330 |        0 |        0
257.64/257.74	c  257s |      23 |  4076537 |  3032438 |      653  11394 |        0 |        0
259.64/259.75	c  259s |      23 |  4104253 |  3054638 |      653  11460 |        0 |        0
261.64/261.76	c  261s |      23 |  4130452 |  3076038 |      653  11522 |        0 |        0
263.64/263.76	c  263s |      23 |  4157772 |  3097738 |      653  11586 |        0 |        0
265.64/265.76	c  265s |      23 |  4189605 |  3121638 |      653  11657 |        0 |        0
267.63/267.76	c  267s |      23 |  4218339 |  3144238 |      653  11724 |        0 |        0
269.63/269.77	c  269s |      23 |  4246958 |  3166038 |      653  11789 |        0 |        0
271.64/271.77	c  271s |      23 |  4277099 |  3189138 |      653  11858 |        0 |        0
273.63/273.77	c  273s |      23 |  4307329 |  3211838 |      653  11926 |        0 |        0
275.64/275.78	c  275s |      23 |  4337985 |  3235338 |      653  11996 |        0 |        0
277.64/277.78	c  277s |      23 |  4368986 |  3257438 |      653  12063 |        0 |        0
279.64/279.79	c  279s |      23 |  4404236 |  3281738 |      653  12136 |        0 |        0
281.64/281.79	c  281s |      23 |  4440623 |  3306938 |      653  12211 |        0 |        0
283.64/283.79	c  283s |      23 |  4474528 |  3330838 |      653  12282 |        0 |        0
285.74/285.80	c  285s |      23 |  4509086 |  3355838 |      719  12355 |        0 |        0
287.43/287.50	c  287s |      24 |  4537087 |  3376662 |      719  12412 |        0 |        0
289.43/289.51	c  289s |      24 |  4568677 |  3399462 |      719  12474 |        0 |        0
291.43/291.51	c  291s |      24 |  4601414 |  3422962 |      719  12538 |        0 |        0
293.43/293.52	c  293s |      24 |  4631714 |  3445962 |      719  12600 |        0 |        0
295.43/295.52	c  295s |      24 |  4665153 |  3469862 |      719  12665 |        0 |        0
297.42/297.52	c  297s |      24 |  4696118 |  3492962 |      719  12728 |        0 |        0
299.43/299.52	c  299s |      24 |  4725387 |  3515362 |      719  12789 |        0 |        0
301.44/301.53	c  301s |      24 |  4755926 |  3537962 |      719  12851 |        0 |        0
303.43/303.53	c  303s |      24 |  4786305 |  3560162 |      719  12911 |        0 |        0
305.42/305.53	c  305s |      24 |  4819345 |  3583262 |      719  12974 |        0 |        0
307.42/307.54	c  307s |      24 |  4848585 |  3605362 |      719  13035 |        0 |        0
309.42/309.54	c  309s |      24 |  4878491 |  3627662 |      719  13095 |        0 |        0
311.42/311.55	c  311s |      24 |  4911552 |  3650662 |      719  13158 |        0 |        0
313.43/313.56	c  313s |      24 |  4943596 |  3673462 |      719  13220 |        0 |        0
315.42/315.56	c  315s |      24 |  4976148 |  3696262 |      719  13282 |        0 |        0
317.42/317.57	c  317s |      24 |  5006622 |  3718362 |      719  13341 |        0 |        0
319.42/319.58	c  319s |      24 |  5034961 |  3739762 |      719  13400 |        0 |        0
321.42/321.58	c  321s |      24 |  5067321 |  3763562 |      719  13464 |        0 |        0
323.42/323.59	c  323s |      24 |  5099835 |  3787062 |      719  13528 |        0 |        0
325.41/325.59	c  325s |      24 |  5135959 |  3811662 |      719  13595 |        0 |        0
327.41/327.59	c  327s |      24 |  5166387 |  3834562 |      719  13657 |        0 |        0
329.51/329.60	c  329s |      24 |  5196951 |  3857662 |      719  13719 |        0 |        0
331.51/331.60	c  331s |      24 |  5227871 |  3880862 |      719  13782 |        0 |        0
333.51/333.60	c  333s |      24 |  5261457 |  3904862 |      719  13847 |        0 |        0
335.52/335.60	c  335s |      24 |  5293658 |  3928062 |      719  13910 |        0 |        0
337.51/337.61	c  337s |      24 |  5326563 |  3951862 |      719  13975 |        0 |        0
339.50/339.61	c  339s |      24 |  5356212 |  3974162 |      719  14036 |        0 |        0
341.50/341.62	c  341s |      24 |  5382169 |  3995062 |      719  14092 |        0 |        0
343.50/343.63	c  343s |      24 |  5410130 |  4016162 |      719  14150 |        0 |        0
345.50/345.63	c  345s |      24 |  5438195 |  4038262 |      719  14210 |        0 |        0
347.51/347.64	c  347s |      24 |  5465087 |  4058562 |      719  14265 |        0 |        0
349.50/349.64	c  349s |      24 |  5495514 |  4081462 |      719  14328 |        0 |        0
351.51/351.64	c  351s |      24 |  5528606 |  4105662 |      719  14394 |        0 |        0
353.51/353.64	c  353s |      24 |  5561080 |  4129362 |      719  14459 |        0 |        0
355.51/355.65	c  355s |      24 |  5590650 |  4151162 |      719  14518 |        0 |        0
357.51/357.65	c  357s |      24 |  5617803 |  4171962 |      719  14575 |        0 |        0
359.50/359.65	c  359s |      24 |  5646287 |  4193062 |      719  14633 |        0 |        0
361.50/361.66	c  361s |      24 |  5679319 |  4216762 |      719  14697 |        0 |        0
363.50/363.67	c  363s |      24 |  5712612 |  4239962 |      719  14761 |        0 |        0
365.50/365.67	c  365s |      24 |  5747104 |  4263662 |      719  14825 |        0 |        0
367.50/367.68	c  367s |      24 |  5781094 |  4287162 |      719  14889 |        0 |        0
369.50/369.68	c  369s |      24 |  5811614 |  4309662 |      719  14951 |        0 |        0
371.50/371.69	c  371s |      24 |  5841789 |  4331862 |      719  15011 |        0 |        0
373.50/373.69	c  373s |      24 |  5871656 |  4353662 |      719  15071 |        0 |        0
375.49/375.69	c  375s |      24 |  5901807 |  4376062 |      719  15132 |        0 |        0
377.59/377.70	c  377s |      24 |  5932769 |  4398962 |      719  15194 |        0 |        0
379.60/379.70	c  379s |      24 |  5966264 |  4422562 |      719  15259 |        0 |        0
381.60/381.70	c  381s |      24 |  5999694 |  4446162 |      719  15324 |        0 |        0
383.59/383.71	c  383s |      24 |  6034438 |  4470862 |      719  15391 |        0 |        0
385.59/385.72	c  385s |      24 |  6067218 |  4494762 |      719  15457 |        0 |        0
387.59/387.72	c  387s |      24 |  6100804 |  4518562 |      719  15522 |        0 |        0
389.59/389.73	c  389s |      24 |  6137426 |  4543462 |      719  15590 |        0 |        0
391.59/391.74	c  391s |      24 |  6165930 |  4565062 |      719  15649 |        0 |        0
393.59/393.74	c  393s |      24 |  6192495 |  4585962 |      719  15707 |        0 |        0
395.58/395.75	c  395s |      24 |  6225387 |  4609662 |      719  15772 |        0 |        0
397.58/397.75	c  397s |      24 |  6252659 |  4630762 |      719  15829 |        0 |        0
399.58/399.75	c  399s |      24 |  6283725 |  4653262 |      719  15891 |        0 |        0
401.58/401.76	c  401s |      24 |  6313939 |  4676162 |      719  15954 |        0 |        0
403.59/403.77	c  403s |      24 |  6347862 |  4700262 |      719  16020 |        0 |        0
405.58/405.77	c  405s |      24 |  6385492 |  4725662 |      719  16089 |        0 |        0
407.58/407.77	c  407s |      24 |  6422469 |  4750362 |      719  16157 |        0 |        0
409.58/409.78	c  409s |      24 |  6458072 |  4775162 |      719  16224 |        0 |        0
411.58/411.78	c  411s |      24 |  6488221 |  4797762 |      719  16286 |        0 |        0
413.58/413.78	c  413s |      24 |  6516655 |  4819762 |      719  16346 |        0 |        0
415.57/415.79	c  415s |      24 |  6545822 |  4842162 |      719  16407 |        0 |        0
417.57/417.79	c  417s |      24 |  6573948 |  4864062 |      719  16467 |        0 |        0
419.58/419.79	c  419s |      24 |  6604164 |  4886962 |      719  16529 |        0 |        0
421.68/421.80	c  421s |      24 |  6636626 |  4910362 |      719  16593 |        0 |        0
423.68/423.80	c  423s |      24 |  6668598 |  4933762 |      719  16657 |        0 |        0
425.68/425.81	c  425s |      24 |  6701163 |  4957562 |      719  16722 |        0 |        0
427.67/427.81	c  427s |      24 |  6730928 |  4980262 |      719  16784 |        0 |        0
429.67/429.82	c  429s |      24 |  6759647 |  5002062 |      719  16843 |        0 |        0
431.67/431.82	c  431s |      24 |  6787989 |  5024062 |      719  16903 |        0 |        0
433.67/433.83	c  433s |      24 |  6819646 |  5046562 |      791  16960 |        0 |        0
435.16/435.39	c  435s |      25 |  6845732 |  5065098 |      791  17006 |        0 |        0
437.16/437.39	c  437s |      25 |  6876662 |  5087598 |      791  17062 |        0 |        0
439.16/439.39	c  439s |      25 |  6909901 |  5111098 |      791  17120 |        0 |        0
441.16/441.39	c  441s |      25 |  6939749 |  5133798 |      791  17176 |        0 |        0
443.16/443.40	c  443s |      25 |  6969753 |  5156398 |      791  17232 |        0 |        0
445.26/445.40	c  445s |      25 |  7002866 |  5179998 |      791  17291 |        0 |        0
447.26/447.40	c  447s |      25 |  7034849 |  5203798 |      791  17350 |        0 |        0
449.26/449.40	c  449s |      25 |  7065772 |  5226598 |      791  17406 |        0 |        0
451.26/451.41	c  451s |      25 |  7095850 |  5249198 |      791  17463 |        0 |        0
453.26/453.42	c  453s |      25 |  7123396 |  5270498 |      791  17515 |        0 |        0
455.27/455.43	c  455s |      25 |  7151540 |  5292098 |      791  17569 |        0 |        0
457.25/457.44	c  457s |      25 |  7180911 |  5313898 |      791  17623 |        0 |        0
459.25/459.44	c  459s |      25 |  7212136 |  5336498 |      791  17680 |        0 |        0
461.25/461.45	c  461s |      25 |  7241358 |  5358198 |      791  17734 |        0 |        0
463.25/463.45	c  463s |      25 |  7272145 |  5380298 |      791  17789 |        0 |        0
465.26/465.46	c  465s |      25 |  7299046 |  5400898 |      791  17840 |        0 |        0
467.25/467.47	c  467s |      25 |  7326836 |  5421398 |      791  17890 |        0 |        0
469.24/469.48	c  469s |      25 |  7353167 |  5441298 |      791  17940 |        0 |        0
471.25/471.48	c  471s |      25 |  7381754 |  5462298 |      791  17992 |        0 |        0
473.25/473.48	c  473s |      25 |  7412960 |  5484198 |      791  18046 |        0 |        0
475.25/475.48	c  475s |      25 |  7445197 |  5506398 |      791  18101 |        0 |        0
477.25/477.49	c  477s |      25 |  7474907 |  5527998 |      791  18154 |        0 |        0
479.25/479.49	c  479s |      25 |  7501456 |  5547898 |      791  18204 |        0 |        0
481.35/481.50	c  481s |      25 |  7529207 |  5568398 |      791  18254 |        0 |        0
483.35/483.50	c  483s |      25 |  7561260 |  5590498 |      791  18309 |        0 |        0
485.35/485.51	c  485s |      25 |  7590021 |  5611398 |      791  18361 |        0 |        0
487.34/487.51	c  487s |      25 |  7617433 |  5631698 |      791  18412 |        0 |        0
489.35/489.51	c  489s |      25 |  7646419 |  5652798 |      791  18464 |        0 |        0
491.34/491.52	c  491s |      25 |  7675709 |  5674598 |      791  18518 |        0 |        0
493.34/493.53	c  493s |      25 |  7703672 |  5695598 |      791  18570 |        0 |        0
495.34/495.53	c  495s |      25 |  7732644 |  5717098 |      791  18624 |        0 |        0
497.33/497.54	c  497s |      25 |  7763591 |  5739398 |      791  18679 |        0 |        0
499.34/499.55	c  499s |      25 |  7795253 |  5762198 |      791  18736 |        0 |        0
501.33/501.55	c  501s |      25 |  7828500 |  5785198 |      791  18794 |        0 |        0
503.33/503.56	c  503s |      25 |  7857799 |  5806898 |      791  18848 |        0 |        0
505.33/505.56	c  505s |      25 |  7887299 |  5828498 |      791  18901 |        0 |        0
507.33/507.57	c  507s |      25 |  7913062 |  5848698 |      791  18951 |        0 |        0
509.32/509.58	c  509s |      25 |  7939706 |  5869398 |      791  19002 |        0 |        0
511.34/511.58	c  511s |      25 |  7968813 |  5890798 |      791  19055 |        0 |        0
513.33/513.58	c  513s |      25 |  7994690 |  5911098 |      791  19105 |        0 |        0
515.33/515.59	c  515s |      25 |  8022965 |  5932498 |      791  19158 |        0 |        0
517.33/517.59	c  517s |      25 |  8052371 |  5954098 |      791  19212 |        0 |        0
519.33/519.59	c  519s |      25 |  8082519 |  5976798 |      791  19268 |        0 |        0
521.34/521.59	c  521s |      25 |  8111088 |  5997698 |      791  19320 |        0 |        0
523.33/523.60	c  523s |      25 |  8142515 |  6019998 |      791  19376 |        0 |        0
525.43/525.61	c  525s |      25 |  8171184 |  6040898 |      791  19427 |        0 |        0
527.42/527.61	c  527s |      25 |  8200412 |  6062498 |      791  19481 |        0 |        0
529.42/529.62	c  529s |      25 |  8234018 |  6085898 |      791  19539 |        0 |        0
531.42/531.62	c  531s |      25 |  8266474 |  6108798 |      791  19596 |        0 |        0
533.43/533.63	c  533s |      25 |  8296810 |  6131098 |      791  19651 |        0 |        0
535.42/535.63	c  535s |      25 |  8324898 |  6152198 |      791  19703 |        0 |        0
537.42/537.63	c  537s |      25 |  8355113 |  6173798 |      791  19757 |        0 |        0
539.42/539.64	c  539s |      25 |  8385390 |  6195498 |      791  19811 |        0 |        0
541.42/541.64	c  541s |      25 |  8420278 |  6219298 |      791  19870 |        0 |        0
543.42/543.65	c  543s |      25 |  8451149 |  6241198 |      791  19925 |        0 |        0
545.43/545.65	c  545s |      25 |  8483346 |  6263998 |      791  19981 |        0 |        0
547.42/547.65	c  547s |      25 |  8517994 |  6287798 |      791  20040 |        0 |        0
549.42/549.66	c  549s |      25 |  8550232 |  6310998 |      791  20098 |        0 |        0
551.42/551.66	c  551s |      25 |  8577730 |  6332098 |      791  20150 |        0 |        0
553.42/553.66	c  553s |      25 |  8602119 |  6351998 |      791  20200 |        0 |        0
555.42/555.67	c  555s |      25 |  8631464 |  6373998 |      791  20254 |        0 |        0
557.41/557.68	c  557s |      25 |  8661713 |  6396498 |      791  20311 |        0 |        0
559.41/559.68	c  559s |      25 |  8691352 |  6418598 |      791  20366 |        0 |        0
561.41/561.69	c  561s |      25 |  8720183 |  6440598 |      791  20420 |        0 |        0
563.41/563.69	c  563s |      25 |  8747526 |  6461898 |      791  20474 |        0 |        0
565.51/565.70	c  565s |      25 |  8777454 |  6483898 |      791  20529 |        0 |        0
567.51/567.70	c  567s |      25 |  8808561 |  6506698 |      791  20586 |        0 |        0
569.50/569.71	c  569s |      25 |  8838344 |  6528798 |      791  20641 |        0 |        0
571.50/571.71	c  571s |      25 |  8867037 |  6550298 |      791  20694 |        0 |        0
573.50/573.72	c  573s |      25 |  8895472 |  6571898 |      791  20748 |        0 |        0
575.50/575.73	c  575s |      25 |  8925137 |  6593998 |      791  20804 |        0 |        0
577.50/577.73	c  577s |      25 |  8953983 |  6615398 |      791  20857 |        0 |        0
579.51/579.73	c  579s |      25 |  8978620 |  6634998 |      791  20905 |        0 |        0
581.50/581.73	c  581s |      25 |  9003081 |  6654598 |      791  20953 |        0 |        0
583.50/583.74	c  583s |      25 |  9029091 |  6674398 |      791  21002 |        0 |        0
585.50/585.74	c  585s |      25 |  9056014 |  6694898 |      791  21053 |        0 |        0
587.50/587.74	c  587s |      25 |  9081405 |  6714898 |      791  21102 |        0 |        0
589.50/589.75	c  589s |      25 |  9106629 |  6734698 |      791  21151 |        0 |        0
591.49/591.75	c  591s |      25 |  9133634 |  6754998 |      791  21201 |        0 |        0
593.49/593.75	c  593s |      25 |  9160480 |  6775798 |      791  21253 |        0 |        0
595.49/595.75	c  595s |      25 |  9183141 |  6794598 |      791  21300 |        0 |        0
597.49/597.76	c  597s |      25 |  9207381 |  6814198 |      791  21348 |        0 |        0
599.49/599.77	c  599s |      25 |  9236753 |  6836098 |      791  21402 |        0 |        0
601.49/601.78	c  601s |      25 |  9263510 |  6856698 |      791  21453 |        0 |        0
603.49/603.79	c  603s |      25 |  9284672 |  6874798 |      791  21498 |        0 |        0
605.48/605.79	c  605s |      25 |  9307351 |  6893598 |      791  21544 |        0 |        0
607.58/607.80	c  607s |      25 |  9332476 |  6913498 |      791  21593 |        0 |        0
609.58/609.81	c  609s |      25 |  9357649 |  6933698 |      791  21643 |        0 |        0
611.58/611.81	c  611s |      25 |  9383605 |  6953998 |      791  21693 |        0 |        0
613.58/613.81	c  613s |      25 |  9406779 |  6973198 |      791  21741 |        0 |        0
615.58/615.81	c  615s |      25 |  9430309 |  6992398 |      791  21788 |        0 |        0
617.58/617.82	c  617s |      25 |  9451520 |  7010098 |      791  21831 |        0 |        0
619.58/619.82	c  619s |      25 |  9473902 |  7028598 |      791  21877 |        0 |        0
621.58/621.83	c  621s |      25 |  9497775 |  7047398 |      791  21923 |        0 |        0
623.59/623.83	c  623s |      25 |  9519796 |  7065898 |      791  21969 |        0 |        0
625.58/625.84	c  625s |      25 |  9546373 |  7086498 |      791  22020 |        0 |        0
627.58/627.84	c  627s |      25 |  9571995 |  7106498 |      791  22069 |        0 |        0
629.58/629.85	c  629s |      25 |  9598658 |  7126898 |      791  22120 |        0 |        0
631.58/631.85	c  631s |      25 |  9624432 |  7146698 |      791  22168 |        0 |        0
633.57/633.85	c  633s |      25 |  9651744 |  7167598 |      791  22220 |        0 |        0
635.58/635.86	c  635s |      25 |  9678135 |  7188098 |      791  22271 |        0 |        0
637.57/637.87	c  637s |      25 |  9703036 |  7207898 |      791  22320 |        0 |        0
639.57/639.88	c  639s |      25 |  9728752 |  7228098 |      791  22369 |        0 |        0
641.57/641.89	c  641s |      25 |  9753780 |  7247798 |      791  22418 |        0 |        0
643.57/643.89	c  643s |      25 |  9780316 |  7267998 |      791  22468 |        0 |        0
645.57/645.89	c  645s |      25 |  9808117 |  7289198 |      791  22520 |        0 |        0
647.56/647.90	c  647s |      25 |  9835118 |  7310198 |      791  22572 |        0 |        0
649.66/649.91	c  649s |      25 |  9862202 |  7330998 |      791  22624 |        0 |        0
651.66/651.91	c  651s |      25 |  9891185 |  7351998 |      791  22676 |        0 |        0
653.66/653.91	c  653s |      25 |  9921205 |  7373798 |      791  22730 |        0 |        0
655.66/655.92	c  655s |      25 |  9948556 |  7394698 |      791  22782 |        0 |        0
657.67/657.92	c  657s |      25 |  9975107 |  7415298 |      791  22833 |        0 |        0
659.66/659.92	c  659s |      25 | 10004049 |  7436898 |      791  22887 |        0 |        0
661.66/661.92	c  661s |      25 | 10032531 |  7458198 |      791  22940 |        0 |        0
663.66/663.93	c  663s |      25 | 10062944 |  7480098 |      791  22995 |        0 |        0
665.66/665.93	c  665s |      25 | 10092736 |  7501998 |      791  23049 |        0 |        0
667.66/667.93	c  667s |      25 | 10123290 |  7524098 |      791  23104 |        0 |        0
669.66/669.93	c  669s |      25 | 10150720 |  7545098 |      871  23156 |        0 |        0
671.66/671.94	c  671s |      25 | 10177210 |  7565898 |      871  23203 |        0 |        0
673.66/673.95	c  673s |      25 | 10203659 |  7586398 |      871  23249 |        0 |        0
674.76/675.00	c  674s |      26 | 10218923 |  7597752 |      871  23275 |        0 |        0
676.75/677.00	c  676s |      26 | 10245559 |  7617852 |      871  23320 |        0 |        0
678.75/679.01	c  678s |      26 | 10272216 |  7637752 |      871  23365 |        0 |        0
680.76/681.01	c  681s |      26 | 10301510 |  7658652 |      871  23412 |        0 |        0
682.75/683.02	c  683s |      26 | 10331156 |  7680252 |      871  23461 |        0 |        0
684.75/685.02	c  685s |      26 | 10359745 |  7700752 |      871  23506 |        0 |        0
686.74/687.03	c  687s |      26 | 10385842 |  7720752 |      871  23551 |        0 |        0
688.75/689.03	c  689s |      26 | 10412839 |  7741052 |      871  23597 |        0 |        0
690.75/691.03	c  691s |      26 | 10441046 |  7761952 |      871  23644 |        0 |        0
692.76/693.04	c  693s |      26 | 10468057 |  7782452 |      871  23690 |        0 |        0
694.75/695.04	c  695s |      26 | 10497041 |  7803252 |      871  23737 |        0 |        0
696.75/697.05	c  697s |      26 | 10523401 |  7823352 |      871  23782 |        0 |        0
698.75/699.05	c  699s |      26 | 10547794 |  7842452 |      871  23825 |        0 |        0
700.75/701.05	c  701s |      26 | 10575979 |  7863552 |      871  23873 |        0 |        0
702.75/703.06	c  703s |      26 | 10606158 |  7884952 |      871  23921 |        0 |        0
704.75/705.06	c  705s |      26 | 10633865 |  7905552 |      871  23967 |        0 |        0
706.74/707.06	c  707s |      26 | 10660910 |  7925852 |      871  24012 |        0 |        0
708.74/709.07	c  709s |      26 | 10686706 |  7946052 |      871  24058 |        0 |        0
710.74/711.08	c  711s |      26 | 10709986 |  7964752 |      871  24100 |        0 |        0
712.74/713.08	c  713s |      26 | 10734743 |  7984252 |      871  24144 |        0 |        0
714.75/715.08	c  715s |      26 | 10759308 |  8003752 |      871  24188 |        0 |        0
716.74/717.08	c  717s |      26 | 10785082 |  8023752 |      871  24233 |        0 |        0
718.74/719.09	c  719s |      26 | 10809434 |  8043152 |      871  24276 |        0 |        0
720.84/721.10	c  721s |      26 | 10832481 |  8061852 |      871  24318 |        0 |        0
722.83/723.10	c  723s |      26 | 10859456 |  8082652 |      871  24364 |        0 |        0
724.83/725.11	c  725s |      26 | 10884776 |  8102352 |      871  24408 |        0 |        0
726.84/727.12	c  727s |      26 | 10912467 |  8123052 |      871  24455 |        0 |        0
728.83/729.12	c  729s |      26 | 10943739 |  8145352 |      871  24506 |        0 |        0
730.83/731.13	c  731s |      26 | 10971987 |  8166652 |      871  24554 |        0 |        0
732.83/733.13	c  733s |      26 | 10998339 |  8186852 |      871  24599 |        0 |        0
734.83/735.13	c  735s |      26 | 11028122 |  8208152 |      871  24647 |        0 |        0
736.84/737.14	c  737s |      26 | 11055983 |  8228952 |      871  24693 |        0 |        0
738.83/739.14	c  739s |      26 | 11082615 |  8249252 |      871  24739 |        0 |        0
740.83/741.14	c  741s |      26 | 11108084 |  8269152 |      871  24783 |        0 |        0
742.83/743.14	c  743s |      26 | 11133229 |  8289152 |      871  24828 |        0 |        0
744.83/745.15	c  745s |      26 | 11157791 |  8308252 |      871  24871 |        0 |        0
746.83/747.15	c  747s |      26 | 11181395 |  8327252 |      871  24913 |        0 |        0
748.83/749.15	c  749s |      26 | 11207492 |  8347452 |      871  24959 |        0 |        0
750.82/751.15	c  751s |      26 | 11234681 |  8367952 |      871  25005 |        0 |        0
752.82/753.16	c  753s |      26 | 11261120 |  8387852 |      871  25050 |        0 |        0
754.82/755.16	c  755s |      26 | 11285571 |  8407152 |      871  25093 |        0 |        0
756.82/757.16	c  757s |      26 | 11311050 |  8426952 |      871  25138 |        0 |        0
758.82/759.16	c  759s |      26 | 11335987 |  8446652 |      871  25182 |        0 |        0
760.82/761.17	c  761s |      26 | 11359326 |  8465152 |      871  25224 |        0 |        0
762.82/763.17	c  763s |      26 | 11383506 |  8484452 |      871  25267 |        0 |        0
764.81/765.18	c  765s |      26 | 11406372 |  8502852 |      871  25309 |        0 |        0
766.81/767.19	c  767s |      26 | 11432826 |  8523452 |      871  25355 |        0 |        0
768.81/769.19	c  769s |      26 | 11458699 |  8543452 |      871  25399 |        0 |        0
770.82/771.20	c  771s |      26 | 11485997 |  8564252 |      871  25446 |        0 |        0
772.92/773.20	c  773s |      26 | 11510236 |  8583352 |      871  25489 |        0 |        0
774.92/775.21	c  775s |      26 | 11535448 |  8603152 |      871  25534 |        0 |        0
776.91/777.21	c  777s |      26 | 11559245 |  8622352 |      871  25577 |        0 |        0
778.91/779.22	c  779s |      26 | 11583720 |  8641752 |      871  25621 |        0 |        0
780.91/781.23	c  781s |      26 | 11612269 |  8662752 |      871  25668 |        0 |        0
782.92/783.23	c  783s |      26 | 11639282 |  8683452 |      871  25715 |        0 |        0
784.91/785.24	c  785s |      26 | 11666509 |  8704352 |      871  25762 |        0 |        0
786.91/787.24	c  787s |      26 | 11690832 |  8723752 |      871  25805 |        0 |        0
788.91/789.25	c  789s |      26 | 11714884 |  8742952 |      871  25849 |        0 |        0
790.91/791.25	c  791s |      26 | 11738887 |  8762052 |      871  25892 |        0 |        0
792.91/793.26	c  793s |      26 | 11763529 |  8781452 |      871  25935 |        0 |        0
794.90/795.26	c  795s |      26 | 11788115 |  8800952 |      871  25979 |        0 |        0
796.90/797.27	c  797s |      26 | 11813529 |  8820452 |      871  26023 |        0 |        0
798.90/799.28	c  799s |      26 | 11839792 |  8840352 |      871  26068 |        0 |        0
800.90/801.28	c  801s |      26 | 11866791 |  8860852 |      871  26114 |        0 |        0
802.91/803.29	c  803s |      26 | 11894217 |  8881352 |      871  26161 |        0 |        0
804.91/805.30	c  805s |      26 | 11921378 |  8901852 |      871  26207 |        0 |        0
807.00/807.30	c  807s |      26 | 11949678 |  8922352 |      871  26253 |        0 |        0
809.00/809.31	c  809s |      26 | 11975695 |  8942152 |      871  26298 |        0 |        0
811.00/811.32	c  811s |      26 | 12004522 |  8963352 |      871  26346 |        0 |        0
813.00/813.32	c  813s |      26 | 12031080 |  8983752 |      871  26392 |        0 |        0
815.00/815.32	c  815s |      26 | 12055872 |  9003352 |      871  26436 |        0 |        0
817.00/817.32	c  817s |      26 | 12081828 |  9023252 |      871  26481 |        0 |        0
818.99/819.33	c  819s |      26 | 12109128 |  9043652 |      871  26527 |        0 |        0
820.99/821.33	c  821s |      26 | 12137967 |  9064952 |      871  26575 |        0 |        0
822.99/823.33	c  823s |      26 | 12165973 |  9085852 |      871  26623 |        0 |        0
824.99/825.34	c  825s |      26 | 12193117 |  9106352 |      871  26669 |        0 |        0
826.99/827.34	c  827s |      26 | 12219070 |  9126352 |      871  26714 |        0 |        0
828.98/829.35	c  829s |      26 | 12245585 |  9146352 |      871  26760 |        0 |        0
830.98/831.36	c  831s |      26 | 12269714 |  9165552 |      871  26803 |        0 |        0
832.98/833.36	c  833s |      26 | 12294549 |  9184952 |      871  26847 |        0 |        0
834.98/835.36	c  835s |      26 | 12315994 |  9202852 |      871  26887 |        0 |        0
836.98/837.37	c  837s |      26 | 12337832 |  9220652 |      871  26927 |        0 |        0
838.99/839.38	c  839s |      26 | 12361741 |  9239152 |      871  26969 |        0 |        0
840.98/841.39	c  841s |      26 | 12385218 |  9257452 |      871  27011 |        0 |        0
843.08/843.40	c  843s |      26 | 12408168 |  9275852 |      871  27052 |        0 |        0
845.08/845.40	c  845s |      26 | 12432938 |  9294952 |      871  27096 |        0 |        0
847.07/847.41	c  847s |      26 | 12456918 |  9314252 |      871  27139 |        0 |        0
849.07/849.42	c  849s |      26 | 12481047 |  9333452 |      871  27183 |        0 |        0
851.08/851.42	c  851s |      26 | 12504002 |  9351952 |      871  27225 |        0 |        0
853.08/853.43	c  853s |      26 | 12528574 |  9371152 |      871  27268 |        0 |        0
855.08/855.43	c  855s |      26 | 12553960 |  9390452 |      871  27312 |        0 |        0
857.08/857.43	c  857s |      26 | 12578202 |  9409552 |      871  27355 |        0 |        0
859.08/859.44	c  859s |      26 | 12603114 |  9429152 |      871  27399 |        0 |        0
861.08/861.45	c  861s |      26 | 12629520 |  9449452 |      871  27445 |        0 |        0
863.08/863.45	c  863s |      26 | 12652759 |  9468152 |      871  27487 |        0 |        0
865.08/865.46	c  865s |      26 | 12678994 |  9487852 |      871  27532 |        0 |        0
867.07/867.47	c  867s |      26 | 12708156 |  9508852 |      871  27579 |        0 |        0
869.07/869.47	c  869s |      26 | 12734903 |  9528752 |      871  27624 |        0 |        0
871.07/871.47	c  871s |      26 | 12756020 |  9546352 |      871  27664 |        0 |        0
873.08/873.48	c  873s |      26 | 12779602 |  9565152 |      871  27706 |        0 |        0
875.07/875.49	c  875s |      26 | 12808456 |  9586052 |      871  27753 |        0 |        0
877.07/877.49	c  877s |      26 | 12836421 |  9607152 |      871  27801 |        0 |        0
879.17/879.50	c  879s |      26 | 12864854 |  9627752 |      871  27848 |        0 |        0
881.17/881.50	c  881s |      26 | 12888830 |  9646752 |      871  27891 |        0 |        0
883.17/883.50	c  883s |      26 | 12911496 |  9665452 |      871  27933 |        0 |        0
885.17/885.51	c  885s |      26 | 12935449 |  9684952 |      871  27977 |        0 |        0
887.17/887.52	c  887s |      26 | 12959491 |  9703752 |      871  28019 |        0 |        0
889.16/889.53	c  889s |      26 | 12982440 |  9722052 |      871  28060 |        0 |        0
891.16/891.53	c  891s |      26 | 13005814 |  9740952 |      871  28102 |        0 |        0
893.16/893.54	c  893s |      26 | 13029176 |  9759252 |      871  28143 |        0 |        0
895.17/895.54	c  895s |      26 | 13055236 |  9779352 |      871  28188 |        0 |        0
897.16/897.55	c  897s |      26 | 13079956 |  9798852 |      871  28231 |        0 |        0
899.16/899.56	c  899s |      26 | 13103500 |  9817752 |      871  28274 |        0 |        0
901.16/901.56	c  901s |      26 | 13126747 |  9836352 |      871  28315 |        0 |        0
903.16/903.57	c  903s |      26 | 13149696 |  9855052 |      871  28357 |        0 |        0
905.17/905.58	c  905s |      26 | 13172062 |  9873252 |      871  28398 |        0 |        0
907.18/907.58	c  907s |      26 | 13196003 |  9892452 |      871  28440 |        0 |        0
909.17/909.58	c  909s |      26 | 13216937 |  9910452 |      871  28480 |        0 |        0
911.17/911.58	c  911s |      26 | 13239951 |  9928852 |      871  28521 |        0 |        0
913.17/913.59	c  913s |      26 | 13263004 |  9947352 |      871  28563 |        0 |        0
915.17/915.59	c  915s |      26 | 13287563 |  9966352 |      871  28605 |        0 |        0
917.26/917.60	c  917s |      26 | 13315553 |  9986952 |      871  28651 |        0 |        0
919.27/919.61	c  919s |      26 | 13341096 | 10006652 |      871  28696 |        0 |        0
921.26/921.61	c  921s |      26 | 13366052 | 10026052 |      871  28739 |        0 |        0
923.26/923.61	c  923s |      26 | 13390935 | 10045452 |      871  28783 |        0 |        0
925.26/925.62	c  925s |      26 | 13415927 | 10064952 |      871  28827 |        0 |        0
927.26/927.62	c  927s |      26 | 13438953 | 10083652 |      871  28869 |        0 |        0
929.27/929.63	c  929s |      26 | 13464766 | 10103752 |      871  28914 |        0 |        0
931.26/931.63	c  931s |      26 | 13488369 | 10122852 |      871  28958 |        0 |        0
933.26/933.64	c  933s |      26 | 13511467 | 10141552 |      871  29000 |        0 |        0
935.26/935.64	c  935s |      26 | 13533829 | 10159752 |      871  29041 |        0 |        0
937.26/937.65	c  937s |      26 | 13557933 | 10178852 |      871  29084 |        0 |        0
939.26/939.66	c  939s |      26 | 13581686 | 10197752 |      871  29126 |        0 |        0
941.26/941.66	c  941s |      26 | 13605320 | 10216052 |      871  29167 |        0 |        0
943.26/943.66	c  943s |      26 | 13628181 | 10234352 |      871  29208 |        0 |        0
945.26/945.67	c  945s |      26 | 13651349 | 10253452 |      871  29251 |        0 |        0
947.26/947.68	c  947s |      26 | 13673973 | 10271852 |      871  29293 |        0 |        0
949.26/949.69	c  949s |      26 | 13695874 | 10289852 |      871  29333 |        0 |        0
951.36/951.70	c  951s |      26 | 13718559 | 10308052 |      871  29374 |        0 |        0
953.36/953.70	c  953s |      26 | 13740218 | 10325952 |      871  29414 |        0 |        0
955.35/955.71	c  955s |      26 | 13762261 | 10343852 |      871  29454 |        0 |        0
957.35/957.71	c  957s |      26 | 13783021 | 10360852 |      871  29492 |        0 |        0
959.35/959.72	c  959s |      26 | 13803195 | 10377952 |      871  29530 |        0 |        0
961.35/961.72	c  961s |      26 | 13825149 | 10395752 |      871  29570 |        0 |        0
963.36/963.72	c  963s |      26 | 13849452 | 10414452 |      871  29612 |        0 |        0
965.36/965.73	c  965s |      26 | 13871818 | 10432552 |      871  29653 |        0 |        0
967.36/967.73	c  967s |      26 | 13893391 | 10450252 |      871  29693 |        0 |        0
969.36/969.73	c  969s |      26 | 13915582 | 10468252 |      871  29734 |        0 |        0
971.36/971.74	c  971s |      26 | 13937543 | 10486252 |      871  29774 |        0 |        0
973.36/973.74	c  973s |      26 | 13961148 | 10504752 |      871  29816 |        0 |        0
975.37/975.75	c  975s |      26 | 13983379 | 10522752 |      871  29857 |        0 |        0
977.36/977.76	c  977s |      26 | 14006855 | 10541352 |      871  29899 |        0 |        0
979.36/979.77	c  979s |      26 | 14032103 | 10560452 |      871  29942 |        0 |        0
981.36/981.77	c  981s |      26 | 14055280 | 10579052 |      871  29984 |        0 |        0
983.36/983.78	c  983s |      26 | 14077910 | 10597852 |      871  30026 |        0 |        0
985.36/985.79	c  985s |      26 | 14102016 | 10616752 |      871  30068 |        0 |        0
987.36/987.79	c  987s |      26 | 14126912 | 10636052 |      871  30111 |        0 |        0
989.46/989.80	c  989s |      26 | 14151606 | 10655152 |      871  30154 |        0 |        0
991.46/991.81	c  991s |      26 | 14174782 | 10673852 |      871  30196 |        0 |        0
993.45/993.81	c  993s |      26 | 14200316 | 10693652 |      871  30241 |        0 |        0
995.45/995.82	c  995s |      26 | 14225939 | 10714152 |      871  30287 |        0 |        0
997.46/997.82	c  997s |      26 | 14253946 | 10734952 |      871  30334 |        0 |        0
999.45/999.83	c  999s |      26 | 14281838 | 10755652 |      871  30381 |        0 |        0
1001.45/1001.83	c 1001s |      26 | 14308718 | 10776552 |      871  30428 |        0 |        0
1003.45/1003.84	c 1003s |      26 | 14335345 | 10797352 |      871  30475 |        0 |        0
1005.45/1005.85	c 1005s |      26 | 14361588 | 10817252 |      871  30520 |        0 |        0
1007.45/1007.85	c 1007s |      26 | 14387832 | 10837252 |      871  30565 |        0 |        0
1009.46/1009.86	c 1009s |      26 | 14414914 | 10857352 |      871  30610 |        0 |        0
1011.45/1011.86	c 1011s |      26 | 14444092 | 10878352 |      871  30657 |        0 |        0
1013.45/1013.87	c 1013s |      26 | 14470386 | 10898452 |      871  30702 |        0 |        0
1015.45/1015.87	c 1015s |      26 | 14496549 | 10918252 |      871  30747 |        0 |        0
1017.45/1017.88	c 1017s |      26 | 14521837 | 10937752 |      871  30791 |        0 |        0
1019.45/1019.88	c 1019s |      26 | 14547288 | 10957652 |      871  30836 |        0 |        0
1021.45/1021.89	c 1021s |      26 | 14574820 | 10978852 |      871  30883 |        0 |        0
1023.55/1023.90	c 1023s |      26 | 14604373 | 11000252 |      871  30931 |        0 |        0
1025.55/1025.90	c 1025s |      26 | 14631908 | 11021152 |      871  30978 |        0 |        0
1027.55/1027.90	c 1027s |      26 | 14658956 | 11041952 |      871  31025 |        0 |        0
1029.55/1029.90	c 1029s |      26 | 14687541 | 11062752 |      871  31072 |        0 |        0
1031.55/1031.91	c 1031s |      26 | 14716107 | 11084052 |      871  31120 |        0 |        0
1033.54/1033.91	c 1033s |      26 | 14740732 | 11103452 |      871  31163 |        0 |        0
1035.54/1035.92	c 1035s |      26 | 14765028 | 11122652 |      871  31206 |        0 |        0
1037.54/1037.92	c 1037s |      26 | 14789775 | 11142052 |      871  31249 |        0 |        0
1039.54/1039.93	c 1039s |      26 | 14815766 | 11162052 |      871  31294 |        0 |        0
1041.54/1041.93	c 1041s |      26 | 14840890 | 11181752 |      871  31338 |        0 |        0
1043.55/1043.94	c 1043s |      26 | 14864137 | 11200352 |      871  31380 |        0 |        0
1045.54/1045.95	c 1045s |      26 | 14885040 | 11217952 |      871  31419 |        0 |        0
1047.55/1047.95	c 1047s |      26 | 14905727 | 11235452 |      871  31458 |        0 |        0
1049.55/1049.96	c 1049s |      26 | 14929553 | 11254752 |      871  31501 |        0 |        0
1051.55/1051.96	c 1051s |      26 | 14950862 | 11272852 |      871  31542 |        0 |        0
1053.55/1053.97	c 1053s |      26 | 14975633 | 11292252 |      871  31585 |        0 |        0
1055.54/1055.97	c 1055s |      26 | 15000938 | 11311952 |      871  31630 |        0 |        0
1057.54/1057.97	c 1057s |      26 | 15025311 | 11330652 |      959  31668 |        0 |        0
1059.54/1059.97	c 1059s |      26 | 15050070 | 11349952 |      959  31708 |        0 |        0
1061.54/1061.98	c 1061s |      26 | 15076810 | 11369752 |      959  31749 |        0 |        0
1063.54/1063.98	c 1063s |      26 | 15102200 | 11389052 |      959  31788 |        0 |        0
1064.34/1064.75	c 1064s |      27 | 15112796 | 11396733 |      959  31804 |        0 |        0
1066.34/1066.76	c 1066s |      27 | 15141403 | 11417533 |      959  31847 |        0 |        0
1068.34/1068.76	c 1068s |      27 | 15172328 | 11439533 |      959  31892 |        0 |        0
1070.34/1070.76	c 1070s |      27 | 15198403 | 11460133 |      959  31934 |        0 |        0
1072.34/1072.77	c 1072s |      27 | 15228938 | 11482233 |      959  31979 |        0 |        0
1074.34/1074.77	c 1074s |      27 | 15259589 | 11504233 |      959  32025 |        0 |        0
1076.34/1076.77	c 1076s |      27 | 15284949 | 11524033 |      959  32065 |        0 |        0
1078.34/1078.78	c 1078s |      27 | 15311854 | 11545033 |      959  32109 |        0 |        0
1080.34/1080.78	c 1080s |      27 | 15339012 | 11566233 |      959  32152 |        0 |        0
1082.34/1082.78	c 1082s |      27 | 15367915 | 11587833 |      959  32197 |        0 |        0
1084.35/1084.79	c 1084s |      27 | 15397575 | 11609233 |      959  32241 |        0 |        0
1086.34/1086.80	c 1086s |      27 | 15427807 | 11630433 |      959  32285 |        0 |        0
1088.44/1088.80	c 1088s |      27 | 15454821 | 11650533 |      959  32326 |        0 |        0
1090.44/1090.80	c 1090s |      27 | 15482366 | 11670133 |      959  32366 |        0 |        0
1092.44/1092.81	c 1092s |      27 | 15507348 | 11688933 |      959  32405 |        0 |        0
1094.44/1094.82	c 1094s |      27 | 15532667 | 11708533 |      959  32445 |        0 |        0
1096.45/1096.83	c 1096s |      27 | 15556606 | 11727633 |      959  32484 |        0 |        0
1098.44/1098.84	c 1098s |      27 | 15581793 | 11747333 |      959  32524 |        0 |        0
1100.44/1100.84	c 1100s |      27 | 15604750 | 11765933 |      959  32563 |        0 |        0
1102.44/1102.85	c 1102s |      27 | 15626824 | 11784033 |      959  32600 |        0 |        0
1104.44/1104.85	c 1104s |      27 | 15649539 | 11802533 |      959  32637 |        0 |        0
1106.44/1106.85	c 1106s |      27 | 15674448 | 11822033 |      959  32677 |        0 |        0
1108.44/1108.86	c 1108s |      27 | 15698606 | 11840933 |      959  32716 |        0 |        0
1110.44/1110.87	c 1110s |      27 | 15724549 | 11861533 |      959  32758 |        0 |        0
1112.43/1112.87	c 1112s |      27 | 15751157 | 11881833 |      959  32800 |        0 |        0
1114.43/1114.88	c 1114s |      27 | 15776968 | 11902033 |      959  32842 |        0 |        0
1116.43/1116.88	c 1116s |      27 | 15805872 | 11923333 |      959  32885 |        0 |        0
1118.44/1118.88	c 1118s |      27 | 15834812 | 11943933 |      959  32928 |        0 |        0
1120.43/1120.89	c 1120s |      27 | 15861357 | 11963533 |      959  32968 |        0 |        0
1122.44/1122.90	c 1122s |      27 | 15885627 | 11982333 |      959  33006 |        0 |        0
1124.54/1124.90	c 1124s |      27 | 15914346 | 12003033 |      959  33049 |        0 |        0
1126.54/1126.91	c 1126s |      27 | 15940031 | 12022533 |      959  33089 |        0 |        0
1128.54/1128.91	c 1128s |      27 | 15969701 | 12043633 |      959  33132 |        0 |        0
1130.54/1130.92	c 1130s |      27 | 15997782 | 12064233 |      959  33175 |        0 |        0
1132.53/1132.92	c 1132s |      27 | 16024687 | 12084333 |      959  33216 |        0 |        0
1134.53/1134.92	c 1134s |      27 | 16055222 | 12105833 |      959  33260 |        0 |        0
1136.53/1136.93	c 1136s |      27 | 16085700 | 12126933 |      959  33304 |        0 |        0
1138.53/1138.93	c 1138s |      27 | 16113974 | 12147533 |      959  33346 |        0 |        0
1140.53/1140.93	c 1140s |      27 | 16141090 | 12167833 |      959  33388 |        0 |        0
1142.54/1142.94	c 1142s |      27 | 16170581 | 12188933 |      959  33431 |        0 |        0
1144.53/1144.95	c 1144s |      27 | 16199531 | 12210333 |      959  33475 |        0 |        0
1146.53/1146.95	c 1146s |      27 | 16229931 | 12231733 |      959  33519 |        0 |        0
1148.53/1148.96	c 1148s |      27 | 16259648 | 12252733 |      959  33562 |        0 |        0
1150.53/1150.96	c 1150s |      27 | 16290521 | 12274633 |      959  33607 |        0 |        0
1152.53/1152.97	c 1152s |      27 | 16316700 | 12294833 |      959  33649 |        0 |        0
1154.52/1154.97	c 1154s |      27 | 16346427 | 12316433 |      959  33693 |        0 |        0
1156.53/1156.98	c 1156s |      27 | 16376151 | 12338733 |      959  33739 |        0 |        0
1158.53/1158.98	c 1158s |      27 | 16403637 | 12359833 |      959  33783 |        0 |        0
1160.53/1160.99	c 1160s |      27 | 16432854 | 12381233 |      959  33827 |        0 |        0
1162.53/1163.00	c 1162s |      27 | 16460443 | 12401933 |      959  33869 |        0 |        0
1164.54/1165.00	c 1164s |      27 | 16487911 | 12422233 |      959  33911 |        0 |        0
1166.63/1167.01	c 1166s |      27 | 16518316 | 12444033 |      959  33956 |        0 |        0
1168.63/1169.01	c 1169s |      27 | 16545673 | 12464733 |      959  33998 |        0 |        0
1170.63/1171.02	c 1171s |      27 | 16572047 | 12485233 |      959  34041 |        0 |        0
1172.62/1173.03	c 1173s |      27 | 16598414 | 12505233 |      959  34081 |        0 |        0
1174.62/1175.04	c 1175s |      27 | 16625047 | 12525733 |      959  34123 |        0 |        0
1176.63/1177.05	c 1177s |      27 | 16650532 | 12545333 |      959  34164 |        0 |        0
1178.62/1179.05	c 1179s |      27 | 16674412 | 12564433 |      959  34203 |        0 |        0
1180.62/1181.06	c 1181s |      27 | 16700934 | 12585433 |      959  34246 |        0 |        0
1182.62/1183.06	c 1183s |      27 | 16727893 | 12606433 |      959  34289 |        0 |        0
1184.63/1185.07	c 1185s |      27 | 16755045 | 12627433 |      959  34332 |        0 |        0
1186.63/1187.07	c 1187s |      27 | 16777816 | 12646033 |      959  34371 |        0 |        0
1188.63/1189.08	c 1189s |      27 | 16804088 | 12666033 |      959  34412 |        0 |        0
1190.63/1191.08	c 1191s |      27 | 16830018 | 12685733 |      959  34453 |        0 |        0
1192.63/1193.09	c 1193s |      27 | 16859086 | 12706633 |      959  34496 |        0 |        0
1194.63/1195.09	c 1195s |      27 | 16886654 | 12726633 |      959  34537 |        0 |        0
1196.62/1197.09	c 1197s |      27 | 16913775 | 12746333 |      959  34578 |        0 |        0
1198.63/1199.10	c 1199s |      27 | 16942409 | 12766733 |      959  34620 |        0 |        0
1200.72/1201.11	c 1201s |      27 | 16969431 | 12786933 |      959  34661 |        0 |        0
1202.72/1203.11	c 1203s |      27 | 16997898 | 12807533 |      959  34704 |        0 |        0
1204.72/1205.11	c 1205s |      27 | 17024153 | 12827133 |      959  34744 |        0 |        0
1206.72/1207.12	c 1207s |      27 | 17054776 | 12848733 |      959  34789 |        0 |        0
1208.72/1209.12	c 1209s |      27 | 17085288 | 12870533 |      959  34834 |        0 |        0
1210.72/1211.13	c 1211s |      27 | 17116928 | 12892333 |      959  34878 |        0 |        0
1212.72/1213.13	c 1213s |      27 | 17144027 | 12912533 |      959  34920 |        0 |        0
1214.72/1215.13	c 1215s |      27 | 17171203 | 12932833 |      959  34961 |        0 |        0
1216.72/1217.14	c 1217s |      27 | 17195722 | 12952033 |      959  35001 |        0 |        0
1218.71/1219.14	c 1219s |      27 | 17220426 | 12971333 |      959  35040 |        0 |        0
1220.72/1221.15	c 1221s |      27 | 17245861 | 12990633 |      959  35080 |        0 |        0
1222.72/1223.16	c 1223s |      27 | 17271031 | 13009733 |      959  35119 |        0 |        0
1224.72/1225.16	c 1225s |      27 | 17296810 | 13029333 |      959  35159 |        0 |        0
1226.72/1227.16	c 1227s |      27 | 17324144 | 13049533 |      959  35201 |        0 |        0
1228.72/1229.18	c 1229s |      27 | 17352918 | 13070733 |      959  35245 |        0 |        0
1230.72/1231.18	c 1231s |      27 | 17378879 | 13090433 |      959  35285 |        0 |        0
1232.72/1233.19	c 1233s |      27 | 17401971 | 13108733 |      959  35323 |        0 |        0
1234.82/1235.20	c 1235s |      27 | 17427818 | 13128633 |      959  35364 |        0 |        0
1236.82/1237.20	c 1237s |      27 | 17456533 | 13149433 |      959  35406 |        0 |        0
1238.82/1239.21	c 1239s |      27 | 17482051 | 13169133 |      959  35447 |        0 |        0
1240.81/1241.21	c 1241s |      27 | 17509173 | 13188933 |      959  35487 |        0 |        0
1242.81/1243.22	c 1243s |      27 | 17534173 | 13208233 |      959  35527 |        0 |        0
1244.82/1245.22	c 1245s |      27 | 17558854 | 13227533 |      959  35566 |        0 |        0
1246.81/1247.23	c 1247s |      27 | 17586532 | 13247433 |      959  35607 |        0 |        0
1248.81/1249.24	c 1249s |      27 | 17612129 | 13266433 |      959  35646 |        0 |        0
1250.81/1251.25	c 1251s |      27 | 17637838 | 13285833 |      959  35685 |        0 |        0
1252.81/1253.26	c 1253s |      27 | 17662293 | 13304733 |      959  35724 |        0 |        0
1254.82/1255.26	c 1255s |      27 | 17686288 | 13323633 |      959  35763 |        0 |        0
1256.81/1257.27	c 1257s |      27 | 17710803 | 13342733 |      959  35802 |        0 |        0
1258.81/1259.27	c 1259s |      27 | 17736756 | 13362133 |      959  35842 |        0 |        0
1260.81/1261.28	c 1261s |      27 | 17763944 | 13382033 |      959  35883 |        0 |        0
1262.82/1263.29	c 1263s |      27 | 17788870 | 13401033 |      959  35921 |        0 |        0
1264.81/1265.29	c 1265s |      27 | 17815910 | 13420933 |      959  35962 |        0 |        0
1266.82/1267.29	c 1267s |      27 | 17841970 | 13440233 |      959  36002 |        0 |        0
1268.91/1269.30	c 1269s |      27 | 17865996 | 13458833 |      959  36040 |        0 |        0
1270.91/1271.31	c 1271s |      27 | 17892385 | 13478533 |      959  36081 |        0 |        0
1272.91/1273.31	c 1273s |      27 | 17921233 | 13499133 |      959  36123 |        0 |        0
1274.91/1275.32	c 1275s |      27 | 17949078 | 13519633 |      959  36165 |        0 |        0
1276.91/1277.32	c 1277s |      27 | 17971663 | 13538033 |      959  36203 |        0 |        0
1278.92/1279.32	c 1279s |      27 | 17997777 | 13557933 |      959  36244 |        0 |        0
1280.91/1281.33	c 1281s |      27 | 18022826 | 13577433 |      959  36284 |        0 |        0
1282.91/1283.34	c 1283s |      27 | 18046141 | 13596033 |      959  36322 |        0 |        0
1284.91/1285.34	c 1285s |      27 | 18073431 | 13616133 |      959  36364 |        0 |        0
1286.91/1287.35	c 1287s |      27 | 18101409 | 13636433 |      959  36406 |        0 |        0
1288.91/1289.36	c 1289s |      27 | 18129234 | 13656333 |      959  36447 |        0 |        0
1290.91/1291.36	c 1291s |      27 | 18157231 | 13676233 |      959  36487 |        0 |        0
1292.90/1293.37	c 1293s |      27 | 18183016 | 13695533 |      959  36527 |        0 |        0
1294.90/1295.38	c 1295s |      27 | 18209009 | 13715233 |      959  36568 |        0 |        0
1296.90/1297.39	c 1297s |      27 | 18234757 | 13734733 |      959  36608 |        0 |        0
1299.00/1299.40	c 1299s |      27 | 18258779 | 13753633 |      959  36646 |        0 |        0
1301.01/1301.40	c 1301s |      27 | 18283021 | 13772233 |      959  36685 |        0 |        0
1303.00/1303.41	c 1303s |      27 | 18306304 | 13790433 |      959  36722 |        0 |        0
1305.01/1305.42	c 1305s |      27 | 18332512 | 13810133 |      959  36763 |        0 |        0
1307.01/1307.43	c 1307s |      27 | 18359166 | 13829833 |      959  36803 |        0 |        0
1309.01/1309.43	c 1309s |      27 | 18383991 | 13849133 |      959  36843 |        0 |        0
1311.01/1311.44	c 1311s |      27 | 18408294 | 13867833 |      959  36881 |        0 |        0
1313.01/1313.44	c 1313s |      27 | 18433396 | 13886833 |      959  36920 |        0 |        0
1315.00/1315.44	c 1315s |      27 | 18457395 | 13905333 |      959  36959 |        0 |        0
1317.00/1317.44	c 1317s |      27 | 18481038 | 13923633 |      959  36996 |        0 |        0
1319.00/1319.45	c 1319s |      27 | 18506138 | 13942933 |      959  37036 |        0 |        0
1321.00/1321.46	c 1321s |      27 | 18529634 | 13961533 |      959  37074 |        0 |        0
1323.00/1323.46	c 1323s |      27 | 18554820 | 13980933 |      959  37114 |        0 |        0
1325.00/1325.46	c 1325s |      27 | 18583451 | 14001933 |      959  37157 |        0 |        0
1327.00/1327.47	c 1327s |      27 | 18609863 | 14022133 |      959  37198 |        0 |        0
1329.01/1329.48	c 1329s |      27 | 18634815 | 14041633 |      959  37238 |        0 |        0
1331.00/1331.48	c 1331s |      27 | 18661107 | 14061533 |      959  37279 |        0 |        0
1333.00/1333.49	c 1333s |      27 | 18688738 | 14082233 |      959  37322 |        0 |        0
1335.01/1335.50	c 1335s |      27 | 18714383 | 14102033 |      959  37362 |        0 |        0
1337.10/1337.50	c 1337s |      27 | 18739316 | 14121433 |      959  37402 |        0 |        0
1339.10/1339.50	c 1339s |      27 | 18764786 | 14141333 |      959  37443 |        0 |        0
1341.10/1341.51	c 1341s |      27 | 18789850 | 14160933 |      959  37484 |        0 |        0
1343.10/1343.52	c 1343s |      27 | 18817274 | 14181333 |      959  37526 |        0 |        0
1345.09/1345.52	c 1345s |      27 | 18846109 | 14202033 |      959  37568 |        0 |        0
1347.10/1347.53	c 1347s |      27 | 18872329 | 14221733 |      959  37609 |        0 |        0
1349.09/1349.53	c 1349s |      27 | 18894650 | 14239833 |      959  37646 |        0 |        0
1351.09/1351.54	c 1351s |      27 | 18917704 | 14258133 |      959  37683 |        0 |        0
1353.09/1353.54	c 1353s |      27 | 18939591 | 14276133 |      959  37720 |        0 |        0
1355.10/1355.55	c 1355s |      27 | 18964908 | 14295533 |      959  37760 |        0 |        0
1357.11/1357.55	c 1357s |      27 | 18990092 | 14314933 |      959  37800 |        0 |        0
1359.10/1359.56	c 1359s |      27 | 19012557 | 14333033 |      959  37837 |        0 |        0
1361.10/1361.57	c 1361s |      27 | 19033506 | 14350533 |      959  37873 |        0 |        0
1363.10/1363.58	c 1363s |      27 | 19057333 | 14369633 |      959  37913 |        0 |        0
1365.10/1365.58	c 1365s |      27 | 19081088 | 14387933 |      959  37950 |        0 |        0
1367.10/1367.59	c 1367s |      27 | 19103177 | 14405833 |      959  37987 |        0 |        0
1369.10/1369.60	c 1369s |      27 | 19126199 | 14423933 |      959  38024 |        0 |        0
1371.19/1371.61	c 1371s |      27 | 19146721 | 14440533 |      959  38058 |        0 |        0
1373.19/1373.62	c 1373s |      27 | 19167105 | 14457433 |      959  38092 |        0 |        0
1375.19/1375.62	c 1375s |      27 | 19188201 | 14474733 |      959  38128 |        0 |        0
1377.19/1377.63	c 1377s |      27 | 19209982 | 14492333 |      959  38164 |        0 |        0
1379.19/1379.63	c 1379s |      27 | 19234920 | 14511333 |      959  38203 |        0 |        0
1381.20/1381.63	c 1381s |      27 | 19260751 | 14531033 |      959  38243 |        0 |        0
1383.19/1383.64	c 1383s |      27 | 19285675 | 14550333 |      959  38283 |        0 |        0
1385.19/1385.64	c 1385s |      27 | 19312485 | 14570333 |      959  38324 |        0 |        0
1387.19/1387.64	c 1387s |      27 | 19334206 | 14588333 |      959  38361 |        0 |        0
1389.19/1389.65	c 1389s |      27 | 19358389 | 14607133 |      959  38400 |        0 |        0
1391.19/1391.66	c 1391s |      27 | 19382777 | 14626433 |      959  38439 |        0 |        0
1393.19/1393.67	c 1393s |      27 | 19409778 | 14646333 |      959  38480 |        0 |        0
1395.19/1395.67	c 1395s |      27 | 19436674 | 14666133 |      959  38521 |        0 |        0
1397.19/1397.67	c 1397s |      27 | 19459878 | 14684333 |      959  38558 |        0 |        0
1399.19/1399.67	c 1399s |      27 | 19482825 | 14702433 |      959  38594 |        0 |        0
1401.19/1401.68	c 1401s |      27 | 19506722 | 14720933 |      959  38632 |        0 |        0
1403.19/1403.68	c 1403s |      27 | 19533508 | 14740633 |      959  38673 |        0 |        0
1405.19/1405.69	c 1405s |      27 | 19558083 | 14759333 |      959  38711 |        0 |        0
1407.29/1407.70	c 1407s |      27 | 19582558 | 14778233 |      959  38750 |        0 |        0
1409.28/1409.71	c 1409s |      27 | 19610689 | 14798233 |      959  38791 |        0 |        0
1411.28/1411.72	c 1411s |      27 | 19635034 | 14816833 |      959  38829 |        0 |        0
1413.28/1413.72	c 1413s |      27 | 19659218 | 14835533 |      959  38867 |        0 |        0
1415.30/1415.73	c 1415s |      27 | 19684928 | 14854633 |      959  38907 |        0 |        0
1417.29/1417.73	c 1417s |      27 | 19709114 | 14873233 |      959  38945 |        0 |        0
1419.29/1419.73	c 1419s |      27 | 19738205 | 14893533 |      959  38987 |        0 |        0
1421.29/1421.74	c 1421s |      27 | 19766545 | 14914033 |      959  39029 |        0 |        0
1423.29/1423.75	c 1423s |      27 | 19791839 | 14933233 |      959  39068 |        0 |        0
1425.29/1425.75	c 1425s |      27 | 19821015 | 14953633 |      959  39110 |        0 |        0
1427.29/1427.76	c 1427s |      27 | 19848994 | 14974033 |      959  39152 |        0 |        0
1429.29/1429.77	c 1429s |      27 | 19880218 | 14995533 |      959  39197 |        0 |        0
1431.28/1431.77	c 1431s |      27 | 19908555 | 15016033 |      959  39239 |        0 |        0
1433.28/1433.77	c 1433s |      27 | 19935007 | 15035833 |      959  39280 |        0 |        0
1435.28/1435.77	c 1435s |      27 | 19960661 | 15055333 |      959  39320 |        0 |        0
1437.29/1437.78	c 1437s |      27 | 19985590 | 15074133 |      959  39358 |        0 |        0
1439.29/1439.78	c 1439s |      27 | 20014279 | 15094633 |      959  39400 |        0 |        0
1441.29/1441.79	c 1441s |      27 | 20042245 | 15114933 |      959  39442 |        0 |        0
1443.39/1443.80	c 1443s |      27 | 20071408 | 15135633 |      959  39484 |        0 |        0
1445.39/1445.80	c 1445s |      27 | 20100872 | 15156233 |      959  39527 |        0 |        0
1447.39/1447.80	c 1447s |      27 | 20130123 | 15177033 |      959  39569 |        0 |        0
1449.29/1449.80	c 1449s |      27 | 20158753 | 15198033 |      959  39612 |        0 |        0
1451.39/1451.81	c 1451s |      27 | 20189225 | 15219433 |      959  39656 |        0 |        0
1453.39/1453.81	c 1453s |      27 | 20219292 | 15241133 |      959  39701 |        0 |        0
1455.38/1455.82	c 1455s |      27 | 20247036 | 15261733 |      959  39743 |        0 |        0
1457.38/1457.83	c 1457s |      27 | 20274501 | 15281833 |      959  39784 |        0 |        0
1459.39/1459.84	c 1459s |      27 | 20300033 | 15301433 |      959  39824 |        0 |        0
1461.38/1461.84	c 1461s |      27 | 20324954 | 15320733 |      959  39864 |        0 |        0
1463.38/1463.84	c 1463s |      27 | 20350142 | 15339933 |      959  39904 |        0 |        0
1465.38/1465.85	c 1465s |      27 | 20376048 | 15359333 |      959  39943 |        0 |        0
1467.38/1467.85	c 1467s |      27 | 20400519 | 15378333 |      959  39982 |        0 |        0
1469.38/1469.86	c 1469s |      27 | 20421995 | 15396133 |      959  40019 |        0 |        0
1471.38/1471.87	c 1471s |      27 | 20444855 | 15414433 |      959  40057 |        0 |        0
1473.38/1473.87	c 1473s |      27 | 20469884 | 15433633 |      959  40096 |        0 |        0
1475.38/1475.88	c 1475s |      27 | 20494713 | 15452833 |      959  40135 |        0 |        0
1477.38/1477.88	c 1477s |      27 | 20519245 | 15471933 |      959  40174 |        0 |        0
1479.38/1479.88	c 1479s |      27 | 20545701 | 15491633 |      959  40215 |        0 |        0
1481.38/1481.89	c 1481s |      27 | 20571904 | 15511133 |      959  40255 |        0 |        0
1483.37/1483.90	c 1483s |      27 | 20598182 | 15530933 |      959  40295 |        0 |        0
1485.48/1485.91	c 1485s |      27 | 20623170 | 15550033 |      959  40334 |        0 |        0
1487.48/1487.91	c 1487s |      27 | 20650621 | 15570233 |      959  40376 |        0 |        0
1489.48/1489.92	c 1489s |      27 | 20676273 | 15589833 |      959  40416 |        0 |        0
1491.48/1491.93	c 1491s |      27 | 20702410 | 15609533 |      959  40456 |        0 |        0
1493.49/1493.94	c 1493s |      27 | 20730811 | 15630133 |      959  40498 |        0 |        0
1495.48/1495.95	c 1495s |      27 | 20756707 | 15649433 |      959  40538 |        0 |        0
1497.48/1497.95	c 1497s |      27 | 20780367 | 15667833 |      959  40575 |        0 |        0
1499.48/1499.95	c 1499s |      27 | 20805677 | 15686933 |      959  40615 |        0 |        0
1501.47/1501.96	c 1501s |      27 | 20831158 | 15706233 |      959  40654 |        0 |        0
1503.47/1503.96	c 1503s |      27 | 20857585 | 15725633 |      959  40694 |        0 |        0
1505.48/1505.96	c 1505s |      27 | 20886791 | 15746833 |      959  40737 |        0 |        0
1507.47/1507.97	c 1507s |      27 | 20912508 | 15766433 |      959  40778 |        0 |        0
1509.47/1509.97	c 1509s |      27 | 20938005 | 15785733 |      959  40817 |        0 |        0
1511.47/1511.97	c 1511s |      27 | 20960145 | 15803433 |      959  40854 |        0 |        0
1513.47/1513.98	c 1513s |      27 | 20984076 | 15821933 |      959  40891 |        0 |        0
1515.48/1515.99	c 1515s |      27 | 21011413 | 15842133 |      959  40933 |        0 |        0
1517.47/1517.99	c 1517s |      27 | 21039101 | 15862533 |      959  40975 |        0 |        0
1519.47/1519.99	c 1519s |      27 | 21065564 | 15882433 |      959  41015 |        0 |        0
1521.57/1522.00	c 1521s |      27 | 21090847 | 15901433 |      959  41054 |        0 |        0
1523.57/1524.01	c 1523s |      27 | 21115616 | 15920433 |      959  41093 |        0 |        0
1525.57/1526.01	c 1525s |      27 | 21141578 | 15939633 |      959  41132 |        0 |        0
1527.57/1528.01	c 1528s |      27 | 21167549 | 15959333 |      959  41172 |        0 |        0
1529.58/1530.02	c 1530s |      27 | 21191399 | 15978333 |      959  41210 |        0 |        0
1531.58/1532.02	c 1532s |      27 | 21214270 | 15996533 |      959  41247 |        0 |        0
1533.57/1534.02	c 1534s |      27 | 21237195 | 16014733 |      959  41285 |        0 |        0
1535.57/1536.03	c 1536s |      27 | 21263232 | 16034833 |      959  41326 |        0 |        0
1537.57/1538.03	c 1538s |      27 | 21290601 | 16055333 |      959  41368 |        0 |        0
1539.58/1540.04	c 1540s |      27 | 21316681 | 16075233 |      959  41409 |        0 |        0
1541.57/1542.04	c 1542s |      27 | 21341096 | 16094333 |      959  41448 |        0 |        0
1543.57/1544.04	c 1544s |      27 | 21365072 | 16113133 |      959  41487 |        0 |        0
1545.57/1546.05	c 1546s |      27 | 21389168 | 16132033 |      959  41525 |        0 |        0
1547.57/1548.05	c 1548s |      27 | 21413063 | 16150833 |      959  41564 |        0 |        0
1549.57/1550.06	c 1550s |      27 | 21434203 | 16168333 |      959  41600 |        0 |        0
1551.57/1552.06	c 1552s |      27 | 21454590 | 16184933 |      959  41634 |        0 |        0
1553.56/1554.07	c 1554s |      27 | 21480299 | 16204133 |      959  41673 |        0 |        0
1555.56/1556.08	c 1556s |      27 | 21505004 | 16223133 |      959  41712 |        0 |        0
1557.57/1558.08	c 1558s |      27 | 21530358 | 16242333 |      959  41751 |        0 |        0
1559.57/1560.09	c 1560s |      27 | 21551229 | 16260033 |      959  41787 |        0 |        0
1561.58/1562.10	c 1562s |      27 | 21572856 | 16277933 |      959  41824 |        0 |        0
1563.67/1564.11	c 1564s |      27 | 21597896 | 16297033 |      959  41863 |        0 |        0
1565.67/1566.12	c 1566s |      27 | 21622113 | 16315733 |      959  41902 |        0 |        0
1567.67/1568.13	c 1568s |      27 | 21644478 | 16333833 |      959  41938 |        0 |        0
1569.67/1570.14	c 1570s |      27 | 21668012 | 16352333 |      959  41976 |        0 |        0
1571.67/1572.15	c 1572s |      27 | 21691144 | 16370933 |      959  42014 |        0 |        0
1573.67/1574.15	c 1574s |      27 | 21717641 | 16390733 |      959  42055 |        0 |        0
1575.66/1576.16	c 1576s |      27 | 21741991 | 16409633 |      959  42094 |        0 |        0
1577.66/1578.16	c 1578s |      27 | 21765513 | 16427933 |      959  42131 |        0 |        0
1579.66/1580.16	c 1580s |      27 | 21789526 | 16446633 |      959  42169 |        0 |        0
1581.66/1582.17	c 1582s |      27 | 21813148 | 16465233 |      959  42208 |        0 |        0
1583.67/1584.17	c 1584s |      27 | 21836086 | 16483133 |      959  42244 |        0 |        0
1585.66/1586.18	c 1586s |      27 | 21859781 | 16502033 |      959  42283 |        0 |        0
1587.66/1588.19	c 1588s |      27 | 21883908 | 16520833 |      959  42321 |        0 |        0
1589.66/1590.19	c 1590s |      27 | 21908049 | 16540033 |      959  42360 |        0 |        0
1591.66/1592.19	c 1592s |      27 | 21932196 | 16559133 |      959  42400 |        0 |        0
1593.76/1594.20	c 1594s |      27 | 21958217 | 16578533 |      959  42439 |        0 |        0
1595.76/1596.20	c 1596s |      27 | 21981387 | 16596433 |      959  42476 |        0 |        0
1597.76/1598.21	c 1598s |      27 | 22004085 | 16614333 |      959  42513 |        0 |        0
1599.76/1600.21	c 1600s |      27 | 22028198 | 16633433 |      959  42552 |        0 |        0
1601.76/1602.22	c 1602s |      27 | 22052460 | 16652333 |      959  42590 |        0 |        0
1603.76/1604.22	c 1604s |      27 | 22076995 | 16671133 |      959  42629 |        0 |        0
1605.76/1606.22	c 1606s |      27 | 22098127 | 16688433 |      959  42664 |        0 |        0
1607.77/1608.23	c 1608s |      27 | 22119424 | 16705933 |      959  42700 |        0 |        0
1609.76/1610.24	c 1610s |      27 | 22142304 | 16724133 |      959  42737 |        0 |        0
1611.76/1612.24	c 1612s |      27 | 22166860 | 16742933 |      959  42776 |        0 |        0
1613.76/1614.25	c 1614s |      27 | 22189955 | 16761233 |      959  42813 |        0 |        0
1615.76/1616.25	c 1616s |      27 | 22210761 | 16778433 |      959  42849 |        0 |        0
1617.77/1618.25	c 1618s |      27 | 22236337 | 16797933 |      959  42888 |        0 |        0
1619.75/1620.25	c 1620s |      27 | 22259523 | 16816333 |      959  42926 |        0 |        0
1621.75/1622.25	c 1622s |      27 | 22282774 | 16834733 |      959  42964 |        0 |        0
1623.75/1624.26	c 1624s |      27 | 22307108 | 16853833 |      959  43003 |        0 |        0
1625.75/1626.27	c 1626s |      27 | 22331559 | 16872833 |      959  43042 |        0 |        0
1627.76/1628.28	c 1628s |      27 | 22355671 | 16891733 |      959  43080 |        0 |        0
1629.77/1630.28	c 1630s |      27 | 22379267 | 16910233 |      959  43118 |        0 |        0
1631.76/1632.28	c 1632s |      27 | 22403898 | 16928733 |      959  43156 |        0 |        0
1633.76/1634.28	c 1634s |      27 | 22426290 | 16946633 |      959  43193 |        0 |        0
1635.76/1636.29	c 1636s |      27 | 22447833 | 16964433 |      959  43230 |        0 |        0
1637.76/1638.29	c 1638s |      27 | 22468591 | 16981433 |     1055  43263 |        0 |        0
1639.86/1640.30	c 1640s |      27 | 22489870 | 16998233 |     1055  43294 |        0 |        0
1641.86/1642.31	c 1642s |      27 | 22511185 | 17015333 |     1055  43326 |        0 |        0
1643.86/1644.31	c 1644s |      27 | 22535652 | 17033933 |     1055  43361 |        0 |        0
1645.85/1646.32	c 1646s |      27 | 22556427 | 17051133 |     1055  43393 |        0 |        0
1647.85/1648.32	c 1648s |      27 | 22579578 | 17069333 |     1055  43426 |        0 |        0
1649.85/1650.32	c 1650s |      27 | 22602720 | 17087533 |     1055  43460 |        0 |        0
1650.66/1651.16	c 1651s |      28 | 22612733 | 17095205 |     1055  43475 |        0 |        0
1652.65/1653.16	c 1653s |      28 | 22636211 | 17113605 |     1055  43509 |        0 |        0
1654.65/1655.17	c 1655s |      28 | 22659286 | 17131705 |     1055  43543 |        0 |        0
1656.65/1657.18	c 1657s |      28 | 22682181 | 17150405 |     1055  43577 |        0 |        0
1658.65/1659.19	c 1659s |      28 | 22706726 | 17169105 |     1055  43612 |        0 |        0
1660.66/1661.19	c 1661s |      28 | 22733734 | 17189405 |     1055  43650 |        0 |        0
1662.65/1663.19	c 1663s |      28 | 22761207 | 17209705 |     1055  43688 |        0 |        0
1664.75/1665.20	c 1665s |      28 | 22787732 | 17229805 |     1055  43726 |        0 |        0
1666.75/1667.20	c 1667s |      28 | 22813617 | 17249505 |     1055  43763 |        0 |        0
1668.75/1669.21	c 1669s |      28 | 22840295 | 17269205 |     1055  43799 |        0 |        0
1670.75/1671.22	c 1671s |      28 | 22866862 | 17289105 |     1055  43836 |        0 |        0
1672.75/1673.23	c 1673s |      28 | 22891956 | 17308405 |     1055  43873 |        0 |        0
1674.75/1675.23	c 1675s |      28 | 22916732 | 17327705 |     1055  43909 |        0 |        0
1676.75/1677.24	c 1677s |      28 | 22942303 | 17347205 |     1055  43945 |        0 |        0
1678.74/1679.24	c 1679s |      28 | 22968709 | 17366805 |     1055  43982 |        0 |        0
1680.74/1681.24	c 1681s |      28 | 22995279 | 17386905 |     1055  44019 |        0 |        0
1682.74/1683.25	c 1683s |      28 | 23022246 | 17406905 |     1055  44057 |        0 |        0
1684.75/1685.26	c 1685s |      28 | 23048526 | 17426705 |     1055  44093 |        0 |        0
1686.74/1687.26	c 1687s |      28 | 23073345 | 17446005 |     1055  44129 |        0 |        0
1688.74/1689.27	c 1689s |      28 | 23101347 | 17466405 |     1055  44168 |        0 |        0
1690.74/1691.27	c 1691s |      28 | 23127324 | 17486105 |     1055  44205 |        0 |        0
1692.74/1693.27	c 1693s |      28 | 23149779 | 17503705 |     1055  44237 |        0 |        0
1694.75/1695.27	c 1695s |      28 | 23172646 | 17521505 |     1055  44271 |        0 |        0
1696.74/1697.28	c 1697s |      28 | 23198322 | 17540905 |     1055  44307 |        0 |        0
1698.74/1699.28	c 1699s |      28 | 23221213 | 17559005 |     1055  44341 |        0 |        0
1700.74/1701.28	c 1701s |      28 | 23245384 | 17577805 |     1055  44376 |        0 |        0
1702.74/1703.28	c 1703s |      28 | 23269491 | 17596505 |     1055  44411 |        0 |        0
1704.75/1705.29	c 1705s |      28 | 23295496 | 17615805 |     1055  44447 |        0 |        0
1706.76/1707.29	c 1707s |      28 | 23322291 | 17635305 |     1055  44483 |        0 |        0
1708.75/1709.30	c 1709s |      28 | 23347774 | 17654405 |     1055  44519 |        0 |        0
1710.85/1711.30	c 1711s |      28 | 23375987 | 17674805 |     1055  44557 |        0 |        0
1712.85/1713.30	c 1713s |      28 | 23398105 | 17692305 |     1055  44589 |        0 |        0
1714.85/1715.31	c 1715s |      28 | 23423791 | 17711805 |     1055  44626 |        0 |        0
1716.84/1717.32	c 1717s |      28 | 23451491 | 17731505 |     1055  44663 |        0 |        0
1718.85/1719.32	c 1719s |      28 | 23477909 | 17751305 |     1055  44700 |        0 |        0
1720.84/1721.32	c 1721s |      28 | 23505540 | 17771905 |     1055  44738 |        0 |        0
1722.84/1723.32	c 1723s |      28 | 23533900 | 17792905 |     1055  44778 |        0 |        0
1724.84/1725.33	c 1725s |      28 | 23561289 | 17813105 |     1055  44816 |        0 |        0
1726.84/1727.33	c 1727s |      28 | 23590356 | 17833705 |     1055  44854 |        0 |        0
1728.85/1729.34	c 1729s |      28 | 23619591 | 17854005 |     1055  44892 |        0 |        0
1730.84/1731.34	c 1731s |      28 | 23644405 | 17872905 |     1055  44927 |        0 |        0
1732.84/1733.35	c 1733s |      28 | 23668485 | 17891605 |     1055  44962 |        0 |        0
1734.84/1735.35	c 1735s |      28 | 23693971 | 17910805 |     1055  44998 |        0 |        0
1736.84/1737.36	c 1737s |      28 | 23716805 | 17929005 |     1055  45031 |        0 |        0
1738.84/1739.37	c 1739s |      28 | 23740862 | 17947705 |     1055  45066 |        0 |        0
1740.84/1741.38	c 1741s |      28 | 23765699 | 17966805 |     1055  45102 |        0 |        0
1742.84/1743.39	c 1743s |      28 | 23791716 | 17986405 |     1055  45138 |        0 |        0
1744.83/1745.39	c 1745s |      28 | 23816809 | 18005505 |     1055  45174 |        0 |        0
1746.93/1747.40	c 1747s |      28 | 23842307 | 18024805 |     1055  45210 |        0 |        0
1748.93/1749.40	c 1749s |      28 | 23866390 | 18043605 |     1055  45245 |        0 |        0
1750.93/1751.41	c 1751s |      28 | 23889814 | 18062005 |     1055  45280 |        0 |        0
1752.94/1753.42	c 1753s |      28 | 23914072 | 18080905 |     1055  45315 |        0 |        0
1754.94/1755.42	c 1755s |      28 | 23937350 | 18099205 |     1055  45349 |        0 |        0
1756.94/1757.43	c 1757s |      28 | 23961780 | 18117805 |     1055  45384 |        0 |        0
1758.94/1759.44	c 1759s |      28 | 23985075 | 18135905 |     1055  45417 |        0 |        0
1760.94/1761.45	c 1761s |      28 | 24008323 | 18154005 |     1055  45451 |        0 |        0
1762.95/1763.46	c 1763s |      28 | 24032946 | 18172805 |     1055  45486 |        0 |        0
1764.94/1765.46	c 1765s |      28 | 24056641 | 18190705 |     1055  45520 |        0 |        0
1766.94/1767.47	c 1767s |      28 | 24077623 | 18207705 |     1055  45552 |        0 |        0
1768.94/1769.48	c 1769s |      28 | 24102523 | 18226805 |     1055  45587 |        0 |        0
1770.94/1771.48	c 1771s |      28 | 24130282 | 18247105 |     1055  45625 |        0 |        0
1772.94/1773.49	c 1773s |      28 | 24157305 | 18267005 |     1055  45663 |        0 |        0
1774.94/1775.49	c 1775s |      28 | 24184213 | 18287205 |     1055  45700 |        0 |        0
1776.94/1777.49	c 1777s |      28 | 24212972 | 18307905 |     1055  45739 |        0 |        0
1778.93/1779.50	c 1779s |      28 | 24241699 | 18328705 |     1055  45778 |        0 |        0
1781.03/1781.50	c 1781s |      28 | 24269286 | 18349005 |     1055  45816 |        0 |        0
1783.03/1783.51	c 1783s |      28 | 24296585 | 18368805 |     1055  45853 |        0 |        0
1785.03/1785.51	c 1785s |      28 | 24322181 | 18388105 |     1055  45890 |        0 |        0
1787.04/1787.52	c 1787s |      28 | 24345605 | 18406705 |     1055  45924 |        0 |        0
1789.03/1789.52	c 1789s |      28 | 24372339 | 18426505 |     1055  45961 |        0 |        0
1791.03/1791.52	c 1791s |      28 | 24397886 | 18445605 |     1055  45997 |        0 |        0
1793.03/1793.53	c 1793s |      28 | 24422383 | 18464205 |     1055  46032 |        0 |        0
1795.04/1795.53	c 1795s |      28 | 24449093 | 18483905 |     1055  46068 |        0 |        0
1797.04/1797.54	c 1797s |      28 | 24476258 | 18503605 |     1055  46105 |        0 |        0
1799.03/1799.55	c 1799s |      28 | 24503451 | 18523305 |     1055  46142 |        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-4121418-1467314433/watcher-4121418-1467314433 -o /tmp/evaluation-result-4121418-1467314433/solver-4121418-1467314433 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467314225-15887 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121418-1467314433.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.23 1.76 1.72 4/180 16024
/proc/meminfo: memFree=27205700/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=831932 CPUtime=0 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 3123 0 0 0 0 0 0 0 20 0 4 0 10470890 851898368 2973 33554432000 4194304 16246674 140734788402448 140734788401872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 208751 2982 441 2943 0 205645 0
[pid=16024/tid=16025] ppid=16021 vsize=850364 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 870772736 3044 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=855484 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 876015616 3063 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=859580 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10470890 880209920 3080 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 2.23 1.76 1.72 4/180 16024
/proc/meminfo: memFree=27205700/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 24877 0 0 0 6 3 0 0 20 0 4 0 10470890 1247350784 24716 33554432000 4194304 16246674 140734788402448 140734788401872 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 304529 24726 708 2943 0 301423 0
[pid=16024/tid=16025] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 24732 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 24738 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 24744 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200523 s]
/proc/loadavg: 2.23 1.76 1.72 4/180 16024
/proc/meminfo: memFree=27205700/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 47869 0 0 0 12 7 0 0 20 0 4 0 10470890 1247350784 47709 33554432000 4194304 16246674 140734788402448 140734788401872 5830026 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 304529 47720 708 2943 0 301423 0
[pid=16024/tid=16025] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 47725 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 47731 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 47736 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300488 s]
/proc/loadavg: 2.23 1.76 1.72 4/180 16024
/proc/meminfo: memFree=27205700/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 70566 0 0 0 18 11 0 0 20 0 4 0 10470890 1247350784 70406 33554432000 4194304 16246674 140734788402448 140734788401872 13954518 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 304529 70417 708 2943 0 301423 0
[pid=16024/tid=16025] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 70422 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 70431 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 70436 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700414 s]
/proc/loadavg: 2.23 1.76 1.72 4/180 16024
/proc/meminfo: memFree=27205700/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 162132 0 0 0 46 23 0 0 20 0 4 0 10470890 1247350784 161971 33554432000 4194304 16246674 140734788402448 140734788401872 5669490 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 304529 161982 708 2943 0 301423 0
[pid=16024/tid=16025] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 161991 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 161998 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 162004 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.23 1.76 1.72 3/184 16028
/proc/meminfo: memFree=26224920/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 245472 0 0 0 115 34 0 0 20 0 4 0 10470890 1247350784 245291 33554432000 4194304 16246674 140734788402448 140734788401760 6842792 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 304529 245291 782 2943 0 301423 0
[pid=16024/tid=16025] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 245291 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 245291 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1247350784 245291 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.21 1.76 1.72 3/184 16028
/proc/meminfo: memFree=26136632/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 267390 0 0 0 272 37 0 0 20 0 4 0 10470890 1337528320 267209 33554432000 4194304 16246674 140734788402448 140734788384320 5831907 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326545 267209 782 2943 0 323439 0
[pid=16024/tid=16025] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267209 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267209 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267209 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.21 1.76 1.72 3/184 16028
/proc/meminfo: memFree=26136200/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 267419 0 0 0 592 37 0 0 20 0 4 0 10470890 1337528320 267238 33554432000 4194304 16246674 140734788402448 140734788385448 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326545 267238 782 2943 0 323439 0
[pid=16024/tid=16025] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267238 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267238 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267238 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.26 1.78 1.73 3/184 16028
/proc/meminfo: memFree=26136504/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 267419 0 0 0 1232 37 0 0 20 0 4 0 10470890 1337528320 267238 33554432000 4194304 16246674 140734788402448 140734788384320 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326545 267238 782 2943 0 323439 0
[pid=16024/tid=16025] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267238 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267238 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267238 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.29 1.81 1.74 4/184 16028
/proc/meminfo: memFree=26136904/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 267437 0 0 0 2511 38 0 0 20 0 4 0 10470890 1337528320 267256 33554432000 4194304 16246674 140734788402448 140734788384320 5754966 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326545 267256 784 2943 0 323439 0
[pid=16024/tid=16025] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267256 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267256 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267256 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.27 1.84 1.75 3/183 16028
/proc/meminfo: memFree=26136792/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 267454 0 0 0 5069 39 0 0 20 0 4 0 10470890 1337528320 267273 33554432000 4194304 16246674 140734788402448 140734788385448 5672253 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326545 267273 785 2943 0 323439 0
[pid=16024/tid=16025] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267273 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267273 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267273 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.15 1.88 1.76 3/183 16029
/proc/meminfo: memFree=26135988/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 267456 0 0 0 10187 41 0 0 20 0 4 0 10470890 1337528320 267275 33554432000 4194304 16246674 140734788402448 140734788384320 6843088 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326545 267275 786 2943 0 323439 0
[pid=16024/tid=16025] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267275 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267275 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1337528320 267275 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1306180


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

/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 1307204

[startup+1362.3 s]
/proc/loadavg: 2.33 2.23 2.08 3/183 16740
/proc/meminfo: memFree=26128876/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1307204 CPUtime=1361.9 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 268160 0 0 0 136113 77 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 140734788384320 5808585 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326801 267874 788 2943 0 323695 0
[pid=16024/tid=16025] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1307204

[startup+1422.3 s]
/proc/loadavg: 2.30 2.23 2.09 4/183 16741
/proc/meminfo: memFree=26129072/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1307204 CPUtime=1421.9 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 268160 0 0 0 142112 78 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 140734788384320 5672988 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326801 267874 788 2943 0 323695 0
[pid=16024/tid=16025] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 1307204

[startup+1482.3 s]
/proc/loadavg: 2.26 2.23 2.09 3/183 16839
/proc/meminfo: memFree=26131232/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1307204 CPUtime=1481.87 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 268160 0 0 0 148108 79 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 140734788385448 5515141 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326801 267874 788 2943 0 323695 0
[pid=16024/tid=16025] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1307204

[startup+1542.31 s]
/proc/loadavg: 2.21 2.23 2.10 3/183 16841
/proc/meminfo: memFree=26129228/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1307204 CPUtime=1541.87 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 268160 0 0 0 154106 81 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 140734788385448 5823230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326801 267874 788 2943 0 323695 0
[pid=16024/tid=16025] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1307204

[startup+1602.3 s]
/proc/loadavg: 2.25 2.23 2.10 4/183 16842
/proc/meminfo: memFree=26129256/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1307204 CPUtime=1601.86 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 268160 0 0 0 160103 83 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 140734788385448 5676468 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326801 267874 788 2943 0 323695 0
[pid=16024/tid=16025] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267874 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 1307204

[startup+1662.3 s]
/proc/loadavg: 2.29 2.25 2.11 3/183 16989
/proc/meminfo: memFree=26130848/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1307204 CPUtime=1661.85 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 268161 0 0 0 166101 84 0 0 20 0 4 0 10470890 1338576896 267875 33554432000 4194304 16246674 140734788402448 140734788384320 6861656 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326801 267875 788 2943 0 323695 0
[pid=16024/tid=16025] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267875 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267875 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267875 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1307204

[startup+1722.3 s]
/proc/loadavg: 2.34 2.28 2.13 3/183 16990
/proc/meminfo: memFree=26130436/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1307204 CPUtime=1721.84 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 268161 0 0 0 172099 85 0 0 20 0 4 0 10470890 1338576896 267875 33554432000 4194304 16246674 140734788402448 140734788384320 5589411 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326801 267875 788 2943 0 323695 0
[pid=16024/tid=16025] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267875 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267875 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267875 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 1307204

[startup+1782.3 s]
/proc/loadavg: 2.20 2.25 2.13 4/184 16994
/proc/meminfo: memFree=26129236/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1307204 CPUtime=1781.83 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 268179 0 0 0 178097 86 0 0 20 0 4 0 10470890 1338576896 267893 33554432000 4194304 16246674 140734788402448 140734788385448 5677256 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326801 267893 788 2943 0 323695 0
[pid=16024/tid=16025] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267893 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267893 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267893 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 1307204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.28 2.27 2.13 4/184 16995
/proc/meminfo: memFree=26130120/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1307204 CPUtime=1800.03 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 268179 0 0 0 179916 87 0 0 20 0 4 0 10470890 1338576896 267893 33554432000 4194304 16246674 140734788402448 140734788384320 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326801 267893 788 2943 0 323695 0
[pid=16024/tid=16025] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267893 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267893 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267893 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1307204

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

[startup+1800.5 s]
/proc/loadavg: 2.28 2.27 2.13 4/184 16995
/proc/meminfo: memFree=26130120/32872528 swapFree=1555460/1718980
[pid=16024] ppid=16021 vsize=1307204 CPUtime=1800.03 cores=1,3,5,7
/proc/16024/stat : 16024 (toysat) R 16021 16024 11291 0 -1 4202496 268179 0 0 0 179916 87 0 0 20 0 4 0 10470890 1338576896 267893 33554432000 4194304 16246674 140734788402448 140734788384320 5672188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16024/statm: 326801 267893 788 2943 0 323695 0
[pid=16024/tid=16025] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16025/stat : 16025 (toysat) S 16021 16024 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267893 33554432000 4194304 16246674 140734788402448 139995061923056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=16024/tid=16026] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16026/stat : 16026 (toysat) S 16021 16024 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267893 33554432000 4194304 16246674 140734788402448 139995051433200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=16024/tid=16027] ppid=16021 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16024/task/16027/stat : 16027 (toysat) S 16021 16024 11291 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10470890 1338576896 267893 33554432000 4194304 16246674 140734788402448 139995040959664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1307204

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1799.17
CPU system time (s): 0.873867
CPU usage (%): 99.9743
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.17
system time used= 0.873867
maximum resident set size= 1071572
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268179
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= 377
involuntary context switches= 1875

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.83626 second user time and 6.69398 second system time

The end

Begin job on node117 at 2016-06-30 21:20:33
IDJOB=4121418
IDBENCH=110476
IDSOLVER=2542
FILE ID=node117/4121418-1467314433
RUNJOBID= node117-1467314225-15887
PBS_JOBID= 20005275
Free space on /tmp= 71608 MiB

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

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

MD5SUM BENCH= 98b683eecf8a67bb0b44ca0cd164de8d
RANDOM SEED=492670651

node117.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.714
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.42
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.714
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.714
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.45
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.714
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.714
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.714
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.714
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:        27205980 kB
Buffers:          150696 kB
Cached:          1963104 kB
SwapCached:            0 kB
Active:          1381068 kB
Inactive:        1816084 kB
Active(anon):    1085924 kB
Inactive(anon):        4 kB
Active(file):     295144 kB
Inactive(file):  1816080 kB
Unevictable:     1718980 kB
Mlocked:         1555460 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16384 kB
Writeback:             4 kB
AnonPages:       2802168 kB
Mapped:            17096 kB
Shmem:               204 kB
Slab:             616024 kB
SReclaimable:      60080 kB
SUnreclaim:       555944 kB
KernelStack:        1480 kB
PageTables:         9560 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2937840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    167936 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= 71592 MiB
End job on node117 at 2016-06-30 21:50:33