0.00/0.00	c 2016-06-30T21:12:33+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4121242-1467313953.opb"]
0.00/0.01	c use --random-gen="1650420471 3296522136 958154100 298741481 2851031812 401503154 2976270586 1107983807 1739506351 413626684 1578742840 954555208 1183730547 227882591 1532546814 4251471903 4252336449 1169341867 4127810014 3924118102 2529528006 3478586183 570357389 870168358 624669025 2174733935 3609934564 1808361858 1002209352 319013744 1287831536 160915662 615657708 886516476 1739560501 744798218 1402024474 69691201 1475788764 2060290327 1349425545 1163241762 3463606491 3604394637 3202629126 4261672157 2988936752 1512530051 3540815936 1649311771 2223314980 192196122 3917662479 346812289 2326847129 2716726118 2414191274 3325953341 4129158098 2328193305 3457354269 2565790800 388889472 2111861118 3625054306 2558627196 29447692 4232273649 2612417564 1217957382 2791367114 3932172780 1599696022 2028220550 4137282553 3756284618 4019917731 1748108588 450082243 1700007187 2159406116 202189728 121215775 4215261627 1611914977 873113099 1024802570 2158961062 2211845459 4174279817 1390600583 2795283235 1537402381 1002972564 3782819364 178369163 3042120187 1063037214 1367867098 378960115 1286104064 2061307066 409013471 3604512359 740759230 888078034 4009479616 3811432855 1202195230 4280618262 1110969616 1927687342 840548552 2141605569 4066251340 1031658237 381305583 2438321441 15701372 2495799659 2542295843 4220840503 964434916 2439214020 3238917631 3483875672 2224614701 146223525 2138354480 3339300103 2740214800 3624024356 3226502864 3640820842 2118080200 3410581176 738633207 3196657097 2087878076 3300034533 2369458022 2104114795 3186939170 4229917257 1156441548 158668343 3928924459 1170837224 1502043304 2600426568 3556913940 4058802057 292955680 310576673 3444537450 1020564495 1459975064 3379408063 2372778346 2039630280 2306587966 2982136831 305523926 3024678302 3276066278 117645052 3399561819 2927738444 3795829072 201877272 154749961 1136483983 2585565900 266072800 1652033636 3713840983 1212407965 3415346827 2242976579 2279843169 4163634226 2257479825 1266196631 4077448752 1620976945 3728805560 1267119564 3702172399 3207097158 1463296539 150758671 1474915566 629299211 1359074835 973050704 4046904480 406108151 2770467008 132542800 2145550290 2628594748 648473595 1446805970 3109113411 579342639 2501958310 1431062108 3437366322 2165263703 3556141722 3601871722 3187754666 324267826 3392089487 1232537997 2524765123 2666825135 2569343385 2104679451 3963745432 3376857450 1317516992 4190175982 3793975416 4125085122 3893220883 2026838258 855982349 3836600516 1457982675 469137496 2762104201 3696585552 1505322304 248469661 3202976964 2923824309 2547726956 2354851630 2981848327 3333791036 3278182767 2121293273 2644166269 2907300216 3900331885 3661520834 3622956848 1507432306 880912770 2277369928 3662711903 1841436259 4112069296 1526075908 4105843629 255 362436" option to reproduce the execution
0.00/0.01	c #vars 321
0.00/0.01	c #constraints 320
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 |      213      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      187 |      100 |      213      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      383 |      250 |      235      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      752 |      475 |      259      1 |        0 |        0
0.09/0.10	c  0.1s |       4 |     1225 |      813 |      285      2 |        0 |        0
0.09/0.15	c  0.1s |       5 |     1896 |     1320 |      314      5 |        0 |        0
0.19/0.23	c  0.2s |       6 |     3055 |     2081 |      381      8 |        0 |        0
0.29/0.35	c  0.3s |       7 |     4576 |     3223 |      420     11 |        0 |        0
0.49/0.52	c  0.5s |       8 |     6804 |     4936 |      463     16 |        0 |        0
0.69/0.78	c  0.8s |       9 |    10420 |     7506 |      510     24 |        0 |        0
1.19/1.21	c  1.2s |      10 |    15407 |    11361 |      561     35 |        0 |        0
1.69/1.70	c  1.7s |      11 |    23222 |    17144 |      618     51 |        0 |        0
2.39/2.48	c  2.5s |      12 |    34223 |    25819 |      680     72 |        0 |        0
3.59/3.64	c  3.6s |      13 |    52028 |    38832 |      749    104 |        0 |        0
5.59/5.65	c  5.6s |      13 |    76595 |    58132 |      824    145 |        0 |        0
5.59/5.67	c  5.7s |      14 |    76932 |    58352 |      824    146 |        0 |        0
7.59/7.67	c  7.7s |      14 |   101851 |    77952 |      824    184 |        0 |        0
8.69/8.73	c  8.7s |      15 |   114297 |    87632 |      907    202 |        0 |        0
10.69/10.74	c 10.7s |      15 |   140145 |   107832 |      907    239 |        0 |        0
12.69/12.74	c 12.7s |      15 |   167475 |   128532 |      907    278 |        0 |        0
12.99/13.04	c 13.0s |      16 |   171204 |   131552 |      998    283 |        0 |        0
14.98/15.04	c 15.0s |      16 |   196075 |   150852 |      998    316 |        0 |        0
16.98/17.04	c 17.0s |      16 |   221757 |   170552 |      998    349 |        0 |        0
18.98/19.04	c 19.0s |      16 |   247968 |   190452 |      998    383 |        0 |        0
19.68/19.72	c 19.7s |      17 |   257357 |   197432 |     1098    394 |        0 |        0
21.68/21.72	c 21.7s |      17 |   280841 |   215532 |     1098    422 |        0 |        0
23.68/23.72	c 23.7s |      17 |   304739 |   233332 |     1098    450 |        0 |        0
25.68/25.73	c 25.7s |      17 |   326596 |   250732 |     1098    477 |        0 |        0
27.69/27.74	c 27.7s |      17 |   350620 |   269132 |     1098    505 |        0 |        0
29.70/29.75	c 29.7s |      17 |   375129 |   287932 |     1098    535 |        0 |        0
30.69/30.71	c 30.7s |      18 |   386350 |   296252 |     1208    549 |        0 |        0
32.69/32.71	c 32.7s |      18 |   411478 |   315552 |     1208    577 |        0 |        0
34.69/34.72	c 34.7s |      18 |   433946 |   333552 |     1208    603 |        0 |        0
36.69/36.72	c 36.7s |      18 |   457152 |   351652 |     1208    630 |        0 |        0
38.69/38.73	c 38.7s |      18 |   479955 |   369252 |     1208    656 |        0 |        0
40.69/40.74	c 40.7s |      18 |   503578 |   387652 |     1208    682 |        0 |        0
42.68/42.75	c 42.7s |      18 |   526575 |   405852 |     1208    710 |        0 |        0
44.68/44.75	c 44.7s |      18 |   550845 |   424352 |     1208    736 |        0 |        0
46.68/46.77	c 46.7s |      18 |   576400 |   443652 |     1329    764 |        0 |        0
46.78/46.86	c 46.8s |      19 |   577519 |   444482 |     1329    766 |        0 |        0
48.78/48.87	c 48.9s |      19 |   600494 |   462482 |     1329    789 |        0 |        0
50.78/50.87	c 50.9s |      19 |   624069 |   480382 |     1329    812 |        0 |        0
52.79/52.88	c 52.9s |      19 |   645554 |   496982 |     1329    835 |        0 |        0
54.79/54.89	c 54.9s |      19 |   667947 |   513882 |     1329    857 |        0 |        0
56.89/56.90	c 56.9s |      19 |   690776 |   531682 |     1329    881 |        0 |        0
58.88/58.90	c 58.9s |      19 |   714907 |   550082 |     1329    907 |        0 |        0
60.88/60.91	c 60.9s |      19 |   737190 |   567382 |     1329    930 |        0 |        0
62.88/62.92	c 62.9s |      19 |   759761 |   584682 |     1329    954 |        0 |        0
64.89/64.93	c 64.9s |      19 |   782935 |   602482 |     1329    977 |        0 |        0
66.88/66.93	c 66.9s |      19 |   806031 |   619982 |     1329   1001 |        0 |        0
68.88/68.93	c 68.9s |      19 |   828053 |   637382 |     1329   1024 |        0 |        0
70.88/70.94	c 70.9s |      19 |   852892 |   656082 |     1329   1049 |        0 |        0
72.08/72.18	c 72.2s |      20 |   866841 |   666827 |     1462   1063 |        0 |        0
74.08/74.18	c 74.2s |      20 |   887362 |   682927 |     1462   1082 |        0 |        0
76.08/76.19	c 76.2s |      20 |   908373 |   699427 |     1462   1102 |        0 |        0
78.08/78.19	c 78.2s |      20 |   932283 |   717127 |     1462   1123 |        0 |        0
80.18/80.20	c 80.2s |      20 |   957265 |   735227 |     1462   1145 |        0 |        0
82.17/82.21	c 82.2s |      20 |   981070 |   753227 |     1462   1167 |        0 |        0
84.17/84.21	c 84.2s |      20 |  1005675 |   771527 |     1462   1189 |        0 |        0
86.17/86.21	c 86.2s |      20 |  1029045 |   788627 |     1462   1210 |        0 |        0
88.17/88.21	c 88.2s |      20 |  1051823 |   805627 |     1462   1230 |        0 |        0
90.18/90.22	c 90.2s |      20 |  1072628 |   821827 |     1462   1250 |        0 |        0
92.17/92.24	c 92.2s |      20 |  1097938 |   840127 |     1462   1272 |        0 |        0
94.18/94.24	c 94.2s |      20 |  1121170 |   857827 |     1462   1293 |        0 |        0
96.18/96.25	c 96.2s |      20 |  1144861 |   874827 |     1462   1313 |        0 |        0
98.18/98.26	c 98.2s |      20 |  1169037 |   892227 |     1462   1334 |        0 |        0
100.18/100.26	c  100s |      20 |  1191364 |   909527 |     1462   1355 |        0 |        0
102.18/102.27	c  102s |      20 |  1214091 |   926927 |     1462   1376 |        0 |        0
104.17/104.28	c  104s |      20 |  1236161 |   943727 |     1462   1397 |        0 |        0
106.27/106.30	c  106s |      20 |  1259107 |   961327 |     1462   1418 |        0 |        0
108.27/108.31	c  108s |      20 |  1280741 |   977727 |     1462   1438 |        0 |        0
110.27/110.32	c  110s |      20 |  1302570 |   994027 |     1609   1458 |        0 |        0
111.08/111.13	c  111s |      21 |  1311179 |  1000345 |     1609   1465 |        0 |        0
113.07/113.13	c  113s |      21 |  1331994 |  1016545 |     1609   1483 |        0 |        0
115.07/115.13	c  115s |      21 |  1353927 |  1033245 |     1609   1501 |        0 |        0
117.07/117.14	c  117s |      21 |  1375911 |  1050045 |     1609   1520 |        0 |        0
119.07/119.15	c  119s |      21 |  1399586 |  1067445 |     1609   1540 |        0 |        0
121.08/121.16	c  121s |      21 |  1422229 |  1084345 |     1609   1558 |        0 |        0
123.07/123.16	c  123s |      21 |  1443541 |  1100545 |     1609   1576 |        0 |        0
125.07/125.17	c  125s |      21 |  1467248 |  1118045 |     1609   1596 |        0 |        0
127.07/127.18	c  127s |      21 |  1490231 |  1134645 |     1609   1614 |        0 |        0
129.07/129.18	c  129s |      21 |  1511668 |  1151045 |     1609   1633 |        0 |        0
131.07/131.18	c  131s |      21 |  1532917 |  1167145 |     1609   1651 |        0 |        0
133.08/133.19	c  133s |      21 |  1554220 |  1183345 |     1609   1669 |        0 |        0
135.17/135.20	c  135s |      21 |  1576578 |  1199945 |     1609   1687 |        0 |        0
137.17/137.21	c  137s |      21 |  1596501 |  1215745 |     1609   1705 |        0 |        0
139.17/139.22	c  139s |      21 |  1617967 |  1232445 |     1609   1723 |        0 |        0
141.17/141.23	c  141s |      21 |  1639068 |  1248345 |     1609   1741 |        0 |        0
143.17/143.23	c  143s |      21 |  1661380 |  1264745 |     1609   1759 |        0 |        0
145.17/145.24	c  145s |      21 |  1682431 |  1281445 |     1609   1778 |        0 |        0
147.16/147.24	c  147s |      21 |  1705301 |  1298545 |     1609   1797 |        0 |        0
149.16/149.25	c  149s |      21 |  1725666 |  1314245 |     1609   1814 |        0 |        0
151.16/151.25	c  151s |      21 |  1749509 |  1331445 |     1609   1834 |        0 |        0
153.16/153.26	c  153s |      21 |  1772909 |  1348845 |     1609   1853 |        0 |        0
155.18/155.27	c  155s |      21 |  1795010 |  1365445 |     1609   1872 |        0 |        0
157.17/157.28	c  157s |      21 |  1817801 |  1382345 |     1609   1890 |        0 |        0
159.17/159.29	c  159s |      21 |  1840837 |  1399545 |     1609   1910 |        0 |        0
161.27/161.30	c  161s |      21 |  1865036 |  1417245 |     1609   1929 |        0 |        0
163.27/163.30	c  163s |      21 |  1886405 |  1433245 |     1609   1947 |        0 |        0
165.27/165.31	c  165s |      21 |  1908777 |  1449845 |     1609   1965 |        0 |        0
167.27/167.33	c  167s |      21 |  1931059 |  1466545 |     1609   1984 |        0 |        0
169.27/169.33	c  169s |      21 |  1954414 |  1483245 |     1609   2003 |        0 |        0
171.27/171.34	c  171s |      21 |  1975777 |  1499245 |     1770   2020 |        0 |        0
171.47/171.51	c  171s |      22 |  1977562 |  1500622 |     1770   2021 |        0 |        0
173.46/173.51	c  173s |      22 |  1999217 |  1516122 |     1770   2037 |        0 |        0
175.46/175.52	c  175s |      22 |  2021289 |  1532422 |     1770   2054 |        0 |        0
177.46/177.52	c  177s |      22 |  2042231 |  1548222 |     1770   2070 |        0 |        0
179.46/179.53	c  179s |      22 |  2063085 |  1564322 |     1770   2087 |        0 |        0
181.47/181.53	c  181s |      22 |  2083927 |  1579922 |     1770   2103 |        0 |        0
183.46/183.53	c  183s |      22 |  2105645 |  1596422 |     1770   2120 |        0 |        0
185.46/185.54	c  185s |      22 |  2126631 |  1612522 |     1770   2136 |        0 |        0
187.46/187.55	c  187s |      22 |  2148071 |  1628622 |     1770   2153 |        0 |        0
189.46/189.55	c  189s |      22 |  2171365 |  1645222 |     1770   2171 |        0 |        0
191.47/191.56	c  191s |      22 |  2190398 |  1660422 |     1770   2186 |        0 |        0
193.46/193.56	c  193s |      22 |  2211278 |  1676622 |     1770   2203 |        0 |        0
195.46/195.57	c  195s |      22 |  2232568 |  1692622 |     1770   2219 |        0 |        0
197.46/197.57	c  197s |      22 |  2253927 |  1708622 |     1770   2236 |        0 |        0
199.46/199.58	c  199s |      22 |  2277479 |  1725222 |     1770   2253 |        0 |        0
201.46/201.58	c  201s |      22 |  2300994 |  1741922 |     1770   2271 |        0 |        0
203.47/203.59	c  203s |      22 |  2323077 |  1758422 |     1770   2288 |        0 |        0
205.46/205.60	c  205s |      22 |  2343423 |  1773422 |     1770   2303 |        0 |        0
207.56/207.61	c  207s |      22 |  2365197 |  1789422 |     1770   2320 |        0 |        0
209.56/209.62	c  209s |      22 |  2387575 |  1805522 |     1770   2337 |        0 |        0
211.56/211.62	c  211s |      22 |  2410381 |  1821822 |     1770   2353 |        0 |        0
213.56/213.63	c  213s |      22 |  2429925 |  1837022 |     1770   2369 |        0 |        0
215.57/215.64	c  215s |      22 |  2450397 |  1852822 |     1770   2386 |        0 |        0
217.56/217.64	c  217s |      22 |  2472882 |  1869122 |     1770   2403 |        0 |        0
219.56/219.64	c  219s |      22 |  2492354 |  1884422 |     1770   2418 |        0 |        0
221.56/221.65	c  221s |      22 |  2513841 |  1899822 |     1770   2434 |        0 |        0
223.56/223.66	c  223s |      22 |  2536683 |  1916322 |     1770   2452 |        0 |        0
225.56/225.67	c  225s |      22 |  2558844 |  1932222 |     1770   2468 |        0 |        0
227.56/227.67	c  227s |      22 |  2581841 |  1948922 |     1770   2485 |        0 |        0
229.56/229.68	c  229s |      22 |  2604413 |  1965522 |     1770   2503 |        0 |        0
231.55/231.68	c  231s |      22 |  2625888 |  1981722 |     1770   2520 |        0 |        0
233.55/233.69	c  233s |      22 |  2649521 |  1998722 |     1770   2537 |        0 |        0
235.65/235.70	c  235s |      22 |  2670910 |  2014622 |     1770   2554 |        0 |        0
237.66/237.71	c  237s |      22 |  2694272 |  2031522 |     1770   2571 |        0 |        0
239.65/239.73	c  239s |      22 |  2713581 |  2046022 |     1770   2587 |        0 |        0
241.65/241.73	c  241s |      22 |  2735655 |  2062422 |     1770   2604 |        0 |        0
243.65/243.73	c  243s |      22 |  2757456 |  2078322 |     1770   2620 |        0 |        0
245.65/245.74	c  245s |      22 |  2779844 |  2095122 |     1770   2638 |        0 |        0
247.65/247.75	c  247s |      22 |  2804162 |  2112222 |     1770   2656 |        0 |        0
249.66/249.76	c  249s |      22 |  2824994 |  2127622 |     1770   2672 |        0 |        0
251.65/251.76	c  251s |      22 |  2847445 |  2144222 |     1770   2689 |        0 |        0
253.65/253.77	c  253s |      22 |  2871080 |  2160922 |     1770   2706 |        0 |        0
255.66/255.79	c  255s |      22 |  2893096 |  2177122 |     1770   2723 |        0 |        0
257.75/257.80	c  257s |      22 |  2916864 |  2193622 |     1770   2740 |        0 |        0
259.75/259.80	c  259s |      22 |  2939986 |  2209922 |     1770   2757 |        0 |        0
261.65/261.80	c  261s |      22 |  2963095 |  2226722 |     1770   2775 |        0 |        0
263.75/263.80	c  263s |      22 |  2984323 |  2242522 |     1948   2791 |        0 |        0
264.75/264.86	c  264s |      23 |  2996197 |  2251038 |     1948   2799 |        0 |        0
266.75/266.86	c  266s |      23 |  3014587 |  2265338 |     1948   2812 |        0 |        0
268.75/268.87	c  268s |      23 |  3036849 |  2281638 |     1948   2827 |        0 |        0
270.75/270.89	c  270s |      23 |  3055805 |  2296638 |     1948   2842 |        0 |        0
272.86/272.91	c  272s |      23 |  3075690 |  2312038 |     1948   2856 |        0 |        0
274.85/274.91	c  274s |      23 |  3095426 |  2327438 |     1948   2871 |        0 |        0
276.85/276.92	c  276s |      23 |  3117770 |  2343938 |     1948   2886 |        0 |        0
278.85/278.92	c  278s |      23 |  3137940 |  2359738 |     1948   2901 |        0 |        0
280.85/280.93	c  280s |      23 |  3158636 |  2375638 |     1948   2916 |        0 |        0
282.85/282.94	c  282s |      23 |  3179125 |  2391338 |     1948   2931 |        0 |        0
284.85/284.94	c  284s |      23 |  3198987 |  2406638 |     1948   2945 |        0 |        0
286.85/286.95	c  286s |      23 |  3214655 |  2419638 |     1948   2957 |        0 |        0
288.84/288.96	c  288s |      23 |  3231907 |  2433838 |     1948   2971 |        0 |        0
290.84/290.97	c  290s |      23 |  3249858 |  2447838 |     1948   2984 |        0 |        0
292.84/292.97	c  292s |      23 |  3268944 |  2462538 |     1948   2998 |        0 |        0
294.85/294.97	c  294s |      23 |  3287987 |  2477138 |     1948   3011 |        0 |        0
296.84/296.99	c  296s |      23 |  3309836 |  2493338 |     1948   3026 |        0 |        0
298.94/299.00	c  298s |      23 |  3331154 |  2508938 |     1948   3041 |        0 |        0
300.94/301.00	c  300s |      23 |  3352827 |  2525238 |     1948   3056 |        0 |        0
302.94/303.00	c  302s |      23 |  3374077 |  2541238 |     1948   3071 |        0 |        0
304.94/305.01	c  304s |      23 |  3395159 |  2557138 |     1948   3086 |        0 |        0
306.95/307.01	c  306s |      23 |  3416283 |  2573138 |     1948   3101 |        0 |        0
308.94/309.02	c  309s |      23 |  3439450 |  2590038 |     1948   3117 |        0 |        0
310.94/311.02	c  311s |      23 |  3460995 |  2606438 |     1948   3133 |        0 |        0
312.95/313.02	c  313s |      23 |  3481757 |  2622438 |     1948   3148 |        0 |        0
314.95/315.03	c  315s |      23 |  3503240 |  2638738 |     1948   3163 |        0 |        0
316.94/317.03	c  317s |      23 |  3525223 |  2654838 |     1948   3178 |        0 |        0
318.95/319.03	c  319s |      23 |  3548073 |  2671838 |     1948   3194 |        0 |        0
320.94/321.04	c  321s |      23 |  3569670 |  2688338 |     1948   3210 |        0 |        0
322.94/323.04	c  323s |      23 |  3590597 |  2704138 |     1948   3225 |        0 |        0
324.94/325.05	c  325s |      23 |  3614655 |  2721738 |     1948   3241 |        0 |        0
326.94/327.05	c  327s |      23 |  3636221 |  2738238 |     1948   3256 |        0 |        0
328.95/329.06	c  329s |      23 |  3656174 |  2753638 |     1948   3271 |        0 |        0
330.94/331.07	c  331s |      23 |  3676935 |  2769838 |     1948   3286 |        0 |        0
332.94/333.07	c  333s |      23 |  3699386 |  2786638 |     1948   3302 |        0 |        0
334.94/335.07	c  335s |      23 |  3720162 |  2802938 |     1948   3317 |        0 |        0
336.94/337.08	c  337s |      23 |  3740498 |  2818838 |     1948   3332 |        0 |        0
338.94/339.09	c  339s |      23 |  3759732 |  2834138 |     1948   3346 |        0 |        0
340.94/341.10	c  341s |      23 |  3779573 |  2849538 |     1948   3361 |        0 |        0
343.03/343.11	c  343s |      23 |  3801550 |  2865738 |     1948   3376 |        0 |        0
345.03/345.12	c  345s |      23 |  3823646 |  2882838 |     1948   3392 |        0 |        0
347.03/347.12	c  347s |      23 |  3844544 |  2898738 |     1948   3407 |        0 |        0
349.03/349.12	c  349s |      23 |  3865698 |  2914838 |     1948   3422 |        0 |        0
351.03/351.12	c  351s |      23 |  3886822 |  2931238 |     1948   3438 |        0 |        0
353.05/353.14	c  353s |      23 |  3907208 |  2947038 |     1948   3452 |        0 |        0
355.04/355.15	c  355s |      23 |  3928267 |  2962638 |     1948   3467 |        0 |        0
357.04/357.16	c  357s |      23 |  3950116 |  2979238 |     1948   3483 |        0 |        0
359.04/359.16	c  359s |      23 |  3972143 |  2995838 |     1948   3498 |        0 |        0
361.04/361.17	c  361s |      23 |  3993496 |  3011938 |     1948   3513 |        0 |        0
363.04/363.18	c  363s |      23 |  4012649 |  3026938 |     1948   3527 |        0 |        0
365.04/365.18	c  365s |      23 |  4033040 |  3042438 |     1948   3542 |        0 |        0
367.04/367.19	c  367s |      23 |  4054630 |  3058538 |     1948   3557 |        0 |        0
369.14/369.20	c  369s |      23 |  4076012 |  3074938 |     1948   3573 |        0 |        0
371.14/371.21	c  371s |      23 |  4096295 |  3090738 |     1948   3587 |        0 |        0
373.14/373.23	c  373s |      23 |  4116220 |  3105838 |     1948   3602 |        0 |        0
375.14/375.24	c  375s |      23 |  4136813 |  3121338 |     1948   3616 |        0 |        0
377.13/377.25	c  377s |      23 |  4159261 |  3137538 |     1948   3631 |        0 |        0
379.13/379.25	c  379s |      23 |  4181283 |  3154238 |     1948   3647 |        0 |        0
381.13/381.26	c  381s |      23 |  4201906 |  3169838 |     1948   3662 |        0 |        0
383.13/383.26	c  383s |      23 |  4222855 |  3186038 |     1948   3677 |        0 |        0
385.13/385.27	c  385s |      23 |  4243827 |  3202438 |     1948   3693 |        0 |        0
387.14/387.28	c  387s |      23 |  4267366 |  3219638 |     1948   3709 |        0 |        0
389.13/389.29	c  389s |      23 |  4288353 |  3235638 |     1948   3724 |        0 |        0
391.23/391.30	c  391s |      23 |  4308579 |  3251238 |     1948   3739 |        0 |        0
393.23/393.31	c  393s |      23 |  4327014 |  3265938 |     1948   3753 |        0 |        0
395.23/395.32	c  395s |      23 |  4347073 |  3281138 |     1948   3767 |        0 |        0
397.23/397.33	c  397s |      23 |  4366294 |  3295838 |     1948   3781 |        0 |        0
399.23/399.33	c  399s |      23 |  4385458 |  3310638 |     1948   3795 |        0 |        0
401.23/401.33	c  401s |      23 |  4407010 |  3326438 |     1948   3810 |        0 |        0
403.23/403.33	c  403s |      23 |  4429845 |  3343438 |     1948   3826 |        0 |        0
405.23/405.34	c  405s |      23 |  4452082 |  3360138 |     2143   3841 |        0 |        0
407.23/407.34	c  407s |      23 |  4473750 |  3376538 |     2143   3855 |        0 |        0
407.23/407.36	c  407s |      24 |  4473996 |  3376662 |     2143   3855 |        0 |        0
409.23/409.37	c  409s |      24 |  4494693 |  3392162 |     2143   3868 |        0 |        0
411.22/411.37	c  411s |      24 |  4511870 |  3405862 |     2143   3880 |        0 |        0
413.22/413.38	c  413s |      24 |  4530017 |  3419562 |     2143   3892 |        0 |        0
415.23/415.38	c  415s |      24 |  4549472 |  3434062 |     2143   3905 |        0 |        0
417.23/417.39	c  417s |      24 |  4566839 |  3447462 |     2143   3917 |        0 |        0
419.33/419.40	c  419s |      24 |  4585494 |  3462062 |     2143   3930 |        0 |        0
421.34/421.41	c  421s |      24 |  4603397 |  3475662 |     2143   3942 |        0 |        0
423.33/423.42	c  423s |      24 |  4621692 |  3490062 |     2143   3954 |        0 |        0
425.33/425.43	c  425s |      24 |  4639994 |  3504362 |     2143   3967 |        0 |        0
427.33/427.44	c  427s |      24 |  4657963 |  3518162 |     2143   3979 |        0 |        0
429.33/429.45	c  429s |      24 |  4677496 |  3532662 |     2143   3991 |        0 |        0
431.33/431.46	c  431s |      24 |  4696226 |  3546462 |     2143   4003 |        0 |        0
433.33/433.46	c  433s |      24 |  4714655 |  3560262 |     2143   4015 |        0 |        0
435.33/435.47	c  435s |      24 |  4734285 |  3574862 |     2143   4028 |        0 |        0
437.33/437.48	c  437s |      24 |  4753130 |  3588862 |     2143   4040 |        0 |        0
439.33/439.49	c  439s |      24 |  4772310 |  3603262 |     2143   4053 |        0 |        0
441.42/441.50	c  441s |      24 |  4791273 |  3617662 |     2143   4065 |        0 |        0
443.42/443.50	c  443s |      24 |  4807749 |  3631062 |     2143   4077 |        0 |        0
445.43/445.51	c  445s |      24 |  4826138 |  3644962 |     2143   4089 |        0 |        0
447.42/447.51	c  447s |      24 |  4844330 |  3658962 |     2143   4101 |        0 |        0
449.42/449.52	c  449s |      24 |  4862072 |  3672362 |     2143   4113 |        0 |        0
451.42/451.52	c  451s |      24 |  4883283 |  3687762 |     2143   4126 |        0 |        0
453.42/453.53	c  453s |      24 |  4903137 |  3702462 |     2143   4139 |        0 |        0
455.42/455.54	c  455s |      24 |  4922968 |  3716662 |     2143   4151 |        0 |        0
457.42/457.55	c  457s |      24 |  4941746 |  3730762 |     2143   4164 |        0 |        0
459.42/459.56	c  459s |      24 |  4960094 |  3745062 |     2143   4176 |        0 |        0
461.42/461.57	c  461s |      24 |  4979788 |  3759462 |     2143   4189 |        0 |        0
463.42/463.59	c  463s |      24 |  4998347 |  3773262 |     2143   4201 |        0 |        0
465.42/465.59	c  465s |      24 |  5015165 |  3786062 |     2143   4212 |        0 |        0
467.42/467.60	c  467s |      24 |  5035080 |  3800062 |     2143   4224 |        0 |        0
469.52/469.61	c  469s |      24 |  5054238 |  3814062 |     2143   4236 |        0 |        0
471.51/471.62	c  471s |      24 |  5073064 |  3828362 |     2143   4249 |        0 |        0
473.52/473.62	c  473s |      24 |  5093149 |  3843662 |     2143   4262 |        0 |        0
475.52/475.64	c  475s |      24 |  5110927 |  3857762 |     2143   4274 |        0 |        0
477.52/477.65	c  477s |      24 |  5131532 |  3872662 |     2143   4287 |        0 |        0
479.53/479.66	c  479s |      24 |  5148261 |  3885162 |     2143   4298 |        0 |        0
481.52/481.67	c  481s |      24 |  5166382 |  3897962 |     2143   4310 |        0 |        0
483.52/483.67	c  483s |      24 |  5185297 |  3912462 |     2143   4322 |        0 |        0
485.52/485.68	c  485s |      24 |  5201902 |  3925362 |     2143   4334 |        0 |        0
487.52/487.68	c  487s |      24 |  5218989 |  3938262 |     2143   4345 |        0 |        0
489.53/489.69	c  489s |      24 |  5237646 |  3952262 |     2143   4357 |        0 |        0
491.52/491.69	c  491s |      24 |  5256465 |  3966662 |     2143   4370 |        0 |        0
493.62/493.70	c  493s |      24 |  5276497 |  3981462 |     2143   4383 |        0 |        0
495.62/495.71	c  495s |      24 |  5295068 |  3995162 |     2143   4395 |        0 |        0
497.62/497.72	c  497s |      24 |  5312306 |  4009062 |     2143   4407 |        0 |        0
499.62/499.73	c  499s |      24 |  5331636 |  4023462 |     2143   4419 |        0 |        0
501.62/501.73	c  501s |      24 |  5350872 |  4037662 |     2143   4432 |        0 |        0
503.61/503.74	c  503s |      24 |  5370330 |  4051662 |     2143   4444 |        0 |        0
505.61/505.75	c  505s |      24 |  5388609 |  4065362 |     2143   4455 |        0 |        0
507.61/507.76	c  507s |      24 |  5405995 |  4079062 |     2143   4467 |        0 |        0
509.61/509.76	c  509s |      24 |  5425460 |  4093362 |     2143   4480 |        0 |        0
511.61/511.76	c  511s |      24 |  5444300 |  4107662 |     2143   4492 |        0 |        0
513.62/513.77	c  513s |      24 |  5464058 |  4122662 |     2143   4505 |        0 |        0
515.61/515.77	c  515s |      24 |  5483058 |  4137062 |     2143   4517 |        0 |        0
517.61/517.77	c  517s |      24 |  5500319 |  4150362 |     2143   4529 |        0 |        0
519.61/519.78	c  519s |      24 |  5513324 |  4161362 |     2143   4538 |        0 |        0
521.61/521.79	c  521s |      24 |  5533236 |  4176262 |     2143   4551 |        0 |        0
523.71/523.80	c  523s |      24 |  5552142 |  4190262 |     2143   4564 |        0 |        0
525.72/525.81	c  525s |      24 |  5569856 |  4203662 |     2143   4575 |        0 |        0
527.71/527.81	c  527s |      24 |  5586783 |  4216662 |     2143   4587 |        0 |        0
529.71/529.82	c  529s |      24 |  5605049 |  4230462 |     2143   4599 |        0 |        0
531.71/531.83	c  531s |      24 |  5624152 |  4244662 |     2143   4611 |        0 |        0
533.70/533.83	c  533s |      24 |  5642681 |  4258862 |     2143   4624 |        0 |        0
535.71/535.84	c  535s |      24 |  5660692 |  4272462 |     2143   4635 |        0 |        0
537.70/537.85	c  537s |      24 |  5676392 |  4284962 |     2143   4646 |        0 |        0
539.70/539.85	c  539s |      24 |  5692548 |  4297962 |     2143   4658 |        0 |        0
541.70/541.85	c  541s |      24 |  5710345 |  4311362 |     2143   4670 |        0 |        0
543.70/543.86	c  543s |      24 |  5729099 |  4325262 |     2143   4682 |        0 |        0
545.71/545.87	c  545s |      24 |  5747582 |  4338862 |     2143   4694 |        0 |        0
547.72/547.88	c  547s |      24 |  5765118 |  4352662 |     2143   4706 |        0 |        0
549.71/549.88	c  549s |      24 |  5782318 |  4366062 |     2143   4718 |        0 |        0
551.71/551.88	c  551s |      24 |  5801200 |  4380562 |     2143   4730 |        0 |        0
553.71/553.89	c  553s |      24 |  5820912 |  4394662 |     2143   4743 |        0 |        0
555.81/555.90	c  555s |      24 |  5839418 |  4408562 |     2143   4755 |        0 |        0
557.81/557.90	c  557s |      24 |  5858493 |  4422962 |     2143   4767 |        0 |        0
559.81/559.90	c  559s |      24 |  5876935 |  4436962 |     2143   4779 |        0 |        0
561.81/561.91	c  561s |      24 |  5894710 |  4450762 |     2143   4791 |        0 |        0
563.81/563.92	c  563s |      24 |  5913306 |  4465162 |     2143   4804 |        0 |        0
565.81/565.92	c  565s |      24 |  5932009 |  4478862 |     2143   4816 |        0 |        0
567.81/567.93	c  567s |      24 |  5951270 |  4493262 |     2143   4828 |        0 |        0
569.81/569.95	c  569s |      24 |  5970262 |  4507562 |     2143   4841 |        0 |        0
571.80/571.95	c  571s |      24 |  5987503 |  4520962 |     2143   4852 |        0 |        0
573.80/573.96	c  573s |      24 |  6007960 |  4535962 |     2143   4866 |        0 |        0
575.80/575.97	c  575s |      24 |  6028126 |  4550262 |     2143   4878 |        0 |        0
577.80/577.98	c  577s |      24 |  6047360 |  4564662 |     2143   4891 |        0 |        0
579.80/579.99	c  579s |      24 |  6068449 |  4579762 |     2143   4904 |        0 |        0
581.81/581.99	c  581s |      24 |  6087850 |  4593162 |     2143   4916 |        0 |        0
583.90/584.00	c  583s |      24 |  6107082 |  4608062 |     2143   4929 |        0 |        0
585.90/586.01	c  585s |      24 |  6126174 |  4622162 |     2143   4941 |        0 |        0
587.90/588.01	c  587s |      24 |  6147073 |  4636662 |     2143   4953 |        0 |        0
589.90/590.01	c  589s |      24 |  6166458 |  4650762 |     2143   4966 |        0 |        0
591.90/592.01	c  591s |      24 |  6186866 |  4665462 |     2143   4979 |        0 |        0
593.91/594.03	c  594s |      24 |  6206147 |  4679662 |     2143   4991 |        0 |        0
595.90/596.04	c  596s |      24 |  6225054 |  4693762 |     2143   5004 |        0 |        0
597.90/598.05	c  598s |      24 |  6243457 |  4708062 |     2143   5016 |        0 |        0
599.90/600.05	c  600s |      24 |  6262785 |  4722062 |     2143   5028 |        0 |        0
601.90/602.07	c  602s |      24 |  6281413 |  4736162 |     2143   5041 |        0 |        0
603.91/604.07	c  604s |      24 |  6302580 |  4751762 |     2143   5054 |        0 |        0
605.90/606.08	c  606s |      24 |  6323561 |  4767362 |     2143   5068 |        0 |        0
607.90/608.08	c  608s |      24 |  6341930 |  4781562 |     2143   5080 |        0 |        0
609.90/610.09	c  610s |      24 |  6361133 |  4795962 |     2143   5093 |        0 |        0
612.00/612.10	c  612s |      24 |  6379523 |  4810262 |     2143   5105 |        0 |        0
614.00/614.12	c  614s |      24 |  6398861 |  4825062 |     2143   5118 |        0 |        0
616.00/616.12	c  616s |      24 |  6417025 |  4839162 |     2143   5130 |        0 |        0
618.00/618.13	c  618s |      24 |  6437425 |  4853962 |     2143   5143 |        0 |        0
620.00/620.13	c  620s |      24 |  6456789 |  4868462 |     2143   5156 |        0 |        0
622.00/622.13	c  622s |      24 |  6475936 |  4882262 |     2143   5168 |        0 |        0
624.00/624.14	c  624s |      24 |  6495089 |  4896262 |     2143   5180 |        0 |        0
625.99/626.15	c  626s |      24 |  6514766 |  4910862 |     2143   5193 |        0 |        0
628.00/628.16	c  628s |      24 |  6534322 |  4925262 |     2143   5206 |        0 |        0
629.99/630.18	c  630s |      24 |  6555466 |  4940662 |     2143   5219 |        0 |        0
631.99/632.19	c  632s |      24 |  6575008 |  4955162 |     2143   5231 |        0 |        0
634.09/634.20	c  634s |      24 |  6593542 |  4969662 |     2143   5244 |        0 |        0
636.09/636.21	c  636s |      24 |  6615472 |  4985762 |     2143   5258 |        0 |        0
638.09/638.22	c  638s |      24 |  6633336 |  5000062 |     2143   5271 |        0 |        0
640.10/640.23	c  640s |      24 |  6653207 |  5015262 |     2143   5284 |        0 |        0
642.09/642.24	c  642s |      24 |  6672366 |  5029762 |     2358   5297 |        0 |        0
644.09/644.25	c  644s |      24 |  6690048 |  5043162 |     2358   5307 |        0 |        0
646.09/646.25	c  646s |      24 |  6706313 |  5056362 |     2358   5318 |        0 |        0
647.39/647.58	c  647s |      25 |  6718427 |  5065098 |     2358   5325 |        0 |        0
649.39/649.58	c  649s |      25 |  6736890 |  5079598 |     2358   5336 |        0 |        0
651.39/651.59	c  651s |      25 |  6755354 |  5093898 |     2358   5347 |        0 |        0
653.40/653.59	c  653s |      25 |  6773289 |  5107098 |     2358   5358 |        0 |        0
655.39/655.59	c  655s |      25 |  6792379 |  5121298 |     2358   5369 |        0 |        0
657.49/657.60	c  657s |      25 |  6812939 |  5135998 |     2358   5381 |        0 |        0
659.49/659.60	c  659s |      25 |  6831165 |  5149898 |     2358   5391 |        0 |        0
661.49/661.60	c  661s |      25 |  6848103 |  5162798 |     2358   5402 |        0 |        0
663.49/663.61	c  663s |      25 |  6865575 |  5175998 |     2358   5412 |        0 |        0
665.49/665.62	c  665s |      25 |  6884832 |  5190498 |     2358   5423 |        0 |        0
667.49/667.63	c  667s |      25 |  6901219 |  5203498 |     2358   5433 |        0 |        0
669.49/669.63	c  669s |      25 |  6919111 |  5217398 |     2358   5444 |        0 |        0
671.49/671.64	c  671s |      25 |  6938348 |  5231998 |     2358   5456 |        0 |        0
673.49/673.65	c  673s |      25 |  6960116 |  5247698 |     2358   5468 |        0 |        0
675.49/675.66	c  675s |      25 |  6980695 |  5262998 |     2358   5480 |        0 |        0
677.49/677.67	c  677s |      25 |  6997910 |  5276498 |     2358   5491 |        0 |        0
679.48/679.68	c  679s |      25 |  7016550 |  5290598 |     2358   5502 |        0 |        0
681.48/681.68	c  681s |      25 |  7035514 |  5305098 |     2358   5513 |        0 |        0
683.48/683.69	c  683s |      25 |  7057669 |  5320798 |     2358   5526 |        0 |        0
685.58/685.70	c  685s |      25 |  7074607 |  5334298 |     2358   5537 |        0 |        0
687.58/687.70	c  687s |      25 |  7094040 |  5348898 |     2358   5548 |        0 |        0
689.59/689.71	c  689s |      25 |  7112414 |  5363598 |     2358   5560 |        0 |        0
691.58/691.72	c  691s |      25 |  7130501 |  5376998 |     2358   5571 |        0 |        0
693.58/693.73	c  693s |      25 |  7151912 |  5392698 |     2358   5583 |        0 |        0
695.58/695.73	c  695s |      25 |  7172311 |  5408198 |     2358   5596 |        0 |        0
697.58/697.73	c  697s |      25 |  7190102 |  5422498 |     2358   5607 |        0 |        0
699.59/699.74	c  699s |      25 |  7210152 |  5437598 |     2358   5619 |        0 |        0
701.58/701.75	c  701s |      25 |  7230282 |  5452998 |     2358   5631 |        0 |        0
703.59/703.75	c  703s |      25 |  7249925 |  5467998 |     2358   5643 |        0 |        0
705.59/705.76	c  705s |      25 |  7269952 |  5483098 |     2358   5655 |        0 |        0
707.59/707.76	c  707s |      25 |  7289327 |  5497998 |     2358   5667 |        0 |        0
709.59/709.77	c  709s |      25 |  7310174 |  5513498 |     2358   5680 |        0 |        0
711.59/711.77	c  711s |      25 |  7329948 |  5528098 |     2358   5691 |        0 |        0
713.58/713.78	c  713s |      25 |  7348453 |  5542198 |     2358   5703 |        0 |        0
715.58/715.78	c  715s |      25 |  7366931 |  5556098 |     2358   5714 |        0 |        0
717.58/717.79	c  717s |      25 |  7387240 |  5571198 |     2358   5727 |        0 |        0
719.68/719.80	c  719s |      25 |  7408042 |  5586998 |     2358   5739 |        0 |        0
721.68/721.80	c  721s |      25 |  7427250 |  5601598 |     2358   5751 |        0 |        0
723.69/723.80	c  723s |      25 |  7446271 |  5615598 |     2358   5762 |        0 |        0
725.68/725.81	c  725s |      25 |  7463426 |  5629398 |     2358   5773 |        0 |        0
727.68/727.82	c  727s |      25 |  7479109 |  5641998 |     2358   5783 |        0 |        0
729.68/729.83	c  729s |      25 |  7499187 |  5657298 |     2358   5796 |        0 |        0
731.67/731.84	c  731s |      25 |  7517730 |  5671598 |     2358   5807 |        0 |        0
733.68/733.84	c  733s |      25 |  7537307 |  5686498 |     2358   5819 |        0 |        0
735.67/735.85	c  735s |      25 |  7555976 |  5700998 |     2358   5831 |        0 |        0
737.67/737.86	c  737s |      25 |  7574659 |  5715398 |     2358   5842 |        0 |        0
739.67/739.87	c  739s |      25 |  7593236 |  5729598 |     2358   5854 |        0 |        0
741.67/741.88	c  741s |      25 |  7611508 |  5743398 |     2358   5865 |        0 |        0
743.67/743.89	c  743s |      25 |  7629662 |  5757198 |     2358   5877 |        0 |        0
745.67/745.89	c  745s |      25 |  7647874 |  5771198 |     2358   5888 |        0 |        0
747.66/747.89	c  747s |      25 |  7666856 |  5785398 |     2358   5899 |        0 |        0
749.76/749.90	c  749s |      25 |  7685845 |  5800098 |     2358   5911 |        0 |        0
751.76/751.91	c  751s |      25 |  7704275 |  5813398 |     2358   5922 |        0 |        0
753.76/753.92	c  753s |      25 |  7723141 |  5828298 |     2358   5934 |        0 |        0
755.76/755.92	c  755s |      25 |  7741700 |  5842698 |     2358   5946 |        0 |        0
757.76/757.93	c  757s |      25 |  7760560 |  5856798 |     2358   5957 |        0 |        0
759.75/759.94	c  759s |      25 |  7779289 |  5871498 |     2358   5969 |        0 |        0
761.75/761.94	c  761s |      25 |  7798956 |  5886298 |     2358   5981 |        0 |        0
763.75/763.95	c  763s |      25 |  7820498 |  5902298 |     2358   5993 |        0 |        0
765.75/765.97	c  765s |      25 |  7840098 |  5917098 |     2358   6005 |        0 |        0
767.75/767.97	c  767s |      25 |  7860188 |  5932298 |     2358   6018 |        0 |        0
769.75/769.98	c  769s |      25 |  7881256 |  5947898 |     2358   6030 |        0 |        0
771.75/771.98	c  771s |      25 |  7903638 |  5964498 |     2358   6044 |        0 |        0
773.85/774.00	c  773s |      25 |  7924170 |  5980298 |     2358   6056 |        0 |        0
775.85/776.00	c  775s |      25 |  7943055 |  5995098 |     2358   6068 |        0 |        0
777.85/778.02	c  777s |      25 |  7961829 |  6009798 |     2358   6080 |        0 |        0
779.85/780.02	c  780s |      25 |  7981803 |  6024998 |     2358   6092 |        0 |        0
781.85/782.03	c  782s |      25 |  8001609 |  6040098 |     2358   6104 |        0 |        0
783.84/784.03	c  784s |      25 |  8021338 |  6054898 |     2358   6115 |        0 |        0
785.84/786.03	c  786s |      25 |  8039173 |  6068898 |     2358   6127 |        0 |        0
787.84/788.05	c  788s |      25 |  8058167 |  6082898 |     2358   6138 |        0 |        0
789.84/790.05	c  790s |      25 |  8078280 |  6098198 |     2358   6150 |        0 |        0
791.84/792.05	c  792s |      25 |  8098172 |  6113098 |     2358   6162 |        0 |        0
793.83/794.06	c  794s |      25 |  8119773 |  6128898 |     2358   6175 |        0 |        0
795.83/796.06	c  796s |      25 |  8140434 |  6144198 |     2358   6187 |        0 |        0
797.83/798.08	c  798s |      25 |  8159316 |  6158298 |     2358   6199 |        0 |        0
799.83/800.08	c  800s |      25 |  8178971 |  6172898 |     2358   6211 |        0 |        0
801.84/802.08	c  802s |      25 |  8199216 |  6188398 |     2358   6224 |        0 |        0
803.83/804.08	c  804s |      25 |  8219627 |  6203198 |     2358   6236 |        0 |        0
805.93/806.10	c  806s |      25 |  8239374 |  6217898 |     2358   6247 |        0 |        0
807.93/808.10	c  808s |      25 |  8258596 |  6232098 |     2358   6259 |        0 |        0
809.92/810.11	c  810s |      25 |  8278919 |  6246798 |     2358   6271 |        0 |        0
811.92/812.11	c  812s |      25 |  8297318 |  6260998 |     2358   6282 |        0 |        0
813.93/814.12	c  814s |      25 |  8313816 |  6273798 |     2358   6293 |        0 |        0
815.92/816.13	c  816s |      25 |  8332239 |  6287398 |     2358   6304 |        0 |        0
817.92/818.15	c  818s |      25 |  8349610 |  6301198 |     2358   6314 |        0 |        0
819.92/820.16	c  820s |      25 |  8367372 |  6314898 |     2358   6325 |        0 |        0
821.92/822.17	c  822s |      25 |  8385773 |  6329298 |     2358   6337 |        0 |        0
823.92/824.18	c  824s |      25 |  8404386 |  6343798 |     2358   6349 |        0 |        0
825.92/826.18	c  826s |      25 |  8423376 |  6358698 |     2358   6361 |        0 |        0
828.01/828.20	c  828s |      25 |  8442787 |  6373198 |     2358   6373 |        0 |        0
830.02/830.21	c  830s |      25 |  8462863 |  6388098 |     2358   6385 |        0 |        0
832.02/832.22	c  832s |      25 |  8482915 |  6403098 |     2358   6397 |        0 |        0
834.02/834.23	c  834s |      25 |  8503111 |  6418098 |     2358   6408 |        0 |        0
836.02/836.23	c  836s |      25 |  8522258 |  6432698 |     2358   6420 |        0 |        0
838.02/838.24	c  838s |      25 |  8540892 |  6446298 |     2358   6430 |        0 |        0
840.01/840.24	c  840s |      25 |  8560859 |  6460798 |     2358   6442 |        0 |        0
842.01/842.24	c  842s |      25 |  8581283 |  6475398 |     2358   6453 |        0 |        0
844.01/844.25	c  844s |      25 |  8601376 |  6489798 |     2358   6464 |        0 |        0
846.01/846.25	c  846s |      25 |  8620512 |  6504198 |     2358   6476 |        0 |        0
848.01/848.26	c  848s |      25 |  8640903 |  6519098 |     2358   6487 |        0 |        0
850.01/850.27	c  850s |      25 |  8661930 |  6533998 |     2358   6499 |        0 |        0
852.01/852.28	c  852s |      25 |  8682147 |  6548898 |     2358   6511 |        0 |        0
854.01/854.29	c  854s |      25 |  8702839 |  6563698 |     2358   6523 |        0 |        0
856.10/856.31	c  856s |      25 |  8721624 |  6577998 |     2358   6534 |        0 |        0
858.10/858.31	c  858s |      25 |  8740375 |  6591898 |     2358   6546 |        0 |        0
860.11/860.31	c  860s |      25 |  8760607 |  6606298 |     2358   6557 |        0 |        0
862.10/862.32	c  862s |      25 |  8779853 |  6620298 |     2358   6568 |        0 |        0
864.10/864.33	c  864s |      25 |  8798440 |  6633998 |     2358   6579 |        0 |        0
866.10/866.35	c  866s |      25 |  8816118 |  6647798 |     2358   6591 |        0 |        0
868.09/868.36	c  868s |      25 |  8835085 |  6661998 |     2358   6602 |        0 |        0
870.10/870.36	c  870s |      25 |  8855417 |  6677098 |     2358   6614 |        0 |        0
872.11/872.36	c  872s |      25 |  8875299 |  6692098 |     2358   6626 |        0 |        0
874.10/874.37	c  874s |      25 |  8896210 |  6707398 |     2358   6638 |        0 |        0
876.10/876.38	c  876s |      25 |  8912945 |  6720298 |     2358   6649 |        0 |        0
878.09/878.39	c  878s |      25 |  8931015 |  6733898 |     2358   6659 |        0 |        0
880.09/880.39	c  880s |      25 |  8947299 |  6746498 |     2358   6669 |        0 |        0
882.19/882.40	c  882s |      25 |  8967558 |  6761698 |     2358   6681 |        0 |        0
884.09/884.40	c  884s |      25 |  8988926 |  6777798 |     2358   6694 |        0 |        0
886.19/886.40	c  886s |      25 |  9005686 |  6791398 |     2358   6705 |        0 |        0
888.18/888.41	c  888s |      25 |  9024012 |  6805498 |     2358   6716 |        0 |        0
890.18/890.42	c  890s |      25 |  9042742 |  6819698 |     2358   6727 |        0 |        0
892.18/892.44	c  892s |      25 |  9062268 |  6833898 |     2358   6738 |        0 |        0
894.19/894.45	c  894s |      25 |  9082052 |  6848498 |     2358   6750 |        0 |        0
896.18/896.46	c  896s |      25 |  9101101 |  6862398 |     2358   6761 |        0 |        0
898.17/898.47	c  898s |      25 |  9119470 |  6876298 |     2358   6772 |        0 |        0
900.18/900.47	c  900s |      25 |  9139213 |  6891098 |     2358   6783 |        0 |        0
902.18/902.48	c  902s |      25 |  9157891 |  6905298 |     2358   6795 |        0 |        0
904.18/904.49	c  904s |      25 |  9177080 |  6919998 |     2358   6806 |        0 |        0
906.19/906.50	c  906s |      25 |  9196795 |  6935098 |     2358   6818 |        0 |        0
908.28/908.51	c  908s |      25 |  9215914 |  6949298 |     2358   6829 |        0 |        0
910.27/910.51	c  910s |      25 |  9234752 |  6963598 |     2358   6841 |        0 |        0
912.27/912.51	c  912s |      25 |  9254882 |  6978298 |     2358   6852 |        0 |        0
914.27/914.52	c  914s |      25 |  9271809 |  6990998 |     2358   6862 |        0 |        0
916.27/916.53	c  916s |      25 |  9289838 |  7003798 |     2358   6872 |        0 |        0
918.27/918.54	c  918s |      25 |  9307999 |  7017198 |     2358   6883 |        0 |        0
920.27/920.55	c  920s |      25 |  9327875 |  7031498 |     2358   6894 |        0 |        0
922.27/922.55	c  922s |      25 |  9346432 |  7044998 |     2358   6905 |        0 |        0
924.27/924.56	c  924s |      25 |  9365006 |  7058498 |     2358   6916 |        0 |        0
926.26/926.56	c  926s |      25 |  9386187 |  7073398 |     2358   6928 |        0 |        0
928.26/928.57	c  928s |      25 |  9404780 |  7087398 |     2358   6939 |        0 |        0
930.26/930.58	c  930s |      25 |  9424418 |  7101798 |     2358   6950 |        0 |        0
932.26/932.59	c  932s |      25 |  9444675 |  7116198 |     2358   6962 |        0 |        0
934.26/934.59	c  934s |      25 |  9464266 |  7131098 |     2358   6973 |        0 |        0
936.35/936.60	c  936s |      25 |  9483793 |  7144998 |     2358   6984 |        0 |        0
938.35/938.60	c  938s |      25 |  9503519 |  7159898 |     2358   6996 |        0 |        0
940.36/940.62	c  940s |      25 |  9521979 |  7173998 |     2358   7008 |        0 |        0
942.36/942.63	c  942s |      25 |  9542065 |  7189398 |     2358   7020 |        0 |        0
944.36/944.63	c  944s |      25 |  9560886 |  7203598 |     2358   7031 |        0 |        0
946.36/946.65	c  946s |      25 |  9579479 |  7217298 |     2358   7042 |        0 |        0
948.35/948.66	c  948s |      25 |  9598276 |  7231598 |     2358   7053 |        0 |        0
950.35/950.68	c  950s |      25 |  9620004 |  7246598 |     2358   7065 |        0 |        0
952.36/952.68	c  952s |      25 |  9640162 |  7260898 |     2358   7076 |        0 |        0
954.35/954.68	c  954s |      25 |  9658759 |  7275198 |     2358   7088 |        0 |        0
956.35/956.69	c  956s |      25 |  9678864 |  7290198 |     2358   7100 |        0 |        0
958.34/958.69	c  958s |      25 |  9697644 |  7304198 |     2358   7111 |        0 |        0
960.34/960.69	c  960s |      25 |  9716359 |  7318098 |     2358   7122 |        0 |        0
962.44/962.70	c  962s |      25 |  9735209 |  7332198 |     2358   7134 |        0 |        0
964.45/964.71	c  964s |      25 |  9754463 |  7346398 |     2358   7145 |        0 |        0
966.44/966.72	c  966s |      25 |  9773446 |  7359998 |     2358   7156 |        0 |        0
968.44/968.73	c  968s |      25 |  9791325 |  7373398 |     2358   7167 |        0 |        0
970.44/970.74	c  970s |      25 |  9811657 |  7388398 |     2358   7179 |        0 |        0
972.44/972.75	c  972s |      25 |  9830545 |  7402498 |     2358   7191 |        0 |        0
974.44/974.75	c  974s |      25 |  9848138 |  7415898 |     2358   7201 |        0 |        0
976.43/976.75	c  976s |      25 |  9867701 |  7430598 |     2358   7213 |        0 |        0
978.43/978.76	c  978s |      25 |  9885871 |  7444698 |     2358   7225 |        0 |        0
980.43/980.76	c  980s |      25 |  9905670 |  7458998 |     2358   7236 |        0 |        0
982.43/982.76	c  982s |      25 |  9926816 |  7474098 |     2358   7249 |        0 |        0
984.43/984.77	c  984s |      25 |  9946531 |  7489098 |     2358   7261 |        0 |        0
986.43/986.78	c  986s |      25 |  9968039 |  7504598 |     2358   7273 |        0 |        0
988.42/988.78	c  988s |      25 |  9988547 |  7518998 |     2358   7285 |        0 |        0
990.42/990.78	c  990s |      25 | 10007501 |  7532798 |     2358   7296 |        0 |        0
992.43/992.78	c  992s |      25 | 10026718 |  7546898 |     2594   7307 |        0 |        0
994.43/994.79	c  994s |      25 | 10044591 |  7560798 |     2594   7318 |        0 |        0
996.43/996.80	c  996s |      25 | 10061109 |  7573398 |     2594   7327 |        0 |        0
998.42/998.80	c  998s |      25 | 10079295 |  7587398 |     2594   7337 |        0 |        0
1000.22/1000.51	c 1000s |      26 | 10092229 |  7597752 |     2594   7345 |        0 |        0
1002.22/1002.51	c 1002s |      26 | 10110273 |  7611352 |     2594   7355 |        0 |        0
1004.21/1004.53	c 1004s |      26 | 10127448 |  7624552 |     2594   7364 |        0 |        0
1006.22/1006.53	c 1006s |      26 | 10144639 |  7637952 |     2594   7374 |        0 |        0
1008.21/1008.53	c 1008s |      26 | 10163685 |  7652252 |     2594   7384 |        0 |        0
1010.21/1010.53	c 1010s |      26 | 10179501 |  7665052 |     2594   7393 |        0 |        0
1012.21/1012.54	c 1012s |      26 | 10197529 |  7678752 |     2594   7403 |        0 |        0
1014.20/1014.54	c 1014s |      26 | 10215348 |  7692252 |     2594   7413 |        0 |        0
1016.22/1016.55	c 1016s |      26 | 10233828 |  7706352 |     2594   7423 |        0 |        0
1018.21/1018.56	c 1018s |      26 | 10251123 |  7719552 |     2594   7433 |        0 |        0
1020.21/1020.56	c 1020s |      26 | 10267552 |  7732652 |     2594   7442 |        0 |        0
1022.21/1022.56	c 1022s |      26 | 10286242 |  7746352 |     2594   7452 |        0 |        0
1024.21/1024.57	c 1024s |      26 | 10303686 |  7759352 |     2594   7462 |        0 |        0
1026.21/1026.58	c 1026s |      26 | 10320737 |  7772252 |     2594   7471 |        0 |        0
1028.20/1028.58	c 1028s |      26 | 10337563 |  7785152 |     2594   7480 |        0 |        0
1030.20/1030.59	c 1030s |      26 | 10355163 |  7798852 |     2594   7490 |        0 |        0
1032.30/1032.60	c 1032s |      26 | 10371458 |  7811552 |     2594   7499 |        0 |        0
1034.29/1034.61	c 1034s |      26 | 10389371 |  7825352 |     2594   7509 |        0 |        0
1036.29/1036.62	c 1036s |      26 | 10407129 |  7839052 |     2594   7519 |        0 |        0
1038.29/1038.62	c 1038s |      26 | 10426866 |  7853752 |     2594   7530 |        0 |        0
1040.29/1040.64	c 1040s |      26 | 10444131 |  7867252 |     2594   7539 |        0 |        0
1042.29/1042.65	c 1042s |      26 | 10460778 |  7880152 |     2594   7549 |        0 |        0
1044.29/1044.65	c 1044s |      26 | 10476721 |  7892752 |     2594   7558 |        0 |        0
1046.28/1046.65	c 1046s |      26 | 10494991 |  7906552 |     2594   7568 |        0 |        0
1048.28/1048.66	c 1048s |      26 | 10512185 |  7919952 |     2594   7578 |        0 |        0
1050.29/1050.66	c 1050s |      26 | 10530900 |  7934052 |     2594   7588 |        0 |        0
1052.28/1052.67	c 1052s |      26 | 10549769 |  7948152 |     2594   7598 |        0 |        0
1054.29/1054.67	c 1054s |      26 | 10568723 |  7962652 |     2594   7608 |        0 |        0
1056.29/1056.67	c 1056s |      26 | 10585712 |  7975752 |     2594   7618 |        0 |        0
1058.28/1058.68	c 1058s |      26 | 10604684 |  7989752 |     2594   7628 |        0 |        0
1060.28/1060.69	c 1060s |      26 | 10623343 |  8003552 |     2594   7638 |        0 |        0
1062.29/1062.70	c 1062s |      26 | 10641322 |  8016852 |     2594   7648 |        0 |        0
1064.38/1064.70	c 1064s |      26 | 10660008 |  8030752 |     2594   7658 |        0 |        0
1066.38/1066.71	c 1066s |      26 | 10679453 |  8045152 |     2594   7668 |        0 |        0
1068.37/1068.71	c 1068s |      26 | 10697439 |  8059052 |     2594   7678 |        0 |        0
1070.37/1070.71	c 1070s |      26 | 10715852 |  8072652 |     2594   7688 |        0 |        0
1072.37/1072.72	c 1072s |      26 | 10734554 |  8086852 |     2594   7698 |        0 |        0
1074.38/1074.72	c 1074s |      26 | 10754139 |  8101152 |     2594   7709 |        0 |        0
1076.37/1076.73	c 1076s |      26 | 10771288 |  8114652 |     2594   7718 |        0 |        0
1078.36/1078.73	c 1078s |      26 | 10789668 |  8128752 |     2594   7728 |        0 |        0
1080.36/1080.74	c 1080s |      26 | 10807062 |  8142352 |     2594   7738 |        0 |        0
1082.36/1082.74	c 1082s |      26 | 10824973 |  8156052 |     2594   7748 |        0 |        0
1084.37/1084.75	c 1084s |      26 | 10842817 |  8170052 |     2594   7758 |        0 |        0
1086.36/1086.75	c 1086s |      26 | 10861471 |  8184152 |     2594   7768 |        0 |        0
1088.35/1088.77	c 1088s |      26 | 10879288 |  8197952 |     2594   7778 |        0 |        0
1090.35/1090.77	c 1090s |      26 | 10896520 |  8210952 |     2594   7788 |        0 |        0
1092.35/1092.77	c 1092s |      26 | 10915786 |  8225252 |     2594   7798 |        0 |        0
1094.35/1094.78	c 1094s |      26 | 10935620 |  8239852 |     2594   7809 |        0 |        0
1096.36/1096.79	c 1096s |      26 | 10955065 |  8254552 |     2594   7819 |        0 |        0
1098.44/1098.80	c 1098s |      26 | 10973071 |  8268352 |     2594   7829 |        0 |        0
1100.44/1100.81	c 1100s |      26 | 10991807 |  8282752 |     2594   7840 |        0 |        0
1102.45/1102.82	c 1102s |      26 | 11009682 |  8296452 |     2594   7849 |        0 |        0
1104.45/1104.82	c 1104s |      26 | 11028860 |  8311052 |     2594   7860 |        0 |        0
1106.45/1106.83	c 1106s |      26 | 11046332 |  8324352 |     2594   7870 |        0 |        0
1108.46/1108.84	c 1108s |      26 | 11064867 |  8338252 |     2594   7880 |        0 |        0
1110.45/1110.85	c 1110s |      26 | 11081678 |  8351352 |     2594   7889 |        0 |        0
1112.45/1112.85	c 1112s |      26 | 11098397 |  8364352 |     2594   7898 |        0 |        0
1114.45/1114.86	c 1114s |      26 | 11115790 |  8377852 |     2594   7908 |        0 |        0
1116.45/1116.86	c 1116s |      26 | 11133399 |  8391252 |     2594   7918 |        0 |        0
1118.45/1118.87	c 1118s |      26 | 11154192 |  8406552 |     2594   7929 |        0 |        0
1120.44/1120.88	c 1120s |      26 | 11173096 |  8420652 |     2594   7939 |        0 |        0
1122.44/1122.89	c 1122s |      26 | 11192100 |  8435152 |     2594   7949 |        0 |        0
1124.44/1124.89	c 1124s |      26 | 11210312 |  8449352 |     2594   7960 |        0 |        0
1126.44/1126.89	c 1126s |      26 | 11228234 |  8463152 |     2594   7970 |        0 |        0
1128.43/1128.89	c 1128s |      26 | 11246604 |  8476952 |     2594   7980 |        0 |        0
1130.54/1130.90	c 1130s |      26 | 11264935 |  8490952 |     2594   7990 |        0 |        0
1132.53/1132.91	c 1132s |      26 | 11283462 |  8504852 |     2594   8000 |        0 |        0
1134.53/1134.92	c 1134s |      26 | 11301734 |  8518752 |     2594   8010 |        0 |        0
1136.53/1136.92	c 1136s |      26 | 11320521 |  8532752 |     2594   8020 |        0 |        0
1138.52/1138.93	c 1138s |      26 | 11339727 |  8546952 |     2594   8030 |        0 |        0
1140.52/1140.93	c 1140s |      26 | 11358903 |  8561352 |     2594   8040 |        0 |        0
1142.53/1142.94	c 1142s |      26 | 11377257 |  8575552 |     2594   8051 |        0 |        0
1144.52/1144.95	c 1144s |      26 | 11394210 |  8588952 |     2594   8060 |        0 |        0
1146.53/1146.96	c 1146s |      26 | 11410969 |  8602252 |     2594   8070 |        0 |        0
1148.52/1148.97	c 1148s |      26 | 11427049 |  8614252 |     2594   8079 |        0 |        0
1150.62/1151.00	c 1150s |      26 | 11442654 |  8626652 |     2594   8088 |        0 |        0
1152.62/1153.02	c 1152s |      26 | 11458463 |  8639152 |     2594   8097 |        0 |        0
1154.63/1155.03	c 1155s |      26 | 11474845 |  8651652 |     2594   8106 |        0 |        0
1156.62/1157.03	c 1157s |      26 | 11492619 |  8665052 |     2594   8115 |        0 |        0
1158.61/1159.04	c 1159s |      26 | 11510775 |  8678552 |     2594   8125 |        0 |        0
1160.61/1161.04	c 1161s |      26 | 11528993 |  8692552 |     2594   8135 |        0 |        0
1162.61/1163.05	c 1163s |      26 | 11547594 |  8706752 |     2594   8145 |        0 |        0
1164.62/1165.06	c 1165s |      26 | 11565771 |  8720652 |     2594   8155 |        0 |        0
1166.61/1167.06	c 1167s |      26 | 11584973 |  8734952 |     2594   8166 |        0 |        0
1168.61/1169.07	c 1169s |      26 | 11603654 |  8749152 |     2594   8176 |        0 |        0
1170.61/1171.08	c 1171s |      26 | 11622635 |  8763352 |     2594   8186 |        0 |        0
1172.61/1173.09	c 1173s |      26 | 11641972 |  8778052 |     2594   8197 |        0 |        0
1174.61/1175.09	c 1175s |      26 | 11660953 |  8792552 |     2594   8207 |        0 |        0
1176.61/1177.10	c 1177s |      26 | 11674589 |  8803952 |     2594   8216 |        0 |        0
1178.70/1179.10	c 1179s |      26 | 11692502 |  8817552 |     2594   8225 |        0 |        0
1180.70/1181.11	c 1181s |      26 | 11710902 |  8831652 |     2594   8236 |        0 |        0
1182.70/1183.11	c 1183s |      26 | 11729991 |  8846152 |     2594   8246 |        0 |        0
1184.70/1185.11	c 1185s |      26 | 11748500 |  8860352 |     2594   8256 |        0 |        0
1186.70/1187.12	c 1187s |      26 | 11766396 |  8874252 |     2594   8266 |        0 |        0
1188.70/1189.13	c 1189s |      26 | 11782632 |  8887552 |     2594   8276 |        0 |        0
1190.69/1191.13	c 1191s |      26 | 11801393 |  8901752 |     2594   8286 |        0 |        0
1192.69/1193.14	c 1193s |      26 | 11819511 |  8915352 |     2594   8296 |        0 |        0
1194.69/1195.15	c 1195s |      26 | 11836775 |  8928252 |     2594   8306 |        0 |        0
1196.69/1197.17	c 1197s |      26 | 11855402 |  8942652 |     2594   8316 |        0 |        0
1198.70/1199.17	c 1199s |      26 | 11872746 |  8956352 |     2594   8326 |        0 |        0
1200.69/1201.19	c 1201s |      26 | 11890240 |  8969952 |     2594   8336 |        0 |        0
1202.69/1203.20	c 1203s |      26 | 11905760 |  8982652 |     2594   8345 |        0 |        0
1204.79/1205.20	c 1205s |      26 | 11922768 |  8996052 |     2594   8354 |        0 |        0
1206.79/1207.22	c 1207s |      26 | 11939653 |  9009252 |     2594   8364 |        0 |        0
1208.79/1209.22	c 1209s |      26 | 11955558 |  9021752 |     2594   8373 |        0 |        0
1210.79/1211.24	c 1211s |      26 | 11974097 |  9035952 |     2594   8383 |        0 |        0
1212.79/1213.25	c 1213s |      26 | 11990520 |  9048452 |     2594   8392 |        0 |        0
1214.79/1215.26	c 1215s |      26 | 12005364 |  9060952 |     2594   8401 |        0 |        0
1216.79/1217.27	c 1217s |      26 | 12020945 |  9072752 |     2594   8410 |        0 |        0
1218.78/1219.28	c 1219s |      26 | 12036980 |  9084952 |     2594   8418 |        0 |        0
1220.78/1221.29	c 1221s |      26 | 12055772 |  9098952 |     2594   8428 |        0 |        0
1222.79/1223.30	c 1223s |      26 | 12074442 |  9113352 |     2594   8439 |        0 |        0
1224.88/1225.31	c 1225s |      26 | 12092009 |  9126852 |     2594   8449 |        0 |        0
1226.88/1227.32	c 1227s |      26 | 12108912 |  9139552 |     2594   8458 |        0 |        0
1228.88/1229.32	c 1229s |      26 | 12128097 |  9154152 |     2594   8468 |        0 |        0
1230.88/1231.33	c 1231s |      26 | 12145957 |  9168052 |     2594   8478 |        0 |        0
1232.88/1233.34	c 1233s |      26 | 12163695 |  9181852 |     2594   8488 |        0 |        0
1234.88/1235.34	c 1235s |      26 | 12180355 |  9195152 |     2594   8498 |        0 |        0
1236.88/1237.35	c 1237s |      26 | 12199129 |  9209352 |     2594   8508 |        0 |        0
1238.87/1239.36	c 1239s |      26 | 12219903 |  9224752 |     2594   8519 |        0 |        0
1240.87/1241.37	c 1241s |      26 | 12238810 |  9238752 |     2594   8529 |        0 |        0
1242.87/1243.39	c 1243s |      26 | 12257439 |  9252652 |     2594   8540 |        0 |        0
1244.97/1245.40	c 1245s |      26 | 12275609 |  9266352 |     2594   8549 |        0 |        0
1246.98/1247.41	c 1247s |      26 | 12291677 |  9278852 |     2594   8558 |        0 |        0
1248.97/1249.42	c 1249s |      26 | 12309502 |  9292352 |     2594   8568 |        0 |        0
1250.97/1251.43	c 1251s |      26 | 12327491 |  9306052 |     2594   8578 |        0 |        0
1252.97/1253.44	c 1253s |      26 | 12343504 |  9318752 |     2594   8587 |        0 |        0
1254.96/1255.45	c 1255s |      26 | 12359703 |  9331552 |     2594   8596 |        0 |        0
1256.97/1257.46	c 1257s |      26 | 12377446 |  9344652 |     2594   8606 |        0 |        0
1258.96/1259.46	c 1259s |      26 | 12396286 |  9357952 |     2594   8616 |        0 |        0
1260.96/1261.47	c 1261s |      26 | 12415702 |  9373152 |     2594   8627 |        0 |        0
1262.96/1263.47	c 1263s |      26 | 12433509 |  9387152 |     2594   8637 |        0 |        0
1264.96/1265.48	c 1265s |      26 | 12452428 |  9401652 |     2594   8647 |        0 |        0
1266.96/1267.49	c 1267s |      26 | 12471415 |  9415952 |     2594   8658 |        0 |        0
1268.96/1269.49	c 1269s |      26 | 12487915 |  9429052 |     2594   8667 |        0 |        0
1271.05/1271.51	c 1271s |      26 | 12503762 |  9441652 |     2594   8676 |        0 |        0
1273.05/1273.52	c 1273s |      26 | 12520421 |  9454652 |     2594   8685 |        0 |        0
1275.05/1275.53	c 1275s |      26 | 12537573 |  9467952 |     2594   8695 |        0 |        0
1277.05/1277.54	c 1277s |      26 | 12554681 |  9481552 |     2594   8705 |        0 |        0
1279.05/1279.54	c 1279s |      26 | 12569109 |  9492752 |     2594   8713 |        0 |        0
1281.06/1281.55	c 1281s |      26 | 12585676 |  9505152 |     2594   8722 |        0 |        0
1283.05/1283.56	c 1283s |      26 | 12601746 |  9517652 |     2594   8731 |        0 |        0
1285.05/1285.56	c 1285s |      26 | 12619996 |  9530352 |     2594   8740 |        0 |        0
1287.05/1287.57	c 1287s |      26 | 12638142 |  9543152 |     2594   8749 |        0 |        0
1289.05/1289.57	c 1289s |      26 | 12654685 |  9555752 |     2594   8758 |        0 |        0
1291.05/1291.59	c 1291s |      26 | 12671520 |  9568252 |     2594   8768 |        0 |        0
1293.04/1293.59	c 1293s |      26 | 12688577 |  9580952 |     2594   8777 |        0 |        0
1295.04/1295.59	c 1295s |      26 | 12705992 |  9593952 |     2594   8786 |        0 |        0
1297.04/1297.59	c 1297s |      26 | 12722862 |  9606852 |     2594   8795 |        0 |        0
1299.04/1299.60	c 1299s |      26 | 12738538 |  9619152 |     2594   8804 |        0 |        0
1301.14/1301.61	c 1301s |      26 | 12756795 |  9632352 |     2594   8814 |        0 |        0
1303.14/1303.61	c 1303s |      26 | 12773273 |  9645452 |     2594   8823 |        0 |        0
1305.14/1305.62	c 1305s |      26 | 12791127 |  9658852 |     2594   8833 |        0 |        0
1307.14/1307.63	c 1307s |      26 | 12807191 |  9671752 |     2594   8842 |        0 |        0
1309.13/1309.64	c 1309s |      26 | 12822073 |  9684052 |     2594   8851 |        0 |        0
1311.13/1311.64	c 1311s |      26 | 12837887 |  9696252 |     2594   8860 |        0 |        0
1313.13/1313.65	c 1313s |      26 | 12853533 |  9708652 |     2594   8869 |        0 |        0
1315.13/1315.66	c 1315s |      26 | 12869390 |  9721652 |     2594   8878 |        0 |        0
1317.12/1317.68	c 1317s |      26 | 12884897 |  9734252 |     2594   8887 |        0 |        0
1319.12/1319.69	c 1319s |      26 | 12902752 |  9747652 |     2594   8897 |        0 |        0
1321.22/1321.70	c 1321s |      26 | 12918959 |  9760152 |     2594   8906 |        0 |        0
1323.22/1323.70	c 1323s |      26 | 12936904 |  9773652 |     2594   8916 |        0 |        0
1325.22/1325.71	c 1325s |      26 | 12955484 |  9787552 |     2594   8926 |        0 |        0
1327.22/1327.71	c 1327s |      26 | 12973533 |  9800552 |     2594   8935 |        0 |        0
1329.21/1329.71	c 1329s |      26 | 12990403 |  9813052 |     2594   8944 |        0 |        0
1331.21/1331.73	c 1331s |      26 | 13007925 |  9826452 |     2594   8954 |        0 |        0
1333.21/1333.74	c 1333s |      26 | 13025164 |  9839852 |     2594   8964 |        0 |        0
1335.21/1335.74	c 1335s |      26 | 13043579 |  9853452 |     2594   8974 |        0 |        0
1337.21/1337.76	c 1337s |      26 | 13062424 |  9867752 |     2594   8984 |        0 |        0
1339.20/1339.76	c 1339s |      26 | 13077975 |  9880352 |     2594   8993 |        0 |        0
1341.20/1341.77	c 1341s |      26 | 13095413 |  9893752 |     2594   9003 |        0 |        0
1343.20/1343.77	c 1343s |      26 | 13113034 |  9907652 |     2594   9013 |        0 |        0
1345.20/1345.78	c 1345s |      26 | 13131930 |  9921852 |     2594   9023 |        0 |        0
1347.20/1347.78	c 1347s |      26 | 13150552 |  9936052 |     2594   9033 |        0 |        0
1349.20/1349.79	c 1349s |      26 | 13166885 |  9948352 |     2594   9042 |        0 |        0
1351.20/1351.80	c 1351s |      26 | 13184406 |  9961852 |     2594   9052 |        0 |        0
1353.30/1353.82	c 1353s |      26 | 13202244 |  9975252 |     2594   9062 |        0 |        0
1355.31/1355.83	c 1355s |      26 | 13220543 |  9988752 |     2594   9071 |        0 |        0
1357.30/1357.84	c 1357s |      26 | 13238292 | 10002552 |     2594   9081 |        0 |        0
1359.30/1359.85	c 1359s |      26 | 13252780 | 10014452 |     2594   9090 |        0 |        0
1361.31/1361.85	c 1361s |      26 | 13270060 | 10027552 |     2594   9099 |        0 |        0
1363.30/1363.86	c 1363s |      26 | 13285994 | 10039852 |     2594   9108 |        0 |        0
1365.30/1365.86	c 1365s |      26 | 13300807 | 10051652 |     2594   9116 |        0 |        0
1367.30/1367.87	c 1367s |      26 | 13319082 | 10065052 |     2594   9126 |        0 |        0
1369.30/1369.88	c 1369s |      26 | 13334964 | 10077652 |     2594   9135 |        0 |        0
1371.31/1371.89	c 1371s |      26 | 13351889 | 10090552 |     2594   9144 |        0 |        0
1373.30/1373.90	c 1373s |      26 | 13369232 | 10103652 |     2594   9154 |        0 |        0
1375.40/1375.90	c 1375s |      26 | 13385897 | 10116052 |     2594   9163 |        0 |        0
1377.40/1377.92	c 1377s |      26 | 13401009 | 10128452 |     2594   9172 |        0 |        0
1379.40/1379.92	c 1379s |      26 | 13417848 | 10141452 |     2594   9181 |        0 |        0
1381.40/1381.93	c 1381s |      26 | 13434772 | 10154452 |     2594   9191 |        0 |        0
1383.40/1383.93	c 1383s |      26 | 13452980 | 10168052 |     2594   9200 |        0 |        0
1385.39/1385.94	c 1385s |      26 | 13470777 | 10181352 |     2594   9210 |        0 |        0
1387.39/1387.96	c 1387s |      26 | 13488542 | 10194352 |     2594   9219 |        0 |        0
1389.39/1389.97	c 1389s |      26 | 13506617 | 10207452 |     2594   9229 |        0 |        0
1391.39/1391.97	c 1391s |      26 | 13524338 | 10220452 |     2594   9238 |        0 |        0
1393.40/1393.98	c 1393s |      26 | 13540359 | 10232952 |     2594   9247 |        0 |        0
1395.40/1395.99	c 1395s |      26 | 13558218 | 10246152 |     2594   9257 |        0 |        0
1397.40/1397.99	c 1397s |      26 | 13577593 | 10259852 |     2594   9267 |        0 |        0
1399.50/1400.00	c 1399s |      26 | 13597166 | 10274452 |     2594   9277 |        0 |        0
1401.50/1402.01	c 1401s |      26 | 13616960 | 10289252 |     2594   9288 |        0 |        0
1403.50/1404.02	c 1404s |      26 | 13635619 | 10303252 |     2594   9298 |        0 |        0
1405.50/1406.04	c 1406s |      26 | 13652363 | 10316152 |     2594   9307 |        0 |        0
1407.50/1408.05	c 1408s |      26 | 13669557 | 10329052 |     2594   9317 |        0 |        0
1409.50/1410.07	c 1410s |      26 | 13687411 | 10342552 |     2594   9327 |        0 |        0
1411.50/1412.08	c 1412s |      26 | 13705216 | 10356252 |     2594   9336 |        0 |        0
1413.50/1414.08	c 1414s |      26 | 13724125 | 10370252 |     2594   9347 |        0 |        0
1415.49/1416.09	c 1416s |      26 | 13741223 | 10383252 |     2594   9356 |        0 |        0
1417.59/1418.10	c 1418s |      26 | 13758702 | 10396452 |     2594   9365 |        0 |        0
1419.60/1420.12	c 1420s |      26 | 13776252 | 10409752 |     2594   9375 |        0 |        0
1421.59/1422.12	c 1422s |      26 | 13795361 | 10424152 |     2594   9385 |        0 |        0
1423.59/1424.13	c 1424s |      26 | 13813166 | 10437752 |     2594   9395 |        0 |        0
1425.59/1426.14	c 1426s |      26 | 13828087 | 10449352 |     2594   9403 |        0 |        0
1427.59/1428.15	c 1428s |      26 | 13842702 | 10461052 |     2594   9412 |        0 |        0
1429.60/1430.16	c 1430s |      26 | 13857881 | 10472752 |     2594   9420 |        0 |        0
1431.59/1432.17	c 1432s |      26 | 13875348 | 10485652 |     2594   9430 |        0 |        0
1433.59/1434.18	c 1434s |      26 | 13892187 | 10499052 |     2594   9439 |        0 |        0
1435.59/1436.18	c 1436s |      26 | 13909234 | 10511852 |     2594   9449 |        0 |        0
1437.59/1438.18	c 1438s |      26 | 13927751 | 10525652 |     2594   9459 |        0 |        0
1439.59/1440.19	c 1440s |      26 | 13945104 | 10538752 |     2594   9468 |        0 |        0
1441.60/1442.19	c 1442s |      26 | 13961492 | 10550952 |     2594   9477 |        0 |        0
1443.69/1444.20	c 1444s |      26 | 13979619 | 10563652 |     2594   9486 |        0 |        0
1445.69/1446.21	c 1446s |      26 | 13997918 | 10577752 |     2594   9496 |        0 |        0
1447.69/1448.21	c 1448s |      26 | 14016151 | 10591452 |     2594   9506 |        0 |        0
1449.69/1450.22	c 1450s |      26 | 14033255 | 10604352 |     2594   9515 |        0 |        0
1451.69/1452.23	c 1452s |      26 | 14049999 | 10617052 |     2594   9524 |        0 |        0
1453.69/1454.23	c 1454s |      26 | 14069292 | 10631852 |     2594   9535 |        0 |        0
1455.69/1456.25	c 1456s |      26 | 14086555 | 10644352 |     2594   9544 |        0 |        0
1457.68/1458.26	c 1458s |      26 | 14104573 | 10657752 |     2594   9554 |        0 |        0
1459.68/1460.28	c 1460s |      26 | 14121766 | 10671352 |     2594   9564 |        0 |        0
1461.68/1462.29	c 1462s |      26 | 14138090 | 10683852 |     2594   9573 |        0 |        0
1463.69/1464.29	c 1464s |      26 | 14155604 | 10696852 |     2594   9582 |        0 |        0
1465.68/1466.30	c 1466s |      26 | 14173919 | 10711252 |     2594   9592 |        0 |        0
1467.78/1468.30	c 1468s |      26 | 14190225 | 10724152 |     2594   9602 |        0 |        0
1469.78/1470.30	c 1470s |      26 | 14206584 | 10736652 |     2594   9611 |        0 |        0
1471.78/1472.31	c 1472s |      26 | 14224947 | 10751052 |     2594   9621 |        0 |        0
1473.78/1474.32	c 1474s |      26 | 14242619 | 10764152 |     2594   9631 |        0 |        0
1475.79/1476.32	c 1476s |      26 | 14258604 | 10776152 |     2594   9640 |        0 |        0
1477.79/1478.33	c 1478s |      26 | 14275101 | 10788552 |     2594   9649 |        0 |        0
1479.79/1480.34	c 1480s |      26 | 14292852 | 10801652 |     2594   9658 |        0 |        0
1481.78/1482.35	c 1482s |      26 | 14311492 | 10815852 |     2594   9669 |        0 |        0
1483.78/1484.35	c 1484s |      26 | 14329505 | 10829052 |     2594   9679 |        0 |        0
1485.78/1486.36	c 1486s |      26 | 14348240 | 10842152 |     2594   9688 |        0 |        0
1487.79/1488.37	c 1488s |      26 | 14366672 | 10856252 |     2594   9699 |        0 |        0
1489.78/1490.37	c 1490s |      26 | 14383070 | 10869352 |     2594   9708 |        0 |        0
1491.78/1492.38	c 1492s |      26 | 14398235 | 10881652 |     2594   9717 |        0 |        0
1493.78/1494.39	c 1494s |      26 | 14416137 | 10895052 |     2594   9727 |        0 |        0
1495.78/1496.39	c 1496s |      26 | 14432693 | 10908152 |     2594   9736 |        0 |        0
1497.88/1498.40	c 1498s |      26 | 14450432 | 10921652 |     2594   9746 |        0 |        0
1499.89/1500.40	c 1500s |      26 | 14469901 | 10935752 |     2594   9756 |        0 |        0
1501.88/1502.41	c 1502s |      26 | 14488978 | 10950052 |     2594   9767 |        0 |        0
1503.88/1504.41	c 1504s |      26 | 14505779 | 10963352 |     2594   9777 |        0 |        0
1505.88/1506.42	c 1506s |      26 | 14525157 | 10977452 |     2594   9787 |        0 |        0
1507.88/1508.42	c 1508s |      26 | 14544034 | 10991552 |     2594   9797 |        0 |        0
1509.88/1510.43	c 1510s |      26 | 14562374 | 11005552 |     2594   9808 |        0 |        0
1511.88/1512.43	c 1512s |      26 | 14582604 | 11020252 |     2594   9818 |        0 |        0
1513.88/1514.45	c 1514s |      26 | 14602270 | 11034952 |     2594   9829 |        0 |        0
1515.88/1516.46	c 1516s |      26 | 14621856 | 11049652 |     2594   9840 |        0 |        0
1517.88/1518.48	c 1518s |      26 | 14639168 | 11062952 |     2594   9849 |        0 |        0
1519.88/1520.48	c 1520s |      26 | 14656994 | 11075652 |     2594   9859 |        0 |        0
1521.88/1522.49	c 1522s |      26 | 14674777 | 11088952 |     2594   9869 |        0 |        0
1523.87/1524.49	c 1524s |      26 | 14691567 | 11101852 |     2594   9878 |        0 |        0
1525.97/1526.51	c 1526s |      26 | 14709062 | 11115252 |     2594   9888 |        0 |        0
1527.97/1528.52	c 1528s |      26 | 14726848 | 11128452 |     2594   9897 |        0 |        0
1529.97/1530.52	c 1530s |      26 | 14745869 | 11142352 |     2594   9908 |        0 |        0
1531.97/1532.52	c 1532s |      26 | 14766270 | 11156852 |     2594   9918 |        0 |        0
1533.98/1534.53	c 1534s |      26 | 14783669 | 11170252 |     2594   9928 |        0 |        0
1535.97/1536.55	c 1536s |      26 | 14800467 | 11183152 |     2594   9938 |        0 |        0
1537.97/1538.56	c 1538s |      26 | 14815328 | 11195152 |     2594   9946 |        0 |        0
1539.97/1540.57	c 1540s |      26 | 14830611 | 11207152 |     2594   9955 |        0 |        0
1541.97/1542.57	c 1542s |      26 | 14847767 | 11220352 |     2594   9965 |        0 |        0
1543.98/1544.58	c 1544s |      26 | 14865744 | 11233652 |     2594   9975 |        0 |        0
1545.97/1546.59	c 1546s |      26 | 14882409 | 11246252 |     2594   9984 |        0 |        0
1548.07/1548.60	c 1548s |      26 | 14900589 | 11259452 |     2594   9994 |        0 |        0
1550.07/1550.60	c 1550s |      26 | 14918878 | 11273352 |     2594  10004 |        0 |        0
1552.07/1552.61	c 1552s |      26 | 14935694 | 11286752 |     2594  10014 |        0 |        0
1554.07/1554.63	c 1554s |      26 | 14952391 | 11299952 |     2594  10023 |        0 |        0
1556.07/1556.64	c 1556s |      26 | 14970347 | 11313552 |     2594  10033 |        0 |        0
1558.08/1558.65	c 1558s |      26 | 14987313 | 11326352 |     2854  10042 |        0 |        0
1560.07/1560.67	c 1560s |      26 | 15003537 | 11339152 |     2854  10050 |        0 |        0
1562.07/1562.67	c 1562s |      26 | 15020934 | 11352252 |     2854  10059 |        0 |        0
1564.07/1564.67	c 1564s |      26 | 15037315 | 11364552 |     2854  10067 |        0 |        0
1566.07/1566.69	c 1566s |      26 | 15053658 | 11376852 |     2854  10076 |        0 |        0
1568.18/1568.71	c 1568s |      26 | 15071333 | 11390252 |     2854  10085 |        0 |        0
1569.18/1569.75	c 1569s |      27 | 15079730 | 11396733 |     2854  10089 |        0 |        0
1571.17/1571.77	c 1571s |      27 | 15098994 | 11411533 |     2854  10099 |        0 |        0
1573.17/1573.78	c 1573s |      27 | 15116909 | 11425633 |     2854  10108 |        0 |        0
1575.17/1575.79	c 1575s |      27 | 15133201 | 11438533 |     2854  10116 |        0 |        0
1577.27/1577.81	c 1577s |      27 | 15152277 | 11452933 |     2854  10126 |        0 |        0
1579.27/1579.81	c 1579s |      27 | 15167934 | 11465233 |     2854  10134 |        0 |        0
1581.28/1581.82	c 1581s |      27 | 15183568 | 11477633 |     2854  10142 |        0 |        0
1583.27/1583.83	c 1583s |      27 | 15201394 | 11490833 |     2854  10150 |        0 |        0
1585.27/1585.84	c 1585s |      27 | 15219272 | 11503933 |     2854  10159 |        0 |        0
1587.27/1587.85	c 1587s |      27 | 15233565 | 11515433 |     2854  10167 |        0 |        0
1589.27/1589.85	c 1589s |      27 | 15249567 | 11528233 |     2854  10175 |        0 |        0
1591.27/1591.87	c 1591s |      27 | 15266430 | 11541033 |     2854  10184 |        0 |        0
1593.27/1593.87	c 1593s |      27 | 15284276 | 11554633 |     2854  10192 |        0 |        0
1595.26/1595.88	c 1595s |      27 | 15300784 | 11567033 |     2854  10201 |        0 |        0
1597.26/1597.88	c 1597s |      27 | 15316874 | 11579233 |     2854  10209 |        0 |        0
1599.26/1599.89	c 1599s |      27 | 15332173 | 11591233 |     2854  10216 |        0 |        0
1601.36/1601.90	c 1601s |      27 | 15347838 | 11603133 |     2854  10224 |        0 |        0
1603.27/1603.90	c 1603s |      27 | 15363263 | 11615133 |     2854  10232 |        0 |        0
1605.36/1605.90	c 1605s |      27 | 15380815 | 11628333 |     2854  10241 |        0 |        0
1607.36/1607.91	c 1607s |      27 | 15398510 | 11642133 |     2854  10250 |        0 |        0
1609.36/1609.92	c 1609s |      27 | 15412945 | 11653533 |     2854  10257 |        0 |        0
1611.36/1611.93	c 1611s |      27 | 15428260 | 11665733 |     2854  10265 |        0 |        0
1613.36/1613.94	c 1613s |      27 | 15441665 | 11676833 |     2854  10273 |        0 |        0
1615.37/1615.96	c 1615s |      27 | 15456592 | 11688333 |     2854  10280 |        0 |        0
1617.36/1617.97	c 1617s |      27 | 15473568 | 11701133 |     2854  10289 |        0 |        0
1619.36/1619.98	c 1619s |      27 | 15489622 | 11713133 |     2854  10297 |        0 |        0
1621.36/1621.99	c 1621s |      27 | 15507234 | 11726733 |     2854  10305 |        0 |        0
1623.36/1623.99	c 1623s |      27 | 15524103 | 11739333 |     2854  10314 |        0 |        0
1625.46/1626.01	c 1625s |      27 | 15543410 | 11753833 |     2854  10323 |        0 |        0
1627.46/1628.01	c 1627s |      27 | 15557371 | 11764733 |     2854  10330 |        0 |        0
1629.46/1630.03	c 1630s |      27 | 15571132 | 11775633 |     2854  10338 |        0 |        0
1631.46/1632.03	c 1632s |      27 | 15587146 | 11787533 |     2854  10345 |        0 |        0
1633.46/1634.04	c 1634s |      27 | 15602006 | 11799133 |     2854  10353 |        0 |        0
1635.46/1636.06	c 1636s |      27 | 15616449 | 11810533 |     2854  10361 |        0 |        0
1637.46/1638.06	c 1638s |      27 | 15633584 | 11823733 |     2854  10369 |        0 |        0
1639.46/1640.08	c 1640s |      27 | 15650367 | 11836533 |     2854  10378 |        0 |        0
1641.46/1642.08	c 1642s |      27 | 15667537 | 11849333 |     2854  10386 |        0 |        0
1643.46/1644.09	c 1644s |      27 | 15683836 | 11862133 |     2854  10394 |        0 |        0
1645.55/1646.10	c 1646s |      27 | 15699977 | 11874633 |     2854  10403 |        0 |        0
1647.55/1648.11	c 1648s |      27 | 15717846 | 11887933 |     2854  10411 |        0 |        0
1649.57/1650.12	c 1650s |      27 | 15733834 | 11900633 |     2854  10420 |        0 |        0
1651.56/1652.13	c 1652s |      27 | 15749928 | 11912633 |     2854  10428 |        0 |        0
1653.56/1654.13	c 1654s |      27 | 15766542 | 11925433 |     2854  10436 |        0 |        0
1655.56/1656.13	c 1656s |      27 | 15782116 | 11937533 |     2854  10444 |        0 |        0
1657.56/1658.15	c 1658s |      27 | 15799860 | 11951333 |     2854  10453 |        0 |        0
1659.56/1660.15	c 1660s |      27 | 15817805 | 11964533 |     2854  10462 |        0 |        0
1661.57/1662.16	c 1662s |      27 | 15833173 | 11976533 |     2854  10469 |        0 |        0
1663.56/1664.19	c 1664s |      27 | 15849099 | 11988733 |     2854  10478 |        0 |        0
1665.56/1666.19	c 1666s |      27 | 15865440 | 12000833 |     2854  10485 |        0 |        0
1667.56/1668.19	c 1668s |      27 | 15881277 | 12012633 |     2854  10493 |        0 |        0
1669.66/1670.22	c 1670s |      27 | 15897102 | 12024833 |     2854  10501 |        0 |        0
1671.65/1672.24	c 1672s |      27 | 15913054 | 12036433 |     2854  10509 |        0 |        0
1673.66/1674.24	c 1674s |      27 | 15929082 | 12048233 |     2854  10517 |        0 |        0
1675.65/1676.25	c 1676s |      27 | 15943485 | 12059333 |     2854  10524 |        0 |        0
1677.65/1678.26	c 1678s |      27 | 15957528 | 12069833 |     2854  10531 |        0 |        0
1679.65/1680.26	c 1680s |      27 | 15971882 | 12080933 |     2854  10538 |        0 |        0
1681.65/1682.28	c 1682s |      27 | 15987774 | 12092933 |     2854  10546 |        0 |        0
1683.66/1684.28	c 1684s |      27 | 16003046 | 12104633 |     2854  10554 |        0 |        0
1685.65/1686.30	c 1686s |      27 | 16018701 | 12116433 |     2854  10562 |        0 |        0
1687.75/1688.33	c 1688s |      27 | 16034645 | 12128733 |     2854  10570 |        0 |        0
1689.75/1690.34	c 1690s |      27 | 16048607 | 12139733 |     2854  10577 |        0 |        0
1691.75/1692.35	c 1692s |      27 | 16062514 | 12150533 |     2854  10584 |        0 |        0
1693.75/1694.36	c 1694s |      27 | 16078290 | 12162333 |     2854  10592 |        0 |        0
1695.76/1696.37	c 1696s |      27 | 16093115 | 12173633 |     2854  10599 |        0 |        0
1697.75/1698.38	c 1698s |      27 | 16108735 | 12185433 |     2854  10607 |        0 |        0
1699.75/1700.38	c 1700s |      27 | 16123195 | 12197233 |     2854  10615 |        0 |        0
1701.75/1702.39	c 1702s |      27 | 16141658 | 12211033 |     2854  10624 |        0 |        0
1703.75/1704.39	c 1704s |      27 | 16155913 | 12222333 |     2854  10631 |        0 |        0
1705.85/1706.41	c 1706s |      27 | 16170950 | 12234033 |     2854  10639 |        0 |        0
1707.86/1708.41	c 1708s |      27 | 16186905 | 12246133 |     2854  10647 |        0 |        0
1709.85/1710.42	c 1710s |      27 | 16203304 | 12258733 |     2854  10655 |        0 |        0
1711.85/1712.42	c 1712s |      27 | 16219412 | 12271533 |     2854  10664 |        0 |        0
1713.85/1714.42	c 1714s |      27 | 16233492 | 12282933 |     2854  10671 |        0 |        0
1715.85/1716.44	c 1716s |      27 | 16247412 | 12293833 |     2854  10678 |        0 |        0
1717.85/1718.45	c 1718s |      27 | 16263614 | 12306033 |     2854  10686 |        0 |        0
1719.85/1720.46	c 1720s |      27 | 16278460 | 12317533 |     2854  10694 |        0 |        0
1721.85/1722.47	c 1722s |      27 | 16294449 | 12329433 |     2854  10702 |        0 |        0
1723.85/1724.47	c 1724s |      27 | 16308298 | 12340233 |     2854  10709 |        0 |        0
1725.84/1726.49	c 1726s |      27 | 16323230 | 12351833 |     2854  10716 |        0 |        0
1727.84/1728.49	c 1728s |      27 | 16337272 | 12362733 |     2854  10724 |        0 |        0
1729.94/1730.51	c 1730s |      27 | 16352839 | 12374333 |     2854  10731 |        0 |        0
1731.95/1732.52	c 1732s |      27 | 16367940 | 12386033 |     2854  10739 |        0 |        0
1733.94/1734.54	c 1734s |      27 | 16382983 | 12397333 |     2854  10746 |        0 |        0
1735.94/1736.54	c 1736s |      27 | 16395946 | 12407733 |     2854  10753 |        0 |        0
1737.94/1738.54	c 1738s |      27 | 16411057 | 12419433 |     2854  10761 |        0 |        0
1739.94/1740.55	c 1740s |      27 | 16425181 | 12430533 |     2854  10768 |        0 |        0
1741.95/1742.56	c 1742s |      27 | 16441374 | 12443233 |     2854  10777 |        0 |        0
1743.94/1744.58	c 1744s |      27 | 16456942 | 12454833 |     2854  10784 |        0 |        0
1745.94/1746.58	c 1746s |      27 | 16472621 | 12466833 |     2854  10792 |        0 |        0
1747.94/1748.59	c 1748s |      27 | 16489783 | 12479433 |     2854  10800 |        0 |        0
1750.04/1750.61	c 1750s |      27 | 16508439 | 12493233 |     2854  10809 |        0 |        0
1752.05/1752.61	c 1752s |      27 | 16524438 | 12505533 |     2854  10818 |        0 |        0
1754.05/1754.64	c 1754s |      27 | 16541769 | 12518333 |     2854  10826 |        0 |        0
1756.05/1756.65	c 1756s |      27 | 16556753 | 12529733 |     2854  10833 |        0 |        0
1758.04/1758.66	c 1758s |      27 | 16572255 | 12541633 |     2854  10841 |        0 |        0
1760.04/1760.67	c 1760s |      27 | 16588312 | 12554033 |     2854  10849 |        0 |        0
1762.04/1762.69	c 1762s |      27 | 16604285 | 12566233 |     2854  10858 |        0 |        0
1764.14/1764.71	c 1764s |      27 | 16619830 | 12578033 |     2854  10865 |        0 |        0
1766.15/1766.71	c 1766s |      27 | 16636597 | 12590933 |     2854  10874 |        0 |        0
1768.14/1768.71	c 1768s |      27 | 16653150 | 12603633 |     2854  10882 |        0 |        0
1770.14/1770.71	c 1770s |      27 | 16668570 | 12615833 |     2854  10890 |        0 |        0
1772.14/1772.71	c 1772s |      27 | 16685517 | 12628633 |     2854  10899 |        0 |        0
1774.14/1774.72	c 1774s |      27 | 16702709 | 12641533 |     2854  10907 |        0 |        0
1776.14/1776.73	c 1776s |      27 | 16718869 | 12653933 |     2854  10915 |        0 |        0
1778.14/1778.74	c 1778s |      27 | 16733228 | 12664733 |     2854  10922 |        0 |        0
1780.14/1780.75	c 1780s |      27 | 16748181 | 12676233 |     2854  10930 |        0 |        0
1782.14/1782.76	c 1782s |      27 | 16765119 | 12689333 |     2854  10939 |        0 |        0
1784.14/1784.77	c 1784s |      27 | 16781210 | 12701733 |     2854  10947 |        0 |        0
1786.14/1786.77	c 1786s |      27 | 16798434 | 12715133 |     2854  10956 |        0 |        0
1788.14/1788.78	c 1788s |      27 | 16816740 | 12729033 |     2854  10965 |        0 |        0
1790.13/1790.78	c 1790s |      27 | 16833153 | 12741933 |     2854  10973 |        0 |        0
1792.13/1792.78	c 1792s |      27 | 16850224 | 12755233 |     2854  10982 |        0 |        0
1794.13/1794.79	c 1794s |      27 | 16865481 | 12767433 |     2854  10990 |        0 |        0
1796.23/1796.81	c 1796s |      27 | 16880059 | 12779133 |     2854  10998 |        0 |        0
1798.23/1798.82	c 1798s |      27 | 16897255 | 12791633 |     2854  11006 |        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-4121242-1467313953/watcher-4121242-1467313953 -o /tmp/evaluation-result-4121242-1467313953/solver-4121242-1467313953 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node116-1467310476-18421 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121242-1467313953.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.16 2.20 2.18 3/179 19635
/proc/meminfo: memFree=27573544/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=688572 CPUtime=0 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 2562 0 0 0 0 0 0 0 20 0 4 0 12356300 705097728 3435 33554432000 4194304 16246674 140735803282736 140735803282160 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 172655 3443 441 2943 0 169549 0
[pid=19635/tid=19636] ppid=19632 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 723972096 3504 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 729214976 3526 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 733409280 3542 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100131 s]
/proc/loadavg: 2.16 2.20 2.18 3/179 19635
/proc/meminfo: memFree=27573544/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 24613 0 0 0 6 3 0 0 20 0 4 0 12356300 1247350784 25475 33554432000 4194304 16246674 140735803282736 140735803282160 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 304529 25484 707 2943 0 301423 0
[pid=19635/tid=19636] ppid=19632 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1247350784 25490 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1247350784 25496 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1247350784 25500 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200472 s]
/proc/loadavg: 2.16 2.20 2.18 3/179 19635
/proc/meminfo: memFree=27573544/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 46503 0 0 0 13 6 0 0 20 0 4 0 12356300 1247350784 47365 33554432000 4194304 16246674 140735803282736 140735803282160 5589685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 304529 47380 707 2943 0 301423 0
[pid=19635/tid=19636] ppid=19632 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1247350784 47389 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1247350784 47399 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1247350784 47409 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300469 s]
/proc/loadavg: 2.16 2.20 2.18 3/179 19635
/proc/meminfo: memFree=27573544/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 68613 0 0 0 21 8 0 0 20 0 4 0 12356300 1247350784 69475 33554432000 4194304 16246674 140735803282736 140735803282160 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 304529 69486 707 2943 0 301423 0
[pid=19635/tid=19636] ppid=19632 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1247350784 69490 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1247350784 69496 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1247350784 69504 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700347 s]
/proc/loadavg: 2.16 2.20 2.18 3/179 19635
/proc/meminfo: memFree=27573544/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 157211 0 0 0 50 19 0 0 20 0 4 0 12356300 1247350784 158073 33554432000 4194304 16246674 140735803282736 140735803264640 12478333 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 304529 158084 707 2943 0 301423 0
[pid=19635/tid=19636] ppid=19632 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1247350784 158090 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1247350784 158096 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1247350784 158105 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.16 2.20 2.18 3/183 19639
/proc/meminfo: memFree=26594256/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 245759 0 0 0 117 32 0 0 20 0 4 0 12356300 1248399360 246600 33554432000 4194304 16246674 140735803282736 140735803282048 5823116 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 304785 246600 784 2943 0 301679 0
[pid=19635/tid=19636] ppid=19632 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1248399360 246600 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1248399360 246600 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1248399360 246600 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.15 2.20 2.18 3/183 19639
/proc/meminfo: memFree=26501504/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 267450 0 0 0 274 35 0 0 20 0 4 0 12356300 1337528320 268291 33554432000 4194304 16246674 140735803282736 140735803264640 5822432 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 326545 268291 784 2943 0 323439 0
[pid=19635/tid=19636] ppid=19632 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1337528320 268291 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1337528320 268291 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1337528320 268291 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.20 2.18 3/183 19639
/proc/meminfo: memFree=26500172/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 267707 0 0 0 594 35 0 0 20 0 4 0 12356300 1338576896 268548 33554432000 4194304 16246674 140735803282736 140735803265736 5722716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 326801 268548 784 2943 0 323695 0
[pid=19635/tid=19636] ppid=19632 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1338576896 268548 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1338576896 268548 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1338576896 268548 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.28 2.22 2.19 3/183 19639
/proc/meminfo: memFree=26499708/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1307204 CPUtime=12.69 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 267823 0 0 0 1234 35 0 0 20 0 4 0 12356300 1338576896 268664 33554432000 4194304 16246674 140735803282736 140735803265736 6011824 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 326801 268664 787 2943 0 323695 0
[pid=19635/tid=19636] ppid=19632 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1338576896 268664 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1338576896 268664 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1338576896 268664 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1307204

[startup+25.5005 s]
/proc/loadavg: 2.39 2.25 2.19 3/183 19639
/proc/meminfo: memFree=26499180/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1308228 CPUtime=25.48 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 268079 0 0 0 2513 35 0 0 20 0 4 0 12356300 1339625472 268920 33554432000 4194304 16246674 140735803282736 140735803264640 5829080 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 327057 268920 787 2943 0 323951 0
[pid=19635/tid=19636] ppid=19632 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1339625472 268920 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1339625472 268920 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1339625472 268920 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.40 2.26 2.20 3/183 19639
/proc/meminfo: memFree=26498324/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1309252 CPUtime=51.08 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 268335 0 0 0 5072 36 0 0 20 0 4 0 12356300 1340674048 269176 33554432000 4194304 16246674 140735803282736 140735803264640 5665822 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 327313 269176 787 2943 0 324207 0
[pid=19635/tid=19636] ppid=19632 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1340674048 269176 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1340674048 269176 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1340674048 269176 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1309252

[startup+102.301 s]
/proc/loadavg: 2.28 2.24 2.19 3/183 19640
/proc/meminfo: memFree=26499944/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1309252 CPUtime=102.28 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 268335 0 0 0 10190 38 0 0 20 0 4 0 12356300 1340674048 269176 33554432000 4194304 16246674 140735803282736 140735803264640 6026716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 327313 269176 787 2943 0 324207 0
[pid=19635/tid=19636] ppid=19632 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1340674048 269176 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1340674048 269176 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1340674048 269176 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1309252


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

/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.87
Current children cumulated vsize (KiB) 1318468

[startup+1302.3 s]
/proc/loadavg: 2.21 2.26 2.22 3/183 19719
/proc/meminfo: memFree=26488620/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1318468 CPUtime=1301.84 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 271064 0 0 0 130123 61 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 140735803265736 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 329617 271484 788 2943 0 326511 0
[pid=19635/tid=19636] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 1318468

[startup+1362.3 s]
/proc/loadavg: 2.24 2.27 2.22 3/183 19721
/proc/meminfo: memFree=26488672/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1318468 CPUtime=1361.8 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 271101 0 0 0 136118 62 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 140735803264640 5677888 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 329617 271484 788 2943 0 326511 0
[pid=19635/tid=19636] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1318468

[startup+1422.3 s]
/proc/loadavg: 2.20 2.24 2.21 4/183 19722
/proc/meminfo: memFree=26489224/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1318468 CPUtime=1421.8 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 271101 0 0 0 142117 63 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 140735803264640 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 329617 271484 788 2943 0 326511 0
[pid=19635/tid=19636] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 1318468

[startup+1482.3 s]
/proc/loadavg: 2.38 2.28 2.22 3/183 19723
/proc/meminfo: memFree=26488748/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1318468 CPUtime=1481.78 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 271101 0 0 0 148114 64 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 140735803264640 5822548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 329617 271484 788 2943 0 326511 0
[pid=19635/tid=19636] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 1318468

[startup+1542.31 s]
/proc/loadavg: 2.21 2.25 2.22 3/183 19724
/proc/meminfo: memFree=26488160/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1318468 CPUtime=1541.78 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 271101 0 0 0 154114 64 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 140735803264640 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 329617 271484 788 2943 0 326511 0
[pid=19635/tid=19636] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1318468

[startup+1602.3 s]
/proc/loadavg: 2.12 2.22 2.20 4/183 19725
/proc/meminfo: memFree=26488688/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1318468 CPUtime=1601.76 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 271101 0 0 0 160111 65 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 140735803264640 4220880 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 329617 271484 788 2943 0 326511 0
[pid=19635/tid=19636] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1318468

[startup+1662.3 s]
/proc/loadavg: 2.16 2.22 2.20 3/183 19729
/proc/meminfo: memFree=26489032/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1318468 CPUtime=1661.76 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 271101 0 0 0 166110 66 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 140735803280576 12875566 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 329617 271484 788 2943 0 326511 0
[pid=19635/tid=19636] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1318468

[startup+1722.3 s]
/proc/loadavg: 2.30 2.24 2.21 3/183 19731
/proc/meminfo: memFree=26488636/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1318468 CPUtime=1721.75 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 271101 0 0 0 172109 66 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 140735803264640 5823694 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 329617 271484 788 2943 0 326511 0
[pid=19635/tid=19636] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1318468

[startup+1782.3 s]
/proc/loadavg: 2.20 2.22 2.20 4/183 19732
/proc/meminfo: memFree=26483208/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1318468 CPUtime=1781.74 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 271101 0 0 0 178107 67 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 140735803264640 5677802 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 329617 271484 788 2943 0 326511 0
[pid=19635/tid=19636] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 1318468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.27 2.24 2.20 3/183 19732
/proc/meminfo: memFree=26483428/32872528 swapFree=1427768/1542232
[pid=19635] ppid=19632 vsize=1318468 CPUtime=1800.03 cores=1,3,5,7
/proc/19635/stat : 19635 (toysat) R 19632 19635 15544 0 -1 4202496 271101 0 0 0 179936 67 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 140735803264640 12874961 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/19635/statm: 329617 271484 788 2943 0 326511 0
[pid=19635/tid=19636] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19636/stat : 19636 (toysat) S 19632 19635 15544 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983815945456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=19635/tid=19637] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19637/stat : 19637 (toysat) S 19632 19635 15544 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983805455600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=19635/tid=19638] ppid=19632 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/19635/task/19638/stat : 19638 (toysat) S 19632 19635 15544 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12356300 1350111232 271484 33554432000 4194304 16246674 140735803282736 139983721589936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1318468

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19635 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.05
CPU user time (s): 1799.37
CPU system time (s): 0.675897
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.37
system time used= 0.675897
maximum resident set size= 1085936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271101
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= 473
involuntary context switches= 1834

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69928 second user time and 6.82896 second system time

The end

Begin job on node116 at 2016-06-30 21:12:33
IDJOB=4121242
IDBENCH=110377
IDSOLVER=2542
FILE ID=node116/4121242-1467313953
RUNJOBID= node116-1467310476-18421
PBS_JOBID= 20005287
Free space on /tmp= 71708 MiB

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

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

MD5SUM BENCH= d0a3ecab15230bd9b7658928928d6f51
RANDOM SEED=298714647

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.426
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:        27573552 kB
Buffers:          206048 kB
Cached:          1709928 kB
SwapCached:            0 kB
Active:          1428928 kB
Inactive:        1575660 kB
Active(anon):    1090972 kB
Inactive(anon):        0 kB
Active(file):     337956 kB
Inactive(file):  1575660 kB
Unevictable:     1542232 kB
Mlocked:         1427768 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16280 kB
Writeback:             0 kB
AnonPages:       2630492 kB
Mapped:            17148 kB
Shmem:               204 kB
Slab:             614572 kB
SReclaimable:      58280 kB
SUnreclaim:       556292 kB
KernelStack:        1472 kB
PageTables:         9392 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2763772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    124928 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= 71692 MiB
End job on node116 at 2016-06-30 21:42:33