0.00/0.00	c 2016-06-16T20:11:51+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-4096008-1466100711.opb"]
0.00/0.01	c use --random-gen="2644844056 4101986943 241897082 3785650056 2361386134 372364903 1327286610 4185914449 1256380505 2811024042 1031125912 3548802679 4224319621 4246968980 1734888963 3463147342 889687750 1615428590 2913024944 1539877489 4108931337 2702415348 546419790 3032767502 936437298 1421198573 647004340 1142528230 2462981518 2189953623 3537012161 1368946711 1812598373 3295971093 3091633616 3224177139 2041920022 2782588725 349234218 3009888238 3744375137 257337135 1172070239 1678821681 830196897 1595453867 643374144 4272686588 3316739782 3162897948 1631232442 3028900678 1391651916 1451234573 3711326643 4185078692 2867852478 2991074941 3294622244 1186296526 284481135 1883970765 2773017852 3961376313 3349196857 3914506742 722658833 3668732214 1690353321 3153594918 82958182 2318859671 3554522595 2294352385 1451576375 1289596518 3060922608 306996600 1650188005 755642520 2655725356 2579010245 3057152327 1051652230 272793775 273091009 4215813099 2735234404 4031529007 1725458720 475138749 2332794113 717977544 2728060383 3810291696 4154004563 2007444277 1791565050 1990169075 1418201586 3859331978 1433533757 586571665 4177208836 1782390413 2020591801 2785461128 1250212024 2045362018 3472212742 3524667993 2080960771 3786623399 708392452 1759756629 945511591 1304937627 2479982210 2558587867 2302241995 2871806645 528634 3184779041 3660449763 2077952577 692475283 520048548 127071371 223843271 4032510751 1312061726 1747591469 902739231 3035919757 642750000 2262067138 995947544 1036385179 349047203 1102106262 808741504 539531221 1842940416 2565198223 1341077206 104694533 1583184928 2973632674 2899042812 1621225203 2457883042 502946126 1048139918 34889493 2955594349 3794579287 3402464230 1031449875 1803117037 1583331973 2949745074 3061288080 3480335236 2993121731 2537481887 384596996 3428923099 3092197496 1101757145 1438512927 3167027094 4191587698 1474865571 2821787595 3906258217 2335266315 2531506876 2798594114 2829886626 1853439547 4035274771 2616752174 540823716 3911885444 3864006449 898799077 2416292262 2257026893 3077585555 2712242134 2855814592 1249676249 3773292243 3267206625 4047469344 1907687520 3477322684 466103688 2929980749 2053905112 2283737518 2837830371 1605793195 2513325566 144749697 727347490 4048285812 2606242918 2562869812 1584065443 1135083010 371957308 1470963801 2247453889 2214480926 3645490873 3451672814 181934638 1781520731 2511010738 841608088 3762653978 4033941885 748839938 3056400664 2435761510 3445097114 2919205643 2037477213 4153617328 2205527076 3290426013 3419323296 1944446891 406291597 1189551969 1719189390 3783591028 3592504711 4047909315 1258870876 1940923587 1046072019 2689623830 882814228 522352074 1259794303 3195234817 1758894694 1723612707 4087011911 1933495539 3366678428 2296551006 2058933733 1641685283 255 362436" option to reproduce the execution
0.00/0.01	c #vars 281
0.00/0.01	c #constraints 140
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      187      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      175 |      100 |      187      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      409 |      250 |      206      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      912 |      475 |      227      1 |        0 |        0
0.08/0.10	c  0.1s |       4 |     1382 |      813 |      250      3 |        0 |        0
0.08/0.15	c  0.1s |       5 |     2176 |     1320 |      275      5 |        0 |        0
0.18/0.24	c  0.2s |       6 |     3437 |     2081 |      334      8 |        0 |        0
0.28/0.37	c  0.4s |       7 |     5072 |     3223 |      368     13 |        0 |        0
0.48/0.58	c  0.6s |       8 |     7362 |     4936 |      405     19 |        0 |        0
0.69/0.90	c  0.9s |       9 |    11238 |     7506 |      446     28 |        0 |        0
1.20/1.30	c  1.3s |      10 |    17603 |    11361 |      491     42 |        0 |        0
1.69/1.79	c  1.8s |      11 |    26075 |    17144 |      541     59 |        0 |        0
2.49/2.59	c  2.6s |      12 |    38137 |    25819 |      596     86 |        0 |        0
3.79/3.85	c  3.8s |      13 |    57537 |    38832 |      656    121 |        0 |        0
5.60/5.68	c  5.7s |      14 |    86896 |    58352 |      722    176 |        0 |        0
7.59/7.69	c  7.7s |      14 |   117134 |    79852 |      722    225 |        0 |        0
8.39/8.47	c  8.5s |      15 |   128187 |    87632 |      795    243 |        0 |        0
10.39/10.47	c 10.5s |      15 |   158408 |   108332 |      795    290 |        0 |        0
12.39/12.48	c 12.5s |      15 |   191636 |   128932 |      795    338 |        0 |        0
12.69/12.73	c 12.7s |      16 |   195418 |   131552 |      875    343 |        0 |        0
14.69/14.73	c 14.7s |      16 |   221297 |   151152 |      875    380 |        0 |        0
16.70/16.73	c 16.7s |      16 |   249691 |   172152 |      875    421 |        0 |        0
18.69/18.74	c 18.7s |      16 |   276973 |   191752 |      875    460 |        0 |        0
19.29/19.36	c 19.3s |      17 |   284819 |   197432 |      963    470 |        0 |        0
21.29/21.36	c 21.3s |      17 |   309927 |   215532 |      963    503 |        0 |        0
23.29/23.37	c 23.4s |      17 |   336407 |   234532 |      963    537 |        0 |        0
25.29/25.38	c 25.4s |      17 |   364283 |   253732 |      963    572 |        0 |        0
27.28/27.38	c 27.4s |      17 |   390332 |   273032 |      963    606 |        0 |        0
29.28/29.38	c 29.4s |      17 |   417582 |   291732 |      963    640 |        0 |        0
29.79/29.88	c 29.9s |      18 |   423756 |   296252 |     1060    648 |        0 |        0
31.78/31.88	c 31.9s |      18 |   448908 |   314752 |     1060    678 |        0 |        0
33.78/33.89	c 33.9s |      18 |   472947 |   332152 |     1060    706 |        0 |        0
35.88/35.90	c 35.9s |      18 |   497320 |   350052 |     1060    736 |        0 |        0
37.88/37.90	c 37.9s |      18 |   519341 |   366552 |     1060    764 |        0 |        0
39.88/39.91	c 39.9s |      18 |   541658 |   382852 |     1060    791 |        0 |        0
41.89/41.92	c 41.9s |      18 |   565687 |   399952 |     1060    819 |        0 |        0
43.88/43.93	c 43.9s |      18 |   589751 |   417452 |     1060    849 |        0 |        0
45.88/45.93	c 45.9s |      18 |   613371 |   434252 |     1060    876 |        0 |        0
47.08/47.16	c 47.1s |      19 |   628603 |   444482 |     1166    893 |        0 |        0
49.08/49.17	c 49.2s |      19 |   655704 |   462382 |     1166    921 |        0 |        0
51.08/51.17	c 51.2s |      19 |   681095 |   481182 |     1166    951 |        0 |        0
53.08/53.18	c 53.2s |      19 |   707362 |   499882 |     1166    979 |        0 |        0
55.08/55.18	c 55.2s |      19 |   729928 |   516982 |     1166   1005 |        0 |        0
57.08/57.19	c 57.2s |      19 |   754862 |   534982 |     1166   1033 |        0 |        0
59.08/59.19	c 59.2s |      19 |   781540 |   553482 |     1166   1061 |        0 |        0
61.08/61.19	c 61.2s |      19 |   807671 |   571782 |     1166   1090 |        0 |        0
63.18/63.20	c 63.2s |      19 |   834026 |   589682 |     1166   1118 |        0 |        0
65.18/65.21	c 65.2s |      19 |   859639 |   607282 |     1166   1144 |        0 |        0
67.19/67.23	c 67.2s |      19 |   883367 |   624582 |     1166   1172 |        0 |        0
69.18/69.23	c 69.2s |      19 |   907167 |   641782 |     1166   1198 |        0 |        0
71.18/71.23	c 71.2s |      19 |   931845 |   659582 |     1166   1226 |        0 |        0
71.98/72.07	c 72.1s |      20 |   941675 |   666827 |     1283   1236 |        0 |        0
73.98/74.08	c 74.1s |      20 |   964238 |   684027 |     1283   1259 |        0 |        0
75.99/76.08	c 76.1s |      20 |   986685 |   700927 |     1283   1283 |        0 |        0
77.98/78.09	c 78.1s |      20 |  1008481 |   717727 |     1283   1305 |        0 |        0
79.98/80.10	c 80.1s |      20 |  1031314 |   734927 |     1283   1329 |        0 |        0
82.08/82.10	c 82.1s |      20 |  1052785 |   751427 |     1283   1351 |        0 |        0
84.08/84.11	c 84.1s |      20 |  1077373 |   769227 |     1283   1376 |        0 |        0
86.07/86.11	c 86.1s |      20 |  1099999 |   786727 |     1283   1400 |        0 |        0
88.08/88.12	c 88.1s |      20 |  1123407 |   804027 |     1283   1424 |        0 |        0
90.07/90.13	c 90.1s |      20 |  1146098 |   821027 |     1283   1447 |        0 |        0
92.07/92.14	c 92.1s |      20 |  1169134 |   838227 |     1283   1471 |        0 |        0
94.07/94.15	c 94.1s |      20 |  1192291 |   855427 |     1283   1495 |        0 |        0
96.07/96.16	c 96.1s |      20 |  1213084 |   871927 |     1283   1518 |        0 |        0
98.08/98.16	c 98.1s |      20 |  1234445 |   888327 |     1283   1540 |        0 |        0
100.07/100.16	c  100s |      20 |  1257813 |   905727 |     1283   1564 |        0 |        0
102.07/102.17	c  102s |      20 |  1280912 |   923227 |     1283   1588 |        0 |        0
104.07/104.17	c  104s |      20 |  1304465 |   940627 |     1283   1612 |        0 |        0
106.07/106.18	c  106s |      20 |  1326295 |   956727 |     1283   1634 |        0 |        0
108.07/108.18	c  108s |      20 |  1347418 |   972527 |     1283   1656 |        0 |        0
110.07/110.19	c  110s |      20 |  1367898 |   988527 |     1283   1678 |        0 |        0
111.67/111.72	c  111s |      21 |  1383130 |  1000345 |     1412   1693 |        0 |        0
113.67/113.74	c  113s |      21 |  1402884 |  1015945 |     1412   1713 |        0 |        0
115.67/115.74	c  115s |      21 |  1425221 |  1032845 |     1412   1734 |        0 |        0
117.67/117.74	c  117s |      21 |  1448415 |  1050045 |     1412   1756 |        0 |        0
119.67/119.75	c  119s |      21 |  1471096 |  1066845 |     1412   1777 |        0 |        0
121.67/121.75	c  121s |      21 |  1491333 |  1082845 |     1412   1797 |        0 |        0
123.67/123.75	c  123s |      21 |  1513020 |  1099845 |     1412   1819 |        0 |        0
125.66/125.76	c  125s |      21 |  1535883 |  1117145 |     1412   1841 |        0 |        0
127.68/127.76	c  127s |      21 |  1558327 |  1133945 |     1412   1862 |        0 |        0
129.67/129.77	c  129s |      21 |  1580096 |  1150345 |     1412   1883 |        0 |        0
131.67/131.78	c  131s |      21 |  1601372 |  1166845 |     1412   1903 |        0 |        0
133.67/133.78	c  133s |      21 |  1621840 |  1182645 |     1412   1923 |        0 |        0
135.67/135.79	c  135s |      21 |  1644220 |  1199545 |     1412   1945 |        0 |        0
137.77/137.80	c  137s |      21 |  1665758 |  1215945 |     1412   1966 |        0 |        0
139.78/139.81	c  139s |      21 |  1687604 |  1232345 |     1412   1986 |        0 |        0
141.77/141.82	c  141s |      21 |  1710381 |  1249245 |     1412   2008 |        0 |        0
143.77/143.83	c  143s |      21 |  1730971 |  1265245 |     1412   2028 |        0 |        0
145.77/145.83	c  145s |      21 |  1750916 |  1280645 |     1412   2047 |        0 |        0
147.77/147.84	c  147s |      21 |  1771893 |  1296745 |     1412   2068 |        0 |        0
149.77/149.85	c  149s |      21 |  1793583 |  1313145 |     1412   2088 |        0 |        0
151.77/151.86	c  151s |      21 |  1816245 |  1330145 |     1412   2110 |        0 |        0
153.77/153.87	c  153s |      21 |  1838609 |  1347245 |     1412   2132 |        0 |        0
155.76/155.88	c  155s |      21 |  1860862 |  1363845 |     1412   2153 |        0 |        0
157.76/157.88	c  157s |      21 |  1882266 |  1379545 |     1412   2173 |        0 |        0
159.76/159.89	c  159s |      21 |  1902453 |  1395045 |     1412   2193 |        0 |        0
161.77/161.89	c  161s |      21 |  1924632 |  1411545 |     1412   2214 |        0 |        0
163.86/163.90	c  163s |      21 |  1947334 |  1428845 |     1412   2236 |        0 |        0
165.86/165.91	c  165s |      21 |  1970176 |  1445745 |     1412   2258 |        0 |        0
167.86/167.92	c  167s |      21 |  1991857 |  1462245 |     1412   2279 |        0 |        0
169.86/169.93	c  169s |      21 |  2013082 |  1478745 |     1412   2300 |        0 |        0
171.86/171.94	c  171s |      21 |  2035816 |  1495845 |     1554   2322 |        0 |        0
172.46/172.55	c  172s |      22 |  2042089 |  1500622 |     1554   2327 |        0 |        0
174.46/174.55	c  174s |      22 |  2061051 |  1515222 |     1554   2344 |        0 |        0
176.47/176.56	c  176s |      22 |  2081377 |  1530722 |     1554   2362 |        0 |        0
178.47/178.56	c  178s |      22 |  2103648 |  1547322 |     1554   2381 |        0 |        0
180.47/180.56	c  180s |      22 |  2121615 |  1561622 |     1554   2398 |        0 |        0
182.46/182.57	c  182s |      22 |  2141583 |  1576822 |     1554   2415 |        0 |        0
184.46/184.57	c  184s |      22 |  2162795 |  1592422 |     1554   2434 |        0 |        0
186.46/186.58	c  186s |      22 |  2183262 |  1607722 |     1554   2452 |        0 |        0
188.46/188.58	c  188s |      22 |  2203550 |  1623022 |     1554   2469 |        0 |        0
190.56/190.60	c  190s |      22 |  2223920 |  1638422 |     1554   2488 |        0 |        0
192.57/192.61	c  192s |      22 |  2244062 |  1654022 |     1554   2506 |        0 |        0
194.56/194.61	c  194s |      22 |  2264268 |  1669522 |     1554   2524 |        0 |        0
196.56/196.61	c  196s |      22 |  2285611 |  1685622 |     1554   2543 |        0 |        0
198.56/198.61	c  198s |      22 |  2306975 |  1701722 |     1554   2562 |        0 |        0
200.56/200.62	c  200s |      22 |  2326038 |  1716322 |     1554   2580 |        0 |        0
202.56/202.63	c  202s |      22 |  2345438 |  1731222 |     1554   2597 |        0 |        0
204.56/204.63	c  204s |      22 |  2365417 |  1746822 |     1554   2616 |        0 |        0
206.56/206.64	c  206s |      22 |  2385957 |  1762622 |     1554   2634 |        0 |        0
208.56/208.65	c  208s |      22 |  2406624 |  1778522 |     1554   2653 |        0 |        0
210.55/210.65	c  210s |      22 |  2428172 |  1794522 |     1554   2672 |        0 |        0
212.55/212.66	c  212s |      22 |  2449174 |  1810822 |     1554   2691 |        0 |        0
214.56/214.67	c  214s |      22 |  2471369 |  1827822 |     1554   2711 |        0 |        0
216.55/216.68	c  216s |      22 |  2492519 |  1843422 |     1554   2730 |        0 |        0
218.55/218.69	c  218s |      22 |  2513347 |  1859322 |     1554   2749 |        0 |        0
220.55/220.69	c  220s |      22 |  2534053 |  1874822 |     1554   2767 |        0 |        0
222.65/222.70	c  222s |      22 |  2554593 |  1890522 |     1554   2785 |        0 |        0
224.65/224.70	c  224s |      22 |  2574167 |  1905422 |     1554   2803 |        0 |        0
226.66/226.71	c  226s |      22 |  2594954 |  1921022 |     1554   2822 |        0 |        0
228.66/228.72	c  228s |      22 |  2617277 |  1937422 |     1554   2841 |        0 |        0
230.66/230.73	c  230s |      22 |  2637500 |  1952822 |     1554   2859 |        0 |        0
232.66/232.73	c  232s |      22 |  2658853 |  1968522 |     1554   2878 |        0 |        0
234.66/234.74	c  234s |      22 |  2680401 |  1984522 |     1554   2897 |        0 |        0
236.66/236.75	c  236s |      22 |  2702212 |  2000822 |     1554   2916 |        0 |        0
238.65/238.75	c  238s |      22 |  2722769 |  2016522 |     1554   2935 |        0 |        0
240.65/240.75	c  240s |      22 |  2743069 |  2031722 |     1554   2953 |        0 |        0
242.65/242.75	c  242s |      22 |  2764536 |  2047822 |     1554   2972 |        0 |        0
244.65/244.75	c  244s |      22 |  2785431 |  2063222 |     1554   2990 |        0 |        0
246.65/246.76	c  246s |      22 |  2807446 |  2079122 |     1554   3009 |        0 |        0
248.66/248.77	c  248s |      22 |  2829710 |  2095222 |     1554   3028 |        0 |        0
250.65/250.77	c  250s |      22 |  2850266 |  2110422 |     1554   3046 |        0 |        0
252.65/252.78	c  252s |      22 |  2871110 |  2126322 |     1554   3064 |        0 |        0
254.65/254.78	c  254s |      22 |  2892898 |  2142522 |     1554   3084 |        0 |        0
256.65/256.79	c  256s |      22 |  2915238 |  2159022 |     1554   3103 |        0 |        0
258.75/258.80	c  258s |      22 |  2936884 |  2174722 |     1554   3122 |        0 |        0
260.76/260.80	c  260s |      22 |  2957544 |  2189922 |     1554   3140 |        0 |        0
262.75/262.81	c  262s |      22 |  2978464 |  2206122 |     1554   3159 |        0 |        0
264.75/264.83	c  264s |      22 |  3001643 |  2223222 |     1554   3179 |        0 |        0
266.75/266.84	c  266s |      22 |  3022006 |  2238422 |     1710   3197 |        0 |        0
268.35/268.47	c  268s |      23 |  3038557 |  2251038 |     1710   3210 |        0 |        0
270.34/270.48	c  270s |      23 |  3059621 |  2266638 |     1710   3227 |        0 |        0
272.34/272.49	c  272s |      23 |  3081815 |  2282438 |     1710   3245 |        0 |        0
274.44/274.50	c  274s |      23 |  3104883 |  2297938 |     1710   3262 |        0 |        0
276.44/276.51	c  276s |      23 |  3127385 |  2313038 |     1710   3278 |        0 |        0
278.45/278.51	c  278s |      23 |  3150083 |  2329038 |     1710   3296 |        0 |        0
280.45/280.51	c  280s |      23 |  3169620 |  2343638 |     1710   3312 |        0 |        0
282.45/282.52	c  282s |      23 |  3191055 |  2358538 |     1710   3329 |        0 |        0
284.45/284.52	c  284s |      23 |  3209736 |  2372238 |     1710   3344 |        0 |        0
286.45/286.53	c  286s |      23 |  3231600 |  2387838 |     1710   3361 |        0 |        0
288.45/288.53	c  288s |      23 |  3252624 |  2403138 |     1710   3378 |        0 |        0
290.45/290.54	c  290s |      23 |  3273871 |  2418238 |     1710   3395 |        0 |        0
292.45/292.55	c  292s |      23 |  3297853 |  2433938 |     1710   3412 |        0 |        0
294.45/294.56	c  294s |      23 |  3322791 |  2450438 |     1710   3430 |        0 |        0
296.45/296.57	c  296s |      23 |  3345657 |  2465738 |     1710   3447 |        0 |        0
298.45/298.57	c  298s |      23 |  3368738 |  2481138 |     1710   3464 |        0 |        0
300.45/300.58	c  300s |      23 |  3390854 |  2496138 |     1710   3480 |        0 |        0
302.45/302.58	c  302s |      23 |  3409807 |  2510138 |     1710   3496 |        0 |        0
304.44/304.58	c  304s |      23 |  3430834 |  2524838 |     1710   3512 |        0 |        0
306.44/306.59	c  306s |      23 |  3454019 |  2540538 |     1710   3530 |        0 |        0
308.54/308.60	c  308s |      23 |  3477379 |  2555938 |     1710   3547 |        0 |        0
310.54/310.61	c  310s |      23 |  3498572 |  2571938 |     1710   3564 |        0 |        0
312.55/312.61	c  312s |      23 |  3518961 |  2587038 |     1710   3581 |        0 |        0
314.54/314.61	c  314s |      23 |  3540204 |  2601938 |     1710   3598 |        0 |        0
316.54/316.62	c  316s |      23 |  3560765 |  2616838 |     1710   3614 |        0 |        0
318.54/318.63	c  318s |      23 |  3581483 |  2631138 |     1710   3630 |        0 |        0
320.54/320.64	c  320s |      23 |  3602189 |  2645838 |     1710   3646 |        0 |        0
322.54/322.65	c  322s |      23 |  3622641 |  2660038 |     1710   3661 |        0 |        0
324.54/324.65	c  324s |      23 |  3643242 |  2674038 |     1710   3677 |        0 |        0
326.54/326.66	c  326s |      23 |  3663618 |  2688238 |     1710   3693 |        0 |        0
328.54/328.67	c  328s |      23 |  3683193 |  2701438 |     1710   3708 |        0 |        0
330.53/330.68	c  330s |      23 |  3704537 |  2715238 |     1710   3723 |        0 |        0
332.53/332.69	c  332s |      23 |  3727843 |  2730238 |     1710   3740 |        0 |        0
334.54/334.69	c  334s |      23 |  3749921 |  2745238 |     1710   3757 |        0 |        0
336.53/336.69	c  336s |      23 |  3771891 |  2759838 |     1710   3773 |        0 |        0
338.53/338.69	c  338s |      23 |  3796536 |  2776238 |     1710   3791 |        0 |        0
340.64/340.70	c  340s |      23 |  3818893 |  2792038 |     1710   3808 |        0 |        0
342.64/342.71	c  342s |      23 |  3839871 |  2806538 |     1710   3823 |        0 |        0
344.64/344.72	c  344s |      23 |  3860826 |  2821438 |     1710   3840 |        0 |        0
346.65/346.73	c  346s |      23 |  3881537 |  2836038 |     1710   3856 |        0 |        0
348.64/348.73	c  348s |      23 |  3901429 |  2850638 |     1710   3872 |        0 |        0
350.64/350.74	c  350s |      23 |  3921523 |  2865438 |     1710   3888 |        0 |        0
352.64/352.75	c  352s |      23 |  3940621 |  2880038 |     1710   3904 |        0 |        0
354.64/354.76	c  354s |      23 |  3960926 |  2894438 |     1710   3920 |        0 |        0
356.64/356.76	c  356s |      23 |  3982752 |  2909438 |     1710   3937 |        0 |        0
358.64/358.77	c  358s |      23 |  4003852 |  2924938 |     1710   3954 |        0 |        0
360.64/360.77	c  360s |      23 |  4025113 |  2940238 |     1710   3971 |        0 |        0
362.64/362.77	c  362s |      23 |  4044991 |  2954438 |     1710   3987 |        0 |        0
364.64/364.78	c  364s |      23 |  4064229 |  2968238 |     1710   4002 |        0 |        0
366.64/366.79	c  366s |      23 |  4082401 |  2982138 |     1710   4018 |        0 |        0
368.74/368.80	c  368s |      23 |  4102300 |  2996238 |     1710   4034 |        0 |        0
370.74/370.81	c  370s |      23 |  4122150 |  3010438 |     1710   4049 |        0 |        0
372.73/372.82	c  372s |      23 |  4141653 |  3024038 |     1710   4065 |        0 |        0
374.73/374.83	c  374s |      23 |  4162689 |  3038638 |     1710   4081 |        0 |        0
376.73/376.84	c  376s |      23 |  4184200 |  3053938 |     1710   4098 |        0 |        0
378.73/378.84	c  378s |      23 |  4204264 |  3068338 |     1710   4114 |        0 |        0
380.74/380.85	c  380s |      23 |  4225410 |  3082338 |     1710   4130 |        0 |        0
382.73/382.87	c  382s |      23 |  4246267 |  3096938 |     1710   4147 |        0 |        0
384.73/384.88	c  384s |      23 |  4268456 |  3112538 |     1710   4164 |        0 |        0
386.73/386.88	c  386s |      23 |  4288620 |  3127038 |     1710   4180 |        0 |        0
388.73/388.89	c  388s |      23 |  4309299 |  3141738 |     1710   4197 |        0 |        0
390.83/390.91	c  390s |      23 |  4328905 |  3156238 |     1710   4213 |        0 |        0
392.84/392.91	c  392s |      23 |  4349362 |  3170738 |     1710   4230 |        0 |        0
394.83/394.91	c  394s |      23 |  4368529 |  3184838 |     1710   4245 |        0 |        0
396.83/396.92	c  396s |      23 |  4387860 |  3198938 |     1710   4261 |        0 |        0
398.83/398.94	c  398s |      23 |  4409298 |  3214238 |     1710   4278 |        0 |        0
400.83/400.95	c  400s |      23 |  4430735 |  3229638 |     1710   4296 |        0 |        0
402.83/402.96	c  402s |      23 |  4452133 |  3245038 |     1710   4313 |        0 |        0
404.83/404.96	c  404s |      23 |  4471446 |  3259638 |     1710   4329 |        0 |        0
406.82/406.96	c  406s |      23 |  4492955 |  3274638 |     1710   4346 |        0 |        0
408.82/408.97	c  408s |      23 |  4511392 |  3288238 |     1710   4361 |        0 |        0
410.82/410.98	c  410s |      23 |  4532383 |  3303738 |     1710   4378 |        0 |        0
412.82/412.99	c  412s |      23 |  4551594 |  3317638 |     1710   4394 |        0 |        0
414.83/414.99	c  414s |      23 |  4571845 |  3332038 |     1710   4410 |        0 |        0
416.82/417.00	c  416s |      23 |  4591848 |  3346738 |     1710   4426 |        0 |        0
418.92/419.01	c  418s |      23 |  4612969 |  3361538 |     1882   4442 |        0 |        0
420.92/421.02	c  421s |      23 |  4632410 |  3375538 |     1882   4456 |        0 |        0
421.02/421.17	c  421s |      24 |  4634094 |  3376662 |     1882   4457 |        0 |        0
423.02/423.18	c  423s |      24 |  4652241 |  3389462 |     1882   4470 |        0 |        0
425.02/425.20	c  425s |      24 |  4668580 |  3401762 |     1882   4482 |        0 |        0
427.12/427.20	c  427s |      24 |  4684335 |  3413862 |     1882   4495 |        0 |        0
429.13/429.22	c  429s |      24 |  4705051 |  3428262 |     1882   4510 |        0 |        0
431.12/431.23	c  431s |      24 |  4725747 |  3443062 |     1882   4525 |        0 |        0
433.12/433.24	c  433s |      24 |  4746032 |  3457462 |     1882   4539 |        0 |        0
435.12/435.24	c  435s |      24 |  4766147 |  3472262 |     1882   4555 |        0 |        0
437.12/437.24	c  437s |      24 |  4787696 |  3487862 |     1882   4571 |        0 |        0
439.12/439.25	c  439s |      24 |  4808946 |  3502962 |     1882   4586 |        0 |        0
441.13/441.25	c  441s |      24 |  4831571 |  3518462 |     1882   4602 |        0 |        0
443.12/443.27	c  443s |      24 |  4850939 |  3533262 |     1882   4617 |        0 |        0
445.12/445.28	c  445s |      24 |  4872348 |  3548862 |     1882   4632 |        0 |        0
447.12/447.29	c  447s |      24 |  4892094 |  3564462 |     1882   4647 |        0 |        0
449.12/449.29	c  449s |      24 |  4912283 |  3579362 |     1882   4662 |        0 |        0
451.13/451.29	c  451s |      24 |  4933113 |  3595362 |     1882   4677 |        0 |        0
453.12/453.30	c  453s |      24 |  4954296 |  3611462 |     1882   4693 |        0 |        0
455.22/455.31	c  455s |      24 |  4975115 |  3626862 |     1882   4708 |        0 |        0
457.22/457.32	c  457s |      24 |  4996043 |  3642762 |     1882   4723 |        0 |        0
459.22/459.34	c  459s |      24 |  5015905 |  3658262 |     1882   4738 |        0 |        0
461.22/461.35	c  461s |      24 |  5035842 |  3673462 |     1882   4753 |        0 |        0
463.22/463.35	c  463s |      24 |  5055781 |  3688662 |     1882   4768 |        0 |        0
465.22/465.36	c  465s |      24 |  5076084 |  3704262 |     1882   4783 |        0 |        0
467.22/467.37	c  467s |      24 |  5098290 |  3720462 |     1882   4799 |        0 |        0
469.21/469.38	c  469s |      24 |  5117318 |  3735362 |     1882   4813 |        0 |        0
471.21/471.39	c  471s |      24 |  5136660 |  3750462 |     1882   4828 |        0 |        0
473.21/473.39	c  473s |      24 |  5156682 |  3765462 |     1882   4843 |        0 |        0
475.22/475.39	c  475s |      24 |  5176677 |  3781262 |     1882   4858 |        0 |        0
477.31/477.40	c  477s |      24 |  5196028 |  3796162 |     1882   4873 |        0 |        0
479.31/479.41	c  479s |      24 |  5215959 |  3811262 |     1882   4887 |        0 |        0
481.31/481.42	c  481s |      24 |  5234512 |  3825962 |     1882   4902 |        0 |        0
483.32/483.43	c  483s |      24 |  5254370 |  3840662 |     1882   4916 |        0 |        0
485.32/485.45	c  485s |      24 |  5275395 |  3855962 |     1882   4931 |        0 |        0
487.32/487.46	c  487s |      24 |  5293256 |  3869862 |     1882   4945 |        0 |        0
489.32/489.47	c  489s |      24 |  5312491 |  3884462 |     1882   4959 |        0 |        0
491.32/491.48	c  491s |      24 |  5331293 |  3899062 |     1882   4973 |        0 |        0
493.32/493.48	c  493s |      24 |  5348435 |  3912562 |     1882   4986 |        0 |        0
495.31/495.49	c  495s |      24 |  5367219 |  3926562 |     1882   5000 |        0 |        0
497.32/497.49	c  497s |      24 |  5387586 |  3941962 |     1882   5015 |        0 |        0
499.31/499.49	c  499s |      24 |  5407938 |  3957362 |     1882   5030 |        0 |        0
501.41/501.50	c  501s |      24 |  5426709 |  3971962 |     1882   5044 |        0 |        0
503.41/503.50	c  503s |      24 |  5445792 |  3986662 |     1882   5059 |        0 |        0
505.41/505.51	c  505s |      24 |  5465250 |  4001462 |     1882   5073 |        0 |        0
507.41/507.52	c  507s |      24 |  5484675 |  4016262 |     1882   5088 |        0 |        0
509.42/509.53	c  509s |      24 |  5503288 |  4030762 |     1882   5102 |        0 |        0
511.41/511.54	c  511s |      24 |  5521917 |  4045262 |     1882   5116 |        0 |        0
513.41/513.55	c  513s |      24 |  5539988 |  4059262 |     1882   5130 |        0 |        0
515.41/515.56	c  515s |      24 |  5558956 |  4073862 |     1882   5144 |        0 |        0
517.41/517.56	c  517s |      24 |  5580085 |  4088762 |     1882   5158 |        0 |        0
519.41/519.58	c  519s |      24 |  5598523 |  4102862 |     1882   5172 |        0 |        0
521.41/521.59	c  521s |      24 |  5616493 |  4116462 |     1882   5186 |        0 |        0
523.51/523.60	c  523s |      24 |  5635410 |  4130762 |     1882   5200 |        0 |        0
525.51/525.61	c  525s |      24 |  5654313 |  4145062 |     1882   5213 |        0 |        0
527.51/527.62	c  527s |      24 |  5674596 |  4160262 |     1882   5228 |        0 |        0
529.51/529.63	c  529s |      24 |  5695001 |  4175562 |     1882   5243 |        0 |        0
531.51/531.64	c  531s |      24 |  5714852 |  4190962 |     1882   5258 |        0 |        0
533.51/533.65	c  533s |      24 |  5732624 |  4205362 |     1882   5273 |        0 |        0
535.50/535.66	c  535s |      24 |  5751867 |  4220162 |     1882   5287 |        0 |        0
537.50/537.67	c  537s |      24 |  5771776 |  4235362 |     1882   5302 |        0 |        0
539.50/539.68	c  539s |      24 |  5792418 |  4250762 |     1882   5317 |        0 |        0
541.50/541.68	c  541s |      24 |  5812899 |  4265962 |     1882   5332 |        0 |        0
543.51/543.68	c  543s |      24 |  5831748 |  4280362 |     1882   5346 |        0 |        0
545.50/545.69	c  545s |      24 |  5851986 |  4295562 |     1882   5361 |        0 |        0
547.60/547.70	c  547s |      24 |  5870759 |  4310362 |     1882   5375 |        0 |        0
549.60/549.71	c  549s |      24 |  5890697 |  4325762 |     1882   5390 |        0 |        0
551.61/551.72	c  551s |      24 |  5911768 |  4341362 |     1882   5406 |        0 |        0
553.61/553.72	c  553s |      24 |  5930170 |  4355562 |     1882   5420 |        0 |        0
555.61/555.73	c  555s |      24 |  5949380 |  4370162 |     1882   5434 |        0 |        0
557.60/557.74	c  557s |      24 |  5967766 |  4384562 |     1882   5448 |        0 |        0
559.60/559.74	c  559s |      24 |  5987639 |  4399262 |     1882   5462 |        0 |        0
561.60/561.74	c  561s |      24 |  6008411 |  4414662 |     1882   5477 |        0 |        0
563.60/563.75	c  563s |      24 |  6027731 |  4428762 |     1882   5491 |        0 |        0
565.60/565.75	c  565s |      24 |  6045021 |  4442362 |     1882   5505 |        0 |        0
567.60/567.76	c  567s |      24 |  6063411 |  4456462 |     1882   5518 |        0 |        0
569.60/569.77	c  569s |      24 |  6083442 |  4471562 |     1882   5533 |        0 |        0
571.60/571.77	c  571s |      24 |  6102095 |  4485762 |     1882   5547 |        0 |        0
573.59/573.78	c  573s |      24 |  6120712 |  4500062 |     1882   5561 |        0 |        0
575.59/575.79	c  575s |      24 |  6140089 |  4514662 |     1882   5575 |        0 |        0
577.69/577.80	c  577s |      24 |  6159712 |  4529762 |     1882   5590 |        0 |        0
579.70/579.81	c  579s |      24 |  6178062 |  4543762 |     1882   5604 |        0 |        0
581.69/581.82	c  581s |      24 |  6197716 |  4558562 |     1882   5618 |        0 |        0
583.69/583.83	c  583s |      24 |  6216025 |  4572762 |     1882   5632 |        0 |        0
585.69/585.84	c  585s |      24 |  6235453 |  4587362 |     1882   5646 |        0 |        0
587.69/587.85	c  587s |      24 |  6256527 |  4603062 |     1882   5662 |        0 |        0
589.69/589.87	c  589s |      24 |  6275624 |  4618062 |     1882   5677 |        0 |        0
591.69/591.87	c  591s |      24 |  6295847 |  4632862 |     1882   5691 |        0 |        0
593.69/593.87	c  593s |      24 |  6316068 |  4648162 |     1882   5706 |        0 |        0
595.68/595.88	c  595s |      24 |  6336681 |  4663562 |     1882   5721 |        0 |        0
597.68/597.89	c  597s |      24 |  6358002 |  4678962 |     1882   5736 |        0 |        0
599.78/599.90	c  599s |      24 |  6376777 |  4693562 |     1882   5751 |        0 |        0
601.68/601.90	c  601s |      24 |  6394431 |  4706962 |     1882   5764 |        0 |        0
603.78/603.91	c  603s |      24 |  6414033 |  4721962 |     1882   5779 |        0 |        0
605.77/605.93	c  605s |      24 |  6433997 |  4737062 |     1882   5794 |        0 |        0
607.77/607.93	c  607s |      24 |  6452677 |  4751262 |     1882   5807 |        0 |        0
609.77/609.93	c  609s |      24 |  6472594 |  4766062 |     1882   5822 |        0 |        0
611.77/611.93	c  611s |      24 |  6491580 |  4780362 |     1882   5836 |        0 |        0
613.78/613.95	c  613s |      24 |  6511305 |  4795062 |     1882   5850 |        0 |        0
615.77/615.95	c  615s |      24 |  6530075 |  4809362 |     1882   5864 |        0 |        0
617.77/617.95	c  617s |      24 |  6549936 |  4824162 |     1882   5879 |        0 |        0
619.76/619.96	c  619s |      24 |  6568826 |  4838562 |     1882   5893 |        0 |        0
621.76/621.96	c  621s |      24 |  6587640 |  4853062 |     1882   5907 |        0 |        0
623.77/623.96	c  623s |      24 |  6605565 |  4867662 |     1882   5921 |        0 |        0
625.76/625.97	c  625s |      24 |  6627100 |  4883262 |     1882   5937 |        0 |        0
627.76/627.99	c  627s |      24 |  6646880 |  4897862 |     1882   5951 |        0 |        0
629.76/629.99	c  629s |      24 |  6667202 |  4912862 |     1882   5966 |        0 |        0
631.76/631.99	c  631s |      24 |  6685791 |  4927062 |     1882   5980 |        0 |        0
633.86/634.00	c  633s |      24 |  6704860 |  4941662 |     1882   5994 |        0 |        0
635.87/636.01	c  635s |      24 |  6724733 |  4956362 |     1882   6009 |        0 |        0
637.86/638.01	c  637s |      24 |  6743489 |  4970862 |     1882   6023 |        0 |        0
639.86/640.02	c  640s |      24 |  6760535 |  4984162 |     1882   6036 |        0 |        0
641.86/642.02	c  642s |      24 |  6780293 |  4999262 |     1882   6051 |        0 |        0
643.86/644.03	c  644s |      24 |  6800691 |  5014762 |     1882   6066 |        0 |        0
645.86/646.04	c  646s |      24 |  6820449 |  5029462 |     2071   6080 |        0 |        0
647.86/648.04	c  648s |      24 |  6838624 |  5043362 |     2071   6093 |        0 |        0
649.85/650.04	c  650s |      24 |  6857516 |  5057662 |     2071   6105 |        0 |        0
650.85/651.06	c  651s |      25 |  6867153 |  5065098 |     2071   6112 |        0 |        0
652.85/653.07	c  653s |      25 |  6885843 |  5079798 |     2071   6125 |        0 |        0
654.85/655.08	c  655s |      25 |  6903828 |  5093798 |     2071   6138 |        0 |        0
656.85/657.09	c  657s |      25 |  6922034 |  5107898 |     2071   6150 |        0 |        0
658.85/659.09	c  659s |      25 |  6939871 |  5121698 |     2071   6162 |        0 |        0
660.95/661.10	c  661s |      25 |  6958603 |  5136198 |     2071   6175 |        0 |        0
662.95/663.12	c  663s |      25 |  6977701 |  5150398 |     2071   6188 |        0 |        0
664.94/665.13	c  665s |      25 |  6996972 |  5164898 |     2071   6201 |        0 |        0
666.94/667.14	c  667s |      25 |  7013249 |  5178098 |     2071   6213 |        0 |        0
668.94/669.14	c  669s |      25 |  7030928 |  5191898 |     2071   6225 |        0 |        0
670.95/671.14	c  671s |      25 |  7047808 |  5205298 |     2071   6237 |        0 |        0
672.94/673.17	c  673s |      25 |  7066000 |  5219498 |     2071   6250 |        0 |        0
674.93/675.18	c  675s |      25 |  7083935 |  5233398 |     2071   6262 |        0 |        0
676.93/677.19	c  677s |      25 |  7101887 |  5247198 |     2071   6274 |        0 |        0
678.93/679.19	c  679s |      25 |  7121226 |  5261898 |     2071   6287 |        0 |        0
681.03/681.21	c  681s |      25 |  7140391 |  5276198 |     2071   6300 |        0 |        0
683.04/683.21	c  683s |      25 |  7158982 |  5289898 |     2071   6312 |        0 |        0
685.03/685.23	c  685s |      25 |  7177384 |  5303598 |     2071   6325 |        0 |        0
687.03/687.24	c  687s |      25 |  7194509 |  5316698 |     2071   6336 |        0 |        0
689.03/689.24	c  689s |      25 |  7210872 |  5329798 |     2071   6348 |        0 |        0
691.03/691.24	c  691s |      25 |  7228941 |  5343598 |     2071   6360 |        0 |        0
693.03/693.24	c  693s |      25 |  7246679 |  5357698 |     2071   6373 |        0 |        0
695.02/695.25	c  695s |      25 |  7262672 |  5370498 |     2071   6385 |        0 |        0
697.02/697.25	c  697s |      25 |  7281667 |  5384798 |     2071   6397 |        0 |        0
699.02/699.26	c  699s |      25 |  7301322 |  5399898 |     2071   6411 |        0 |        0
701.03/701.27	c  701s |      25 |  7321286 |  5415198 |     2071   6425 |        0 |        0
703.03/703.27	c  703s |      25 |  7339831 |  5429098 |     2071   6437 |        0 |        0
705.03/705.28	c  705s |      25 |  7358578 |  5443498 |     2071   6450 |        0 |        0
707.02/707.29	c  707s |      25 |  7378102 |  5458098 |     2071   6463 |        0 |        0
709.02/709.29	c  709s |      25 |  7397868 |  5472998 |     2071   6476 |        0 |        0
711.12/711.30	c  711s |      25 |  7416093 |  5487398 |     2071   6489 |        0 |        0
713.12/713.31	c  713s |      25 |  7434204 |  5501198 |     2071   6501 |        0 |        0
715.12/715.32	c  715s |      25 |  7451712 |  5514798 |     2071   6514 |        0 |        0
717.13/717.33	c  717s |      25 |  7470790 |  5528698 |     2071   6526 |        0 |        0
719.12/719.33	c  719s |      25 |  7488369 |  5542298 |     2071   6538 |        0 |        0
721.12/721.33	c  721s |      25 |  7507729 |  5556498 |     2071   6551 |        0 |        0
723.12/723.35	c  723s |      25 |  7526374 |  5570698 |     2071   6564 |        0 |        0
725.11/725.36	c  725s |      25 |  7543931 |  5584198 |     2071   6576 |        0 |        0
727.12/727.37	c  727s |      25 |  7560531 |  5596998 |     2071   6588 |        0 |        0
729.11/729.37	c  729s |      25 |  7579723 |  5611398 |     2071   6601 |        0 |        0
731.11/731.38	c  731s |      25 |  7598109 |  5625398 |     2071   6613 |        0 |        0
733.11/733.39	c  733s |      25 |  7616293 |  5639298 |     2071   6626 |        0 |        0
735.20/735.40	c  735s |      25 |  7632342 |  5651898 |     2071   6637 |        0 |        0
737.20/737.41	c  737s |      25 |  7650195 |  5665498 |     2071   6649 |        0 |        0
739.21/739.41	c  739s |      25 |  7669452 |  5679798 |     2071   6662 |        0 |        0
741.20/741.42	c  741s |      25 |  7688599 |  5694698 |     2071   6675 |        0 |        0
743.20/743.43	c  743s |      25 |  7708547 |  5709298 |     2071   6688 |        0 |        0
745.20/745.44	c  745s |      25 |  7726697 |  5722998 |     2071   6701 |        0 |        0
747.20/747.44	c  747s |      25 |  7745192 |  5736798 |     2071   6713 |        0 |        0
749.20/749.45	c  749s |      25 |  7762105 |  5749998 |     2071   6725 |        0 |        0
751.21/751.45	c  751s |      25 |  7777314 |  5762498 |     2071   6736 |        0 |        0
753.20/753.45	c  753s |      25 |  7793279 |  5775398 |     2071   6748 |        0 |        0
755.19/755.46	c  755s |      25 |  7812248 |  5789798 |     2071   6761 |        0 |        0
757.19/757.47	c  757s |      25 |  7829689 |  5803298 |     2071   6773 |        0 |        0
759.19/759.47	c  759s |      25 |  7848072 |  5817198 |     2071   6785 |        0 |        0
761.20/761.48	c  761s |      25 |  7865300 |  5830598 |     2071   6797 |        0 |        0
763.19/763.50	c  763s |      25 |  7882413 |  5843698 |     2071   6809 |        0 |        0
765.28/765.50	c  765s |      25 |  7899109 |  5856798 |     2071   6821 |        0 |        0
767.28/767.50	c  767s |      25 |  7915074 |  5869598 |     2071   6833 |        0 |        0
769.28/769.51	c  769s |      25 |  7932550 |  5883298 |     2071   6845 |        0 |        0
771.28/771.52	c  771s |      25 |  7951018 |  5896598 |     2071   6857 |        0 |        0
773.29/773.54	c  773s |      25 |  7970134 |  5910798 |     2071   6870 |        0 |        0
775.28/775.55	c  775s |      25 |  7988729 |  5924898 |     2071   6882 |        0 |        0
777.28/777.55	c  777s |      25 |  8007248 |  5938998 |     2071   6895 |        0 |        0
779.28/779.57	c  779s |      25 |  8026285 |  5953098 |     2071   6908 |        0 |        0
781.28/781.58	c  781s |      25 |  8046800 |  5967998 |     2071   6921 |        0 |        0
783.28/783.59	c  783s |      25 |  8064139 |  5981698 |     2071   6933 |        0 |        0
785.28/785.59	c  785s |      25 |  8083192 |  5996098 |     2071   6946 |        0 |        0
787.37/787.60	c  787s |      25 |  8101403 |  6009898 |     2071   6959 |        0 |        0
789.37/789.61	c  789s |      25 |  8118227 |  6023098 |     2071   6971 |        0 |        0
791.37/791.61	c  791s |      25 |  8136745 |  6037398 |     2071   6983 |        0 |        0
793.37/793.62	c  793s |      25 |  8155634 |  6051698 |     2071   6996 |        0 |        0
795.36/795.63	c  795s |      25 |  8171832 |  6064598 |     2071   7008 |        0 |        0
797.37/797.65	c  797s |      25 |  8189685 |  6078598 |     2071   7021 |        0 |        0
799.37/799.66	c  799s |      25 |  8208682 |  6092898 |     2071   7033 |        0 |        0
801.37/801.67	c  801s |      25 |  8226902 |  6107198 |     2071   7046 |        0 |        0
803.37/803.67	c  803s |      25 |  8245403 |  6120998 |     2071   7059 |        0 |        0
805.37/805.68	c  805s |      25 |  8262426 |  6133998 |     2071   7071 |        0 |        0
807.37/807.69	c  807s |      25 |  8280630 |  6148098 |     2071   7083 |        0 |        0
809.37/809.70	c  809s |      25 |  8297115 |  6161598 |     2071   7095 |        0 |        0
811.46/811.70	c  811s |      25 |  8314050 |  6175098 |     2071   7108 |        0 |        0
813.46/813.71	c  813s |      25 |  8330672 |  6188798 |     2071   7120 |        0 |        0
815.46/815.71	c  815s |      25 |  8348314 |  6202498 |     2071   7132 |        0 |        0
817.46/817.71	c  817s |      25 |  8366220 |  6216098 |     2071   7144 |        0 |        0
819.47/819.73	c  819s |      25 |  8384258 |  6229998 |     2071   7157 |        0 |        0
821.46/821.74	c  821s |      25 |  8402002 |  6243898 |     2071   7169 |        0 |        0
823.46/823.75	c  823s |      25 |  8420189 |  6257898 |     2071   7182 |        0 |        0
825.46/825.76	c  825s |      25 |  8436381 |  6270598 |     2071   7193 |        0 |        0
827.46/827.76	c  827s |      25 |  8454275 |  6284198 |     2071   7206 |        0 |        0
829.45/829.78	c  829s |      25 |  8473329 |  6298398 |     2071   7218 |        0 |        0
831.46/831.79	c  831s |      25 |  8491815 |  6312298 |     2071   7231 |        0 |        0
833.55/833.80	c  833s |      25 |  8509750 |  6326098 |     2071   7243 |        0 |        0
835.55/835.81	c  835s |      25 |  8527860 |  6339298 |     2071   7255 |        0 |        0
837.55/837.82	c  837s |      25 |  8545148 |  6352498 |     2071   7267 |        0 |        0
839.55/839.82	c  839s |      25 |  8560277 |  6364698 |     2071   7278 |        0 |        0
841.55/841.83	c  841s |      25 |  8577292 |  6378198 |     2071   7290 |        0 |        0
843.55/843.83	c  843s |      25 |  8594212 |  6390898 |     2071   7302 |        0 |        0
845.54/845.84	c  845s |      25 |  8612502 |  6404498 |     2071   7314 |        0 |        0
847.54/847.86	c  847s |      25 |  8628852 |  6417298 |     2071   7326 |        0 |        0
849.54/849.87	c  849s |      25 |  8646319 |  6430598 |     2071   7338 |        0 |        0
851.54/851.87	c  851s |      25 |  8663232 |  6443198 |     2071   7349 |        0 |        0
853.54/853.88	c  853s |      25 |  8680060 |  6456598 |     2071   7361 |        0 |        0
855.54/855.89	c  855s |      25 |  8695709 |  6468898 |     2071   7372 |        0 |        0
857.54/857.89	c  857s |      25 |  8712546 |  6481798 |     2071   7384 |        0 |        0
859.54/859.89	c  859s |      25 |  8729865 |  6494998 |     2071   7396 |        0 |        0
861.64/861.90	c  861s |      25 |  8748154 |  6508598 |     2071   7408 |        0 |        0
863.64/863.91	c  863s |      25 |  8765710 |  6522298 |     2071   7420 |        0 |        0
865.65/865.92	c  865s |      25 |  8782124 |  6535398 |     2071   7432 |        0 |        0
867.64/867.93	c  867s |      25 |  8799750 |  6548798 |     2071   7444 |        0 |        0
869.64/869.94	c  869s |      25 |  8816807 |  6562198 |     2071   7456 |        0 |        0
871.64/871.94	c  871s |      25 |  8833721 |  6575198 |     2071   7468 |        0 |        0
873.64/873.95	c  873s |      25 |  8851997 |  6589098 |     2071   7480 |        0 |        0
875.63/875.96	c  875s |      25 |  8869537 |  6602498 |     2071   7492 |        0 |        0
877.64/877.97	c  877s |      25 |  8885935 |  6615098 |     2071   7504 |        0 |        0
879.63/879.98	c  879s |      25 |  8901680 |  6627798 |     2071   7515 |        0 |        0
881.63/881.99	c  881s |      25 |  8919567 |  6641498 |     2071   7527 |        0 |        0
883.73/884.00	c  883s |      25 |  8936025 |  6654198 |     2071   7539 |        0 |        0
885.73/886.00	c  885s |      25 |  8953787 |  6667598 |     2071   7551 |        0 |        0
887.73/888.01	c  887s |      25 |  8972636 |  6681398 |     2071   7563 |        0 |        0
889.74/890.03	c  890s |      25 |  8990950 |  6694998 |     2071   7576 |        0 |        0
891.73/892.04	c  892s |      25 |  9009672 |  6709098 |     2071   7588 |        0 |        0
893.73/894.05	c  894s |      25 |  9026839 |  6722098 |     2071   7600 |        0 |        0
895.72/896.05	c  896s |      25 |  9045502 |  6736098 |     2071   7613 |        0 |        0
897.72/898.06	c  898s |      25 |  9064419 |  6749998 |     2071   7625 |        0 |        0
899.73/900.07	c  900s |      25 |  9081353 |  6763198 |     2071   7637 |        0 |        0
901.72/902.08	c  902s |      25 |  9098081 |  6776798 |     2071   7649 |        0 |        0
903.72/904.09	c  904s |      25 |  9113633 |  6789498 |     2071   7661 |        0 |        0
905.72/906.10	c  906s |      25 |  9130065 |  6802598 |     2071   7672 |        0 |        0
907.82/908.10	c  908s |      25 |  9144801 |  6814598 |     2071   7683 |        0 |        0
909.82/910.11	c  910s |      25 |  9162141 |  6828298 |     2071   7695 |        0 |        0
911.82/912.12	c  912s |      25 |  9178741 |  6840998 |     2071   7707 |        0 |        0
913.82/914.13	c  914s |      25 |  9196552 |  6854998 |     2071   7719 |        0 |        0
915.81/916.13	c  916s |      25 |  9213065 |  6867398 |     2071   7731 |        0 |        0
917.81/918.13	c  918s |      25 |  9228570 |  6879598 |     2071   7741 |        0 |        0
919.81/920.14	c  920s |      25 |  9242866 |  6891098 |     2071   7752 |        0 |        0
921.81/922.15	c  922s |      25 |  9258058 |  6902798 |     2071   7762 |        0 |        0
923.81/924.16	c  924s |      25 |  9273296 |  6914798 |     2071   7773 |        0 |        0
925.80/926.17	c  926s |      25 |  9289050 |  6926898 |     2071   7784 |        0 |        0
927.80/928.18	c  928s |      25 |  9305567 |  6939298 |     2071   7795 |        0 |        0
929.80/930.20	c  930s |      25 |  9322099 |  6951698 |     2071   7806 |        0 |        0
931.90/932.21	c  932s |      25 |  9337642 |  6963798 |     2071   7817 |        0 |        0
933.90/934.21	c  934s |      25 |  9353838 |  6976498 |     2071   7829 |        0 |        0
935.90/936.22	c  936s |      25 |  9371140 |  6989598 |     2071   7841 |        0 |        0
937.89/938.24	c  938s |      25 |  9388613 |  7002898 |     2071   7853 |        0 |        0
939.89/940.24	c  940s |      25 |  9405804 |  7015798 |     2071   7864 |        0 |        0
941.89/942.24	c  942s |      25 |  9422572 |  7028798 |     2071   7876 |        0 |        0
943.89/944.24	c  944s |      25 |  9440236 |  7042198 |     2071   7888 |        0 |        0
945.90/946.25	c  946s |      25 |  9457804 |  7055198 |     2071   7900 |        0 |        0
947.89/948.25	c  948s |      25 |  9476513 |  7068998 |     2071   7912 |        0 |        0
949.89/950.26	c  950s |      25 |  9495553 |  7082998 |     2071   7925 |        0 |        0
951.89/952.27	c  952s |      25 |  9514004 |  7096598 |     2071   7937 |        0 |        0
953.89/954.27	c  954s |      25 |  9532822 |  7110398 |     2071   7950 |        0 |        0
955.88/956.27	c  956s |      25 |  9549684 |  7123298 |     2071   7961 |        0 |        0
957.90/958.28	c  958s |      25 |  9569428 |  7137498 |     2071   7974 |        0 |        0
959.89/960.29	c  960s |      25 |  9587383 |  7150998 |     2071   7986 |        0 |        0
961.99/962.30	c  962s |      25 |  9606126 |  7164998 |     2071   7999 |        0 |        0
963.99/964.30	c  964s |      25 |  9623451 |  7177898 |     2071   8010 |        0 |        0
965.98/966.31	c  966s |      25 |  9640273 |  7190798 |     2071   8022 |        0 |        0
967.98/968.32	c  968s |      25 |  9658522 |  7204498 |     2071   8034 |        0 |        0
969.99/970.32	c  970s |      25 |  9678182 |  7218898 |     2071   8047 |        0 |        0
971.98/972.34	c  972s |      25 |  9694657 |  7232098 |     2071   8059 |        0 |        0
973.98/974.35	c  974s |      25 |  9713183 |  7246198 |     2071   8072 |        0 |        0
975.98/976.35	c  976s |      25 |  9730679 |  7259398 |     2071   8084 |        0 |        0
977.98/978.36	c  978s |      25 |  9748948 |  7273098 |     2071   8096 |        0 |        0
979.98/980.37	c  980s |      25 |  9767283 |  7287098 |     2071   8109 |        0 |        0
981.98/982.38	c  982s |      25 |  9786526 |  7301498 |     2071   8122 |        0 |        0
983.98/984.40	c  984s |      25 |  9803842 |  7315298 |     2071   8135 |        0 |        0
986.07/986.40	c  986s |      25 |  9822162 |  7329398 |     2071   8147 |        0 |        0
988.07/988.41	c  988s |      25 |  9840050 |  7343498 |     2071   8160 |        0 |        0
990.07/990.41	c  990s |      25 |  9858968 |  7357998 |     2071   8174 |        0 |        0
992.07/992.42	c  992s |      25 |  9878705 |  7373098 |     2071   8187 |        0 |        0
994.07/994.43	c  994s |      25 |  9898424 |  7387798 |     2071   8201 |        0 |        0
996.06/996.44	c  996s |      25 |  9916139 |  7401198 |     2071   8213 |        0 |        0
998.06/998.45	c  998s |      25 |  9932705 |  7413798 |     2071   8225 |        0 |        0
1000.06/1000.46	c 1000s |      25 |  9951366 |  7427898 |     2071   8237 |        0 |        0
1002.06/1002.47	c 1002s |      25 |  9968999 |  7441498 |     2071   8250 |        0 |        0
1004.07/1004.47	c 1004s |      25 |  9987323 |  7455398 |     2071   8263 |        0 |        0
1006.05/1006.48	c 1006s |      25 | 10007622 |  7469998 |     2071   8276 |        0 |        0
1008.05/1008.48	c 1008s |      25 | 10026515 |  7484298 |     2071   8289 |        0 |        0
1010.05/1010.48	c 1010s |      25 | 10046030 |  7498498 |     2071   8302 |        0 |        0
1012.05/1012.49	c 1012s |      25 | 10065041 |  7512898 |     2071   8315 |        0 |        0
1014.15/1014.50	c 1014s |      25 | 10084586 |  7527298 |     2071   8329 |        0 |        0
1016.04/1016.50	c 1016s |      25 | 10103216 |  7541298 |     2071   8342 |        0 |        0
1018.14/1018.51	c 1018s |      25 | 10122467 |  7555098 |     2279   8353 |        0 |        0
1020.14/1020.51	c 1020s |      25 | 10138764 |  7567998 |     2279   8364 |        0 |        0
1022.14/1022.52	c 1022s |      25 | 10155904 |  7581198 |     2279   8375 |        0 |        0
1024.14/1024.53	c 1024s |      25 | 10172804 |  7593698 |     2279   8386 |        0 |        0
1024.74/1025.16	c 1025s |      26 | 10178347 |  7597752 |     2279   8389 |        0 |        0
1026.74/1027.18	c 1027s |      26 | 10195783 |  7611152 |     2279   8400 |        0 |        0
1028.74/1029.18	c 1029s |      26 | 10214124 |  7624952 |     2279   8411 |        0 |        0
1030.74/1031.18	c 1031s |      26 | 10232605 |  7638952 |     2279   8423 |        0 |        0
1032.85/1033.20	c 1033s |      26 | 10250437 |  7652552 |     2279   8434 |        0 |        0
1034.85/1035.20	c 1035s |      26 | 10267509 |  7665752 |     2279   8445 |        0 |        0
1036.84/1037.22	c 1037s |      26 | 10285167 |  7678752 |     2279   8456 |        0 |        0
1038.84/1039.22	c 1039s |      26 | 10302834 |  7692152 |     2279   8467 |        0 |        0
1040.84/1041.23	c 1041s |      26 | 10319502 |  7705252 |     2279   8478 |        0 |        0
1042.84/1043.24	c 1043s |      26 | 10335513 |  7717752 |     2279   8488 |        0 |        0
1044.84/1045.26	c 1045s |      26 | 10351898 |  7730452 |     2279   8499 |        0 |        0
1046.83/1047.27	c 1047s |      26 | 10370522 |  7743752 |     2279   8510 |        0 |        0
1048.83/1049.28	c 1049s |      26 | 10388376 |  7756752 |     2279   8520 |        0 |        0
1050.83/1051.28	c 1051s |      26 | 10405290 |  7769352 |     2279   8531 |        0 |        0
1052.83/1053.28	c 1053s |      26 | 10423510 |  7783052 |     2279   8542 |        0 |        0
1054.83/1055.29	c 1055s |      26 | 10441873 |  7797052 |     2279   8554 |        0 |        0
1056.94/1057.30	c 1057s |      26 | 10460120 |  7810952 |     2279   8565 |        0 |        0
1058.93/1059.30	c 1059s |      26 | 10478992 |  7825152 |     2279   8577 |        0 |        0
1060.93/1061.32	c 1061s |      26 | 10498384 |  7839352 |     2279   8589 |        0 |        0
1062.93/1063.33	c 1063s |      26 | 10517662 |  7853652 |     2279   8601 |        0 |        0
1064.92/1065.34	c 1065s |      26 | 10538065 |  7868752 |     2279   8613 |        0 |        0
1066.92/1067.34	c 1067s |      26 | 10555322 |  7882352 |     2279   8624 |        0 |        0
1068.93/1069.34	c 1069s |      26 | 10572540 |  7896152 |     2279   8636 |        0 |        0
1070.92/1071.34	c 1071s |      26 | 10589889 |  7909552 |     2279   8647 |        0 |        0
1072.92/1073.36	c 1073s |      26 | 10608578 |  7923252 |     2279   8658 |        0 |        0
1074.91/1075.37	c 1075s |      26 | 10626823 |  7937252 |     2279   8670 |        0 |        0
1076.91/1077.39	c 1077s |      26 | 10643753 |  7950552 |     2279   8681 |        0 |        0
1079.01/1079.40	c 1079s |      26 | 10659566 |  7963152 |     2279   8692 |        0 |        0
1081.02/1081.42	c 1081s |      26 | 10676561 |  7976152 |     2279   8703 |        0 |        0
1083.01/1083.42	c 1083s |      26 | 10694998 |  7989752 |     2279   8714 |        0 |        0
1085.01/1085.43	c 1085s |      26 | 10713271 |  8003652 |     2279   8725 |        0 |        0
1087.01/1087.45	c 1087s |      26 | 10732654 |  8017752 |     2279   8737 |        0 |        0
1089.01/1089.46	c 1089s |      26 | 10749857 |  8031352 |     2279   8749 |        0 |        0
1091.01/1091.47	c 1091s |      26 | 10767103 |  8044652 |     2279   8760 |        0 |        0
1093.01/1093.48	c 1093s |      26 | 10785191 |  8057952 |     2279   8771 |        0 |        0
1095.00/1095.49	c 1095s |      26 | 10802814 |  8071152 |     2279   8782 |        0 |        0
1097.00/1097.49	c 1097s |      26 | 10821262 |  8085152 |     2279   8793 |        0 |        0
1099.10/1099.51	c 1099s |      26 | 10839558 |  8098952 |     2279   8805 |        0 |        0
1101.10/1101.52	c 1101s |      26 | 10857531 |  8112852 |     2279   8816 |        0 |        0
1103.11/1103.53	c 1103s |      26 | 10875638 |  8126652 |     2279   8828 |        0 |        0
1105.10/1105.54	c 1105s |      26 | 10894047 |  8140452 |     2279   8839 |        0 |        0
1107.10/1107.54	c 1107s |      26 | 10912514 |  8154252 |     2279   8851 |        0 |        0
1109.10/1109.55	c 1109s |      26 | 10930916 |  8168252 |     2279   8862 |        0 |        0
1111.10/1111.55	c 1111s |      26 | 10949147 |  8182052 |     2279   8874 |        0 |        0
1113.10/1113.55	c 1113s |      26 | 10965900 |  8195252 |     2279   8885 |        0 |        0
1115.10/1115.56	c 1115s |      26 | 10982475 |  8208352 |     2279   8896 |        0 |        0
1117.09/1117.56	c 1117s |      26 | 10999012 |  8221152 |     2279   8906 |        0 |        0
1119.09/1119.58	c 1119s |      26 | 11015518 |  8234052 |     2279   8917 |        0 |        0
1121.09/1121.59	c 1121s |      26 | 11032683 |  8247052 |     2279   8928 |        0 |        0
1123.09/1123.59	c 1123s |      26 | 11051409 |  8260952 |     2279   8939 |        0 |        0
1125.09/1125.59	c 1125s |      26 | 11070194 |  8274752 |     2279   8951 |        0 |        0
1127.09/1127.60	c 1127s |      26 | 11089011 |  8288852 |     2279   8963 |        0 |        0
1129.19/1129.62	c 1129s |      26 | 11107466 |  8302652 |     2279   8974 |        0 |        0
1131.19/1131.62	c 1131s |      26 | 11124620 |  8316052 |     2279   8985 |        0 |        0
1133.19/1133.62	c 1133s |      26 | 11140034 |  8328652 |     2279   8996 |        0 |        0
1135.18/1135.62	c 1135s |      26 | 11156532 |  8341352 |     2279   9006 |        0 |        0
1137.19/1137.63	c 1137s |      26 | 11172980 |  8354052 |     2279   9017 |        0 |        0
1139.18/1139.64	c 1139s |      26 | 11190718 |  8367552 |     2279   9028 |        0 |        0
1141.18/1141.64	c 1141s |      26 | 11209280 |  8381052 |     2279   9040 |        0 |        0
1143.18/1143.66	c 1143s |      26 | 11226969 |  8394152 |     2279   9051 |        0 |        0
1145.18/1145.66	c 1145s |      26 | 11244347 |  8407352 |     2279   9062 |        0 |        0
1147.18/1147.67	c 1147s |      26 | 11261067 |  8420252 |     2279   9072 |        0 |        0
1149.18/1149.68	c 1149s |      26 | 11277426 |  8432452 |     2279   9082 |        0 |        0
1151.17/1151.68	c 1151s |      26 | 11292796 |  8444652 |     2279   9093 |        0 |        0
1153.17/1153.68	c 1153s |      26 | 11308979 |  8457152 |     2279   9103 |        0 |        0
1155.17/1155.69	c 1155s |      26 | 11326006 |  8469652 |     2279   9113 |        0 |        0
1157.17/1157.69	c 1157s |      26 | 11343522 |  8482852 |     2279   9125 |        0 |        0
1159.27/1159.70	c 1159s |      26 | 11360573 |  8495852 |     2279   9135 |        0 |        0
1161.28/1161.71	c 1161s |      26 | 11377662 |  8509152 |     2279   9147 |        0 |        0
1163.27/1163.72	c 1163s |      26 | 11394724 |  8522152 |     2279   9158 |        0 |        0
1165.27/1165.72	c 1165s |      26 | 11413608 |  8536252 |     2279   9170 |        0 |        0
1167.26/1167.72	c 1167s |      26 | 11432140 |  8550552 |     2279   9182 |        0 |        0
1169.26/1169.72	c 1169s |      26 | 11449534 |  8563852 |     2279   9193 |        0 |        0
1171.27/1171.74	c 1171s |      26 | 11469267 |  8578352 |     2279   9205 |        0 |        0
1173.26/1173.75	c 1173s |      26 | 11488646 |  8592752 |     2279   9217 |        0 |        0
1175.26/1175.75	c 1175s |      26 | 11508755 |  8607252 |     2279   9229 |        0 |        0
1177.27/1177.76	c 1177s |      26 | 11527127 |  8621352 |     2279   9241 |        0 |        0
1179.27/1179.77	c 1179s |      26 | 11544568 |  8634652 |     2279   9252 |        0 |        0
1181.27/1181.77	c 1181s |      26 | 11562561 |  8648552 |     2279   9264 |        0 |        0
1183.27/1183.78	c 1183s |      26 | 11580354 |  8662252 |     2279   9276 |        0 |        0
1185.26/1185.79	c 1185s |      26 | 11598845 |  8676152 |     2279   9288 |        0 |        0
1187.26/1187.79	c 1187s |      26 | 11617160 |  8690152 |     2279   9299 |        0 |        0
1189.26/1189.79	c 1189s |      26 | 11634133 |  8703052 |     2279   9310 |        0 |        0
1191.26/1191.79	c 1191s |      26 | 11651433 |  8716452 |     2279   9322 |        0 |        0
1193.36/1193.81	c 1193s |      26 | 11669003 |  8730052 |     2279   9333 |        0 |        0
1195.36/1195.82	c 1195s |      26 | 11686900 |  8743552 |     2279   9345 |        0 |        0
1197.35/1197.83	c 1197s |      26 | 11706059 |  8757752 |     2279   9357 |        0 |        0
1199.35/1199.85	c 1199s |      26 | 11724391 |  8771752 |     2279   9368 |        0 |        0
1201.35/1201.85	c 1201s |      26 | 11741870 |  8785152 |     2279   9380 |        0 |        0
1203.35/1203.86	c 1203s |      26 | 11759271 |  8798352 |     2279   9391 |        0 |        0
1205.36/1205.86	c 1205s |      26 | 11775303 |  8810452 |     2279   9401 |        0 |        0
1207.35/1207.88	c 1207s |      26 | 11792666 |  8823752 |     2279   9412 |        0 |        0
1209.35/1209.89	c 1209s |      26 | 11809444 |  8836652 |     2279   9423 |        0 |        0
1211.45/1211.90	c 1211s |      26 | 11825851 |  8849352 |     2279   9434 |        0 |        0
1213.45/1213.91	c 1213s |      26 | 11841297 |  8861552 |     2279   9444 |        0 |        0
1215.45/1215.91	c 1215s |      26 | 11859075 |  8874752 |     2279   9455 |        0 |        0
1217.46/1217.93	c 1217s |      26 | 11876867 |  8887852 |     2279   9466 |        0 |        0
1219.45/1219.94	c 1219s |      26 | 11893158 |  8900952 |     2279   9477 |        0 |        0
1221.45/1221.95	c 1221s |      26 | 11911105 |  8914252 |     2279   9489 |        0 |        0
1223.45/1223.95	c 1223s |      26 | 11929717 |  8927952 |     2279   9500 |        0 |        0
1225.45/1225.96	c 1225s |      26 | 11947384 |  8941052 |     2279   9511 |        0 |        0
1227.45/1227.97	c 1227s |      26 | 11964841 |  8954152 |     2279   9522 |        0 |        0
1229.45/1229.98	c 1229s |      26 | 11980768 |  8966352 |     2279   9533 |        0 |        0
1231.45/1231.99	c 1231s |      26 | 11997404 |  8978852 |     2279   9543 |        0 |        0
1233.55/1234.00	c 1233s |      26 | 12015080 |  8991352 |     2279   9554 |        0 |        0
1235.55/1236.01	c 1235s |      26 | 12033186 |  9004752 |     2279   9565 |        0 |        0
1237.54/1238.01	c 1237s |      26 | 12051136 |  9018252 |     2279   9576 |        0 |        0
1239.54/1240.01	c 1239s |      26 | 12068318 |  9031252 |     2279   9587 |        0 |        0
1241.55/1242.02	c 1242s |      26 | 12086817 |  9044152 |     2279   9598 |        0 |        0
1243.54/1244.03	c 1244s |      26 | 12105675 |  9058152 |     2279   9610 |        0 |        0
1245.54/1246.03	c 1246s |      26 | 12122723 |  9071552 |     2279   9621 |        0 |        0
1247.54/1248.04	c 1248s |      26 | 12140397 |  9084252 |     2279   9632 |        0 |        0
1249.54/1250.05	c 1250s |      26 | 12158101 |  9097452 |     2279   9643 |        0 |        0
1251.55/1252.05	c 1252s |      26 | 12174544 |  9110152 |     2279   9654 |        0 |        0
1253.54/1254.07	c 1254s |      26 | 12191545 |  9122952 |     2279   9665 |        0 |        0
1255.54/1256.08	c 1256s |      26 | 12208129 |  9135552 |     2279   9675 |        0 |        0
1257.64/1258.10	c 1258s |      26 | 12225159 |  9148352 |     2279   9686 |        0 |        0
1259.64/1260.11	c 1260s |      26 | 12241710 |  9160852 |     2279   9696 |        0 |        0
1261.64/1262.12	c 1262s |      26 | 12258055 |  9173052 |     2279   9707 |        0 |        0
1263.65/1264.14	c 1264s |      26 | 12273674 |  9184852 |     2279   9717 |        0 |        0
1265.64/1266.14	c 1266s |      26 | 12291079 |  9197352 |     2279   9727 |        0 |        0
1267.64/1268.15	c 1268s |      26 | 12310346 |  9210952 |     2279   9739 |        0 |        0
1269.64/1270.17	c 1270s |      26 | 12327319 |  9223752 |     2279   9749 |        0 |        0
1271.64/1272.18	c 1272s |      26 | 12342630 |  9235652 |     2279   9759 |        0 |        0
1273.64/1274.19	c 1274s |      26 | 12359636 |  9248452 |     2279   9770 |        0 |        0
1275.74/1276.20	c 1276s |      26 | 12374414 |  9260052 |     2279   9780 |        0 |        0
1277.74/1278.21	c 1278s |      26 | 12388497 |  9271252 |     2279   9790 |        0 |        0
1279.74/1280.21	c 1280s |      26 | 12406612 |  9284252 |     2279   9800 |        0 |        0
1281.74/1282.21	c 1282s |      26 | 12423385 |  9297052 |     2279   9811 |        0 |        0
1283.74/1284.22	c 1284s |      26 | 12440316 |  9309952 |     2279   9822 |        0 |        0
1285.74/1286.22	c 1286s |      26 | 12458522 |  9323652 |     2279   9834 |        0 |        0
1287.75/1288.22	c 1288s |      26 | 12476129 |  9337152 |     2279   9845 |        0 |        0
1289.74/1290.23	c 1290s |      26 | 12493157 |  9349952 |     2279   9855 |        0 |        0
1291.74/1292.24	c 1292s |      26 | 12510418 |  9363052 |     2279   9866 |        0 |        0
1293.74/1294.25	c 1294s |      26 | 12525815 |  9374952 |     2279   9876 |        0 |        0
1295.74/1296.26	c 1296s |      26 | 12543734 |  9388752 |     2279   9888 |        0 |        0
1297.75/1298.26	c 1298s |      26 | 12561227 |  9401852 |     2279   9899 |        0 |        0
1299.74/1300.27	c 1300s |      26 | 12579654 |  9415452 |     2279   9911 |        0 |        0
1301.74/1302.28	c 1302s |      26 | 12597860 |  9428752 |     2279   9922 |        0 |        0
1303.74/1304.28	c 1304s |      26 | 12615104 |  9441652 |     2279   9933 |        0 |        0
1305.74/1306.28	c 1306s |      26 | 12631039 |  9453952 |     2279   9943 |        0 |        0
1307.74/1308.29	c 1308s |      26 | 12646724 |  9466152 |     2279   9953 |        0 |        0
1309.74/1310.30	c 1310s |      26 | 12662514 |  9478152 |     2279   9963 |        0 |        0
1311.84/1312.30	c 1312s |      26 | 12677459 |  9489752 |     2279   9973 |        0 |        0
1313.84/1314.31	c 1314s |      26 | 12693393 |  9502052 |     2279   9984 |        0 |        0
1315.84/1316.33	c 1316s |      26 | 12708985 |  9514352 |     2279   9994 |        0 |        0
1317.83/1318.34	c 1318s |      26 | 12724884 |  9526852 |     2279  10004 |        0 |        0
1319.83/1320.34	c 1320s |      26 | 12742441 |  9539752 |     2279  10015 |        0 |        0
1321.84/1322.35	c 1322s |      26 | 12758656 |  9552452 |     2279  10026 |        0 |        0
1323.83/1324.36	c 1324s |      26 | 12777124 |  9565852 |     2279  10037 |        0 |        0
1325.83/1326.37	c 1326s |      26 | 12793679 |  9578652 |     2279  10048 |        0 |        0
1327.83/1328.38	c 1328s |      26 | 12810299 |  9591152 |     2279  10059 |        0 |        0
1329.83/1330.38	c 1330s |      26 | 12828397 |  9604552 |     2279  10070 |        0 |        0
1331.84/1332.39	c 1332s |      26 | 12845495 |  9617352 |     2279  10081 |        0 |        0
1333.83/1334.39	c 1334s |      26 | 12863629 |  9630652 |     2279  10092 |        0 |        0
1335.93/1336.40	c 1336s |      26 | 12881313 |  9643552 |     2279  10103 |        0 |        0
1337.93/1338.41	c 1338s |      26 | 12899267 |  9657052 |     2279  10114 |        0 |        0
1339.93/1340.43	c 1340s |      26 | 12915820 |  9669752 |     2279  10125 |        0 |        0
1341.93/1342.44	c 1342s |      26 | 12932935 |  9682552 |     2279  10136 |        0 |        0
1343.93/1344.45	c 1344s |      26 | 12952144 |  9696752 |     2279  10148 |        0 |        0
1345.93/1346.46	c 1346s |      26 | 12968645 |  9709352 |     2279  10159 |        0 |        0
1347.93/1348.47	c 1348s |      26 | 12984655 |  9721952 |     2279  10169 |        0 |        0
1349.92/1350.47	c 1350s |      26 | 13001188 |  9734752 |     2279  10180 |        0 |        0
1351.92/1352.48	c 1352s |      26 | 13018796 |  9747752 |     2279  10191 |        0 |        0
1353.92/1354.48	c 1354s |      26 | 13036729 |  9761252 |     2279  10202 |        0 |        0
1355.94/1356.49	c 1356s |      26 | 13054474 |  9774452 |     2279  10214 |        0 |        0
1358.03/1358.50	c 1358s |      26 | 13070978 |  9786952 |     2279  10224 |        0 |        0
1360.03/1360.50	c 1360s |      26 | 13087812 |  9799252 |     2279  10235 |        0 |        0
1362.03/1362.52	c 1362s |      26 | 13104457 |  9811952 |     2279  10245 |        0 |        0
1364.03/1364.53	c 1364s |      26 | 13120869 |  9824452 |     2279  10256 |        0 |        0
1366.03/1366.55	c 1366s |      26 | 13137264 |  9837052 |     2279  10267 |        0 |        0
1368.04/1368.56	c 1368s |      26 | 13152621 |  9849052 |     2279  10277 |        0 |        0
1370.03/1370.56	c 1370s |      26 | 13168442 |  9861052 |     2279  10287 |        0 |        0
1372.03/1372.58	c 1372s |      26 | 13183724 |  9872952 |     2279  10297 |        0 |        0
1374.03/1374.60	c 1374s |      26 | 13200069 |  9885452 |     2279  10307 |        0 |        0
1376.13/1376.60	c 1376s |      26 | 13217311 |  9898252 |     2279  10318 |        0 |        0
1378.13/1378.60	c 1378s |      26 | 13234588 |  9911752 |     2279  10330 |        0 |        0
1380.13/1380.61	c 1380s |      26 | 13252493 |  9925252 |     2279  10341 |        0 |        0
1382.12/1382.61	c 1382s |      26 | 13271662 |  9939252 |     2279  10353 |        0 |        0
1384.12/1384.62	c 1384s |      26 | 13290430 |  9953152 |     2279  10365 |        0 |        0
1386.12/1386.62	c 1386s |      26 | 13307953 |  9966752 |     2279  10376 |        0 |        0
1388.12/1388.62	c 1388s |      26 | 13323404 |  9979052 |     2279  10386 |        0 |        0
1390.13/1390.62	c 1390s |      26 | 13339247 |  9991152 |     2279  10397 |        0 |        0
1392.12/1392.62	c 1392s |      26 | 13355059 | 10003452 |     2279  10407 |        0 |        0
1394.12/1394.63	c 1394s |      26 | 13372828 | 10016652 |     2279  10418 |        0 |        0
1396.12/1396.64	c 1396s |      26 | 13389783 | 10030052 |     2279  10429 |        0 |        0
1398.12/1398.65	c 1398s |      26 | 13407873 | 10043452 |     2279  10441 |        0 |        0
1400.12/1400.66	c 1400s |      26 | 13423852 | 10055752 |     2279  10451 |        0 |        0
1402.13/1402.66	c 1402s |      26 | 13441526 | 10068752 |     2279  10462 |        0 |        0
1404.12/1404.67	c 1404s |      26 | 13458404 | 10081052 |     2279  10472 |        0 |        0
1406.12/1406.68	c 1406s |      26 | 13474706 | 10093452 |     2279  10483 |        0 |        0
1408.12/1408.69	c 1408s |      26 | 13491697 | 10106352 |     2279  10494 |        0 |        0
1410.22/1410.71	c 1410s |      26 | 13507730 | 10119052 |     2279  10505 |        0 |        0
1412.22/1412.72	c 1412s |      26 | 13523971 | 10130952 |     2279  10515 |        0 |        0
1414.22/1414.73	c 1414s |      26 | 13541783 | 10144352 |     2279  10526 |        0 |        0
1416.22/1416.74	c 1416s |      26 | 13558172 | 10156652 |     2279  10536 |        0 |        0
1418.22/1418.75	c 1418s |      26 | 13576233 | 10169552 |     2279  10547 |        0 |        0
1420.22/1420.76	c 1420s |      26 | 13594656 | 10183552 |     2279  10559 |        0 |        0
1422.22/1422.77	c 1422s |      26 | 13612638 | 10196652 |     2279  10570 |        0 |        0
1424.22/1424.78	c 1424s |      26 | 13629913 | 10209652 |     2279  10581 |        0 |        0
1426.21/1426.78	c 1426s |      26 | 13647155 | 10222752 |     2279  10592 |        0 |        0
1428.21/1428.79	c 1428s |      26 | 13665801 | 10236752 |     2279  10604 |        0 |        0
1430.31/1430.80	c 1430s |      26 | 13682947 | 10250452 |     2279  10616 |        0 |        0
1432.31/1432.81	c 1432s |      26 | 13701573 | 10264052 |     2279  10628 |        0 |        0
1434.31/1434.82	c 1434s |      26 | 13718617 | 10276652 |     2279  10638 |        0 |        0
1436.32/1436.84	c 1436s |      26 | 13735572 | 10288852 |     2279  10649 |        0 |        0
1438.31/1438.85	c 1438s |      26 | 13752706 | 10301552 |     2279  10660 |        0 |        0
1440.31/1440.85	c 1440s |      26 | 13768811 | 10313752 |     2279  10670 |        0 |        0
1442.31/1442.85	c 1442s |      26 | 13784189 | 10325552 |     2279  10680 |        0 |        0
1444.31/1444.86	c 1444s |      26 | 13800328 | 10337452 |     2279  10690 |        0 |        0
1446.31/1446.88	c 1446s |      26 | 13815387 | 10349252 |     2279  10700 |        0 |        0
1448.33/1448.88	c 1448s |      26 | 13830369 | 10360852 |     2279  10710 |        0 |        0
1450.32/1450.88	c 1450s |      26 | 13845565 | 10372452 |     2279  10720 |        0 |        0
1452.42/1452.90	c 1452s |      26 | 13862879 | 10385452 |     2279  10731 |        0 |        0
1454.42/1454.91	c 1454s |      26 | 13881528 | 10399052 |     2279  10743 |        0 |        0
1456.42/1456.91	c 1456s |      26 | 13897431 | 10411352 |     2279  10753 |        0 |        0
1458.42/1458.92	c 1458s |      26 | 13914466 | 10424552 |     2279  10764 |        0 |        0
1460.42/1460.95	c 1460s |      26 | 13932914 | 10438752 |     2279  10777 |        0 |        0
1462.41/1462.95	c 1462s |      26 | 13950260 | 10451852 |     2279  10788 |        0 |        0
1464.41/1464.96	c 1464s |      26 | 13968587 | 10465252 |     2279  10799 |        0 |        0
1466.41/1466.96	c 1466s |      26 | 13985328 | 10478452 |     2279  10810 |        0 |        0
1468.41/1468.97	c 1468s |      26 | 14001906 | 10490952 |     2279  10821 |        0 |        0
1470.42/1470.98	c 1470s |      26 | 14017898 | 10502852 |     2279  10831 |        0 |        0
1472.41/1472.98	c 1472s |      26 | 14035643 | 10515952 |     2279  10842 |        0 |        0
1474.41/1474.98	c 1474s |      26 | 14053327 | 10528852 |     2279  10853 |        0 |        0
1476.41/1476.99	c 1476s |      26 | 14070356 | 10541552 |     2279  10864 |        0 |        0
1478.41/1478.99	c 1478s |      26 | 14086832 | 10553552 |     2279  10874 |        0 |        0
1480.51/1481.01	c 1480s |      26 | 14104112 | 10566452 |     2279  10885 |        0 |        0
1482.52/1483.02	c 1483s |      26 | 14119201 | 10578252 |     2279  10895 |        0 |        0
1484.51/1485.03	c 1485s |      26 | 14136586 | 10591352 |     2279  10906 |        0 |        0
1486.51/1487.03	c 1487s |      26 | 14153295 | 10604052 |     2279  10917 |        0 |        0
1488.51/1489.04	c 1489s |      26 | 14170849 | 10617552 |     2279  10929 |        0 |        0
1490.51/1491.05	c 1491s |      26 | 14188689 | 10630752 |     2279  10940 |        0 |        0
1492.51/1493.05	c 1493s |      26 | 14205524 | 10643652 |     2279  10951 |        0 |        0
1494.51/1495.05	c 1495s |      26 | 14223045 | 10656652 |     2279  10962 |        0 |        0
1496.51/1497.06	c 1497s |      26 | 14241591 | 10670252 |     2279  10973 |        0 |        0
1498.51/1499.07	c 1499s |      26 | 14258072 | 10683452 |     2279  10984 |        0 |        0
1500.51/1501.07	c 1501s |      26 | 14276211 | 10696952 |     2279  10996 |        0 |        0
1502.51/1503.09	c 1503s |      26 | 14293588 | 10710252 |     2279  11007 |        0 |        0
1504.51/1505.09	c 1505s |      26 | 14311009 | 10723552 |     2279  11018 |        0 |        0
1506.61/1507.11	c 1507s |      26 | 14328984 | 10736952 |     2279  11030 |        0 |        0
1508.60/1509.11	c 1509s |      26 | 14344940 | 10749452 |     2279  11040 |        0 |        0
1510.60/1511.12	c 1511s |      26 | 14361310 | 10761552 |     2279  11051 |        0 |        0
1512.60/1513.12	c 1513s |      26 | 14379393 | 10774552 |     2279  11062 |        0 |        0
1514.60/1515.13	c 1515s |      26 | 14395782 | 10787152 |     2279  11073 |        0 |        0
1516.61/1517.14	c 1517s |      26 | 14412546 | 10799952 |     2279  11083 |        0 |        0
1518.60/1519.15	c 1519s |      26 | 14429079 | 10812952 |     2279  11094 |        0 |        0
1520.60/1521.15	c 1521s |      26 | 14446643 | 10826152 |     2279  11106 |        0 |        0
1522.60/1523.15	c 1523s |      26 | 14464812 | 10839552 |     2279  11117 |        0 |        0
1524.60/1525.16	c 1525s |      26 | 14481885 | 10852752 |     2279  11128 |        0 |        0
1526.60/1527.17	c 1527s |      26 | 14498394 | 10865152 |     2279  11139 |        0 |        0
1528.61/1529.18	c 1529s |      26 | 14514215 | 10876652 |     2279  11149 |        0 |        0
1530.60/1531.18	c 1531s |      26 | 14529429 | 10888452 |     2279  11159 |        0 |        0
1532.60/1533.18	c 1533s |      26 | 14545559 | 10901052 |     2279  11169 |        0 |        0
1534.60/1535.19	c 1535s |      26 | 14562604 | 10913752 |     2279  11180 |        0 |        0
1536.60/1537.19	c 1537s |      26 | 14579079 | 10926552 |     2279  11191 |        0 |        0
1538.61/1539.20	c 1539s |      26 | 14595495 | 10939052 |     2279  11202 |        0 |        0
1540.60/1541.20	c 1541s |      26 | 14613447 | 10952452 |     2279  11213 |        0 |        0
1542.70/1543.21	c 1543s |      26 | 14630752 | 10965752 |     2279  11224 |        0 |        0
1544.70/1545.22	c 1545s |      26 | 14647322 | 10978852 |     2279  11235 |        0 |        0
1546.70/1547.22	c 1547s |      26 | 14665377 | 10992752 |     2279  11247 |        0 |        0
1548.70/1549.24	c 1549s |      26 | 14683161 | 11006552 |     2279  11259 |        0 |        0
1550.70/1551.24	c 1551s |      26 | 14701701 | 11020452 |     2279  11270 |        0 |        0
1552.70/1553.24	c 1553s |      26 | 14719216 | 11033752 |     2279  11281 |        0 |        0
1554.69/1555.25	c 1555s |      26 | 14737974 | 11047752 |     2279  11293 |        0 |        0
1556.69/1557.26	c 1557s |      26 | 14755847 | 11061152 |     2279  11305 |        0 |        0
1558.69/1559.27	c 1559s |      26 | 14774709 | 11075052 |     2279  11316 |        0 |        0
1560.69/1561.27	c 1561s |      26 | 14794160 | 11089152 |     2279  11328 |        0 |        0
1562.70/1563.28	c 1563s |      26 | 14812392 | 11102652 |     2279  11340 |        0 |        0
1564.69/1565.29	c 1565s |      26 | 14829097 | 11115552 |     2279  11351 |        0 |        0
1566.79/1567.31	c 1567s |      26 | 14846510 | 11129152 |     2279  11362 |        0 |        0
1568.79/1569.31	c 1569s |      26 | 14862896 | 11141552 |     2279  11373 |        0 |        0
1570.79/1571.32	c 1571s |      26 | 14877934 | 11153352 |     2279  11383 |        0 |        0
1572.79/1573.32	c 1573s |      26 | 14892609 | 11165152 |     2279  11393 |        0 |        0
1574.80/1575.33	c 1575s |      26 | 14909992 | 11178452 |     2279  11404 |        0 |        0
1576.79/1577.34	c 1577s |      26 | 14926868 | 11191552 |     2279  11415 |        0 |        0
1578.79/1579.35	c 1579s |      26 | 14945547 | 11205252 |     2279  11427 |        0 |        0
1580.79/1581.36	c 1581s |      26 | 14964334 | 11218852 |     2279  11439 |        0 |        0
1582.79/1583.37	c 1583s |      26 | 14982486 | 11232352 |     2279  11450 |        0 |        0
1584.81/1585.39	c 1585s |      26 | 15001838 | 11245652 |     2279  11462 |        0 |        0
1586.80/1587.39	c 1587s |      26 | 15020888 | 11259252 |     2279  11473 |        0 |        0
1588.90/1589.41	c 1589s |      26 | 15037376 | 11272552 |     2279  11484 |        0 |        0
1590.90/1591.42	c 1591s |      26 | 15053955 | 11284852 |     2279  11495 |        0 |        0
1592.90/1593.43	c 1593s |      26 | 15069638 | 11296952 |     2279  11505 |        0 |        0
1594.90/1595.44	c 1595s |      26 | 15084132 | 11308752 |     2279  11515 |        0 |        0
1596.90/1597.45	c 1597s |      26 | 15099700 | 11320752 |     2507  11525 |        0 |        0
1598.90/1599.45	c 1599s |      26 | 15115467 | 11332852 |     2507  11534 |        0 |        0
1600.90/1601.45	c 1601s |      26 | 15130663 | 11344252 |     2507  11543 |        0 |        0
1602.90/1603.46	c 1603s |      26 | 15146084 | 11356052 |     2507  11552 |        0 |        0
1604.90/1605.46	c 1605s |      26 | 15161207 | 11368352 |     2507  11562 |        0 |        0
1606.89/1607.47	c 1607s |      26 | 15178477 | 11381452 |     2507  11572 |        0 |        0
1608.90/1609.47	c 1609s |      26 | 15194729 | 11393952 |     2507  11582 |        0 |        0
1609.39/1609.93	c 1609s |      27 | 15198313 | 11396733 |     2507  11584 |        0 |        0
1611.39/1611.94	c 1611s |      27 | 15213417 | 11408833 |     2507  11593 |        0 |        0
1613.40/1613.94	c 1613s |      27 | 15229856 | 11421433 |     2507  11602 |        0 |        0
1615.39/1615.95	c 1615s |      27 | 15246457 | 11433933 |     2507  11612 |        0 |        0
1617.39/1617.95	c 1617s |      27 | 15263082 | 11446233 |     2507  11621 |        0 |        0
1619.39/1619.96	c 1619s |      27 | 15278432 | 11458333 |     2507  11630 |        0 |        0
1621.39/1621.97	c 1621s |      27 | 15295469 | 11471233 |     2507  11640 |        0 |        0
1623.39/1623.98	c 1623s |      27 | 15310769 | 11482933 |     2507  11649 |        0 |        0
1625.39/1625.99	c 1625s |      27 | 15325228 | 11494033 |     2507  11657 |        0 |        0
1627.39/1627.99	c 1627s |      27 | 15340390 | 11505533 |     2507  11666 |        0 |        0
1629.49/1630.02	c 1630s |      27 | 15355347 | 11517033 |     2507  11675 |        0 |        0
1631.49/1632.03	c 1632s |      27 | 15371171 | 11528833 |     2507  11683 |        0 |        0
1633.49/1634.03	c 1634s |      27 | 15387138 | 11541333 |     2507  11693 |        0 |        0
1635.49/1636.03	c 1636s |      27 | 15402418 | 11553733 |     2507  11702 |        0 |        0
1637.49/1638.04	c 1638s |      27 | 15417780 | 11565333 |     2507  11711 |        0 |        0
1639.48/1640.05	c 1640s |      27 | 15432527 | 11577033 |     2507  11720 |        0 |        0
1641.48/1642.07	c 1642s |      27 | 15448705 | 11589633 |     2507  11729 |        0 |        0
1643.48/1644.07	c 1644s |      27 | 15465317 | 11602533 |     2507  11739 |        0 |        0
1645.48/1646.07	c 1646s |      27 | 15482291 | 11615633 |     2507  11749 |        0 |        0
1647.49/1648.08	c 1648s |      27 | 15498882 | 11628233 |     2507  11759 |        0 |        0
1649.48/1650.08	c 1650s |      27 | 15513768 | 11639533 |     2507  11767 |        0 |        0
1651.58/1652.10	c 1652s |      27 | 15530354 | 11652433 |     2507  11777 |        0 |        0
1653.58/1654.10	c 1654s |      27 | 15547275 | 11665333 |     2507  11787 |        0 |        0
1655.58/1656.10	c 1656s |      27 | 15563843 | 11678133 |     2507  11796 |        0 |        0
1657.58/1658.10	c 1658s |      27 | 15580027 | 11690433 |     2507  11805 |        0 |        0
1659.59/1660.12	c 1660s |      27 | 15595406 | 11702333 |     2507  11814 |        0 |        0
1661.58/1662.12	c 1662s |      27 | 15611596 | 11714433 |     2507  11824 |        0 |        0
1663.58/1664.13	c 1664s |      27 | 15627219 | 11726633 |     2507  11833 |        0 |        0
1665.58/1666.14	c 1666s |      27 | 15643816 | 11739033 |     2507  11842 |        0 |        0
1667.58/1668.14	c 1668s |      27 | 15659691 | 11751033 |     2507  11851 |        0 |        0
1669.58/1670.15	c 1670s |      27 | 15677254 | 11764033 |     2507  11861 |        0 |        0
1671.58/1672.16	c 1672s |      27 | 15694466 | 11777033 |     2507  11871 |        0 |        0
1673.58/1674.17	c 1674s |      27 | 15710281 | 11788733 |     2507  11880 |        0 |        0
1675.58/1676.18	c 1676s |      27 | 15725580 | 11800833 |     2507  11889 |        0 |        0
1677.58/1678.19	c 1678s |      27 | 15741410 | 11812933 |     2507  11899 |        0 |        0
1679.58/1680.19	c 1680s |      27 | 15757860 | 11825333 |     2507  11908 |        0 |        0
1681.58/1682.19	c 1682s |      27 | 15772306 | 11836633 |     2507  11917 |        0 |        0
1683.68/1684.20	c 1684s |      27 | 15788397 | 11849033 |     2507  11926 |        0 |        0
1685.67/1686.21	c 1686s |      27 | 15804381 | 11860933 |     2507  11935 |        0 |        0
1687.67/1688.22	c 1688s |      27 | 15820450 | 11873033 |     2507  11944 |        0 |        0
1689.67/1690.23	c 1690s |      27 | 15834571 | 11883933 |     2507  11952 |        0 |        0
1691.67/1692.24	c 1692s |      27 | 15850376 | 11896033 |     2507  11962 |        0 |        0
1693.68/1694.24	c 1694s |      27 | 15866159 | 11907633 |     2507  11971 |        0 |        0
1695.67/1696.24	c 1696s |      27 | 15883047 | 11920533 |     2507  11980 |        0 |        0
1697.68/1698.25	c 1698s |      27 | 15899511 | 11933333 |     2507  11990 |        0 |        0
1699.68/1700.25	c 1700s |      27 | 15915742 | 11945733 |     2507  12000 |        0 |        0
1701.68/1702.26	c 1702s |      27 | 15933963 | 11959333 |     2507  12010 |        0 |        0
1703.68/1704.26	c 1704s |      27 | 15951972 | 11972533 |     2507  12020 |        0 |        0
1705.68/1706.27	c 1706s |      27 | 15967044 | 11984433 |     2507  12029 |        0 |        0
1707.68/1708.28	c 1708s |      27 | 15983665 | 11996733 |     2507  12038 |        0 |        0
1709.68/1710.29	c 1710s |      27 | 15999736 | 12008833 |     2507  12048 |        0 |        0
1711.78/1712.30	c 1712s |      27 | 16017037 | 12021933 |     2507  12058 |        0 |        0
1713.78/1714.31	c 1714s |      27 | 16034513 | 12035433 |     2507  12068 |        0 |        0
1715.77/1716.32	c 1716s |      27 | 16051158 | 12048133 |     2507  12078 |        0 |        0
1717.78/1718.33	c 1718s |      27 | 16066418 | 12060433 |     2507  12087 |        0 |        0
1719.77/1720.33	c 1720s |      27 | 16080606 | 12071433 |     2507  12095 |        0 |        0
1721.77/1722.33	c 1722s |      27 | 16096275 | 12083533 |     2507  12104 |        0 |        0
1723.77/1724.34	c 1724s |      27 | 16113463 | 12096233 |     2507  12114 |        0 |        0
1725.77/1726.36	c 1726s |      27 | 16129907 | 12108833 |     2507  12124 |        0 |        0
1727.78/1728.37	c 1728s |      27 | 16146518 | 12121333 |     2507  12133 |        0 |        0
1729.77/1730.38	c 1730s |      27 | 16162483 | 12133833 |     2507  12143 |        0 |        0
1731.77/1732.39	c 1732s |      27 | 16178882 | 12146233 |     2507  12152 |        0 |        0
1733.77/1734.39	c 1734s |      27 | 16194510 | 12158433 |     2507  12161 |        0 |        0
1735.77/1736.39	c 1736s |      27 | 16208527 | 12169233 |     2507  12169 |        0 |        0
1737.87/1738.40	c 1738s |      27 | 16222949 | 12181233 |     2507  12178 |        0 |        0
1739.88/1740.41	c 1740s |      27 | 16240083 | 12194733 |     2507  12189 |        0 |        0
1741.87/1742.41	c 1742s |      27 | 16255324 | 12206833 |     2507  12198 |        0 |        0
1743.87/1744.42	c 1744s |      27 | 16270654 | 12218733 |     2507  12207 |        0 |        0
1745.87/1746.43	c 1746s |      27 | 16283792 | 12229033 |     2507  12215 |        0 |        0
1747.87/1748.44	c 1748s |      27 | 16299582 | 12241133 |     2507  12224 |        0 |        0
1749.87/1750.45	c 1750s |      27 | 16315067 | 12253333 |     2507  12233 |        0 |        0
1751.87/1752.46	c 1752s |      27 | 16332253 | 12266533 |     2507  12243 |        0 |        0
1753.87/1754.46	c 1754s |      27 | 16348845 | 12279033 |     2507  12253 |        0 |        0
1755.87/1756.47	c 1756s |      27 | 16364755 | 12290833 |     2507  12262 |        0 |        0
1757.87/1758.49	c 1758s |      27 | 16380305 | 12302533 |     2507  12271 |        0 |        0
1759.97/1760.50	c 1760s |      27 | 16394934 | 12313733 |     2507  12279 |        0 |        0
1761.97/1762.50	c 1762s |      27 | 16408658 | 12324333 |     2507  12287 |        0 |        0
1763.87/1764.50	c 1764s |      27 | 16423405 | 12335533 |     2507  12296 |        0 |        0
1765.97/1766.51	c 1766s |      27 | 16439208 | 12347333 |     2507  12305 |        0 |        0
1767.97/1768.53	c 1768s |      27 | 16454561 | 12358933 |     2507  12313 |        0 |        0
1769.97/1770.53	c 1770s |      27 | 16471421 | 12371633 |     2507  12323 |        0 |        0
1771.96/1772.55	c 1772s |      27 | 16486897 | 12383633 |     2507  12332 |        0 |        0
1773.97/1774.57	c 1774s |      27 | 16503173 | 12395633 |     2507  12341 |        0 |        0
1775.96/1776.57	c 1776s |      27 | 16515551 | 12405433 |     2507  12349 |        0 |        0
1777.96/1778.58	c 1778s |      27 | 16530679 | 12417033 |     2507  12358 |        0 |        0
1779.96/1780.59	c 1780s |      27 | 16547116 | 12429033 |     2507  12367 |        0 |        0
1781.96/1782.59	c 1782s |      27 | 16563126 | 12440633 |     2507  12376 |        0 |        0
1783.96/1784.59	c 1784s |      27 | 16580492 | 12453233 |     2507  12385 |        0 |        0
1786.07/1786.61	c 1786s |      27 | 16597574 | 12465833 |     2507  12395 |        0 |        0
1788.06/1788.62	c 1788s |      27 | 16613027 | 12477633 |     2507  12404 |        0 |        0
1790.06/1790.63	c 1790s |      27 | 16629678 | 12489833 |     2507  12413 |        0 |        0
1792.06/1792.64	c 1792s |      27 | 16647137 | 12502633 |     2507  12423 |        0 |        0
1794.06/1794.65	c 1794s |      27 | 16665105 | 12515933 |     2507  12433 |        0 |        0
1796.06/1796.65	c 1796s |      27 | 16683579 | 12529333 |     2507  12443 |        0 |        0
1798.06/1798.67	c 1798s |      27 | 16700603 | 12542133 |     2507  12453 |        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-4096008-1466100711/watcher-4096008-1466100711 -o /tmp/evaluation-result-4096008-1466100711/solver-4096008-1466100711 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466097108-24735 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096008-1466100711.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.14 2.15 3/179 25076
/proc/meminfo: memFree=30551596/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 2677 0 0 0 0 0 0 0 20 0 4 0 12120068 734457856 2528 33554432000 4194304 16246674 140735268000736 140735267983728 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 179823 2536 441 2943 0 176717 0
[pid=25076/tid=25077] ppid=25073 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 752283648 2596 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 756477952 2612 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12120068 761720832 2628 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.08 2.14 2.15 3/179 25076
/proc/meminfo: memFree=30551596/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 24491 0 0 0 5 3 0 0 20 0 4 0 12120068 1247350784 24331 33554432000 4194304 16246674 140735268000736 140735267999672 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 304529 24337 711 2943 0 301423 0
[pid=25076/tid=25077] ppid=25073 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1247350784 24342 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1247350784 24350 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12120068 1247350784 24357 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200501 s]
/proc/loadavg: 2.08 2.14 2.15 3/179 25076
/proc/meminfo: memFree=30551596/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 46150 0 0 0 12 6 0 0 20 0 4 0 12120068 1247350784 45989 33554432000 4194304 16246674 140735268000736 140735267999672 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 304529 45998 711 2943 0 301423 0
[pid=25076/tid=25077] ppid=25073 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1247350784 46007 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1247350784 46015 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12120068 1247350784 46021 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300473 s]
/proc/loadavg: 2.08 2.14 2.15 3/179 25076
/proc/meminfo: memFree=30551596/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 68046 0 0 0 19 9 0 0 20 0 4 0 12120068 1247350784 67885 33554432000 4194304 16246674 140735268000736 140735267999672 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 304529 67894 711 2943 0 301423 0
[pid=25076/tid=25077] ppid=25073 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1247350784 67902 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1247350784 67908 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12120068 1247350784 67913 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700396 s]
/proc/loadavg: 2.08 2.14 2.15 3/179 25076
/proc/meminfo: memFree=30551596/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 157886 0 0 0 47 22 0 0 20 0 4 0 12120068 1247350784 157726 33554432000 4194304 16246674 140735268000736 140735267999672 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 304529 157737 712 2943 0 301423 0
[pid=25076/tid=25077] ppid=25073 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1247350784 157744 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1247350784 157749 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12120068 1247350784 157754 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.08 2.14 2.15 3/183 25080
/proc/meminfo: memFree=28822648/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 245592 0 0 0 114 35 0 0 20 0 4 0 12120068 1248399360 245411 33554432000 4194304 16246674 140735268000736 140735268000048 13928256 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 304785 245411 785 2943 0 301679 0
[pid=25076/tid=25077] ppid=25073 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1248399360 245411 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1248399360 245411 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1248399360 245411 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10039 s]
/proc/loadavg: 2.08 2.14 2.15 4/183 25080
/proc/meminfo: memFree=28648056/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 267385 0 0 0 271 38 0 0 20 0 4 0 12120068 1337528320 267204 33554432000 4194304 16246674 140735268000736 140735267982656 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 326545 267204 785 2943 0 323439 0
[pid=25076/tid=25077] ppid=25073 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1337528320 267204 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1337528320 267204 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1337528320 267204 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.15 2.15 2.15 3/183 25080
/proc/meminfo: memFree=28647484/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 267473 0 0 0 591 38 0 0 20 0 4 0 12120068 1337528320 267292 33554432000 4194304 16246674 140735268000736 140735267983736 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 326545 267292 785 2943 0 323439 0
[pid=25076/tid=25077] ppid=25073 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1337528320 267292 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1337528320 267292 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1337528320 267292 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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.14 2.15 2.15 3/183 25080
/proc/meminfo: memFree=28646332/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1307204 CPUtime=12.69 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 267713 0 0 0 1231 38 0 0 20 0 4 0 12120068 1338576896 267532 33554432000 4194304 16246674 140735268000736 140735267983736 13943729 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 326801 267532 787 2943 0 323695 0
[pid=25076/tid=25077] ppid=25073 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1338576896 267532 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1338576896 267532 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1338576896 267532 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5073 s]
/proc/loadavg: 2.11 2.14 2.15 3/183 25080
/proc/meminfo: memFree=28646640/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 267764 0 0 0 2511 38 0 0 20 0 4 0 12120068 1338576896 267583 33554432000 4194304 16246674 140735268000736 140735267982656 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 326801 267583 789 2943 0 323695 0
[pid=25076/tid=25077] ppid=25073 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1338576896 267583 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1338576896 267583 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1338576896 267583 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1003 s]
/proc/loadavg: 2.15 2.15 2.15 4/183 25080
/proc/meminfo: memFree=28645656/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1308228 CPUtime=51.08 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 267967 0 0 0 5070 38 0 0 20 0 4 0 12120068 1339625472 267786 33554432000 4194304 16246674 140735268000736 140735267982656 5652712 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 327057 267786 789 2943 0 323951 0
[pid=25076/tid=25077] ppid=25073 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1339625472 267786 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1339625472 267786 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1339625472 267786 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1308228

[startup+102.3 s]
/proc/loadavg: 2.19 2.15 2.15 3/183 25081
/proc/meminfo: memFree=28645772/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1308228 CPUtime=102.27 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 267968 0 0 0 10188 39 0 0 20 0 4 0 12120068 1339625472 267787 33554432000 4194304 16246674 140735268000736 140735267982656 6011844 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 327057 267787 790 2943 0 323951 0
[pid=25076/tid=25077] ppid=25073 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1339625472 267787 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1339625472 267787 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1339625472 267787 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1308228


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

/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1311300

[startup+1362.3 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 25161
/proc/meminfo: memFree=28634272/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1311300 CPUtime=1361.83 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 269306 0 0 0 136126 57 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140735267983736 5827966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 327825 268930 791 2943 0 324719 0
[pid=25076/tid=25077] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1311300

[startup+1422.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/183 25162
/proc/meminfo: memFree=28634420/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1311300 CPUtime=1421.82 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 269306 0 0 0 142125 57 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140735267982656 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 327825 268930 791 2943 0 324719 0
[pid=25076/tid=25077] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1311300

[startup+1482.3 s]
/proc/loadavg: 2.23 2.23 2.18 3/183 25163
/proc/meminfo: memFree=28633348/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1311300 CPUtime=1481.81 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 269306 0 0 0 148123 58 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140735267983736 5669244 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 327825 268930 791 2943 0 324719 0
[pid=25076/tid=25077] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 1311300

[startup+1542.3 s]
/proc/loadavg: 2.29 2.24 2.19 3/183 25165
/proc/meminfo: memFree=28632992/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1311300 CPUtime=1541.8 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 269306 0 0 0 154122 58 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140735267982656 5721681 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 327825 268930 791 2943 0 324719 0
[pid=25076/tid=25077] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 1311300

[startup+1602.3 s]
/proc/loadavg: 2.25 2.24 2.19 4/183 25165
/proc/meminfo: memFree=28633280/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1311300 CPUtime=1601.8 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 269306 0 0 0 160121 59 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140735267983736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 327825 268930 791 2943 0 324719 0
[pid=25076/tid=25077] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1342771200 268930 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 1311300

[startup+1662.31 s]
/proc/loadavg: 2.30 2.26 2.19 3/183 25166
/proc/meminfo: memFree=28631952/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1312324 CPUtime=1661.79 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 269562 0 0 0 166120 59 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140735267983736 12483272 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 328081 269186 791 2943 0 324975 0
[pid=25076/tid=25077] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/184 25171
/proc/meminfo: memFree=28630420/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1312324 CPUtime=1721.77 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 269562 0 0 0 172117 60 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140735267982656 5545898 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 328081 269186 791 2943 0 324975 0
[pid=25076/tid=25077] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.27 2.25 2.19 4/183 25172
/proc/meminfo: memFree=28629860/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1312324 CPUtime=1781.76 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 269562 0 0 0 178116 60 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140735267983736 5677277 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 328081 269186 791 2943 0 324975 0
[pid=25076/tid=25077] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 25173
/proc/meminfo: memFree=28629940/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1312324 CPUtime=1800.06 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 269562 0 0 0 179946 60 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140735267982656 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 328081 269186 791 2943 0 324975 0
[pid=25076/tid=25077] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1312324

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

[startup+1800.6 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 25173
/proc/meminfo: memFree=28629940/32872528 swapFree=1103228/1182944
[pid=25076] ppid=25073 vsize=1312324 CPUtime=1800.06 cores=0,2,4,6
/proc/25076/stat : 25076 (toysat) R 25073 25076 24719 0 -1 4202496 269562 0 0 0 179946 60 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140735267982656 5822428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/25076/statm: 328081 269186 791 2943 0 324975 0
[pid=25076/tid=25077] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25077/stat : 25077 (toysat) S 25073 25076 24719 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134784675056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=25076/tid=25078] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25078/stat : 25078 (toysat) S 25073 25076 24719 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134774185200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=25076/tid=25079] ppid=25073 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/25076/task/25079/stat : 25079 (toysat) S 25073 25076 24719 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12120068 1343819776 269186 33554432000 4194304 16246674 140735268000736 140134763711664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1312324

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.08
CPU user time (s): 1799.47
CPU system time (s): 0.607907
CPU usage (%): 99.9704
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.47
system time used= 0.607907
maximum resident set size= 1076744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269562
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= 463
involuntary context switches= 1896

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.6093 second user time and 6.91495 second system time

The end

Begin job on node115 at 2016-06-16 20:11:51
IDJOB=4096008
IDBENCH=107553
IDSOLVER=2542
FILE ID=node115/4096008-1466100711
RUNJOBID= node115-1466097108-24735
PBS_JOBID= 19904041
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/subsetcard/normalized-subsetcard-eq-fixedbandwidth-70.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096008-1466100711/watcher-4096008-1466100711 -o /tmp/evaluation-result-4096008-1466100711/solver-4096008-1466100711 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node115-1466097108-24735 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096008-1466100711.opb

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

MD5SUM BENCH= 5f8d5e910671711e5e7a58837033995c
RANDOM SEED=2134718014

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.103
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:        30567712 kB
Buffers:           52236 kB
Cached:           141000 kB
SwapCached:         2104 kB
Active:           324364 kB
Inactive:          92328 kB
Active(anon):     223700 kB
Inactive(anon):     1636 kB
Active(file):     100664 kB
Inactive(file):    90692 kB
Unevictable:     1182944 kB
Mlocked:         1103228 kB
SwapTotal:      67108856 kB
SwapFree:       67099112 kB
Dirty:             32628 kB
Writeback:             0 kB
AnonPages:       1550020 kB
Mapped:             9896 kB
Shmem:                 0 kB
Slab:             569332 kB
SReclaimable:      13460 kB
SUnreclaim:       555872 kB
KernelStack:        1520 kB
PageTables:         8476 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2310664 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    229376 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= 71712 MiB
End job on node115 at 2016-06-16 20:41:52